<p>We obtain the existence of a smooth 1-parameter family of non-compact domains <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\Omega _s\subset \mathbb {M}^n\times \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Ω</mi> <mi>s</mi> </msub> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">M</mi> </mrow> <mi>n</mi> </msup> <mo>×</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(n\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, bifurcating from the straight cylinder <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(B_1\times \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>B</mi> <mn>1</mn> </msub> <mo>×</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> such that the problem <Equation ID="Equ24"> <EquationSource Format="TEX">\(\begin{aligned} -\Delta u=1\,\, \text {in}\,\,\Omega _s, \,\, u=0,\,\,\partial _\nu u=\text {constant}\,\,\text {on}\,\,\partial \Omega _s \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>=</mo> <mn>1</mn> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mtext>in</mtext> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <msub> <mi mathvariant="normal">Ω</mi> <mi>s</mi> </msub> <mo>,</mo> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mi>u</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <msub> <mi>∂</mi> <mi>ν</mi> </msub> <mi>u</mi> <mo>=</mo> <mtext>constant</mtext> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mtext>on</mtext> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mi>∂</mi> <msub> <mi mathvariant="normal">Ω</mi> <mi>s</mi> </msub> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>has a bounded solution, where <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathbb {M}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">M</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> is the Riemannian manifold <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathbb {S}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathbb {H}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(B_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>B</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> is a unit geodesic ball in <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathbb {M}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">M</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>. The domains <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\Omega _s\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Ω</mi> <mi>s</mi> </msub> </math></EquationSource> </InlineEquation> are rotationally symmetric and periodic with respect to the <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation>-axis of the cylinder. Moreover, we also show that the bifurcation is critical.</p>

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

Bifurcation domains for the Serrin’s overdetermined problem in \(\mathbb {S}^n\times \mathbb {R}\) and \(\mathbb {H}^n\times \mathbb {R}\)

  • G. Dai,
  • F. Morabito,
  • P. Sicbaldi

摘要

We obtain the existence of a smooth 1-parameter family of non-compact domains \(\Omega _s\subset \mathbb {M}^n\times \mathbb {R}\) Ω s M n × R , \(n\ge 2\) n 2 , bifurcating from the straight cylinder \(B_1\times \mathbb {R}\) B 1 × R such that the problem \(\begin{aligned} -\Delta u=1\,\, \text {in}\,\,\Omega _s, \,\, u=0,\,\,\partial _\nu u=\text {constant}\,\,\text {on}\,\,\partial \Omega _s \end{aligned}\) - Δ u = 1 in Ω s , u = 0 , ν u = constant on Ω s has a bounded solution, where \(\mathbb {M}^n\) M n is the Riemannian manifold \(\mathbb {S}^n\) S n or \(\mathbb {H}^n\) H n , and \(B_1\) B 1 is a unit geodesic ball in \(\mathbb {M}^n\) M n . The domains \(\Omega _s\) Ω s are rotationally symmetric and periodic with respect to the \(\mathbb {R}\) R -axis of the cylinder. Moreover, we also show that the bifurcation is critical.