<p>In this paper, we deal with the Steklov–Dirichlet eigenvalue problem for the Laplacian in annular domains. More precisely, we consider <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\( \Omega _r = \Omega _0 {\setminus } \overline{B}_r \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Ω</mi> <mi>r</mi> </msub> <mo>=</mo> <msub> <mi mathvariant="normal">Ω</mi> <mn>0</mn> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <msub> <mover> <mi>B</mi> <mo>¯</mo> </mover> <mi>r</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\( \Omega _0 \subset \mathbb {R}^n \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Ω</mi> <mn>0</mn> </msub> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, <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>, is an open, bounded set with a Lipschitz boundary, and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\( B_r \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>B</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation> is the ball centered at the origin with radius <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\( r &gt; 0 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, such that <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\( \overline{B}_r \subset \Omega _0 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mover> <mi>B</mi> <mo>¯</mo> </mover> <mi>r</mi> </msub> <mo>⊂</mo> <msub> <mi mathvariant="normal">Ω</mi> <mn>0</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>. In the first part of the paper, we focus on the first Steklov–Dirichlet eigenvalue <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\( \sigma _1(\Omega _r) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>σ</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="normal">Ω</mi> <mi>r</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and prove that the sequence of corresponding normalized eigenfunctions converges to a particular constant as <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\( r \rightarrow 0^+ \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo stretchy="false">→</mo> <msup> <mn>0</mn> <mo>+</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>. This will allow us to prove an isoperimetric inequality for <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\( \sigma _1(\Omega _r) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>σ</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="normal">Ω</mi> <mi>r</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> when <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\( r \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>r</mi> </math></EquationSource> </InlineEquation> is small enough, under a measure constraint. The second part is focused on the second Steklov–Dirichlet eigenvalue <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\( \sigma _2(\Omega _r) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>σ</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="normal">Ω</mi> <mi>r</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We prove that it converges to the first non-trivial Steklov eigenvalue <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\( \overline{\sigma }_1(\Omega _0) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mover> <mi>σ</mi> <mo>¯</mo> </mover> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="normal">Ω</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of the non-perforated domain <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\( \Omega _0 \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Ω</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>. This result, together with the Brock and Weinstock inequalities, respectively, allows us to prove two isoperimetric inequalities for small holes.</p>

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

Estimates for the First and Second Steklov–Dirichlet Eigenvalues

  • Rossano Sannipoli

摘要

In this paper, we deal with the Steklov–Dirichlet eigenvalue problem for the Laplacian in annular domains. More precisely, we consider \( \Omega _r = \Omega _0 {\setminus } \overline{B}_r \) Ω r = Ω 0 \ B ¯ r , where \( \Omega _0 \subset \mathbb {R}^n \) Ω 0 R n , \( n \ge 2 \) n 2 , is an open, bounded set with a Lipschitz boundary, and \( B_r \) B r is the ball centered at the origin with radius \( r > 0 \) r > 0 , such that \( \overline{B}_r \subset \Omega _0 \) B ¯ r Ω 0 . In the first part of the paper, we focus on the first Steklov–Dirichlet eigenvalue \( \sigma _1(\Omega _r) \) σ 1 ( Ω r ) and prove that the sequence of corresponding normalized eigenfunctions converges to a particular constant as \( r \rightarrow 0^+ \) r 0 + . This will allow us to prove an isoperimetric inequality for \( \sigma _1(\Omega _r) \) σ 1 ( Ω r ) when \( r \) r is small enough, under a measure constraint. The second part is focused on the second Steklov–Dirichlet eigenvalue \( \sigma _2(\Omega _r) \) σ 2 ( Ω r ) . We prove that it converges to the first non-trivial Steklov eigenvalue \( \overline{\sigma }_1(\Omega _0) \) σ ¯ 1 ( Ω 0 ) of the non-perforated domain \( \Omega _0 \) Ω 0 . This result, together with the Brock and Weinstock inequalities, respectively, allows us to prove two isoperimetric inequalities for small holes.