|
８ 複素関数のテーラー展開 | |
| f-denshi.com ［目次へ］最終更新日： | ||
［１］ 複素関数も実数の場合と同じようにテーラー展開ができます。
| 定理 点a を中心とする半径R の円C の内部(＝領域D )で正則な関数f(z)は，D内の点z において，a の周りに次のようにテーラー展開できる。
|
［証明］
(１) 証明のポイントは，｜r｜＜1 のときに成り立つ次の整級数公式，
1 ＝ 1＋r＋r2＋･･･＋rn＋ ････ ＝ rn 1−r
および，
(２) コーシーの積分公式 [#] です。これを，
f(z)＝ 1 f(t) dt 2πi t−z
＝ 1 f(t) dt 2πi (t−a)−(z−a)
＝ 1 f(t) dt 2πi (t−a)(1−r)
と変形します。 ただし，
r ＝ z−a t−a
です。
［２］ ここで，｜r｜＜1 なので(１)を用いて，
f(z)＝ 1 f(t) ･rn dt 2πi (t−a)
＝ 1 f(t) z−a n dt 2πi (t−a) t−a
さらに，積分と極限の順番を変えて，(←認めることにします。)
↓ n階微分の積分表示 [#] より，
＝ 1 ･ n! f(t) dt (z−a)n n! 2πi (t−a)n+1
＝ 1 f(n)(a) (z−a)n n!
が得られます。結果だけみると，複素数のテーラー展開の式は見かけ上，実数のテーラー展開の場合と比べて実数で使う記号 x をただ、 x ⇒ z と置き換えただけです! しかし、実数のテーラー展開[#] と違うことは，関数f(x) に関して無限階微分可能をあらかじめ仮定していないということです。ここでの仮定は、複素関数f(x) の正則性です。つまり、複素関数f(x) の場合，考えている領域で一回微分可能という条件からf(x) が整級数展開できるということが導かれているのです。これは，
複素関数は、1回微分できれば何回でも微分ができる。
ということを意味しています。実数関数の場合はこんなことは言えませんでしたね⇒[#] 。
これも複素関数と実関数に関する見かけ上は同じ定理でも，その中身はまったく違うという例[#] です。
CopyRight フジエダ電子出版
