Abstract
In this paper, we investigate convex semigroups on Banach lattices with order continuous norm, having \(L^p\)-spaces in mind as a typical application. We show that the basic results from linear \(C_0\)-semigroup theory extend to the convex case. We prove that the generator of a convex \(C_0\)-semigroup is closed and uniquely determines the semigroup whenever the domain is dense. Moreover, the domain of the generator is invariant under the semigroup, a result that leads to the well-posedness of the related Cauchy problem. In a last step, we provide conditions for the existence and strong continuity of semigroup envelopes for families of \(C_0\)-semigroups. The results are discussed in several examples such as semilinear heat equations and nonlinear integro-differential equations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Decision-making in a dynamic random environment naturally leads to so-called stochastic optimal control problems. These types of problems arise in numerous applications in economics and mathematical finance, cf. Fleming and Soner [11] or Pham [25]. Examples include irreversible investments, endogenous growth models, such as the AK-model, portfolio optimization, as well as superhedging and superreplication under model uncertainty. In this context, the dynamic programming principle typically leads to convex partial differential equations, so-called Hamilton–Jacobi–Bellman (HJB) equations, where, intuitively speaking, the convexity comes from optimizing among a certain class of Markov processes, each one linked to a linear PDE via its infinitesimal generator. One classical approach to treat nonlinear partial differential equations uses the theory of maximal monotone or m-accretive operators; see, e.g., Barbu [2], Bénilan-Crandall [5], Brézis [6], Evans [10], Kato [14], and the references therein. To show that an accretive operator is m-accretive, one has to prove that \(1+h{\mathcal {A}}\) is surjective for small \(h>0\). However, in many cases it is hard to verify this condition. This was one of the reasons for the introduction of viscosity solutions, where existence and uniqueness hold due to the milestone papers by Crandall et al. [7, 8] and Ishii [13]. Although Perron’s method (providing the existence) and Ishii’s lemma (in order to obtain uniqueness) are applicable to a large class of HJB equations, solvability in terms of viscosity solutions is a rather weak notion of well-posedness, in the sense that viscosity solutions without any further results on regularity are a priori not differentiable in any sense.
Inspired by Nisio [23], in this paper, we approach convex differential equations with a semigroup approach. We extend classical results from semigroup theory regarding uniqueness of the semigroup in terms of the generator, space and time regularity of solutions in terms of initial data, more precisely, invariance of the domain under the semigroup, and classical well-posedness of related Cauchy problems to the convex case.
Given a \(C_0\)-semigroup \(S=(S(t))_{t\in [0,\infty )}\) of linear operators on a Banach space X with generator \(A:D(A)\subset X\rightarrow X\), it is well known that the domain D(A) is invariant under S, that is, \(S(t)x\in D(A)\) for all \(x\in D(A)\) and \(t\ge 0\). Moreover, it holds
This relation is fundamental in order to prove the invariance of the domain under the semigroup, that the semigroup S is uniquely determined through its generator, and results in the classical well-posedness of the associated Cauchy problem.
In this work, we show that the aforementioned fundamental results from linear semigroup theory extend to the convex case, if the underlying space X satisfies some additional properties, and the right-hand side of (1.1) is replaced by a directional derivative. To that end, we assume that X is Dedekind \(\sigma \)-complete and that \(\lim _{n\rightarrow \infty }\Vert x_n- \inf _{m\in \mathbb {N}}x_m\Vert =0\) for every decreasing sequence \((x_n)_{n\in \mathbb {N}}\) in X which is bounded below, having \(X=L^p(\mu )\) for \(p\in [1,\infty )\) and an arbitrary measure \(\mu \) in mind as a typical example. Then, a convex \(C_0\)-semigroup S on X is a family \((S(t))_{t\in [0,\infty )}\) of bounded convex operators \(X\rightarrow X\), such that, for every \(x\in X\), it holds \(S(0)x=x\), \(S(t+s)x=S(t)S(s)x\) for all \(s,t\ge 0\), and \(S(t)x\rightarrow x\) as \(t\downarrow 0\). Defining its generator \(A:D(A)\subset X\rightarrow X\) as in the linear case by
we show that the convex \(C_0\)-semigroup S leaves the domain D(A) invariant. Moreover, the map \([0,\infty )\rightarrow X\), \(t\mapsto S(t)x\) is continuously differentiable for all \(x\in D(A)\), and the time derivative is given by
The right-hand side of this equation is the directional derivative or Gâteaux derivative of the convex operator S(t) at x in direction Ax. In particular, if S(t) is linear, the Gâteaux derivative simplifies to \(S'(t,x)Ax=S(t)Ax\), which is consistent with (1.1). We further show that the generator A is always a closed operator which uniquely determines the semigroup S on dense subsets of the domain D(A). As a consequence, \(y(t):=S(t)x\), for \(x\in D(A)\), defines the unique classical solution to the abstract Cauchy problem
Motivated by stochastic optimal control problems, we then specialize on a setup, where, for an arbitrary index set \(\Lambda \), we consider families \((S_\lambda )_{\lambda \in \Lambda }\) of convex monotone semigroups \(S_\lambda = (S_\lambda (t))_{t\ge 0}\). We then address the question of the existence of a smallest upper bound S of the family \((S_\lambda )_{\lambda \in \Lambda }\) within the class of semigroups. We provide conditions that ensure the existence and strong continuity of the smallest upper bound S, which we refer to as the (upper) semigroup envelope, making the above-mentioned results on convex semigroups applicable to this setting. Formally, the generator A of the semigroup envelope S corresponds of the operator \(\sup _{\lambda \in \Lambda }A_\lambda \), defined on \(\bigcap _{\lambda \in \Lambda } D(A_\lambda )\), where, for \(\lambda \in \Lambda \), \(A_\lambda \) is the generator of \(S_\lambda \). In this case, at least formally, the Cauchy problem (CP) results in an abstract Hamilton–Jacobi–Bellman-type equation of the form:
Following Nisio [23], Denk et al. [9] and Nendel–Röckner [21], where the existence of a semigroup envelope, under certain conditions, has been shown for families of semigroups on \(\text {{BUC}}\), we provide conditions for convolution semigroups on \(L^p(\mu )\) that make the aforementioned relation rigorous. In general, the obtained domain D(A) will be larger than the natural domain \(\bigcap _{\lambda \in \Lambda } D(A_\lambda )\). However, our results imply the existence and classical differentiability of the solution even for initial values in D(A). We remark that for generators of Lévy processes in \(\text {{BUC}}\) under uncertainty, recent results were obtained, e.g., in Denk et al. [9], Hollender [12], Kühn [18], Nendel–Röckner [21], and Neufeld–Nutz [22]. Fully nonlinear equations in the strong \(L^p\)-setting were recently considered, e.g., by Krylov [15,16,17].
The structure of the paper is as follows. In Section 2, we introduce the setting and state basic results on convex \(C_0\)-semigroups, which can be derived from a uniform boundedness principle for convex operators. Section 3 includes the main results on convex \(C_0\)-semigroups, their generators and related Cauchy problems. In particular, we provide invariance of the domain, uniqueness of the semigroup in terms of the generator and classical well-posedness of the related Cauchy problem. In Sect. 4, we consider the smallest upper bound, called the (upper) semigroup envelope, of a family of convex monotone semigroups. In Sect. 5, we provide conditions for the existence and strong continuity of the semigroup envelope for families \((S_\lambda )_{\lambda \in \Lambda }\) of linear convolution semigroups on \(L^p(\mu )\), and relate the generator of the semigroup envelope to \(\sup _{\lambda \in \Lambda } A_\lambda \), i.e., the smallest upper bound of the generators \((A_\lambda )_{\lambda \in \Lambda }\) of \((S_\lambda )_{\lambda \in \Lambda }\). We illustrate the results with Examples 5.3 and 5.4. In the appendix, we collect some additional results on bounded convex operators on general Banach lattices including a version of the uniform boundedness principle for convex operators.
2 Notation and preliminary results
In this section, we introduce our setup, define convex semigroups, which are the central object of this manuscript, and discuss some technical properties of these semigroups, which will be fundamental for the analysis in the subsequent sections.
Let X be a Banach lattice. For an operator \(S:X\rightarrow X\), we define
for all \(r>0\), where \(B(x_0,r):=\{x\in X:\Vert x-x_0\Vert \le r\}\) for \(x_0\in X\). We say that an operator \(S:X\rightarrow X\) is convex if \(S \big (\lambda x+(1-\lambda ) y\big )\le \lambda S x+ (1-\lambda ) Sy\) for all \(\lambda \in [0,1]\), positive homogeneous if \(S (\lambda x)= \lambda S x\) for all \(\lambda >0\), sublinear if S is convex and positive homogeneous, monotone if \(x\le y\) implies \(Sx\le Sy\) for all \(x,y\in X\), and bounded if \(\Vert S\Vert _r<\infty \) for all \(r>0\).
Definition 2.1
A family \(S=(S(t))_{t\in [0,\infty )}\) of bounded operators \(X\rightarrow X\) is called a semigroup on X if
-
(S1)
\(S(0)x=x\) for all \(x\in X\),
-
(S2)
\(S(t+s)x=S(t)S(s)x\) for all \(x\in X\) and \(s,t\in [0,\infty )\).
In this case, we say that S is a \(C_0\)-semigroup if, additionally,
-
(S3)
\(S(t)x\rightarrow x\) as \(t\downarrow 0\) for all \(x\in X\).
We say that S is convex, sublinear or monotone if S(t) is convex, sublinear or monotone for all \(t\ge 0\), respectively.
Throughout the rest of this section, let S be a convex \(C_0\)-semigroup on X. For \(t\ge 0\) and \(x\in X\), we define the convex operator \(S_x(t):X\rightarrow X\) by
Proposition 2.2
Let \(T>0\) and \(x_0\in X\). Then, there exist \(L\ge 0\) and \(r>0\) such that
for all \(x\in B(x_0,r)\) and \(y\in B(0,r)\).
Proof
It suffices to show that
for all \(x\in X\). Indeed, under (2.1), it follows from Theorem A.9 b) that there exists some \(r>0\) such that \(b:=\sup _{x\in B(x_0,r)}\sup _{0\le t\le T}\Vert S_x(t)\Vert _r<\infty \). Since \(S_x(t)\) is convex and \(S_x(t)0=0\), we obtain from Lemma A.1 that
for all \(t\in [0,T]\), \(x\in B(x_0,r)\) and \(y\in B(0,r)\).
In order to prove (2.1), let \(x\in X\). Since \(S(t)x\rightarrow x\) as \(t\downarrow 0\), there exists some \(n\in \mathbb {N}\) such that
where \(\delta :=\tfrac{T}{n}\). Since S(t) is bounded for all \(t\ge 0\), it holds
Now, let \(t\in [0,T]\). Then, there exist \(k\in \{0,\ldots ,n\}\) and \(h\in [0,\delta )\) such that \(t=k\delta +h\). Since \(\Vert S(h)x\Vert \le R\), it follows that \(\Vert S(t)x\Vert =\Vert S(k\delta )S(h)x\Vert \le c\). This proves (2.1) and thus completes the proof. \(\square \)
Remark 2.3
If S is sublinear, then there exist \(\omega \in \mathbb {R}\) and \(M\ge 1\) such that
for all \(x\in X\) and \(t\in [0,\infty )\). Indeed, by Proposition 2.2 and sublinearity of the semigroup S, one has
Set \(\omega :=\log M\). Then, for all \(t\in [0,\infty )\), there exists some \(m\in \mathbb {N}\) with \(t<m\le t+1\). By the semigroup property, it follows that
for all \(x\in X\).
Corollary 2.4
Let \(T>0\) and \(x_0\in X\). Then, there exist \(L\ge 0\) and \(r>0\) such that
for all \(y,z\in B(x_0,r)\).
Proof
By Proposition 2.2, there exist \(L\ge 0\) and \(r>0\) such that
for all \(x\in B(x_0,2r)\) and \(y\in B(0,2r)\). Now, let \(y,z\in B(x_0,r)\). Then, \(y-z\in B(0,2r)\), and we thus obtain that
which shows the desired Lipschitz continuity. \(\square \)
Corollary 2.5
The map \([0,\infty )\rightarrow X,\; t\mapsto S(t)x\) is continuous for all \(x\in X\).
Proof
Let \(t\ge 0\) and \(x\in X\). Then, by Corollary 2.4, there exist \(L\ge 0\) and \(r>0\) such that
for all \(y\in B(x,r)\). Moreover, there exists some \(\delta \in (0,1]\) such that \(\Vert S(h)x-x\Vert \le r\) for all \(h\in [0,\delta ]\). For \(s\ge 0\) with \(|s-t|\le \delta \), it follows that
as \(s\rightarrow t\). \(\square \)
Corollary 2.6
Let \((x_n)_{n\in \mathbb {N}}\) and \((y_n)_{n\in \mathbb {N}}\) be two sequences in X with \(x_n\rightarrow x\in X\) and \(y_n\rightarrow y\in X\), and \((h_n)_{n\in \mathbb {N}}\) be a sequence in \((0,\infty )\) with \(h_n\downarrow 0\). Then, \(S_{x_n}(h_n)y_n\rightarrow y\).
Proof
We first show that \(S(h_n)x_n\rightarrow x\). By Corollary 2.4, there exist \(L\ge 0\) and \(r>0\) such that
for all \(z\in B(x,r)\). Hence, for \(n\in \mathbb {N}\) sufficiently large, we obtain that
This shows that \(S(h_n)x_n\rightarrow x\) as \(n\rightarrow \infty \). As a consequence,
as \(n\rightarrow \infty \). The proof is complete. \(\square \)
Proposition 2.7
Let \(x\in X\) with
Then, the map \([0,\infty )\rightarrow X\), \(t\mapsto S(t)x\) is locally Lipschitz continuous, i.e., for every \(T>0\), there exists some \(L_T\ge 0\) such that \(\Vert S(t)x-S(s)x\Vert \le L_T|t-s|\) for all \(s,t\in [0,T]\).
Proof
Since the map \([0,\infty )\rightarrow X,\; t\mapsto S(t)x\) is continuous by Corollary 2.5, there exists some constant \(C_T\ge 0\) such that
By Corollary 2.4, there exist \(L\ge 0\) and \(r>0\) such that
Further, there exists some \(n\in \mathbb {N}\) such that \(\sup _{h\in [0,\delta ]}\Vert S(h)x-x\Vert \le r\), where \(\delta :=\tfrac{T}{n}\). Now, let \(L_T:=LC_T\) and \(s,t\in [0,T]\) with \(s\le t\). If \(t-s\in [0,\delta ]\), we have that
In general, there exist \(k\in \{0,\ldots , n-1\}\) and \(h\in [0,\delta ]\) such that \(t-s=k\delta +h\). Then,
The proof is complete. \(\square \)
3 Generators of convex semigroups and related Cauchy problems
In this section, we assume that X is a Banach lattice with order continuous norm, i.e., for every net \((x_\alpha )_\alpha \) with \(x_\alpha \downarrow 0\), we have \(\Vert x_\alpha \Vert \rightarrow 0\). Note that this is equivalent to the condition that X is Dedekind \(\sigma \)-complete, i.e., any countable non-empty subset of X, which is bounded above, has a supremum, with \(\sigma \)-order continuous norm \(\Vert \cdot \Vert \), i.e., for every decreasing sequence \((x_n)_{n\in \mathbb {N}}\) with \(\inf _{n\in \mathbb {N}}x_n=0\), it holds \(\lim _{n\rightarrow \infty }\Vert x_n\Vert =0\) (see [20, Theorem 2.4.2] or [28, Theorem 1.1]). Recall that order continuity of the norm \(\Vert \cdot \Vert \) also implies the Dedekind super completeness of X, i.e., every non-empty subset which is bounded above has a countable subset with identical supremum, see, for instance, [27, Corollary 1 to Theorem II.5.10] or [28, Theorem 1.1]. Moreover, we would like to point out that separability together with Dedekind \(\sigma \)-completeness of X implies order continuity of the norm, cf. [20, Exercise 2.4.1] or [27, Corollary to Theorem II.5.14]. Typical examples for X are given by \(X=L^p(\mu )\) for \(p\in [1,\infty )\) and some measure \(\mu \), Orlicz spaces, and the space \(X=c_0\) of all sequences converging to 0. For more details on these spaces, we refer to [20, Section 2.4] or [28]. Again, let S be a convex \(C_0\)-semigroup on X.
Definition 3.1
We define the generator \(A:D(A)\subset X\rightarrow X\) of S by
In this subsection, we investigate properties of the generator A and its domain D(A). A fundamental ingredient for the analysis is the directional derivative of a convex operator. Fix \(t\ge 0\). Since \(S(t):X\rightarrow X\) is a convex operator, the function
is increasing for all \(x,y\in X\). In particular,
for \(x,y\in X\) and \(h\in (0,1]\). Since for all \(x,y\in X\) and every sequence \((h_n)_{n\in \mathbb {N}}\) in \((0,\infty )\) with \(h_n\rightarrow 0\), it holds
the operators
are well defined with values in X. Due to the \(\sigma \)-order completeness of the norm, one has
If the left and right directional derivatives coincide, then the directional derivative is continuous in time. More precisely, the following holds.
Proposition 3.2
Suppose that \(S^\prime _+(t,x)y=S^\prime _-(t,x)y\) for some \(x,y\in X\) and some \(t\ge 0\). Then, the maps \([0,\infty )\rightarrow X\), \(s\mapsto S^\prime _\pm (s,x)y\) are continuous at t. In particular, \(\lim _{s\downarrow 0}S^\prime _\pm (s,x)y=y\).
Proof
Since \(S^\prime _-(s,x)y=-S^\prime _+(s,x)(-y)\) for all \(s\ge 0\), it suffices to prove the continuity of the map \([0,\infty )\rightarrow X\), \(s\mapsto S^\prime _+(s,x)y\) at t. For all \(s\ge 0\) and \(h>0\), let
By Corollary 2.5, the mapping \([0,\infty )\rightarrow X,\; s\mapsto D_{h,\pm }(s,x)y\) is continuous for all \(h>0\). Let \(\varepsilon >0\). By (3.2), there exists some \(h_\varepsilon >0\) with
Since the mapping \([0,\infty )\rightarrow X,\; s\mapsto D_{h_\varepsilon ,\pm }(s,x)y\) is continuous, there exists some \(\delta >0\) such that
for all \(s\ge 0\) with \(|s-t|<\delta \). Hence,
for all \(s\ge 0\) with \(|s-t|<\delta \). Since \(S^\prime _-(s,x)y\le S^\prime _+(s,x)y\), we obtain that
for all \(s\ge 0\). On the other hand,
for all \(s\ge 0\). Now, since \(S^\prime _+(t,x)y=S^\prime _-(t,x)y\), we obtain that
for all \(s\ge 0\) and therefore, by (3.3),
for all \(s\ge 0\) with \(|s-t|<\delta \). Since \(S(0)=\mathop {\text {{id}}}_X\) is linear, it follows that
and therefore, \(\lim _{t\downarrow 0}S^\prime _\pm (t,x)y=S^\prime _\pm (0,x)y=y\). \(\square \)
It is a straightforward application of Proposition 2.7 that \([0,\infty )\rightarrow X,\;t\mapsto S(t)x\) is locally Lipschitz continuous for all \(x\in D(A)\). The following first main result states that it is even continuously differentiable on the domain.
Theorem 3.3
Let \(x\in D(A)\) and \(t\ge 0\).
-
(i)
It holds \(S(t)x\in D(A)\) with
$$\begin{aligned} AS(t)x=S^\prime _+(t,x)Ax. \end{aligned}$$If S(t) is linear, this results in the well-known relation \(AS(t)x=S(t)Ax\).
-
(ii)
For \(t>0\), it holds
$$\begin{aligned} \lim _{h\downarrow 0}\frac{S(t)x-S(t-h)x}{h}=S^\prime _-(t,x)Ax. \end{aligned}$$ -
(iii)
It holds \(S^\prime _+(t,x)Ax=S^\prime _-(t,x)Ax\). The mapping \([0,\infty )\rightarrow X\), \(s\mapsto S(s)x\) is continuously differentiable and the derivative is given by
$$\begin{aligned} \tfrac{\mathrm{d}}{\mathrm{d}s}S(s)x=AS(s)x=S^\prime _\pm (s,x)Ax\quad \text {for }s\ge 0. \end{aligned}$$ -
(iv)
It holds
$$\begin{aligned} S(t)x-x=\int _0^t AS(s)x\, \mathrm {d}s=\int _0^t S^\prime _+(s,x)Ax\, \mathrm {d}s=\int _0^t S^\prime _-(s,x)Ax\, \mathrm {d}s. \end{aligned}$$
Proof
(i) Let \(t\ge 0\) and \((h_n)_n\) in \((0,\infty )\) with \(h_n\downarrow 0\). Then,
By Corollary 2.4, there exist \(L\ge 0\) and \(r>0\) such that
for all \(y,z\in B(x,r)\). For \(n\in \mathbb {N}\) sufficiently large, we thus obtain that
Since, by (3.2),
we obtain the assertion.
(ii) Let \(t> 0\) and \((h_n)_{n\in \mathbb {N}}\) in (0, t] with \(h_n\downarrow 0\). Then,
Again, by Corollary 2.4, there exist \(L\ge 0\) and \(r>0\) such that
for all \(y,z\in B(x,r)\). By Corollary 2.6, we have \(S(h_n)(x-h_nAx)\rightarrow x\). Hence, for \(n\in \mathbb {N}\) sufficiently large, it follows that
Using Corollary 2.6 and the convexity of \(S_x\) and \(S_{x-h_n Ax}\), we find that, for sufficiently large \(n\in \mathbb {N}\),
and
This shows that \(\big \Vert \frac{S(h_n)(x-h_nAx)-x}{h_n}\big \Vert \rightarrow 0\), which implies that
Since, by (3.2),
we obtain the assertion.
(iii) By definition, it holds \(S^\prime _+(t,x)Ax\ge S^\prime _-(t,x)Ax\), and, for \(t=0\),
Therefore, let \(t>0\) and \(0<h\le t\). Then, by convexity of \(S_{S(t-h)x}\), for h sufficiently small, it holds
which implies that
where we used Corollary 2.6 and (ii) in the last step. Now, Proposition 3.2 yields that the mapping \([0,\infty )\rightarrow X\), \(s\mapsto S^\prime _+(s,x)Ax\) is continuous.
(iv) This follows directly from (iii) using the fundamental theorem of calculus. \(\square \)
As in the linear case, the generator of a convex \(C_0\)-semigroup is closed.
Proposition 3.4
The generator A is closed, i.e., for every sequence \((x_n)_{n\in \mathbb {N}}\) in D(A) with \(x_n\rightarrow x\in X\) and \(Ax_n\rightarrow y\in X\), it holds \(x\in D(A)\) and \(Ax=y\).
Proof
First, notice that
where we have used \(S^\prime _+(s,x_n)Ax_n=S^\prime _-(s,x_n)Ax_n\) from Theorem 3.3 (iii), for all \(s\ge 0\) and \(n\in \mathbb {N}\). By Corollary 2.4, there exist \(L\ge 0\) and \(r>0\) such that
for all \(w,z\in B(x\pm y,r)\). Hence, for \(n\in \mathbb {N}\) sufficiently large,
so that
for all \(s\in [0,1]\). By Theorem 3.3,
for all \(h>0\). Hence, for fixed \(h\in (0,1]\), we find that
where we used Corollary 2.4 in the last step. This shows that
That is, \(x\in D(A)\) with \(Ax=y\). \(\square \)
The following theorem is the second main result of this section and shows uniqueness of the solution.
Theorem 3.5
Let \(y:[0,\infty )\rightarrow X\) be a continuous function such that \(y(t)\in D(A)\) for all \(t\ge 0\), and
Then, \(y(t)=S(t)x\) for all \(t\ge 0\), where \(x:=y(0)\).
Proof
Let \(t>0\) and \(g(s):=S(t-s)y(s)\) for all \(s\in [0,t]\). Fix \(s\in [0,t)\). For every \(h>0\) with \(h\le t-s\), it holds
By Proposition 2.2, there exist \(L\ge 0\) and \(r>0\) such that
for all \(x\in B(y(s),r)\) and \(z\in B(0,r)\). Hence, for h sufficiently small, it follows that
where we used that \(\lim _{h\downarrow 0} y(s+h)=y(s)=\lim _{h\downarrow 0}S(h)y(s)\). Since \(y(s)\in D(A)\),
as \(h\downarrow 0\). This shows that \(\tfrac{g(s+h)-g(s)}{h}\rightarrow 0\) as \(h\downarrow 0\).
We next show that the map \(g:[0,t]\rightarrow X\) is continuous. Since its right derivative exists, it follows that \(\lim _{h\downarrow 0}g(s+h)=g(s)\) for \(s\in [0,t)\). Now, let \(s\in (0,t]\) and \(h>0\) sufficiently small. Then,
Since \(y(s-h)\rightarrow y(s)\) as \(h\downarrow 0\), by Corollary 2.6, it follows that \(S(h)y(s-h)\rightarrow y(s)\) as \(h\downarrow 0\). Together with (3.4), we obtain that \(\lim _{h\downarrow 0}g(s-h)=g(s)\).
Finally, fix \(\mu \) in the dual space \(X^\prime \). Since \(\mu g:[0,t]\rightarrow \mathbb {R}\) is continuous and its right derivative vanishes on [0, t), it follows from [24, Lemma 1.1, Chapter 2] that \([0,t]\rightarrow X,\; s\mapsto \mu g(s)\) is constant. In particular, \(\mu y(t)=\mu g(t)=\mu g(0)=\mu S(t)x\). This shows that \(y(t)= S(t)x\), as \(X^\prime \) separates the points of X. \(\square \)
Remark 3.6
With similar arguments as in the proof the previous theorem, one can show the following statement: Let \(y:[0,\infty )\rightarrow X\) be a continuous function with \(y(t)\in D(A)\) for all \(t\ge 0\) and \(\lim _{h\downarrow 0}\tfrac{y(t)-y(t-h)}{h}=Ay(t)\) for all \(t>0\). Then, \(y(t)=S(t)x\) for all \(t\ge 0\) with \(x:=y(0)\).
Theorem 3.5 implies that convex semigroups are determined by their generators whenever the domain is dense.
Corollary 3.7
Let T be a convex \(C_0\)-semigroup with generator \(B\subset A\), i.e., \(D(B)\subset D(A)\) and \(A|_{D(B)}=B\). If \(\overline{D(B)}=X\), then \(S(t)=T(t)\) for all \(t\ge 0\).
Proof
For every \(x\in D(B)\), the mapping \([0,\infty )\rightarrow X\), \(t\mapsto T(t)x\) satisfies the assumptions of Theorem 3.5. Indeed, \([0,\infty )\rightarrow X,\;t\mapsto T(t)x\) is continuous by Corollary 2.5, and, by Theorem 3.3, \(T(t)x\in D(B)\subset D(A)\) for all \(t\ge 0\) with
By Theorem 3.5, it follows that \(T(t)x=S(t)x\) for all \(t\ge 0\). Finally, since, by Corollary A.4, the bounded convex functions T(t) and S(t) are continuous and \(\overline{D(B)}=X\), it follows that \(S(t)=T(t)\) for all \(t\ge 0\). \(\square \)
Corollary 3.8
The abstract Cauchy problem
is (classically) well posed in the following sense:
-
(i)
For all \(x\in D(A)\), (CP) has a unique classical solution \(y\in C^1([0,\infty );X)\) with \(y(t)\in D(A)\) for all \(t\ge 0\) and \(Ay\in C([0,\infty );X)\).
-
(ii)
For all \(x_0\in D(A)\) and \(T>0\), there exist \(L\ge 0\) and \(r>0\) such that
$$\begin{aligned} \sup _{t\in [0,T]}\Vert y(t,x)-y(t,z)\Vert <L\Vert x-z\Vert \quad \text {for all }x,z\in D(A)\cap B(x_0,r), \end{aligned}$$where \(y(\, \cdot \, , x)\) denotes the unique solution to (CP) with initial value \(x\in D(A)\).
-
(iii)
For all \(t>0\) and \(r>0\), there exists some constant \(C\ge 0\) such that
$$\begin{aligned} \Vert y(t,x)\Vert \le C\quad \text {for all }x\in D(A)\text { with }\Vert x\Vert \le r. \end{aligned}$$
Proof
By Theorems 3.3 and 3.5, it follows that for every \(x\in D(A)\), the Cauchy problem (CP) has a unique classical solution \(y\in C^1([0,\infty );X)\) such that \(y(t)\in D(A)\) for all \(t\ge 0\) and \(Ay\in C([0,\infty );X)\), and which is given by \(y(t) = S(t)x\). By Corollary 2.4, we obtain (ii), and (iii) is the boundedness of the operator S(t). \(\square \)
Remark 3.9
Assume that for some operator \(A_0:D(A_0)\subset X\rightarrow X\), the abstract Cauchy problem is well posed in the sense of Corollary 3.8. Let the domain \(D(A_0)\) be a dense linear subspace of X, and assume that the map \(D(A_0)\rightarrow X,\;x\mapsto y(t,x)\) is convex for all \(t\ge 0\). Then, there exists a unique convex \(C_0\)-semigroup \(S=(S(t))_{t\in [0,\infty )}\) with \(S(t)x=y(t,x)\) for all \(x\in D(A_0)\). Moreover, \(A_0\subset A\), where A is the generator of S, and \(D(A_0)\) is S(t)-invariant for all \(t\ge 0\), i.e., \(S(t)x\in D(A_0)\) for all \(t\ge 0\) and \(x\in D(A_0)\).
In fact, we can define the operator \(S(t)x:=y(t,x)\) for all \(t\ge 0\) and \(x\in D(A_0)\). As S(t) is bounded by (iii) and convex, it is Lipschitz on bounded subsets of \(D(A_0)\) by Corollary A.4. Therefore, there exists a unique continuous extension \(S(t):X\rightarrow X\), which again is bounded and convex. By the uniqueness in (i), the semigroup property for the family \(S=(S(t))_{t\in [0,\infty )}\) holds for all \(x\in D(A_0)\), and therefore for all \(x\in X\). Similarly, the strong continuity follows by \(y(\cdot ,x)\in C([0,\infty ); X)\) for \(x\in D(A_0)\) and (ii). Finally, as, for every \(x\in D(A_0)\), the function \(y(\cdot ,x)\) is differentiable at zero with derivative Ax, we obtain \(D(A_0)\subset D(A)\) with \(A|_{D(A_0)} = A_0\) as well as, by (i), the invariance of \(D(A_0)\) under S(t).
In this way, we can construct a convex \(C_0\)-semigroup by solving the Cauchy problem only for initial values \(x\in D(A_0)\). In applications, one might have \(D(A_0)\) being much smaller than D(A).
Remark 3.10
We would like to point out that very little can be said about structural properties of the domain D(A) when S is nonlinear. If S is sublinear, the generator and the domain scale with positive multiples, i.e., \(\lambda x\in D(A)\) with \(A(\lambda x)=\lambda Ax\) for all \(x\in D(A)\) and \(\lambda \ge 0\), which is a direct consequence of positive homogeneity of the semigroup. Although in typical situations, when \(X=L^p\), the domain contains a dense subspace, which, in most applications, is the space \(C_c^\infty \) of all smooth functions with compact support, the density of the domain, in a general setting, remains an open question. Considering the semigroup envelope for two linear semigroups for which the intersection of the domains consists of only 0, suggests that the domain should fail to be dense in general. A less pathological case which is not covered by the setup in this section is given by the semigroup envelope for a family of heat semigroups with varying covariance operator on the space of all bounded uniformly continuous functions on a separable Hilbert space H as in [9, 21], and also suggests that the domain is typically not dense.
4 Semigroup envelopes
As in the previous section, we assume that X has an order continuous norm implying that X is Dedekind super complete (see beginning of Sect. 3). For two semigroups S and T on X, we write \(S\le T\) if
We would like to point out that our definition of dominance for two semigroups is not consistent with the notion of dominance for linear semigroups. If S and T are both linear, \(S\le T\) implies that \(S=T\). Our definition of \(\le \) is therefore only nontrivial, in the sense that it is a strict inequality, if S or T are nonlinear.
Throughout this section, let \((S_\lambda )_{\lambda \in \Lambda }\) be a family of convex monotone semigroups on X. We say that a semigroup S is an upper bound of \((S_\lambda )_{\lambda \in \Lambda }\) if \(S\ge S_\lambda \) for all \(\lambda \in \Lambda \).
Definition 4.1
We call a semigroup S (if existent) the (upper) semigroup envelope of \((S_\lambda )_{\lambda \in \Lambda }\) if it is the smallest upper bound of \((S_\lambda )_{\lambda \in \Lambda }\), i.e., if S is an upper bound of \((S_\lambda )_{\lambda \in \Lambda }\) and \(S\le T\) for any other upper bound T of \((S_\lambda )_{\lambda \in \Lambda }\).
Notice that the definition of a semigroup envelope already implies its uniqueness. However, the existence of a semigroup envelope is not given in general. In [9, 21] the existence of a semigroup envelope, under certain conditions, has been shown for families of semigroups on spaces of uniformly continuous functions. This is done following an idea of Nisio [23], who was, to the best of our knowledge, the first to investigate the existence of semigroup envelopes. A related construction is the one of a modulus for linear \(C_0\)-semigroups by Becker and Greiner [4]. It was shown (cf. [9, 21, 23]) that, for \(C_0\)-semigroups, there is a relation between the semigroup envelope, that is the supremum, of a family of semigroups and the pointwise supremum of their generators. In this subsection, we now want to show that the construction of Nisio, which is a pointwise optimization on a finer and finer time-grid, can be realized on Dedekind super complete Banach lattices. Moreover, we show that the ansatz proposed by Nisio is in fact the only way to construct the supremum of a family of semigroups. We further show that, under certain conditions, the semigroup envelope is a convex monotone \(C_0\)-semigroup, which makes the results from the previous subsection applicable. In view of the examples in [9, 21], this could be the starting point for \(L^p\)-semigroup theory for a class of Hamilton–Jacobi–Bellman equations.
In the sequel, we consider finite partitions \(P:= \{\pi \subset [0,\infty ): 0\in \pi , \, \pi \text { finite}\}\). For a partition \(\pi =\{t_0,t_1,\dots ,t_m\}\in P\) with \(0=t_0< t_1< \ldots < t_m\), we define \(|\pi |_\infty := \max _{j=1,\dots ,m} (t_j-t_{j-1})\), and we set \(|\{0\}|_\infty =0\). The set of partitions with end-point t is denoted by \(P_t\), i.e., \(P_t := \{\pi \in P: \max \pi = t\}\).
Assume that the set \(\{S_\lambda (t)x:\lambda \in \Lambda \}\) is bounded above for all \(x\in X\) and all \(t>0\). Let \(x\in X\). Then, we set
for all \(h>0\) and
for any partition \(\pi =\{t_0,t_1,\dots ,t_m\}\in P\) with \(0=t_0< t_1< \ldots < t_m\). Notice that for \(x\in X\) and \(h_1,h_2\ge 0\),
for all \(\lambda \in \Lambda \), which implies that \(J_{h_1+h_2}x\le J_{h_1}J_{h_2}x\). In particular,
for all \(x\in X\) and \(\pi _1,\pi _2\in P\) with \(\pi _1\subset \pi _2\).
Theorem 4.2
Assume that, for all \(t\ge 0\), there is a bounded operator \(C(t):X\rightarrow X\) with \(J_\pi x\le C(t)x\) for all \(\pi \in P_t\) and \(x\in X\). Then, the semigroup envelope \(S=(S(t))_{t\in [0,\infty )}\) of \((S_\lambda )_{\lambda \in \Lambda }\) exists, is a convex monotone semigroup, and is given by
for all \(t\ge 0\) and \(x\in X\). If \(C(t)x\rightarrow x\) as \(t\downarrow 0\) for all \(x\in X\) and \(S_{\lambda _0}\) is a \(C_0\)-semigroup for some \(\lambda _0\in \Lambda \), then S is a \(C_0\)-semigroup. Moreover, if \(S_\lambda \) is sublinear for all \(\lambda \in \Lambda \), then the semigroup envelope S is sublinear.
Proof
Clearly, we have that \(S_\lambda (h)x\le J_h x\) for all \(\lambda \in \Lambda \), \(h>0\) and all \(x\in X\). Moreover, since \(S_\lambda \) is monotone and convex for all \(\lambda \in \Lambda \), it follows that \(J_h\) is monotone and convex for all \(h\ge 0\). Consequently, \(J_\pi \) is monotone and convex with \(S_\lambda (t)x\le J_\pi x \le C(t)x\) for all \(\lambda \in \Lambda \), \(t\ge 0\), \(\pi \in P_t\) and \(x\in X\), showing that \(S=(S(t))_{t\ge 0}\), given by (4.2), is well defined, monotone, convex and an upper bound of the family \((S_\lambda )_{\lambda \in \Lambda }\). Moreover, one directly sees that S is sublinear as soon as all \(S_\lambda \) are sublinear. From
it follows that
and
for all \(t\ge 0\), \(x\in X\) and some \(\lambda _0\in \Lambda \). This implies that S(t) is bounded for all \(t\ge 0\), and that \(\lim _{t\downarrow 0}S(t)x=x\) as soon as \(C(t)x\rightarrow x\) as \(t\downarrow 0\) and \(S_{\lambda _0}\) is a \(C_0\)-semigroup for some \(\lambda _0\in \Lambda \). Next, we show that \(S=(S(t))_{t\ge 0}\), defined by (4.2), is a semigroup. Clearly, \(S(0)x=x\) for all \(x\in X\). In order to show that \(S(t+s)=S(t)S(s)\) for all \(s,t\ge 0\), let \(s,t\ge 0\) and \(x\in X\). Then, it is easily seen that \(S(t+s)x\le S(t)S(s)x\) since, by Eq. (4.1), for all \(\pi \in P_{t+s}\),
where \(\pi _0:=\{u\in \pi : u\le t\}\cup \{t\}\) and \(\pi _1:=\{u-t: u\in \pi , u\ge t\}\cup \{0\}\). On the other hand, there exists a sequence \((\pi _n)_n\) in \(P_s\) with \(S(s)x=\sup _{n\in \mathbb {N}}J_{\pi _n}x\). Defining
for all \(n\in \mathbb {N}\), we obtain that \(J_{\pi _n^*}x\rightarrow S(s)x\), by the \(\sigma \)-order continuity of the norm. Consequently,
for all \(\pi \in P_t\), where, in the first equality, we used the fact that \(J_\pi \) is continuous since, by Lemma A.2, it is convex and bounded. Taking the supremum over all \(\pi \in P_t\), we obtain that \(S(t)S(s)x\le S(t+s)x\).
Finally, let T be an upper bound of \((S_\lambda )_{\lambda \in \Lambda }\). Then, \(J_h x \le T(h)x\) for all \(h>0\) and all \(x\in X\) and consequently \(J_\pi x \le T(t)x\) for all \(t\ge 0\), \(\pi \in P_t\) and \(x\in X\), which shows that \(S(t)x\le T(t)x\) for all \(t\ge 0\) and \(x\in X\). \(\square \)
Remark 4.3
The proof of Theorem 4.2 shows that under the additional assumption that X is a KB-space (cf. [28, Chapter 7]), i.e., a Banach lattice in which every norm bounded increasing net in X is norm convergent, the existence of the semigroup envelope can be established under the slightly weaker condition
for all \(x\in X\) and \(t\ge 0\), instead of \(J_\pi x\le C(t)x\) for all \(\pi \in P_t\) and \(x\in X\). A condition ensuring the strong continuity in this case would be
for all \(x\in X\) instead of \(C(t)x\rightarrow x\) as \(t\rightarrow 0\). Although every \(L^p\)-space, for \(p\in [1,\infty )\), is a KB-space (cf. [20, Corollary 2.4.13]), (4.4) is usually not a very handy condition, and the pointwise estimate in terms of C(t) gives additional possibilities to verify the strong continuity, see, for instance, Theorem 5.2 (ii).
Corollary 4.4
Let the semigroup T be an upper bound of the family \((S_\lambda )_{\lambda \in \Lambda }\). Then, the semigroup envelope of \((S_\lambda )_{\lambda \in \Lambda }\) exists and is given by (4.2). If T is a \(C_0\)-semigroup and \(S_{\lambda _0}\) is a \(C_0\)-semigroup for some \(\lambda _0 \in \Lambda \), then S is a \(C_0\)-semigroup.
Proof
As we saw in the proof of the previous theorem, \(S_\lambda (t)x\le J_\pi x \le T(t)x\) for all \(\lambda \in \Lambda \), \(t\ge 0\), \(\pi \in P_t\) and \(x\in X\). Therefore, the upper bound C(t) in the previous theorem can be chosen to be T(t). \(\square \)
Corollary 4.5
Let S be the semigroup envelope of the family \((S_\lambda )_{\lambda \in \Lambda }\). Then,
for all \(t\ge 0\) and \(x\in X\).
5 Convolution semigroups on \(L^p\)
Let \(d\in \mathbb {N}\). In [9], the semigroup envelope, discussed in the previous section, has been constructed for a wide class of Lévy processes. In [9, Example 3.2], the authors consider families \((S_\lambda )_{\lambda \in \Lambda }\) of linear semigroups on the space \(\text {{BUC}}=\text {{BUC}}(\mathbb {R}^d)\) of bounded uniformly continuous functions, which are indexed by a Lévy triplet \(\lambda =(b,\Sigma ,\mu )\). Recall that a Lévy triplet \((b,\Sigma ,\mu )\) consists of a vector \(b\in \mathbb {R}^d\), a symmetric positive semidefinite matrix \(\Sigma \in \mathbb {R}^{d\times d}\) and a Lévy measure \(\mu \) on \(\mathbb {R}^d\). For each Lévy triplet \(\lambda \), the semigroup \(S_\lambda \) is the one generated by the transition kernels of a Lévy process with Lévy triplet \(\lambda \). More precisely,
for \(t\ge 0\), \(f\in \text {{BUC}}\) and \(x\in \mathbb {R}^d\), where \(L_t^\lambda \) is a Lévy process on a probability space \((\Omega ,\mathcal {F},\mathbb {P})\) with Lévy triplet \(\lambda \). In [9, Example 3.2], it was shown that, under the condition
the semigroup envelope \(S_{\text {{BUC}}}\) for the family \((S_\lambda )_{\lambda \in \Lambda }\) exists and that in this case (cf. [9, Lemma 5.10])
Here, \(\text {{BUC}}^2=\text {{BUC}}^2(\mathbb {R}^d)\) is the space of all twice differentiable functions with bounded uniformly continuous derivatives up to order 2 and \(A_\lambda \) is the generator of the semigroup \(S_\lambda \) for each \(\lambda \in \Lambda \). Notice that the setup in [9] is not contained in the setup of the previous subsection since \(\text {{BUC}}\) is not Dedekind super complete and does not possess a \(\sigma \)-order continuous norm. Recall that, for each Lévy triplet \(\lambda \), (5.1) also gives rise to a linear monotone \(C_0\)-semigroup on \(L^p=L^p(\mathbb {R}^d)\), which will again be denoted by \(S_\lambda \) (cf. [1, Theorem 3.4.2]). Therefore, the question arises if under a similar condition as (5.2), the semigroup envelope of the family \((S_\lambda )_{\lambda \in \Lambda }\) can be constructed on \(L^p\). In general, the answer to this question is negative as the following example shows.
Example 5.1
(Uncertain shift semigroup) Let \(d=1\) and \((S_\lambda (t)f)(x):=f(x+t\lambda )\) for \(\lambda \in \Lambda :=[-1,1]\), \(t\ge 0\), \(f\in L^p(\mathbb {R})\) and \(x\in \mathbb {R}\). Then, for \(f\in L^p(\mathbb {R})\) given by \(f(x)=|x|^{-1/2p}1_{[-1,1]}(x)\),
Therefore, the set \(\{S_\lambda (t)f:\lambda \in \Lambda \}\) does not have a least upper bound in \(L^p\) for all \(t>0\). In particular, the semigroup envelope of the family \((S_\lambda )_{\lambda \in \Lambda }\) does not exist although the set \(\Lambda \) satisfies condition (5.2).
In view of the previous example, additional conditions are required in order to guarantee the existence of the semigroup envelope on \(L^p\). In the sequel, let \(C_c^\infty \) denote the space of all \(C^\infty \)-functions \(f:\mathbb {R}^d\rightarrow \mathbb {R}\) with compact support \(\mathop {\mathrm{supp}}f\).
Theorem 5.2
Let \(\Lambda \) be a non-empty set of Lévy triplets that satisfies (5.2).
-
(i)
Assume that, for each \(t>0\), there exists a bounded operator \(C(t):L^p\rightarrow L^p\) with
$$\begin{aligned} J_\pi f\le C(t)f\quad \text {for all }t> 0,\; \pi \in P_t\text { and }f\in L^p. \end{aligned}$$(5.4)Then, the semigroup envelope S of \((S_\lambda )_{\lambda \in \Lambda }\) exists, and is a monotone sublinear semigroup.
-
(ii)
In addition to (5.4), assume that
$$\begin{aligned} \sup _{\lambda \in \Lambda } A_\lambda f\in L^p\quad \text {for all }f\in C_c^\infty \end{aligned}$$(5.5)and that, for every \(f\in C_c^\infty \) and every \(\varepsilon >0\), there exists a compact set \(K\subset \mathbb {R}^d\) with \(\mathop {\mathrm{supp}}f\subset K\) and
$$\begin{aligned} \limsup _{h\downarrow 0}\bigg (\int _{\mathbb {R}^d\setminus K} \frac{\big |\big (C(h)f\big )(x)\big |^p}{h}\, \mathrm{d}x\bigg )^{1/p}\le \varepsilon . \end{aligned}$$(5.6)Then, the semigroup S is a \(C_0\)-semigroup, \(C_c^\infty \subset D(A)\) and
$$\begin{aligned} Af=\sup _{\lambda \in \Lambda }A_\lambda f \end{aligned}$$for all \(f\in C_c^\infty \), where A denotes the generator of S.
Proof
(i) By Theorem 4.2, it is clear that (5.4) implies the existence of the semigroup envelope S and that the latter is monotone and sublinear.
(ii) Let \(f\in C_c^\infty \). We show that \(f\in D(A)\) with \(Af=\sup _{\lambda \in \Lambda }A_\lambda f=:Bf\). Let \(\varepsilon >0\). By (5.5) and (5.6), there exists some compact set \(K\subset \mathbb {R}^d\) with \(\mathop {\mathrm{supp}}f\subset K\) and
for \(g=f,-f\) and \(h>0\) sufficiently small. Since \(f\in C_c^\infty \subset \text {{BUC}}^2\cap L^p\), it follows that \(S(t)f=S_{\text {{BUC}}}(t)f\) for all \(t\ge 0\). Hence, by (5.3),
for \(h>0\) sufficiently small, where \(\mathrm{vol}(K)\) denotes the Lebesgue measure of K.
In particular, \(\Vert S(h)f-f\Vert _p\rightarrow 0\) for all \(f\in C_c^\infty \). Since \(C_c^\infty \) is dense in \(L^p\) and \(S(t):L^p\rightarrow L^p\) is continuous, this implies the strong continuity of S. \(\square \)
Notice that the semigroup envelope from the previous theorem is exactly the extension of the semigroup envelope on \(\text {{BUC}}\), constructed in [9], to the space \(L^p\). More precisely, for each \(t\ge 0\), the operator S(t) is the unique bounded monotone sublinear operator \(L^p\rightarrow L^p\) with \(S(t)f=S_{\text {{BUC}}}(t)f\) for all \(f\in \text {{BUC}}\cap L^p\). We will now give two examples of Lévy semigroups \((S_\lambda )_{\lambda \in \Lambda }\), where the semigroup envelope exists on \(L^p\). The first one is a semilinear version of Example 5.1. The problem in Example 5.1 arises due to shifting sufficiently integrable poles. In order to treat this problem, one first has to smoothen a given function \(f\in L^p\) via a suitable normal distribution and then shift the smooth version of f. This results in the following example.
Example 5.3
(g-expectation) Let \(d\in \mathbb {N}\), \(p\in [1,\infty )\), and
For \(\lambda \in \mathbb {R}^d\), we consider the linear \(C_0\)-semigroup \(S_\lambda =(S_\lambda (t))_{t\in [0,\infty )}\) in \(L^p = L^p(\mathbb {R}^d)\) given by \(S_\lambda (0)f= f\) and
for all \(t> 0\), \(f\in L^p\) and \(x\in \mathbb {R}^d\), where \((W_t)_{t\in [0,\infty )}\) is a d-dimensional Brownian motion on a probability space \((\Omega ,\mathcal {F},\mathbb {P})\). For each \(\lambda \in \Lambda \), the generator \(A_\lambda \) of \(S_\lambda \) is given by \(D(A_\lambda ) = W^{2,p}\) and
where \(\Delta \) denotes the Laplacian, ‘\(\,\cdot \,\)’ is the scalar product in \(\mathbb {R}^d\), and \(W^{2,p} = W^{2,p}(\mathbb {R}^d)\) stands for the \(L^p\)-Sobolev space of order 2; see also [19, Theorem 3.1.3] for the generation of a \(C_0\)-semigroup in \(L^p\) and [26, Theorem 31.5] for the connection between generator and Lévy triplet. Now, let \(\Lambda \subset \mathbb {R}^d\) be bounded and non-empty, and define
Notice that, for \(h>0\), \(S_\lambda (h)f\in \text {{BUC}}\) for all \(f\in L^p\), which is why the supremum in (5.7) can be understood pointwise for \(h>0\).
We show that the conditions of Theorem 5.2 are satisfied. For the construction of an upper bound, we use the relation
for all \(\lambda \in \mathbb {R}^d\), \(h>0\) and \(x,y\in \mathbb {R}^d\). With this and Hölder’s inequality, it follows that
where \({\overline{\lambda }}:=\sup _{\lambda \in \Lambda }|\lambda |\) and \(\frac{1}{p} + \frac{1}{q} =1\). As
we obtain that \(C(h_1)C(h_2) = C(h_1+h_2)\) for \(h_1,h_2>0\). Therefore,
for any partition \(\pi =\{t_0,t_1,\dots ,t_m\}\in P\) with \(0=t_0< t_1< \ldots < t_m\). By Fubini’s theorem,
for all \(h>0\) and \(f\in L^p\), showing that \(C(h):L^p\rightarrow L^p\) is bounded.
Now, let \(f\in C_c^\infty \). We consider
for \(x\in \mathbb {R}^d\). As, for every \(\lambda \in \Lambda \) and \(x\in \mathbb {R}^d\),
we obtain
with a constant C independent of f and \(\Lambda \), which shows, in particular, that \(Bf\in L^p\) for all \(f\in C_c^\infty \).
It remains to verify (5.6). Let \(f\in C_c^\infty \), and choose a compact set \(K\subset \mathbb {R}^d\) with \(\{ x+y: x\in \mathop {\mathrm{supp}}f,\, |y|\le 1\}\subset K\). For \(x\in \mathbb {R}^d\setminus K\), we obtain \(f(x+W_h)=0\) if \(|W_h|\le 1\), and therefore,
By Fubini’s theorem and Markov’s inequality, for any \(s>2\),
as \(h\downarrow 0\). By definition of C(h), it follows that \(\frac{1}{h}\int _{\mathbb {R}^d\setminus K}\big |\big (C(h)f\big )(x)\big |^p\, \mathrm{d}x\rightarrow 0\) as \(h\downarrow 0\). We have seen that all conditions of Theorem 5.2 are satisfied, and therefore, the semigroup envelope \(S=(S(t))_{t\in [0,\infty )}\) of \((S_\lambda )_{\lambda \in \Lambda }\) exists and is a sublinear monotone \(C_0\)-semigroup. In particular, we obtain a unique classical solution to the Cauchy problem
in the sense of Corollary 3.8 for all initial values \(f\in D(A)\), where A is the generator of S.
As the map \(\mathbb {R}^d\rightarrow \mathbb {R},\, x\mapsto \sup _{\lambda \in \Lambda } \lambda \cdot x\) is Lipschitz (which follows, e.g., by Lemma A.7), the same holds for the nonlinearity
where \(W^{1,p}=W^{1,p}(\mathbb {R}^d)\) denotes the \(L^p\)-Sobolev space of order 1. In particular, the operator \(B:W^{2,p}\rightarrow L^p,\, f\mapsto \sup _{\lambda \in \Lambda } A_\lambda f\), is well defined and Lipschitz. Now let \(f\in W^{2,p}\), and let \((f_n)_{n\in \mathbb {N}}\) be a sequence in \(C_c^\infty \) with \(\Vert f-f_n\Vert _{W^{2,p}} \rightarrow 0\). By the Lipschitz continuity of B, it follows that \((Bf_n)_{n\in \mathbb {N}}\) is a Cauchy sequence in \(L^p\) and therefore convergent. By Theorem 5.2, we have \(Af_n = Bf_n\) for all \(n\in \mathbb {N}\), and as the generator A of S is closed due to Proposition 3.4, we obtain \(f\in D(A)\) with \(Af=Bf\). Therefore, we see that \(B\subset A\) (see Theorem 3.5). As the nonlinearity F is Lipschitz continuous as a map from \(W^{1,p}\) to \(L^p\), it can be shown that all assumptions of [19, Prop. 7.1.10 (iii)] are satisfied. Therefore, for every \(f\in W^{2,p}\) there exists a solution \(u\in C^1([0,\infty ); L^p)\) with \(u(t)\in W^{2,p}\) for all \(t\ge 0\) that solves the Cauchy problem
By Theorem 3.5, it follows that \(u(t)=S(t)f\) for all \(t\ge 0\) and \(f\in W^{2,p}\). In particular, \(W^{2,p}\) is S(t)-invariant for all \(t\ge 0\). Therefore, S is the unique continuous extension of the solution operator \(f \mapsto u(\cdot ,f)\), which is defined on \(W^{2,p}\). Moreover, we obtain the existence of a classical solution to \(u'=Au\) for initial data in D(A), which is a superset of \(W^{2,p}\). Notice that we did not use results from PDE theory in order to obtain the well-posedness (in particular the existence and uniqueness of a solution) of the above Cauchy problem (5.10).
Example 5.4
(Compound Poisson processes) Let \(\mu :\mathcal {B}(\mathbb {R}^d)\rightarrow [0,1]\) be a fixed probability measure. For \(\lambda \ge 0\), \(t\ge 0\), \(f\in L^p\) and \(x\in \mathbb {R}^d\), let
Then, \(S_\lambda \) is the semigroup corresponding to a compound Poisson process with intensity \(\lambda \ge 0\) and jump distribution \(\mu \). Now, let \(\Lambda \subset [0,\infty )\) be bounded, \({\underline{\lambda }}:=\inf \Lambda \) and \({\overline{\lambda }}:=\sup \Lambda \). Let
Then, by Jensen’s inequality,
for all \(h\ge 0\), \(f\in L^p\) and \(x\in \mathbb {R}^d\). As before, we see that \(C(h_1)C(h_2)=C(h_1+h_2)\) for all \(h_1,h_2>0\) and
for any partition \(\pi =\{t_0,t_1,\dots ,t_m\}\in P\) with \(0=t_0< t_1< \ldots < t_m\). Again, by Fubini’s theorem,
for all \(h\ge 0\) and \(f\in L^p\), showing that \(C(h):L^p\rightarrow L^p\) is bounded. Let \(f\in C_c^\infty \). It remains to show that \(\frac{1}{h}\int _{\mathbb {R}^d\setminus K}\big |\big (C(h)f\big )(x)\big |^p\, \mathrm{d}x<\varepsilon \) for \(h>0\) sufficiently small. However, this follows from the fact that
By Theorem 5.2, the semigroup envelope \(S=(S(t))_{t\in [0,\infty )}\) of \((S_\lambda )_{\lambda \in \Lambda }\) exists, and is a monotone, bounded and sublinear \(C_0\)-semigroup. Let \(B:L^p\rightarrow L^p\) be given by
Then, we have \(A=B\) on \(C_c^\infty \) by Theorem 5.2. Since B is bounded and sublinear, and thus globally Lipschitz (see Lemma A.7), A is closed by Proposition 3.4 and \(C_c^\infty \) is dense in \(L^p\), it follows that \(D(A)=L^p\) and therefore \(A=B\). In particular, we obtain a classical solution in the sense of Corollary 3.8 to the initial value problem
for all initial values \(f\in L^p\).
Finally, we remark that due to the global Lipschitz continuity of B, we can also apply the theorem of Picard–Lindelöf to obtain a unique solution \(u=u(\cdot ,f)\) to the abstract initial value problem
for all \(f\in L^p\). By Theorem 3.5, it follows that \(u(t,f) = S(t)f\) for all \(t\ge 0\) and \(f\in L^p\).
References
D. Applebaum. Lévy processes and stochastic calculus, volume 116 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, second edition, 2009.
V. Barbu. Nonlinear differential equations of monotone types in Banach spaces. Springer, New York, 2010.
A. Bátkai, M. Kramar Fijavž, and A. Rhandi. Positive operator semigroups, volume 257 of Operator Theory: Advances and Applications. Birkhäuser/Springer, Cham, 2017. From finite to infinite dimensions, With a foreword by Rainer Nagel and Ulf Schlotterbeck.
I. Becker and G. Greiner. On the modulus of one-parameter semigroups. Semigroup Forum, 34(2):185–201, 1986.
P. Bénilan and M. G. Crandall. Completely accretive operators. In Semigroup theory and evolution equations (Delft, 1989), volume 135 of Lecture Notes in Pure and Appl. Math., pages 41–75. Dekker, New York, 1991.
H. Brézis. Monotonicity methods in Hilbert spaces and some applications to nonlinear partial differential equations. In Contributions to nonlinear functional analysis (Proc. Sympos., Math. Res. Center, Univ. Wisconsin, Madison, Wis., 1971), pages 101–156. Academic Press, New York, 1971.
M. G. Crandall, H. Ishii, and P.-L. Lions. User’s guide to viscosity solutions of second order partial differential equations. Bull. Amer. Math. Soc. (N.S.), 27(1):1–67, 1992.
M. G. Crandall and P.-L. Lions. Viscosity solutions of Hamilton-Jacobi equations. Trans. Amer. Math. Soc., 277(1):1–42, 1983.
R. Denk, M. Kupper, and M. Nendel. A semigroup approach to nonlinear Lévy processes. Stochastic Process. Appl., 130(3):1616–1642, 2020.
L. C. Evans. Nonlinear semigroup theory and viscosity solutions of Hamilton-Jacobi PDE. In Nonlinear semigroups, partial differential equations and attractors (Washington, D.C., 1985), volume 1248 of Lecture Notes in Math., pages 63–77. Springer, Berlin, 1987.
W. H. Fleming and H. M. Soner. Controlled Markov processes and viscosity solutions, volume 25 of Stochastic Modelling and Applied Probability. Springer, New York, second edition, 2006.
J. Hollender. Lévy-Type Processes under Uncertainty and Related Nonlocal Equations. PhD thesis. TU Dresden, 2016.
H. Ishii. On uniqueness and existence of viscosity solutions of fully nonlinear second-order elliptic PDEs. Comm. Pure Appl. Math., 42(1):15–45, 1989.
T. Kato. Nonlinear semigroups and evolution equations. J. Math. Soc. Japan, 19:508–520, 1967.
N. V. Krylov. On the existence of \(W_p^2\) solutions for fully nonlinear elliptic equations under either relaxed or no convexity assumptions. Commun. Contemp. Math., 19(6):1750009, 39, 2017.
N. V. Krylov. On the existence of \(W^{1,2}_p\) solutions for fully nonlinear parabolic equations under either relaxed or no convexity assumptions. In Nonlinear analysis in geometry and applied mathematics. Part 2, volume 2 of Harv. Univ. Cent. Math. Sci. Appl. Ser. Math., pages 103–133. Int. Press, Somerville, MA, 2018.
N. V. Krylov. Uniqueness for \(L_p\)-viscosity solutions for uniformly parabolic Isaacs equations with measurable lower order terms. Commun. Pure Appl. Anal., 17(6):2495–2516, 2018.
F. Kühn. Viscosity solutions to Hamilton-Jacobi-Bellman equations associated with sublinear Lévy(-type) processes. ALEA, Lat. Am. J. Probab. Math. Stat., (16):531–559, 2019.
A. Lunardi. Analytic semigroups and optimal regularity in parabolic problems, volume 16 of Progress in Nonlinear Differential Equations and their Applications. Birkhäuser Verlag, Basel, 1995.
P. Meyer-Nieberg. Banach lattices. Universitext. Springer-Verlag, Berlin, 1991.
M. Nendel and M. Röckner. Upper envelopes of families of Feller semigroups and viscosity solutions to a class of nonlinear Cauchy problems. Preprint arXiv:1906.04430, 2019.
A. Neufeld and M. Nutz. Nonlinear Lévy processes and their characteristics. Trans. Amer. Math. Soc., 369(1):69–95, 2017.
M. Nisio. On a non-linear semi-group attached to stochastic optimal control. Publ. Res. Inst. Math. Sci., 12(2):513–537, 1976/77.
A. Pazy. Semigroups of linear operators and applications to partial differential equations, volume 44 of Applied Mathematical Sciences. Springer-Verlag, New York, 1983.
H. Pham. Continuous-time stochastic control and optimization with financial applications, volume 61 of Stochastic Modelling and Applied Probability. Springer-Verlag, Berlin, 2009.
K. Sato. Lévy processes and infinitely divisible distributions, volume 68 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1999. Translated from the 1990 Japanese original, Revised by the author.
H. H. Schaefer. Banach lattices and positive operators. Springer-Verlag, New York-Heidelberg, 1974. Die Grundlehren der mathematischen Wissenschaften, Band 215.
W. Wnuk. Banach Lattices with Order Continuous Norms. Advanced topics in mathematics. Polish Scientific Publishers PWN, 1999.
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.
Financial support through the German Research Foundation via CRC 1283 is gratefully acknowledged. We thank Daniel Bartl, Jonas Blessing, Liming Yin, and José Miguel Zapata García for helpful discussions and comments. We are also indebted to two anonymous referees for their helpful suggestions leading to a major improvement of the manuscript.
Appendix A. Bounded convex operators
Appendix A. Bounded convex operators
Let X and Y be Banach lattices. For an operator \(S:X\rightarrow Y\), we define \(S_x:X\rightarrow Y\) by \(S_x y:=S(x+y)-Sx\) for all \(x,y\in X\). Recall that \(S:X\rightarrow Y\) is bounded if \(\Vert S\Vert _r<\infty \) for all \(r>0\), where
Here, \(B(x_0,r):=\{x\in X:\Vert x-x_0\Vert \le r\}\) for \(x_0\in X\) and \(r>0\).
Lemma A.1
Let \(S:X\rightarrow Y\) be convex with \(S 0=0\) and \(r>0\) with \(b:=\Vert S\Vert _r<\infty \). Then,
for all \(x\in B(0,r)\).
Proof
Let \(x\in B(0,r)\). For \(x=0\), the statement holds by assumption. For \(x\ne 0\), the convexity of S implies that
so that
\(\square \)
The following two lemmas aim to clarify the difference between convex continuous and convex bounded operators.
Lemma A.2
Let \(S:X\rightarrow Y\) be convex. Then, the following statements are equivalent:
-
(i)
S is continuous.
-
(ii)
For all \(x\in X\), there exists some \(r>0\) such that \(\Vert S_x\Vert _r<\infty \).
Proof
Let \(x\in X\) and \(r>0\) with \(b:=\Vert S_x\Vert _r<\infty \). Then, since \(S_x\) is convex with \(S_x(0)=0\), we obtain from Lemma A.1 that
This shows that \(S_x\) is continuous at 0, i.e., S is continuous at x.
Now, assume that there exists some \(x\in X\) such that \(\Vert S_x\Vert _r=\infty \) for all \(r>0\). Then, there exists a sequence \((y_n)_n\) in X with \(y_n\rightarrow 0\) and \(\Vert S_x y_n\Vert \ge n\). Therefore, the sequence \((S_x y_n)_n\) in Y is unbounded, and thus not convergent. This shows that \(S_x\) is not continuous at 0, i.e., S is not continuous at x. \(\square \)
Lemma A.3
Let \(S:X\rightarrow Y\). Then, the following statements are equivalent:
-
(i)
S is bounded.
-
(ii)
For all \(x\in X\) and all \(r>0\), it holds \(\Vert S_x\Vert _r<\infty \).
Proof
Clearly, (ii) implies (i) by considering \(x=0\) in (ii). Therefore, assume that S is bounded. Then, for every \(x\in X\) and \(r>0\), one has \(\Vert S_x\Vert _r\le 2\Vert S\Vert _{\Vert x\Vert +r}<\infty \). \(\square \)
Corollary A.4
Let \(S:X\rightarrow Y\) be bounded and convex. Then, S is Lipschitz on bounded subsets, i.e., for every \(r>0\), there exists some \(L>0\) such that \(\Vert Sx-Sy\Vert \le L \Vert x-y\Vert \) for all \(x,y\in B(0,r)\).
Proof
Let \(x,y\in B(0,r)\), so that \(x-y\in B(0,2r)\). As in the proof of Lemma A.3, it follows that
Hence, it follows from Lemma A.1 that \(\Vert Sy-Sx\Vert =\Vert S_x(y-x)\Vert \le \tfrac{b}{r}\Vert y-x\Vert \). \(\square \)
In the previous two lemmas, we have seen that, for a convex operator \(S:X\rightarrow Y\), boundedness implies continuity. The following example shows that a convex and continuous operator \(S:X\rightarrow Y\) is not necessarily bounded.
Example A.5
Let \(X=c_0:=\big \{(x_n) \text { in }\mathbb {R}:x_n\rightarrow 0 \text { as }n\rightarrow \infty \big \}\) be endowed with the supremum norm \(\Vert \cdot \Vert _\infty \) and \(Y=\mathbb {R}\). Then, X and Y are two Banach lattices. We define \(S:X\rightarrow Y\) by
Notice that S is well defined, since for every \(x\in X\), there exists some \(n_0\in \mathbb {N}\) such that \(|x_n|\le 1\) for all \(n\in \mathbb {N}\) with \(n \ge n_0\). We first show that \(S:X\rightarrow Y\) is convex. For \(\lambda \in [0,1]\) and \(x,y\in X\), one has
for all \(n\in \mathbb {N}\), which implies that
Next, we show that S is continuous. Let \(x\in X\) and \(\varepsilon \in (0,1]\). Then, there exists \(n_0\in \mathbb {N}\) such that \(|x_n|\le \tfrac{\varepsilon }{3}\) for all \(n\in \mathbb {N}\) with \(n\ge n_0\). Now, let \(y\in X\) with \(\Vert x-y\Vert _\infty \le \tfrac{\varepsilon }{3}\) and \(\Vert x-y\Vert _\infty \) is sufficiently small such that
For \(n\in \mathbb {N}\) with \(n\ge n_0\), one has
Hence, for all \(n\in \mathbb {N}\) with \(n\ge n_0\),
Altogether,
So far, we have shown that \(S:X\rightarrow Y\) is convex and continuous. However, S is not bounded. To that end, let \(e_k\) denote the k-th unit vector. Then, \(2e_k\in B(0,2)\) for all \(k\in \mathbb {N}\), but \(S(2e_k)=2^k\rightarrow \infty \).
In the sublinear case, the notions of continuity and boundedness are equivalent.
Lemma A.6
Let \(S:X \rightarrow Y\) be sublinear. Then, S is bounded, if and only if it is continuous, if and only if it is continuous at 0.
Proof
We have already seen that boundedness implies continuity. Therefore, assume that S is continuous at 0. Then, there exists some \(r>0\) such that \(\Vert S\Vert _r<\infty \). Since S is positive homogeneous, it follows that \(\Vert S\Vert _r<\infty \) for all \(r>0\). \(\square \)
Lemma A.7
Let \(S:X \rightarrow Y\) be sublinear and continuous. Then, S is Lipschitz, i.e., there exists some \(L>0\) such that \(\Vert Sx-Sy\Vert \le L \Vert x-y\Vert \) for all \(x,y\in X\).
Proof
Let \(L:=2\Vert S\Vert _1\) which is finite by Lemma A.6. Fix \(x,y\in X\). By sublinearity, it holds
By a symmetry argument, it follows that
Hence,
\(\square \)
Recall that convex monotone operators are continuous. For the sake of a self-contained exposition, we provide a short proof. We refer, e.g., to Bátkai et al. [3] for a similar proof in the linear case.
Lemma A.8
Let \(S:X\rightarrow Y\). Then, the following properties hold:
-
(a)
If S is convex and monotone, then it is continuous.
-
(b)
If S is positive homogeneous and monotone, then it is bounded.
Proof
a) Let \(X_+:=\{x\in X:x\ge 0\}\). Suppose by way of contradiction that S is not continuous at \(x\in X\). Then, there exists a sequence \((x_n)\) in X with \(x_n\rightarrow 0\) such that
for all n and some \(\delta >0\). Since \(S_x\) is monotone it holds \(\Vert S_x x_n\Vert \le \Vert S_x|x_n|\Vert \). Hence, we may assume that \(x_n\in X_+\) and \(\Vert x_n\Vert \le \tfrac{1}{n 2^n}\) for all \(n\in \mathbb {N}\) by possibly passing to a subsequence. Define \(y:=\sum _{n\in \mathbb {N}} n x_n\in X_+\). Then, for every \(\lambda \in (0,1]\) one has
for all \(n\in \mathbb {N}\) with \(\lambda n\ge 1\). By monotonicity of S, it follows that \(\Vert S_x(\lambda y)\Vert \ge \Vert S_x(x_n)\Vert \ge \delta \) for all \(n\in \mathbb {N}\) large enough. Since \(y\in X_+\), the function \([0,1]\rightarrow \mathbb {R}\), \(\lambda \mapsto \Vert S_x(\lambda y)\Vert \) is convex and monotone and therefore continuous at 0. This shows that
which is a contradiction.
(b) Assume that \(\Vert S\Vert _r=\infty \) for some \(r>0\). Then, there exists a sequence \((x_n)\) in B(0, r) with \(\Vert Sx_n\Vert \ge n 2^n\). As in part a), due to the monotonicity of S, we may assume that \(x^n\ge 0\). Define \(x:=\sum _{n\in \mathbb {N}} 2^{-n} x_n\in B(0,r)\). By monotonicity, we obtain that \(0\le S(2^{-n} x_n)\le S(x)\) for all \(n\in \mathbb {N}\), so that
for all \(n\in \mathbb {N}\). Letting \(n\rightarrow \infty \), this leads to a contradiction. \(\square \)
The results in Sect. 2 strongly rely on the following uniform boundedness principle for convex continuous operators.
Theorem A.9
Let \(\mathcal {S}\) be a family of convex continuous operators \(X\rightarrow Y\). Assume that \(\sup _{S\in \mathcal {S}}\Vert Sx\Vert <\infty \) for all \(x\in X\).
-
(i)
There exists some \(r>0\) such that
$$\begin{aligned} \sup _{S\in \mathcal {S}} \Vert S\Vert _r<\infty . \end{aligned}$$ -
(ii)
For every \(x_0\in X\), there exists some \(r>0\) such that
$$\begin{aligned} \sup _{x\in B(x_0,r)}\sup _{S\in \mathcal {S}}\Vert S_x\Vert _r<\infty . \end{aligned}$$
Proof
(i) By Baire’s category theorem, there exist \(c>0\), \(x_1\in X\) and \(r>0\) such that
for all \(S\in \mathcal {S}\) and \(x\in B(x_1,4r)\). If \(x_1=0\), the proof is finished. Hence, assume that \(x_1\ne 0\) and define
Since \(\Vert x_0-x_1\Vert \le 2r\), it follows that \(B(x_0,2r)\subset B(x_1,4r)\). By assumption,
Now, let \(x\in B(0,r)\) and \(S\in \mathcal {S}\). Then,
and
We thus obtain that
(ii) Let \(x_0\in X\). Then, \(\sup _{S\in \mathcal {S}}\Vert S_{x_0}x\Vert <\infty \) for all \(x\in X\). By part a), there exist \(b\ge 0\) and \(r>0\) such that
Now, let \(S\in \mathcal {S}\), \(x\in B(x_0,r)\) and \(y\in B(0,r)\). Then, \(x+y\in B(x_0,2r)\) and
Therefore, \(\Vert S_xy\Vert \le \Vert S_{x_0}(x+y-x_0)\Vert +\Vert S_{x_0}(x-x_0)\Vert \le b\). \(\square \)
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
Denk, R., Kupper, M. & Nendel, M. Convex semigroups on \(L^p\)-like spaces. J. Evol. Equ. 21, 2491–2521 (2021). https://doi.org/10.1007/s00028-021-00693-3
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00028-021-00693-3
Keywords
- Convex semigroup
- Nonlinear Cauchy problem
- Well-posedness and uniqueness
- Hamilton–Jacobi–Bellman equation