1 極の基本概念
1.1 特異点と極の違い
特異点は、関数が通常の意味で定義できなくなる、あるいは通常の解析的挙動が破綻する点を広く指す語である。一方で極（pol：極点ともいう）は、その特異点のうち「発散するが、適切な整合を伴う」タイプとして位置づけられることが多い。
複素解析では、特異点は少なくとも「極（pole）」「本質的特異点（essential singularity）」「消去可能特異点（removable singularity）」に分類される。このうち極は、分母がある冪で零になるような形に見える点で、局所的には有限の主要部（principal part）をもつ。消去可能特異点は値を埋めることで整合的に拡張でき、本質的特異点はどのような有限次の近似でも局所挙動を支配できない。
実解析では「発散する点」という直観は共有されるが、複素解析のような厳密な分類（位相的に異なる挙動の分解）は状況により扱いが変わる。したがって、極という語は文脈に応じて「発散のタイプが整う特異点」を強調する語として理解されるのが一般的である。
1.2 極の定義（発散と整合性）
点 \(a\) の近くで考えると、極とは「関数が \(a\) に近づくにつれて発散するが、ある多項式因子（あるいは線形因子の冪）で割ると解析的に整う」ような特異点である。
具体的には、複素関数 \(f(z)\) が \(z=a\) を除いた近傍で定義され、ある正の整数 \(m\) と解析関数 \(g(z)\) が存在して \[ f(z)=\frac{g(z)}{(z-a)^m},\quad g(a)\neq 0 \] と書けるとき、\(a\) は位数 \(m\) の極である。このとき \(f(z)\) の発散は、\((z-a)^{-m}\) を主要な項として制御された形になる。
整合性の意味は、分母を打ち消す因子を掛けると、その後は再び解析的な振る舞い（例えばテイラー展開が可能）へ戻る点にある。発散の仕方が無秩序ではなく、有限の負べき部分として記述できるため、留数などの量が意味を持つ。
1.3 極の階数
極の「階数」は、どの冪で分母を相殺すれば解析に戻るかを表す整数である。直感的には、階数が大きいほど発散の度合いが強くなるが、より正確には局所展開の負べき部分がどこまで続くかが決まる。
複素関数における典型的な考え方は、\(f(z)\) のローレン展開の負べき項の末尾がどのべきまでかで判断するというものである。階数が定まると、局所構造がかなり強く制約され、積分評価などに直接つながる。
1.3.1 単純な極
単純な極（位数 1）は、局所的に \[ f(z)=\frac{g(z)}{z-a},\quad g(a)\neq 0 \] の形に書ける点である。この場合、ローレン展開には \((z-a)^{-1}\) の項が現れ、負べき部分はそれ以上は続かない。
単純極では、留数がローレン展開の \((z-a)^{-1}\) の係数として直接与えられることが多く、評価計算が簡潔になる。さらに、近傍の形としては「一次の発散」に対応し、対数的な無限回回転や本質的特異点のような複雑さは生じにくい。
1.3.2 二次以上の極
二次以上の極（位数 \(m\ge 2\)）では、 \[ f(z)=\frac{g(z)}{(z-a)^m},\quad g(a)\neq 0 \] の形が成立する。ローレン展開の負べき部分は \((z-a)^{-1},(z-a)^{-2},\dots,(z-a)^{-m}\) まで現れうる。
このとき発散は単純極より急であるだけでなく、留数の値は負べきの中でも \((z-a)^{-1}\) の係数として決まる。従って、位数が高い場合は「高次の差し引き」を通じて \((z-a)^{-1}\) 項がどう構成されるかが計算上の焦点になる。
1.4 極と消去可能な特異点の関係
消去可能な特異点は、点 \(a\) で関数が未定義または不連続であっても、適切に値を付け替えることで解析的（少なくとも連続的に）拡張できるタイプの特異点である。複素解析の言葉では、\(f(z)\) が \(a\) の近傍で有界で、かつ正しい値を代入すればよい場合が代表例になる。
この概念と極は、「発散するかどうか」という性質で対比される。極では \(f(z)\) は \(a\) に近づくにつれて無限に増大するため、有限値への付け替えでは整合が戻らない。消去可能な特異点では逆に、発散がなく、適切な再定義によって局所解析性を取り戻せる。
ただし両者の境界は論理的には明確である。例えばローレン展開を考えると、消去可能特異点では負べき項が全くなく、極では必ず有限個の負べき項が存在する。従って同一のローカル展開から分類が可能である。
2 複素解析における極
2.1 有理型関数の極
有理型関数（分数で表せる関数）は、一般に分子・分母の零点から極が生じる。具体的には \[ f(z)=\frac{p(z)}{q(z)} \] で、\(q(z)\) が零になる点 \(a\) で、同時に \(p(z)\) も零になる次数関係によって「相殺されるか」「残るか」が決まる。
相殺が不完全で分母に残った次数が \(m\) なら、\(a\) は位数 \(m\) の極になる。完全に相殺されるなら、その点はそもそも極ではなくなり、消去可能な特異点として扱う余地が生じる。したがって有理型関数では、極の階数は多項式の因子分解と次数の差で決まるのが典型的である。
2.2 解析接続と極の現れ方
解析接続の過程では、関数がある領域で定義されているとして、より広い領域へ一意に拡張できるかどうかが問題となる。極はその拡張の障害になりうる。特に、拡張先の領域の中に孤立した極点が現れると、その点を囲む閉曲線上の積分などは特別な寄与を持つ。
また、解析接続により得られた表現が、局所的には有理型関数のような形に還元される状況では、極の位置と位数が具体的な式から読み取れる。逆に、どんな局所正則関数であっても消し去れない振る舞いとして現れる場合には、本質的特異点が疑われる。
結局のところ、極は「解析的拡張がそこで停止する」種類の障害であり、孤立点であることが多い（少なくとも一般に扱われる枠組みでは）ため、留数という積分論的な道具に結びつく。
2.3 留数との対応
留数は、極を持つ点に対してその点の周りの挙動を一つの数に圧縮する概念である。複素積分、特に留数定理の骨格を担う量で、局所展開の情報が環状領域の積分値に結びつく。
2.3.1 留数計算の基本
ローレン展開 \[ f(z)=\sum_{k=-m}^{\infty} c_k (z-a)^k \] が \(a\) の近傍で成立するとき、留数 \(\operatorname{Res}(f,a)\) は \((z-a)^{-1}\) の係数 \(c_{-1}\) に等しい。
さらに、位数 \(m\) の極に対しては、次の形が利用されることがある。すなわち \[ \operatorname{Res}(f,a)=\frac{1}{(m-1)!}\lim_{z\to a}\frac{d^{\,m-1}}{dz^{\,m-1}}\left((z-a)^m f(z)\right) \] である。これは、正則化した後の高階微分を通じて \((z-a)^{-1}\) 成分を取り出す操作に対応する。
実務的には、まず \((z-a)^m f(z)\) が解析的になることを確認し、その後の微分計算で係数を抽出する流れが標準になる。
2.3.2 極の階数と留数
極の位数が上がるほど局所展開の負べき項の種類も増えるが、留数が参照するのは常に \((z-a)^{-1}\) の係数に限られる。従って、階数 \(m\) が大きくても留数は一つの数であり続ける一方、計算には複数の寄与が絡む。
例えば二次の極では、\((z-a)^{-2}\) の項も現れるが留数はそこではなく \((z-a)^{-1}\) に属する係数から決まる。これにより、直感的に「高位の発散の強さ＝留数の大きさ」にはならないことが理解できる。留数は発散全体の強度ではなく、円環積分に寄与する特定の成分を抽出する量として性格づけられる。
2.4 部分分数分解と極
有理型関数を部分分数分解することにより、極の位置と位数ごとの寄与が整理される。たとえば \[ \frac{p(z)}{q(z)}=\sum_{j}\sum_{k=1}^{m_j}\frac{A_{j,k}}{(z-a_j)^k}+r(z) \] のように分解できれば、各 \(a_j\) が位数 \(m_j\) の極を与え、係数 \(A_{j,k}\) がローレン展開の負べき係数に対応する。
この表現の利点は、留数も直接読み取れる点にある。留数は \((z-a_j)^{-1}\) の係数であるため、単に \(k=1\) に対応する係数 \(A_{j,1}\) を取り出せばよいことが多い。
また、分解は積分や極限評価の計算にも有効である。複雑な有理式は、極ごとの単純な成分に還元されるため、局所挙動の理解と計算効率が同時に向上する。
2.5 ローレン展開・テイラー展開との関係
極を含む点の近くでは、テイラー展開だけでは表現できないためローレン展開が用いられる。テイラー展開は正のべきのみで表されるのに対し、ローレン展開には負のべき項が含まれ、これが発散や極の位数を担う。
極が位数 \(m\) のとき、ローレン展開の負べき部分は \((z-a)^{-m}\) までの有限個で終わる。従って、極の階数は「負べき項がどこまで存在するか」という局所展開の構造から決定できる。
一方、消去可能特異点や正則点では負べき項がなくなり、ローレン展開はテイラー展開に一致する。つまり、展開の形の差が極の存在を反映しており、解析的性質が級数の項構成として見える。
さらに、留数はローレン展開の係数抽出として表されるため、ローレン展開は極を扱う際の統一的な言語として機能する。
3 実解析での特異挙動としての極
3.1 関数の発散点としての分類
実解析では、極は「ある点の近傍で関数値が無限大または無限小へ向かう」状況として直観的に整理されることが多い。たとえば、分数型の関数では分母が零になる点が発散点になり、その次数に応じて発散の速度が変わる。
ただし複素解析のような厳密な分類（本質的特異点のような挙動の種類分け）は、領域や関数クラスの違いにより常に同じ形では扱えない。実線上では発散の定義を主軸に考え、発散の仕方（正負、速度、左右極限）を分類の指標にする。
そのため「極」という語は、実数直線上ではしばしば「垂直漸近線（vertical asymptote）」のような幾何的理解と結びつく。発散点は積分評価や近似設計にも影響するため、解析の基本対象として扱われる。
3.2 極限評価と支配項
発散点の近くでの近似では、支配項（dominant term）を特定することが重要になる。典型的には、分母が小さくなる速度が関数の振る舞いを決め、分子や他の項は相対的に影響が小さくなる。
たとえば有理関数では、分母の零の次数に応じて、発散のオーダーが決まる。実際、点 \(a\) の近傍で \(f(x)\) を適当な形に整理できれば、支配項が局所の符号や増減の向きを決め、評価（積分、極限、近似誤差推定）が可能になる。
支配項を見つける手法は、分解・因数分解・対称性の利用などに支えられる。これにより、発散の「強さ」や、それに伴う積分の収束・発散（広い意味での特異積分の扱い）を判断しやすくなる。
3.3 不連続性・発散との整理
極に関係する点では、連続性の破れと発散が同時に現れるとは限らない。例えば分母が零でも発散が相殺されて有限値へ収束するなら、発散点ではなく不連続点や消去可能な不整合として分類されうる。
また、発散が起きても値そのものの定義域が外れており、単純な意味での不連続性を議論するには工夫が要る。実数の片側極限（左からの極限、右からの極限）で状況を明確にするのが一般的である。
まとめると、実解析での「極」は、連続性の欠損というより発散（もしくはその近傍での無限挙動）を中心に据えた概念であり、どの極限が存在しないかを丁寧に記録することで、特異挙動を誤解なく扱える。
3.4 極に類する概念の扱い方の注意
実解析で用いられる類似概念には、垂直漸近線、特異積分の端点、破れた微分可能性などが含まれる。これらは似た現象を表す場合があるが、同一の意味ではないことがある。
また、ある関数系列が発散する点を考えるとき、「各項が意味を持つか」「和の存在がどの意味で定義されるか（例えば主値）」「極限操作の順序」が混同されやすい。極という語が直観的であるほど、形式的条件を確認しないと結論が崩れる。
したがって、極を扱う際は、(1) 関数の定義域、(2) 発散の向き（正負・左右）、(3) 解析的に展開できるか、(4) 積分など周辺の操作で収束性がどうなるか、をセットで点検するのが適切である。
4 極を使う応用
4.1 積分評価（特に留数定理の文脈）
留数定理は、複素平面での閉曲線積分を、内部にある極の留数の和で計算する枠組みを与える。極を持つ点での局所的情報が、全体の積分値へと変換されるため、極は計算の中心概念になる。
典型的には、関数 \(f(z)\) がある閉経路の内側に孤立した極をもち、輪郭上では解析的であれば、積分は留数の総和に等しくなる。これにより、積分計算が難しい有理関数や有理型関数でも、極の位置と位数、そして留数計算へ帰着できる。
さらに、積分経路を適切に選べば、対称性によって一部の寄与を相殺できることもある。極点の配置が可視化されるため、どの留数が重要かが明確になり、評価の透明性が増す。
4.2 近似としての有理近似・分解
極を明示的に含む有理近似では、対象関数の局所挙動を有理式で再現することで精度を高める。特に、発散点や急変領域がある場合、単純な多項式近似よりも有理近似の方が有効になることが多い。
部分分数分解は、極の階数ごとに寄与を分解するため、近似の設計にも使える。重要な区間で支配する構造を極として埋め込めば、近傍の誤差が抑えられやすい。
この観点では、極は「誤差を作る原因」ではなく「構造として模倣すべき特徴」として扱われる。結果として、近似式の形が意味を持ち、単なる係数推定以上の理解が得られる。
4.3 方程式の解の性質と特異点
極は関数の性質を通じて方程式の解の構造にも関わる。例えば、あるパラメータを含む方程式を解くために生成する関数や、解を表すための変換（変形）では、極が「不連続な振る舞い」をもたらすことがある。
有理型表現では、極は分母に由来し、そこでは逆数のような操作が成立しない。すると、対応する方程式の解が急に変化したり、解の存在条件が変わったりする場合がある。したがって、極の位置は「解の挙動が切り替わる閾値」を示す手がかりになりうる。
また、解析的に続く解の枝があるとき、極の存在はその継続性が途切れる境界を示すことがある。こうした意味で、極は「解のグローバルな地形」を観察するための局所指標として位置づけられる。
4.4 ライプニッツ的な極の直観
ライプニッツの微小量の考え方に触れる形で、「極は局所挙動を支配する特異な形」として直観化できる。極の近傍では、関数は単に滑らかに変化するのではなく、ある量が無限に近づく方向へ加速される。その加速は、ローレン展開の主要部が担う。
直観的には、局所で最も影響が大きい項（負べきの主要部）を捉えることで、極近傍の挙動が理解できる。これにより、厳密な極限操作を行う前に、どの程度のオーダーで増大するか、どちらの符号が支配するかといった見通しが立つ。
極の直観はまた、計算の段取りにも役立つ。まず主要部を分離し、その後に残差（より弱い項）を扱うという流れは、現代的な解析手法と相性が良い。結果として、局所から全体を推測する視点が得られる。