- ベストアンサー
平均値の定理が複素関数で成り立たない訳は？
sonofajisaiの回答
反例を一つ上げれば十分である。 f(z)=z^3 とする。 仮に平均値の定理が成立すると仮定すると、 {f(1+2i)-f(1+i)}/{(1+2i)-(1-i)}=f'(1+ti).......................................(1) を満たす、1<t<2 が存在する。 (1)の左辺を計算すると 左辺=-4+9i................................................................................(2) となる。 一方右辺を計算すると f'(1+ti)=3(1+ti)^2=-3t^2+3+6ti...............................................(3) (2)、(3)を比べることにより、tは以下の二つの方程式(4)、(5)を同時に満たす。 -3t^2+3=-4....................................(4) 6t=9................................................(5) ところが、(4)、(5)を同時に満たすtは存在しない。 これは、f(z)=z^3が、平均値の定理を満たすという仮定に反する。 よって背理法により、f(z)は、平均値の定理を満たさない。 すなわち、平均値の定理を満たさない微分可能な関数が存在することが示された。 これは複素関数一般では平均値の定理が成り立たないことを示している。 q.e.d.
関連するQ&A
- 複素関数でのロピタルの定理
「f(z),g(z)は複素変数の複素関数で、z=αを含む領域で正則。また、f(z)=0(z→α),g(z)=0(z→α)であるとする。このとき、f'(z)/g'(z) (z→α) が存在するならばf(z)/g(z) (z→α) = f'(z)/g'(z) (z→α) が成り立つか」 という問題を調べているのですが、なかなか見つかりません。要は実数値関数のロピタルの定理を複素関数に拡張できるかという問題なんですけど、どう証明すればいいのでしょうか。
- 締切済み
- 数学・算数
- ロピタルの定理の複素関数への適用について
f(z),g(z)が点aで正則で、f(a)=g(a)=0、g'(a)が０でないとき、 lim{z→a｝f(z)/g(z)＝lim{z→a｝f'(z)/g'(z) であることを証明せよ。 という問題を調べているのですがなかなか見つかりません。 要は複素関数にもロピタルの定理が適用できることを証明せよという問題だと思うのですが、これはどう証明したらいいのでしょうか？
- ベストアンサー
- 数学・算数
- 関数の複素共役と元の関数の関係
関数ｆ（ｘ）において、その複素共役をｆ*（ｘ） とすると、 ｆ（ｘ）＝ｆ*（ｘ） の場合、ｆ（ｘ）は、実関数に限ると思いますが、 証明の方法がわかりません。 テーラ展開できる場合は、僕でも証明できますが、 もっと、一般的には、どうするのでしょうか？ それから、ｆ（ｘ）＝-ｆ*（ｘ） の場合、 （例えば、ｆ（ｘ）＝ｉ x ） こういう関係が成り立つ関数を、どう呼んだらいいでしょうか？ 反エルミート関数？
- ベストアンサー
- 数学・算数
- 複素関数について解説している分かりやすいサイト教えてください。
複素関数について解説している分かりやすいサイト教えてください。 複素積分の問題を解けるようにならなければいけないんですが、複素関数について全くわかりません。 どこか短期間で問題が解けるようになる、分かりやすく簡潔に書かれているサイトまたはpdfを教えてください。 もう日が無いので、とりあえず定理の証明の理解などより複素積分を解けるようになることを優先したいです。 急ぎなので複素積分の問題さえ解けるようになればぶっちゃけ公式丸暗記でいいです。 なので例題があって、それについて詳しく解説してくれているとありがたいです。 Googleにて複素関数について検索し、かなりのサイトに目を通してみたのですが、途中からごちゃごちゃになって来、なかなか理解で出来ず複素積分までたどり着けません。 ちなみに、色々なサイトを見て、一番分かりやすく最後まで理解できたのはこのpdfです。 これは短時間で読め、理解もしやすかったのでよかったのですが、この人が書いているのはここまでで次は違う分野の解説に入ってしまっていて困ってます。 ttp://www.u.dendai.ac.jp/~kuni/physics_exercise.pdf
- 締切済み
- 数学・算数
お礼
懇切ご丁寧に誠に有難う御座いました。