複素対数函数のソースを表示

[[Image:Complex log.jpg|230x230px|right|thumb|複素対数の枝の一つ: [[色相]]は[[偏角 (複素数)|偏角]]を、[[彩度]]と[[明度]]は[[絶対値]]を表す。(カラーエンコードの詳細は画像をクリック)]]
[[複素解析]]における'''複素対数関数'''（ふくそたいすうかんすう、{{lang-en-short|''complex logarithm''}}）は、[[自然対数|実自然対数関数]]が[[指数関数|実自然指数関数]]の逆関数であるのと同様の意味において、[[複素指数関数]]の[[逆関数|逆「関数」]]である。すなわち、[[複素数]] {{mvar|z}} の[[対数]] {{mvar|w}} とは {{math|1=''e{{sup|w}}'' = ''z''}} を満たす複素数を言い{{sfn|Sarason|2007|loc=§IV.9}}、そのような {{mvar|w}} を '''{{math|ln ''z''}}''' や '''{{math|log ''z''}}''' などと書く。任意の非零複素数 {{mvar|z}} は無限個の対数を持つ{{sfn|Sarason|2007|loc=§IV.9}}から、そのような表記が紛れのない意味を為すように気を付けねばならない。

[[極形式]]を用いて {{math|1=''z'' = ''re{{sup|iθ}}'' (''r'' > 0)}} と書くならば、{{math|1=''w'' = ln ''r'' + ''iθ''}} は {{mvar|z}} の対数の一つを与えるが、これに {{math|2''πi''}} の任意の整数倍を加えたもので {{mvar|z}} の対数はすべて尽くされる{{sfn|Sarason|2007|loc=§IV.9}}。

== 複素指数関数の逆関数 ==
[[File:Riemann surface log.svg|thumb|right|複素対数関数の多価なる虚部を枝が分かるように描いたもの。複素数 {{mvar|z}} が原点を周れば、対数の虚部が上下する。これにより、原点はこの関数の[[分岐点 (数学)|分岐点]]となる。]]
[[逆写像|逆関数]]を持つためには、関数は一対一（[[単射]]）でなければならないが、[[複素指数関数]]は単射でない（実際、任意の {{mvar|w}} とすべての整数nに対して {{math|1=''e''{{sup|''w''+2n''πi''}} = ''e{{sup|w}}''}} が成り立つことが、{{mvar|w}} に {{mvar|iθ}} を加える操作が {{mvar|e{{sup|w}}}} を反時計回りに {{mvar|θ}} [[ラジアン]]回転させることから言える）し、さらに悪いことに垂直線上に等間隔に並ぶ無限個の複素数の列 <math display="block">\ldots,\;w-4\pi i, \;w-2\pi i, \;w, \;w + 2\pi i, \;w+4\pi i, \;\ldots</math> がすべて、指数関数によって同一の複素数へ写されるのである。したがって、複素指数関数は通常の意味での逆関数は持たない{{sfn|Conway|1978|p=39}}{{efn|このことを、複素指数関数は各非零複素数 {{mvar|z}} に {{mvar|z}} の対数となる複素数全体の成す'''集合'''を対応させる[[多価関数]]を「逆関数」に持つと解釈することもできる}}。

この問題の解決法として、二通り考えられる: 
* 一つは、指数関数の定義域をどの二つの数も {{math|2''πi''}} の整数倍の差を持たないような領域に制限することである。この方法では、自然に {{math|log ''z''}} の'''[[分枝 (数学)|枝]]'''（定義域に属する各数の対数を一つずつ切り出して得られる関数）を定義することになる。これは例えば、[[逆正弦関数]] {{math|arcsin ''x''}} の {{math|[−1, 1]}} 上定義された枝を、[[正弦関数]] {{math|sin ''θ''}} の区間 {{math|[−''π''/2, ''π''/2]}} への[[制限 (数学)|制限]]の逆関数として定めるのと同様である（上記範囲内の {{mvar|x}} に対し {{math|1=sin ''θ'' = ''x''}} を満たす実数 {{mvar|θ}} は無限個存在するが、それでも（いくぶん作為的ながら）{{math|[−''π''/2, ''π''/2]}} に入るものを考えれば、それは一つしかないのであった）。
* もう一つは、対数関数を[[ガウス平面]]上の関数でなく、穴あき (つまり原点を除く) ガウス平面を無限個貼り合わせた[[被覆空間]]としての[[リーマン面]]上で定義された関数と見ることによって、対数の不定性を解決することである。

枝をとる方法は、一つの複素数に対して値が評価できる点で優位性がある。他方、リーマン面上の関数と見る方法は、{{math|log ''z''}} の全ての枝をひとまとめに扱えて、定義に任意性のある選択を含めなくてよいという点において筋が良い。

== 対数の主値 ==
各非零複素数 {{math|''z'' {{=}} ''x'' + ''yi''}} に対して、その対数の'''主値''' {{math|Log ''z''}} とは、[[虚部]]が区間 {{math|(&minus;''&pi;'', ''&pi;'']}} に属する対数を言う。{{math|''e{{sup|w}}'' {{=}} 0}} を満たす複素数 {{mvar|w}} は存在しないから、式 {{math|Log 0}} はやはり定義されない。 

この主値はいくつか別のやり方でも記述できる。
* {{math|Log ''z''}} の表式を得るために、{{mvar|z}} を[[極形式]] {{math|''z'' {{=}} ''re{{sup|i&theta;}}''}} で表せば、{{mvar|&theta;}} に {{math|2''&pi;i''}} の整数倍を加えるだけの不定性を以って {{mvar|z}} の極形式は一意ではないが、{{mvar|&theta;}} が区間 {{math|(&minus;''&pi;'', ''&pi;'']}} に属する（この {{mvar|&theta;}} を偏角の主値 {{math|Arg ''z''}} という{{efn|特に計算機言語では [[atan2|atan2(''y'', ''x'')]] とも書いて、これは {{math|''x'' &gt; 0}} では {{math|arctan(''y''/''x'')}} に一致するが、任意の {{math|(''x'', ''y'') &ne; (0, 0)}} に対して修正された値をとる。}}）とすれば「一意にする」ことができるから、これにより対数主値を<math display="block">\operatorname{Log}z:=\ln r+i\theta=\ln|z|+i\operatorname{Arg}z</math> と定義することができる。右辺の {{math|ln}} は通常の実自然対数である<ref>{{ harvnb | 高木 | 1983 | page = 196 }}</ref>。例えば {{math|Log(&minus;3''i'') {{=}} ln 3 &minus; {{Sfrac|''&pi;i''|2}}}} となる。
* もう一つの {{math|Log ''z''}} の記述の仕方は前節で述べたように複素指数関数の制限の逆関数としてのもので、垂直な帯状領域 {{mvar|S}} を {{math|''w'' {{=}} ''x'' + ''yi'' (&minus;''&pi;'' &lt; ''y'' &le; ''&pi;'')}} なる複素数全体の成す集合とすれば、これはどの二つも {{math|2''&pi;i''}} の整数倍の差を持つことのない領域であるから、指数関数を {{mvar|S}} に制限したものは逆関数を持つ。実は、複素指数関数は {{mvar|S}} を穴あき平面 {{math|'''C'''* {{=}} '''C''' {{setminus}} {{mset|0}}}} へ[[全単射]]に写し、逆関数は {{math|Log: '''C'''* &rarr; ''S''}} となる。この写像の幾何学的性質の詳細は[[#等角性|後述]]。

特に断りなく {{math|log ''z''}} のように書かれた場合には、一般には主値について言っているものと考えたほうが安全である。そうすれば特に、{{mvar|z}} が正の実数のときの実数値の {{math|ln ''z''}} と矛盾しない。しかし主値を他の対数と区別する目的では、頭文字を大文字化する記法を用いて {{math|Log}} と書く{{sfn|Sarason|2007|loc=§IV.9}}のが適当である。

実自然対数 {{math|ln}} の満足する等式は、複素数に拡張した場合には必ずしも成立しない。任意の {{math|''z'' &ne; 0}} に対して等式 {{math|''e''{{sup|Log&thinsp;''z''}} {{=}} ''z''}} は成立する（これは単に {{math|Log ''z''}} は {{mvar|z}} の対数（の一つ）であると言っていることに相違ない）が、等式 {{math|Log ''e{{sup|z}}'' {{=}} ''z''}} は帯状領域 {{mvar|S}} の外側では正しくない。この理由により、等式 {{math|''e{{sup|z}}'' {{=}} ''e{{sup|w}}''}} の両辺に {{math|Log}} を施して {{math|''z'' {{=}} ''w''}} を得ることは常にはできない。また、等式 {{math|Log(''z''{{sub|1}}''z''{{sub|2}}) {{=}} Log ''z''{{sub|1}} + Log ''z''{{sub|2}}}} の両辺は {{math|2''&pi;i''}} の整数倍だけ異なり得る。

関数 {{math|Log ''z''}} は各負の実数において[[不連続関数|不連続]]だが、それ以外の {{math|'''C'''*}} の各点において[[連続関数|連続]]である。この不連続性を説明するために、{{mvar|z}} が負の実数 {{mvar|a}} へ近づくときに {{math|Arg ''z''}} に何が起きるのかを考える。{{mvar|z}} が {{mvar|a}} に上から近づくならば、{{math|Arg ''z''}} は {{math|''&pi;''({{=}} Arg ''a'')}} に近づくが、{{mvar|z}} が {{mvar|a}} に下から近づくならば{{math|Arg ''z''}} は {{math|&minus;''π''}} に近づく。ゆえに {{math|Arg ''z''}} は {{mvar|z}} が負の実軸をまたぐとき {{math|2''&pi;''}} だけ値が跳び、その結果 {{math|Log ''z''}} も {{math|2''&pi;i''}} だけ跳ぶ。

== 枝の選択 ==
もっと別な方法を用いれば、各非零複素数に対して対数を一つずつ選んでできる関数 {{math|''L''(''z'')}} が {{math|'''C'''*}} の全ての点上で連続となることができるであろうか、残念ながら答えは「否」である。その理由を見るために、そのような対数関数を[[単位円]]に沿って追跡する（つまり、{{mvar|L}} を、{{mvar|θ}} が {{math|0}} から {{math|2''π''}} まで増加させるときの、{{mvar|e{{sup|iθ}}}} において評価する）ことを考えよう。簡単のため、初期値は {{math|1=''L''(1) = 0}} と仮定すれば、 {{mvar|θ}} の増加につれて {{math|''L''(''z'')}} が連続なるためには {{math|''L''(''e{{sup|iθ}}'')}} は {{mvar|iθ}} に一致しなければならない（差は離散集合 {{math|2''πi''{{mathbf|Z}}}} に値をとる {{mvar|θ}} の連続関数でなければならないから）。特に、{{math|1=''L''(''e''{{sup|2''πi''}}) = 2''πi''}} でなければならないが、そもそも {{math|1=''e''{{sup|2''πi''}} = 1}} なのだから、これは {{math|1=''L''(1) = 0}} の仮定に反する。

したがって、複素数に対して定義された連続な対数関数を得るためには、定義域をガウス平面のより小さな部分集合 {{mvar|U}} に制限することが必要となる。目的の一つとしてその関数が[[微分可能]]となるようにしたいので、定義域の各点の近傍においてそれが定義されていると仮定することには意味がある。つまり {{mvar|U}} としては[[開集合]]をとるべきである。また、{{mvar|U}} の異なる連結成分上で定義される関数値は互いに関連性がないものに取り得ることを考えれば、{{mvar|U}} が[[連結集合|連結]]と仮定することも自然である。そういったことを取り纏めて、この文脈では枝を以下のようなものとして定める:
; 定義
: {{math|log ''z''}} の'''枝''' (''branch'') とは、ガウス平面 {{math|'''C'''}} 内の[[領域 (解析学)|連結開集合]] {{mvar|U}} 上で定義された[[連続関数]] {{mvar|''L''}} であって、{{mvar|U}} の各点 {{mvar|z}} に対する各値 {{math|''L''(''z'')}} が {{mvar|z}} の対数となっているようなものを言う{{sfn|Sarason|2007|loc=§IV.9}}。

* 例えば、主値はガウス平面から負の実軸と原点を除いた開集合 {{math|'''C''' {{setminus}} '''R'''{{sub|&le;0}}}} 上で連続な枝を定義する。
* 別な例として[[メルカトル級数]] <math display="block">
\ln(1+u)=\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n} u^n
= u - \frac{u^2}{2} + \frac{u^3}{3} - \cdots
</math> は[[円板]] {{math|{{abs|''u''}} < 1}} 上で[[一様収束|局所一様収束]]するから、{{math|1=''z'' = 1 + ''u''}} と置けば、{{math|1}} を中心とする半径 {{math|1}} の円板上での {{math|log ''z''}} の枝を得る。{{efn|実際にはこれは主値 {{math|Log ''z''}} の制限になる。そのことは、主値との差を微分して {{math|1}} における値を比べればわかる。}}

一つ枝をとって固定する場合には、紛れの虞がないならば単に "{{math|log ''z''}}" と書くことができる。異なる枝は特定の複素数の対数に対して異なる値を割り当て得るから、それゆえに "{{math|log ''z''}}" が明確な意味を持つようにするためには、「あらかじめ」枝を固定しておかなければならない。

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

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

=== 導関数 ===
開集合 {{mvar|U}} 上で定義された {{math|log ''z''}} の各枝は複素指数関数の制限（具体的には {{mvar|U}} の {{mvar|L}} による像への制限）の逆関数である。指数関数は[[正則関数|正則]]（つまり複素微分可能）かつその導関数が消えることはないから、複素関数版の[[逆写像定理]]が適用できて、{{math|''L''(''z'')}} は {{mvar|U}} の各点において正則で、{{math|1=''L&prime;''(''z'') = 1/''z''}} が成り立つ{{sfn|Sarason|2007|loc=§IV.9}}。これは[[コーシー&ndash;リーマン方程式]]の成立を見ることによっても証明できる{{sfn|Sarason|2007|loc=§IV.9}}。

=== 積分としての解釈 ===
[[自然対数|実自然対数関数]] {{math|ln(''x'')}} は積分公式 {{math|1=ln(''x'') = ∫{{su|b=1|p=''x''}} {{sfrac|''du''|''u''}}}} によって定義することができる。あるいは積分の下の限界を {{math|1}} から {{mvar|a}} に取り換えて、定義式を {{math|1=ln(''x'') = ln(''a'') + ∫{{su|b=''a''|p=''x''}} {{sfrac|''du''|''u''}}}} とすることもできる。

同じことを「複素」対数に対しても議論するならば、さらなる複雑さが生じる。[[複素積分]]を定めるには積分路を決めなければならないが、今の場合はたまたま被積分関数が正則であるから、積分値は積分路を（端点を固定して）[[ホモトピー|連続的に変形]]しても変わらず、また[[単連結]]領域 {{mvar|U}}（「穴のない」領域）では {{mvar|a}} から {{mvar|z}} へ行く {{mvar|U}} 内のどの道も連続的な変形で互いに移りあう。ゆえに以下のように言うことができる:
; 積分表示
: {{mvar|U}} が {{math|'''C'''}} の[[単連結]]開部分集合で {{math|0}} を含まないならば、{{mvar|U}} 上定義された {{math|log ''z''}} の枝を、始点 {{math|''a'' &isin; ''U''}} と {{mvar|a}} の対数 {{mvar|b}} を一つ選んで <math display="block">L(z) := b + \int\limits_a^z \frac{dw}{w}\quad (\forall z\in U)</math> と定義することができる{{sfn|Lang|1993|p=121}}。

== 複素対数の等角性{{anchors|等角性|等角写像}} ==
[[Image:Logez02.jpg|200px|right|thumb|{{mvar|z}}-平面において、{{math|1=Re(Log ''z'') = (定数)}} の描く円と {{math|1=Im(Log ''z'') = (定数)}} の描く半直線]]
; 命題
: 正則関数 {{math|''f'': ''U'' → '''C'''}} がすべての点 {{math|''z'' ∈ ''U''}} において {{math|''f&prime;''(''z'') &ne; 0}} を満たすならば、{{mvar|f}} は[[等角写像]]である。すなわち、{{mvar|U}} の点 {{mvar|a}} を通るに曲線が角 {{mvar|α}} を成す（これは {{mvar|a}} における両曲線の[[接線]]の成す角が {{mvar|α}} であるという意味である）ならば、それらに曲線の {{mvar|f}} による像も {{math|''f''(''a'')}} において同じ角 {{mvar|α}} を成す。
{{math|log ''z''}} の枝は、正則かつ導関数 {{math|1/''z''}} は {{mvar|U}} 上で消えないから、上記の命題により等角写像を定める。

例えば、主枝 {{math|1=''w'' = Log ''z''}} は {{math|'''C''' {{setminus}} '''R'''{{sub|&le;0}}}} から垂直帯状領域 {{math|{{abs|Im ''z''}} < ''π''}} への写像と見て上記の性質を満たすから、等角性を極形式で書いた直接の帰結として以下のことが言える:
* {{mvar|z}}-平面の原点を中心とする円{{efn|厳密にいえば、各円上の点から負の実軸上の点は除くか、そこでは主値を用いるかしなければならない。}}は {{mvar|w}}-平面内の {{math|''a'' − ''πi''}} から {{math|''a'' + ''πi''}} へ結ぶ垂直線分に写される。ただし、{{mvar|a}} は円の半径の実対数である。
* {{mvar|z}}-平面の原点から放たれる半直線は {{mvar|w}}-平面の水平線に写される。

上記の {{mvar|z}}-平面上の各円と各半直線は直角に交わる。それらの {{math|Log}} による像はそれぞれ {{mvar|w}}-平面の垂直線分と水平線だから、それらも直角に交わる。これは主枝 {{math|Log}} の等角性の発露の一つである。

== 対数関数のリーマン面 ==
[[Image:Riemann surface log.svg|thumb|right|{{math|log ''z''}} のリーマン面の視覚化: このイラストでは曲面はガウス平面の原点に対応する垂直線の周りに螺旋を描くように見えるが、実際のリーマン面は水平方向にも垂直方向にも無限に広がっているし、このイラストのように途切れてはいない。]]

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

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

対数のリーマン面 {{mvar|R}} 上の点は、複素数 {{mvar|z}} とその偏角の取り得る値 {{mvar|θ}} との対 {{math|(''z'', ''θ'')}} と考えることができる。これにより {{mvar|R}} は {{math|'''C''' × '''R''' &asymp; '''R'''{{sup|3}}}} に埋め込める。

=== リーマン面上の関数 ===
各枝の定義域はそれらの値が一致する開集合に沿ってしか貼り合わされないから、貼り合わせで一つの矛盾なく定義された関数{{math|log{{sub|''R''}}: ''R'' → '''C'''}} が与えられる{{efn|リーマン面を {{mvar|R}} と書いたり、その上の対数を {{math|log{{sub|''R''}}}} と書くのはここだけのローカルな記号であって、一般に使用されるものではない}}。この関数は各点 {{math|(''z'', ''θ'') &isin; ''R''}} を {{math|ln {{abs|''z''}} + ''iθ''}} に写す。もともとの枝 {{math|Log}} に両立する[[正則関数]]を貼り合わせて拡張する過程は[[解析接続]]と呼ばれる。

リーマン面 {{mvar|R}} から {{math|'''C'''*}} への（螺旋を「平らに」押しつぶす）「射影」が存在して、{{math|(''z'', ''θ'')}} は {{mvar|z}} に写される。任意の {{math|''z'' ∈ '''C'''*}} に対して、{{mvar|z}} の「真上」にある全ての点 {{math|(''z'', ''θ'') &isin; ''R''}} をとって、それらの点を {{math|log{{sub|''R''}}}} で評価すれば、{{mvar|z}} の対数がすべて得られる。

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

{{mvar|U&prime;}} が {{mvar|R}} の開部分集合で、その射影像 {{math|''U'' &isin; '''C'''*}} と全単射ならば、{{math|log{{sub|''R''}}}} の {{mvar|U′}} への制限は {{mvar|U}} 上定義された {{math|log ''z''}} の枝に対応する。{{math|log ''z''}} の任意の枝はこの方法で得られる。

=== 普遍被覆として ===
射影 {{math|''R'' → '''C'''*}} は {{mvar|R}} を {{math|'''C'''*}} の[[被覆空間]]として実現する。実はこれは、（{{math|(''z'', ''θ'')}} を {{math|(''z'', ''θ'' + 2''π'')}} に写す[[同相写像]]が生成する）{{math|'''Z'''}} に同型な{{仮リンク|デッキ変換|en|deck transformation}}群を持つ{{仮リンク|ガロワ被覆|en|Galois covering}}になる。

[[複素多様体]]として {{mvar|R}} は、{{math|log{{sub|''R''}}}} を通じて {{math|'''C'''}} に[[双正則]]である（逆写像は {{mvar|z}} を {{math|(''e{{sup|z}}'', Im ''z'')}} に写す）。これは {{mvar|R}} が[[単連結]]であることを示しており、したがって {{mvar|R}} は {{math|'''C'''*}} の[[普遍被覆]]となる。

== 応用 ==
* 複素対数関数は[[冪|複素数の複素数乗]]を定義するのに必要である。具体的に、複素数 {{math|''a'', ''b'' (''a'' ≠ 0)}} に対し、対数主値を用いて <math>a^b = e^{b \operatorname{Log} a}</math> <!-- {{math|1=''a{{sup|b}}'' {{coloneqq}} ''e''{{sup|''b''&sdot;Log ''a''}}}} --> と定義する。{{math|Log ''a''}} を {{mvar|a}} の別の対数に取り換えて {{mvar|a{{sup|b}}}} の別の値を得る<ref name = Ahlfors>{{ harvnb | Ahlfors | 1966 }}. Section 3. 4.</ref><ref>{{cite book | last= Kreyszig | first= Erwin | author-link= Erwin Kreyszig | title= Advanced Engineering Mathematics | publisher= [[John Wiley & Sons|Wiley]] | edition= 10th (posthumous) | location= Berlin | date= August 16, 2011 | page= 640 | isbn= 9780470458365 }}</ref><ref>{{ harvnb | 高木 | 1983 | pages = 240 - 241}}</ref>。式 <math>a^b</math> は、<math>b</math> が整数である場合に限り単一の値を有する<ref name = Ahlfors/>。
<!--* Since the mapping ''w''&nbsp;=&nbsp;Log&nbsp;''z'' transforms circles centered at 0 into vertical straight line segments, it is useful in engineering applications involving an [[annulus (mathematics)|annulus]].{{Fact|date=November 2008}}-->
== 一般化 ==
=== 任意の底 ===
実数のときと同様に、複素数 {{mvar|a, b}} に対して
: <math>\log_a(b) :=\frac{\log_e b}{\log_e a}</math>
と定義することができるが、{{mvar|a, b}} において定義される {{math|log}} の枝の選択によって値が変わることには気を付けなければならない。例えば主値を用いれば
: <math>\log_i(e)=\frac{\operatorname{Log} e}{\operatorname{Log} i}=\frac1{\pi i/2}=-\frac{2i}{\pi}</math>
となる。

=== 正則関数の対数 ===
{{math|'''C'''}} の連結開集合上定義された[[正則関数]] {{mvar|f}} に対し、{{mvar|U}} 上定義された '''{{math|log ''f''}} の枝'''とは、{{mvar|U}} 上の連続関数 {{mvar|g}} で {{math|1=''e''{{sup|''g''(''z'')}} = ''f''(''z'') (∀''z'' ∈ ''U''}} を満たすものを言う。そのような関数 {{mvar|g}} は {{math|1=''g&prime;''(''z'') = ''f&prime;''(''z'')/''f''(''z'') (∀''z'' ∈ ''U'')}} を満たす正則関数であることが必要である。

{{mvar|U}} が {{math|'''C'''}} の[[単連結]]開集合で、{{mvar|f}} が {{mvar|U}} 上至る所消えていない正則関数ならば、{{mvar|U}} 上定義された {{math|log ''f''}} の枝は、始点 {{math|''a'' ∈ ''U''}} と {{mvar|''f''(''a'')}} の対数 {{mvar|b}} を選んで
: <math>g(z) := b + \int_a^z \frac{f'(w)}{f(w)}\,dw\quad (\forall z\in U)</math>
と定めることによって構成できる{{sfn|Sarason|2007|loc=§IV.9}}。

== 関連項目 ==
* [[対数]]
* [[離散対数]]
* [[指数関数]]
* [[偏角 (複素数)]]
* [[逆三角関数]]

== 注 ==
=== 注釈 ===
{{reflist|group="注釈"}}
=== 出典 ===
{{reflist}}

== 参考文献 ==
{{ウィキプロジェクトリンク|数学|[[画像:Nuvola apps edu mathematics blue-p.svg|34px|Project:数学]]}}
{{ウィキポータルリンク|数学|[[画像:Nuvola apps edu mathematics-p.svg|34px|Portal:数学]]}}
* {{cite book |first=Lars V. |last=Ahlfors | author-link = ラース・ヴァレリアン・アールフォルス <!-- Lars Ahlfors --> |title=Complex Analysis |edition=2nd |publisher=McGraw-Hill |year=1966 |url=https://books.google.com/books?id=RfYK28TcZEwC  | ref = harv }}
* {{cite book|first=John B.|last=Conway|authorlink=:en:John B. Conway|title=Functions of One Complex Variable|edition=2nd|publisher=Springer|year=1978|url=https://books.google.com/books?id=9LtfZr1snG0C|ref=harv}}
* {{cite book|first=Serge|last=Lang|authorlink=サージ・ラング|title=Complex Analysis|edition=3rd|publisher=Springer-Verlag|year=1993|url=https://books.google.com/books?id=0qx3BQAAQBAJ|ref=harv}}
* {{cite book|first=Gino|last=Moretti|title=Functions of a Complex Variable|publisher=Prentice-Hall|year=1964|url=https://books.google.com/books?id=uDvvAAAAMAAJ|ref=harv}}
* {{cite book|first=Donald|last=Sarason|authorlink=:de:Donald Sarason|title=Complex Function Theory|edition=2nd|publisher=American Mathematical Society|year=2007|url=https://books.google.com/books?id=FUWPyHM-XK0C&pg=PA40|ref=harv}}
* {{cite book|first=E. T.|last=Whittaker|authorlink=エドマンド・テイラー・ホイッテーカー|first2=G. N.|last2=Watson|authorlink2=:en:G. N. Watson|title=A Course of Modern Analysis|edition=4th|publisher=Cambridge University Press|year=1927|ref=harv}}
* {{ cite book | 和書 | author = 高木貞治 | authorlink = 高木貞治 | title = 解析概論 | edition = 改訂第3版軽装版 | isbn = 4-00-005171-7 | publisher = 岩波書店 | year = 1983 | date = 1983(昭和58)-09-27 | ref = {{ harvid | 高木 | 1983 }} }} 

== 外部リンク ==
* {{nlab|id=logarithm}}
* {{PlanetMath|urlname=complexlogarithm|title=complex logarithm}}

{{DEFAULTSORT:ふくそたいすうかんすう}}
[[Category:複素解析]]
[[Category:解析関数]]
[[Category:対数]]
[[Category:数学に関する記事]]