|
設 是 上的調和函式,並假設
證明 是一個常數函式。
|
設 
如果
是調和的(即
),那麼
也必須是調和的(當然,
)。然後,由於絕對值作為運算子是凸的,我們有
是
上的次調和函式。
然後,根據次調和函式的平均值性質,對於任何
,我們有
其中第二個不等式是由於柯西-施瓦茨(霍爾德)不等式。
此估計對所有
成立。因此,如果我們令
,我們可以看到對於所有 
,這說明
是常數。
|
令 是守恆律 的分段光滑弱解。 a) 推匯出解的不連續點的蘭金-休戈尼奧條件。 b) 找到 IVP 的分段光滑解
|
當我們用特徵線法求解偏微分方程時,特徵線可能會交叉,導致激波或不連續性。現在要做的就是找到不連續曲線,我們把它稱為
。將偏微分方程乘以
,這是一個在
上具有緊支集的平滑測試函式。然後透過分部積分
令
表示
中位於
左側的開區域,類似地
表示位於
右側的區域。如果
的支撐完全位於這兩個區域中的任何一個,則上述所有邊界項都消失,我們得到 
現在假設
的支撐與不連續性
相交。
我們可以計算
。因此,衝擊波從原點垂直延伸。也就是說,
|
考慮具有初始資料的演化方程
a) 什麼能量量對於這個方程是合適的?它是守恆還是耗散? b) 證明該問題的 解是唯一的。
|
考慮能量
。然後
。使用分部積分法得到
。邊界項由於
意味著
(類似地,在
處)而消失。然後根據原始 PDE 我們得到
其中最後一個等式是另一個分部積分。邊界項再次使用相同的方法消去。因此,
對於所有
成立;也就是說,能量是耗散的。
假設
是該系統的兩個不同的解。那麼
是以下方程的解:
這告訴我們,在
時,
。因此,
。由於
,那麼
,對所有
成立。這意味著
。也就是說,
。
|
設 是一個有界開集,其邊界 光滑。考慮 的初始邊界值問題
其中 是外法線方向的導數。假設 且 對 成立。證明該問題的平滑解是唯一的。
|
假設
是兩個不同的解。那麼
是以下問題的平滑解
考慮能量
。很容易驗證
。那麼
因此
意味著
對於所有
。因此,
對於所有
,這意味著 
假設
使
最小化,即
。那麼對於任何固定的
,如果我們令
那麼
。令
;那麼我們可以說
。現在我們必須計算
。我們有
由於我們知道
那麼
如預期的那樣。
反之,假設
那麼 
因此,
對於所有
。也就是說,
對於所有
,如預期的那樣。