格林函数与边值问题
边值问题(boundary-value problem)
想象一根两端都被固定的吉他弦。没人告诉你它一开始怎么动;只告诉你两端必须停在哪里,而你想知道它在中间会取什么形状。这就是边值问题的味道:微分方程在某个区域内部成立,而条件是加在边界上的——区间的两端,或二维、三维区域整圈边缘——而不是全部加在同一个起始时刻。
具体来说,对于区间 [a, b] 上的二阶常微分方程,如 y'' + p(x) y' + q(x) y = f(x),边值问题在两个端点都给定数据,例如 y(a) = A 与 y(b) = B(狄利克雷型),或给定斜率的条件(诺伊曼型),或两者混合(罗宾型)。这与初值问题不同:初值问题在单一点 a 同时给出 y(a) 与 y'(a)。这种区别很关键:系数良好的初值问题总恰有一个解,而边值问题可能有一个解、没有解、或无穷多解,因为你要穿出一条曲线,同时命中两个分隔位置上的目标。
边值问题是稳态物理的自然栖息地:两端温度固定的杆中的平衡温度、夹在支座上承载横梁的形状、带电壁面区域中的静电势。格林函数正是为对任意源求解线性边值问题而造的工具,而斯图姆-刘维尔理论则是自伴边值问题的谱论。
在 [0, 1] 上求解 y'' = -1,边界条件 y(0) = y(1) = 0。两次积分:y = -x^2/2 + C1 x + C2。边界条件强制 C2 = 0 且 C1 = 1/2,得 y = x(1 - x)/2——两端固定、均匀承载的弦的挠度。
两个端点条件一次性定下两个积分常数——这正是边值问题的标志性特征。
边值问题恰好在对应的齐次问题存在非平凡解时可能失去唯一性——这就是本征值的情形,由弗雷德霍姆择一律支配,而非你在初值问题中见过的任何存在性定理所支配。
又称
另见