<p>In this article we investigate some effects of the lack of compactness in the critical fractional Folland-Stein-Sobolev embedding in general domains in the Heisenberg group <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\displaystyle (\mathbb {H}^N,\circ )\)</EquationSource> <EquationSource Format="MATHML"><math> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mi>N</mi> </msup> <mo>,</mo> <mo>∘</mo> <mo stretchy="false">)</mo> </mrow> </mstyle> </math></EquationSource> </InlineEquation> with homogeneous dimension <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\displaystyle Q=2N+2\)</EquationSource> <EquationSource Format="MATHML"><math> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mi>Q</mi> <mo>=</mo> <mn>2</mn> <mi>N</mi> <mo>+</mo> <mn>2</mn> </mrow> </mstyle> </math></EquationSource> </InlineEquation>. We consider the fractional horizontal Sobolev space <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\displaystyle HW^{s,2}(\mathbb {H}^N)\)</EquationSource> <EquationSource Format="MATHML"><math> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mi>H</mi> <msup> <mi>W</mi> <mrow> <mi>s</mi> <mo>,</mo> <mn>2</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mi>N</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </mstyle> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\displaystyle 0&lt;s&lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>s</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </mstyle> </math></EquationSource> </InlineEquation>. It is well known that, for <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\displaystyle Q&gt;2s\)</EquationSource> <EquationSource Format="MATHML"><math> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mi>Q</mi> <mo>&gt;</mo> <mn>2</mn> <mi>s</mi> </mrow> </mstyle> </math></EquationSource> </InlineEquation> the embedding <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\displaystyle HW^{s,2}(\mathbb {H}^N)\hookrightarrow L^q(\mathbb {H}^N)\)</EquationSource> <EquationSource Format="MATHML"><math> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mi>H</mi> <msup> <mi>W</mi> <mrow> <mi>s</mi> <mo>,</mo> <mn>2</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mi>N</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">↪</mo> <msup> <mi>L</mi> <mi>q</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mi>N</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </mstyle> </math></EquationSource> </InlineEquation> is continuous for <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\displaystyle q\le 2_s^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mi>q</mi> <mo>≤</mo> <msubsup> <mn>2</mn> <mi>s</mi> <mo>∗</mo> </msubsup> </mrow> </mstyle> </math></EquationSource> </InlineEquation>, and for bounded domains <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\displaystyle \Omega \subset \mathbb {H}^N\)</EquationSource> <EquationSource Format="MATHML"><math> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mi mathvariant="normal">Ω</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mi>N</mi> </msup> </mrow> </mstyle> </math></EquationSource> </InlineEquation>, the embedding <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\displaystyle HW_0^{s,2}(\Omega )\hookrightarrow L^q(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mi>H</mi> <msubsup> <mi>W</mi> <mn>0</mn> <mrow> <mi>s</mi> <mo>,</mo> <mn>2</mn> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">↪</mo> <msup> <mi>L</mi> <mi>q</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mstyle> </math></EquationSource> </InlineEquation> is compact for <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\displaystyle q&lt;2_s^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mi>q</mi> <mo>&lt;</mo> <msubsup> <mn>2</mn> <mi>s</mi> <mo>∗</mo> </msubsup> </mrow> </mstyle> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\displaystyle 2_s^*=\frac{2Q}{Q-2s}\)</EquationSource> <EquationSource Format="MATHML"><math> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <msubsup> <mn>2</mn> <mi>s</mi> <mo>∗</mo> </msubsup> <mo>=</mo> <mfrac> <mrow> <mn>2</mn> <mi>Q</mi> </mrow> <mrow> <mi>Q</mi> <mo>-</mo> <mn>2</mn> <mi>s</mi> </mrow> </mfrac> </mrow> </mstyle> </math></EquationSource> </InlineEquation> is the fractional Folland-Stein-Sobolev critical exponent. However, the compactness of the embedding fails in the critical case <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\displaystyle q=2_s^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mi>q</mi> <mo>=</mo> <msubsup> <mn>2</mn> <mi>s</mi> <mo>∗</mo> </msubsup> </mrow> </mstyle> </math></EquationSource> </InlineEquation>. Here we restore the compactness by using De Giorgi’s <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\displaystyle \Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">Γ</mi> </mstyle> </math></EquationSource> </InlineEquation>-convergence techniques and some nonlocal tail estimates in <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\displaystyle \mathbb {H}^N.\)</EquationSource> <EquationSource Format="MATHML"><math> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mi>N</mi> </msup> <mo>.</mo> </mrow> </mstyle> </math></EquationSource> </InlineEquation></p>

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

Global compactness results for fractional sub-Laplacian in the Heisenberg group via \(\displaystyle \Gamma \)-convergence

  • Arka Mukherjee,
  • Sweta Tiwari

摘要

In this article we investigate some effects of the lack of compactness in the critical fractional Folland-Stein-Sobolev embedding in general domains in the Heisenberg group \(\displaystyle (\mathbb {H}^N,\circ )\) ( H N , ) with homogeneous dimension \(\displaystyle Q=2N+2\) Q = 2 N + 2 . We consider the fractional horizontal Sobolev space \(\displaystyle HW^{s,2}(\mathbb {H}^N)\) H W s , 2 ( H N ) for \(\displaystyle 0<s<1\) 0 < s < 1 . It is well known that, for \(\displaystyle Q>2s\) Q > 2 s the embedding \(\displaystyle HW^{s,2}(\mathbb {H}^N)\hookrightarrow L^q(\mathbb {H}^N)\) H W s , 2 ( H N ) L q ( H N ) is continuous for \(\displaystyle q\le 2_s^*\) q 2 s , and for bounded domains \(\displaystyle \Omega \subset \mathbb {H}^N\) Ω H N , the embedding \(\displaystyle HW_0^{s,2}(\Omega )\hookrightarrow L^q(\Omega )\) H W 0 s , 2 ( Ω ) L q ( Ω ) is compact for \(\displaystyle q<2_s^*\) q < 2 s , where \(\displaystyle 2_s^*=\frac{2Q}{Q-2s}\) 2 s = 2 Q Q - 2 s is the fractional Folland-Stein-Sobolev critical exponent. However, the compactness of the embedding fails in the critical case \(\displaystyle q=2_s^*\) q = 2 s . Here we restore the compactness by using De Giorgi’s \(\displaystyle \Gamma \) Γ -convergence techniques and some nonlocal tail estimates in \(\displaystyle \mathbb {H}^N.\) H N .