拋物型偏微分方程
拋物型偏微分方程
簡稱拋物型方程,一類重要的偏微分方程。熱傳導方程是最簡單的一種拋物型方程。
目錄
熱傳導方程 研究熱傳導過程的一個簡單數學模型。根據熱量守恆定律和傅里葉熱傳導實驗定律導致熱傳導方程。
拋物型偏微分方程
式中u是溫度;Δ是拉普拉斯算符;α2是導溫係數;;k是熱傳導係數;с、ρ分別是比熱和密度;;F是外加熱源密度。自然界還有很多現象同樣可以用方程(1)來描述,例如分子在介質中的擴散過程等,因此方程(1)通常亦稱為擴散方程。
定解問題 為了確定一個具體的熱傳導過程,除了列出方程(1)以外,還必須知道物體Ω的初始溫度(初始條件)和在它的邊界嬠Ω上所受到的外界的影響(邊界條件)。初始條件:
(2)
邊界條件,最通常的形式有三類。
第一邊界條件(或稱狄利克雷條件):
(3)
即表面溫度為已知函數。
第二邊界條件(或稱諾伊曼條件):
(4)
式中n是嬠Ω的外法向,即通過表面的熱量已知。
第三邊界條件(或稱羅賓條件):
(5)
式中α≥0;即物體表面給定熱交換條件。
除了以上三類邊界條件外還可以在邊界嬠Ω上給定其他形式的邊界條件,如斜微商條件、混合邊界條件等。
方程(1)連同初始條件(2)以及邊界條件(3)、(4)、(5)中的任意一個一起構成了一個定解問題,根據邊界條件的不同形式,分別稱為第一、二、三邊值問題,統稱為熱傳導方程的初邊值問題或混合問題。若Ω呏R3,則由方程(1)和初始條件(2)構成的定解問題稱為熱傳導方程的初值問題或柯西問題。
基本解與格林函數 基本解是點熱源的影響函數。如果在t=0時刻在(ξ,η,ζ)處給定單位點熱源,即u0(x,y,z,0)=δ(ξ,η,ζ)(δ是狄喇克函數),則當t>0時由它引起的在全空間R3的溫度分佈(即熱傳導方程(1)的解)稱為熱傳導方程的基本解。通過傅里葉變換可以得到它的表達式。當t>0時
拋物型偏微分方程
熱傳導方程初值問題(1)、(2)的解可通過疊加的步驟由基本解生成
。對於一個有界區域Ω,若邊界溫度為零,在初始時刻在(ξ,η,ζ)處給定一個單位點熱源u(x,y,z,0)=δ(ξ,η,ζ),當t>0時由它引起在Ω內的溫度分佈(即熱傳導方程的解)稱為熱傳導方程第一邊值問題的格林函數,記作G(x-ξ,y-η,z-ζ,t)。根據格林公式
,
式中l*是l的共軛運算元,
拋物型偏微分方程
拋物型偏微分方程
這裡時是一個定義在捙×上的充分光滑函數。對於一維問題或Ω為立方體等特殊區域,格林函數可以通過分離變數法或鏡像法去求得。
極值原理 一個內部有熱源的熱傳導過程(即在方程(1)中ƒ≥0),它的最低溫度一定在邊界上或初始時刻達到,這就是所謂的極值原理。事實上,還可以有更強的結論:①如果在t=T時在Ω內部某一點達到了最低溫度,那麼在這個時刻T以前(即t強極值原理;②如果這個最低溫度只在t=T時刻的某一邊界點P達到,那麼在這一點上(n是嬠Ω的外法向),此即所謂的邊界點引理。
極值原理與邊界點引理在熱傳導方程的研究中有很多應用,它的一個最直接的推論就是導出了熱傳導方程初邊值問題解的惟一性和穩定性。
至於初值問題(1)、(2)的解的惟一性,它與解在無窮遠點的性態有關。如果對於初值問題(1)、(2),附加上無窮遠點增長階的限制,這裡A,M是任意給定正常數,那麼由極值原理可以證明初值問題(1)、(2)的解必惟一。
解的正則性(光滑性)若ƒ呏0,則由初值問題解的表達式可看出,若有界連續,則初值問題(1)、(2)的解當時都是無窮次連續可微的,而且關於空間變數x,y,z是解析的,關於時間變數t屬於謝弗萊二類函數,即在|x|<ρ內滿足
拋物型偏微分方程
解的漸近性 如果邊界上的溫度以及熱源密度與時間無關(即),則熱傳導過程將趨於穩定狀態,也就是當時,不管什麼初始條件,物體內部溫度總趨於同一個極限(穩定態的溫度分佈),它是橢圓邊值問題:的解。
解的半群性質 熱傳導是一個單向的不可逆過程,熱總是由高溫流向低溫。如果邊界溫度為零,S(t)表示由初始時刻的溫度場映到t時刻的溫度場的線性解運算元,即,由於熱傳導的不可逆性質,因此運算元族具有半群性質:①(I為恆同運算元);②,;③。由泛函分析中的希爾-吉田定理,存在一個相應的無窮小生成子A,,使得具有齊次邊條件的第一邊值問題(1)、(2)、(3)的解具有明顯的表達式
拋物型偏微分方程
式中
。
線性和擬線性拋物型方程 設。二階線性偏微分方程
(6)
在區域Q內稱為是拋物型的,如果存在常數α >0,使得對於任意ξ∈Rn,(x1,x2,…,xn,t)∈Q 有
拋物型偏微分方程
如果αij連續可微,那麼(6)可改寫為
拋物型偏微分方程
的形式。(7)稱為具有散度形式的拋物型方程,(6)稱為非散度形式的拋物型方程。當時,(6)與(7)是有區別的,不能互推。如果方程(6)、(7)中的係數和右端還依賴於u,墷u,則(6)和(7)稱為擬線性拋物型方程。
拋物型方程和橢圓型方程的研究有相似的地方,它們互相影響、互為借鑒。橢圓型方程理論很多結果在拋物型方程中都有相應的定理,例如先驗估計、極值原理等。
擬線性蛻化拋物型方程 考慮在絕熱過程中氣體通過多孔介質的流動,這個過程可由下述方程來刻畫:
拋物型偏微分方程