Showing 1–50 of 58 results for author: Fall, M M

Second radial eigenfunctions to a fractional Dirichlet problem and uniqueness for a semilinear equation

Authors: Mouhamed Moustapha Fall, Tobias Weth

Abstract: We analyze the shape of radial second Dirichlet eigenfunctions of fractional Schrödinger type operators of the form $(-Δ)^s +V$ in the unit ball $B$ in $\mathbb{R}^N$ with a nondecreasing radial potential $V$. Specifically, we show that the eigenspace corresponding to the second radial eigenvalue is simple and spanned by an eigenfunction $u$ which changes sign precisely once in the radial variable… ▽ More We analyze the shape of radial second Dirichlet eigenfunctions of fractional Schrödinger type operators of the form $(-Δ)^s +V$ in the unit ball $B$ in $\mathbb{R}^N$ with a nondecreasing radial potential $V$. Specifically, we show that the eigenspace corresponding to the second radial eigenvalue is simple and spanned by an eigenfunction $u$ which changes sign precisely once in the radial variable and does not have zeroes anywhere else in $B$. Moreover, by a new Hopf type lemma for supersolutions to a class of degenerate mixed boundary value problems, we show that $u$ has a nonvanishing fractional boundary derivative on $\partial B$. We apply this result to prove uniqueness and nondegeneracy of positive ground state solutions to the problem $(-Δ)^s u+λu=u^p$ on ${B}$, $\; u=0$ on $\mathbb{R}^N\setminus B$. Here $s\in (0,1)$, $λ\geq 0$ and $p>1$ is strictly smaller than the critical Sobolev exponent. △ Less

Submitted 3 May, 2024; originally announced May 2024.

Comments: 22 pages

Nondegeneracy properties and uniqueness of positive solutions to a class of fractional semilinear equations

Authors: Mouhamed Moustapha Fall, Tobias Weth

Abstract: We prove that positive solutions $u\in H^s(\mathbb{R}^N)$ to the equation $(-Δ)^s u+ u=u^p$ in $\mathbb{R}^N$ are nonradially nondegenerate, for all $s\in (0,1)$, $N\geq 1$ and $p>1$ strictly smaller than the critical Sobolev exponent. By this we mean that the linearized equation $(-Δ)^s w+ w-pu^{p-1}w = 0$ does not admit nonradial solutions beside the directional derivatives of $u$. Letting $B$ b… ▽ More We prove that positive solutions $u\in H^s(\mathbb{R}^N)$ to the equation $(-Δ)^s u+ u=u^p$ in $\mathbb{R}^N$ are nonradially nondegenerate, for all $s\in (0,1)$, $N\geq 1$ and $p>1$ strictly smaller than the critical Sobolev exponent. By this we mean that the linearized equation $(-Δ)^s w+ w-pu^{p-1}w = 0$ does not admit nonradial solutions beside the directional derivatives of $u$. Letting $B$ be the unit centered ball and $λ_1(B)$ the first Dirichlet eigenvalue of the fractional Laplacian $(-Δ)^s$, we also prove that positive solutions to $(-Δ)^s u+λu=u^p$ in ${B}$ with $u=0$ on $\mathbb{R}^N\setminus B$, are nonradially nondegenerate for any $λ> -λ_1(B)$ in the sense that the linearized equation does not admit nonradial solutions. From these results, we then deduce uniqueness and full nondegeneracy of positive solutions in some special cases. In particular, in the case $N=1$, we prove that the equation $(-Δ)^s u+ u=u^2$ in $\mathbb{R}$ or in $B$, with zero exterior data, admits a unique even solution which is fully nondegenerate in the optimal range $s \in (\frac{1}{6},1)$, thus extending the classical uniqueness result of Amick and Toland on the Benjamin-Ono equation. Moreover, in the case $N=1$, $λ=0$, we also prove the uniqueness and full nondegeneracy of positive solutions for the Dirichlet problem in $B$ with arbitrary subcritical exponent $p$. Finally, we determine the unique positive ground state solution of $(-Δ)^{\frac{1}{2}} u+ u=u^{p}$ in $\mathbb{R}^N$, $N \ge 1$ with $p=1+\frac{2}{N+1}$ and compute the sharp constant in the associated Gagliardo-Nirenberg inequality $$ \|u\|_{L^{p+1}(\mathbb{R}^N)} \le C \|(-Δ)^{\frac{1}{4}} u\|_{L^2(\mathbb{R}^N)}^{\frac{N}{N+2}} \|u\|_{L^2(\mathbb{R}^N)}^{\frac{2}{N+2}}. $$ △ Less

Submitted 10 October, 2024; v1 submitted 16 October, 2023; originally announced October 2023.

Comments: 32 pages. The first and second uploaded version contained a mistake, therefore the main results of the work were modified and the proofs were corrected in the third uploaded version on April 5, 2024. In this revised version we improve our previous results and prove uniqueness and nondegeneracy results in some special cases

Generic properties of eigenvalues of the fractional Laplacian

Authors: Mouhamed Moustapha Fall, Marco Ghimenti, Anna Maria Micheletti, Angela Pistoia

Abstract: We consider the Dirichlet eigenvalues of the fractional Laplacian $(-Δ)^s$, with $s\in (0,1)$, related to a smooth bounded domain $Ω$. We prove that there exists an arbitrarily small perturbation $\tildeΩ=(I+ψ)(Ω)$ of the original domain such that all Dirichlet eigenvalues of the fractional Laplacian associated to $\tildeΩ$ are simple. As a consequence we obtain that all Dirichlet eigenvalues of t… ▽ More We consider the Dirichlet eigenvalues of the fractional Laplacian $(-Δ)^s$, with $s\in (0,1)$, related to a smooth bounded domain $Ω$. We prove that there exists an arbitrarily small perturbation $\tildeΩ=(I+ψ)(Ω)$ of the original domain such that all Dirichlet eigenvalues of the fractional Laplacian associated to $\tildeΩ$ are simple. As a consequence we obtain that all Dirichlet eigenvalues of the fractional Laplacian on an interval are simple. In addition, we prove that for a generic choice of parameters all the eigenvalues of some non-local operators are also simple. △ Less

Submitted 9 June, 2023; v1 submitted 14 April, 2023; originally announced April 2023.

The Schiffer problem on the cylinder and on the $2$-sphere

Authors: Mouhamed Moustapha Fall, Ignace Aristide Minlend, Tobias Weth

Abstract: We prove the existence of a family of compact subdomains $Ω$ of the flat cylinder $\mathbb{R}^N\times \mathbb{R}/2π\mathbb{Z}$ for which the Neumann eigenvalue problem for the Laplacian on $Ω$ admits eigenfunctions with constant Dirichlet values on $\partial Ω$. These domains $Ω$ have the property that their boundaries $\partial Ω$ have nonconstant principal curvatures. In the context of ambient… ▽ More We prove the existence of a family of compact subdomains $Ω$ of the flat cylinder $\mathbb{R}^N\times \mathbb{R}/2π\mathbb{Z}$ for which the Neumann eigenvalue problem for the Laplacian on $Ω$ admits eigenfunctions with constant Dirichlet values on $\partial Ω$. These domains $Ω$ have the property that their boundaries $\partial Ω$ have nonconstant principal curvatures. In the context of ambient Riemannian manifolds, our construction provides the first examples of such domains whose boundaries are neither homogeneous nor isoparametric hypersurfaces. The functional analytic approach we develop in this paper overcomes an inherent loss of regularity of the problem in standard function spaces. With the help of this approach, we also construct a related family of subdomains of the $2$-sphere $S^2$. By this we disprove a conjecture in \cite{Souam}. △ Less

Submitted 13 May, 2024; v1 submitted 29 March, 2023; originally announced March 2023.

Comments: Minor corrections have been made. To appear in J. Eur. Math. Soc. (JEMS)

Short time existence and smoothness of the nonlocal mean curvature flow of graphs

Authors: Anoumou Attiogbe, Mouahmed Moustapha Fall, Tobias Weth

Abstract: We consider the geometric evolution problem of entire graphs moving by fractional mean curvature. For this, we study the associated nonlocal quasilinear evolution equation satisfied by the family of graph functions. We establish, using an analytic semigroup approach, short time existence, uniqueness and optimal Hölder regularity in time and space of classical solutions of the nonlocal equation, de… ▽ More We consider the geometric evolution problem of entire graphs moving by fractional mean curvature. For this, we study the associated nonlocal quasilinear evolution equation satisfied by the family of graph functions. We establish, using an analytic semigroup approach, short time existence, uniqueness and optimal Hölder regularity in time and space of classical solutions of the nonlocal equation, depending on the regularity of the initial graph. The method also yields $C^\infty-$smoothness estimates of the evolving graphs for positive times. △ Less

Submitted 2 May, 2022; originally announced May 2022.

Comments: 30 pages

On an electrostatic problem and a new class of exceptional subdomains of $\mathbb{R}^3$

Authors: Mouhamed Moustapha Fall, Ignace Aristide Minlend, Tobias Weth

Abstract: We study the existence of nontrivial unbounded surfaces $S\subset \mathbb{R}^3$ with the property that the constant charge distribution on $S$ is an electrostatic equilibrium, i.e. the resulting electrostatic force is normal to the surface at each point on $S$. Among bounded regular surfaces $S$, only the round sphere has this property by a result of Reichel $[23]$ (see also Mendez and Reichel… ▽ More We study the existence of nontrivial unbounded surfaces $S\subset \mathbb{R}^3$ with the property that the constant charge distribution on $S$ is an electrostatic equilibrium, i.e. the resulting electrostatic force is normal to the surface at each point on $S$. Among bounded regular surfaces $S$, only the round sphere has this property by a result of Reichel $[23]$ (see also Mendez and Reichel $[16]$) confirming a conjecture of P. Gruber. In the present paper, we show the existence of nontrivial exceptional domains $Ω\subset \mathbb{R}^3$ whose boundaries $S=\partial Ω$ enjoy the above property. △ Less

Submitted 28 December, 2022; v1 submitted 29 March, 2022; originally announced March 2022.

Comments: Minor corrections made. To Appear in SIAM Journal on Mathematical Analysis

A generalized fractional Pohozaev identity and applications

Authors: Sidy Moctar Djitte, Mouhamed Moustpha Fall, Tobias Weth

Abstract: We prove a fractional Pohozaev type identity in a generalized framework and discuss its applications. Specifically, we shall consider applications to nonexistence of solutions in the case of supercritical semilinear Dirichlet problems and regarding a Hadamard formula for the derivative of Dirichlet eigenvalues of the fractional Laplacian with respect to domain deformations. We also derive the simp… ▽ More We prove a fractional Pohozaev type identity in a generalized framework and discuss its applications. Specifically, we shall consider applications to nonexistence of solutions in the case of supercritical semilinear Dirichlet problems and regarding a Hadamard formula for the derivative of Dirichlet eigenvalues of the fractional Laplacian with respect to domain deformations. We also derive the simplicity of radial eigenvalues in the case of radial bounded domains and apply the Hadamard formula to this case. △ Less

Submitted 20 December, 2021; originally announced December 2021.

A Hopf lemma for the regional fractional Laplacian

Authors: Nicola Abatangelo, Mouhamed Moustapha Fall, Remi Yvant Temgoua

Abstract: 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 ma… ▽ More 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. △ Less

Submitted 17 May, 2022; v1 submitted 17 December, 2021; originally announced December 2021.

Comments: typos corrected

Existence results for nonlocal problems governed by the regional fractional Laplacian

Authors: Mouhamed Moustapha Fall, Remi Yvant Temgoua

Abstract: The aim of the present paper is to study existence results of minimizers of the critical fractional Sobolev constant on bounded domains. Under some values of the fractional parameter we show that the best constant is achieved. If moreover the underlying domain is a ball, we obtain positive radial minimizers for all possible values of the fractional parameter in higher dimension, while we impose a… ▽ More The aim of the present paper is to study existence results of minimizers of the critical fractional Sobolev constant on bounded domains. Under some values of the fractional parameter we show that the best constant is achieved. If moreover the underlying domain is a ball, we obtain positive radial minimizers for all possible values of the fractional parameter in higher dimension, while we impose a positive mass condition in low dimension. △ Less

Submitted 21 February, 2022; v1 submitted 12 December, 2021; originally announced December 2021.

Calderon-Zygmund theory for non-convolution type nonlocal equations with continuous coefficient

Authors: Mouhamed Moustapha Fall, Tadele Mengesha, Armin Schikorra, Sasikarn Yeepo

Abstract: Given $2\leq p<\infty$, $s\in (0, 1)$ and $t\in (1, 2s)$, we establish interior $W^{t,p}$ Calderon-Zygmund estimates for solutions of nonlocal equations of the form \[ \int_Ω \int_Ω K\left (x,|x-y|,\frac{x-y}{|x-y|}\right ) \frac{(u(x)-u(y))(\varphi(x)-\varphi(y))}{|x-y|^{n+2s}} dx dy = g[\varphi], \quad \forall φ\in C_c^{\infty}(Ω) \] where $Ω\subset \mathbb{R}^{n}$ is an open set. Here we as… ▽ More Given $2\leq p<\infty$, $s\in (0, 1)$ and $t\in (1, 2s)$, we establish interior $W^{t,p}$ Calderon-Zygmund estimates for solutions of nonlocal equations of the form \[ \int_Ω \int_Ω K\left (x,|x-y|,\frac{x-y}{|x-y|}\right ) \frac{(u(x)-u(y))(\varphi(x)-\varphi(y))}{|x-y|^{n+2s}} dx dy = g[\varphi], \quad \forall φ\in C_c^{\infty}(Ω) \] where $Ω\subset \mathbb{R}^{n}$ is an open set. Here we assume $K$ is bounded, nonnegative and continuous in the first entry -- and ellipticity is ensured by assuming that $K$ is strictly positive in a cone. The setup is chosen so that it is applicable for nonlocal equations on manifolds, but the structure of the equation is general enough that it also applies to the certain fractional $p$-Laplace equations around points where $u \in C^1$ and $|\nabla u| \neq 0$. △ Less

Submitted 10 September, 2021; originally announced September 2021.

Global Schauder theory for minimizers of the $H^s(Ω)$ energy

Authors: Mouhamed Moustapha Fall, Xavier Ros-Oton

Abstract: We study the regularity of minimizers of the functional $\mathcal E(u):= [u]_{H^s(Ω)}^2 +\int_Ωfu$. This corresponds to understanding solutions for the regional fractional Laplacian in $Ω\subset\mathbb R^N$. More precisely, we are interested on the global (up to the boundary) regularity of solutions, both in the case of free minimizers in $H^s(Ω)$ (i.e., Neumann problem), or in the case of Dirichl… ▽ More We study the regularity of minimizers of the functional $\mathcal E(u):= [u]_{H^s(Ω)}^2 +\int_Ωfu$. This corresponds to understanding solutions for the regional fractional Laplacian in $Ω\subset\mathbb R^N$. More precisely, we are interested on the global (up to the boundary) regularity of solutions, both in the case of free minimizers in $H^s(Ω)$ (i.e., Neumann problem), or in the case of Dirichlet condition $u\in H^s_0(Ω)$ when $s>\frac12$. Our main result establishes the sharp regularity of solutions in both cases: $u\in C^{2s+α}(\overlineΩ)$ in the Neumann case, and $u/δ^{2s-1}\in C^{1+α}(\overlineΩ)$ in the Dirichlet case. Here, $δ$ is the distance to $\partialΩ$, and $α<α_s$, with $α_s\in (0,1-s)$ and $2s+α_s>1$. We also show the optimality of our result: these estimates fail for $α>α_s$, even when $f$ and $\partialΩ$ are $C^\infty$. △ Less

Submitted 14 June, 2021; originally announced June 2021.

Nonlocal diffusion of smooth sets

Authors: Anoumou Attiogbe, El Hadji Abdoulaye Thiam, Mouhamed Moustapha Fall

Abstract: We consider normal velocity of smooth sets evolving by the $s-$fractional diffusion. We prove that for small time, the normal velocity of such sets is nearly proportional to the mean curvature of the boundary of the initial set for $s\in [\frac{1}{2}, 1)$ while, for $s\in (0, \frac{1}{2})$, it is nearly proportional to the fractional mean curvature of the initial set. Our results show that the mot… ▽ More We consider normal velocity of smooth sets evolving by the $s-$fractional diffusion. We prove that for small time, the normal velocity of such sets is nearly proportional to the mean curvature of the boundary of the initial set for $s\in [\frac{1}{2}, 1)$ while, for $s\in (0, \frac{1}{2})$, it is nearly proportional to the fractional mean curvature of the initial set. Our results show that the motion by (fractional) mean curvature flow can be approximated by fractional heat diffusion and by a diffusion by means of harmonic extension of smooth sets. △ Less

Submitted 9 January, 2021; originally announced January 2021.

Comments: 18 pages

Analysis of COVID-19 evolution in Senegal: impact of health care capacity

Authors: Mouhamed M. Fall, Babacar M. Ndiaye, Ousmane Seydi, Diaraf Seck

Abstract: We consider a compartmental model from which we incorporate a time-dependent health care capacity having a logistic growth. This allows us to take into account the Senegalese authorities response in anticipating the growing number of infected cases. We highlight the importance of anticipation and timing to avoid overwhelming that could impact considerably the treatment of patients and the well-bei… ▽ More We consider a compartmental model from which we incorporate a time-dependent health care capacity having a logistic growth. This allows us to take into account the Senegalese authorities response in anticipating the growing number of infected cases. We highlight the importance of anticipation and timing to avoid overwhelming that could impact considerably the treatment of patients and the well-being of health care workers. A condition, depending on the health care capacity and the flux of new hospitalized individuals, to avoid possible overwhelming is provided. We also use machine learning approach to project forward the cumulative number of cases from March 02, 2020, until 1st December, 2020. △ Less

Submitted 12 November, 2020; originally announced November 2020.

Foliation of an asymptotically flat end by critical capacitors

Authors: Mouhammed Moustapha Fall, Ignace Aristide Minlend, Jesse Ratzkin

Abstract: We construct a foliation of an asymptotically flat end of a Riemannian manifold by hypersurfaces which are critical points of a natural functional arising in potential theory. These hypersurfaces are perturbations of large coordinate spheres, and they admit solutions of a certain over-determined boundary value problem involving the Laplace-Beltrami operator. In a key step we must invert the Dirich… ▽ More We construct a foliation of an asymptotically flat end of a Riemannian manifold by hypersurfaces which are critical points of a natural functional arising in potential theory. These hypersurfaces are perturbations of large coordinate spheres, and they admit solutions of a certain over-determined boundary value problem involving the Laplace-Beltrami operator. In a key step we must invert the Dirichlet-to-Neumann operator, highlighting the non-local nature of our problem △ Less

Submitted 10 July, 2020; originally announced July 2020.

Comments: 25 pages

MSC Class: 58J05; 58J32; 58J37; 35N10; 35N25

Journal ref: J. Geom. Anal. 32 (2022)

Regional fractional Laplacians: Boundary regularity

Authors: Mouhamed Moustapha Fall

Abstract: We study boundary regularity for solutions to a class of equations involving the so called regional fractional Lapacians $(-Δ)^s_Ω$, with $Ω\subset \mathbb{R}^N$. Recall that the regional fractional Laplacians are generated by symmetric stable processes which are not allowed to jump outside $Ω$. We consider weak solutions to the equation… ▽ More We study boundary regularity for solutions to a class of equations involving the so called regional fractional Lapacians $(-Δ)^s_Ω$, with $Ω\subset \mathbb{R}^N$. Recall that the regional fractional Laplacians are generated by symmetric stable processes which are not allowed to jump outside $Ω$. We consider weak solutions to the equation $(-Δ)^s_Ωw(x)=p.v.\int_Ω\frac{w(x)-w(y)}{|x-y|^{N+2s}}\, dy=f(x)$, for $s\in (0,1)$, subject to zero Neumann or Dirichlet boundary conditions. The boundary conditions are defined by considering $w$ as well as the test functions in the fractional Sobolev spaces $H^s(Ω)$ or $H^s_0(Ω)$ respectively. While the interior regularity is well understood for these problems, little is known in the boundary regularity, mainly for the Neumann problem. Under optimal regularity assumptions on $Ω$ and provided $f\in L^p(Ω)$, we show that $w\in C^{2s-N/p}(\overline Ω)$ in the case of zero Neumann boundary conditions. As a consequence for $2s-N/p>1$, $w\in C^{1,2s-\frac{N}{p}-1}(\overlineΩ)$. As what concerned the Dirichlet problem, we obtain ${w}/{δ^{2s-1}}\in C^{1-N/p}(\overlineΩ)$, provided $p>N$ and $s\in (1/2,1)$, where $δ(x)=\textrm{dist}(x,\partialΩ)$. To prove these results, we first classify all solutions having a certain growth at infinity when $Ω$ is a half-space and the right hand side is zero. We then carry over a fine blow up and some compactness arguments to get the results. △ Less

Submitted 22 February, 2022; v1 submitted 9 July, 2020; originally announced July 2020.

Comments: Minor changes has been done. To appear in the "Journal of Differential Equations"

Morse index versus radial symmetry for fractional Dirichlet problems

Authors: Mouhamed Moustapha Fall, Pierre Aime Feulefack, Remi Yvant Temgoua, Tobias Weth

Abstract: In this work, we provide an estimate of the Morse index of radially symmetric sign changing bounded weak solutions $u$ to the semilinear fractional Dirichlet problem $$ (-Δ)^su = f(u)\qquad \text{ in $\mathcal{B}$},\qquad \qquad u = 0\qquad \text{in $\quad\mathbb{R}^{N}\setminus \mathcal{B}$,} $$ where $s\in(0,1)$, $\mathcal{B}\subset \mathbb{R}^N… ▽ More In this work, we provide an estimate of the Morse index of radially symmetric sign changing bounded weak solutions $u$ to the semilinear fractional Dirichlet problem $$ (-Δ)^su = f(u)\qquad \text{ in $\mathcal{B}$},\qquad \qquad u = 0\qquad \text{in $\quad\mathbb{R}^{N}\setminus \mathcal{B}$,} $$ where $s\in(0,1)$, $\mathcal{B}\subset \mathbb{R}^N$ is the unit ball centred at zero and the nonlinearity $f$ is of class $C^1$. We prove that for $s\in(1/2,1)$ any radially symmetric sign changing solution of the above problem has a Morse index greater than or equal to $N+1$. If $s\in (0,1/2],$ the same conclusion holds under additional assumption on $f$. In particular, our results apply to the Dirichlet eigenvalue problem for the operator $(-Δ)^s$ in $\mathcal{B}$ for all $s\in (0,1)$, and it implies that eigenfunctions corresponding to the second Dirichlet eigenvalue in $\mathcal{B}$ are antisymmetric. This resolves a conjecture of Bañuelos and Kulczycki. △ Less

Submitted 24 March, 2021; v1 submitted 22 February, 2020; originally announced February 2020.

Comments: 18 pages

A fractional Hadamard formula and applications

Authors: Sidy Moctar Djitte, Mouhamed Moustapha Fall, Tobias Weth

Abstract: We consider the domain dependence of the best constant in the subcritical fractional Sobolev constant, $$ λ_{s,p}(Ω):=\inf \left\{ [u]_{H^s(\mathbb{R}^N)}^2,\,\, u\in C^\infty_c(Ω),\,\, \|u\|_{L^p(Ω)}=1 \right\}, $$ where $s\in (0,1)$, $Ω$ is bounded of class $C^{1,1}$ and $p\in [1, \frac{2N}{N-2s})$ if $2s<N$, $p\in [1, \infty)$ if $2s\geq N=1$. Explicitly, we derive formula for the one-sid… ▽ More We consider the domain dependence of the best constant in the subcritical fractional Sobolev constant, $$ λ_{s,p}(Ω):=\inf \left\{ [u]_{H^s(\mathbb{R}^N)}^2,\,\, u\in C^\infty_c(Ω),\,\, \|u\|_{L^p(Ω)}=1 \right\}, $$ where $s\in (0,1)$, $Ω$ is bounded of class $C^{1,1}$ and $p\in [1, \frac{2N}{N-2s})$ if $2s<N$, $p\in [1, \infty)$ if $2s\geq N=1$. Explicitly, we derive formula for the one-sided shape derivative of the mapping $Ω\mapsto λ_{s,p}(Ω)$ under domain perturbations. In the case where $ λ_{s,p}(Ω)$ admits a unique positive minimizer (e.g. $p=1$ or $p=2$), our result implies a nonlocal version of the classical variational Hadamard formula for the first eigenvalue of the Dirichlet Laplacian on $Ω$. Thanks to the formula for our one-sided shape derivative, we characterize smooth local minimizers of $λ_{s,p}(Ω)$ under volume-preserving deformations, and we find that they are balls if $p\in \{1\}\cup [2,\infty)$. Finally, we consider the maximization problem for $λ_{s,p}(Ω)$ among annular-shaped domains of fixed volume of the type $B\setminus \overline B'$, where $B$ is a fixed ball and $B'$ is ball whose position is varied within $B$. We prove that, for $p\in \{1,2\}$, the value $λ_{s,p}(B\setminus \overline B')$ is maximal when the two balls are concentric. △ Less

Submitted 4 April, 2022; v1 submitted 18 February, 2020; originally announced February 2020.

Comments: Uniqueness of minimizers for p in [1,2] is added in Lemma A.1. Accepted in Calc. Var. and PDEs

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.

Regularity results for nonlocal equations and applications

Authors: Mouhamed Moustapha Fall

Abstract: We introduce the concept of $C^{m,α}$-nonlocal operators, extending the notion of second order elliptic operator in divergence form with $C^{m,α}$-coefficients. We then derive the nonlocal analogue of the key existing results for elliptic equations in divergence form, notably the Hölder continuity of the gradient of the solutions in the case of $C^{0,α}$-coefficients and the classical Shauder esti… ▽ More We introduce the concept of $C^{m,α}$-nonlocal operators, extending the notion of second order elliptic operator in divergence form with $C^{m,α}$-coefficients. We then derive the nonlocal analogue of the key existing results for elliptic equations in divergence form, notably the Hölder continuity of the gradient of the solutions in the case of $C^{0,α}$-coefficients and the classical Shauder estimates for $C^{m+1,α}$-coefficients. We further apply the regularity results for $C^{m,α}$-nonlocal operators to derive optimal higher order regularity estimates of Lipschitz graphs with prescribed Nonlocal Mean Curvature. Applications to nonlocal equation on manifolds are also provided. △ Less

Submitted 21 August, 2020; v1 submitted 24 June, 2018; originally announced June 2018.

Comments: Minor changes and notations updated. To appear in Calc. Var. and PDE

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.

Constant Nonlocal Mean Curvatures surfaces and related problems

Authors: Mouhamed Moustapha Fall

Abstract: The notion of Nonlocal Mean Curvature (NMC) appears recently in the mathematics literature. It is an extrinsic geometric quantity that is invariant under global reparameterization of a surface and provide a natural extension of the classical mean curvature. We describe some properties of the NMC and the quasilinear differential operators that are involved when it acts on graphs. We also survey rec… ▽ More The notion of Nonlocal Mean Curvature (NMC) appears recently in the mathematics literature. It is an extrinsic geometric quantity that is invariant under global reparameterization of a surface and provide a natural extension of the classical mean curvature. We describe some properties of the NMC and the quasilinear differential operators that are involved when it acts on graphs. We also survey recent results on surfaces having constant NMC and describe their intimate link with some problems arising in the study of overdetermined boundary value problems. △ Less

Submitted 20 September, 2018; v1 submitted 11 April, 2018; originally announced April 2018.

Comments: Proc. Int. Cong. of Math. 2018 Rio de Janeiro, Vol. 1 (21-30)

Critical domains for the first nonzero Neumann eigenvalue in Riemannian manifolds

Authors: Mouhamed Moustapha Fall, Tobias Weth

Abstract: The present paper is devoted to geometric optimization problems related to the Neumann eigenvalue problem for the Laplace-Beltrami operator on bounded subdomains $Ω$ of a Riemannian manifold $(\mathcal{M},g)$. More precisely, we analyze locally extremal domains for the first nontrivial eigenvalue $μ_2(Ω)$ with respect to volume preserving domain perturbations, and we show that corresponding notion… ▽ More The present paper is devoted to geometric optimization problems related to the Neumann eigenvalue problem for the Laplace-Beltrami operator on bounded subdomains $Ω$ of a Riemannian manifold $(\mathcal{M},g)$. More precisely, we analyze locally extremal domains for the first nontrivial eigenvalue $μ_2(Ω)$ with respect to volume preserving domain perturbations, and we show that corresponding notions of criticality arise in the form of overdetermined boundary problems. Our results rely on an extension of Zanger's shape derivative formula which covers the case when $μ_2(Ω)$ is not a simple eigenvalue. In the second part of the paper, we focus on product manifolds of the form $\mathcal{M} = \mathbb{R}^k \times \mathcal{N}$, and we classify the subdomains where an associated overdetermined boundary value problem has a solution. △ Less

Submitted 20 March, 2018; originally announced March 2018.

Comments: 26 pages

Periodic patterns for a model involving short-range and long-range interactions

Authors: Mouhamed Moustapha Fall

Abstract: We consider a physical model where the total energy is governed by surface tension and attractive screened Coulomb potential on the 3-dimensional space. We obtain different periodic equilibrium patterns i.e. stationary sets for this energy, under some volume constraints. The patterns bifurcate smoothly from straight lamellae, lattices of round solid cylinders and lattices of round balls. We consider a physical model where the total energy is governed by surface tension and attractive screened Coulomb potential on the 3-dimensional space. We obtain different periodic equilibrium patterns i.e. stationary sets for this energy, under some volume constraints. The patterns bifurcate smoothly from straight lamellae, lattices of round solid cylinders and lattices of round balls. △ Less

Submitted 29 November, 2017; originally announced November 2017.

Comments: 36 pages

Asymptotic expansions and unique continuation at Dirichlet-Neumann boundary junctions for planar elliptic equations

Authors: Mouhamed Moustapha Fall, Veronica Felli, Alberto Ferrero, Alassane Niang

Abstract: We consider elliptic equations in planar domains with mixed boundary conditions of Dirichlet-Neumann type. Sharp asymptotic expansions of the solutions and unique continuation properties from the Dirichlet-Neumann junction are proved. We consider elliptic equations in planar domains with mixed boundary conditions of Dirichlet-Neumann type. Sharp asymptotic expansions of the solutions and unique continuation properties from the Dirichlet-Neumann junction are proved. △ Less

Submitted 9 November, 2017; originally announced November 2017.

MSC Class: 35C20; 35J15; 35J25

Regularity estimates for nonlocal Schrödinger equations

Authors: Mouhamed Moustapha Fall

Abstract: We prove Hölder regularity estimates up to the boundary for weak solutions $u$ to nonlocal Schrödinger equations subject to exterior Dirichlet conditions in an open set $Ω\subset \mathbb{R}^N$. The class of nonlocal operators considered here are defined, via Dirichlet forms, by kernels $K(x,y)$ bounded from above and below by $|x-y|^{N+2s}$, with $s\in (0,1)$. The entries in the equations are in s… ▽ More We prove Hölder regularity estimates up to the boundary for weak solutions $u$ to nonlocal Schrödinger equations subject to exterior Dirichlet conditions in an open set $Ω\subset \mathbb{R}^N$. The class of nonlocal operators considered here are defined, via Dirichlet forms, by kernels $K(x,y)$ bounded from above and below by $|x-y|^{N+2s}$, with $s\in (0,1)$. The entries in the equations are in some Morrey spaces and the underline domain $Ω$ satisfies some mild regularity assumptions. In the particular case of the fractional Laplacian, our results are new. When $K$ defines a nonlocal operator with sufficiently regular coefficients, we obtain Hölder estimates, up to the boundary of $ Ω$, for $u$ and the ratio $u/d^s$, with $d(x)=\textrm{dist}(x,\mathbb{R}^N\setminusΩ)$. If the kernel $K$ defines a nonlocal operator with Hölder continuous coefficients and the entries are Hölder continuous, we obtain interior $C^{2s+β}$ regularity estimates of the weak solutions $u$. Our argument is based on blow-up analysis and compact Sobolev embedding. △ Less

Submitted 11 May, 2018; v1 submitted 6 November, 2017; originally announced November 2017.

Comments: 46 pages, minor corrections were made

On isolated singularities of Kirchhoff--type Laplacian problems

Authors: Huyuan Chen, Mouhamed Moustapha Fall, Binlin Zhang

Abstract: In this paper, we study isolated singular positive solutions for the following Kirchhoff--type Laplacian problem: \begin{equation*} -\left(θ+\int_Ω |\nabla u| dx\right)Δu =u^p \quad{\rm in}\quad Ω\setminus \{0\},\qquad u=0\quad {\rm on}\quad \partial Ω, \end{equation*} where $p>1$, $θ\in \R$, $Ω$ is a bounded smooth domain containing the origin in $\R^N$ with $N\ge 2$. In the subcritical case:… ▽ More In this paper, we study isolated singular positive solutions for the following Kirchhoff--type Laplacian problem: \begin{equation*} -\left(θ+\int_Ω |\nabla u| dx\right)Δu =u^p \quad{\rm in}\quad Ω\setminus \{0\},\qquad u=0\quad {\rm on}\quad \partial Ω, \end{equation*} where $p>1$, $θ\in \R$, $Ω$ is a bounded smooth domain containing the origin in $\R^N$ with $N\ge 2$. In the subcritical case: $1<p<N/(N-2)$ if $N\ge3$, $1<p<+\infty$ if $N=2$, we employ the Schauder fixed-point theorem to derive a sequence of positive isolated singular solutions for the above problem such that $M_θ(u)>0$. To estimate $M_θ(u)$, we make use of the rearrangement argument. Furthermore, we obtain a sequence of isolated singular solutions such that $M_θ(u)<0$, by analyzing relationship between the parameter $λ$ and the unique solution $u_λ$ of $$-Δu+λu^p=kδ_0\quad{\rm in}\quad B_1(0),\qquad u=0\quad {\rm on}\quad \partial B_1(0).$$ In the supercritical case: $N/(N-2)\le p<(N+2)/(N-2)$ with $N\ge3$, we obtain two isolated singular solutions $u_i$ with $i=1,2$ such that $M_θ(u_i)>0$ under some appropriate assumptions. △ Less

Submitted 9 August, 2017; originally announced August 2017.

Comments: 24

Hardy-Sobolev inequality with singularity a curve

Authors: Mouhamed Moustapha Fall, El hadji Abdoulaye Thiam

Abstract: We consider a bounded domain $Ω$ of $\mathbb{R}^N$, $N\geq 3$, and $h$ a continuous function on $Ω$. Let $Γ$ be a closed curve contained in $Ω$. We study existence of positive solutions $u\in H^1_0(Ω)$ to the equation $$ -Δu+h u=ρ^{-σ}_Γu^{2^*_σ-1} \qquad \textrm{ in } Ω$$ where $2^*_σ:=\frac{2(N-σ)}{N-2}$, $σ\in (0,2)$, and $ρ_Γ$ is the distance function to $Γ$. For $N\geq 4$, we find a sufficien… ▽ More We consider a bounded domain $Ω$ of $\mathbb{R}^N$, $N\geq 3$, and $h$ a continuous function on $Ω$. Let $Γ$ be a closed curve contained in $Ω$. We study existence of positive solutions $u\in H^1_0(Ω)$ to the equation $$ -Δu+h u=ρ^{-σ}_Γu^{2^*_σ-1} \qquad \textrm{ in } Ω$$ where $2^*_σ:=\frac{2(N-σ)}{N-2}$, $σ\in (0,2)$, and $ρ_Γ$ is the distance function to $Γ$. For $N\geq 4$, we find a sufficient condition, given by the local geometry of the curve, for the existence of a ground-state solution. In the case $N=3$, we obtain existence of ground-state solution provided the trace of the regular part of the Green of $-Δ+h$ is positive at a point of the curve. △ Less

Submitted 7 February, 2017; originally announced February 2017.

Comments: 27 pages

Near-sphere lattices with constant nonlocal mean curvature

Authors: Xavier Cabre, Mouhamed Moustapha Fall, Tobias Weth

Abstract: We are concerned with unbounded sets of $\mathbb{R}^N$ whose boundary has constant nonlocal (or fractional) mean curvature, which we call CNMC sets. This is the equation associated to critical points of the fractional perimeter functional under a volume constraint. We construct CNMC sets which are the countable union of a certain bounded domain and all its translations through a periodic integer l… ▽ More We are concerned with unbounded sets of $\mathbb{R}^N$ whose boundary has constant nonlocal (or fractional) mean curvature, which we call CNMC sets. This is the equation associated to critical points of the fractional perimeter functional under a volume constraint. We construct CNMC sets which are the countable union of a certain bounded domain and all its translations through a periodic integer lattice of dimension $M\leq N$. Our CNMC sets form a $C^2$ branch emanating from the unit ball alone and where the parameter in the branch is essentially the distance to the closest lattice point. Thus, the new translated near-balls (or near-spheres) appear from infinity. We find their exact asymptotic shape as the parameter tends to infinity. △ Less

Submitted 20 February, 2017; v1 submitted 4 February, 2017; originally announced February 2017.

Comments: 44 pages. Only the funding acknowledgements changed

Serrin's overdetermined problem on the sphere

Authors: Mouhamed Moustapha Fall, Ignace Aristide Minlend, Tobias Weth

Abstract: We study Serrin's overdetermined boundary value problem \begin{equation*} -Δ_{S^N}\, u=1 \quad \text{ in $Ω$},\qquad u=0, \; \partial_ηu=\textrm{const} \quad \text{on $\partial Ω$} \end{equation*} in subdomains $Ω$ of the round unit sphere $S^N \subset \mathbb{R}^{N+1}$, where $Δ_{S^N}$ denotes the Laplace-Beltrami operator on $S^N$. A subdomain $Ω$ of $S^N$ is called a Serrin domain if it admit… ▽ More We study Serrin's overdetermined boundary value problem \begin{equation*} -Δ_{S^N}\, u=1 \quad \text{ in $Ω$},\qquad u=0, \; \partial_ηu=\textrm{const} \quad \text{on $\partial Ω$} \end{equation*} in subdomains $Ω$ of the round unit sphere $S^N \subset \mathbb{R}^{N+1}$, where $Δ_{S^N}$ denotes the Laplace-Beltrami operator on $S^N$. A subdomain $Ω$ of $S^N$ is called a Serrin domain if it admits a solution of this overdetermined problem. In our main result, we construct Serrin domains in $S^N$, $N \ge 2$ which bifurcate from symmetric straight tubular neighborhoods of the equator. Our result provides the first example of Serrin domains in $S^{N}$ which are not bounded by geodesic spheres. △ Less

Submitted 9 November, 2017; v1 submitted 12 December, 2016; originally announced December 2016.

Comments: Minor corrections were made, figures added. To appear in Calc. Var. and PDE

Unbounded periodic solutions to Serrin's overdetermined boundary value problem

Authors: Mouhamed Moustapha Fall, Ignace Aristide Minlend, Tobias Weth

Abstract: We study the existence of nontrivial unbounded domains $Ω$ in $\mathbb{R}^N$ such that the overdetermined problem $$ -Δu = 1 \quad \text{in $Ω$}, \qquad u=0, \quad \partial_νu=\textrm{const} \qquad \text{on $\partial Ω$} $$ admits a solution $u… ▽ More We study the existence of nontrivial unbounded domains $Ω$ in $\mathbb{R}^N$ such that the overdetermined problem $$ -Δu = 1 \quad \text{in $Ω$}, \qquad u=0, \quad \partial_νu=\textrm{const} \qquad \text{on $\partial Ω$} $$ admits a solution $u$. By this, we complement Serrin's classification result from 1971 which yields that every bounded domain admitting a solution of the above problem is a ball in $\mathbb{R}^N$. The domains we construct are periodic in some variables and radial in the other variables, and they bifurcate from a straight (generalized) cylinder or slab. We also show that these domains are uniquely self Cheeger relative to a period cell for the problem. △ Less

Submitted 9 September, 2016; v1 submitted 17 March, 2016; originally announced March 2016.

Comments: 22 pages. Minor corrections have been made and the bibliographical reference is updated. To appear in Arch. Rational Mech. Anal

Delaunay hypersurfaces with constant nonlocal mean curvature

Authors: Xavier Cabre, Mouhamed Moustapha Fall, Tobias Weth

Abstract: We study hypersurfaces of $\mathbb{R}^N$ with constant nonlocal (or fractional) mean curvature. This is the equation associated to critical points of the fractional perimeter functional under a volume constraint. We establish the existence of a smooth branch of periodic cylinders in $\mathbb{R}^N$, $N\geq 2$, all of them with the same constant nonlocal mean curvature, and bifurcating from a straig… ▽ More We study hypersurfaces of $\mathbb{R}^N$ with constant nonlocal (or fractional) mean curvature. This is the equation associated to critical points of the fractional perimeter functional under a volume constraint. We establish the existence of a smooth branch of periodic cylinders in $\mathbb{R}^N$, $N\geq 2$, all of them with the same constant nonlocal mean curvature, and bifurcating from a straight cylinder. These are Delaunay type cylinders in the nonlocal setting. The proof uses the Crandall-Rabinowitz theorem applied to a quasilinear type fractional elliptic equation. △ Less

Submitted 25 May, 2017; v1 submitted 8 February, 2016; originally announced February 2016.

Comments: Minor changes have been made. To appear in "J. Math. Pures Appl."

On the rate of change of the best constant in the Sobolev inequality

Authors: Tom Carroll, Mouhamed Moustapha Fall, Jesse Ratzkin

Abstract: We estimate the rate of change of the best constant in the Sobolev inequality of a Euclidean domain which moves outward. Along the way we prove an inequality which reverses the usual Holder inequality, which may be of independent interest. We estimate the rate of change of the best constant in the Sobolev inequality of a Euclidean domain which moves outward. Along the way we prove an inequality which reverses the usual Holder inequality, which may be of independent interest. △ Less

Submitted 29 January, 2016; originally announced January 2016.

Comments: 17 pages

Journal ref: Math. Nachr. 290 (2017), no 14-15, 2185-2197

Liouville theorems for a general class of nonlocal operators

Authors: Mouhamed Moustapha Fall, Tobias Weth

Abstract: In this paper, we study the equation $\mathcal{L} u=0$ in $\mathbb{R}^N$, where $\mathcal{L}$ belongs to a general class of nonlocal linear operators which may be anisotropic and nonsymmetric. We classify distributional solutions of this equation, thereby extending and generalizing recent Liouville type theorems in the case where $\mathcal{L}= (-Δ)^s$, $s \in (0,1)$ is the classical fractional Lap… ▽ More In this paper, we study the equation $\mathcal{L} u=0$ in $\mathbb{R}^N$, where $\mathcal{L}$ belongs to a general class of nonlocal linear operators which may be anisotropic and nonsymmetric. We classify distributional solutions of this equation, thereby extending and generalizing recent Liouville type theorems in the case where $\mathcal{L}= (-Δ)^s$, $s \in (0,1)$ is the classical fractional Laplacian. △ Less

Submitted 17 October, 2017; v1 submitted 1 April, 2015; originally announced April 2015.

Comments: some typos were corrected. 15 pages

Curves and surfaces with constant nonlocal mean curvature: meeting Alexandrov and Delaunay

Authors: Xavier Cabre, Mouhamed Moustapha Fall, Joan Solà-Morales, Tobias Weth

Abstract: We are concerned with hypersurfaces of $\mathbb{R}^N$ with constant nonlocal (or fractional) mean curvature. This is the equation associated to critical points of the fractional perimeter under a volume constraint. Our results are twofold. First we prove the nonlocal analogue of the Alexandrov result characterizing spheres as the only closed embedded hypersurfaces in $\mathbb{R}^N$ with constant m… ▽ More We are concerned with hypersurfaces of $\mathbb{R}^N$ with constant nonlocal (or fractional) mean curvature. This is the equation associated to critical points of the fractional perimeter under a volume constraint. Our results are twofold. First we prove the nonlocal analogue of the Alexandrov result characterizing spheres as the only closed embedded hypersurfaces in $\mathbb{R}^N$ with constant mean curvature. Here we use the moving planes method. Our second result establishes the existence of periodic bands or "cylinders" in $\mathbb{R}^2$ with constant nonlocal mean curvature and bifurcating from a straight band. These are Delaunay type bands in the nonlocal setting. Here we use a Lyapunov-Schmidt procedure for a quasilinear type fractional elliptic equation. △ Less

Submitted 2 March, 2015; originally announced March 2015.

Profile expansion for the first nontrivial Steklov eigenvalue in Riemannian manifolds

Authors: Mouhamed Moustapha Fall, Tobias Weth

Abstract: We study the problem of maximizing the first nontrivial Steklov eigenvalue of the Laplace-Beltrami Operator among subdomains of fixed volume of a Riemannian manifold. More precisely, we study the expansion of the corresponding profile of this isoperimetric (or isochoric) problem as the volume tends to zero. The main difficulty encountered in our study is the lack of existence results for maximizin… ▽ More We study the problem of maximizing the first nontrivial Steklov eigenvalue of the Laplace-Beltrami Operator among subdomains of fixed volume of a Riemannian manifold. More precisely, we study the expansion of the corresponding profile of this isoperimetric (or isochoric) problem as the volume tends to zero. The main difficulty encountered in our study is the lack of existence results for maximizing domains and the possible degeneracy of the first nontrivial Steklov eigenvalue, which makes it difficult to tackle the problem with domain variation techniques. As a corollary of our results, we deduce local comparison principles for the profile in terms of the scalar curvature on $\mathcal{M}$. In the case where the underlying manifold is a closed surface, we obtain a global expansion and thus a global comparison principle. △ Less

Submitted 2 February, 2015; originally announced February 2015.

Comments: 20 pages

The role of the mean curvature in a Hardy-Sobolev trace inequality

Authors: Mouhamed Moustapha Fall, Ignace Aristide Minlend, El Hadji Abdoulaye Thiam

Abstract: The Hardy-Sobolev trace inequality can be obtained via Harmonic extensions on the half-space of the Stein and Weiss weighted Hardy-Littlewood-Sobolev inequality. In this paper we consider a bounded domain and study the influence of the boundary mean curvature in the Hardy-Sobolev trace inequality on the underlying domain. We prove existence of minimizers when the mean curvature is negative at the… ▽ More The Hardy-Sobolev trace inequality can be obtained via Harmonic extensions on the half-space of the Stein and Weiss weighted Hardy-Littlewood-Sobolev inequality. In this paper we consider a bounded domain and study the influence of the boundary mean curvature in the Hardy-Sobolev trace inequality on the underlying domain. We prove existence of minimizers when the mean curvature is negative at the singular point of the Hardy potential. △ Less

Submitted 5 August, 2015; v1 submitted 17 November, 2014; originally announced November 2014.

Comments: 17 pages, Some few corrections made. Appeared in NoDEA

Ground states and concentration phenomena for the fractional Schrödinger equation

Authors: Mouhamed Moustapha Fall, Fethi Mahmoudi, Enrico Valdinoci

Abstract: We consider here solutions of the nonlinear fractional Schrödinger equation $$ε^{2s}(-Δ)^s u+V(x)u=u^p.$$ We show that concentration points must be critical points for $V$. We also prove that, if the potential $V$ is coercive and has a unique global minimum, then ground states concentrate suitably at such minimal point as $ε$ tends to zero. In addition, if the potential $V$ is radial, then the min… ▽ More We consider here solutions of the nonlinear fractional Schrödinger equation $$ε^{2s}(-Δ)^s u+V(x)u=u^p.$$ We show that concentration points must be critical points for $V$. We also prove that, if the potential $V$ is coercive and has a unique global minimum, then ground states concentrate suitably at such minimal point as $ε$ tends to zero. In addition, if the potential $V$ is radial, then the minimizer is unique provided $ε$ is small. △ Less

Submitted 24 April, 2015; v1 submitted 3 November, 2014; originally announced November 2014.

Comments: 22 Pages, Accepted for Publications in "Nonlinearity"

MSC Class: 35Q55; 35R11; 35B44; 35B40; 35J65; 35J75; 35R11

Entire $s$-harmonic functions are affine

Authors: Mouhamed Moustapha Fall

Abstract: In this paper, we prove that solutions to the equation $(-Δ)^s u=0$ in $\mathbb{R}^N$, for $s\in (0,1)$, are affine. This will allow us to prove uniqueness of the Riesz potential $|x|^{2s-N}$ in Lebesgue spaces. In this paper, we prove that solutions to the equation $(-Δ)^s u=0$ in $\mathbb{R}^N$, for $s\in (0,1)$, are affine. This will allow us to prove uniqueness of the Riesz potential $|x|^{2s-N}$ in Lebesgue spaces. △ Less

Submitted 29 October, 2015; v1 submitted 22 July, 2014; originally announced July 2014.

Comments: The proofs has been changed and are now based on Cauchy-type estimates for harmonic functions. To appear in Proceedings of the AMS

Serrin's over-determined Problem on Riemannian Manifolds

Authors: Mouhamed Moustapha Fall, Ignace Aristide Minlend

Abstract: Let $(\mathcal{M},g)$ be a compact Riemannian manifold of dimension $N$, $N\geq 2$. In this paper, we prove that there exists a family of domains $(Ω_\varepsilon)_{\varepsilon\in(0,\varepsilon_0)}$ and functions $u_\varepsilon$ such that… ▽ More Let $(\mathcal{M},g)$ be a compact Riemannian manifold of dimension $N$, $N\geq 2$. In this paper, we prove that there exists a family of domains $(Ω_\varepsilon)_{\varepsilon\in(0,\varepsilon_0)}$ and functions $u_\varepsilon$ such that $ -Δ_{g} u_\varepsilon=1 \quad \textrm{ in } Ω_\varepsilon, \quad u_\varepsilon=0 \quad\textrm{ on }\partialΩ_\varepsilon, \quad {g}(\nabla_{ {g}} {u_\varepsilon}, ν_\varepsilon)=-\frac{\varepsilon}{N} \quad \textrm{ on }\partialΩ_\varepsilon, $ where $ν_\varepsilon$ is the unit outer normal of $\partialΩ_\varepsilon$. The domains $Ω_\varepsilon$ are smooth perturbations of geodesic balls of radius $\varepsilon$ centered at some point $p_0$. If, in addition, $p_0$ is a non-degenerate critical point of the scalar curvature of $g$ then, the family $(\partialΩ_\varepsilon)_{\varepsilon\in(0,\varepsilon_0)}$ constitutes a smooth foliation of a neighborhood of $p_0$. By considering a family of domains $Ω_\varepsilon$ in which the above overdetermined system is satisfied, we also prove that if this family converges to some point $p_0$ in a suitable sense as $\varepsilon\to 0$, then $p_0$ is a critical point of the scalar curvature. A Taylor expansion of he energy rigidity for the torsion problem is also given. △ Less

Submitted 31 May, 2014; originally announced June 2014.

Comments: 40 pages

Sharp essential self-adjointness of relativistic Schrödinger operators with a singular potential

Authors: Mouhamed Moustapha Fall, Veronica Felli

Abstract: This paper is devoted to the study of essential self-adjointness of a relativistic Schrödinger operator with a singular homogeneous potential. From an explicit condition on the coefficient of the singular term, we provide a sufficient and necessary condition for essential self-adjointness. This paper is devoted to the study of essential self-adjointness of a relativistic Schrödinger operator with a singular homogeneous potential. From an explicit condition on the coefficient of the singular term, we provide a sufficient and necessary condition for essential self-adjointness. △ Less

Submitted 11 May, 2014; v1 submitted 18 March, 2014; originally announced March 2014.

Comments: 20 pages

MSC Class: 35R11; 35J75; 47B25

Positive solutions to some nonlinear fractional Schrödinger equations via a min-max procedure

Authors: Gilles Evéquoz, Mouhamed Moustapha Fall

Abstract: The existence of a positive solution to the following fractional semilinear equation is proven, in a situation where a ground state solution may not exist. More precisely, we consider for $0<s<1$ the equation $$ (-Δ)^s u + V(x)u=Q(x)|u|^{p-2}u \quad\text{in }\mathbb{R}^N,\ N\geq 1,$$ where the exponent $p$ is superlinear but subcritical, and $V>0$, $Q\geq 0$ are bounded functions converging to… ▽ More The existence of a positive solution to the following fractional semilinear equation is proven, in a situation where a ground state solution may not exist. More precisely, we consider for $0<s<1$ the equation $$ (-Δ)^s u + V(x)u=Q(x)|u|^{p-2}u \quad\text{in }\mathbb{R}^N,\ N\geq 1,$$ where the exponent $p$ is superlinear but subcritical, and $V>0$, $Q\geq 0$ are bounded functions converging to $1$ as $|x|\to\infty$. Using a min-max procedure introduced by Bahri and Li we prove the existence of a positive solution under one-sided asymptotic bounds for $V$ and $Q$. △ Less

Submitted 11 August, 2014; v1 submitted 26 December, 2013; originally announced December 2013.

Comments: A complementary assumption has been added to correct the main result

Unique continuation properties for relativistic Schrödinger operators with a singular potential

Authors: Mouhamed Moustapha Fall, Veronica Felli

Abstract: Asymptotics of solutions to relativistic fractional elliptic equations with Hardy type potentials is established in this paper. As a consequence, unique continuation properties are obtained. Asymptotics of solutions to relativistic fractional elliptic equations with Hardy type potentials is established in this paper. As a consequence, unique continuation properties are obtained. △ Less

Submitted 22 September, 2015; v1 submitted 23 December, 2013; originally announced December 2013.

Comments: 33 pages. arXiv admin note: text overlap with arXiv:1301.5119

MSC Class: 35R11; 35B40; 35J75

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 12 October, 2014; v1 submitted 29 November, 2013; originally announced November 2013.

Monotonicity and nonexistence results for some fractional elliptic problems in the half space

Authors: Mouhamed Moustapha Fall, Tobias Weth

Abstract: We study a class of fractional elliptic problems of the form $\Ds u= f(u)$ in the half space $\R^N_+:=\{x \in \R^N\::\: x_1>0\}$ with the complementary Dirichlet condition $u \equiv 0$ in $\R^N \setminus \R^N_+$. Under mild assumptions on the nonlinearity $f$, we show that bounded positive solutions are increasing in $x_1$. For the special case $f(u)=u^q$, we deduce nonexistence of positive bounde… ▽ More We study a class of fractional elliptic problems of the form $\Ds u= f(u)$ in the half space $\R^N_+:=\{x \in \R^N\::\: x_1>0\}$ with the complementary Dirichlet condition $u \equiv 0$ in $\R^N \setminus \R^N_+$. Under mild assumptions on the nonlinearity $f$, we show that bounded positive solutions are increasing in $x_1$. For the special case $f(u)=u^q$, we deduce nonexistence of positive bounded solutions in the case where $q \ge 1$ and $q<\frac{N-1+2s}{N-1-2s}$ if $N \ge 1+2s$. We do not require integrability assumptions on the solutions we study. △ Less

Submitted 27 September, 2013; originally announced September 2013.

Comments: 24 pages

Orbital stability of standing waves of a class of fractional Schrodinger equations with a general Hartree-type integrand

Authors: Y. Cho, M. M. Fall, H. Hajaiej, P. A. Markowich, S. Trabelsi

Abstract: This article is concerned with the mathematical analysis of a class of a nonlinear fractional Schrodinger equations with a general Hartree-type integrand. We prove existence and uniqueness of global-in-time solutions to the associated Cauchy problem. Under suitable assumptions, we also prove the existence of standing waves using the method of concentration-compactness by studying the associated co… ▽ More This article is concerned with the mathematical analysis of a class of a nonlinear fractional Schrodinger equations with a general Hartree-type integrand. We prove existence and uniqueness of global-in-time solutions to the associated Cauchy problem. Under suitable assumptions, we also prove the existence of standing waves using the method of concentration-compactness by studying the associated constrained minimization problem. Finally we show the orbital stability of standing waves which are the minimizers of the associate variational problem. △ Less

Submitted 21 July, 2013; originally announced July 2013.

Comments: 36 pages

Unique continuation property and local asymptotics of solutions to fractional elliptic equations

Authors: Mouhamed Moustapha Fall, Veronica Felli

Abstract: Asymptotics of solutions to fractional elliptic equations with Hardy type potentials is studied in this paper. By using an Almgren type monotonicity formula, separation of variables, and blow-up arguments, we describe the exact behavior near the singularity of solutions to linear and semilinear fractional elliptic equations with a homogeneous singular potential related to the fractional Hardy ineq… ▽ More Asymptotics of solutions to fractional elliptic equations with Hardy type potentials is studied in this paper. By using an Almgren type monotonicity formula, separation of variables, and blow-up arguments, we describe the exact behavior near the singularity of solutions to linear and semilinear fractional elliptic equations with a homogeneous singular potential related to the fractional Hardy inequality. As a consequence we obtain unique continuation properties for fractional elliptic equations. △ Less

Submitted 14 July, 2013; v1 submitted 22 January, 2013; originally announced January 2013.

Comments: This is a revision of arXiv:1301.5119v1: some minor changes have been made and Theorem 1.3 has been added

MSC Class: 35R11; 35B40; 35J60; 35J75

Uniqueness and nondegeneracy of positive solutions of $\Ds u+u=u^p$ in $\R^N$ when $s$ is close to 1

Authors: Mouhamed Moustapha Fall, Enrico Valdinoci

Abstract: We consider the equation $\Ds u+u=u^p$, with $s\in(0,1)$ in the subcritical range of $p$. We prove that if $s$ is sufficiently close to 1 the equation possesses a unique minimizer, which is nondegenerate. We consider the equation $\Ds u+u=u^p$, with $s\in(0,1)$ in the subcritical range of $p$. We prove that if $s$ is sufficiently close to 1 the equation possesses a unique minimizer, which is nondegenerate. △ Less

Submitted 14 July, 2013; v1 submitted 21 January, 2013; originally announced January 2013.

An extension theorem for some pseudo-differential operators

Authors: Mouhamed Moustapha Fall

Abstract: In this paper we provide an extension theorem for fractional powers of some pseudo-differential operators $P(D)$. These extensions yields realization of the fractional powers of some pseudo-differential operators in the spirit of Caffarelli and Silvestre \cite{CSilv}. In particular every fractional power of a local pseudo-differential operator can be realized locally. We also give some properties… ▽ More In this paper we provide an extension theorem for fractional powers of some pseudo-differential operators $P(D)$. These extensions yields realization of the fractional powers of some pseudo-differential operators in the spirit of Caffarelli and Silvestre \cite{CSilv}. In particular every fractional power of a local pseudo-differential operator can be realized locally. We also give some properties of the relativistic Schrödinger operator $\Dsm$. △ Less

Submitted 24 May, 2012; v1 submitted 19 May, 2012; originally announced May 2012.

Comments: This paper has been withdrawn because the main result has been already proved. The remaining part of the paper will appear in a forthcoming one

Weighted Hardy inequality with higher dimensional singularity on the boundary

Authors: Mouhamed Moustapha Fall, Fethi Mahmoudi

Abstract: Let $Ω$ be a smooth bounded domain in $\mahbb R^N$ with $N\ge 3$ and let $Σ_k$ be a closed smooth submanifold of $δΩ$ of dimension $1\le k\le N-2$. In this paper we study the weighted Hardy inequality with weight function singular on $Σ_k$. In particular we provide sufficient and necessary conditions for existence of minimizers. Let $Ω$ be a smooth bounded domain in $\mahbb R^N$ with $N\ge 3$ and let $Σ_k$ be a closed smooth submanifold of $δΩ$ of dimension $1\le k\le N-2$. In this paper we study the weighted Hardy inequality with weight function singular on $Σ_k$. In particular we provide sufficient and necessary conditions for existence of minimizers. △ Less

Submitted 28 September, 2012; v1 submitted 31 January, 2012; originally announced February 2012.

Comments: 26 pages

Nonexistence results for a class of fractional elliptic boundary value problems

Authors: Mouhamed Moustapha Fall, Tobias Weth

Abstract: In this paper we study a class of fractional elliptic problems of the form $$ \Ds u= f(x,u) \quad \textrm{in} Øu=0\quad \textrm{in} \R^N \setminus Ø,$$ where $s\in(0,1)$. We prove nonexistence of positive solutions when $Ø$ is star-shaped and $f$ is supercritical. We also derive a nonexistence result for subcritical $f$ in some unbounded domains. The argument relies on the method of moving spheres… ▽ More In this paper we study a class of fractional elliptic problems of the form $$ \Ds u= f(x,u) \quad \textrm{in} Øu=0\quad \textrm{in} \R^N \setminus Ø,$$ where $s\in(0,1)$. We prove nonexistence of positive solutions when $Ø$ is star-shaped and $f$ is supercritical. We also derive a nonexistence result for subcritical $f$ in some unbounded domains. The argument relies on the method of moving spheres applied to a reformulated problem using the Caffarelli-Silvestre extension \cite{CSilv} of a solution of the above problem. The standard approach in the case $s=1$ using Pohozaev type identities does not carry over to the case $0<s<1$ due to the lack of boundary regularity of solutions. △ Less

Submitted 10 September, 2012; v1 submitted 19 January, 2012; originally announced January 2012.

Comments: Some minor corrections have been made. J. Funct. Anal., Vol. 263, no. 8 (2012) 2205--2227