數學 上,分離變數法 是一種解析常微分方程 或偏微分方程 的方法。使用這方法,可以藉代數 來將方程式重新編排,讓方程式的一部分只含有一個變數,而剩餘部分則跟此變數無關。這樣,隔離出的兩個部分的值,都分別等於常數,而兩個部分的值的代數和 等於零。
給予一個
n
{\displaystyle n}
元函數
F
(
x
1
,
x
2
,
…
,
x
n
)
{\displaystyle F(x_{1},\ x_{2},\ \dots ,\ x_{n})}
的偏微分方程 ,有時候,為了將問題的偏微分方程式改變為一組常微分方程 ,可以猜想一個解答;解答的形式為
F
=
F
1
(
x
1
)
F
2
(
x
2
)
⋯
F
n
(
x
n
)
{\displaystyle F=F_{1}(x_{1})F_{2}(x_{2})\cdots F_{n}(x_{n})}
,
或者
F
=
f
1
(
x
1
)
+
f
2
(
x
2
)
+
⋯
+
f
n
(
x
n
)
{\displaystyle F=f_{1}(x_{1})+f_{2}(x_{2})+\cdots +f_{n}(x_{n})}
。
時常,對於每一個自變量
x
i
{\displaystyle x_{i}}
,都會伴隨著一個分離常數 。如果,這個方法成功,則稱這偏微分方程為可分偏微分方程 (separable partial differential equation )。
假若,函數
F
(
x
,
y
,
z
)
{\displaystyle F(x,\ y,\ z)}
的偏微分方程為
∂
F
∂
x
+
∂
F
∂
y
+
∂
F
∂
z
=
0
{\displaystyle {\frac {\partial F}{\partial x}}+{\frac {\partial F}{\partial y}}+{\frac {\partial F}{\partial z}}=0}
。
猜想解答為
F
(
x
,
y
,
z
)
=
X
(
x
)
+
Y
(
y
)
+
Z
(
z
)
{\displaystyle F(x,y,z)=X(x)+Y(y)+Z(z)}
。
那麼,
d
X
d
x
+
d
Y
d
y
+
d
Z
d
z
=
0
{\displaystyle {\frac {dX}{dx}}+{\frac {dY}{dy}}+{\frac {dZ}{dz}}=0}
。
因為
X
(
x
)
{\displaystyle X(x)}
只含有
x
{\displaystyle x}
、
Y
(
y
)
{\displaystyle Y(y)}
只含有
y
{\displaystyle y}
、
Z
(
z
)
{\displaystyle Z(z)}
只含有
z
{\displaystyle z}
,這三個函數的導數都分別必須等於常數。更明確地說,將一個偏微分方程改變為三個很簡單的常微分方程:
d
X
d
x
=
c
1
{\displaystyle {\frac {dX}{dx}}=c_{1}}
、
d
Y
d
y
=
c
2
{\displaystyle {\frac {dY}{dy}}=c_{2}}
、
d
Z
d
z
=
c
3
{\displaystyle {\frac {dZ}{dz}}=c_{3}}
;
其中,
c
1
,
c
2
,
c
3
{\displaystyle c_{1},\ c_{2},\ c_{3}}
都是常數,
c
1
+
c
2
+
c
3
=
0
{\displaystyle c_{1}+c_{2}+c_{3}=0}
。
偏微分方程的答案為
F
(
x
,
y
,
z
)
=
c
1
x
+
c
2
y
+
c
3
z
+
c
4
{\displaystyle F(x,y,z)=c_{1}x+c_{2}y+c_{3}z+c_{4}}
;
其中,
c
4
{\displaystyle c_{4}}
是常數。
思考一個典型的偏微分方程,
∇
2
v
+
λ
v
=
∂
2
v
∂
x
2
+
∂
2
v
∂
y
2
+
λ
v
=
0
{\displaystyle \nabla ^{2}v+\lambda v={\partial ^{2}v \over \partial x^{2}}+{\partial ^{2}v \over \partial y^{2}}+\lambda v=0}
。
首先,猜想答案的形式為
v
=
X
(
x
)
Y
(
y
)
{\displaystyle v=X(x)Y(y)}
。
代入偏微分方程,
∂
2
∂
x
2
[
X
(
x
)
Y
(
y
)
]
+
∂
2
∂
y
2
[
X
(
x
)
Y
(
y
)
]
+
λ
X
(
x
)
Y
(
y
)
=
0
{\displaystyle {\partial ^{2} \over \partial x^{2}}[X(x)Y(y)]+{\partial ^{2} \over \partial y^{2}}[X(x)Y(y)]+\lambda X(x)Y(y)=0}
。
或者,用單撇號標記,
X
″
(
x
)
Y
(
y
)
+
X
(
x
)
Y
″
(
y
)
+
λ
X
(
x
)
Y
(
y
)
=
0
{\displaystyle X''(x)Y(y)+X(x)Y''(y)+\lambda X(x)Y(y)=0}
。
將方程式的兩邊除以
X
(
x
)
Y
(
y
)
{\displaystyle X(x)Y(y)}
,則可得
X
″
(
x
)
X
(
x
)
=
−
Y
″
(
y
)
+
λ
Y
(
y
)
Y
(
y
)
{\displaystyle {X''(x) \over X(x)}=-{Y''(y)+\lambda Y(y) \over Y(y)}}
。
由於任何一邊的表達式跟另外一邊的變數無關,表達式恆等於常數
k
{\displaystyle k}
:
X
″
(
x
)
X
(
x
)
=
k
=
−
Y
″
(
y
)
+
λ
Y
(
y
)
Y
(
y
)
{\displaystyle {X''(x) \over X(x)}=k=-{Y''(y)+\lambda Y(y) \over Y(y)}}
。
因此,可以得到兩個新的常微分方程式:
X
″
(
x
)
−
k
X
(
x
)
=
0
{\displaystyle X''(x)-kX(x)=0}
、
Y
″
(
y
)
+
(
λ
+
k
)
Y
(
y
)
=
0
{\displaystyle Y''(y)+(\lambda +k)Y(y)=0}
。
這兩個常微分方程式都是齊次的二階線性微分方程 。假若,
k
<
0
<
λ
+
k
{\displaystyle k<0<\lambda +k}
,則這兩個常微分方程都是用來表達諧振問題 的方程式。解答為
X
(
x
)
=
A
x
cos
(
−
k
x
+
B
x
)
{\displaystyle X(x)=A_{x}\cos({\sqrt {-k}}\ x+B_{x})}
,
Y
(
y
)
=
A
y
cos
(
λ
+
k
y
+
B
y
)
{\displaystyle Y(y)=A_{y}\cos({\sqrt {\lambda +k}}\ y+B_{y})}
;
其中,
A
x
,
A
y
{\displaystyle A_{x},\ A_{y}}
是振幅常數,
B
x
,
B
y
{\displaystyle B_{x},\ B_{y}}
是相位常數。這些常數可以由邊界條件 求得。
A. D. Polyanin, Handbook of Linear Partial Differential Equations for Engineers and Scientists , Chapman & Hall/CRC Press, Boca Raton, 2002. ISBN 1-58488-299-9 。