整関数

テンプレート:Otheruses2 テンプレート:参照方法テンプレート:出典の明記複素解析における整函数（せいかんすう、テンプレート:Lang-en-short）は、複素数平面の全域で定義される正則函数を言う。そのような函数の例として、特に複素指数函数や多項式函数およびそれらの和、積、合成を用いた組合せとしての三角函数および双曲線函数などを挙げることができる。

二つの整函数の商として有理型函数が与えられる。

解析函数論の特定の場合として考えれば「整函数の基本理論」は一般論からの単に帰結であり、それは本質的に複素関数論の初歩（しばしばヴァイヤシュトラスの因数分解定理によって詳しく調べられる）である。しかしその研究は、19世紀半ばごろのコーシー, テンプレート:Ill2, ヴァイヤシュトラスらから始まり、ボレル, アダマール, テンプレート:Ill2, ピカール, テンプレート:Ill2, テンプレート:Ill2ら（そしてネヴァンリンナを忘れることはできない）によって著しく豊かに推し進められ、いまや堂々たる理論となった。

整函数の理論は、整函数をその増大度によって分類しようとするものであり、整函数のテイラー係数と増大度の間の関係、取りうる零点と整函数の振る舞いの間の関係、整函数とその導函数の間の関係を特定する。

整函数の理論におけるこれらの側面は、有理型函数に対するものに拡張される。

解析函数論における整函数

複素解析函数の分類は普通はそれらの複雑さ、つまりそれらの持つ特異点に従ってなされる。多項式函数を除けば、本項の主題である整函数、整函数の商として極のみを特異点に持つ有理型函数、そして真性特異点あるいは分岐点を持つような函数は一変数複素解析函数の中でもっとも複雑である。

整函数は多項式函数の一般化として現れ、ある意味で「無限次数の多項式」のように振る舞う。ゆえに整函数は、多項式函数を除いてもっとも単純な解析函数であり、有限な領域において特異点を持たず、無限遠点においてただ一つの特異点を持つ（後述）。それでも、整函数の研究は難しく、二百年近い研究史にも拘らず未だに多くの未解決問題を抱えている。

基本理論

複素解析函数テンプレート:Mvar がテンプレート:Mvar に関して正則とすれば、テイラー–マクローリンの公式により点テンプレート:Mvar の周りで整級数 $f (s) = \sum_{n = 0}^{\infty} a_{n} (s - z)^{n}$ に展開される。整級数論により、上の級数はテンプレート:Mvar を中心とし、コーシー–アダマールの定理により $\frac{1}{R} = \underset{n \to \infty}{lim sup} | a_{n} |^{1 / n}$ で与えられる半径テンプレート:Mvar をもつ開円板上で絶対かつ一様に収束することが分かる。複素解析函数論の主結果は、収束半径がテンプレート:Mvar と最も近くにある特異点との間の距離テンプレート:Mvar によって決まることである。複素解析函数が整であるとは、それが複素数平面の任意の点において正則であるときに言う。したがって、整函数は有限の距離にある特異点を持たない。ある点テンプレート:Mvar において正則な函数はテンプレート:Mvar において無限回微分可能であることを思い出そう。

テンプレート:Mvar が整函数ならば、任意の点において正則であるから、収束整級数 $f (z) = \sum_{n \geq 0} a_{n} z^{n}$ に展開され、また無限遠点を除いて特異点を持たないから整級数の収束半径は無限大であり、すなわちこの級数は任意のテンプレート:Mvar に対して収束する。したがって $\underset{n \to \infty}{lim sup} | a_{n} |^{1 / n} = 0$ が成り立つ。またそれゆえ、整函数の任意の階数の導函数もまた整函数になる。

コーシーの積分公式: $f (z) = \frac{1}{2 π i} \int_{γ} \frac{f (s)}{s - z} d s$ は、分数式テンプレート:Math を整級数に展開することにより、各テイラー係数を積分 $a_{n} = \frac{f^{(n)} (z)}{n!} = \frac{1}{2 π i} \int_{γ} \frac{f (s)}{(s - z)^{n + 1}} d s$ によって決定できる。ただし上記の両方の積分では、積分路テンプレート:Mvar はテンプレート:Mvar を囲まないテンプレート:Ill2とする。さらにテンプレート:Math をテンプレート:Mvar を中心とする半径テンプレート:Mvar の円板上での函数の最大絶対値とすれば、極めて重要なテンプレート:Ill2 $| a_{n} | \leq \frac{M (R)}{R^{n}}$ が簡単な論法により得られる。

整函数に関する重要な結果としてリウヴィルの定理がある:

定理 (Liouville): 整函数が有界ならば、定数函数である。

この定理はコーシーの不等式を適用して証明できる。すなわち、テンプレート:Mvar が何であってもテンプレート:Math が有界であることに注意して、テンプレート:Mvar を無限大に飛ばせば所望の結果を得る。このリウヴィルの定理から、代数学の基本定理「次数テンプレート:Mvar の任意の多項式は、重複度を込めてテンプレート:Mvar 個の根を持つ」の簡単な証明が得られる。次のピカールの小定理はリウヴィルの定理の強化版であると考えられる:

定理 (Picard): 定数でない任意の整函数は、複素数平面上において、高々一つの値を除いたすべての複素数の値をとる。

詳しくは後述するが、ある意味で整函数論はピカールの小定理のまったく周辺を周っている。

一つの領域—つまり、連結開集合—上定義された正則函数が整函数に解析的に延長できるための必要十分条件は、そのテイラー級数の収束半径がその領域上の任意の点において無限大となることである。（注：領域上のある1点に於いてテイラー級数の収束判型が無限大であれば整関数に延長できる。）
整函数全体の成す集合は、写像の合成に関して閉じているから、複素数平面からそれ自身への連続函数全体の成す空間の複素部分多元環を成す。

整函数は有界ならば定数であり、また無限遠点以外では特異点を持てないから、定数でない任意の整函数に対して無限遠点は特異点である。可能性としてその特異点は極または真性特異点であるが、前者の（無限遠点に極を持つ）場合、その整函数は多項式である。後者の（無限遠に真性特異点を持つ）場合、その函数は超越整函数と言う。

孤立零点の原理: 函数テンプレート:Mvar は領域テンプレート:Mvar 上で定義された解析函数で、テンプレート:Mvar において消えているとする。このとき、テンプレート:Mvar は恒等的に零か、さもなくばテンプレート:Mvar を中心とする円板テンプレート:Mvar が存在して、テンプレート:Mvar と異なる任意のテンプレート:Math に対してテンプレート:Math が成り立つ。

これは解析接続の原理からの帰結である。

開写像定理: 開集合テンプレート:Mvar 上で定数でない解析函数テンプレート:Mvar に対し、テンプレート:Math もまた開集合である。

これは孤立零点の原理によっても示せる。

最大値原理

領域テンプレート:Mvar 上で定数でない解析函数テンプレート:Mvar に対し、開写像定理から以下が直ちに従う:

テンプレート:Mvar の絶対値はテンプレート:Mvar に極大値を持たない（したがって、テンプレート:Mvar が有界ならばテンプレート:Math はテンプレート:Mvar の境界上で最大値を持つ）;
テンプレート:Mvar がテンプレート:Mvar 上で消えないならば、テンプレート:Math はテンプレート:Mvar に極大値を持たない;
テンプレート:Mvar の実部はテンプレート:Mvar に極大値も極小値も持たない。

特にシュヴァルツの補題が導ける。

より一般に、任意の劣調和函数（例えばテンプレート:Math やテンプレート:Mvar が消えない場合のテンプレート:Math などはそう）は最大値の原理を満足する。また任意の調和函数（例えばテンプレート:Math はそう）は最大値および最小値の原理を満足する。

テンプレート:Ill2は最大絶対値の原理の非有界領域への一般化である。

増大度

定義により、整函数は無限遠点にのみ孤立特異点を持つ。整函数テンプレート:Mvar に対して $M_{f} (r) = \max_{| z | = r} | f (z) |$ と置けば、この函数は最大値原理により単調増大で、テンプレート:Mvar が定数でなければリウヴィルの定理から有界ではない。これをテンプレート:Mvar の最大絶対値函数と言う。

テンプレート:Énoncé

上記の凸性からの帰結として、テンプレート:Math は右および左微分を持ち、それらは単調増大である。必ずしも連続でない函数テンプレート:Math が存在して $\ln M_{f} (r) = \ln M_{f} (1) + \int_{1}^{r} v (t) \frac{d t}{t}$ が成り立つ。

関数ｆの絶対最大値函数テンプレート:Math のテンプレート:Mvar に関しての増大にはいくらでも速いものが存在する。より精確には、任意の単調増大函数テンプレート:Math に対して、適当な函数テンプレート:Mvar を選ぶことで、任意の実数テンプレート:Mvar に対してテンプレート:Math がテンプレート:Math より真に大きい実数となるようにできる。そのためにはテンプレート:Mvar として $f (z) = c + \sum_{k = 1}^{\infty} {(\frac{z}{k})}^{n_{k}}$ の形のものを、うまく選んだ整数列テンプレート:Mvar に対してとればよい。実際、テンプレート:Math および $n_{k} : = 2 ⌈ k \ln g (k + 2) ⌉ (\forall k \geq 1)$ と取れるテンプレート:Citation needed。

実はこれはテンプレート:Ill2の一様近似定理^[1]「テンプレート:Mvar がテンプレート:Mathbf 上定義された複素数値連続函数で、テンプレート:Math が連続ならば、整函数テンプレート:Mvar が存在して、任意の実数テンプレート:Mvar に対して $| f (x) - Q (x) | < E (x)$ とできる」の特別の場合になっている^[2]。

整函数テンプレート:Mvar が適当な値テンプレート:Mvar に対して $\underset{r \to \infty}{lim inf} \frac{M_{f} (r)}{r^{λ}} = 0$ を満たすならば、函数テンプレート:Mvar は次数が高々テンプレート:Mvar の多項式である。等号を満足するテンプレート:Mvar が存在しないときは、テンプレート:Math の増大度をテンプレート:Math と比較する。適当な値テンプレート:Math より大きいテンプレート:Mvar に対して不等式 $M_{f} (r) < \exp (r^{k})$ が常に成り立つならば、テンプレート:Mvar は有限増大度であると言う。整函数テンプレート:Mvar の増大度 (order of growth) あるいは上増大度 (superior order)テンプレート:Efnは、等式 $ρ = ρ_{f} = \underset{r \to \infty}{lim sup} \frac{\ln \ln M_{f} (r)}{\ln r}$ によって定義される。同じ増大度テンプレート:Mvar の整函数の間でも、 $σ_{f} = \underset{r \to \infty}{lim sup} \frac{\ln M_{f} (r)}{r^{ρ}}$ と定義される型テンプレート:Mvar の函数を区別することができる。テンプレート:Mvar の値により、極小型 (テンプレート:Math), 通常型 (テンプレート:Math) または極大型 (テンプレート:Math に分類する。

そのとき以下の不等式が成り立つ：

$ρ_{f + g} \leq \max (ρ_{f}, ρ_{g});$
$ρ_{f g} \leq \max (ρ_{f}, ρ_{g});$
$σ_{f + g} \leq \max (σ_{f}, σ_{g});$
$σ_{f g} \leq σ_{f} + σ_{g} .$

指数函数テンプレート:Math の増大度は 1 であり、また正弦テンプレート:Math および余弦函数テンプレート:Math もそうである。

ミッタク゠レフラー函数 $f (z) = \sum_{n = 0}^{\infty} \frac{z^{n}}{Γ (1 + \frac{n}{ρ})}$ は増大度テンプレート:Mvar である。リンデレーフ函数 $f (z) = \sum_{n = 0}^{\infty} {(\frac{z}{n^{1 / ρ}})}^{n}$ も同じ。

整函数の増大度と整級数展開の係数の間には以下のような関係がある:

整函数 $f (z) = \sum_{n \geq 0} a_{n} z^{n}$ が十分大きなテンプレート:Mvar に対して $M_{f} (r) < e^{A r^{k}}$ を満たすならば、 $| a_{n} | \leq {(\frac{e A k}{n})}^{n / k}$ が十分大きなテンプレート:Mvar に対して成り立つ。
逆に、十分大きなテンプレート:Mvar に対して $| a_{n} | \leq {(\frac{e A k}{n})}^{n / k}$ が成り立つならば、任意のテンプレート:Math に対し $M_{f} (r) < e^{(A + ϵ) r^{k}}$ が十分大きなテンプレート:Mvar に対して成り立つ。

まとめると: テンプレート:Énoncé

円周上の最大値と整級数展開の係数には関係があることを見たが、同様の関係がたとえば函数の実部のみに関してどのようになるかを問うことができる。この関係は一般にはテンプレート:Ill2によって与えられる。それもまた導函数の評価を考えるものである: テンプレート:Énoncé

整函数の導函数はその整級数の形式微分によって得られる。コーシー–アダマールの公式を適用すると、整函数の導函数もまた整函数になることが分かる。導函数の増大度がどうなるかという問いが自然に生じるが、その増大度は上記の公式によって計算できて、以下のことが示される:

命題: 整函数の導函数の増大度はもとの整函数の増大度に等しい。

また整函数は無限回微分可能であるから、任意の階数の導函数についても増大度はすべて等しい。

整函数の増大をより細かく比較するために、 $\underset{r \to \infty}{lim inf} \frac{\ln \ln M_{f} (r)}{\ln r}$ で定義される下増大度 (inferior order) を考える。

命題: 整函数の導函数の下増大度は、もとの整函数の下増大度に等しい。

が示されるが、これではまだ十分に精密ではない。有限増大度テンプレート:Mvar の整函数テンプレート:Mvar に対して、函数テンプレート:Math が存在して、以下の性質

テンプレート:Math は定義されて連続、各点において左および右微分可能である;
$\lim_{r \to \infty} ρ (r) = ρ;$
$\lim_{r \to \infty} ρ^{'} (r) r \ln r = 0;$
$\underset{r \to \infty}{lim sup} \frac{\ln M_{f} (r)}{r^{ρ (r)}} = 1$

を満たすとき、テンプレート:Mvar の精密増大度 (precise order) テンプレート:Mvar が定義される。（※校正意見、精密増大度 L の定義が不明である。）

エミール・ボレルは、自身の整函数の研究において、整函数の増大度を $ρ = \lim_{r \to \infty} \frac{\ln \ln M (r)}{\ln r}$ と与えることにより、整函数の通常増大 (regular growth) を定義した。定義により、これは上増大度と下増大度が一致するときのその値であり、函数の通常増大とはそのような増大度を持つという意味で言う。テンプレート:Énoncé

有限増大度整函数の因数分解

テンプレート:Main ヴァイヤシュトラスは有限増大度テンプレート:Mvar の任意の整函数テンプレート:Mvar に対し、テンプレート:Mvar が複素数テンプレート:Math で値が零にならないとすれば、次数が高々テンプレート:Mvar である多項式テンプレート:Math と整数テンプレート:Math が存在して、 $f (s) = s^{p} \exp (P (s)) \prod_{n = 1}^{\infty} E (\frac{s}{a_{n}}, m)$ と書けることを示した。ただし、 $E (u, m) = (1 - u) e^{u + u^{2} / 2 + \dots + u^{m} / m}$ である。因子テンプレート:Mvar は、函数が原点テンプレート:Math に位数テンプレート:Mvar の零点を持つことに対応するものである。

ブートルー–カルタンの定理は整函数の研究において頻繁に用いられる結果を述べる。問題は積 $P (z) : = \prod_{k = 1}^{n} (z - z_{k})$ を零点の近傍の外において評価することである。いまテンプレート:Mvar は既知と仮定する。

定理 (Boutroux–Cartan): 任意の実数テンプレート:Math に対し、半径の和が高々テンプレート:Math となるテンプレート:Mvar 個の円の外側で $| P (z) | > {(\frac{H}{e})}^{n}$ が成り立つ。

テイラー級数の最大項

テンプレート:Math は整函数とする。数列テンプレート:Math はある番号以降は単調に減少して、テンプレート:Mvar に依らずテンプレート:Math に収束する。したがって、各テンプレート:Mvar に対しほかの全ての項以上の値を持つ項が存在するから、その値をテンプレート:Math, その値をとる（複数あるならば最大の）項番号をテンプレート:Math と書けば、テンプレート:Math はテンプレート:Mvar に関して単調増大で無限大に発散し、コーシーの不等式によりテンプレート:Math が成り立つからテンプレート:Énoncé

三つの函数テンプレート:Math の間には、二つの不等式 $B (r) < M (r) < B (r) [2 μ (r + \frac{r}{μ (r)}) + 1]$ が成立する。さらにこの不等式から、テンプレート:Énoncéが言える。するとテンプレート:Math に関してテンプレート:Énoncé ことを得る。一般に公式 $\ln B (r) = \ln B (r_{0}) + \int_{r_{0}}^{r} \frac{μ (u)}{u} d u$ が成り立つ。

値の分布

整函数の値の分布に関して最も深い結果はピカールの小定理で、「定数でない整函数は高々一つの例外値を除いてすべての複素数を値としてとる」ことを述べる（このとき、とらない値が存在すればそれを「ピカールの例外値」と称する）。より精確な結果は（先述の数を与えられた複素数の絶対値で上から抑えることにより）函数の増大度に依存する。

非整数増大度の場合: 増大度が整数でない場合は、ピカールの小定理における例外値を持つことはできない。すなわち、そのような整函数はテンプレート:Mvar の値に依らずに方程式テンプレート:Math が無限個の解を持つ。特に、

テンプレート:Énoncé

整数増大度の場合: 増大度が整数の場合には、ピカールの例外値が存在しうる。そのような場合の詳細はエミール・ボレルにより

テンプレート:Énoncé 零点が有限個かつ多項式に還元できない整数増大度の整函数が存在することが示せるが、そのような場合は増大度が奇数の偶整函数に対しては起こらない。（校正意見：この最後の文は数学的論理がおかしい。）

整函数と角

テンプレート:Énoncé

フランスの数学者 Milloux は1924年に受理された修士論文において、「充填円」(cercles de remplissages) と呼ばれる特定の円を定義した。それは以下のような形で述べられる: テンプレート:Énoncé

この充填円は方程式テンプレート:Math の解の決定に有用である。

零点

整函数補間: 整函数の増大度に制約を設けないならば、その整函数は集積点を持たない集合（例えば整数全体の成す集合）テンプレート:Mvar 上の任意に固定した値をとることができる。言い換えれば、テンプレート:Math がテンプレート:Ill2を持たない複素数値の単射数列で、テンプレート:Mathを任意の値を持つ複素数列とすれば、整函数テンプレート:Mvar が存在してテンプレート:Math とできる。

この結果は、ラグランジュ補間の類似であり、ヴァイヤシュトラスの因数分解定理およびミッタク＝レフラーの定理の帰結である^[3]テンプレート:Rp。さらに言えば、そのような函数二つの差はテンプレート:Mvar 上で消えている整函数となり、以下の段落の定理を適用することができる。

テンプレート:Énoncé

代数学の基本定理の帰結として次数テンプレート:Mvar の多項式は複素平面テンプレート:Mathbf においてちょうどテンプレート:Mvar 個の零点を持つから、多項式は零点を多く持つとそれだけ増大度もより速くなる。このことは整函数においても同様であるが、より複雑である。整函数の増大度と零点分布の間の関係としてテンプレート:Énoncé は、整函数論の主定理の一つに挙げられる。

イェンゼンの公式は、それを陽に述べなくとも、整函数論の一部を成すものである。それは例えばグリーンの公式から示される。

与えられた函数がテンプレート:Mvar に零点を持ち、テンプレート:Math の円板上に極を持たないとして、テンプレート:Math とおくと $\ln | f (r e^{i φ}) | = \frac{1}{2 π} \int_{0}^{2 π} \ln | f (ρ e^{i u}) | \frac{(ρ^{2} - r^{2})}{ρ^{2} + r^{2} - 2 r ρ \cos (u - φ)} d u - \sum_{k} \ln | \frac{ρ^{2} - \bar{a_{k}} x}{ρ (x - a_{k})} |$ が成り立つ。これをポワソン–イェンゼンの公式という。ここからイェンゼンの公式: テンプレート:Énoncéが導かれる。この公式により、零点の個数と整函数の増大度を結びつけることが可能である。すなわち、テンプレート:Math が整函数で、その任意の零点テンプレート:Mvar が半径テンプレート:Mvar の円板内に含まれるとき、絶対値がテンプレート:Mvar 以下の零点の個数をテンプレート:Math と書けば、 $\sum_{k} \ln \frac{r}{| a_{k} |} = \int_{0}^{r} n (u) \frac{d u}{u} (= : W (r))$ が成り立ち、したがってテンプレート:Math において非零な整函数に対して、イェンゼンの公式を $W (r) + \ln | f (0) | < \ln M (r)$ の形で与えることができる。有限増大度テンプレート:Mvar の整函数に対しては　テンプレート:Math が示せる。

級数 $\sum_{k} | a_{k} |^{- τ}$ はテンプレート:Math に対して収束し、この級数が収束するような最小のテンプレート:Mvar の値を、これら零点列の（ボレルの）実位数 (ordre réel) または収束冪数 (exposant de convergence) と言う。そのとき以下のボレルの定理が成り立つ: テンプレート:Énoncé

種数

整函数テンプレート:Mvar が種数テンプレート:Mvar であるとは、ラゲールによれば、それが $f (z) = e^{Q (z)} P (z)$ または $f (z) = z^{s} e^{Q (z)} \prod_{n = 1}^{\infty} (1 - \frac{z}{a_{n}}) e^{(\frac{z}{a_{n}} + \frac{z^{2}}{2 a_{n}^{2}} + \dots + \frac{z^{p}}{p a_{n}^{p}})}$ の形に書けて、かつテンプレート:Math に対しては同様の形に書けない場合であることを言う。ただし、テンプレート:Mvar は次数が高々テンプレート:Mvar の多項式であり、テンプレート:Mvar は任意の多項式であり、無限積はヴァイヤシュトラスの積であるとする。

収束冪数を上から抑える最小の整数も函数の「種数」と呼ばれる。

種数はラゲールの公式によって決定できる: テンプレート:Énoncé

種数の概念に注意深くなりすぎる必要はない。リンデレーフは函数 $f (z) = \prod_{n = 2}^{\infty} (1 + \frac{z}{n (\ln n)^{α}}) (1 < α < 2)$ はテンプレート:Nowrap かつテンプレート:Nowrap だが、テンプレート:Math はテンプレート:Nowrap となることを示した。同様にテンプレート:Math はテンプレート:Nowrap だがテンプレート:Math はテンプレート:Nowrap となる。しかしヴァリロンは以下の定理を証明した: テンプレート:Énoncé

Dans ses investigations sur les fonctions entières à la suite du mémoire fondateur de Weierstrass, テンプレート:Ill2はテンプレート:Énoncéことを示した。（※校正意見、この定理(Laguerre)の記述は意味が不明である）

漸近値

「定数でない整函数が、適当な領域において有限な漸近値をもつことがあるか、常に有限な極限を持つかの何れであるか」を問題にすることができる。リウヴィルの定理により、任意の方向において有限な漸近値を持つということが不可能であることは既知である。テンプレート:Mvar が漸近値を許すとは、適当な方向の経路が存在してテンプレート:Mvar がその経路に沿って無限大に発散するときテンプレート:Math が値テンプレート:Mvar に収束するときに言う（そのような経路は「テンプレート:Mvar の決定路」(chemin de détermination テンプレート:Mvar) と呼ぶ）。したがって定数でない任意の整函数は、少なくとも一つテンプレート:Math の決定路を持つ。

増大度がテンプレート:Math より小さい整函数テンプレート:Mvar に対しては、原点中心かつ半径が限りなく大きくなる無限個の円が存在して、その上でのテンプレート:Mvar の最小絶対値は無限大に発散する。したがって、増大度がテンプレート:Math より小さい整函数に対しては、有限な漸近値は存在しない。実はワイマンは以下の定理を示した: テンプレート:Énoncé

いま、整函数が二つの値テンプレート:Mvar の決定路を持つとすれば、それら二つの決定路に挟まれた領域にテンプレート:Math の決定路が存在するか、あるいはテンプレート:Math であって二つの決定路に挟まれた無限大へ向かう任意の経路がテンプレート:Mvar（したがってテンプレート:Mvar）の決定路となる。

ダンジョワは有限増大度テンプレート:Mvar の整函数は高々テンプレート:Math 個の漸近値を持つと予想した。この予想はテンプレート:Ill2となった。

したがって、テンプレート:Math から無限大を結ぶ異なる漸近値を導く直線がテンプレート:Mvar 本よりも多く存在することは不可能である。結果としてそのような二直線のなす角はテンプレート:Mvar 以上である。

フラグメン–リンデレーフの指示函数

有限増大度整函数の増大度テンプレート:Mvar の定義とフラグメン–リンデレーフの原理の示唆するところにより、ひとつの半直線上の増大はその近傍にある直線上のそれに影響されるのだから、函数 $h (θ) = \underset{r \to \infty}{lim sup} \frac{\ln | f (r e^{i θ}) |}{r^{ρ}} (θ \in [- π, π])$ を調べることには意義がある。この函数テンプレート:Math をフラグメン–リンデレーフの指示函数と呼ぶ。この函数は周期がテンプレート:Math の周期函数で、実数値以外にテンプレート:Math またはテンプレート:Math も値として取りうる。これに関してテンプレート:Énoncé が言える。したがって同じ仮定のもとでテンプレート:Énoncé

「整函数が可算集合上でとる値から一意に決定されることが保証される条件はあるか」という問いは自然である。集合をこのように制限しない場合には、この問いはアプリオリに否決されるものと思われ、実際成り立たないことが示せる。この種の問いにおいて、カールソンの結果は tout un pan de recherche に起源を持つ。それは以下のように述べられる: テンプレート:Énoncé 証明にはフラグメン–リンデレーフの指示函数を用いる。

ポーヤの定理

整函数が適当な集合上で整数値をとるという条件は、その増大に制限を課す。テンプレート:Harvtxt^[4] は例えば以下の定理を証明した: テンプレート:Énoncé 言い換えれば、自然数全体の成す集合上で整数値をとる多項式でない整函数として（増大度の意味で）最小のものは、函数テンプレート:Math である。

この結果は幾何数列上整数値をとる整函数に対するものに一般化できる。

クラフト–ブルメンタール理論

テンプレート:...

増大度が有限でない整函数は無限増大度であるという。有限増大度テンプレート:Mvar の場合には、エミール・ボレルにより「その上で増大度がテンプレート:Math となる半径テンプレート:Mvar の円が無限個存在するならば、それら以外の無限個の円上で増大度が著しく低くなることが起こり得る」（そのような整函数は異常増大 (irregular growth) であるという）という言及がかなり早い時期に与えられているが、同じ現象は無限増大度の場合にも存在する。

そのような理論は、整函数の型の存在と公式 $M (r) = \max_{| z | = r} | f (z) | = e^{r^{ρ (r)}}$ に従って与えられる増大度テンプレート:Math に基づく。

整函数論の応用

整函数論は、リウヴィルの定理により、代数学の基本定理のシンプルでエレガントな証明を可能にする。

増大度が整数でない整函数は無限個の零点を持つという性質により、リーマンゼータ函数がテンプレート:Math に無限個の零点を持つことの証明にも整函数論はあらわれる。

二つの整函数の商である有理型函数の研究にも整函数論は応用される。有理型函数はさまざまな微分方程式に関する問題に自然にあらわれる。

整函数や有理型函数に対する方法論は、より複雑な（複数の変数などに関する……）解析函数の研究に対する重要な示唆や直観の源を与えるものでもある。

注

注釈

テンプレート:Notelist

出典

テンプレート:Reflist

参考文献

テンプレート:Citation

外部リンク

テンプレート:Normdaten

[1] テンプレート:Citation

[2] たとえばテンプレート:Citation

[3] テンプレート:Citation テンプレート:Full

[4] テンプレート:Citation

[1]

[2]

[3]

[4]

整関数

目次

解析函数論における整函数

基本理論

増大度

有限増大度整函数の因数分解

テイラー級数の最大項

値の分布

零点

種数

漸近値

フラグメン–リンデレーフの指示函数

ポーヤの定理

クラフト–ブルメンタール理論

整函数論の応用

注

注釈

出典

参考文献

関連文献

外部リンク

ナビゲーションメニュー

整関数

解析函数論における整函数

基本理論

増大度

有限増大度整函数の因数分解

テイラー級数の最大項

値の分布

零点

種数

漸近値

フラグメン–リンデレーフの指示函数

ポーヤの定理

クラフト–ブルメンタール理論

整函数論の応用

注

注釈

出典

参考文献

関連文献

外部リンク

ナビゲーション メニュー

検索

ナビゲーションメニュー