ディリクレ固有値

数学において、ディリクレ固有値（ディリクレこゆうち、英: Dirichlet eigenvalue）は、ある与えられた形の理想的な太鼓の基本固有振動である。ここでの問題は、太鼓の形を聴くことが出来るか（英語版）、である。すなわち、ディリクレ固有値が与えられたとき、その太鼓の形のどのような特徴を推測することが出来るか、ということである。ここでの「太鼓」とは、境界が固定された平面領域として表される、伸縮自在の膜 Ω のことをいう。ディリクレ固有値は、未知函数 u ≠ 0 と固有値 λ に対して次の問題を解くことで得られる。 { Δ u + λ u = 0 i n   Ω u | ∂ Ω = 0. {\displaystyle {\begin{cases}\Delta u+\lambda u=0&{\rm {{in\ }\Omega }}\\u|_{\partial \Omega }=0.&\end{cases}}} (1) ここで Δ は、xy-座標において次で与えられるラプラシアンである。 Δ u = ∂ 2 u ∂ x 2 + ∂ 2 u ∂ y 2 . {\displaystyle \Delta u={\frac {\partial ^{2}u}{\partial x^{2}}}+{\frac {\partial ^{2}u}{\partial y^{2}}}.} 境界値問題 (1) は、もちろんヘルムホルツ方程式に対するディリクレ問題であり、したがって λ は Ω に対するディリクレ固有値として知られる。ディリクレ固有値は、対応するノイマン問題に対する固有値であるノイマン固有値とは比較される。(1) に現れるラプラス作用素 Δ は、ディリクレ境界条件を満たす函数 u に対してのみ考えられるとき、しばしばディリクレラプラシアンと呼ばれる。より一般に、スペクトル幾何学においては、(1) は境界を持つ多様体 Ω 上で考えられる。このとき Δ は、ディリクレ境界条件に対して、ラプラス＝ベルトラミ作用素（英語版）となる。 コンパクト自己共役作用素に対するスペクトル定理を用いることで、固有空間が有限次元であり、ディリクレ固有値 λ が実かつ正であり、集積点を持たないことが示される。したがって、それらを大きさの順番に並べることが出来る： 0 < λ 1 ≤ λ 2 ≤ ⋯ , λ n → ∞ . {\displaystyle 0<\lambda _{1}\leq \lambda _{2}\leq \cdots ,\quad \lambda _{n}\to \infty .} ここで各固有値は、その幾何学的重複度にしたがって数えられる。その固有空間は、自乗可積分函数の空間において直交し、滑らかな函数からなる。実際、ディリクレラプラシアンは、ソボレフ空間 H 0 2 ( Ω ) {\displaystyle H_{0}^{2}(\Omega )} から L 2 ( Ω ) {\displaystyle L^{2}(\Omega )} への作用素への連続的な拡張を持つ。この作用素は可逆であり、その逆はコンパクトかつ自己共役であるため、通常のスペクトル定理は Δ の固有空間とその固有値の逆数 1/λ を得るために利用することができる。 ディリクレ固有値の研究における基本的な道具の一つに、次の最大値最小値原理がある：第一固有値 λ1 はディリクレエネルギーを最小化する。すなわち λ 1 = inf u ≠ 0 ∫ Ω | ∇ u | 2 ∫ Ω | u | 2 , {\displaystyle \lambda _{1}=\inf _{u\not =0}{\frac {\int _{\Omega }|\nabla u|^{2}}{\int _{\Omega }|u|^{2}}},} は、Ω において恒等的にゼロとはならないコンパクトな台を持つすべての u に関する下限である。この下限はゼロでない u ∈ H 0 1 ( Ω ) {\displaystyle u\in H_{0}^{1}(\Omega )} に関する下限となる。さらにラックス＝ミルグラムの定理と同様の変分法の結果を使うことで、 H 0 1 ( Ω ) {\displaystyle H_{0}^{1}(\Omega )} 内に最小点が存在することを証明できる。より一般に λ k = sup inf ∫ Ω | ∇ u | 2 ∫ Ω | u | 2 {\displaystyle \lambda _{k}=\sup \inf {\frac {\int _{\Omega }|\nabla u|^{2}}{\int _{\Omega }|u|^{2}}}} が成り立つ。ここで上限はすべての (k−1)-タプル ϕ 1 , … , ϕ k − 1 ∈ H 0 1 ( Ω ) {\displaystyle \phi _{1},\dots ,\phi _{k-1}\in H_{0}^{1}(\Omega )} について取られ、下限は φi に直交するすべての u について取られる。 ディリクレラプラシアンは、数理物理学の様々な問題に現れる。例えば、理想化された太鼓のモードや、理想化されたプールの表面での小さな波や、近軸近似における理想化された光ファイバーのモードなどに関する問題で現れる。この最後の例は、ダブルクラッドファイバー（英語版）との関係で最も実用的である。そのようなファイバーにおいて、ほとんどのモードは領域を一様に埋めるか、あるいはほとんどの半直線はその核と交差するという事実が重要である。最も単純な形の領域は、円状対称である。ポンプのモードは、ダブルクラッドファイバー増幅器において用いられるアクティブコアを避けるべきではない。そのような応用に対して渦状領域は、ディリクレラプラシアンのモードの境界での挙動により、特に効果的となる。 次の定理は、幾何光学における半直線の性質と似たディリクレラプラシアンの境界での挙動に関するものである：半直線の角運動量は、その半直線がチャンクにぶつかるまで、境界の渦状の部分で反射する度に増加する。（光軸と平行なものを除く）すべての半直線は、角運動量の超過のためにチャンクの付近を必ず通る。同様に、ディリクレラプラシアンのモードはチャンクの付近でゼロで無い値を取る。そのモードの境界での微分の法線成分は、圧力と解釈できる。その圧力が表面について積分されたものが力となる。そのモードは伝播方程式の（縦座標への自明な依存性を持つ）定常解なので、その力の総和は必ずゼロとなる。同様に、その力の角運動量もゼロとならなければならない。しかし、物理系に対して同様の結果が得られないという事実に関する正式な証明が存在する。 ^ S. Bedo; W. Luthy; H. P. Weber (1993). “The effective absorption coefficient in double-clad fibers”. Optics Communications 99 (5-6): 331–335. Bibcode: 1993OptCo..99..331B. doi:10.1016/0030-4018(93)90338-6. http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6TVF-46JGTGD-M5&_user=10&_coverDate=06%2F15%2F1993&_alid=550903253&_rdoc=1&_fmt=summary&_orig=search&_cdi=5533&_sort=d&_docanchor=&view=c&_ct=1&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=c8a4c3ecc3d9a4e9ecb84f96cfef0333.  ^ Leproux, P.; S. Fevrier; V. Doya; P. Roy; D. Pagnoux (2003). “Modeling and optimization of double-clad fiber amplifiers using chaotic propagation of pump”. Optical Fiber Technology 7 (4): 324–339. Bibcode: 2001OptFT...7..324L. doi:10.1006/ofte.2001.0361. http://www.ingentaconnect.com/content/ap/of/2001/00000007/00000004/art00361.  ^ A. Liu; K. Ueda (1996). “The absorption characteristics of circular, offset, and rectangular double-clad fibers”. Optics Communications 132 (5-6): 511–518. Bibcode: 1996OptCo.132..511A. doi:10.1016/0030-4018(96)00368-9. http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6TVF-497C4YV-BW&_user=10&_coverDate=12%2F15%2F1996&_alid=550869877&_rdoc=3&_fmt=summary&_orig=search&_cdi=5533&_sort=d&_docanchor=&view=c&_ct=3&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=688bbca25fdd98e29caadb676b003c1e.  ^ a b Kouznetsov, D.; Moloney, J.V. (2004). “Boundary behavior of modes of Dirichlet laplacian”. Journal of Modern Optics 51 (13): 1955–1962. Bibcode: 2004JMOp...51.1955K. doi:10.1080/09500340408232504.  Benguria, Rafael D. (2001), “Dirichlet eigenvalues”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Dirichlet_eigenvalue . Chavel, Isaac (1984). Eigenvalues in Riemannian geometry. Pure Appl. Math.. 115. Academic Press. ISBN 0-12-170640-0 . Courant, Richard; Hilbert, David (1962). Methods of Mathematical Physics, Volume I. Wiley-Interscience .