A critical Trudinger-Moser inequality involving a degenerate potential and nonlinear Schrödinger equations
A critical Trudinger-Moser inequality involving a degenerate potential and nonlinear Schrödinger equations
复制标题
DOI：
10.1007/s11425-020-1872-x
复制
发表时间：
2021-05
期刊：
影响因子：
--
通讯作者：
Lu Chen;Guozhen Lu;Maochun Zhu
中科院分区：
文献类型：
--
作者：
Lu Chen;Guozhen Lu;Maochun Zhu
The classical critical Trudinger-Moser inequality in ℝ2 under the constraint ∫ℝ2(|∇u|2+|u|2)dx⩽1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}\end{document} was established through the technique of blow-up analysis or the rearrangement-free argument: for any τ > 0, it holds that supu∈H1(ℝ2)∫ℝ2(τ|u|2+|∇u|2)dx⩽1∫ℝ2(e4π|u|2−1)dx⩽C(τ)<+∞,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathop {\sup }\limits_{\matrix{{u \in {H^1}\left( {{\mathbb{R}^2}} \right)} \cr {\int_{{\mathbb{R}^2}} {\left( {\tau {{\left| u \right|}^2} + {{\left| {{\nabla u}} \right|}^2}} \right)dx} \leqslant 1} \cr } } \int_{\mathbb{R}{^2}} {\left( {{\rm{e}^{4\pi }}^{{{\left| u \right|}^2}} - 1} \right)dx} \;\leqslant \;C\left( \tau \right) < + \infty,$$\end{document} and 4π is sharp. However, if we consider the less restrictive constraint ∫ℝ2(|∇u|2+V(x)u2)dx⩽1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}\end{document}, where V(x) is nonnegative and vanishes on an open set in ℝ2, it is unknown whether the sharp constant of the Trudinger-Moser inequality is still 4π. The loss of a positive lower bound of the potential V(x) makes this problem become fairly nontrivial.The main purpose of this paper is two-fold. We will first establish the Trudinger-Moser inequality supu∈H1(ℝ2),∫ℝ2(|∇u|2+V(x)u2)dx⩽1∫ℝ2(e4πu2−1)dx⩽C(V)<∞,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathop {\sup }\limits_{u \in {H^1}\left( {\mathbb{R}{^2}} \right),\;\int_{\mathbb{R}{^2}} {\left( {{{\left| {\nabla u} \right|}^2} + V\left( x \right){u^2}} \right)dx} \leqslant 1} \int_{\mathbb{R}{^2}} {\left( {{\rm{e}^{4\pi {u^2}}} - 1} \right)dx} \;\leqslant \;C\left( V \right) < \infty,$$\end{document} when V is nonnegative and vanishes on an open set in ℝ2. As an application, we also prove the existence of ground state solutions to the following Schrödinger equations with critical exponential growth(0.1)−Δu+V(x)u=f(u)inℝ2,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}\end{document} where V(x) ⩾ 0 and vanishes on an open set of ℝ2 and f has critical exponential growth. Having the positive constant lower bound for the potential V(x) (e.g., the Rabinowitz type potential) has been the standard assumption when one deals with the existence of solutions to the above Schroödinger equations when the nonlinear term has the exponential growth. Our existence result seems to be the first one without this standard assumption.
The classical critical Trudinger-Moser inequality in ℝ2 under the constraint ∫ℝ2(|∇u|2+|u|2)dx⩽1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}\end{document} was established through the technique of blow-up analysis or the rearrangement-free argument: for any τ > 0, it holds that supu∈H1(ℝ2)∫ℝ2(τ|u|2+|∇u|2)dx⩽1∫ℝ2(e4π|u|2−1)dx⩽C(τ)<+∞,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathop {\sup }\limits_{\matrix{{u \in {H^1}\left( {{\mathbb{R}^2}} \right)} \cr {\int_{{\mathbb{R}^2}} {\left( {\tau {{\left| u \right|}^2} + {{\left| {{\nabla u}} \right|}^2}} \right)dx} \leqslant 1} \cr } } \int_{\mathbb{R}{^2}} {\left( {{\rm{e}^{4\pi }}^{{{\left| u \right|}^2}} - 1} \right)dx} \;\leqslant \;C\left( \tau \right) < + \infty,$$\end{document} and 4π is sharp. However, if we consider the less restrictive constraint ∫ℝ2(|∇u|2+V(x)u2)dx⩽1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}\end{document}, where V(x) is nonnegative and vanishes on an open set in ℝ2, it is unknown whether the sharp constant of the Trudinger-Moser inequality is still 4π. The loss of a positive lower bound of the potential V(x) makes this problem become fairly nontrivial.The main purpose of this paper is two-fold. We will first establish the Trudinger-Moser inequality supu∈H1(ℝ2),∫ℝ2(|∇u|2+V(x)u2)dx⩽1∫ℝ2(e4πu2−1)dx⩽C(V)<∞,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathop {\sup }\limits_{u \in {H^1}\left( {\mathbb{R}{^2}} \right),\;\int_{\mathbb{R}{^2}} {\left( {{{\left| {\nabla u} \right|}^2} + V\left( x \right){u^2}} \right)dx} \leqslant 1} \int_{\mathbb{R}{^2}} {\left( {{\rm{e}^{4\pi {u^2}}} - 1} \right)dx} \;\leqslant \;C\left( V \right) < \infty,$$\end{document} when V is nonnegative and vanishes on an open set in ℝ2. As an application, we also prove the existence of ground state solutions to the following Schrödinger equations with critical exponential growth(0.1)−Δu+V(x)u=f(u)inℝ2,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}\end{document} where V(x) ⩾ 0 and vanishes on an open set of ℝ2 and f has critical exponential growth. Having the positive constant lower bound for the potential V(x) (e.g., the Rabinowitz type potential) has been the standard assumption when one deals with the existence of solutions to the above Schroödinger equations when the nonlinear term has the exponential growth. Our existence result seems to be the first one without this standard assumption.