整関数

複素解析における整函数（せいかんすう、entire function）は、複素数平面の全域で定義される正則函数を言う。そのような函数の例として、特に複素指数函数や多項式函数およびそれらの和、積、合成を用いた組合せとしての三角函数および双曲線函数などを挙げることができる。
二つの整函数の商として有理型函数が与えられる。
解析函数論の特定の場合として考えれば「整函数の基本理論」は一般論からの単に帰結であり、それは本質的に複素関数論の初歩（しばしばヴァイヤシュトラスの因数分解定理によって詳しく調べられる）である。しかしその研究は、19世紀半ばごろのコーシー, label=ラゲール, ヴァイヤシュトラスらから始まり、ボレル, アダマール, label=モンテル, ピカール, label=ヴァリロン, label=ブルメンタールら（そしてネヴァンリンナを忘れることはできない）によって著しく豊かに推し進められ、いまや堂々たる理論となった。
整函数の理論は、整函数をその増大度によって分類しようとするものであり、整函数のテイラー係数と増大度の間の関係、取りうる零点と整函数の振る舞いの間の関係、整函数とその導函数の間の関係を特定する。
整函数の理論におけるこれらの側面は、有理型函数に対するものに拡張される。

**解析函数論における整函数**
複素解析函数の分類は普通はそれらの複雑さ、つまりそれらの持つ特異点に従ってなされる。多項式函数を除けば、本項の主題である整函数、整函数の商として極のみを特異点に持つ有理型函数、そして真性特異点あるいは分岐点を持つような函数は一変数複素解析函数の中でもっとも複雑である。
整函数は多項式函数の一般化として現れ、ある意味で「無限次数の多項式」のように振る舞う。ゆえに整函数は、多項式函数を除いてもっとも単純な解析函数であり、有限な領域において特異点を持たず、無限遠点においてただ一つの特異点を持つ（後述）。それでも、整函数の研究は難しく、二百年近い研究史にも拘らず未だに多くの未解決問題を抱えている。

**基本理論**
複素解析函数 f が z に関して正則とすれば、テイラー–マクローリンの公式により点 z の周りで整級数  に展開される。整級数論により、上の級数は z を中心とし、コーシー–アダマールの定理により  で与えられる半径 R をもつ開円板上で絶対かつ一様に収束することが分かる。複素解析函数論の主結果は、収束半径が z と最も近くにある特異点との間の距離 R によって決まることである。複素解析函数が整であるとは、それが複素数平面の任意の点において正則であるときに言う。したがって、整函数は有限の距離にある特異点を持たない。ある点 y において正則な函数は y において無限回微分可能であることを思い出そう。
が整函数ならば、任意の点において正則であるから、収束整級数  に展開され、また無限遠点を除いて特異点を持たないから整級数の収束半径は無限大であり、すなわちこの級数は任意の z に対して収束する。したがって  が成り立つ。またそれゆえ、整函数の任意の階数の導函数もまた整函数になる。
コーシーの積分公式:  は、分数式 1/(s − z) を整級数に展開することにより、各テイラー係数を積分  によって決定できる。ただし上記の両方の積分では、積分路 γ は z を囲まないlabel=閉路とする。さらに M(R) を z を中心とする半径 R の円板上での函数の最大絶対値とすれば、極めて重要なinégalité de Cauchy  が簡単な論法により得られる。
整函数に関する重要な結果としてリウヴィルの定理がある:
 定理 (Liouville) : 整函数が有界ならば、定数函数である。
この定理はコーシーの不等式を適用して証明できる。すなわち、R が何であっても M(R) が有界であることに注意して、R を無限大に飛ばせば所望の結果を得る。
このリウヴィルの定理から、代数学の基本定理「次数 n の任意の多項式は、重複度を込めて n 個の根を持つ」の簡単な証明が得られる。次のピカールの小定理はリウヴィルの定理の強化版であると考えられる:
 定理 (Picard): 定数でない任意の整函数は、複素数平面上において、高々一つの値を除いたすべての複素数の値をとる。
詳しくは後述するが、ある意味で整函数論はピカールの小定理のまったく周辺を周っている。- 一つの領域—つまり、連結開集合—上定義された正則函数が整函数に解析的に延長できるための必要十分条件は、そのテイラー級数の収束半径がその領域上の任意の点において無限大となることである。（注：領域上のある1点に於いてテイラー級数の収束判型が無限大であれば整関数に延長できる。）- 整函数全体の成す集合は、写像の合成に関して閉じているから、複素数平面からそれ自身への連続函数全体の成す空間の複素部分多元環を成す。
整函数は有界ならば定数であり、また無限遠点以外では特異点を持てないから、定数でない任意の整函数に対して無限遠点は特異点である。可能性としてその特異点は極または真性特異点であるが、前者の（無限遠点に極を持つ）場合、その整函数は多項式である。後者の（無限遠に真性特異点を持つ）場合、その函数は超越整函数と言う。
 孤立零点の原理: 函数 f は領域 U 上で定義された解析函数で、a において消えているとする。このとき、f は恒等的に零か、さもなくば a を中心とする円板 D が存在して、a と異なる任意の s ∈ D に対して f(s) ≠ 0 が成り立つ。
これは解析接続の原理からの帰結である。
 開写像定理: 開集合 U 上で定数でない解析函数 f に対し、f(U) もまた開集合である。
これは孤立零点の原理によっても示せる。
 最大値原理
 領域 D 上で定数でない解析函数 f に対し、開写像定理から以下が直ちに従う:- f の絶対値は D に極大値を持たない（したがって、D が有界ならば  は D の境界上で最大値を持つ）;- f が D 上で消えないならば、 は D に極大値を持たない;- f の実部は D に極大値も極小値も持たない。
特にシュヴァルツの補題が導ける。
より一般に、任意の劣調和函数（例えば  や f が消えない場合の  などはそう）は最大値の原理を満足する。また任意の調和函数（例えば Re(f) はそう）は最大値および最小値の原理を満足する。
は最大絶対値の原理の非有界領域への一般化である。

**増大度**
定義により、整函数は無限遠点にのみ孤立特異点を持つ。整函数 f に対して によって求まり、また整函数の型は公式  によって決定できるp=11}}
円周上の最大値と整級数展開の係数には関係があることを見たが、同様の関係がたとえば函数の実部のみに関してどのようになるかを問うことができる。この関係は一般にはLemme de Borel-Carathéodoryによって与えられる。それもまた導函数の評価を考えるものである:
が導かれる。この公式により、零点の個数と整函数の増大度を結びつけることが可能である。すなわち、f(s) が整函数で、その任意の零点  が半径 r の円板内に含まれるとき、絶対値が x 以下の零点の個数を n(x) と書けば、 が成り立ち、したがって 0 において非零な整函数に対して、イェンゼンの公式を  の形で与えることができる。有限増大度 ρ の整函数に対しては　 が示せる。
級数  は τ > ρ に対して収束し、この級数が収束するような最小の τ の値を、これら零点列の（ボレルの）実位数 (ordre réel) または収束冪数 (exposant de convergence) と言う。そのとき以下のボレルの定理が成り立つ:

**種数**
整函数 f が種数 p であるとは、ラゲールによれば、それが  または  の形に書けて、かつ p − 1 に対しては同様の形に書けない場合であることを言う。ただし、Q は次数が高々 p の多項式であり、P は任意の多項式であり、無限積はヴァイヤシュトラスの積であるとする。
収束冪数を上から抑える最小の整数も函数の「種数」と呼ばれる。
種数はラゲールの公式によって決定できる:
種数の概念に注意深くなりすぎる必要はない。リンデレーフは函数  は かつ だが、f(z) − 1 は となることを示した。同様に f(z) + f(−z) は だが f′(z) は となる。しかしヴァリロンは以下の定理を証明した:
Dans ses investigations sur les fonctions entières à la suite du mémoire fondateur de Weierstrass, Edmond Laguerreは
ことを示した。（※校正意見、この定理(Laguerre)の記述は意味が不明である）

**漸近値**
「定数でない整函数が、適当な領域において有限な漸近値をもつことがあるか、常に有限な極限を持つかの何れであるか」を問題にすることができる。リウヴィルの定理により、任意の方向において有限な漸近値を持つということが不可能であることは既知である。
が漸近値を許すとは、適当な方向の経路が存在して s がその経路に沿って無限大に発散するとき f(s) が値 a に収束するときに言う（そのような経路は「a の決定路」(chemin de détermination a) と呼ぶ）。したがって定数でない任意の整函数は、少なくとも一つ ∞ の決定路を持つ。
増大度が 1/2 より小さい整函数 f に対しては、原点中心かつ半径が限りなく大きくなる無限個の円が存在して、その上での f の最小絶対値は無限大に発散する。したがって、増大度が 1/2 より小さい整函数に対しては、有限な漸近値は存在しない。実はワイマンは以下の定理を示した:
いま、整函数が二つの値 a, b の決定路を持つとすれば、それら二つの決定路に挟まれた領域に ∞ の決定路が存在するか、あるいは 1=a = b であって二つの決定路に挟まれた無限大へ向かう任意の経路が a（したがって b）の決定路となる。
ダンジョワは有限増大度 ρ の整函数は高々 2ρ 個の漸近値を持つと予想した。この予想はlabel=アールフォルスの定理となった。
したがって、0 から無限大を結ぶ異なる漸近値を導く直線が ρ 本よりも多く存在することは不可能である。結果としてそのような二直線のなす角は π/ρ 以上である。

**フラグメン–リンデレーフの指示函数**
有限増大度整函数の増大度 ρ の定義とフラグメン–リンデレーフの原理の示唆するところにより、ひとつの半直線上の増大はその近傍にある直線上のそれに影響されるのだから、函数  を調べることには意義がある。この函数 h(θ) をフラグメン–リンデレーフの指示函数と呼ぶ。この函数は周期が 2π の周期函数で、実数値以外に −∞ または +∞ も値として取りうる。これに関して
が言える。したがって同じ仮定のもとで
「整函数が可算集合上でとる値から一意に決定されることが保証される条件はあるか」という問いは自然である。集合をこのように制限しない場合には、この問いはアプリオリに否決されるものと思われ、実際成り立たないことが示せる。この種の問いにおいて、カールソンの結果は tout un pan de recherche に起源を持つ。それは以下のように述べられる:
証明にはフラグメン–リンデレーフの指示函数を用いる。

**ポーヤの定理**
整函数が適当な集合上で整数値をとるという条件は、その増大に制限を課す。1915 は例えば以下の定理を証明した:
言い換えれば、自然数全体の成す集合上で整数値をとる多項式でない整函数として（増大度の意味で）最小のものは、函数  である。
この結果は幾何数列上整数値をとる整函数に対するものに一般化できる。

**クラフト–ブルメンタール理論**
増大度が有限でない整函数は無限増大度であるという。有限増大度 ρ の場合には、エミール・ボレルにより「その上で増大度が  となる半径 r の円が無限個存在するならば、それら以外の無限個の円上で増大度が著しく低くなることが起こり得る」（そのような整函数は異常増大 (irregular growth) であるという）という言及がかなり早い時期に与えられているが、同じ現象は無限増大度の場合にも存在する。
そのような理論は、整函数の型の存在と公式  に従って与えられる増大度 1=ρ = ρ(r) に基づく。

**整函数論の応用**
整函数論は、リウヴィルの定理により、代数学の基本定理のシンプルでエレガントな証明を可能にする。
増大度が整数でない整函数は無限個の零点を持つという性質により、リーマンゼータ函数が 0 < ℜe(z) < 1 に無限個の零点を持つことの証明にも整函数論はあらわれる。
二つの整函数の商である有理型函数の研究にも整函数論は応用される。有理型函数はさまざまな微分方程式に関する問題に自然にあらわれる。
整函数や有理型函数に対する方法論は、より複雑な（複数の変数などに関する……）解析函数の研究に対する重要な示唆や直観の源を与えるものでもある。

**注**

**注釈**

**出典**

**参考文献**

**関連文献**
  pages=411–500- jfm=31.0392.02-  publisher= Gauthier-Villars.-  isbn= 9780821808979-  oclc= 432684946-  pages= 278-287-  year= 1914-  publisher= Gauthier-Villars

**外部リンク**
 title=entire function- title=Entire Function- title=Entire Function- title=Definition:Entire Function- author=Leont'ev, A.F.-  https://kotobank.jp/word/seikansu