《数学物理方程》第2章 分离变量法

合集下载

【精品课件】数学物理方程分离变量法

【精品课件】数学物理方程分离变量法
sinn x (n
l
) 1,2,3,
)
特征值与 特征函数
2u t2
a2
2u x2
,
0xl,t 0
u(0,t) 0, u(l,t) 0,
t 0
u(x,0) (x),
u(x,0) (x),
0 x l
t
T''n(t)a2nl222Tn(t)0
X''(x)X(x)0
T''(t)a2T(t)0
X nn(xn)2 l2B 2nsi(n nn l1x ,2,3(,n )1 ,2,3 ,
驻 波 : 两 列 反 向 行 进 的 同 频 率 的 波 形 形 成 驻 波 。 波 腹 : 振 幅 最 大 的 点 ; 节 点 : 振 幅 最 小 的 点
求方程的通解的步骤为:
(1)写出微分方程的特征方程 r2 0,
(2)求出特征根 r1 , r2,
(3)根据特征根的情况按下表写出所给微分方程 的通解。
特征根


yC1er1xC2er2x
y(C1C2x)
y ( C 1 c o sx C 2 s inx )
一 有界弦的自由振动
1 求两端固定的弦自由振动的规律
u(x,t)un(x,t) n1
n 1(CncosnlatD nsinnlat)sinnlx (n1,2,3, )
步骤3,其余的定解条件求出系数。
un 1(C nco n la st D nsin ln at)sin lnx
n
u(x,t)t 0u(x,0 )n 1C nsinl x(x)
X(x)AexBex
AB0
AB0 X0
Ae l Be l 0

数理方程第二章分离变量法

数理方程第二章分离变量法
解的唯一性
分离变量法得到的解可能不唯一,有时需要额外的条件或参数才能 确定唯一解。
数值稳定性
分离变量法在数值实现时可能存在数值稳定性问题,如数值误差的 累积和扩散等,需要采取适当的措施进行控制和校正。
06
CATALOGUE
分离变量法的改进与拓展
改进方向一:提高求解精度
数值稳定性
通过改进数值算法,提高求解过程中数值的稳定性, 减少误差的传播和累积。
原理推导
01
首先,将偏微分方程中的多个变量分离出来,使方程变为一个 关于各个变量的常微分方程。
02
然后,对每个常微分方程分别求解,得到各个变量的解。
最后,将各个变量的解代回原偏微分方程,得到整个问题的解
03 。
原理应用
在物理学中,分离变量法广泛应用于求解具有多个独立变量的偏微分方程 ,如波动方程、热传导方程等。
高阶近似方法
研究高阶近似方法,以更精确地逼近真实解,提高求 解精度。
自适应步长控制
引入自适应步长控制策略,根据解的精度要求动态调 整步长,提高求解精度。
改进方向二:拓展应用范围
复杂边界条件
研究如何处理更复杂的边界条件,使得分离变 量法能够应用于更广泛的数理方程问题。
多维问题
将分离变量法拓展到多维问题,以解决更复杂 的数学模型。
04
CATALOGUE
分离变量法的实例
实例一:一维波动方程的分离变量法
总结词
通过将一维波动方程转化为常微 分方程,分离变量法能够简化求 解过程。
详细描述
一维波动方程是描述一维波动现 象的基本方程,通过分离变量法 ,我们可以将该方程转化为多个 常微分方程,从而逐个求解,得 到波动问题的解。
数学表达式

数学物理方程经典教案 分离变量法(研究生,高校本科生)

数学物理方程经典教案 分离变量法(研究生,高校本科生)

X (0 )T (t) X (l)T (t) 0
(8 )

X X
( x )T ( x )T
(0) (x) '( 0 ) ( x )
(9 )
9
§2.2.1 齐次方程定解问题的解法
uutt|x0a20u,xux,|xl
0xl,t 0,t 0
0
(1) (2)
u|t0(x), ut |t0(x),0xl (3)
X (0) 0, X (l) 0 (10)
从 而 有 X ( x ) 0, 故 0时 , 方 程 只 有 零 解 , 也 不 可 取 。
12
§2.2.1 齐次方程定解问题的解法
③ 0时 , 此 时 (6 )的 通 解 为 ( 一 对 共 轭 复 根 )
X (x) A cos x B sin x, 其 中 A, B为 任 意 常 数 。 把 其 代 入 边 界 条 件 (1 0 ), 得
从 而 有 X ( x ) 0, 故 0时 , 方 程 只 有 零 解 , 不 可 取 。
② 0时 , 此 时 (6)的 通 解 为
X (x) Ax B, 其 中 A, B为 任 意 常 数 。
把 其 代 入 边 界 条 件 (10), 得
固有值问题
B 0
A
l
B
0
AB0
X ''(x) X (x) 0 (6)
ii)求解固 有值问 题(Ⅱ)。
目标: 选取 适当的 ,使 得(Ⅱ)具 有非 零解。 称能够 使(Ⅱ)具 有非零 解的 常数为 固有值 (或本 征值),相 应的 非零解 为固有
函数(或本 征函数 )。
下面分三种情况进行讨论:
① 0时, 此 时(6)的通 解为

数学物理方法分离变量法资料

数学物理方法分离变量法资料

R()( ) 1 R()( ) 1 R()( ) 0

2
2R R
R

29
( )
0 ( ) ( 2 )
周期本征值问题
2R R R 0
R()
2u x 2

2u y 2

0
u x2 y2 02 (x, y)
(x2 y2 02 )
因为边界形状是个圆周,圆域边界条件中x、y是 不可直接分离的,故化为极坐标求解。
27
x r cos

y

r
sin
2u

1



(
u

)


X
|x0
X
|xl

0
若有二阶常系数线性齐次方程
y" py'qy 0 其中p、q为常数,则特征方程为 r 2 pr q 0
(1)当r1、r2为相异的实根时,方程 有通解y(x) c1er1x c 2 er2x
(2)当r1 r2 r为相同的实根时,通解 y(x) (c1 c 2 x)erx
n1


( An
n 1
cos
nat
l

Bn
sin
nat ) sin
l
nx
l
11
此时要满足初始条件,则





(
(x)

x)
n1

An sin
n1
na
l

Bn

nx
l

数学物理方法分离变量法

数学物理方法分离变量法
0xn21(22lnx2l1)n1aAnBsnins(i2nn(22ln1)2l1x)x
21
由傅里叶正弦级数式展系开数公式可求出
A n2 l 0 l(x22lx )si(n 2n2 l1)xd x(2n3 1 l)2 233
C1 C2 0
C1 C2 0
C1el C2e l 0
此时X(x)=0,只有零解,不合题意;
(2) 0
X(x)C1xC2
C 2 0 C1lC2 0
C1 C2 0
同样只有零解,不合题意;
8
(3) 0
X (x)C 1cosxC 2sinx
X(0) 0 X(l) 0
6、 分离变量法概要:
(3)确定形式解(级数形式解) (4)确定级数解中的待定常数(利用初始条件)
16
例:求解
utt a2uxx 0
u(x,t) x00
ut0 x22lx
(0xl,t0)
u x xl 0 u t t0 0
(第二类齐次边界条件)
解: 设 u(x,t)X(x)T(t)
Bnsinl
)sin l
11
此时要满足初始条件,则





(
(x)

x)
n1

An sin
n1
na
l

Bn

nx
l
nx
sin l
故 An和 Bnnla分别 (x为 )和 (x)的傅里叶正式 弦系 级数
BnAnn22la0l0l(x()xs)isninnlnxl xddxx

Bn0
故定解问题的最终解为
u (x ,t) 3 l 3 22 n 1 (2 n 1 1 )3 c( o 2 n 2 s l 1 )a ts i( n 2 n 2 l1 ) π x

数学物理方程--- 2 分离变量法

数学物理方程--- 2 分离变量法

n1
n1
比较系数有
Tn(t) a2nTn (t) fn (t)

u(x,t)
Tn (t) X n (x)
n1
Tn (t)sin
n1
n
l
x
(5)
令t=0,有
u(x,0)
(x)
Tn (0) X n (x)
n1
n
n1
sin
n
l
x
比较系数,有
Tn (0) n , n 1
同理
ut (x,0)
下面讨论二阶
线性微分算子
A
d2 dx2
的特征值问题。边界条件 X (0) X (l) 0 ,设 X (x) 是A
的特征函数,即 X (x) 0 且满足
AX (x) X (x)
等价于
X (x) X (x) 0,0 x l
X
(0)
X
(l)
0
(7)
对此特征值问题求解。
首先 非负。
Tn(t) a2nTn (t) 0
其通解为
Tn
(t
)
c1
cos
n
l
a
t
c2
sin
n
l
a
t
c1 y1 c2 y2
对应的非齐次方程
Tn(t) a2nTn (t) fn (t)
利用常数变易法,其解具有这样的形式
Tn (t) c1y1 c2 y2 y1
t 0
y2 y1
fn ( )
y2
d
证因明 为
X (x)X (x) X 2(x) 0
积分得
l
X (x) X (x)dx
l X 2 (x)dx 0

数学物理方程第二章 分离变量

数学物理方程第二章 分离变量

⑶设 λ > 0 ,不妨令 λ =
由边界条件式(2.1.12)得
⎧ A=0 ⎨ ⎩ B sin βl = 0
由 X ( x) ≠ 0 ,得 B ≠ 0 ,即
sin βl = 0
所以
βn =
且方程的通解为
nπ l
( n = 1,2, L )
X n ( x) = Bn sin
nπ x l
这样,我们称
λn = (
式中, a n = Bn C n , bn = Bn Dn 是任意常数. 由初始条件式(2.1.3)中的 ϕ ( x),ψ ( x) 是任意给定的,一般情况下,式(2.1. 13)中的任何一个特解都不会满足初始条件式(2.1.3) .因为式(2.1.1)是线性 齐次的,根据叠加原理,级数
u ( x, t ) = ∑ u n ( x, t ) = ∑ (a n cos
的形式.这种形式的特点是:二元函数 u ( x, t ) 是只含有变量 x 与只含有变量 t 的两个一元函 数的乘积,即两个变量被分离了. 弦的振动也是波,它应该具有上述的特点,因此,我们不妨设泛定方程(2.1.1)的 解为
u ( x, t ) = X ( x)T (t )
(2.1.4)
由于定解问题是适定的,因此方程的解存在并且唯一,若通过这种假设求出问题的解, 则此定解问题就解决了; 若无法求出 X ( x), T (t ) 的表达式, 则该假设不合适, 只能另想办法. 将式(2.1.4)代入定解
植也为常数.这样,我们记该常数为 − λ ,则有
X " ( x) T " (t ) = = −λ X ( x) a 2T (t )
即得
T " (t ) + λa 2T (t ) = 0

数学物理方程 分离变量法

数学物理方程 分离变量法

分离变量法是求解数学物理方程中的一种常见方法。

它的基本思想是将解函数表示为多个变量的乘积形式,然后将原方程中的偏导数用每个变量的偏导数表示,再将所得的各个方程分别解出。

具体来说,假设有一个二元偏微分方程
其中k 是一个常数。

这样我们将原方程分离成两个单变量的方程,每个方程只含有一个变量和其对应的导数,可以分别解出。

然后将得到的两个解函数相乘,就可以得到原方程的通解。

需要注意的是,分离变量法并不是适用于所有数学物理方程的通用解法,但它在许多情况下是非常有用的。

分离变量法-2

分离变量法-2

T (t) a2T (t) 0
X ( x) X ( x) 0
三、在右列方程组中,解出非零的 X ( x) 。

以下的任务:

X ( x) X ( x) 0
X (0) X (l) 0
确定λ 取何值时 ,方程 X ( x) X ( x) 0 有满足条件
l
t sin n
l
x
(n 1,2,3)
由上式所确定的 u( x, t) , 确实是
2u


t
2

a2
2u x2
,
0 xl,t0
u |x0 0 , u |xl 0 , t 0


u
|t

0


(
x
)
;
u (x) , t
t0
其中, T(t) 0 。盖由于 T(t) 0 ,则 u( x, t ) 0 , 所涉及的解,显然
不是我们所需要的(零解!!!)。
由此可见,只有 X (0) X (l) 0 。将此结果与所得到的常微分方

中的第二个方程(关于X )联立
X ( x) X ( x) 0 X (0) X (l) 0
(
t
)

C
n
cos
a
n
l
t

Dn
sin a n
l
t
,
(n 1,2,3)
将 Xn( x) 和 Tn (t ) 一并代入 u( x, t) X ( x)T(t) , 经整理后得
un
(
x,
t
)

数学物理方程第二章分离变量法

数学物理方程第二章分离变量法
2
X ( x ) X ( x) 0
(2.6)
要 求非 零解 u( x , t ) 0, T ( t ) 0, X (0) X ( l ) 0
X ( x ) X ( x) 0 x (0) x (l ) 0
第二步 求固有(值)函数
通解形式
r1 r2
r1 r2
r α iβ
y( x) Ae
r1x
Be
r2 x
y( x) Axer1x Ber1x
y ( x) ex ( A cos βx B sin βx)
X ( x ) X ( x ) 0
(1) 0
X ( x) Ae
即 在 固 有 值 已 知 情 况求 下解 另 一 个 常 微 分 方的 程通 解
第 四 步 合 成 偏 微 分 方 程 的 通并 解求 满 足 初 始 条 件 的解 定
说 明 关 于 求 固 有 值 的题 问: 1)固 有 值 是 否 存 在 ? 2)固 有 函 数 系 是 否 正 交 ? 3)函 数 是 否 可 以 按 固 有 数 函系 展 开 ?
X ( x ) T ( t ) 2 X ( x ) a T (t ) (2.5)
X ( x )T (t ) a 2 X ( x )T (t )
u ( x , t ) X ( x )T ( t ) T (t ) a T (t ) 0 (2.7) x 由条件 u x (0, t ) X (0)T (t ) 0, u x ( l , t ) X (l )T (t ) 0,
nat nat nx un ( x, t ) X n ( x )Tn (t ) ( En cos Fn sin ) sin l l l

数学物理方程-第二章分离变量法

数学物理方程-第二章分离变量法

第二章 分离变量法分离变量法是求解偏微分方程定解问题最常用的方法之一,它和积分变换法一起统称为Fourier 方法. 分离变量法的本质是把偏微分方程定解问题通过变量分离,转化为一个所谓的特征值问题和一个常微分方程的定解问题,并把原定解问题的解表示成按特征函数展开的级数形式. 本章介绍两个自变量的分离变量法,更多变量的情形放在其他章节中专门讨论.§21 特征值问题⋅2.1.1 矩阵特征值问题在线性代数中,我们已学过线性变换的特征值问题. 设为一阶实矩阵,A n 可视为到自身的线性变换。

该变换的特征值问题(eigenvalue problem )A n R 即是求方程:,,n Ax x x R λ=∈(1.1)的非零解,其中为待定常数. 如果对某个,问题(1.1)有非零解C λ∈λ,则就称为矩阵的特征值(eigenvalue),相应的称为矩阵n x R λ∈λA n x R λ∈的特征向量(eigenvector). 一般来讲,特征值问题(1.1)有不多于个相A n 异的特征值和线性无关的特征向量. 但可证明: 任一阶矩阵都有个线性无n n 关的广义特征向量,以此个线性无关的广义特征向量作为的一组新基,矩n n R 阵就能够化为标准型.Jordan 若为一阶实对称矩阵,在线性代数中有一个重要结果,即存在一个正A n 交矩阵使得T , 1T AT D -=(1.2)其中diag 为实对角阵. 设,为矩阵的第列D =12(,,...,)n λλλ12[ ... ]n T T T T =i T T i 向量,则式(1.2)可写为如下形式(1)i n ≤≤ ,1212 [ ... ][ ... ]n n A T T T T T T D =或, 1.i i i A T T i n λ=≤≤(1.3)上式说明,正交矩阵的每一列都是实对称矩阵的特征向量,并且这T A 个特征向量是相互正交的. 由于此结论在一定意义下具有普遍性,我们以定n 理的形式给出.定理1.1 设为一阶实对称矩阵,考虑以下特征值问题A n ,,n Ax x x R λ=∈则的所有特征值为实数,且存在个特征向量,它们是相互正交的A n ,1i T i n ≤≤(正交性orthogonality ),可做为的一组基(完备性completeness ).n R 特征值问题在线性问题求解中具有重要的意义,下面举例说明之.为简单起见,在下面两个例子中取为阶非奇异实矩阵,故的所有特A n A 征值非零,并且假设有个线性无关的特征向量 相应的特征值为A n ,i T ., 1i i n λ≤≤例1.1 设,求解线性方程组 .n b R ∈Ax b =解 由于向量组线性无关,故可做为的一组基. 将按此{1}i T i n ≤≤n R ,x b 组基分别展开为,则等价于11 ,nni i i i i i x x T b bT ====∑∑Ax b =,11nni ii ii i x AT bT ===∑∑或,11nni i ii ii i x T bT λ===∑∑比较上式两边的系数可得i T ,1, 1i i i x b i n λ-=≤≤便是原问题的解.12( ... )n x x x x T =例1.2 设,. 求解非齐次常微0n x R ∈12()((),(),...,()), 0n n f t x t x t x t R t T =∈>分方程组, 0(), (0)dxAx f t x x dt=+=(1.4)其中 . '''12((),(),...,()),0n dx x t x t x t t dtT =>解 类似于上例,将按基分别展开为0,,()x x f t {1}i T i n ≤≤ .0111, , ()()nn n i i i ii i i i i x x T x x T f t f t T ======∑∑∑则(1.4)等价于,0111()() +(), (0), 1n n ni i i i i i i i i i i dx t T x t AT f t T x x i n dt =====≤≤∑∑∑或,011()(()()), (0),1nni i i i i i i i i i dx t T x t f t T x x i n dt λ===+=≤≤∑∑比较上式两边的系数可得i T . 0()()(), (0), 1i i i i i i dx t x t f t x x i n dtλ=+=≤≤(1.5)(1.5)是个一阶线性方程的初始值问题,很容易求出其解.请同学们给出解n 的具体表达式.(),1i x t i n ≤≤2.1.2 一个二阶线性微分算子的特征值问题在这一小节,我们讨论在本章常用的一些特征值问题. 代替上节的有限维线性空间和阶实对称矩阵,在这儿要用到线性空间的某个子空间n R n A [0,]C l 和该子空间上的二阶线性微分算子. 一般地取H A在满足齐次边界条件.2{()[0,]()H X x C l X x =∈0,x l =}(1.6)下面我们讨论二阶线性微分算子的特征值问题. 先取边界条件为22d A dx=-,设是的特征函数,即且满足(0)0,()0X X l ==()X x H ∈A ()0X x ≠.()()AX x X x λ=此问题等价于是下面问题的非零解()X x "()()0, 0(0)()0 .X x X x x l X X l λ⎧+=<<⎨==⎩(1.7)(1.7)便是二阶线性微分算子的特征值问题,即要找出所有使22d A dx=-得该问题有非零解的. 下面求解特征值问题(1.7).λ首先证明要使(1.7)具有非零解,必须非负.λ设是相应于的一个非零解,用乘(1.7)中的方程,并在)(x X λ)(x X 上积分得[]l ,0,0)()()()("=+x X x X x X x X λ,0)()()( 0 2 0 "=+⎰⎰dx x X dx x X x X llλ.0)())(()()( 0 2 0 2'0'=+-⎰⎰dx x X dx x X x X x X lll λ由于,故有0)()0(==l X X ,2'2 0()(())llX x dx X x dx λ=⎰⎰.'22 0(())()0llX x dxX x dx λ=≥⎰⎰(1.8)当时,方程的通解为. 利用边界条件0λ=0)()("=+x X x X λ12()X x c c x =+可得,即. 因此,不是特征值.0)()0(==l X X 120c c ==()0X x =0λ=当时,方程的通解为0λ>0)()("=+x X x X λ. (1.9x C x C x X λλsin cos )(21+=)利用边界条件确定常数如下0)()0(==l X X 21,C C , ,10C =l C l C λλsin cos 021+=或.0sin 2=l C λ由于要求(1.7)中齐次微分方程的非零解,故不能为零. 故有2C .0sin =l λ,从而有0> , ,πλn l =1n ≥, .2)(ln n πλ=1n ≥将代入到(1.8)中,并略去任意非零常数得n C C λ,,212C , .x ln x X n πsin)(=1n ≥故特征值问题(1.7)的解为, , 2(l n n πλ=x ln x X n πsin )(=1n ≥(1.10)注1 特征值问题是分离变量法的理论基础. 上面已求出特征值问题(1.7)的解为. 在高等数学中知道,在一定条件下区间{ sin 1 }n x n lπ≥的任一函数可按特征函数系展开为Fourier 级数. 换言[0 , ]l { sin 1 }n x n lπ≥之,特征函数系是区间上满足一定条件的函数所成无穷维空间的一组基,{ sin 1 }n x n lπ≥[0 , ]l 而且还是该空间上的一组正交基,即有. 特征函0sinsin 0 , ln m x n m l lππ=≠⎰数系的这两个根本性质:正交性和完备性(基),和定理1.1{ sin1 }n x n lπ≥有限维空间中相应结论很相似,只是现在的特征值和特征函数是无穷个. 另n R 外,若改变(1.7)中的边界条件,其相应的特征值和特征函数也会有所变化.如将边界条件变为,则特征值和特征函数分别为(0)0,'()0X X l ==. 2(21)(21)(),()sin ,022n n n n X x x n l lππλ++==≥该特征函数系也具有和特征函数系类似(21){ sin1 }2n x n l π+≥{ sin 1 }n x n lπ≥的性质,既正交性和完备性.此类问题的一般结果便是著名的Sturm—Liouville定理,有兴趣的同学可参阅参考文献.[1][4]-将以上的结果以定理的形式给出.定理1.2 考虑二阶线性微分算子的特征值问题[1],[4]22d A dx=- "()()()()0 , 0 ,(0)0,()0 .k m X x X x x l X X l λ⎧+=<<⎪⎨==⎪⎩(1.11)其中. 则该问题的特征值非负,且满足0,1k m ≤≤.120......n λλλ≤<<<<→∞相应的特征函数系在上是相互正交的. 且对于任一在区间上1{()}n n X x ≥[0,]l [0,]l 分段光滑的函数,可按特征函数系展开为如下的级数()f x 1{()}n n X x ≥Fourier ,1()()n n n f x f X x ∞==∑其中系数为Fourier .20()(), 1()l nn lnf x Xx dxf n Xx dx =≥⎰⎰为后面需要,下面再求解二阶线性微分算子带有周期边界条件的22d A dx=-特征值问题. 在偏微分方程教材中,习惯上用表示周期函数,即考虑下面()θΦ二阶线性微分算子的周期边值问题22d A dx=- "()()0, () (2), .θλθθθπθθ⎧Φ+Φ=-∞<<+∞⎨Φ=Φ+-∞<<+∞⎩(1.12)可证(1.12)和以下问题等价"''()()0, 02(0) (2), (0) (2).θλθθπππ⎧Φ+Φ=≤≤⎪⎨Φ=ΦΦ=Φ⎪⎩(1.13)和(1.8)的证明相似易得(1.13)中的特征值.当时,0≥λ0λ=, 由周期边界条件可得. 所以为特征函数.12()c c θθΦ=+20c =0()1θΦ=当时,方程通解为0λ>,θλθλθsin cos )(21c c +=Φ求导得.'()c c θΦ=-+由周期边界条件可得112cos(2sin(2c c c c c c ππ⎧=+⎪⎨=-+⎪⎩或1212[1cos(2sin(20sin(2[1cos(20.c c c c ππ⎧--=⎪⎨+-=⎪⎩(1.14)由于要求非零解,故不能同时为零. 因此,齐次方程组(1.14)的系数矩12,c c 阵行列式必为零,即 .解之可得1cos(20-=,2n n =λ()cos sin .n n n c n d n θθθΦ=+此时对每个正特征值,特征函数有二个,既,. 总结所得2n n =λθn cos θn sin 结果为如下定理.定理1.3 考虑二阶线性微分算子带有周期边界条件的特征值问22d A d θ=-题"''()()0, 02(0) (2), (0) (2).θλθθπππ⎧Φ+Φ=≤≤⎪⎨Φ=ΦΦ=Φ⎪⎩则该问题的特征值和特征函数分别为,.00,λ=0()1;θΦ=2n n =λ(){cos ,sin }, 1n n n n θθθΦ=≥§22 分离变量法⋅本节结合具体定解问题的求解来介绍分离变量法(method of separation of variables ). 所举例子仅限于一维弦振动方程,一维热传导方程混合问题以及平面上一些特殊区域上的位势方程边值问题. 对高维问题的处理放在其它章节中介绍.以下多数例子均假定定解问题带有齐次边界条件. 否则,可利用边界条件齐次化方法转化之. 我们以弦振动方程的一个定解问题为例介绍分离变量法.2.2.1 弦振动方程定解问题例2.1求解两端固定弦振动方程的混合问题2(,), 0, 0 (2.1)(0,)0, (,)0, 0 (2.2)(,0)(), (,0)(),0. tt xx t u a u f x t x l t u t u l t t u x x u x x x l ϕψ-=<<>==≥==≤≤ (2.3)⎧⎪⎨⎪⎩解 分四步求解.第一步 导出并求解特征值问题. 即由齐次方程和齐次边界条件,利用变量分离法导出该定解问题的特征值问题并求解.令,并代入到齐次方程中得)()(),(t T x X t x u =,0)()()()(''2''=-t T x X a x X t T 或.''''2()()()()X x T t X x a T t =上式左端是的函数而右端是的函数,要二者相等,只能等于同一常数.x t 令此常数为-,则有λ , ,λ-=)()("x X x X "2()()T t a T t λ=-上面的第一个方程为.0)()("=+x X x X λ利用齐次边界条件(2.2),并结合得0)(≠t T .0)()0(==l X X 由此便得该定解问题的特征值问题为"()()0, 0(0)()0.X x X x x l X X l λ⎧+=<<⎨==⎩其解为特征值:特征函数: 2() , 1 ;n n n lπλ=≥()sin, 1 .n n X x x n lπ=≥第二步 正交分解过程. 即将初值和自由项按特征函数系展成{}1()n n X x ≥Fourier 级数,并将也用特征函数表出.),(t x u {}1()n n X x ≥ ,11()()sinn n n n n n x X x x lπϕϕϕ∞∞====∑∑(2.4), 11()()sinn n n n n n x X x x lπψψψ∞∞====∑∑(2.5), 11(,)()()()sinn n n n n n f x t f t X x f t x lπ∞∞====∑∑(2.6)(2.711(,)()()()sinn n n n n n u x t T t X x T t x lπ∞∞====∑∑)这里,和分别为,和的Fourier 系数,具体表示如n ϕn ψ)(t f n )(x ϕ)(x ψ),(t x f 下,02()sin l n n d l l πϕϕααα=⎰,02()sin l n n d l l πψψααα=⎰,02()(,)sin l n n f t f t d l lπααα=⎰而为待定函数.)(t T n 第三步 待定系数法. 即先将和的Fourier 级数代入到(2.1)),(t x f ),(t x u 中,导出关于满足的常微分方程. 再利用初值条件(2.3)得出满足)(t T n )(t T n 的初始条件.假设(2.7)中的级数可逐项求导,并将(2.6)和(2.7)代入到(2.1)中得,"2"111()()()()()()nnnnn n n n n T t Xx aT t Xx f t X x ∞∞∞===-=∑∑∑,"2111()()()(())()()nnn nnn n n n n T t Xx aT t Xx f t X x λ∞∞∞===--=∑∑∑ . (2.8"211(()())()()()nn n n n n n n T t a T t X x f t X x λ∞∞==+=∑∑)由于Fourier 展式是唯一的,比较(2.8)两端系数得)(x X n(2.9"2()()(), 1.n n n n T t a T t f t n λ+=≥)在(2.7)中令并结合(2.4)得0=t (2.10()(0)()()n n n n n n x T X x X x ϕϕ∞∞====∑∑)比较(2.10)两端系数得)(x X n(0), 1.n n T n ϕ=≥(2.11)类似地可得'(0), 1.n n T n ψ=≥(2.12)结合(2.9),(2.11)和(2.12)便得出关于满足的二阶常系数非齐)(t T n (1)n ≥次方程初始值问题"2'()()(), 0(0), (0).n n n n n n n n T t a T t f t t T T λϕψ⎧+=>⎪⎨==⎪⎩(2.13)第四步 求解关于的定解问题(2.13),并将其结果代入到(2.7)中)(t T n 即可.为简单起见,我们设. 将代入到(2.13)中可得方程的通()0,1n f t n =≥n λ解为, t lan d t l a n c t T n n n ππsin cos)(+=利用初始条件确定常数如下,n n c d.'(0), (0)n n n n nn aT c T d lπϕψ====故有. ()cossin n n n l n a n a T t t t l n a lψππϕπ=+最后将上式代入到(2.7)中便得定解问题(2.1)—(2.3)的解为12(,)()sin cos sin l n n n a n u x t d t xlll lπππϕααα∞==∑⎰ (2.14)012()sin sin sin l n n n a n d t x n a l l l πππψαααπ∞=+∑⎰注1 利用分离变量法求解(2.1)—(2.3),需要假设在(2.7)中可通过无穷求和号逐项求导. 而通过号求导要对无穷级数加某些条件,在这里就∑∑不做专门讨论了. 今后遇到此类问题,我们均假设一切运算是可行的,即对求解过程只作形式上的推导而不考虑对问题应加什么条件. 通常称这样得出的解为形式解. 验证形式解是否为真解的问题,属于偏微分方程正则性理论的范围. 一般地讲,偏微分方程定解问题的解大多数是以无穷级数或含参变量积分形式给出的. 对这两类函数可微性的研究需要较深的数学知识,也有一定的难度,有兴趣的同学可查阅参考文献和. 我们约定:本书只求定解问题的形式解.[1][2]注2 当时,由(2.14)可以看出:两端固定弦振动的解是许多(,)0f x t =简单振动的叠加,当时,对任意的(,)()sinn n n u x t T t x l π=(11)k klx x k n n==≤≤-时刻,,即在振动的过程中有个点永远保持不动,所t (,)0n k u x t =(,)n u x t (1)n +以称这样的振动为驻波,而称为该驻波的节点.显然当k x 时,在这些点上振幅最大,称这些点为驻波的21(11)2k x l k n n+=≤≤-sin 1x =腹点. 因此,求特征函数实际上就是求由偏微分方程及边界条件所构定的系统所固有的一切驻波. 利用由系统本身所确定的简单振动来表示一些复杂的振动,便是分类变量法求解波动问题的物理解释.注3 例2.1的求解方法也叫特征函数法(eigenfunction method ),现已成为固定模式,也具有普适性. 初学者似乎会感到有些繁琐,但随着进一步的学习,同学们就会熟练掌握这一方法. 特征函数法的关键之处是求解偏微分方程定解问题相应的特征值问题,而基本思想就是笛卡尔(Descartes )坐标系的思想.如在三维空间中,每个向量可由基的线性组合表出,两个向量3R {,,}i j k 111222 , a i b j c k a i b j c kαβ=++=++相等当且仅当在基下两个向量的坐标相等. 既.{,,}i j k121212 , , a a b b c c ===与此相类似,在例2.1求解中也是比较方程或初始条件两边的系数而得()n X x 到(2.13). 与三维空间相比较,例2.1中特征函数系相当3R { sin1 }n x n lπ≥于3R 中的基,而也就相当于上面的,即定解问题的解{,,}i j k{ T () 1 }n t n ≥111{,,}a b c 关于基函数的坐标. 因此,在具有可数基的无穷维空间中,特{ sin1 }n x n lπ≥征函数法也称为待定系数法.例2.2 设有一均匀细弦,其线密度为. 若端为自由端,端固ρ0x =x l =定.初始速度和初始位移分别为零,并受到垂直于弦线的外力作用,其单位长度所受外力为. 求此弦的振动. sin t ω 解 所求定解问题为(2.1521 sin , 0, 0(0,)0, (,)0, 0(,0)0, (,0)0, 0.tt xx x t u a u t x l t u t u l t t u x u x x l ρω-⎧-=<<>⎪==≥⎨⎪==≤≤⎩)利用特征函数法求解该问题.情形1 非共振问题,即.22, 0n a n ωλ≠≥ 该定解问题的特征值问题为(2.16)"'()()0, 0(0)0, ()0.X x X x x l X X l λ⎧+=<<⎪⎨==⎪⎩其解为, , 2(21)()2n n l πλ+=(21)()cos 2n n X x x lπ+=0n ≥将按特征函数展开成Fourier 级数得1sin t ρω-{}0)(≥n n x X , (2.17)11sin ()()n n n t f t X x ωρ∞==∑.021214()sin sin sin sin 2(21)l n n n f t t d t f t l l n ωπααωωρπρ+===+⎰令(,)()()n n n u x t T t X x ∞==∑(2.18)完全类似例2.1的求解过程可得,对于任意满足下面问题0, ()n n T t ≥(2.19"2'()()sin , 0(0)0, (0)0.n n n n n n T t a T t f t t T T λω⎧+=>⎪⎨==⎪⎩)初值问题(2.19)中齐次方程的通解为,12()cos sin n T t c c =+而非齐次方程的一个特解为.22()sin nn n f T t t a ωλω=-因此,(2.19)的通解为. 1222()cos sin sin nn n f T t c c t a ωλω=++-(2.20)由初始条件可确定出120, c c ==最后将所得到的代入到(2.18)中便得(2.15)的解.()n T t 情形2 共振问题,即存在某个 使得.0,n ≥22n a ωλ=不妨假设.此时,在情形1中求解所得到的不变.220a ωλ={ T () 1 }n t n ≥当时,要求解以下问题0n = "2000'00()()sin , 0(0)0, (0)0.T t T t f t t T T ωω⎧+=>⎪⎨==⎪⎩(2.21)(2.21)中齐次方程通解为.012()cos sin T t c t c t ωω=+为求得非齐次方程的一个特解,要将(2.21)中方程的自由項换为,而求0i t f e ω以下问题的一个特解"2000()().i t T t T t f e ωω+=令并代入到上面非齐次方程中可得 ,故有()i t T t Ate ω=02f iA ω=-,00()sin cos 22f t f tT t t i t ωωωω=-取其虚部便得(2.21)中方程的一个特解为. 00()Im(())cos 2f tT t T t t ωω==-结合以上所得结果便可得到(2.21)中方程的通解为,0012()cos sin cos 2f tT t c t c t t ωωωω=+-由初始条件确定出 ,由此可得01220, 2fc c ω==.0002()sin cos 22f f tT t t t ωωωω=-将代入到(2.18)中便得在共振条件下(2.15)的解为()n T t 000102112(,)()()()()()()(sin cos )cos ()()222 (,)(,) .n n n n n n n n n u x t T t X x T t X x T t X x f f t t t x T t X x l u x t u x t πωωωω∞=∞=∞===+=-+=+∑∑∑可以证明: 是有界的. 而在的表达式中取 ,则2(,)u x t 1(,)u x t 2k k t πω=中的基本波函数的振幅当逐渐变大时将趋于无穷大,最1(,)u x t cos2x lπ0()k T t k 终要导致弦线在某一时刻断裂,这种现象在物理上称为共振. 注意到在上面求解过程中我们取周期外力的频率等于系统的第一固有频率ω波函数分量上发生共振. 一般地讲,当周期外力的频率很接近或等于系统的ω某个固有频率时,系统都会有共振现象发生,即弦线上一些点的振幅将随着时间的增大而不断变大,导致弦线在某一时刻断裂.2.2.2 热传导方程定解问题例2.3 求解下面热方程定解问题(2.2220, 0, 0 (0,), (,)sin , 0(,0)0, 0.t xx x u a u x l t u t u u l t t t u x x l ω⎧=<<>⎪==≥⎨⎪=≤≤⎩)解 利用特征函数法求解(2.22).首先将边界条件齐次化,取,并令,则0(,)sin w x t u x t ω=+w u v -=(2.22)转化为(2.2320cos , 0, 0 (0,)0, (,)0, 0(,0), 0.t xx x v a v x t x l t v t v l t t v x u x l ωω⎧-=-<<>⎪==≥⎨⎪=-≤≤⎩)利用分离变量法可得(2.23)的特征值问题为"()()0, 0(0)0, '()0.X x X x x l X X l λ⎧+=<<⎨==⎩特征值和特征函数分别为,2(21)()2n n lπλ+=0≥n .(21)()sin 2n n X x x lπ+=0≥n 将,按特征函数展成Fourier 级数(,)cos f x t x t ωω=-0)(u x -=ϕ{}0)(≥n n x X 得, (2.24)cos ()()n n n x t f t X x ωω∞=-=∑,02(21)()(1)cos sin cos 2l n n n f t t d f t l lπωαωααω+=-=⎰其中. 1228(1)(12)n n l f n ωπ+-=+ , (2.25)00n n n u X ϕ∞=-=∑其中.00042(21)()sin 2(12)l n u n u d l l n πϕααπ-+=-=+⎰令(2.26)(,)()(), n n n v x t T x X x ∞==∑并将(2.26)代入到(2.23)中的方程得,'2"()()()()cos ()nnnnn n n n n T t Xx aT t Xx f tX x ω∞∞∞===-=∑∑∑.'2(()())()cos ()nn nnn n n n T t a T t Xx f tX x λω∞∞==+=∑∑在(2.26)中令并结合(2.25)得0=t .()(0)()()n n n n n n x T X x X x ϕϕ∞∞====∑∑比较上面两式中特征函数的系数便得()n X x(2.27'2()()cos , 0(0).n n n n n n T t a T t f t t T λωϕ⎧+=>⎪⎨=⎪⎩)(2.27)是一阶常系数常微分方程初值问题.齐次方程通解为.t a n n Ce t T λ2)(-=令,并利用待定系数法求特解可得()cos sin n T t A t B t ωω=+ ,2242242()cos sin n n nn n na f f T t t t a a λωωωωλωλ=+++故有(2.2822242242()cos sin n a tn n nn n na f f T t Cet t a a λλωωωωλωλ-=++++)在上式中代得0t =,2242n nn na f C a λϕωλ=++ . 2242n nn na f C a λϕωλ=-+最后将(2.28)代入到(2.26)中便得(2.23)的解为.0(21)(,)()sin2n n n v x t T t x lπ∞=+=∑故(2.21)的解为),(),(),(t x w t x v t x u +=0 (,)sin v x t u x t ω=++其中由(2.28)给出. )(t T n2.2.3 平面上位势方程边值问题考虑矩形域上Poisson 方程边值问题1212(,), , (,)(), (,)(), (,)(), (,)(), .xx yy u u f x y a x b c y d u a y g y u b y g y c y d u x c f x u x d f x a x b +=<<<<⎧⎪==≤≤⎨⎪==≤≤⎩(2.29)我们假设或. 否则,利用边界条件齐次化方法0)()(21==x f x f 0)()(21==y g y g 化非齐次边界条件为齐次边界条件. 当然,也可以利用叠加原理将(2.29)分解为二个问题,其中一个关于具有齐次边界条件,而另一个关于具有齐次边x y 界条件.例2.4 求解Dirichlet 问题(2.300, 02, 0 1 (0,)0, (2,)0, 01(,0)1, (,1)(1), 0 2.xx yy u u x y u y u y y u x u x x x x +=<<<<⎧⎪==≤≤⎨⎪==-≤≤⎩)解 令并将其代入到(2.29)中齐次方程得)()(),(y Y x X y x u =,0)()()()(""=+y Y x X y Y x X ,λ-=-=)()()()(""y Y y Y x X x X (2.31"()()0, 0 2(0)0, (2)0.X x X x x X X λ⎧+=<<⎨==⎩)0)()("=-y Y y Y λ(2.32)(2.31)便是(2.30)的特征值问题,其解为, , .2)2(πλn n =x n x X n 2sin)(π=1≥n 将代入到(2.32)中得n λ ,0)()("=-y Y y Y n λ(2.33)该方程有两个线性无关解,. 由于,也是(2.33)的y n e2πy n e2π-2n shy π2n ch y π解且线性无关,故(2.33)通解为.y n ch d y n shc y Y n n n 22)(ππ+=令(2.34)11(,)()()()sin 222n n n n n n n n n u x y X x Y y c shy d ch y x πππ∞∞====+∑∑则满足(2.30)中方程和关于的齐次边界条件. 利用关于的边界条),(y x u x y 件可如下确定,,n c n d ,∑∞==12sin1n n x n d π . (2.35))1(1(22sin12220n n n d n d --=⨯=⎰πααπ),x n n ch d n shc x x n n n ∑∞=+=-12sin )22()1(πππ . 22))1(1(22)1(416)1(163322ππππππn sh n chn n sh n n c n nnn -------=(2.36)故(2.30)解为(2.371(,)()sin ,222n n n n n n u x y c shy d ch y x πππ∞==+∑)其中,由(2.36)和(2.35)确定.n c n d 对于圆域,扇形域和圆环域上的Poisson 方程边值问题,求解方法和矩形域上的定解问题无本质区别,只是在此时要利用极坐标.同学们自己可验证:令,作自变量变换,则有θρcos =x θρsin =y .θθρρρρρu u u u u yy xx 211++=+令,将其代入到极坐标下的Laplace 方程中得)()(),(θρθρΦ=R u 222330216(1)164(1)(1)sin ,2222n nn n n n n n c sh d ch d n ππππααααπ----+=-=⎰,"'"211()()()()()()0R R R ρθρθρθρρΦ+Φ+Φ=,"'"211(()())()()()0R R R ρρθρθρρ+Φ+Φ=,"'"21()()()1()()R R R ρρθρλθρρ+Φ=-=-Φ故有, (2.380)()("=Φ+Φθλθ). (2.390)()()('"2=-+ρλρρρρR R R )方程(2.38)结合一定的边界条件便得相应定解问题的特征值问题,而(2.39)是欧拉(Euler )方程. 对(2.39)作自变量变换可得s e =ρ , ,s e =ρρln =s ,'1s dR dR ds R d ds d ρρρ==.2222'''2222211()ss s d R d R ds dR d s R R d ds d ds d ρρρρρ=+=-将以上各式代入到(2.39)得. (2.40''0ss R R λ-=)例2.5 求下面扇形域上Dirichlet 问题(2.4122220, 0, 0, 4(,0)0, 0 2(0,)0, 0 2 (,), 4. xx yy u u x y x y u x x u y y u x y xy x y ⎧+=>>+<⎪=≤≤⎪⎨=≤≤⎪⎪=+=⎩)的有界解.解 令,作自变量变换,(2.41)转化为θρcos =x θρsin =y(2.42)2110, 0, 0 2 2(,0)0, (,0, 022(2,)2sin 2, 0.2u u u u u u ρρρθθπθρρρπρρρπθθθ⎧++=<<<<⎪⎪⎪==≤≤⎨⎪⎪=≤≤⎪⎩令代入到(2.42)中的方程,并结合边界条件可得)()(),(θρθρΦ=R u"()()0, 0<</2(0)0, (/2)0.θλθθππ⎧Φ+Φ=⎨Φ=Φ=⎩(2.43). (2.440)()()('"2=-+ρλρρρρR R R )(2.43)便是(2.42)的特征值问题.求解特征值问题(2.43)可得, , .224)2/(n n n ==ππλθθn n 2sin )(=Φ1≥n 将代入到(2.44)中,并令作自变量变换可得n λs e =ρ,"240ss R n R -=.2222()ns ns n n n n n n n R c e d e c d ρρρ--=+=+由于是求(2.42)的有界解,故有,即. 从而有∞<)0(R 0=n d .n n n c R 2)(ρρ= 上面求出的对每个都满足(2.42)中的方程和齐(,)()()n n n u R ρθρθ=Φ1n ≥次边界条件,由叠加原理得, (2.45∑∑∞=∞==Φ=1212sin )()(),(n n n n n n n c R u θρθρθρ)也满足(2.42)中的方程和齐次边界条件.为使(2.42)中的非齐次边界条件得以满足,在(2.45)中令得(2,)2sin u θθ=2ρ= ,212sin 22sin 2n n n c n θθ∞==∑(2.46)比较上式两边特征函数的系数得θθn n 2sin )(=Φ , .112c =1)( 0≠=n c n 将,代入到(2.45)中便得(2.42)的解为1c 1)(≠n c n . θρθρ2sin 21),(2=u 例2.6 求解圆域上Dirichlet 问题2110, 0, 02(,)(), 02.u u u a u a ρρρθθρθπρρθϕθθπ⎧++=<<≤<⎪⎨⎪=≤≤⎩(2.47)解 圆域上的函数相当于关于变量具有周期. 令(,)u ρθθ2π并代入到(2.46)中的方程可得)()(),(θρθρΦ=R u(2.48"()()0() (2).θλθθπθ⎧Φ+Φ=⎨Φ=Φ+⎩). (2.490)()()('"2=-+ρλρρρρR R R )(2.48)是定解问题(2.47)的特征值问题. 由定理1.3知(2.48)的解为.2, ()cos sin , 0n n n n n c n d n n λθθθ=Φ=+≥将代入到(2.49)中可得(要利用自然边界条件)n λ(0,)u θ<∞,,00)(c R =ρn n n c R ρρ=)(1≥n 利用叠加原理可得(2.47)的如下形式解.∑∞=++=10)sin cos (),(n n n n n d n c c u θθρθρ(2.50)根据边界条件得)(),(θϕθ=a u ,01()(cos sin )n n n n c a c n d n ϕθθθ∞==++∑其中,2001()2c d πϕττπ=⎰,⎰=πτττϕπ20cos )(1d n a c n n .⎰=πτττϕπ20sin )(1d n a d n n 将以上各式代入到(2.50)中便得(2.47)的解为2 2 0 0111(,)()()(()cos cos 2n n u d n d n a ππρρθϕττϕτττθππ∞==+∑⎰⎰ .)sin sin )(12 0 ⎰+πθτττϕπn d n (2.51)注4 利用等式可将(2.51)化为如下形)Re()(cos 1)(1∑∑∞=-∞==-n in n n n e c n c τθτθ式(2.522222201()()(,),22cos()a u d a a πρϕτρθτπρρθτ-=+--⎰)式(2.52)称为圆域上调和函数的Poisson 公式. 在后面学习中还将用其它方法导出它. 注5 在例2.5和例2.6中,如果方程中自由项不为零,若),(θρf 特殊,可用函数代换将自由项化为零而转化齐次方程. 对于一般的),(θρf ,要利用特征函数方法求解.),(θρf 注6 上面例2.3—例2.6几个定解问题的求解思想和主要过程,是伟大的数学家和物理学家Fourier 给出的,详细内容见参考文献. 在这部著名论著[5]中,Fourier 首次利用偏微分方程来研究热问题,并系统地介绍了分离变量法的基本思想和主要步骤. 结合本节所举例子,请同学们小结一下在本章所学过的特征值问题,二阶常系数非齐次常微分方程和欧拉方程的求解方法. 习 题 二1. 设有如下定解问题2(,), 0, 0 (0,)0, (,)0, 0(,0)(), (,0)(), 0.tt xx x t u a u f x t x l t u t u l t t u x x u x x x l ϕψ⎧-=<<>⎪==≥⎨⎪==≤≤⎩利用分离变量法导出该定解问题的特征值问题并求解.2.求解下列特征值问题 (1) "''()()0, 0 (0)()0.X x X x x l X X l λ⎧+=<<⎪⎨==⎪⎩ (2) "()()0, 1 1 (1)0,(1)0X x X x x X X λ⎧+=-<<⎨-==⎩ (3) "()()0, 0 '(0)0, ()0.X x X x x l X X l λ⎧+=<<⎨==⎩ (4) "()()0, 02 (0)(2), '(0)'(2).X x X x x l X X l X X l λ⎧+=<<⎨==⎩3 考虑下面特征值问题*"()()0, 0 (0)0, '()()0.X x X x x l X X l X l λ⎧+=<<⎨=+=⎩(1)证明一切特征值0.λ>(2)证明不同的特征值对应的特征函数是正交的.(3)求出所有的特征值和相应的特征函数.4. 设在区间一阶连续可导且 考虑如下特(),()p x q x [0,]l ()0,()0.p x q x >≥征值问题[()()]()()(), 0 (0)0, ()0.d d p x X x q x X x X x x l dx dx X X l λ⎧-+=<<⎪⎨⎪==⎩(1)证明一切特征值0.λ≥(2)证明不同的特征值对应的特征函数是正交的.5.求解下列弦振动方程的定解问题(1)20, 0<, 0(0,)0, (,)0, 0(,0), (,0)0, 0.tt xx x x t u a u x l t u t u l t t u x x u x x l ⎧-=<>⎪==≥⎨⎪==≤≤⎩ (2) 20, 0<, 0(0,)0, (,)0, 035(,0)sin , (,0)sin , 0.22tt xx x t u a u x l t u t u l t t u x x u x x x l l l ππ⎧⎪-=<>⎪==≥⎨⎪⎪==≤≤⎩(3) 240, 0<1, 0(0,)0, (1,)0, 0(,0), (,0)0, 0 1.tt xx t u u u x t u t u t t u x x x u x x ⎧-+=<>⎪==≥⎨⎪=-=≤≤⎩(4) 242sin , 0<, 0(0,)0, (,)0, 0(,0)0, (,0)0, 0.tt xx x x t u u u x x t u t u t t u x u x x πππ⎧--=<>⎪==≥⎨⎪==≤≤⎩(5) 22, 0, 0 (0,) (,)0, 0(,0)0, (,0), 0.tt xx x t u a u x l t u t u l t t u x u x A x l ⎧-=<<>⎪==≥⎨⎪==≤≤⎩6.求解下列热传导方程的定解问题(1) 2cos , 0<, 02(0,)1, (,), 0(,0)0, 0<.t xx x x u a u x t u t u t t u x x ππππ⎧-=<>⎪⎪==≥⎨⎪=<⎪⎩(2) 22, 0<1, 0(0,)0, (1,)0, 0(,0)sin , 0< 1.t xx x u a u u x t u t u t t u x x x π⎧-=<>⎪==≥⎨⎪=<⎩(3) 220, 0<, 0(0,)0, (,)0, 0(,0)(), 0.t xx u a u b u x l t u t u l t t u x x x l ϕ⎧-+=<>⎪==≥⎨⎪=≤≤⎩(4) 2, 0, 0 (0,)0, (,)0, 0(,0)1, 0.t xx x x u a u xt x l t u t u l t t u x x l ⎧-=<<>⎪==≥⎨⎪=≤≤⎩7. 求解下面位势方程定解问题(1) , 0, 0 (,0)0, (,)0, 0(0,)0, (,), 0.xx yy y y u u x x a y b u x u x b x a u y u a y Ay y b +=<<<<⎧⎪==≤≤⎨⎪==≤≤⎩(2)22220, 0, , 4 (,0)0, 02, (,)0, 0(,), 4.xx yy u u y x y x y u x x u x x x u x y x y x y ⎧+=>>+<⎪⎪=≤≤=≤≤⎨⎪=++=⎪⎩(3) 22220, 4 (,)1, 4.xx yy u u x y u x y x x y ⎧+=+<⎪⎨=++=⎪⎩(4) 222222, 1< 4 (,)0, 1 (,), 4.xx yy u u xy x y u x y x y u x y x y x y ⎧+=+<⎪⎪=+=⎨⎪=++=⎪⎩8 设在区间的Fourier 展开式为 *()x ϕ[0,]l 1()sin ,k k k x x c l πϕ∞==∑(6.1)其部分和为 求解或证明以下结果.1()sin ,n n k k k x S x c l π==∑(1)设,求.()[0,]x C l ϕ∈20[()()]l n x S x dx ϕ-⎰(2)证明下面贝塞尔(Bessel )不等式 22012().l k k c x dx l ϕ∞=≤∑⎰(6.2)(3)设,的二阶导数的Fourier 展开式为2()[0,]x C l ϕ∈()x ϕ1''()sin ,n n n x x d l πϕ∞==∑如果 ,利用分部积分法证明(0)()0l ϕϕ==2, 1,n n d An c n =≥(6.3)其中为正常数.A (4)利用(6.2)和(6.3)证明(6.1)中的三角级数在区间上一致[0,]l 收敛,并且可以逐項求导.9 考虑如下定解问题* 2, 0, 0 (0,)0, (,)0, 0(,0)(), 0.t xx x x u a u x l t u t u l t t u x x x l ϕ⎧=<<>⎪==≥⎨⎪=≤≤⎩(1)给出该定解问题的物理解释.(2)当经过充分长的时间后,导热杆上的温度分布如何?(,)u x t (3)求极限.lim (,)t u x t →+∞10 考虑如下定解问题*2, 0, 0 (0,), (,), 0(,0)(), 0.t xx x u a u x l t u t A u l t B t u x x x l ϕ⎧=<<>⎪==≥⎨⎪=≤≤⎩(1)给出该定解问题的物理解释.(2)求极限.lim (,)t u x t →+∞11 考虑下面定解问题 *20, 0<, 0(0,)(,)0, 0(,0), (,0)0, 0.tt xx t t u u u u x t u t u t t u x x u x x πππ-++=<>⎧⎪==≥⎨⎪==≤≤⎩(1)解释该定解问题方程中各项的物理意义.(2)推导出问题的特征值问题并求解.(3)写出该问题解的待定表示式并求出表达式中第一特征函数的系数.12 考虑下面定解问题 * (,), 0<, 0(0,)(,)0, 0(,0)(), (,0)(), 0.tt xx x x t u u f x t x t u t u t t u x x u x x x ππϕψπ-=<>⎧⎪==≥⎨⎪==≤≤⎩(12.1)(1)写出该定解问题的特征值和特征函数 ,(),0.n n X x n λ≥(2)如果,而,求解该定解问题.()0,()0x x ϕψ==(,)f x t t =(3)如果,证明 ,下面等式(,)0f x t =0τ∀>,222200[(,)(,)][()()]l l t x x u x u x dx x x dx ττψϕ+=+⎰⎰(12.2)成立,解释该等式的物理意义.(4)证明(12.1)的解是唯一的.。

数理方程总复习 复习1(第二章分离变量法)

数理方程总复习 复习1(第二章分离变量法)

∂u ∂ 2u = a 2 2 + f ( x, t ), 0 < x < l , t > 0, ∂t ∂x ( III ) u x =0 = u1 (t ), u x =l = u2 (t ), t ≥ 0, 0 ≤ x ≤ l. u t = 0 = ϕ ( x), 特点:非齐次边界
边界条件非齐 次,转换为齐 次边界条件 定 解 问 题 选择合适 的坐标系 非齐次方程, 齐次边界条件
非齐次方程, 齐次定解条件 特征函数法
齐次方程, 齐次边界条件 分离变量法
第二章、分离变量(fourier级数)法
分离变量法是数学物理方程的基本解法,主要讲:
(1)有限空间的分离变量法(fourier级数法)(本章) (2)无限空间的分离变量法(fourier积分法)(第三章积分变换法) (3) Laplace方程的圆上的定解问题--在极坐标系下的分离变量法 (4)特征函数法--在柱坐标系和球坐标系下的分离变量法 (第五、六章)
第三步:将展开式代入方程与初始条件,比较系数得到关于 Tn (t )的常微分方程定解问题,求解确定出Tn (t )。 (Laplace变换法、常数变易法)
方法三、齐次化原理
三、第三种类型定解问题( III )
2 ∂ 2u 2 ∂ u + f ( x, t ), 0 < x < l , t > 0, 2 =a 2 ∂x ∂t ( III ) u x =0 = u1 (t ), u x =l = u2 (t ), t ≥ 0, ∂u u = ψ ( x), 0 ≤ x ≤ l. t = 0 = ϕ ( x ), ∂t t =0
∂V 1 ∂ 2V A −α x − 2 2 = 2 e , 0 < x < l , t > 0, a ∂t a ∂x V x =0 = 0, V x =l = 0, t ≥ 0, V t =0 = 0, 0 ≤ x ≤ l. ∂W 1 ∂ 2W

数学物理方程第二章分离变量法

数学物理方程第二章分离变量法

第五讲补充常微分方程求解相关知识。

第二章 分离变量法偏微分方程定解问题常用解法,分离变量法。

解常微分方程定解问题时,通常总是先求出微分方程的特解,由线性无关的特解叠加出通解,而后用定解条件定出叠加系数一阶线性偏微分方程的求解问题,基本方法也是转化为一阶线性常微分方程组的求解问题对于二阶以及更高阶的偏微分方程定解问题,情况有些不同:即使可以先求出通解,由于通解中含有待定函数,一般来说,很难直接根据定解条件定出,因此,通常的办法就是把它转化为常微分方程问题(第六讲)§2.1 有界弦的自由振动什么是分离变量法?使用分离变量法应具备那些条件? 下面通过两端固定的弦的自由振动问题来说明。

定解问题:考虑长为l ,两端固定的弦的自由振动,其数理方程及定解条件为.0 ),(u ),(u 0,,0u ,0u 0, l,0 ,0t0022222l x x x t t x xu a t u t t l x x ≤≤==>==><<∂∂=∂∂====ψϕ分析:1. 方程和边界条件都是齐次的,求这样的问题可用叠加原理。

2. 我们知道,在解常微分方程定解问题时,通常总是先求出微分方程的特解,由线性无关的特解叠加出通解,而后用定解条件定出叠加系数。

启发:能否运用类似求常微分方程定解问题的方法求偏微分方程?也既是能否先找出满足齐次方程及齐次边界条件的足够多的特解,再用其作线性组合使其满足初始条件。

由分析,我们现在试求方程的变量分离形式:)()(),(t T x X t x u =的非零解。

将),(t x u 代入方程,可得)()()()()()()()(2''''''2''x T a x T x X x X t T x X a t T x X =⇒= 此式中,左端是关于x 的函数,右端是关于t 的函数。

因此,左端和右端相等,就必须等于一个与t x ,无关的常数。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

1) 分离变量 偏→常 常 设定解问题有形如 u(x,t)=X(x)T(t) 的非零解
代入DE得 代入 得 X ( x)T ′′(t ) = a 2 X ′′( x)T (t )
u( 0, t ) = X ( 0 )T ( t ) = 0 代入BC得 代入 得 u( l , t ) = X ( l )T ( t ) = 0 X ′′( x) T ′′(t ) ∴ = 2 = λ(常数) X满足 X ′′( x ) + λ X ( x ) = 0(*) 满足 X ( x ) a T (t ) X ( 0) = X ( l ) = 0 T 满足 T ′′( t ) + a 2 λ T ( t ) = 0 (**)
双曲型方程- 一 双曲型方程-有界弦的自由振动
utt = a 2uxx (t > 0, 0 < x < l ) 1 定解问题 u(0, t ) = 0, u(l , t ) = 0 (t ≥ 0) u( x,0) = ( x) ut ( x,0) = ψ( x) (0 ≤ x ≤ l )
2 求解步骤
第2章 分离变量法 章
椭型的混合问题和边值 混合问题和边值问题 适用于 双 抛 椭型的混合问题和边值问题 非齐DE非齐 非齐BC 非齐DE齐次 齐次BC 非齐 非齐 令u( x , t ) = v( x , t ) + w( x , t ) 非齐 齐次
utt = a 2 uxx + f ( x, t ) u(0, t ) = u1 (t ) u(l , t ) = u2 (t ) u( x,0) = ( x) ut ( x,0) = ψ( x)
2 n
注 由2.6节Sturm Liouville 理论 , 特征值问题的特征函
数系是在[0, l ]上的正交完备系, 上的正交完备系, 所有函数必能够展 开成特征函数系的级数
2 ( aβ n ) 2 t
a 2β 2 t n
T ′ + (aβ n ) T = 0 Tn ( t ) = c n e

2 l 2 1 π 32l 2 C n = ∫ ( x 2lx) sin(n ) xdx = , Dn = 0 3 3 l 0 2 l (2n 1) π
其中x0 =
n
( k = 0,1, L , n)的点的振幅 ≡ 0 称驻波
整个振动由无数振幅频率各异的正弦驻波迭加而成
分离变量法也叫驻波法
X ′′( x) T ′(t ) = 2 = λ 代入DE得 代入 得 X ( x)T ′(t ) = a X ′′( x)T(t ) X ( x) a T(t ) 代入BC得 代入 得 X ( 0 ) = 0和 X ′( l ) + hX ( l ) = 0
2
2) 求X(x)和T(t)的非零解 和 的非零解
un ( x , t ) = C n e

sin β n x
( n = 1,2,L)
∞ a 2β 2 t n n=1
3) 迭加 u( x , t ) = ∑ un ( x , t ) = ∑ C n e
n=1
sin β n x
4 ) 由 IC , u( x ,0 ) =
∑C
k =1

k
sin β k x = ( x )

满足D 4) 确定系数 Cn、Dn ( x ), ψ( x ) ∈ [0, l ] 满足 条件
5) 综合 还需要证明 ∑ u n ( x , t ) 收敛且可逐项求导
总假设两种运算可以交换次序 交换次序: 物理上 总假设两种运算可以交换次序
∞ 1 ∞ 1
物理上认为实验数据总 能满足此要求 , 只求形式解
抛物型方程- 二 抛物型方程-有界杆的无热源热传导
ut = a 2 uxx 1 定解问题 u( 0, t ) = 0 ux ( l , t ) + hu( l , t ) = 0 u( x ,0 ) = ( x ) BC:左1右3 :
2 特征函数 1) 设 u(x,t)=X(x)T(t)
l

a 2 (
γn 2 ) t l
γn sin x l
椭圆型方程- 三 椭圆型方程-周期条件
的薄圆盘, 半径为 a 的薄圆盘,圆周边缘温 度分布为 F ( x , y ), 求达到稳恒状态时圆盘 内的温度分布 u( x , y ) 1 1 圆域内 (u) = u xx + u yy = urr + ur + 2 uθ θ Laplace方程 Laplace方程 r r 1 定解问题 u xx + u yy = 0 u | x 2 + y 2 =a 2 = F ( x , y )
两端乘以 sin β n x,然后在[0, l ]上积分得
∫ ( x ) sin β
0
l
n
xdx = ∑ C k ∫ sin β k x sin β n xdx = C n Ln
k =1 0
∞l1ຫໍສະໝຸດ Cn = Lnγn ∫0 ( x) sin l xdx ∴ u( x, t ) = ∑1 C n e n=
若有现成的特征函数可直接写出‘通解’ 若有现成的特征函数可直接写出‘通解’
n =1
utt = a 2 u xx u(0, t ) = u x ( l , t ) = 0 BC:左1右2 : 例2 u( x ,0) = x ( x 2l ) u ( x ,0) = 0 t X ′′( x ) T ′′( t ) = 2 = λ(常数) 解 设u( x, t ) = X ( x )T ( t ) X ( x) a T (t ) X ′′( x ) + λ X ( x ) = 0 当λ ≤ 0时, X ( x )只有零解 X ( 0) = X ′( l ) = 0 当 λ = β 2 > 0, 通解为 X ( x ) = A cos β x + B sin β x cos β l = 0 X (0) = 0 A = 0 由 Bβ cos β l = 0 即β l = nπ π 2 X ′( l ) = 0 1 π 2 2 特征值β n = [( n ) ] 特征函数 X n ( x ) = B n sin β n x 2 l ( n = 1,2, L)
X ′′ + λX = 0 特征值问题 X ( 0) = 0 X ′( l ) + hX ( l ) = 0 当λ ≤ 0时, X ( x )只有零解 当λ = β 2 > 0时, 通解为 X ( x ) = A cos β x + B sin β x
X (0) = 0 A = 0 X ′( l ) + hX ( l ) = 0 B (β cos β l + h sin β l ) = 0 要有非零解, 要有非零解,必须 B ≠ 0, β cos β l + h sin β l = 0
n=1 n=1 ∞ ∞
2 l nπ u( x,0) = ∑Cn sinβ n x = ( x), ∴Cn = ∫ ( x ) sin xdx l 0 l n=1 ∞ 2 l nπ ut ( x,0) = ∑βnaDn sinβn x = ψ( x), ∴ Dn = ∫0 ψ( x)sin l xdx nπa n=1 ∞ nπ a nπ a nπ x t + Dn sin t ) sin 形式解 u( x , t ) = ∑ (C n cos l l l n=1
T ′′( t ) + a 2 λ T ( t ) = 0 Tn ( t ) = c n cos β n at + d n sin β n at
∞ n =1
迭加 u( x , t ) = ∑ (C n cos β n at + Dn sin β n at ) sin β n x
u( x,0) = ∑ C n sin β n x = x( x 2l )
2 n
当B≠0, sinβ l = 0 即 β l = nπ 时X(x)有非零解 , 有非零解
注 u n ( x , t )都满足 DE和齐次 BC 3) un ( x , t )的迭加 当∑ u n ( x , t )可逐项求导时
u( x, t ) = ∑ un ( x, t ) = ∑ (Cn cosβ nat + Dn sin β nat ) sin β n x
γ 则tgγ = hl 令γ = β l
γ y= hl
y = tgγ
γ1
γ2
π π 对任意 n, 在区间 ( nπ , nπ + ), 该方程必有一实根 γ n 2 2
γ n 2 ( n = 1, 2, L) 无法求出 特征值λ n = β = ( ) 精确值 l l γn 特征函数X n ( x ) = Bn sin x 记Ln = ∫ sin 2 β n xdx 0 l
( 2)当 λ = 0时 , 通解 X ( x ) = Ax + B , 只有零解 2 (3)当λ = β > 0 通解为X ( x ) = A cosβ x + B sin β x 由X (0) = 0 A = 0 再由X (l ) = 0 B sin β l = 0
nπ 2 特征值λ n = β = ( ) ( n = 1, 2, L) l 特征函数X n ( x ) = Bn sin β n x 有无数个特征值 T ′′ + (βna)2T = 0 Tn ( t ) = c n cos β n at + d n sin β n at ∴ un ( x, t ) = (Cn cosβ nat + Dn sinβ nat) sinβ n x ( n = 1,2, L)
2) 求非零解 X(x), T(t) 特征值问题 特征值 使(*)有非零解的 λ 的值 有非零解的 相应的非零解X(x) 特征函数 相应的非零解
相关文档
最新文档