變換矩陣擬合 對雅可比矩陣的理解

2021-10-14 23:00:58 字數 2520 閱讀 8018

眾所周知,二維平面直角座標系中的面積微元轉換為平面極座標系有

嘗試下證明 :

先列出x,y與r,

微分一下

得到了什麼?你說你不知道第三行怎麼來的?我也不知道。。。

於是這波看似100%能成功的證明就以失敗告終了。

有厲害的小夥伴指出了,這裡的面積微分並不是這麼定義的,而應該是外積,在運算法則上的不同造成了證明中的錯誤。

那換個角度,這也是我最先對於這個面積轉換的理解(這也正是改變了運算法則,採用了外積的運算方式):

這可以看作紅色「矩形」的面積,

順理成章。

可是這又跟dx,dy何干?唯一明顯的聯絡就是 它們同樣表示的是二維平面的面積微元。

下面是另外一種理解,或許可以解答這個疑惑。

線性變換、仿射變換使得向量空間上的點具有很好的性質,但是這些性質到了非線性變換就消失了。

舉個例子:

。。。那麼該如何用矩陣來描述變換後向量張成的空間呢?

很明顯的是,不能再用乙個常數矩陣來描述了。每乙個不同向量都有自己的矩陣變換,不妨就關注某個特定的向量,以及這個向量附近的向量。

因為是「附近」,所以這個向量在鄰域內張成的空間可以看作是線性變換的,所以可以用乙個特定的矩陣來描述。

在上述例子中,原空間由x,y的基矢構成,變換後的空間由

的基矢構成。

這就好像是我們輸入乙個向量

經過乙個變換

輸出了

。那麼可以輸入乙個原向量的單位向量

於是輸出了

;同樣地,輸入乙個

得到 這說明了,組成空間的兩個基矢經過的線性變換到了兩個新的位置(可以與原先相同)。

在非線性變換中,我們不能保證所有「基矢」都到達同樣的位置,但是也不需要,我們可以研究區域性的性質。

既然是區域性,我們就可以用線性的變換來擬合。

考察乙個向量

經過了變換來到了

對它進行鄰域內的近似線性變換

(此處的

是小量)。

這裡的函式決定了變換矩陣

和平移量

。現在做的只是完美確定了向量

落在了該落的位置上(假設),還需要做的事是把

附近的向量準確落位。

設原空間中的基分別是

變換後;

這時如果我們輸入乙個

( 是小量),也就相當把

函式改為

這就相當於對

中的x求偏導,顯然有

同樣有

。如果輸入的是

這也就要求了輸出的是

為了讓線性變換後也達到這個效果,我們需要作用乙個矩陣,這個矩陣也就是雅可比矩陣(jacobian matrix)。

它具有如下形式(二維):

這就符合了前面的要求:對這個矩陣作用乙個小量(小的向量)

發現,作用了這個矩陣使得

在鄰域內能滿足:

也即 可這又跟一開始的面積微元有什麼聯絡呢?

高中階段,我們接觸最多的就是橢圓當中的伸縮變換

面積微元的變換很顯然,

。可是如果變換後的基矢並不正交(這也正是大部分情況)呢?

觀察下

的變換矩陣:

看到了變換後的面積微元與變換前的比值是這個矩陣的行列式

。對於普遍的變換

前面已經提到,基矢來到了不同的位置

注意到單位面積變換到了平行四邊形

的面積,這就非常好求了,只需要

就得到了變換後的單位面積,所以微分形式是

即面積變換需要乘上乙個變換的矩陣的行列式。

也可以寫成

(有用極了)

這個問題可以是,把由

構成的向量空間轉換成固定且正交的基矢構成的空間,求在

處的面積微元表達形式。

這個非線性的變換可以表達成

也是 我們考慮微小的面積,所以就用上了前面的雅可比矩陣。 在

處的雅可比矩陣寫為:

所以在這個點附近的微小變化就可以用這個矩陣來描述。那我們假設乙個微小變化為

(原空間中的微小變化),產生乙個微小的平行四邊形(變換後的空間中)的面積就是

。於是就證明了一開始的結論:

雅可比矩陣的應用就在於類似於這樣的微分形式換元。

看乙個問題:求

。給出一種解法:

作換元

得到了

這裡就用到了

當然也可以理解為面積元的轉換,不過雅可比矩陣給出了很好的解釋。

可以看到,

在第一象限,所以定義域在

。算算完就是:

得到了

。這只是展示了很弱的運用,不過也有意義。(比較有用的看情況更)

簡介雅可比矩陣(Jacobian)

雅可比矩陣,有時簡稱為雅可比矩陣,是乙個一階偏導矩陣 在某些情況下,術語 雅可比矩陣 也指雅可比矩陣的行列式 注意,在某些約定中,雅可比矩陣是上述矩陣的轉置。其中m n為方陣,常用於座標變換,特別是取多個積分和確定複雜函式是否holomorphic時。例如,在二維中表示變數從x到x u,v 和從y到...

變換矩陣理解

今天就來理解這個表示。這個表示一般有兩種叫法 假設b代表body,c代表camera 相機座標系到載體座標系的變化。本質意思是如果有乙個點的座標是在camera座標系中表示的,如果我們要將其在body座標系中表示。可以左乘這個變換矩陣。camera pose respect with body。wi...

SLAM優化位姿時,誤差函式的雅可比矩陣的推導。

視覺slam的核心是求取相機的位姿並建圖。在優化位姿時,其思想是構造乙個關於位姿變化的誤差函式,當這個誤差函式最小時,認為此時估計的位姿最優。無論是直接法還是特徵點法,位姿的迭代優化都是是求解乙個最小二乘問題,在優化位姿時 1 直接法最小二乘的誤差函式是,前後幀所有參與求解位姿畫素塊的灰度差。通常這...