<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(s\in (0,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\varepsilon &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and let <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> be a bounded smooth domain. Given the problem <Equation ID="Equ95"> <EquationSource Format="TEX">\(\begin{aligned} \varepsilon ^{2s}(-\Delta )^{s} u + V(x)u = |u|^{p-1}u \quad \text{ in } \; \Omega , \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msup> <mi>ε</mi> <mrow> <mn>2</mn> <mi>s</mi> </mrow> </msup> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mi>s</mi> </msup> <mi>u</mi> <mo>+</mo> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mi>u</mi> <mo>=</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mi>u</mi> <mspace width="1em" /> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <mspace width="0.277778em" /> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>with Dirichlet boundary conditions and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(1&lt;p&lt;(n+2s)/(n-2s)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mn>2</mn> <mi>s</mi> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>2</mn> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, we analyze the existence of positive multi-peak solutions concentrating, as <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\varepsilon \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, to one or several points of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation>. Under suitable conditions on <i>V</i>, we construct positive solutions concentrating at any prescribed set of its non degenerate critical points. Furthermore, we prove existence and non existence of clustering phenomena around local maxima and minima of <i>V</i>, respectively. The proofs rely on a Lyapunov-Schmidt reduction where three effects need to be controlled: the potential, the boundary and the interaction among peaks. The slow decay of the associated <i>ground-state</i> demands very precise asymptotic expansions.</p>

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

Multi-peak solutions for the fractional Schrödinger equation with Dirichlet datum

  • Maria Medina,
  • Jing Wu

摘要

Let \(s\in (0,1)\) s ( 0 , 1 ) , \(\varepsilon >0\) ε > 0 and let \(\Omega \) Ω be a bounded smooth domain. Given the problem \(\begin{aligned} \varepsilon ^{2s}(-\Delta )^{s} u + V(x)u = |u|^{p-1}u \quad \text{ in } \; \Omega , \end{aligned}\) ε 2 s ( - Δ ) s u + V ( x ) u = | u | p - 1 u in Ω , with Dirichlet boundary conditions and \(1<p<(n+2s)/(n-2s)\) 1 < p < ( n + 2 s ) / ( n - 2 s ) , we analyze the existence of positive multi-peak solutions concentrating, as \(\varepsilon \rightarrow 0\) ε 0 , to one or several points of \(\Omega \) Ω . Under suitable conditions on V, we construct positive solutions concentrating at any prescribed set of its non degenerate critical points. Furthermore, we prove existence and non existence of clustering phenomena around local maxima and minima of V, respectively. The proofs rely on a Lyapunov-Schmidt reduction where three effects need to be controlled: the potential, the boundary and the interaction among peaks. The slow decay of the associated ground-state demands very precise asymptotic expansions.