Abstract:Let $\Omega\subset\R^N$ be an arbitrary open set and denote by $(e^{-t(-\Delta)_{\RR^N}^s})_{t\ge 0}$ (where $0<s<1$) the semigroup on $L^2(\RR^N)$ generated by the fractional Laplace operator. In the first part of the paper we show that if $T$ is a self-adjoint semigroup on $L^2(\Omega)$ satisfying a fractional Gaussian estimate in the sense that $|T(t)f|\le e^{-t(-\Delta)_{\RR^N}^s}|f|$, $0\le t \le 1$, $f\in L^2(\Omega)$, then $T$ defines a bounded holomorphic semigroup of angle $\frac{\pi}{2}$ that interpolates on $L^p(\Omega)$, $1\le p<\infty$. Using a duality argument we prove that the same result also holds on the space of continuous functions. In the second part, we apply the above results to realization of fractional order operators with the exterior Dirichlet conditions.

What problem does this paper attempt to address?

The paper attempts to address the problem concerning fractional Gaussian estimates and the holomorphy of semigroups. Specifically, the author explores whether a self-adjoint semigroup $ T $ that satisfies fractional Gaussian estimates can generate a bounded holomorphic semigroup on $ L^p(\Omega) $ spaces, and investigates the applications of these results in the space of continuous functions. Additionally, the author discusses the implementation of the fractional Laplacian under exterior Dirichlet conditions. ### Background and Problem 1. **Fractional Laplacian**: The paper considers the fractional Laplacian $ (-\Delta)^s $, where $ 0 < s < 1 $. This operator is used as a modeling tool in many scientific fields, especially in describing anomalous diffusion phenomena. 2. **Gaussian Estimates**: Traditional Gaussian estimates refer to the kernel function of a semigroup satisfying estimates similar to the Gaussian kernel. However, fractional Gaussian estimates involve the kernel function of the fractional Laplacian. 3. **Holomorphic Semigroup**: A semigroup $ T(t) $ is called a holomorphic semigroup if it can be analytically extended to a sector in the complex plane and satisfies certain conditions. ### Main Results 1. **Main Theorem**: Suppose the semigroup $ T $ satisfies fractional Gaussian estimates on $ 0 \le t \le 1 $. Then there exists a constant $ \omega \ge 0 $ such that the semigroup $ (e^{-\omega t} T_p(t))_{t \ge 0} $ is a bounded holomorphic semigroup on $ L^p(\Omega) $ with an angle of $ \frac{\pi}{2} $. 2. **Applications**: This result is applied to the implementation of the fractional Laplacian under exterior Dirichlet conditions. Through duality arguments and the aforementioned holomorphy results, the author proves that on a bounded domain $ \Omega $ with Lipschitz continuous boundary, the fractional Laplacian under zero exterior Dirichlet conditions generates a bounded holomorphic semigroup on $ C_0(\Omega) $ with an angle of $ \frac{\pi}{2} $. ### Examples 1. **Implementation of the Fractional Laplacian**: Consider a bounded open set $ \Omega \subset \mathbb{R}^N $. The fractional Laplacian $ (-\Delta)^s_D $ defined on $ L^2(\Omega) $ under zero exterior Dirichlet conditions is shown to generate a strongly continuous sub-Markovian semigroup $ (T_s(t))_{t \ge 0} $, and this semigroup satisfies fractional Gaussian estimates. 2. **Applications in Continuous Function Spaces**: Suppose $ \Omega $ is a bounded domain with a Lipschitz continuous boundary. Then the fractional Laplacian under zero exterior Dirichlet conditions generates a bounded holomorphic semigroup on $ C_0(\Omega) $ with an angle of $ \frac{\pi}{2} $. ### Conclusion The main contribution of this paper is establishing the connection between fractional Gaussian estimates and holomorphic semigroups, and applying it to the specific implementation of the fractional Laplacian. These results are significant for understanding the properties of fractional operators and their applications in partial differential equations.

Fractional Gaussian estimates and holomorphy of semigroups

Singular integrals on $ax+b$ hypergroups and an operator-valued spectral multiplier theorem

Quantitative estimates for bounded holomorphic semigroups

Fractional elliptic equations in nondivergence form: definition, applications and Harnack inequality

Criteria for extension of commutativity to fractional iterates of holomorphic self-maps in the unit disc

Scaling limits for fractional polyharmonic Gaussian fields

Fractional $p$-Laplacians via Neumann problems in unbounded metric measure spaces

Gaussian estimates vs. elliptic regularity on open sets

Some approximation results for mild solutions of stochastic fractional order evolution equations driven by Gaussian noise

Large-time behavior of two families of operators related to the fractional Laplacian on certain Riemannian manifolds

On generalized eigenvalue problems of fractional $(p,q)$-Laplace operator with two parameters

Boundedness Of Differential Transforms For Fractional Heat Semigroups Generated By Schrödinger Operators

Uniform Hölder Estimates on Semigroups Generated by Non-Local Operators of Variable Order

Calderón problem for fractional Schrödinger operators on closed Riemannian manifolds

Fractional nonlinear heat equations and characterizations of some function spaces in terms of fractional Gauss-Weierstrass semi-groups

Regularity of fractional heat semigroups associated with Schr√∂dinger operators on Heisenberg groups

On a fractional magnetic pseudorelativistic operator: properties and applications

On a Fractional Ginzburg–Landau Equation and 1/2-Harmonic Maps into Spheres

Fractional stochastic wave equation driven by a Gaussian noise rough in space

Global fractional Sobolev regularity for fully nonlinear elliptic equations

Fractional Nonlinear Degenerate Diffusion Equations on Bounded Domains Part I. Existence, Uniqueness and Upper Bounds