<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\lambda _2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>λ</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> denote the second eigenvalue of the fixed membrane problem in a bounded domain <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\Omega \subseteq \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> with <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(N\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. Use <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\Lambda _1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Λ</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> to denote the first eigenvalue of the buckling problem with the same domain as the fixed membrane problem. We show that <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\Lambda _1\ge \lambda _2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Λ</mi> <mn>1</mn> </msub> <mo>≥</mo> <msub> <mi>λ</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> with the equality holds if and only if <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> is a ball. For <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(N=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, this conclusion is the famous Weinstein conjecture, which was solved by Payne in 1955. As one of its applications, we consider the overdetermined problem <Equation ID="Equ11"> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{array}{ll} \Delta u+\alpha u=0\,\, &amp; \text {in }\Omega ,\\ \partial _\nu u=0\,\, &amp; \text {on }\partial \Omega ,\\ u=c\,\, &amp; \text {on }\partial \Omega , \end{array}\right. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>+</mo> <mi>α</mi> <mi>u</mi> <mo>=</mo> <mn>0</mn> <mspace width="0.166667em" /> <mspace width="0.166667em" /> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>in</mtext> <mspace width="0.333333em" /> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <msub> <mi>∂</mi> <mi>ν</mi> </msub> <mi>u</mi> <mo>=</mo> <mn>0</mn> <mspace width="0.166667em" /> <mspace width="0.166667em" /> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>on</mtext> <mspace width="0.333333em" /> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mi>u</mi> <mo>=</mo> <mi>c</mi> <mspace width="0.166667em" /> <mspace width="0.166667em" /> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>on</mtext> <mspace width="0.333333em" /> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>and give a confirmed answer to the Schiffer conjecture: when <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\alpha =\lambda _2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>=</mo> <msub> <mi>λ</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> must be a ball. This extends the corresponding planar conclusion due to Berenstein in 1980.</p>

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

High dimension Weinstein conjecture and its application to Schiffer conjecture

  • Guowei Dai,
  • Qingbo Liu,
  • Yingxin Sun

摘要

Let \(\lambda _2\) λ 2 denote the second eigenvalue of the fixed membrane problem in a bounded domain \(\Omega \subseteq \mathbb {R}^N\) Ω R N with \(N\ge 2\) N 2 . Use \(\Lambda _1\) Λ 1 to denote the first eigenvalue of the buckling problem with the same domain as the fixed membrane problem. We show that \(\Lambda _1\ge \lambda _2\) Λ 1 λ 2 with the equality holds if and only if \(\Omega \) Ω is a ball. For \(N=2\) N = 2 , this conclusion is the famous Weinstein conjecture, which was solved by Payne in 1955. As one of its applications, we consider the overdetermined problem \(\begin{aligned} \left\{ \begin{array}{ll} \Delta u+\alpha u=0\,\, & \text {in }\Omega ,\\ \partial _\nu u=0\,\, & \text {on }\partial \Omega ,\\ u=c\,\, & \text {on }\partial \Omega , \end{array}\right. \end{aligned}\) Δ u + α u = 0 in Ω , ν u = 0 on Ω , u = c on Ω , and give a confirmed answer to the Schiffer conjecture: when \(\alpha =\lambda _2\) α = λ 2 , \(\Omega \) Ω must be a ball. This extends the corresponding planar conclusion due to Berenstein in 1980.