In this paper, we consider the Dirichlet problem of the three-dimensional Laplace equation in the unit ball with a shrinking hole. The problem typically arises from homogenization problems in domains perforated with tiny holes. We give an almost complete description concerning the uniform $W^{1,p}$ estimates: for any $3/2<p<3$ there hold the uniform $W^{1,p}$ estimates; for any $1<p<3/2$ or $3<p<\infty $, there are counterexamples indicating that the uniform $W^{1,p}$ estimates do not hold. The results can be generalized to higher dimensions.
In this work we extend a recent result by Dyda et. al. [B. Dyda, A. Kuznetsov, M. Kwasnicki, Eigenvalues of the fractional Laplace equation in the unit ball, J. Lond. Math. Soc. (2) 95 (2017), 500-518.] to dimension 3.
For a class of equations generalizing the model case \[ Δ_p u-a(r)u^{p-1}+b(r)u^q=0 \; \; \mbox{in $B$}, \; \; u=0 \; \; \mbox{on $\partial B$}, \] where $B$ is the unit ball in $R^n$, $n \geq 1$, $r=|x|$, $p,q>1$, and $Δ_p$ denotes the $p$-Laplace operator, we give conditions for the existence and uniqueness of positive solution. In case $n=1$, we give a more general result.
We consider a fractional Laplace equation and we give a self-contained elementary exposition of the representation formula for the Green function on the ball. In this exposition, only elementary calculus techniques will be used, in particular, no probabilistic methods or computer assisted algebraic manipulations are needed. The main result in itself is not new, however we believe that the exposition is original and easy to follow, hence we hope that this paper will be accessible to a wide audience of young researchers and graduate students that want to approach the subject, and even to profess…
We significantly expand the number of functions whose image under the fractional Laplace operator can be computed explicitly. In particular, we show that the fractional Laplace operator maps Meijer G-functions of |x|^2, or generalized hypergeometric functions of -|x|^2, multiplied by a solid harmonic polynomial, into the same class of functions. As one important application of this result, we produce a complete system of eigenfunctions of the operator (1-|x|^2)_+^{alpha/2} (-Delta)^{alpha/2} with the Dirichlet boundary conditions outside of the unit ball. The latter result will be used to esti…
Let $n \geq 2$ and $Ω\subset \mathbb{R}^n$ be a bounded domain. Then by Trudinger-Moser embedding, $W_0^{1,n}(Ω)$ is embedded in an Orlicz space consisting of exponential functions. Consider the corresponding semi linear $n$-Laplace equation with critical or sub-critical exponential nonlinearity in a ball $B(R)$ with dirichlet boundary condition. In this paper, we prove that under suitable growth conditions on the nonlinearity, there exists an $γ_0 > 0$, and a corresponding $R_0(γ_0 ) > 0$ such that for all $0 < R < R_0$ , the problem admits a unique non degenerate positive radial solution $u$…
We characterize all the solutions of the heat equation that have their (spatial) equipotential surfaces which do not vary with the time. Such solutions are either isoparametric or split in space-time. The result gives a final answer to a problem raised by M. S. Klamkin, extended by G. Alessandrini, and that was named the Matzoh Ball Soup Problem by L. Zalcman. Similar results can also be drawn for a class of quasi-linear parabolic partial differential equations with coefficients which are homogeneous functions of the gradient variable. This class contains the (isotropic or anisotropic) evoluti…
We study Hölder continuity for solutions of the $p$-Laplace equation. This is established through a method involving an ordinary differential inequality, in contrast to the classical proof of the De Giorgi-Nash-Moser Theorem which uses iteration of an inequality through concentric balls.
In this article we will explore Dirichlet Laplace eigenvalues on balls on spherically symmetric manifolds. We will compare any Dirichlet Laplace eigenvalue with the corresponding Dirichlet Laplace eigenvalue on balls in Euclidean space with the same radius. As a special case we will show that the Dirichlet Laplace eigenvalues on balls with small radius on the sphere are smaller than the corresponding eigenvalues on the Euclidean ball with the same radius. While the opposite is true for the Dirichlet Laplace eigenvalues of hyperbolic spaces.
We obtain sharp lower bounds for the first eigenvalue of four types of eigenvalue problem defined by the bi-Laplace operator on compact manifolds with boundary and determine all the eigenvalues and the corresponding eigenfunctions of a Wentzell-type bi-Laplace problem on Euclidean balls.
We describe a highly efficient numerical scheme for finding two-sided bounds for the eigenvalues of the fractional Laplace operator (-Delta)^{alpha/2} in the unit ball D in R^d, with a Dirichlet condition in the complement of D. The standard Rayleigh-Ritz variational method is used for the upper bounds, while the lower bounds involve the less-known Aronszajn method of intermediate problems. Both require explicit expressions for the fractional Laplace operator applied to a linearly dense set of functions in L^2(D). We use appropriate Jacobi-type orthogonal polynomials, which were studied in a c…
We use the integral by parts to get a Liouville type theorem for a class quasilinear $p$-Laplace type equation on the sphere, this $p$-Laplace type equation arises from the study of asymptotic behavior near the origin for the semi-linear $p$-Laplace equation on the puncture ball $B_1(o) \subset R^n$. This gives a positive answer to L. Véron's question in a paper \cite{Veron92} and his book \cite{Veron} at page 440.
We give an alternative proof for Hölder regularity for weak solutions of nonlocal elliptic quasilinear equations modelled on the fractional p-Laplacian where we replace the discrete De Giorgi iteration on a sequence of concentric balls by a continuous iteration. This work can be viewed as the nonlocal counterpart to the ideas developed by Tiziano Granucci.
We study the heat equation in the exterior of the unit ball with a linear dynamical boundary condition. Our main aim is to find upper and lower bounds for the rate of convergence to solutions of the Laplace equation with the same dynamical boundary condition as the diffusion coefficient tends to infinity.
We prove a sharp upper bound and a lower bound for the first nonzero eigenvalue of the Wentzell-Laplace operator on compact manifolds with boundary and an isoperimetric inequality for the same eigenvalue in the case where the manifold is a bounded domain in a Euclidean space. We study some fourth order Stekolv problems and obtain isoperimetric upper bound for the first eigenvalue of them. We also find all the eigenvalues and eigenfunctions for two kind of fourth order Stekolv problems on a Euclidean ball.
Let $B_{R}$ be the ball in the euclidean space $\mathbb{R}^{n}$ with center 0 and radius $R$ and let $f$ be a complex-valued, infinitely differentiable function on $B_{R}.$ We show that the Laplace-Fourier series of $f$ has a holomorphic extension which converges compactly in the Lie ball $\hat {B_{R}}$ in the complex space $\mathbb{C}^{n}$ when one assumes a natural estimate for the Laplace-Fourier coefficients.
We prove novel (local) square function/Carleson measure estimates for non-negative solutions to the evolutionary $p$-Laplace equation in the complement of parabolic Ahlfors-David regular sets. In the case of the heat equation, the Laplace equation as well as the $p$-Laplace equation, the corresponding square function estimates have proven fundamental in symmetry and inverse/free boundary type problems, and in particular in the study of (parabolic) uniform rectifiability. Though the implications of the square function estimates are less clear for the evolutionary $p$-Laplace equation, mainly du…
In this paper, we consider radial distributional solutions of the quasilinear equation $-Δ_N u=f(u)$ in the punctured open ball $ B_R\backslash\{0\}\subset \RR^N$, $N \geq 2$. We obtain sharp conditions on the nonlinearity $f$ for extending such solutions to the whole domain $B_R$ by preserving the regularity. For a certain class of noninearity $f$ we obtain the existence of singular solutions and deduce upper and lower estimates on the growth rate near the singularity.
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…
We study Sobolev spaces on the $n-$dimensional unit ball $B^n(1)$ endowed with a parameter-depending Finsler metric $F_a$, $a\in [0,1],$ which interpolates between the Klein metric $(a=0)$ and Funk metric $(a=1)$, respectively. We show that the standard Sobolev space defined on the Finsler manifold $(B^n(1),F_a)$ is a vector space if and only if $a\in [0,1).$ Furthermore, by exploiting variational arguments, we provide non-existence and existence results for sublinear elliptic problems on $(B^n(1),F_a)$ involving the Finsler-Laplace operator whenever $a\in [0,1).$
In this note we analyze how perturbations of a ball $\mathfrak{B}_r \subset \mathbb{R}^n$ behaves in terms of their first (non-trivial) Neumann and Dirichlet $\infty-$eigenvalues when a volume constraint $\\mathscr{L}^n(Ω) = \mathscr{L}^n(\mathfrak{B}_r)$ is imposed. Our main result states that $Ω$ is uniformly close to a ball when it has first Neumann and Dirichlet eigenvalues close to the ones for the ball of the same volume $\mathfrak{B}_r$. In fact, we show that, if $$ |λ_{1,\infty}^D(Ω) - λ_{1,\infty}^D(\mathfrak{B}_r)| = δ_1 \quad \text{and} \quad |λ_{1,\infty}^N(Ω) - λ_{1,\infty}^N(\mat…
We build new examples of extremal domains with small prescribed volume for the first eigenvalue of the Laplace-Beltrami operator in some Riemannian manifold with boundary. These domains are close to half balls of small radius centered at a nondegenerate critical point of the mean curvature function of the boundary of the manifold, and their boundary intersects the boundary of the manifold orthogonally.
Given a compact Riemannian manifold $(M, g)$ without boundary, we estimate the Lebesgue norm of Laplace-Beltrami eigenfunctions when restricted to a wide variety of subsets $Γ$ of $M$. The sets $Γ$ that we consider are Borel measurable, Lebesgue-null but otherwise arbitrary with positive Hausdorff dimension. Our estimates are based on Frostman-type ball growth conditions for measures supported on $Γ$. For large Lebesgue exponents $p$, these estimates provide a natural generalization of $L^p$ bounds for eigenfunctions restricted to submanifolds, previously obtained in \cite{Ho68, Ho71, Sog88, B…
We show that value functions of a certain time-dependent control problem in $Ω\times (0,T)$, with a continuous payoff $F$ on the parabolic boundary, converge uniformly to the viscosity solution of the parabolic dominative $p$-Laplace equation $$2(n+p)u_t=Δu+(p-2)λ_n(D^2 u),$$ with the boundary data $F$. Here $2\leq p< \infty$, and $λ_n(D^2 u)$ is the largest eigenvalue of the Hessian $D^2 u$.
In this paper we study semi-stable, radially symmetric and decreasing solutions $u\in W^{1,p}(B_1)$ of $-Δ_p u=g(u)$ in $B_1\setminus\{0\}$, where $B_1$ is the unit ball of $\mathbb{R}^N$, $p>1$, $Δ_p$ is the $p-$Laplace operator and $g$ is a general locally Lipschitz function. We establish sharp pointwise estimates for such solutions. As an application of these results, we obtain optimal pointwise estimates for the extremal solution and its derivatives (up to order three) of the equation $-Δ_p u=λf(u)$, posed in $B_1$, with Dirichlet data $u|_{\partial B_1}=0$, where the nonlinearity $f$ is a…
In this article we obtain estimates of Neumann eigenvalues of $p$-Laplace operators in a large class of space domains satisfying quasihyperbolic boundary conditions. The suggested method is based on composition operators generated by quasiconformal mappings and their applications to Sobolev-Poincaré-inequalities. By using a sharp version of the inverse Hölder inequality we refine our estimates for quasi-balls, that is, images of balls under quasiconformal mappings of the whole space.
Motivated by recent results regarding the equivalence of the Dirichlet and Neumann problems for the Laplace operator in the case of simply connected regions, the present paper takes a step further and provides a similar equivalence between the above mentioned problems in the case of planar doubly-connected regions. The equivalence means that solving any of these problems leads by an explicit formula to a solution of the other problem. In addition, suffcient conditions guaranteeing the uniform Holder continuity of the higher order partial derivatives of the solutions to the Neumann problem are …
The eigenvalue problem for the p-Laplace operator with Robin boundary condition is considered in this paper. A Faber-Krahn type inequality is proved. More precisely, it is shown that amongst all the domains of fixed volume, the ball has the smallest first eigenvalue.
In this paper we prove discreteness of the spectrum of the Neu\-mann-Lap\-la\-ci\-an (the free membrane problem) in a large class of non-convex space domains. The lower estimates of the first non-trivial eigenvalue are obtained in terms of geometric characteristics of Sobolev mappings. The suggested approach is based on Poincaré-Sobolev inequalities that are obtained with the help of the composition operators theory for uniform Sobolev spaces. These composition operators are induced by a generalizations of conformal mappings that are mappings of bounded $2$-dilatation ($2$-quasiconformal mappi…
In this paper we continue the study on the resolvent estimates of the Laplace-Beltrami operator $Δ_g$ on a compact manifolds $M$ with dimension $n\geq3$. On the Sobolev line $1/p-1/q=2/n$ we can prove that the resolvent $(Δ_g+ζ)^{-1}$ is uniformly bounded from $L^p$ to $L^q$ when $(p,q)$ are within the admissible range $p\leq2(n+1)/(n+3)$ and $q\geq2(n+1)/(n-1)$ and $ζ$ is outside a parabola opening to the right and a small disk centered at the origin. This naturally generalizes the previous results in \cite{Kenig} and \cite{bssy} which addressed only the special case when $p=2n/(n+2), q=2n/(n…
We provide $q$-moment estimates on annuli for weak solutions of the singular $p$-Laplace equation where $p$ and $q$ are conjugates. We derive $q$-uniform integrability for some critical parameter range. As a application, we derive a mass conservation as well as a weak convergence result for a larger critical parameter range. Concerning the latter point, we further provide a rate of convergence of order $t^{q-1}$ of the solution in the $q$-Wasserstein distance.
We study the Robin eigenvalue problem for the Laplace-Beltrami operator on Riemannian manifolds. Our first result is a comparison theorem for the second Robin eigenvalue on geodesic balls in manifolds whose sectional curvatures are bounded from above. Our second result asserts that geodesic balls in nonpositively curved space forms maximize the second Robin eigenvalue among bounded domains of the same volume.
Let $u$ be a harmonic function in the unit ball $B(0,1) \subset \mathbb{R}^n$, $n \geq 3$, such that $u(0)=0$. Nadirashvili conjectured that there exists a positive constant $c$, depending on the dimension $n$ only, such that $H^{n-1}(\{u=0 \}\cap B) \geq c$. We prove Nadirashvili's conjecture as well as its counterpart on $C^\infty$-smooth Riemannian manifolds. The latter yields the lower bound in Yau's conjecture. Namely, we show that for any compact $C^\infty$-smooth Riemannian manifold $M$ (without boundary) of dimension $n$ there exists $c>0$ such that for any Laplace eigenfunction $φ_λ$ …
In this paper, we are interested in shape optimization problems involving the ge ometry (normal, curvatures) of the surfaces. We consider a class of hypersurface s in $\mathbb{R}^{n}$ satisfying a uniform ball condition and we prove the exist ence of a $C^{1,1}$-regular minimizer for general geometric functionals and cons traints involving the first- and second-order properties of surfaces, such as in $\mathbb{R}^{3}$ problems of the form: $$ \inf \int_{\partial Ω} j_0 [ \mathbf{x},\mathbf{n}(\mathbf{x}) ] dA (\mathbf{x}) + \int_{\partial Ω} j_1 [ \mathbf{x},\mathbf{n}(\mathbf{x}),H(\mathbf{x}…
