2011-09-12

伴隨算算子











如果用
< Aχ,χ>/<χ,χ> =>λ1(χ1^h)χ1 / (χ1^h)χ1
直接用Aχ=λχ
也可以把範圍表現出來 這樣寫反而覺得有點不習慣
還是他是想表示χ不為eigenvector也可以表現出其範圍



可以正交對角化是因為A^h=A嗎?





感覺這解法跟normal差不多耶
只差在normal沒有<χ,(A^h)χ>=<χ,Aχ> 這段
感覺上直接用 <χ,(A^h)χ>=<χ,λ(bar)χ>=λ<χ,Aχ>好像比較快
還是因為沒有證出normal所以不可以這樣用

關於伴隨算子還是有些問題
< T(χ),χ>=<χ,T*(χ)>
完全不用任何條件嗎?
因為有看到一個[T*] β=([T] β)^h
上面寫 β基底是orthnormal
是說如果寫成矩陣必須要是用orthnormal才可以用=<χ,(A^h)χ>
這邊我有點搞混了
希望能幫忙釐清一下


不知道有沒有記錯
老師說要把domain縮到球長度為1的球上 才能求極值
不過就算不把domain縮小 仍然可以根據rayleigh principle求出對大值最小值吧?
只是不知道eignevector吧?


順便問一個判定正定方法
像這種寫成cross tern的多項式 調整成A=A^h 其實多項式的結構是沒有改變的
可是有些直接丟一個矩陣
然後問判斷正定的方法
為什麼可以直接調整成Hermitian?
然後利用△去判斷
矩陣結構整個跟原來不一樣
這樣就不是原來的矩陣了@@
這邊我覺得很奇怪 想知道原因
雖說定理是在Hermitian之下才能使用
但是其實全部矩陣都可以調整成Hermitian的樣子啊?
(也是啦...不然有的可以判斷有的不能判斷很奇怪)
可是我還是覺得怪怪的orz


以上懇請大家解惑囉~ 謝謝

7 則留言:

AIdrifter 提到...

對了 想請問
我打成內積符號
好像會顯示錯誤 一一"
試了好久喔 有沒有其他簡單的方法orz

線代離散助教(wynne) 提到...

1. 只要是normal皆可么正對角化, 第八章老師教的那六個算子包括正定全部都是normal

2. adjoint那個直接就是定義, 所以沒甚麼問題的, 如果你還是覺得有哪邊怪怪的, 希望你可以把你所遇到的問題完整打出來讓大家幫你看看

3. 94逢甲那一題, 由 x1^2+x2^2+x3^2 得知 ||x||=1 (如此一來 max x'Ax/x'x = max x'Ax), 這樣根據 Rayleigh principle 才可以確定極值是多少

4. 有關判定正定, 雖然矩陣長的不一樣, 可是二次式是一樣的, 那根據定義就不會有問題

5. 因為blog有支援html語法, 並且"<"這個符號是html預設的特殊字元, 所以如果要打<, 最好是打&lt加分號而不要直接打鍵盤上的那個符號否則很容易出錯

其它還有像是第1還有第3張圖因為我從筆記來推也還是看不太懂你的問題, 猜不透你想問的是甚麼, 所以剩下如果還有哪個地方有問題, 要麻煩你把問題形容得再清楚一點囉

AIdrifter 提到...
作者已經移除這則留言。
AIdrifter 提到...
作者已經移除這則留言。
AIdrifter 提到...

先謝謝助教的回答

關於
max x'Ax/x'x = max x'Ax

我是想說
x'Ax/x'x
=λx'x/x'x
=λ||x|| / ||x||

這樣不是x值不論是多少都沒有差嗎?

而關於eigenvector垂直的證法
λ1< x,x>=< Ax,x>=< x,(A^h)x>
如果是normal
< x,λ2'x>
=λ2< x,x>


如果是Hermitian
< x,Ax>
=< x,λ2x>
=λ2'< x,x>
=λ2< x,x>
//因為hermitian使λ2屬於R

兩者結果都是一樣的
有點搞不太懂其中差異
感覺只是λ2提出的時間點不一樣
我想問的是
這樣全部寫成normal證不就好了嗎?
還是如果要寫成normal
我就必須要先證出normal才能使用

而我之所以會問是不是要
orthonormal的基底 才能交換
< Tx,y > = < x,T*y>
因為adjoint of T
上面定義是寫存在T
所以我想難道會有不成立的時候嗎?
因為想到這個
才會問是不是要
基底orhonormal才成立這等式?

不過取orhonormal基底
好像只是再說可以把函數寫成
A^H=A 這件事

線代離散助教(wynne) 提到...

1. (94逢甲) 是的, 所以差別就是一定要取長度為1的eigenvector

2. 證eigenvector垂直, 用Hermitian的定義直接證和用normal的性質證所用到的觀念不太一樣, 然而就如你所說, 要先證A為Hermitian則A為normal然後再用normal的性質來證這樣也可以

3. 有關adjoint, 書上有證adjoint必定存在唯一, 所以會符合定義的T*就只會有一種, 老師上課時應該也有教要怎麼求那個唯一的T*, 方法就是找 T 在 orthonormal basis 之下的矩陣表示法再取conjugate transpose

AIdrifter 提到...

東西很雜
謝謝助教耐心地回答:)