ワイルの補題 (ラプラス方程式)とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > ワイルの補題 (ラプラス方程式)の意味・解説 

ワイルの補題 (ラプラス方程式)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/30 13:38 UTC 版)

数学におけるワイルの補題(ワイルのほだい、: Weyl's lemma)とは、ヘルマン・ワイルの名にちなむもので、ラプラス方程式のすべての弱解は滑らかであることを述べている。これは例えば、滑らかでない弱解を持つ波動方程式とは対称的である。ワイルの補題は楕円型あるいは準楕円型正則性の特別な場合である。

補題の内容

-次元ユークリッド空間 のある開部分集合とし、 は通常のラプラス作用素を表すものとする。ワイルの補題[1]では、コンパクトなを持つすべての滑らかなテスト函数 に対して、次の式

を満たす意味でラプラス方程式の弱解となるある局所可積分函数 が存在するなら、(測度 0 の集合上での定義の違いを除いて) は滑らかであり、 内の各点で を満たすことが示されている。

この結果は、 における調和函数の内部正則性(interior regularity)を意味するが、境界 上での正則性については何も示されていない。

証明のアイデア

ワイルの補題を証明するために、適切な軟化子 との函数 畳み込みを考え、その軟化 がラプラス方程式を満たすことを示す。これは が平均値の性質を持つことを意味する。極限 を取り、軟化子の性質を用いることで、 もまた平均値の性質を持つことが分かるが、このことはそれがラプラス方程式の滑らかな解であることを意味する[2]。また別の証明では、ラプラシアンの基本解あるいは適切な楕円型のアプリオリ評価の滑らかさが利用される。

超函数への一般化

より一般に、同様の結果はラプラス方程式のすべての超函数の解に対しても成り立つ。すなわち、 がすべての に対して を満たすなら、 はラプラス方程式の滑らかな解 に関連する正則な超函数である[3]

準楕円性との関係

ワイルの補題は、楕円型あるいは準楕円型作用素の正則性に関するより一般の結果より従う[4]。滑らかな係数を持つある線型偏微分作用素 が準楕円型であるなら、すべての超函数 に対し、特異台 のそれと一致する。ラプラス作用素は準楕円型であるため、 であるなら、 の特異台が空であることから の特異台も空となるが、このことは を意味する。実際、ラプラス作用素は楕円型なので、より強い結果が成り立ち、 の解は実解析的となる。

Notes

  1. ^ Hermann Weyl, The method of orthogonal projections in potential theory, Duke Math. J., 7, 411-444 (1940). See Lemma 2, p. 415
  2. ^ Bernard Daconorogna, Introduction to the Calculus of Variations, 2nd ed., Imperial College Press (2009), p. 148.
  3. ^ Lars Gårding, Some Points of Analysis and their History, AMS (1997), p. 66.
  4. ^ Lars Hörmander, The Analysis of Linear Partial Differential Operators I, 2nd ed., Springer-Verlag (1990), p.110

参考文献




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「ワイルの補題 (ラプラス方程式)」の関連用語

ワイルの補題 (ラプラス方程式)のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ワイルの補題 (ラプラス方程式)のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのワイルの補題 (ラプラス方程式) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS