Searcharxiv⌕ Search

arXiv subjects

Wenming Zou

Publications and source records attributed to Wenming Zou.

At least 37 records · Page 2Linked to original sources

Sharp stability on the second Robin eigenvalue with negative boundary parameters

In this paper, we prove a quantitative refinement of the isoperimetric type inequality for the second Robin eigenvalue with negative boundary parameters established by Freitas and Laugesen [Amer.J.Math.143 (2021), no.3, 969-994].Such new stability estimate is proved when the boundary parameter is not too far from 0.By constructing a suitable family of nearly spherical domains, we prove that the exponent for the Fraenkel asymmetry in this quantitative type inequality is sharp.

math.AP↗

Normalized solutions for a class of Sobolev critical Schrodinger systems

This paper focuses on the existence and multiplicity of normalized solutions for the coupled Schrodinger system with Sobolev critical coupling term. We present several existence and multiplicity results under some explicit conditions. Furthermore, we present a non-existence result for the defocusing case. This paper, together with the paper [T. Bartsch, H. W. Li and W. M. Zou. Calc. Var. Partial Differential Equations 62 (2023) ], provides a more comprehensive understanding of normalized solutions for Sobolev critical systems. We believe our methods can also address the open problem of the multiplicity of normalized solutions for Schrodinger systems with Sobolev critical growth, with potential for future development and broader applicability.

math.AP↗

A strong-form stability for a class of $L^p$ Caffarelli-Kohn-Nirenberg interpolation inequality

We study the stability of a class of Caffarelli-Kohn-Nirenberg (CKN) interpolation inequality and establish a strong-form stability as following: \begin{equation*} \inf_{v\in\mathcal{M}_{p,a,b}}\frac{ \|u-v\|_{H_b^p} \|u-v\|_{L^p_a}^{p-1} }{\|u\|_{H^p_b}\|u\|_{L^p_a}^{p-1}} \le Cδ_{p,a,b}(u)^{t}, \end{equation*} where $t=1$ for $p=2$ and $t=\frac{1}{p}$ for $p > 2$, and $δ_{p,a,b}(u)$ is deficit of the CKN. We also note that it is impossible to establish stability results for $\|\cdot\|_{H_b^p}$ or $\|\cdot\|_{L_a^p}$ separately. Moreover, we consider the second-order CKN inequalities and establish similar results for radial functions.

math.AP↗

Two Positive Normalized Solutions on Star-shaped Bounded Domains to the Brézis-Nirenberg Problem, I: Existence

We develop a new framework to prove the existence of two positive solutions with prescribed mass on star-shaped bounded domains: one is the normalized ground state and another is of M-P type. We merely address the Sobolev critical cases since the Sobolev subcritical ones can be addressed by following similar arguments and are easier. Our framework is based on some important observations, that, to the best of our knowledge, have not appeared in previous literatures. Using these observations, we firstly establish the existence of a normalized ground state solution, whose existence is unknown so for. Then we use some novel ideas to obtain the second positive normalized solution, which is of M-P type. It seems to be the first time in the literatures to get two positive solutions under our settings, even in the Sobolev subcritical cases. We further remark that our framework is applicable to many other equations.

math.AP↗

Two Positive Normalized Solutions and Phase Separation for Coupled Schrödinger Equations on Bounded Domain with L2-Supercritical and Sobolev Critical or Subcritical Exponent

In this paper we study the existence of positive normalized solutions of the following coupled Schrödinger system: \begin{align} \left\{ \begin{aligned} & -Δu = λ_u u + μ_1 u^3 + βuv^2, \quad x \in Ω, \\ & -Δv = λ_v v + μ_2 v^3 + βu^2 v, \quad x \in Ω, \\ & u > 0, v > 0 \quad \text{in } Ω, \quad u = v = 0 \quad \text{on } \partialΩ, \end{aligned} \right. \nonumber \end{align} with the $L^2$ constraint \begin{align} \int_Ω|u|^2dx = c_1, \quad \quad \int_Ω|v|^2dx = c_2, \nonumber \end{align} where $μ_1, μ_2 > 0$, $β\neq 0$, $c_1, c_2 > 0$, and $Ω\subset \mathbb{R}^N$ ($N = 3, 4$) is smooth, bounded, and star-shaped. Note that the nonlinearities and the coupling terms are both $L^2$-supercritical in dimensions 3 and 4, Sobolev subcritical in dimension 3, Sobolev critical in dimension 4. We show that this system has a positive normalized solution which is a local minimizer. We further show that the system has a second positive normalized solution, which is of M-P type when $N = 3$. This seems to be the first existence result of two positive normalized solutions for such a Schrödinger system, especially in the Sobolev critical case. We also study the limit behavior of the positive normalized solutions in the repulsive case $β\to -\infty$, and phase separation is expected.

math.AP↗

Sign-changing solution for logarithmic elliptic equations with critical exponent

In this paper, we consider the logarithmic elliptic equations with critical exponent \begin{equation} \begin{cases} -Δu=λu+ |u|^{2^*-2}u+θu\log u^2, \\ u \in H_0^1(Ω), \quad Ω\subset \R^N. \end{cases} \end{equation} Here, the parameters $N\geq 6$, $λ\in \R$, $θ>0$ and $ 2^*=\frac{2N}{N-2} $ is the Sobolev critical exponent. We prove the existence of sign-changing solution with exactly two nodal domain for an arbitrary smooth bounded domain $Ω\subset \mathbb{R}^{N}$. When $Ω=B_R(0)$ is a ball, we also construct infinitely many radial sign-changing solutions with alternating signs and prescribed nodal characteristic.

math.AP↗

On the stability of critical points of the Hardy-Littlewood-Sobolev inequality

This paper is concerned with the quantitative stability of critical points of the Hardy-Littlewood-Sobolev inequality. Namely, we give quantitative estimates for the Choquard equation: $$-Δu=(I_μ\ast|u|^{2_μ^*}) u^{2_μ^*-1}\ \ \text{in}\ \ \R^N,$$ where $u>0,\ N\geq 3,\ μ\in(0,N)$, $I_μ$ is the Riesz potential and $2_μ^* \coloneqq \frac{2N-μ}{N-2}$ is the upper Hardy-Littlewood-Sobolev critical exponent. The Struwe's decomposition (see M. Struwe: Math Z.,1984) showed that the equation $Δu + u^{\frac{N+2}{N-2 }}=0$ has phenomenon of ``stable up to bubbling'', that is, if $u\geq0$ and $\|Δu+u^{\frac{N+2}{N-2}}\|_{(\mathcal{D}^{1,2})^{-1}}$ approaches zero, then $d(u)$ goes to zero, where $d(u)$ denotes the $\mathcal{D}^{1,2}(\R^N)$-distance between $u$ and the set of all sums of Talenti bubbles. Ciraolo, F{}igalli and Maggi (Int. Math. Res. Not.,2017) obtained the f{}irst quantitative version of Struwe's decomposition with single bubble in all dimensions $N\geq 3$, i.e, $\displaystyle d(u)\leq C\|Δu+u^{\frac{N+2}{N-2}}\|_{L^{\frac{2N}{N+2}}}.$ For multiple bubbles, F{}igalli and Glaudo (Arch. Rational Mech. Anal., 2020) obtained quantitative estimates depending on the dimension, namely $$ d(u)\leq C\|Δu+u^{\frac{N+2}{N-2}}\|_{(\mathcal{D}^{1,2})^{-1}}, \hbox{ where } 3\leq N\leq 5,$$ which is invalid as $N\geq 6.$ \vskip0.1in \quad In this paper, we prove the quantitative estimate of the Hardy-Littlewood-Sobolev inequality, we get $$d(u)\leq C\|Δu +(I_μ\ast|u|^{2_μ^*})|u|^{2_μ^*-2}u\|_{(\mathcal{D}^{1,2})^{-1}}, \hbox{ when } N=3 \hbox{ and } 5/2< μ<3.$$

math.AP↗

Normalized solutions to Schödinger equations with potential and inhomogeneous nonlinearities on large convex domains

The paper addresses an open problem raised in [Bartsch, Molle, Rizzi, Verzini: Normalized solutions of mass supercritical Schrödinger equations with potential, Comm. Part. Diff. Equ. 46 (2021), 1729-1756] on the existence of normalized solutions to Schrödinger equations with potentials and inhomogeneous nonlinearities. We consider the problem \[ -Δu+V(x)u+λu = |u|^{q-2}u+β|u|^{p-2}u, \quad \|u\|^2_2=\int|u|^2dx = α, \] both on $\mathbb{R}^N$ as well as on domains $rΩ$ where $Ω\subset\mathbb{R}^N$ is an open bounded convex domain and $r>0$ is large. The exponents satisfy $2<p<2+\frac4N<q<2^*=\frac{2N}{N-2}$, so that the nonlinearity is a combination of a mass subcritical and a mass supercritical term. Due to the presence of the potential a by now standard approach based on the Pohozaev identity cannot be used. We develop a robust method to study the existence of normalized solutions of nonlinear Schrödinger equations with potential and find conditions on $V$ so that normalized solutions exist. Our results are new even in the case $β=0$.

math.AP↗

Existence and asymptotics of normalized solutions for logarithmic Schrödinger system

This paper is concerned with the following logarithmic Schrödinger system: $$\left\{\begin{align} \ &\ -Δu_1+ω_1u_1=μ_1 u_1\log u_1^2+\frac{2p}{p+q}|u_2|^{q}|u_1|^{p-2}u_1,\\ \ &\ -Δu_2+ω_2u_2=μ_2 u_2\log u_2^2+\frac{2q}{p+q}|u_1|^{p}|u_2|^{q-2}u_2,\\ \ &\ \int_Ω|u_i|^2\,dx=ρ_i,\ \ i=1,2,\\ \ &\ (u_1,u_2)\in H_0^1(Ω;\mathbb R^2),\end{align}\right.$$ where $Ω=\mathbb{R}^N$ or $Ω\subset\mathbb R^N(N\geq3)$ is a bounded smooth domain, $ω_i\in\mathbb R$, $μ_i,\ ρ_i>0,\ i=1,2.$ Moreover, $p,\ q\geq1,\ 2\leq p+q\leqslant 2^*$, where $2^*:=\frac{2N}{N-2}$. By using a Gagliardo-Nirenberg inequality and careful estimation of $u\log u^2$, firstly, we will provide a unified proof of the existence of the normalized ground states solution for all $2\leq p+q\leqslant 2^*$. Secondly, we consider the stability of normalized ground states solutions. Finally, we analyze the behavior of solutions for Sobolev-subcritical case and pass the limit as the exponent $p+q$ approaches to $2^*$. Notably, the uncertainty of sign of $u\log u^2$ in $(0,+\infty)$ is one of the difficulties of this paper, and also one of the motivations we are interested in. In particular, we can establish the existence of positive normalized ground states solutions for the Brézis-Nirenberg type problem with logarithmic perturbations (i.e., $p+q=2^*$). In addition, our study includes proving the existence of solutions to the logarithmic type Brézis-Nirenberg problem with and without the $L^2$-mass $\int_Ω|u_i|^2\,dx=ρ_i(i=1,2)$ constraint by two different methods, respectively. Our results seems to be the first result of the normalized solution of the coupled nonlinear Schrödinger system with logarithmic perturbation.

math.AP↗

Positive solution for an elliptic system with critical exponent and logarithmic terms

In this paper, we study the existence and nonexistence of positive solutions for a coupled elliptic system with critical exponent and logarithmic terms. The presence of the the logarithmic terms brings major challenges and makes it difficult to use the previous results established in the work of Chen and Zou without new ideas and innovative techniques.

math.AP↗

Sharp estimates, uniqueness and nondegeneracy of positive solutions of the Lane-Emden system in planar domains

We study the Lane-Emden system $$\begin{cases} -Δu=v^p,\quad u>0,\quad\text{in}~Ω, -Δv=u^q,\quad v>0,\quad\text{in}~Ω, u=v=0,\quad\text{on}~\partialΩ, \end{cases}$$ where $Ω\subset\mathbb{R}^2$ is a smooth bounded domain. In a recent work, we studied the concentration phenomena of positive solutions as $p,q\to+\infty$ and $|q-p|\leq Λ$. In this paper, we obtain sharp estimates of such multi-bubble solutions, including sharp convergence rates of local maxima and scaling parameters, and accurate approximations of solutions. As an application of these sharp estimates, we show that when $Ω$ is convex, then the solution of this system is unique and nondegenerate for large $p, q$.

math.AP↗

Existence and asymptotic behavior of normalized ground states for Sobolev critical Schrödinger systems

The paper is concerned with the existence and asymptotic properties of normalized ground states of the following nonlinear Schrödinger system with critical exponent: \begin{equation*} \left\{\begin{aligned} &-δu+λ_1 u=|u|^{2^*-2}u+{να} |u|^{α-2}|v|^βu,\quad \text{in }\mathbb{R}^N, &-δv+λ_2 v=|v|^{2^*-2}v+{νβ} |u|^α|v|^{β-2}v,\quad \text{in }\mathbb{R}^N, &\int u^2=a^2,\;\;\; \int v^2=b^2, \end{aligned} \right. \end{equation*} where $N=3,4$, $α,β>1$, $2<α+β<2^*=\frac{2N}{N-2}$. We prove that a normalized ground state does not exist for $ν<0$. When $ν>0$ and $α+β\le 2+\frac{4}{N}$, we show that the system has a normalized ground state solution for $0<ν<ν_0$, the constant $ν_0$ will be explicitly given. In the case $α+β>2+\frac{4}{N}$ we prove the existence of a threshold $ν_1\ge 0$ such that a normalized ground state solution exists for $ν>ν_1$, and does not exist for $ν<ν_1$. We also give conditions for $ν_1=0$. Finally we obtain the asymptotic behavior of the minimizers as $ν\to0^+$ or $ν\to+\infty$.

math.AP↗

Least energy positive soultions for $d$-coupled Schrödinger systems with critical exponent in dimension three

In the present paper, we consider the coupled Schrödinger systems with critical exponent: \begin{equation*} \begin{cases} -Δu_i+λ_{i}u_i=\sum\limits_{j=1}^{d} β_{ij}|u_j|^{3}|u_i|u_i \quad ~\text{ in } Ω,\\ u_i \in H_0^1(Ω) ,\quad i= 1,2,...,d. \end{cases} \end{equation*} Here, $Ω\subset \mathbb{R}^{3}$ is a smooth bounded domain, $d \geq 2$, $β_{ii}>0$ for every $i$, and $β_{ij}=β_{ji}$ for $i \neq j$. We study a Brézis-Nirenberg type problem: $-λ_{1}(Ω)<λ_{1},\cdots,λ_{d}<-λ^*(Ω)$, where $λ_{1}(Ω)$ is the first eigenvalue of $-Δ$ with Dirichlet boundary conditions and $λ^*(Ω)\in (0, λ_1(Ω))$. We acquire the existence of least energy positive solutions to this system for weakly cooperative case ($β_{ij}>0$ small) and for purely competitive case ($β_{ij}\leq 0$) by variational arguments. The proof is performed by mathematical induction on the number of equations, and requires more refined energy estimates for this system. Besides, we present a new nonexistence result, revealing some different phenomena comparing with the higher-dimensional case $N\geq 5$. It seems that this is the first paper to give a rather complete picture for the existence of least energy positive solutions to critical Schrödinger system in dimension three.

math.AP↗

On universally optimal lattice phase transitions and energy minimizers of completely monotone potentials

We consider the minimizing problem for energy functionals with two types of competing particles and completely monotone potential on a lattice. We prove that the minima of sum of two completely monotone functions among lattices is located exactly on a special curve which is part of the boundary of the fundamental region. We also establish a universal result for square lattice being the optimal in certain interval, which is surprising. Our result establishes the hexagonal-rhombic-square-rectangular transition lattice shapes in many physical and biological system (such as Bose-Einstein condensates and two-component Ginzburg-Landau systems). It turns out, our results also apply to locating the minimizers of sum of two Eisenstein series, which is new in number theory.

math.CA↗

Least energy positive solutions of critical Schrödinger systems with mixed competition and cooperation terms: the higher dimensional case

Let $Ω\subset \mathbb{R}^{N}$ be a smooth bounded domain. In this paper we investigate the existence of least energy positive solutions to the following Schrödinger system with $d\geq 2$ equations \begin{equation*} -Δu_{i}+λ_{i}u_{i}=|u_{i}|^{p-2}u_{i}\sum_{j = 1}^{d}β_{ij}|u_{j}|^{p} \text{ in } Ω, \quad u_i=0 \text{ on } \partial Ω, \qquad i=1,...,d, \end{equation*} in the case of a critical exponent $2p=2^*=\frac{2N}{N-2}$ in high dimensions $N\geq 5$. We treat the focusing case ($β_{ii}>0$ for every $i$) in the variational setting $β_{ij}=β_{ji}$ for every $i\neq j$, dealing with a Brézis-Nirenberg type problem: $-λ_{1}(Ω)<λ_{i}<0$, where $λ_{1}(Ω)$ is the first eigenvalue of $(-Δ,H^1_0(Ω))$. We provide several sufficient conditions on the coefficients $β_{ij}$ that ensure the existence of least energy positive solutions; these include the situations of pure cooperation ($β_{ij}> 0$ for every $i\neq j$), pure competition ($β_{ij}\leq 0$ for every $i\neq j$) and coexistence of both cooperation and competition coefficients. Some proofs depend heavily on the fact that $1 0$, $-λ_1(Ω)<λ<0$ for all $N\geq 4$, a result which is new in dimensions $N=4,5$.

math.AP↗

A new deduce of the strict binding inequality and its application: Ground state normalized solution to Schrödinger equations with potential

In the present paper, we prove the existence of solutions $(λ, u)\in \R\times H^1(\R^N)$ to the following elliptic equations with potential $\displaystyle -Δu+(V(x)+λ)u=g(u)\;\hbox{in}\;\R^N, $ satisfying the normalization constraint $\displaystyle \int_{\R^N}u^2=a>0,$ which is deduced by searching for solitary wave solution to the time-dependent nonlinear Schrödinger equations. Besides the importance in the applications, not negligible reasons of our interest for such problems with potential $V(x)$ are their stimulating and challenging mathematical difficulties. We develop an interesting way basing on iteration and give a new proof of the so-called "sub-additive inequality", which can simply the standard process in the traditional sense. Under some very relax assumption on the potential $V(x)$ and some other suitable assumptions on $g$, we can obtain the existence of ground state solution for prescribed $a>0$.

math.AP↗

Normalized solutions for nonlinear Schrödinger systems with special mass-mixed terms: The linear couple case

In this paper, we prove the existence of positive solutions $(λ_1,λ_2, u,v)\in \R^2\times H^1(\R^N, \R^2)$ to the following coupled Schrödinger system $$\begin{cases} -Δu + λ_1 u= μ_1|u|^{p-2}u+βv \quad &\hbox{in}\;\RN, \\ -Δv + λ_2 v= μ_2|v|^{q-2}v+βu \quad &\hbox{in}\;\RN, \end{cases}$$ satisfying the normalization constraints $\displaystyle\int_{\RN}u^2 =a, ~ \int_{\RN}v^2 =b$. The parameters $μ_1,μ_2,β>0$ are prescribed and the masses $a,b>0$. Here $2+\frac{4}{N} 0$ and $β>0$, provided $2\leqslant N\leqslant 4$. For the Sobolev critical case with $N=3,4$, it can be viewed as a counterpart of the Brezis-Nirenberg critical semilinear elliptic problem for the system case in the context of normalized solutions. Under some suitable assumptions, we obtain the existence or non-existence of positive normalized ground state solution.

math.AP↗

Positive normalized solutions to nonlinear elliptic systems in $\R^4$ with critical Sobolev exponent

In this paper, we consider the existence and asymptotic behavior on mass of the positive solutions to the following system: \begin{equation}\label{eqA0.1}\nonumber \begin{cases} -Δu+λ_1u=μ_1u^3+α_1|u|^{p-2}u+βv^2u\quad&\hbox{in}~\R^4,\\ -Δv+λ_2v=μ_2v^3+α_2|v|^{p-2}v+βu^2v\quad&\hbox{in}~\R^4,\\ \end{cases} \end{equation} under the mass constraint $$\int_{\R^4}u^2=a_1^2\quad\text{and}\quad\int_{\R^4}v^2=a_2^2,$$ where $a_1,a_2$ are prescribed, $μ_1,μ_2,β>0$; $α_1,α_2\in \R$, $p\!\in\! (2,4)$ and $λ_1,λ_2\!\in\!\R$ appear as Lagrange multipliers. Firstly, we establish a non-existence result for the repulsive interaction case, i.e., $α_i<0(i=1,2)$. Then turning to the case of $α_i>0 (i=1,2)$, if $2<p<3$, we show that the problem admits a ground state and an excited state, which are characterized respectively by a local minimizer and a mountain-pass critical point of the corresponding energy functional. Moreover, we give a precise asymptotic behavior of these two solutions as $(a_1,a_2)\to (0,0)$ and $a_1\sim a_2$. This seems to be the first contribution regarding the multiplicity as well as the synchronized mass collapse behavior of the normalized solutions to Schrödinger systems with Sobolev critical exponent. When $3\leq p<4$, we prove an existence as well as non-existence ($p=3$) results of the ground states, which are characterized by constrained mountain-pass critical points of the corresponding energy functional. Furthermore, precise asymptotic behaviors of the ground states are obtained when the masses of whose two components vanish and cluster to a upper bound (or infinity), respectively.

math.AP↗