数学の分野における弱微分(じゃくびぶん、: 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