Abstract
We derive necessary and sufficient criteria for the uniqueness and existence of solutions of the abstract Cauchy problem in locally convex Hausdorff spaces. Our approach is based on a suitable notion of an asymptotic Laplace transform and extends results of Langenbruch beyond the class of Fréchet spaces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We study the abstract Cauchy problem in locally convex Hausdorff spaces in the present paper. This is an initial value problem of the form
where \(A:D(A)\subset E\rightarrow E\) is a sequentially closed linear operator and E a sequentially complete locally convex Hausdorff space over \(\mathbb {C}\).
One of the approaches to tackle the abstract Cauchy problem is the theory of \(C_{0}\)-semigroups. The classical theory of \(C_{0}\)-semigroups on Banach spaces (see e.g. [14] and the references therein) has already been extended in several ways. Beyond the realm of Banach spaces it was extended to equicontinuous \(C_{0}\)-semigroups on locally convex Hausdorff spaces in [1, 26, 65, Chap. IX], quasi-equicontinuous \(C_{0}\)-semigroups in [1, 3, 8, 20, 52,53,54], locally equicontinuous \(C_{0}\)-semigroups in [9, 32, 57], sequentially (locally) equicontinuous \(C_{0}\)-semigroups in [16] and smooth semigroups on convenient algebras in [61].
Besides the extension of the theory of \(C_{0}\)-semigroups to locally convex Hausdorff spaces the continuity assumptions were weakened as well. Bi-continuous semigroups were introduced in [40, 41], (locally equi-)tight bi-continuous semigroups in [15], integrable semigroups considered in [43], integrated semigroups in [63, 64], distribution semigroups on Banach spaces in [7, 25, 42, 45, 51] and even on locally convex Hausdorff spaces in [58, 59], and (Fourier) hyperfunction semigroups for Banach spaces in [55, 56] (and [18, 19]). We note that most of the classical bi-continuous semigroups are actually quasi-equicontinuous \(C_{0}\)-semigroups with respect to the mixed topology and even quasi-equitight by [33, Theorem 7.4, p. 180] and [39, 3.17 Theorem, p. 13, Section 4].
Apart from the theory of semigroups some of the classical methods for initial value problems were transferred to the setting in locally convex Hausdorff spaces in [46] and the references therein.
A common problem in the mentioned approaches to the abstract Cauchy problem is the development of a suitable notion of a Laplace transform for vector-valued generalised functions. In [4, 5, 47] an appropriate (asymptotic) Laplace transform was developed for Banach-valued locally integrable functions and applied to abstract Cauchy problems, and in [27,28,29,30,31] under minimal regularity assumptions for Banach-valued hyperfunctions as well as in [44] for Fréchet-valued hyperfunctions. This was extended in [38] beyond the class of Fréchet spaces to a large variety of locally convex Hausdorff spaces containing common spaces of distributions.
We use the asymptotic Laplace transform from [38] to study the abstract Cauchy problem for vector-valued hyperfunctions. After recalling the necessary notions and results from [38] in Sect. 2, we characterise the uniqueness of the solutions of the abstract Cauchy problem in Sect. 3, in particular, we derive necessary and sufficient conditions in Theorem 3.2. We use these conditions to phrase sufficient conditions for the uniqueness of solutions in terms of asymptotic left resolvents in Theorems 3.3 and 3.4, generalising corresponding results from [44] (for general notions of resolvents in locally convex Hausdorff spaces see [2] and [12]). In Sect. 4, we turn to the solvability of the abstract Cauchy problem for vector-valued hyperfunctions and present necessary and sufficient conditions for the solvability in Theorem 4.3. Here we use the Laplace transform for vector-valued Laplace hyperfunctions from [11] in combination with the asymptotic Laplace transform for vector-valued hyperfunctions from [38]. In Theorem 4.4, we give a sufficient condition for the solvability of the abstract Cauchy problem in terms of asymptotic right resolvents. Our results on the solvability extend the ones from [44].
2 Notation and preliminaries
We use essentially the same notation and preliminaries as in [38, Section 2]. In the following E is always a locally convex Hausdorff space over \(\mathbb {C}\) equipped with a directed system of seminorms \((p_{\alpha })_{\alpha \in \mathfrak {A}}\), in short, E is a \(\mathbb {C}\)-lcHs. If E is a normed space, we often write \(\Vert \cdot \Vert _{E}\) for the norm on E. We denote by L(F, E) the space of continuous linear maps from a \(\mathbb {C}\)-lcHs F to E, write \(L(F):= L(F,F)\), sometimes use the notion \(\langle T, f\rangle := T(f)\), \(f\in F\), for \(T\in L(F,E)\) and the symbol \(T^{{\text {t}}}\) for the dual map of T. If \(E=\mathbb {C}\), we write \(F':= L(F,\mathbb {C})\) for the dual space of F. We denote by \(L_{b}(F,E)\) the space L(F, E) equipped with the locally convex topology of uniform convergence on the bounded subsets of F.
We denote by \(\mathcal {O}(\Omega ,E)\) the space of E-valued holomorphic functions on an open set \(\Omega \subset \mathbb {C}\) and by \(\mathcal {C}^{\infty }(\Omega ,E)\) the space of E-valued infinitely continuously partially differentiable functions on an open set \(\Omega \subset \mathbb {R}^{2}=\mathbb {C}\). We denote by \(\partial ^{\beta }f\) the partial derivative of \(f\in \mathcal {C}^{\infty }(\Omega , E)\) for a multiindex \(\beta \in \mathbb {N}_{0}^{2}\). We denote by \(\mathbb {C}_{{\text {Re}}>0}:=\{z\in \mathbb {C}\;|\;{\text {Re}}(z)>0\}\) the right halfplane, by \(\overline{\mathbb {R}}:=\mathbb {R}\cup \{\pm \infty \}\) the two-point compactification of \(\mathbb {R}\) and set \(\overline{\mathbb {C}}:=\overline{\mathbb {R}}+i\mathbb {R}\). We define the distance of \(z\in \mathbb {C}\) to a set \(M\subset \mathbb {C}\) w.r.t. the Euclidean norm \(|\cdot |\) via \(d(z,M):=\inf _{w\in M}|z-w|\) if \(M\ne \emptyset \), and \(d(z,M):=\infty \) if \(M=\emptyset \). For a compact set \(K\subset \overline{\mathbb {R}}\) and \(c>0\) we define the sets
and for \(n\in \mathbb {N}\)
Definition 2.1
[34, 3.2 Definition, p. 12–13] Let E be a \(\mathbb {C}\)-lcHs and \(K\subset \overline{{\mathbb {R}}}\) compact.
-
(a)
The space of vector-valued slowly increasing infinitely continuously partially differentiable functions outside K is defined as
$$\begin{aligned} \mathcal {E}^{exp}(\overline{\mathbb {C}}\setminus K, E):= \Bigg \{f\in \mathcal {C}^{\infty }(\mathbb {C}\setminus K,E) |\forall \, n\in \mathbb {N},m\in \mathbb {N}_{0},\alpha \in \mathfrak {A}:{\left| \left| \left| f \right| \right| \right| }_{n,m,\alpha ,K} < \infty \Bigg \} \end{aligned}$$where
$$\begin{aligned} {\left| \left| \left| f \right| \right| \right| }_{n,m, \alpha ,K}:=\sup _{\begin{array}{c} z\in S_{n}(K)\\ \beta \in \mathbb {N}_{0}^{2}, |\beta |\le m \end{array}} p_{\alpha }(\partial ^{\beta }f(z)) e^{-\frac{1}{n}|{\text {Re}}(z)|}. \end{aligned}$$ -
(b)
The space of vector-valued slowly increasing holomorphic functions outside K is defined as
$$\begin{aligned} \mathcal {O}^{exp}(\overline{\mathbb {C}}\setminus K,E):= \Bigg \{f\in \mathcal {O}(\mathbb {C}\setminus K,E) \; | \; \forall \;n\in \mathbb {N},\,\alpha \in \mathfrak {A}:\; {\left| \left| \left| f \right| \right| \right| }_{n,\alpha ,K} < \infty \Bigg \} \end{aligned}$$where
$$\begin{aligned} {\left| \left| \left| f \right| \right| \right| }_{n, \alpha ,K}:=\sup _{z \in S_{n}(K)}p_{\alpha }(f(z))e^{-\frac{1}{n}|{\text {Re}}(z)|}. \end{aligned}$$Furthermore, we set
$$\begin{aligned} bv_{K}(E):=\mathcal {O}^{exp}(\overline{\mathbb {C}}\setminus K, E)/\mathcal {O}^{exp}(\overline{\mathbb {C}}, E). \end{aligned}$$
We note that \(S_{1}(\overline{\mathbb {R}})=\emptyset \) and \({\left| \left| \left| f \right| \right| \right| }_{1,m, \alpha ,\overline{\mathbb {R}}}=-\infty ={\left| \left| \left| f \right| \right| \right| }_{1, \alpha ,\overline{\mathbb {R}}}\) for any \(f:\mathbb {C}\setminus \mathbb {R}\rightarrow E\), \(m\in \mathbb {N}_{0}\) and \(\alpha \in \mathfrak {A}\). Other common symbols for the spaces \(\mathcal {E}^{exp}(\overline{\mathbb {C}}\setminus K,E)\) resp. \(\mathcal {O}^{exp}(\overline{\mathbb {C}}\setminus K,E)\) are \(\widetilde{\mathcal {E}}(\overline{\mathbb {C}}\setminus K,E)\) resp. \(\widetilde{\mathcal {O}}(\overline{\mathbb {C}}\setminus K,E)\) (see [22, 1.2 Definition, p. 5]).
Definition 2.2
[34, p. 55] A \(\mathbb {C}\)-lcHs E is called admissible, if the Cauchy–Riemann operator
is surjective for any compact set \(K\subset \overline{\mathbb {R}}\). E is called strictly admissible if E is admissible and if, in addition,
is surjective for any open set \(\Omega \subset \mathbb {C}\).
If E is strictly admissible and sequentially complete, then the sheaf of E-valued Fourier hyperfunctions is flabby and can be represented by boundary values of exponentially slowly increasing holomorphic functions (see [35, Theorem 5.9, p. 33]). In particular, its subsheaf of E-valued hyperfunctions is flabby under this condition as well. Moreover, we may regard \(bv_{K}(E)\) as the space of E-valued Fourier hyperfunctions with support in \(K\subset \overline{\mathbb {R}}\) under this condition by [35, 5.11 Lemma, p. 44].
Theorem 2.3
[34, 5.25 Theorem, p. 98] If
-
(a)
E is a \(\mathbb {C}\)-Fréchet space, or if
-
(b)
\(E:= F_{b}'\) where F is a \(\mathbb {C}\)-Fréchet space satisfying (DN), or if
-
(c)
E is a complex ultrabornological PLS-space satisfying (PA),
then E is strictly admissible.
The definitions of the topological invariants (DN) and (PA) are given in [50, Chap. 29, Definition, p. 359] and [6, Section 4, Eq. (24), p. 577], respectively. Besides every \(\mathbb {C}\)-Fréchet space, the theorem above covers the space \(E=\mathcal {S}(\mathbb {R}^{d})_{b}'\) of tempered distributions, the space \(\mathcal {D}(V)_{b}'\) of distributions and the space \(\mathcal {D}_{(\omega )}(V)_{b}'\) of ultradistributions of Beurling type and many more spaces given in [6, 10, Corollary 4.8, p. 1116], [35, Example 4.4, p. 14–15] and [62].
Definition 2.4
[38, 7.1 Definition, p. 106] Let E be a \(\mathbb {C}\)-lcHs and \(a\in \{0,\infty \}\). We define the space
where
resp.
We omit the index \(\alpha \) of the seminorms if E is a normed space, and write \(\mathcal {LO}_{[a,\infty ]}:=\mathcal {LO}_{[a,\infty ]}(\mathbb {C})\).
Let E be a sequentially complete \(\mathbb {C}\)-lcHs, \(K:= [0,\infty ]\) or \(K:=\{\infty \}\) and equip \(bv_{K}(E)\) with its usual quotient topology, which is Hausdorff locally convex by [37, Remark 14, p 22]. By [38, Theorem 7.2 (ii), p. 106] the Laplace transform
where \(\gamma _{K}\) is the path along the boundary of \(U_{\nicefrac {1}{c}}(K)\) with clockwise orientation (see Fig. 1), does not depend on the choice of \(c>0\) and is a topological isomorphism.
Let E be an admissible \(\mathbb {C}\)-lcHs. Then the canonical (restriction) map
is a linear isomorphism by [38, Theorem 5.1, p. 96] where
is the space of hyperfunctions with values in E and support in \([0,\infty [\). The combination of both results leads to the following theorem.
Theorem 2.5
[38, 7.4 Theorem, p. 106] Let E be an admissible sequentially complete \(\mathbb {C}\)-lcHs. Then the asymptotic Laplace transform
is a linear isomorphism.
3 Uniqueness of solutions of the ACP
In this section, we apply our results on the asymptotic Laplace transform of hyperfunctions with support in \([0,\infty [\) to the abstract Cauchy problem for hyperfunctions with values in an admissible (sequentially) complete \(\mathbb {C}\)-lcHs. We start with a generalisation of an abstract Cauchy problem for hyperfunctions given in [44, p. 60–61]. Let \((E,(p_{\alpha })_{\alpha \in \mathfrak {A}})\) be a sequentially complete \(\mathbb {C}\)-lcHs. We call
an abstract Cauchy problem (ACP) where
is a sequentially closed linear operator with domain \(F:= D(A)\). Then F is a sequentially complete \(\mathbb {C}\)-lcHs when equipped with the graph topology \(\tau _{A}\) given by the seminorms \((p_{\alpha ,A}:= p_{\alpha }+p_{\alpha }(A\cdot ))_{\alpha \in \mathfrak {A}}\), and \(A:F_{A}:= (F,\tau _{A})\rightarrow E\) is continuous.
Remark 3.1
-
(a)
If E is a \(\mathbb {C}\)-Fréchet space and A and F are as above, then \(F_{A}=(F,\tau _{A})\) is also a Fréchet space and thus (strictly) admissibile by Theorem 2.3.
-
(b)
If E is a (strictly) admissible space, \(F=E\) and \(A:F\rightarrow E\) continuous, then \(F_{A}=E\) as locally convex spaces and so \(F_{A}\) is (strictly) admissible.
An F-valued hyperfunction \([u]\in \mathcal {B}([0,\infty [,F_{A})\) is called a solution of the ACP (1) (in the sense of hyperfunctions) if
where \(\delta _{0}:= [z\mapsto -\tfrac{1}{2\pi i z}]\) is the Dirac hyperfunction (see [38, 4.11 Example, p. 96]), \(x_{0}\otimes \delta _{0}:= x_{0}\delta _{0}\), \(\tfrac{d}{dt}[u]:= [\tfrac{d}{dz}u]\) and \(A[u]:= [z\mapsto Au(z)]\).
We say that the ACP (1) has the uniqueness property (in the sense of hyperfunctions) if \([u]=0\) is the only solution of (2) for \(x_{0}=0\). Our next theorem generalises [44, Theorem 7.1, p. 61] and we note that its proof essentially remains the same.
Theorem 3.2
Let E be an admissible sequentially complete \(\mathbb {C}\)-lcHs and \(A:F:= D(A)\subset E\rightarrow E\) a sequentially closed linear operator with admissible \(F_{A}=(F,\tau _{A})\). Then the following statements are equivalent:
-
(a)
The ACP (1) has the uniqueness property (in the sense of hyperfunctions).
-
(b)
If \(h\in \mathcal {LO}_{[0,\infty ]}(F_{A})\) and \((z-A)h\in \mathcal {LO}_{\{\infty \}}(E)\), then \(h\in \mathcal {LO}_{\{\infty \}}(F_{A})\).
-
(c)
If \(h\in \mathcal {LO}_{[0,\infty ]}(F_{A})\) and \((z-A)h\in \mathcal {LO}_{\{\infty \}}(E)\), then \(\{h(t)e^{nt}\;|\;t\ge \varepsilon \}\) is weakly bounded in \(F_{A}\) for any \(n\in \mathbb {N}\) and any (some) \(\varepsilon >0\).
Proof
(a) \(\Rightarrow \) (b): Due to Theorem 2.5 there is \([u]\in \mathcal {B}([0,\infty [,F_{A})\) such that \([h]=\mathcal {L}^{\mathcal {B}}([u])\in \mathcal {LO}_{[0,\infty ]}(F_{A})/\mathcal {LO}_{\{\infty \}}(F_{A})\). By [38, 7.10 Proposition, p. 108] and our assumption we have
From Theorem 2.5 and (a) we deduce that \([u]=0\), which implies \([h]=0\) and thus \(h\in \mathcal {LO}_{\{\infty \}}(F_{A})\).
(b) \(\Rightarrow \) (c): This follows from \(h\in \mathcal {LO}_{\{\infty \}}(F_{A})\) by (b) and the definition of the space \(\mathcal {LO}_{\{\infty \}}(F_{A})\).
(c) \(\Rightarrow \) (a): Let \([u]\in \mathcal {B}([0,\infty [,F_{A})\) such that \(\tfrac{d}{dt}[u]-A[u]=0\). Then \([h]:=\mathcal {L}^{\mathcal {B}}([u])\) satisfies
and thus \((z-A)h\in \mathcal {LO}_{\{\infty \}}(E)\). Next, we show that \(y \circ h\in \mathcal {LO}_{\{\infty \}}\) for any \(y\in F_{A}'\) by the Phragmén–Lindelöf theorem. Let \(k\in \mathbb {N}\) and set \(S:=\{z\in \mathbb {C}\;|\;-\tfrac{\pi }{4}<{\text {arg}}(z)<\tfrac{\pi }{4}\}\) and \(S_{0}:=\{z\in \mathbb {C}\;|\;{\text {Re}}(z)>\tfrac{1}{k},\,{\text {Im}}(z)>0\}\). We define the homeomorphism \(\theta :\overline{S}\rightarrow \overline{S}_{0}\) by \(\theta (z):= e^{i\tfrac{\pi }{4}}z+\tfrac{1}{k}\) and the function
Using \(y\circ h\in \mathcal {LO}_{[0,\infty ]}\), we have for every \(z\in \overline{S}\) that
If \(\arg (z)=-\tfrac{\pi }{4}\), then \(\theta (z)=|z|+\tfrac{1}{k}\) and by part (c) there is \(\varepsilon >0\) such that with \(\varepsilon _{k}:=\max (0,\varepsilon -\frac{1}{k})\) we get
where we use the continuity of \(y\circ h\circ \theta \) as well. If \(\arg (z)=\tfrac{\pi }{4}\), then \(\theta (z)=i|z|+\tfrac{1}{k}\) and we get
Due to the Phragmén–Lindelöf theorem [60, Theorem 3.4, p. 124] (applied to \(F(z):=\tfrac{1}{\max (C_{0},C_{1})}F_{0}(z)\)) we obtain
and hence
which implies
Similarly, we get
for \(S_{1}:=\{z\in \mathbb {C}\;|\;{\text {Re}}(z)>\tfrac{1}{k},\,{\text {Im}}(z)<0\}\) by choosing \(\theta _{1}:\overline{S}\rightarrow \overline{S}_{1}\), \(\theta _{1}(z):= e^{-i\tfrac{\pi }{4}}z+\tfrac{1}{k}\), and
We conclude that \(y\circ h\in \mathcal {LO}_{\{\infty \}}\). The weak-strong principle [36, 3.20 Corollary c), p. 14] yields \(h\in \mathcal {LO}_{\{\infty \}}(F_{A})\) since \(F_{A}=(F,\tau _{A})\) is sequentially complete and \(\mathcal {LO}_{\{\infty \}}\) a nuclear Fréchet space by [38, 7.3 Proposition, p. 106]. Hence \([u]=0\) by Theorem 2.5. \(\square \)
Now, we generalise Langenbruch’s sufficient criterion [44, Theorem 7.2, p. 62] for the uniqueness property, which itself is a generalisation of Lyubich’s uniqueness theorem [49, Theorem 9.2, p. 40]. For this purpose we adapt the notion of an asymptotic left resolvent given by Langenbruch [44, p. 62] (for general notions of resolvents in locally convex spaces see [2] and [12]). Let \(A:F:= D(A)\subset E\rightarrow E\) be a sequentially closed linear operator. We denote by \(E_{\alpha }:=(E/\ker p_{\alpha })^{\;\widehat{}}\) and \(F_{\alpha }:=(F/\ker p_{\alpha ,A})^{\;\widehat{}}\) the canonical local Banach spaces for \(p_{\alpha }\) resp. \(p_{\alpha ,A}\) and by \(\Vert x+\ker p_{\alpha }\Vert _{\alpha }:= p_{\alpha }(x)\), \(x\in E\), resp. \(\Vert x+\ker p_{\alpha }\Vert _{\alpha ,A}:= p_{\alpha ,A}(x)\), \(x\in F\), the norms on \(E/\ker p_{\alpha }\) resp. \(F/\ker p_{\alpha ,A}\), which we extend to norms on the local Banach spaces with the same symbol. Further, we denote by \(\kappa _{\alpha }^{F}:F_{A}\rightarrow F_{\alpha }\), \(x\mapsto x+\ker p_{\alpha ,A}\), the corresponding spectral map of \(F_{A}\) for \(\alpha \in \mathfrak {A}\). A set of operators \((R_{\alpha }(t,A))_{\alpha \in \mathfrak {A}}\) is an asymptotic left resolvent if for all \(\alpha \in \mathfrak {A}\) there is \(t_{\alpha }>0\) such that \(R_{\alpha }(t,A)\in L(E,F_{\alpha })\) for all \(t\ge t_{\alpha }\) and the continuous linear map \(S_{\alpha }(t):F_{A}\rightarrow F_{\alpha }\) given by
fulfils
where \(S_{\alpha }^{\beta }(t):F_{\beta }\rightarrow F_{\alpha }\) is the continuous linear extension of the map \(F/\ker p_{\beta ,A}\rightarrow F_{\alpha }\), \(x+\ker p_{\beta ,A}\mapsto S_{\alpha }(t)x\).
Theorem 3.3
Let E be an admissible sequentially complete \(\mathbb {C}\)-lcHs and \(A:F:= D(A)\subset E\rightarrow E\) a sequentially closed linear operator with admissible \(F_{A}=(F,\tau _{A})\). The ACP (1) has the uniqueness property (in the sense of hyperfunctions) if there is an asymptotic left resolvent \((R_{\alpha }(t,A))_{\alpha \in \mathfrak {A}}\) such that
where \(R_{\alpha }^{\gamma }(t,A):E_{\gamma }\rightarrow F_{\alpha }\) is the continuous linear extension of the map \(E/\ker p_{\gamma }\rightarrow F_{\alpha }\), \(x+\ker p_{\gamma }\mapsto R_{\alpha }(t,A)x\).
Proof
Let \(h\in \mathcal {LO}_{[0,\infty ]}(F_{A})\), \(v:= (z-A)h\in \mathcal {LO}_{\{\infty \}}(E)\), \(\alpha \in \mathfrak {A}\) and \(m\in \mathbb {N}\). Then there are \(\gamma \in \mathfrak {A}\) and \(k\in \mathbb {N}\), and for any \(n\in \mathbb {N}\), \(n>m\), there is \(\beta \in \mathfrak {A}\) such that
for all \(t\ge t_{\alpha ,n}\). It follows that
for all \(t\ge t_{\alpha ,n}\), which implies for \(\varepsilon >0\)
where we use the continuity of \(\Vert \cdot \Vert _{\alpha ,A}\circ \kappa _{\alpha }^{F}\circ h\) as well. Thus \(\{h(t)e^{mt}\;|\;t\ge \varepsilon \}\) is bounded in \(F_{A}\) and we apply Theorem 3.2 (c). \(\square \)
Langenbruch also formulated a sufficient criterion [44, Theorem 7.3, p. 62] for the uniqueness property by means of an asymptotic existence assumption for the dual operator, which we improve next.
Theorem 3.4
Let E be an admissible sequentially complete \(\mathbb {C}\)-lcHs and \(A:F:= D(A)\subset E\rightarrow E\) a sequentially closed linear operator with admissible \(F_{A}=(F,\tau _{A})\). Then the ACP (1) has the uniqueness property (in the sense of hyperfunctions) if for any \(y\in F_{A}'\) and any \(n\in \mathbb {N}\) there are \(k\in \mathbb {N}\), \(\alpha \in \mathfrak {A}\), \(C_{1}>0\) and \(t_{y,n}> 0\) such that for any \(t\ge t_{y,n}\) there are \(\widetilde{y}_{y,n}(t)\in E'\), \(s_{y,n}(t)\in F_{A}'\), such that for all \(t\ge t_{y,n}\) and \(x\in E\), \(z\in F\) it holds that
Proof
Let \(h\in \mathcal {LO}_{[0,\infty ]}(F_{A})\) and \(v:= (z-A)h\in \mathcal {LO}_{\{\infty \}}(E)\). Due to our assumption we have for any \(y\in F_{A}'\) and \(n\in \mathbb {N}\)
for \(t\ge t_{y,n}\), implying
Let \(m\in \mathbb {N}\) and choose \(n\in \mathbb {N}\) with \(n>m\). Then we get
for \(t\ge t_{y,n}\), which yields for \(\varepsilon >0\)
where we use the continuity of \(y\circ h\) as well. Therefore \(\{h(t)e^{mt}\;|\;t\ge \varepsilon \}\) is weakly bounded in \(F_{A}\) for any \(m\in \mathbb {N}\) and we apply Theorem 3.2 (c). \(\square \)
As an application of Theorem 3.4 we consider the uniqueness of the ACP in the setting where \(E:= F:= s(\mathbb {N})_{b}'\) with the nuclear Fréchet space
of rapidly decreasing sequences and \(A:F\rightarrow E\) is a continuous linear operator. Since \(s(\mathbb {N})\) is reflexive, we have \((s(\mathbb {N})_{b}')_{b}'=s(\mathbb {N})\) and \(A^{{\text {t}}}\in L(s(\mathbb {N}))\) for the dual map by [50, Proposition 23.30 (b), p. 274]. Due to [50, Exercises 4, p. 377] the map \(A^{{\text {t}}}\) is given by an infinite matrix \(\mathbf {A}^{{\text {t}}}=(a_{ij})_{i,j\in \mathbb {N}}\in \mathbb {C}^{\mathbb {N}\times \mathbb {N}}\) such that
because \(s(\mathbb {N})\) coincides with the power series space \(\Lambda _{\infty }((\ln (j))_{j\in \mathbb {N}})\). We also consider the ACP in the classical sense in our next theorem, i.e. the problem
where \(x\in \mathcal {C}^{1}([0,\infty [,s(\mathbb {N})_{b}')\).
Theorem 3.5
Let \(A\in L(s(\mathbb {N})_{b}')\) and \(\mathbf {A}^{{\text {t}}}\) the infinite matrix that represents \(A^{{\text {t}}}\in L(s(\mathbb {N}))\). Let \((\mathbf {A}^{{\text {t}}})^{l}=(a_{ij}^{(l)})_{i,j\in \mathbb {N}}\in \mathbb {C}^{\mathbb {N}\times \mathbb {N}}\) for all \(l\in \mathbb {N}\). Consider the following statements:
-
(a)
\(\forall \;p\in \mathbb {N}\;\exists \;q\in \mathbb {N},\,C>0\;\forall \;l,i,j\in \mathbb {N}:\;|a_{ij}^{(l)}|\le C^{l}j^{q}i^{-p}\)
-
(b)
The ACP (1) has the uniqueness property (in the sense of hyperfunctions).
-
(c)
The ACP (6) has the uniqueness property (in the classical sense).
We have the chain of implications (a) \(\Rightarrow \) (b) \(\Rightarrow \) (c).
Proof
(a) \(\Rightarrow \) (b): We will use Theorem 3.4. The complete space \(E:= F:= s(\mathbb {N})_{b}'\) is admissible by Theorem 2.3 (c) and [10, Corollary 4.8, p. 1116]. Since \(A\in L(s(\mathbb {N})_{b}')\) and \(s(\mathbb {N})\) is reflexive, we have \((s(\mathbb {N})_{b}')_{A}=s(\mathbb {N})_{b}'\) and \(s(\mathbb {N})=(s(\mathbb {N})_{b}')_{b}'\). Let \(y=(y_{j})_{j\in \mathbb {N}}\in (s(\mathbb {N})_{b}')_{b}'=s(\mathbb {N})\) and set
for \(m\in \mathbb {N}_{0}\) and \(t>0\). We claim that \((Y(t)^{(m)})_{m\in \mathbb {N}_{0}}\) converges in \(s(\mathbb {N})\) if t is big enough. We note that for any \(m,n\in \mathbb {N}\), \(m\ge n\), and \(i,k\in \mathbb {N}\) it holds
which implies that \((Y(t)^{(m)})_{m\in \mathbb {N}_{0}}\) is a Cauchy sequence in \(s(\mathbb {N})\) if \(t>C\). Hence the limit
exists in the complete space \(s(\mathbb {N})\) if \(t>C\). Furthermore, we have
as well as
for all \(m\in \mathbb {N}_{0}\) and \(t>0\), yielding that
in \(s(\mathbb {N})\) if \(t>C\). The topology of \(s(\mathbb {N})_{b}'\) is induced by the seminorms
for bounded sets \(B\subset s(\mathbb {N})\). We remark that
if \(t>2C\). Thus \(Y(t)\in \{w\in s(\mathbb {N})\;|\;\forall \;p\in \mathbb {N}:\;|w|_{p}^{s(\mathbb {N})}\le K_{p} \}=:B_{0}\) if \(t>2C\), and \(B_{0}\) is a bounded set in \(s(\mathbb {N})\). So for \(x\in s(\mathbb {N})'\) we have
if \(t>2C\). Hence we may apply Theorem 3.4 with \(t_{y,n}:= 2C\), \(\widetilde{y}_{y,n}:= Y\), \(s_{y,n}:= 0\) for \(n\in \mathbb {N}\) as well as \(k:= C_{1}:= 1\) and \(\alpha := B_{0}\).
(b) \(\Rightarrow \) (c): Let \(x\in \mathcal {C}^{1}([0,\infty [,s(\mathbb {N})_{b}')\) be a solution of the ACP (6) for \(x_{0}:= 0\). Then x defines a hyperfunction [u] in \(\mathcal {B}([0,\infty [,s(\mathbb {N})_{b}')\) (for instance by [10, Theorem 6.9, p. 1125] as in [24, Theorem 1.3.10, p. 25] and [24, Theorem 1.3.13 b), p. 31]) which solves (2) for \(x_{0}=0\). Thus \([u]=0\) by the uniqueness property in the sense of hyperfunctions, implying \(x=0\) on \([0,\infty [\). \(\square \)
4 Solvability of the ACP
Let us turn to the question of existence of a solution of the ACP (1). Following [44, p. 64], this boils down to solving the equation \((\lambda -A)S(\lambda )=x_{0}\) only approximately near the half-circle \(S_{\infty }:=\{\infty e^{i\varphi }\;|\;|\varphi |<\tfrac{\pi }{2}\}\) at \(\infty \), and the approximate solution is needed only in the local Banach spaces of \(F_{A}=(F,\tau _{A})\). The precise characterisation of existence of a solution given in Theorem 4.3 below uses the Laplace transform of E-valued Laplace hyperfunctions from [11]. We recall what is needed. Let
be the inductive limit of the projective limit \(\lim \limits _{\begin{array}{c} \longleftarrow \\ k\in \mathbb {N} \end{array}}\,H_{K,k}\) where
and
(see Fig. 2). By [11, Definition 2.3, p. 133] an E-valued Laplace hyperfunction (in the sense of Domański and Langenbruch) is a continuous linear operator \(T:H\rightarrow E\) for complete E. Its Laplace transform \(\mathscr {L}(T)\) is not a single holomorphic function but a compatible family of holomorphic functions, a so-called spectral-valued holomorphic function, for whose definition we need to direct the index set \(\mathfrak {A}\) of the seminorms of E first.
Let E be a complete \(\mathbb {C}\)-lcHs with a directed system of seminorms \((p_{\alpha })_{\alpha \in \mathfrak {A}}\), i.e. for \(\alpha ,\beta \in \mathfrak {A}\) there are \(\gamma \in \mathfrak {A}\) and \(C_{1}>0\) such that \(\max (p_{\alpha },p_{\beta })\le C_{1}p_{\gamma }\). We write \(\alpha \le \beta \) for \(\alpha ,\beta \in \mathfrak {A}\) if there is \(C_{2}>0\) such \(p_{\alpha }\le C_{2}p_{\beta }\). Then \(\le \) is a preorder on \(\mathfrak {A}\) and \((\mathfrak {A},\le )\) a directed set due to the system of seminorms being directed. Furthermore, for \(\alpha ,\beta \in \mathfrak {A}\) with \(\alpha \le \beta \) we denote by \(\kappa ^{\beta }_{\alpha }:E_{\beta }\rightarrow E_{\alpha }\) the linking maps of the local Banach spaces, which are the continuous linear extensions of the maps \(E/\ker p_{\alpha } \rightarrow E/\ker p_{\beta }\), \(x+\ker p_{\alpha }\mapsto x + \ker p_{\beta }\), and by \(\kappa _{\alpha }^{E}:E\rightarrow E_{\alpha }\), \(x\mapsto x+\ker p_{\alpha }\), the spectral maps. With these definitions E becomes a projective limit of its local Banach spaces \(E_{\alpha }\), i.e. \(E=\lim \nolimits _{\longleftarrow }{}_{\alpha \in \mathfrak {A}}E_{\alpha }\) (see [23, p. 151–152]).
Let \(\mathcal {E}:= (E_{\alpha })_{\alpha \in \mathfrak {A}}\), and \(\mathcal {G}:= (G_{\alpha })_{\alpha \in \mathfrak {A}}\) be a directed family of non-empty domains in \(\mathbb {C}\), i.e. they are open and connected sets and \(G_{\beta }\subset G_{\alpha }\) for \(\alpha \le \beta \) (see [11, p. 131]). By [11, Definition 2.1, p. 132] a family \(\mathcal {S}:= (S_{\alpha })_{\alpha \in \mathfrak {A}}\) is called a spectral-valued (or \(\mathcal {E}\)-valued) holomorphic function (denoted by \(\mathcal {S}:\mathcal {G}\rightarrow \mathcal {E}\)) if
-
(i)
\(S_{\alpha }:G_{\alpha }\rightarrow E_{\alpha }\) is holomorphic for all \(\alpha \in \mathfrak {A}\), and
-
(ii)
(compatibility) \(\forall \;\alpha ,\beta \in \mathfrak {A},\,\alpha \le \beta :\; \kappa _{\alpha }^{\beta }\circ S_{\beta }={S_{\alpha }}_{\mid G_{\beta }}\).
For \(0<\varphi <\tfrac{\pi }{2}\) and \(r\ge 0\) we set
An open set \(U\subset \mathbb {C}\) is called postsectorial (see [47, p. 37], [48, p. 150]) if
(see Fig. 3). Further, we define the set \(H_{{\text {exp}}}(\mathcal {E})\) of all \(\mathcal {E}\)-valued holomorphic functions \(\mathcal {S}:\mathcal {G}\rightarrow \mathcal {E}\) where \(\mathcal {G}\) consists of postsectorial domains and
(see [11, Definition 2.6, p. 134]). Considering the elements of \(H_{{\text {exp}}}(\mathcal {E})\) as germs near \(S_{\infty }\), we note that \(H_{{\text {exp}}}(\mathcal {E})\) is a vector space canonically.
Theorem 4.1
[11, Theorem 2.4, p. 134, Corollary 3.5, p. 145] Let E be a complete \(\mathbb {C}\)-lcHs which is the projective limit of a spectrum of Banach spaces \(\mathcal {E}:= (E_{\alpha })_{\alpha \in \mathfrak {A}}\). Then the Laplace transform \(\mathscr {L}:L(H,E)\rightarrow H_{{\text {exp}}}(\mathcal {E})\) is a linear bijection such that \(\mathscr {L}(\tfrac{d}{d t} T)=\lambda \mathscr {L}(T)\).
Remark 4.2
The definition of \(H_{{\text {exp}}}(\mathcal {E})\) in [11, Definition 2.6, p. 134] is actually phrased with a family \(\mathcal {G}\) of conoidal sets. An open set \(G\subset \mathbb {C}\) is called conoidal if for every \(K\in \mathbb {N}\) there is \(k\in \mathbb {N}\) such that
(see [11, Definition 2.7, p. 134] and Fig. 4). We note that an open set \(G\subset \mathbb {C}\) is conoidal if and only if G is postsectorial.
Proof
First, we observe that \(V_{K,k}=k+\Gamma _{0,\varphi (K)}\) with \(\varphi (K):={\text {arctan}}(K)\) for every \(K,k\in \mathbb {N}\). Let G be conoidal and \(0<\varphi <\tfrac{\pi }{2}\). We choose \(K\in \mathbb {N}\) such that \(\varphi (K)>\varphi \). Then there are \(k\in \mathbb {N}\) and \(r>0\) with \(\Gamma _{r,\varphi }\subset k+\Gamma _{0,\varphi (K)}=V_{K,k}\subset G\) because G is conoidal.
Let G be postsectorial and \(K\in \mathbb {N}\). Then \(0<\varphi (K)<\tfrac{\pi }{2}\) and there is \(r>0\) such that \(\Gamma _{r,\varphi (K)}\subset G\). We choose \(k\in \mathbb {N}\) with \(k>r\) and get \(V_{K,k}=k+\Gamma _{0,\varphi (K)}\subset \Gamma _{r,\varphi (K)}\subset G\). \(\square \)
Let E be as above and \(A:F:= D(A)\subset E\rightarrow E\) a closed linear operator. We equip F with the graph topology \(\tau _{A}\), which makes it a complete space. We denote by \(\kappa _{\alpha }^{\beta }:F_{\beta }\rightarrow F_{\alpha }\) for \(\alpha ,\beta \in \mathfrak {A}\) with \(\alpha \le \beta \) the linking maps of its local Banach spaces. Then \(F_{A}=(F,\tau _{A})\) is a projective limit of its local Banach spaces \(F_{\alpha }\). By the definition of the graph topology the map \(A:F_{A}\rightarrow E\) is continuous and for any \(\alpha \in \mathfrak {A}\) there are \(\beta \in \mathfrak {A}\) and \(C_{1}>0\) such that \(p_{\alpha }(Ax)\le C_{1}p_{\beta ,A}(x)\) for all \(x\in F\) (e.g. any \(\beta \in \mathfrak {A}\) with \(\alpha \le \beta \)). This defines a continuous linear operator \(A_{\alpha }^{\beta }:F_{\beta }\rightarrow E_{\alpha }\) as the extension of the continuous linear map \(F/\ker p_{\beta ,A}\rightarrow E/\ker p_{\alpha }\), \(x+\ker p_{\beta ,A}\mapsto Ax+\ker p_{\alpha }\) (well-defined because \(\ker p_{\beta ,A}\subset \ker p_{\alpha }\circ A\)). Moreover, we call \(I_{\alpha }^{\beta }:F_{\beta }\rightarrow E_{\alpha }\) the continuous linear extension of the map \(F/\ker p_{\beta ,A} \rightarrow E/\ker p_{\alpha }\), \(x+\ker p_{\beta ,A}\mapsto x+\ker p_{\alpha }\), for \(\alpha \le \beta \) (well-defined because \(\alpha \le \beta \) implies \(\ker p_{\beta ,A}\subset \ker p_{\alpha }\)).
Theorem 4.3
Let E be an admissible complete \(\mathbb {C}\)-lcHs with local Banach spaces \(\mathcal {E}:= (E_{\alpha })_{\alpha \in \mathfrak {A}}\), let \(A:F:= D(A)\subset E\rightarrow E\) be a closed linear operator and \(F_{A}=(F,\tau _{A})\) admissible with local Banach spaces \(\mathcal {F}:= (F_{\alpha })_{\alpha \in \mathfrak {A}}\). For \(x_{0}\in E\) the following are equivalent:
-
(a)
The ACP (1) has a solution (in the sense of hyperfunctions).
-
(b)
There is a spectral-valued holomorphic function \(\mathcal {S}:= (S_{\alpha })_{\alpha \in \mathfrak {A}}\in H_{{\text {exp}}}(\mathcal {F})\) such that for any \(\alpha \in \mathfrak {A}\) there is \(\beta \in \mathfrak {A}\), \(\alpha \le \beta \), such that
$$\begin{aligned} s_{\alpha }^{\beta }:G_{\beta }\rightarrow E_{\alpha },\; s_{\alpha }^{\beta }(\lambda ):= (\lambda I_{\alpha }^{\beta }-A_{\alpha }^{\beta })S_{\beta }(\lambda ) -\kappa _{\alpha }^{E}(x_{0}), \end{aligned}$$(8)is well-defined and
$$\begin{aligned} \forall \,j\in \mathbb {N},0<\varphi<\tfrac{\pi }{2}\exists \,r>0:\, \Gamma _{r,\varphi }\subset G_{\beta } \,\text {and}\, \sup _{\lambda \in \Gamma _{r,\varphi }}\Vert s_{\alpha }^{\beta }(\lambda )\Vert _{\alpha } e^{j{\text {Re}}(\lambda )-\frac{1}{j}|{\text {Im}}(\lambda )|}<\infty . \end{aligned}$$(9)
Proof
(a) \(\Rightarrow \) (b): Let \([u]\in \mathcal {B}([0,\infty [,F_{A})\) be a solution of (2) and \([h]:=\mathcal {L}^{\mathcal {B}}([u])\in \mathcal {LO}_{[0,\infty ]}(F_{A})/\mathcal {LO}_{\{\infty \}}(F_{A})\). It follows that
in \(\mathcal {LO}_{[0,\infty ]}(E)/\mathcal {LO}_{\{\infty \}}(E)\). We set \(G_{\alpha }:=\mathbb {C}_{{\text {Re}} >0}\) and \(S_{\alpha }:=\kappa _{\alpha }^{F}\circ h\) for \(\alpha \in \mathfrak {A}\). Then there is \(f\in \mathcal {LO}_{\{\infty \}}(E)\) such that with \(\beta =\alpha \)
and thus \(s_{\alpha }^{\alpha }(\lambda )=f(\lambda )\) for \(\lambda \in G_{\alpha }\). Let \(j\in \mathbb {N}\) and \(0<\varphi <\tfrac{\pi }{2}\). We note that \(\Gamma _{r,\varphi }\subset G_{\alpha }\) for any \(r>0\) and with \(k\in \mathbb {N}\) such that \(\tfrac{1}{k}\le r\) and \(k\ge j\) we obtain
(b) \(\Rightarrow \) (a): First, we observe that for \(\alpha ,\beta \in \mathfrak {A}\) with \(\alpha \le \beta \) the map \(s_{\alpha }^{\beta }:G_{\beta }\rightarrow E_{\alpha }\) is well-defined by our considerations above this theorem. In addition, \(s_{\alpha }^{\beta }\) is holomorphic on \(G_{\beta }\) because \(I_{\alpha }^{\beta }\) and \(A_{\alpha }^{\beta }\) are linear and continuous and \(S_{\beta }\) holomorphic by (i). We observe that for \(\lambda \in G_{\beta }\) there is \((h_{n}(\lambda ))_{n\in \mathbb {N}}\) in F such that \(S_{\beta }(\lambda )=\lim _{n\rightarrow \infty }(h_{n}(\lambda )+\ker p_{\beta ,A})\) in \(F_{\beta }\) and
Now, we want to construct an \(\mathcal {E}\)-valued holomorphic function \(\widetilde{s}\) on a suitable family \(\widetilde{G}\) of postsectorial domains using our maps \(s_{\alpha }^{\beta }\). For \(\alpha \in \mathfrak {A}\) we set
The sets \(\widetilde{G}_{\alpha }\subset \mathbb {C}\) are non-empty by assumption as well as open, connected and postsectorial as they are unions of such sets. Next, we show that \(M_{\alpha }\subset M_{\gamma }\) for \(\alpha ,\gamma \in \mathfrak {A}\) with \(\gamma \le \alpha \), which then implies \(\widetilde{G}_{\alpha }\subset \widetilde{G}_{\gamma }\) and means that \(\widetilde{\mathcal {G}}:= (\widetilde{G}_{\alpha })_{\alpha \in \mathfrak {A}}\) is directed. Let \(\beta \in M_{\alpha }\). Then \(\gamma \le \beta \) and it holds by (10) that
and thus \(\kappa _{\gamma }^{\alpha }(s_{\alpha }^{\beta }(\lambda ))=s_{\gamma }^{\beta }(\lambda )\) for \(\lambda \in G_{\beta }\). We deduce that there is \(C_{1}>0\) such that \(\Vert s_{\gamma }^{\beta }(\lambda )\Vert _{\gamma }\le C_{1} \Vert s_{\alpha }^{\beta }(\lambda )\Vert _{\alpha }\) for any \(\lambda \in G_{\beta }\) from the continuity of \(\kappa _{\gamma }^{\alpha }:E_{\alpha }\rightarrow E_{\gamma }\). Therefore \(s_{\gamma }^{\beta }\) satisfies the estimate (9) with \(\alpha \) replaced by \(\gamma \), which means that \(\beta \in M_{\gamma }\).
Now, let \(\beta _{1},\beta _{2}\in M_{\alpha }\). Then \(\emptyset \ne (G_{\beta _{1}}\cap G_{\beta _{2}})\subset G_{\alpha }\) as \(\alpha \le \beta _{1},\beta _{2}\) and \(\mathcal {G}\) is directed and consists of postsectorial sets. For \(\lambda \in G_{\beta _{1}}\cap G_{\beta _{2}}\) there are \((h_{i,n}(\lambda ))_{n\in \mathbb {N}}\) in F such that \(S_{\beta _{i}}(\lambda )=\lim _{n\rightarrow \infty }(h_{i,n}(\lambda )+\ker p_{\beta _{i},C})\) in \(F_{\beta _{i}}\) and
by (10) for \(i=1,2\). Due to the compatibility (ii) for \(\mathcal {S}\) we get
for \(i=1,2\), which yields \(\lim _{n\rightarrow \infty }(h_{1,n}(\lambda )-h_{2,n}(\lambda )+\ker p_{\alpha ,A})=0\) in \(F_{\alpha }\) and thus in \((F/\ker p_{\alpha ,A})\) as well. It follows that \(\lim _{n\rightarrow \infty }(h_{1,n}(\lambda )-h_{2,n}(\lambda ))\in \ker p_{\alpha ,A}\) and so
implying \(s_{\alpha }^{\beta _{1}}=s_{\alpha }^{\beta _{2}}\) on \(G_{\beta _{1}}\cap G_{\beta _{2}}\). Therefore the map \(\widetilde{s}_{\alpha }:\widetilde{G}_{\alpha }\rightarrow E_{\alpha }\) given by \(\widetilde{s}_{\alpha }:= s_{\alpha }^{\beta }\) on \(G_{\beta }\) for \(\beta \in M_{\alpha }\) is well-defined and holomorphic on \(\widetilde{G}_{\alpha }\). This gives us (i) for \(\widetilde{s}:= (\widetilde{s}_{\alpha })_{\alpha \in \mathfrak {A}}:\widetilde{\mathcal {G}}\rightarrow \mathcal {E}\).
Let us turn to the compatibility condition (ii) for \(\widetilde{s}\). Let \(\alpha ,\gamma \in \mathfrak {A}\) with \(\alpha \le \gamma \). Then for any \(\beta \in M_{\gamma }\subset M_{\alpha }\) and \(\lambda \in G_{\beta }\) we have by (10)
and we conclude that \(\widetilde{s}\) fulfils (ii) and is an \(\mathcal {E}\)-valued holomorphic function.
Let \(\alpha \in \mathfrak {A}\), \(K\in \mathbb {N}\) and \(0<\varphi <\tfrac{\pi }{2}\) and choose \(\beta \in M_{\alpha }\). Due to (9) for \(j=2\) there is \(r>0\) such that \(\Gamma _{r,\varphi }\subset G_{\beta }\subset \widetilde{G}_{\alpha }\) . We observe that for \(\lambda \in \Gamma _{r,\varphi }\) it holds that \({\text {Re}}(\lambda )>0\) and
which implies
We conclude that \(\widetilde{s}\in H_{{\text {exp}}}(\mathcal {E})\).
By Theorem 4.1 and the definition of \(\widetilde{s}\) in connection with (8) there are \(T\in L(H,F_{A})\) and \(\widetilde{T}\in L(H,E)\) such that \(\mathscr {L}(T)=\mathcal {S}\) and \(\mathscr {L}(\widetilde{T})=\widetilde{s}\) as well as
where \(\delta _{0}\) is the Dirac distribution, i.e. \(\delta _{0}(f):= f(0)\), and \((x_{0}\otimes \delta _{0})(f):= x_{0}f(0)\) for \(f\in H\). As in [44, Theorem 7.6, p. 65] we translate this equation from Laplace hyperfunctions to hyperfunctions using the functions \(f_{\lambda }(t):=\tfrac{-1}{2\pi i}\tfrac{e^{(t-\lambda )^{2}}}{t-\lambda }\) for \(\lambda \notin [0,\infty [\). Since \(f_{\lambda }\in H\) (for every \(\lambda \notin [0,\infty [\) there is \(K\in \mathbb {N}\) such that \(\lambda \notin \Omega _{K}\)), the functions
and analogously \(u_{\widetilde{T}}:\mathbb {C}\setminus [0,\infty [\rightarrow E\) are defined. The difference quotients of \(f_{\lambda }\) w.r.t. \(\lambda \) converge in H, which yields that \(u_{T}\) is holomorphic and
Hence we get for \(\lambda \in \mathbb {C}\setminus [0,\infty [\)
Since \([-f_{0}]=-\delta _{0}\) in \(\mathcal {B}([0,\infty [)\) by [38, 4.11 Example, p. 96], we only need to show that \(u_{\widetilde{T}}\in \mathcal {O}(\mathbb {C},E)\) because then \(-[u_{T}]\in \mathcal {B}([0,\infty [,F_{A})\) is a solution of the ACP (1). Now, we repeat the argument from [44, Theorem 7.6, p. 65]. For \(j\in \mathbb {N}\) and \(R\in L(H,E)\) we set \(\langle \tau _{-j}R, f\rangle :=\langle R, f(\cdot +j)\rangle \) for \(f\in H\). Then
by the definition of the Laplace transform \(\mathscr {L}\) in [11, p. 133–134]. It follows from (9) that \(e^{j(\cdot )}\widetilde{s}\in H_{{\text {exp}}}(\mathcal {E})\) and thus there exists \(\widetilde{T}_{j}\in L(H,E)\) such that \(\mathscr {L}(\widetilde{T}_{j})=e^{j(\cdot )}\widetilde{s}\) by Theorem 4.1, implying
and therefore \(\tau _{-j}\widetilde{T}_{j}=\widetilde{T}\) by Theorem 4.1 again. We deduce for any \(j\in \mathbb {N}\) that
is holomorphic for \(\lambda \notin [j,\infty [\) because \(\widetilde{T}_{j}\in L(H,E)\), which proves our statement. \(\square \)
Our next goal is to generalise Langenbruch’s sufficient criterion [44, Theorem 7.7, p. 66] for the solvability of the ACP (1), which is done by using a suitable notion of an asymptotic right resolvent. Let E be a complete \(\mathbb {C}\)-lcHs and \(A:F:= D(A)\subset E\rightarrow E\) a closed linear operator. If E is bornological, i.e.
where \(\mathfrak {B}^{E}\) is the system of bounded closed absolutely convex subsets of E and \(E_{\mathscr {B}}:={\text {span}}(\mathscr {B})\) equipped with the gauge norm induced by \(\mathscr {B}\in \mathfrak {B}^{E}\), then the topological identities
hold by [11, p. 136–137]. This means that the local Banach spaces of \(L_{b}(E,E)\) and \(L_{b}(E,F_{A})\) are the spaces \(L(E_{\mathscr {B}},E_{\alpha })\) and \(L(E_{\mathscr {B}},F_{\alpha })\) equipped with the operator norm, respectively. We set \(\mathfrak {C}:=\mathfrak {B}^{E}\times \mathfrak {A}\). A spectral-valued holomorphic operator function
is called an asymptotic right resolvent if \(\mathcal {R}\in H_{{\text {exp}}}(\mathcal {L}(E,F_{A}))\) and if there is a spectral-valued holomorphic function
such that for any \((\mathscr {A},\alpha )\in \mathfrak {C}\) there is \((\mathscr {B},\beta )\in \mathfrak {C}\), \((\mathscr {A},\alpha )\le (\mathscr {B},\beta )\), such that
and for any \(j\in \mathbb {N}\) and any \(0<\varphi <\tfrac{\pi }{2}\) there is \(r>0\) with \(\Gamma _{r,\varphi }\subset (G_{\mathscr {B},\beta }\cap \widetilde{G}_{\mathscr {B},\alpha })\) and
Theorem 4.4
Let E be an admissible complete bornological \(\mathbb {C}\)-lcHs and \(A:F:= D(A)\subset E\rightarrow E\) a closed linear operator and \(F_{A}=(F,\tau _{A})\) admissible. The ACP (1) has a solution (in the sense of hyperfunctions) for any \(x_{0}\in E\) if A admits an asymptotic right resolvent.
Proof
In order to apply Theorem 4.3 we have to construct a suitable spectral-valued holomorphic function \(\mathcal {S}:= (S_{\alpha })_{\alpha \in \mathfrak {A}}\in H_{{\text {exp}}}(\mathcal {F})\). For \(x_{0}\in E\) we choose \(\mathscr {A}\in \mathfrak {B}^{E}\) such that \(x_{0}\in \mathscr {A}\). For \(\alpha \in \mathfrak {A}\) we set
and
The sets \(G_{\alpha }\subset \mathbb {C}\) are non-empty by assumption as well as open, connected and postsectorial as they are unions of such sets. Next, we show that \(M_{\alpha }\subset M_{\gamma }\) for \(\alpha ,\gamma \in \mathfrak {A}\) with \(\gamma \le \alpha \), which then implies \(G_{\alpha }\subset G_{\gamma }\) and means that \(\mathcal {G}_{0}:= (G_{\alpha })_{\alpha \in \mathfrak {A}}\) is directed. Let \((\mathscr {B},\beta )\in M_{\alpha }\). Then \((\mathscr {A},\gamma )\le (\mathscr {B},\beta )\) and we note that
for all \(f\in L(E_{\mathscr {B}},E_{\alpha })\) where \(\kappa _{\mathscr {B},\gamma }^{\mathscr {B},\alpha }:L(E_{\mathscr {B}},E_{\alpha })\rightarrow L(E_{\mathscr {B}},E_{\gamma })\) is the linking map of the local Banach spaces. It holds by (13) and the compatibility condition (ii) for \(\mathcal {T}\) that
for all \(\lambda \in G_{\mathscr {B},\beta }\cap \widetilde{G}_{\mathscr {B},\alpha }\). Since \((G_{\mathscr {B},\beta }\cap \widetilde{G}_{\mathscr {B},\alpha })\subset (G_{\mathscr {B},\beta } \cap \widetilde{G}_{\mathscr {B},\gamma })\), the identity theorem implies that (16) holds on the connected set \(G_{\mathscr {B},\beta }\cap \widetilde{G}_{\mathscr {B},\gamma }\) as well. Moreover, from the inclusion \((G_{\mathscr {B},\beta }\cap \widetilde{G}_{\mathscr {B},\alpha })\subset (G_{\mathscr {B},\beta } \cap \widetilde{G}_{\mathscr {B},\gamma })\) and \(T_{\mathscr {B},\gamma }(\lambda )=(\kappa _{\gamma }^{\alpha }\circ T_{\mathscr {B},\alpha })(\lambda )\) for all \(\lambda \in \widetilde{G}_{\mathscr {B},\alpha }\) it follows that (14) holds with \(\alpha \) replaced by \(\gamma \) too. Hence \((\mathscr {B},\beta )\in M_{\gamma }\), implying \(M_{\alpha }\subset M_{\gamma }\).
Now, let \((\mathscr {B}_{1},\beta _{1}),(\mathscr {B}_{2},\beta _{2})\in M_{\alpha }\). Then \(\emptyset \ne (G_{\mathscr {B}_{1},\beta _{1}}\cap G_{\mathscr {B}_{2},\beta _{2}}) \subset G_{\mathscr {A},\alpha }\) and the compatibility (ii) for \(\mathcal {R}\) yields
for all \(\lambda \in G_{\mathscr {B}_{i},\beta _{i}}\) and \(i=1,2\) where \(\kappa _{\mathscr {A},\alpha }^{\mathscr {B}_{i},\beta _{i}}:L(E_{\mathscr {B}_{i}},F_{\beta _{i}})\rightarrow L(E_{\mathscr {A}},F_{\alpha })\) is the linking map of the local Banach spaces. This implies \(\langle \kappa _{\alpha }^{\beta _{1}}\circ R_{\mathscr {B}_{1},\beta _{1}}(\lambda ),x_{0}\rangle =\langle \kappa _{\alpha }^{\beta _{2}}\circ R_{\mathscr {B}_{2},\beta _{2}}(\lambda ),x_{0}\rangle \) for all \(\lambda \in G_{\mathscr {B}_{1},\beta _{1}}\cap G_{\mathscr {B}_{2},\beta _{2}}\). Therefore the map \(S_{\alpha }:G_{\alpha }\rightarrow F_{\alpha }\) given by \(S_{\alpha }(\lambda ):=\langle \kappa _{\alpha }^{\beta }\circ R_{\mathscr {B},\beta }(\lambda ),x_{0}\rangle \) on \(G_{\mathscr {B},\beta }\cap \widetilde{G}_{\mathscr {B},\alpha }\) for \((\mathscr {B},\beta )\in M_{\alpha }\) is well-defined and holomorphic on \(G_{\alpha }\). This gives us (i) for \(S:= (S_{\alpha })_{\alpha \in \mathfrak {A}}:\mathcal {G}_{0}\rightarrow \mathcal {F}\).
Let us turn to the compatibility condition (ii) for S. Let \(\alpha ,\gamma \in \mathfrak {A}\) with \(\alpha \le \gamma \). Then for any \((\mathscr {B},\beta )\in M_{\gamma }\subset M_{\alpha }\) and \(\lambda \in G_{\mathscr {B},\beta }\cap \widetilde{G}_{\mathscr {B},\alpha }\) we have
We derive that S fulfils (ii) and is an \(\mathcal {F}\)-valued holomorphic function.
Since \(\mathcal {R}\in H_{{\text {exp}}}(\mathcal {L}(E,F_{A}))\), for \((\mathscr {B},\beta )\in M_{\alpha }\) and any \(K\in \mathbb {N}\) and any \(0<\varphi <\tfrac{\pi }{2}\), there is \(r>0\) such that \(\Gamma _{r,\varphi }\subset G_{\mathscr {B},\beta }\) and
The set \(G_{\mathscr {B},\beta }\cap \widetilde{G}_{\mathscr {B},\alpha }\) is postsectorial and so there is \(t\ge r\) with \(\Gamma _{t,\varphi }\subset \Gamma _{r,\varphi }\) and \(\Gamma _{t,\varphi }\subset (G_{\mathscr {B},\beta }\cap \widetilde{G}_{\mathscr {B},\alpha })\). We remark that the continuity of \(\kappa _{\alpha }^{\beta }\) implies that there is \(C_{1}>0\) such that
for all \(\lambda \in G_{\mathscr {B},\beta }\cap \widetilde{G}_{\mathscr {B},\alpha }\). It follows that
and we conclude that \(S\in H_{{\text {exp}}}(\mathcal {F})\).
We define \(s_{\alpha }^{\beta }:G_{\beta }\rightarrow E_{\alpha }\) for \(\beta \) with \((\mathscr {B},\beta )\in M_{\alpha }\) by (8) as before and note that for \((\mathscr {B}_{1},\gamma )\in M_{\beta }\subset M_{\alpha }\)
for all \(\lambda \in (G_{\mathscr {B}_{1},\gamma }\cap \widetilde{G}_{\mathscr {B}_{1},\beta })\subset (G_{\mathscr {B}_{1},\gamma }\cap \widetilde{G}_{\mathscr {B}_{1},\alpha })\). As \((\mathscr {B}_{1},\gamma )\in M_{\beta }\), for any \(j\in \mathbb {N}\) and any \(0<\varphi <\tfrac{\pi }{2}\) there is \(r>0\) with \(\Gamma _{r,\varphi }\subset (G_{\mathscr {B}_{1},\gamma }\cap \widetilde{G}_{\mathscr {B}_{1},\beta })\) and
From the compatibility condition (ii) of \(\mathcal {T}\) we deduce that
for all \(\lambda \in G_{\mathscr {B}_{1},\gamma }\cap \widetilde{G}_{\mathscr {B}_{1},\beta }\) where \(\kappa _{\mathscr {B}_{1},\alpha }^{\mathscr {B}_{1},\beta }:L(E_{\mathscr {B}_{1}},E_{\beta })\rightarrow L(E_{\mathscr {B}_{1}},E_{\alpha })\) is the linking map of the local Banach spaces. The continuity of the linking map implies that there is \(C_{2}>0\) such that
for all \(\lambda \in G_{\mathscr {B}_{1},\gamma }\cap \widetilde{G}_{\mathscr {B}_{1},\beta }\). In combination with (17) we get (9). Applying Theorem 4.3, we obtain our statement. \(\square \)
We illustrate Theorem 4.3 by an application to the one-dimensional heat equation in the space of tempered distributions. Let \(\mathcal {S}(\mathbb {R})\) be the Schwartz space, i.e.
where
Further, we equip the space \(\mathcal {C}^{\infty }(\mathbb {R})\) with its usual topology of uniform convergence of partial derivatives up to any order on compact subsets of \(\mathbb {R}\).
Theorem 4.5
Let \(x_{0}\in \mathcal {C}^{\infty }(\mathbb {R})'\). Then the ACP
has a solution \(x\in \mathcal {B}([0,\infty [,\mathcal {S}(\mathbb {R})_{b}')\) in the sense of hyperfunctions.
Proof
We set \(f:\mathbb {C}_{{\text {Re}} >0}\times \mathbb {R}\rightarrow \mathbb {C}\), \(f(\lambda ,s):=\tfrac{1}{2\sqrt{\lambda }}e^{-\sqrt{\lambda }|s|}\), where \(\sqrt{\cdot }\) is the principal square root, i.e. \(\sqrt{\lambda }=\sqrt{|\lambda |}(\cos (\tfrac{{\text {arg}}(\lambda )}{2}) +i\sin (\tfrac{{\text {arg}}(\lambda )}{2}))\) with the principal argument \({\text {arg}}(\lambda )\in (-\tfrac{\pi }{2},\tfrac{\pi }{2})\) for \(\lambda \in \mathbb {C}_{{\text {Re}} >0}\). Then \(f(\lambda ,\cdot )\) is continuous and thus Borel-measurable for all \(\lambda \in \mathbb {C}_{{\text {Re}} >0}\) and
which means that \(f(\lambda ,\cdot )\in L^{1}(\mathbb {R},\mathbb {C})\) for all \(\lambda \in \mathbb {C}_{{\text {Re}} >0}\). Therefore the distributional convolution \(f(\lambda ,\cdot )*x_{0}\in \mathcal {S}(\mathbb {R})'\) for all \(\lambda \in \mathbb {C}_{{\text {Re}} >0}\) by [17, Theorem 7.1.15, p. 166] where
and
for \(\psi \in \mathcal {S}(\mathbb {R})\). The map \(\lambda \mapsto \langle f(\lambda ,\cdot )*x_{0},\psi \rangle \) is holomorphic for all \(\psi \in \mathcal {S}(\mathbb {R})\) by differentiation under the integral w.r.t. the parameter \(\lambda \) due to (18) and [13, 5.8 Satz, p. 148–149] with the majorant \(g_{K}(s):=\tfrac{1}{2\sqrt{C_{K}}}e^{-\sqrt{\frac{C_{K}}{2}}|s|}|(\check{x}_{0}*\psi )(s)|\), \(s\in \mathbb {R}\), where \(C_{K}:=\min _{\lambda \in K}|\lambda |\) for any compact disc \(K\subset \mathbb {C}_{{\text {Re}} >0}\). As \(\mathcal {S}(\mathbb {R})\) is reflexive and \(\mathcal {S}(\mathbb {R})_{b}'\) complete, this means that \(\lambda \mapsto f(\lambda ,\cdot )*x_{0}\) is weakly holomorpic and thus holomorphic, i.e. \((\lambda \mapsto f(\lambda ,\cdot )*x_{0})\in \mathcal {O}(\mathbb {C}_{{\text {Re}} >0},\mathcal {S}(\mathbb {R})_{b}')\), by [21, 16.7.2 Theorem, p. 362–363]. Since \(x_{0}\in \mathcal {C}^{\infty }(\mathbb {R})'\), there are \(C_{0}\ge 0\) and \(n\in \mathbb {N}_{0}\) such that for all \(\lambda \in \mathbb {C}_{{\text {Re}} >0}\) and \(\psi \in \mathcal {S}(\mathbb {R})\) we have
implying for every bounded set \(\beta \subset \mathcal {S}(\mathbb {R})\) that
with \(C_{n,\beta }:=\sup _{\psi \in \beta }|\psi |_{n}^{\mathcal {S}}<\infty \). We deduce that for all bounded sets \(\beta \subset \mathcal {S}(\mathbb {R})\), \(K\in \mathbb {N}\), \(0<\varphi <\tfrac{\pi }{2}\) and any \(r\ge 1\) it holds that \(\Gamma _{r,\varphi }\subset \mathbb {C}_{{\text {Re}} >0}\) and
Furthermore, we have
for all \(\lambda \in \mathbb {C}_{{\text {Re}} >0}\) (cf. [31, p. 249–251]). The complete space \(E:= F:=\mathcal {S}(\mathbb {R})_{b}'\) is admissible by [35, Example 4.4, p. 14–15], \(\Delta :E\rightarrow F\) continuous, in particular \(F=F_{\Delta }\), and \(x_{0}\in \mathcal {C}^{\infty }(\mathbb {R})' \subset \mathcal {S}(\mathbb {R})'\) as linear spaces. Setting \(S_{\beta }(\lambda ):=\kappa _{\beta }^{E}(f(\lambda ,\cdot )*x_{0})\) for \(\lambda \in G_{\beta }:=\mathbb {C}_{{\text {Re}} >0}\) and
for bounded sets \(\alpha ,\beta \subset \mathcal {S}(\mathbb {R})\) with \(\alpha \subset \beta \), we conclude the existence of a solution \(x\in \mathcal {B}([0,\infty [,\mathcal {S}(\mathbb {R})_{b}')\) in the sense of hyperfunctions from Theorem 4.3 and (19). \(\square \)
References
Albanese, A.A., Jornet, D.: Dissipative operators and additive perturbations in locally convex spaces. Math. Nachr. 289(8–9), 920–949 (2016). https://doi.org/10.1002/mana.201500150
Arikan, H., Runov, L., Zahariuta, V.: Holomorphic functional calculus for operators on a locally convex space. Results Math. 43(1–2), 23–36 (2003). https://doi.org/10.1007/BF03322718
Babalola, V.A.: Semigroups of operators on locally convex spaces. Trans. Am. Math. Soc. 199, 163–179 (1974). https://doi.org/10.1090/S0002-9947-1974-0383142-8
Bäumer, B.: A vector-valued operational calculus and abstract Cauchy problems. PhD thesis, Louisiana State University, Baton Rouge, LA (1997)
Bäumer, B.: Approximate solutions to the abstract Cauchy problem. In: Lumer, G., Weis, L. (eds.) Evolution Equations and Their Applications in Physical and Life Sciences (Proc., Bad Herrenalb, 1998), Volume 215 of Lect. Notes Pure Appl. Math., pp. 33–41. Dekker, New York (2001). https://doi.org/10.1201/9780429187810
Bonet, J., Domański, P.: The splitting of the exact sequences of PLS-spaces and smooth dependence of solutions of linear partial differential equations. Adv. Math. 217, 561–585 (2008). https://doi.org/10.1016/j.aim.2007.07.010
Chazarain, J.: Problèmes de Cauchy abstraits et applications à quelques problèmes mixtes. J. Funct. Anal. 7(3), 386–446 (1971). https://doi.org/10.1016/0022-1236(71)90027-9
Choe, Y.H.: \(C_0\)-semigroups on a locally convex space. J. Math. Anal. Appl. 106(2), 293–320 (1985). https://doi.org/10.1016/0022-247X(85)90115-5
Dembart, B.: On the theory of semigroups of operators on locally convex spaces. J. Funct. Anal. 16(2), 123–160 (1974). https://doi.org/10.1016/0022-1236(74)90061-5
Domański, P., Langenbruch, M.: Vector valued hyperfunctions and boundary values of vector valued harmonic and holomorphic functions. Publ. RIMS Kyoto Univ. 44(4), 1097–1142 (2008). https://doi.org/10.2977/prims/1231263781
Domański, P., Langenbruch, M.: On the Laplace transform for vector valued hyperfuntions. Funct. Approx. Comment. Math. 43(2), 129–159 (2010). https://doi.org/10.7169/facm/1291903394
Domański, P., Langenbruch, M.: On the abstract Cauchy problem for operators in locally convex spaces. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. 106(2), 247–273 (2012). https://doi.org/10.1007/s13398-011-0052-4
Elstrodt, J.: Maß- und Integrationstheorie Grundwissen Mathematik, 7th edn. Springer, Berlin (2011). https://doi.org/10.1007/978-3-642-17905-1
Engel, K.-J., Nagel, R.: One-Parameter Semigroups for Linear Evolution Equations. Graduate Texts in Mathematics, vol. 194. Springer, New York (2000). https://doi.org/10.1007/b97696
Es-Sarhir, A., Farkas, B.: Perturbation for a class of transition semigroups on the Hölder space \(C_{b,\operatorname{loc}}^{\theta }(H)\). J. Math. Anal. Appl. 315(2), 666–685 (2006). https://doi.org/10.1016/j.jmaa.2005.04.024
Federico, S., Rosestolato, M.: \(C_0\)-sequentially equicontinuous semigroups. Kyoto J. Math. 60, 1131–1175 (2020). https://doi.org/10.1215/21562261-2019-0010
Hörmander, L.: The Analysis of Linear Partial Differential Operators I. Classics Math, 2nd edn. Springer, Berlin (2003). https://doi.org/10.1007/978-3-642-61497-2
Ito, Y.: On the abstract Cauchy problems in the sense of Fourier hyperfunctions. J. Math. Univ. Tokushima 16, 25–31 (1982)
Ito, Y.: Fourier hyperfunction semi-groups. J. Math. Univ. Tokushima 16, 33–53 (1982)
Jacob, B., Wegner, S.-A., Wintermayr, J.: Desch–Schappacher perturbation of one-parameter semigroups on locally convex spaces. Math. Nachr. 288(8–9), 925–934 (2015). https://doi.org/10.1002/mana.201400116
Jarchow, H.: Locally Convex Spaces. Math. Leitfäden. Teubner, Stuttgart (1981). https://doi.org/10.1007/978-3-322-90559-8
Junker,K.: Vektorwertige Fourierhyperfunktionen und ein Satz vom Bochner-Schwartz-Typ. PhD thesis, Universität Düsseldorf (1979)
Kaballo, W.: Aufbaukurs Funktionalanalysis und Operatortheorie. Springer, Berlin (2014). https://doi.org/10.1007/978-3-642-37794-5
Kaneko, A.: Introduction to Hyperfunctions. Math. Appl. (Japan Ser.) 3. Kluwer, Dordrecht (1988)
Kisyński, J.: On Fourier transforms of distribution semigroups. J. Funct. Anal. 242(2), 400–441 (2007). https://doi.org/10.1016/j.jfa.2006.07.003
Komatsu, H.: Semi-groups of operators in locally convex spaces. J. Math. Soc. Jpn. 16(3), 230–262 (1964). https://doi.org/10.2969/jmsj/01630230
Komatsu, H.: Laplace transforms of hyperfunctions—a new foundation of the Heaviside calculus. J. Fac. Sci. Univ. Tokyo Sect. IA 34, 805–820 (1987). https://doi.org/10.15083/00039471
Komatsu, H.: Operational calculus, hyperfunctions and ultradistributions. In: Kashiwara, M., Kawai, T. (eds.) Algebraic Analysis, Chapter 28, vol. 1, pp. 357–372. Academic Press, San Diego (1988). https://doi.org/10.1016/B978-0-12-400465-8.50036-5
Komatsu, H.: Laplace transforms of hyperfunctions: Another foundation of the Heaviside operational calculus. In: Stanković, B., Pap, E., Pilipović, S., Vladimirov, V.S. (eds.) Generalized Functions, Convergence Structures, and Their Applications (Proc, Dubrovnik, 1987), pp. 57–70. Plenum Press, New York (1988). https://doi.org/10.1007/978-1-4613-1055-65
Komatsu, H.: Operational calculus and semi-groups of operators. In: Komatsu, H. (ed.) Functional Analysis and Related Topics (Proc, Kyoto, 1991). Lecture Notes in Math, vol. 1540, pp. 213–234. Springer, Berlin (1993). https://doi.org/10.1007/BFb0085469
Komatsu, H.: Solution of differential equations by means of Laplace hyperfunctions. In: Morimoto, M., Kawai, T. (eds.) Structure of Solutions of Differential Equations (Proc, Katata/Kyoto, 1995), pp. 227–252. World Scientific, River Edge (1996)
Kōmura, T.: Semigroups of operators in locally convex spaces. J. Funct. Anal. 2(3), 258–296 (1968). https://doi.org/10.1016/0022-1236(68)90008-6
Kraaij, R.: Strongly continuous and locally equi-continuous semigroups on locally convex spaces. Semigroup Forum 92(1), 158–185 (2016). https://doi.org/10.1007/s00233-015-9689-1
Kruse, K.: Vector-valued Fourier hyperfunctions. PhD thesis, Universität Oldenburg 2014)
Kruse, K.: Vector-valued Fourier hyperfunctions and boundary values (2019). https://arxiv.org/abs/1912.03659v1 (arXiv preprint)
Kruse,K.: Extension of vector-valued functions and sequence space representation (2021a). https://arxiv.org/abs/1808.05182v5 (arXiv preprint)
Kruse, K.: The inhomogeneous Cauchy–Riemann equation for weighted smooth vector-valued functions on strips with holes. Collect. Math. (2021). https://doi.org/10.1007/s13348-021-00337-2
Kruse, K.: Asymptotic Fourier and Laplace transforms for vector-valued hyperfunctions. Funct. Approx. Comment. Math. 66(1), 59–117 (2022). https://doi.org/10.7169/facm/1955
Kruse, K., Schwenninger, F.L.: On equicontinuity and tightness of bi-continuous semigroups. J. Math. Anal. Appl. 509(2), 1–27 (2022). https://doi.org/10.1016/j.jmaa.2021.125985
Kühnemund, F.: Bi-continuous semigroups on spaces with two topologies: Theory and applications. PhD thesis, Eberhard-Karls-Universität Tübingen (2001)
Kühnemund, F.: A Hille–Yosida theorem for bi-continuous semigroups. Semigroup Forum 67(2), 205–225 (2003). https://doi.org/10.1007/s00233-002-5000-3
Kunstmann, P.C.: Distribution semigroups and abstract Cauchy problems. Trans. Am. Math. Soc. 351(2), 837–856 (1999). https://doi.org/10.1090/S0002-9947-99-02035-8
Kunze, M.: Continuity and equicontinuity of semigroups on norming dual pairs. Semigroup Forum 79(3), 540–560 (2009). https://doi.org/10.1007/s00233-009-9174-9
Langenbruch, M.: Asymptotic Fourier and Laplace transformations for hyperfunctions. Stud. Math. 205(1), 41–69 (2011). https://doi.org/10.4064/sm205-1-4
Lions, J.L.: Les semi groups distributions. Port. Math. 19(3), 141–164 (1960)
Lobanov, S.G., Smolyanov, O.G.: Ordinary differential equations in locally convex spaces. Russ. Math. Surv. 49(3), 97–175 (1994). https://doi.org/10.1070/rm1994v049n03abeh002258
Lumer, G., Neubrander, F.: Asymptotic Laplace transforms and evolution equations. In: Demuth, M., Schrohe, E., Schulze, B.-W., Sjöstrand, J. (eds.) Evolution Equations, Feshbach Resonances, Singular Hodge Theory: Advances in Partial Differential Equations, Volume 16 of Mathematical Topics, pp. 37–57. Wiley, Berlin (1999)
Lumer, G., Neubrander, F.: The asymptotic Laplace transform: new results and relation to Komatsu’s Laplace transform of hyperfunctions. In: Mehmeti, F., von Below, J., Nicaise, S. (eds.) Partial Differential Equations on Multistructures (Proc, Luminy, 1999), Volume 219 of Notes Pure Applications and Mathematics, pp. 147–162. Dekker, New York (2001). https://doi.org/10.1201/9780203902196
Lyubich, Yu.I.: The classical and local Laplace transformation in an abstract Cauchy problem. Russ. Math. Surv. 21(3), 1–52 (1966). https://doi.org/10.1070/rm1966v021n03abeh004154
Meise, R., Vogt, D.: Introduction to Functional Analysis. Oxford Graduate Texts in Mathematics, vol. 2. Clarendon Press, Oxford (1997)
Melnikova, I.V., Filinkov, A.: Abstract Cauchy Problems: Three Approaches Chapman & Hall/CRC Monographs and Surveys in Pure and Applied Mathematics, vol. 120. Chapman & Hall, Boca Raton (2001). https://doi.org/10.1201/9781420035490
Miyadera, I.: Semi-groups of operators in Fréchet space and applications to partial differential equations. Tohoku Math. J. (2) 11(2), 162–183 (1959). https://doi.org/10.2748/tmj/1178244580
Moore, R.T.: Generation of equicontinuous semigroups by Hermitian and sectorial operators. I. Bull. Am. Math. Soc. 77(2), 224–229 (1971). https://doi.org/10.1090/S0002-9904-1971-12693-9
Moore, R.T.: Generation of equicontinuous semigroups by Hermitian and sectorial operators. II. Bull. Am. Math. Soc. 77(3), 368–373 (1971). https://doi.org/10.1090/S0002-9904-1971-12699-X
Ōuchi, S.: Hyperfunction solutions of the abstract Cauchy problem. Proc. Jpn. Acad. 47(6), 541–544 (1971). https://doi.org/10.3792/pja/1195519902
Ōuchi, S.: On abstract Cauchy problems in the sense of hyperfunction. In: Komatsu, H. (ed.) Hyperfunctions and Pseudo-differential Equations (Proc, Katata, 1971). Lecture Notes in Mathematics, vol. 287, pp. 135–152. Springer, Berlin (1973). https://doi.org/10.1007/BFb0068143
Ōuchi, S.: Semi-groups of operators in locally convex spaces. J. Math. Soc. Jpn. 25(2), 265–276 (1973). https://doi.org/10.2969/jmsj/02520265
Shiraishi, R.: On \(\theta \)-convolutions of vector valued distributions. J. Sci. Hiroshima Univ. Ser. A-I Math. 27(2), 173–212 (1963). https://doi.org/10.32917/hmj/1206139559
Shiraishi, R., Hirata, Y.: Convolution maps and semi-group distributions. J. Sci. Hiroshima Univ. Ser. A-I Math. 28(1), 71–88 (1964). https://doi.org/10.32917/hmj/1206139507
Stein, E.M., Shakarchi, R.: Complex Analysis. Princeton Lectures in Analysis II. Princeton University Press, Princeton (2003)
Teichmann, J.: Hille–Yosida theory in convenient analysis. Rev. Mat. Complut. 15(2), 449–474 (2002). https://doi.org/10.5209/rev REMA.2002.v15.n2.16906
Vogt, D.: On the solvability of \(P(D)f=g\) for vector valued functions. In: Komatsu, H. (ed.) Generalized Functions and Linear Differential Equations 8 (Proc, Kyoto, 1982), Volume 508 of RIMS Kôkyûroku, pp. 168–181. RIMS, Kyoto (1983)
Wang, S.W.: Quasi-distribution semigroups and integrated semigroups. J. Funct. Anal. 146(2), 352–381 (1997). https://doi.org/10.1006/jfan.1996.3042
Xiao, T.-J., Liang, J.: The Cauchy Problem for Higher-Order Abstract Differential Equations. Lecture Notes in Mathematics, vol. 1701. Springer, Berlin (1998). https://doi.org/10.1007/978-3-540-49479-9
Yosida, K.: Functional Analysis. Grundlehren Math Wiss, vol. 123, 2nd edn. Springer, Berlin (1968). https://doi.org/10.1007/978-3-642-96439-8
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
K. Kruse acknowledges the support by the Deutsche Forschungsgemeinschaft (DFG) within the Research Training Group GRK 2583 “Modeling, Simulation and Optimization of Fluid Dynamic Applications”
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kruse, K. The abstract Cauchy problem in locally convex spaces. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 116, 155 (2022). https://doi.org/10.1007/s13398-022-01295-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-022-01295-5