边值问题

在微分方程中，边值问题是一个微分方程和一组称之为边界条件的约束条件。边值问题的解通常是符合约束条件的微分方程的解。

物理学中经常遇到边值问题，例如波动方程等。许多重要的边值问题属于Sturm-Liouville问题。这类问题的分析会和微分算子的本征函数有关。

在实际应用中，边值问题应当是适定的（即：存在解，解唯一且解会随着初始值连续地变化）。许多偏微分方程领域的理论提出是为要证明科学及工程应用的许多边值问题都是适定问题。

最早研究的边值问题是狄利克雷问题，是要找出调和函数，也就是拉普拉斯方程的解，后来是用狄利克雷原理找到相关的解。

边值问题类似初值问题，边值问题的条件是在区域的边界上，而初值问题的条件都是在独立变数及其导数在某一特定值时的数值（一般是定义域的下限，所以称为初值问题）。

例如独立变数是时间，定义域为[0,1]，边值问题的条件会是 $y(t)$ 在 $t=0$ 及 $t=1$ 时的数值，而初值问题的条件会是 $t=0$ 时的 $y(t)$ 及 $y'(t)$ 之值。

若铁棒的一端为绝对零度，另一端温度为水的凝固点，要找到铁棒温度随位置的变化即为一个边值问题。

若问题和时间和空间都有关，边界条件需为某一个特定点下所有时间对应的值，以及某一个特定时间时所有位置对应的值。

以下是一个边值问题的例子

y''(x)+y(x)=0\,

要求解满足以下边界条件的函数 $y(x)$

y(0)=0,\ y(\pi /2)=2.

若没有边界条件，以上微分方程的通解是

y(x)=A\sin(x)+B\cos(x).\,

根据边界条件 $y(0)=0$ ，可得

0=A\cdot 0+B\cdot 1

可以得到 $B=0$ 的结论。根据边界条件 $y(\pi /2)=2$ ，可得

2=A\cdot 1

因此 $A=2$ 。因此可以找到满足上述边界条件的唯一解，即为

y(x)=2\sin(x).\,

根据条件的形式，边值条件分以下三类^[1]：

第一类边值条件：也称为狄利克雷边界条件，直接描述物理系统边界上的物理量，例如振动的弦两端与平衡位置的距离；
第二类边值条件：也称为诺伊曼边界条件，描述物理系统边界上物理量垂直边界的导数的情况，例如导热细杆端点的热流；
第三类边值条件：物理系统边界上物理量与垂直边界导数的线性组合，例如，细杆端点的自由冷却，温度、热流均不确定，但是二者的关系确定，即可列出二者线性组合而成的边值条件。

边值条件也可以根据边值问题对应的微分算子来分类：若是使用椭圆算子，则问题为椭圆边值问题；使用双曲线算子，则问题为双曲线边值问题。依微分算子还可以将问题再细分为线性及非线性等。

[1]
Qiang Wang Guoding Li Ke Gong. 電磁場理論基礎. 台北: 五南图书出版股份有限公司. 2003: p88 [2010-09-23].

说明