下载文档原格式
第十章波动方程的达朗贝尔解(9)一、内容摘要1．行波法达朗贝尔公式行波法是以自变量的线性组合作变量代换，对方程进行求解的一种方法，它对波动方程类型的问题求解十分有。
一维无界弦自由振动（即无外力）定解问题为：()()()()()()()20,,0,0,,0.tt xx t u a u x t u x x x u x x x ϕψ⎧-=-∞<<∞≥⎪=-∞<<∞⎨⎪=-∞<<∞⎩ 可以证明，原问题具有如下形式的通解：()(),u x t f x t α=+将该通解代入泛定方程得到该方程的附加方程：220a α-=； 且解为a α=±。
原方程的通解可以表示为:()()()12,u x t f x at f x at =++-．原方程满足初始条件的特解可以表示为:()()()()11,[]+''22x at x at u x t x at x at x dx aϕϕψ+-=++-⎰，这个式子就是达朗贝尔公式()(),x x ϕψ为任意二次可微函数.达朗贝尔解可以理解为扰动在弦上总是以行波的形式沿相反的两个方向传播出去，因此该解发又称为行波法或传播波法。
2．行波法要点行波法始原于研究行进波，其解题要领为：（1）引入变量代换，将方程化为变量可积的形式，从而求得其通解；（2）用定解条件确定通解中的任意函数（或常数），从而求得其特解。
由于大多偏微分方程的通解难以求得，用定解条件定任意常数或函数也绝非易事，故行波法有较大局限性，但对于研究波动问题而言，有它的特殊优点。
二、习题1．求解初值问题（1）()()()()()2,,,0,;,0cos ,,0 2.,.tt xx t u a u x t u x x u x x ⎧=∈-∞∞∈∞⎪⎨==∈-∞∞⎪⎩．（2）()()()()(),0,,,.tt xx u u x t u x x x u x x x ϕψ=-∞<<∞>⎧⎪⎨-==⎪⎩．（3）()()()()22,,,0,;1,00,,0.1+tt xx t u a u x t u x u x x ⎧=∈-∞∞∈∞⎪⎨==⎪⎩． （4）()()()()()()2,,,0,;,0,,0'.tt xx t u a u x t u x x u x a x ϕϕ⎧=∈-∞∞∈∞⎪⎨==-⎪⎩．2．验证()()(),3u x y x y x y ϕψ=-++是偏微分方程230xx xy yy u u u +-=的解，其中,ϕψ是充分光滑的任意函数。
数学物理方法泰山医学院于承斌cbyu@第十四章行波法与达朗贝尔公式14.1 二阶线性偏微分方程的通解对于给定的偏微分方程，一般不能简单的确定通解，但对简单的标准形式的方程或一个标准形式进一步化简后，有的可以得到通解。
例14.1.1 求偏微分方程的通解为:板书讲解P280例14.1.2 求偏微分方程的通解为:板书讲解P28114.2 二阶线性偏微分方程的行波解通解法中有一种特殊的解法――行波法, 即以自变量的线性组合作变量代换，进行求解的一种方法，它对波动方程类型的求解十分有效.1.简单的含实系数的二阶线性偏微分方程为了方便起见，我们首先讨论如下的含实常系数的简单二阶线性偏微分方程xx xy yy au bu cu ++=(14.2.1)方程中的系数,,a b c 为实常数．,,a b c (,)x y （说明：这里我们用了小写字母表示它是实常数，而不是的函数）假设方程的行波解具有下列形式(,)()u x y F y x λ=+代入方程即得2()()()0a F y x b F y x cF y x λλλλλ′′′′′′+++++=需要求方程的非零解，故20a b c λλ++=(14.2.2)''()0F y x λ+≠上述方程变为(i) 240b ac ∆=−>12(,)()()u x y F y x G y x λλ=+++(14.2.3)240b ac ∆=−=(ii) 122b aλλ==−对应于抛物型方程，式(14.2.2)有相等的实根11(,)()()u x y F y x xG y x λλ=+++(14.2.4)对应于双曲型方程，式(14.2.2)有两个不同的实根12,λλ240b ac ∆=−<12i ,i λαβλαβ=+=−(iii) ，对应于椭圆型方程，式（14.2.4），则有两个虚根12(,)()()[()i ][()i ]u x y F y x G y x F y x x G y x x λλαβαβ=+++=++++−(14.2.5)2. 更为一般的含实常系数的偏微分方程如果方程具有更一般的形式222220u u u u u a b c d e fu x x y y x y ∂∂∂∂∂+++++=∂∂∂∂∂∂(14.2.6)其中,,,,,a b c d e f 均为实常数．我们可以令(14.2.7)代入方程（14.2.6）得(14.2.8)(,)mx ny u x y e+=220am bmn cn dm en f +++++=12()()12(,)mx n m y mx n m y u x y c ec e ++=+14.2.92(i) 40,b ac −>双曲型，上述方程有两个不同的实根，则1(),n m 2()n m 2(ii) 40,b ac −=抛物型，上述方程有相等的实根，则12()()n m n m =(14.2.11)2(iii) 40,b ac −<椭圆型，上述方程有两个共轭虚根，则12()(),()()n m i m n m i m αβαβ=+=−[()()][()()]12(,)mx m i m y mx m i m yu x y c e c e αβαβ+++−=+(14.2.10)（注明：上式中的第二项乘以x 是为了保证两根线性独立）12()()12(,)mx n m y mx n m yu x y c e c xe ++=+例题14.2.1 14.2.2 14.2.3 14.2.4 讲解本节以行波解法为依据，介绍求解定解问题的达朗贝尔公式.14.3.1 达朗贝尔公式设有一维无界弦自由振动（即无强迫力）定解问题为14．3 达朗贝尔公式2,0(14.3.1)0(,0)()(.0)()tt xx t x t u a u u x x u x x ϕψ−∞<<+∞>−===容易得知偏微分方程的判别式240a ∆=>，该方程为双曲型．由22a λ−=12 , a aλλ==−泛定方程（14.3.1）的通解为12(,)()()u x t F x at F x at =++−(14.3.2)其中12,F F 是任意两个连续二次可微函数．我们使用初始条件可确定12,F F 函数．注：本问题由于涉及无界弦问题，故没有边界条件，只有初始条件。
