2
大学数学基礎解説

Ringlebの定理

双複素関数,双複素解析
48
0

双複素解析入門　第10回

今回は，Ringlebの定理を紹介します．ついに来ましたこの定理を紹介するときが．この定理を紹介するためだけに以前までの内容を書いていたといっても過言ではありません．

以前，双複素関数は2つの複素関数を用いて書けるということを紹介しましたが，双複素正則関数であれば，その2つの関数は複素正則関数になります．つまり，双複素正則関数を1つ扱うことは，2つの独立な複素正則関数を扱うことと同値になります．

Ringleb

任意のF∈OBC(Ω)に対して，2つの複素正則関数Fe:Φe(Ω)→C,Fe†:Φe†(Ω)→Cが存在して，
F(Z)=Fe(Ze)e+Fe†(Ze†)e†
が成り立つ．

F∈OBC(Ω)をとる．このとき，Z=z1+jz2,F(Z)=u(z1,z2)+jv(z1,z2)と表す．このFをべき等元分解する．
Φe(F(Z))=u(z1,z2)−iv(z1,z2),
Φe†(F(Z))=u(z1,z2)+iv(z1,z2)
となり，Ze=z1−iz2,Ze†=z1+iz2より，
z1=12(Ze+Ze†),z2=−12i(Ze−Ze†)
となるから，
Φe(F(Z))=Fe(Ze,Ze†)(=u(z1,z2)−iv(z1,z2)),
Φe†(F(Z))=Fe†(Ze,Ze†)(=u(z1,z2)+iv(z1,z2))
とおくことができる．つまり，べき等元分解したあとのe,e†の係数はZe,Ze†の2変数関数になっているということである．ここで，FeをZe†で偏微分する．連鎖率と前回のCauchy-Riemann方程式の類似の方程式を用いると，
∂Fe∂Ze†=(∂u∂z1⋅∂z1∂Ze†+∂u∂z2⋅∂z2∂Ze†)−i(∂v∂z1⋅∂z1∂Ze†+∂v∂z2⋅∂z2∂Ze†)=(12⋅∂u∂z1+12i⋅∂u∂z2)−i(12⋅∂v∂z1+12i⋅∂v∂z2)=12(∂u∂z1−∂v∂z2)+12i(∂u∂z2+∂v∂z1)=12⋅0+12i⋅0=0
が成り立つ．よって，FeはZeのみに依存する関数となる．Fe†も同様にZe†のみに依存する関数であることが示される．つまり，Fe,Fe†は正則な複素正則関数となる．

Ringlebの定理により，複素正則関数の性質はそのまま双複素正則関数へと自明に拡張されることになります．べき級数展開可能性，一致の定理，解析接続の原理などはすべて双複素正則関数でも成り立ちます．これは逆に，双複素解析を面白くなくしてるともいえますが…．また，この定理より次が成り立ちます．

任意のF∈OBC(Ω)はΦe(Ω)×Φe†(Ω)≃{Z=Zee+Ze†e†∈BC |Ze∈Φe(Ω),Ze†∈Φe†(Ω)}
上の正則関数に拡張できる．

拡張原理

任意のF∈OBC(Ω)に対して，Φe(Ω)×Φe†(Ω)上の関数Gを
G(Z)=Fe(Ze)e+Fe†(Ze†)e†とおけば，Ω上でF≡Gとなる．一致の定理より主張が成り立つ．

これをざっくりと幾何的に説明すると，領域Ωをぴったり覆うような長方形領域Φe(Ω)×Φe†(Ω)にまで関数Fの定義域を自明に拡張できることを主張しています．なんだか多変数複素関数でも同じように自明に拡張されるような領域がありましたね…．

今日はここまでにします．ありがとうございました．

投稿日：2020年12月20日
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

まい.
まい.
32
1967
大学院修士課程まで主に解析数論（素数定理周り）の研究をしていました。今はデータサイエンス関連の仕事をしています。Xでは大学数学入門資料を投稿してます。

コメント

他の人のコメント

コメントはありません。
読み込み中
まい.
まい.
Ringlebの定理