|
Appendix 2 取りこぼした定理 2 | |
| f-denshi.com ［目次へ］最終更新日： | ||
［１］ 正則関数は，次に説明するような「一致の定理」と呼ばれる性質をもっています。正則関数には非常に強い制限があるため，自由に正則関数を”創作”することができないというのがその定理の意味するところです。どういうことかと言えば，ある点でない微小な領域で正則関数を定義すれば，その関数の定義が可能な全領域にわたってその関数は定まってしまうというのです。一を聞いて百を知ることが可能なのです。
| 一致の定理 領域D上で定義された２つの正則関数，f(z)，g(z)がD内の異なる2点 a，b を結ぶ曲線 L 上で一致すれば，この２つの関数はD上で恒等的に等しい。 |
［証明］ 曲線Lを正則な曲線[#]となるようにパラメーター t を用いて表しておくと，L 上の点を
z(t)，z'(t)≠0 ： 0≦t≦1
と書くことができます。定理の出発点となる仮定は，
f(z(t))＝g(z(t))
が L 上で成り立つということになります。この式を t で微分すると，
df ･ dz ＝ dg ･ dz dz dt dz dt
この両辺を dz/dt (≠0 )で除すと，ｆ'(z)＝g'(z) となり，導関数も L 上で等しいことがわかります。このような計算を繰り返せば，n階導関数についても，
f(n)(z)＝g(n)(z) ； n＝1，2，3･･･， z∈L ･･････････ (１)
であることが導かれます。
［２］ 次に，L上の適当な点 a∈L を中心とする円周 A がすべてDに含まれるような半径の円を考えます( II )。すると，この円の内部の点 z (∈D)におけるf(z)，g(z)は， a の周りで，
f(z)＝f(a)＋ f'(a) (z−a)＋ f''(a) (z−a)2＋････＋ f(n)(a) (z−a)n ＋･･･ 1！ 2！ n！
g(z)＝g(a)＋ g'(a) (z−a)＋ g''(a) (z−a)2＋････＋ g(n)(a) (z−a)n ＋･･･ 1！ 2！ n！
とテーラー展開できます。ここで(１)が成り立つので各関数の展開項すべてが等しいことがわかります。すなわち，この円A の内部で ｆ(z)＝g(z)が成り立ちます。よって，ｆ(z)＝g(z)が成り立つ範囲が
直線L ⇒ 直線 L ∪ ［ 円A の内部 ］
に拡大されたわけです。
［３］ さらに，円A の中に中心 a とは異なる点 b を十分円周Aの近くにとり，この b を中心とする円周B をD からはみ出さないような半径で考えます。すると，この円Bの内部の点 z (もちろん，z∈D でもある)における ｆ(z)，g(z)は b 点の周りでテーラー展開することが可能なので先程と同様に考え，
「円B 内で ｆ(z)＝g(z)が成り立つ」
ことがわかります。ところが，A∩B≠φなので，この交わり部分を介して，ｆ(z)＝g(z)の成り立つ範囲が，
直線 L ∪［円A∪B の内部 ］
と拡大したことになります。これを繰り返して行けば最終的に ｆ(z)＝g(z) が成り立つ範囲が領域D全体まで拡大されます。すなわち，冒頭の定理の主張が成り立つのです。
同じ内容の定理を挙げておきます。
| 一致の定理の系 (１) 領域D上で定義された２つの正則関数，f(z)，g(z)がD内の１点 aで， f(a)＝g(a)，f(n)(a)＝g(n)(a) ； n＝1，2，3，･･･ ならば，この２つの関数はD上で恒等的に等しい。 (２) 領域D上で定義された２つの正則関数，f(z)，g(z)がD内の１点 に収束する相異なる点列｛zk｝について， f(zk)＝g(zk) ； k＝1，2，3，･･･ ならば，この２つの関数はD上で恒等的に等しい。 |
［１］ 一致の定理の直接的な応用として次の有名な定理があります。
|
最大値の原理： 複素関数 ｆ(z) が領域Dで正則，その境界を含めた閉領域( D~ )で連続とする。そのとき，複素関数 f(z) の絶対値｜f(z)｜の最大値，最小値はかならず境界∂D上でとる |
この定理のイミは，連続関数： z→w によって，z-平面上の閉領域D~が w-平面上の
E に移ったとすれば，E の原点から一番遠いところの点，および，一番近いところの点は，D~の境界∂D＝C
から移ってきた点であることを主張しています。(右図参照)
［ 証明 ］
もし，D~で f(z)＝c (定数) ならば広い意味で，「最大値＝最小値＝ｃ」 が境界上で成り立つので，f(z)が定数関数でないときを考えます。
証明は，
「f(z)が(境界上でない)内点 x0∈D で最大値をとったとき
⇒ f(z)は定数である。」 ･･････[*]
を証明することでその対偶：「f(z)が定数でなければ，内点で最大値をとらない」を示します。
［２］ 証明のポイントとなるのは，D 内に含まれる任意の点 a を中心とする円周 C についてのコーシーの積分表示[#]です。このとき，右図に示すように半径 r を十分小さくし，どんな a∈D に対しても C とその内部がすべてD に含まれるようにしておきます。｜f(z)｜の定義域をこのC上に制限して考えれば，｜f(z)｜は有界な閉領域で定義された実数値をとる連続関数となるので，必ず定義域(C上)で最大値，最小値をとります[#]。その最大値を M とすれば，コーシーの積分公式を使って，
｜f(a)｜＝ 1 f(z) dz 2πi z−a
≦ 1 ｜f(z)｜ |dz| 2πi ｜z−a｜
≦ M･2πr ＝M (等号はC上で恒等的に｜f(z)｜＝M 定数関数のときのみ) 2πr
が導かれます[#]。同様にC上での最小値を m とすれば， m≦｜f(a)｜を導くこともできます。すなわち，
m≦｜f(a)｜≦M ･････････････････ (１)
が成り立ちます。｜f(a)｜は円周Cでとり得る値より大きな値や小さな値をもつことができません。
(いま，行なおうとしている証明とは直接関係ないのですが，ラフに考えるならば a はD の任意の点なので，a が D内を動き回れば，｜f(z)｜のD~上の最大値，最小値の''候補''は上式によってどんどん境界の方へ追いやられ，最後には∂Dに追い詰められるであろうことが推測できます。)
［３］ さて，これからが証明です。D の内部の点 z＝z0 で｜f(z)｜が最大値Mをとったと仮定します。ここで，z0に中心に持ち，D内に含まれる円C0を考えると，(１)より，|f(z0)| はC0上の最大値Mより大きくありませんが，今，D内での最大値がMなので，M＝Mであって，
「円周 C0上で，｜f(z)｜＝M (定数関数)」
でなければいけません。さらに，｜f(z)｜＝M 定数 ならば，絶対値をはずして， f(z)＝M もいえます [#]。
［４］ ところが一致の定理 [#] から，
「円周 C0上で，f(z)＝M ⇒ D上で恒等的に f(z)＝M」
がいえます。なぜならば，D上で定義された定数関数：g(z)＝M を考えると，D内の曲線C0上で，f(z)＝g(z)＝M であることから，D上で恒等的に f(z)＝g(z)＝M であることが導かれるからです。以上，[*]が証明できました。そして，[*]の待遇を取れば，
「f(z)が定数でければ，f（x）は内点 x0∈D で最大値をとらない。」
［５］ 同様に境界∂D上で最小値を取ることも証明できます。
補足： ｜f(z)｜＝M ⇒ f(z)＝M の証明 ｜f(z)|2＝f(z)･f*(z)＝M2 より，f*(z)＝M2 / f(z)。ところが，f(z)が正則関数ならば，zだけで表せる関数であり，f*(z)はzをz*に置き換えた関数であるが，これが正則となる(つまり，z*を含まない)のはf(z)が定数関数のときだけである。
| リウヴィルの定理 (リューヴィルの定理) f(z)が全複素平面で有界な正則関数(｜f(z)｜≦M ならば，f(z)＝定数である。 |
［１］ f(z)がある領域Dで正則ならば，
(１) f(z)はテーラー展開可能
また，同じ領域で，f'(z)≡0 ならば，
(２) f(n)(z)＝0 (n＝1，2，3，･･･) ⇒ 1次の項以上はすべて0
なので，f(z)は定数項だけをもつ定数関数であることがわかります。つまり，全複素平面上で f'(z)≡0 が示されれば定理の証明となります。
［２］ そこで，原点を中心とする半径 r の円周 C に沿って f'(z) のコーシーの積分公式 [#] を書き下ろすと，
｜f'(z)｜＝ 1 f(ζ−z) dζ 2πi (ζ−a)2
≦ M 1 |dζ| ←｜f(z)｜≦M より 2π ｜ζ−z｜2
≦ M 2πr |dz| ＝ M･r 2π (r−｜z｜)2 (r−｜z｜)2
が成り立ちます。(最後の行へは｜ζ−z｜≧｜ζ|−｜z｜を使いました。)
f(z)は全複素平面で正則であることから上式の半径 r はいくらでも大きくとれます。よって，r
→ ∞ として，
｜f'(z)｜≦0
が全複素平面上の任意のzについていえます。証明終わり。
CopyRight フジエダ電子出版
