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

出典: フリー百科事典『ウィキペディア(Wikipedia)』
Jump to navigation Jump to search

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

実2変数の実数値関数の対 u(x, y), v(x, y) に関するコーシー・リーマンの方程式は次の2つの方程式である:

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

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

実際の用法としては、ある関数 f(z) が微分不可能であることを、コーシー・リーマンの方程式が成り立たないことから示すことが多い[5]

具体例[編集]

z = x + iyとすると、複素関数 f(z) = z2z 平面上の全ての点で微分可能である。

このとき、f(z) の実部 u と虚部 v

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

これは

であるから、

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

解釈および再定式化[編集]

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

等角写像[編集]

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

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

ただし、 および 。この形式の行列は複素数の行列表現である。幾何学的には、そのような行列は常に相似拡大英語版を伴う回転合成写像であり、特に角度を保存する。関数 f(z) のヤコビアンはzにおいて2曲線の交差する点において無限小の線分を持ち、それらを f(z) の対応部分に回転する。従って、ゼロではない導関数を持つコーシー・リーマンの方程式を満たす関数は平面において曲線間の角度を保存する。すなわち、コーシー・リーマンの方程式はある関数が司る写像等角写像であるための条件となる。

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

関連項目[編集]

脚注[編集]

参考文献[編集]

外部リンク[編集]