1
現代数学解説
文献あり

積分で定まる関数を解析接続する重要な手法

563
0

この記事では、積分で定義される関数を、複素平面全体で定義された有理型関数へ解析接続する重要な手法について、問題を通して紹介します。

ここで紹介する手法は、ガンマ関数やゼータ関数の解析接続など、複素解析の様々な所で出てくる有用な考え方なので、ぜひ出来るようになっておきましょう。

zCに対し、積分F(z)=01tzsint dtとする。

  1. F(z)Re z>2において収束し、その上の正則関数を定めることを示せ。
  2. F(z)C上の有理型関数に解析接続できることを示し、その極と留数を求めよ。

(1)まず、収束性を確かめる。limt0sintt=1より、ある0<r<1が存在し、0<t<rならば、0sint2tとなる。F(z)=0rtzsint dt+r1tzsint dtと分ければ、第一項が絶対収束することをいえばよい。|tz|=|ezlogt|=tRe zに注意すると、
0r|tzsint|dt0rtRe z2t dt=20rtRe z+1 dt
最後の式は、Re z>2のとき、Re z+1>1なので、収束する。

次に、Re z>2上の正則関数を定めることを確かめる。これには、0<δ<1を任意に固定し、Dδ:={zC | Re z>2+δ}上で正則関数となることを示せばよい。
そこで、0<ϵ<1に対し、Fϵ(z):=ϵ1tzsint dtとおく。ϵ<rとすると、zDδに対し、
|F(z)Fϵ(z)|=|0ϵtzsint dt|0ϵ|tzsint| dt20ϵtRe z+1 dt20ϵt1+δ dt
と評価でき、最後の式は1<1+δより、ϵ0+とすると、zに依らずに0となる。
よって、limϵ0+Fϵ(z)=F(z)は、Dδ上一様収束する。

さて、一般に領域上の正則関数列の広義一様収束極限は正則関数となるから、あとはFϵ(z)Dδ上の正則関数となることを示せば、F(z)Dδ上の正則関数となり、証明が終わる。

Fϵ(z)Dδ上の正則関数となることを示すのには、Moreraの定理を用いる。(Moreraの定理は、正則関数であることを示すのに有用な定理である!)

そのため、まずFϵ(z)Dδ上連続であることを示す。aDδを任意に固定し、aで連続であることを確かめる。limzaFϵ(z)=Fϵ(a)を示せばよい。これを示すため、積分と極限の交換を正当化することを考える。

あるq>0が存在し、中心aで半径qの閉円板[(a,q)]Dδとなる。
コンパクト集合[ϵ,1]×[(a,q)]上の連続関数g(t,z)=tzsintを考える。g(t,z)はコンパクト集合上の連続関数なので、一様連続である。よって、limzasupϵt1|g(t,z)g(t,a)|=0となるから、積分と極限が交換できて、limzaFϵ(z)=limzaϵ1g(t,z) dt=ϵ1g(t,a) dt=Fϵ(a)となる。
したがって、Fϵ(z)Dδ上連続である。

γDδ内のC1閉曲線とする。γFϵ(z) dz=01Fϵ(γ(t))γ(t) dtは可積分なので、フビニの定理により重積分の順序が交換できて、
γFϵ(z) dz=γϵ1tzsint dt dz=ϵ1sintγtz dz dt=0
となる。ここで、最後の等式では、Dδtzが正則関数であることとコーシーの積分定理によりγtz dz=0となることを用いた。

したがって、Moreraの定理より、Fϵ(z)Dδ上の正則関数である。(証明終)

(2)Re z>2上の正則関数F(z)=01tzsint dtを、C上の有理型関数に解析接続する。テイラー展開sint=n=0(1)n(2n+1)!t2n+1,tRを考えると、これはコンパクト集合[0,1]上で一様収束するので、
F(z)=01tzn=0(1)n(2n+1)!t2n+1 dt=n=0(1)n(2n+1)!01tz+2n+1 dt=n=0(1)n(2n+1)!1z+2n+2()=:G(z)
が、Re z>2上で成立する。

G(z)は、C上の有理型関数からなる級数であり、これがC上で広義一様収束することを示せれば、G(z)C上の有理型関数を定める。

R>0とする。|z|<R上で、級数が一様収束することを示す。N>2Rを満たす自然数Nを取れば、任意のn>Nに対し、1z+2n+2|z|<R上で極を持たない。
また、|z|<R,n>Nのとき、|2n+2+z|2n+2R>3R+2なので、
n>N|(1)n(2n+1)!1z+2n+2|n>N1(2n+1)!13R+2<+
となる。最後の級数の収束はzによらない。

よって、|z|<R上でG(z)は一様収束する。R>0は任意なので、級数G(z)C上で広義一様収束し、C上の有理型関数を定める。

()より、領域Re z>2上でF(z)=G(z)であるから、G(z)F(z)Cへの解析接続である。そこで、これもF(z)と書くことにする。

G(z)の定義式より、F(z)C上の極の集合は、{2n2 | n=0,1,2,}={2,4,6,}で与えられ、
その主要部は、(1)n(2n+1)!1z+2n+2であることが分かる。
よって、留数は、Res2n2 F(z)=(1)n(2n+1)!, n=0,1,2,
となる。(証明終)

上の証明で出てきた有理型関数からなる級数の収束については、Cartanの本の説明が分かりやすいのでオススメです。
また、私の過去の記事「正の偶数に対するゼータ値ζ(2n)を有理型関数の部分分数展開を用いて求める方法」 https://mathlog.info/articles/8YAcGHiDGBuI2npDZE3O
でも軽く扱っています。

また、上と同様の手法を用いたガンマ関数やゼータ関数の解析接続については、例えばSteinとShakarchiの本に載っています。

この方法の良い点は、あまり上手い関数等式を使わずとも比較的簡単に出来るという点と、解析接続した有理型関数項級数の形から極やその留数が簡単に分かる所です。

今回はこれで終わりたいと思います。お疲れ様でした。

参考文献

[1]
Elias M. Stein, Rami Shakarchi, Complex Analysis (Princeton Lectures in Analysis), Princeton University Press, 2003
[2]
Henri Cartan, Elementary Theory of Analytic Functions of One or Several Complex Variables, Dover Publications, 1995
[3]
Lars V. Ahlfors, COMPLEX ANALYSIS, 3rd ed., International Series in Pure & Applied Mathematics, McGraw-Hill Education, 1979
投稿日:2023125
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中