偏微分方程式

二維熱傳導方程式的解

偏微分方程式（英語：partial differential equation，縮寫作PDE）指含有未知函數及其偏導數的方程式。描述自變數、未知函數及其偏導數之間的關係。符合這個關係的函數是方程式的解。

偏微分方程式分為線性偏微分方程式與非線性偏微分方程式，常常有幾個解而且涉及額外的邊界條件。

記號及例子

方程式中常以u為未知數及偏微分，如下：

$u_{xy}={\partial ^{2}u \over \partial y\,\partial x}$

用於空間偏微分的梯度運算子$\nabla =({\partial \over \partial _{x}},{\partial \over \partial _{y}},{\partial \over \partial _{z}})$

時間偏微分${\dot {u}}={\partial u \over \partial t}$，線性偏微分方程式的例子如下：

拉普拉斯方程式

$u_{xx}+u_{yy}+u_{zz}=0$

適用於重力場問題的求解

卜瓦松方程式

$u_{xx}+u_{yy}+u_{zz}=f(x,y,z)$

適用於所有物質或電荷的重力場或靜電場。

波動方程式

未知函數u(x,y,z,t):

$u_{tt}=c^{2}(u_{xx}+u_{yy}+u_{zz})$

${\ddot {u}}=c^{2}\nabla ^{2}u$

熱傳導方程式

$u_{t}=k(u_{xx}+u_{yy}+u_{zz})$

其中k代表該材料.

適定問題

偏微分方程式解中任意函數的出現必然產生解的各種差異，考慮到幾乎不知道這些解的詳情，在大多數問題中慣常的目標是找滿足合適的和確定的條件（例如在空間的邊界處和某固定時刻）的那些解，要求這些條件可以確定唯的解是自然的要求。

如果要說一個PDE是適定的，則必須要有:

• 存在性:至少存在一個解$u(x,y)$滿足初始條件還有其他輔助條件
• 唯一性:存在最多一個解$u(x,y)$滿足初始條件還有其他輔助條件
• 穩定性:唯一的解$u(x,y)$不會因為初始條件的微小變動，產生巨大的變化。或是說，當初始資料變化微小，解的變化也很微小。

法國數學家阿達馬強調後一方面，當解不連續地依賴於原始數據變化時稱此問題是不適定的或提得不正確的

• 不適定的例子

對於雙變量的Laplace方程式：

${\frac {\partial ^{2}z}{\partial x^{2}}}+{\frac {\partial ^{2}z}{\partial y^{2}}}=0(y>0)$

在邊界條件

$z(x,0)=0$ 和 ${\frac {\partial z(x,0)}{\partial y}}={\frac {1}{n}}\cos nx$

之下，符合條件的解為

$z(x,y)={\frac {1}{n^{2}}}\sinh(ny)\cos(nx)$

當${\begin{smallmatrix}n\rightarrow +\infty \end{smallmatrix}}$時 其數據在${\begin{smallmatrix}y=0\end{smallmatrix}}$處${\begin{smallmatrix}z\end{smallmatrix}}$和${\begin{smallmatrix}{\frac {\partial z}{\partial y}}\end{smallmatrix}}$的指定值趨於0，而${\begin{smallmatrix}z(x,y)\end{smallmatrix}}$的值在無窮大的範圍內震盪，所以這個解不適定。

分類

一些線性二階偏微分方程式可以分為：拋物線方程式，雙曲線方程式和橢圓方程式。其他的像Euler–Tricomi方程式在不同應用領域中也有不同的形式。這種分類便於在解偏微分方程式時尋找初始條件提供依據。

一階偏微分方程式

主條目：一階偏微分方程式

一階偏微分方程式是指和未知數的一階導數有關的偏微分方程式，表示式為：

$Au_{x}+Bu_{y}+\cdots =0,$

其中參數A,B是x,y的變數。

二階偏微分方程式

表示式為：

$Au_{xx}+2Bu_{xy}+Cu_{yy}+\cdots =0,$

其中參數A,B,C是x,y的變數。如果在xy平面上有$A^{2}+B^{2}+C^{2}>0$，該偏微分方程式在該平面上為二階偏微分方程式。二階偏微分方程式類似以下的圓錐方程式：

$Ax^{2}+2Bxy+Cy^{2}+\cdots =0.$

該二階偏微分方程式可分類為：拋物線方程式，雙曲線方程式和橢圓方程式，其分類方式為：

1. $B^{2}-AC\,<0$ 且 (A,B,C)≠(0,0,0): 橢圓方程式；
2. $B^{2}-AC=0\,$ 或 (A,B,C)=(0,0,0): 拋物線方程式；
3. $B^{2}-AC\,>0$：雙曲線方程式;

若有n個獨立變量$x_{1},x_{2},\ldots x_{n}$，則此二階線性偏微分方程式為:

$Lu=\sum _{i=1}^{n}\sum _{j=1}^{n}a_{i,j}{\frac {\partial ^{2}u}{\partial x_{i}\partial x_{j}}}\quad$

我們可以依靠係數矩陣a_i,j的特徵值的正負號去區分方程式的種類:

1. 橢圓方程式: 特徵值為全正或是全負。
2. 拋物線方程式:特徵值其中有一個是0，然後其他的都是全正或是全負。
3. 雙曲線方程式:特徵值一個為正數，其他為負數，或是一個為負數，其他為正數。
4. 超雙曲線方程式:正數的特徵值與負數的特徵值的個數都大於一，且沒有一個特徵值為0的數。

混合形式方程式

如果偏微分方程式的係數不是一個常數，該偏微分方程式可能不屬於以上幾種類別之一，而可能是混合形式方程式。一個簡單的例子為Euler–Tricomi方程式：

$u_{xx}\,=xu_{yy}$

該方程式稱為橢圓雙曲線方程式。因為當x < 0時是橢圓形式，當x > 0時是雙曲線形式。

解析法解偏微分方程式

一些有效的解析法解偏微分方程式方法：

分離變量法

主條目：可分離變數的偏微分方程式

通過分離變量法減少偏微分方程式中的變量，將一個偏微分方程式分解成若干個常微分方程式。

特徵線法

主條目：特徵線法

沿著一階偏微分方程式的特徵線，偏微分方程式簡化為一個常微分方程式。沿著特徵線求出對應常微分方程式的解就可以得到偏微分方程式的解。

積分轉換

利用積分法，將偏微分方程式轉換為可分離的偏微分方程式，方便求解。一般為傅立葉轉換分析。

變量轉換

通過適當的變量轉換，可以簡化偏微分方程式的求解。一個典型的例子為Black–Scholes方程式：

${\frac {\partial V}{\partial t}}+{\frac {1}{2}}\sigma ^{2}S^{2}{\frac {\partial ^{2}V}{\partial S^{2}}}+rS{\frac {\partial V}{\partial S}}-rV=0$

可以簡化為熱力方程式：

${\frac {\partial u}{\partial \tau }}={\frac {\partial ^{2}u}{\partial x^{2}}}$

通過如下轉換：

$V(S,t)=Kv(x,\tau )\,$

$x=\ln(S/K)\,$

$\tau ={\frac {1}{2}}\sigma ^{2}(T-t)$

$v(x,\tau )=e^{-\alpha x-\beta \tau }u(x,\tau ).\,$

基本解

非齊次偏微分方程式可通過尋找基本算子，然後通過帶有初始條件的摺積來解答。 該法常用於信號處理中通過衝激響應來求解濾波器。

疊加原理

因為一個線性齊次偏微分方程式解的重疊也可看做一個解，所以可以通過交叉重疊這些解得到偏微分方程式的一個解。

數值法解偏微分方程式

主條目：偏微分方程式數值方法

在眾多求解偏微分方程式的數值方法中，三種應用最廣的方法為有限元素法（Finite Element Method, FEM）、有限體積法（Finite Volume Method, FVM）和有限差分法（Finite Difference Method, FDM）。其中，有限元法占主要地位，尤其是它的高效高階版本—hp-FEM。其它版本的有限元法還有：廣義有限元法（Generalized Finite Element Method, FFEM）、擴展有限元法（eXtended Finite Element Method, XFEM）、無網格有限元法（Meshfree Finite Element Method）、離散迦遼金有限元法（Discontinuous Galerkin Finite Element Method, DGFEM）等。

書目

• Courant, R. & Hilbert, D., Methods of Mathematical Physics II, New York: Wiley-Interscience, 1962, ISBN 9783527617241 .
• Drábek, Pavel; Holubová, Gabriela. Elements of partial differential equations Online. Berlin: de Gruyter. 2007. ISBN 9783110191240. 
• Evans, L. C., Partial Differential Equations, Providence: American Mathematical Society, 1998, ISBN 0-8218-0772-2 .
• Ibragimov, Nail H., CRC Handbook of Lie Group Analysis of Differential Equations Vol. 1-3, Providence: CRC-Press, 1993, ISBN 0-8493-4488-3 .
• John, F., Partial Differential Equations 4th, New York: Springer-Verlag, 1982, ISBN 0-387-90609-6  含有內容需登入查看的頁面 (link).
• Jost, J., Partial Differential Equations, New York: Springer-Verlag, 2002, ISBN 0-387-95428-7 .
• Olver, P.J., Equivalence, Invariants and Symmetry, Cambridge Press, 1995 .
• Petrovskii, I. G., Partial Differential Equations, Philadelphia: W. B. Saunders Co., 1967 .
• Pinchover, Y. & Rubinstein, J., An Introduction to Partial Differential Equations, New York: Cambridge University Press, 2005, ISBN 0-521-84886-5 .
• Polyanin, A. D., Handbook of Linear Partial Differential Equations for Engineers and Scientists, Boca Raton: Chapman & Hall/CRC Press, 2002, ISBN 1-58488-299-9 .
• Polyanin, A. D. & Zaitsev, V. F., Handbook of Nonlinear Partial Differential Equations, Boca Raton: Chapman & Hall/CRC Press, 2004, ISBN 1-58488-355-3 .
• Polyanin, A. D.; Zaitsev, V. F. & Moussiaux, A., Handbook of First Order Partial Differential Equations, London: Taylor & Francis, 2002, ISBN 0-415-27267-X .
• Roubíček, T., Nonlinear Partial Differential Equations with Applications (PDF), International Series of Numerical Mathematics 153 2nd, Basel, Boston, Berlin: Birkhäuser, 2013 [2023-11-20], ISBN 978-3-0348-0512-4, MR 3014456, doi:10.1007/978-3-0348-0513-1, （原始內容存檔 (PDF)於2023-03-26） 
• Stephani, H., MacCallum, M. , 編, Differential Equations: Their Solution Using Symmetries, Cambridge University Press, 1989 .
• Wazwaz, Abdul-Majid. Partial Differential Equations and Solitary Waves Theory. Higher Education Press. 2009. ISBN 978-3-642-00251-9. 
• Wazwaz, Abdul-Majid. Partial Differential Equations Methods and Applications. A.A. Balkema. 2002. ISBN 90-5809-369-7. 
• Zwillinger, D., Handbook of Differential Equations 3rd, Boston: Academic Press, 1997, ISBN 0-12-784395-7 .
• Gershenfeld, N., The Nature of Mathematical Modeling 1st, New York: Cambridge University Press, New York, NY, USA, 1999, ISBN 0-521-57095-6 .
• Krasil'shchik, I.S. & Vinogradov, A.M., Eds., Symmetries and Conserwation Laws for Differential Equations of Mathematical Physics, American Mathematical Society, Providence, Rhode Island, USA, 1999, ISBN 0-8218-0958-X .
• Krasil'shchik, I.S.; Lychagin, V.V. & Vinogradov, A.M., Geometry of Jet Spaces and Nonlinear Partial Differential Equations, Gordon and Breach Science Publishers, New York, London, Paris, Montreux, Tokyo, 1986, ISBN 2-88124-051-8 .
• Vinogradov, A.M., Cohomological Analysis of Partial Differential Equations and Secondary Calculus, American Mathematical Society, Providence, Rhode Island, USA, 2001, ISBN 0-8218-2922-X .
• Gustafsson, Bertil. High Order Difference Methods for Time Dependent PDE. Springer Series in Computational Mathematics 38. Springer. 2008. ISBN 978-3-540-74992-9. doi:10.1007/978-3-540-74993-6.