<p>In this paper, we prove the discrete Caffarelli-Kohn-Nirenberg inequalities on the lattice <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {Z}^{N}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mi>N</mi> </msup> </math></EquationSource> </InlineEquation> (<InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(N\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>) in a broader range of parameters than the classical continuous version [<CitationRef CitationID="CR8">8</CitationRef>]: <Equation ID="Equ23"> <EquationSource Format="TEX">\( \Vert u\Vert _{\ell _{b}^{q}}\le C(a,b,c,p,q,r,\theta ,N)\Vert u\Vert _{D_{a}^{1,p}}^{\theta }\Vert u\Vert _{\ell _{c}^{r}}^{1-\theta },\,\forall u\in D_{a,0}^{1,p}(\mathbb {Z}^{N}) \cap \ell _c ^r(\mathbb {Z}^{N}), \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>u</mi> <mo stretchy="false">‖</mo> </mrow> <msubsup> <mi>ℓ</mi> <mrow> <mi>b</mi> </mrow> <mi>q</mi> </msubsup> </msub> <mo>≤</mo> <msubsup> <mrow> <mi>C</mi> <mrow> <mo stretchy="false">(</mo> <mi>a</mi> <mo>,</mo> <mi>b</mi> <mo>,</mo> <mi>c</mi> <mo>,</mo> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>,</mo> <mi>r</mi> <mo>,</mo> <mi>θ</mi> <mo>,</mo> <mi>N</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">‖</mo> <mi>u</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <msubsup> <mi>D</mi> <mrow> <mi>a</mi> </mrow> <mrow> <mn>1</mn> <mo>,</mo> <mi>p</mi> </mrow> </msubsup> </mrow> <mi>θ</mi> </msubsup> <msubsup> <mrow> <mo stretchy="false">‖</mo> <mi>u</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <msubsup> <mi>ℓ</mi> <mrow> <mi>c</mi> </mrow> <mi>r</mi> </msubsup> </mrow> <mrow> <mn>1</mn> <mo>-</mo> <mi>θ</mi> </mrow> </msubsup> <mo>,</mo> <mspace width="0.166667em" /> <mo>∀</mo> <mi>u</mi> <mo>∈</mo> <msubsup> <mi>D</mi> <mrow> <mi>a</mi> <mo>,</mo> <mn>0</mn> </mrow> <mrow> <mn>1</mn> <mo>,</mo> <mi>p</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mi>N</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>∩</mo> <msubsup> <mi>ℓ</mi> <mi>c</mi> <mi>r</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mi>N</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(p,q,r&gt;1,0\le \theta \le 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>,</mo> <mi>r</mi> <mo>&gt;</mo> <mn>1</mn> <mo>,</mo> <mn>0</mn> <mo>≤</mo> <mi>θ</mi> <mo>≤</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\frac{1}{p}+\frac{a}{N}&gt;0,\frac{1}{r}+\frac{c}{N}&gt;0,b\le \theta a+(1-\theta )c,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mn>1</mn> <mi>p</mi> </mfrac> <mo>+</mo> <mfrac> <mi>a</mi> <mi>N</mi> </mfrac> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> <mfrac> <mn>1</mn> <mi>r</mi> </mfrac> <mo>+</mo> <mfrac> <mi>c</mi> <mi>N</mi> </mfrac> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> <mi>b</mi> <mo>≤</mo> <mi>θ</mi> <mi>a</mi> <mo>+</mo> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <mi>θ</mi> <mo stretchy="false">)</mo> </mrow> <mi>c</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\frac{1}{q^{*}}+\frac{b}{N}= \theta (\frac{1}{p}+\frac{a-1}{N})+(1-\theta )(\frac{1}{r}+\frac{c}{N})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mn>1</mn> <msup> <mi>q</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> </msup> </mfrac> <mo>+</mo> <mfrac> <mi>b</mi> <mi>N</mi> </mfrac> <mo>=</mo> <mi>θ</mi> <mrow> <mo stretchy="false">(</mo> <mfrac> <mn>1</mn> <mi>p</mi> </mfrac> <mo>+</mo> <mfrac> <mrow> <mi>a</mi> <mo>-</mo> <mn>1</mn> </mrow> <mi>N</mi> </mfrac> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <mi>θ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mfrac> <mn>1</mn> <mi>r</mi> </mfrac> <mo>+</mo> <mfrac> <mi>c</mi> <mi>N</mi> </mfrac> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(q\ge q^{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>≥</mo> <msup> <mi>q</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>. For two special cases <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\theta =1,a=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>θ</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mi>a</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(a=b=c=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>=</mo> <mi>b</mi> <mo>=</mo> <mi>c</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, by the discrete Schwarz rearrangement established in [<CitationRef CitationID="CR24">24</CitationRef>], we prove the existence of extremal functions for the best constants in the supercritical case <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(q&gt;q^{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>&gt;</mo> <msup> <mi>q</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>. As an application, we get positive ground state solutions to the nonlinear elliptic equations.</p>

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

Caffarelli-Kohn-Nirenberg inequalities and ground state solutions to nonlinear elliptic equations on lattice graphs

  • Fengwen Han,
  • Ruowei Li

摘要

In this paper, we prove the discrete Caffarelli-Kohn-Nirenberg inequalities on the lattice \(\mathbb {Z}^{N}\) Z N ( \(N\ge 1\) N 1 ) in a broader range of parameters than the classical continuous version [8]: \( \Vert u\Vert _{\ell _{b}^{q}}\le C(a,b,c,p,q,r,\theta ,N)\Vert u\Vert _{D_{a}^{1,p}}^{\theta }\Vert u\Vert _{\ell _{c}^{r}}^{1-\theta },\,\forall u\in D_{a,0}^{1,p}(\mathbb {Z}^{N}) \cap \ell _c ^r(\mathbb {Z}^{N}), \) u b q C ( a , b , c , p , q , r , θ , N ) u D a 1 , p θ u c r 1 - θ , u D a , 0 1 , p ( Z N ) c r ( Z N ) , where \(p,q,r>1,0\le \theta \le 1\) p , q , r > 1 , 0 θ 1 , \(\frac{1}{p}+\frac{a}{N}>0,\frac{1}{r}+\frac{c}{N}>0,b\le \theta a+(1-\theta )c,\) 1 p + a N > 0 , 1 r + c N > 0 , b θ a + ( 1 - θ ) c , \(\frac{1}{q^{*}}+\frac{b}{N}= \theta (\frac{1}{p}+\frac{a-1}{N})+(1-\theta )(\frac{1}{r}+\frac{c}{N})\) 1 q + b N = θ ( 1 p + a - 1 N ) + ( 1 - θ ) ( 1 r + c N ) and \(q\ge q^{*}\) q q . For two special cases \(\theta =1,a=0\) θ = 1 , a = 0 and \(a=b=c=0\) a = b = c = 0 , by the discrete Schwarz rearrangement established in [24], we prove the existence of extremal functions for the best constants in the supercritical case \(q>q^{*}\) q > q . As an application, we get positive ground state solutions to the nonlinear elliptic equations.