微分方程的分类

微分方程的分类

微分方程是数学中一个重要的分支，广泛应用于物理学、工程学、经济学等多个领域。本文将详细介绍微分方程的分类方法，包括常微分方程（ODE）、偏微分方程（PDE）和微分-代数方程（DAE）的基本类型，以及它们的属性描述，如阶数、线性性、次数等。

虽然微分方程有三种基本类型——常微分方程（ODE）、偏微分方程（PDE）或者微分-代数方程（DAE），它们还可以进一步使用一些属性描述，如阶数（order）、线性性（linearity）和次数（degree）。DSolve所使用的解法和解的性质取决于要求解的方程类别。

一个微分方程是线性的，如果方程关于及其导数是一次的，并且如果系数是自变量的函数。

这是一个非线性二阶常微分方程，它表示一个循环摆的运动。它是非线性的，因为Sin[y[x]]不是y[x]的线性函数。出现警告消息DSolve::ifun，是因为DSolve使用JacobiAmplitude（EllipticF的逆）来寻找y[x]的一个表达式：

应当指出，有时候很简单的非线性方程的解仅以隐式提供。在这种情况下，DSolve返回一个未计算的Solve对象。

这种非线性微分方程只有一个隐式的解。

Solve::tdep提示信息可以忽略；它们的出现是由于Solve找不到y[x]的显式表达式，因为涉及到了非代数函数（ArcTan和Log）：

当一个线性常微分方程的系数不依赖于时，则称该常微分方程具有常系数。

前面的方程也是齐次的：所有的项都包含或的导数，而它的右边是0。增加一个自变量的函数使得方程成为非齐次的。一个具有常系数的非齐次方程的通解可以由对相应的齐次方程的解加入一个特定的积分得到。

当一个常微分方程的系数取决于时，则称该常微分方程具有变系数。由于具有变系数为的有理函数的方程具有容易分类的奇点，所以我们具有求解它们的一些更精巧的算法。

该方程的系数是的有理函数：

在函数和微分方程之间存在密切关系。从一个任意类型的函数开始，可以构造一个满足该函数的微分方程。反之，任意微分方程产生一个或者多个函数，以该方程的解的形式给出。事实上，许多经典分析中的特殊函数源于微分方程的解。Mathieu函数就是这类特殊函数的一种。Mathieu对椭圆模振动的研究感兴趣。描述这种运动的波动方程的本征函数由Mathieu函数的积给出。

在前面的解中ArcCos[t]的出现表明方程可以使用三角函数给出一个更简单的形式。这是Mathieu在1868年推出的方程的形式：

一个微分方程的次数是方程的最高阶导数的最高幂（highest power）。

本教程中的例子集中在常微分方程的分类。偏微分方程的分类类似，但是更加复杂。偏微分方程也可以根据线性或者非线性、阶数、次数和常系数或变系数归类。更加重要的是识别偏微分方程为双曲型、抛物型或者椭圆形的分类法。这些分类在"二阶偏微分方程"中有进一步的详细讨论。