• 締切済み

正則関数について

複素数C上の正則関数 f:C→C がCにおいて一様連続であるとする。 このとき,fは高々1次の多項式であることを示せ。 という問題です。 リュービルの定理を使うんだろうということはわかるのですが 一様連続性の利用の方法がいまいちわかりません。 よろしくお願いします。

みんなの回答

  • muturajcp
  • ベストアンサー率78% (505/644)
回答No.1

複素数C上の正則関数 f:C→C がCにおいて一様連続であるとすると 任意のε>0に対して あるδ(ε)>0が存在して |z-a|<δ(ε)となる任意の複素数z,aに対して |f(z)-f(a)|<ε だから あるδ(1)>0が存在して |z-a|<δ(1)となる任意の複素数z,aに対して |f(z)-f(a)|<1 となる。 任意の複素数aに対して g:C→C g(a)=f'(a) z≠aのときg(z)={f(z)-f(a)}/(z-a) とgを定義すると lim_{z→a}g(z)=lim_{z→a}{f(z)-f(a)}/(z-a)=f'(a)=g(a)だから g(z)は正則 |z-a|=r<δ(1)上では |g(z)|=|f(z)-f(a)|/r<1/r となるから,最大絶対値の原理から,|z-a|<rにおいても |g(z)|<1/r が成り立つ ここでr→δ(1)とすれば |z-a|<δ(1)において|g(z)|≦1/δ(1) だからM=1/δ(1)とすると |g(a)|=|f'(a)|≦M aは任意だから任意の複素数zに対して |f'(z)|≦M となって f'(z)は有界だから リュービルの定理から f'(z)=定数 だからf'(z)=Bとすると f(z)=∫f'(z)dz=∫Bdz=B∫dz=Bz+C f(z)=Bz+C fは高々1次の多項式である

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • 全複素数平面で定義された正則関数

    f (z) を全複素数平面で定義された正則関数とする。 i) f が一様連続なら、 f は一次関数。 ii) f ( f (z)) ≡ f (z) を満たす定数関数以外の関数 f は、 f (z) = z とくためのヒントをください。

  • 一価正則

    岩波公式集IIIのルジャンドル倍関数の部分を見ています。 この中で、複素数であるzが[-1,1]以外の部分ではある関数f(z)が「一価正則」である、というようなことが書かれています。 関数が一価正則である場合、どういう特徴や利点などがあるのでしょうか? よろしくお願いいたします。

  • 正則だから、有界?

    今日は。複素関数を独学中ですが、次の教科書の記載文中で分からない箇所が有りますので教えて下さい。 いま関数f(z)が開円板|z-α|<ρで正則であるとする。 zをこの開円板の点とし、rを|z-α|<r<ρなる任意の正の数、Cを円周|ζ-α|=rを正の方向に進む道とする。この後の記載は少し省略させて頂きまして、次の f(ζ)はC上で正則だから、有界であって、C上でつねに  |f(ζ)|<M となるような正の数Mが存在し、…とあります。 疑問点は、「f(ζ)はC上で正則だから、有界であって」の箇所です。私としては、 f(ζ)はρ内およびC上で連続でCに沿って一周する積分路をとると∫_cf(ζ)dζ=0であるからf(ζ)は有界である。のかと考えてみたのですがすっきりしません。 なぜ正則だと有界といえるのか分かり易く教えていただけたら幸いです。

  • 正則同相な関数について

    Gauss平面C上の 任意の正則同相 f:C→C は一次式で表わされることを示せ。 です。 何を利用すればよいかもわかりません。 よろしくお願いします。

  • 複素関数の正則性。

    領域 D が実軸に関して対称であると仮定する。w = f(z) が正則ならば,w = f(¯z). も正則であることを示せ。 という問題が分かりません。 最終的に、「コーシー・リーマンの関係式を満たすので正則」と結論づけたいのですが、実際の関数が与えられていないため、∂u/∂xや∂v/∂yなどの計算ができなくて困っています。 どうすれば良いのでしょうか? よろしくお願いします。

  • この関数が正則なのでしょうか?導関数も教えてください。

    この関数が正則なのでしょうか?導関数も教えてください。 (1) f(z)=e^x(cosY+isinY) (2) f(Z)=e^x(cosY-isinY) ちょっとした解説付だと理解に助かります。どうかよろしくお願いします。

  • 正則関数に関する問題で・・・

    次の問題がよくわからないので良かったら教えてください。 Q,f(z)=(e^iz―e^-iz)/2i :z=x+iyとする。 1. u(x,y)=Re(f(z)), v(x,y)=Im(f(z))を求めよ。 2.コーシー・リーマンの方程式を用いてf(z)が正則となる領域を求めよ。 1のほうは複素数になっちゃうんですが自信がないのでどうかお願いします。

  • 正則について。

    以下にしめす関数の正則性について、コーシー・リーマンの方程式を用いて調べなさい。また、正則であれば導関数も求めなさい。 f(z)=Ze^z で、z=x+viに対して、e^z=u+vi,e^z=e^x*e^y                 =e^x(cosy+isiny) とすると、 u=e^x*cosy,v=e^x*siny とこんな感じで解いているのですが、どこでコーシーリーマンの定理を使うかもわかりません。どなたかご指導お願いします!m(_ _)m

  • 複素積分(コーシーの積分定理)について質問です

    zを複素数としする。コーシーの積分定理によれば「関数f(z)が領域Dで正則であるとして、領域D内の任意の閉曲線Cの内部が領域Dに含まれる場合、閉曲線Cに沿った関数f(z)の周回積分は0になる。」が成り立つと思います。 そこで次の問題を考えました。(zは複素数変数、aは実数の定数、iは虚数単位とする) 「原点を中心とする半径aの円を閉曲線Cとする。閉曲線Cに沿った、関数f(z)=1/(z-ai)の周回積分Iをを求める。」 閉曲線Cの内部で関数f(z)は正則だけれども、閉曲線Cは関数f(z)が正則でないz=aiの点を含んでいるのでコーシーの積分定理は利用できない。…(1) そこで、次のように積分を行うことにしました。閉曲線Cを複素数で表して、C:z=a*exp(iθ) (0≦θ≦2π) dz/dθ=ai*exp(iθ) よってI =∫f(z)dz =∫{ai*exp(iθ)/(a*exp(iθ)-ai)}dθ (積分範囲は0≦θ≦2π) ここで、[Ln(a*exp(iθ)-ai)](0≦θ≦2π)=0…(2) そこで質問です。 (1)は正しく、閉曲線の外周上に被積分関数が正則で無い部分があるなら、コーシーの積分定理は成立しないのでしょうか? (2)ln(z)は無限多価関数なので、どの複素関数の不定積分でもないと思ったので、Ln(z)を不定積分として用いたのですが、これは大丈夫なのでしょうか? ご回答よろしくお願いします。

  • C1級関数の一様連続性の証明

    C1級関数 f は、任意の閉区間 I = [a,b]で一様連続であることを、平均値の定理を使って示しなさい。(閉区間 I = [a,b]で連続な関数はIで一様連続である、という定理は使わずに) という問題です。答えを参考にしながら考えていきたいので、是非お力添えお願いします。