第十章 分离变量法

上海交通大学数学科学学院
唐异垒
 分离变量法

许多物理现象都具有叠加性：由几种不同原因同时出
现时所产生的效果，等于各个原因单独出现时所产生
的效果的叠加，这就是物理学中的叠加原理。
在解决数学中的线性问题时，可应用物理学中的
叠加原理。
分离变量法又称Fourier方法，而在波动方程情形也称为
驻波法。它是解决数学物理方程定解问题中的一中基本
方法，这个方法建立在叠加原理的基础上，其基本出发
点是物理学中的机械振动和电磁振动（总可分解为一些
简谐振动的叠加）
 齐次方程
一维波动方程
非齐次方程

齐次方程
一维热传导方程
非齐次方程

齐次方程
二维Laplace方程
非齐次方程
 §10.1 一维波动方程
1.两端固定的有界弦的自由振动(第一类齐次边界)
utt  a 2u xx  0, t  0, 0  x  L (1)

u (0, t )  u ( L, t )  0, (2)
u ( x, 0)   ( x), u ( x, 0)   ( x)
 t (3)
其中 ( x),  ( x)为[0, L]上分段可导函数。
(I)
首先找到具有变量分离形式的满足方程 （1）
和边界条件（2）的非零特解—得到两个ODE的定
解问题。
函数 u(x,t) 具有变量分离形式，即可表示为
u( x, t )  X ( x)T (t )
(4)
 代入PDE（1）和边界条件（2）得
X ( x)T (t )  a X ( x) T (t )
 2

即 T (t ) X ( x)
2
 (5)
a T (t ) X ( x)
以及代入边界条件（2）得
X (0)T (t )  X ( L)T (t )  0 (6)
(5)式中，左端是t的函数，右端是x的函数，t, x不相
关，由此可得只能是常数，记为 . 从而有
 X ( x)   X ( x)  0, 0  x  L,
 (7)
 X (0)  X ( L)  0.
T (t )  a T (t )  0, (t  0).
 2
(8)
定解问题可分离为分别关于X, T的ODE,且边界条件也同样进行分离
 实系数n阶线性ODE求解

y( n )  a1 y ( n 1)  ...  an 1 y '  an y  0, y  y ( x).

由一阶ODE ：y  a1 y  0  解 y=ce a1x .
设解都具有这种指数形式y=ce x，代入ODE，得到
特征方程:  n  a1  n 1  ...  an 1   an  0

定理: 设特征方程共有s个互不相同的根 1， 2 ...,  s ,

重数分别为 n1，n2 ..., ns , n1 + n2  ...  ns  n. 则函数组(n个)
e1x , xe1x , x 2e1x ,..., x n1 1e1x ;
  2x  2x 2  2x n2 1  2 x
e , xe , x e ,..., x e ;...
 sx sx 2 sx ns 1  s x
e , xe , x e ,..., x e .
是n阶线性ODE的一个基本解组(任意解是这些函数的线性组合).
 若存在 j = j +i j 为复根, 则必共轭成对出现
 j = j -i j也为复根， 它们重数一样，为 nj . 则基本解组中函数
 jx ( j +i j )x  jx
e e e (cos(  j x)  i sin(  j x ))，
 jx ( j -i j )x  jx
e e e (cos(  j x) -i sin(  j x ))，
它们控制的基本解组函数为
e j x cos(  j x), xe j x cos(  j x), x 2e j x cos(  j x), ..., x n j 1e j x cos(  j x);
  jx  jx 2  jx n j 1  j x
 e sin(  j x), xe sin(  j x), x e sin(  j x),..., x e sin(  j x) .
是n阶线性ODE的一个基本解组(任意解是这些函数的线性组合)
 (II) (特征) 固有问题
 X ( x)   X ( x)  0, (0  x  L),
 (7)
 X (0)  X ( L)  0.
情形（A）   0 其通解为 X ( x)  C1e  x
 C2e  x
,
C1  C2  0,
C1  C2  0
由边界条件，推出 C1e  L
 C2e  L
0

只有零解 X ( x)  0
情形（B）  0 2次积分其通解为 X ( x)  C1  C2 x,
由边界条件，可推出 C1  C2  0 只有零解。

 u( x, t )  X ( x)T (t )  0
 情形（C）  0 方程的通解为

X ( x)  C1 cos  x  C2 sin  x,
由边界条件X(0) = 0推出 C1  0,

再由 X ( L)  C2 sin  L  0, 知道为了使 C2  0, 必须
sin  L  0.
于是有
 L  k , (k  1,2,3, ).
(特征)固
k 2 2
有值
  k  2 , (k  1, 2 ,3, ).
L
这样就找到了一族非零解
k
X k ( x)  Ck sin x, (k  1, 2, )
L
(特征)固有函数
 法二：应用L-变换求ODE边值问题

 X ( x)   X ( x)  0, 0  x  L,
 (7)
 X (0)  X ( L)  0.
解: 令F ( p )  L  X ( x)  , 方程两边取Laplace变换，
像原微分
 p 2 F ( p )  pX (0)  X '(0)   F ( p)  0，

用到(原像)高阶微分性 L  f (t )   F ( p )：
L  f ( n ) (t )   p n F ( p )  p n 1 f (0)  p n  2 f (0)  f ( n 1) (0)

X '(0)
 X ( p)  2
p 
  X '(0)
  sinh(  t ),   0
1  X '(0)  1  1  
 X ( x)  L  2   X '(0)L  2    X '(0) t ,   0
 p   p  
X '(0)
 sin(  t ),   0
 
 L  L
X '(0) e  e
  0, 令x  L   0  X '(0)  0  X ( x)  0;
 2

  0, 令x  L  X '(0) t  0  X '(0)  0  X ( x)  0;

X '(0)
  0, 令x  L  sin(  L)  0  X '(0)  0
 (特征)固
k 2 2 有值
  L  k    k  2 , (k  1, 2 ,3, )
L
 再看关于T的方程(8)
k 2 2
  k  2 , (k  1, 2,3, )
L 代入ODE(8)可得
k 2 2
T   a 2
2
T  0,
L
其通解为 k a k a
Tk (t )  Ak cos t  Bk sin t,
L L

由此，就得到方程（1）满足边界条件 （2）
的变量分离的非零特解（分离变量的形式解 ）

uk ( x, t )  X k ( x)Tk (t )
k  k a k a  (k  1, 2,
 sin x  Ak cos t  Bk sin t )
L  L L 
Ck 合到A、B中去了
 Note
1. 这样的解有无穷多个。
2. 单独一个特解不可能恰好满足初始条件(条件太多
影响解的存在性，太少影响唯一性)
k
uk ( x, t ) t 0  X k ( x)Tk (0)  (sin x) Ak   ( x)
L
uk ( x, t ) k  k  a 

 X k ( x)Tk (t )  (sin x)  Bk    ( x)
t t 0 L  L 
3.一个给定函数可以表示为一个三角函数概率太小，但
是一个性质好的函数(分段可导或满足D-条件)可表示
为三角级数（Fourier级数）的形式。

4. PDE及边界条件都是齐次的，叠加起来还是齐次的。
 Fourier展开定理：
满足Dirichlet 条件的周期函数 f (t ), t [L, L]
可表示为三角级数（Fourier级数）的形式如下:
a0 
f ( t )    ( a n cos n t  bn sin n t ),   2 / (2 L )
2 n 1
展开式系数
1 L 1 L
a0   f (t ) d t , an   f (t ) cos nt d t (n  1, 2, )
L L L L
1 L
bn   f (t )sin nt d t (n  1, 2, ).
L L

收敛结果：当t是连续点时，级数收敛于该点的函数值；
当t是间断点时，级数收敛于该点左右极限的平均值。
 (III) 特解的叠加
为了求出原定解问题的解，还需满足初始条件 (3).一般
来讲，前面求出的特解不一定满足初始条件。

为此把所有特解 uk ( x, t ) 叠加起来，并使之
满足初始条件，即

u ( x, t )   X k ( x)Tk (t )
k 1

 k a k a  k
   Ak cos t  Bk sin t  sin x (9)
k 1  L L  L
使得  
k
 ( x)  u ( x, 0)   Ak sin L x, (10)
 k 1

 ( x)  u ( x, 0) 

k a k


t 
k 1
Bk
L
sin
L
x. (11)
 方程左边是Fourier正弦级数,这就提示需要把
右边的展开为F-正弦级数，然后比较F-系数
k a
因此，
Ak , Bk 应分别是  ( x),  ( x) 在[0, L] 上
L
正弦展开的Fourier-系数（或利用固有函数的正交
性），即
2 L k
Ak    ( )sin  d
L 0 L

2 L k
Bk  
k a 0
 ( ) sin
L
 d

这样，我们就给出了混合问题（1）--（3）的形式
解（9），其中系数由上式给出。
 sina.sinb=[cos(a-b)-cos(a+b)]/2
 2 k 是[0, L]上的正交函数列
sin x, sin x, , sin x,
L L L
 L
L m n  , m  n,
0 sin( L x)  sin( L x)dx   2 m, n  Ν.

 0, m  n,

 2 k
1, cos x, cos x, ,cos x,
L L L 对(10),(11)两边[0，
L]积分，再由正交性
是[0, L]上的正交函数列 ，也可得系数公式
m n  L
L  , m  n,
 cos
L
x cos
L
xdx   2 m, n  Ν.

0
 0, m  n,
积化和差 cosa.cosb=[cos(a-b)+cos(a+b)]/2
分离变量法的解题步骤

第一步 令 u( x, t )  X ( x)T (t ) 适合PDE方程和边界条件，

从而定出 X (x) 所适合的常微分方程齐次边值问题，以及
T (t ) 适合的常微分方程。 固有
值问
题
求解固有值问题，求出全部固有值和固有
第二步 函数，并求出相应的 T (t ) ，从而得到特解。

第三步 将所有变量分离形式的特解叠加起来，并
利用初始条件定出所有待定系数。
偏微分方程


分离变量

常微分方程（关于X）+边界条件  特征(值)函数

常微分方程（关于T）+初始条件  叠加系数

通解  
特征值
固有函数  T
 例:

utt  a u xx , t  0, 0  x  L,
2


u (0, t )  u ( L, t )  0,

u ( x,0)  x( L  x), u ( x,0)  sin 2 x.


t
L
解：令 u( x, t )  X ( x)T (t )  ( x),  ( x)

是齐次方程和齐次边界条件的非零解, 则有
2 2
k
X   X  0, (0  x  L)   k  2
,
L
k
X (0)  X ( L)  0 X k ( x)  Ck sin
L
x

ka ka
T   a T  0, (t  0)
2 Tk (t )  Ak cos t  Bk sin t
L L
 
 u ( x, t )   X k ( x)Tk (t )
k 1

 ka ka  k
其中    Ak cos t  Bk sin t sin x
k 1  L L  L

2 L k
Ak   x( L  x) sin x dx 2 L 2 k
L 0 L Bk  
ka 0
sin x sin x dx
2 L k L L

k 0 x( L  x)dcos x  L
 2a , k  2,
L
2 L k 

k 0 ( L  2 x)cos
L
xdx

 0, k  2.
4 L2
 3 3 [1  (1) k ].
k
 
u( x, t )   X k ( x )Tk (t )
k 1

4 L2 1  ( 1) k

k a k
 3  cos t sin x
 k 1 k 3
L L
L 2 a 2
 sin t sin x.
2 a L L
 2. II类齐次边界条件
磁致伸缩换能器、鱼群探测换能器等器件的核心是
两端自由的均匀杆，它作纵振动。研究两端自由的自由棒
的纵振动,即定解问题
utt  a 2u xx , t  0, 0  x  L,

u x (0, t )  u x ( L, t )  0,

u ( x, 0)   ( x), ut ( x, 0)   ( x).

解: 设 u( x, t )  X ( x)T (t ) 并代入方程得
XT   a2 X T  0
X (0)T (t )  0 X (0)  0
X ( L)T (t )  0
 X ( L)  0
 现用 a 2 XT 遍除各项即得

T  X 
2
  
aT X
X "X  0
固有 (特征)问题
X (0)  0, X ( L)  0
设  0（与I类边界条件类似，  0时只有零解）
X ( x)  C1 cos  x  C2 sin  x
现由边界值确定系数
  (C1 sin   0  C2 cos   0)  0  C2  0,(   0).

  (C1 sin  L  C2 cos  L)  0
 C1 sin  L  0  C1  0，否则方程只有零解，

 sin  L  0   L  n  n  ( n ) 2
. 特征值
2
L
n
 X n ( x)  Cn cos x. 特征函数
L
0时，显然对上述特征值、特征函数都满足。

 X 0 ( x)  C0

将特征值代入 T (t )  a 2 T (t )  0, 
n 
2 2
T   0; T   a 2 2 T  0
L
T0 (t )  A0  B0t , n  0

解得  n at n at
 Tn (t )  An cos  Bn sin (n  1, 2, )
 L L
 其中A0 B0 An Bn均为独立的任意常数。一般解为

an t an t n x
u ( x, t )  A0  B0t   ( An cos  Bn sin ) cos .
n 1 L L L
 
n x
 A0   An cos   ( x),
 n 1 L
由初始条件  
 B  B an cos n x   ( x), 0  x  L.




0 
n 1
n
L L
把右边的函数展成Fourier余弦级或利用固有函数正交性,
比较两边的系数
1 L 1 L
A0    ( )d B0    ( )d
L 0 L 0
n 2 L n

2 L
An    ( ) cos  d Bn   ( ) cos  d
L 0 L n a 0 L
 3. III类齐次边界条件

utt  a 2u xx , t  0, 0  x  L,

u x (0, t )  u ( L, t )  0,

u ( x, 0)   ( x), ut ( x, 0)   ( x).

解: 设 u( x, t )  X ( x)T (t ) 并代入方程得
XT   a2 X T  0
X (0)T (t )  0 X (0)  0
X ( L)T (t )  0
 X ( L)  0
 现用 a 2 XT 遍除各项即得

T  X 
2
  
aT X
X "X  0
特征值(固有)问题
X (0)  0, X ( L)  0
设  0（与I类边界条件类似，  0时只有零解）
X ( x)  C1 cos  x  C2 sin  x
现由边界值确定系数
  (C1 sin   0  C2 cos   0)  0  C2  0,(   0).

C1 cos  L  C2 sin  L  0
 C1 cos  L  0  C1  0，否则方程只有零解，
(2n  1)  (2n  1) 
2

 cos  L  0   L   n    .固有值
2  2L 
(2n  1)
 X n ( x)  Cn cos x, n  1, 2... 固有函数
2L

将特征值代入 T (t )  a 2 T (t )  0, 
2  (2n  1) 
2

T   a   T 0
 2L 

(2n  1) at (2n  1) at

 Tn (t )  An cos  Bn sin (n  1, 2, )
2L 2L
 其中An Bn均为独立的任意常数。一般解为

(2n  1) at (2n  1) at (2n  1) x
u ( x, t )   ( An cos  Bn sin ) cos .
n 1 2L 2L 2L

 (2n  1) x
 An cos   ( x),
 n 1 2L
由初始条件   
 B (2n  1) a cos (2n  1) x   ( x), 0  x  L.
 
 n 1
n
2L 2L

把右边的函数展成Fourier余弦级数, 比较两边的系数

2 L (2n  1)
An    ( ) cos d
L 0 2L

4 L (2n  1)
Bn  
(2n  1) a 0
 ( ) cos
2L
d
 边界条件、固有值与固有函数关系表

边界条件 固有值 固有函数

X (0)  X ( L)  0 k 2 2 k
k  2 , k  1, 2 X k ( x)  sin x
L L

X (0)  X ( L)  0  (2k  1) 

2
(2k  1)
k    , k  1, 2 X k ( x)  sin x
 2L  2L

 (2k  1)  (2k  1)

2

X (0)  X ( L)  0 k    , k  1, 2 X k ( x)  cos x
 2L  2L

k 2 2 k
X (0)  X ( L)  0 k  2 , k  0,1 X k ( x)  cos x
L L
 例：
utt  a 2u xx , t  0, 0  x  L,

u x (0, t )  u ( L, t )  0,

 3
u ( x, 0)  cos 2 L x, ut ( x, 0)  0.

解: 设 u( x, t )  X ( x)T (t ) 并代入方程得
 (2n  1) 
2

 固有值： n    .
 2L 
(2n  1)
 固有函数 X n ( x)  Cn cos x, n  1, 2...
2L
(2n  1) at (2n  1) at
 Tn (t )  An cos  Bn sin (n  1, 2, )
2L 2L
 
(2n  1) at (2n  1) at (2n  1) x
解：u ( x, t )   ( An cos  Bn sin ) cos .
n 1 2L 2L 2L

 (2n  1) x 3
 n A cos  cos x,
 n 1 2L 2L
由初始条件   
 B (2n  1) a cos (2n  1) x  0, 0  x  L.
 
 n 1
n
2L 2L

把右边的函数展成Fourier余弦级数, 或直接比较两边的系数

A2  1，An  0，(n  2), Bn  0.

3 at 3 x
 u ( x, t )  cos cos .
2L 2L
 It’s The End！
Thank You！
作业：习题10
1(1)(2)(4); 3; 4; 待续…
B.1