コーシー・リーマンの方程式のソースを表示

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

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

: <math>
\begin{align}
(\text{1a})\qquad & \frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} \\[6pt]
(\text{1b})\qquad & \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}
\end{align}
</math>

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

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

実際の用法としては、ある関数 {{math|''f''(''z'')}} が微分不可能であることを、コーシー・リーマンの方程式が成り立たないことから示すことが多い<ref name="tokyo 2006">{{cite book|author=Tokyo Institute of Technology|year=2006|title=第4章 正則関数|url=http://www.th.phys.titech.ac.jp/~muto/lectures/Amath06/am_chap04.pdf}}</ref>。

== 具体例 ==
{{math|''z'' {{=}} ''x'' + ''iy''}}とすると、複素関数 {{math|1=''f''(''z'') {{=}} ''z''<sup>2</sup>}}は {{math|''z''}} 平面上の全ての点で微分可能である。
:<math>f(z)=(x + i y)^{2} = x^{2} - y^{2} + 2ixy</math>
このとき、{{math|''f''(''z'')}} の実部 {{math|''u''}} と虚部 {{math|''v''}} は
:<math>u(x, y) = x^{2} - y^{2}</math>
:<math>v(x, y)=2xy</math>
偏導関数は次のようになる。
:<math>\dfrac{ \partial u }{ \partial x } = 2x</math>
:<math>\dfrac{ \partial u }{ \partial y } = -2y</math>
:<math>\dfrac{ \partial v }{ \partial x } = 2y</math>
:<math>\dfrac{ \partial v }{ \partial y } = 2x</math>
これは
: <math>\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} </math>
: <math>\frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x} </math>
であるから、
: <math>
\begin{align}
(\text{1a})\qquad & \frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} \\[6pt]
(\text{1b})\qquad & \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}
\end{align}
</math>
のコーシー・リーマンの方程式を満たしている<ref name="tokyo 2006"/>。

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

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

:(2){{quad}}<math>{ i \dfrac{ \partial f }{ \partial x } } = \dfrac{ \partial f }{ \partial y } </math>

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

:<math>
\begin{pmatrix}
  a &   -b  \\
  b & \;\; a  
\end{pmatrix}
</math>

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

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

=== 複素微分可能性 ===
: <math> f(z) = u(z) + i \cdot v(z) </math>
が複素数 ''z'' の関数であると仮定する。すると点  ''z''<sub>0</sub>  での ''f'' の複素導関数は（以下のような極限が存在すると仮定すれば）次のように定義される。
: <math>\lim_{\underset{h\in\mathbb{C}}{h\to 0}} \frac{f(z_0+h)-f(z_0)}{h} = f'(z_0)</math>
もしこの極限が存在するならば、これは実軸または虚軸に沿って ''h''&nbsp;→ 0 という極限を取ることで計算することが可能で、どちらで計算するにしても同じ結果となるはずだということが言える。実軸に沿って近づけることで、以下を得る。
:<math>\lim_{\underset{h\in\mathbb{R}}{h\to 0}} \frac{f(z_0+h)-f(z_0)}{h} = \frac{\partial f}{\partial x}(z_0)</math>
一方で、虚軸に沿って近づけることで以下を得る。
:<math>\lim_{\underset{h\in \mathbb{R}}{h\to 0}} \frac{f(z_0+ih)-f(z_0)}{ih} =\frac{1}{i}\frac{\partial f}{\partial y}(z_0)</math>
これら2軸に沿って得た導関数は以下の等式で示されるように互いに等しい。
:<math>i\frac{\partial f}{\partial x}(z_0)=\frac{\partial f}{\partial y}(z_0)</math>
これは点 ''z''<sub>0</sub> におけるコーシー・リーマン方程式(2)に等しい。

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

{{harvtxt|Rudin|1966}}に従い、 ''f'' を開集合 Ω&nbsp;⊂ ℂ に定義された複素関数とする。すると、あらゆる ''z''&nbsp;∈ Ω に関して {{nowrap|''z'' {{=}} ''x'' + i''y''}} を書くことで、 Ω を ℝ<sup>2</sup> の開部分集合であると見なすことができ、 ''f'' を2実数 ''x'' と ''y'' の関数であると見なすことできる。これは Ω&nbsp;⊂ ℝ<sup>2</sup> を ℂ に写すものである。ここで、 ''z''&nbsp;= ''z''<sub>0</sub> においてコーシー・リーマン方程式を考える。 ''f'' がΩからのℂの2実変数の関数であり　''z''<sub>0</sub> で微分可能であると仮定する。これは次の線型近似が存在することを仮定することに等しい。

:<math> f(z_0 + \Delta z) - f(z_0) = f_x \,\Delta x + f_y \,\Delta y + \eta(\Delta z) \,\Delta z \,</math>

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

:<math> \Delta f(z_0) = \frac{f_x - if_y}{2} \, \Delta z + \frac{f_x + if_y}{2} \, \Delta \bar{z} + \eta(\Delta z) \, \Delta z\, </math>

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

:<math> \frac{\partial}{\partial z} = \frac{1}{2} \Bigl( \frac{\partial}{\partial x} - i \frac{\partial}{\partial y} \Bigr), \;\;\; \frac{\partial}{\partial\bar{z}}= \frac{1}{2} \Bigl( \frac{\partial}{\partial x} + i \frac{\partial}{\partial y} \Bigr)</math>

極限 <math>\Delta z \rightarrow 0,\Delta \bar{z} \rightarrow 0</math> では上の等式は以下のように書くことができる。

: <math>\left.\frac{df}{dz}\right|_{z=z_0} = \left.\frac{\partial f}{\partial z}\right |_{z=z_0} + \left.\frac{\partial f}{\partial\bar{z}}\right |_{z=z_0} \cdot \frac{d\bar{z}}{dz} + \eta(\Delta z), \;\;\;\;(\Delta z \neq 0).</math>

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

==関連項目==
*{{仮リンク|複素解析のトピックのリスト|en|List of complex analysis topics}}
*[[モレラの定理]]
*[[ウィルティンガーの微分]]

== 脚注 ==
{{reflist|30em}}

== 参考文献 ==
*{{citation|first=Lars|last=Ahlfors|authorlink=Lars Ahlfors|title=Complex analysis|publisher=McGraw Hill|year=1953|publication-date=1979|edition=3rd|isbn=0-07-000657-1}}.
*{{citation|first=J.|last=d'Alembert|authorlink=Jean le Rond d'Alembert|title=Essai d'une nouvelle théorie de la résistance des fluides|url=http://gallica2.bnf.fr/ark:/12148/bpt6k206036b.modeAffichageimage.f1.langFR.vignettesnaviguer|publication-place=Paris|year=1752}}.
*{{citation|first=A.L.|last=Cauchy|authorlink=Augustin Cauchy|title=Mémoire sur les intégrales définies, |series=Oeuvres complètes Ser. 1|volume=1|publication-place=Paris|year=1814|publication-date=1882|pages=319–506}}
* {{citation|url=http://espace.library.uq.edu.au/view/UQ:119883|last=Chanson|first=H.|year=2007|title=Le Potentiel de Vitesse pour les Ecoulements de Fluides Réels: la Contribution de Joseph-Louis Lagrange." ('Velocity Potential in Real Fluid Flows: Joseph-Louis Lagrange's Contribution.')|journal=Journal La Houille Blanche|volume=5|pages=127&ndash;131|doi=10.1051/lhb:2007072|issn=0018-6368}}.
* {{citation|last=Dieudonné|first=Jean Alexander|authorlink=Jean Dieudonné|title=Foundations of modern analysis|publisher=Academic Press|year=1969}}.
*{{citation|first=L.|last=Euler|title=|authorlink=Leonhard Euler|journal=Nova Acta Acad. Sci. Petrop.|volume=10|year=1797|pages=3–19}}
*{{citation|title=When is a Function that Satisfies the Cauchy&ndash;Riemann Equations Analytic?|first1=J. D.|last1=Gray|first2=S. A.|last2=Morris|journal=The American Mathematical Monthly|volume=85|number=4|year=1978|publication-date=April 1978|pages=246&ndash;256|jstor=2321164|doi=10.2307/2321164 }}.
*{{citation|authorlink=Felix Klein|first=Felix|last=Klein|title=On Riemann's theory of algebraic functions and their integrals|year=1893|publisher=MacMillan and Bowes|publication-place=Cambridge}}; translated by Frances Hardcastle.
*{{citation|first1=T|last1=Iwaniec|first2=G|last2=Martin|title=Geometric function theory and non-linear analysis|publisher=Oxford|year=2001}}.
*{{citation|first=H.|last=Looman|title=Über die Cauchy&ndash;Riemannschen Differeitalgleichungen|journal=Göttinger Nachrichten|year=1923|pages=97&ndash;108}}.
*{{citation|first1=S|last1=Kobayashi|first2=K|last2=Nomizu|title=Foundations of differential geometry, volume 2|publisher=Wiley|year=1969}}.
* {{citation|last1=Pólya|first1=George|authorlink1=George Pólya|last2=Szegő|first2=Gábor|title=Problems and theorems in analysis I|publisher=Springer|year=1978|isbn=3-540-63640-4}}
*{{citation|last=Riemann|first=B.|authorlink=Bernhard Riemann|contribution=Grundlagen für eine allgemeine Theorie der Funktionen einer veränderlichen komplexen Grösse|editor=H. Weber|title=Riemann's gesammelte math. Werke|publisher=Dover|publication-date=1953|pages=3–48|year=1851}}
* {{citation|last=Rudin|first=Walter|authorlink=Walter Rudin|title=Real and complex analysis|year=1966|publisher=McGraw Hill|publication-date=1987|edition=3rd|isbn=0-07-054234-1}}.
* {{springer|last=Solomentsev|first=E.D.|title=Cauchy–Riemann conditions|id=c/c020970|year=2001}}
* {{citation|last1=Stewart|first1=Ian|last2=Tall|first2=David|authorlink=Ian Stewart (mathematician)|title=Complex Analysis|year=1983|publisher=CUP|publication-date=1984|edition=1st|isbn=0-521-28763-4}}.

== 外部リンク ==
* {{MathWorld | urlname= Cauchy-RiemannEquations | title= Cauchy–Riemann Equations }}
* [https://web.archive.org/web/20061209102947/http://math.fullerton.edu:80/mathews/c2003/CauchyRiemannMod.html Cauchy–Riemann Equations Module by John H. Mathews]

{{DEFAULTSORT:こおしいりいまんのほうていしき}}
[[Category:偏微分方程式]]
[[Category:複素解析]]
[[Category:調和関数]]
[[Category:ベルンハルト・リーマン]]
[[Category:数学に関する記事]]
[[Category:エポニム]]