弱微分
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/11/16 23:51 UTC 版)
ナビゲーションに移動 検索に移動数学の分野における弱微分(じゃくびぶん、英: weak derivative)とは、通常の意味での関数の微分(強微分)の概念を、微分可能とは限らないが積分可能である関数(ルベーグ空間に属する関数)に対して一般化したものである。より一般的な定義については、分布(distribution)を参照されたい。
定義
をルベーグ空間 に属する関数とする。 に属する関数 は、 を満たす任意の無限回微分可能関数 に対して
が成立するとき、 の弱微分と呼ばれる。この定義は部分積分の手法に基づくものである。
次元への一般化を考える。ある開集合 に対する局所可積分関数の空間 に と が属するとし、 をある多重指数 とする。すべての 、すなわち、 にコンパクトな台を持つすべての無限回微分可能関数 に対して、
が成立するとき、 は の -次の弱微分と呼ばれる。 に弱微分が存在するなら、それは(測度ゼロの集合に関する差異を除いて)一意であるため、 としばしば表記される。
例
- がその弱微分となる。しかしこれは 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 \}}
※この「弱微分」の解説は、「量子力学の数学的定式化」の解説の一部です。
「弱微分」を含む「量子力学の数学的定式化」の記事については、「量子力学の数学的定式化」の概要を参照ください。
- 弱微分のページへのリンク