今日は仕事が長引き特に問題を解いたりする気力もないので, 前にFourier展開で少し言及した対数関数による展開ができるための条件について少し考えてみました.
目標は次のような言明.
複素領域Ωにおける有理型fが与えられたとき, fは次の表示を持つ.
Ωが0を含まない適当な領域として, Ωのlogによる像であるΓ平面を考えれば, 写像
からΩとして0を除いた扇形の開領域を取っておくと都合が良いことが分かる.
Γ平面上でのζとζ+2kπi(kは整数)はΩ平面上では同一視されるが, Γ平面のとり方から帯に含まれるkは唯一つだけなので, この差は考える必要がない.
そこでとなるFが一意的に定まり, 明らかに
が成り立つ. FのΓ平面での解析性から前と同様に
変数変換と
から,
※上でΓは0を含み, を満たす帯とし, CはΓ平面における原点を中心とした円(半径は勿論Γに含まれるよう十分小さくとる). またDはそれに対応したΩ内の1の周りの閉曲線としている. 実際にはこの場合, 1を中心とした
より小さい半径を持つ円であれば良い. 下図参照.
もっとも簡単な関数f(z)=zですら, この展開において複雑な式
を導出する. 仮定からだが, 0に近いところまで解析接続できれば右辺が0に近づくように取れるということである(勿論表示は変わるが, 感覚的には信じがたい). もう少し詳しいことを言いたいが, それはまた折を見て調べてみることにする.