题五·方形拉普拉斯(两边非齐次 → 叠加分解)
抄题 (0 ≤ x ≤ a , 0 ≤ y ≤ b ):
u xx + u yy = 0 , u ∣ x = 0 = 0 , u ∣ x = a = c ( 1 − y ) , u ∣ y = 0 = c , u ∣ y = b = 0.
0. 你卡在哪(先纠错)
你设 u = X ( x ) Y ( y ) 后想令 X ( a ) = c ( 1 − y ) ——这步不成立:X ( a ) 是 X 在一点的取值(与 y 无关的常数),不可能等于含 y 的 c ( 1 − y ) 。根因:分离变数要求”本征值方向”两端边界都齐次 。这里 x 方向在 x = a 端非齐次、y 方向在 y = 0 端也非齐次——四条边里有两条非齐次,没有任何一个方向两端全齐次,不能直接分离。
把非齐次分摊到两个子问题,每个只留一条非齐次边,从而各有一个全齐次方向。令 u = u 1 + u 2 :
子问题 x = 0 x = a y = 0 y = b 全齐次方向 u 1 0 c ( 1 − y ) 0 0 y (D–D)u 2 0 0 c 0 x (D–D)
相加还原四边(x = a :c ( 1 − y ) + 0 ;y = 0 :0 + c ;其余 0 )。✓
2. 解 u 1 (全齐次方向是 y )
y 两端 D–D → 查 本征值问题速查表 :Y n = sin b nπ y 。x 方向 X n ′′ − ( b nπ ) 2 X n = 0 配 X n ( 0 ) = 0 → X n = sinh b nπ x 。故
u 1 = ∑ n ≥ 1 A n sinh b nπ x sin b nπ y .
x = a 端 ∑ A n sinh b nπa sin b nπ y = c ( 1 − y ) ,正弦展开(平方范数 2 b ):
A n sinh b nπa = b 2 ∫ 0 b c ( 1 − y ) sin b nπ y d y = nπ 2 c [ 1 + ( b − 1 ) ( − 1 ) n ] .
3. 解 u 2 (全齐次方向是 x )
x 两端 D–D → X m = sin a mπ x 。y 方向 Y m ′′ − ( a mπ ) 2 Y m = 0 配 Y m ( b ) = 0 → 取 Y m = sinh a mπ ( b − y ) (用 b − y 自动满足 y = b 端为零)。故
u 2 = ∑ m ≥ 1 B m sin a mπ x sinh a mπ ( b − y ) .
y = 0 端 ∑ B m sin a mπ x sinh a mπb = c ,常数 c 的正弦展开:
B m sinh a mπb = a 2 ∫ 0 a c sin a mπ x d x = mπ 2 c ( 1 − ( − 1 ) m ) = ⎩ ⎨ ⎧ mπ 4 c 0 m 奇 m 偶 .
4. 答案
u = n ≥ 1 ∑ nπ sinh b nπa 2 c [ 1 + ( b − 1 ) ( − 1 ) n ] sinh b nπ x sin b nπ y + m 奇 ∑ mπ sinh a mπb 4 c sin a mπ x sinh a mπ ( b − y )
考纲提醒 :直角坐标方形拉普拉斯本身不在你考纲 (考纲里的 Laplace 是极坐标,见 极坐标拉普拉斯 、考试第二题)。但这里”先诊断哪个方向两端齐次、多条非齐次边就叠加拆解 ”是通用方法,极坐标题照样用——这才是要带走的东西。