- ベストアンサー
大学の複素関数の証明
zk43の回答
Rez=x、Imz=yとおく。 (√2|z|)^2-(|x|+|y|)^2 =2(x^2+y^2)-(x^2+2|xy|+y^2) =x^2-2|xy|+y^2 =(|x|-|y|)^2≧0 この不等式を使って、複素関数f(z)=u(x,y)+i・v(x,y) が連続であることの必要十分条件が、u(x,y)、v(x,y) がそれぞれ連続であることの証明などにも使えますね。
関連するQ&A
- 複素関数に関する質問
春休みに入ったので、応用数学の演習問題をやっているのですが、 複素関数の分野で分からない問題がいくつかあります。 休み中なので、誰かに聞くことも難しいため解説、解答をよろしくお願いします。 1. 実数を係数とする代数方程式 f(x)=0 が、実数でない複素数zを解に持つならば、 共役複素数z~(ゼットバーのつもり)も解であることを証明せよ。そのとき z = a+ib とすれば、整式 f(x)=0 は x^2-2ax+a^2+b^2 で割り切れることを 証明せよ。(^は階乗) 2. w = 1/z により、次の直線または円はどんな直線または円に変換されるか。 (1) 単位円 |z| = 1 と2点 P、Q で交わる直線 (2) 単位円に1点 P で接する直線 (3) 点 i を中心とし原点を通る円 3. 次の関数は z 平面のそれぞれの領域を w 平面の単位円の内部に 写像することを示せ。 (1) w = (z^2 - a)/(z^2 - a~)、Im a > 0、 第1象限 {z | 0 < arg z < π/2} (2) w = (e^z - 1)/(e^z + 1)、帯状領域{z | -π/2 < Im z < π/2} ( ^ は階乗、~はバー)
- ベストアンサー
- 数学・算数
- 複素積分の初歩的な質問
以下のような問題についてなのですが。。。 問 複素平面z上の単連結領域 -1<Imz<1 で、次の z=-1 から 1 までの 定積分を求めよ。 ∫[-1,1]1/(z-i)dz (被積分関数が 1/(z-i),積分範囲が[-1,1]) 僕は実数関数のノリで [log|z-i|]を原始関数としてやり答えが0になってしまったのですが 解答を見ると以下のようにやっています。 積分経路を z-i = √2*exp(iθ) (-3pi/4 <= θ <= -pi/4) としてあとは普通に積分。(答えは(pi*i)/2) つまり -1<Imz<1,-1<=Rez<=1 の範囲で被積分関数は 正則だからコーシーの積分定理より経路を変えても積分値は同じ、 -1から1へまっすぐ積分するのではなく扇形の弧を描くように 積分するということです(と思います)。 で、模範解答のやり方はそれはそれでよく納得できたのですが 僕が最初にやったやり方はなにが不味いのでしょうか。 そもそも原始関数がlog|z-i|がおかしいのでしょうか? この公式(∫f(x)'/f(x) dx = log|f(x)|)は複素数の範囲だと 成り立たない公式なのでしょうか? 複素関数の積分で被積分関数が特異点を持つときは exp(iθ)を絡ませるのが常套手段なのでしょうか? よろしくお願いいたします!
- ベストアンサー
- 数学・算数
- 複素共役 共役複素数
複素共役 共役複素数 複素共役の性質としてよくわからない性質があったので 質問させて頂きます。 複素数をz、zに対する複素共役をz^-で表します。 (z^-1)=(z^-)/(|z|^2) これは、複素数の逆元を表していると思います。 この、(z^-1)とは(1/z)と同じことなのですか? また、(z^-1)=(z^-)/(|z|^2) となる理由を知りたいのですが、 証明の仕方を教えて頂けないでしょうか? 以上、よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 複素関数の微分について
複素数zの関数の微分についての初歩的な説明が参考書にかいてあったのですが、いってることがよくわかりませんでした わかりやすく微分のしかたと意義をおしえてもらえませんか? w=r分の1かけるe^-θ ←なぜθではなく-θなのでしょうか? よろしくお願いします
- 締切済み
- 数学・算数
お礼
|z|^2が(x^2+y^2)となるんですね。非常に助かりました。ありがとうございました。