You need to enable JavaScript to run this app.
最新活动
大模型
产品
解决方案
定价
生态与合作
支持与服务
开发者
了解我们

实变量复值函数的微积分导数及差异咨询

实变量复值函数的微积分导数及差异咨询

嗨,我来帮你把这个问题掰扯清楚~

先从你举的那个模平方导数的例子说起:
当(f)是实值函数时,(|f(x)|^2 = f(x)^2),用乘积法则求导确实是(g'(x)=2f(x)f'(x)),这个没问题。但如果(f:\mathbb R\to \mathbb C)是复值函数,情况就不一样了——这里的(|f(x)|2)其实是(f(x))和它的共轭复数(\overline{f(x)})的乘积,也就是(|f(x)|2 = f(x)\cdot\overline{f(x)})。

这时候用乘积法则求导的话:
$$g'(x) = f'(x)\cdot\overline{f(x)} + f(x)\cdot\overline{f'(x)}$$
因为对实变量(x)求导时,共轭运算和求导运算可以交换(也就是(\frac{d}{dx}\overline{f(x)} = \overline{f'(x)})),所以这个式子也可以写成(2\operatorname{Re}\left[f(x)\cdot f'(x)\right])(实部的两倍)。你看,当(f)是实值函数时,(\overline{f(x)}=f(x)),这个式子就退化成了实值情况的结果,所以复值场景下是有变化的,不是直接沿用实值的公式。

接下来聊聊实微积分实变量复值函数微积分的核心差异:

  • 基础运算的兼容性:复值函数可以拆成实部和虚部,比如(f(x)=u(x)+iv(x)),其中(u(x),v(x))都是实值函数。这时候求导、积分这类基础操作都可以分解到实部和虚部分别进行:比如(f'(x)=u'(x)+iv'(x)),(\int_a^b f(x)dx = \int_a^b u(x)dx + i\int_a^b v(x)dx),这部分和实微积分是完全兼容的。
  • 复特有操作的差异:涉及到模、共轭、辐角这些复变量专属概念时,规则就和实值函数不一样了,比如刚才的模平方导数就是典型例子;再比如实值函数的绝对值导数有特定的分段规则,但复值函数的模的导数没有这么直接的对应。
  • 中值定理的失效:实值函数的拉格朗日中值定理在复值场景下不成立。比如取(f(x)=e{ix}),(f(2\pi)-f(0)=0),但(f'(x)=ie{ix})永远不为0,找不到任何(c\in(0,2\pi))使得(f(2\pi)-f(0)=f'(c)(2\pi-0))。
  • 积分的模性质:实值函数定积分的绝对值等于绝对值的积分(当函数不变号时),但复值函数定积分的模小于等于模的积分,也就是(\left|\int_a^b f(x)dx\right| \leq \int_a^b |f(x)|dx),等号成立的条件比实值场景更严格。

备注:内容来源于stack exchange,提问作者B. Baker

火山引擎 最新活动