微分方程概念

概念 #

微分方程(Differential Equation)是包含未知函数及其导数的方程。未知函数导数的最高阶数称为该微分方程的阶。

若未知函数是一元函数的微分方程称为常微分方程(Ordinary Differential Equation, ODE) :

\[ F\left(x, y, y', y'', \dots, y^{(n)}\right) = 0 \]

如果微分方程是关于未知函数及各阶导数的线性表达式(将只包含 \(x\) 的项视为常数),则称为 n 阶线性(linear)常微分方程。

\[ y^{(n)} + a_1(x)y^{(n-1)} + \cdots + a_{n-1}(x)y' + a_n(x)y = f(x) \]

若未知函数是多元函数,方程中含有自变量的偏微分,称之为偏微分方程(Partial Differential Equations, PDE)。

\[ \frac{\partial^2 T}{\partial x^2} + \frac{\partial^2 T}{\partial y^2} + \frac{\partial^2 T}{\partial z^2} = 0 \]

如果将一个函数 \(y = \varphi(x)\) 其各阶导数代入微分方程得到恒等式:

\[ F\left(x, \varphi(x), \varphi'(x), \varphi''(x), \ldots, \varphi^{(n)}(x)\right) \equiv 0 \]

则称 \(y = \varphi(x)\) 为上述方程的一个解(solution)。n 阶微分方程的解 \(y = \varphi\left(x, C_1, C_2, \cdots, C_n\right)\) 含有 n 个相互独立的任意常数 \(C_1, C_2, \cdots, C_n\),则称为该微分方程的通解(general solution),称不包含任意常数的解为特解(particular solution)。

通常为了解决实际问题,确定常数的值,需要引入初值条件(initial conditions)。初值条件联合微分方程组成初值问题(Initial Value Problem, IVP)。一阶常微分方程的初值问题通常记作:

\[ \begin{cases} y' = f(x, y), \\ y(x_0) = y_0 \end{cases} \]

例子 #

已知一静止物体质量为 \(1kg\),受到向右的力 \(F\),大小为\(|F| = 2t\) ,求速率 \(v\) 与时间 \(t\) 的关系。

解:根据牛顿第二定律,\(F = ma \Rightarrow F = m\frac{dv}{dt} = 2t\),代入 \(m = 1\),得

\(\frac{dv}{dt} = 2t\),整理可得 \(dv = 2tdt\),两边积分:

\(\int{dv} = \int{2tdt}\),得 \(v=t^2+c\),根据\(t=0\)时,\(v=0\),可得 \(C=0\),从而得到

\(v=t^2\)


衰减模型,应用场景碳-14测年(Carbon-14 dating)等

\( x' = -rx \),其中 \(r\) 为衰减率,这里假定为固定值,\(x\) 为关于 \(t\) 的函数

可以表示为 \(\frac{x'}{x} = -r \),

观察发现\(\frac{x'}{x} = \frac{d}{dt} \ln x\),可得 \( \frac{d}{dt} \ln x\ = -r \),两边对 \(t\) 积分

\( \int{\frac{d}{dt} \ln x} dt = - \int r dt \),可得

\(\ln x = -rt + C_1\),其中 \(C_1\) 为任意常数,进一步化简

\( x = e^{-rt + C_1} = e^{C_1}e^{-rt} = Ce^{-rt}\),其中 \(C = e^{C_1}\) 也为任意常数

如果对 \(x(t)\) 施加初始条件如\(x(0) = x0\),则能确定任意常数C

解的几何意义 #

微分方程的解对应的曲线称为积分曲线(integral curvesolution curve)。若不给定初始条件,微分方程的通解在几何上对应着一族积分曲线,称为积分曲线族(family of integral curves)。

考虑微分方程 \(y'=f(x,y)\),此方程的解有如下几何意义:
积分曲线在\(xy\) 平面中过点 \((x,y)\)的斜率值为 \(f(x,y)\)。

若 \(f(x,y)\) 的定义域为 \(xy\) 平面 \(G\) ,在 \(G\) 内每一点 \((x,y)\) 作斜率为 \(f(x,y)\) 的单位线段,则称该线段为点 \((x,y)\) 的线素。\(G\) 内所有的线素构成由微分方程确定的线素场(line element field)或方向场(direction field)。线素场的等斜线(isocline)为拥有相同的斜率 \(f(x,y) = k\) 的所有线素。线素场的零斜线(nullclines)为斜率为零的所有线素。

所以说,方向场描绘出了微分方程积分曲线的大致走向。通过等斜线或零斜线将平面分成若干区域,分析每个区域内斜率变化规律,可以帮助推测积分曲线的大致走势。

下图为微分方程 \( x' = -x + 2t, -1 \le t \le 4, -4 \le x \le 8 \) 的方向场,显示了几条解曲线;如果施加初始条件 \( x(t_0) = x_0 \) ,则对应经过点\((t_0, x_0)\)的那条。