0

複素関数の復習その1

28
0

初投稿です!コメントとかもらえるとめっちゃ喜びます。
春休みなので、今年の授業内容の復習します。

複素関数の極限について

まず、複素関数の極限の定義は、実関数の極限の定義の拡張みたいな感じで、以下のように定義されます。

複素関数の極限

簡単のために、f(z)が開集合領域D上で定義された複素関数であるとする。
limΔz0f(z+Δz)=w
であるとは、任意のε>0についてあるδ>0が存在し、0<|Δz|<δであるならば、|f(z+Δz)w|<εが成立することをいう。

複素関数の微分の定義

それでは、複素関数の微分はどのようにして定義されるでしょうか?これも、実関数の時の自然な拡張を考えると、

複素関数の微分

f(z)が開集合領域D上で定義された複素関数であるとする。f(z)のzについての微分は下のように定義される。
f(z)=limΔz0f(z+Δz)f(z)Δz

になります。

複素関数の微分可能性

実関数は、右側微分と左側微分の値が両方定義できて、かつそれが一致するときに微分可能でした。実関数は、実軸上に定義された関数、つまり定義域が一次元の関数だったので、右側からと左側からだけの2通りの近づき方を考えれば良かったわけですが、お察しの通り、複素関数は、複素数平面上に定義されており、定義域が二次元です。つまり、360度どの方向から近づいてもいいので、Δz0の近づき方が無数にありますね。これら全ての近づき方でf(z)が計算でき、かつ同じ値になれば微分可能なわけです。

そこで、θの方向から近づける場合を考えて、

limΔz0f(z+Δz)f(z)Δz=limr0f(z+reiθ)f(z)reiθ

とします。

limr0f(z+reiθ)f(z)reiθ=eiθlimr0f(x+rcosθ,y+rsinθ)f(x,y)r
ここで、z=x+iyのように実部と虚部を区別して考え、
limr0f(x+rcosθ,y+rsinθ)f(x,y+rsinθ)rcosθ=xf(x,y)
limr0f(x,y+rsinθ)f(x,y)rsinθ=yf(x,y)
を用いれば、
limr0f(z+reiθ)f(z)reiθ=eiθ(cosθxf(x,y)+sinθyf(x,y))
となります。どの方向から近づけてもこれらの値が一致すればいいので、それぞれの偏微分の値は存在するとして、θの依存性を考えます。
そこで、cosθ=eiθ+eiθ2 ,sinθ=eiθeiθ2i と書き換えてみましょう。すると、
limr0f(z+reiθ)f(z)reiθ=1+e2iθ2xf(x,y)+1e2iθ2iyf(x,y)=12(xf(x,y)iyf(x,y))+12(xf(x,y)+iyf(x,y))e2iθ
になります。θに依存する第二項が0になることが、f(z)が微分可能であるための必要十分要件で、f(z)の値は第一項のものになります。

Cauchy-Riemann 条件

この条件を、もう少し使いやすい形で書き直すことを考えます。
複素関数についても実部と虚部を分けて、

f(z)=u(x,y)+iv(x,y)

としてみましょう。すると、先ほどの必要十分条件であるxf(x,y)+iyf(x,y)=0は、
(xu(x,y)yv(x,y))+i(xv(x,y)+yu(x,y))=0
という条件に書きかわります。
実関数の微分は実数なので、複素数の相等条件から実部と虚部の値がそれぞれ0になることがこの方程式の成立の必要十分条件であることがわかります。
以上より、次の命題が導けます。

Cauchy-Riemann 条件

f(z)が開集合領域D上で定義された複素関数であるとする。f(z)がzについて微分可能であることは、次のCauchy-Riemann条件が成立することと必要十分である。
xu(x,y)=yv(x,y)
xv(x,y)=yu(x,y)

共役複素数での偏微分

今度は、x,yz,z¯で書き換えることを考えます。
zf(z)=xzxf(z)+yzyf(z)=12xf(x,y)i2yf(x,y)
z¯f(z)=xz¯xf(z)+yz¯yf(z)=12xf(x,y)+i2yf(x,y)
すると、
limr0f(z+reiθ)f(z)reiθ=zf(z)+z¯f(z)e2iθ
が得られるので、次の命題も示せます。

共役複素数での偏微分

f(z)が開集合領域D上で定義された複素関数であるとする。f(z)がzについて微分可能であることは、z¯f(z)=0と同値である。

正則な関数

複素関数f(z)が開集合D全体で微分可能なとき、「f(z)は開集合D上で正則である」といいます。

あとがき

今日はこの辺で失礼します。最後までお読みくださりありがとうございました!次回は留数定理とかグルサの定理とかまでいけたらなーって思います!

投稿日:202432
更新日:202434
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

工学部の3年生です。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中