- ベストアンサー
絶対値の大小関係
iは虚数単位とし、 ε=ε1+ε2i z=x+yi z0=x0+y0i ρ=|z-z0| η={ε1(x-x0)-ε2(y-y0)}/ρ と定義すると、 |η|≦|ε1|+|ε2| となる、とコーシー・リーマンの微分方程式微分可能性の証明の部分で出てきたのですが、何故このように言えるのでしょうか？
- glarelance
- お礼率77% (191/247)
- 数学・算数
- 回答数1
- ありがとう数1
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
- ベストアンサー
単純に進めると、 η={ε1(x-x0)-ε2(y-y0)}/ρ = Re{(z-z0)*ε}/ρ≦|(z-z0)*ε|/ρ = |ε|≦|ε1|+|ε2| かな？
関連するQ&A
- 複素関数cos(z)の微分について
w=u+iv=cos(z)とおいたときに，wがzの全域でコーシー・リーマン方程式（∂u/∂x=∂v/∂y,∂u/∂y=-∂v/∂x）を満たすことを示し，微分係数を求めよ．（z=x+iy，iは虚数単位） と言う問題です． 解答を見てみると， cos(z)=cos(x)cosh(y)-isin(x)sinh(y) の加法定理の関係式を使い， u=cos(x)cosh(y) v=-sin(x)sinh(y) したがって， ・∂u/∂x=-sin(x)cosh(y) ・∂u/∂y=cos(x)sinh(y)・・・I ・∂v/∂x=-cos(x)sinh(y) ・∂v/∂y=-sin(x)cosh(y)・・・II よって，コーシー・リーマン方程式を満たしている． となっていました． 疑問なのは，複素関数cos(z)の微分について調べているのに，IとIIでそれぞれcosh(y)，sinh(y)の微分をしていることです． cosh(y)=cos(iy)，isinh(y)=sin(iy) なので，これも複素関数の微分となり，ここでは使ってはいけないのではないのでしょうか？ ほかの方法があれば教えてください．また， {cosh(y)}'=sinh(y)，{sinh(y)}'=cosh(y) となる理由もよろしくお願いします．
- ベストアンサー
- 数学・算数
- コーシー・リーマンの関係式の証明
f(z)=u(x,y)+iv(x,y) において、(z=x+yi) (df/dx)*(dx/dz)=(df/dy)*(dy/dz) より、 コーシー・リーマンの関係式 du/dx=dv/dy,dv/dx=-du/dy が成り立つ。 ↑のような証明法ではまずいでしょうか？
- 締切済み
- 数学・算数
- f(z) = z - 1/z に対してコーシー・リーマンの関係式を使っ
f(z) = z - 1/z に対してコーシー・リーマンの関係式を使って正則性を判定せよ。 解答 f(z)はz≠0において定義され、 f(z)= u + iv u = x - x/(x^2 + y^2) v = y + y/(x^2 + y^2) であり、 u_x = v_y u_y = -v_x よってz≠0で正則 …と書いてあって、 u_x = v_y、u_y = -v_xの偏微分は計算できるんですが、 その前の u = x - x/(x^2 + y^2) v = y + y/(x^2 + y^2) をどうやって導き出したのか教えてください （式さえ教えてくだされば自分で計算します）。 この本には例が一つも載っていません…。お願いします。
- ベストアンサー
- 数学・算数
- 複素数
複素数について質問させて頂きます。 参考書には、 「複素数zが実数でない場合つまり、虚部が0でないときｚは虚数である」という。 というように記載されていました。 私は複素数は常に虚数だと認識していましたがそうでない場合もあるのでしょうか？ 複素数zが実数でない場合と記載されていたので複素数が実数の場合もあるのでは ないかと考えた次第です。 つまり、 z=x+iy （z：複素数、x,y：実数、i：虚数単位） において、y=0の場合でもzを複素数と呼ぶのですか？ 上記の場合、zは虚数ではないですが複素数とは言えるのでしょうか？ 複素数の定義は、 実数x,yと虚数単位iを用いてz=x+iyの形で表すことのできる数です。 （定義にy≠0は特に記載されていませんでした。） なので、z=x+iyにおいてy＝0の場合は複素数とは言わないと考えています。 質問内容を整理しますと、 （1）複素数は常に虚数である （2）z=x+iyにおいて、y=0のときzは複素数ではない 複素数の定義にy≠0は必要なのでしょうか？ 以上、ご回答よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 複素関数:Z^Zの実部と虚部を求めること
X 及び Y を実数としたとき、Z=X+iY (iは虚数単位) として、 複素関数:Z^Z (注：記号 ^ は、べき乗を表す) 実数部分と虚数部分を、それぞれ X, Y の関数として求めたい。 即ち、(Z^Z)の実数部分=f(X,Y) ,、(Z^Z)の虚数部分=g(X,Y) として f(X,Y) 及び g(X,Y) を求めたいのですが、この解を教えてください。
- ベストアンサー
- 数学・算数
- コーシーリーマンの問題について
φ=x^2-y^2,ψ=2xyはコーシーリーマンの式を満たすことを示せ。 また、複素関数ｗがｚの関数で表すことができない場合は、コーシーリーマンの式を満たさないことを示せ。 という問題なのですが、 ＞また、複素関数ｗがｚの関数で表すことができない場合は、コーシーリーマンの式を満たさないことを示せ。 ここの解は、 例えば、x^2+iy^2のような関数はφ=x^2,ψ=y^2であり、 ∂φ/∂x=2x,∂ψ/∂y=2yとなり、コーシーリーマンの関係式が満たされるのはｚ平面内で直線y=x上だけである。 よって関数x^2+iy^2は満たさない。 このような解でいいんでしょうか？ よろしくお願いします。
- ベストアンサー
- 数学・算数
- z=w+iyで、コーシーリーマンの方程式を使って、微分可能か調べる問題で、z^3を調べる時の解答を教えてください。
z=w+iyで、コーシーリーマンの方程式を使って、微分可能か調べる問題で、z^3を調べる時の解答を教えてください。
- ベストアンサー
- 数学・算数
- 複素関数と行列の関係がわかりません
「複素数zについて，√zが定められている．このとき，正方行列Aの固有値が，0および虚部が負の純虚数でなければ，√Aが定義できる．これは，Aの固有値を含む領域において正則なzの関数f(z)に対して，f(A)が定義できるためである．」ということを習いました． ここで，質問なのですが，「正方行列Aの固有値が，虚部が負の純虚数でない」という条件はなぜ必要なのでしょうか？ √zについてz=rexp(iθ)と極形式で表示して，コーシーリーマンの関係式を調べると，z=0のときは，√zは正則ではないということがわかり，これが「Aの固有値が0でない」ことを要求する理由だと考えました． しかし，r≠0かつθ=-π/2の場合は，√zが正則であるため，Aの固有値として虚部が負の純虚数が存在していても，√Aが定義できると考えてしまいます． ご教授願います．
- 締切済み
- 数学・算数
- f(z)=|z|^2はz=0では正則ではないことを示せ。
f(z)=|z|^2はz=0では正則ではないことを示せ。 解答 f'(0) = lim[z->0] {f(z)-f(0)}/z = lim[z->0] z~ となり、z=0で微分可能。 z=0で正則とは0のある近傍で正則ということであるが、 z≠0のときf(z)=x^2+y^2はコーシー・リーマンの方程式を満たさない。 …と載っているんですが、微分可能性にはついては先ほど質問し解決しました。 今度は正則について確認です。 f(z)={√(x^2+y^2)}^2 =x^2+y^2 =u+iv で 実部uはx^2+y^2 虚部vは0 u_x = 2x ≠ v_y =0 v_x = 0 ≠ u_y = 2y これらが一致しないので正則ではない …という答えでいいですか？ 間違っていたら訂正をお願いします。
- ベストアンサー
- 数学・算数
お礼
なるほど。 どうも有り難うございました。