Karsten Kruse,Felix L. Schwenninger
Abstract:We study maximal regularity with respect to continuous functions for strongly continuous semigroups on locally convex spaces as well as its relation to the notion of admissible operators. This extends several results for classical strongly continuous semigroups on Banach spaces. In particular, we show that Travis' characterization of $\mathrm{C}$-maximal regularity using the notion of bounded semivariation carries over to the general case. Under some topological assumptions, we further show the equivalence between maximal regularity and admissibility in this context.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to study the C - maximal regularity of strongly continuous semigroups on locally convex spaces and explore its relationship with the concept of admissible operators. Specifically, the paper focuses on the following aspects:
1. **Generalizing existing results**: The paper generalizes the maximal regularity results of strongly continuous semigroups on classical Banach spaces to more general Hausdorff locally convex spaces. This generalization is not only of great theoretical significance but also has practical value for certain application fields (such as Markov semigroups and stochastic differential equations).
2. **Equivalence proof**: The paper shows that Travis' characterization of C - maximal regularity (i.e., through the bounded semi - variation property) can be generalized to the case of locally convex spaces. Moreover, under certain topological assumptions, the paper also proves the equivalence between maximal regularity and admissibility.
3. **Extension of the theoretical framework**: The paper explores the existence of solutions and integrals when the semigroup is no longer strongly continuous with respect to the norm but is strongly continuous under a weaker Hausdorff locally convex topology. This involves re - examining and expanding some basic concepts and techniques in the classical theory.
4. **Overcoming technical difficulties**: Since the integral theory and the existence theory of solutions in locally convex spaces are more complex than those in Banach spaces, the paper proposes new methods to deal with these problems. For example, using the concept of bounded semi - variation to characterize C - maximal regularity and defining mild solutions through the Riemann - Stieltjes integral theory.
### Formula presentation
To ensure the correctness and readability of the formulas, the following are some key formulas involved in the paper and their explanations:
1. **C - maximal regularity condition**:
\[
u'(t)=Au(t)+f(t),\quad t\in[0,r],\quad u(0) = 0
\]
For all \(f\in C([0,r];X)\), it is required that the function
\[
[0,r]\to X,\quad t\mapsto A\int_{0}^{t}T(t - s)f(s)\,ds:=A(T*f)(t)
\]
belongs to \(C([0,r];X)\).
2. **Definition of bounded semi - variation**:
Let \(\alpha:[a,b]\to L(X;Y)\), for \(p\in\Gamma_X\) and \(q\in\Gamma_Y\), and for any partition \(d\in D[a,b]\), define
\[
SV_{q,p;d}(\alpha):=\sup\left\{q\left(\sum_{i = 1}^{n}(\alpha(d_i)-\alpha(d_{i - 1}))x_i\right):1\leq i\leq n,\,x_i\in X,\,p(x_i)\leq1\right\}
\]
Further define
\[
SV_{q,p}(\alpha):=\sup_{d\in D[a,b]}SV_{q,p;d}(\alpha)
\]
If for each \(q\in\Gamma_Y\) there exists \(p\in\Gamma_X\) such that \(SV_{q,p}(\alpha)<\infty\), then \(\alpha\) is said to be of bounded semi - variation on \([a,b]\).
3. **Definition of Riemann - Stieltjes integral**:
The Riemann - Stieltjes integral of the function \(f:[a,b]\to X\) with respect to \(\alpha\in L(X;Y)\) is defined as the existence of \(y\)