度々の質問失礼します。 四角で囲った部分はどのようにして導くことができるのでしょうか。
|
No.79510 - 2021/11/21(Sun) 22:45:07
| ☆ Re: / ast | | | 個別のスレッドにコメントしてもよかったのですが, いいタイミングだと思うので一連のやり取りに対してここで総括的にコメントすることにします. # z の共軛複素数は面倒くさいので以下 z~ と書きます.
そもそも (2行目の式を導くまでの) 文脈は, 複素一変数 z の函数 f=f(z) を z=x+iy を通じて実二変数 x,y の函数 f=f(x,y) とみなすとき, ∂/∂x,∂/∂y に対して新たな作用素 ∂/∂z,∂/∂z~ (ウィルティンガーの微分) を適当な方法で定義するならば, f=f(x,y)=f(z,z~) に対する二つの意味での全微分 df(x,y) = (∂f(x,y)/∂x)dx+(∂f(x,y)/∂y)dy と df(z,z~) = (∂f(z,z~)/∂z)dz+(∂f(z,z~)/∂z~)dz~ が一致する (前者の意味での全微分 df(z) は形の上では z,z~ を変数と看做して後者で計算してよい) という話だと思われる (そういう意味でおそらく質問者が抜粋すべき箇所を見誤っている) ので, かなり最初のやり取り (X さんの No.79443 など) あたりからいろいろと齟齬があるのではないかと疑っています (例えば, X さんは f=f(z(t),z~(t)) に対して df/dt を計算すればよいとしか仰ってない (それ自体は形式的には間違ってない) が, 本来計算すべきは f=f(x(t),y(t)) に対する df/dt (を ∂/∂z,∂/∂z~ で表したもの) だとわかっていないと誤った理解に陥ると思います). # 仮に文脈がそうなら, 2行目に疑問が無いのに, 5行目や8,9行目には疑問を持つというのは変です. ## なんとなれば, dz:=dx+idy などの代わりに dz(t)/dt:=dx(t)/dt+idy(t)/dt などを用いて ## 既に書かれているであろう2行目の導出と同様の過程をなぞれば5行目になるはず. ## 今回も, (∂/∂w や ∂/∂w~ の意味は適当に定めたうえで) 8,9行目の式は同様に導出できるでしょう.
資料によってはわりと黙って様々な記号の濫用をしてたりすることもある (このコメントでも f の変数を色々変えているが記号の濫用で f と書いている) ので, そのへんで詰まっているのかとも考えました (今回の画像への書き込みを見てもそこは分かってなさそうではある) が, ITさんの No.79508 に対する応答をみてそういう段階ではなさそうとも感じました. # 「f(z(t)) が t に関して微分可能で (実際微分した式) が得られる」という文章を見て # 左辺の f(t) に疑問を持たないとか右辺の引数 (z(t)) が何かわからないというのは # 一体どういう資料の読み方をしてるのかというレベルなので. ## (にもかかわらず ## > 傍線部をdf/dt=(∂f/∂z)z'(t)+(∂f/∂z_)z_'(t)と導くことができた ## というのはさらに輪を掛けて意味不明ですし).
|
No.79511 - 2021/11/22(Mon) 02:06:58 |
| ☆ Re: / IT | | | どう回答しようかと考えていたら、ast さんが詳しく回答しておられますね。
誤植や略記、方言があるテキスト(けっこうあり得る)を理解するのは力が必要ですね。
数学科なら、きちんと理解せず適当に進むわけにもいかないでしょうから、
誤植のほとんどないであろう定評のある複素関数の入門書を参考にしながら、先生のテキストを読み込むことをお勧めします。 (テキストによって記法が微妙に異なっているので注意が必要ですが)
例えば、サイエンス社 「複素関数概説」今吉洋一 は、スッキリして分かり易いと思います。
|
No.79514 - 2021/11/22(Mon) 07:13:00 |
| ☆ Re: / ast | | | どうせこっちはもう見ないのだろうが, あっちの様子じゃやっぱり記号の濫用に気を付けるどころの話じゃないの確定っぽいから, 解答を書くだけ無駄なんだろうな.
∂f(z(w),z~(w))/∂w := (∂f(z(u,v))/∂u-i*∂f(z(u,v))/∂v)/2 = ( ∂f(z,z~)/∂z*∂z(u,v)/∂u+∂f(z,z~)/∂z~*∂z~(u,v)/∂u -i*(∂f(z,z~)/∂z*∂z(u,v)/∂v)/2+∂f(z,z~)/∂z~*∂z~(u,v)/∂v) )/2 = ∂f(z,z~)/∂z*(∂z(u,v)/∂u-i*∂z(u,v)/∂v)/2 + ∂f(z,z~)/∂z~*(∂z~(u,v)/∂u-i*∂z~(u,v)/∂v)/2 = ∂f(z,z~)/∂z*∂z(w,w~)/∂w+∂f(z,z~)/∂z~*∂z~(w,w~)/∂w
|
No.79667 - 2021/11/29(Mon) 04:52:05 |
|