ルンゲの定理

ルンゲの定理について

ルンゲの定理は、複素解析における非常に重要な定理であり、カール・ルンゲによって1885年に証明されました。この定理は、複素数の集合とその部分集合に関連する関数の振る舞いを考察します。具体的には、複素数の集合を C、その中のコンパクトな部分集合を K とし、K を含む開集合上で正則な関数 f を設定します。このとき、C のうち K を除いた部分に存在するすべての有界な連結な集合について、特定の条件を満たす有理関数列が存在することが示されています。

定理の内容

ルンゲの定理は、以下のように定式化されます。C∖K の全ての有界連結な部分集合に対して、その部分集合のいずれかの元を含むような集合 A を選ぶことができ、その A の元に対応して、K 上の関数 f に一様に収束する有理関数列が形成されます。この有理関数のすべての極は、集合 A の元に限定されます。ただし、全ての A の元が必ずしも極になるわけではなく、同じ集合 A における任意の複素数が極として選ばれることができるのが特徴です。

特に、C∖K が連結な場合、つまり K が単連結な場合には、集合 A は空集合になり、極を持たない有理関数が存在することから、それは単純な多項式となります。これにより、C の連結部分集合 K に対し、K 上の正則関数 f に一様に収束する多項式の列が確保されることが示されます。

また、ルンゲの定理はリーマン球面に関しても一般化されることがあります。具体的には、A が K の非有界な連結成分と交わる場合、定理に従って有理関数が無限遠点に極を持つ可能性が示唆されます。さらなる一般化においては、K の非有界な連結成分内から極を選択することが可能です。

証明の概要

ルンゲの定理の基本的な証明は、特別な開集合の存在を前提として始まります。この開集合は閉で区分線型な K を取り囲むものであり、もう一つ非常に重要な構成要素がコーシーの積分定理です。この定理を用いれば、K の元に関して、関数 f の値を特定の積分式によって表現できます。この積分により、周囲の関数を用いて K の元に近似することが可能であり、この手法を応用して有理関数列に基づく近似が得られます。

具体的に、グラフ上の任意の点に注目し、2つの異なる点が十分に近くに存在する場合、対象の有理関数はローラン展開の形を持ち、その展開から新たな有理関数を導出できることが確認できます。これにより、K の補集合における特定の点でのみ極を持つような新たな有理関数列を形成することが可能となります。特に、無限遠点に関連する場合、R より大きな値を用いることで、特定の有理関数を生成することができ、これによって多項式近似が得られるという結果につながります。

参照文献

ルンゲの定理に関連する詳細は、以下の文献を参照してください。

• - Conway, John B. (1997), A Course in Functional Analysis (2nd ed.), Springer.
• - Greene, Robert E.; Krantz, Steven G. (2002), Function Theory of One Complex Variable (2nd ed.), American Mathematical Society.
• - Sarason, Donald (1998), Notes on complex function theory, Hindustan Book Agency.

この定理は複素解析の深い理解を促進し、多くの応用において重要な役割を果たしています。

もう一度検索