Abstract
The standard problem for the classical heat equation posed in a bounded domain \(\Omega \) of \({\mathbb {R}}^n\) is the initial and boundary value problem. If the Laplace operator is replaced by a version of the fractional Laplacian, the initial and boundary value problem can still be solved on the condition that the non-zero boundary data must be singular, i.e., the solution u(t, x) blows up as x approaches \(\partial \Omega \) in a definite way. In this paper we construct a theory of existence and uniqueness of solutions of the parabolic problem with singular data taken in a very precise sense, and also admitting initial data and a forcing term. When the boundary data are zero we recover the standard fractional heat semigroup. A general class of integro-differential operators may replace the classical fractional Laplacian operators, thus enlarging the scope of the work. As further results on the spectral theory of the fractional heat semigroup, we show that a one-sided Weyl-type law holds in the general class, which was previously known for the restricted and spectral fractional Laplacians, but is new for the censored (or regional) fractional Laplacian. This yields bounds on the fractional heat kernel.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
If we consider the classical heat equation posed in a bounded domain \(\Omega \) of \({\mathbb {R}}^n\) with \(n >2s\), a standard problem is the initial and boundary value problem with Dirichlet data. The theory goes in parallel with a similar theory for the elliptic Laplace–Poisson problem. When the Laplace operator is replaced by a version of the fractional Laplacian in the elliptic problem, Abatangelo and collaborators [1,2,3,4] made clear that standard boundary values are not accepted in the theory and must be replaced by singular values. Not only that, the singular values have to be specified in a very precise way. A well-posed problem follows in that case.
Two questions immediately arise from the elliptic studies, in particular [4]: whether this singular behaviour is preserved in the parabolic problem, and what is the corresponding theory. We will try to give a satisfactory answer to those questions in this paper.
1.1 General evolution problem
Let us state the evolution problem under study in its general formulation. First, we have an evolution equation
driven by an operator \(\mathrm {L}\) belonging to a wide class that includes the usual fractional Laplacian versions. We also need admissible boundary conditions to be satisfied by our solutions. They are formulated in terms of the boundary operator \(\mathrm {E}\) that originated in the elliptic theory:
We will examine the operator \(\mathrm {E}\) below. Depending on the operator \(\mathrm {L}\), we will need to impose an exterior boundary condition, which we will always take as homogeneous:
Finally, we need to impose initial data as usual:
The form of the admissible boundary condition is a consequence of the already established elliptic theory, since we want the solutions of the corresponding elliptic problems to appear as stationary solutions of the evolution problem. Consequently, we define the singular boundary condition as the limit
where \(u^\star \) is a particular known function, which typically exhibits a boundary behaviour of type \(\delta (x)^{2s - \gamma -1}\), where \(\delta \) denotes the distance-to-the-boundary function \(\delta (x) = \text {dist} (x, \Omega ^c)\). Hereafter, the parameters \(s\in (0,1)\) and \(\gamma \in (0,1]\) determine respectively the interior and boundary behaviour of \(\mathrm {L}\), see (H\(_1\)).
We call (1.5) singular boundary data because of the values taken for the Restricted Fractional Laplacian (RFL) and Spectral Fractional Laplacian (SFL), where \(2s - \gamma - 1 < 0\). However, for the Censored (or Regional) Fractional Laplacian (CFL), \(2s - \gamma - 1 = 0\) and this is a Dirichlet type condition. As mentioned in [4], no examples are known to satisfy \(2s-\gamma -1>0\). In this last setting, \(\mathrm {E}u = 0\) seems to be a redundant condition \(u = 0\) in \(\partial \Omega \), which calls into question if the Green operator \({\mathcal {G}}\), introduced in (2.1), comes from a reasonable direct operator \(\mathrm {L}\). Nevertheless, as in [4] we will include a mathematical framework for these problems.
1.2 Main assumptions, results and plan of the paper
We will denote the solution of Eq. (1.1) with initial-and-boundary conditions (1.2), (1.3) and (1.4) by \({\mathcal {H}}[u_0, f, h]\) or, more precisely, by \({\mathcal {H}}_{\mathrm {L}} [u_0, f, h]\). Although it is a bulky notation, we have decided to use it for the sake of precision.
We will prove that under general assumptions on the Green’s operator \({\mathcal {G}}\) for the elliptic problem \(\mathrm {L}v = f\), we can construct a well-posed theory of so-called weak-dual solutions for the parabolic problem. As in [4], we assume the following hypothesis which will be made precise as we introduce the involved quantities:
-
(H\(_1\)): two-sided estimates for the elliptic Green’s function
-
(H\(_2\)): boundary regularity of the elliptic Green’s operator
-
(H\(_3\)): the elliptic differential operator generates a submarkovian semigroup (see all three in Sect. 2)
-
(H\(_4\)): existence of \(\gamma \)-normal derivative of the elliptic Green’s function (see Sect. 3.2)
Our main result reads:
Theorem 1.1
Assume (H\(_1\)), (H\(_2\)), (H\(_3\)) and (H\(_4\)). Given \(u_0\in L^1(\Omega ,\delta ^\gamma )\), \(f\in L^1(0,T; L^1(\Omega ,\delta ^\gamma ))\) and \(h\in L^1((0,T)\times \partial \Omega )\), the Problem (1.1)–(1.2)–(1.3)–(1.4) has a unique solution \({\mathcal {H}}[u_0,f,h]\in L^1(0,T;L^1(\Omega ,\delta ^\gamma ))\) given in (7.1), understood in the weak-dual sense (8.2). Moreover, the solution operator is continuous in the sense that (8.5) holds.
A word about notation. We denote by \(L^1(\Omega ,\delta ^\gamma )\) the space of functions \(u\in L^1_{loc}(\Omega )\) such that
Similarly, we define
After recalling some elliptic preliminaries, in Sect. 3 we will use the theory of dissipative operators to construct the heat semigroup \({\mathcal {S}}(t)\) defined by \({\mathcal {S}}(t)[u_0] = {\mathcal {H}}[u_0,0,0]\). In Sect. 4 we give some intuition on why and how singular boundary data are allowed into the theory. In Sect. 5 we provide a one-sided Weyl-type law for such operators, which is used in Sect. 6 to show that the heat semigroup is regularising, it is in fact given by a kernel with good estimates.
Section 7 is devoted to propose an explicit candidate of solution \({\mathcal {H}}[u_0,f,h]\) for Problem (1.1)–(1.4), that is given in terms of the heat kernel \({\mathbb {S}}\) defined in (3.3). We analyse the admissible data, and obtain basic estimates. In Sect. 8 we give a precise definition of weak-dual solution, for which we show uniqueness. We devote Sect. 9 to show that our candidate of solution is precisely this unique solution and that Theorem 1.1 holds.
In Sect. 10 we address the question of agreement between the elliptic and parabolic theories. Thus, we prove that when f and h do not depend on t, then \({\mathcal {H}}[u_0,f,h]\) converges as \(t \rightarrow \infty \) to the solution of the corresponding elliptic problem studied in [4].
To conclude, we examine in Sect. 11 the practical application of the above general theory. In particular, we show that the theory applies to the three classical fractional Laplacian examples: RFL, SFL and CFL, by checking that these operators satisfy the set of hypotheses required by our general setting.
2 Elliptic preliminaries
We recall some facts from the elliptic theory as developed by Abatangelo et al. in [4]. First, we go over the theory where only zero boundary data are taken into account (we often refer to it as standard theory). Thus, it is proved that for a large family of operators \(\mathrm {L}\), the classical solution of
can be written by an integral against the Green kernel
This kernel has very precise properties. In the class of operators under consideration, for all \(0 \le f \in L^\infty _c (\Omega )\) the solutions behave near the boundary in a power-like way
with a certain constant \(\gamma \in (0,1]\) that depends on the operator. See the classical fractional Laplacian examples in Sect. 11. We assume that \({\mathbb {G}}\) is symmetric and has the following estimates outside the diagonal,
Under this assumption, it was shown in [4] that the maximal class of data f admissible for the operator is the space \(L^1 (\Omega , \delta ^\gamma )\), which only depends on the parameter \(\gamma \).
On the other hand, Bonforte et al. [7] showed that there exists an orthonormal basis of \(L^2 (\Omega )\) consisting of eigenfunctions \(\varphi _m\) of \(\mathrm {L}\). We write this in terms of the inverse \({\mathcal {G}}[\varphi _m] = \lambda _m^{-1} \varphi _m\) where the sequence of eigenvalues \(0< \lambda _1 < \lambda _2 \le \cdots \) diverges to infinity in the usual way. In Sect. 5 we include a Weyl-type law that specifies a rate for this divergence.
Let us use the notation \(\delta ^\gamma X :=\{ u=\delta ^\gamma v : v \in X \}\) endowed with the norm \(\left\| u\right\| _{\delta ^\gamma X}=\left\| u/\delta ^\gamma \right\| _{X}\). With the additional assumption that
it is known that the eigenfunctions are bounded functions such that
Through this eigen-decomposition, we have the so-called Mercer’s condition on the kernel
Here and below, we denote by \(\langle \cdot , \cdot \rangle \) the scalar product on \(L^2 (\Omega )\),
3 Semigroup theory
We start our evolution study by the simplest theory when both \(f=0\) and \(h = 0\), and only nontrivial initial data \(u_0\) are considered. Then we present a natural class solutions that forms a continuous semigroup that creates the basis for our further studies. We will denote it as \({\mathcal {S}}(t) [u_0]\), i.e.,
We construct this heat semigroup \({\mathcal {S}}(t) : L^2 (\Omega ) \rightarrow L^2 (\Omega )\) from the eigen-decomposition
This is the classical form of the of solution of (1.1)–(1.4) when \(u_0 \in L^2 (\Omega ), f = 0, h = 0\). It satisfies the equation in the spectral sense. A definition of solution of the general problem will be given later; we are satisfied with this formal definition for the moment. Agreement between the present semigroup definition and the general theory to be developed later will come at the proper place.
Remark 3.1
There are some properties that follow from (3.1). First, \({\mathcal {S}}(t)\) is a well-defined self-adjoint linear operator in \(L^2(\Omega )\), namely
Second, it easily follows that for all \(f \in L^2 (\Omega )\),
In the following subsections we check that \({\mathcal {S}}(t)\) is, in fact, a semigroup in various functional settings.
3.1 \(L^2\) theory
Proposition 3.2
The family \({\mathcal {S}}(t)\) defined by (3.1) is a continuous non-expansive semigroup in \(L^2 (\Omega )\). Furthermore,
Proof
First, it is evident that
Now we show that \({\mathcal {S}}(t) \rightarrow I\) strongly in \(L^2(\Omega )\):
Since \(e^{-\lambda _1 t} \rightarrow 1 \), we have the continuity of the semigroup. The estimate is computed similarly. \(\square \)
Remark 3.3
The Green kernel can be formally expressed as
We expect also that
where \({\mathbb {S}}\) is called the heat kernel, whose existence is justified in Theorem 6.1. Formally, we can write
Since \({\mathcal {S}}(t)\) is self-adjoint, \({\mathbb {S}}(t,x,y) = {\mathbb {S}}(t,y,x)\). Through these formulas, it is immediate that
This relation will be justified in Remark 6.3.
Remark 3.4
As mentioned in [9], in this \(L^2\) setting we can define the energy spaces
It is easy to see that these are Hilbert spaces with adequate inner products. In the examples, the spaces have been characterised. The dual spaces are made of distributions and expressed as
The heat semigroup \({\mathcal {S}}(t)\) is still well defined in this setting.
3.2 \(L^\infty \) theory
The usual assumption on the operator \(\mathrm {L}\) is that it is submarkovian, namely
Notice that, since
we have that (H\(_3\)) is equivalent to
If these properties hold, \({\mathcal {S}}(t)\) is positivity-preserving and non-expansive on \(L^\infty (\Omega )\), namely
In particular, this assumption guarantees that \({\mathbb {S}}\ge 0\) (see Theorem 6.1) and a more useful version of (3.7):
This estimate will be fundamental in our theory below. The symmetry assumption (H\(_1\)) implies that \({\mathcal {S}}(t)\) is a symmetric Markov semigroup.
3.3 \(L^1\) theory
The sub-markovian condition (H\(_3\)) also implies \({\mathcal {S}}(t):L^1(\Omega )\longrightarrow L^1(\Omega )\) is continuous and non-expansive. Indeed, using also (3.8) and the self-adjointness of \({\mathcal {S}}(t)\), we have for any \(u_0\in L^1(\Omega )\),
Just as in the classical setting, such duality estimates will be useful in the subsequent theory.
3.4 \(L^p\) theory
Since \({\mathcal {S}}(t)\) is non-expansive on \(L^\infty (\Omega )\) and \(L^1(\Omega )\), it is immediate by Riesz–Thorin interpolation theorem that \({\mathcal {S}}(t):L^p(\Omega ) \longrightarrow L^p(\Omega )\) defines a continuous and non-expansive semigroup for \(1<p<\infty \). Moreover, since we know later from Theorem 6.1 that \({\mathcal {S}}(t)\) is ultracontractive, i.e. \({\mathcal {S}}(t):L^2(\Omega ) \longrightarrow L^\infty (\Omega )\) is continuous for any \(t>0\). Due to [15, Theorem 2.1.5], \({\mathcal {S}}(t)\) is compact on \(L^p(\Omega )\) for all \(1\le p \le \infty \). However, we will not use this fact in the rest of the paper.
3.5 \(L^1 (\Omega , \delta ^\gamma )\) theory
In [4], the authors prove that, from \({\mathbb {G}}(x,y) \ge c \delta (x)^\gamma \delta (y)^\gamma \), we have the lower-Hopf-type inequality for \(f \ge 0\),
This allows them to conclude that \(L^1 (\Omega , \delta ^\gamma )\) is the optimal set of functional data. Since the operator \({\mathcal {S}}(t)\) is self-adjoint in \(L^2(\Omega )\) (see Remark 3.1), we have the weaker information that
Therefore, for \(u_0 \ge 0\) we have that \(u_0 \in L^1 (\Omega , \delta ^\gamma )\) if and only if \({\mathcal {S}}(t)[u_0] \in L^1 (\Omega , \delta ^\gamma )\) for any \(t > 0\). In Remark 6.6 we show that if \(u_0 \notin L^1 (\Omega , \delta ^\gamma )\) then \({\mathcal {S}}(t) [u_0] \equiv +\infty \) for t large enough. While we do not know if the same happens in general for small times, we show in Sect. 11 that for the model operators this holds for all \(t>0\). Therefore, the sensible set of optimal functional data is, as in the elliptic case, \(u_0 \in L^1 (\Omega , \delta ^\gamma )\).
Since we want to work in the setting of semigroups associated to an infinitesimal generator (see, e.g., [22]) we formalise the functional setting of our infinitesimal generator, and apply the well-known Hille–Yosida theorem (see, e.g. [22, Chapter 1, Theorem 3.1]), as we recall as follows:
Theorem 3.5
(Hille–Yosida) A linear (unbounded) operator A in a Banach space X is the infinitesimal generator of a \(C_0\) semigroup of contractions if and only if
- (i):
-
A is closed and \(\overline{D(A)}=X\).
- (ii):
-
The resolvent set of A contains \((0,+\infty )\) and for every \(\lambda >0\), the resolvent operator \(\mathrm {J}_\lambda =(\lambda I-A)^{-1}\) has operator norm bounded by \( \left\| \mathrm {J}_\lambda \right\| _{} \le 1/\lambda .\)
The infinitesimal operator includes somehow the boundary or exterior conditions, and we will call it \(-A\) rather that \(\mathrm {L}\) to avoid confusion so that problem is the ODE
Since \({\mathcal {G}}\) is injective, we can define
This is to say that Au is the unique element \(f \in L^1 (\Omega , \delta ^\gamma )\) such that \(u = -{\mathcal {G}}[f]\). This is operator is linear and possibly unbounded. Due to the characterisation given by the weak-dual formulation
we know that this operator is closed, i.e. if \(u_n \rightarrow u\) and \(Au_n \rightarrow v\) in \(L^1 (\Omega , \delta ^\gamma )\), then \(v = A u\). Since \(\varphi _k \in D(A)\), we know that \(\overline{D(A)} = L^1 (\Omega , \delta ^\gamma )\).
Remark 3.6
Notice that if \(u \in {\mathcal {G}}(L^2 (\Omega ))\) then
The second hypothesis of the Hille–Yosida theorem is that for every \(\lambda > 0\) the resolvent \(\mathrm {J}_\lambda = ( \lambda I - A)^{-1}\) is a bounded linear operator such that
for some norm of \(L^1 (\Omega , \delta ^\gamma )\). Notice that
Due to (2.3), following [19, Theorem 4.1 and Theorem 4.2], there exists a unique solution and \( |u| \le {\mathcal {G}}(|f|)\). Therefore, there the resolvent is well defined \(\mathrm {J}_\lambda : L^1 (\Omega , \delta ^\gamma ) \rightarrow L^1 (\Omega , \delta ^\gamma )\). Furthermore, splitting into positive and negative parts and testing each against the first eigenfunction we have that
Since \(\lambda _1 > 0\), the resolvent is contracting in the equivalent norm of \(L^1 (\Omega ,\delta ^\gamma )\) given by \(\Vert u \Vert = \int _\Omega |u| \varphi _1\).
Proposition 3.7
The family \({\mathcal {S}}(t)\) defined as the unique extension of (3.1) is a \(C_0\) semigroup in \(L^1 (\Omega , \delta ^\gamma )\).
Proof
Through the Hille–Yosida theorem, there exists a \(C_0\) semigroup \({\mathcal {S}}_1(t)\) associated to A. For \(u_0 = \sum _{m=1}^M c_k \varphi _k\) the solution is classical and defined by
Since the set \(\{\sum _{m=1}^M c_k \varphi _k : M \in {\mathbb {N}}, c_k \in {\mathbb {R}}\}\) is dense in \(L^2 (\Omega )\), we have \({\mathcal {S}}_1 (t) = {\mathcal {S}}(t)\) on \(L^2 (\Omega )\). This completes the proof. \(\square \)
We conclude this section with a proof of the decay of the weighted norm.
Proposition 3.8
Let \( u_0 \in L^1 (\Omega , \delta ^\gamma )\). Then
Proof
Let \(0 \le u_0 \in L^2 (\Omega )\). Then
If \(u_0 \in L^2 (\Omega )\) changes sign, we apply (3.8) to show that
Since \(\varphi _1 \asymp \delta ^\gamma \), the result is proven in this case. Any \(u_0 \in L^1 (\Omega , \delta ^\gamma )\) can be approximated by a sequence \(u_{0,k} \in L^2 (\Omega )\). Since \({\mathcal {S}}(t)\) is continuous in \(L^1 (\Omega , \delta ^\gamma )\), we conclude the result. \(\square \)
3.6 Duhamel’s formula
In the setting of \(u_0=0\), \(f\ne 0\), \(h=0\), we can use the classical formula by Duhamel to solve the problem with a forcing term:
or more explicitly,
Due to the admissible data for the semigroup it is natural to request that \(f(t, \cdot ) \in L^1 (\Omega , \delta ^\gamma )\). It suffices that \(f \in L^1(0,T; L^1 (\Omega , \delta ^\gamma ))\). We provide now some immediate estimates,
Hence,
We will develop a more detailed theory in Sect. 7. Note that no (singular) boundary data are considered in this section.
4 Introduction to singular boundary data
We are ready to address the evolution problem involving nontrivial boundary data.
4.1 Review of the elliptic theory
A detailed analysis of the kernel done in [4] showed that \({\mathcal {G}}\) is defined in \(L^1 (\Omega , \delta ^\gamma )\) but cannot be extended to a larger set of functions in a reasonable way. Due to (H\(_2\)), we know that if \(\psi \in \delta ^\gamma L^\infty (\Omega )\) and \(\varphi = {\mathcal {G}}[\psi ]\), then the \(\gamma \)-normal derivative
exists for each \(\zeta \in \partial \Omega \) and can be taken uniformly in \(\zeta \). In [4], under the additional assumption that for every \(y \in \Omega \) and \(\zeta \in \Omega \) there exists a limit
the authors showed that the problem
has a unique solution in the sense that
which we will denote by \(v = {\mathcal {M}}[h]\). Since \(\mathrm {D}_\gamma {\mathcal {G}}[\psi ]\in L^\infty (\partial \Omega )\) due to (H\(_2\)), this equation is well posed if \(h \in L^1 (\partial \Omega )\). The function \(u^\star \) appearing in (1.5) is precisely
If in addition \(h \in C(\partial \Omega )\), the authors prove that \(\mathrm {E}[v] = h\) is satisfied in the pointwise sense. These solutions can be obtained from the “usual” elliptic problem, by considering a sequence
for \(f_m\) concentrating towards the boundary in the form
where \(A_m\) is the set of points at distance between 1/m and 2/m from \(\partial \Omega \), and \(P_{\partial \Omega }\) is the orthogonal projection on \(\partial \Omega \) given by the tubular neighbourhood problem. The idea is to prove uniform integrability of the sequence \(v_m = {\mathcal {G}}[f_m]\) against test functions, and pass to the limit in the weak-dual formulation
As \(m \rightarrow +\infty \) we have formally that \(\mathrm {L}[v] = 0\), and rigorously that
Letting \(\varphi = {\mathcal {G}}[\psi ]\) this weak formulation is equivalent to the existence of an integration-by-parts formula satisfied by functions with zero exterior condition (if applicable),
This kind of integration-by-parts formula was known for model operators in [1,2,3].
Passing to the limit in (H\(_1\)), we have the estimate
Then, for any \(\psi \in L^\infty _c (\Omega )\) there exists \(\mathrm {D}_\gamma [{\mathcal {G}}[\psi ]]\) given by
From here on, we simply denote this by \(\mathrm {D}_\gamma {\mathcal {G}}[\psi ]\). Applying Fubini’s theorem in (4.1) we deduce that
Again, this kind of representation was known for some of the examples, see [1,2,3]. Note, in particular, that from (4.3) and the homogeneity \(n-1\) of the surface measure on \(\partial \Omega \), it is not difficult to recover that
Notice that the exponents involved in \(\mathrm {D}_\gamma {\mathbb {G}}\) and \(u^\star \) are related by the numerical relation:
4.2 Intuition for the parabolic problem
As long as the limit
exists uniformly in \(\delta ^\gamma C({{\overline{\Omega }}})\), for any weighted measure data
we can write
Due to (H\(_3\)), we know that \({\mathbb {S}}\ge 0\) and hence \(\mathrm {D}_\gamma {\mathbb {S}}\ge 0\). Therefore
Remark 4.1
In view of (3.4) we can formally write
The convergence of this series can be justified by the polynomial growth on the eigenfunctions together with their \(\gamma \)-normal derivatives (see (6.4), as well as the one-sided Weyl’s law presented in Theorem 5.1.
We can repeat this general scheme, and construct a boundary singular solution when \(0\ne h\in C(\partial \Omega )\). Moreover, we see that a boundary Duhamel-type formula holds, see (4.8). For more general boundary data, we will use the weak-dual formulation. Define the sequence of compactly supported functions that concentrates towards the boundary data,
Applying Duhamel’s formula for \(f_j\) we have
If the right hand side has a limit as \(j\rightarrow \infty \), we venture to speculate that it is precisely \({\mathcal {H}}[0,0,h]\), i.e.
For time-independent boundary data, we have
Remark 4.2
Let \(h(t,x)\equiv h(x)\) be a given boundary datum. We point out several facts which we write in formal terms:
- 1.:
-
The stationary function \({\mathcal {M}}[h](x)\) solves the initial-boundary problem with \(u_0 = {\mathcal {M}}[h](x)\) and boundary data h, i.e.
$$\begin{aligned} {\mathcal {H}}\Big [{\mathcal {M}}[h],0,h \Big ](t,x) = {\mathcal {M}}[h](x) \qquad \forall x\in \Omega ,\,t>0. \end{aligned}$$(4.9)Indeed, using formally the representation of the kernels we have
$$\begin{aligned} \begin{aligned} {\mathcal {M}}[h]&=\sum _{m=1}^{\infty } \dfrac{1}{\lambda _m} \left( \int _{\partial \Omega } \mathrm {D}_\gamma \varphi _m(\zeta )h(\zeta ) \mathop {}\!\mathrm {d}\zeta \right) \varphi _m(x). \end{aligned} \end{aligned}$$whereas
$$\begin{aligned} \begin{aligned} {\mathcal {H}}[0,0,h](t,x)&=\int _{0}^{t} \int _{\partial \Omega } \sum _{m=1}^{\infty } e^{-\lambda _m(t-\sigma )} \mathrm {D}_\gamma \varphi _m(\zeta ) \varphi _m(x) h(\zeta ) \mathop {}\!\mathrm {d}\zeta \mathop {}\!\mathrm {d}\sigma \\&=\sum _{m=1}^{\infty } \dfrac{1-e^{-\lambda _m t}}{\lambda _m} \left( \int _{\partial \Omega } \mathrm {D}_\gamma \varphi _m(\zeta )h(\zeta ) \mathop {}\!\mathrm {d}\zeta \right) \varphi _m (x)\\ {\mathcal {H}}[{\mathcal {M}}[h],0,0](t,x)&= \int _{\Omega } \sum _{m=1}^{\infty } e^{-\lambda _m t} \varphi _m(x) \varphi _m(y) \sum _{\ell =1}^{\infty } \dfrac{1}{\lambda _\ell } \varphi _\ell (x) \left( \int _{\partial \Omega } \mathrm {D}_\gamma \varphi _\ell (\zeta )h(\zeta ) \mathop {}\!\mathrm {d}\zeta \right) \mathop {}\!\mathrm {d}x\\&=\sum _{m=1}^{\infty } \dfrac{e^{-\lambda _m t}}{\lambda _m} \left( \int _{\partial \Omega } \mathrm {D}_\gamma \varphi _m(\zeta )h(\zeta ) \mathop {}\!\mathrm {d}\zeta \right) \varphi _m(x). \end{aligned} \end{aligned}$$The equality (4.9) will be rigorously proved once we establish uniqueness of solutions.
- 2.:
-
As we will show below, \({\mathcal {H}}[ {\mathcal {M}}[h] , 0 , 0] (t,x) = {\mathcal {S}}(t) [{\mathcal {M}}[h]] \le C \delta ^\gamma (x)\), and hence
$$\begin{aligned} \mathrm {E}\Big [{\mathcal {H}}[0,0,h] (t, \cdot ) \Big ] (x) = h(x), \qquad \forall t > 0. \end{aligned}$$ - 3.:
-
In particular, we have \({\mathcal {H}}[u^\star ,0,1](t,x) \equiv u^\star \), and \(\mathrm {E}{\mathcal {H}}[0,0,1]=\mathrm {E}{\mathcal {H}}[u^\star ,0,1]\equiv 1\).
- 4.:
-
Notice that the deduction above formally implies that, as \(x \rightarrow \eta \in \partial \Omega \),
$$\begin{aligned} \frac{1}{u^\star (x)}\int _0^t \mathrm {D}_\gamma {\mathbb {S}}(\sigma , \zeta , x) \mathop {}\!\mathrm {d}\sigma \rightarrow \delta _\eta (\zeta ). \end{aligned}$$Since we know formally this is true for the Green kernel
$$\begin{aligned} \frac{1}{u^\star (x)}\int _0^\infty \mathrm {D}_\gamma {\mathbb {S}}(\sigma , \zeta , x) \mathop {}\!\mathrm {d}\sigma = \frac{\mathrm {D}_\gamma {\mathbb {G}}(\zeta ,x)}{u^\star (x)} = \frac{{\mathbb {M}}(x, \zeta )}{u^\star (x)}\rightarrow \delta _\eta (\zeta ), \end{aligned}$$we only would need to show that for any \(t > 0\) we have that
$$\begin{aligned} \frac{1}{u^\star (x)}\int _t^\infty {\mathbb {S}}(\sigma , \zeta , x) \mathop {}\!\mathrm {d}\sigma \rightarrow 0. \end{aligned}$$However, this is not the approach we will take. Instead, we will study the boundary behaviors through a weak formulation in Sect. 7.
4.3 Boundary estimates
The authors of [4] prove some boundary estimates of the type
The lower bound \(\beta >-\gamma -1\) of the range is to guarantee that \(\delta ^\beta \delta ^\gamma \in L^1\). As \(\beta \rightarrow -\gamma - 1\) we recover \({\mathcal {G}}[\delta ^\beta ] \sim u^\star \in L^1 (\Omega , \delta ^\gamma )\). Since, it is easy to check similarly to Step 1 in the proof of Theorem 9.1 that \({\mathcal {G}}[f] = {\mathcal {H}}[ {\mathcal {G}}[f], f, 0]\), we have that
As we will show in Sect. 6, \({\mathcal {S}}(t) [\delta ^\beta ] \le C \delta ^\gamma \) for \(t > 0\), the range of exponents of data f and solutions for the parabolic problem seems to coincide with the one in the elliptic theory. This formalises the intuition of Remark 4.2.
5 One-sided Weyl’s law
To formalise the intuition in Sect. 4.2, we first prove a result on the growth of eigenvalues. In [8], by bounding the Green’s function with the Riesz potential in the dual setting, the authors show that our general family of operators satisfies a Sobolev inequality
The constant \(C_S\) is usually called the Sobolev constant of \(\mathrm {L}\). This result is shown in [8, Theorem 7.5] under our assumptions with exponent \(\alpha = 2^\star = \tfrac{2n}{n-2s} > 2\). Notice that the right-hand side is the energy given equivalently by \( \left( \int _\Omega u \mathrm {L}u \right) ^{\frac{1}{2}} = \Vert \mathrm {L}^{\frac{1}{2}} u \Vert _{L^2 (\Omega )}\) for any \(u \in C_c^\infty (\Omega )\).
In the book by Davies [15] the existence of this kind of Sobolev inequality is directly linked with the integrability of the heat kernel over large times. Our approach here will be slightly different.
Theorem 5.1
Assume (H\(_1\)), (H\(_2\)) and (H\(_3\)). Then there exists \(c > 0\) depending only on \(n,s,|\Omega |\) and the Sobolev constant of \(\mathrm {L}\) on \(\Omega \) such that
Remark 5.2
A stronger form of Weyl’s law of the form
holds true for the SFL (since it is a direct consequence of the classical Weyl’s law) and for the RFL as was shown already by Blumenthal and Getoor in 1959 [5]. A short proof was recently found by Geisinger [18], see also [17]. Using pseudodifferential methods, Grubb [20] showed Weyl’s law for general RFL-type operators. In contrast, we have not found any such result in the literature for the CFL. Without assuming that there exists a heat kernel, or that it is smooth, our argument is a generalisation of the one in [13] (see also [23]) for the Laplace–Beltrami operator on manifolds.
Lemma 5.3
Assume:
- 1.:
-
\({\mathcal {G}}: L^2 (\Omega ) \rightarrow L^2 (\Omega )\) is compact,
- 2.:
-
The heat semigroup is submarkovian in the sense of (H\(_3\)),
- 3.:
-
The eigenfunctions are continuous up to the boundary, i.e. \(\varphi _k \in C({{\bar{\Omega }}})\),
- 4.:
-
A Sobolev inequality (S) holds for \(\mathrm {L}\) for some exponent \(\alpha >2\).
Then, for any \(k\in {\mathbb {N}}\), we have that
Proof
Take \(u_0 \in L^2\) such that \(\Vert u_0 \Vert _{L^1} \le 1\). Let \(u (t, x) = {\mathcal {S}}(t)[u_0](x)\), so that by (3.9), we have that
Due to the eigen-decomposition, we have that
Using Hölder inequality (or equivalently, the interpolation inequality),
Thus
and, integrating,
Let us fix \(y \in \Omega \) and \(t > 0\). Let us take the sequence of initial data
We have that \(\Vert u_{0,j} \Vert _{L^1} \le 1\) and \(\Vert u_{0,j} \Vert _{L^2} = |B_{\frac{1}{j}}|^{-\frac{1}{2}} \rightarrow \infty \). Therefore,
Therefore, the sequence \({\mathcal {S}}(t)[u_{0,k}]\) as a subsequence converging weakly in \(L^2 (\Omega )\).
Let \(K(t,\cdot ,y) \in L^2 (\Omega )\) be its limit. Since \({\mathcal {S}}(t)\) is self-adjoint
Since \(\varphi _k\) is continuous in x, passing to the limit
Thus, the weak limit is unique and the whole sequence converges weakly. Due to the weak lower semicontinuity of the norm, we can pass to the limit in (5.4)
On the other hand, since \(K(t, \cdot , y) \in L^2(\Omega )\) we have that
Thus, this series of non-negative functions is uniformly summable due to the estimate. Integrating in y
Therefore, we can estimate
Letting \(\lambda _k t = \frac{\alpha }{\alpha -2}\) we recover
Finally, (5.3) follows. \(\square \)
6 Existence and estimates of the heat kernel
Theorem 6.1
Assume (H\(_1\)), (H\(_2\)) and (H\(_3\)). Then \({\mathcal {S}}(t)\) is ultracontractive and regularises up to the boundary in the sense that
and
are continuous for all \(t>0\). Moreover, the heat kernel \({\mathbb {S}}(t,x,y)={\mathcal {S}}(t)[\delta _y](x)\) as well its \(\gamma \)-normal derivative \(\mathrm {D}_\gamma {\mathbb {S}}(t,x,y)\) exist pointwise in \((0,+\infty )\times \Omega \times \Omega \). Furthermore, for \(t>0\), \(x,y\in \Omega \) and \(\zeta \in \partial \Omega \) we have
In the literature, the reader will find many equivalent ways of proving this result. We list a few below.
Lemma 6.2
Assume (H\(_1\)) and (H\(_2\)). Then, the following are equivalent:
- 1.:
-
We have (6.1).
- 2.:
-
We have (6.2).
- 3.:
-
We have that \({\mathcal {S}}(t)\) is given by the integral operator in (3.3) with kernel \({\mathbb {S}}(t,x,y) = {\mathcal {S}}(t) [\delta _y] (x)\) and is intrinsic ultracontractive: for every \(t>0\), there exists a constant \(C (t) > 0\) such that
$$\begin{aligned} {\mathbb {S}}(t,x,y) \le C(t) \delta (x)^\gamma \delta (y)^\gamma . \end{aligned}$$(6.3) - 4.:
-
For every \(t>0\) we have that
$$\begin{aligned} \sum _{k=1}^\infty e^{- 2 \lambda _k t} = \int _\Omega \int _\Omega {\mathbb {S}}(t,x,y)^2 \mathop {}\!\mathrm {d}y \mathop {}\!\mathrm {d}x < + \infty . \end{aligned}$$ - 5.:
-
For every \(t, w > 0\) we have that
$$\begin{aligned} \sum _{k=1}^\infty e^{- \lambda _k t} \lambda _k^w < +\infty . \end{aligned}$$
If any of the above holds, for \(t_0 > 0\) fixed, as \(m \rightarrow +\infty \) we have that
Proof of Theorem 6.1 assuming Lemma 6.2
Properties (6.1) and (6.2) are immediate consequences of Theorem 5.1, as Item 5 in Lemma 6.2 holds true. As a result, \({\mathbb {S}}(t,\cdot ,y)={\mathcal {S}}(t)[\delta _y]\) exists in \(\delta ^\gamma C({\overline{\Omega }})\) and thus the limit (4.4) is well-defined and uniform in \(\zeta \in \partial \Omega \) for every t fixed since
The remaining properties follow from a concentration argument. We have that
Due to (3.9) we have that
Due to (H\(_3\)) and (6.3) we have that
Dividing the inequalities by \(\delta (x)^\gamma \) and passing to the limit \(x\rightarrow \zeta \), we conclude that
\(\square \)
Remark 6.3
We point out several facts:
- 1.:
-
Without loss of generality, we take in (6.3) the optimal C(t), i.e.
$$\begin{aligned} C(t) =\sup _{x,y\in \Omega } \dfrac{{\mathbb {S}}(t,x,y)}{\delta (x)^\gamma \delta (y)^\gamma } =\sup _{y\in \Omega } \dfrac{ \left\| {\mathcal {S}}(t)[\delta _y]/\delta ^\gamma \right\| _{C({{\overline{\Omega }}})} }{ \left\| \delta _y \right\| _{M(\Omega ,\delta ^\gamma )} } \le \left\| {\mathcal {S}}(t) \right\| _{ {\mathcal {L}}( M(\Omega ,\delta ^\gamma ), \delta ^\gamma C({{\overline{\Omega }}}) ) }. \end{aligned}$$We point out that \(\left\| \delta _y\right\| _{M(\Omega ,\delta ^\gamma )} = \delta (y)^\gamma \).
- 2.:
-
From the proof and Item 1, we recover that
$$\begin{aligned} C(t)&\le \Vert {\mathcal {S}}(t) \Vert _{{\mathcal {L}} (M(\Omega , \delta ^\gamma ), \delta ^\gamma C({{\overline{\Omega }}}) )} \\&\le \Vert {\mathcal {S}}(t/2) \Vert _{{\mathcal {L}} (L^2 (\Omega ), \delta ^\gamma C({{\overline{\Omega }}}) )} \Vert {\mathcal {S}}(t/2) \Vert _{{\mathcal {L}} ( M(\Omega , \delta ^\gamma ) , L^2 (\Omega )) } \\&= \Vert {\mathcal {S}}(t/2) \Vert _{{\mathcal {L}} (L^2 (\Omega ), \delta ^\gamma C({{\overline{\Omega }}}) )}^2 \\&\le C \left( \sum _{k=1}^\infty e^{-\lambda _k t/2} \lambda _k^{w} \right) ^{2}, \end{aligned}$$where w is such that \({\mathcal {G}}^w : L^2 (\Omega ) \rightarrow \delta ^\gamma C({{\overline{\Omega }}})\). Due to (H\(_2\)) we have that \(w \le w' + 1\) where \({\mathcal {G}}^{w'} : L^2 (\Omega ) \rightarrow \delta ^\gamma L^\infty (\Omega )\) and \(w'\) can be recovered from (H\(_1\)). With an estimate of this value w and the one-sided Weyl’s law, we could recover an integrability estimate of C(t).
- 3.:
-
Using (3.2) with \(|B_{\frac{1}{j}}|^{-1} \chi _{y + B_{\frac{1}{j}}} \in L^2(\Omega )\),
$$\begin{aligned} \begin{aligned} \int _{0}^{\infty } {\mathcal {S}}(t) \left[ |B_{\frac{1}{j}}|^{-1} \chi _{y + B_{\frac{1}{j}}} \right] (x) \mathop {}\!\mathrm {d}t = {\mathcal {G}}\left[ |B_{\frac{1}{j}}|^{-1} \chi _{y + B_{\frac{1}{j}}} \right] (x) .\\ \end{aligned} \end{aligned}$$Since the right hand side is bounded for any \( x\ne y\) in \(\Omega \) and j large enough, by Dominated Convergence Theorem, we can pass to the limit \(j\rightarrow \infty \) to obtain
$$\begin{aligned} {\mathbb {G}}(x,y)=\int _0^\infty {\mathbb {S}}(t,x,y)\mathop {}\!\mathrm {d}t. \end{aligned}$$ - 4.:
-
Besides this eigenvalue theory, many results on regularising properties of semigroups in the linear and nonlinear setting are known. We point the reader to the exposition [14].
- 5.:
-
Since \({\mathcal {S}}(0) = I\) which cannot be written as integration with a bounded kernel, we know that \(C(t) \rightarrow +\infty \) as \(t \rightarrow 0\).
- 6.:
-
If the energy spaces are embedded into higher regularity spaces, i. e., there exists \(w,k\in {\mathbb {N}}\) such that \(H_\mathrm {L}^{2w}(\Omega ) \hookrightarrow C^k(\Omega )\), then this translates into regularity of \({\mathcal {S}}(t)\), \(t>0\). Indeed, we have that \({\mathcal {G}}^w: L^2(\Omega ) \rightarrow H_\mathrm {L}^{2w}(\Omega ) \hookrightarrow C^k(\Omega )\), and the implication Item 5 \(\implies \) Item 1 in the proof shows that \({\mathcal {S}}(t):M(\Omega ,\delta ^\gamma ) \longrightarrow C^k(\Omega ) \cap \delta ^\gamma C({\overline{\Omega }})\).
Proof of Lemma 6.2
Item 1 \(\implies \) Item 2 Since \({\mathcal {S}}(t)\) is self-adjoint, (6.1) implies by duality that
Furthermore, the bootstrap satisfies \({\mathcal {S}}(t) = {\mathcal {S}}(t/2) {\mathcal {S}}(t/2): M(\Omega , \delta ^\gamma ) \rightarrow L^2 (\Omega ) \rightarrow \delta ^\gamma C({{\overline{\Omega }}})\).
Item 2 \(\implies \) Item 3 In particular we can recover the kernel as
where \(\delta _y\) is the Dirac delta at y. Furthermore
Item 3 \(\implies \) Item 4 Let \(t_0 > 0, x_0 \in \Omega \) be fixed. The function \({\mathbb {S}}(t_0,x_0,\cdot ) \in L^\infty (\Omega ) \subset L^2 (\Omega )\). Therefore, for a.e. \(y \in \Omega \),
Notice that
Furthermore, the series converges in \(L^2 (\Omega )\) so
Computing the norm of the finite sums and passing to the limit
Let us look at the sequence of functions
The sequence \(u_m\) is monotone non-decreasing sequence of non-negative functions such that \(u_m \rightarrow u\) pointwise. By the Monotone Convergence Theorem
Since \({\mathbb {S}}(t_0,\cdot ,\cdot )\) is bounded on \(\Omega \times \Omega \), the infinite series converges.
Item 4 \(\implies \) Item 5 We simply need to point that, for every \(t, w > 0\), there exists an \({{\underline{\lambda }}}(t,w)\) such that, if \(\lambda \ge {{\underline{\lambda }}}(t,w)\)
Therefore
Since the sequence of eigenvalues diverges, the first sum has a finite number of elements. The second term is finite by Item 4.
Item 5 \(\implies \) Item 1 From the elliptic theory (see [4, 9]) we know by (H\(_1\)) and (H\(_2\)) that there exists \(w\in {\mathbb {N}}\) such that \({\mathcal {G}}^w : L^2 (\Omega ) \rightarrow \delta ^\gamma C({{\overline{\Omega }}})\). Since, for an eigenfunction \(\varphi _k = \lambda _k^w {\mathcal {G}}^w [\varphi _k]\) we have that
for C independent of m. This is the philosophy behind the proof of [16, Proposition 3.1] (written there for the RFL). Following the same idea as [16, Theorem1.1] we can apply (2.2) to deduce
By the assumption of Item 5, the eigenvalues grow so fast that the last series is summable. Since
is a dense set in \(L^2 (\Omega )\) such that \({\mathcal {S}}(t) [u_0] \in \delta ^\gamma C({{\overline{\Omega }}})\), the inequality above guaranties that \({\mathcal {S}}(t)[u_0] / \delta ^\gamma \) can be approximated uniformly by continuous functions, and is, therefore, continuous. \(\square \)
Remark 6.4
Notice that this argument is valid as long as \({\mathbb {S}}(t,x, \cdot ) \in L^2(\Omega )\), and can be extended to \({\mathbb {G}}\) so long as \({\mathbb {G}}(x, \cdot ) \in L^2 (\Omega )\). Due to (H\(_1\)) this would require that \(n<4s\).
To conclude this section we state some estimates of the heat kernel as well as its \(\gamma \)-normal derivative in the general setting.
Theorem 6.5
Assume (H\(_1\)), (H\(_2\)) and (H\(_3\)). Then the heat kernel \({\mathbb {S}}(t,x,y)\) satisfies the following estimates.
- 1.:
-
For all \(t>0\) and \(x,y\in \Omega \),
$$\begin{aligned} 0\le {\mathbb {S}}(t,x,y) \le Ct^{-\frac{n}{2s}}. \end{aligned}$$ - 2.:
-
If \(\gamma <2s\), then for all \(t>0\), \(x,y\in \Omega \) and \(\zeta \in \partial \Omega \),
$$\begin{aligned} 0\le & {} {\mathbb {S}}(t,x,y) \le Ct^{-\frac{n}{2s-\gamma }} \delta (x)^\gamma \delta (y)^\gamma , \\ 0\le & {} \mathrm {D}_\gamma {\mathbb {S}}(t,\zeta ,y) \le Ct^{-\frac{n}{2s-\gamma }} \delta (y)^\gamma . \end{aligned}$$ - 3.:
-
For any \(\varepsilon >0\) there exists a large \(T>0\) such that for all \(t\ge T\), \(x,y\in \Omega \) and \(\zeta \in \partial \Omega \),
$$\begin{aligned}&(1-\varepsilon ) e^{-\lambda _1 t} \varphi _1(x) \varphi _1(y) \le {\mathbb {S}}(t,x,y) \le (1+\varepsilon ) e^{-\lambda _1 t} \varphi _1(x) \varphi _1(y),\nonumber \\&(1-\varepsilon ) e^{-\lambda _1 t} \mathrm {D}_\gamma \varphi _1(\zeta ) \varphi _1(y) \le \mathrm {D}_\gamma {\mathbb {S}}(t,\zeta ,y) \le (1+\varepsilon ) e^{-\lambda _1 t} \mathrm {D}_\gamma \varphi _1(\zeta ) \varphi _1(y).\qquad \quad \end{aligned}$$(6.5)
Proof
- 1.:
-
Recall (S),
$$\begin{aligned} C_S\left\| u\right\| _{L^{2^*}(\Omega )}^2 \le \int _{\Omega } u\mathrm {L}u \mathop {}\!\mathrm {d}x, \qquad \forall u\in H^1_\mathrm {L}(\Omega ), \end{aligned}$$for \(2^*=\frac{2n}{n-2s}=\frac{2(n/s)}{(n/s)-2}\). Applying [15, Theorem 2.4.2] (with \(\mu =\frac{n}{s}>2\)), the Sobolev inequality is equivalent to an \(L^2 \rightarrow L^\infty \) bound of the form
$$\begin{aligned} \left\| {\mathcal {S}}(t)[u_0]\right\| _{L^\infty (\Omega )} \le Ct^{-\frac{n}{4s}} \left\| u_0\right\| _{L^2(\Omega )}, \qquad \forall u_0\in L^2(\Omega ). \end{aligned}$$Since \({\mathcal {S}}(t)\) is self-adjoint on \(L^1\cap L^2(\Omega )\), we also have the duality bound from \(L^1 \rightarrow L^2\),
$$\begin{aligned} \begin{aligned} \left\| {\mathcal {S}}(t)[u_0]\right\| _{L^2(\Omega )}&=\sup _{ \left\| v_0\right\| _{L^2(\Omega )}\le 1 } \left\langle u_0,{\mathcal {S}}(t)[v_0]\right\rangle \le \sup _{ \left\| v_0\right\| _{L^2(\Omega )}\le 1 } \left\| u_0\right\| _{L^1(\Omega )} \bigl ( Ct^{-\frac{n}{4s}} \left\| v_0\right\| _{L^2(\Omega )} \bigr )\\&\le Ct^{-\frac{n}{4s}} \left\| u_0\right\| _{L^1(\Omega )}, \end{aligned} \end{aligned}$$for all \(u_0\in L^1(\Omega )\). Factorizing \({\mathcal {S}}(t)={\mathcal {S}}(\frac{t}{2}){\mathcal {S}}(\frac{t}{2})\),
$$\begin{aligned} \left\| {\mathcal {S}}(t)[u_0] \right\| _{L^\infty (\Omega )} \le Ct^{-\frac{n}{4s}} \left\| {\mathcal {S}}(\tfrac{t}{2})[u_0] \right\| _{L^2(\Omega )} \le Ct^{-\frac{n}{2s}} \left\| u_0\right\| _{L^1(\Omega )}, \qquad \forall u_0\in L^1(\Omega ). \end{aligned}$$Now we consider \(u_0=u_j\) for the sequence \(u_j=|B_{\frac{1}{j}}|^{-1}\chi _{y + B_{\frac{1}{j}}}\) which satisfies \(u_j\ge 0\), \(\left\| u_j\right\| _{L^1(\Omega )}=1\) and \(u_j\rightarrow \delta _y\), we get
$$\begin{aligned} 0\le {\mathbb {S}}(t,x,y) \le Ct^{-\frac{n}{2s}}, \qquad \forall t>0,\,x,y\in \Omega . \end{aligned}$$ - 2.:
-
Observing from [15, Lemma 4.2.2] and (6.3) that the heat semigroup for the conjugate operator \({\overline{\mathrm {L}}}=\varphi _1\mathrm {L}(\varphi _1^{-1}\cdot )\) is ultracontractive with kernel \({\overline{{\mathbb {S}}}}(t,x,y)=\varphi _1(x)^{-1}{\mathbb {S}}(t,x,y) \varphi _1(y)^{-1}\), it suffices to establish a Sobolev inequality for \({\overline{\mathrm {L}}}\) similarly to (S). Notice that \({{\overline{\varphi }}}_k = \varphi _1 \varphi _k\) are eigenfunctions of this operator, associated to the eigenvalues \(\lambda _k\) of \(\mathrm {L}\). These functions \(\varphi _k\) form a basis of \(\varphi _1 L^2 (\Omega )\). Hence, the associated Dirichlet problem has a well-defined Green kernel
$$\begin{aligned} {{\overline{{\mathcal {G}}}}} [f] = \varphi _1 {\mathcal {G}}\left[ \frac{f}{\varphi _1} \right] , \qquad \forall f \in \varphi _1 L^2 (\Omega ). \end{aligned}$$This kernel can be suitably extended. In fact, for any \(g\in C_c^\infty (\Omega )\), using (H\(_1\) and Hardy–Littlewood–Sobolev inequality we have
$$\begin{aligned}\begin{aligned} \left( \int _{\Omega } g {{\overline{{\mathcal {G}}}}} [g] \mathop {}\!\mathrm {d}x \right) ^{\frac{1}{2}}&= \left( \int _{\Omega } g \varphi _1 {\mathcal {G}}[\varphi _1^{-1} g] \mathop {}\!\mathrm {d}x \right) ^{\frac{1}{2}}\\&\le C\left( \int _{\Omega } g(x)\varphi _1(x) \int _{\Omega } \dfrac{ \varphi _1(y) }{ |x-y|^{n-2s+\gamma } } \varphi _1(y)^{-1}g(y) \mathop {}\!\mathrm {d}y \mathop {}\!\mathrm {d}x \right) ^{\frac{1}{2}}\\&\le C\left\| \varphi _1\right\| _{L^\infty (\Omega )}^{\frac{1}{2}} \left( \int _{\Omega }\int _{\Omega } \dfrac{ g(x)g(y) }{ |x-y|^{n-2s+\gamma } } \mathop {}\!\mathrm {d}y\mathop {}\!\mathrm {d}x \right) ^{\frac{1}{2}}\\&\le C\left\| \varphi _1\right\| _{L^\infty (\Omega )}^{\frac{1}{2}} \left( \int _{\Omega } \left| I_{s-\gamma /2}[g_0] \right|^2 \mathop {}\!\mathrm {d}x \right) ^{\frac{1}{2}}\\&\le C\left\| \varphi _1\right\| _{L^\infty (\Omega )}^{\frac{1}{2}} \left\| g\right\| _{L^{\frac{2n}{n+2s-\gamma }}}, \end{aligned} \end{aligned}$$where \(g_0\) denotes the extension of g by 0 onto \({\mathbb {R}}^n\) and \(I_{s-\gamma /2}\) denotes the Riesz potential of order \(s-\gamma /2>0\). Now the duality argument in [8, Section 7.8] implies that (S) holds for \({\overline{\mathrm {L}}}\) with \(\alpha =\bigl (\frac{2n}{n+2s-\gamma }\bigr )' =\frac{2n}{n-2s+\gamma }=\frac{2(\frac{n}{s-\gamma /2})}{(\frac{n}{s-\gamma /2})-2}\). Then, similarly to Item 1, [15, Theorem 2.4.2] applies with \(\mu =\frac{n}{s-\gamma /2}>2\) and we conclude that
$$\begin{aligned} 0\le {\overline{{\mathbb {S}}}}(t,x,y) \le Ct^{-\frac{n}{2s-\gamma }}, \end{aligned}$$as desired. The estimate for the \(\gamma \)-normal derivative follows immediately by dividing by \(\delta (x)^\gamma \) and passing to the limit \(x\rightarrow \zeta \).
- 3.:
-
For the last estimate we notice from Theorem 5.1 and (6.4) that
$$\begin{aligned} {\mathbb {S}}(t,x,y) =\sum _{m=1}^{\infty } e^{-\lambda _m t} \varphi _m(x) \varphi _m(y) \end{aligned}$$is absolutely convergent for any \(t > 0\), and
$$\begin{aligned}\begin{aligned} \left| \dfrac{ {\mathbb {S}}(t,x,y) }{ e^{-\lambda _1 t} \varphi _1(x) \varphi _1(y) } -1 \right|&\le \sum _{m=2}^{\infty } e^{(\lambda _1 - \lambda _m)t } \dfrac{\varphi _m(x)}{\varphi _1(x)} \dfrac{\varphi _m(y)}{\varphi _1(y)}\\&\le Ce^{(\lambda _1-\lambda _2)t/2} \sum _{m=2}^{\infty } e^{(\lambda _1 -\lambda _m)t/2} \lambda _m^{2w}\\&\le Ce^{(\lambda _1 -\lambda _2)T/2}, \end{aligned} \end{aligned}$$which can be smaller than \(\varepsilon \) by choosing T large since \(\lambda _1\) is simple. Again, the estimate for \(\mathrm {D}_\gamma {\mathbb {S}}\) is a direct consequence of (6.5).\(\square \)
Remark 6.6
Notice that (6.5) yields that there exists \(T > 0\) and \(C > 0\) such that we have that for \(u_0 \ge 0\)
Hence, if \(0 \le u_0 \notin L^1 (\Omega , \delta ^\gamma )\) then \({\mathcal {S}}(t) [u_0] \equiv +\infty \) for t large enough.
7 A candidate for solution with semigroup representation
The heuristics in Sect. 4.2 suggests that the general form of the solution of (1.1)–(1.4) is given by
We will first study the continuity properties with respect to \(u_0\) and f, and the properties with respect to h will come later (see Sect. 9.3). In some situations we will use the letter \(\phi \) instead of f because in application this continuity result is applied to the test function \(\phi \in L^\infty (0,T;\delta ^\gamma L^\infty (\Omega ))\) in the weak-dual formulation (8.2) below.
7.1 Functional space continuity of \({\mathcal {H}}\) when \(h = 0\)
Theorem 7.1
Assume (H\(_1\)), (H\(_2\)) and (H\(_3\)). Then we have that:
- 1.:
-
\({\mathcal {H}}: L^2 (\Omega ) \times L^2 ((0,T) \times \Omega ) \times \{0\} \longrightarrow L^2 ((0,T) \times \Omega ) ) \) is continuous with estimate
$$\begin{aligned} \Vert {\mathcal {H}}[u_0, f, 0] (t, \cdot ) \Vert _{L^2 (\Omega )}^{2} \le e^{-\lambda _1 t} \Vert u_0\Vert _{L^2 (\Omega )}^{2} + \int _0^t \Vert f (\sigma , \cdot ) \Vert _{L^2 (\Omega )}^{2} \mathop {}\!\mathrm {d}\sigma . \end{aligned}$$If \(u_0, f \ge 0\) then \({\mathcal {H}}[u_0,f,0] \ge 0\).
- 2.:
-
\( {\mathcal {H}}:\left\{ 0\right\} \times \delta ^\gamma L^\infty ((0,T)\times \Omega ) \times \left\{ 0\right\} \longrightarrow \delta ^\gamma L^\infty ((0,T)\times \Omega ) \) is continuous with estimate
$$\begin{aligned} \left\| \dfrac{ {\mathcal {H}}[0,\phi ,0](t,\cdot ) }{ \delta ^\gamma } \right\| _{L^\infty (\Omega )} \le C \int _0^t e^{-\lambda _1 \sigma } \mathop {}\!\mathrm {d}\sigma \left\| \dfrac{\phi }{\delta ^\gamma }\right\| _{L^\infty ((0,T)\times \Omega )}. \end{aligned}$$(7.2)If \(\phi \ge 0\), then \({\mathcal {H}}[0,\phi ,0]\ge 0\).
- 3.:
-
\(\mathrm {D}_\gamma {\mathcal {H}}:\left\{ 0\right\} \times \delta ^\gamma L^\infty ((0,T)\times \Omega ) \times \left\{ 0\right\} \longrightarrow L^\infty ((0,T) \times \partial \Omega )\) is continuous and (4.5) holds. Moreover, there holds the estimate
$$\begin{aligned} \left\| \mathrm {D}_\gamma {\mathcal {H}}[0,\phi ,0](t,\cdot ) \right\| _{L^\infty (\partial \Omega )} \le C \int _0^t e^{-\lambda _1 \sigma } \mathop {}\!\mathrm {d}\sigma \left\| \dfrac{\phi }{\delta ^\gamma }\right\| _{L^\infty ((0,T)\times \Omega )}. \end{aligned}$$(7.3)If \(\phi \ge 0\), then \(\mathrm {D}_\gamma {\mathcal {H}}[0,\phi ,0]\ge 0\).
Example 7.2
It is instructive to notice that when \(\phi (t,x)=\varphi _1(x)\), we have for \(x\in \Omega \) and \(\zeta \in \partial \Omega \),
Proof of Theorem 7.1
Due to the linearity and the non-negativity of the kernels, it suffices to work with \(\phi \ge 0\).
- 1.:
-
The \(L^2\) theory follows directly from the semigroup representation and eigendecomposition.
- 2.:
-
By Duhamel’s formula (3.11) and the fact that \({\mathbb {S}}\ge 0\) (which follows from (H\(_3\)), we have
$$\begin{aligned} \begin{aligned} \dfrac{ {\mathcal {H}}[0,\phi ,0](t,x) }{ \varphi _1(x) }&=\int _0^t\int _{\Omega } \dfrac{ {\mathbb {S}}(\sigma ,x,y) }{ \varphi _1(x) } \phi (t-\sigma ,y) \mathop {}\!\mathrm {d}y\mathop {}\!\mathrm {d}\sigma \\&\le \left\| \dfrac{\phi }{\varphi _1}\right\| _{L^\infty ((0,T)\times \Omega )} \int _0^t\int _{\Omega } \dfrac{ {\mathbb {S}}(\sigma ,x,y) }{ \varphi _1(x) } \varphi _1(y) \mathop {}\!\mathrm {d}y\mathop {}\!\mathrm {d}\sigma \\&= \left\| \dfrac{\phi }{\varphi _1}\right\| _{L^\infty ((0,T)\times \Omega )} \int _0^t e^{-\lambda _1 \sigma } \mathop {}\!\mathrm {d}\sigma . \\ \end{aligned} \end{aligned}$$This proves (7.2).
- 3.:
-
In order to check that \(\mathrm {D}_\gamma \) is well-defined and bounded we fix \(t > 0\) and \(\zeta \in \partial \Omega \) and, for any \(x\in \Omega \), we split
$$\begin{aligned} \frac{{\mathcal {H}}[0,\phi ,0] (t,x)}{\delta (x)^\gamma }&= \int _{\varepsilon }^{t}\int _{\Omega } \dfrac{ {\mathbb {S}}(\sigma ,x,y) }{ \delta (x)^\gamma } \phi (t-\sigma ,y) \mathop {}\!\mathrm {d}y\mathop {}\!\mathrm {d}\sigma \\&\quad +\int _{0}^{\varepsilon }\int _{\Omega } \dfrac{ {\mathbb {S}}(\sigma ,x,y) }{ \delta (x)^\gamma } \phi (t-\sigma ,y) \mathop {}\!\mathrm {d}y\mathop {}\!\mathrm {d}\sigma . \end{aligned}$$The second term is controlled by (7.2) we have that
$$\begin{aligned} \int _{0}^{\varepsilon }\int _{\Omega } \dfrac{ {\mathbb {S}}(\sigma ,x,y) }{ \delta (x)^\gamma } \phi (t-\sigma ,y) \mathop {}\!\mathrm {d}y\mathop {}\!\mathrm {d}\sigma \le C \left\| \dfrac{\phi }{\delta ^\gamma }\right\| _{L^\infty ((0,T)\times \Omega )} \lambda _1^{-1} (1 - \varepsilon ^{-\lambda _1 \varepsilon }) =: \omega (\varepsilon ). \end{aligned}$$Therefore, we have that
$$\begin{aligned} \int _{\varepsilon }^{t}\int _{\Omega } \dfrac{ {\mathbb {S}}(\sigma ,x,y) }{ \delta (x)^\gamma } \phi (t-\sigma ,y) \mathop {}\!\mathrm {d}y\mathop {}\!\mathrm {d}\sigma\le & {} \frac{{\mathcal {H}}[0,\phi ,0] (t,x)}{\delta (x)^\gamma }\\\le & {} \int _{\varepsilon }^{t}\int _{\Omega } \dfrac{ {\mathbb {S}}(\sigma ,x,y) }{ \delta (x)^\gamma } \phi (t-\sigma ,y) \mathop {}\!\mathrm {d}y\mathop {}\!\mathrm {d}\sigma + \omega (\varepsilon ). \end{aligned}$$The first term, on the other hand, admits a limit as \(x \rightarrow \zeta \in \partial \Omega \) in view of (6.1) so
$$\begin{aligned}&\int _{\varepsilon }^{t}\int _{\Omega } \mathrm {D}_\gamma {\mathbb {S}}(\sigma ,x,y) \phi (t-\sigma ,y) \mathop {}\!\mathrm {d}y\mathop {}\!\mathrm {d}\sigma \\&\quad \le \liminf _{x \rightarrow \zeta } \frac{{\mathcal {H}}[0,\phi ,0] (t,x)}{\delta (x)^\gamma } \le \limsup _{x \rightarrow \zeta } \frac{{\mathcal {H}}[0,\phi ,0] (t,x)}{\delta (x)^\gamma } \\&\quad \le \int _{\varepsilon }^{t}\int _{\Omega } \mathrm {D}_\gamma {\mathbb {S}}(\sigma ,x,y) \phi (t-\sigma ,y) \mathop {}\!\mathrm {d}y\mathop {}\!\mathrm {d}\sigma + \omega (\varepsilon ) . \end{aligned}$$As \(\varepsilon \rightarrow 0\) we can apply the monotone convergence theorem to show that the \(\limsup \) and \(\liminf \) coincide, and (7.2) to give an estimate on the \(\limsup \),
$$\begin{aligned} \lim _{x \rightarrow \zeta } \frac{{\mathcal {H}}[0,\phi ,0] (t,x)}{\delta (x)^\gamma }= & {} \int _{0}^{t}\int _{\Omega } \mathrm {D}_\gamma {\mathbb {S}}(\sigma ,x,y) \phi (t-\sigma ,y) \mathop {}\!\mathrm {d}y\mathop {}\!\mathrm {d}\sigma \\\le & {} C \int _{0}^{t} e^{-\lambda _1 \sigma } \mathop {}\!\mathrm {d}\sigma \left\| \dfrac{\phi }{\delta ^\gamma }\right\| _{L^\infty ((0,T)\times \Omega )}. \end{aligned}$$
\(\square \)
7.2 Compactness theory
We introduce a second estimate, that will allow us to pass to the limit
Lemma 7.3
(Space-time uniform integrability) Let \(A \subset \Omega \), \(t_0 \ge 0\) and \(h>0\). Then
In fact, we can take \(\omega _T(h)=Ch^{\frac{1}{2}}\) and \(\omega (|A|)\le C |A|^{\frac{1}{2q}}\) for some \(q > 1\) large. In particular, taking \(A=\Omega \), \(t_0=0\) and \(h=T\),
Proof
First assume \(u_0, f \ge 0\).
Step 1. Time compactness. We take \(\phi (t,x) = \chi _{[t_0,t_0+h]} (t) \varphi _1 (x)\). We can solve directly that
Hence
Step 2. Space compactness. We take \(\phi (t,x) = \chi _A(x)\varphi _1(x)\) in the weak-dual formulation. Applying an argument similar to [4] one can show that, for some \(p>1\) small
Therefore, for some \(q< \infty \) large, \({\mathbb {G}}: \delta ^\gamma L^q (\Omega ) \rightarrow \delta ^\gamma L^\infty (\Omega )\). In particular
Using (H\(_3\)) and the fact that \({\mathbb {G}}(x,y) = \int _0^\infty {\mathbb {S}}(t,x,y) \mathop {}\!\mathrm {d}t\) we have
Thus
Step 3. Space-time compactness. We write
Using the time compactness on the first term we recover and the space compactness on the second, we recover the result.
Step 4. Space-time compactness for signed data. In the general case, we split
and apply Step 3 to each summand. \(\square \)
8 Weak formulation
First, let us do some formal computations, which will made fully rigorous below. Integrating the equation with a test function \(\varphi \in {C^\infty (0,T; C_c^\infty (\Omega ))}\) we have
Integrating by parts in the equation through (4.2) we have
8.1 Weak-dual formulation
Let \(\psi \in L^\infty ((0,T) \times \Omega )\). We define \({{\overline{\varphi }}} :={\mathcal {H}}[0, \phi , 0]\) is a solution of
Then \(\varphi (t,x) = {{\overline{\varphi }}} (T-t, x)\) satisfies
Taking this as a test function we have the formulation
Note that by Theorem 7.1, \({\mathcal {H}}[0,\phi ,0](T,\cdot )\in \delta ^\gamma L^\infty (\Omega )\), \({\mathcal {H}}[0,\phi ,0](T-\cdot ,\cdot )\in \delta ^\gamma L^\infty ((0,T)\times \Omega )\), and also \(\mathrm {D}_\gamma {\mathcal {H}}[0,\phi ,0](T-\cdot ,\cdot )\in L^\infty ((0,T)\times \Omega )\).
8.2 An alternative formulation with \({\mathcal {G}}\)
There is an alternative weak-dual formulation in analogy to the elliptic case. Letting \(\varphi (t,x) = {\mathcal {G}}[\psi (t, \cdot )] (x)\) and \(\psi (T,x) = 0\) we can write
for all \(\psi \in W^{1,\infty }(0,T;\delta ^\gamma L^\infty (\Omega ))\) such that \( \psi (T,\cdot )\equiv 0.\) The two formulations above are related by
Because the test function space is smaller, this formulation is weaker (i. e., less strict) than the previous one.
Theorem 8.1
Let \(u \in L^1 (0,T; L^1 (\Omega , \delta ^\gamma ))\) satisfy (8.2). Then u satisfies (8.3).
Proof
The crux of the proof is to show that if \(\psi \in W^{1,\infty } ( 0,T ; \delta ^\gamma L^\infty ( \Omega ))\) is such that \( \psi (T,\cdot )\equiv 0\), then
is a valid test function in (8.2) and satisfies (8.4). Indeed, since \(\frac{\partial \psi }{\partial t} (t, \cdot ),\psi (t, \cdot ) \in \delta ^\gamma L^\infty (\Omega )\) uniformly in t, so is \(\phi (t,\cdot )\). To show (8.4), we compute
This completes the proof. \(\square \)
Remark 8.2
For the other implication, we would try to construct
However, showing the existence of weak time-derivative is more delicate.
8.3 Uniqueness and estimates of the weak-dual solution
Formulation (8.2) is good for estimates.
Theorem 8.3
Let \(u\in L^1(0,T;L^1(\Omega ,\delta ^\gamma ))\) satisfy (8.2) for \(u_0 \in L^1(\Omega ,\delta ^\gamma )\), \(f\in L^1(0,T;L^1(\Omega ,\delta ^\gamma ))\) and \(h\in L^1((0,T)\times \partial \Omega )\). Then, it holds that
In particular, there exists at most one solution u of (8.2). Moreover, if \(u_0,f,h\ge 0\), then \(u\ge 0\).
Proof
We take \(\phi (t,x) = {{\,\mathrm{sign}\,}}(u(t,x)) \varphi _1(x)\), where we recall that \(\varphi _1 \asymp \delta ^\gamma \). By Theorem 7.1, (8.5) holds for any solution u of (8.2). To prove that non-negativity is preserved, take \(\phi (t,x)={{\,\mathrm{sign}\,}}_-(u(t,x))\). \(\square \)
9 Proof of Theorem 1.1
The aim of this section is to show that the candidate solution \({\mathcal {H}}[u_0,f,h]\) given by (7.1) is in fact the unique solution of the weak-dual formulation (8.2). Since we can write
we will check the the parts separately.
9.1 Theory without singular boundary data: \(h = 0\)
We propose to call that part the standard theory. We have the following result
Theorem 9.1
Let \(f \in L^1 (0,T; L^1 (\Omega , \delta ^\gamma ))\) and \(u_0 \in L^1 (\Omega , \delta ^\gamma )\). Then, \(u = {\mathcal {H}}[u_0,f,0] \in L^1 (0,T;L^1 (\Omega , \delta ^\gamma ) )\) is the unique solution of (8.2). Furthermore, (8.5) holds.
Proof
Step 1. Assume \(u_0 \in L^2 (\Omega )\) and \(f \in L^2 ((0,T) \times \Omega )\).
In this setting can write
where the coefficients \(\left\langle u_0, \varphi _m\right\rangle \) are \(L^2\)-summable and
Since we know there exists a unique solution due to Theorem 8.3, it is enough to show that our candidate satisfies the equation. Applying (7.1) we know that \(u \in L^2 ((0,T)\times \Omega ) = L^2 ((0,T); L^2 (\Omega ))\) and hence it is sufficient to work on the coefficients of the eigendecomposition. Therefore, we can write
For functions in \(L^2 (\Omega )\) we have that
Therefore, in order to produce the left hand side of (8.2), it suffices to integrate both sides in t against the component of the test function \(\phi \) in the same index m. Applying Fubini’s theorem, we have that
Therefore, summing up in m yields
Step 2. General setting. Let \(u_{0,k} \in L^2(\Omega )\) and \(f_k \in L^2 ((0,T)\times \Omega )\) converge to \(u_0\) and f in the corresponding weighted \(L^1\) spaces. Due to the continuity of \({\mathcal {H}}\), we have that \({\mathcal {H}}[u_{0,k},f_k,0] \rightarrow {\mathcal {H}}[u_0, f, 0]\) in \(L^1 (\Omega , \delta ^\gamma )\). This allows us to pass to the limit in (8.2). The uniqueness is already known from (8.3). \(\square \)
Remark 9.2
As mentioned in Remark 3.4, \( {\mathcal {S}}(t)\) is also defined in the energy spaces. Naturally, this is extended to \( {\mathcal {H}}[u_0,f,0](t,\,\cdot \,)\) as long as \(u_0 \in H_\mathrm {L}^{-1} (\Omega )\) and \(f \in L^1 (0,T; H_\mathrm {L}^{-1} (\Omega ))\). The notion of weak solution needs to be extended by introducing duality products.
9.2 Theory for singular boundary data: \(h \ne 0\)
We are finally ready to give a linear theory for singular boundary data. The argument is as follows: we will construct a solution by an interior approximation procedure, as in the elliptic setting. Due to Theorem 8.3 this is the unique solution. Then, by applying Fubini we show that \(u = {\mathcal {H}}[0,0,h]\).
Theorem 9.3
Let \(h \in L^1 (0,T; L^1 (\partial \Omega ))\) and \(u_0, f = 0\). Then \(u = {\mathcal {H}}[0,0,h]\) given by (7.1) is the unique function in \(L^1 (0,T; L^1 (\Omega , \delta ^\gamma ))\) such that (8.2) holds.
Proof
Step 1: Both \(h \in C^\infty ([0,T] \times \partial \Omega )\) and \(\phi \in \delta ^\gamma L^\infty ((0,T)\times \Omega )\) are non-negative. Take \(f_j\) as in (4.6). Let \(u_j :={\mathcal {H}}[0,f_j,0]\).
By Lemma 7.3 and Dunford–Pettis Theorem the sequence \(u_j \delta ^\gamma \) is precompact in \(L^1( (0,T) \times \Omega )\) and hence, there exists u such that up to a subsequence
Due to Theorem 9.1, we can write
As in [4], it is easy to prove by using the tubular neighbourhood theorem that, for every \(t \in (0,T)\),
Hence, we have that
Therefore, by the Dominated Convergence Theorem
Let us now show that \(u = {\mathcal {H}}[0,0,h]\) in the weak-dual sense (8.2). We write the kernel expression and apply Fubini’s theorem for non-negative functions
to deduce that
Step 2: Both \(h \in C^\infty ([0,T]\times \partial \Omega )\) and \(\phi \) are sign-changing. When h and \(\phi \) change sign, we can decompose them into their positive and negative parts, and apply Step 1.
Step 3: General case \(h \in L^1((0,T)\times \partial \Omega )\). We apply Step 2 to an approximating sequence for \(h\in L^1 ((0,T) \times \partial \Omega )\), namely \(h_j \in C^\infty ([0,T]\times \partial \Omega )\) with \(h_j\rightarrow h\) in \(L^1 ((0,T) \times \partial \Omega )\). Since \({\mathcal {H}}\) and the weak formulation allow us to pass to the limit \(j\rightarrow \infty \), we do so as in Theorem 9.1. \(\square \)
Remark 9.4
We present a formal computation to show that \({\mathcal {H}}[0,0,h]\) satisfies the weak formulation (8.3). Assume that h is regular. Fix a test function \(\psi \). We define \(u_k (t,x) :=\langle u(t,\cdot ), \varphi _k \rangle \). Notice that
Define also
Since \(\psi (T,x) = 0\) we have that \(c_k(T) = 0\). Clearly
Hence
Therefore
9.3 General setting
Due to the linearity, joining Theorems 8.3, 9.1 and 9.3 we recover the general which is equivalent to Theorem 1.1.
Theorem 9.5
We have that
is continuous and we have that estimate (8.5). For \((u_0, f,h)\) in this domain, \(u = {\mathcal {H}}[u_0, f,h]\) the unique function in \(L^1 (0,T; L^1 (\Omega , \delta ^\gamma ))\) such that (8.2) holds.
10 Agreement between the elliptic and parabolic theories
Here we prove that the solution of the parabolic problem with time-independent data converges to the solution of the elliptic problem as \(t \rightarrow +\infty \).
Theorem 10.1
Let \(u_0 \in L^1 (\Omega , \delta ^\gamma )\), \(f(t, x) = f(x) \in L^1 (\Omega , \delta ^\gamma )\) and \(h(t, x) = h(x) \in L^1 (\partial \Omega )\) then
Proof
Due to the weak-dual formulation, it is immediate to see that \({\mathcal {H}}[{\mathcal {G}}[f],f,0] = {\mathcal {G}}[f]\) and \({\mathcal {H}}[{\mathcal {M}}[h],0,h] = {\mathcal {M}}[h]\). Hence,
From Proposition 3.8 we have that
and this concludes the proof. \(\square \)
11 Main examples of operators \(\mathrm {L}\)
11.1 Restricted fractional Laplacian (RFL)
This is the main example as far as the literature is concerned. The operator is given by
where u is extended by 0 outside \(\Omega \). There is a large literature. Thus, hypotheses (H\(_1\)), (H\(_2\)), and (H\(_3\)) were already checked in [7], and H\(_4\) in [4], and it is proved that the corresponding exponent is \(\gamma = s \in (0,1)\). Moreover, from [6, 11], we have for any \(T > 0\),
where \(\lambda _1\) is the smallest eigenvalue of \((-\Delta )^s_{\mathrm {RFL}}\). (Hereafter, \(\overset{T}{\asymp }\) means that the constant in the equivalence may depend on T.) This proves (6.1).
Concerning regularity, in [16] the authors showed that
This guarantees (6.1). Their argument is based on Weyl’s law, which is already known [5, 18, 20]. We provide some further information. Since the s-normal derivative of the heat kernel is known to exist by Theorem 6.1, it satisfies the two-sided estimate
Furthermore, we have the following
Lemma 11.1
(Regularisation of RFL heat semigroup) For any \(t>0\), the RFL semigroup map \({\mathcal {S}}(t)\) is continuous from \(L^1(\Omega ,\delta ^s) \rightarrow \delta ^s C^{s-\varepsilon }({{\overline{\Omega }}})\). Furthermore, \(L^1 (\Omega , \delta ^s)\) is the largest set of admissible integrable data in the sense that, if \(u_0 \ge 0\) then we have the Hopf inequality
Proof
Take \(T = t / 2\) in (11.1). Then, we have that
For non-negative \(u_0\) we take advantage of the lower bound of the kernel. \(\square \)
11.2 Spectral fractional Laplacian (SFL)
Let \(\lambda _k [-\Delta ]\) be the eigenvalues of the usual Laplacian, with eigenfunctions \(\varphi _k\). Then for any \(s\in (0,1)\) we define
whenever the right hand side converges. Hypotheses (H\(_1\)), (H\(_2\)), and (H\(_3\)), were already shown to hold in [7], and H\(_4\) was checked in [4], with parameter \(\gamma = 1\). These facts come from the previous literature.
There are different ways to verifying (6.1) in this setting. First, through the eigenvalues of the SFL are the s-power of those of the usual Laplacian, we know that the energy spaces are
Hence \({\mathcal {S}}(t) : L^2 (\Omega ) \longrightarrow H^k (\Omega )\) for any \(k>0\). By Sobolev embedding theorem, we also have \({\mathcal {S}}(t): L^2(\Omega ) \longrightarrow \delta C({{\overline{\Omega }}})\).
Another way is through the estimates. From [24, Theorems 3.1 and 3.9] (see also [25]) we have an additional exponential correction (which is only relevant as \(t \rightarrow 0\)): for any \(T > 0\) and \( 0 < t \le T \),
Thus
Again, if \(u_0 \ge 0\) we have that
Hence, the optimal class of data is precisely \(L^1 (\Omega , \delta )\).
11.3 Censored fractional Laplacian (CFL)
We define the operator by the singular integral expression
Note that the value of u outside \({{\overline{\Omega }}}\) is irrelevant. This operator is also sometimes called regional fractional Laplacian. Again, hypotheses (H\(_1\)), (H\(_2\)) and (H\(_3\)) were already checked in [7], and H\(_4\) in [4]. The exponents are given by \(s\in (\frac{1}{2},1)\), \(\gamma = 2s - 1\in (0,1)\). Recently, it has been shown in [10] that the case \(s \in (0,\frac{1}{2}]\) does not admit viscosity solution, and this suggests that no natural analogous problem exists in this range. In [12] the authors prove there exists a heat kernel \({\mathbb {S}}\) that satisfies the estimates
Using it with \(T=t/2\), we know in particular that \({\mathbb {S}}(t,x,y)\overset{t}{\asymp }\delta (x)^{2s-1}\delta (y)^{2s-1}\), therefore (6.1) holds and we have that
as well as
so the optimal set of data is \(L^1 (\Omega , \delta ^{2s-1})\). In this setting, even a one-sided Weyl’s law was not known.
11.4 Exploring new examples
Note that the integro-differential operator \(\mathrm {L}\) can be reconstructed from the Green’s function \({\mathbb {G}}\) whenever (H\(_1\)) holds. Indeed, if \(0\le {\mathbb {G}}\le C|x-y|^{-(n-2s)}\), then \(\mathrm {L}\) can be shown to have a discrete spectrum consisting of a non-decreasing divergent sequence of positive Dirichlet eigenvalues \((\lambda _m)_{m\ge 1}\), with corresponding eigenfunctions \((\varphi _m)_{m\ge 1}\) that form an orthonormal basis of \(L^2(\Omega )\) (see for instance [9, Remark 2.3] and [7]). Then \(\mathrm {L}\) can be recovered spectrally as
-
Under (H\(_1\)), \({\mathbb {G}}\) is not necessarily continuous:
$$\begin{aligned} {\mathbb {G}}(x,y)=|x-y|^{-(n-2s)} \left( \frac{\delta (x) \delta (y)}{|x-y|^2} \wedge 1 \right) ^{\gamma } \left( 1+\chi _{A}(x,y)\right) , \end{aligned}$$where \(A\subset \Omega \times \Omega \) is any non-empty proper subset. We do not know if (H\(_2\)) holds, but it does not seem natural.
-
When \({\mathbb {G}}\) is continuous, H\(_4\) does not necessarily hold [4]:
$$\begin{aligned} {\mathbb {G}}(x,y)=|x-y|^{-(n-2s)} \left( \frac{\delta (x) \delta (y)}{|x-y|^2} \wedge 1 \right) ^{\gamma } \left( 2+\sin \dfrac{1}{\delta (x)} \right) \left( 2+\sin \dfrac{1}{\delta (y)} \right) . \end{aligned}$$ -
Under all the assumptions (H\(_1\)), (H\(_2\)), (H\(_3\)) and (H\(_4\) ), \({\mathcal {G}}\), or equivalently \({\mathcal {S}}(t)\), does not necessarily regularizes beyond \(\delta ^\gamma C({{\overline{\Omega }}})\):
$$\begin{aligned} {\mathbb {G}}^{(k)}(x,y)=|x-y|^{-(n-2s)} \left( \frac{\delta (x) \delta (y)}{|x-y|^2} \wedge 1 \right) ^{\gamma } \left( 2+\sin \exp ^{(k)} \dfrac{1}{|x-y|^2} \right) . \end{aligned}$$where \(\exp ^{(k)}\) denotes the k-fold composition of the exponential function. In this case, even the eigenfunctions are not expected to be Hölder continuous or even continuous in any reasonably quantitative way.
12 Comments, extensions and open problems
-
A similar theory should hold when \(2s\ge n=1\). In this case, along the diagonal the Green’s function is logarithmically singular when \(s=\frac{1}{2}\) and is regular when \(s\in (\frac{1}{2},1)\).
-
It seems reasonable to expect that H\(_4\) can be recovered from the rest of the information. The approximations
$$\begin{aligned} {\mathbb {G}}_k (x,y) = \int _{\frac{1}{k}}^k {\mathbb {S}}(t,x,y) \mathop {}\!\mathrm {d}t \end{aligned}$$converge to \({\mathbb {G}}\) from below and \({\mathbb {G}}_k (x,y) / \delta (x)^\gamma \) is continuous at the boundary. It seems reasonable y fixed the convergence should be uniform near the boundary since
$$\begin{aligned} \left\| \frac{ {\mathbb {G}}_k (\cdot , y) }{\delta ^\gamma } - \frac{ {\mathbb {G}}(\cdot , y) }{\delta ^\gamma } \right\| _{L^\infty (U)} \le \int _0^{\frac{1}{k}} \left\| \frac{ {\mathbb {S}}(t,\cdot , y) }{\delta ^\gamma } \right\| _{L^\infty (U)} \mathop {}\!\mathrm {d}t + \int _k^{\infty } \left\| \frac{ {\mathbb {S}}(t,\cdot , y) }{\delta ^\gamma } \right\| _{L^\infty (U)} \mathop {}\!\mathrm {d}t. \end{aligned}$$The second integral is controlled due to Theorem 6.1. We expect the first to be controlled since for \(x \ne y\) formally \({\mathbb {S}}(0,x,y) = 0\). However, we have not found a rigorous proof of this fact.
-
The heat kernel estimates in Theorem 6.5 for small time is still suboptimal, in comparison to the model examples. According to its proof, one obtains the sharp small-time upper bound away from the diagonal and up to the boundary provided that the following weighted Hardy–Littlewood–Sobolev inequality holds,
$$\begin{aligned} \int _{\Omega }\int _{\Omega } \dfrac{ \varphi _1(x) g(x) g(y) \varphi _1(y)^{-1} }{ |x-y|^{n-2s} } \mathop {}\!\mathrm {d}y\mathop {}\!\mathrm {d}x \le \left\| g\right\| _{L^{\frac{2n}{n+2s}}(\Omega )}, \end{aligned}$$for all \(g\in L^{\frac{2n}{n+2s}}(\Omega )\). Its validity would imply
$$\begin{aligned} {\mathbb {S}}(t,x,y) \le Ct^{\frac{n}{2s}}\delta (x)^\gamma \delta (y)^\gamma , \qquad \forall t>0,\,x,y\in \Omega . \end{aligned}$$ -
A second approach to heat kernel estimates for small time is the following. When \(\mathrm {L}\) is sectorial, the contour integral formulation relates the heat kernel to the resolvent and hence to its Green’s function. For this, one would relate the hypotheses, mainly (H\(_1\)), to two-sided estimates for the resolvent. Let \({\mathbb {G}}_\lambda \) be the Green function of \((L+\lambda )^{-1}\). Then \(v(x)=v_y(x)={\mathbb {G}}_\lambda (x,y)-{\mathbb {G}}(x,y)\) satisfies
$$\begin{aligned} \mathrm {L}v+\lambda v=-\lambda G(\cdot ,y) \in L^p(\Omega ), \end{aligned}$$for some (small) \(p>1\). Thus [9] implies the existence of v which is less singular than G and we should get
$$\begin{aligned} G_\lambda (x,y)\asymp G(x,y) \qquad \forall x\ne y\in \Omega . \end{aligned}$$One way to make it rigorous would be to pass to the weak-dual formulation. Notice that another argument is needed to show a suitable decay when \(\lambda \) is large.
-
The full Weyl’s law (5.2), with an upper bound as well as the exact asymptotic constant, is yet to be obtained for general operators. In fact, it is not very convenient to use Fourier analytic techniques in our setting where assumptions are mainly made on the Green’s function of \(\mathrm {L}\). A related interesting problem is to generalize the 1956 theorem by Payne, Pólya and Weinberger on the spectral gaps [21] (see also [23, Chapter III, §7]): the Dirichlet eigenvalues \((\lambda _k)_{k=1}^{\infty }\) of the classical Laplacian in a bounded domain \(\Omega \subset {\mathbb {R}}^n\) satisfy \(\lambda _{k+1}-\lambda _k\le \frac{4}{nk}\sum _{i=1}^{k}\lambda _i\). An extension of this estimate into the fractional setting would give some sort of control on the eigenvalue growth.
-
A possible continuation of this work is the study of the \(\mathrm {L}\) with lower-order terms, including Schrödinger operators.
-
Another continuation of this work is the study of fractional powers of the heat operator, or time-fractional equations. This kind of operators is not yet much studied, but one can expect that once the regularity properties are known, our framework will provide a linear theory in a general setting.
References
Abatangelo, N.: Large s-harmonic functions and boundary blow-up solutions for the fractional Laplacian. Discrete Contin. Dyn. Syst. Ser. A 35(12), 5555–5607 (2015). arXiv:1310.3193
Abatangelo, N.: Large solutions for fractional Laplacian operators (2015). arXiv:1511.00571
Abatangelo, N., Dupaigne, L.: Nonhomogeneous boundary conditions for the spectral fractional Laplacian. Ann. l’Institut Henri Poincare Anal. Non Lineaire 34(2), 439–467 (2017). arXiv:1509.06275
Abatangelo, N., Gómez-Castro, D., Vázquez, J. L.: Singular boundary behaviour and large solutions for fractional elliptic equations, pp. 1–42 (2019). arXiv:1910.00366
Blumenthal, R.M., Getoor, R.K.: The asymptotic distribution of the eigenvalues for a class of Markov operators. Pac. J. Math. 9, 399–408 (1959)
Bogdan, K., Grzywny, T., Ryznar, M.: Heat kernel estimates for the fractional Laplacian with Dirichlet conditions. Ann. Probab. 38(5), 1901–1923 (2010)
Bonforte, M., Figalli, A., Vázquez, J.L.: Sharp boundary behaviour of solutions to semilinear nonlocal elliptic equations. Calc. Var. Partial Differ. Equ. 57(2), 1–34 (2018)
Bonforte, M., Sire, Y., Vázquez, J.L.: Existence, uniqueness and asymptotic behaviour for fractional porous medium equations on bounded domains. Discrete Contin. Dyn. Syst. Ser. A 35(12), 5725–5767 (2015). arXiv: 1404.6195
Chan, H., Gómez-Castro, D., Vázquez, J.L.: Blow-up phenomena in nonlocal eigenvalue problems: when theories of L1 and L2 meet J. Funct. Anal. 280(7), 108845 (2021)
Chen, H., Wei, Y.: Non-existence of Poisson problem involving regional fractional Laplacian with order in (0; \({\frac{1}{2}}\)] (2020). arXiv:2007.05775
Chen, Z.Q., Kim, P., Song, R.: Heat kernel estimates for the Dirichlet fractional Laplacian. J. Eur. Math. Soc. 12(5), 1307–1327 (2010)
Chen, Z.Q., Kim, P., Song, R.: Two-sided heat kernel estimates for censored stable-like processes. Probab. Theory Relat. Fields 146(3), 361–399 (2009)
Cheng, S.Y., Li, P.: Heat kernel estimates and lower bound of eigenvalues. Comment. Math. Helv. 56(1), 327–338 (1981)
Coulhon, T., Hauer, D.: Regularisation effects of nonlinear semigroups, pp. 1–124 (2016). arXiv:1604.08737
Davies, E.B.: Heat Kernels and Spectral Theory. Cambridge University Press, Cambridge (1989)
Fernández-Real, X., Ros-Oton, X.: Boundary regularity for the fractional heat equation. Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales Serie A: Matematicas 110(1), 49–64 (2016)
Frank, R.L., Geisinger, L.: Refined semiclassical asymptotics for fractional powers of the Laplace operator. J. Reine Angew. Math. 712, 1–37 (2016)
Geisinger, L.: A short proof of Weyl’s law for fractional differential operators. J. Math. Phys. 55(1), 011504 (2014)
Gómez-Castro, D., Vázquez, J.L.: The fractional Schrödinger equation with singular potential and measure data. Discrete Contin. Dyn. Syst. A 39(12), 7113–7139 (2019). arXiv:1812.02120
Grubb, G.: Spectral results for mixed problems and fractional elliptic operators. J. Math. Anal. Appl. 421(2), 1616–1634 (2015)
Payne, L.E., Pólya, G., Weinberger, H.F.: On the ratio of consecutive eigenvalues. J. Math. Phys. 35, 289–298 (1956)
Pazy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations, vol. 44. Applied Mathematical Sciences. Springer, New York (1983)
Schoen, R., Yau, S.-T.: Lectures on Differential Geometry. International Press, Boston (1994)
Song, R.: Sharp bounds on the density, Green function and jumping function of subordinate killed BM. Probab. Theory Relat. Fields 128(4), 606–628 (2004)
Song, R., Xie, L., Xie, Y.: Sharp heat kernel estimates for spectral fractional Laplacian perturbed by gradient. Sci. China Math. 63(11), 2343–2362 (2020)
Acknowledgements
The authors are thankful to Renming Song for his comments, which helped improve the paper. HC has received funding from the European Research Council under the Grant Agreement No 721675, and the Spanish Government under Grant CEX2019-000904-S funded by MCIN/AEI/10.13039/501100011033 and PID2020-113596GB-I00. The research of DGC was supported by the Advanced Grant Nonlocal-CPD of the European Research Council Executive Agency (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No. 883363). The research of DGC and JLV was partially supported by grant PGC2018-098440-B-I00 from the Ministerio de Ciencia, Innovación y Universidades (MICINN) of the Spanish Government and Grant RED2018-102650-T funded by MCIN/AEI/10.13039/501100011033. JLV is an Honorary Professor at Univ. Complutense. We would like to thank Gerd Grubb for her valuable comments on the first draft of the manuscript.
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.
Dedicated to J. I. Díaz for his 70th birthday.
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
Chan, H., Gómez-Castro, D. & Vázquez, J.L. Singular solutions for fractional parabolic boundary value problems. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 116, 159 (2022). https://doi.org/10.1007/s13398-022-01294-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-022-01294-6