←
PDF 842 / 1160 and a function h(t, x) can be found such that
→
English · PDF 842
Original PDF page 842
中文 · PDF 842

并且可以找到一个函数 h(t, x) 使得

$$\frac{\partial h}{\partial x} = p(t, x) \quad \text{and} \quad \frac{\partial h}{\partial t} = q(t, x) \quad (10.18)$$

则 (10.17) 等价于方程

$$\frac{dh}{dt} = 0$$

且解必为

$$h(t, x) = C$$

例 10.15 求解微分方程

$$2xt \frac{dx}{dt} + x^2 - 2t = 0$$

解 若 $h(t, x) = x^2t - t^2$ 则

$$\frac{\partial h}{\partial x} = 2xt \quad \text{and} \quad \frac{\partial h}{\partial t} = x^2 - 2t$$

于是微分方程化为如下形式

$$\frac{d}{dt}(x^2t - t^2) = 0$$

且解为

$$x^2t - t^2 = C$$

假设 $t > 0$ 和 $C > 0$ 解可以写成

$$x = \pm \sqrt{\left(t + \frac{C}{t}\right)}$$

因此,只要能猜出一个满足条件 (10.18) 的函数 h(t, x),我们就能求解形如 (10.17) 的方程。如果这样的函数不能立即看出,则有两种可能:其一是不存在这样的函数;其二是确实存在这样的函数,只是我们没有看出它是什么。下面我们将建立一种检验方法,使我们能够回答是否存在合适的函数 h(t, x) 这一问题,并给出一种程序,使我们在该函数存在时能够找到它。如果

$$\frac{\partial h}{\partial x} = p(t, x) \quad \text{and} \quad \frac{\partial h}{\partial t} = q(t, x)$$

则

$$\frac{\partial p}{\partial t} = \frac{\partial^2 h}{\partial x \partial t} = \frac{\partial q}{\partial x}$$