質問: f'(z)/g'(z) (z→α) が成り立つか」 という問題を調べているのですが、なかなか見つかりません。要は実数値関数のロピタルの定理を複素関数に拡張できるかという問題なんですけど、どう証明すればいいのでしょうか。
回答: 正則関数なので、わざわざロピタルの定理を拡張するまでもなくテーラー展開して終わりでしょう。 ここでは簡単のためにfもgもz=αで1位の零点を持つ場合について少しだけ書きますが、そのほかの場合も同様です。 f,gはz=αの近傍で正則だから、z→αのとき、 f(z)=f(α)+f'(α)(z-α)+o((z-α)^2) g(z)=g(α)+g'(α)(z-α)+o((z-α)^2) とできます。oはランダウのラージ・オウ。仮定からf(α)=g(α)=0、f'(α)≠0、g'(α)≠0です。したがって、 f(z)/g(z)={f'(α)(z-α)+o((z-α)^2))}/{g'(α)(z-α)+o((z-α)^2))} 分母分子を(z-α)^3で割って、o((z-α)^2))/(z-α)^3→0(z→α)に注意すれば示したいことが言えます。 要は正則関数において、その比は、テーラー展開したときの最小次数の係数だけに依存するのです。