正則関数：定義、性質、例、歴史と複素微分可能性

定義と基本的特徴

複素微分可能性は、実微分に類似した極限によって定義されるが、複素数がもつ二次元的性質を尊重するものである。開集合全体で複素微分可能な関数は、正則関数と呼ばれ、古い文献では正規関数と呼ばれることもある。同値な表現として、ある領域で正則であることは、各点の近傍で収束するべき級数によって表せること、すなわち解析的であることと一致する。実部と虚部を用いて関数を表した場合には、コーシー・リーマン方程式が、微分可能性の必要十分条件を与える。

主要な性質

• 解析性：正則関数は、定義域内の各点を中心とするテイラー級数に一致する。
• 無限回微分可能性：正則である場所では、任意の階数の導関数をもつ。
• コーシーの積分定理：正則関数の周回積分には強い制約があり、コーシーの積分公式は導関数を積分によって表す。
• 最大値の原理と恒等定理：正則関数の値は、小さな集合上での振る舞いによっても強く制約される。
• 等角写像：導関数がゼロでない場所では、正則写像は角度を保存し、局所的に逆写像をもつ。

例と用途

正則関数の代表例には、多項式、指数関数、複素平面へ拡張した三角関数、および収束半径の内側における任意のべき級数がある。有理関数は極を除く場所で正則である。複素平面全体で正則な関数は整関数と呼ばれる。正則関数とそれに関連する手法は、複素解析、数理物理学、電気工学、流体力学で広く用いられ、留数計算を通じた実積分の評価にも利用される。

歴史と発展

複素微分可能な関数の体系的研究は、19世紀にオーギュスタン・コーシー、ベルンハルト・リーマン、カール・ワイエルシュトラスらの寄与によって発展した。コーシーの積分定理と積分公式は、複素微分可能性が強力な積分関係を導くことを示した最初期の重要な結果の一部であった。その後の研究により、複素微分可能性と局所的なべき級数表示との同値性が明確にされた。

区別と関連概念

正則性を、関数の実部と虚部が単に微分可能であることと混同してはならない。ある関数は偏導関数をもっていても、正則とは限らない。関連する用語には、孤立した極を除いて正則である有理型、ラプラス方程式の解であり正則関数の実部としてしばしば与えられる調和関数、この文脈では正則とほぼ同義に用いられる解析的、などがある。実数直線上の関数と対比すると、複素微分可能性は方向に依存しない整合性と積分可能性に関する性質の両方を要求し、これらには一変数の場合に直接対応するものがない。

さらに背景知識や厳密な記述については、複素解析の標準的な参考文献、または関数論の入門書を参照できる。多くの資料では、コーシーの積分公式の証明、特異点の分類、留数計算や等角写像といった応用をより詳しく説明している。