No.4
- 回答日時:
da-loveさん、こんにちは。
siegmund先生の解答が標準的なものであり十分と思いますが、私はへそ曲がりなので変わった方法を紹介します。z* = x-iy
をzとは独立な変数と思うことにします。xとyの任意の複素関数はzとz*で書くことが出来ます。
x=(z+z*)/2
y=(z-z*)/(2i)
より、
∂f/∂z* = (∂f/∂x)(∂x/∂z*)+(∂f/∂y)(∂y/∂z*)
=(1/2)((∂f/∂x) + i(∂f/∂y))
=(1/2)((∂u/∂x)-(∂v/∂y)+i((∂v/∂x)+(∂u/∂y)))
なのでコーシー・リーマンの方程式は∂f/∂z* =0と同値です。ze^zはz*を含まないので、コーシー・リーマンの方程式を満たしていることは明らかです。さらに一階導関数∂f/∂z*と
∂f/∂z = (z+1)exp(z)
がともに連続なので、正則として良いでしょう。ここで不思議なのは、zとz*は共役な複素数なのに独立とみなすということです。変分法でも共役な関数を独立とみなすというのが出てきます。ad-bc≠0として
x'=ax+by
y'=cx+dy
で定義されるx', y'が独立であるというのはy'を変化させないでx'だけを変化させることができる(またはその逆)からでしょう。これをzとz*にあてはめると、xとyも複素数でなければならないことになります。それはともかく、∂f/∂z* =0が形式的にコーシー・リーマンの方程式と同値である以上、zのみの関数で一階連続微分可能なものはすべてコーシー・リーマンの方程式を満たし、正則であることになります。
う~ん、本当にそうか?例えば無限回微分可能だがべき級数展開はできない
f(x) = 0 (x≧1 のとき)
f(x) = 1/exp(-1/(1-x^2)) (x<1 のとき)
でxをzに置き換えるとどうなるか?と考えると分からなくなってきました(回答になっていなくてごめんなさい)。
No.2ベストアンサー
- 回答日時:
siegmund です.
> f(z)=z*e^zなんですよ.
あ,そうでしたか.
それなら
(2) f(z) = (x+iy){e^x cos(y) + i e^x sin(y)}
= u(x,y) +iv(x,y)
(3) u(x,y) = x e^x cos(y) - y e^x sin(y)
(4) v(x,y) = x e^x sin(y) + y e^x cos(y)
と書いて(質問文の u,v とはもちろん違います),
No.1 の(1)を求めればいいでしょう.
なお,正則関数同士の和,差,積,はやはり正則関数になることが
知られています.
商も分母がゼロになるところを除いて正則関数です.
したがって,z と e^z が全平面で正則であることを知っているなら,
z e^z も全平面で正則であることがわかります.
問題の出題意図とははずれているかも知れませんが.
ミスタイプなどあるかも知れませんので,チェックもよろしく.
この回答へのお礼
お礼日時:2003/08/16 01:05
またまた、ありがとうございます。正則である事は証明できました。
しかし、導関数の導き方で悪戦苦闘しています。よろしければヒントをください。
No.1
- 回答日時:
ミスタイプがあるようですが
> f(z)=e^z
>
> で、z=x+yiに対して、e^z=u+vi,e^z=e^x*e^(iy)
> =e^x(cosy+isiny)
> とすると、
> u=e^x*cosy,v=e^x*siny
でしょうか?
u,v が x,y の関数として書けたのですから,普通に
(1) ∂u/∂x, ∂v/∂y, ∂u/∂y, ∂v/∂x
を計算して
コーシー・リーマン方程式が成り立っているかどうか調べるだけでしょう.
なお,コーシー・リーマン方程式が成り立っているのは正則であるための必要条件です.
これに(1)の4つの偏微分の連続性が加われば正則であるための必要十分条件になります.
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 ラプラス変換について 3 2022/10/13 22:18
- 物理学 物理の問題 3 2022/12/21 22:56
- 数学 複素関数と実関数のテーラー展開の違いについて 1 2022/08/09 06:18
- 数学 「f(z)=1/(z^2-1)に関して ローラン展開を使う場合、マクローリン展開を使う場合、テイラー 3 2022/08/27 19:56
- 数学 コーシーリーマンの関係式の誘導 2 2022/06/13 10:35
- 物理学 ニュートンの冷却法則と熱伝導方程式について 3 2023/03/05 19:51
- 数学 高校数学の問題です。教えてください。 次の連立方程式を解け。 ただし、0<=x<=2π、0<=y<= 4 2022/08/31 18:33
- 数学 正則関数f(z)=u(x,y)+iv(x,y) (z=x+yi)の虚部が、 v(x,y)=-2xy+ 1 2022/08/01 12:04
- 数学 数学微分方程式の問題です。次に書く問題を教えて欲しいです。質量mの物体が自然長l、ばね定数kのバネで 1 2022/04/29 21:23
- 数学 f(x)=(x^2)(e^2x)のn次導関数について求めて欲しいです。3回微分までしましたが、うまく 4 2023/07/22 19:43
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
2次関数 y=ax2+bx+cのxを求め...
-
未知数の数と必要な方程式の数...
-
連立方程式の解が交点の座標と...
-
エクセルでxを求めたいのですが!
-
与えられた2数が和と積のとき...
-
円の方程式?円の関数じゃないの?
-
xの5乗=1 の答えを教えてく...
-
何年生で習う範囲ですか?
-
数学IIの問題です。 kを定数と...
-
因数分解って何に役立つの?
-
3次、4次方程式は、具体的に何...
-
遊んでいそうな顔=イケメンモ...
-
tが満たすべき2次方程式を求め...
-
2次関数と2次方程式の違い
-
実数条件の最大と最小
-
数II・Bは数ⅠAやらずに始めても...
-
数iiと数学iiiの内容の重複につ...
-
3次方程式x^3+x^2-2x-1=0の解
-
一次不定方程式 205x − 305y + ...
-
高2数学の質問です。 円の方程...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報