2

複素解析:正則関数とその性質の紹介

1710
0

はじめまして! 素敵なサービスを見つけたので記事を書かせていただきたく思います。よろしくお願いいたします。
今回は複素解析の入門のような記事を書いてみようと思います。

複素関数

複素解析は、複素数を変数として複素数を返すような関数(複素関数)を調べる分野です。例えば、オイラーの公式として知られるeiθ=cosθ+isinθでは、複素数iθに対する指数関数が左辺に出てきます。指数関数exはもともとxが実数のときに定義されていた関数ですが、その定義とつじつまが合うように、定義域を複素数にまで広げることができます。

余談ですが、オイラーの公式でθ=πとおくと、こちらも有名なeiπ=1が得られます。これらの式は神秘的な式だとよく言われている気がしますが、複素解析を学ぶと日常的に(?)使うことになる便利な式です。

複素関数の例

複素関数の例を挙げてみましょう。以下、zを複素数の変数とします。

複素関数の例
  • 定数関数: 1, 5i, 2+2i, ...
  • 実部、虚部: x=Rez, y=Imz
  • zの多項式: z, 3z2+5iz2, ...
  • zの共役: z=xiy
  • 指数関数: ez=ex(cosy+isiny)

他にも、三角関数も定義域を複素数にまで広げることができます。

正則関数

複素関数の中でも、正則関数と呼ばれる関数たちがとても良い性質を持つことが知られています。とりあえず定義を見てみましょう。

正則関数

ΩCを(空でない)開集合とする。関数f:ΩC正則であるとは、任意のzΩに対して、極限limhC{0}h0f(z+h)f(z)hが存在することをいう。

正則であることの定義は、実関数の微分可能性の定義とほぼ同じです。見た目の違いはhが複素数の範囲を動くことだけですが、それにより関数の満たす性質は大きく変わってきます。

例1で挙げたいくつかの複素関数を正則関数とそうでないものに分けると、次のようになります。

正則関数の例
  • 定数関数: 1, 5i, 2+2i, ...
  • zの多項式: z, 3z2+5iz2, ...
  • 指数関数: ez=ex(cosy+isiny)
正則でない関数の例
  • 実部、虚部: x=Rez, y=Imz
  • zの共役: z=xiy

余裕のある方はこれらの関数が正則かどうかを実際に確かめてみてください!

大雑把に言うと、zの多項式やその極限として表される関数が正則関数となります。指数関数は上の書き方だとzの多項式に見えませんが、実は
ez=1+z+12z2+13!z3++1n!zn+と展開(テイラー展開)できることが知られています。この意味で、指数関数ezは多項式の極限となっています。

コーシーの積分定理

正則関数に対して、コーシーの積分定理と呼ばれる等式
Cf(z)dz=0が成り立ちます。ここで、Cfの定義域内の閉曲線で、それに沿う線積分というものを考えています。線積分は正確に定義するとちょっと大変ですが、実関数の積分と似ていて、「zC上をぐるっと一周動くときに、f(z)Δz (ただしΔzzの微小な変化量)を足し合わせる」といったものです。fCに沿ってぐるっと一周積分すると0になると言っています。

本当は、Cの連続性に関する仮定や「Cの内部に穴がない」というタイプの仮定が必要ですが、今回は正確な仮定は省いています。

コーシーの積分公式

コーシーの積分定理をうまく用いると、コーシーの積分公式
f(z)=12πiCf(ζ)ζzdζが得られます。ここで、zは閉曲線Cが囲む領域の内部の点です。この公式をよく見ると、右辺はCに沿う線積分になっています。Cに沿う線積分を計算するためには、関数fC上での値が分かれば十分です。つまり、閉曲線C上のfの情報だけからCの内側でのfの値が完全に分かってしまうということを意味しています。これは正則関数の持つとても便利な性質のひとつです。

正則関数のいろいろな性質がコーシーの積分公式から導かれます。とくに、すべての正則関数はテイラー展開可能であることが分かります。

また、これらの性質をうまく用いることで、簡単には計算できないような実関数の積分も計算できます。これが留数積分と呼ばれる技術で、例えば、
eitxx2+1dx=πe|t|であることが留数積分により得られます( Residue theorem - Wikipedia より引用)。

今回のまとめ

他にもいろいろな話題がありますが、このあたりで終わりにしたいと思います。
この記事では、次の内容を紹介しました:

  • 複素解析は複素関数を扱う分野であること
  • 正則関数の定義
  • コーシーの積分定理や積分公式のおおまかな紹介

詳しい内容については今後また紹介するかもしれませんので、よろしくお願いします。それではまた!

投稿日:20201110
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

orca
orca
22
15166

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 複素関数
  2. 正則関数
  3. 今回のまとめ