対数関数と逆三角関数

今回の題材は関数論講義(金子晃)の第1章から。この本、第1章から目から鱗が落ちる。

対数関数の定義

対数関数は指数関数の逆関数として定義されることが多い。指数関数はオイラーの公式を使って定義されることも多いが、冪級数を使った定義 ez=n=0xnn! の方が理論を構築しやすいように思う。複素関数としての指数関数は多対1なので、逆関数である対数関数は多価関数になり、logz=log|z|+iarg(z) で表される。arg(z)2nπ の差があっても同じ z を表すため多価関数になる。

逆三角関数

逆三角関数は実関数としてもすでに多価関数なので、とうぜん複素関数としても多価関数である。逆三角関数は対数関数で表され、多価性は対数関数に起因するというのが驚きだった。sinθ=x とすると、θ=Arcsinx である。平面を複素平面と見なすと、θ=arg(1x2+ix) となる。log(1x2+ix) の対数を計算すると

log(1x2+ix)=log1+iarg(1x2+ix)=iarg(1x2+ix)

となり、Arcsinxilog(1x2+ix) と対数を使って表された。ArccosxArctanx も対数を使って表現できる。

θ=Arcsinx=arg(1x2+ix)

Arctan の性質

メインテーマの準備として Arctan の性質を議論しておこう。底辺の長さが x、高さが a の直角三角形を考えると、arg(x+ia)=Arctan(ax) と分かる。log(x±ia) を計算しよう。

(1)log(x±ia)=log(x2+a2)±iArctan(ax)

θ=Arctan(ax)=arg(x+ia)

x>0 に対して、次の公式を証明しておこう。

(2)Arctanx+Arctan1x=π2

これは直角三角形を使って初等的に証明できるが、解析的に証明してみよう。左辺を f(x) と置くと

f(x)=1x2+11x211+1x2=0

f(1)=π4+π4=π2 だから f(x)=π2 を得る。

積分への応用例

a>0 として、2つの積分を見比べてみよう。

(3)1x2a2dx=12a(log(xa)log(x+a))+C(4)1x2+a2dx=1aArctanxa+C

結果は大きく違うように見えるが、(3) で a の代わりに ia を入れると (4) が得られてしまうという。(3) 右辺の aia で置き換えて、(1) を使って計算する。

12ia(log(xia)log(x+ia))=1aArctan(ax)

(2) を用いると

=1a(π2Arctan(xa))=1aArctan(xa)π2a

第2項の定数部分は積分定数に含められるので、(4) の右辺に等しい。

残された疑問

x>0 に対して、Arctanx+Arctan1x=π2 を示した。x<0 の場合を考えてみると Arctanx+Arctan1x=f(1)=π2 となる。当初、x=0 で不連続であるから不思議に思わなかったが、複素変数にして接続できるならば関数等式に違いがあることは不可解に思える。今のところ理由がはっきりしないので、とりあえず書き留めておく。単純な勘違いで、この記述が削除できることを期待する。