頂10篇文章

土豆
烏龜
薑黃
Gmail
第二次世界大戰
DirectX
光合作用
菲律賓
第一次世界大戰
板岩

News:

偏微分方程

數學, 偏微分方程 (PDE)是類型 微分方程即, a 聯繫 介入未知數 作用 (或作用)數 獨立變量 并且它(resp。 他們) 部份衍生物 關於那些可變物。 偏微分方程用於公式化和因而援助解答,介入幾可變物的作用問題; 例如傳播 聲音, 靜電學, 電動力學, 流體流動, 彈性. 有趣的是,表面上分明物理現象也許有相同數學公式化和通過同樣強調因而治理動態。

內容

介紹

一個相對地簡單的偏微分方程是

 \ frac {\部份} {\部份x} u (x, y) =0 \。

這聯繫 暗示 價值 u(x,y)是獨立 x. 因此這個等式的一般解答是

u (x, y) = f (y), \,

那裡 f 是一個任意作用 y. 近似 常微分方程

 \ frac {du} {dx} =0 \,

哪些有解答

u (x) = c, \,

那裡 c 是其中任一 恆定 價值(獨立 x). 這二個例子說明常微分方程的一般解答介入任意常數,但偏微分方程的解答介入任意作用。 一個偏微分方程的解答一般不是 獨特; 在必須一般指定另外的情況 界限 區域,解答被定義。 例如,在簡單的中上面的例子,作用 f(y) 可以是堅定的,如果 u 在線指定 x = 0.

存在和獨特

雖然常微分方程的解答的存在和獨特的問題有一非常令人滿意回答與 Picard-Lindelöf定理那是離論點很遠的地方為偏微分方程。 有將軍定理( Cauchy-Kovalevskaya定理)那狀態 Cauchy問題 為是的任何偏微分方程 分析 在未知函數和它的衍生物有一種獨特的分析解答。 雖然這個結果也許看上去安定解答的存在和獨特,有然而系數有衍生物所有順序(是不分析的),但根本不要有解答線性偏微分方程的例子: 看見Lewy (1957)。 即使一個偏微分方程的解答存在并且是獨特的,然而它也許有不受歡迎的物產。 這些問題的數學研究通常就更加強有力的狀況 微弱的解答.

病理性行為的例子是Cauchy問題序列(依靠 n)為 Laplace等式

 \ frac {\ part^2 u} {\部份x^2} + \ frac {\ part^2 u} {\部份y^2} =0, \,

最初的情況

u (x, 0) = 0, \,
 \ frac {\部份u} {\部份y} (x, 0) = \ frac {\罪孽n x} {n}, \,

那裡 n 是整數。 衍生物 u 關於 y 方法0 一致地x n 增量,但解答是

u (x, y) = \ frac {(\ sinh ny) (\罪孽nx)}{n^2}。\,

這種解答接近無限,如果 nx 不是π的整數倍數為任何非零值 y. Cauchy問題為Laplace等式叫 不適擺在沒有 被擺在的井,因為解答連續不取決於問題的數據。 這樣不適被擺在的問題為物理應用通常不是令人滿意的。

記法和例子

在PDEs,它是共同的使用下標表示部份衍生物。 那是:

u_x = {\部份u \ \部份x}
u_ {X - Y} = {\ part^2 u \ \部份y \, \部份x} = {\部份\ \部份y} \被留下({\部份u \ \部份x} \正確)。

特別是在(數學)物理,你經常更喜歡用途 del (在解析的座標被寫  \ nabla= (\ part_x, \ part_y, \ part_z) \, )為空間衍生物和小點  \小點u \, 為時間衍生物,即。 寫 波動方程 (如下所示)

\ ddot u=c^2 \三角U. \,(算術記法)
\ ddot u=c^2 \ nabla^2u。\,(物理記法)

熱等式在一個空間維度

等式為熱的傳導在一個維度為一個同類的身體有形式

u_t = \阿爾法u_ {xx} \,

那裡 u(t,x)是溫度,并且α是描述擴散的率的一個正面常數。 Cauchy問題為這個等式在指定包括 u(0,x) = f(x)的地方 f(x)是一個任意作用。

熱等式的一般解答可以由方法發現 分離變量法. 有些例子出現於 熱等式 文章。 他們是例子 傅立葉系列 為週期性 f 并且 傅立葉變換 為非週期 f. 使用傅立葉變換,熱等式的一種一般解答有形式

u (t, x) = \ frac {1} {\ sqrt {2 \ pi}} \ int_ {- \ infty} ^ {\ infty} F (\ XI) e^ {- \阿爾法\ xi^2 t} e^ {i \ XI x} d \ XI, \,

那裡 F 是一個任意作用。 為了滿足最初的條件, F 由傅立葉變換給 f那是

F (\ XI) = \ frac {1} {\ sqrt {2 \ pi}} \ int_ {- \ infty} ^ {\ infty} f (x) e^ {- i \ XI x} \, dx。 \,

如果 f 代表熱的一個非常小,但強烈的來源,然後在先的積分式可以由接近 三角洲發行乘以來源的力量。 為力量正常化到1的來源,結果是

 F (\ XI) = \ frac {1} {\ sqrt {2 \ pi}}, \,

并且熱等式的發生的解答是

 u (t, x) = \ frac {1} {2 \ pi} \ int_ {- \ infty} ^ {\ infty} e^ {- \阿爾法\ xi^2 t} e^ {i \ XI x} d \ XI。 \,

這是a 高斯積分式. 它也許被評估獲得

 u (t, x) = \ frac {1} {2 \ sqrt {\ pi \阿爾法t}} \ exp \離開(- \ frac {x^2} {4 \阿爾法t} \正確)。 \,

這個結果對應於正常可能性密度為 x 以手段0和變化2αt. 熱等式和相似 擴散等式 是學習任意現象的有用的工具。

波動方程在一個空間維度

波動方程 是一個等式為一個未知函數 u(t, x)形式

 u_ {tt} = c^2 u_ {xx}。 \,

這裡 u 在氣壓或者一個電磁場的巨大在管在管也許描述被舒展的串的位移從平衡或者區別,和 c 是對應於波浪的速度的數字。 Cauchy問題為這個等式在規定包括串或其他媒介的最初的位移和速度:

 u (0, x) = f (x), \,
 u_t (0, x) = g (x), \,

那裡 f 并且 g 是任意特定作用。 給這個問題的解答 d'Alembert的慣例:

 u (t, x) = \ frac {1} {2} \離開[f (xct) + f (x+ct) \正確] + \ frac {1} {2c} \ int_ {xct} ^ {x+ct} g (y) \, dy。 \,

這個慣例暗示解答在(t,x)仅取決於數據由刪去初始行的段 特徵曲線

 x - ct = \ hbox {常數,} \方形字體x + ct = \ hbox {恆定}, \,

那從那點得出落後。 這些曲線對應於繁殖以速度的信號 c 批轉和落後。 相反地,數據的影響在任何特定點對初始行繁殖以有限速度 c: 沒有作用在三角之外通過邊是特徵曲線的那點。 這行為是非常與解答不同為熱等式, a的作用 點聲源 在空間瞬間地出現(以小高度)於每點。 指定的解答以上也是合法的,如果 t 是消極的,并且明確慣例表示,解答順利地取決於數據: 向前和落後Cauchy問題為波動方程很好被擺在。

球面波

球面波是高度仅取決於徑向距離的波浪 r 從中央 點聲源. 為這樣波浪,三維波動方程採取形式

u_ {tt} = c^2 \離開[u_ {rr} + \ frac {2} {r} u_r \正確]。 \,

這是等效的

 (ru) _ {tt} = c^2 \被留下的[(ru) _ {rr} \正確], \,

並且數量 ru 滿足一維波動方程。 所以一種一般解答為球面波有形式

 u (t, r) = \ frac {1} {r} \被留下的[F (rct) + G (r+ct) \正確], \,

那裡 F 并且 G 是完全地任意作用。 輻射從天線對應於案件, G 相同地零。 因而從天線傳送的波形形式沒有畸變及時: 唯一的distorting因素是1r. 如果有二個空間維度,波浪的未變形的傳播這個特點不存在。

Laplace等式在二個維度

Laplace等式 為二可變物的一個未知函數φ有形式

\ varphi_ {xx} + \ varphi_ {yy} = 0。

Laplace的等式的解答叫 調和函數.

與作用的連接

Laplace等式的解答在二個維度用一個複變量的分析作用親密地連接(亦稱。 全形的作用) : 所有分析作用的真正和虛構部分是 共軛泛音 作用: 他們滿足Laplace等式,并且他們的梯度是正交的。 如果 f=u+iv然後 Cauchy-Riemann等式 聲明那

u_x = v_y, \方形字體v_x = - u_y, \,

并且它跟隨那

u_ {xx} + u_ {yy} = 0, \方形字體v_ {xx} + v_ {yy} =0。 \,

相反地給出任何調和函數在二個維度,它至少當地是一個分析作用的真正的部分。 提供細節 Laplace等式.

一個典型的邊值問題

一個典型的問題為Laplace的等式將發現在領域的界限滿足任意價值的解答。 例如,我們也許尋找承擔價值的一個調和函數 u(θ)在圈子半徑一。 給了解答 泊松:

\ varphi (r, \希臘字母的第八字) = \ frac {1} {2 \ pi} \ int_0^ {2 \ pi} \ frac {1-r^2} {1 +r^2 -2r \ COS (\希臘字母的第八字- \ theta')} u (\ theta') d \ theta'. \,

petrovsky (1967年, p。 248) 顯示怎麼這個慣例可以通過求和傅立葉系列獲得為φ。 如果 r<1, φ衍生物也許通過區分計算在缺一不可的標誌之下,并且你可能核實φ是分析的,即使 u 是連續,但不必要能區分的。 這行為為解答是典型的 橢圓偏微分方程: 解答比界限數據也許更多光滑的。 這是與解答對比 波動方程和更加一般 雙曲線偏微分方程比數據沒典型地有沒有其他衍生物。

Euler-Tricomi等式

Euler-Tricomi等式 用於調查 超音速 流程。 它是


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

對流等式

對流等式 描述被保存的標量的運輸 ψ 在速度領域 {\大膽的u} = (u、v, w). 它是:


\ psi_t+ (u \ psi) _x+ (v \ psi) _y+ (w \ psi) _z \, =0。

如果速度領域是 solenoidal (即 \ nabla \ cdot {\大膽的u} =0),等式也許然後被簡化


\ psi_t+u \ psi_x+v \ psi_y+w \ psi_z \, =0。

这一個尺寸穩流對流等式 ψt + ux = 0 (的地方 u 是恆定的)共同地指豬圈問題。 如果 u 不是恆定和相等的 ψ 等式被稱為 起士漢堡的等式.

GinzburgLandau等式

GinzburgLandau等式 用於塑造 超導性. 它是


iu_t+pu_ {xx} +q|u|^2u \, =i \伽瑪u

那裡 p, q \在\ mathbb {C} 并且 \伽瑪\在\ mathbb {R} 是常數和 i 是虛數單位。

Dym等式

Dym等式 被命名對於 哈里Dym 并且在研究中發生 solitons. 它是


u_t \, = u^3u_ {xxx}。

其他例子

Schrödinger等式 是PDE在非相對論性中心 量子力學. 在 WKB略計 它是 哈密爾頓Jacobi等式.

除了Dym等式和GinzburgLandau等式,上述等式是 線性 在感覺他們在形式可以被寫 Au = f 為指定的 線性操作符 A 并且一個特定作用 f. 其他重要非線性等式包括 Navier昇火等式 描述流體流程,和 愛因斯坦的 領域等式 廣義相對論.

並且看見 非線性偏微分方程名單.

解決PDEs的方法

方法 分離變量法 在非常簡單的領域將產生線性PDE的特殊解答例如也許滿足最初或邊界條件的長方形。 由於其中任一 疊置 線性PDE的解答再是解答,特殊解答也許然後被結合獲得更加一般的解答。 如果領域是有限或週期性的,解答的一個無限總和例如a 傅立葉系列 是適當,但解答積分式例如a 傅立葉積分式 為無限領域一般需要。 解答為一個點聲源為指定的熱等式以上是一個例子為對傅立葉積分式的使用。

最初界限價值問題

許多問題 數理物理學 被公式化作為最初界限價值問題。

振動的串

如果串被舒展在二點之間, x=0和 x=L 并且 u 表示串的位移的高度,然後 u 在這個區域滿足一維波動方程, 0<x<L 并且 t 是無限的。 因為串被栓下來在末端, u 必需也滿足邊界條件

 u (t, 0) =0, \方形字體u (t, L) =0, \,

並且最初的條件

 u (0, x) =f (x), \方形字體u_t (0, x) =g (x)。 \,

分離變量法方法為波動方程

 u_ {tt} = c^2 u_ {xx}, \,

導致形式的解答

 u (t, x) = T (t) X (x), \,

那裡

 T

那裡常數 k 一定是堅定的。 邊界條件然後暗示那 x 是罪孽的倍數 kxk 必須有形式

 k= \ frac {n \ pi} {L}, \,

那裡 n 是整數。 每個期限在總和對應於振動方式串的。 方式與 n=1稱根本方式,并且其他方式的頻率是這個頻率的所有倍數。 他們形成 言外之意系列 串和他們是為音樂聲學的依據。 最初的條件也許通過代表然後滿意 f 并且 g 作為這些方式的無限總和。 管樂器典型地對應於空氣專欄的振動與一個末端開放和被關閉的一個末端。 對應的邊界條件是

x (0) =0, \方形字體X'(L) = 0。\,

可能在這種情況下也運用分離變量法方法,并且它導致一系列的奇怪的言外之意。

這個類型的一般問題解決 Sturm-Liouville理論.

振動的膜

如果膜被舒展在曲線 C 那形成領域的界限 D 在飛機,它的振動由波動方程治理

 \ frac {1} {c^2} u_ {tt} = u_ {xx} + u_ {yy}, \,

如果 t>0和(x,y) D. 邊界條件是 u(t,x,y) = 0 如果 (x,y)C. 分離變量法方法導致形式

 u (t、x, y) = T (t) v (x, y), \,

哪些必須反過來滿意

 \ frac {1} {c^2} T
 v_ {xx} + v_ {yy} + k^2 v =0。\,

後者等式稱 Helmholtz等式. 常數 k 一定是堅定的為了允許重要 v 滿足邊界條件 C. 這樣價值 k2 叫Laplacian的本徵值 D和伴生的解答是Laplacian的特徵函數 D. Sturm-Liouville理論也許延伸到這個橢圓本徵值問題(Jost 2002)。

沒有解決非線性PDEs的一般可適用的方法。 但是,存在和獨特發生(例如 Cauchy-Kovalevskaya定理)是經常可能的,像解答重要定性和定量物產證明(取得這些結果是大部分 分析). 對非線性PDEs的計算解答, 分裂步方法為具體等式存在像非線性Schrodinger等式。

然而,有些技術可以為等式的幾個類型使用。 h原則 是解決的最強有力的方法 underdetermined 等式。 Riquier珍妮特理論是一個有效的方法為得到關於分析的許多的信息 overdetermined 系統。

特徵方法 (相似性變革方法)能用於一些特殊情況解決偏微分方程。

在某些情況下, PDE可以通過解答認為更正到一個等式用一種知道的解答的擾動分析解決。 選擇是 數據分析 技術從簡單 有限差 計劃對成熟 多柵 并且 有限元法. 許多有趣的問題在科學和工程學解決這樣使用 計算機有時高性能 巨型計算機.

分類

一些線性,第二級次的偏微分方程可以被分類 拋物面, 雙曲線橢圓. 其他例如 Euler-Tricomi等式 有不同的類型用不同的地區。 分類提供一個指南對適當的最初和邊界條件和對解答的平滑性。

第二秩序的等式

假設 uxy = uyx一般第二級次的PDE在二個獨立變量有形式

Au_ {xx} + Bu_ {X - Y} + Cu_ {yy} + \ cdots = 0,

那裡系數 A, B, C 等. 可以依靠 x 并且 y. 這個形式是類似於等式為一條二次曲線:

Ax^2 + Bxy + Cy^2 + \ cdots = 0。

正一分類 二次曲線 入拋物面,雙曲線和根據的橢圓 有識別力 B2 − 4AC同樣可以為第二級次的PDE做在特定點。

  1. B^2 - 4AC \, < 0 : 解答 橢圓PDEs 在區域內部之內是一樣光滑的,像系數准許,等式和解答被定義。 例如, Laplace的等式的解答在領域之內是分析的,他們被定義,但解答也許假設不是光滑的邊值。 流體的行動以亞聲速度可以接近與橢圓PDEs,并且Euler-Tricomi等式橢圓的地方 x<0.
  2. B^2 - 4AC = 0 \, : 是的等式 拋物面 在每點能被變換成形式類似於熱等式由獨立變量的變動。 當被變換的時間可變物增加,解答使光滑。 Euler-Tricomi等式在線有拋物面類型, x=0.
  3. B^2 - 4AC \, > 0  : 雙曲線 等式在最初的數據保留作用或衍生物所有間斷性。 例子是 波動方程. 流體的行動以超音速速度可以接近與雙曲線PDEs,并且Euler-Tricomi等式是雙曲線的地方 x>0.

如果有 n 獨立變量 x1, x2 , ..., xn第二秩序的一個一般線性偏微分方程有形式

L u = \ sum_ {i=1} ^n \ sum_ {j=1} ^n a_ {i, j} \ frac {\ part^2 u} {\部份x_i \部份x_j} \方形字體\ hbox {加上下層社會期限} =0。 \,

分類取決於系數矩陣的本徵值的署名。

  1. 橢圓: 本徵值是全部正面或所有消極的。
  2. 拋物面: 本徵值是全部正面的或所有陰性,除是零的一个之外。
  3. 雙曲線: 只有一消極本徵值,并且所有休息是正面的,或者只有一正面本徵值,并且所有休息是消極的。
  4. Ultrahyperbolic : 有超過一正面本徵值和超過一消極本徵值,并且沒有零的本徵值。 有仅有限的理論為ultrahyperbolic等式(Courant和Hilbert 1962)。

優先處理的等式和典型表面系統

偏微分方程分類可以延伸到優先處理的等式系統,未知數 u 現在是傳染媒介與 m 組分和系數矩陣 Aνmm 矩陣為 \ nu=1, \小點, n. 偏微分方程採取形式

Lu = \ sum_ {\ nu=1} ^ {n} A_ \ nu \ frac {\部份u} {\部份x_ \ nu} + B=0, \,

那裡系數矩陣 Aν 并且傳染媒介 B 可以依靠 x 并且 u. 如果超曲面 S 被給以含蓄形式

\ varphi (x_1、x_2, \ ldots, x_n) =0, \,

那裡φ有一個非零梯度,然後 S 是a 典型表面 為操作員 L 在特定點,如果典型形式消失:

Q \被留下的(\ frac {\部分\ varphi} {\部份x_1}, \ ldots, \ frac {\部分\ varphi} {\部份x_n} \正確) = \ det \被留下的[\ sum_ {\ nu=1} ^nA_ \ nu \ frac {\部份\ varphi} {\部份x_ \ nu} \正確] =0。\,

這個情況的幾何學解釋是如下: 如果數據為 u 在表面被規定 S確定正常衍生物也許然後是可能的 uS 從微分方程。 如果數據 S 并且微分方程確定正常衍生物 uS然後 S 是非典型的。 如果數據 S 并且微分方程 不要 確定正常衍生物 uS然後表面是 典型和微分方程制約數據 S: 微分方程是 內部 S.

  1. 一個優先處理的系統 Lu=0是 橢圓 如果表面不是典型的為 L: 價值 uS 并且微分方程總確定正常衍生物 uS.
  2. 一個優先處理的系統是 雙曲線 在點,如果有a 空間像 表面 S 與正常ξ那時。 這意味著那給出所有重要傳染媒介η正交ξ和一標量乘算器λ,等式
 Q (\ lambda \ XI + \ eta) =0, \,

m 實際根λ1 λ2…, λm. 系統是 嚴密地雙曲線 如果這些根總是分明的。 這個情況的幾何解釋是如下: 典型形式 Q(ζ) =0定義了一個錐體(正常錐體)與同類的座標ζ。 在雙曲線案件,這個錐體有 m 板料和軸ζ = λ ξ奔跑在這些板料裡面: 它不相交任何一個。 但,當從起源偏移由η時,這個軸相交每板料。 在橢圓案件,正常錐體沒有真正的板料。

混雜的類型的等式

如果PDE有不是恆定的系數,它是可能的它不會屬於任何這些類別,而是寧可 混雜的類型. 一個簡單,但重要例子是Euler-Tricomi等式


u_ {xx} \, = xu_ {yy}

哪些叫 橢圓雙曲線 因為它是橢圓在這個區域 x < 0,雙曲線在這個區域 x > 0和退化拋物面在線 x = 0.

參考

  • R. Courant和D。 Hilbert, 數理物理學方法 第II.捲。 威里Interscience,紐約1962年。
  • L.C. Evans, 偏微分方程美國數學協會,上帝1998年。 國際標準書號0-8218-0772-2
  • F. 約翰, 偏微分方程 Springer-Verlag 1982年。
  • J. Jost,偏微分方程, Springer-Verlag,紐約2002年。
  • Hans Lewy (1957)一個光滑的線性偏微分方程的例子沒有解答的。 史冊數學,第2個系列, 66 (1), 155-158。
  • I.G. Petrovskii, 偏微分方程 W。 B. 桑德斯・ Co.,費城1967年。
  • A. D. Polyanin, 線性偏微分方程手冊為工程師和科學家沿街叫賣者& Hall/CRC新聞, Boca Raton 2002年。 國際標準書號1-58488-299-9
  • A. D. Polyanin和V。 F. Zaitsev, 非線性偏微分方程手冊 沿街叫賣者& Hall/CRC新聞, Boca Raton 2004年。 國際標準書號1-58488-355-3
  • A. D. Polyanin, V。 F. Zaitsev和A。 Moussiaux,第一等級偏微分方程手冊 泰勒& Francis,倫敦2002年。 國際標準書號0-415-27267-X
  • D. Zwillinger, 手冊微分方程(第3編輯)學術出版社,波士頓1997年。
  • Y. Pinchover和J。 Rubinstein, 偏微分方程介紹劍橋大學出版社,劍橋2005年。 國際標準書號978-0-521-84886-2

外部鏈接

Wikimedia共同性有媒介與有關:
Wikibooks 在題目有一本書
The original article is from Wikipedia. To view the original article please click here.
Creative Commons Licence