複素対数函数

複素解析における複素対数函数は、実自然対数函数が実自然指数函数の逆函数であるのと同様の意味において、複素指数函数の逆「函数」である。すなわち、複素数 z}} の対数 w}} とは 1=//esup を満たす複素数を言いSarason、そのような w}} を ln // や log // などと書く。任意の非零複素数 z}} は無限個の対数を持つSarasonから、そのような表記が紛れのない意味を為すように気を付けねばならない。//極形式を用いて 1=//z// = //resup と書くならば、1=//w// = ln //r// + //iθ//}} は z}} の対数の一つを与えるが、これに 2//πi//}} の任意の整数倍を加えたもので z}} の対数はすべて尽くされるSarason。//

1. 複素指数函数の逆函数
-------------

逆函数を持つためには、函数は一対一でなければならないが、複素指数函数は単射でないし、さらに悪いことに垂直線上に等間隔に並ぶ無限個の複素数の列 がすべて、指数函数によって同一の複素数へ写されるのである。したがって、複素指数函数は通常の意味での逆函数は持たないConwayこのことを、複素指数函数は各非零複素数 mvar。

この問題の解決法として、二通り考えられる:

一つは、指数函数の定義域をどの二つの数も 2//πi//}} の整数倍の差を持たないような領域に制限することである。この方法では、自然に log //z//}} の枝を定義することになる。これは例えば、逆正弦函数 arcsin //x//}} の [−1, 1]}} 上定義された枝を、正弦函数 sin //θ//}} の区間 [−//π///2, //π///2]}} への制限の逆函数として定めるのと同様である。
もう一つは、対数函数をガウス平面上の函数でなく、穴あき  ガウス平面を無限個貼り合わせた被覆空間としてのリーマン面上で定義された函数と見ることによって、対数の不定性を解決することである。枝をとる方法は、一つの複素数に対して値が評価できる点で優位性がある。他方、リーマン面上の函数と見る方法は、log //z//}} の全ての枝をひとまとめに扱えて、定義に任意性のある選択を含めなくてよいという点において筋が良い。

2. 対数の主値
--------

各非零複素数 //z// =}} //x// + //yi//}} に対して、その対数の主値 Log //z//}} とは、虚部が区間 (−//π//, //π//]}} に属する対数を言う。//esup を満たす複素数 w}} は存在しないから、式 Log 0}} はやはり定義されない。//

この主値はいくつか別のやり方でも記述できる。

Log //z//}} の表式を得るために、z}} を極形式 //z// =}} //resup で表せば、θ}} に 2//πi//}} の整数倍を加えるだけの不定性を以って z}} の極形式は一意ではないが、θ}} が区間  =}} ln 3 − Sfrac となる。//
もう一つの Log //z//}} の記述の仕方は前節で述べたように複素指数函数の制限の逆函数としてのもので、垂直な帯状領域 S}} を //w// =}} //x// + //yi// }} なる複素数全体の成す集合とすれば、これはどの二つも 2//πi//}} の整数倍の差を持つことのない領域であるから、指数函数を S}} に制限したものは逆函数を持つ。実は、複素指数函数は S}} を穴あき平面 C* =}} C setminus}} mset へ全単射に写し、逆函数は Log: C* → //S//}} となる。この写像の幾何学的性質の詳細は後述。特に断りなく log //z//}} のように書かれた場合には、一般には主値について言っているものと考えたほうが安全である。そうすれば特に、z}} が正の実数のときの実数値の ln //z//}} と矛盾しない。しかし主値を他の対数と区別する目的では、頭文字を大文字化する記法を用いて Log}} と書くSarasonのが適当である。

実自然対数 ln}} の満足する等式は、複素数に拡張した場合には必ずしも成立しない。任意の //z// ≠ 0}} に対して等式 //e//sup は成立するが、等式 Log //esup は帯状領域 S}} の外側では正しくない。この理由により、等式 //esup の両辺に Log}} を施して //z// =}} //w//}} を得ることは常にはできない。また、等式 Log(//z//sub の両辺は 2//πi//}} の整数倍だけ異なり得る。

函数 Log //z//}} は各負の実数において不連続だが、それ以外の C*}} の各点において連続である。この不連続性を説明するために、z}} が負の実数 a}} へ近づくときに Arg //z//}} に何が起きるのかを考える。z}} が a}} に上から近づくならば、Arg //z//}} は //π//}} に近づくが、z}} が a}} に下から近づくならばArg //z//}} は −//π//}} に近づく。ゆえに Arg //z//}} は z}} が負の実軸をまたぐとき 2//π//}} だけ値が跳び、その結果 Log //z//}} も 2//πi//}} だけ跳ぶ。

3. 枝の選択
-------

もっと別な方法を用いれば、各非零複素数に対して対数を一つずつ選んでできる函数 //L//}} が C*}} の全ての点上で連続となることができるであろうか、残念ながら答えは「否」である。その理由を見るために、そのような対数函数を単位円に沿って追跡することを考えよう。簡単のため、初期値は 1=//L// = 0}} と仮定すれば、 θ}} の増加につれて //L//}} が連続なるためには //L// = 0}} の仮定に反する。//

したがって、複素数に対して定義された連続な対数函数を得るためには、定義域をガウス平面のより小さな部分集合 U}} に制限することが必要となる。目的の一つとしてその函数が微分可能となるようにしたいので、定義域の各点の近傍においてそれが定義されていると仮定することには意味がある。つまり U}} としては開集合をとるべきである。また、U}} の異なる連結成分上で定義される函数値は互いに関連性がないものに取り得ることを考えれば、U}} が連結と仮定することも自然である。そういったことを取り纏めて、この文脈では枝を以下のようなものとして定める:

定義 log //z//}} の枝  とは、ガウス平面 C}} 内の連結開集合 U}} 上で定義された連続函数 //L//}} であって、U}} の各点 z}} に対する各値 //L//}} が z}} の対数となっているようなものを言うSarason。
例えば、主値はガウス平面から負の実軸と原点を除いた開集合 C setminus}} Rsub 上で連続な枝を定義する。
別な例としてメルカトル級数 は円板 abs 上で局所一様収束するから、1=//z// = 1 + //u//}} と置けば、1}} を中心とする半径 1}} の円板上での log //z//}} の枝を得る。一つ枝をとって固定する場合には、紛れの虞がないならば単に "log //z//}}" と書くことができる。異なる枝は特定の複素数の対数に対して異なる値を割り当て得るから、それゆえに "log //z//}}" が明確な意味を持つようにするためには、「あらかじめ」枝を固定しておかなければならない。

3.1. 分岐切断
---------

先に述べた単位円を用いた論法を一般化すれば、原点 0}} を周る閉曲線を含む開集合 U}} 上で定義された log //z//}} の枝が存在しないことが示せる。この論法を回避するために、U}} は典型的には原点から適当な方向に無限遠まで延びる半直線や半曲線の補集合が選ばれる。この場合、そのような曲線は分岐切断  と呼ぶ。例えば、主値は負の実軸に沿った分岐切断を持つ。

函数 //L//}} がその分岐切断上の一点において定義されるように拡張されるならば、L}} はその点で不連続でなければならない。よくて、負の実数における主値 Log //z//}} のように、「片側」連続になるだけである。

3.2. 導函数
--------

開集合 U}} 上で定義された log //z//}} の各枝は複素指数函数の制限の逆函数である。指数函数は正則かつその導函数が消えることはないから、複素函数版の逆写像定理が適用できて、//L//}} は U}} の各点において正則で、1=//L′// = 1///z//}} が成り立つSarason。これはコーシー&ndash;リーマン方程式の成立を見ることによっても証明できるSarason。

3.3. 積分としての解釈
-------------

実自然対数函数 ln}} は積分公式 1=ln = ∫su によって定義することができる。あるいは積分の下の限界を 1}} から a}} に取り換えて、定義式を 1=ln = ln + ∫su とすることもできる。

同じことを「複素」対数に対しても議論するならば、さらなる複雑さが生じる。複素積分を定めるには積分路を決めなければならないが、今の場合はたまたま被積分函数が正則であるから、積分値は積分路を連続的に変形しても変わらず、また単連結領域 U}}では a}} から z}} へ行く U}} 内のどの道も連続的な変形で互いに移りあう。ゆえに以下のように言うことができる:

積分表示 U}} が C}} の単連結開部分集合で 0}} を含まないならば、U}} 上定義された log //z//}} の枝を、始点 //a// ∈ //U//}} と a}} の対数 b}} を一つ選んで と定義することができるLang。

4. 複素対数の等角性等角性
--------------

命題 正則函数 //f//: //U// → C}} がすべての点 //z// ∈ //U//}} において //f′// ≠ 0}} を満たすならば、f}} は等角写像である。すなわち、U}} の点 a}} を通るに曲線が角 α}} を成すならば、それらに曲線の f}} による像も //f//}} において同じ角 α}} を成す。log //z//}} の枝は、正則かつ導函数 1///z//}} は U}} 上で消えないから、上記の命題により等角写像を定める。

例えば、主枝 1=//w// = Log //z//}} は C setminus}} Rsub から垂直帯状領域 abs への写像と見て上記の性質を満たすから、等角性を極形式で書いた直接の帰結として以下のことが言える:

z}}-平面の原点を中心とする円厳密にいえば、各円上の点から負の実軸上の点は除くか、そこでは主値を用いるかしなければならない。}}は w}}-平面内の //a// − //πi//}} から //a// + //πi//}} へ結ぶ垂直線分に写される。ただし、a}} は円の半径の実対数である。
z}}-平面の原点から放たれる半直線は w}}-平面の水平線に写される。上記の z}}-平面上の各円と各半直線は直角に交わる。それらの Log}} による像はそれぞれ w}}-平面の垂直線分と水平線だから、それらも直角に交わる。これは主枝 Log}} の等角性の発露の一つである。

5. 対数函数のリーマン面
-------------

5.1. 構成
-------

log //z//}} の複数の枝を貼り合わせて一つの函数 log: C* → C}} を得ることは、二つの相異なる枝がそれらの両方が定義される点においてさえ異なる値をとり得ることにより、不可能である。例えば C setminus}} Rsub 上で定義され、虚部 θ}} が }} に入る主枝 Log //z//}} と、C setminus}} Rsub 上で定義され、虚部 θ}} が }} に入る枝 //L//}} とは、上半平面では一致するが下半平面では一致しないから、これらの枝の定義域を「上半平面のコピーに沿ってだけ」貼り合わせることには意味を持たせることができる。貼り合わせで得られる領域は連結だが下半平面のコピーは二つ持つ。これら二つのコピーを二階建ての駐車場に譬えると、Log}} の階の下半平面から L}} の階の下半平面まで、0}} を反時計回りに360°周って行くことができる。それには、Log}} の階で初めて正の実軸をまたいだときに共有された上半平面に入り、L}} の階の負の実軸をまたいで L}} の階の下半平面に入るのである。

同様の貼り合わせを、虚部 θ}} が }} に入る枝、}} に入る枝、…… に対して、あるいは別方向の、虚部 θ}} が }} に入る枝、}} に入る枝、…… とどんどん続けることができる。そうして最終的に得られる連結な曲面は、先ほどの駐車場の喩えで言えば、上にも下にも無限に伸びる無数の階が螺旋状に連なった駐車場になる。この曲面を複素対数函数 log //z//}} に付随するリーマン面 R}} と呼ぶ。

対数のリーマン面 R}} 上の点は、複素数 z}} とその偏角の取り得る値 θ}} との対 }} と考えることができる。これにより R}} は C × R ≈ Rsup に埋め込める。

5.2. リーマン面上の函数
--------------

各枝の定義域はそれらの値が一致する開集合に沿ってしか貼り合わされないから、貼り合わせで一つの矛盾なく定義された函数logsub が与えられるリーマン面を mvar。この函数は各点  ∈ //R//}} を ln abs に写す。もともとの枝 Log}} に両立する正則函数を貼り合わせて拡張する過程は解析接続と呼ばれる。

リーマン面 R}} から C*}} への「射影」が存在して、}} は z}} に写される。任意の //z// ∈ C*}} に対して、z}} の「真上」にある全ての点  ∈ //R//}} をとって、それらの点を logsub で評価すれば、z}} の対数がすべて得られる。

5.3. すべての枝の張り合わせ
----------------

上でやったように、特定の枝を選んで貼り合わせる代わりに、log //z//}} のすべての枝をとって、枝の対 //L//sub, //L//sub を //U//sub の //L//sub と //L//sub が一致する最大の開部分集合に沿って貼り合わせることを、任意の対に対して同時に行っても、前節のと同じリーマン面 R}} と函数 logsub が得られる。このやり方は、絵に描くことはやや困難だが、特定の枝をどのように選ぶかは問わない点で、より自然である。

U′}} が R}} の開部分集合で、その射影像 //U// ∈ C*}} と全単射ならば、logsub の U′}} への制限は U}} 上定義された log //z//}} の枝に対応する。log //z//}} の任意の枝はこの方法で得られる。

5.4. 普遍被覆として
------------

射影 //R// → C*}} は R}} を C*}} の被覆空間として実現する。実はこれは、Z}} に同型なデッキ変換群を持つガロワ被覆になる。

複素多様体として R}} は、logsub を通じて C}} に双正則である。これは R}} が単連結であることを示しており、したがって R}} は C*}} の普遍被覆となる。

6. 応用
-----

複素対数函数は複素数の複素数乗を定義するのに必要である。具体的に、複素数 //a//, //b// }} に対し、対数主値を用いて 1=//asup と定義する。Log //a//}} を a}} の別の対数に取り換えて asup の別の値を得る。//

7. 一般化
------

7.1. 任意の底
---------

実数のときと同様に、複素数 a, b}} に対して

と定義することができるが、a, b}} において定義される log}} の枝の選択によって値が変わることには気を付けなければならない。例えば主値を用いれば

となる。

7.2. 正則函数の対数
------------

C}} の連結開集合上定義された正則函数 f}} に対し、U}} 上定義された log //f//}} の枝とは、U}} 上の連続函数 g}} で 1=//e//sup を満たすものを言う。そのような函数 g}} は 1=//g′// = //f′/////f// }} を満たす正則函数であることが必要である。

U}} が C}} の単連結開集合で、f}} が U}} 上至る所消えていない正則函数ならば、U}} 上定義された log //f//}} の枝は、始点 //a// ∈ //U//}} と //f//}} の対数 b}} を選んで

と定めることによって構成できるSarason。

8. 関連項目
-------

対数
離散対数
指数函数
偏角 
逆三角函数

9. 注
----

9.1. 注釈
-------

9.2. 出典
-------

10. 参考文献
--------

11. 外部リンク
---------