一般的に無数の解を持つ微分方程式においてその定義されている領域の境界上で解、またはそれの導関数の値に対し何らかの条件を課すことによって解を指定します。 この条件を境界条件と呼び、この境界条件を満たす解を求める問題を 境界値問題 といいます。