In this paper we study the first Steklov-Laplacian eigenvalue with an internal fixed spherichal obstacle. We prove that the spherical shell locally maximizes the first eigenvalue among nearly spherical sets when both the internal ball and the volume are fixed.
In this paper we consider in a bounded domain $Ω\subset \mathbb{R}^N$ with smooth boundary an eigenvalue problem for the negative $(p,q)$-Laplacian with a Steklov type boundary condition, where $p\in (1,\infty)$, $q\in (2,\infty)$ and $p\neq q$. A full description of the set of eigenvalues of this problem is provided, thus essentially extending a recent result by Abreu and Madeira [1] related to the $(p,2)$-Laplacian.
In this paper we study double phase problems with nonlinear boundary condition and gradient dependence. Under quite general assumptions we prove existence results for such problems where the perturbations satisfy a suitable behavior in the origin and at infinity. Our proofs make use of variational tools, truncation techniques and comparison methods. The existence of the obtained solutions depends on the first eigenvalues of the Robin and Steklov eigenvalue problems for the $p$-Laplacian.
In this paper we consider in a bounded domain $Ω\subset \mathbb{R}^N$ with smooth boundary an eigenvalue problem for the negative $(p,q)$-Laplacian with a Steklov-like boundary condition, where $p,\, q\in (1,\infty)$, $p\neq q$, including the open case $p\in (1,\infty)$, $q\in (1, 2)$, $p\neq q$. A full description of the set of eigenvalues of this problem is provided. Our results complement those previously obtained by Abreu and Madeira \cite{AM}, Barbu and Moroşanu \cite{BM}, Fărcăşeanu, Mihăilescu and Stancu-Dumitru \cite{FMS}, Mihăilescu \cite{MMih}, Mihăilescu and Moroşanu \cite{MM}.
This paper is concerned with a nonlinear Steklov boundary-value problem involving weighted $p(.)$-Laplacian. Using the Ricceri's variational principle, we obtain the existence of at least three weak solutions in double weighted variable exponent Sobolev space.
In this paper we prove the existence of a maximum for the first Steklov-Dirichlet eigenvalue in the class of convex sets with a fixed spherical hole under volume constraint. More precisely, if $Ω=Ω_0 \setminus \bar{B}_{R_1}$, where $B_{R_1}$ is the ball centered at the origin with radius $R_1>0$ and $Ω_0\subset\mathbb{R}^n$, $n\geq 2$, is an open bounded and convex set such that $B_{R_1}\Subset Ω_0$, then the first Steklov-Dirichlet eigenvalue $σ_1(Ω)$ has a maximum when $R_1$ and the measure of $Ω$ are fixed. Moreover, if $Ω_0$ is contained in a suitable ball, we prove that the spherical shel…
We study the Steklov eigenvalue problem for the $\infty-$orthotropic Laplace operator defined on convex sets of $\mathbb{R}^N$, with $N\geq2$, considering the limit for $p\to+\infty$ of the Steklov problem for the $p-$orthotropic Laplacian. We find a limit problem that is satisfied in the viscosity sense and a geometric characterization of the first non trivial eigenvalue. Moreover, we prove Brock-Weinstock and Weinstock type inequalities among convex sets, stating that the ball in a suitable norm maximizes the first non trivial eigenvalue for the Steklov $\infty-$orthotropic Laplacian, once w…
For a given bounded Lipschitz set $Ω$, we consider a Steklov--type eigenvalue problem for the Laplacian operator whose solutions provide extremal functions for the compact embedding $H^1(Ω)\hookrightarrow L^2(\partial Ω)$. We prove that a conjectured reverse Faber--Krahn inequality holds true at least in the class of Lipschitz sets which are "close" to a ball in a Hausdorff metric sense. The result implies that among sets of prescribed measure, balls are local minimizers of the embedding constant.
In this note we present upper bounds for the variational eigenvalues of the Steklov $p$-Laplacian on domains of $\mathbb R^n$, $n\geq 2$. We show that for $1<p\leq n$ the variational eigenvalues $σ_{p,k}$ are bounded above in terms of $k,p,n$ and $|\partialΩ|$ only. In the case $p>n$ upper bounds depend on a geometric constant $D(Ω)$, the $(n-1)$-distortion of $Ω$ which quantifies the concentration of the boundary measure. We prove that the presence of this constant is necessary in the upper estimates for $p>n$ and that the corresponding inequality is sharp, providing examples of domains with …
Motivated by the connection between the first eigenvalue of the Dirichlet-Laplacian and the torsional rigidity, the aim of this paper is to find a physically coherent and mathematically interesting new concept for boundary torsional rigidity, closely related to the Steklov eigenvalue. From a variational point of view, such a new object corresponds to the sharp constant for the trace embedding of $W^{1,2}(Ω)$ into $L^1(\partialΩ)$. We obtain various equivalent variational formulations, present some properties of the state function and obtain some sharp geometric estimates, both for planar simpl…
In this paper we study a Steklov-Robin eigenvalue problem for the Laplacian in annular domains. More precisely, we consider $Ω=Ω_0 \setminus \overline{B}_{r}$, where $B_{r}$ is the ball centered at the origin with radius $r>0$ and $Ω_0\subset\mathbb{R}^n$, $n\geq 2$, is an open, bounded set with Lipschitz boundary, such that $\overline{B}_{r}\subset Ω_0$. We impose a Steklov condition on the outer boundary and a Robin condition involving a positive $L^{\infty}$-function $β(x)$ on the inner boundary. Then, we study the first eigenvalue $σ_β(Ω)$ and its main properties. In particular, we investi…
The second eigenvalue of the Robin Laplacian is shown to be maximal for the ball among domains of fixed volume, for negative values of the Robin parameter $α$ in the regime connecting the first nontrivial Neumann and Steklov eigenvalues, and even somewhat beyond the Steklov regime. The result is close to optimal, since the ball is not maximal when $α$ is sufficiently large negative, and the problem admits no maximiser when $α$ is positive.
The second eigenvalue of the Robin Laplacian is shown to be maximal for the disk among simply-connected planar domains of fixed area when the Robin parameter is scaled by perimeter in the form $α/L(Ω)$, and $α$ lies between $-2π$ and $2π$. Corollaries include Szegő's sharp upper bound on the second eigenvalue of the Neumann Laplacian under area normalization, and Weinstock's inequality for the first nonzero Steklov eigenvalue for simply-connected domains of given perimeter. The first Robin eigenvalue is maximal, under the same conditions, for the degenerate rectangle. When area normalization o…
We extend some classical inequalities between the Dirichlet and Neumann eigenvalues of the Laplacian to the context of mixed Steklov--Dirichlet and Steklov--Neumann eigenvalue problems. The latter one is also known as the sloshing problem, and has been actively studied for more than a century due to its importance in hydrodynamics. The main results of the paper are applied to obtain certain geometric information about nodal sets of sloshing eigenfunctions. The key ideas of the proofs include domain monotonicity for eigenvalues of mixed Steklov problems, as well as an adaptation of Filonov's me…
In this paper,we will study the homogenization of $p$-Laplacian with obstacles in perforated domain, where the holes are periodically distributed and have random size. And we also assume that the $p$-capacity of each hole is stationary ergodic.
For a given bounded domain $Ω$ with smooth boundary in a smooth Riemannian manifold $(\mathcal{M},g)$, we show that the Poisson type upper-estimate of the heat kernel associated to the Dirichlet-to-Neumann operator, the Sobolev trace inequality, the Log-Sobolev trace inequality, the Nash trace inequality, and the Rozenblum-Lieb-Cwikel type inequality are all equivalent. Upon decomposing the Dirichlet-to-Neumann operator into a sum of the square root of the Laplacian and a pseudodifferntial operator and by applying Grubb's method of symbolic calculus for the corresponding pseudodifferential hea…
We prove a higher regularity result for the free boundary in the obstacle problem for the fractional Laplacian via a higher order boundary Harnack inequality.
In this paper we give a full classification of global solutions of the obstacle problem for the fractional Laplacian (including the thin obstacle problem) with compact coincidence set and at most polynomial growth in dimension $N \geq 3$. We do this in terms of a bijection onto a set of polynomials describing the asymptotics of the solution. Furthermore we prove that coincidence sets of global solutions that are compact are also convex if the solution has at most quadratic growth.
We study thin obstacle problems involving the energy functional with $p(x)$-growth. We prove higher integrability and Hölder regularity for the gradient of minimizers of the thin obstacle problems under the assumption that the variable exponent $p(x)$ is Hölder continuous.
We use a characterization of the fractional Laplacian as a Dirichlet to Neumann operator for an appropriate differential equation to study its obstacle problem. We write an equivalent characterization as a thin obstacle problem. In this way we are able to apply local type arguments to obtain sharp regularity estimates for the solution and study the regularity of the free boundary.
We study the singular part of the free boundary in the obstacle problem for the fractional Laplacian, \ $\min\bigl\{(-Δ)^su,\,u-φ\bigr\}=0$ in $\mathbb R^n$, for general obstacles $φ$. Our main result establishes the complete structure and regularity of the singular set. To prove it, we construct new monotonicity formulas of Monneau-type that extend those in \cite{GP} to all $s\in(0,1)$.
We discuss isoperimetric inequalities for the magnetic Laplacian on bounded domains of $\mathbb R^2$ endowed with an Aharonov-Bohm potential. When the flux of the potential around the pole is not an integer, the lowest eigenvalue for the Neumann and the Steklov problems is positive. We establish isoperimetric inequalitites for the lowest eigenvalue in the spirit of the classical inequalities of Szegö-Weinberger, Brock and Weinstock, the model domain being a disk with the pole at its center. We consider more generally domains in the plane endowed with a rotationally invariant metric, which incl…
We study nonlinear parabolic PDEs with Orlicz-type growth conditions. The main result gives the existence of a unique solution to the obstacle problem related to these equations. To achieve this we show the boundedness of weak solutions and that a uniformly bounded sequence of weak supersolutions converges to a weak supersolution. Moreover, we prove that if the obstacle is continuous, so is the solution.
We prove existence, uniqueness and optimal regularity of solutions to the stationary obstacle problem defined by the fractional Laplacian operator with drift, in the subcritical regime. We localize our problem by considering a suitable extension operator introduced by L. Caffarelli and L. Silvestre. The structure of the extension equation is different from the one considered by L. Caffarelli, S. Salsa and L. Silvestre in their study of the obstacle problem for the fractional Laplacian without drift, in that the obstacle function has less regularity, and exhibits some singularities. To take int…
The paper is concerned with the Steklov eigenvalue problem on cuboids of arbitrary dimension. We prove a two-term asymptotic formula for the counting function of Steklov eigenvalues on cuboids in dimension d greater or equal to 3. Apart from the standard Weyl term, we calculate explicitly the second term in the asymptotics, capturing the contribution of the (d-2)-dimensional facets of a cuboid. Our approach is based on lattice counting techniques. While this strategy is similar to the one used for the Dirichlet Laplacian, the Steklov case carries additional complications. In particular, it is …
In this paper, we consider the analogous of the obtacle problem in $H_0^1(Ω)$, on the space $W^{1,p}_0(Ω)$. We prove an existence and uniqueness of the result. In a second time, we define the optimal control problem associated. The results, here enclosed, generalize the one obtained by D.R. Adams, S. Lenhard
We prove a uniqueness theorem for the obstacle problem for linear equations involving the fractional Laplacian with zero Dirichlet exterior condition. The problem under consideration arises as the limit of some logistic-type equations. Our result extends (and slightly strengthens) the known corresponding results for the classical Laplace operator with zero boundary condition. Our proof, as compared with the known proof for the classical Laplace operator, is entirely new, and is based on the probabilistic potential theory. Its advantage is that it may be applied to a wide class of integro-diffe…
We give an overview of results on shape optimization for low eigenvalues of the Laplacian on bounded planar domains with Neumann and Steklov boundary conditions. These results share a common feature: they are proved using methods of complex analysis. In particular, we present modernized proofs of the classical inequalities due to Szego and Weinstock for the first nonzero Neumann and Steklov eigenvalues. We also extend the inequality for the second nonzero Neumann eigenvalue, obtained recently by Nadirashvili and the authors, to non-homogeneous membranes with log-subharmonic densities. In the h…
The primary objective of this research is to investigate an inverse problem of parameter identification in nonlinear mixed quasi-variational inequalities posed in a Banach space setting. By using a fixed point theorem, we explore properties of the solution set of the considered quasi-variational inequality. We develop a general regularization framework to give an existence result for the inverse problem. Finally, we apply the abstract framework to a concrete inverse problem of identifying the material parameter in an implicit obstacle problem given by an operator of $p$-Laplacian type.
Let $M$ be a closed hypersurface in $\mathbb{R}^{n}$ and $Ω$ be a bounded domain such that $M= \partialΩ$. In this article, we obtain an upper bound for the first non-zero eigenvalue of the following problems. \begin{itemize} \item Closed eigenvalue problem: \begin{align*} %\label{eqn:closedep} Δ_p u = λ_{p} \ |u|^{p-2} \ u \qquad \mbox{ on } \quad {M}. \end{align*} \item Steklov eigenvalue problem: \begin{align*} \begin{array}{rcll} Δ_{p}u &=& 0 & \mbox{ in } Ω,\\ |\nabla u|^{p-2} \frac{\partial u}{\partial ν} &=& μ_{p} \ |u|^{p-2} \ u &\mbox{ on } M . \end{array} \end{align*} \end{itemize}
We establish the $C^{1+γ}$-Hölder regularity of the regular free boundary in the stationary obstacle problem defined by the fractional Laplace operator with drift in the subcritical regime. Our method of the proof consists in proving a new monotonicity formula and an epiperimetric inequality. Both tools generalizes the original ideas of G. Weiss for the classical obstacle problem to the framework of fractional powers of the Laplace operator with drift. Our study continues the earlier research, where two of us established the optimal interior regularity of solutions.
In this paper we study an eigenvalue problem for the so called $(p,2)$-Laplace operator on a smooth bounded domain under a nonlinear Steklov type boundary condition, namely \begin{equation} \left\{ \begin{aligned} -Δ_pu-Δu & =λa(x)u \ \ \text{in}\ Ω,\\ (|\nabla u|^{p-2}+1)\dfrac{\partial u}{\partialν} & =λb(x)u \ \ \text{on}\ \partialΩ. \end{aligned} \right. \end{equation} Under suitable integrability and boundedness assumptions on the positive weight functions $a$ and $b$, we show that, for all $p>1$, the eigenvalue set consists of an isolated null eigenvalue plus a continuous family of eigen…
In the framework of the Laplacian transport, described by a Robin boundary value problem in an exterior domain in $\mathbb{R}^n$, we generalize the definition of the Poincaré-Steklov operator to $d$-set boundaries, $n-2< d<n$, and give its spectral properties to compare to the spectra of the interior domain and also of a truncated domain, considered as an approximation of the exterior case. The well-posedness of the Robin boundary value problems for the truncated and exterior domains is given in the general framework of $n$-sets. The results are obtained thanks to a generalization of the conti…
We study the regularity of the free boundary in the obstacle problem for the fractional Laplacian under the assumption that the obstacle $φ$ satisfies $Δφ\leq 0$ near the contact region. Our main result establishes that the free boundary consists of a set of regular points, which is known to be a $(n-1)$-dimensional $C^{1,α}$ manifold by the results in \cite{CSS}, and a set of singular points, which we prove to be contained in a union of $k$-dimensional $C^1$-submanifold, $k=0,\ldots,n-1$. Such a complete result on the structure of the free boundary was known only in the case of the classical …
New isoperimetric inequalities for lower order eigenvalues of the Laplacian on closed hypersurfaces, of the biharmonic Steklov problems and of the Wentzell-Laplace on bounded domains in a Euclidean space are proven. Some open questions for further study are also proposed.
We study the obstacle problem for the fractional Laplacian with drift, $\min\left\{(-Δ)^s u + b \cdot \nabla u,\,u -φ\right\} = 0$ in $\mathbb{R}^n$, in the critical regime $s = \frac{1}{2}$. Our main result establishes the $C^{1,α}$ regularity of the free boundary around any regular point $x_0$, with an expansion of the form \[ u(x)-φ(x) = c_0\big((x-x_0)\cdot e\big)_+^{1+\tildeγ(x_0)} + o\left(|x-x_0|^{1+\tildeγ(x_0)+σ}\right), \] \[ \tildeγ(x_0) = \frac{1}{2}+\frac{1}π \arctan (b\cdot e), \] where $e \in \mathbb{S}^{n-1}$ is the normal vector to the free boundary, $σ>0$, and $c_0> 0$. We al…
In this paper, we consider the numerical approximation of the Steklov eigenvalue problem that arises in inverse acoustic scattering. The underlying scattering problem is for an inhomogeneous isotropic medium. These eigenvalues have been proposed to be used as a target signature since they can be recovered from the scattering data. A Galerkin method is studied where the basis functions are the Neumann eigenfunctions of the Laplacian. Error estimates for the eigenvalues and eigenfunctions are proven by appealing to Weyl's Law. We will test this method against separation of variables in order to …
In this paper we discuss the obstacle problem for the $p$-Laplace operator. We prove optimal growth results for the solution. Of particular interest is the point-wise regularity of the solution at free boundary points. The most surprising result we prove is the one for the $p$-obstacle problem: Find the smallest $u$ such that $$ \hbox{div} (|\nabla u|^{p-2}\nabla u) \leq 0, \qquad u\geq ϕ, \qquad \hbox{in } B_1, $$ with $ϕ\in C^{1,1}(B_1)$ and given boundary datum on $\partial B_1$. We prove that the solution is uniformly $C^{1,1}$ at free boundary points. Similar results are obtained in the c…
We study the regularity of the free boundary in the obstacle for the $p$-Laplacian, $\min\bigl\{-Δ_p u,\,u-φ\bigr\}=0$ in $Ω\subset\mathbb R^n$. Here, $Δ_p u=\textrm{div}\bigl(|\nabla u|^{p-2}\nabla u\bigr)$, and $p\in(1,2)\cup(2,\infty)$. Near those free boundary points where $\nabla φ\neq0$, the operator $Δ_p$ is uniformly elliptic and smooth, and hence the free boundary is well understood. However, when $\nabla φ=0$ then $Δ_p$ is singular or degenerate, and nothing was known about the regularity of the free boundary at those points. Here we study the regularity of the free boundary where $\…
We establish the optimal $C_{H}^{1,1}$ interior regularity of solutions to \[ Δ_{H}u=fχ_{\{u\ne0\}}, \] where $Δ_{H}$ denotes the sub-Laplacian operator in a stratified group. We assume the weakest regularity condition on $f$, namely $f*Γ$ is $C_{H}^{1,1}$, where $Γ$ is the fundamental solution of $Δ_{H}$. The $C_{H}^{1,1}$ regularity is understood in the sense of Folland and Stein. In the classical Euclidean setting, the first seeds of the above problem are already present in the 1991 paper of Sakai and are also related to quadrature domains. As a special instance of our results, when $u$ is …
We use a characterization of the fractional Laplacian as a Dirichlet to Neumann operator for an appropriate differential equation to study its obstacle problem in perforated domains.
We prove that the spatial gradient of (variational) solutions to parabolic obstacle problems of p-Laplacian type enjoys the same regularity of the data and of the derivatives of the obstacle in the scale of Lorentz spaces.
We associate a sequence of variational eigenvalues to any Radon measure on a compact Riemannian manifold. For particular choices of measures, we recover the Laplace, Steklov and other classical eigenvalue problems. In the first part of the paper we study the properties variational eigenvalues and establish a general continuity result, which shows for a sequence of measures converging in the dual of an appropriate Sobolev space, that the associated eigenvalues converge as well. The second part of the paper is devoted to various applications to shape optimization. The main theme is studying shar…
In this paper we study the obstacle problems for the Navier (spectral) fractional Laplacian $\left(-Δ_Ω\right)^{\!s}$ of order $s\in(0,1)$, in a bounded domain $Ω\subset\mathbb R^n$.
