[Paper Review] Symmetry results in the half space for a semi-linear fractional Laplace equation through a one-dimensional analysis

Begoña Barrios, Leandro M. Del Pezzo+2 more|arXiv (Cornell University)|Apr 9, 2017

Nonlinear Partial Differential Equations30 references4 citations

TL;DR

This paper establishes symmetry and one-dimensional structure results for bounded solutions of a semi-linear fractional Laplace equation in the half-space using a one-dimensional analysis approach. It proves that if a bounded solution achieves its supremum ρ with f(ρ) = 0, then the solution must be one-dimensional, extending classical symmetry results to the nonlocal fractional setting via viscosity solution theory and comparison principles.

ABSTRACT

In this paper we analyze the semi-linear fractional Laplace equation $$(-Δ)^s u = f(u) \quad ext{ in } \mathbb{R}^N_+,\quad u=0 \quad ext{ in } \mathbb{R}^N\setminus \mathbb{R}^N_+,$$ where $\mathbb{R}^N_+=\{x=(x',x_N)\in \mathbb{R}^N:\ x_N>0\}$ stands for the half-space and $f$ is a locally Lipschitz nonlinearity. We completely characterize one-dimensional bounded solutions of this problem, and we prove among other things that if $u$ is a bounded solution with $ρ:=\sup_{\mathbb{R}^N}u$ verifying $f(ρ)=0$, then $u$ is necessarily one-dimensional.

Motivation & Objective

• To characterize bounded, positive solutions of a semi-linear fractional Laplace equation in the half-space ℝᴺ₊.
• To extend classical symmetry and monotonicity results from the local Laplacian (s=1) to the nonlocal fractional Laplacian (0<s<1).
• To prove that bounded solutions achieving their supremum ρ with f(ρ)=0 are necessarily one-dimensional.
• To develop a one-dimensional analysis framework to study the full N-dimensional problem via comparison and barrier methods.
• To establish existence and maximality of viscosity solutions in unbounded domains using sub- and supersolution techniques.

Proposed method

• Analyzes the one-dimensional version of the fractional Laplace equation in ℝ₊ to characterize bounded solutions.
• Uses viscosity solution theory and comparison principles to establish monotonicity and symmetry properties.
• Applies a barrier function φ solving (−Δ)ˢφ = 1 in (0,1) with zero in (−∞,0) and one in (1,∞), extended to strips in ℝᴺ₊.
• Employs sub- and supersolution methods with truncation of f to ensure boundedness and existence of solutions.
• Uses compactness and regularity theory to extract locally uniform limits of solutions on expanding domains.
• Applies bootstrapping and regularity results from [34, 13, 14] to show that bounded viscosity solutions are classical.

Experimental results

Research questions

• RQ1 Under what conditions is a bounded solution of the fractional Laplace equation in the half-space necessarily one-dimensional?
• RQ2 Can the symmetry result for the local case (s=1) be extended to the nonlocal fractional case (0<s<1)?
• RQ3 What role does the condition f(ρ)=0 play in ensuring one-dimensional symmetry of bounded solutions?
• RQ4 How can one-dimensional analysis be used to deduce qualitative properties in higher-dimensional half-spaces?
• RQ5 What is the existence and maximality structure of viscosity solutions for this nonlocal problem in unbounded domains?

Key findings

• All bounded solutions of the semi-linear fractional Laplace equation in the half-space that achieve their supremum ρ with f(ρ)=0 are necessarily one-dimensional.
• The paper establishes a complete characterization of one-dimensional bounded solutions to the problem in ℝ₊.
• Monotonicity in the xₙ direction is inherited from the one-dimensional analysis, even when f(0)<0.
• A maximal viscosity solution exists between sub- and supersolutions in ℝᴺ₊, using barrier functions and compactness arguments.
• The solution structure is preserved under truncation of f and limit processes on expanding domains, ensuring existence in unbounded settings.
• The result generalizes classical symmetry results from the local case (s=1) to the nonlocal fractional setting (0<s<1).