Green 関数かんすうの入口いりぐち

1導入どうにゅう

この講義こうぎでは、線形せんけい PDE の解かいを、点源てんげんに対たいする応答おうとうの重かさね合あわせとして構成こうせいする方法ほうほうを説明せつめいする。Green 関数かんすうは時間発展問題じかんはってんもんだいにも使用しようされるが、その場合ばあいは時間変数じかんへんすうと因果性いんがせいも扱あつかう必要ひつようがある。このページでは楕円型だえんがたの境界値問題きょうかいちもんだいに範囲はんいを限定げんていする。

2用語ようごと定義ていぎ

Green 関数かんすうGreen function は、線形微分演算子せんけいびぶんえんざんし $$L$$L、領域りょういき、境界条件きょうかいじょうけんを固定こていしたときの点源応答てんげんおうとうである。まず、斉次境界条件せいじきょうかいじょうけんを課かした $$L$$L が可逆かぎゃく、すなわち各入力かくにゅうりょくに対たいして解かいが一意いちいに決きまる場合ばあいを考かんがえる。点源てんげんの位置いちを $$\xi$$\xi、観測位置かんそくいちを $$x$$x とすると、$$x$$x に作用さようする演算子えんざんしについて

を満みたし、$$x$$x について指定していされた斉次境界条件せいじきょうかいじょうけんも満みたす。ここで $$\delta (x-\xi )$$\delta(x-\xi) は $$\xi$$\xi にある点源てんげんを表あらわし、通常つうじょうの関数かんすうではなく、積分せきぶんの中なかで

と作用さようする分布ぶんぷ（超関数ちょうかんすう、distribution）である。分布ぶんぷとは、通常つうじょうの関数値かんすうちではなく、滑なめらかで有界ゆうかいな範囲はんいの外そとでは 0 になる試験関数しけんかんすう $$\phi$$\varphi に積分せきぶんを通とおして作用さようする対象たいしょうである。

3方針ほうしん

線形性せんけいせいにより、一般いっぱんの入力にゅうりょくは点源てんげんの連続的れんぞくてきな重かさね合あわせとして扱あつかえる。Green 関数かんすうが既知きちなら、解かいは畳たたみ込こみや積分せきぶんで表現ひょうげんされる。

4注意ちゅうい

Green 関数かんすうは方程式ほうていしきだけでなく、領域りょういきと境界条件きょうかいじょうけんに依存いぞんする。同おなじ微分演算子びぶんえんざんしであっても、境界条件きょうかいじょうけんが異ことなれば Green 関数かんすうも異ことなる。また、斉次問題せいじもんだい $$Lv=0$$Lv=0 が零れいでない解かいを持もつと、$$L$$L をそのまま逆ぎゃくにできない。

例たとえば、$$\mathrm{\Omega }$$\Omega を連結れんけつで $$C^1$$C^1 境界きょうかいを持もつ有界領域ゆうかいりょういきとする。$$\mathrm{\Omega }$$\Omega における $$-\mathrm{\Delta }u=f$$-\Delta u=f の斉次せいじ Neumann 問題もんだいでは、定数関数ていすうかんすうが斉次解せいじかいになる。発散定理はっさんていりから可解条件かかいじょうけん

が必要ひつようであり、解かいは定数ていすうの差さを除のぞいてのみ決きまる。この場合ばあいは、通常つうじょうの $$-{\mathrm{\Delta }}_{x}G=\delta (x-\xi )$$-\Delta_xG=\delta(x-\xi) では両辺りょうへんの領域積分りょういきせきぶんが一致いっちしないため、修正版しゅうせいばん

を使つかう。$$-1/\left|\mathrm{\Omega }\right|$$-1/|\Omega| が右辺うへんの平均へいきんを 0 にし、最後さいごの条件じょうけんが Green 関数かんすうに定数ていすうを加くわえる自由度じゆうどを固定こていする。このように、核かくがある場合ばあいは入力にゅうりょくの適合条件てきごうじょうけんと解かいの正規化せいきかを組くみ込こむ必要ひつようがある。

5一次元いちじげん Poisson 問題もんだい

区間くかん $$0<x<1$$0<x<1 で、内部点源ないぶてんげんの位置いちを $$\xi \in (0,1)$$\xi\in(0,1) とし、

を考かんがえる。ここでは $$f$$f を連続関数れんぞくかんすうとする。Green 関数かんすう $$G(x,\xi )$$G(x,\xi) は、$$x=\xi$$x=\xi で傾かたむきが跳とび、境界きょうかいで 0 になる折線せっせんとして構成こうせいされる。Green 関数かんすうは

である。この式しきは、$$x=0,1$$x=0,1 で 0 になり、$$x=\xi$$x=\xi で連続れんぞくであり、傾かたむきの跳とびにより $$-G_{xx}=\delta (x-\xi )$$-G_{xx}=\delta(x-\xi) を表あらわす。右辺うへん $$f$$f を点源てんげんの重かさね合あわせと解釈かいしゃくすると、解かいは

で表現ひょうげんされる。これは各点かくてん $$\xi$$\xi の点源てんげんへの応答おうとうを重かさね合あわせる式しきである。実際じっさい、分布ぶんぷの意味いみで $$x$$x について演算子えんざんしを積分せきぶんの中なかへ作用さようさせると

となる。また $$G(0,\xi )=G(1,\xi )=0$$G(0,\xi)=G(1,\xi)=0 なので、積分せきぶんで得えた $$u$$u も境界条件きょうかいじょうけんを満みたす。$$f$$f が連続れんぞくなら、具体式ぐたいしきを区間くかんごとに直接微分ちょくせつびぶんして古典解こてんかいとしても確認かくにんできる。この二ふたつの確認かくにんにより、表現式ひょうげんしきが元もとの境界値問題きょうかいちもんだいを解とくことが分わかる。

6Green 関数かんすうの式しきを導出どうしゅつする

$$x\ne \xi$$x\ne \xi では点源てんげんがないため、$$-G_{xx}=0$$-G_{xx}=0 である。したがって $$G$$G は $$x<\xi$$x<\xi と $$x>\xi$$x>\xi の両側りょうがわで一次関数いちじかんすうになる。境界条件きょうかいじょうけん $$G(0,\xi )=G(1,\xi )=0$$G(0,\xi)=G(1,\xi)=0 を満みたすように

と置おく。$$x=\xi$$x=\xi で連続れんぞくであるため

が必要ひつようである。さらに $$-G_{xx}=\delta (x-\xi )$$-G_{xx}=\delta(x-\xi) を $$\xi -\epsilon$$\xi-\varepsilon から $$\xi +\epsilon$$\xi+\varepsilon まで積分せきぶんすると

を得える。ここで $$G_x(\xi -,\xi )=A$$G_x(\xi-,\xi)=A、$$G_x(\xi +,\xi )=-C$$G_x(\xi+,\xi)=-C だから

である。連続条件れんぞくじょうけんと跳躍条件ちょうやくじょうけんを連立れんりつして解とくと

となる。よって

が導出どうしゅつされる。

この具体式ぐたいしきは $$G(x,\xi )=G(\xi ,x)$$G(x,\xi)=G(\xi,x) を満みたす。この対称性たいしょうせいは、$$-d^2/d{x}^2$$-d^2/dx^2 と Dirichlet 境界条件きょうかいじょうけんの組くみ合あわせが積分せきぶんに関かんして対称たいしょうであることに対応たいおうする。実際じっさい、同おなじ零境界条件れいきょうかいじょうけんを満みたす $$v,w$$v,w に対たいして部分積分ぶぶんせきぶんすると

である。ただし、一般いっぱんの演算子えんざんしの Green 関数かんすうが常つねに対称たいしょうとは限かぎらない。

7具体例ぐたいれい: 一定荷重いっていかじゅう

$$f\left(\xi \right)=1$$f(\xi)=1 の場合ばあい、解かいは

である。これは $$-u^{\prime }\text{'}=1$$-u''=1、$$u\left(0\right)=u\left(1\right)=0$$u(0)=u(1)=0 を満みたす。直接積分ちょくせつせきぶんでも同おなじ解かいを得えるが、Green 関数かんすうを使用しようすると任意にんいの右辺みぎへん $$f$$f に対たいして同一どういつの核かくを再利用さいりようできる。

8図式ずしきとしての畳たたみ込こみ

全空間ぜんくうかんで平行移動対称性へいこういどうたいしょうせいがある場合ばあい、Green 関数かんすうは $$G(x-\xi )$$G(x-\xi) の形かたちになり、解かいは畳たたみ込こみ $$G*f$$G*f で表現ひょうげんされる。境界きょうかいがある場合ばあいは、$$x$$x と $$\xi$$\xi を別々べつべつに扱あつかう $$G(x,\xi )$$G(x,\xi) が必要ひつようである。この差さが fundamental solution と Green 関数かんすうの実用上じつようじょうの相違そういである。

9fundamental solution との相違そうい

基本解きほんかいFundamental solution は全空間ぜんくうかんで $$L\mathrm{\Phi }=\delta$$L\Phi=\delta を満みたす点源応答てんげんおうとうである。Green 関数かんすうは領域りょういきと境界条件きょうかいじょうけんを反映はんえいした点源応答てんげんおうとうであり、基本解きほんかいに斉次解せいじかいを加くわえて境界条件きょうかいじょうけんを合あわせて構成こうせいできる場合ばあいもある。したがって Green 関数かんすうの方ほうが境界値問題きょうかいちもんだいに適合てきごうする。

10関連かんれんリンク

ここまでで二階線形にかいせんけい PDE の性質せいしつと解かいの構成法こうせいほうを確認かくにんした。次つぎは一階いっかいの transport 方程式ほうていしきへ戻もどり、局所的きょくしょてきな流ながれから保存則ほぞんそくを導みちびく。