微分方程的分类
虽然微分方程有三种基本类型——常微分方程(ODE)、偏微分方程(PDE)或者微分-代数方程(DAE),它们还可以进一步使用一些属性描述,如阶数(order)、线性性(linearity)和次数(degree). DSolve 所使用的解法和解的性质取决于要求解的方程类别.
一个微分方程是线性的,如果方程关于 及其导数是一次的,并且如果系数是自变量的函数.
应当指出,有时候很简单的非线性方程的解仅以隐式提供. 在这种情况下,DSolve 返回一个未计算的 Solve 对象.
当一个线性常微分方程的系数不依赖于 时,则称该常微分方程具有常系数.
前面的方程也是 齐次 的:所有的项都包含 或者 的导数,而它的右边是0. 增加一个自变量的函数使得方程成为非齐次 的. 一个具有常系数的非齐次方程的通解可以由对相应的齐次方程的解加入一个特定的积分得到.
当一个常微分方程的系数取决于 时,则称该常微分方程具有变系数. 由于具有变系数为 的有理函数的方程具有容易分类的奇点,所以我们具有求解它们的一些更精巧的算法.
在函数和微分方程之间存在密切关系. 从一个任意类型的函数开始,可以构造一个满足该函数的微分方程. 反之,任意微分方程产生一个或者多个函数,以该方程的解的形式给出. 事实上,许多经典分析中的特殊函数源于微分方程的解. Mathieu 函数 就是这类特殊函数的一种. Mathieu 对椭圆模振动的研究感兴趣. 描述这种运动的波动方程的本征函数由 Mathieu 函数的积给出.
一个微分方程的 次数 是方程的最高阶导数的最高幂(highest power).
本教程中的例子集中在常微分方程的分类. 偏微分方程的分类类似,但是更加复杂. 偏微分方程也可以根据线性或者非线性、阶数、次数和常系数或变系数归类. 更加重要的是识别偏微分方程为双曲型、抛物型或者椭圆形的分类法. 这些分类在"二阶偏微分方程" 中有进一步的详细讨论.