<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \subset {\mathbb {R}}^N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> (<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(N \ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>) be a <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> bounded domain and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Sigma \subset \Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Σ</mi> <mo>⊂</mo> <mi mathvariant="normal">Ω</mi> </mrow> </math></EquationSource> </InlineEquation> is a <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> compact boundaryless submanifold in <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^N\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </math></EquationSource> </InlineEquation> of dimension <i>k</i>, <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="109" /> </InlineMediaObject> <EquationSource Format="TEX">\(0\le k &lt; N-2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>k</mi> <mo>&lt;</mo> <mi>N</mi> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. For <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq8.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="98" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \le (\frac{N-k-2}{2})^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>≤</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mfrac> <mrow> <mi>N</mi> <mo>-</mo> <mi>k</mi> <mo>-</mo> <mn>2</mn> </mrow> <mn>2</mn> </mfrac> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, put <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq9.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="114" /> </InlineMediaObject> <EquationSource Format="TEX">\(L_\mu := \Delta + \mu d_{\Sigma }^{-2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <mi>μ</mi> </msub> <mo>:</mo> <mo>=</mo> <mi mathvariant="normal">Δ</mi> <mo>+</mo> <mi>μ</mi> <msubsup> <mi>d</mi> <mrow> <mi mathvariant="normal">Σ</mi> </mrow> <mrow> <mo>-</mo> <mn>2</mn> </mrow> </msubsup> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="130" /> </InlineMediaObject> <EquationSource Format="TEX">\(d_{\Sigma }(x) = \textrm{dist}(x,\Sigma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>d</mi> <mi mathvariant="normal">Σ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mtext>dist</mtext> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We study boundary value problems for equation <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq11.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="138" /> </InlineMediaObject> <EquationSource Format="TEX">\(-L_\mu u = g(u,|\nabla u|)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <msub> <mi>L</mi> <mi>μ</mi> </msub> <mi>u</mi> <mo>=</mo> <mi>g</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo>,</mo> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \setminus \Sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mi mathvariant="normal">Σ</mi> </mrow> </math></EquationSource> </InlineEquation>, subject to the boundary condition <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq13.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(u=\nu \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mo>=</mo> <mi>ν</mi> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial \Omega \cup \Sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>∪</mo> <mi mathvariant="normal">Σ</mi> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq15.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="123" /> </InlineMediaObject> <EquationSource Format="TEX">\(g: {\mathbb {R}} \times {\mathbb {R}}_+ \rightarrow {\mathbb {R}}_+\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>:</mo> <mi mathvariant="double-struck">R</mi> <mo>×</mo> <msub> <mi mathvariant="double-struck">R</mi> <mo>+</mo> </msub> <mo stretchy="false">→</mo> <msub> <mi mathvariant="double-struck">R</mi> <mo>+</mo> </msub> </mrow> </math></EquationSource> </InlineEquation> is a continuous and nondecreasing function with <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(g(0,0)=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq17.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\nu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ν</mi> </math></EquationSource> </InlineEquation> is a given nonnegative measure on <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial \Omega \cup \Sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>∪</mo> <mi mathvariant="normal">Σ</mi> </mrow> </math></EquationSource> </InlineEquation>. When <i>g</i> satisfies a so-called subcritical integral condition, we establish an existence result for the problem under a smallness assumption on <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq17.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\nu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ν</mi> </math></EquationSource> </InlineEquation>. If <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq20.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="162" /> </InlineMediaObject> <EquationSource Format="TEX">\(g(u,|\nabla u|) = |u|^p|\nabla u|^q\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo>,</mo> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mi>p</mi> </msup> <msup> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mi>q</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, there are ranges of <i>p</i>,&#xa0;<i>q</i>, called subcritical ranges, for which the subcritical integral condition is satisfied, hence the problem admits a solution. Beyond these ranges, where the subcritical integral condition may be violated, we establish various criteria on <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2046_Article_IEq17.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\nu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ν</mi> </math></EquationSource> </InlineEquation> for the existence of a solution to the problem expressed in terms of appropriate Bessel capacities.</p>

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

Elliptic Schrödinger Equations with Gradient-Dependent Nonlinearity and Hardy Potential Singular on Manifolds

  • Konstantinos T. Gkikas,
  • Phuoc-Tai Nguyen

摘要

Let \(\Omega \subset {\mathbb {R}}^N\) Ω R N ( \(N \ge 3\) N 3 ) be a \(C^2\) C 2 bounded domain and \(\Sigma \subset \Omega \) Σ Ω is a \(C^2\) C 2 compact boundaryless submanifold in \({\mathbb {R}}^N\) R N of dimension k, \(0\le k < N-2\) 0 k < N - 2 . For \(\mu \le (\frac{N-k-2}{2})^2\) μ ( N - k - 2 2 ) 2 , put \(L_\mu := \Delta + \mu d_{\Sigma }^{-2}\) L μ : = Δ + μ d Σ - 2 where \(d_{\Sigma }(x) = \textrm{dist}(x,\Sigma )\) d Σ ( x ) = dist ( x , Σ ) . We study boundary value problems for equation \(-L_\mu u = g(u,|\nabla u|)\) - L μ u = g ( u , | u | ) in \(\Omega \setminus \Sigma \) Ω \ Σ , subject to the boundary condition \(u=\nu \) u = ν on \(\partial \Omega \cup \Sigma \) Ω Σ , where \(g: {\mathbb {R}} \times {\mathbb {R}}_+ \rightarrow {\mathbb {R}}_+\) g : R × R + R + is a continuous and nondecreasing function with \(g(0,0)=0\) g ( 0 , 0 ) = 0 , \(\nu \) ν is a given nonnegative measure on \(\partial \Omega \cup \Sigma \) Ω Σ . When g satisfies a so-called subcritical integral condition, we establish an existence result for the problem under a smallness assumption on \(\nu \) ν . If \(g(u,|\nabla u|) = |u|^p|\nabla u|^q\) g ( u , | u | ) = | u | p | u | q , there are ranges of pq, called subcritical ranges, for which the subcritical integral condition is satisfied, hence the problem admits a solution. Beyond these ranges, where the subcritical integral condition may be violated, we establish various criteria on \(\nu \) ν for the existence of a solution to the problem expressed in terms of appropriate Bessel capacities.