多元微分算子降维:欧拉算子、齐次性与坐标方向

它解决什么问题

有些多元微分题表面是偏导硬算,实际考的是先认出算子结构:

先认算子,再认齐次性或坐标方向,不要一上来展开链式法则。

核心定义 / 定理 / 结论

齐次函数

齐次函数,就是“不管怎么同比例缩放自变量,函数值只会按固定幂次缩放”的函数。

数学定义:如果,那么 就是一个 次齐次函数。

判断时不要急着求偏导,先看缩放阶数:
  • 是 次齐次。
  • 、 这类比例变量是 次齐次。
  • 的次数只由前面的幂决定,因为比例变量在缩放中不变。

欧拉缩放算子

定义,它表示沿 同比例缩放时的导数。

若 是 次齐次函数,即,则,只含 、 这类比例变量的函数是 次齐次,所以会被 杀掉。

要把它和以前学过的方向导数连起来看。普通方向导数是

其中 通常是单位方向向量。欧拉算子作用在 上是

所以 具有方向导数的含义,其方向向量是从原点指向当前点的径向向量 ,并未单位化。

令,径向单位向量为,则

关键结论: 等于径向单位方向导数乘以半径 ,它衡量从原点向外同比例缩放时的变化率。

在极坐标 下,径向方向导数就是 ,因此

缩放 等价于极坐标里的 、 不变,所以欧拉算子专门盯住“半径变、角度不变”的方向。

同时, 仍然只是一个一阶导数算子,所以加减、乘法、商法、链式法则都照常成立。不要因为写成“算子”就把它当成新的求导规则。

二阶欧拉算子

常见组合:

这是因为

指数替换消一阶项

在指数替换 下,常系数微分算子作用到 上时可等效平移: 替为 , 替为 。因此不用从头展开所有偏导,只要让新算子的一阶项系数为 。

方向算子因式分解

若,就应该找变量代换,让 变成某个单变量方向导数。

一般地,常系数二阶偏导组合可以先写成关于 的二次多项式:

由于二阶连续偏导下 ,可以暂时把 当成可交换的代数符号来因式分解。若

就说明原算子等于“沿一个方向求导,再沿另一个方向求导”。接下来要选变量代换,让这些方向算子尽量变成 这样的单变量偏导。

实方向能否分解,核心看判别式:

  • :两个不同实方向,通常可以拆成两个不同的一阶方向算子。
  • :一个重复实方向,例如 。
  • :实数范围内没有两个实方向因式,通常不按实方向算子分解处理。

这和 Hessian 极值判别中的 是同一二次型的相反符号:极值问题问“二次型是否同号”,方向算子问题问“能不能拆出实方向”。

非线性换元时不能把算子完全当代数式

一阶链式法则总是成立。若,则,但当 不是常数时,二阶算子不能直接把系数当常数平方。原因是算子再次作用时,也会作用到前面的变量系数上。比如一般有

多出来的 就是非线性换元可能产生的一阶导项。

最小例子:令,则,若原方程是,不能把 直接写成 。应先算,再对 求导:

同时 ,所以原方程化为

线性换元时,系数是常数,算子才可以像代数式一样展开;非线性换元时,必须按 逐层作用,不能把 当普通字母平方。

典型题型

  • :优先想欧拉算子和齐次性。
  • :优先改写为 。
  • :整体是 次齐次,直接用 。
  • :用算子平移消掉一阶偏导。
  • :先因式分解为 ,再选变量把方向算子变简单。
  • 隐函数中要求 :不要分别求 ,直接对隐式方程作用 。

常见误用

  • 把 误当成 ,漏掉 。
  • 看到 、 没有想到比例变量在缩放下不变。
  • 变量代换题先展开二阶偏导,没先检查二阶算子能不能因式分解。
  • 非线性换元时把变量系数当常数,直接把 平方成 。

链接