-
The Dirichlet Problem For the Logarithmic p-Laplacian
Authors:
Bartłomiej Dyda,
Sven Jarohs,
Firoj Sk
Abstract:
We introduce and study the logarithmic $p$-Laplacian $L_{Δ_p}$, which emerges from the formal derivative of the fractional $p$-Laplacian $(-Δ_p)^s$ at $s=0$. This operator is nonlocal, has logarithmic order, and is the nonlinear version of the newly developed logarithmic Laplacian operator. We present a variational framework to study the Dirichlet problems involving the $L_{Δ_p}$ in bounded domain…
▽ More
We introduce and study the logarithmic $p$-Laplacian $L_{Δ_p}$, which emerges from the formal derivative of the fractional $p$-Laplacian $(-Δ_p)^s$ at $s=0$. This operator is nonlocal, has logarithmic order, and is the nonlinear version of the newly developed logarithmic Laplacian operator. We present a variational framework to study the Dirichlet problems involving the $L_{Δ_p}$ in bounded domains. This allows us to investigate the connection between the first Dirichlet eigenvalue and eigenfunction of the fractional $p$-Laplacian and the logarithmic $p$-Laplacian. As a consequence, we deduce a Faber-Krahn inequality for the first Dirichlet eigenvalue of $L_{Δ_p}$. We discuss maximum and comparison principles for $L_{Δ_p}$ in bounded domains and demonstrate that the validity of these depends on the sign of the first Dirichlet eigenvalue of $L_{Δ_p}$. In addition, we prove that the first Dirichlet eigenfunction of $L_{Δ_p}$ is bounded. Furthermore, we establish a boundary Hardy-type inequality for the spaces associated with the weak formulation of the logarithmic $p$-Laplacian.
△ Less
Submitted 3 July, 2025; v1 submitted 17 November, 2024;
originally announced November 2024.
-
Qualitative properties of free boundaries for the exterior Bernoulli problem for the half Laplacian
Authors:
Sven Jarohs,
Tadeusz Kulczycki,
Paolo Salani
Abstract:
In this work, we study the asymptotic behavior of the free boundary of the solution to the exterior Bernoulli problem for the half Laplacian when the Bernoulli's gradient parameter tends to $0^+$ and to $+\infty$. Moreover, we show that, under suitable conditions, the perpendicular rays of the free boundary always meet the convex envelope of the fixed boundary.
In this work, we study the asymptotic behavior of the free boundary of the solution to the exterior Bernoulli problem for the half Laplacian when the Bernoulli's gradient parameter tends to $0^+$ and to $+\infty$. Moreover, we show that, under suitable conditions, the perpendicular rays of the free boundary always meet the convex envelope of the fixed boundary.
△ Less
Submitted 8 January, 2025; v1 submitted 26 September, 2024;
originally announced September 2024.
-
Differentiability of the nonlocal-to-local transition in fractional Poisson problems
Authors:
Alberto Saldaña,
Sven Jarohs,
Tobias Weth
Abstract:
Let $u_s$ denote a solution of the fractional Poisson problem $$
(-Δ)^s u_s = f\quad\text{ in }Ω,\qquad u_s=0\quad \text{ on }\mathbb{R}^N\setminus Ω, $$ where $N\geq 2$ and $Ω\subset \mathbb{R}^N$ is a bounded domain of class $C^2$. We show that the solution mapping $s\mapsto u_s$ is differentiable in $L^\infty(Ω)$ at $s=1$, namely, at the nonlocal-to-local transition. Moreover, using the logar…
▽ More
Let $u_s$ denote a solution of the fractional Poisson problem $$
(-Δ)^s u_s = f\quad\text{ in }Ω,\qquad u_s=0\quad \text{ on }\mathbb{R}^N\setminus Ω, $$ where $N\geq 2$ and $Ω\subset \mathbb{R}^N$ is a bounded domain of class $C^2$. We show that the solution mapping $s\mapsto u_s$ is differentiable in $L^\infty(Ω)$ at $s=1$, namely, at the nonlocal-to-local transition. Moreover, using the logarithmic Laplacian, we characterize the derivative $\partial_s u_s$ as the solution to a boundary value problem. This complements the previously known differentiability results for $s$ in the open interval $(0,1)$. Our proofs are based on an asymptotic analysis to describe the collapse of the nonlocality of the fractional Laplacian as $s$ approaches 1. We also provide a new representation of $\partial_s u_s$ for $s \in (0,1)$ which allows us to refine previously obtained Green function estimates.
△ Less
Submitted 25 August, 2024; v1 submitted 30 November, 2023;
originally announced November 2023.
-
Continuity of solutions to equations with weakly singular nonlocal operators
Authors:
Sven Jarohs,
Moritz Kassmann,
Tobias Weth
Abstract:
We prove boundedness and regularity estimates for weak solutions to a class of linear nonlocal equations involving integro-differential operators with almost no order of differentiability. In particular, we show that bounded weak solutions are continuous, and we provide a uniform a-priori estimates for the modulus of continuity. In contrast to earlier works, we allow the nonlocal operators to be h…
▽ More
We prove boundedness and regularity estimates for weak solutions to a class of linear nonlocal equations involving integro-differential operators with almost no order of differentiability. In particular, we show that bounded weak solutions are continuous, and we provide a uniform a-priori estimates for the modulus of continuity. In contrast to earlier works, we allow the nonlocal operators to be highly anisotropic and weakly singular, and we allow the associated kernel functions to vanish close to the singularity.
△ Less
Submitted 2 March, 2025; v1 submitted 26 November, 2023;
originally announced November 2023.
-
FEM for 1D-problems involving the logarithmic Laplacian: error estimates and numerical implementation
Authors:
Víctor Hernández-Santamaría,
Sven Jarohs,
Alberto Saldaña,
Leonard Sinsch
Abstract:
We present the numerical analysis of a finite element method (FEM) for one-dimensional Dirichlet problems involving the logarithmic Laplacian (the pseudo-differential operator that appears as a first-order expansion of the fractional Laplacian as the exponent $s\to 0^+$). Our analysis exhibits new phenomena in this setting; in particular, using recently obtained regularity results, we prove rigoro…
▽ More
We present the numerical analysis of a finite element method (FEM) for one-dimensional Dirichlet problems involving the logarithmic Laplacian (the pseudo-differential operator that appears as a first-order expansion of the fractional Laplacian as the exponent $s\to 0^+$). Our analysis exhibits new phenomena in this setting; in particular, using recently obtained regularity results, we prove rigorous error estimates and provide a logarithmic order of convergence in the energy norm using suitable $\log$-weighted spaces. Moreover, we show that the stiffness matrix of logarithmic problems can be obtained as the derivative of the fractional stiffness matrix evaluated at $s=0$. Lastly, we investigate the relationship between the discrete eigenvalue problem and its convergence to the continuous one.
△ Less
Submitted 19 May, 2025; v1 submitted 21 November, 2023;
originally announced November 2023.
-
Oscillatory Phenomena for Higher-Order Fractional Laplacians
Authors:
Nicola Abatangelo,
Sven Jarohs
Abstract:
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 inequa…
▽ More
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.
△ Less
Submitted 25 May, 2022;
originally announced May 2022.
-
On the shape of the first fractional eigenfunction
Authors:
Nicola Abatangelo,
Sven Jarohs
Abstract:
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 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$.
△ Less
Submitted 29 April, 2022;
originally announced April 2022.
-
Nonradiality of second fractional eigenfunctions of thin annuli
Authors:
Sidy M. Djitte,
Sven Jarohs
Abstract:
In the present paper, we study properties of the second Dirichlet eigenvalue of the fractional Laplacian of annuli-like domains and the corresponding eigenfunctions. In the first part, we consider an annulus with inner radius $R$ and outer radius $R+1$. We show that for $R$ sufficiently large any corresponding second eigenfunction of this annulus is nonradial. In the second part, we investigate th…
▽ More
In the present paper, we study properties of the second Dirichlet eigenvalue of the fractional Laplacian of annuli-like domains and the corresponding eigenfunctions. In the first part, we consider an annulus with inner radius $R$ and outer radius $R+1$. We show that for $R$ sufficiently large any corresponding second eigenfunction of this annulus is nonradial. In the second part, we investigate the second eigenvalue in domains of the form $B_1(0)\setminus \overline{B_τ(a)}$, where $a$ is in the unitary ball and $0<τ<1-|a|$. We show that this value is maximized for $a=0$, if the set $B_1(0)\setminus \overline{B_τ(0)}$ has no radial second eigenfunction. We emphasize that the first part of our paper implies that this assumption is indeed nonempty.
△ Less
Submitted 28 October, 2022; v1 submitted 13 January, 2022;
originally announced January 2022.
-
Nonlocal operators of small order
Authors:
Pierre Aime Feulefack,
Sven Jarohs
Abstract:
In this work we study nonlocal operators and corresponding spaces of order strictly below one and investigate interior regularity properties of weak solutions to the associated Poisson problem depending on the regularity of the right-hand side. Our method exploits the variational structure of the problem, in particular, we prove that if the right-hand is of class $C^{\infty}$ and the kernel satisf…
▽ More
In this work we study nonlocal operators and corresponding spaces of order strictly below one and investigate interior regularity properties of weak solutions to the associated Poisson problem depending on the regularity of the right-hand side. Our method exploits the variational structure of the problem, in particular, we prove that if the right-hand is of class $C^{\infty}$ and the kernel satisfies similar regularity properties away from its singularity, then any weak solution is of class $C^{\infty}$.
△ Less
Submitted 10 May, 2023; v1 submitted 17 December, 2021;
originally announced December 2021.
-
On the Bernoulli free boundary problems for the half Laplacian and for the spectral half Laplacian
Authors:
Sven Jarohs,
Tadeusz Kulczycki,
Paolo Salani
Abstract:
We study the exterior and interior Bernoulli problems for the half Laplacian and the interior Bernoulli problem for the spectral half Laplacian. We concentrate on the existence and geometric properties of solutions. Our main results are the following. For the exterior Bernoulli problem for the half Laplacian, we show that under starshapedness assumptions on the data the free domain is starshaped.…
▽ More
We study the exterior and interior Bernoulli problems for the half Laplacian and the interior Bernoulli problem for the spectral half Laplacian. We concentrate on the existence and geometric properties of solutions. Our main results are the following. For the exterior Bernoulli problem for the half Laplacian, we show that under starshapedness assumptions on the data the free domain is starshaped. For the interior Bernoulli problem for the spectral half Laplacian, we show that under convexity assumptions on the data the free domain is convex and we prove a Brunn-Minkowski inequality for the Bernoulli constant. For Bernoulli problems for the half Laplacian we use a variational approach, whereas for Bernoulli problem for the spectral half Laplacian we use the Beurling method based on subsolutions.
△ Less
Submitted 10 December, 2021;
originally announced December 2021.
-
Symmetry of odd solutions to equations with fractional Laplacian
Authors:
Sidy M. Djitte,
Sven Jarohs
Abstract:
We present a symmetry result to solutions of equations involving the fractional Laplacian in a domain with at least two perpendicular symmetries. We show that if the solution is continuous, bounded, and odd in one direction such that it has a fixed sign on one side, then it will be symmetric in the perpendicular direction. Moreover, the solution will be monotonic in the part where it is of fixed s…
▽ More
We present a symmetry result to solutions of equations involving the fractional Laplacian in a domain with at least two perpendicular symmetries. We show that if the solution is continuous, bounded, and odd in one direction such that it has a fixed sign on one side, then it will be symmetric in the perpendicular direction. Moreover, the solution will be monotonic in the part where it is of fixed sign. In addition, we present also a class of examples in which our result can be applied.
△ Less
Submitted 28 September, 2021;
originally announced September 2021.
-
Small order asymptotics of the Dirichlet eigenvalue problem for the fractional Laplacian
Authors:
Pierre Aime Feulefack,
Sven Jarohs,
Tobias Weth
Abstract:
In this article, we study the asymptotics of Dirichlet eigenvalues and eigenfunctions of the fractional Laplacian $(-Δ)^s$ in bounded open Lipschitz sets in the small order limit $s \to 0^+$. While it is easy to see that all eigenvalues converge to $1$ as $s \to 0^+$, we show that the first order correction in these asymptotics is given by the eigenvalues of the logarithmic Laplacian operator, i.e…
▽ More
In this article, we study the asymptotics of Dirichlet eigenvalues and eigenfunctions of the fractional Laplacian $(-Δ)^s$ in bounded open Lipschitz sets in the small order limit $s \to 0^+$. While it is easy to see that all eigenvalues converge to $1$ as $s \to 0^+$, we show that the first order correction in these asymptotics is given by the eigenvalues of the logarithmic Laplacian operator, i.e., the singular integral operator with symbol $2\log|ξ|$. By this we generalize a result of Chen and the third author which was restricted to the principal eigenvalue. Moreover, we show that $L^2$-normalized Dirichlet eigenfunctions of $(-Δ)^s$ corresponding to the $k$-th eigenvalue are uniformly bounded and converge to the set of $L^2$-normalized eigenvalues of the logarithmic Laplacian. In order to derive these spectral asymptotics, we need to establish new uniform regularity and boundary decay estimates for Dirichlet eigenfunctions for the fractional Laplacian. As a byproduct, we also obtain corresponding regularity properties of eigenfunctions of the logarithmic Laplacian.
△ Less
Submitted 5 March, 2021; v1 submitted 20 October, 2020;
originally announced October 2020.
-
Fractional Laplacians on ellipsoids
Authors:
Nicola Abatangelo,
Sven Jarohs,
Alberto Saldaña
Abstract:
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$.…
▽ More
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.
△ Less
Submitted 18 September, 2020; v1 submitted 19 May, 2020;
originally announced May 2020.
-
A new look at the fractional Poisson problem via the Logarithmic Laplacian
Authors:
Sven Jarohs,
Alberto Saldana,
Tobias Weth
Abstract:
We analyze the $s$-dependence of solutions $u_s$ to the family of fractional Poisson problems $(-Δ)^s u =f$ in $Ω$, $u \equiv 0$ on $\mathbb{R}^N\setminus Ω$ in an open bounded set $Ω\subset \mathbb{R}^N$, $s \in (0,1)$. In the case where $Ω$ is of class $C^2$ and $f \in C^α(\barΩ)$ for some $α>0$, we show that the map $(0,1) \to L^\infty(Ω)$, $s\mapsto u_s$ is of class $C^1$, and we characterize…
▽ More
We analyze the $s$-dependence of solutions $u_s$ to the family of fractional Poisson problems $(-Δ)^s u =f$ in $Ω$, $u \equiv 0$ on $\mathbb{R}^N\setminus Ω$ in an open bounded set $Ω\subset \mathbb{R}^N$, $s \in (0,1)$. In the case where $Ω$ is of class $C^2$ and $f \in C^α(\barΩ)$ for some $α>0$, we show that the map $(0,1) \to L^\infty(Ω)$, $s\mapsto u_s$ is of class $C^1$, and we characterize the derivative $\partial_s u_s$ in terms of the logarithmic Laplacian of $f$. As a corollary, we derive pointwise monotonicity properties of the solution map $s \mapsto u_s$ under suitable assumptions on $f$ and $Ω$. Moreover, we derive explicit bounds for the corresponding Green operator on arbitrary bounded domains which are new even for the case $s=1$, i.e., for the local Dirichlet problem $-Δu = f$ in $Ω$, $u \equiv 0$ on $\partial Ω$.
△ Less
Submitted 18 September, 2020; v1 submitted 27 October, 2019;
originally announced October 2019.
-
Foliated Schwarz symmetry of solutions to a cooperative system of equations involving nonlocal operators
Authors:
Antonio Greco,
Sven Jarohs
Abstract:
In this paper, we prove foliated Schwarz symmetry of solutions to a cooperatively coupled system of equations involving nonlocal operators. Here, the class of nonlocal operators covers in particular the case of the fractional Laplacian. Moreover, we give an explicit example of a nonlocal nonlinear system, in which our result can be applied.
In this paper, we prove foliated Schwarz symmetry of solutions to a cooperatively coupled system of equations involving nonlocal operators. Here, the class of nonlocal operators covers in particular the case of the fractional Laplacian. Moreover, we give an explicit example of a nonlocal nonlinear system, in which our result can be applied.
△ Less
Submitted 16 October, 2019;
originally announced October 2019.
-
Gradient estimates in fractional Dirichlet problems
Authors:
Mouhamed Moustapha Fall,
Sven Jarohs
Abstract:
We obtain some fine gradient estimates near the boundary for solutions to fractional elliptic problems subject to exterior Dirichlet boundary conditions. Our results provide, in particular, the sign of the normal derivative of such solutions near the boundary of the underlying domain.
We obtain some fine gradient estimates near the boundary for solutions to fractional elliptic problems subject to exterior Dirichlet boundary conditions. Our results provide, in particular, the sign of the normal derivative of such solutions near the boundary of the underlying domain.
△ Less
Submitted 16 September, 2019;
originally announced September 2019.
-
On overdetermind problems for a general class of nonlocal operators
Authors:
Anup Biswas,
Sven Jarohs
Abstract:
We study the overdetermined problem for a large family of non-local operators given by generators of subordinate Brownian motions. In particular, this family includes the fractional Laplacian, relativistic stable operators etc. We consider these problems in bounded domains, exterior domains, and in annular domains and we show that under suitable conditions, the domains and solutions are both radia…
▽ More
We study the overdetermined problem for a large family of non-local operators given by generators of subordinate Brownian motions. In particular, this family includes the fractional Laplacian, relativistic stable operators etc. We consider these problems in bounded domains, exterior domains, and in annular domains and we show that under suitable conditions, the domains and solutions are both radially symmetric. Our method uses both analytic and probabilistic tools.
△ Less
Submitted 18 June, 2025; v1 submitted 3 April, 2019;
originally announced April 2019.
-
Local compactness and nonvanishing for weakly singular nonlocal quadratic forms
Authors:
Sven Jarohs,
Tobias Weth
Abstract:
In this work we study a class of nonlocal quadratic forms given by \[ \mathcal{E}_j(u,v)=\frac{1}{2}\int_{\mathbb{R}^N}\int_{\mathbb{R}^N}(u(x)-u(y))(v(x)-v(y))j(x-y)\ dxdy, \] where $j:\mathbb{R}^N\to[0,\infty]$ is a measurable even function with $\min\{1,|\cdot|^2\}j\in L^1(\mathbb{R}^N)$. Assuming merely $j\notin L^1(\mathbb{R}^N)$, we show local compactness of the embedding…
▽ More
In this work we study a class of nonlocal quadratic forms given by \[ \mathcal{E}_j(u,v)=\frac{1}{2}\int_{\mathbb{R}^N}\int_{\mathbb{R}^N}(u(x)-u(y))(v(x)-v(y))j(x-y)\ dxdy, \] where $j:\mathbb{R}^N\to[0,\infty]$ is a measurable even function with $\min\{1,|\cdot|^2\}j\in L^1(\mathbb{R}^N)$. Assuming merely $j\notin L^1(\mathbb{R}^N)$, we show local compactness of the embedding $\mathcal{D}^j(\mathbb{R}^N)\hookrightarrow L^2(\mathbb{R}^N)$, where $\mathcal{D}^j(\mathbb{R}^N)$ denotes the space of functions $u\in L^2(\mathbb{R}^N)$ with $\mathcal{E}_j(u,u)<\infty$. Using this local compactness, we establish an alternative which allows to distinguish vanishing and nonvanishing of bounded sequences in $\mathcal{D}^j(\mathbb{R}^N)$. As an application, we show the existence of maximizers for a class of integral functionals defined on the unit sphere in $\mathcal{D}^j(\mathbb{R}^N)$. Our main results extend to cylindrical unbounded sets of the type $Ω= U \times \mathbb{R}^k$, where $U \subset \mathbb{R}^{N-k}$ is open and bounded. Finally, we note that a Poincaré inequality associated with $\mathcal{E}_j$ holds for unbounded domains of this type, thereby extending previously known results for bounded domains.
△ Less
Submitted 30 November, 2018;
originally announced November 2018.
-
Positive powers of the Laplacian in the half-space under Dirichlet boundary conditions
Authors:
Nicola Abatangelo,
Serena Dipierro,
Mouhamed Moustapha Fall,
Sven Jarohs,
Alberto Saldaña
Abstract:
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 kno…
▽ More
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.
△ Less
Submitted 13 August, 2018; v1 submitted 13 June, 2018;
originally announced June 2018.
-
Positive powers of the Laplacian: from hypersingular integrals to boundary value problems
Authors:
Nicola Abatangelo,
Sven Jarohs,
Alberto Saldaña
Abstract:
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 prov…
▽ More
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.
△ Less
Submitted 4 September, 2017;
originally announced September 2017.
-
Integral representation of solutions to higher-order fractional Dirichlet problems on balls
Authors:
Nicola Abatangelo,
Sven Jarohs,
Alberto Saldaña
Abstract:
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…
▽ More
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.
△ Less
Submitted 18 September, 2018; v1 submitted 12 July, 2017;
originally announced July 2017.
-
Strong comparison principle for the fractional $p$-Laplacian and applications to starshaped rings
Authors:
Sven Jarohs
Abstract:
In the following we show the strong comparison principle for the fractional $p$-Laplacian, i.e. we analyze functions $v,w$ which satisfy $v\geq w$ in $\mathbb{R}^N$ and
\[
(-Δ)^s_pv+q(x)|v|^{p-2}v\geq (-Δ)^s_pw+q(x)|w|^{p-2}w \quad \text{in $D$,}
\] where $s\in(0,1)$, $p>1$, $D\subset \mathbb{R}^N$ is an open set, and $q\in L^{\infty}(\mathbb{R}^N)$ is a nonnegative function. Under suitable…
▽ More
In the following we show the strong comparison principle for the fractional $p$-Laplacian, i.e. we analyze functions $v,w$ which satisfy $v\geq w$ in $\mathbb{R}^N$ and
\[
(-Δ)^s_pv+q(x)|v|^{p-2}v\geq (-Δ)^s_pw+q(x)|w|^{p-2}w \quad \text{in $D$,}
\] where $s\in(0,1)$, $p>1$, $D\subset \mathbb{R}^N$ is an open set, and $q\in L^{\infty}(\mathbb{R}^N)$ is a nonnegative function. Under suitable conditions on $s,p$ and some regularity assumptions on $v,w$ we show that either $v\equiv w$ in $\mathbb{R}^N$ or $v>w$ in $D$. Moreover, we apply this result to analyze the geometry of nonnegative solutions in starshaped rings and in the half space.
△ Less
Submitted 30 November, 2017; v1 submitted 5 June, 2017;
originally announced June 2017.
-
On the strong maximum principle for nonlocal operators
Authors:
Sven Jarohs,
Tobias Weth
Abstract:
In this paper we derive a strong maximum principle for weak supersolutions of nonlocal equations of the form $Iu=c(x) u$ in $Ω$, where $Ω\subset \mathbb{R}^N$ is a domain, $c\in L^{\infty}(Ω)$ and $I$ is an operator of the form $Iu(x)=P.V.\int_{\mathbb{R}^N}(u(x)-u(y))j(x-y)\ dy$ with a nonnegative kernel function $j$. We formulate minimal positivity assumptions on $j$ corresponding to a class of…
▽ More
In this paper we derive a strong maximum principle for weak supersolutions of nonlocal equations of the form $Iu=c(x) u$ in $Ω$, where $Ω\subset \mathbb{R}^N$ is a domain, $c\in L^{\infty}(Ω)$ and $I$ is an operator of the form $Iu(x)=P.V.\int_{\mathbb{R}^N}(u(x)-u(y))j(x-y)\ dy$ with a nonnegative kernel function $j$. We formulate minimal positivity assumptions on $j$ corresponding to a class of operators which includes highly anisotropic variants of the fractional Laplacian. Somewhat surprisingly, this problem leads to the study of general lattices in $\mathbb{R}^N$. Our results extend to the regional variant of the operator $I$ and, under weak additional assumptions, also to the case of $x$-dependent kernel functions.
△ Less
Submitted 5 November, 2018; v1 submitted 28 February, 2017;
originally announced February 2017.
-
Starshape of the superlevel sets of solutions to equations involving the fractional Laplacian in starshaped rings
Authors:
Sven Jarohs,
Tadeusz Kulczycki,
Paolo Salani
Abstract:
In the present work we study solutions of the problem $-(-Δ)^{α/2}u = f(x,u)$ in $D_0\setminus \overline{D}_1$, with exterior conditions $u = 0$ in $R^N \setminus D_0$ and $u = 1$ in $\overline{D}_1$, where $D_1, D_0 \subset R^N$ are open sets such that $\overline{D}_1 \subset D_0$, $α\in (0,2)$, and $f$ is a nonlinearity. Under different assumptions on $f$ we prove that, if $D_0$ and $D_1$ are st…
▽ More
In the present work we study solutions of the problem $-(-Δ)^{α/2}u = f(x,u)$ in $D_0\setminus \overline{D}_1$, with exterior conditions $u = 0$ in $R^N \setminus D_0$ and $u = 1$ in $\overline{D}_1$, where $D_1, D_0 \subset R^N$ are open sets such that $\overline{D}_1 \subset D_0$, $α\in (0,2)$, and $f$ is a nonlinearity. Under different assumptions on $f$ we prove that, if $D_0$ and $D_1$ are starshaped with respect to the same point $\bar{x} \in \overline{D}_1$, then the same occurs for every superlevel set of $u$.
△ Less
Submitted 27 April, 2018; v1 submitted 9 January, 2017;
originally announced January 2017.
-
On the maximum principle for higher-order fractional Laplacians
Authors:
Nicola Abatangelo,
Sven Jarohs,
Alberto Saldaña
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 17 September, 2018; v1 submitted 4 July, 2016;
originally announced July 2016.
-
Symmetry of solutions to nonlocal nonlinear boundary value problems in radial sets
Authors:
Sven Jarohs
Abstract:
For open radial sets $Ω\subset \mathbb{R}^N$, $N\geq 2$ we consider the nonlinear problem \[ (P)\quad Iu=f(|x|,u) \quad\text{in $Ω$,}\quad u\equiv 0\quad \text{on $\mathbb{R}^N\setminus Ω$ and }\lim_{|x|\to\infty} u(x)=0, \] where $I$ is a nonlocal operator and $f$ is a nonlinearity. Under mild symmetry and monotonicity assumptions on $I$, $f$ and $Ω$ we show that any continuous bounded solution o…
▽ More
For open radial sets $Ω\subset \mathbb{R}^N$, $N\geq 2$ we consider the nonlinear problem \[ (P)\quad Iu=f(|x|,u) \quad\text{in $Ω$,}\quad u\equiv 0\quad \text{on $\mathbb{R}^N\setminus Ω$ and }\lim_{|x|\to\infty} u(x)=0, \] where $I$ is a nonlocal operator and $f$ is a nonlinearity. Under mild symmetry and monotonicity assumptions on $I$, $f$ and $Ω$ we show that any continuous bounded solution of $(P)$ is axial symmetric once it satisfies a simple reflection inequality with respect to a hyperplane. In the special case where $f$ does not depend on $|x|$, we show that any nonnegative nontrivial continuous bounded solution of $(P)$ in $\mathbb{R}^N$ is radially symmetric (up to translation) and strictly decreasing in its radial direction. Our proves rely on different variants of maximum principles for antisymmetric supersolutions. As an application, we prove an axial symmetry result for minimizers of an energy functional associated to $(P)$.
△ Less
Submitted 9 December, 2015;
originally announced December 2015.
-
Symmetry via antisymmetric maximum principles in nonlocal problems of variable order
Authors:
Sven Jarohs,
Tobias Weth
Abstract:
We consider the nonlinear problem \[(P) \;\; I u=f(x,u) \text{ in $Ω$,} \;\; u=0 \text{ on $\mathbb{R}^{N}\setminusΩ$ }\] in an open bounded set $Ω\subset\mathbb{R}^{N}$, where $I$ is a nonlocal operator which may be anisotropic and may have varying order. We assume mild symmetry and monotonicity assumptions on $I$, $Ω$ and the nonlinearity $f$ with respect to a fixed direction, say $x_1$, and we…
▽ More
We consider the nonlinear problem \[(P) \;\; I u=f(x,u) \text{ in $Ω$,} \;\; u=0 \text{ on $\mathbb{R}^{N}\setminusΩ$ }\] in an open bounded set $Ω\subset\mathbb{R}^{N}$, where $I$ is a nonlocal operator which may be anisotropic and may have varying order. We assume mild symmetry and monotonicity assumptions on $I$, $Ω$ and the nonlinearity $f$ with respect to a fixed direction, say $x_1$, and we show that any nonnegative weak solution $u$ of $(P)$ is symmetric in $x_1$. Moreover, we have the following alternative: Either $u\equiv 0$ in $Ω$, or $u$ is strictly decreasing in $|x_1|$. The proof relies on new maximum principles for antisymmetric supersolutions of an associated class of linear problems.
△ Less
Submitted 24 June, 2014;
originally announced June 2014.
-
Overdetermined problems with fractional Laplacian
Authors:
Mouhamed Moustapha Fall,
Sven Jarohs
Abstract:
Let $N\geq 1$ and $s\in (0,1)$. In the present work we characterize bounded open sets $Ω$ with $ C^2$ boundary (\textit{not necessarily connected}) for which the following overdetermined problem \begin{equation*} ( -Δ)^s u = f(u) \text{ in $Ω$,} \qquad u=0 \text{ in $\mathbb{R}^N\setminus Ω$,} \qquad(\partial_η)_s u=Const. \text{ on $\partial Ω$} \end{equation*} has a nonnegative and nontrivial so…
▽ More
Let $N\geq 1$ and $s\in (0,1)$. In the present work we characterize bounded open sets $Ω$ with $ C^2$ boundary (\textit{not necessarily connected}) for which the following overdetermined problem \begin{equation*} ( -Δ)^s u = f(u) \text{ in $Ω$,} \qquad u=0 \text{ in $\mathbb{R}^N\setminus Ω$,} \qquad(\partial_η)_s u=Const. \text{ on $\partial Ω$} \end{equation*} has a nonnegative and nontrivial solution, where $η$ is the outer unit normal vectorfield along $\partialΩ$ and for $x_0\in\partialΩ$ \[ \left(\partial_η\right)_{s}u(x_{0})=-\lim_{t\to 0}\frac{u(x_{0}-tη(x_0))}{t^s}. \]
Under mild assumptions on $f$, we prove that $Ω$ must be a ball. In the special case $f\equiv 1$, we obtain an extension of Serrin's result in 1971. The fact that $Ω$ is not assumed to be connected is related to the nonlocal property of the fractional Laplacian.
The main ingredients in our proof are maximum principles and the method of moving planes.
△ Less
Submitted 18 June, 2025; v1 submitted 29 November, 2013;
originally announced November 2013.
-
Asymptotic symmetry for a class of nonlinear fractional reaction-diffusion equations
Authors:
Sven Jarohs,
Tobias Weth
Abstract:
We study the nonlinear fractional reaction diffusion equation $\partial_{t}u + (-Δ)^{s} u= f(t,x,u)$, $s\in(0,1)$ in a bounded domain $Ω$ together with Dirichlet boundary conditions on $\R^N \setminus Ω$. We prove asymptotic symmetry of nonnegative globally bounded solutions in the case where the underlying data obeys some symmetry and monotonicity assumptions. More precisely, we assume that $Ω$ i…
▽ More
We study the nonlinear fractional reaction diffusion equation $\partial_{t}u + (-Δ)^{s} u= f(t,x,u)$, $s\in(0,1)$ in a bounded domain $Ω$ together with Dirichlet boundary conditions on $\R^N \setminus Ω$. We prove asymptotic symmetry of nonnegative globally bounded solutions in the case where the underlying data obeys some symmetry and monotonicity assumptions. More precisely, we assume that $Ω$ is symmetric with respect to reflection at a hyperplane, say ${x_1=0}$, and convex in the $x_1$-direction, and that the nonlinearity $f$ is even in $x_1$ and nonincreasing in $|x_1|$. Under rather weak additional technical assumptions, we then show that any nonzero element in the $ω$-limit set of nonnegative globally bounded solution is even in $x_1$ and strictly decreasing in $|x_1|$. This result, which is obtained via a series of new estimates for antisymmetric supersolutions of a corresponding family of linear equations, implies a strong maximum type principle which is not available in the non-fractional case $s=1$.
△ Less
Submitted 23 August, 2013; v1 submitted 9 January, 2013;
originally announced January 2013.
