|
令 為一個具有光滑邊界 的有界開集。令 為一個光滑的對稱 實矩陣族,它們一致正定。令 且 為 上的光滑函式。定義泛函 ,其中 是 上的標量積。假設 是在狄利克雷條件 在 上滿足的該泛函的極小值,其中 是連續的。
a) 證明 滿足變分方程 對於任何 。
b) 滿足的偏微分方程是什麼? c) 假設 。證明 是一個可接受的測試函式,並由此得出結論 。(提示:你可以使用事實 幾乎處處成立) d) 證明 只有一個最小值,或者等價地,對應偏微分方程只有一個解 。
|
對於
,定義
。由於
使泛函最小化,因此
。我們可以計算
(利用
的對稱性)
因此
,這證明了結論。
我們有
邊界項消失,因為
,我們得到了PDE的弱形式。因此,
是以下PDE的解
首先,我們需要證明
。 首先,在
上,
,因為我們假設了
。 其次,
,因此
,必須是 Lipschitz 連續的,因為
且
是
中的有界域(即
),因此
必須在
中達到一個(有限的)最大值,因此導數是有界的,因此
是 Lipschitz 連續的。 因此,
。
這給我們
。
但請注意,由於
是一致正定的,因此 
因此,我們有
這與假設矛盾,除非
,即
幾乎處處成立。
假設
是兩個不同的解。令
。則
是 Lipschitz 函式(因為
都必須是 Lipschitz 函式),並且
在
上成立。因此,變分方程給出
。由於
是正定的,所以我們有
,這與假設矛盾,除非
幾乎處處成立。