デュアメルの原理のソースを表示

[[数学]]の、特に[[偏微分方程式]]の分野で用いられる'''デュアメルの原理'''（デュアメルのげんり、{{Lang-en-short|Duhamel's principle}}）とは、[[熱方程式]]や[[波動方程式]]や{{仮リンク|板の振動|label=振動板方程式|en|vibration of plates}}などの{{仮リンク|同次微分方程式|label=非同次|en|homogeneous differential equation}}線形発展方程式の解を得るための一般的な手法である。薄い板を底から温める際の熱の分布のモデルとしての非同次熱方程式に対して初めてこの原理を利用した、{{仮リンク|ジャン＝マリー・デュアメル|en|Jean-Marie Duhamel}}の名にちなむ。デュアメルの原理は、[[調和振動子]]のような空間依存性を持たない線型発展方程式に対しては、線型同次[[常微分方程式]]を解く際に用いられる[[定数変化法]]に帰着される<ref> Fritz John, "Partial Differential Equations', New York, Springer-Verlag, 1982, 4th ed., 0387906096 </ref>。

デュアメルの原理の根本となるアイデアは、[[コーシー問題]]（あるいは初期値問題）の解から非同次問題の解を得ることが可能、というものである。例えば、'''R'''<sup>''n''</sup> 内の熱エネルギー ''u'' の分布をモデル化する熱方程式の例を考える。このときの初期値問題は
:<math>
\begin{cases}
u_t(x,t) - \Delta u(x,t) = 0 &(x,t)\in \mathbf{R}^n\times (0,\infty)\\
u(x,0) = g(x) & x\in \mathbf{R}^n
\end{cases}
</math>
となる。ただし ''g'' は初期の熱分布である。この熱方程式に対応する非同次の問題は
:<math>
\begin{cases}
u_t(x,t) -\Delta u(x,t) = f(x,t) &(x,t)\in \mathbf{R}^n\times (0,\infty)\\
u(x,0) = 0 & x\in \mathbf{R}^n
\end{cases}
</math>
のように表される。ここで ''&fnof;''(''x'',''t'')''dt'' は各点に加えられる外的な熱エネルギーである。直感的に、この非同次問題は、各時間 ''t''&nbsp;=&nbsp;''t''<sub>0</sub> ごとに考えられる同次問題を集めたものと考えられるであろう。線型性により、その同次問題の解を時間 ''t''<sub>0</sub> 毎に足し上げる（積分する）ことで、求めたい非同次問題の解を得ることが出来る。この考えがデュアメルの原理の本質である。

== 総論 ==

形式的に、ある函数
:<math>u:D\times(0,\infty)\to \mathbf{R}</math>
と '''R'''<sup>''n''</sup> 内の空間領域 ''D'' に関する線型の非同次発展方程式として、次のような形状のものを考える。
:<math>
\begin{cases}
u_t(x,t) -Lu(x,t) = f(x,t) &(x,t)\in D\times (0,\infty)\\
u|_{\partial D} = 0 &\\
u(x,0) = 0 & x\in D.
\end{cases}</math>
ここで ''L'' は、時間に関する微分は含まない線型の微分作用素である。

デュアメルの原理は、形式的に、この問題の解は
:<math>u(x,t) = \int_0^t (P^sf)(x,t)\,ds</math>
で与えられるということを述べたものである。ただし ''P''<sup>''s''</sup>''&fnof;'' は次の問題の解である。
:<math>
\begin{cases}
u_t - Lu = 0 & (x,t)\in D\times (s,\infty)\\
u|_{\partial D} = 0 &\\
u(x,s) = f(x,s) & x\in D.
\end{cases}
</math>

デュアメルの原理は（ベクトル値函数 ''u'' を伴う）線型システムに対しても同様に適用される。またデュアメルの原理は、波動方程式に現れるような高次の ''t'' 微分に対する一般化も与える（下記参照）。この原理の正当性は、同次問題を適切な函数空間の上で解くことが出来るか、またその解は積分が well-defined となるような良いパラメータ依存性を示すものであるか、という点に依存する。''u'' および ''f'' に関する正しい解析的条件は、その適用される場面に依存するものである。

== 例 ==
=== 波動方程式 ===
次の非同次の波動方程式を考える。

:<math>u_{tt}-c^2u_{xx}=f(x,t)\,</math> 

ただし初期条件は

:<math>u(x,0)=u_t(x,0)=0.\,</math>

とする。この解は次のように書ける。

:<math>u(x,t) = \frac{1}{2c}\int_0^t\int_{x-c(t-s)}^{x+c(t-s)} f(\xi,s)\,d\xi\,ds.\,</math>

=== 定数係数線型常微分方程式 ===

デュアメルの原理とは、非同次の線型偏微分方程式の解は、初めにある入力ステップに対する解を見つけて、それを{{仮リンク|デュアメルの積分|en|Duhamel's integral}}を使って積み重ねることによって求めることが出来る、という結果である。次の定数係数 m 階非同次[[常微分方程式]]を考える。

:<math> P(\partial_t)u(t) = F(t) \,</math>

:<math> \partial_t^j u(0) = 0, \; 0 \leq j \leq m-1 </math>

ただし

:<math> P(\partial_t) := a_m \partial_t^m + \cdots + a_1 \partial_t + a_0,\; a_m \neq 0. </math>

である。この非同次方程式の解を、以下に示す方法によってある同次方程式の解に書き下すことが出来る。以下の手順はすべて形式的に行われるが、解が well-defined となるために必要ないくつかの設定は無視している。

初めに、次の方程式の解 ''G'' を求める。

:<math> P(\partial_t)G = 0, \; \partial^j_t G(0) = 0, \quad 0\leq j \leq m-2, \; \partial_t^{m-1} G(0) = 1/a_m. </math>

ここで <math> H = G \chi_{[0,\infty)} </math>　定める。ただし <math>\chi_{[0,\infty)}</math> は区間 <math>[0,\infty)</math> に対する[[指示函数]]である。このとき、

:<math> P(\partial_t) H = \delta </math>

が[[超函数]]の意味で成立する。したがって

:<math> u(t) = (H \ast F)(t) </math>

:<math> = \int_0^\infty G(\tau)F(t-\tau)\,d\tau </math>

:<math> = \int_{-\infty}^t G(t-\tau)F(\tau)\, d\tau </math>

が、元の常微分方程式の解となる。

=== 定数係数線型偏微分方程式 ===

より一般に、次の非同次の定数係数[[偏微分方程式]]を考える。

:<math> P(\partial_t,D_x)u(t,x) = F(t,x) \,</math>

ただし

:<math> D_x = \frac{1}{i} \frac{\partial}{\partial x} \,</math>

とする。以下に示す方法で、この非同次方程式の解はある同次方程式の解へと書き下すことが出来る。すべての手順は形式的に行われるが、解が well-defined となるための必要な設定は無視している。

はじめに、''x'' について[[フーリエ変換]]を行うことで、

:<math> P(\partial_t,\xi)\hat u(t,\xi) = \hat F(t,\xi) </math>

が得られる。<math> P(\partial_t,\xi) </math> は ''t'' に関する m 階の方程式である。<math> P(\partial_t,\xi) </math> の最高階の項の係数を <math>a_m </math> とする。今、すべての <math>\xi </math> に対して、次の方程式の解 <math>G(t,\xi) </math> を考える。

:<math> P(\partial_t,\xi)G(t,\xi) = 0, \; \partial^j_t G(0,\xi) = 0 \; \mbox{ for } 0\leq j \leq m-2, \; \partial_t^{m-1} G(0,\xi) = 1/a_m. </math>

<math>H(t,\xi) = G(t,\xi) \chi_{[0,\infty)}(t) </math> を定める。すると、

:<math> P(\partial_t,\xi) H(t,\xi) = \delta(t) </math>

が[[超函数]]の意味で成立する。したがって

:<math> \hat u(t,\xi) = (H(\cdot,\xi) \ast \hat F(\cdot,\xi))(t) </math>

:<math> = \int_0^\infty G(\tau,\xi)F(t-\tau,\xi)\,d\tau </math>

:<math> = \int_{-\infty}^t G(t-\tau,\xi)F(\tau,\xi)\, d\tau </math>

が元の偏微分方程式の解として得られる（ただし ''x'' に戻るための逆変換が必要となる）。

== 関連項目 ==
* [[遅延ポテンシャル]]

== 参考文献 ==
{{reflist}}

{{デフォルトソート:てゆあめるのていり}}
[[Category:数学の原理]]
[[Category:振動と波動]]
[[Category:微分方程式]]
[[Category:数学に関する記事]]