コーシー・リーマンの方程式

数学の複素解析の分野において、コーシー・リーマンの方程式（テンプレート:Lang-en-short）は、2つの偏微分方程式からなる方程式系であり、連続性と微分可能性と合わせて、複素関数が複素微分可能すなわち正則であるための必要十分条件をなす。コーシー・リーマンの関係式とも呼ばれる。オーギュスタン＝ルイ・コーシーおよびベルンハルト・リーマンの両者にちなんで名付けられた。この方程式系に最初に言及したのはジャン・ル・ロン・ダランベールの著作であるテンプレート:Sfn。後に、レオンハルト・オイラーはこの方程式系を解析関数と結びつけたテンプレート:Sfn。コーシーはさらにコーシー・リーマンの方程式を彼の関数論を構築するために用いたテンプレート:Sfn。関数論に関するリーマンの論文は1851年に発表されたテンプレート:Sfnテンプレート:Sfn。

実2変数の実数値関数の対 テンプレート:Math, テンプレート:Math に関するコーシー・リーマンの方程式は次の2つの方程式である。

$\begin{array}{cc}(\text{1a})& \frac{\partial u}{\partial x}=\frac{\partial v}{\partial y}\\ (\text{1b})& \frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}\end{array}$

通常、テンプレート:Mvar と テンプレート:Mvar は複素1変数 テンプレート:Math の複素数値関数のそれぞれ実部と虚部が取られる： テンプレート:Math。テンプレート:Mvar と テンプレート:Mvar は、テンプレート:Math から テンプレート:Math への関数と考えて、複素平面 テンプレート:Math の開部分集合の一点において実微分可能であると仮定する。これは テンプレート:Mvar と テンプレート:Mvar の偏微分が存在し、テンプレート:Mvar の小さい変分を線型に近似できることを意味する（偏導関数は連続とは限らない）。すると テンプレート:Math がその点で複素微分可能であることと テンプレート:Mvar と テンプレート:Mvar の偏微分がその点においてコーシー・リーマンの方程式 (1a), (1b) を満たすことが同値となる。コーシー・リーマンの方程式を満たす偏微分の存在だけではその点で複素微分可能とはいえない。テンプレート:Mvar と テンプレート:Mvar が実微分可能であることが必要であり、これは偏導関数の存在よりも強い条件であるが、これらの偏導関数が連続である必要はない。

正則性は複素関数が テンプレート:Math の開連結部分集合（これは テンプレート:Math の領域と呼ばれる）のすべての点において微分可能であるという性質である。したがって、複素関数 テンプレート:Mvar で、実部 テンプレート:Mvar と虚部 テンプレート:Mvar が実微分可能なものが正則であるための必要十分条件は、方程式 (1a), (1b) が扱っている領域の全体で満たされることである。正則関数は解析的であり、また逆も成り立つ。つまり、複素解析において、領域全体で複素微分可能（正則）な関数は解析関数と同じものである。これは実微分可能な関数に対しては成り立たない。

実際の用法としては、ある関数 テンプレート:Math が微分不可能であることを、コーシー・リーマンの方程式が成り立たないことから示すことが多い。

具体例

テンプレート:Mathとすると、複素関数 テンプレート:Mathは テンプレート:Math 平面上の全ての点で微分可能である。

$f(z)=(x+iy{)}^2=x^2-y^2+2ixy$

このとき、テンプレート:Math の実部 テンプレート:Math と虚部 テンプレート:Math は

$u(x,y)=x^2-y^2,v(x,y)=2xy.$

偏導関数は次のようになる。

$\frac{\partial u}{\partial x}=2x,\frac{\partial u}{\partial y}=-2y,\frac{\partial v}{\partial x}=2y,\frac{\partial v}{\partial y}=2x.$

これは

$\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y},\frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}$

であるから、

$\begin{array}{cc}(\text{1a})& \frac{\partial u}{\partial x}=\frac{\partial v}{\partial y}\\ (\text{1b})& \frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}\end{array}$

のコーシー・リーマンの方程式を満たしている。

解釈および再定式化

先述の等式は複素解析の文脈においてある関数が微分可能であるかの条件を示す一つの方法であった。言い換えれば、ひとつだけの複素変数を持つ関数（複素関数）の概念を、伝統的な微分法を用いて包括するものである。この概念を表すメジャーな方法は他にも幾つかあるが、しばしば他の言葉への言い換えが必要となる。

等角写像

まず、コーシー・リーマンの方程式は複素形式に書くことができる。

(2)テンプレート:Quad$i\frac{\partial f}{\partial x}=\frac{\partial f}{\partial y}$

この形式において、コーシー・リーマンの方程式は構造的にヤコビ行列が次の形式のものになる条件に等しい。

$\left(\begin{array}{cc}a& -b\\ b& a\end{array}\right)$

ただし、 $a=\partial u/\partial x=\partial v/\partial y$ および $b=\partial v/\partial x=-\partial u/\partial y$。この形式の行列は複素数の行列表現である。幾何学的には、そのような行列は常にテンプレート:仮リンクを伴う回転の合成写像であり、特に角度を保存する。関数 f(z) のヤコビアンはzにおいて2曲線の交差する点において無限小の線分を持ち、それらを f(z) の対応部分に回転する。従って、ゼロではない導関数を持つコーシー・リーマンの方程式を満たす関数は平面において曲線間の角度を保存する。すなわち、コーシー・リーマンの方程式はある関数が司る写像が等角写像であるための条件となる。

さらに、等角写像同士の合成もまた等角写像となることから、等角写像を伴うコーシー・リーマンの方程式の解の合成は、それ自体がコーシー・リーマンの方程式の解となる必要がある。よって、等角的に不変である。

複素微分可能性

$f(z)=u(z)+i\cdot v(z)$

が複素数 z の関数であると仮定する。すると点 z₀ での f の複素導関数は（以下のような極限が存在すると仮定すれば）次のように定義される。

$\underset{\underset{h\in ℂ}{h\to 0}}{\lim }\frac{f(z_0+h)-f(z_0)}{h}=f^{\prime }(z_0)$

もしこの極限が存在するならば、これは実軸または虚軸に沿って h → 0 という極限を取ることで計算することが可能で、どちらで計算するにしても同じ結果となるはずだということが言える。実軸に沿って近づけることで、以下を得る。

$\underset{\underset{h\in ℝ}{h\to 0}}{\lim }\frac{f(z_0+h)-f(z_0)}{h}=\frac{\partial f}{\partial x}(z_0)$

一方で、虚軸に沿って近づけることで以下を得る。

$\underset{\underset{h\in ℝ}{h\to 0}}{\lim }\frac{f(z_0+ih)-f(z_0)}{ih}=\frac{1}{i}\frac{\partial f}{\partial y}(z_0)$

これら2軸に沿って得た導関数は以下の等式で示されるように互いに等しい。

$i\frac{\partial f}{\partial x}(z_0)=\frac{\partial f}{\partial y}(z_0)$

これは点 z₀ におけるコーシー・リーマン方程式(2)に等しい。

逆に、もし f : ℂ → ℂ を ℝ² 上の関数であるとみなし、これが微分可能な関数であるなら、 f はコーシー・リーマン方程式を必要十分条件として複素微分可能である。言い換えれば、もし u と v が実微分可能な2つの実数の変数の関数であるなら、 u + iv は明らかに(複素数値の)実微分可能な関数であるが、 u + iv はコーシー・リーマン方程式を必要十分条件として複素微分可能である。

テンプレート:Harvtxtに従い、 f を開集合 Ω ⊂ ℂ に定義された複素関数とする。すると、あらゆる z ∈ Ω に関して テンプレート:Nowrap を書くことで、 Ω を ℝ² の開部分集合であると見なすことができ、 f を2実数 x と y の関数であると見なすことできる。これは Ω ⊂ ℝ² を ℂ に写すものである。ここで、 z = z₀ においてコーシー・リーマン方程式を考える。 f がΩからのℂの2実変数の関数であり　z₀ で微分可能であると仮定する。これは次の線型近似が存在することを仮定することに等しい。

$f(z_0+\mathrm{\Delta }z)-f(z_0)=f_x\mathrm{\Delta }x+f_y\mathrm{\Delta }y+\eta (\mathrm{\Delta }z)\mathrm{\Delta }z$

ただし、 z = x + iy で、 Δz → 0 なので η(Δz) → 0。$\mathrm{\Delta }z+\mathrm{\Delta }\overline{z}=2\mathrm{\Delta }x$ および $\mathrm{\Delta }z-\mathrm{\Delta }\overline{z}=2i\mathrm{\Delta }y$であるから、以上の式は以下のように書き直すことができる。

$\mathrm{\Delta }f(z_0)=\frac{f_x-i{f}_y}{2}\mathrm{\Delta }z+\frac{f_x+i{f}_y}{2}\mathrm{\Delta }\overline{z}+\eta (\mathrm{\Delta }z)\mathrm{\Delta }z$

2つのウィルティンガーの微分を以下のように定義する。

$\frac{\partial }{\partial z}=\frac{1}{2}(\frac{\partial }{\partial x}-i\frac{\partial }{\partial y}),\frac{\partial }{\partial \overline{z}}=\frac{1}{2}(\frac{\partial }{\partial x}+i\frac{\partial }{\partial y})$

極限 $\mathrm{\Delta }z\to 0,\mathrm{\Delta }\overline{z}\to 0$ では上の等式は以下のように書くことができる。

${\frac{df}{dz}|}_{z=z_0}={\frac{\partial f}{\partial z}|}_{z=z_0}+{\frac{\partial f}{\partial \overline{z}}|}_{z=z_0}\cdot \frac{d\overline{z}}{dz}+\eta (\mathrm{\Delta }z),(\mathrm{\Delta }z\ne 0).$

ここで極限が原点で取られたときに $d\overline{z}/dz$ が取りうる値を考える。実直線に沿った z に関して、$\overline{z}=z$なので、$d\overline{z}/dz=1$。同様に、純虚数の z に関して $d\overline{z}/dz=-1$ なので、$d\overline{z}/dz$は原点においてwell-definedではない。 $d\overline{z}/dz$がどんな複素数 z に関してもwell-definedでないことは容易に確認できるので、$z=z_0$で $(\partial f/\partial \overline{z})=0$ を必要十分条件として f は z₀ で 複素微分可能である。これはまさにコーシー・リーマン方程式であり、 f は z₀ で z₀ でのコーシー・リーマン方程式を必要十分条件として微分可能である。

関連項目

• ウィルティンガーの微分
• テンプレート:仮リンク
• モレラの定理

参考文献

• テンプレート:Cite book
• テンプレート:Citation.
  • テンプレート:Cite book
• テンプレート:Citation.
• テンプレート:Citation
• テンプレート:Citation.
• テンプレート:Citation.
  • テンプレート:Cite book
  • テンプレート:Cite book
• テンプレート:Citation
• テンプレート:Citation.
• テンプレート:Citation; translated by Frances Hardcastle.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation
• テンプレート:Citation
  • テンプレート:Cite book - 「複素一変数関数の一般論の基礎」、笠原乾吉 訳、1-43頁。
• テンプレート:Citation.
• テンプレート:SpringerEOM
• テンプレート:Citation.

外部リンク

• テンプレート:Kotobank
• テンプレート:MathWorld
• Cauchy–Riemann Equations Module by John H. Mathews