SearcharxivSearch

arXiv subjects

Wenming Zou

Publications and source records attributed to Wenming Zou.

At least 19 recordsLinked to original sources

Uniqueness of bound states to the logarithmic Schr\"odinger equation

This paper studies the uniqueness of bound states for the problem \Delta u + u\log u ^2=0, \quad u\in H^1(\RN), \quad n\geq 2, which arises from the logarithmic Schr\"odinger equation. We prove that for every integer $k\geq 1$, there exists a unique radial solution $u(r)=u(|x|)$ that has exactly $k$ simple zeros for $r>0$. This resolves an open problem posed by Troy [{Arch. Ration. Mech. Anal.} 222 (2016), 1581--1600] and confirms the Berestycki-Lions conjecture for the logarithmic nonlinearity. The proof combines the shooting method with suitable auxiliary functions introduced by Tang [{Invent. math.} 243 (2026), 245--291]. A major difficulty arises from the singular behavior of the nonlinearity $f(u)=u \log u^2$ at origin. We overcome it by establishing asymptotic convergence and sharp decay rates at infinity for any ground state or bound state. More precisely, every such solution satisfies \lim_{r\to\infty}\frac{ u'(r)}{u(r) \sqrt{\abs{ \log u^2(r)}}}=\lim_{r\to\infty}\frac{u'(r)}{ru(r)} = -1, \quad \limsup_{r\to\infty}|u(r)|e^{(\frac12-\epsilon)r^2}<\infty, ~~\forall \epsilon \in ( 0,\frac{1}{2}). These asymptotic behaviors are of independent interest and may be useful for other problems involving logarithmic nonlinearities.

math.AP

Exact number of positive solutions and existence of sign-changing solutions with prescribed mass for NLS on bounded domains

Given $\mu > 0$, we study the elliptic problem: \begin{align*} \text{ find } (u,\lambda) \in H_0^1(\Omega) \times \mathbb{R} \text{ such that } -\Delta u + \lambda u = |u|^{p-2}u \text{ in } \Omega \text{ and } \int_\Omega|u|^2dx = \mu, \end{align*} where $\Omega \subset \mathbb{R}^N$ is a bounded domain and $p > 2$ is Sobolev-subcritical. When $p$ is $L^2$-subcritical, i.e. $2 < p < 2 + 4/N$, we show that the problem admits infinitely many sign-changing solutions whose energies are unbounded for every fixed $\mu > 0$. Moreover, we give the limit behavior for both the parameter $\lambda$ and the energy of the solutions as $\mu \to 0^+$ and $\mu \to +\infty$ respectively. Such a multiplicity result also holds when $p$ is $L^2$-critical, i.e. $p = 2 + 4/N$, for each small $\mu > 0$, and we describe precisely what happen when $\mu \to 0^+$. In the $L^2$-supercritical case, i.e. $2+4/N < p < 2^*$, we find as many sign-changing solutions as we want at the expense of possibly reducing the mass $\mu$. As $\mu$ tends to $0$, the energy of these solutions goes to $0$ and the limit of the parameter $\lambda$ is a Dirichlet eigenvalue of $-\Delta$ on $\Omega$ multiplying $-1$. When $\Omega = B_1$, the unitary ball, and the nonlinear term is $\tau |u|^{p-2}u$ with $\tau \in [1/2,1]$ fixed, in the $L^2$-supercritical regime, we prove that the problem admits exactly two positive solutions for small $\mu > 0$ and how small $\mu > 0$ must be does not depend on the value of $\tau$. Moreover, sending $\mu$ to $0$ we get that the energy of one positive solution tends to $0$ and the parameter tends to $-\lambda_1(B_1)$, where $\lambda_1(B_1)$ is the first Dirichlet eigenvalue of $-\Delta $ on the unit ball $B_1$, while both the energy of the other positive solution and the parameter $\lambda$ go to infinity uniformly with respect to $\tau$.

math.AP

Bivariate Hardy-Sobolev Inequality and Its Sharp Stability

This paper establishes a bivariate Hardy-Sobolev inequality. Let $\Omega \subset \mathbb{R}^N$ ($N \geq 3$) be an open domain, $s \in (0,2)$, $\alpha > 1$, $\beta > 1$ with $\alpha + \beta = 2^*(s)$, and $\kappa \in \mathbb{R}$. For any functions $u, v \in D_0^{1,2}(\Omega)$, we prove the inequality: \begin{multline*} \int_{\Omega} |\nabla u|^2 \, \mathrm{d}x + \int_{\Omega} |\nabla v|^2 \, \mathrm{d}x \ge S_{\alpha,\beta,\lambda,\mu}(\Omega) \left( \int_{\Omega} \Big( \lambda \frac{|u|^{2^*(s)}}{|x|^s} + \mu \frac{|v|^{2^*(s)}}{|x|^s} + 2^*(s) \kappa \frac{|u|^\alpha |v|^\beta}{|x|^s} \Big)\, \mathrm{d}x \right)^{\frac{2}{2^*(s)}}. \end{multline*} We derive the best constant $S_{\alpha,\beta,\lambda,\mu}(\Omega)$ and characterize the set of minimizers. Moreover, for $\Omega = \mathbb{R}^N$ and $\kappa > 0$, we obtain sharp stability results for nonnegative functions.

math.AP

A simple proof of the Uniqueness of blow-up solutions of mean field equations

For a regular mean field equation defined on a compact Riemann surface, an important work of Bartolucci-Jevnikar-Lee-Yang \cite{bart-4} proved a uniqueness theorem for blow-up solutions under non-degeneracy assumptions. However, the proof is highly nontrivial and challenging to read. In this article, we not only provide a simple proof for the regular equation but also extend our proof to the case of singular equations with negative singular poles. Our proof supplements what is not written in a recent outstanding work by Bartolucci-Yang-Zhang \cite{byz-1}.

math.AP

Infinitely many positive solutions to nonlinear scalar field equation with nonsmooth nonlinearity

This paper investigates the existence of infinitely many positive solutions for the logarithmic scalar field equation \begin{equation} \tag{$P$} \label{equ1} -\Delta u+ V(x) u= u\log u^2, \quad u\in H^1(\mathbb{R}^N), \end{equation} and its counterpart with prescribed $L^2$-norms \begin{align}\label{equ2} \tag{$P_N$} & -\Delta u+ V(x) u +\lambda u= u\log u^2, \quad u\in H^1(\mathbb{R}^N), &\int_{\mathbb{R}^N} u^2 ~\mathrm{d}x=a^2>0, \end{align} which come from physically relevant situations. Here, $N\geq 2$, $V:\mathbb{R}^N\to \mathbb{R}$ is a non-symmetric and non-periodic potential satisfying certain decay conditions, $ a $ is prescribed constant, and $\lambda$ arises as an unknown Lagrange multipliers. For problem \eqref{equ1}, using purely variational methods, we establish the existence of multi-bump positive solutions with either finitely or infinitely many bumps. For normalized problem \eqref{equ2}, we prove the existence of normalized multi-bump positive solutions with a finite number of bumps. The main difficulty comes from the nonsmooth nature of logarithmic nonlinearity, which introduces some challenges to the variational framework. In particular, the corresponding energy functional is not of class $C^1$ on $H^1(\mathbb{R}^N)$, which prevents the direct application of standard critical point theory for $C^1$ functional or any reduction methods for $C^{1+\sigma}$ nonlinearity. The main ingredients in this paper are nonsmooth critical point theory, localized variational methods and a max-min argument. To the best of our knowledge, this paper appears to be the first successful application of the localized variational method to nonsmooth functionals.

math.AP

Liouville-type Theorems for Stable Solutions of the H\'enon-Lane-Emden System

We investigate the H\'enon-Lane-Emden system defined by $- \Delta u=|x|^a |v|^{p-1}v$ and $- \Delta v=|x|^b |u|^{q-1}u$ in $\mathbb{R}^N \!\setminus\! \{0\}$. We begin by establishing a general Liouville-type theorem for the subcritical case. Then we prove that the H\'{e}non-Lane-Emden conjecture is valid for solutions stable outside a compact set, provided that $0 < \min\,\{p, q\} < 1$, or $0 \leq a - b \leq (N-2)(p - q)$, or $N \leq \frac{2(p+q+2)}{pq-1} + 10$. Additional Liouville-type theorems for the subcritical case are also obtained. Furthermore, we address the supercritical case. To our knowledge, these results constitute the first Liouville-type theorems for this class of solutions in the H\'{e}non-Lane-Emden system. As a by-product, several existing results in the literature are refined.

math.AP

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

Multiple sign-changing and semi-nodal normalized solutions for a Gross-Pitaevskii type system on bounded domains: the $L^2$-supercritical case

In this paper we investigate the existence of multiple sign-changing and semi-nodal normalized solutions for an $m$-coupled elliptic system of the Gross-Pitaevskii type: \begin{equation} \left\{ \begin{aligned} &-\Delta u_j + \lambda_j u_j = \sum_{k=1 }^m\beta_{kj} u_k^2 u_j, \quad u_j \in H_0^1(\Omega), &\int_\Omega u_j^2dx = c_j, \quad j = 1,2,\cdots,m. \end{aligned} \right. \end{equation} Here, $\Omega \subset \mathbb{R}^N$ ($N = 3,4$) is a bounded domain. The constants $\beta_{kj} \neq 0$ and $c_j > 0$ are prescribed constants, while $\lambda_1, \cdots, \lambda_m$ are unknown and appear as Lagrange multipliers. This is the first result in the literature on the existence and multiplicity of sign-changing and semi-nodal normalized solutions of couple Schr\"odinger system in all regimes of $\beta_{kj}$. The main tool which we use is a new skill of vector linking and this article attempts for the first time to use linking method to search for solutions of a coupled system. Particularly, to obtain semi-nodal normalized solutions, we introduce partial vector linking which is new up to our knowledge. Moreover, by investigating the limit process as $\vec{c}=(c_1,\ldots,c_m) \to \vec{0}$ we obtain some bifurcation results. Note that when $N=4$, the system is of Sobolev critical.

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\delta_{p,a,b}(u)^{t}, \end{equation*} where $t=1$ for $p=2$ and $t=\frac{1}{p}$ for $p > 2$, and $\delta_{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

Degenerate stability of critical points of the Caffarelli-Kohn-Nirenberg inequality along the Felli-Schneider curve

In this paper, we investigate the validity of a quantitative version of stability for the critical Hardy-H\'enon equation \begin{equation*} H(u):=\div(|x|^{-2a}\nabla u)+|x|^{-pb}|u|^{p-2}u=0,\quad u\in D_a^{1,2}(\R^n), \end{equation*} \begin{equation*} n\geq 2,\quad a<b<a+1,\quad a<\frac{n-2}{2},\quad p=\frac{2n}{n-2+2(b-a)}, \end{equation*} which is well known as the Euler-Lagrange equation of the classical Caffarelli-Kohn-Nirenberg inequality. Establishing quantitative stability for this equation amounts to finding a nonnegative function $F$ such that the estimate \begin{equation*} \inf_{\substack{U_i\in\mathcal{M} 1\leq i\leq\nu}}\norm*{u-\sum_{i=1}^\nu U_i}_{D_a^{1,2}(\R^n)}\leq C(a,b,n)F(\norm*{H(u)}_{D_a^{-1,2}(\R^n)}) \end{equation*} holds for any nonnegative function $u$ satisfying \begin{equation*} \left(\nu-\frac{1}{2}\right)S(a,b,n)^{\frac{p}{p-2}}\leq\int_{\R^n}|x|^{-2a}|\nabla u|^2\mathrm{d}x\leq \left(\nu+\frac{1}{2}\right)S(a,b,n)^{\frac{p}{p-2}}. \end{equation*} Here $\nu\in\N_+$ and $\mathcal{M}$ denotes the set of positive solutions to this equation. When $(a,b)$ falls above the Felli-Schneider curve, Wei and Wu \cite{Wei} found an optimal $F$. Their proof relies heavily on the fact that $\mathcal{M}$ is non-degenerate. When $(a,b)$ falls on the Felli-Schneider curve, due to the absence of the non-degeneracy condition, it becomes complicated and technical to find a suitable $F$. In this paper, we focus on this case. When $\nu=1$, we obtain an optimal $F$. When $\nu\geq2$ and $u$ is not too degenerate, we also derive an optimal $F$. To our knowledge, the results in this paper provide the first instance of degenerate stability in the critical point setting. We believe that our methods will be useful in other works on degenerate stability.

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

The stability on the Caffarelli-Kohn-Nirenberg and Hardy-type inequalities and beyond

In this paper, we establish several improved Caffarelli-Kohn-Nirenberg and Hardy-type inequalities. Our main results are divided into two parts. In the first part, we consider the following Caffarelli-Kohn-Nirenberg inequality: \begin{equation*} \left(\int_{\mathbb{R}^n}|x|^{-pa}|\nabla u|^pdx\right)^{\frac{1}{p}}\geq S(p,a,b)\left(\int_{\mathbb{R}^n}|x|^{-qb}|u|^qdx\right)^{\frac{1}{q}},\quad\forall\; u\in D_a^p(\mathbb{R}^n), \end{equation*} We establish gradient stability of this inequality in both functional and critical settings, and we derive some functional properties of the stability constant. Building on the gradient stability, we also obtain several refined Sobolev-type embeddings involving weak Lebesgue norms for functions supported in general domains. In the second part, we focus on various classical Hardy-type inequalities, including the standard Hardy inequality, the $L^p$-logarithmic Sobolev inequality with weights, the logarithmic Hardy inequality, the Hardy-Morrey inequality, the Hardy-Sobolev interpolation inequality, and the interpolated Caffarelli-Kohn-Nirenberg inequality. We investigate their weighted versions and derive corresponding extremal functions, refinements, new remaining terms and stability constants.

math.AP

Sharp quantitative stability for the fractional Sobolev trace inequality

In this paper, we study the stability of fractional Sobolev trace inequality within both the functional and critical point settings. In the functional setting, we establish the following sharp estimate: $$C_{\mathrm{BE}}(n,m,\alpha)\inf_{v\in\mathcal{M}_{n,m,\alpha}}\left\Vert f-v\right\Vert_{D_\alpha(\mathbb{R}^n)}^2 \leq \left\Vert f\right\Vert_{D_\alpha(\mathbb{R}^n)}^2 - S(n,m,\alpha) \left\Vert\tau_mf\right\Vert_{L^{q}(\mathbb{R}^{n-m})}^2,$$ where $0\leq m< n$, $\frac{m}{2}<\alpha<\frac{n}{2}, q=\frac{2(n-m)}{n-2\alpha}$ and $\mathcal{M}_{n,m,\alpha}$ denotes the manifold of extremal functions. Additionally, We find an explicit bound for the stability constant $C_{\mathrm{BE}}$ and establish a compactness result ensuring the existence of minimizers. In the critical point setting, we investigate the validity of a sharp quantitative profile decomposition related to the Escobar trace inequality and establish a qualitative profile decomposition for the critical elliptic equation \begin{equation*} \Delta u= 0 \quad\text{in }\mathbb{R}_+^n,\quad\frac{\partial u}{\partial t}=-|u|^{\frac{2}{n-2}}u \quad\text{on }\partial\mathbb{R}_+^n. \end{equation*} We then derive the sharp stability estimate: $$ C_{\mathrm{CP}}(n,\nu)d(u,\mathcal{M}_{\mathrm{E}}^{\nu})\leq \left\Vert \Delta u +|u|^{\frac{2}{n-2}}u\right\Vert_{H^{-1}(\mathbb{R}_+^n)}, $$ where $\nu=1,n\geq 3$ or $\nu\geq2,n=3$ and $\mathcal{M}_{\mathrm{E}}^\nu$ represents the manifold consisting of $\nu$ weak-interacting Escobar bubbles. Through some refined estimates, we also give a strict upper bound for $C_{\mathrm{CP}}(n,1)$, which is $\frac{2}{n+2}$.

math.AP

Classification of positive solutions to the H\'enon-Sobolev critical systems

In this paper, we investigate positive solutions to the following H\'enon-Sobolev critical system: $$ -\mathrm{div}(|x|^{-2a}\nabla u)=|x|^{-bp}|u|^{p-2}u+\nu\alpha|x|^{-bp}|u|^{\alpha-2}|v|^{\beta}u\quad\text{in }\mathbb{R}^n,$$ $$ -\mathrm{div}(|x|^{-2a}\nabla v)=|x|^{-bp}|v|^{p-2}v+\nu\beta|x|^{-bp}|u|^{\alpha}|v|^{\beta-2}v\quad\text{in }\mathbb{R}^n,$$ $$u,v\in D_a^{1,2}(\mathbb{R}^n),$$ where $n\geq 3,-\infty< a<\frac{n-2}{2},a\leq b 0$ and $\alpha>1,\beta>1$ satisfying $\alpha+\beta=p$. Our findings are divided into two parts, according to the sign of the parameter $a$. For $a\geq 0$, we demonstrate that any positive solution $(u,v)$ is synchronized, indicating that $u$ and $v$ are constant multiples of positive solutions to the decoupled H\'enon equation: \begin{equation*} -\mathrm{div}(|x|^{-2a}\nabla w)=|x|^{-bp}|w|^{p-2}w. \end{equation*} For $a<0$ and $b>a$, we characterize all nonnegative ground states. Additionally, we study the nondegeneracy of nonnegative synchronized solutions. This work also delves into some general $k$-coupled H\'enon-Sobolev critical systems.

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