大学の微分積分を独学で勉強しているのですが、どうも、ヤコビアンがよくわかりません。今後、統計学も学ぼうと思っているのですが、どうも、線形変換、変数変換の理解ができていないと大きくつまずくような気がするのです。
特に、同時分布において確率密度関数から確率を求める場合、かならず2重積分が必要になるし、相関係数とか共分散を求める場合にも関係するのではないのかと思います。
特に、わからないと感じるのは全微分の逆と考えられるのか?とか、置換積分のように逆に計算できるのかなど今ひとつ直観的にわからない点です。どなたか良いアドバイスお願いします。
No.6ベストアンサー
- 回答日時:
#3,4です。
画像が見にくかったと思います。ここの画像アップの扱いは難しいですね・・・。>上の説明ではj^-1だが2重積分においては|j|になるのか?・・・
混乱しやすい所で、わかりにくい説明をして御免なさい。1変数の場合、置換積分は、
∫F(x)・dx=∫F(f(u))・df/du・du
になりますが(x=f(u))、df/duが、1変数の場合のdetJになるのは、おわかりだと思います。このとき考えている変換は、x→uではなくて、u→xです。なので、前回の記述では変換を、
>u=f(x,y),v=g(x,y)
ではなくて、
x=f(u,v),y=g(u,v)
と書けば良かったと思います。これのヤコビ行列をJとすれば、
∬F(x,y)・dxdy=∬F(f(u,v),g(u,v))・detJ・dudv
となり、ご紹介したリンクの直感的意味も、納得頂けると思います。
以下、余談です。
線形代数を自力で学ぶ場合、線形代数における行列式論の「位置付け」がわかりにくいかも知れません。ふつうに言う線形代数の内容は、一部中途半端な面があります。というのは、それはテンソル(多重線形代数)を含まない事になっているからです。しかし、行列式の正体はじつはテンソルです。でも、ふつうの線形代数は何よりも、連立一次方程式の解法から始まったので、「線形代数の道具としての」行列式を導入せざる得ない事情もあります。
線形代数における行列式論は、テンソルからの(そうだと言わない)密輸入という事になり、線形代数の理論構成上は、非常に「浮いた立場」にいます。なので、行列式の定義などでは、「これはこういうものなのだ」とある程度割り切って、読む必要が生じます。こういう事は大学に行けば、たぶん講義の余談として教えてもらえるのだと想像しますが、そこが独学の辛いところです。
最後に、ヤコビアンの計算で固有値を持ち出す理由ですが、次の定理が理由と思います。
行列式の値は、その行列の固有値の積になる.
手計算を行う限り上記は、余り便利とは思えませんが、理論的にはこうなります。直接行列式を展開するのと、固有値を計算するのは、どっちもどっちという場合も多いですが、仰る例題は違うのかも知れまんね。例題を教えて頂ければ、お応えできると思います。
No.8
- 回答日時:
直交座標(x、y)から直交座標(r、θ)への変数変換を考える。
x=Φ(r、θ)=rcosθ
y=Ψ(r、θ)=rsinθ
の局座標変換を考える。
(M1)
x1=Φ1(r、θ)
y1=Ψ1(r、θ)
(M2)
x2=Φ1(r+dr、θ)=Φ1(r、θ)+(∂Φ/∂r)dr
y2=Ψ1(r+dr、θ)=Ψ1(r、θ)+(∂Ψ/∂r)dr
(M3)
x3=Φ1(r+dr、θ+dθ)
=Φ1(r、θ)+(∂Φ/∂r)dr+(∂Φ/∂θ)dθ
y3=Ψ1(r+dr、θ+dθ)
=Ψ1(r、θ)+ (∂Ψ/∂r)dr+(∂Ψ/∂θ)dθ
(M4)
x4=Φ1(r、θ+dθ)=Φ1(r、θ)+(∂Φ/∂θ)dθ
y4=Ψ1(r、θ+dθ)=Ψ1(r、θ)+(∂Ψ/∂θ)dθ
一方平行四辺形の面積要素の面積は
dσ=|x1(y2-y3)-y1(x2-x3)+(x2y3-x3y2)|
とあらわせるので、ここに、上記のx1、x2、x3、x4
y1、y2、y3、y4の値を代入する。
=|(∂Φ/∂r)(∂Ψ/∂θ)-(∂Φ/∂θ)(∂Ψ/∂r)|
drdθ
=|J|drdθ
No.7
- 回答日時:
直交座標(x、y)から直交座標(r、θ)への変数変換を考える。
x=Φ(r、θ)=rcosθ
y=Ψ(r、θ)=rsinθ
の局座標変換を考える。
dx=(∂Φ/∂r)dr+(∂Φ/∂θ)dθ
dy=(∂Ψ/∂r)dr+(∂Φ/∂θ)dθ
と表現できる。
|dx|=|(∂Φ/∂r) (∂Φ/∂θ)||dr |
|dy| |(∂Ψ/∂r) (∂Φ/∂θ)||dθ|
=| cosθ -rsinθ ||dr |
| sinθ rcosθ ||dθ|
=| a b ||dr |
| c d ||dθ|
=| J (関数行列式) ||dr |
| ||dθ|
となる。
ところで、
dx=(1,0)、dy=(0,1)と単位Vectorにすると
(dx)x(dy)=| 1 0 |
| 0 1 |dxdy
=dxdy
となる。
一方ベクトルdr、ベクトルdθは変数変換によって写像変換Jを受ける。
dr=| a b |
| c d |dx
=| a b || 1 |
| c d || 0 |
=| a |
| c |
dθ=| a b |
| c d |dy
=| a b || 0 |
| c d || 1 |
=| b |
| d |
drxdθ=(ad-bc)drdθ
=r・drdθ
=| J |drdθ
No.5
- 回答日時:
直交座標での、面積要素は
Δσ=Δx・Δy・・・・・(1)であたえらる。
=(横の長さ)x(縦の長さ)
=(Lディメンジョン)x(Lディメンジョン)
=L^2ディメンジョン
=面積
一方極座標での面積要素は
Δσ=rΔr・Δφ・・・・・(2)で与えられる。
しかし、これではわかりにくい。正しくは
=Δr・(rΔφ)
=(Lディメンジョン)・(Lディメンジョン・ラディアン)
=(Lディメンジョン)・(Lディメンジョン)
=L^2
=面積
なので、二つの座標の面積要素の間には
次の関係が成り立つ
Δr・Δφ=(Δx・Δy)/r・・・(3)
である。つまり”r”は二つの面積要素の
倍率の意味を持つ。
ありがとうございました。
直交座標系と極座標系の次元をあわせると、
Δr・Δφ=(Δx・Δy)/r
となり、dx・dyをdr・dφのみでそのまま置き換えられないんですね。
この考え方は、一般化した変数変換においても通用するのでしょうか?
できれば、そちらの方も、この考え方で表現していただければと思います。
No.3
- 回答日時:
http://oshiete.nikkeibp.co.jp/qa5502090.html
で、全微分について質問された方ですよね?。全微分については、すでにわかっているものとして話を進めます。なお自分は、統計,確率は全然詳しくありません。
>(ヤコビアンが)全微分の逆と考えられるのか?とか、置換積分のように逆に計算できるのかなど今ひとつ直観的にわからない点・・・
誰もが一度は通る途だと思いますが、ふつうは「意味を考えるより馴れろ!」、で終わってしまう気もします。
個人的意見ですが、微積と線形代数(線形変換)は腐れ縁です。全微分を理解されたなら、それが関数の1点での局所線形化(1次関数化)だという事は了解できると思います。
例えばz=f(x,y)において、1点(x0,y0,z0)でfの全微分をとれば、式(1)となります。∂f/∂x,∂f/∂yは、(x0,y0)での偏微分係数です。
式(1)でdx,dyは微小なので、dzも微小です。しかしdx,dyを、無制限に延長したものを(勝手に)想定する事は、可能です。(x0,y0,z0)をfの1点として、式(2)のようにおけば、(1)は、式(3)となります。(2)においてdx,dy,dzは、任意の(x,y,z)の関数なので、もはや微小ではありません。そして(3)の左辺を右辺に移項すれば、接平面の方程式の標準形が得られ、(x0,y0,z0)は接平面の接点です。
なぜ微分するかと言えば、1次関数は「計算できる」からで、1次関数を組織的に扱うのが線形代数です。従って、どんなにぐにゃぐにゃの関数も、関数を微分→1点での線形化(1次関数化)→線形代数に載っけてベクトルと行列で扱う、という手順になります。
2変数の一次関数z=ax+byは、行列記法で書くと、式(4)です。なので、式(5)のような一次変換(線形変換)は、(4)のような一次関数の素直な拡張と言えます。
変数変換で現れる関数は、u=f(x,y),v=g(x,y)の類です。(u,v)を微分して線形化します。fとgについて、それぞれ(1)が成り立つので、結果は式(6)です。これは(5)と同じ形をしているので(2)の考えを使うと、(6)は微分の結果現れた、1次関数だと言えます。このとき(6)右辺の行列をヤコビ行列と言いますが(Jとします)、ヤコビ行列を全微分係数とみなすのは、正しい考えだと思います。関数がベクトル(u,v)なので、係数をスカラーでは表せなかった、というだけです。
いま(x,y)→(u,v)という関数を考えていますが、これの逆関数(u,v)→(x,y)は存在するか?、という問題があります。微分して考えると1次関数(6)なので、これが(dx,dy)について解ければ良いだろう、という話になり、detJ≠0(|J|≠0)が必要条件になります。これは1次関数(5)を、(x,y)=の式に出来るのと同じ条件ですが、行列式detJの事をヤコビアンと呼ぶ方が多いようです。従って、関数(変換)と逆関数(逆変換)の関係は、式(7)となり、関数のヤコビ行列の逆行列が、逆関数のヤコビ行列で、行列なので当然、detJ・detJ^(-1)=1になります。(y=axとx=(1/a)yで、a・1/a=1と同じ)
重責分でのヤコビアン意味は、http://homepage1.nifty.com/kumabox/Jacobi_1.htmとhttp://www.f-denshi.com/000TokiwaJPN/10kaisk/150 …がわかりやすい気がします。
回答ありがとうございました。
2重積分の変数変換は、原始関数からの線形変換の逆と考えれば良いのですね。あと、微分は関数の1点での局所線形化で全微分の式も、dx,dy,dzもそれぞれ(x-x0)のように長さを自由にすれば、基準点x0を原点と擬制した一次近似式と同じですね。
っていうか、だから線形化かw
さらに、線形写像は像を変化させたとき写像がどのように変化するかをy=kxで現すわけだから、du=fxdx+fydy,dv=gxdx+gydy でx,yの変化がu,v上でどのように変化するかを線形代数で表すわけですね。
ただ、ヤコビアンを使って積分計算をする場合に、ヤコビアンの行列式を解いて固有値していますが、これの意味があまりわからないです。
とりあえず、線形代数の知識がかなり不足しているので、もう一度、線形代数の本を読んでみようと思います。
お時間あれば、また、なぜ行列式を解くのか?上の説明ではj^-1だが2重積分においては|j|になるのか? 教えてください。
No.2
- 回答日時:
直交座標では、面積要素は
Δσ=Δx・Δy・・・・・(1)
であたえらる。
一方極座標での面積要素は
Δσ=rΔr・Δφ・・・・・(2)
で与えられる。
極座標の面積要素は
Δr・Δφ=(Δx・Δy)/r・・・(3)
である。つまり”r”は二つの面積要素の
倍率の意味を持つ。
ヤコビヤン(関数行列式)
D=rからrは求まる。
回答ありがとうございます。
なるほど。ただ、何故、Δσ=rΔr・Δφなのかを知らないので、この関係式から
Δx・Δy=rΔr・Δφ となり
xy座標から極座標へ変換したときの面積要素を同じ大きさに合わせるための倍率の意味をrが持つのは解ります。
ですが、厳密にはわからず困っています。例えば、全微分の逆となっているのかとか、ここで書かれている極座標形に変換したときに、積分するとなぜ、rの調整がないことによって、変数変換を行わない重責分の答えと相違するのかが、直観的に明確にならないので困っているのです。
実際に、極座標へ変数変換した場合の積分と直交座標のまま積分した場合で比べてみるとわかるのかな?
とりあえず問題を解いてみることにします。
ありがとうございました。
No.1
- 回答日時:
重積分における変数変換ででてくる変換係数のヤコビアンはヤコビ行列式、関数行列式とも呼ばれ、ヤコビ行列の行列式です。
なのでヤコビ行列の定義からしっかり学んでください。(参考URL)
http://ja.wikipedia.org/wiki/%E3%83%A4%E3%82%B3% …
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 大学数学を理解するためには高校数学の全単元を復習する必要がありますか。 5 2023/02/28 13:37
- 数学 モデルのパラメータの定義がいまいちわかりません。 3 2022/10/11 15:16
- 発達障害・ダウン症・自閉症 中学の時にIQ82の境界知能と診断されました。 今の私も、やはり境界知能でしょうか? そしてこれは、 3 2023/02/19 00:37
- 統計学 連続型の確率変数について 6 2023/08/25 08:44
- 物理学 『数か物か』 4 2022/06/13 06:54
- 数学 参考文献の探し方(数学) 1 2022/07/19 01:09
- 数学 数学の教科書について 3 2023/01/29 21:10
- 就職 情報学科やIT企業の関係者の方にお聞きしたいです。 2 2023/08/01 08:55
- 物理学 量子力学 球面調和関数 導出 方位角成分 微分方程式の解 2 2022/07/02 13:40
- 数学 大変基本的な質問過ぎて恐縮なのですが教えてください。高校数学の微積分の勉強をするなかで、度々耳にする 5 2022/03/31 14:56
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
50以下は“50”も入るのですか?
-
5進法を10進法への直し方
-
偏微分の記号をタイプするため...
-
HEX2BIN関数の使い方。
-
Excel 16進数
-
16進小数0.Cを10進数小数に変換...
-
マイナスの進数変換
-
dBm/HzからdBm/MHzへの単位変換
-
平行の記号
-
10進数の50を2進数で表すといく...
-
dBm→dBμV/mの換算について
-
8進数55はどうやって2進数に変...
-
左固有ベクトルの幾何学的意味...
-
相似変換とユニタリ変換
-
進数の小数点をどう変換するのか
-
円又は楕円を透視図または平行...
-
算数計算 大至急お願いします
-
『2進数→16進数の変換』などの...
-
単位の変換(立方メートルをc...
-
10進数25.25を2進数に変換する...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
50以下は“50”も入るのですか?
-
5進法を10進法への直し方
-
16進小数0.Cを10進数小数に変換...
-
Excel 16進数
-
HEX2BIN関数の使い方。
-
偏微分の記号をタイプするため...
-
8進数から16進数 16進数から8進数
-
デジタル信号処理の問題です。...
-
10進数の50を2進数で表すといく...
-
dBm/HzからdBm/MHzへの単位変換
-
EXCELで10進数表記をB...
-
dBm→dBμV/mの換算について
-
「じじょう」が正しい読み方?
-
ヤコビアンが0になってしまう場...
-
フーリエ変換・逆変換の虚数成...
-
2進数の1010は、10進数ではいく...
-
n進法→m進法への変換
-
2進数の0.101101101101・・・...
-
ヤコビアン(関数行列式)につ...
-
二進数の循環小数を十進数に変...
おすすめ情報