今回の題材は関数論講義(金子晃)の第1章から。この本、第1章から目から鱗が落ちる。
対数関数の定義
対数関数は指数関数の逆関数として定義されることが多い。指数関数はオイラーの公式を使って定義されることも多いが、冪級数を使った定義 の方が理論を構築しやすいように思う。複素関数としての指数関数は多対1なので、逆関数である対数関数は多価関数になり、 で表される。 は の差があっても同じ を表すため多価関数になる。
逆三角関数
逆三角関数は実関数としてもすでに多価関数なので、とうぜん複素関数としても多価関数である。逆三角関数は対数関数で表され、多価性は対数関数に起因するというのが驚きだった。 とすると、 である。平面を複素平面と見なすと、 となる。 の対数を計算すると
となり、 は と対数を使って表された。 や も対数を使って表現できる。
Arctan の性質
メインテーマの準備として の性質を議論しておこう。底辺の長さが 、高さが の直角三角形を考えると、 と分かる。 を計算しよう。
に対して、次の公式を証明しておこう。
これは直角三角形を使って初等的に証明できるが、解析的に証明してみよう。左辺を と置くと
だから を得る。
積分への応用例
として、2つの積分を見比べてみよう。
結果は大きく違うように見えるが、(3) で の代わりに を入れると (4) が得られてしまうという。(3) 右辺の を で置き換えて、(1) を使って計算する。
(2) を用いると
第2項の定数部分は積分定数に含められるので、(4) の右辺に等しい。
残された疑問
に対して、 を示した。 の場合を考えてみると となる。当初、 で不連続であるから不思議に思わなかったが、複素変数にして接続できるならば関数等式に違いがあることは不可解に思える。今のところ理由がはっきりしないので、とりあえず書き留めておく。単純な勘違いで、この記述が削除できることを期待する。