コーシー境界条件

数学の分野におけるコーシー境界条件（こーしーきょうかいじょうけん、）は、常微分方程式あるいは偏微分方程式に対し、定義域の境界上での解の値およびそのの値を定めるような条件のことを言う。ディリクレ境界条件とノイマン境界条件を両方とも課すような状況に対応する。19世紀のフランスの数学者であるオーギュスタン＝ルイ・コーシーの名にちなむ。
コーシー境界条件は、特殊解を持つように初期点あるいは境界点における解の値とその微分の値を定めるような、二階の常微分方程式に関する理論から理解することが出来る。それはすなわち
および
である解を考えるような理論である。ここで formula_3 は初期点あるいは境界点である。
コーシー境界条件は、そのようなタイプの境界条件の一般化である。以下、議論を簡略化するために、偏微分に関する次のような記法を導入する:
また、次のような簡単な二階の偏微分方程式を定義する:
定義域は二次元で、その境界はパラメトリック方程式
により記述される。今、二階の常微分方程式と同じように、この偏微分方程式を解く際にも境界での関数の値と法線微分の値を知る必要がある。すなわち
および
の値が、与えられた偏微分方程式の定義域の境界上の各点において定められていなければならない。ここで formula_9 は関数の勾配を表す。コーシー境界条件はしばしば、ディリクレ境界条件とノイマン境界条件の「加重平均」であると言われる。ここでの加重平均（weighted average）は、統計学における加重平均（weighted mean）や、とは区別される必要がある。なぜならば、それらの公式はコーシー境界条件には用いられないからである。むしろ、「weighted average」の意味するところは、与えられた境界条件を解析する間は、その良設定性のために利用可能なすべての情報について常に気にかけていなければならない、ということである。
通常パラメータ formula_10 は時間であるため、コーシー境界条件は初期値条件、初期データあるいは簡潔にコーシーデータなどとも呼ばれる。
コーシー境界条件は、ディリクレおよびノイマンの境界条件を「同時に」用いることを意味するが、ロビン境界条件やインピーダンス境界条件とは異なることに注意されたい。ロビン境界条件は、ディリクレおよびノイマンの境界条件を
のような形で「同時」に用いる。ここで formula_12、formula_13 および formula_14 は境界上与えられた関数とする（これはまた、境界の異なる部分集合上に「異なるタイプ」の境界条件を用いるような混合境界条件とも区別される）。この場合、関数とその微分は、同一の方程式に含まれているという形を取りながら、境界条件を満たさなければならない。
例.
空間が二次元であるような熱方程式を次のように定義する。
ここで formula_16 は、熱伝導率と呼ばれる物質に固有の定数である。この方程式は、原点を中心とする半径 formula_17 の上半円領域 formula_18 上に適用されるものとする。その境界の、曲線部分では温度はゼロに保たれていると仮定し、直線部分では断熱されていると仮定する。すなわち、コーシー境界条件は
および
のように定められる。
解を、空間の関数と時間の関数の積であると考えることで、変数分離法を用いることが出来る。すなわち
を元の方程式に代入することにより
を得る。したがって
が得られる。
この左辺は formula_24 にのみ依存し、右辺は formula_25 にのみ依存するため、両式は定数として等しいものでなければならないことが分かる。すなわち
とすることが出来る。したがって、二つの方程式が得られる。一つ目は、空間 formula_25 に関する方程式
であり、二つ目は時間 formula_24 に関する方程式
である。境界条件が課されるなら、この常微分方程式の解は
で与えられる。ここで "A" は初期条件により定義されるであろう定数である。空間に関する方程式は、再び変数分離法を用いて解くことが出来る。すなわち、formula_32 をその方程式に代入し、両辺を formula_33 で割り、計算することにより
が得られる。この左辺は formula_35 にのみ依存し、右辺は formula_36 にのみ依存するため、両辺は定数と等しくなければならず、それを formula_37 とした場合
が得られる。したがって、上で定義したような境界条件の課される、常微分方程式のペアを得ることが出来る。