グリーンの定理は,1変数の関数の部分積分の公式に似ている.部分積分は,関数の積の微分
![$\displaystyle \frac{\mathrm{d}}{\mathrm{d}x}\left(fg\right)=f^\prime g+fg^\prime$](img50.png) |
(19) |
から導ける.両辺を積分し,順番を入れ替えると
![$\displaystyle \int f^\prime g \mathrm{d}x = fg-\int f g^\prime \mathrm{d}x$](img51.png) |
(20) |
となり,部分積分の公式が導かれた.
このように単純な方法で導かれる部分積分の公式は,本当に便利でいたるところに現れる.
このベクトル解析版が,次に述べるグリーンの定理である.
【証明】 1
ベクトル解析の恒等式
の両辺を体積積分する.左辺にはガウスの定理を用いると,
![$\displaystyle \int_S f\nabla g\cdot\boldsymbol{n}\mathrm{d}S =\int_V\left(\nabla f\cdot\nabla g+f\nabla^2g\right)\mathrm{d}V$](img60.png) |
(24) |
である.これで,式(21)が証明できた.
式(23)と,これの
と
を入れ替変えたの辺々を引き
算すると,
![$\displaystyle \nabla\cdot\left(f\nabla g-g\nabla f\right)=f\nabla^2g-g\nabla^2 f$](img63.png) |
(25) |
となる.同じように体積積分をしてガウスの定理を使うと,式(22)を得る
ことができる.
注意 1
グリーンの定理は,
![$\displaystyle \nabla f\cdot\boldsymbol{n}= \if 11 \frac{\partial f}{\partial n} \else \frac{\partial^{1} f}{\partial n^{1}}\fi$](img64.png) |
(26) |
として,
![$\displaystyle \int_V(\nabla f\cdot \nabla g+f\nabla^2 g)\mathrm{d}V =\int_S f \...
...rtial g}{\partial n} \else \frac{\partial^{1} g}{\partial n^{1}}\fi \mathrm{d}S$](img65.png) |
(27) |
![$\displaystyle \int_V\left(g\nabla^2g-f\nabla^2 g\right)\mathrm{d}V =\int_S\left...
...}{\partial n} \else \frac{\partial^{1} g}{\partial n^{1}}\fi \right)\mathrm{d}S$](img66.png) |
(28) |
と書かれる場合もある.
ホームページ:
Yamamoto's laboratory著者:
山本昌志
Yamamoto Masashi
平成18年5月26日