Next: 7 リーマン問題
Up: 非線形偏微分方程式入門 1
Previous: 5 準線形方程式
(PDF ��������: pdetutor.pdf)
6 弱解と衝撃波
不連続な関数をも微分方程式 (17) の解とみるにはどうしたら
よいだろうか。
ひとつには超関数の理論を用いて不連続関数を微分する、という方法が
あるが、ここではこの方程式 (17) の積分形を導き、それを
利用して考えてみることにする。
まず
,
となるような
,
,
,
を勝手に
取る。これに対して長方形領域
で、方程式 (17) 全体を 2 重積分する。
合成関数の微分法則
より
であること、および 2 重積分の公式
に注意する。これらを用いて積分を計算すると
となるので、結局次の式が成り立つ。
 |
(22) |
この式にはもはや微分は含まれていない。しかも
が微分可能な関数ならば
(17) と、すべての
,
,
,
に対して
(22) を満たすこととは同値になる。
よって
が不連続な関数の場合、すべての
,
,
,
に対して (22) を満たすならば、その関数
は微分方程式 (17) の 弱解 (weak solution)
である、ということにする。
弱解は、その関数が微分可能な部分では、普通の意味での解、つまり微分方程式
(17) を満たす関数である。よって弱解は普通の解よりも広い概念
である。この弱解の、不連続な部分での様子を見てみる。
今、
が弱解であり、そのグラフは
の上で不連続で
その両側ではそれぞれ連続になっているとする。
つまり関数のグラフは、断層が走っているような図になるわけであるが、
この断層
と不連続の段差との関係を調べてみる。
を一つ取り、
とする。また、
,
を非常に小さい正の数とし、
は
に
比べて非常に小さいとする。このとき、上の長方形領域として
を取る。すなわち
,
,
,
とする。
図 16:
領域
|
,
が非常に小さいとすれば、この領域内の
断層の左側
での
の値は
の値に非常に近い。同様に、断層の右側
での
の値は
の値に非常に近い。
これらを考えると、(22) の各項に対して
のような近似式が成り立つので、(22) により
となり、
が成り立つが、
は段差であるから仮定により 0 ではなく、
よって
が成り立つ。ここで、
とすると、
この近似式は等式となり、
だから、結局
 |
(23) |
という関係式が成り立つこととなる。
弱解は不連続の所でこの関係式を満たす必要がある。この関係式を
ランキン-ユゴニオ条件 (the Rankine-Hugoniot condition)
と呼んでいる。
は
での
の時間微分、
すなわち断層の進行速度を表しているので、(23) の式は、
それが
, すなわち断層の両側の値の平均値に等しいことを
意味している。
特性曲線の進行速度は、方程式 (17) の
の係数である
に等しいから、この断層の進行速度は、断層の両側の特性曲線の進行速度
の平均になる、と考えることもできる。
このことから特性曲線と、断層の関係は以下の 2 つのいずれかであることが
分かる。
|
|
 |
(24) |
|
|
 |
(25) |
図 17:
断層と特性曲線 (左が (24),
右が (25) に対応)
![\includegraphics[width=0.47\textwidth]{image/Lax.eps}](img207.gif) |
しかし、元々この不連続な解は、特性曲線がぶつかることにより
の値が
一つに決まらなくなることを解消するために導入されたものであるから、
(24) のような、特性曲線がぶつからないものは
不適切とみなし、このような場合はむしろ交わらない特性曲線による滑らか
な解を採用することとするのが自然である。
すなわち、弱解に対して、その不連続な所では (25)
の不等式が成り立つことを条件として課すこととする。
この条件を ラックス条件 (Lax's condition)、または
エントロピー条件 (entropy condition) と呼んでいる。
そして、このエントロピー条件を満たす不連続な断層を
衝撃波 (shock wave) と呼ぶ。
衝撃波、エントロピー条件、ランキン-ユゴニオ条件といった用語は、
いずれも元々気体力学において用いられたものである。
Next: 7 リーマン問題
Up: 非線形偏微分方程式入門 1
Previous: 5 準線形方程式
Shigeharu TAKENO
2001年 9月 21日