-
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.
-
An extension problem for the logarithmic Laplacian
Authors:
Huyuan Chen,
Daniel Hauer,
Tobias Weth
Abstract:
The logarithmic Laplacian on the (whole) N-dimensional Euclidean space is defined as the first variation of the fractional Laplacian of order 2s at s=0 or, alternatively, as a singular Fourier integral operator with logarithmic symbol. While this operator has attracted fastly growing attention in recent years due to its relevance in the study of order-dependent problems, a characterization via a l…
▽ More
The logarithmic Laplacian on the (whole) N-dimensional Euclidean space is defined as the first variation of the fractional Laplacian of order 2s at s=0 or, alternatively, as a singular Fourier integral operator with logarithmic symbol. While this operator has attracted fastly growing attention in recent years due to its relevance in the study of order-dependent problems, a characterization via a local extension problem on the (N+1)-dimensional upper half-space in the spirit of the Cafferelli-Sivestre extension for the fractional Laplacian has been missing so far. In this paper, we establish such a characterization. More precisely, we show that, up to a multiplicative constant, the logarithmic Laplacian coincides with the boundary-value operator associated with a weighted second-order operator on the upper half-space, which maps inhomogeneous Neumann data to a Robin boundary-value of the corresponding distributional solution with a singular excess term. This extension property of the logarithmic Laplacian leads to a new energy functional associated with this operator. By doubling the extension-variable, we show that distributional solutions of the extension problem are actually harmonic in the (N+2)-dimensional Euclidean space away from the boundary. As an application of these results, we establish a weak unique continuation principle for the (stationary) logarithmic Laplace equation.
△ Less
Submitted 25 December, 2023;
originally announced December 2023.
-
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 map** $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 map** $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 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 regularity estimates for weak solutions to linear nonlocal equations. The nonlocal operators under consideration are integro-differential operators with almost no order of differentiability. Under rather weak assumptions, which allow the operator to be anisotropic and weakly singular, we show that locally bounded weak solutions are continuous. We prove uniform a-priori estimates for the m…
▽ More
We prove regularity estimates for weak solutions to linear nonlocal equations. The nonlocal operators under consideration are integro-differential operators with almost no order of differentiability. Under rather weak assumptions, which allow the operator to be anisotropic and weakly singular, we show that locally bounded weak solutions are continuous. We prove uniform a-priori estimates for the modulus of continuity. Furthermore, we provide sufficient conditions for the boundedness of weak solutions.
△ Less
Submitted 26 November, 2023;
originally announced November 2023.
-
Nonradial nondegeneracy 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 the latter result, we then deduce uniqueness and full nondegeneracy of positive solutions in the special case $N=1$ and $λ= 0$. Moreover, we deduce uniqueness of positive ground state solutions in the case $N=1$, $λ\ge 0$.
△ Less
Submitted 6 May, 2024; v1 submitted 16 October, 2023;
originally announced October 2023.
-
Multiplicity and symmetry breaking for supercritical elliptic problems in exterior domains
Authors:
Alberto Boscaggin,
Francesca Colasuonno,
Benedetta Noris,
Tobias Weth
Abstract:
We deal with the following semilinear equation in exterior domains \[-Δu + u = a(x)|u|^{p-2}u,\qquad u\in H^1_0({A_R}), \] where ${A_R} := \{x\in\mathbb{R}^N:\, |x|>{R}\}$, $N\ge 3$, $R>0$. Assuming that the weight $a$ is positive and satisfies some symmetry and monotonicity properties, we exhibit a positive solution having the same features as $a$, for values of $p>2$ in a suitable range that inc…
▽ More
We deal with the following semilinear equation in exterior domains \[-Δu + u = a(x)|u|^{p-2}u,\qquad u\in H^1_0({A_R}), \] where ${A_R} := \{x\in\mathbb{R}^N:\, |x|>{R}\}$, $N\ge 3$, $R>0$. Assuming that the weight $a$ is positive and satisfies some symmetry and monotonicity properties, we exhibit a positive solution having the same features as $a$, for values of $p>2$ in a suitable range that includes exponents greater than the standard Sobolev critical one. In the special case of radial weight $a$, our existence result ensures multiplicity of nonradial solutions. We also provide an existence result for supercritical $p$ in nonradial exterior domains.
△ Less
Submitted 21 March, 2024; v1 submitted 6 September, 2023;
originally announced September 2023.
-
Exceptional domains in higher dimensions
Authors:
Ignace Aristide Minlend,
Tobias Weth,
**g Wu
Abstract:
We prove the existence of nontrivial unbounded exceptional domains in the Euclidean space $\R^N$, $N\geq4$. These domains arise as perturbations of complements of straight cylinders in $\R^N$, and by definition they support a positive harmonic function with vanishing Dirichlet boundary values and constant Neumann boundary values, the so-called roof function. While the domains have a similar shape…
▽ More
We prove the existence of nontrivial unbounded exceptional domains in the Euclidean space $\R^N$, $N\geq4$. These domains arise as perturbations of complements of straight cylinders in $\R^N$, and by definition they support a positive harmonic function with vanishing Dirichlet boundary values and constant Neumann boundary values, the so-called roof function. While the domains have a similar shape as those constructed in the recent work \cite{Fall-MinlendI-Weth3} for the case $N=3$, there is a striking constrast with regard to the shape of corresponding roof functions which are bounded for $N \ge 4$. Moreover, while the analysis in \cite{Fall-MinlendI-Weth3} does not extend to higher dimensions, the approach of the present paper depends heavily on the assumption $N \ge 4$.
△ Less
Submitted 19 June, 2023; v1 submitted 12 May, 2023;
originally announced May 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.
-
A Variant Prescribed Curvature Flow on Closed Surfaces with Negative Euler Characteristic
Authors:
Franziska Borer,
Peter Elbau,
Tobias Weth
Abstract:
On a closed Riemannian surface $(M,\bar g)$ with negative Euler characteristic, we study the problem of finding conformal metrics with prescribed volume $A>0$ and the property that their Gauss curvatures $f_λ= f + λ$ are given as the sum of a prescribed function $f \in C^\infty(M)$ and an additive constant $λ$. Our main tool in this study is a new variant of the prescribed Gauss curvature flow, fo…
▽ More
On a closed Riemannian surface $(M,\bar g)$ with negative Euler characteristic, we study the problem of finding conformal metrics with prescribed volume $A>0$ and the property that their Gauss curvatures $f_λ= f + λ$ are given as the sum of a prescribed function $f \in C^\infty(M)$ and an additive constant $λ$. Our main tool in this study is a new variant of the prescribed Gauss curvature flow, for which we establish local well-posedness and global compactness results. In contrast to previous work, our approach does not require any sign conditions on $f$. Moreover, we exhibit conditions under which the function $f_λ$ is sign changing and the standard prescribed Gauss curvature flow is not applicable.
△ Less
Submitted 18 September, 2023; v1 submitted 27 January, 2023;
originally announced January 2023.
-
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.
-
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.
-
Rotating waves in nonlinear media and critical degenerate Sobolev inequalities
Authors:
Joel Kübler,
Tobias Weth
Abstract:
We investigate the presence of rotating wave solutions of the nonlinear wave equation $\partial_t^2 v - Δv +m v = |v|^{p-2} v$ in $\mathbb{R} \times \mathbf{B}$, where $\mathbf{B} \subset \mathbb{R}^N$ is the unit ball, complemented with Dirichlet boundary conditions on $\mathbb{R} \times \partial\mathbf{B}$. Depending on the prescribed angular velocity $α$ of the rotation, this leads to a Dirichl…
▽ More
We investigate the presence of rotating wave solutions of the nonlinear wave equation $\partial_t^2 v - Δv +m v = |v|^{p-2} v$ in $\mathbb{R} \times \mathbf{B}$, where $\mathbf{B} \subset \mathbb{R}^N$ is the unit ball, complemented with Dirichlet boundary conditions on $\mathbb{R} \times \partial\mathbf{B}$. Depending on the prescribed angular velocity $α$ of the rotation, this leads to a Dirichlet problem for a semilinear elliptic or degenerate elliptic equation. We show that this problem is governed by an associated critical degenerate Sobolev inequality in the half space. After proving this inequality and the existence of associated extremal functions, we then deduce necessary and sufficient conditions for the existence of ground state solutions. Moreover, we analyze under which conditions on $α$, $m$ and $p$ these ground states are nonradial and therefore give rise to truly rotating waves. Our approach carries over to the corresponding Dirichlet problems in an annulus and in more general Riemannian models with boundary, including the hemisphere. We briefly discuss these problems and show that they are related to a larger family of associated critical degenerate Sobolev inequalities.
△ Less
Submitted 7 April, 2022; v1 submitted 15 March, 2022;
originally announced March 2022.
-
A connection between symmetry breaking for Sobolev minimizers and stationary Navier-Stokes flows past a circular obstacle
Authors:
Filippo Gazzola,
Gianmarco Sperone,
Tobias Weth
Abstract:
Fluid flows around a symmetric obstacle generate vortices which may lead to symmetry breaking of the streamlines. We study this phenomenon for planar viscous flows governed by the stationary Navier-Stokes equations with constant inhomogeneous Dirichlet boundary data in a rectangular channel containing a circular obstacle. In such (symmetric) framework, symmetry breaking is strictly related to the…
▽ More
Fluid flows around a symmetric obstacle generate vortices which may lead to symmetry breaking of the streamlines. We study this phenomenon for planar viscous flows governed by the stationary Navier-Stokes equations with constant inhomogeneous Dirichlet boundary data in a rectangular channel containing a circular obstacle. In such (symmetric) framework, symmetry breaking is strictly related to the appearance of multiple solutions. Symmetry breaking properties of some Sobolev minimizers are studied and explicit bounds on the boundary velocity (in terms of the length and height of the channel) ensuring uniqueness are obtained after estimating some Sobolev embedding constants and constructing a suitable solenoidal extension of the boundary data. We show that, regardless of the solenoidal extension employed, such bounds converge to zero at an optimal rate as the length of the channel tends to infinity.
△ Less
Submitted 28 December, 2021;
originally announced December 2021.
-
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.
-
The eigenvalue problem for the regional fractional Laplacian in the small order limit
Authors:
Remi Yvant Temgoua,
Tobias Weth
Abstract:
In this note, we study the asymptotic behavior of eigenvalues and eigenfunctions of the regional fractional Laplacian $(-Δ)^s$ as $ s \to 0^+$. Our analysis leads to a study of the regional logarithmic Laplacian, which arises as a formal derivative of regional fractional Laplacians at $s = 0$.
In this note, we study the asymptotic behavior of eigenvalues and eigenfunctions of the regional fractional Laplacian $(-Δ)^s$ as $ s \to 0^+$. Our analysis leads to a study of the regional logarithmic Laplacian, which arises as a formal derivative of regional fractional Laplacians at $s = 0$.
△ Less
Submitted 16 December, 2021;
originally announced December 2021.
-
Existence of nonradial domains for overdetermined and isoperimetric problems in nonconvex cones
Authors:
Alessandro Iacopetti,
Filomena Pacella,
Tobias Weth
Abstract:
In this work we address the question of the existence of nonradial domains inside a nonconvex cone for which a mixed boundary overdetermined problem admits a solution. Our approach is variational, and consists in proving the existence of nonradial minimizers, under a volume constraint, of the associated torsional energy functional. In particular we give a condition on the domain $D$ on the sphere…
▽ More
In this work we address the question of the existence of nonradial domains inside a nonconvex cone for which a mixed boundary overdetermined problem admits a solution. Our approach is variational, and consists in proving the existence of nonradial minimizers, under a volume constraint, of the associated torsional energy functional. In particular we give a condition on the domain $D$ on the sphere spanning the cone which ensures that the spherical sector is not a minimizer. Similar results are obtained for the relative isoperimetric problem in nonconvex cones.
△ Less
Submitted 18 November, 2021;
originally announced November 2021.
-
Symmetry breaking for ground states of biharmonic NLS via Fourier extension estimates
Authors:
Enno Lenzmann,
Tobias Weth
Abstract:
We consider ground states solutions $u \in H^2(\mathbb{R}^N)$ of biharmonic (fourth-order) nonlinear Schrödinger equations of the form $$ Δ^2 u + 2a Δu + b u - |u|^{p-2} u = 0 \quad \mbox{in $\mathbb{R}^N$} $$ with positive constants $a, b > 0$ and exponents $2 < p < 2^*$, where $2^* = \frac{2N}{N-4}$ if $N > 4$ and $2^* = \infty$ if $N \leq 4…
▽ More
We consider ground states solutions $u \in H^2(\mathbb{R}^N)$ of biharmonic (fourth-order) nonlinear Schrödinger equations of the form $$ Δ^2 u + 2a Δu + b u - |u|^{p-2} u = 0 \quad \mbox{in $\mathbb{R}^N$} $$ with positive constants $a, b > 0$ and exponents $2 < p < 2^*$, where $2^* = \frac{2N}{N-4}$ if $N > 4$ and $2^* = \infty$ if $N \leq 4$. By exploiting a connection to the adjoint Stein--Tomas inequality on the unit sphere and by using trial functions due to Knapp, we prove a general symmetry breaking result by showing that all ground states $u\in H^2(\mathbb{R}^N)$ in dimension $N \geq 2$ fail to be radially symmetric for all exponents $2 < p < \frac{2N+2}{N-1}$ in a suitable regime of $a,b>0$.
As applications of our main result, we also prove symmetry breaking for a minimization problem with constrained $L^2$-mass and for a related problem on the unit ball in $\mathbb{R}^N$ subject to Dirichlet boundary conditions.
△ Less
Submitted 11 November, 2021; v1 submitted 20 October, 2021;
originally announced October 2021.
-
Symmetry properties of sign-changing solutions to nonlinear parabolic equations in unbounded domains
Authors:
Juraj Földes,
Alberto Saldaña,
Tobias Weth
Abstract:
We study the asymptotic (in time) behavior of positive and sign-changing solutions to nonlinear parabolic problems in the whole space or in the exterior of a ball with Dirichlet boundary conditions. We show that, under suitable regularity and stability assumptions, solutions are asymptotically (in time) foliated Schwarz symmetric, i.e., all elements in the associated omega-limit set are axially sy…
▽ More
We study the asymptotic (in time) behavior of positive and sign-changing solutions to nonlinear parabolic problems in the whole space or in the exterior of a ball with Dirichlet boundary conditions. We show that, under suitable regularity and stability assumptions, solutions are asymptotically (in time) foliated Schwarz symmetric, i.e., all elements in the associated omega-limit set are axially symmetric with respect to a common axis passing through the origin and are nonincreasing in the polar angle. We also obtain symmetry results for solutions of Hénon-type problems, for equilibria (i.e. for solutions of the corresponding elliptic problem), and for time periodic solutions.
△ Less
Submitted 9 April, 2021;
originally announced April 2021.
-
A supercritical elliptic equation in the annulus
Authors:
Alberto Boscaggin,
Francesca Colasuonno,
Benedetta Noris,
Tobias Weth
Abstract:
By a combination of variational and topological techniques in the presence of invariant cones, we detect a new type of positive axially symmetric solutions of the Dirichlet problem for the elliptic equation $$ -Δu + u = a(x)|u|^{p-2}u $$ in an annulus $A \subset \mathbb R^N$ ($N\ge3$). Here $p>2$ is allowed to be supercritical and $a(x)$ is an axially symmetric but possibly nonradial function with…
▽ More
By a combination of variational and topological techniques in the presence of invariant cones, we detect a new type of positive axially symmetric solutions of the Dirichlet problem for the elliptic equation $$ -Δu + u = a(x)|u|^{p-2}u $$ in an annulus $A \subset \mathbb R^N$ ($N\ge3$). Here $p>2$ is allowed to be supercritical and $a(x)$ is an axially symmetric but possibly nonradial function with additional symmetry and monotonicity properties, which are shared by the solution $u$ we construct. In the case where $a$ equals a positive constant, we detect conditions, only depending on the exponent $p$ and on the inner radius of the annulus, that ensure that the solution is nonradial.
△ Less
Submitted 12 May, 2023; v1 submitted 14 February, 2021;
originally announced February 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.
-
The Poisson problem for the fractional Hardy operator: Distributional identities and singular solutions
Authors:
Huyuan Chen,
Tobias Weth
Abstract:
The purpose of this paper is to study and classify singular solutions of the Poisson problem $$ %\begin{equation}\label{eq 0.1} \left \{ \begin{aligned} {\mathcal L}^s_μu = f \quad\ {\rm in}\ \, Ω\setminus \{0\},\\ u =0 \quad\ {\rm in}\ \, {\mathbb R}^N \setminus Ω %\\ %\liminf_{x \to 0}\:|u(x)| /Φ_μ(x) = k. \end{aligned} \right. $$ for the fractional Hardy operator…
▽ More
The purpose of this paper is to study and classify singular solutions of the Poisson problem $$ %\begin{equation}\label{eq 0.1} \left \{ \begin{aligned} {\mathcal L}^s_μu = f \quad\ {\rm in}\ \, Ω\setminus \{0\},\\ u =0 \quad\ {\rm in}\ \, {\mathbb R}^N \setminus Ω %\\ %\liminf_{x \to 0}\:|u(x)| /Φ_μ(x) = k. \end{aligned} \right. $$ for the fractional Hardy operator ${\mathcal L}_μ^s u= (-Δ)^s u +\fracμ{|x|^{2s}}u$ in a bounded domain $Ω\subset {\mathbb R}^N$ ($N \ge 2$) containing the origin. Here $(-Δ)^s$, $s\in(0,1)$, is the fractional Laplacian of order $2s$, and $μ\ge μ_0$, where $μ_0 = -2^{2s}\frac{Γ^2(\frac{N+2s}4)}{Γ^2(\frac{N-2s}{4})}<0$ is the best constant in the fractional Hardy inequality. The analysis requires a thorough study of fundamental solutions and associated distributional identities. Special attention will be given to the critical case $μ= μ_0$ which requires more subtle estimates than the case $μ>μ_0$.
△ Less
Submitted 23 September, 2020;
originally announced September 2020.
-
Spectral properties of the logarithmic Laplacian
Authors:
Ari Laptev,
Tobias Weth
Abstract:
We obtain spectral inequalities and asymptotic formulae for the discrete spectrum of the operator $\frac12\, \log(-Δ)$ in an open set $Ω\in\Bbb R^d$, $d\ge2$, of finite measure with Dirichlet boundary conditions. We also derive some results regarding lower bounds for the eigenvalue $λ_1(Ω)$ and compare them with previously known inequalities.
We obtain spectral inequalities and asymptotic formulae for the discrete spectrum of the operator $\frac12\, \log(-Δ)$ in an open set $Ω\in\Bbb R^d$, $d\ge2$, of finite measure with Dirichlet boundary conditions. We also derive some results regarding lower bounds for the eigenvalue $λ_1(Ω)$ and compare them with previously known inequalities.
△ Less
Submitted 21 September, 2020; v1 submitted 7 September, 2020;
originally announced September 2020.
-
Spiraling solutions of nonlinear Schrödinger equations
Authors:
Oscar Agudelo,
Joel Kübler,
Tobias Weth
Abstract:
We study a new family of sign-changing solutions to the stationary nonlinear Schrödinger equation $$ -Δv +q v =|v|^{p-2} v, \qquad \text{in $\mathbb{R}^3$,} $$ with $2<p<\infty$ and $q \ge 0$. These solutions are spiraling in the sense that they are not axially symmetric but invariant under screw motion, i.e., they share the symmetry properties of a helicoid. In addition to existence results, we p…
▽ More
We study a new family of sign-changing solutions to the stationary nonlinear Schrödinger equation $$ -Δv +q v =|v|^{p-2} v, \qquad \text{in $\mathbb{R}^3$,} $$ with $2<p<\infty$ and $q \ge 0$. These solutions are spiraling in the sense that they are not axially symmetric but invariant under screw motion, i.e., they share the symmetry properties of a helicoid. In addition to existence results, we provide information on the shape of spiraling solutions, which depends on the parameter value representing the rotational slope of the underlying screw motion. Our results complement a related analysis of Del Pino, Musso and Pacard for the Allen-Cahn equation, whereas the nature of results and the underlying variational structure are completely different.
△ Less
Submitted 21 August, 2020;
originally announced August 2020.
-
The nonlinear Schrödinger equation in the half-space
Authors:
Antonio J. Fernández,
Tobias Weth
Abstract:
The present paper is concerned with the half-space Dirichlet problem \begin{equation} \tag{$P_c$} \label{problem-abstract} -Δv + v = |v|^{p-1}v,\ \mbox{ in } \mathbb{R}^N_{+}, \qquad v = c,\ \mbox{ on } \partial \mathbb{R}^N_{+},\ \qquad \lim_{x_N \to \infty} v(x',x_N) = 0 \mbox{ uniformly in }x' \in \mathbb{R}^{N-1}, \end{equation} where $\mathbb{R}^N_{+} := \{\,x \in \mathbb{R}^N: x_N > 0\, \}$…
▽ More
The present paper is concerned with the half-space Dirichlet problem \begin{equation} \tag{$P_c$} \label{problem-abstract} -Δv + v = |v|^{p-1}v,\ \mbox{ in } \mathbb{R}^N_{+}, \qquad v = c,\ \mbox{ on } \partial \mathbb{R}^N_{+},\ \qquad \lim_{x_N \to \infty} v(x',x_N) = 0 \mbox{ uniformly in }x' \in \mathbb{R}^{N-1}, \end{equation} where $\mathbb{R}^N_{+} := \{\,x \in \mathbb{R}^N: x_N > 0\, \}$ for some $N \geq 1$ and $p > 1$, $c > 0$ are constants. We analyse the existence, non-existence and multiplicity of bounded positive solutions to \eqref{problem-abstract}. We prove that the existence and multiplicity of bounded positive solutions to \eqref{problem-abstract} depend in a striking way on the value of $c > 0$ and also on the dimension $N$. We find an explicit number $c_p \in (1,\sqrt{e})$, depending only on $p$, which determines the threshold between existence and non-existence. In particular, in dimensions $N \geq 2$, we prove that, for $0 < c < c_p$, problem \eqref{problem-abstract} admits infinitely many bounded positive solutions, whereas, for $c > c_p$, there are no bounded positive solutions to \eqref{problem-abstract}.
△ Less
Submitted 1 December, 2020; v1 submitted 1 August, 2020;
originally announced August 2020.
-
Fourier-extension estimates for symmetric functions and applications to nonlinear Helmholtz equations
Authors:
Tobias Weth,
Tolga Yesil
Abstract:
We establish weighted $L^p$-Fourier-extension estimates for $O(N-k) \times O(k)$-invariant functions defined on the unit sphere $\mathbb{S}^{N-1}$, allowing for exponents $p$ below the Stein-Tomas critical exponent $\frac{2(N+1)}{N-1}$. Moreover, in the more general setting of an arbitrary closed subgroup $G \subset O(N)$ and $G$-invariant functions, we study the implications of weighted Fourier-e…
▽ More
We establish weighted $L^p$-Fourier-extension estimates for $O(N-k) \times O(k)$-invariant functions defined on the unit sphere $\mathbb{S}^{N-1}$, allowing for exponents $p$ below the Stein-Tomas critical exponent $\frac{2(N+1)}{N-1}$. Moreover, in the more general setting of an arbitrary closed subgroup $G \subset O(N)$ and $G$-invariant functions, we study the implications of weighted Fourier-extension estimates with regard to boundedness and nonvanishing properties of the corresponding weighted Helmholtz resolvent operator. Finally, we use these properties to derive new existence results for $G$-invariant solutions to the nonlinear Helmholtz equation
$$ - Δu - u = Q(x)|u|^{p-2}u, \quad u \in W^{2,p}(\mathbb{R}^{N}), $$ where $Q$ is a nonnegative bounded and $G$-invariant weight function.
△ Less
Submitted 19 January, 2021; v1 submitted 26 May, 2020;
originally announced May 2020.
-
Nodal Solutions for sublinear-type problems with Dirichlet boundary conditions
Authors:
Denis Bonheure,
Ederson Moreira dos Santos,
Enea Parini,
Hugo Tavares,
Tobias Weth
Abstract:
We consider nonlinear second order elliptic problems of the type \[ -Δu=f(u) \text{ in } Ω, \qquad u=0 \text{ on } \partial Ω, \] where $Ω$ is an open $C^{1,1}$-domain in $\mathbb{R}^N$, $N\geq 2$, under some general assumptions on the nonlinearity that include the case of a sublinear pure power $f(s)=|s|^{p-1}s$ with $0<p<1$ and of Allen-Cahn type $f(s)=λ(s-|s|^{p-1}s)$ with $p>1$ and $λ>λ_2(Ω)$…
▽ More
We consider nonlinear second order elliptic problems of the type \[ -Δu=f(u) \text{ in } Ω, \qquad u=0 \text{ on } \partial Ω, \] where $Ω$ is an open $C^{1,1}$-domain in $\mathbb{R}^N$, $N\geq 2$, under some general assumptions on the nonlinearity that include the case of a sublinear pure power $f(s)=|s|^{p-1}s$ with $0<p<1$ and of Allen-Cahn type $f(s)=λ(s-|s|^{p-1}s)$ with $p>1$ and $λ>λ_2(Ω)$ (the second Dirichlet eigenvalue of the Laplacian). We prove the existence of a least energy nodal (i.e. sign changing) solution, and of a nodal solution of mountain-pass type. We then give explicit examples of domains where the associated levels do not coincide. For the case where $Ω$ is a ball or annulus and $f$ is of class $C^1$, we prove instead that the levels coincide, and that least energy nodal solutions are nonradial but axially symmetric functions. Finally, we provide stronger results for the Allen-Cahn type nonlinearities in case $Ω$ is either a ball or a square. In particular we give a complete description of the solution set for $λ\sim λ_2(Ω)$, computing the Morse index of the solutions.
△ Less
Submitted 30 March, 2020;
originally announced March 2020.
-
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.
-
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 map** $Ω\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.
-
Complex solutions and stationary scattering for the nonlinear Helmholtz equation
Authors:
Huyuan Chen,
Gilles Evéquoz,
Tobias Weth
Abstract:
We study a stationary scattering problem related to the nonlinear Helmholtz equation $-Δu - k^2 u = f(x,u) \ \ \text{in $\mathbb{R}^N$,}$ where $N \ge 3$ and $k>0$. For a given incident free wave $\varphi \in L^\infty(\mathbb{R}^N)$, we prove the existence of complex-valued solutions of the form $u=\varphi+u_{\text{sc}}$, where $u_{\text{sc}}$ satisfies the Sommerfeld outgoing radiation condition.…
▽ More
We study a stationary scattering problem related to the nonlinear Helmholtz equation $-Δu - k^2 u = f(x,u) \ \ \text{in $\mathbb{R}^N$,}$ where $N \ge 3$ and $k>0$. For a given incident free wave $\varphi \in L^\infty(\mathbb{R}^N)$, we prove the existence of complex-valued solutions of the form $u=\varphi+u_{\text{sc}}$, where $u_{\text{sc}}$ satisfies the Sommerfeld outgoing radiation condition. Since neither a variational framework nor maximum principles are available for this problem, we use topological fixed point theory and global bifurcation theory to solve an associated integral equation involving the Helmholtz resolvent operator. The key step of this approach is the proof of suitable a priori bounds.
△ Less
Submitted 16 March, 2021; v1 submitted 21 November, 2019;
originally announced November 2019.
-
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.
-
An upper bound for the least energy of a nodal solution to the Yamabe equation on the sphere
Authors:
Mónica Clapp,
Angela Pistoia,
Tobias Weth
Abstract:
For each $n\geq 3$ we establish the existence of a nodal solution $u$ to the Yamabe problem on the round sphere $(\mathbb{S}^n,g)$ which satisfies $$\int_{\mathbb{S}^n}|u|^{2^*}dV_g < 2m_n\mathrm{vol}(\mathbb{S}^n),$$ where $m_3=9,$ $m_4= 7,$ $m_5=m_6=6$, and $m_n= 5\ \text{if }n\geq 7.$
For each $n\geq 3$ we establish the existence of a nodal solution $u$ to the Yamabe problem on the round sphere $(\mathbb{S}^n,g)$ which satisfies $$\int_{\mathbb{S}^n}|u|^{2^*}dV_g < 2m_n\mathrm{vol}(\mathbb{S}^n),$$ where $m_3=9,$ $m_4= 7,$ $m_5=m_6=6$, and $m_n= 5\ \text{if }n\geq 7.$
△ Less
Submitted 13 October, 2019;
originally announced October 2019.
-
Spectral asymptotics of radial solutions and nonradial bifurcation for the Hénon equation
Authors:
Joel Kübler,
Tobias Weth
Abstract:
We study the spectral asymptotics of nodal (i.e., sign-changing) solutions of the problem
\begin{equation*} (H) \qquad \qquad \left \{
\begin{aligned}
-Δu &=|x|^α|u|^{p-2}u&&\qquad \text{in ${\bf B}$,} \\
u&=0&&\qquad \text{on $\partial {\bf B}$,}
\end{aligned}
\right.
\end{equation*}
in the unit ball ${\bf B} \subset \mathbb{R}^N,N\geq 3$, $p>2$ in the limit $α\to +\infty$. More p…
▽ More
We study the spectral asymptotics of nodal (i.e., sign-changing) solutions of the problem
\begin{equation*} (H) \qquad \qquad \left \{
\begin{aligned}
-Δu &=|x|^α|u|^{p-2}u&&\qquad \text{in ${\bf B}$,} \\
u&=0&&\qquad \text{on $\partial {\bf B}$,}
\end{aligned}
\right.
\end{equation*}
in the unit ball ${\bf B} \subset \mathbb{R}^N,N\geq 3$, $p>2$ in the limit $α\to +\infty$. More precisely, for a given positive integer $K$, we derive asymptotic $C^1$-expansions for the negative eigenvalues of the linearization of the unique radial solution $u_α$ of $(H)$ with precisely $K$ nodal domains and $u_α(0)>0$. As an application, we derive the existence of an unbounded sequence of bifurcation points on the radial solution branch $α\mapsto (α,u_α)$ which all give rise to bifurcation of nonradial solutions whose nodal sets remain homeomorphic to a disjoint union of concentric spheres.
△ Less
Submitted 2 January, 2019;
originally announced January 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.
-
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.
-
Symmetry breaking via Morse index for equations and systems of Hénon-Schrödinger type
Authors:
Zhenluo Lou,
Tobias Weth,
Zhitao Zhang
Abstract:
We consider the Dirichlet problem for the Schrödinger-Hénon system $$ -Δu + μ_1 u = |x|^α\partial_u F(u,v),\quad \qquad
-Δv + μ_2 v = |x|^α\partial_v F(u,v) $$ in the unit ball $Ω\subset \mathbb{R}^N, N\geq 2$, where $α>-1$ is a parameter and $F: \mathbb{R}^2 \to \mathbb{R}$ is a $p$-homogeneous $C^2$-function for some $p>2$ with $F(u,v)>0$ for $(u,v) \not = (0,0)$. We show that, as…
▽ More
We consider the Dirichlet problem for the Schrödinger-Hénon system $$ -Δu + μ_1 u = |x|^α\partial_u F(u,v),\quad \qquad
-Δv + μ_2 v = |x|^α\partial_v F(u,v) $$ in the unit ball $Ω\subset \mathbb{R}^N, N\geq 2$, where $α>-1$ is a parameter and $F: \mathbb{R}^2 \to \mathbb{R}$ is a $p$-homogeneous $C^2$-function for some $p>2$ with $F(u,v)>0$ for $(u,v) \not = (0,0)$. We show that, as $α\to \infty$, the Morse index of nontrivial radial solutions of this problem (positive or sign-changing) tends to infinity. This result is new even for the corresponding scalar Hénon equation and extends a previous result by Moreira dos Santos and Pacella for the case $N=2$. In particular, the result implies symmetry breaking for ground state solutions, but also for other solutions obtained by an $α$-independent variational minimax principle.
△ Less
Submitted 7 March, 2018;
originally announced March 2018.
-
The Dirichlet Problem for the Logarithmic Laplacian
Authors:
Huyuan Chen,
Tobias Weth
Abstract:
In this paper, we study the logarithmic Laplacian operator $L_Δ$, which is a singular integral operator with symbol $2\log |ζ|$. We show that this operator has the integral representation $$L_Δu(x) = c_{N} \int_{\mathbb{R}^N } \frac{ u(x)1_{B_1(x)}(y)-u(y)}{|x-y|^{N} } dy + ρ_N u(x) $$ with $c_N = π^{- \frac{N}{2}} Γ(\frac{N}{2})$ and $ρ_N=2 \log 2 + ψ(\frac{N}{2}) -γ$, where $Γ$ is the Gamma func…
▽ More
In this paper, we study the logarithmic Laplacian operator $L_Δ$, which is a singular integral operator with symbol $2\log |ζ|$. We show that this operator has the integral representation $$L_Δu(x) = c_{N} \int_{\mathbb{R}^N } \frac{ u(x)1_{B_1(x)}(y)-u(y)}{|x-y|^{N} } dy + ρ_N u(x) $$ with $c_N = π^{- \frac{N}{2}} Γ(\frac{N}{2})$ and $ρ_N=2 \log 2 + ψ(\frac{N}{2}) -γ$, where $Γ$ is the Gamma function, $ψ= \frac{Γ'}Γ$ is the Digamma function and $γ= -Γ'(1)$ is the Euler Mascheroni constant. This operator arises as formal derivative $\partial_s \Big|_{s=0} (-Δ)^s$ of fractional Laplacians at $s= 0$. We develop the functional analytic framework for Dirichlet problems involving the logarithmic Laplacian on bounded domains and use it to characterize the asymptotics of principal Dirichlet eigenvalues and eigenfunctions of $(-Δ)^s$ as $s \to 0$. As a byproduct, we then derive a Faber-Krahn type inequality for the principal Dirichlet eigenvalue of $L_Δ$. Using this inequality, we also establish conditions on domains giving rise to the maximum principle in weak and strong forms. This allows us to also derive regularity up to the boundary of solutions to corresponding Poisson problems.
△ Less
Submitted 3 June, 2019; v1 submitted 10 October, 2017;
originally announced October 2017.
-
The unique continuation property of sublinear equations
Authors:
Nicola Soave,
Tobias Weth
Abstract:
We derive the unique continuation property of a class of semi-linear elliptic equations with non-Lipschitz nonlinearities. The simplest type of equations to which our results apply is given as $-Δu = |u|^{σ-1} u$ in a domain $Ω\subset \mathbb{R}^N$, with $0 \le σ<1$. Despite the sublinear character of the nonlinear term, we prove that if a solution vanishes in an open subset of $Ω$, then it vanish…
▽ More
We derive the unique continuation property of a class of semi-linear elliptic equations with non-Lipschitz nonlinearities. The simplest type of equations to which our results apply is given as $-Δu = |u|^{σ-1} u$ in a domain $Ω\subset \mathbb{R}^N$, with $0 \le σ<1$. Despite the sublinear character of the nonlinear term, we prove that if a solution vanishes in an open subset of $Ω$, then it vanishes necessarily in the whole $Ω$. We then extend the result to equations with variable coefficients operators and inhomogeneous right-hand side.
△ Less
Submitted 24 July, 2017;
originally announced July 2017.
-
Unstable normalized standing waves for the space periodic NLS
Authors:
Nils Ackermann,
Tobias Weth
Abstract:
For the stationary nonlinear Schrödinger equation $-Δu+ V(x)u- f(u) = λu$ with periodic potential $V$ we study the existence and stability properties of multibump solutions with prescribed $L^2$-norm. To this end we introduce a new nondegeneracy condition and develop new superposition techniques which allow to match the $L^2$-constraint. In this way we obtain the existence of infinitely many geome…
▽ More
For the stationary nonlinear Schrödinger equation $-Δu+ V(x)u- f(u) = λu$ with periodic potential $V$ we study the existence and stability properties of multibump solutions with prescribed $L^2$-norm. To this end we introduce a new nondegeneracy condition and develop new superposition techniques which allow to match the $L^2$-constraint. In this way we obtain the existence of infinitely many geometrically distinct solutions to the stationary problem. We then calculate the Morse index of these solutions with respect to the restriction of the underlying energy functional to the associated $L^2$-sphere, and we show their orbital instability with respect to the Schrödinger flow. Our results apply in both, the mass-subcritical and the mass-supercritical regime.
△ Less
Submitted 30 August, 2018; v1 submitted 21 June, 2017;
originally announced June 2017.
-
Ground states and high energy solutions of the planar Schrödinger-Poisson system
Authors:
Miao Du,
Tobias Weth
Abstract:
In this paper, we are concerned with the Schrödinger-Poisson system \begin{equation} (0.1)\qquad -Δu + u +φu = |u|^{p-2}u \quad \text{in}\ \mathbb{R}^{d},\qquad Δφ= u^{2} \quad \text{in}\ \mathbb{R}^{d}. \end{equation} Due to its relevance in physics, the system has been extensively studied and is quite well understood in the case $d \ge 3$. In contrast, much less information is available in the p…
▽ More
In this paper, we are concerned with the Schrödinger-Poisson system \begin{equation} (0.1)\qquad -Δu + u +φu = |u|^{p-2}u \quad \text{in}\ \mathbb{R}^{d},\qquad Δφ= u^{2} \quad \text{in}\ \mathbb{R}^{d}. \end{equation} Due to its relevance in physics, the system has been extensively studied and is quite well understood in the case $d \ge 3$. In contrast, much less information is available in the planar case $d=2$ which is the focus of the present paper. It has been observed by Cingolani and the second author \cite{Cingolani-Weth-2016} that the variational structure of $(0.1)$ differs substantially in the case $d=2$ and leads to a richer structure of the set of solutions. However, the variational approach of \cite{Cingolani-Weth-2016} is restricted to the case $p \ge 4$ which excludes some physically relevant exponents. In the present paper, we remove this unpleasant restriction and explore the more complicated underlying functional geometry in the case $2<p<4$ with a different variational approach.
△ Less
Submitted 15 March, 2017;
originally announced March 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.
-
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.
-
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.
-
Branch continuation inside the essential spectrum for the nonlinear Schrödinger equation
Authors:
Gilles Evéquoz,
Tobias Weth
Abstract:
We consider the nonlinear stationary Schrödinger equation \begin{equation*}
-Δu -λu= Q(x)|u|^{p-2}u, \qquad \text{in }\mathbb{R}^N \end{equation*} in the case where $N \geq 3$, $p$ is a superlinear, subcritical exponent, $Q$ is a bounded, nonnegative and nontrivial weight function with compact support in $\mathbb{R}^N$ and $λ\in \mathbb{R}$ is a parameter. Under further restrictions either on th…
▽ More
We consider the nonlinear stationary Schrödinger equation \begin{equation*}
-Δu -λu= Q(x)|u|^{p-2}u, \qquad \text{in }\mathbb{R}^N \end{equation*} in the case where $N \geq 3$, $p$ is a superlinear, subcritical exponent, $Q$ is a bounded, nonnegative and nontrivial weight function with compact support in $\mathbb{R}^N$ and $λ\in \mathbb{R}$ is a parameter. Under further restrictions either on the exponent $p$ or on the shape of $Q$, we establish the existence of a continuous branch $\mathcal{C}$ of nontrivial solutions to this equation which intersects $\{λ\} \times L^{s}(\mathbb{R}^N)$ for every $λ\in (-\infty, λ_Q)$ and $s> \frac{2N}{N-1}$. Here $λ_Q>0$ is an explicit positive constant which only depends on $N$ and $\text{diam}(\text{supp }Q)$. In particular, the set of values $λ$ along the branch enters the essential spectrum of the operator $-Δ$.
△ Less
Submitted 4 October, 2016; v1 submitted 2 June, 2016;
originally announced June 2016.
-
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.
-
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.
-
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.
-
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.
-
On the solvability of relaxed one-sided Lipschitz inclusions in Hilbert spaces
Authors:
Janosch Rieger,
Tobias Weth
Abstract:
We prove solvability theorems for relaxed one-sided Lipschitz multivalued map**s in Hilbert spaces and for composed map**s in the Gelfand triple setting. From these theorems, we deduce properties of the inverses of such map**s and convergence properties of a numerical scheme for the solution of algebraic inclusions.
We prove solvability theorems for relaxed one-sided Lipschitz multivalued map**s in Hilbert spaces and for composed map**s in the Gelfand triple setting. From these theorems, we deduce properties of the inverses of such map**s and convergence properties of a numerical scheme for the solution of algebraic inclusions.
△ Less
Submitted 2 January, 2015;
originally announced January 2015.
-
The shape of extremal functions for Poincaré-Sobolev-type inequalities in a ball
Authors:
Pedro M. Girão,
Tobias Weth
Abstract:
We study extremal functions for a family of Poincaré-Sobolev-type inequalities. These functions minimize, for subcritical or critical $p\geq 2$, the quotient ${\|\nabla u\|_2}/{\|u\|_p}$ among all $u \in H^1(B)\setminus\{0\}$ with $\int_{B}u=0$. Here $B$ is the unit ball in $\mathbb{R}^N$. We show that the minimizers are axially symmetric with respect to a line passing through the origin. We also…
▽ More
We study extremal functions for a family of Poincaré-Sobolev-type inequalities. These functions minimize, for subcritical or critical $p\geq 2$, the quotient ${\|\nabla u\|_2}/{\|u\|_p}$ among all $u \in H^1(B)\setminus\{0\}$ with $\int_{B}u=0$. Here $B$ is the unit ball in $\mathbb{R}^N$. We show that the minimizers are axially symmetric with respect to a line passing through the origin. We also show that they are strictly monotone in the direction of this line. In particular, they take their maximum and minimum precisely at two antipodal points on the boundary of $B$. We also prove that, for $p$ close to $2$, minimizers are antisymmetric with respect to the hyperplane through the origin perpendicular to the symmetry axis, and that, once the symmetry axis is fixed, they are unique (up to multiplication by a constant). In space dimension two, we prove that minimizers are not antisymmetric for large $p$.
△ Less
Submitted 1 July, 2014;
originally announced July 2014.