<p>In this paper, we study the following degenerate elliptic problem with prescribed mass <Equation ID="Equ35"> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{array}{ll} -\Delta _\gamma u+\lambda u=f(u)\ \text {in}\ {\mathbb {R}^{N}}, \\ \int _{\mathbb {R}^{N}}|u|^2\mathrm dx=a^2, \end{array} \right. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <mo>-</mo> <msub> <mi mathvariant="normal">Δ</mi> <mi>γ</mi> </msub> <mi>u</mi> <mo>+</mo> <mi>λ</mi> <mi>u</mi> <mo>=</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="4pt" /> <mtext>in</mtext> <mspace width="4pt" /> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mi mathvariant="normal">d</mi> <mi>x</mi> <mo>=</mo> <msup> <mi>a</mi> <mn>2</mn> </msup> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Delta _\gamma :=\Delta _x+(1+\gamma )^2|x|^{2\gamma }\Delta _y\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Δ</mi> <mi>γ</mi> </msub> <mo>:</mo> <mo>=</mo> <msub> <mi mathvariant="normal">Δ</mi> <mi>x</mi> </msub> <mo>+</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>+</mo> <mi>γ</mi> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mn>2</mn> <mi>γ</mi> </mrow> </msup> <msub> <mi mathvariant="normal">Δ</mi> <mi>y</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> is the Grushin operator, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\gamma &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(z=(x,y)\in {\mathbb {R}}^{N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>z</mi> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(N=k+l\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mi>k</mi> <mo>+</mo> <mi>l</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(k,l\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>,</mo> <mi>l</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(f\in C({\mathbb {R}},{\mathbb {R}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <mi>C</mi> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">R</mi> <mo>,</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\lambda \in {\mathbb {R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> appears as an unknown Lagrange multiplier. We establish the existence of normalized solutions for general mass subcritical, general mass supercritical and mixed nonlinearities. In particular, for the mass subcritical case, we give the least action characterization, which states that any normalized ground state is a least action solution of the associated unconstrained problem and vice versa. For the mixed case, we consider <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(f(u)=|u|^{p-2}u+|u|^{q-2}u\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>u</mi> <mo>+</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>q</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>u</mi> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(2&lt;p&lt;2+\frac{4}{N_\gamma }&lt;q\le 2_\gamma ^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mn>2</mn> <mo>+</mo> <mfrac> <mn>4</mn> <msub> <mi>N</mi> <mi>γ</mi> </msub> </mfrac> <mo>&lt;</mo> <mi>q</mi> <mo>≤</mo> <msubsup> <mn>2</mn> <mi>γ</mi> <mo>∗</mo> </msubsup> </mrow> </math></EquationSource> </InlineEquation>, which involves the critical Sobolev exponent <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(2_\gamma ^*=\frac{2 N_\gamma }{N_\gamma -2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mn>2</mn> <mi>γ</mi> <mo>∗</mo> </msubsup> <mo>=</mo> <mfrac> <mrow> <mn>2</mn> <msub> <mi>N</mi> <mi>γ</mi> </msub> </mrow> <mrow> <msub> <mi>N</mi> <mi>γ</mi> </msub> <mo>-</mo> <mn>2</mn> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation>. The number <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(2+\frac{4}{N_\gamma }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>+</mo> <mfrac> <mn>4</mn> <msub> <mi>N</mi> <mi>γ</mi> </msub> </mfrac> </mrow> </math></EquationSource> </InlineEquation> is the mass critical exponent and <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(N_\gamma =k+(1+\gamma )l\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>N</mi> <mi>γ</mi> </msub> <mo>=</mo> <mi>k</mi> <mo>+</mo> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>+</mo> <mi>γ</mi> <mo stretchy="false">)</mo> </mrow> <mi>l</mi> </mrow> </math></EquationSource> </InlineEquation> is the so-called homogeneous dimension attached to the Grushin operator. Our results are not only the first contribution to the above degenerate elliptic problem with prescribed mass, but also present the new existence for the unconstrained problem.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Normalized Solutions for a Class of Degenerate Elliptic Problems Involving the Grushin Operator

  • Shubin Yu,
  • Chen Yang,
  • Chun-Lei Tang

摘要

In this paper, we study the following degenerate elliptic problem with prescribed mass \(\begin{aligned} \left\{ \begin{array}{ll} -\Delta _\gamma u+\lambda u=f(u)\ \text {in}\ {\mathbb {R}^{N}}, \\ \int _{\mathbb {R}^{N}}|u|^2\mathrm dx=a^2, \end{array} \right. \end{aligned}\) - Δ γ u + λ u = f ( u ) in R N , R N | u | 2 d x = a 2 , where \(\Delta _\gamma :=\Delta _x+(1+\gamma )^2|x|^{2\gamma }\Delta _y\) Δ γ : = Δ x + ( 1 + γ ) 2 | x | 2 γ Δ y is the Grushin operator, \(\gamma >0\) γ > 0 , \(z=(x,y)\in {\mathbb {R}}^{N}\) z = ( x , y ) R N , \(N=k+l\) N = k + l , \(k,l\ge 1\) k , l 1 , \(f\in C({\mathbb {R}},{\mathbb {R}})\) f C ( R , R ) and \(\lambda \in {\mathbb {R}}\) λ R appears as an unknown Lagrange multiplier. We establish the existence of normalized solutions for general mass subcritical, general mass supercritical and mixed nonlinearities. In particular, for the mass subcritical case, we give the least action characterization, which states that any normalized ground state is a least action solution of the associated unconstrained problem and vice versa. For the mixed case, we consider \(f(u)=|u|^{p-2}u+|u|^{q-2}u\) f ( u ) = | u | p - 2 u + | u | q - 2 u with \(2<p<2+\frac{4}{N_\gamma }<q\le 2_\gamma ^*\) 2 < p < 2 + 4 N γ < q 2 γ , which involves the critical Sobolev exponent \(2_\gamma ^*=\frac{2 N_\gamma }{N_\gamma -2}\) 2 γ = 2 N γ N γ - 2 . The number \(2+\frac{4}{N_\gamma }\) 2 + 4 N γ is the mass critical exponent and \(N_\gamma =k+(1+\gamma )l\) N γ = k + ( 1 + γ ) l is the so-called homogeneous dimension attached to the Grushin operator. Our results are not only the first contribution to the above degenerate elliptic problem with prescribed mass, but also present the new existence for the unconstrained problem.