Abstract
In this paper, we will establish necessary and sufficient conditions for a Laplace–Carleson embedding to be bounded for certain spaces of functions on the positive half-line. We will use these results to characterise weighted (infinite-time) admissibility of control and observation operators. We present examples of weighted admissibility criterion for one-dimensional heat equation with Neumann boundary conditions, and a cetrain parabolic diagonal system which was previously known to be not admissible in the unweighted setting.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Although in most common physical applications the norms used are usually the unweighted \(L^1\) or \(L^2\) norms, it may sometimes be useful to consider weighted \(L^p\) norms. The main purpose of this paper is to generalise admissibility criteria, obtained in [10] for weighted \(L^2\)- and unweighted \(L^p\)-admissibility (given in terms of Carleson measures and Laplace–Carleson embeddings described in [9]) to weighted \(L^p(0, \, \infty )\) case, applying and generalising recent results from [13], concerning the spaces defined and studied in [12]. A powerful boundedness criterion for the Laplace–Carleson embeddings for weighted \(L^p\) spaces, containing the earlier version from [9] as a special case, is also proved here.
This article is structured as follows. In Sect. 2, the theory and definitions of admissibility for diagonal semigroups are outlined. Two important theorems, linking admissibility to Laplace–Carleson embeddings, are also cited there. In Sect. 3, some results concerning reproducing kernel Hilbert spaces are given. As a special case, the definitions of so-called Zen spaces and their generalisation are provided, presenting their connection to the admissibility concept. In Sect. 4, boundedness of Carleson embeddings for these generalised spaces is studied, following a similar analysis from [13]. And finally, in Sect. 5 boundedness of Laplace–Carleson embeddings for sectorial measures is characterised there, and we believe that Theorem 6 is the most important result of this paper. This theorem is followed by two examples illustrating the weighted admissibility for diagonal systems.
2 Admissibility for diagonal semigroups
Let H be a Hilbert space and let \(({\mathbb {T}}_t)_{t \ge 0}\) be a strongly continuous (or \(C_0\)-) semigroup of bounded linear operators on H with the infinitesimal generator \(A : {\mathcal {D}}(A) \longrightarrow H\), defined by
Let us consider the linear system
where \(u(t) \in {\mathbb {C}}\) is the input at time t and \(B : {\mathbb {C}} \longrightarrow {\mathcal {D}}(A^*)'\) is the control operator. Here \({\mathcal {D}}(A^*)'\) is the completion of H with respect to the norm
for any fixed \(\beta \in \rho (A)\) (the resolvent set of A). An operator B is said to be finite-time \(L^2\) -admissible, if for every \(\tau >0\) and all \(u \in L^2[0, \, \infty )\) the Bochner integral \(\int _0^\tau {\mathbb {T}}_{\tau -t} Bu(t) \, \mathrm{d}t\) lies in H (see Definition 4.2.1, p. 116 in [18]). Consequently, there exists \(m_\tau >0\) such that
(see Proposition 4.2.2, also in [18]). The admissibility criterion guarantees that Eq. (1) has continuous (mild) solution
with values in H (see Proposition 4.2.5 in [18]). If the constant \(m_\tau \) can be chosen independently of \(\tau >0\), then we say that B is (infinite-time) \(L^2\) -admissible. It follows that B is \(L^2\)-admissible if and only if there exists a constant \(m_0>0\) such that
(see Remark 4.6.2 in [18] and Remark 2.2 in [5]). This is a necessary condition for the state x(t) to lie in H. For more details, see, for example [8], and for the non-Hilbertian analogue: [6, 20, 21].
We may also consider the system
where \(C : {\mathcal {D}}(A) \longrightarrow {\mathbb {C}}\) is an A-bounded observation operator, that is, there exist \(m_1, \, m_2 >0\) such that
The operator C is said to be (infinite-time) admissible if there exists \(m_0>0\) such that
There is duality between these two conditions, namely: B is an admissible control operator for \(({\mathbb {T}}_t)_{t\ge 0}\) if and only if \(B^*\) is an admissible observation operator for the dual semigroup \(({\mathbb {T}}^*_t)_{t\ge 0}\).
More detailed treatment of admissibility of control and observation semigroup operators and the theory of well-posed linear evolution equations is given the survey[8] and the book [18].
For diagonal semigroups (see Example 2.6.6 in [18]), the admissibility condition is linked to the theory of Carleson measures in the following way (see [7, 19]). Suppose that A has a Riesz basis of eigenvectors \((\phi _k)_{k\in {\mathbb {N}}}\) (i.e. there exists invertible \(Q \in {\mathscr {L}}(H, \ell ^2)\) such that \(Q\phi _k = e_k\), for all \(k \in {\mathbb {N}}\), where \((e_k)_{k\in {\mathbb {N}}}\) is the standard basis for \(\ell ^2\), i.e. each \(e_k\) has 1 as its kth entry and zeros elsewhere), with eigenvalues \((\lambda _k)_{k\in {\mathbb {N}}}\), each of them lying in the open left complex half-plane \({\mathbb {C}}_- := \left\{ z \in {\mathbb {C}} \; : \; {{\mathrm{Re}}}(z)<0\right\} \). Then a scalar control operator B, corresponding to a sequence \((b_k)_{k\in {\mathbb {N}}}\), is admissible if and only if the measure
is a Carleson measure for the Hardy space \(H^2({\mathbb {C}}_+)\) on the right complex half-plane, which means the canonical embedding \(H^2({\mathbb {C}}_+) \longrightarrow L^2({\mathbb {C}}_+, \, \mu )\) is bounded. An extension to normal semigroups has also been made in [22].
In some applications, requiring the input u to lie \(L^2[0, \, \infty )\) might be unsuitable, and hence a more general setting ought to be considered. In [3] and [23], a concept of \(\alpha \)-admissibility, in which u must lie in weighted \(L^2_{t^\alpha }(0, \,\infty )\), for \(\alpha >-1\) in the first and \(-1< \alpha < 0\) in the latter article, was studied. The second paper linked admissibility to the Carleson measures, using the fact that the Laplace transform maps \(L^2_{t^\alpha }(0, \, \infty )\) onto a weighted Bergman space—in this article, we adopt a similar approach. Papers [4] and [6] discuss the same problem in non-Hilbertian setting. Further generalisations, to \(L^2_w(0, \, \infty )\), for any positive measurable weight w and unweighted \(L^p(0, \, \infty ), \, 1 \le p < \infty \), have been obtained in [10]. In this paper, we shall present it for the weighted \(L^p_w(0, \, \infty )\) case, for certain weights (measurable self-maps on \((0, \, \infty )\)) w, and by the weighted \(L^p_w(0, \, \infty )\), we mean the Banach space of all functions \(f : (0, \, \infty ) \rightarrow {\mathbb {C}}\) satisfying
Given \(1 \le q < \infty \), assume that the semigroup \(({\mathbb {T}}_t)_{t \ge 0}\) acts on a Banach space X with a \(q-\)Riesz basis (having the same definition as above, but with \({\mathscr {L}}(H, \ell ^2)\) replaced by \({\mathscr {L}}(X, \ell ^q)\)), of eigenvectors \((\phi _k)_{k \in {\mathbb {N}}}\) with corresponding eigenvalues \((\lambda _k)_{k \in {\mathbb {N}}}\subset {\mathbb {C}}_-\), that is,
Suppose that \((\phi _k)_{k \in {\mathbb {N}}}\) is also a Schauder basis of X such that there exist constants \(c, C >0\) such that
This means that we can effectively identify X with \(\ell ^q\) and this shall be our standing assumption for the whole paper.
The following two theorems, proved in [10], link admissibility of control and observation operators with Laplace–Carleson embeddings (i.e. Carleson embeddings induced by the Laplace transform). These results were presented there for weighted \(L^2\) spaces and unweighted \(L^p\) spaces on \((0, \, \infty )\), but it is easy to check that their proofs remain valid even for weighted \(L^p\) spaces.
Theorem 1
(Theorem 2.1 in [10]) Let \(1 \le p, \, q < \infty \), and suppose X is defined as above. Let w be a measurable self-map on \((0, \, \infty )\), and let B be a bounded linear map from \({\mathbb {C}}\) to \({\mathcal {D}}(A^*)'\) corresponding to the sequence \((b_k)_{k \in {\mathbb {N}}}\). The control operator B is \(L^p_w\)-admissible for \(({\mathbb {T}}_t)_{t \ge 0}\), that is, there exists a constant \(m_0>0\) such that
for all \(u \in L^p_w(0, \, \infty )\), if and only if the Laplace transform induces a continuous mapping from \(L^p_w(0, \, \infty )\) into \(L^q({\mathbb {C}}_+, \, \mu )\), where \(\mu \) is the measure \(\sum _{k=1}^\infty |b_k|^q \delta _{-\lambda _k}\).
Note that for \(1<p<\infty \), we can associate the dual space of \(L^p_w(0, \, \infty )\) with \(L^{p'}_{w^{-p'/p}}(0, \, \infty )\), where \(p':=p/(p+1)\) is the conjugate index of p via the pairing
(see Remark 1.4 in [4] with \(t^\alpha \) replaced by \(w^{1/p}\)), and hence the following result follows.
Theorem 2
(Theorem 2.2 in [10]) Let C be a bounded linear map from \({\mathcal {D}}(A)\) to \({\mathbb {C}}\). The observation operator C is \(L^p_w\)-admissible for \(({\mathbb {T}}_t)_{t \ge 0}\), that is, there exists a constant \(m_0>0\) such that
if and only if the Laplace transform induces a continuous mapping from
\(L^{p'}_{w^{-p'/p}}(0, \, \infty )\) into \(L^{q'}({\mathbb {C}}_+, \, \mu )\), where \(\mu \) is the measure \(\sum _{k=1}^\infty |c_k|^{q'} \delta _{-\lambda _k}\),
\(c_k := C\phi _k\), for all \(k \in {\mathbb {N}}\), and \(q':=q/(q-1)\) is the conjugate index of q.
So in order to test admissibility of a control operator, we need to determine when the embedding
is bounded. Or, in other words, whether there exists a constant \(C>0\) such that
If \(p=q\) and this embedding is indeed bounded, then we shall refer to \(\mu \) as a Carleson measure for \({\mathfrak {L}}(L^p_w(0, \, \infty ))\) (a space which we equip with the \(L^p_w\) norm). Because the observation operator version of this problem is analogous, from now on we shall only state our results for control operators, leaving the observation operator case to be derived from duality by an interested reader.
3 Carleson measures for Hilbert spaces of analytic functions on \({\mathbb {C}}_+\)
Throughout this section, the operator B and the measure \(\mu \) will be as defined in Sect. 2. We begin by considering the most elementary case, that is, when \(p~=~q~=~2\). Then \({\mathfrak {L}}(L^2_w(0, \, \infty ))\), equipped with the \(L^2_w\) inner product, is a Hilbert space of analytic functions. If for all \(z \in {\mathbb {C}}_+\), \(e^{-t\overline{z}}/w(t)\) belongs to \(L^p_w(0, \, \infty )\), we can easily verify that it is also a reproducing kernel Hilbert space:
for each \(f \in L^2_w(0, \, \infty )\). Suppose that for each \((z, \, \zeta ) \in {\mathbb {C}}_+^2\), \(k_z(\zeta )\) is the reproducing kernel of \({\mathfrak {L}}(L^2_w(0, \, \infty ))\). In this case, Lemma 24 from [2] can be rephrased as the following proposition.
Proposition 1
The control operator B is \(L^2_w\)-admissible if and only if the linear map
is bounded on \(L^2({\mathbb {C}}_+, \, \mu )\).
Corollary 1
-
1.
If
$$\begin{aligned} \sum _{k=1}^\infty \sum _{l=1}^\infty \left| b_k b_l{{\mathrm{Re}}}\left( k_{-\lambda _k} (-\lambda _l) \right) \right| ^2 < \infty , \end{aligned}$$(2)then B is \(L^2_w\)-admissible.
-
2.
If B is \(L^2_w\)-admissible, then there exists \(C>0\) such that
$$\begin{aligned} \sum _{k \in \Gamma } \sum _{l \in \Gamma } \left| b_k b_l{{\mathrm{Re}}}\left( k_{-\lambda _k}(-\lambda _l) \right) \right| ^2 \le C \sum _{n \in \Gamma } |b_n|^2 \qquad \qquad (\forall \Gamma \subset {\mathbb {N}}). \end{aligned}$$
Proof
To prove 1, we notice that by Hölder’s inequality
for all \(G \in L^2({\mathbb {C}}_+, \, \mu )\), and the result follows from the previous proposition. Also, by the proof of Lemma 26 from [2], we have
And then we apply it to \(G=\chi _\Omega \), the characteristic function of \(\Omega =\{-\lambda _k\}_{k \in \Gamma }\). \(\square \)
If \({\mathfrak {L}}(L^2_w(0, \, \infty ))\) is a Banach algebra with respect to the pointwise multiplication (e.g. \({\mathfrak {L}}(L^2_{1+t^2}(0, \, \infty ))\), then, by Theorem 3 from [12], we know that \({\mathfrak {L}}(L^2_w(0, \, \infty ))\) must also be a reproducing kernel Hilbert space (with kernel \(k_z\), say) and
Proposition 2
Suppose that \({\mathfrak {L}}(L^2_w(0, \, \infty ))\) is a Banach algebra with respect to the pointwise multiplication. If \((b_k)_{k=1}^\infty \in \ell ^2\), then B is \(L^2_w\)-admissible
Proof
By the Cauchy–Schwarz inequality, we get
and the result follows from the previous corollary.\(\square \)
More examples of \({\mathfrak {L}}(L^2_w(0, \, \infty ))\) can be easily produced from criteria given, for example, in [12, 14] or [15].
Let us now consider another type of spaces of analytic functions on \({\mathbb {C}}_+\). Let \(\tilde{\nu }\) be a positive regular Borel measure on \([0, \, \infty )\) satisfying so-called \(\Delta _2\) -condition:
and let \(\lambda \) denote the Lebesgue measure on \(i{\mathbb {R}}\). We define \(\nu \) to be the positive regular Borel measure \(\tilde{\nu } \otimes \lambda \) on \(\overline{{\mathbb {C}}_+} := [0, \, \infty ) \times i{\mathbb {R}}\). For this measure and \(1 \le p < \infty \), a Zen space (see [9]) is defined to be:
The Zen spaces generalise Hardy spaces on \({\mathbb {C}}_+\) (these correspond to \(\tilde{\nu } = \frac{1}{2\pi }\delta _0\)) and weighted Bergman spaces (corresponding to \(d\tilde{\nu }=r^\alpha dr, \, \alpha >-1\)). If \(p=2\), then Zen spaces are Hilbert spaces (see [16]) and in fact a reproducing kernel Hilbert spaces (see [12]). In [9], it was proved that the Laplace transform defines an isometric map
where w is given by
The article [9] also contains a full characterisation of Carleson measures for Zen spaces, which was also presented in terms of admissibility in [10]. In [12], a generalisation of Zen spaces was defined, namely
where each \(\nu _n=\tilde{\nu }_n \otimes \lambda \), and \(\tilde{\nu }_n\) is defined as \(\nu \) above, and \(0\le m \le \infty \). It is also proved there that if \(p=2\), then the Laplace transform again defines an isometric map
where w is given by
The image of \(L^2_{w_{(m)}}(0, \, \infty )\) is denoted by \(A^2_{(m)}\). This is a large class of spaces, containing, for example, Hardy and weighted Bergman spaces mentioned earlier, but also the Dirichlet space on \({\mathbb {C}}_+\) (when we have \(\tilde{\nu _0}=\frac{1}{2\pi }\delta _0\) and \(\tilde{\nu }_1\) being the Lebesgue measure with the weight \(1/\pi \)) which has not been studied often in the complex half-plane context before. And our problem of determining admissibility of control or observation operators is reduced to the characterisation of Carleson measures for \(A^2_{(m)}\), allowing us to consider \(L^2_w\)-admissibility for non-decreasing weights, which were not included in the Zen space context. This has been partially done in [13], and we aim to extend the results obtained there to the non-Hilbertian case of \(A^p\left( {\mathbb {C}}_+, \, (\nu _n)_{n=0}^m \right) \) in the next section.
4 \(A^p({\mathbb {C}}_+, \, (\nu _n)_{n=0}^m) \hookrightarrow L^q({\mathbb {C}}_+, \, \mu )\) embeddings
The boundedness of canonical embeddings into \(L^q({\mathbb {C}}_+, \, \mu )\) (in this context also called Carleson embeddings), for some Borel measure \(\mu \), and characterisations of Carleson measures is very often given in terms of Carleson squares (sometimes called Carleson boxes). On the half-plane, these are defined as follows. In this section, we prove general version of Theorems 2 and 4 from [13]. Note that for \(p=2\) these can be used to describe corresponding \(L^2_{w_{(m)}}\)-admissibility. This is left for the interested reader.
Definition 1
Let \(a \in {\mathbb {C}}_+\). A Carleson square centred at a is defined to be the set
Theorem 3
Suppose that \(m < \infty \). If the embedding
is bounded, then there exists a constant \(C(\mu )>0\), such that
for each Carleson square Q(a).
Proof
Let \(a \in {\mathbb {C}}_+\), and choose \(\gamma > \sup _{0\le n \le m}(\log _2 R_n -np +1)/p\), where \(R_n\) denotes the supremum obtained from the (\(\Delta _2\))-condition for each \(\tilde{\nu }_n, \, 0~\le ~n~\le ~m\). Then for all z in Q(a) we have \(|z+\overline{a}| \le \sqrt{10}{{\mathrm{Re}}}(a)\), and hence
Similarly
Also, given \(k \in {\mathbb {N}}_0\), for all \(z \in Q(2^{k+1}{{\mathrm{Re}}}(a)+i{{\mathrm{Im}}}(a)) \setminus Q(2^k({{\mathrm{Re}}})+i{{\mathrm{Im}}}(a))\), with \(0 < {{\mathrm{Re}}}(z) \le 2^{k+1}{{\mathrm{Re}}}(a)\) we have
and even if \(2^{k+1}{{\mathrm{Re}}}(a) < {{\mathrm{Re}}}(z) \le 2^{k+2}{{\mathrm{Re}}}(a)\), we also have
And
so
and the sum converges for all \(0 \le n \le m\). Hence \((z+\overline{a})^{-\gamma } \in A^p({\mathbb {C}}_+, \, (\nu _n)_{n=0}^m)\). Now, if the embedding is bounded, with constant \(C'(\mu )>0\) say, then
where
(and we adopted the convention that the product \(\prod (\gamma +l-1)\) is defined to be 1, if the lower limit is a bigger number than the upper limit). \(\square \)
Remark
For \(p=q\) and \(m=0\) (i.e. Carleson measures for Zen spaces), this result was stated in [10] and proved to be necessary as well as sufficient. An extension to \(A^2({\mathbb {C}}_+, \, (\nu _n)_{n=0}^m)\) was made in [13], but only as a necessary condition. In the last section of this paper, we will prove that for some sequences of measures \((\nu _n)_{n=0}^m\) and sectorial measures \(\mu \) it is also sufficient. However, it still remains unclear whether this could be true for a general case.
A version of the next theorem (for Carleson measures for \(A^2_{(m)})\) has been proved in [13], following closely earlier version for analytic Besov spaces in [1] on the open unit disc \({\mathbb {D}}\) of the complex plane and Drury–Arveson Hardy spaces and other Besov–Sobolev spaces on complex balls from [2].
Theorem 4
Let \(1<p \le q < \infty \) and let \(\mu \) be a positive Borel measure on \({\mathbb {C}}_+\). If \(\rho \) is a regular weight such that
for all \(F \in A^p({\mathbb {C}}_+, \, (\nu _n)_{n=0}^m)\) and there exists a constant \(C(\mu , \rho )>0\) such that
then the embedding
is bounded.
Proof
Let \(\zeta \in {\mathbb {C}}_+\). We use a representation of \({\mathbb {C}}_+\) as an ordered tree \(T(\zeta )\), namely, we decompose the complex half-plane into a set of rectangles
for all \((k, \, l) \in {\mathbb {Z}}^2\), and we identify each of these rectangles with a vertex of an abstract graph \(T(\zeta )\). We put an order relation “\(\le \)” on the set of vertices of \(T(\zeta )\) by saying that \(x \le y\) whenever the area of the rectangle corresponding to x is greater or equal to the area of the rectangle corresponding to y and there is a sequence of horizontally adjacent rectangles \((R_{k, \, l}(\zeta ))\) forming a path connecting the rectangles corresponding to x and y. This decomposition is detailed in [13].
Given \(F \in A^p({\mathbb {C}}_+, \, (\nu _n)_{n=0}^m)\), for each \(\alpha \in T(\zeta )\) let \(w_\alpha , \, z_\alpha \in \overline{\alpha } \subset {\mathbb {C}}_+\) be such that
Define a weight \(\tilde{\rho }\) on \(T(\zeta )\) by \(\tilde{\rho }(\alpha ) := \rho (z_\alpha )\). And also: \(r_\alpha = {{\mathrm{Re}}}(w_\alpha )/4, \, \Phi (\alpha ):= F(z_\alpha ), \, \varphi (\alpha ) = \Phi (\alpha )-\Phi (\alpha ^-)\), for all \(\alpha \in T(\zeta )\). Note that \({\mathcal {I}}\varphi = \Phi \). This is because if F is in \(A^p({\mathbb {C}}_+, \, (\nu _n)_{n=0}^m\), then it is in the Zen space \(A^p_{\nu _0}\), and hence in the Hardy space \(H^p({\mathbb {C}}_+)\) (or its shifted version, see [16]), and hence \(\lim _{\alpha \longrightarrow - \infty } |F(z_\alpha )| = \lim _{{{\mathrm{Re}}}(z) \longrightarrow \infty }|F(z)|=0\). Since (9) holds, we can apply Lemmata 3 and 4 from [13] to \(\varphi , \, \tilde{\rho }, \, \tilde{\mu }\) (where \(\tilde{\mu }(\alpha ):= \mu (\alpha )\), for all \(\alpha \in T(\zeta )\)) in the following way
which is less than \(\Vert F\Vert ^q_{A^p({\mathbb {C}}_+, \, (\nu _n)_{n=0}^m)}\) by the assumption of the theorem. \(\square \)
Remark
Although condition (8) looks unnecessarily artificial and very restrictive, it simply means that \(A^p({\mathbb {C}}_+, \, (\nu )_{n=0}^m)\) is (or is contained within) some analytic Besov space on \({\mathbb {C}}_+\). For example, if \(p=2\) and \(\rho \equiv 1\), then \(A^p({\mathbb {C}}_+, \, (\nu )_{n=0}^m) \subseteq {\mathcal {D}}({\mathbb {C}}_+)\), the Dirichlet space on \({\mathbb {C}}_+\). Condition (9), expressed in terms of Carleson boxes on \({\mathbb {D}}\) and distance from \(\partial {\mathbb {D}}\), is known to be necessary and sufficient for the disc equivalent of the above theorem. It is not clear whether the same could be true for \({\mathbb {C}}_+\).
5 Laplace–Carleson embeddings for sectorial measures
Testing the boundedness of Laplace–Carleson embedding for arbitrary
\(1 \le p, \, q < \infty \) is generally very difficult. We can however obtain some partial results if we consider measures with some restrictions imposed on their support
Proposition 3
Let \(1<p< \infty , \, 1 \le q < \infty \), let w be a measurable self-map on \((0, \, \infty )\) and suppose that \(\mu \) be a positive Borel measure supported on \((0, \infty )\). If the Laplace–Carleson embedding \({\mathfrak {L}} : L^p_w (0, \, \infty ) \longrightarrow L^q ({\mathbb {C}}_+, \, \mu )\) is well defined and bounded, then
for all intervals \(I = (0, \, |I|]\), provided that the integral on the right exists.
Proof
Let \(0 < x \le |I|\) and \(a>0\), then
And hence
where \(C(\mu )>0\) is the constant from the Laplace–Carleson embedding. Choosing \(a = |I|/(p-1)\) gives us the desired result. \(\square \)
Theorem 5
Given \(0<a\le b< \infty \), let
If there exists a partition
of \((0, \, \infty )\) and sequence \((c_n) \in \ell ^1_{\mathbb {Z}}\) such that
then the Laplace–Carleson embedding \({\mathfrak {L}} : L^p_w (0, \, \infty ) \longrightarrow L^q ({\mathbb {C}}_+, \, \mu )\) is well defined and bounded.
Proof
For any\(z \in S_{(x_k, \, x_{k+1}]}\) and \(f \in L^p_w(0, \, \infty )\), we have
so
\(\square \)
Definition 2
Let \(1 \le p \le \infty \) and let \(f \in L^p({\mathbb {R}})\). We define the maximal function of f to be
The maximal function of f is finite almost everywhere. The book [17] by E. M. Stein offers extensive description of the maximal function and its properties, such as the link between Mf and the \(L^p\) norm of f used in the arguments below.
Lemma 1
Let f be in \(L^p_w(0, \, \infty ), \, 1 \le p < \infty \). Then for all \(x>0\) and any partition
of \([0, \, \infty )\), such that \(\inf _{k \in {\mathbb {N}}} t_{-k} =0\). We then have
where
\(g \in L^p({\mathbb {R}})\), and
where each \(t^*_k\) is such that
Proof
Let \(r_k := \max \left\{ |1-t_k|, \, |1-t_{k+1}|\right\} \), for each k. Given \(x>0\), we have
To get the required result, note that if \(k \le -1\), then \(t_{k+1} \le t_0 = 1\) and hence
otherwise \(t_{k+1} > 1\), so \(t_k \ge 1\), and so
\(\square \)
The following theorem has been proved in [9] (Theorem 3.3, p. 801) for unweighted \(L^p(0, \, \infty )\) case. We use the above lemma to obtain a weighted version.
Theorem 6
Let \(1< p \le q < \infty \), let \(\mu \) be a positive Borel measure on \({\mathbb {C}}_+\) supported only in the sector
for some \(0 \le \theta < \pi /2\), and let \(\alpha <p-1\). For an interval \(I=(0, \, |I|) \subset {\mathbb {R}}\), we define
The Laplace–Carleson embedding \({\mathfrak {L}} : L^p_{t^\alpha }(0, \, \infty ) \longrightarrow L^q({\mathbb {C}}_+, \, \mu )\) is well defined and bounded if and only if there exists a constant \(C(\mu ) >0\) such that
for all intervals \(I=(0, \, |I|) \subset {\mathbb {R}}\).
Proof
Suppose first that (11) holds. Let
and let also \(x_n = 2^{-n+1}\). Clearly
By the previous lemma, we have that
for all \(z \in T_n\) (\(\Theta \) and g are as in Lemma 1). Note that the choice of \(t_k^*\) does not depend on \(x_n\), since
and there exists a partition P of \((0, \, \infty )\), for which \(\Theta (P, t^\alpha , x_n)\) converges (since \(\alpha < p\)), so fixing P we can define \(D_\Theta = x_n^{\frac{\alpha }{p}} \Theta (P, t^\alpha , x_n)\), which, by the definition of \(\Theta \), is a constant depending on P and \(\alpha \) only. Thus we have
Now suppose that the converse is true. For each \(z \in \Delta _I\), we have \(|z| \le |I|\sec (\theta )\), so
And therefore, we have
as required. \(\square \)
Corollary 2
Let \(1< p \le q < \infty \), let w be a measurable self-map on \((0, \, \infty )\), and let \(\mu \) be a positive Borel measure on \({\mathbb {C}}_+\) supported only in the sector \(S(\theta )\), \(0~\le ~\theta ~<~\pi /2\). Suppose that
for some \(\alpha < p-1\). If for some family of intervals \((I_n)_{n \in {\mathbb {Z}}} = ((0, \, 2^n|I|))_{n \in {\mathbb {Z}}}\) there exists \(C(\mu )>0\) such that
then the Laplace–Carleson embedding \({\mathfrak {L}} : L^p_w (0, \, \infty ) \longrightarrow L^q ({\mathbb {C}}_+, \, \mu )\) is well defined and bounded.
Proof
By the previous theorem, we get that
\(\square \)
Corollary 3
Let B and \(\mu \) be defined as in Theorem 1, let \(1<p \le q < \infty \) and \(\alpha < p-1\), and suppose that there exists \(0< \theta < \pi /2\) such that
Then the control operator B is \(L^p_{t^\alpha }\)-admissible if and only if there exists a constant \(C(\mu )>0\) such that
Example 1
Consider the following one-dimensional heat PDE on the interval \([0, \, 1]\):
This system can be expressed in the form (1) with \(H=\ell ^2, \, Ae_n = -n^2\pi ^2e_n\), and \(b_n = 1\), for each \(n \in {\mathbb {N}}\) (see Example 3.6 in [10]). For \(1<p \le 2\) and \(\alpha < p-1\), by the previous corollary we have that B is \(L^p_{t^\alpha }\)-admissible if and only if \(p \ge \frac{4}{3}(\alpha +1)\).
Example 2
Let \(1<p\le 2\). Consider the following parabolic diagonal system: let \(X~=~\ell ^2, \, \lambda _n~=~-2^n, \, b_n~=~2^n/n\), and let A be defined by \(Ae_n~=~\lambda _n e_n, \, n~\in ~{\mathbb {N}}\). By the previous corollary, if \(\alpha \le -1\), then the control operator B is \(L^2_{t^\alpha }\)-admissible, and if \(-1< \alpha < p-1\), then B is not \(L^2_{t^\alpha }\)-admissible. This contrasts with the unweighted setting, in which for all \(1<p< \infty \), the control operator B is not \(L^p\)-admissible. This was proved only very recently in [11] (Example 5.2).
Theorem 7
Let \(\mu \) be a positive Borel measure supported only in the sector \(S(\theta ), \, 0< \theta < \pi /2\). If there exists an interval \(I \subset i{\mathbb {R}}\), centred at 0, and a constant \(C(\mu )>0\) such that
for all \(k \in {\mathbb {Z}}\), then \(\mu \) is a Carleson measure for \(A^2_{(m)}\).
Proof
For all \(t, \, x >0\), we have
where each \(R_n\) is the supremum obtained from the (\(\Delta _2\))-condition, corresponding to \(\tilde{\nu }_n\). Clearly we have that
and
Let
be a partition of \([0, \, \infty )\), and let \(x_k = 2^{-k+1}|I|^{-1}, \, k \in {\mathbb {Z}}\). Then
And by Lemma 1, we get that for any \(z \in T_k\)
so for any \({\mathfrak {L}}f=F \in A^2_{(m)}\), we have
as required. \(\square \)
Remark
Note that condition (12), although it looks somehow superficial, actually almost matches condition (5) from Theorem 3 (with \(m=1\) and \(p=q=2\)). It suggests that if there exists a criterion characterising Carleson measures for \(A^2_{(m)}\), which is both necessary and sufficient, then it must be expressible in a very similar form. This, however, still remains to be done.
References
Arcozzi N, Rochberg R, Sawyer ET (2002) Carleson measures for analytic Besov spaces. Rev Matemtica Iberoam (2) 18:443–510
Arcozzi N, Rochberg R, Sawyer ET (2008) Carleson measures for the Drury–Arveson Hardy space and other Besov–Sobolev spaces on complex balls. Adv Math (4) 218:1107–1180
Haak BH, Le Merdy C (2005) \(\alpha \)-admissibility for observation and control operators. Houst J Math 31(4):1153–1167
Haak BH, Kunstmann PC (2007) Weighted admissibility and wellposedness of linear systems in Banach spaces. SIAM J Control Optim 45(6):2094–2118
Haak BH, Jacob B, Partington JR, Pott S (2009) Admissibility and controllability of diagonal Volterra equations with scalar inputs. J Differ Equ 246:4423–4440
Haak BH (2010) On the Carleson measure criterion in linear system theory. Complex Anal Oper Theory 4(2):281–299
Ho LF, Russell DL (1983) Admissible input elements for systems in Hilbert space and Carleson measure criterion. SIAM J Control Optim, 21 (4): 614–640 (Erratum)
Jacob B, Partington JR (2004) Admissibility of control and observation operators for semigroups: a survey. Oper Theory Adv Appl 149:199–221
Jacob B, Partington JR, Pott S (2013) On Laplace–Carleson embedding theorems. J Funct Anal (3) 264:783–814
Jacob B, Partington JR, Pott S (2014) Applications of Laplace–Carleson embeddings to admissibility and controllability. SIAM J Control Optim 52(2):1299–1313
Jacob B, Nabiullin R, Partington JR, Schwenninger FL (2016) Infinite-dimensional input-to-state stability and Orlicz spaces. https://arxiv.org/abs/1609.09741
Kucik AS (2017) Multipliers of Hilbert spaces of analytic, functions on the complex half-plane. Oper Matrices 11(2):435–453
Kucik AS (2017) Carleson measures for Hilbert spaces of analytic functions on the complex half-plane. J Math Anal Appl 445(1):476–497
Kuznetsova Yu N (2006) Weighted \(L_p\)-algebras on groups. Funct Anal Appl 40(3):234–236 (translated from Functsional’nyi Analiz i Ego Prilozheniya 40(3): 82–85, 2006 )
Nikolskii NK (1970) Spectral synthesis for a shift operator and zeros in certain classes of analytic functions smooth up to the boundary, Soviet Mathematics 11 (1) : American Mathematical Society, 206–209, (translated from Doklady Akademii Nauk SSSR 190: 780-83 1970)
Peloso MM, Salvatori M (2016) On some spaces of holomorphic functions of exponential growth on a half-plane. Concr Oper (1) 3:52–67
Stein EM (1993) Harmonic analysis: real-variable methods orthogonality and oscillatory integrals, monographs in harmonic analysis 3. Princeton University Press, Princeton
Tucsnak M, Weiss G (2009) Observation and control for operator semigroups. Birkhäuser Verlag, Basel
Weiss G (1988) Admissibility of input elements for diagonal semigroups on \(\ell ^2\). Syst Control Lett (1) 10:79–82
Weiss G (1989) Admissibility of unbounded control operators. SIAM J Control Optim 27(3):527–545
Weiss G (1989) Admissible observation operators for linear semigroups. Isr J Math 65:17–43
Weiss G (1999) A powerful generalisation of the Carleson measure theorem?. Communications and Control Engineering. In: Open problems in mathematical systems and control Theory, pp. 267–272
Wynn A (2010) \(\alpha \)-admissibility of observation operators in discrete and continuous time. Complex Anal Oper Theory (1) 4:109–131
Acknowledgements
The author of this article would like to thank the UK Engineering and Physical Sciences Research Council (EPSRC) and the School of Mathematics at the University of Leeds for their financial support. He is also very indebted to Professor Jonathan R. Partington for all the invaluable comments and help in preparation of this research paper.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kucik, A.S. Laplace–Carleson embeddings and weighted infinite-time admissibility. Math. Control Signals Syst. 29, 14 (2017). https://doi.org/10.1007/s00498-017-0198-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00498-017-0198-5
Keywords
- Admissibility
- Besov spaces
- Carleson measure
- Laplace–Carleson embedding
- Laplace transform
- Linear evolution equation
- Semigroup system