柯西-黎曼方程

✍ dations ◷ 2024-12-23 16:25:48 #偏微分方程,复分析,调和函数,方程,伯恩哈德·黎曼,奥古斯丁·路易·柯西

复分析中的柯西-黎曼微分方程(英语:Cauchy–Riemann equations)是提供了可微函数在开集中为全纯函数的充要条件的两个偏微分方程,以柯西和黎曼得名。这个方程组最初出现在达朗贝尔的著作中。后来欧拉将此方程组和解析函数联系起来。 然后柯西采用这些方程来构建他的函数理论。黎曼关于此函数理论的论文于1851年问世。

在一对实值函数(,)和(,)上的柯西-黎曼方程组包括两个方程:

通常,和取为一个复函数的实部和虚部:( + i) = (,) + i(,)。假设和在开集C上连续可微,则当且仅当和的偏微分满足柯西-黎曼方程组(1a)和(1b),=+i是全纯的

柯西-黎曼方程常常表述为其他形式。首先,它们可以写成复数形式:

在此形式中,方程对应于雅可比矩阵结构上有如下形式

其中 a = u / x = v / y {\displaystyle a=\partial u/\partial x=\partial v/\partial y} 独立于变量 z ¯ {\displaystyle {\bar {z}}} ∈C的函数,则在点0的复导数定义为

如果该极限存在。

若该极限存在,则可以取→0沿着实轴或者虚轴的极限;它在两种情况下应该给出同样的结果。从实轴逼近,得到

而从虚轴逼近有

沿着两个轴的导数相同也即

这就是在点0的柯西-黎曼方程(2)。

反过来,如果:C → C作为映射到R2上的函数可微,则复可微当且仅当柯西-黎曼方程成立。

柯西-黎曼方程的一个解释(Pólya & Szegö 1978)和复变理论无关。设和在R2的开子集上满足柯西-黎曼方程,考虑向量场

将其视为(实)两个分量的向量。则第二个柯西-黎曼方程(1b)断言 f ¯ {\displaystyle {\bar {f}}} 和成立,则如下方程也成立

对于任何坐标((,), (,)),如果它们满足 ( n , s ) {\displaystyle \scriptstyle (\nabla n,\nabla s)} =iθ下,方程组有如下形式

结合成一个的方程,就有

非齐次柯西-黎曼方程由两个未知两个实变量的函数(,)和(,)的方程组成

对于给定的定义在R2的开子集上的函数α(,)和β(,)。这些方程经常合并为一个方程。

其中=+i,φ=(α+iβ)/2。

若φ是Ck的,则在有界区域中方程显式可解,只要φ在的闭包上连续。实际上,按照柯西积分公式,

对于所有ζ∈成立。

设 = +i为复函数,作为函数 : R2 → R2可微。则柯西积分定理(柯西-古尔萨定理)断言在开复域Ω上解析当且仅当它在该域上满足柯西-黎曼方程(Rudin 1966,Theorem 11.2)。特别是,不需假定为连续可微(Dieudonné 1969,§9.10, Ex. 1)。

柯西-古尔萨定理的假设可以大幅减弱;不需可微,只要=+i在Ω上连续且关于和的偏导数在Ω中存在即可,这个结果称为Looman–Menchoff定理。

在整个域Ω上满足柯西-黎曼方程是要点。可以构造在一点满足柯西-黎曼方程的连续函数,但它不在该点解析(譬如,() = 5/|z|4)。只满足柯西-黎曼方程也是不够的,(需额外满足连续性),下面的例子表明了这一点:(Looman 1923,p.107)

它处处满足柯西-黎曼方程,但在=0不连续。

但是,如果一个函数在开集上以弱形式满足柯西-黎曼方程,则函数解析。更精确的讲(Gray & Morris 1978,Theorem 9):

在多复变量的理论中有对柯西-黎曼方程的恰当推广。他们组成一个偏微分方程的严重过约束系统。通常的表述中,

将全纯函数消零。这是

的直接推广其中

相关

  • 艾西维娅·莱伊艾丝维亚·雷(英语:Aishwarya Rai,印地语:ऐश्वर्या राय,1973年11月1日-);婚后冠夫姓为:艾丝维亚·雷·巴克罕(Aishwarya Rai Bachchan)是著名的印度女演员、模特儿及世界小
  • 联合国联合国创设于1945年,但直到2008年12月,才首度正式触及性倾向或性别认同的议题。当时,以欧盟为首的一方,向联合国大会提交一份由荷兰、法国发起的声明(A/63/635),计划在表决通过后成
  • 吴珂鸣吴珂鸣,字新方,号耕芳,又号蕊渊,江南武进县人。清朝翰林。顺治十四年(1657年)丁酉科江南乡试中式举人。此科发榜后,物议沸腾,顺治帝下令严查,并命新科举人到京亲自复试。试后,斥革者方
  • 武陟县武.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-setting
  • 逍遥派逍遥派是金庸小说《天龙八部》里的一个虚构门派,其门下弟子个个不凡,男俊女美,潇洒飘逸,聪慧异常。北宋初年的逍遥派开山祖师有三名弟子:天山童姥、无崖子、李秋水。后来逍遥派祖
  • 红网牛肝菌红网牛肝菌(学名:、褐黄牛肝菌、见手青、摸青菰), 是牛肝菌属的一种真菌,分布在欧洲和北美洲东部的落叶林地。该真菌通常在夏天和秋天出现。伞盖为橄榄褐色,伞柄为红色网状,和别的
  • HtopHtop是一款运行于Linux系统监控与进程管理软件,用于取代Unix下传统的top。与top只提供最消耗资源的进程列表不同,htop提供所有进程的列表,并且使用彩色标识出处理器、swap和内
  • 威廉·冯·米尔巴赫威廉·冯·米尔巴赫(德语:Wilhelm von Mirbach,1871年7月2日-1918年7月6日)德国外交官,生于奥地利上奥地利州巴德伊舍天主教贵族家庭,1908年至1911年在德国驻圣彼得堡大使馆担任办
  • 丁同三丁同三(1926年-2005年6月14日),台湾登山家,江苏宜兴人,天主教教徒,台湾岳界四大天王之一,绰号老山羊,从青少年时代就喜欢登山,十七岁时已经登过黄山,是台湾第三位完成攀爬百岳壮举的人,
  • 周退密周退密(1914年9月2日-2020年7月16日),原名昌枢,号石窗,斋名红豆宦、退密楼、安亭草阁,生于浙江宁波,中国学者、收藏家、史学家、书法家。祖籍浙江鄞县,是房产大王兼大收藏家周湘云侄