牛顿 · 莱布尼兹 · 柯西 · 魏尔斯特拉斯 · 黎曼 · 拉格朗日 · 欧拉 · 帕斯卡 · 海涅(英语:Eduard Heine) · 巴罗 · 波尔查诺 · 狄利克雷 · 格林 · 斯托克斯 · 若尔当 · 达布 · 傅里叶 · 拉普拉斯 · 雅各布·伯努利 · 约翰·伯努利 · 阿达马 · 麦克劳林 · 迪尼 · 沃利斯 · 费马 · 达朗贝尔 · 黑维塞 · 吉布斯 · 奥斯特罗格拉德斯基 · 刘维尔 · 棣莫弗 · 格雷果里 · 玛达瓦(英语:Madhava of Sangamagrama) · 婆什迦罗第二 · 阿涅西 · 阿基米德
从无穷小量分析来理解曲线(英语:Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes) · 分析学教程(英语:Cours d'Analyse) · 无穷小分析引论 · 用无穷级数做数学分析(英语:De analysi per aequationes numero terminorum infinitas) · 流形上的微积分(英语:Calculus on Manifolds (book)) · 微积分学教程 · 纯数学教程(英语:A Course of Pure Mathematics) · 机械原理方法论(英语:The Method of Mechanical Theorems)
数学上,分离变量法是一种解析常微分方程或偏微分方程的方法。使用这方法,可以藉代数来将方程重新编排,让方程的一部分只含有一个变量,而剩余部分则跟此变量无关。这样,隔离出的两个部分的值,都分别等于常数,而两个部分的值的代数和等于零。
假若,一个常微分方程可以写为
设定变量 。那么,
只要是 ,就可以将方程两边都除以 ,再都乘以 :
这样,可以将两个变量 , 分离到方程的两边。由于任何一边的表达式跟另外一边的变量无关,表达式恒等于常数 。因此,可以得到两个较易解的常微分方程;
有些不喜欢用莱布尼茨标记(英语:Leibniz's notation)的数学家,或许会选择将公式 (1) 写为
这写法有一个问题:无法比较明显的解释,为什么这方法叫作分离变量法?
随着 积分公式的两边,可以得到
应用变量积分法,
假如,可以求算这两个积分,则这常微分方程有解。这方法允许将导数 当做可分的分式看待,可以较方便的解析可分的常微分方程。这在实例 (II)的解析里会有更详细的解释,
常微分方程 可以写为
其中, 。
设定 , 。套用公式 (1) ,这常微分方程是可分的。
进一步编排,则
变量 , 分别在公式的两边。将两边积分,
积分的结果是
其中, 是个积分常数。稍加运算,则可得
在这里,检查此解答的正确与否。计算导数 。答案应该与原本的问题相同。(必须仔细地计算绝对值。绝对符号内不同的正负值,分别地造成了 的正值与负值。而当 时, )。
特别注意,由于将公式 (3) 的两边除以 跟 ,必须检查两个函数 与 是否也是常微分方程的解答(在这个例子里,它们都是解答)。参阅奇异解(英语:singular solution) 。
人口数值的成长时常能够用常微分方程来表达
其中, 是人口数值函数, 是时间参数, 是成长的速率, 环境的容纳能力。
将方程的两边都除以 .再随着时间 积分,
应用变量积分法,
稍微运算,则可得
其中, 是常数。
给予一个 元函数 的偏微分方程,有时候,为了将问题的偏微分方程改变为一组常微分方程,可以猜想一个解答;解答的形式为
或者
时常,对于每一个自变量 ,都会伴随着一个分离常数。如果,这个方法成功,则称这偏微分方程为可分偏微分方程 (separable partial differential equation)。
假若,函数 的偏微分方程为
猜想解答为
那么,
因为 只含有 、 只含有 、 只含有 ,这三个函数的导数都分别必须等于常数。更明确地说,将一个偏微分方程改变为三个很简单的常微分方程:
其中, 都是常数, 。
偏微分方程的答案为
其中, 是常数。
思考一个典型的偏微分方程,
首先,猜想答案的形式为
代入偏微分方程,
或者,用单撇号标记,
将方程的两边除以 ,则可得
由于任何一边的表达式跟另外一边的变量无关,表达式恒等于常数 :
因此,可以得到两个新的常微分方程:
这两个常微分方程都是齐次的二阶线性微分方程。假若, ,则这两个常微分方程都是用来表达谐振问题的方程。解答为
其中, 是振幅常数, 是相位常数。这些常数可以由边界条件求得。