弱解
数学の分野における、ある常微分方程式あるいは偏微分方程式の弱解(じゃくかい、英: weak solution、一般解とも呼ばれる)とは、その微分は存在しないかもしれないが、ある正確に定義できる意味において方程式を満たすと見なされるような関数のことを言う。方程式の異なるクラスに対して、それぞれ異なる弱解の定義が多く存在する。最も重要な定義の一つは、シュワルツ超函数の概念に基づくものである。
超函数の用語を避けて、微分方程式からはじめて、それを解の微分が現れない形で書き直す(その新しい形式は弱形式と呼ばれ、その解が弱解と呼ばれる)。少し驚くことに、微分方程式は微分可能でない解を持つこともあり得る。そのような解を見つけるために、弱形式は用いられる。
実世界の現象をモデル化するために用いられる多くの微分方程式において、十分に滑らかな解が得られる訳ではなく、そのような方程式を解くために弱形式が用いられる。この意味において、弱解は重要なのである。またたとえ方程式に微分可能な解が存在している場合でも、はじめに弱解の存在を示し、その後にその解が実際に十分滑らかであることを示す、という方法がしばしば有用となる。
{\displaystyle \int _{-\infty }^{\infty }\int _{-\infty }^{\infty }{\frac {\partial u(t,x)}{\partial t}}\varphi (t,x)\,\mathrm {d} t\mathrm {d} x+\int _{-\infty }^{\infty }\int _{-\infty }^{\infty }{\frac {\partial u(t,x)}{\partial x}}\varphi (t,x)\,\mathrm {d} t\mathrm {d} x=0.}
積分の順序交換のためのフビニの定理と、部分積分(第一式では t について、第二式では x について)を行うことによって、次の方程式が得られる:
− ∫ − ∞ ∞ ∫ − ∞ ∞ u ( t , x ) ∂ φ ( t , x ) ∂ t d t d x − ∫ − ∞ ∞ ∫ − ∞ ∞ u ( t , x ) ∂ φ ( t , x ) ∂ x d t d x = 0. ( 2 ) {\displaystyle -\int _{-\infty }^{\infty }\int _{-\infty }^{\infty }u(t,x){\frac {\partial \varphi (t,x)}{\partial t}}\,\mathrm {d} t\mathrm {d} x-\int _{-\infty }^{\infty }\int _{-\infty }^{\infty }u(t,x){\frac {\partial \varphi (t,x)}{\partial x}}\,\mathrm {d} t\mathrm {d} x=0.\quad \quad (2)}
超函数に基づく弱解の概念は、しばしば不十分なものとなる。双曲型システムの場合、超函数に基づく弱解の概念では一意性が保証されず、したがってそれを保証するためにエントロピー条件や他の選択基準が必要となる。ハミルトン=ヤコビ方程式のような完全に非線型の偏微分方程式においては、粘性解と呼ばれる全く異なった弱解の定義が存在する。
前節の例から従う一般的なアイデアは次のようなものである:ある微分方程式を u について解く時、その方程式に現れる u の導関数がどのようなものであっても、部分積分によって u が「移される」ようないわゆるテスト函数 φ {\displaystyle \varphi } を用いることで、その方程式を書き換えることが出来る。この方法によって、元の方程式の必ずしも微分可能でなくてもよい解を得ることが出来る。
上述の手法は、波動方程式よりもさらに一般的な方程式に対しても適用することが出来る。実際、R 内のある開集合 W における線型微分作用素
P ( x , ∂ ) u ( x ) = ∑ a α 1 , α 2 , ... , α n ( x ) ∂ α 1 ∂ α 2 ⋯ ∂ α n u ( x ) {\displaystyle P(x,\partial )u(x)=\sum a_{\alpha _{1},\alpha _{2},\dots ,\alpha _{n}}(x)\partial ^{\alpha _{1}}\partial ^{\alpha _{2}}\cdots \partial ^{\alpha _{n}}u(x)}
を考える。ここで多重指数 (α1, α2, ..., αn) は N 内のある有限集合について変動するものとし、係数 a α 1 , α 2 , ... , α n {\displaystyle a_{\alpha _{1},\alpha _{2},\dots ,\alpha _{n}}} は十分滑らかな x の函数とする。