Concentrating solutions for an anisotropic planar elliptic Neumann problem with Hardy-Hénon weight and large exponent
Yibin Zhang
备注：
This manuscript has been accepted for publication in Topological Methods in Nonlinear Analysis(TMNA). arXiv admin note: text overlap with arXiv:1904.02936
Let $Ω$ be a bounded domain in $\mathbb{R}^2$ with smooth boundary, we study the following anisotropic elliptic Neumann problem with Hardy-Hénon weight $$ \begin{cases} -\nabla(a(x)\nabla u)+a(x)u=a(x)|x-q|^{2α}u^p,\,\,\,\, u>0\,\,\,\,\, \textrm{in}\,\,\,\,\, Ω,\\[2mm] \frac{\partial u}{\partialν}=0\,\, \qquad\quad\qquad\qquad\qquad \qquad\qquad\qquad\qquad \,\ \ \,\,\,\, \textrm{on}\,\,\, \partialΩ, \end{cases} $$ where $ν$ denotes the outer unit normal vector to $\partialΩ$, $q\in\overlineΩ$, $α\in(-1,+\infty)\setminus\mathbb{N}$, $p>1$ is a large exponent and $a(x)$ is a positive smooth function. We investigate the effect of the interaction between anisotropic coefficient $a(x)$ and singular source $q$ on the existence of concentrating solutions. We show that if $q\inΩ$ is a strict local maximum point of $a(x)$, there exists a family of positive solutions with arbitrarily many interior spikes accumulating to $q$; while if $q\in\partialΩ$ is a strict local maximum point of $a(x)$ and satisfies $\langle\nabla a(q),\,ν(q)\rangle=0$, such a problem has a family of positive solutions with arbitrarily many mixed interior and boundary spikes accumulating to $q$. In particular, we find that concentration at singular source $q$ is always possible whether $q\in\overlineΩ$ is an isolated local maximum point of $a(x)$ or not.
The general stability problem of truncations for a family of functions concentrating mass at the origin is described and a concrete example in the framework of entire optimizers for the fractional Hardy-Sobolev inequality is given. In this short note we point out some quantitative stability estimates, useful in dealing with critical $p-q$ fractional equations.
In this paper we first study the generalized weighted Hardy spaces $H^p_{L,w}(X)$ for $0<p\le 1$ associated to nonnegative self-adjoint operators $L$ satisfying Gaussian upper bounds on the space of homogeneous type $X$ in both cases of finite and infinite measure. We show that the weighted Hardy spaces defined via maximal functions and atomic decompositions coincide. Then we prove weighted regularity estimates for the Green operators of the inhomogeneous Dirichlet and Neumann problems in suitable bounded or unbounded domains including bounded semiconvex domains, convex regions above a Lipschi…
In this paper we prove that a singularly perturbed Neumann problem with potentials admits the existence of interior spikes concentrating in maxima and minima of an auxiliary function depending only on the potentials.
We consider the following singularly perturbed elliptic problem $$ \varepsilon^2\triangle\tilde{u}-\tilde{u}+\tilde{u}^p=0, \ \tilde{u}>0\quad \mbox{in} \ Ω,\ \ \ \frac{\partial\tilde{u}}{\partial \mathbf{n}}=0 \quad \mbox{on}\ \partialΩ, $$ where $Ω$ is a bounded domain in $\mathbb{R}^3$ with smooth boundary, $\varepsilon$ is a small parameter, $\mathbf{n}$ denotes the inward normal of $ \partialΩ$ and the exponent $p>1$. Let $Γ$ be a hypersurface intersecting $\partialΩ$ in the right angle along its boundary $\partialΓ$ and satisfying a {\em non-degenerate condition}. We establish the existe…
Let $N \geq 3$ and $Ω\subset \mathbb{R}^N$ be $C^2$ bounded domain. We study the existence of positive solution $u \in H^1(Ω)$ of \begin{align*} \left\{ \begin{array}{l} -Δu + λu = \frac{|u|^{2^*(s)-2}u}{|x-x_1|^s} + \frac{|u|^{2^*(s)-2}u}{|x-x_2|^s}\text{ in }Ω\\ \frac{\partial u}{\partial ν} = 0 \text{ on }\partialΩ, \end{array}\right. \end{align*} where $0 < s <2$, $2^*(s) = \frac{2(N-s)}{N-2}$ and $x_1, x_2 \in \overlineΩ$ with $x_1 \neq x_2$. First, we show the existence of positive solutions to the equation provided the positive $λ$ is small enough. In case that one of the singularities …
In this work we study the behavior of a family of solutions of a semilinear elliptic equation, with homogeneous Neumann boundary condition, posed in a two-dimensional oscillating thin region with reaction terms concentrated in a neighborhood of the oscillatory boundary. Our main result is concerned with the upper and lower semicontinuity of the set of solutions. We show that the solutions of our perturbed equation can be approximated with ones of a one-dimensional equation, which also captures the effects of all relevant physical processes that take place in the original problem.
We show that any general semilinear elliptic problem with Dirichlet or Neumann boundary conditions in an annulus A in R^2m ;m >1, invariant by the action of a certain symmetry group can be reduced to a nonhomogenous similar problem in an annulus D in R^(m+1), invariant by another related symmetry. We apply this result to prove the existence of positive and sign changing solutions of a singularly perturbed elliptic problem in A which concentrate on one or two (m-1) dimensional spheres. We also prove that the Morse indices of these solutions tend to infinity as the parameter of concentration ten…
We consider the two-dimensional eigenvalue problem for the Laplacian with the Neumann boundary condition involving the critical Hardy potential. We prove the existence of the second eigenfunction and study its asymptotic behavior around the origin. A key tool is the Sobolev type inequality with a logarithmic weight, which is shown in this paper as an application of the weighted nonlinear potential theory.
We show the existence and multiplicity of concentrating solutions to a pure Neumann slightly supercritical problem in a ball. This is the first existence result for this kind of problems in the supercritical regime. Since the solutions must satisfy a compatibility condition of zero average, all of them have to change sign. Our proofs are based on a Lyapunov-Schmidt reduction argument which incorporates the zero-average condition using suitable symmetries. Our approach also guarantees the existence and multiplicity of solutions to subcritical Neumann problems in annuli. More general symmetric d…
We prove the existence of solutions $(λ, v)\in \mathbb{R}\times H^{1}(Ω)$ of the elliptic problem \[ \begin{cases} -Δv+(V(x)+λ) v =v^{p}\ &\text{ in $ Ω, $} \ v>0,\qquad \int_Ωv^2\,dx =ρ. \end{cases} \] Any $v$ solving such problem (for some $λ$) is called a normalized solution, where the normalization is settled in $L^2(Ω)$. Here $Ω$ is either the whole space $\mathbb R^N$ or a bounded smooth domain of $\mathbb R^N$, in which case we assume $V\equiv0$ and homogeneous Dirichlet or Neumann boundary conditions. Moreover, $1<p<\frac{N+2}{N-2}$ if $N\ge 3$ and $p>1$ if $N=1,2$. Normalized solution…
In this paper we establish the characterization of the weighted BMO via two weight commutators in the settings of the Neumann Laplacian $Δ_{N_+}$ on the upper half space $\mathbb{R}^n_+$ and the reflection Neumann Laplacian $Δ_N$ on $\mathbb{R}^n$ with respect to the weights associated to $Δ_{N_+}$ and $Δ_{N}$ respectively. This in turn yields a weak factorization for the corresponding weighted Hardy spaces, where in particular, the weighted class associated to $Δ_{N}$ is strictly larger than the Muckenhoupt weighted class and contains non-doubling weights. In our study, we also make contribut…
The first goal of this paper is to study necessary and sufficient conditions to obtain the attainability of the \textit{fractional Hardy inequality } $$Λ_{N}\equivΛ_{N}(Ω):=\inf_{\{ϕ\in \mathbb{E}^s(Ω, D), ϕ\neq 0\}} \dfrac{\frac{a_{d,s}}{2} \displaystyle\int_{\mathbb{R}^d} \int_{\mathbb{R}^d} \dfrac{|ϕ(x)-ϕ(y)|^2}{|x-y|^{d+2s}}dx dy} {\displaystyle\int_Ω\frac{ϕ^2}{|x|^{2s}}\,dx}, $$ where $Ω$ is a bounded domain of $\mathbb{R}^d$, $0<s<1$, $D\subset \mathbb{R}^d\setminus Ω$ a nonempty open set and $$\mathbb{E}^{s}(Ω,D)=\left\{ u \in H^s(\mathbb{R}^d):\, u=0 \text{ in } D\right\}.$$ The second…
In this paper, we study the asymptotic behavior of positive solutions of the fractional Hardy-Hénon equation $$ (-Δ)^σu = |x|^αu^p ~~~~~~~~~~~ in ~~ B_1 \backslash \{0\} $$ with an isolated singularity at the origin, where $σ\in (0, 1)$ and the punctured unit ball $B_1 \backslash \{0\} \subset \mathbb{R}^n$ with $n \geq 2$. When $-2σ< α< 2σ$ and $\frac{n+α}{n-2σ} < p < \frac{n+2σ}{n-2σ}$, we give a classification of isolated singularities of positive solutions, and in particular, this implies sharp blow up estimates of singular solutions. Further, we describe the precise asymptotic behavior of…
On a compact manifold $M^{n}$ ($n\geq 3$) with boundary, we study the asymptotic behavior as $ε$ tends to zero of solutions $u_ε: M \to \mathbb{C}$ to the equation $Δu_ε + ε^{-2}(1 - |u_ε|^{2})u_ε = 0$ with the boundary condition $\partial_νu_ε = 0$ on $\partial M$. Assuming an energy upper bound on the solutions and a convexity condition on $\partial M$, we show that along a subsequence, the energy of $\{u_ε\}$ breaks into two parts: one captured by a harmonic $1$-form $ψ$ on $M$, and the other concentrating on the support of a rectifiable $(n-2)$-varifold $V$ which is stationary with respect…
This paper provides a deeper study of the Hardy and $\rm BMO$ spaces associated to the Neumann Laplacian $Δ_N$. For the Hardy space $H^1_{Δ_N}(\mathbb{R}^n)$ (which is a proper subspace of the classical Hardy space $H^1(\mathbb{R}^n)$) we demonstrate that the space has equivalent norms in terms of Riesz transforms, maximal functions, atomic decompositions, and weak factorizations. While for the space ${\rm BMO}_{Δ_N}(\mathbb{R}^n)$ (which contains the classical $\rm BMO(\mathbb{R}^n)$) we prove that it can be characterized in terms of the action of the Riesz transforms associated to the Neuman…
In this paper we investigate elliptic partial differential equations on Lipschitz domains in the plane whose coefficient matrices have small (but possibly nonzero) imaginary parts and depend only on one of the two coordinates. We show that for Dirichlet boundary data in L^p for p large enough, solutions exist and are controlled by the L^p-norm of the boundary data. Similarly, for Neumann boundary data in L^q, or for Dirichlet boundary data whose tangential derivative is in L^q (regularity boundary data), for q small enough, we show that solutions exist and are controlled by the L^q-norm of the…
We prove that the Neumann, Dirichlet and regularity problems for divergence form elliptic equations in the half space are well posed in $L_2$ for small complex $L_\infty$ perturbations of a coefficient matrix which is either real symmetric, of block form or constant. All matrices are assumed to be independent of the transversal coordinate. We solve the Neumann, Dirichlet and regularity problems through a new boundary operator method which makes use of operators in the functional calculus of an underlaying first order Dirac type operator. We establish quadratic estimates for this Dirac operator…
We consider the mixed boundary value problem or Zaremba's problem for the Laplacian in a bounded Lipschitz domain in R^n. We specify Dirichlet data on part of the boundary and Neumann data on the remainder of the boundary. We assume that the boundary between the sets where we specify Dirichlet and Neumann data is a Lipschitz surface. We require that the Neumann data is in L^p and the Dirichlet data is in the Sobolev space of functions having one derivative in L^p for some p near 1. Under these conditions, there is a unique solution to the mixed problem with the non-tangential maximal function …
This paper continues the study of the mixed problem for the Laplacian. We consider a bounded Lipschitz domain $Ω\subset \reals^n$, $n\geq2$, with boundary that is decomposed as $\partialΩ=D\cup N$, $D$ and $N$ disjoint. We let $Λ$ denote the boundary of $D$ (relative to $\partialΩ$) and impose conditions on the dimension and shape of $Λ$ and the sets $N$ and $D$. Under these geometric criteria, we show that there exists $p_0>1$ depending on the domain $Ω$ such that for $p$ in the interval $(1,p_0)$, the mixed problem with Neumann data in the space $L^p(N)$ and Dirichlet data in the Sobolev spa…
Let $\mathcal{X}$ be a metric space with doubling measure and $L$ a non-negative self-adjoint operator on $L^2(\mathcal{X})$ whose heat kernels satisfy the Gaussian upper bound estimates. Assume that the growth function $φ:\ \mathcal{X}\times[0,\infty) \to[0,\infty)$ satisfies that $φ(x,\cdot)$ is an Orlicz function and $φ(\cdot,t)\in {\mathbb A}_{\infty}(\mathcal{X})$ (the class of uniformly Muckenhoupt weights). Let $H_{φ,\,L}(\mathcal{X})$ be the Musielak-Orlicz-Hardy space defined via the Lusin area function associated with the heat semigroup of $L$. In this article, the authors characteri…
The purpose of this article is to study extrapolation of solvability for boundary value problems of elliptic systems in divergence form on the upper half-space assuming De Giorgi type conditions. We develop a method allowing to treat each boundary value problem independently of the others. We shall base our study on solvability for energy solutions, estimates for boundary layers, equivalence of certain boundary estimates with interior control so that solvability reduces to a one-sided Rellich inequality. Our method then amounts to extrapolating this Rellich inequality using atomic Hardy spaces…
Given any elliptic system with $t$-independent coefficients in the upper-half space, we obtain representation and trace for the conormal gradient of solutions in the natural classes for the boundary value problems of Dirichlet and Neumann types with area integral control or non-tangential maximal control. The trace spaces are obtained in a natural range of boundary spaces which is parametrized by properties of some Hardy spaces. This implies a complete picture of uniqueness vs solvability and well-posedness.
We study well-posedness of boundary value problems of Dirichlet and Neumann type for elliptic systems on the upper half-space with coefficients independent of the transversal variable, and with boundary data in fractional Besov-Hardy-Sobolev (BHS) spaces. Our approach uses minimal assumptions on the coefficients, and in particular does not require De Giorgi-Nash-Moser estimates. Our results are completely new for the Hardy-Sobolev case, and in the Besov case they extend results recently obtained by Barton and Mayboroda. First we develop a theory of BHS spaces adapted to operators which are bis…
The anisotropic Calderón problem for Riemannian metrics at high fixed frequency
CNRS, Université Paris-Est Créteil, Université Gustave Eiffel（法国国家科学研究中心、巴黎东马恩拉瓦莱大学、古斯塔夫埃菲尔大学）；Department of Mathematics, University of California, Irvine（加州大学欧文分校数学系）；Department of Mathematics, Indian Institute of Technology Bombay（印度理工学院孟买分校数学系）；Department of Mathematics, University of Washington（华盛顿大学数学系）
We consider divergence form elliptic equations $Lu:=\nabla\cdot(A\nabla u)=0$ in the half space $\mathbb{R}^{n+1}_+ :=\{(x,t)\in \mathbb{R}^n\times(0,\infty)\}$, whose coefficient matrix $A$ is complex elliptic, bounded and measurable. In addition, we suppose that $A$ satisfies some additional regularity in the direction transverse to the boundary, namely that the discrepancy $A(x,t) -A(x,0)$ satisfies a Carleson measure condition of Fefferman-Kenig-Pipher type, with small Carleson norm. Under these conditions, we establish a full range of boundedness results for double and single layer potent…
We prove a number of \textit{a priori} estimates for weak solutions of elliptic equations or systems with vertically independent coefficients in the upper-half space. These estimates are designed towards applications to boundary value problems of Dirichlet and Neumann type in various topologies. We work in classes of solutions which include the energy solutions. For those solutions, we use a description using the first order systems satisfied by their conormal gradients and the theory of Hardy spaces associated with such systems but the method also allows us to design solutions which are not n…
