博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
Schwarz积分公式
阅读量:7042 次
发布时间:2019-06-28

本文共 3098 字,大约阅读时间需要 10 分钟。

设$f\in H(B(0,R))\cap C(\overline{B(0,R)})$,且$f=u+iv$,则$f$可用其实部表示为

$$f(z)=\frac{1}{2\pi}\int_{0}^{2\pi}\frac{Re^{i\theta}+z}{Re^{i\theta}-z}u(Re^{i\theta}){\rm d}\theta+iv(0)$$

这是史济怀《复变函数》P117的第8题,方法很多,这里写两种。

方法一:$\forall z\in B(0,R)$,由Cauchy积分公式$$f(z)=\frac{1}{2\pi i}\int_{\partial B(0,R)}\frac{f(\zeta)}{\zeta-z}{\rm d}\zeta=\frac{1}{2\pi}\int_{0}^{2\pi}f(\zeta)\frac{\zeta}{\zeta-z}{\rm d}\theta\tag{1}$$

而$z$关于$\partial B(0,R)$的对称点为$z^*=\frac{R^2}{\overline{z}}$在圆外,所以由Cauchy积分定理$$0=\frac{1}{2\pi i}\int_{\partial B(0,R)}\frac{f(\zeta)}{\zeta-\frac{R^2}{\overline{z}}}{\rm d}\zeta=\frac{1}{2\pi}\int_{0}^{2\pi}f(\zeta)\frac{\zeta\overline{z}}{\zeta\overline{z}-R^2}{\rm d}\theta\tag{2}$$

(1)-(2)得$$f(z)=\frac{1}{2\pi}\int_{0}^{2\pi}f(\zeta)\left(\frac{\zeta}{\zeta-z}-\overline{\left(\frac{z}{z-\zeta}\right)}\right){\rm d}\theta=\frac{1}{2\pi}\int_{0}^{2\pi}f(\zeta)\frac{R^2-|z|^2}{\left|\zeta-z\right|^2}{\rm d}\theta$$

如果记$P(\zeta,z)=\frac{1}{2\pi}\frac{R^2-|z|^2}{\left|\zeta-z\right|^2}$(这个被称为Poisson核),并在上面的等式两边取实部便有$$u(z)=\int_{0}^{2\pi}u(\zeta)P(\zeta,z){\rm d}\theta$$

这个公式被称为Poisson公式,在Dirchlet问题中很有用.

我们注意到Poisson核$$\frac{1}{2\pi}\frac{R^2-|z|^2}{|\zeta-z|^2}=\frac{1}{2\pi}{\rm Re}\frac{\zeta+z}{\zeta-z}$$

因此全纯函数$f$的实部也是如下函数的实部$$g(z)=\frac{1}{2\pi}\int_{0}^{2\pi}u(\zeta)\frac{\zeta+z}{\zeta-z}{\rm d}\theta$$

不难验证函数$g(z)$在$B(0,R)$中全纯,而${\rm Re}g(z)={\rm Re}f(z)$,这说明$f,g$至多相差一个常数.设$$f(z)=\frac{1}{2\pi}\int_{0}^{2\pi}u(\zeta)\frac{\zeta+z}{\zeta-z}{\rm d}\theta+C$$

其中$C\in\mathbb C$为常数,下面来确定$C$的值.在上式中令$z=0$,可得\begin{align*}f(0)&=\frac{1}{2\pi}\int_{0}^{2\pi}u(\zeta){\rm d}\theta+C=u(0)+C\\\Rightarrow C&=iv(0)\end{align*}

所以可以得到Schwarz积分公式$$f(z)=\frac{1}{2\pi}\int_{0}^{2\pi}u(\zeta)\frac{\zeta+z}{\zeta-z}{\rm d}\theta+iv(0).$$

方法一:$f$可在$B(0,R)$中展开成幂级数$$f(z)=\sum_{n=0}^{\infty}a_{n}z^n$$

其中\begin{align*}a_{n}&=\frac{1}{2\pi i}\int_{\partial B(0,R)}\frac{f(\zeta)}{\zeta^{n+1}}{\rm d}\zeta\\\Rightarrow a_{n}R^n&=\frac{1}{2\pi}\int_{0}^{2\pi}f(\zeta)e^{-in\theta}{\rm d}\theta\end{align*}

注意到$\int_{\partial B(0,R)}f(\zeta)\zeta^{n-1}{\rm d}\zeta=0,\forall n\geq1$.可得\begin{align*}0&=\int_{0}^{2\pi}\overline{f(\zeta)}e^{-in\theta}{\rm d}\theta\\\Rightarrow a_{n}R^n&=\frac{1}{\pi}\int_{0}^{2\pi}u(\zeta)e^{-in\theta}{\rm d}\theta,n\geq1\end{align*}

所以\begin{align*}f(z)=f(0)+\sum_{n=1}^{\infty}a_{n}R^n\left(\frac{z}{R}\right)^n&=f(0)+\frac{1}{\pi}\sum_{n=1}^{\infty}\int_{0}^{2\pi}u(\zeta)\left(\frac{z}{\zeta}\right)^n{\rm d}\theta\end{align*}

注意到$\left|u(\zeta)\left(\frac{z}{\zeta}\right)^n\right|\leq M\left(\frac{|z|}{R}\right)^n$,可知函数项级数$\sum u(\zeta)\left(\frac{z}{\zeta}\right)^n$关于$\theta$一致收敛,因此可交换积分与求和次序\begin{align*}f(z)&=f(0)+\frac{1}{\pi}\int_{0}^{2\pi}u(\zeta)\sum_{n=1}^{\infty}\left(\frac{z}{\zeta}\right)^n{\rm d}\theta=f(0)+\frac{1}{\pi}\int_{0}^{2\pi}u(\zeta)\frac{z}{\zeta-z}{\rm d}\theta\\&=f(0)+\frac{1}{2\pi}\int_{0}^{2\pi}u(\zeta)\frac{\zeta+z}{\zeta-z}{\rm d}\theta-u(0)\end{align*}

同样可以得到Schwarz积分公式$$f(z)=\frac{1}{2\pi}\int_{0}^{2\pi}u(\zeta)\frac{\zeta+z}{\zeta-z}{\rm d}\theta+iv(0).$$

转载于:https://www.cnblogs.com/qq3232361332/p/4565974.html

你可能感兴趣的文章
UITableView基础[ 3 ] 使用UIRefreshControl实现下拉刷新功能
查看>>
el-admin v1.7 发布,后台管理系统
查看>>
JFinal 开发的内容管理系统 JFinalCMS 1.0 发布
查看>>
Gitea Extension for Visual Studio V1.0.62 发布
查看>>
PHP7 的抽象语法树(AST)带来的变化
查看>>
如何在Mac 终端升级ruby版本
查看>>
国际编程教育权威科学家菲利普.米勒教授来访 SegmentFault 总部
查看>>
API 标准化成为技术团队面临的最大挑战
查看>>
CSS 小三角
查看>>
Ruby on Rails 曝路径穿越与任意文件读取漏洞
查看>>
分享一个基于 Node.js 的 Web 开发框架 - Nokitjs
查看>>
mysql 简单全量备份和快速恢复
查看>>
全面解密QQ红包技术方案:架构、技术实现、移动端优化、创新玩法等 ...
查看>>
Python进阶:设计模式之迭代器模式
查看>>
Java是如何实现平台无关性的
查看>>
线上马戏团对接协议部分介绍
查看>>
一文纵览自然语言生成的发展
查看>>
常见seo骗局
查看>>
RNA药物研发初创公司Panorama Medicine完成370万美元种子轮融资 ...
查看>>
hanlp提取文本关键词的使用方法记录
查看>>