はじめまして! 素敵なサービスを見つけたので記事を書かせていただきたく思います。よろしくお願いいたします。
今回は複素解析の入門のような記事を書いてみようと思います。
複素関数
複素解析は、複素数を変数として複素数を返すような関数(複素関数)を調べる分野です。例えば、オイラーの公式として知られるでは、複素数に対する指数関数が左辺に出てきます。指数関数はもともとが実数のときに定義されていた関数ですが、その定義とつじつまが合うように、定義域を複素数にまで広げることができます。
余談ですが、オイラーの公式でとおくと、こちらも有名なが得られます。これらの式は神秘的な式だとよく言われている気がしますが、複素解析を学ぶと日常的に(?)使うことになる便利な式です。
複素関数の例
複素関数の例を挙げてみましょう。以下、を複素数の変数とします。
複素関数の例
- 定数関数: , , , ...
- 実部、虚部: ,
- の多項式: , , ...
- の共役:
- 指数関数:
他にも、三角関数も定義域を複素数にまで広げることができます。
正則関数
複素関数の中でも、正則関数と呼ばれる関数たちがとても良い性質を持つことが知られています。とりあえず定義を見てみましょう。
正則関数
を(空でない)開集合とする。関数が正則であるとは、任意のに対して、極限が存在することをいう。
正則であることの定義は、実関数の微分可能性の定義とほぼ同じです。見た目の違いはが複素数の範囲を動くことだけですが、それにより関数の満たす性質は大きく変わってきます。
例1で挙げたいくつかの複素関数を正則関数とそうでないものに分けると、次のようになります。
正則関数の例
- 定数関数: , , , ...
- の多項式: , , ...
- 指数関数:
余裕のある方はこれらの関数が正則かどうかを実際に確かめてみてください!
大雑把に言うと、の多項式やその極限として表される関数が正則関数となります。指数関数は上の書き方だとの多項式に見えませんが、実は
と展開(テイラー展開)できることが知られています。この意味で、指数関数は多項式の極限となっています。
コーシーの積分定理
正則関数に対して、コーシーの積分定理と呼ばれる等式
が成り立ちます。ここで、はの定義域内の閉曲線で、それに沿う線積分というものを考えています。線積分は正確に定義するとちょっと大変ですが、実関数の積分と似ていて、「が上をぐるっと一周動くときに、 (ただしはの微小な変化量)を足し合わせる」といったものです。をに沿ってぐるっと一周積分すると0になると言っています。
本当は、の連続性に関する仮定や「の内部に穴がない」というタイプの仮定が必要ですが、今回は正確な仮定は省いています。
コーシーの積分公式
コーシーの積分定理をうまく用いると、コーシーの積分公式
が得られます。ここで、は閉曲線が囲む領域の内部の点です。この公式をよく見ると、右辺はに沿う線積分になっています。に沿う線積分を計算するためには、関数の上での値が分かれば十分です。つまり、閉曲線上のの情報だけからの内側でのの値が完全に分かってしまうということを意味しています。これは正則関数の持つとても便利な性質のひとつです。
正則関数のいろいろな性質がコーシーの積分公式から導かれます。とくに、すべての正則関数はテイラー展開可能であることが分かります。
また、これらの性質をうまく用いることで、簡単には計算できないような実関数の積分も計算できます。これが留数積分と呼ばれる技術で、例えば、
であることが留数積分により得られます(
Residue theorem - Wikipedia
より引用)。
今回のまとめ
他にもいろいろな話題がありますが、このあたりで終わりにしたいと思います。
この記事では、次の内容を紹介しました:
- 複素解析は複素関数を扱う分野であること
- 正則関数の定義
- コーシーの積分定理や積分公式のおおまかな紹介
詳しい内容については今後また紹介するかもしれませんので、よろしくお願いします。それではまた!