ディリクレ境界条件のソースを表示

{{redirect|ディリクレ条件|フーリエ級数|:en:Dirichlet–Jordan test}}
'''ディリクレ境界条件'''（ディリクレきょうかいじょうけん）あるいは'''第1種境界条件'''は、[[微分方程式]]における[[境界条件]]の一つの形状であり、境界条件上の点の値を直に与えるものである。

より厳密に言うと、''y'' に関する微分方程式で、ディリクレ境界上の点の集合を ''&Omega;'' としたときに、''&Omega;'' に含まれる点 ''x'' があれば
:<math>y(x) = f(x)</math>
という形で表現できるような境界条件である。

例えば、偏微分方程式
:<math>\frac{\partial y}{\partial x} = y</math>
において、一般解は
:<math>y = a e^x</math>
となるが、ディリクレ条件として ''y''(0) = 1 とすると、
:<math>y = e^x</math>
という解が得られる。

なお、一つの偏微分方程式において、ディリクレ条件以外の境界条件とディリクレ条件を併用して設定することも珍しくない。ただし、少なくともディリクレ条件と同等となる点が1つ以上存在しない場合は、微分方程式の解が決定されない。

==関連項目==
* [[ノイマン境界条件]]
{{境界条件}}

{{Normdaten}}
{{デフォルトソート:ていりくれきようかいしようけん}}
[[Category:境界条件]]
[[Category:ペーター・グスタフ・ディリクレ]]
[[Category:数学のエポニム]]
[[Category:数学に関する記事]]