ローラン級数のソースを表示

{{出典の明記|date=2024年9月29日 (日) 19:33 (UTC)}}
'''ローラン級数'''（ローランきゅうすう、{{lang-en-short|Laurent series}}）とは負冪の項も含む形での[[冪級数]]としての関数の表示のことである。[[テイラー級数展開]]できない複素関数を表示する場合に利用される。ローラン級数の名は、最初の発表が[[1843年]]に[[ピエール・アルフォンス・ローラン]]によってなされたことに由来する。ローラン級数の概念自体はそれより先の[[1841年]]に[[カール・ワイエルシュトラス]]によって発見されていたが公表されなかった。

[[image:Laurent series.svg|frame|right|特定の点 ''c'' および閉曲線 &gamma; に関して定義されたローラン級数。 積分路である &gamma; は赤で塗ったアニュラスの内側に載っており、アニュラスの内側で ''f''(''z'') は正則である]]

== 定義 ==
複素関数 ''f''(''z'') の点 ''c'' の周りでの（あるいは点 ''c'' を中心とする）ローラン級数は以下で与えられる：
:<math>f(z)=\sum_{n=-\infty}^\infty a_n(z-c)^n</math>
ここで、''a''<sub>''n''</sub> は[[複素線積分]]
:<math>a_n=\frac{1}{2\pi i} \oint_\gamma \frac{f(\zeta)\,dz}{(\zeta-c)^{n+1}}.</math>
によって与えられる定数である<ref>{{Cite book|和書 |title=複素関数 |publisher=岩波書店 |page=102 |author=表実 |year=2019 |edition=新装版 |isbn=978-4-00-029887-2}}</ref>。負冪の部分、すなわち
:<math>\sum_{n=-\infty}^{-1} a_n(z-c)^n</math>
をローラン級数の'''主要部'''<ref>{{Cite book|和書 |title=複素関数 |year=2019 |publisher=岩波書店 |page=103 |author=表実 |edition=新装版 |isbn=978-4-00-029887-2}}</ref>という。

積分路 &gamma; は点 ''c'' を内部に含む自己交差を持たない反時計回りの有限長閉曲線で、''f''(''z'') が[[正則関数|正則]]であるような[[アニュラス]] ''A'' 上にとる。''f''(''z'') に対するこの展開はこのアニュラスの内部であればどこでも有効である。 <!--このアニュラスは右図で赤く塗った部分であり、適当な積分路に &gamma; のラベルがつけてある。-->
実際に上記の積分公式を用いてローラン級数を計算することは、積分計算が困難であるなどの理由から稀であって、代わりに既に知られたテイラー展開を組み合わせる方法に依ることが多い。''a<sub>n</sub>'' や ''c'' といった定数は複素数に取ることが主である。他のものである可能性もあるがそれについては後に譲る。

== ローラン級数の収束性 ==
複素係数ローラン級数は[[複素解析]]における、殊に特異点の周りでの関数の振る舞いを調べる重要な道具である。
[[Image:expinvsqlau.png|right|frame|<div>''e''<sup>&minus;1/''x''&sup2;</sup>（黒）およびその近似式
:<math>\sum_{j=0}^n(-1)^j\,{x^{-2j}\over j!}</math>
における ''n'' を {{Color|#b30000|1}}, {{Color|#00b300|2}}, {{Color|#0000b3|3}}, {{Color|#b3b300|4}}, {{Color|#00b3b3|5}}, {{Color|#b300b3|6}}, {{Color|#b3b3b3|7}} および {{Color|#33b300|50}} とするのに応じた式をそれぞれ対応する色を用いて示してある。負冪の項の増加につれもとの関数に近づく。 ''n'' &rarr; &infin; とすれば特異点である ''x'' = 0 を除く各点で近似されていく様子が分かるだろう。</div>]]

例えば、関数 ''f''(''x'') = ''e''<sup>&minus;1/''x''&sup2;</sup> を考える。ただし、''f''(0) = 0 と置く。実関数としては、これは各点で無限回微分可能である。一方、複素関数としてはこれは点 ''x'' = 0 において微分可能ではない。 [[指数関数]]のテーラー展開に &minus;1/''x''<sup>2</sup> を代入することにより、得られるローラン級数が収束すること、およびそのローラン級数が特異点である ''x'' = 0 を除く各複素数点 ''x'' において ''f''(''x'') と一致することなどが確かめられる。

さらに一般に、ローラン級数はアニュラス上定義された正則関数を表示するのに用いられる。これは[[円板]] (disk) 上定義された正則関数が冪級数で表されるのと同様である。さて、

:<math>\sum_{n=-\infty}^{\infty} a_n ( z - c )^n</math> 

を与えられたローラン級数で、複素数の係数 ''a''<sub>''n''</sub> を持ち、中心 ''c'' も複素数とする。ここで、内半径''r'' および外半径 ''R'' が一意的に存在して以下を満たす： 
* 与えられたローラン級数が開アニュラス ''A'' := {''z'' | ''r'' &lt; |''z'' &minus; ''c''| &lt; ''R''} 上で収束する。ここでローラン級数が収束するというのは、正冪部分の冪級数と負冪部分の級数（を ''w'' = 1 / (''z'' &minus; ''c'') の冪級数と見たもの）がともに収束することを意味する。さらにいえばこの収束性は[[広義一様収束]]（任意のコンパクト部分集合上で一様）である。また、収束ローラン級数はこの開アニュラス上で正則な関数 ''f''(''z'') を定義する。
* 上記の開アニュラス ''A'' の外側では与えられたローラン級数は発散する。つまり、''A'' の外部の点においては正冪部分か負冪部分の冪級数が発散する。
* アニュラス ''A'' の境界上では、内側の境界と外側の境界（というのは一般的な言い方ではないけれども）のそれぞれで ''f''(''z'') が滑らかに繋がらない点が少なくとも一つずつ存在する。

もちろん、''r'' が 0 に取れることも ''R'' が無限大に取れることもある。それとは反対に、必ずしも ''r'' &lt; ''R'' である必要もない。これらの半径は
:<math>r = \limsup_{n\rightarrow\infty} |a_{-n}|^{1 \over n}</math>
:<math>{1 \over R} = \limsup_{n\rightarrow\infty} |a_n|^{1 \over n}</math>
によって計算することができる。後者の上限が 0 であるときに ''R'' を無限大としてとる。

上記の議論とは逆に、アニュラス ''A'' = {''z'' |  ''r'' &lt; |''z'' &minus; ''c''| &lt; ''R''} と ''A'' 上定義された正則関数  ''f''(''z'') から始めるなら、''c'' を中心とし、少なくとも ''A'' 上では収束するローラン級数で ''f''(''z'') を表すものが一意的に存在する。

例として、関数
:<math>f(z) = {1 \over (z-1)(z-2i)}</math>
を考える。この関数は分母が 0 になるために関数が定義できない点として ''z'' = 1 と ''z'' = 2''i'' を特異点としてもつ。''z'' = 0 におけるテイラー級数は半径 1 の円板上で収束するので、収束円の境界は特異点である ''z'' = 1 に「ぶつかる」。一方、''z'' = 0 のまわりでのローラン展開というのは ''z'' の属する領域に応じて三種類可能である。
* 一つは |''z''| &lt; 1; なる円板上で定義されるもので、これは上記テイラー級数と同じものである：
*:<math>f(z) = \frac{1+2i}{5} \sum_{k=0}^\infty \left(\frac{1}{(2i)^{k+1}}-1\right)z^k</math>.
* 別な一つは 1 &lt; |''z''| &lt; 2 なる二つの特異点の間にあるアニュラス上で定義されるもので、以下のようになる:
*:<math>f(z) = \frac{1+2i}{5} \left(\sum_{k=1}^\infty \frac{1}{z^k} + \sum_{k=0}^\infty \frac{1}{(2i)^{k+1}}z^k\right)</math>.
* 最後の一つは 2 &lt; |''z''| &lt; &infin;, なる無限アニュラス上で定義されるものである：
*:<math>f(z) = \frac{1+2i}{5} \sum_{k=1}^\infty \frac{1-(2i)^{k-1}}{z^k}</math>.

''r'' = 0 の場合というのは、つまり一点 ''c'' においてのみ定義されないかも知れない正則関数 ''f''(''z'') の場合であるが、特に重要である。そのような関数のローラン展開における &minus;1 番目の係数 ''a''<sub>-1</sub> は関数 ''f''(''z'') の特異点 ''c'' における（微分形式 ''f''(''z'')''dz'' の）[[留数]]と呼ばれ、留数定理における重要な役割を演じる。

例えば、関数
:<math>f(z) = {e^z \over z} + e^{1 \over z}</math>

を考える。この関数は ''z'' = 0 を除いた各点で正則である。中心 ''c'' = 0 に関するローラン展開を決定するために、指数関数のテイラー展開を利用すると
:<math>f(z) = \cdots + \left ( {1 \over 3!} \right ) z^{-3} + \left ( {1 \over 2!} \right ) z^{-2} + 2z^{-1} + 2 + \left ( {1 \over 2!} \right ) z + \left ( {1 \over 3!} \right ) z^2 + \left ( {1 \over 4!} \right ) z^3 + \cdots</math>

なる展開を得る。したがって留数が 2 であることが見てとれる。

== 形式ローラン級数 ==
ローラン級数の収束性を問題にすることなく'''形式ローラン級数''' (<em lang=en>formal Laurent series</em>) は定義される。係数 ''a<sub>k</sub>'' は適当な可換環 ''K'' から取ることができる。この場合、負冪の項はその係数が有限個の例外を除き 0 であるもののみを扱う。また特に、中心を 0 にとる。つまり、''K'' に係数を持つ形式ローラン級数とは ''K'' 内の適当な（多くは負の）整数 ''N'' から添字をはじめる[[数列]] (''a''<sub>''n''</sub>)<sub>''n''=''N'',''N''+1,''N''+2,...</sub> によって定まる級数
:<math>\sum_{n=N}^\infty a_n x^n</math>
のことである。これを、紛れのおそれの無い場合には
:<math>\sum_{n=-\infty}^\infty a_n x^n</math>
と記す。正冪の項も有限個の例外を除いたすべての係数が 0 であるとき、つまり正冪部分が[[多項式]]であるような形式ローラン級数を'''ローラン多項式''' (<span lang=en>Laurent polynomial</span>) という。

二つの形式ローラン級数が等しいというのは、全ての係数が数列として互いに等しいときである：
:<math>\sum_{n=-\infty}^\infty a_n x^n = \sum_{n=-\infty}^\infty b_n x^n
\iff a_n = b_n \mbox{ for any } n.
</math>
係数環 ''K'' 上で ''x'' を不定元として定義される形式ローラン級数の全体を ''K''((''x'')) と記す。
:<math>K(\!(x)\!) := \left\{\sum_{n=N}^\infty a_n x^n \mid a_n \in K,\,N\in \mathbb{Z}\right\}</math>
二つの形式ローラン級数の和は各項の係数和 を係数とするローラン級数
:<math>\left(\sum_{n=-\infty}^\infty a_n x^n\right) + \left(\sum_{n=-\infty}^\infty b_n x^n\right)
  := \sum_{n=-\infty}^\infty (a_n + b_n) x^n
</math>
として定義される。また、二つのローラン級数の係数列の[[畳み込み]]
:<math>c_n := \sum_{i+j=n}a_i b_j</math>
を係数として持つローラン級数
:<math>\left(\sum_{n=-\infty}^\infty a_n x^n\right)\left(\sum_{n=-\infty}^\infty b_n x^n\right)
  := \sum_{n=-\infty}^\infty c_n x^n
</math>
として積が定まる。ここで、畳み込みが実質的有限和として確定の値を持つために負冪の項の有限性が本質的に効いてくる。この二つの演算に関して ''K''((''x'')) は可換環となる。さらに ''c'' &isin; ''K'' に対して
:<math>c\cdot\left(\sum_{n=-\infty}^\infty a_n x^n\right)
  := \sum_{n=-\infty}^\infty (ca_n)x^n
</math>
によってスカラー倍を定めると ''K''((''x'')) は ''K'' 上の多元環となる。

さらに ''K'' が[[可換体|体]]であるならば、''K'' 上の[[冪級数|形式冪級数環]] ''K''<nowiki>[[</nowiki>''x''<nowiki>]]</nowiki> は整域であるからその[[商体]]が考えられるが、それは ''K''((''x'')) に一致する。すなわち、体 ''K'' 上で定義された ''K''((''x'')) は多元体であり、これを'''形式ローラン級数体'''あるいは単にローラン級数体と呼ぶ。特に[[有限体]]上のローラン級数体は[[局所体]]の重要な例である。

== 出典 ==
{{Reflist}}

== 関連項目 ==
* [[テイラー展開]]
* [[複素解析]]
* [[留数]]
* [[極 (複素解析)]]
* [[ミッタク＝レフラーの定理]]

{{DEFAULTSORT:ろうらんきゆうすう}}
[[Category:複素解析]]
[[Category:多元環論]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]