调和函数的Taylor展开
DreamAR

看论文的时候用到了一个结论, 想了一会发现确实是对的. 震撼于这么简单而有用的命题为什么之前没学过, 在此记录一下.

命题 1. 调和函数的任意k次Taylor展开为调和多项式.

证: 取调和函数u, 记其k次Taylor展开式为hk. k=0,1时平凡. k=2时, xixj项不对调和项产生影响. 对于xi2项, 求Δ后为常数, 因此只需说明Δhk后在一点处取零即可. 我们在原点考察, 函数本身在原点有Δu=0, 同时余项uhk为高阶项, 求二阶导后在原点也取零, 这就迫使Δhk在原点也取零, 进而处处为零. 注意对余项的考察用到了调和函数的解析性.

对于k3, 归纳地, 假设k1次展开式都是调和多项式. iuk1次Taylor展开式为ihk, 由于调和函数的导数仍是调和函数, iΔhk=Δihk=0. 这样多项式Δhk各阶导数为零, Δhk为常数. 而hkhk1k次齐次多项式, Δ(hkhk1)=Δhkk2次齐次多项式, 又是常数, 只能取零.

文章最后更新于 2022-03-30 16:45:54

  • 本文标题:调和函数的Taylor展开
  • 本文作者:DreamAR
  • 创建时间:2022-03-30 16:45:53
  • 本文链接:https://dream0ar.github.io/2022/03/30/调和函数的Taylor展开/
  • 版权声明:本博客所有文章除特别声明外,均采用 BY-NC-SA 许可协议。转载请注明出处!
 评论