令 为一个具有光滑边界 的有界开集。令 为一个光滑的对称 实矩阵族,它们一致正定。令 且 为 上的光滑函数。定义泛函 ,其中 是 上的标量积。假设 是在狄利克雷条件 在 上满足的该泛函的极小值,其中 是连续的。 a) 证明 满足变分方程 对于任何 。 b) 满足的偏微分方程是什么? c) 假设 。证明 是一个可接受的测试函数,并由此得出结论 。(提示:你可以使用事实 几乎处处成立) d) 证明 只有一个最小值,或者等价地,对应偏微分方程只有一个解 。
|
对于 ,定义 。由于 使泛函最小化,因此 。我们可以计算 (利用 的对称性)
因此 ,这证明了结论。
我们有
边界项消失,因为 ,我们得到了PDE的弱形式。因此, 是以下PDE的解
首先,我们需要证明 。 首先,在 上,,因为我们假设了 。 其次,,因此 ,必须是 Lipschitz 连续的,因为 且 是 中的有界域(即 ),因此 必须在 中达到一个(有限的)最大值,因此导数是有界的,因此 是 Lipschitz 连续的。 因此,。
这给我们 。
但请注意,由于 是一致正定的,因此
因此,我们有
这与假设矛盾,除非 ,即 几乎处处成立。
假设 是两个不同的解。令 。则 是 Lipschitz 函数(因为 都必须是 Lipschitz 函数),并且 在 上成立。因此,变分方程给出
。由于 是正定的,所以我们有
,这与假设矛盾,除非 几乎处处成立。