正則関数

正則関数を定義し,正則性の判定に使われるコーシー・リーマンの方程式を解説する. その後で正則関数の例として,多項式関数・有理関数,指数関数,三角関数について解説する.

まず複素関数の微分を定義する。 aaの周りで定義された関数ffに対し、

limzaf(z)f(a)za \lim_{z\to a}\frac{f(z)-f(a)}{z-a}

が存在するとき、ffaaで複素微分可能といい、その極限値をf(a)f'(a)と表す。

二変数関数の偏微分や全微分との比較。 単に一次関数で近似できるのみではなく、複素一次関数で近似できるということ。 これが全然違う。 等角性、調和関数

C\mathbb{C}R2\mathbb{R}^2とみなすことで、複素関数f:CCf:\mathbb{C}\to \mathbb{C}は実二変数のベクトル値関数f:R2R2f:\mathbb{R}^2\to\mathbb{R}^2とみなすことができる。 さらに、距離の対応もつくため、関数の連続性はどちらで見ても同値である。 しかし、大きな違いが関数の微分についてである。 あるいはどのように一次近似をするかが異なる。

正則関数。 C\mathbb{C}内の領域UCU\subset\mathbb{C}の各点で複素微分可能。

単に11点で複素微分可能であることと違うのか。 実関数の場合は?

目次

  1. 微分係数と一次近似
  2. 正則関数の定義
  3. 一次近似
  4. 正則関数の例
  5. コーシーリーマンの方程式
  6. 初等関数の正則性
  7. 等角性
  8. 調和関数