arXiv subjects
Publications and source records attributed to Nicola Abatangelo.
We show that balls are the only open bounded domains for which the mean value formula for polyharmonic functions holds. We do so by adapting an argument of Ü. Kuran for harmonic functions. Also, we provide a quantitative version of the same result.
We provide sharp boundary regularity estimates for solutions to elliptic equations driven by an integro-differential operator obtained as the sum of a Laplacian with a nonlocal operator generalizing a fractional Laplacian. Our approach makes use of weighted Hölder spaces as well as regularity estimates for the Laplacian in this context and a fixed-point argument. We show the optimality of the obtained estimates by means of a counterexample that we have striven to keep as explicit as possible.
This book is intended as a self-contained introduction to selected topics in the fractional world, focusing particularly on aspects that arise in the study of equations driven by the fractional Laplacian. The scope of this work is not intended to be exhaustive or all-encompassing. We have chosen topics that we believe will appeal to readers embarking on their journey into fractional analysis. It requires only fundamental calculus and a basic understanding of measure theory. In Chapter 1, we introduce the primary object of study, the fractional Laplacian. This operator appears in diverse contexts, prompting multiple definitions and viewpoints, many of which we explore, along with some key identities. A notable distinction between local and nonlocal analysis is that in the latter, explicit calculations are often impractical or impossible. There are anyway some fortunate exceptions which are gathered in Chapter 2, providing useful and instructive examples. Chapter 3 presents an introduction to the important aspect of Liouville-type results. A large portion of this book is devoted to the regularity theory of solutions in Lebesgue spaces. Chapter 4 examines global solutions using Riesz and Bessel potential analysis, capturing the impact of both low and high frequencies on smoothness, decay, and oscillations. These spaces are also flexible enough to provide, as a byproduct, a solid regularity theory in the more commonly used fractional Sobolev spaces. In Chapter 5 we derive the corresponding interior regularity theory for solutions within a bounded domain using appropriate cutoffs and localization techniques. Additionally, technical appendices include auxiliary results used in key proofs.
Consider the following Lane-Emden system with Dirichlet boundary conditions: \[ -ΔU = |V|^{β-1}V,\ -ΔV = |U|^{α-1}U \text{ in }Ω,\qquad U=V= 0 \text{ on }\partial Ω, \] in a bounded domain $Ω$, for $(α,β)$ subcritical. We study the asymptotic behavior of least-energy solutions when $β\to \infty$, for any fixed $α$ which, in the case $N\geq 3$, is smaller than $2/(N-2)$. We show that these solutions converge to least-energy solutions of a semilinear equation involving the 1-bilaplacian operator, establishing a new relationship between these objects. As a corollary, we deduce the asymptotic behavior of solutions to $p$-bilaplacian Lane-Emden equations as the power in the nonlinearity goes to infinity. For the proof, we rely on the reduction by inversion method and on tools from nonsmooth analysis, considering an auxiliary nonlinear eigenvalue problem. We characterize its value in terms of the Green function, and prove a Faber-Krahn type result. In the case of a ball, we can characterize explicitly the eigenvalue, as well as the limit profile of least-energy solutions to the system as $β\to\infty$.
We collect some peculiarities of higher-order fractional Laplacians $(-Δ)^s$, $s>1$, with special attention to the range $s\in(1,2)$, which show their oscillatory nature. These include the failure of the polarization and Pólya-Szegö inequalities and the explicit example of a domain with sign-changing first eigenfunction. In spite of these fluctuating behaviours, we prove how the Faber-Krahn inequality still holds for any $s>1$ in dimension one.
We provide a Hopf boundary lemma for the regional fractional Laplacian $(-Δ)^s_Ω$, with $Ω\subset\mathbb{R}^N$ a bounded open set. More precisely, given $u$ a pointwise or weak super-solution of the equation $(-Δ)^s_Ω u = c(x)u$ in $Ω$, we show that the ratio $u(x)/(\mathrm{dist}(x,\partialΩ))^{2s-1}$ is strictly positive as $x$ approaches the boundary $\partialΩ$ of $Ω$. We also prove a strong maximum principle for distributional super-solutions.
We show that the first eigenfunction of the fractional Laplacian ${(-Δ)}^s$, $s\in(1/2,1)$, is superharmonic in the unitary ball up to dimension $11$. To this aim, we also rely on a computer-assisted step to estimate a rather complicated constant depending on the dimension and the power $s$.
We show explicit formulas for the evaluation of (possibly higher-order) fractional Laplacians of some functions supported on ellipsoids. In particular, we derive the explicit expression of the torsion function and give examples of $s$-harmonic functions. As an application, we infer that the weak maximum principle fails in eccentric ellipsoids for $s\in(1,\sqrt{3}+3/2)$ in any dimension $n\geq 2$. We build a counterexample in terms of the torsion function times a polynomial of degree 2. Using point inversion transformations, it follows that a variety of bounded and unbounded domains do not satisfy positivity preserving properties and we give some examples.
We investigate existence and uniqueness of solutions to second-order elliptic boundary value problems containing a power nonlinearity applied to a fractional Laplacian. We detect the critical power separating the existence from the non-existence regimes. For the existence results, we make use of a particular class of weighted Sobolev spaces to compensate boundary singularities which are naturally built in the problem.
We study the higher regularity of free boundaries in obstacle problems for integro-differential operators. Our main result establishes that, once free boundaries are $C^{1,α}$, then they are $C^\infty$. This completes the study of regular points, initiated in [5]. In order to achieve this, we need to establish optimal boundary regularity estimates for solutions to linear nonlocal equations in $C^{k,α}$ domains. These new estimates are the core of our paper, and extend previously known results by Grubb (for $k=\infty$) and by the second author and Serra (for $k=1$).
We show that the boundary behaviour of solutions to nonlocal fractional equations posed in bounded domains strongly differs from the one of solutions to elliptic problems modelled upon the Laplace-Poisson equation with zero boundary data. In this classical case it is known that, at least in a suitable weak sense, solutions of non-homogeneous Dirichlet problem are unique and tend to zero at the boundary. Limits of these solutions then produce solutions of some non-homogeneous Dirichlet problem as the interior data concentrate suitably to the boundary. Here, we show that such results are false for equations driven by a wide class of nonlocal fractional operators, extending previous findings for some models of the fractional Laplacian operator. Actually, different blow-up phenomena may occur at the boundary of the domain. We describe such explosive behaviours and obtain precise quantitative estimates depending on simple parameters of the nonlocal pperators. Our unifying technique is based on a careful study of the inverse operator in terms of the corresponding Green function.
These are the handouts of an undergraduate minicourse at the Università di Bari, in the context of the 2017 INdAM Intensive Period "Contemporary Research in elliptic PDEs and related topics". Without any intention to serve as a throughout epitome to the subject, we hope that these notes can be of some help for a very initial introduction to a fascinating field of classical and modern research.
We provide closed formulas for (unique) solutions of nonhomogeneous Dirichlet problems on balls involving any positive power $s>0$ of the Laplacian. We are able to prescribe values outside the domain and boundary data of different orders using explicit Poisson-type kernels and a new notion of higher-order boundary operator, which recovers normal derivatives if $s$ is a natural number. Our results unify and generalize previous approaches in the study of polyharmonic operators and fractional Laplacians. As applications, we show a novel characterization of $s$-harmonic functions in terms of Martin kernels, a higher-order fractional Hopf Lemma, and examples of positive and sign-changing Green functions.
We study existence, regularity, and qualitative properties of solutions to linear problems involving higher-order fractional Laplacians $(-Δ)^s$ for any $s>1$. Using the nonlocal properties of these operators, we provide an explicit counterexample to general maximum principles for $s\in(n,n+1)$ with $n\in\mathbb N$ odd; moreover, using a representation formula for solutions, we derive regularity and positivity preserving properties whenever the domain is the whole space or a ball. In the case of the whole space we analyze the Riesz kernel, which provides a fundamental solution, while in the case of the ball we show the validity of Boggio's representation formula for all integer and fractional powers of the Laplacian $s>0$. Our proofs rely on characterizations of $s$-harmonic functions using higher-order Martin kernels, on a decomposition of Boggio's formula, and on elliptic regularity theory.
We present explicit formulas for solutions to nonhomogeneous boundary value problems involving any positive power of the Laplacian in the half-space. For non-integer powers the operator becomes nonlocal and this requires a suitable extension of Dirichlet-type boundary conditions. A key ingredient in our proofs is a point inversion transformation which preserves harmonicity and allows us to use known results for the ball. We include uniqueness statements, regularity estimates, and describe the growth or decay of solutions at infinity and at the boundary.
We show how nonlocal boundary conditions of Robin type can be encoded in the pointwise expression of the fractional operator. Notably, the fractional Laplacian of functions satisfying homogeneous nonlocal Neumann conditions can be expressed as a regional operator with a kernel having logarithmic behaviour at the boundary.
Any positive power of the Laplacian is related via its Fourier symbol to a hypersingular integral with finite differences. We show how this yields a pointwise evaluation which is more flexible than other notions used so far in the literature for powers larger than 1; in particular, this evaluation can be applied to more general boundary value problems and we exhibit explicit examples. We also provide a natural variational framework and, using an asymptotic analysis, we prove how these hypersingular integrals reduce to polyharmonic operators in some cases. Our presentation aims to be as self-contained as possible and relies on elementary pointwise calculations and known identities for special functions.
We look for solutions of $(-Δ)^s u+f(u) = 0$ in a bounded smooth domain $Ω$, $s\in(0,1)$, with a strong singularity at the boundary. In particular, we are interested in solutions which are $L^1(Ω)$ and higher order with respect to dist$(x,\partialΩ)^{s-1}$. We provide sufficient conditions for the existence of such a solution. Roughly speaking, these functions are the real fractional counterpart of "large solutions" in the classical setting.