Abstract
This paper studies semigroups of operators on Hardy and Dirichlet spaces whose generators are differential operators of order greater than one. The theory of forms is used to provide conditions for the generation of semigroups by second order differential operators. Finally, a class of more general weighted Hardy spaces is considered and necessary and sufficient conditions are given for an operator of the form \(f \mapsto Gf^{(n_0)}\) (for holomorphic G and arbitrary \(n_0\)) to generate a semigroup of quasicontractions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The theory of semigroups of weighted composition operators on Hardy and Dirichlet spaces of the unit disc \({{\mathbb {D}}}\) is well understood (see [1, 3–6, 12, 15, 16]), and these have generators that are first order differential operators of the form \(A: f \mapsto G_0 f + G_1 f'\).
Less attention has been given to higher order generators (some of which are the counterpart of those appearing in the theory of heat semigroups), and that is the main theme of this paper.
In Sect. 2 we use the theory of forms to give sufficient conditions for the existence of semigroups on the Hardy space \(H^2\) with generators given by second-order differential operators; other techniques involved in this section include perturbation theory and the use of generalized heat kernels in general reproducing kernel Hilbert spaces.
Then in Sect. 3 we consider a particular class of weighted Hardy spaces, including the Dirichlet space, and by means of numerical range techniques and the Lumer–Phillips theorem, together with explicit expressions for the reproducing kernels, we are able to provide necessary and sufficient conditions for generators of the form \(f \mapsto G f^{(n_0)}\) to generate a semigroup of quasicontractions.
Take \((\beta _n)_{n \ge 0}\) a sequence of positive real numbers. Then \(H^2(\beta )\) is the space of analytic functions
in the unit disc that have finite norm
The case \(\beta _n=1\) gives the usual Hardy space \(H^2\); also, the case \(\beta _0=1\) and \(\beta _n=\sqrt{n}\) for \(n\ge 1\) provides the Dirichlet space \({\mathcal {D}}\), which is included in \(H^2({{\mathbb {D}}})\).
With an extra condition on \((\beta _n)_n\), the Hilbert space \(H^2(\beta )\) is also a reproducing kernel space, i.e., for all \(w\in {{\mathbb {D}}}\), there exists a function \(k_w\in H^2(\beta )\) such that
for all \(f\in H^2(\beta )\) (see p. 19 in [7] and p. 146 in [13]). More precisely, if \((\beta _n)_n\) is such that
it follows that \(H^2(\beta )\) is a reproducing kernel Hilbert space and
In fact (1) is also equivalent to the more explicit condition \(\liminf (\beta _n)^{1/n}\ge 1\).
We recall that \(H^\infty \) is the Banach algebra of bounded analytic functions in the disc, with the supremum norm.
Before embarking on the general theory we give a simple motivating example.
Example 1.1
Let \((Af)(z)=-z^2 f''(z)\) for \(f \in D(A) \subset H^2\), where \(D(A)= \{f \in H^2: f'' \in H^2 \}\). Note that if \(f(z)=z^n\), then \((Af)(z)= -n(n-1) z^n\). It follows easily that A is the generator of the semigroup \((T(t))_{t \ge 0}\), where
2 Holomorphic semigroups on \(H^2\)
2.1 Application of the theory of forms
First we recall the definition of a form and we present the result that we will apply in order to obtain sufficient conditions for the existence of an analytic semigroup with a prescribed generator involving the second derivative.
The following presentation is based on [2], where we add a simplification concerning the mapping j defined below.
Let V be a complex Hilbert space and \(a:V\times V\rightarrow {{\mathbb {C}}}\) a form, that is a continuous, sesquilinear and coercive mapping, i.e. there exists \(\alpha >0\) such that, for all \(u\in V\),
Then we take H another complex Hilbert space such that there is an embedding \(j:V\rightarrow H\) continuous and dense range. Often we identify j(v) with v for v in V.
For \(x,y\in H\), we say that \(x\in D(A)\) and \(Ax=y\) if \(x\in V\) and
for all \(v\in V\).
Then the linear operator A is well-defined, linear, densely-defined, with \(A:D(A)\rightarrow H\).
Moreover, we say that a is j-elliptic if there exists \(w\in {{\mathbb {R}}}\), \(\alpha >0\) such that
The link between a and A is the following.
Theorem 2.1
[2, Thm.4.3] If a is a form which is j-elliptic, then there exists a sector \(\Sigma _\theta \) with \(\theta \in (0,\pi /2]\) such that \(-A\) generates a holomorphic \(C_0\)-semigroup of quasicontractions on H with
for all t in \(\Sigma _\theta \).
We now present an application of the above theory from forms to semigroups.
Take \(H=H^2\), \(G_1,G_2,G_3\) in \(H^\infty \) such that
where \(\varepsilon _1\) is a positive numerical constant.
Then define a by
on \(V\times V\), where \(V:=\{f\in H^2 :f'\in H^2\}\) is a Hilbert space endowed with the norm
Using the Cauchy–Schwarz inequality, a is continuous and obviously sesquilinear. It remains to check that a is j-elliptic.
Note that
Moreover, once more using the Cauchy–Schwarz inequality, we have
Now for \(\Vert G_3\Vert _\infty <2\epsilon _1\), and for w sufficiently large, it follows that a is indeed j-elliptic.
The last step consists in identifying A. In our case A is defined by \(Af=g\) when
for all \(h\in V\).
Note that for all \(k,h\in V\), we have
Indeed, one can easily check this identity for k and h equal to powers of z.
It follows that A is defined on \(D(A)\subset V\) by
We have proved the following theorem which, as the referee has observed, is formally related to the Black–Scholes equation of mathematical finance (see [8, 9]).
Theorem 2.2
Let \(G_1,G_2,G_3\in H^\infty \) and \(\epsilon _1>0\) be such that
Let \(A:D(A)\rightarrow H^2\) be defined by
Then \(-A\) generates a holomorphic \(C_0\)-semigroup of quasicontractions.
An easy example here is given by \(G_1(z)=1\), \(G_2(z)=0\) and \(G_3(z)=-z\), in which case \(Af(z)=z^2f''(z)\), an example discussed in the introduction.
The proof of Theorem 2.2 leads to the following particular cases.
Theorem 2.3
Let \(G_1,G_2,G_3\in H^\infty \) and \(\epsilon _1>0\) be such that
If moreover there exists \(\varepsilon _2>0\) such that
then \(-A\) defined by (5) generates a holomorphic \(C_0\)-semigroup of contractions.
Example 2.4
A particular case of Theorem 2.2 is the case where \(Af(z)=z(zG_1(z)f'(z))'\) for which we can conclude that \(-A\) generates a holomorphic \(C_0\)-semigroup of quasicontractions \((T(z))_{z\in \Sigma _\theta }\) with \(\Vert T(z)\Vert \le e^{w\mathrm{Re}(z)}\) for all \(w>0\). This implies that T is a holomorphic \(C_0\)-semigroup of contractions.
2.2 Perturbation theory
Recall that an operator B is bounded relative to another operator A if \(D(A) \subseteq D(B)\) and there are constants \(a,b>0\) such that
We write \(a_0=\inf \{a>0: \exists b \hbox { such that }\) (6) \(\hbox { holds}\}\), and call this the A-bound of B.
Theorem 2.5
[11, Thm. III.2.10] Suppose that A generates an analytic semigroup \(((T(z))_{z \in \Sigma _\theta \cup \{0\}}\). Then there is an \(\alpha >0\) such that \(A+B\) (with \(D(A+B)=D(A)\)) generates an analytic semigroup for all B with A-bound \(a_0< \alpha \).
More precisely, there is a \(C \ge 1\) such that \(\Vert (\lambda I-A)^{-1}\Vert \le \frac{C}{|\lambda |}\) for \(\lambda \) in some large sector \(\Sigma _{\pi /2+\delta }\) with \(\delta >0\). Then we may take \(\alpha =1/(C+1)\).
To see an application of this result, let us take A defined by \(Af=-z^2 f''\) for \(f \in D(A) \subset H^2\), which is diagonalisable with \(Ae_n=-n(n-1)e_n\), where \(e_n(z)=z^n\) for \(n =0,1,2, \ldots \)
Now
Suppose that \(\lambda =-x+iy\) with \(|x/y| \le \epsilon \) (the case \(x \ge 0\) is easier); then
so we may take \(C=\sqrt{1+\epsilon ^2}\) for any \(\epsilon >0\), and hence \(\alpha =\frac{1}{1+\sqrt{1+\epsilon ^2}}\). Thus, taking \(a_0=1/2\). we may apply Theorem 2.5, and conclude the following.
Theorem 2.6
Let \(Af=-z^2f''\) and \(Bf=gf''\), where \(\Vert g\Vert _\infty \le \frac{1}{2}\). Then \(A+B\) generates a holomorphic semigroup on \(H^2\).
2.3 Heat kernels
It is well known (see, e.g., [10]) that many parabolic partial differential equations on \({{\mathbb {R}}}^n\) can be solved in terms of a (generalized) heat kernel. The simplest example is defined on \(L^2({{\mathbb {R}}})\) by
giving a semigroup whose generator is the closure of the Laplacian \(f \mapsto f''\).
Let H be a reproducing kernel Hilbert space of analytic functions on \({{\mathbb {D}}}\). For a semigroup \((T(t))_{t \ge 0}\) on H with generator \(f \mapsto \sum _{k=0}^{n_0} G_k f^{(k)}\), where the \(G_k\) are analytic in \({{\mathbb {D}}}\), define the associated kernel K(t, z, w) on \({{\mathbb {R}}}_+ \times {{\mathbb {D}}}\times {{\mathbb {D}}}\) by
where \(k_w\) is the reproducing kernel for H. That is, K satisfies the equation
Proposition 2.7
Suppose that \(T(t)f(w)=F(t,w)\); then
Proof
This is clearly true if f is a finite linear combination of reproducing kernels, and it follows for all f by the boundedness of the operator T(t). \(\square \)
Theorem 2.8
If the equation \(\sum _{k=0}^{n_0} G_n \varphi ^{(k)}=\lambda \varphi \) has a normalized basis \((\varphi _n)\) of eigenvectors in H, with eigenvalues \((\lambda _n)\), such that \(\mathrm{Re}\,\lambda _n \le 0\) for all n, then
Proof
By a simple calculation \(f(w)=\big \langle f,K(0,z,w)\big \rangle _z \) for \(f \in H\), and so \(K(0,z,w)=k_w(z)\). Moreover, the hypotheses on \((\varphi _n)\) and \(\lambda _n\) easily imply that (7) holds. \(\square \)
Example 2.9
For \(H=H^2\), with reproducing kernel \(k_w(z)=1/(1-{{\overline{w}}} z)\), consider the generator \(f \mapsto Gf''\), where \(G(z)=-z^2\), and \(\varphi _n(z)=z^n\), \(\lambda _n=-n(n-1)\). Then
Take \(f(z)=\sum _{n=0}^\infty a_n z^n\); then \(F(t,w)=T(t)f(w)\) is given by
3 Link between the generator and the numerical range
Let \(n_0\) be a positive integer and let G be an analytic function in the disc (we impose a more general condition on G later).
Assume that A is defined on a dense set of \(H^2\) by
where \(f^{(n_0)}\) denotes the derivative of f of order \(n_0\).
If \(G(z)=\sum _{n=0}^{\infty }a_nz^n\), denote by \({\widetilde{G}}\) the analytic function associated with G defined by
with the convention \(a_j=0\) if \(j<0\).
Note that, for all \(z\in {{\mathbb {T}}}\),
Consider now the weighted Hardy space \(H^2(\beta )\) where \(\beta \) is the sequence defined by
In other words, for this particular weight \(\beta \), we have \(H^2(\beta )\subset H^2\) and
Note also that there is a link between the scalar product \(\big \langle , \big \rangle _{ H^2(\beta )}\) and the usual scalar product on \(H^2\) denoted by \(\big \langle , \big \rangle _{H^2}\), namely, for all \(f,g\in H^2(\beta )\), we have
We can now present a link between a condition on G and the upper boundedness of the numerical range of A acting on \(H^2(\beta )\).
Proposition 3.1
If \(\mathrm{ess}\sup _{w\in {{\mathbb {T}}}}\mathrm{Re}(\overline{w^{n_0}}G(w))\le 0\), and D(A) is dense in \(H^2(\beta )\), where A is defined by \(Af=Gf^{(n_0)}\) then
Proof
Writing \(T_F\) for the Toeplitz operator \(f \mapsto P_{H^2} F f\), we have
It follows that \(\mathrm{ess}\sup _{z\in {{\mathbb {T}}}}\mathrm{Re}({\widetilde{G}}(z))\le 0\) implies that
In order to find an upper bound independent of the choice of f, note that we may assume without loss of generality that G and f are polynomials of degree at most \(2n_0\). Moreover since the norm of f in \(H^2(\beta )\) is 1, in particular the Taylor coefficients of f are bounded by 1. It is now clear that there exists a numerical constant \(C>0\) depending only on \(n_0\) and the norm of G in \(H^2(\beta )\), such that
for all f in the unit ball of \(H^2(\beta )\). \(\square \)
The following result, which serves as a converse, applies in a large family of weighted Hardy spaces with reproducing kernels. Now the sequence \((\beta _n)_n\) need not depend on the operator A.
Proposition 3.2
Let \((\beta _n)_n\) be a decreasing sequence of positive reals such that \(\liminf _{n\rightarrow \infty }|\beta _n|^{1/n}\ge 1\) and let \(G\in H^2(\beta )\) such that
Then
where A is defined on \(D(A)=\{f\in H^2(\beta ):Gf^{(n_0)}\in H^2(\beta )\}\) by \(Af=Gf^{(n_0)}\).
Before proceeding to the proof, we state the following technical lemma which explains the hypothesis on monotonicity of \((\beta _n)_n\).
Lemma 3.3
Let \((\beta _n)_n\) be a decreasing sequence of positive reals. Then for each positive integer N, there exists \(\eta =\eta (N)>0\) such that for all \(z\in {{\mathbb {D}}}\) with \(|w|>1-\delta \), we have
Proof
Since \((1/\beta _n)_n\) is increasing, we have
On the other hand, we have
Since \(1-|w|^{2N+2}<|w|^{2N+2}\) is equivalent to \(|w|>(1/2)^{1/(2N+2)}\), for all \(w\in {{\mathbb {D}}}\) such that \(|w|>\eta (N)\) with \(\eta (N)=1-(1/2)^{1/(2N+2)}\), we have
\(\square \)
Proof of Proposition 3.2
By hypothesis, there exists \(\delta >0\) and a sequence \((w_k)_k\subset {{\mathbb {D}}}\) such that \(|w_k|\rightarrow 1\) and \(\mathrm{Re}(\overline{w_k^{n_0}}G(w_k))\ge \delta \). Moreover the condition \(\liminf _{n\rightarrow \infty }|\beta _n|^{1/n}\ge 1\) guarantees that the space \(H^2(\beta )\) has reproducing kernels \(k_w\) for all \(w\in {{\mathbb {D}}}\). Now consider the sequence \((\widehat{k_{w_k}})_k\) of normalized reproducing kernels associated with \((w_k)_k\), i.e. \(\widehat{k_{w_k}}=\frac{k_{w_k}}{\Vert k_{w_k}\Vert _{H^2(\beta )}}\). First assume that \(k_{w_k}\in D(A)\). In this case, the remainder of the proof consist in checking that
Note that
where \(k^{(n_0)}_{w_k}(z)=\sum _{n\ge n_0}\frac{n(n-1)\cdots (n-n_0+1)\overline{w_k}^n}{\beta _n^2}z^{n-1}\).
It follows that
and thus
Now, for each positive integer N, take \(\eta (N)\) as in Lemma 3.3, and k sufficiently large so that \(|w_k|>1-\eta (N)\). Then we have
Therefore, for k sufficiently large (so that \(|w_k|>1-\eta (N)\)), we get
Since \(\mathrm{Re}(\overline{w_k^{n_0}}G(w_k))\ge \delta \) and since \(|w_k|\) tends to 1, we get the desired conclusion.
If \(k_{w_k}\) is not in D(A), the conclusion follows from similar calculation, considering the sequence of polynomials \((k^M_{w_k})_{M\ge 0}\) defined by
which belongs to D(A) and tends to \(k_{w_k}\) in \(H^2(\beta )\). \(\square \)
Corollary 3.4
For A to generate a \(C_0\) semigroup of quasicontractions on \(H^2(\beta )\) it is necessary and sufficient that \(\mathrm{ess}\sup _{w\in {{\mathbb {T}}}}\mathrm{Re}(\overline{w^{n_0}}G(w))\le 0\) and there is a \(\lambda >0\) such that \(A-\lambda I\) is invertible in \(H^2(\beta )\). Moreover, such a semigroup is holomorphic if and only if there is a \(\beta \in (0,\pi /2)\) such that \(\mathrm{ess}\sup _{w\in {{\mathbb {T}}}}\mathrm{Re}(e^{\pm i\beta }\overline{w^{n_0}}G(w))\le 0\).
Proof
The first part follows from Propositions 3.1 and 3.2 using the Lumer–Phillips theorem [14, p. 14]. The characterization of holomorphy follows from the complex version of the Lumer–Phillips theorem as in [5, Prop. 2.2]. \(\square \)
References
Abate, M.: The infinitesimal generators of semigroups of holomorphic maps. Ann. Mat. Pura Appl. 161(4), 167–180 (1992)
Arendt, W., ter Elst, A.F.M.: From forms to semigroups. In: Spectral Theory, Mathematical System Theory, Evolution Equations, Differential and Difference Equations. Operator Theory: Advances and Applications, vol. 221, pp. 47–69. Birkhäuser/Springer Basel AG, Basel (2012)
Arvanitidis, A.G.: Semigroups of composition operators on Hardy spaces of the half-plane. Acta Sci. Math. (Szeged) 81(1–2), 293–308 (2015)
Avicou, C., Chalendar, I., Partington, J.R.: A class of quasicontractive semigroups acting on Hardy and Dirichlet space. J. Evol. Equ. 15(3), 647–665 (2015)
Avicou, C., Chalendar, I., Partington, J.R.: Analyticity and compactness of semigroups of composition operators. J. Math. Anal. Appl. 437(1), 545–560 (2016)
Berkson, E., Porta, H.: Semigroups of analytic functions and composition operators. Mich. Math. J. 25(1), 101–115 (1978)
Cowen, C.C., MacCluer, B.D.: Composition Operators on Spaces of Analytic Functions. Studies in Advanced Mathematics. CRC Press, Boca Raton, FL (1995)
Emamirad, H., Goldstein, G.R., Goldstein, J.A.: Chaotic solution for the Black–Scholes equation. Proc. Am. Math. Soc. 140(6), 2043–2052 (2012)
Emamirad, H., Goldstein, G.R., Goldstein, J.A.: Corrigendum and improvement to “Chaotic solution for the Black–Scholes equation”. Proc. Am. Math. Soc. 142(12), 4385–4386 (2014)
Engel, K.J., Nagel, R.: One-Parameter Semigroups for Linear Evolution Equations. Springer, New York (2000)
Engel, K.J., Nagel, R.: A Short Course on Operator Semigroups. Universitext. Springer, New York (2006)
König, W.: Semicocycles and weighted composition semigroups on \(H^p\). Mich. Math. J. 37(3), 469–476 (1990)
Partington, J.R.: Interpolation, Identification, and Sampling. London Mathematical Society Monographs. New Series, vol. 17. Oxford University Press, New York (1997)
Pazy, A.: Semigroups of linear operators and applications to partial differential equations. Applied Mathematical Sciences, vol. 44. Springer, Berlin (1983)
Siskakis, A.G.: Semigroups of composition operators on the Dirichlet space. Results Math. 30, 165–173 (1996)
Siskakis, A.G.: Semigroups of composition operators on spaces of analytic functions, a review. Studies on Composition Operators (Laramie, WY, 1996). Contemp. Math., vol. 213, pp. 229–252. American Mathematical Society, Providence (1998)
Acknowledgments
We are grateful to L. Ruby for providing such a good atmosphere during the preparation of this work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jerome A. Goldstein.
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
Chalendar, I., Partington, J.R. A class of quasicontractive semigroups acting on Hardy and weighted Hardy spaces. Semigroup Forum 95, 281–292 (2017). https://doi.org/10.1007/s00233-016-9823-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-016-9823-8