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