-
Shape derivative approach to fractional overdetermined problems
Authors:
Sidy M. Djitte,
Ignace A. Minlend
Abstract:
We use shape derivative approach to prove that balls are the only convex and $C^{1,1}$ regular domains in which the fractional overdetermined problem \begin{equation*} \left\{\begin{aligned} \Ds u&= λ_{s, p} u^{p-1}\quad\text{in}\quad\Om \\ u &= 0\quad \text{in}\quad\R^N\setminus \Om\\ u/d^s&=C_0\quad\text{on\;\; $\partialØ$} \end{aligned} \right. \end{equation*} admits a nontrivial solution for…
▽ More
We use shape derivative approach to prove that balls are the only convex and $C^{1,1}$ regular domains in which the fractional overdetermined problem \begin{equation*} \left\{\begin{aligned} \Ds u&= λ_{s, p} u^{p-1}\quad\text{in}\quad\Om \\ u &= 0\quad \text{in}\quad\R^N\setminus \Om\\ u/d^s&=C_0\quad\text{on\;\; $\partialØ$} \end{aligned} \right. \end{equation*} admits a nontrivial solution for $p\in [1, 2]$ and where $λ_{s, p}= λ_{s, p}(Ø)$ is the best constant in the family of Subcritical Sobolev inequalities. In the cases $p=1$ and $p=2$, we recover the classical symmetry results of Serrin, corresponding to the torsion problem and the first Dirichlet eigenvalue problem, respectively (see \cite{FS-15}). We note that for $p\in (1,2)$, the above problem lies outside the framework of \cite{FS-15}, and the methods developed therein do not apply. Our approach extends to the fractional setting a method initially developed by A. Henrot and T. Chatelain in \cite{CH-99}, and relies on the use of domain derivatives combined with the continuous Steiner symmetrization introduced by Brock in \cite{Brock-00}.
△ Less
Submitted 23 June, 2025; v1 submitted 30 May, 2025;
originally announced June 2025.
-
A few representation formulas for solutions of fractional Laplace equations
Authors:
Sidy M. Djitte,
Franck Sueur
Abstract:
This paper is devoted to the Laplacian operator of fractional order $s\in (0,1)$ in several dimensions. We first establish a representation formula for the partial derivatives of the solutions of the homogeneous Dirichlet problem. Along the way, we obtain a Pohozaev-type identity for the fractional Green function and of the fractional Robin function. The latter extends to the fractional setting a…
▽ More
This paper is devoted to the Laplacian operator of fractional order $s\in (0,1)$ in several dimensions. We first establish a representation formula for the partial derivatives of the solutions of the homogeneous Dirichlet problem. Along the way, we obtain a Pohozaev-type identity for the fractional Green function and of the fractional Robin function. The latter extends to the fractional setting a formula obtained by Brézis and Peletier, see \cite{Bresiz}, in the classical case of the Laplacian. As an application we consider the particle system extending the classical point vortex system to the case of a fractional Laplacian. We observe that, for a single particle in a bounded domain, the properties of the fractional Robin function are crucial for the study of the steady states. We also extend the classical Hadamard variational formula to the fractional Green function as well as to the shape derivative of weak solution to the homogeneous Dirichlet problem. Finally we turn to the in homogeneous Dirichlet problem and extend a formula by J.L. Lions, see \cite{Lions}, regarding the kernel of the reproducing kernel Hilbert space of harmonic functions to the case of $s$-harmonic functions. We observe that, despite the order of the operator is not $2$, this formula looks like the Hadamard variational formula, answering in a negative way to an open question raised in \cite{ELPL}.
△ Less
Submitted 16 September, 2023;
originally announced September 2023.
-
Fractional Hardy-Rellich inequalities via integration by parts
Authors:
Nicola De Nitti,
Sidy Moctar Djitte
Abstract:
We prove a fractional Hardy-Rellich inequality with an explicit constant in bounded domains of class $C^{1,1}$. The strategy of the proof generalizes an approach pioneered by E. Mitidieri (Mat. Zametki, 2000) by relying on a Pohozaev-type identity.
We prove a fractional Hardy-Rellich inequality with an explicit constant in bounded domains of class $C^{1,1}$. The strategy of the proof generalizes an approach pioneered by E. Mitidieri (Mat. Zametki, 2000) by relying on a Pohozaev-type identity.
△ Less
Submitted 3 May, 2023;
originally announced May 2023.
-
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.
-
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.
-
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.
-
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.
