05-微分算子 D

依赖于

被以下题目直接调用

正文部分

好的记号常常既带给我们方便, 又带给我们启发, 微分算子 D 就是这样一个记号.

  1. 对于复值可导函数 , 用 表示 , 则对任何 , 有
  1. 一般地, 对于 (复) 多项式

以及 n 阶可导的复值函数 F, 定义

则对任何 , 成立

  1. 若用 表示满足 的某个函数 , 则

上式理解为等式两边差一个 Dy = 0 的解, 即差一个常数 C.

  1. 对于非负整数 以及复数 , 我们有

进而可见存在多项式 使得

由此不难验证

上式理解为等式两边差一个 的解, 即两者之差为 . 以上性质把求导的逆运算转化为求导运算, 非常有趣.

例 5.1

例 5.1

计算 .

可以利用求高阶导数的 Leibniz 公式, 也可以这样写

例 5.2

例 5.2

, 计算

,则

例 5.3

例 5.3

计算

例 5.4

例 5.4

上有二阶导数, 满足

其中 . 证明:

证明 不妨设 . 注意到

我们有

所以

进而

最后,立即可得

注 5.1 ^zhu-5-1 利用 为实函数, (5.1)式蕴涵 从而得到

另一方面, 也可以同理得到 与 (5.1) 式两式相减后得到

例 5.4 的解答方法体现了如何一般地将已知极限关系式中出现的最高阶导数依次去除.

注 5.2 ^zhu-5-2 利用例5.3的方法, 可得以下结论: 设 上有 阶导数, 且

其中 的所有根都具有负实部. 则此时必有 ,

例 5.5

例 5.5

上连续, 在 内可导, . 证明: 存在 使得 .

证明 我们要证的是存在 使得 . 注意到

我们令 , 则 上连续, 在 内可导, 且 . 从而存在 使得 , 此即 .

例 5.6

例 5.6

上二阶可导, , , . 证明: 存在 使得 .

证明 在这种类型的问题中, 等式 中关于 及其各阶导数仍然是线性的, 但 除了出现在 的最高阶导数之中外, 还出现在其他阶的导数 (或函数本身) 之中. 通常此时可以寻找满足以下方程的解:

解得 . 然后记 , 则问题转化为在 二阶可导, 且 的情况下, 证明存在 使得 . 我们看到, 这就是例4.12. 以下我们采用另一种方法利用线性性证明.

我们有

于是, 令 , 则 . 因此, 由中值定理, 存在 使得 . 再令 , 则 . 于是, 存在 使得 . 此即 , 亦即 .

例 5.7

例 5.7

上连续, 在 内有二阶导数, 满足 以及 , 其中实数 满足 . 证明: 在 上恒有 .

证明 法I 我们有

其中

,则 上连续,在 内有二阶导数,且

  1. , 则 为凸函数, 立即得到 , 即 .

  2. . 此时, 若结论不真, 则有 使得 . 我们有 . 另一方面, 由假设条件, . 矛盾. 因此, 必有 .

法II 我们有

其中 的两个实根.

, 则 上连续, 在 内有二阶导数, 且 , 因此, 存在 使得 . 注意到

再令 ,则 内可导,且

所以 内单调增加. 注意到 , 我们有

所以

从而 单调减少,在 上单调增加. 所以