忍者ブログ

どっかのゆとりのチラシの裏

plasma_effectのメモ帳的ブログのようなsomething

[PR]

×

[PR]上記の広告は3ヶ月以上新規記事投稿のないブログに表示されています。新しい記事を書く事で広告が消えます。

全微分→行列

全微分とかいう俺の心をポッキリと折るような意味不明な概念ってあるよね。
さっぱりわからなかったので授業資料読みながら概念を理解しようってしたわけよ。

まず定義。関数f:R^m→R^nがc∈R^mで全微分可能とは
∃g:N^m→N^n (線形写像) ,∀ε > 0 , ∃δ > 0 , |v| < δ ⇒ |f(c+v) - f(c) - g(v)| < ε|v|
であること。gは線形写像だからn×m行列Gが存在して g(v) = Gv とできるから
∃G∈M(R , n , m) ,∀ε > 0 , ∃δ > 0 , | v | < δ ⇒ | f(c+v) - f(c) - G(v) | < ε| v |
さらにランダウの記号を用いれば
f(c+v) = f(c) + Gv + O(| v |)
つまり全微分とは線形写像による近似であって
したがって(あくまで形式的な言い方だが)行列を作る操作である
この行列はヤコビ行列である

それがどうしたって話だがこのように考えるだけで結構楽になる
例えばf,g:R^m→R^nのcによる全微分で生成される行列をそれぞれF,Gとすると
a,b∈Rについてh=af+bgによる全微分で生成される行列Hは
(af+bg)(c+v) = af(c+v) + bg(c+v)
      = af(v) + aFv + O(|v|) + bg(v) + bGv + O(|v|)
      = (af+bg)(v) + (aF+bG)v + O(|v|)
      = h(v) + Hv + O(|v|)
したがって H = aF + bG
他にもf:R^m→R^n,g:R^k→R^mについてh(c) = f(g(c)) とするとき
g(c)におけるfの全微分をF、cにおけるgの全微分をGとするとhのcにおける全微分Hは
f(g(c+v)) = f(g(c) + Gv + O(|v|))
     = f(g(c)) + F(Gv+O(|v|)) + O(|v|)
     = h(c) + FGv + O(|v|)
     = h(c) + Hv + O(|v|)
のため H = FG だ

ほんとにそれがどうしたって話だが漠然と写像、と思うよりは楽だよねって話。
PR

コメント

お名前
タイトル
文字色
メールアドレス
URL
コメント
パスワード Vodafone絵文字 i-mode絵文字 Ezweb絵文字

カレンダー

02 2024/03 04
S M T W T F S
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31

フリーエリア

最新CM

[02/12 kariya_mitsuru]
[10/14 どっかの京大生o]
[10/04 どっかのZ会生y]
[07/31 どっかのZ会生y]
[07/31 GNR]

プロフィール

HN:
plasma_effect
性別:
非公開

バーコード

ブログ内検索

最古記事

(06/08)
(06/18)
(06/21)

P R