弱微分とは? わかりやすく解説

弱微分

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/11/16 23:51 UTC 版)

ナビゲーションに移動 検索に移動

数学の分野における弱微分(じゃくびぶん、: weak derivative)とは、通常の意味での関数微分(強微分)の概念を、微分可能とは限らないが積分可能である関数(ルベーグ空間に属する関数)に対して一般化したものである。より一般的な定義については、分布distribution)を参照されたい。

定義

をルベーグ空間 に属する関数とする。 に属する関数 は、 を満たす任意の無限回微分可能関数 に対して

が成立するとき、弱微分と呼ばれる。この定義は部分積分の手法に基づくものである。

次元への一般化を考える。ある開集合 に対する局所可積分関数の空間 が属するとし、 をある多重指数 とする。すべての 、すなわち、コンパクトな台を持つすべての無限回微分可能関数 に対して、

が成立するとき、-次の弱微分と呼ばれる。 に弱微分が存在するなら、それは(測度ゼロの集合に関する差異を除いて)一意であるため、 としばしば表記される。

  • 絶対値関数 u : [−1, 1] → [0, 1], u(t) = |t| は t = 0 において微分可能ではないが、次の符号関数
がその弱微分となる。しかしこれは u の唯一つの弱微分という訳ではない。ほとんど至る所v と等しい任意の w も、u の弱微分となる。しかし、Lp空間およびソボレフ空間の理論において、ほとんど至る所で等しい関数は同一のものと見なされるため、このことは通常、問題にはならない。
  • 有理数の特性関数 はどの点においても微分可能ではないが、それには弱微分が存在する。有理数の集合のルベーグ測度はゼロであるため、
が成立する。したがって、 の弱微分である。この結果はLp空間の元と見なされたとき はゼロ関数と同一視されるためであることに注意されたい。

性質

二つの関数がある同じ関数の弱微分であるとき、それらはルベーグ測度ゼロの集合を除いて等しい。すなわち、それらはほとんど至る所で等しい。ほとんど至る所で等しい関数を同一視するような関数の同値類を考えるとき、弱微分は一意である。

また u が通常の意味で微分可能であるなら、その(強)微分と、その(上述の意味での)弱微分は一致する。したがって、弱微分は強微分の一般化ということになる。また、関数の和や積についての古典的な微分のルールは、弱微分に対しても適用される。

拡張

弱微分の概念はソボレフ空間における弱解の定義につながる。それは、微分方程式関数解析学の諸問題を解決する上で有用となる。

関連項目

参考文献

  • Gilbarg, D.; Trudinger, N. (2001). Elliptic partial differential equations of second order. Berlin: Springer. p. 149. ISBN 3-540-41160-7. 
  • Evans, Lawrence C. (1998). Partial differential equations. Providence, R.I.: American Mathematical Society. p. 242. ISBN 0-8218-0772-2. 
  • Knabner, Peter; Angermann, Lutz (2003). Numerical methods for elliptic and parabolic partial differential equations. New York: Springer. p. 53. ISBN 0-387-95449-X. 

弱微分

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/17 00:55 UTC 版)

量子力学の数学的定式化」の記事における「弱微分」の解説

関数ψの超関数としての微分関数書けるとき、その関数をψの弱微分という: 定義 (弱微分) ― ΩをRd開集合とする。局所可積分関数ψ、χ : Ω → Cに対応する超関数Tψ、Tχが T χ = ∂ i T ψ {\displaystyle T_{\chi }=\partial _{i}T_{\psi }} を満たす時、χはψの弱微分であるとい、 χ = w - ∂ i ψ {\displaystyle \chi =w{\text{-}}\partial _{i}\psi } と表記する定理 (運動量作用素定義域) ― 運動量作用素(の閉包作用素Pj定義域は以下のように書くことができる: D o m ( P j ) = { ψ ∈ H ∣ ∃ w - ∂ j ψ j ,   ‖ w - ∂ j ψ j ‖ 2 < ∞ } {\displaystyle \mathrm {Dom} (P_{j})=\{\psi \in {\mathcal {H}}\mid \exists w{\text{-}}\partial _{j}\psi _{j},~\|w{\text{-}}\partial _{j}\psi _{j}\|^{2}<\infty \}}

※この「弱微分」の解説は、「量子力学の数学的定式化」の解説の一部です。
「弱微分」を含む「量子力学の数学的定式化」の記事については、「量子力学の数学的定式化」の概要を参照ください。

ウィキペディア小見出し辞書の「弱微分」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


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

辞書ショートカット

すべての辞書の索引

「弱微分」の関連用語

弱微分のお隣キーワード
検索ランキング

   

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



弱微分のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの弱微分 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの量子力学の数学的定式化 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS