- 締切済み
複素平面での解析関数に対する要件
複素平面での解析関数に求められる要件は名称で言うならコーシーリーマンの関係式です。それとイコールの意味での要件は、微分が方向に依らない(ガウス平面上の点に近づく全方向で微分が同じ値を取る)ということです。(この理解が間違ってるかも知れませんが) 私は、後者(微分が方向に依らない)から前者(コーシーリーマンの関係式)が誘導できないかなあと思っています。どうでしょうか。 実数の2次元平面(x,y)においてf(x,y)の任意の方向(n方向)の微分は、n・grad(f)となります。ベクトル解析における方向微分です。これを複素平面(ガウス平面)に適用してその値がnベクトルの成分に依存しないで一定である(すなわち方向微分の値が方向に依存しない)という要件から誘導できるのではないかと思いましたが、ハズレのようです。考え方が間違っているでしょうか。 なお、ガウス平面でのfのgrad(勾配)は、(df/dx, df/(d(iy))としていますが。 ※ガウス平面上の微分からコーシーリーマンの関係の誘導する過程は理解しました。微分値が(Δx, iΔy)に依存しないので方向に依存しないということだと思います。 以上、よろしくお願いします。
- みんなの回答 (3)
- 専門家の回答
みんなの回答
- stomachman
- ベストアンサー率57% (1014/1775)
- stomachman
- ベストアンサー率57% (1014/1775)
- stomachman
- ベストアンサー率57% (1014/1775)
関連するQ&A
- 複素平面での微分可能ということ。
複素平面で微分可能ということは今、見ている本には以下のようになっています。 -------- ここから 定義 f(z)は領域Dで定義されているものとする。Dの点z0において lim (f(z0+dz)-f(z0))/dz (lim dz→0) なる極限が存在するとき、f(z)はz0で微分可能であるといい、この極限をf'(z0)で表し、z0におけるf(z)の微分係数という。 ------- ここまで ここで質問ですが、これだけの定義と複素平面の性質からz0で微分可能ならば微分係数が微分の方向に依存しないということを誘導して示すことは可能でしょうか。それとも微分可能という定義に含まれることになるでしょうか(定義なのだから証明する必要なし)。 1変数の実関数f(x)がx0で微分可能という場合、右から近づいても左から近づいても極限としての微分係数が同じということが要求されます。これは誘導されるものではないように思います。そう言う意味で複素平面での微分は方向に依存しないということは誘導されたりするものではないということになるでしょうか。もし、複素平面での微分が方向に依存しない、ということが定義ということであれば、そういう性質を持つものだけを取り出して考えると言う意味になるのでしょうか。
- 締切済み
- 数学・算数
- 複素微分の存在→正則の証明
複素関数fの複素微分が存在するなら、その関数は正則であるということを証明するプロセスは複素関数論の教科書にはすべて載っていると思います。 私の本では複素微分df/dzにおいてdz=h+ikとして、k=0でh→0としたものと、h=0としてk→0としたものが一致しなければならないということから正則であることを誘導しています。複素微分による2つの特殊な例を適用したように見えるのですが、これで演繹的に証明したことになるのでしょうか。 これに関連して、正則とはコーシーリーマンの関係が成立することであり、それが正則の定義と考えていいのでしょうか。つまり正則ならコーシーリーマンの関係式が成立することを証明せよ、というようなことはないと思っていいでしょうか。 なお、正則→複素微分の存在という証明が別途出てきますが、こちらは平均値の定理とコーシーリーマンの式で演繹的に証明できたような印象なのですが。
- 締切済み
- 数学・算数
- 複素関数の問題です。
複素関数の問題です。 複素関数の問題で分からない問題があって困っています。 【問題】 F(z)=u(x,y)+iv(x,y), z=x+iy において u(x,y)=a, v(x,y)=b で表される曲線をxy平面上に描いたとき、それらの交点においてF´(z)≠0であれば、その交点における各曲線に対する接戦が互いに直交することをコーシー・リーマンの関係式を用いて示せ。ただしF´(z)はF(z)の導関数であり、関数u(x,y)の点(x,y)での微分は、 du=(∂u/∂x)dx+(∂u/∂y)dy で与えられる。 わかる方がいれば、どうか教えていただけないでしょうか? よろしくお願いします。
- ベストアンサー
- 数学・算数
- 複素関数
聞きたいことが2つあります。 1つ目は複素関数w=u+ivについてです。 この関数がコーシーリーマンの関係式を満たすとき、w'=a+ibもコーシーリーマンの関係式を満たすことを示したいのです。 まず、wにコーシーリーマンの関係式を適用してからラプラスの関係式を適用して d^2u/dx^2 + d^2u/dy^2 =0 d^2v/dx^2 + d^2v/dy^2 =0 となります。 このあと、a=du/dx + du/dy b=dv/dx + dv/dy と定義します。 でコーシーリーマンの関係式を使ったのですがどうにも一致しません^^; aとbの定義が違うのでしょうか? 2つ目は円柱周りの流れを表す複素速度ポテンシャルについてです。 f(z)=Az+B/z=φ+iψ f'(z)=u-iv と定義されていて、境界条件が設定されているのですが使い方がよくわかりません。 f(z)=φ+iψで、ラプラスが成り立つことは証明済みなのですが、これをうまく使うのでしょうか? どうぞ、よろしくお願いします。
- 締切済み
- 数学・算数
- 複素関数の微分について
かなり乱暴な質問だと思いますが、回答をよろしくお願いします。 複素関数f(z)がz。において微分可能であることを示すときに 「zがあらゆる方向からz。に近づいてきても ((f(z)-f(z。))/(z-z。)がある値に近づく」 というくだりがよくわかりません。 2変数関数の偏微分みたいに、方向によって値が違っていても いいような気がしますが、複素関数では同じになるのでしょうか? それとも同じになる時に限って微分可能と定義付けるのでしょうか?
- 締切済み
- 数学・算数
- 複素関数の微分不可能性について!
閲覧ありがとうございます。 複素関数f(z)=Re zについて、どこでも微分不可能なことを示せ。 という問題なのですが、教科書に答えが載っておらずわかりません。 コーシーの方程式はまだ習っていないので、別の方法で解きたいのですが… どなたか、解答していただけるとありがたいです! よろしくお願いします。
- ベストアンサー
- 数学・算数
- 次の複素関数の解き方,解答を教えてください
次の複素関数の解き方,解答を教えてください 正則関数f(z)の実部をu = u(x, y),虚部をv = v(x, y)とおくとき(2u - v) + i(u + 2v) が正則かどうかコーシー・リーマンの方程式を利用して調べよ。 お願いします。
- ベストアンサー
- 数学・算数
- 複素関数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) となる理由もよろしくお願いします.
- ベストアンサー
- 数学・算数
お礼
その次の悩みにお付き合い願います。 実空間の場合、df/dn=n・gradf=|n||gradf|cosθ=|gradf|cosθがθに依存しないためには|gradf|=0となり、fx=fy=0となるのではないでしょうか。これの複素数版ですよね...。