一階偏微分方程式のソースを表示

[[数学]]において、'''一階偏微分方程式'''（いっかいへんびぶんほうていしき、{{Lang-en-short|first-order partial differential equations}}）とは、一般の ''n'' 個の変数の未知函数の高々一階の導函数のみが含まれる[[偏微分方程式]]のことを言う。次の形で表される。

:<math> F(x_1,\ldots,x_n,u,u_{x_1},\ldots u_{x_n}) =0. \,</math> 

このような方程式は、[[双曲型偏微分方程式]]に対する特性曲面の構成や、[[変分法]]、いくつかの幾何学的問題、解が[[特性曲線法]]で求められる気体の挙動のシンプルなモデルなどに現れる。単一の一階偏微分方程式の解の族が見つけられれば、その族について解の包絡線を構成することで他の解を得ることが出来ることもある。それと関連して、常微分方程式の族を積分することによって一般解が得られることもある。

== 波動方程式に対する特性曲面 ==

[[波動方程式]]に対する特性曲面は、次の方程式の解の[[等位集合|等位面]]で得られる。

:<math> u_t^2 = c^2 \left(u_x^2 +u_y^2 + u_z^2 \right). \,</math> 

一般性をあまり失うことなく、<math>u_t =1</math> とすることも出来る。この場合、''u'' は次を満たす。

:<math> u_x^2 + u_y^2 + u_z^2= \frac{1}{c^2}. \,</math> 

次のベクトルの記法を導入する。

:<math> \vec x = (x,y,z) \quad \hbox{and} \quad \vec p = (u_x, u_y, u_z).\,</math> 

等位面を平面とする解の族は、次で与えられる。

:<math> u(\vec x) = \vec p \cdot (\vec x - \vec{x_0}), \,</math> 

ここで

:<math> | \vec p \,|  = \frac{1}{c}</math>

であり、

:<math>\vec{x_0} \,</math> 

は任意である。''x'' と ''x''<sub>0</sub> が固定されるとき、これらの解の包絡線は、半径 1/''c'' の球面上で ''u'' の値が定常となるようなある点を見つけることで得られる。このような状況は <math> \vec p</math> が <math>\vec x - \vec{x_0}</math> に平行であるときに真となる。したがって、包絡線は次の方程式を含む。

:<math> u(\vec x) = \pm \frac{1}{c} | \vec x -\vec{x_0} \,|.</math>

これらの解は、半径が速度 ''c'' で拡大あるいは縮小するような球面に対応する。これらは空間-時間に関する光錐（light cone）である。

この方程式に対する初期値問題は、''t''=0 に対して ''u''=0 であるような等位面 ''S'' を明らかにする。その解は、中心を ''S'' 上に持ち速度 ''c'' で成長する半径を持つすべての球の包絡線を取ることによって得られる。この包絡線は、次の条件の下で得られる。

:<math> \frac{1}{c} | \vec x - \vec{x_0}\, | \quad \hbox{is stationary for} \quad \vec{x_0} \in S. \,</math> 

この条件は、<math> | \vec x - \vec{x_0}\, |</math> が ''S'' と垂直に交わるときに成立する。したがって、この包絡線は ''S'' の各法線に沿った速度 ''c'' の動きと対応する。これが'''ホイヘンスの波面の構成'''（Huygens' construction of wave fronts）である。''S'' 上の各点は時間 ''t''=0 において球面波を発し、のちの時間 ''t'' における波面はそれらの球面波の包絡線である。''S'' の法線は光線（light ray）である。

== 二次元の理論 ==

二次元空間の場合は比較的議論は簡単になるが、主要なアイデアはより高い次元に対しても一般化される。このとき、一般の一階偏微分方程式は次の形状で表される。

:<math> F(x,y,u,p,q)=0, \,</math>

ここで

:<math> p=u_x, \quad q=u_y \,</math> 

である。この方程式の'''完全積分'''（complete integral）とは、二つのパラメータ ''a'' と ''b'' に依存する解 φ(''x'',''y'',''u'') である（''n'' 次元の場合には ''n'' 個のパラメータが必要となる）。このような解の包絡線は、任意の函数 ''w'' を選んで ''b''=''w''(''a'') とし、次の全微分が成立するように ''A''(''x'',''y'',''u'') を決定することで得られる。

:<math> \frac{d \varphi}{d a} = \varphi_a(x,y,u,A,w(A)) + w'(A)\varphi_b(x,y,u,A,w(A)) =0. \,</math> 

この場合、次の解 <math>u_w</math> も得られる。

:<math> u_w = \phi(x,y,u,A,w(A)) \,</math> 

函数 ''w'' の選び方によって PDE の解が得られる。同様の手順で、波動方程式に対する特性曲面としての光錐を構成することが出来る。

完全積分が利用できない場合でも、連立常微分方程式を解くことによって解が得られる場合もある。そのような連立方程式を得るために、はじめに PDE は各点で錐（光錐と類似のもの）を決定することに注意されたい。PDE が ''u'' の導函数について線型（準線型）であるなら、錐は直線に退化される。一般の場合、方程式を満たすペア (''p'',''q'') は与えられた点での平面の族を決定する。すなわち

:<math> u - u_0 = p(x-x_0) + q(y-y_0), \,</math> 

ここで

:<math> F(x_0,y_0,u_0,p,q) =0 \,</math> 

である。これらの平面の包絡線は錐であるか、あるいは PDE が準線型の場合は直線である。包絡線に対する条件は

:<math> F_p\, dp + F_q \,dq =0 \,</math> 

である。ここで F は <math> (x_0, y_0,u_0,p,q)</math> で評価され、''dp'' と ''dq'' は ''F''=0 を満たす ''p'' と ''q'' の増分である。したがって、錐の生成素は次の方向を持つ直線である。

:<math> dx:dy:du = F_p:F_q:(pF_p + qF_q). \,</math> 

この方向は、波動方程式に対する光線に対応する。この方向に沿って微分方程式を積分するために、''p'' と ''q'' に対する増分はこの直線に沿ったものである必要がある。これは、PDE を微分することによって次のように得られる。

:<math> F_x +F_u p + F_p p_x + F_q p_y =0, \,</math> 
:<math> F_y +F_u q + F_p q_x + F_q q_y =0,\,</math> 

したがって <math>(x,y,u,p,q)</math> 空間における直線の方向は、

:<math> dx:dy:du:dp:dq = F_p:F_q:(pF_p + qF_q):(-F_x-F_u p):(-F_y - F_u q) \,</math> 

である。これらの方程式の積分は、各点 <math>(x_0,y_0,u_0)</math> でのコノイドを導く。すると PDE の一般解は、そのようなコノイドの包絡線によって得られる。

== 外部リンク ==
* [http://www.scottsarra.org/shock/shock.html More detailed information on the Method of Characteristics]

== 参考文献 ==

*R. Courant and D. Hilbert, ''Methods of Mathematical Physics, Vol II'', Wiley (Interscience), New York, 1962.
* L.C. Evans, ''Partial Differential Equations'', American Mathematical Society, Providence, 1998. ISBN 0-8218-0772-2
* A. D. Polyanin, V. F. Zaitsev, and A. Moussiaux, ''Handbook of First Order Partial Differential Equations'', Taylor & Francis, London, 2002. ISBN 0-415-27267-X
* A. D. Polyanin, ''Handbook of Linear Partial Differential Equations for Engineers and Scientists'', Chapman & Hall/CRC Press, Boca Raton, 2002. ISBN 1-58488-299-9
* Sarra, Scott ''The Method of Characteristics with applications to Conservation Laws'',  Journal of Online Mathematics and its Applications, 2003.

{{DEFAULTSORT:いつかいへんひふんほうていしき}}
[[Category:微分方程式]]
[[Category:偏微分方程式]]
[[Category:数学に関する記事]]