包含未知函數的偏導數(或偏微分)的方程。

方程中所出現未知函數偏導數的最高階數,稱(chēng)為該方程的階。

在數學(xué)、物理及工程技術(shù)中應用最廣泛的,是二階偏微分方程,習慣上把這些方程稱(chēng)為數學(xué)物理方程。

中文名

偏微分方程

外文名

Partial differential equation

分類(lèi)

線(xiàn)性、非線(xiàn)性

所屬學(xué)科

數學(xué)

理論基礎

極限理論

相對

常微分方程

方程解釋

客觀(guān)世界的物理量一般是隨時(shí)間和空間位置而變化的,因而可以表達為時(shí)間坐標t和空間坐標

的函數

,這種物理量的變化規律往往表現為它關(guān)于時(shí)間和空間坐標的各階變化率之間的關(guān)系式,即函數u關(guān)于t與

的各階偏導數之間的等式。

例如在一個(gè)均勻的傳熱物體中,溫度u就滿(mǎn)足下面的等式:

。(1)

這樣一類(lèi)的包含未知函數及其偏導數的等式稱(chēng)為偏微分方程。一般說(shuō)來(lái),如果

是自變量,以u為未知函數的偏微分方程的一般形式是

。(2)

這里F是它的變元的函數,

所包含的偏導數的最高階數稱(chēng)為偏微分方程的階數。

由若干個(gè)偏微分方程所構成的等式組就稱(chēng)為偏微分方程組,其未知函數也可以是若干個(gè)。當方程的個(gè)數超過(guò)未知函數的個(gè)數時(shí),就稱(chēng)這偏微分方程組為超定的;當方程的個(gè)數少于未知函數的個(gè)數時(shí),就稱(chēng)為欠定的。

如果一個(gè)偏微分方程(組)關(guān)于所有的未知函數及其導數都是線(xiàn)性的,則稱(chēng)為線(xiàn)性偏微分方程(組)。否則,稱(chēng)為非線(xiàn)性偏微分方程(組)。在非線(xiàn)性偏微分方程(組)中,如果對未知函數的最高階導數來(lái)說(shuō)是線(xiàn)性的,那么就稱(chēng)為擬線(xiàn)性偏微分方程(組)。

設Ω是自變數空間R中一個(gè)區域,u是在這個(gè)區域上定義的具|α|階連續導數的函數。如果它能使方程(2)在Ω上恒等成立,那么就稱(chēng)u是該方程在Ω中的一個(gè)經(jīng)典意義下的解,簡(jiǎn)稱(chēng)為經(jīng)典解。在不致誤會(huì )的情況下,就稱(chēng)為解。

偏微分方程理論研究一個(gè)方程(組)是否有滿(mǎn)足某些補充條件的解(解的存在性),有多少個(gè)解(解的惟一性或自由度),解的各種性質(zhì)以及求解方法等等,并且還要盡可能地用偏微分方程來(lái)解釋和預見(jiàn)自然現象以及把它用之于各門(mén)科學(xué)和工程技術(shù)。偏微分方程理論的形成和發(fā)展都與物理學(xué)和其他自然科學(xué)的發(fā)展密切相關(guān),并彼此促進(jìn)和推動(dòng)。其他數學(xué)分支,如分析學(xué)、幾何學(xué)、代數學(xué)、拓撲學(xué)等理論的發(fā)展也都給予偏微分方程以深刻的影響。

在科學(xué)技術(shù)日新月異的發(fā)展過(guò)程中,人們研究的許多問(wèn)題用一個(gè)自變量的函

數來(lái)描述已經(jīng)顯得不夠了,不少問(wèn)題有多個(gè)變量的函數來(lái)描述。

比如,從物理角度來(lái)說(shuō),物理量有不同的性質(zhì),溫度、密度等是用數值來(lái)描述的叫做純量;速度、電場(chǎng)的引力等,不僅在數值上有不同,而且還具有方向,這些量叫做向量;物體在一點(diǎn)上的張力狀態(tài)的描述出的量叫做張量,等等。這些量不僅和時(shí)間有關(guān)系,而且和空間坐標也有聯(lián)系,這就要用多個(gè)變量的函數來(lái)表示。

應該指出,對于所有可能的物理現象用某些多個(gè)變量的函數表示,只能是理想化的,如介質(zhì)的密度,實(shí)際上“在一點(diǎn)”的密度是不存在的。而我們把在一點(diǎn)的密度看作是物質(zhì)的質(zhì)量和體積的比當體積無(wú)限縮小的時(shí)候的極限,這就是理想化的。介質(zhì)的溫度也是這樣。這樣就產(chǎn)生了研究某些物理現象的理想了的多個(gè)變量的函數方程,這種方程就是偏微分方程。

起源

微積分方程這門(mén)學(xué)科產(chǎn)生于十八世紀,歐拉在他的著(zhù)作中最早提出了弦振動(dòng)的二階方程,隨后不久,法國數學(xué)家達朗貝爾也在他的著(zhù)作《論動(dòng)力學(xué)》中提出了特殊的偏微分方程。不過(guò)這些著(zhù)作當時(shí)沒(méi)有引起多大注意。

1746年,達朗貝爾在他的論文《張緊的弦振動(dòng)時(shí)形成的曲線(xiàn)的研究》中,提議證明無(wú)窮多種和正弦曲線(xiàn)不同的曲線(xiàn)是振動(dòng)的模式。這樣就由對弦振動(dòng)的研究開(kāi)創(chuàng )了偏微分方程這門(mén)學(xué)科。

和歐拉同時(shí)代的瑞士數學(xué)家丹尼爾·貝努利也研究了數學(xué)物理方面的問(wèn)題,提出了解彈性系振動(dòng)問(wèn)題的一般方法,對偏微分方程的發(fā)展起了比較大的影響。拉格朗日也討論了一階偏微分方程,豐富了這門(mén)學(xué)科的內容。

偏微分方程得到迅速發(fā)展是在十九世紀,那時(shí)候,數學(xué)物理問(wèn)題的研究繁榮起來(lái)了,許多數學(xué)家都對數學(xué)物理問(wèn)題的解決做出了貢獻。

這里應該提一提法國數學(xué)家傅立葉,他年輕的時(shí)候就是一個(gè)出色的數學(xué)學(xué)者。在從事熱流動(dòng)的研究中,寫(xiě)出了《熱的解析理論》,在文章中他提出了三維空間的熱方程,也就是一種偏微分方程。他的研究對偏微分方程的發(fā)展的影響是很大的。

示例

二階線(xiàn)性與非線(xiàn)性偏微分方程始終是重要的研究對象。

這類(lèi)方程通常劃分成橢圓型、雙曲型與拋物型三類(lèi),圍繞這三類(lèi)方程所建立和討論的基本問(wèn)題是各種邊值問(wèn)題、初值問(wèn)題與混合問(wèn)題之解的存在性、唯一性、穩定性及漸近性等性質(zhì)以及求解方法。

近代物理學(xué)、力學(xué)及工程技術(shù)的發(fā)展產(chǎn)生出許多新的非線(xiàn)性問(wèn)題,它們常常導引出除上述方程之外的稱(chēng)為混合型方程、退化型方程及高階偏微分方程等有關(guān)問(wèn)題,這些問(wèn)題通常十分復雜具有較大的難度,至今為止,一直是重要的研究課題。

對于偏微分方程問(wèn)題的討論和解決,往往需要應用泛函分析、代數與拓撲學(xué)、微分幾何學(xué)等其它數學(xué)分支的理論和方法。另一方面,由于電子計算機的迅速發(fā)展,使得各種方程均可數值求解,并且揭示了許多重要事實(shí),因此,數值解法的研究,在已取得許多重要成果的基礎上,將會(huì )有更快地發(fā)展。

物理弦振動(dòng)

弦振動(dòng)是一種機械運動(dòng),當然機械運動(dòng)的基本定律是質(zhì)點(diǎn)力學(xué)的

,但是弦并不是質(zhì)點(diǎn),所以質(zhì)點(diǎn)力學(xué)的定律并不適用在弦振動(dòng)的研究上。然而,如果我們把弦細細地分成若干個(gè)極小極小的小段,每一小段抽象地看作是一個(gè)質(zhì)點(diǎn),這樣我們就可以應用質(zhì)點(diǎn)力學(xué)的基本定律了。

弦是指又細又長(cháng)的彈性物質(zhì),比如弦樂(lè )器所用的弦就是細長(cháng)的、柔軟的、帶有彈性的。演奏的時(shí)候,弦總是繃緊著(zhù)具有一種張力,這種張力大于弦的重量幾萬(wàn)倍。當演奏的人用薄片撥動(dòng)或者用弓在弦上拉動(dòng),雖然只有其所接觸的一段弦振動(dòng),但是由于張力的作用,傳播到使整個(gè)弦振動(dòng)起來(lái)。

用微分的方法分析可得到弦上一點(diǎn)的位移是這一點(diǎn)所在的位置和時(shí)間為自變量的偏微分方程,屬于數學(xué)物理方程中的波動(dòng)方程,也就是雙曲型偏微分方程。

偏微分方程的解一般有無(wú)窮多個(gè),但是解決具體的物理問(wèn)題的時(shí)候,必須從中選取所需要的解,因此,還必須知道附加條件。因為偏微分方程是同一類(lèi)現象的共同規律的表示式,僅僅知道這種共同規律還不足以掌握和了解具體問(wèn)題的特殊性,所以就物理現象來(lái)說(shuō),各個(gè)具體問(wèn)題的特殊性就在于研究對象所處的特定條件,就是初始條件和邊界條件。

對于同樣的弦的弦樂(lè )器,如果一種是以薄片撥動(dòng)弦,另一種是以弓在弦上拉動(dòng),那么它們發(fā)出的聲音是不同的。原因就是由于“撥動(dòng)”或“拉動(dòng)”的那個(gè)“初始”時(shí)刻的振動(dòng)情況不同,因此產(chǎn)生后來(lái)的振動(dòng)情況也就不同。

天體預言

天文學(xué)中也有類(lèi)似弦振動(dòng)的情況,如果要通過(guò)計算預言天體的運動(dòng),必須要知道這些天體的質(zhì)量,同時(shí)除了牛頓定律的一般公式外,還必須知道我們所研究的天體系統的初始狀態(tài),就是在某個(gè)起始時(shí)間,這些天體的分布以及它們的速度。在解決任何數學(xué)物理方程的時(shí)候,總會(huì )有類(lèi)似的附加條件。

當然,客觀(guān)實(shí)際中也還是有“沒(méi)有初始條件的問(wèn)題”,如定場(chǎng)問(wèn)題(靜電場(chǎng)、穩定濃度分布、穩定溫度分布等),也有“沒(méi)有邊界條件的問(wèn)題”。

數學(xué)應用

在數學(xué)上,初始條件和邊界條件叫做定解條件。

偏微分方程本身是表達同一類(lèi)物理現象的共性,是作為解決問(wèn)題的依據;定解條件卻反映出具體問(wèn)題的個(gè)性,它提出了問(wèn)題的具體情況。方程和定解條件合而為一體,就叫做定解問(wèn)題。

求偏微分方程的定解問(wèn)題可以先求出它的通解,然后再用定解條件確定出函數。但是一般來(lái)說(shuō),在實(shí)際中通解是不容易求出的,用定解條件確定函數更是比較困難的。

偏微分方程的解法還可以用分離系數法,也叫做傅立葉級數;還可以用分離變數法,也叫做傅立葉變換或傅立葉積分。分離系數法可以求解有界空間中的定解問(wèn)題,分離變數法可以求解無(wú)界空間的定解問(wèn)題;也可以用拉普拉斯變換法去求解一維空間的數學(xué)物理方程的定解。對方程實(shí)行拉普拉斯變換可以轉化成常微分方程,而且初始條件也一并考慮到,解出常微分方程后進(jìn)行反演就可以了。

應該指出,偏微分方程的定解雖然有以上各種解法,但是我們不能忽視由于某些原因有許多定解問(wèn)題是不能?chē)栏窠獬龅模豢梢杂媒品椒ㄇ蟪鰸M(mǎn)足實(shí)際需要的近似程度的近似解。

常用的方法有變分法和有限差分法。

變分法是把定解問(wèn)題轉化成變分問(wèn)題,再求變分問(wèn)題的近似解;

有限差分法是把定解問(wèn)題轉化成代數方程,然后用計算機進(jìn)行計算。

還有一種更有意義的模擬法,它用另一個(gè)物理的問(wèn)題實(shí)驗研究來(lái)代替所研究某個(gè)物理問(wèn)題的定解。雖然物理現象本質(zhì)不同,但是抽象地表示在數學(xué)上是同一個(gè)定解問(wèn)題,如研究某個(gè)不規則形狀的物體里的穩定溫度分布問(wèn)題,在數學(xué)上是拉普拉斯方程的邊值問(wèn)題,由于求解比較困難,可作相應的靜電場(chǎng)或穩恒電流場(chǎng)實(shí)驗研究,測定場(chǎng)中各處的電勢,從而也解決了所研究的穩定溫度場(chǎng)中的溫度分布問(wèn)題。

隨著(zhù)物理科學(xué)所研究的現象在廣度和深度兩方面的擴展,偏微分方程的應用范圍更廣泛。從數學(xué)自身的角度看,偏微分方程的求解促使數學(xué)在函數論、變分法、級數展開(kāi)、常微分方程、代數、微分幾何等各方面進(jìn)行發(fā)展。從這個(gè)角度說(shuō),偏微分方程變成了數學(xué)的中心。