早教吧作业答案频道 -->数学-->
求助达人,帮忙证明A、B、∧都是n阶方阵,∧是对角阵.A=B^(-1)∧B,∧的n个对角元素分别为λ1、λ2、λ3…λn求证:exp(iA)=B(-1)∧'B,∧'也是n阶对角阵,元素分别为exp(iλ1)、exp(iλ2)、exp(iλ3)…exp(iλn)
题目详情
求助达人,帮忙证明
A、B、∧都是n阶方阵,∧是对角阵.A=B^(-1)∧B,∧的n个对角元素分别为λ1、λ2、λ3…λn
求证:exp(iA)=B(-1)∧'B,∧'也是n阶对角阵,元素分别为exp(iλ1)、exp(iλ2)、exp(iλ3)…exp(iλn)
A、B、∧都是n阶方阵,∧是对角阵.A=B^(-1)∧B,∧的n个对角元素分别为λ1、λ2、λ3…λn
求证:exp(iA)=B(-1)∧'B,∧'也是n阶对角阵,元素分别为exp(iλ1)、exp(iλ2)、exp(iλ3)…exp(iλn)
▼优质解答
答案和解析
证明:
利用麦克劳林展开式 e^x=1+x+x^2/2!+x^3/3!+……
将x=iA代入上面的展开式得到
exp(iA)=E+(iA)+(iA)^2/2!+(iA)^3/3!+……(其中E是n阶单位矩阵)
将A=B^(-1)∧B代入式子exp(iA)=E+(iA)+(iA)^2/2!+(iA)^3/3!+……
注意,利用A^k=[B^(-1)∧B]^k=[B^(-1)∧B][B^(-1)∧B][B^(-1)∧B]……=B^(-1)(∧^k)B
可以得到
exp(iA)=E+(iB^(-1)∧B)+(iB^(-1)∧B)^2/2!+(iB^(-1)∧B)^3/3!+……
=B^(-1)B+iB^(-1)i∧B+B^(-1)[(i∧)^2]B/2!+B^(-1)[(i∧)^3]B/3!+……
=B^(-1)[E+(i∧)+(i∧)^2/2!+(i∧)^3/3!+……]B
=B^(-1)exp(i∧)B
由于∧是n个对角元素分别为λ1、λ2、λ3…λn的对角阵
所以exp(i∧)是n个对角元素分别为exp(iλ1)、exp(iλ2)、exp(iλ3)…exp(iλn)的对角阵
至此问题得证
利用麦克劳林展开式 e^x=1+x+x^2/2!+x^3/3!+……
将x=iA代入上面的展开式得到
exp(iA)=E+(iA)+(iA)^2/2!+(iA)^3/3!+……(其中E是n阶单位矩阵)
将A=B^(-1)∧B代入式子exp(iA)=E+(iA)+(iA)^2/2!+(iA)^3/3!+……
注意,利用A^k=[B^(-1)∧B]^k=[B^(-1)∧B][B^(-1)∧B][B^(-1)∧B]……=B^(-1)(∧^k)B
可以得到
exp(iA)=E+(iB^(-1)∧B)+(iB^(-1)∧B)^2/2!+(iB^(-1)∧B)^3/3!+……
=B^(-1)B+iB^(-1)i∧B+B^(-1)[(i∧)^2]B/2!+B^(-1)[(i∧)^3]B/3!+……
=B^(-1)[E+(i∧)+(i∧)^2/2!+(i∧)^3/3!+……]B
=B^(-1)exp(i∧)B
由于∧是n个对角元素分别为λ1、λ2、λ3…λn的对角阵
所以exp(i∧)是n个对角元素分别为exp(iλ1)、exp(iλ2)、exp(iλ3)…exp(iλn)的对角阵
至此问题得证
看了 求助达人,帮忙证明A、B、∧...的网友还看了以下:
对角阵一定是方阵吗?定义矩阵A 满足元素aij 是aij=0 i不等于j (i,j=1,2,n) 2020-04-06 …
“F是一个矩阵,只在第i行第j列有一个非零元素,其他元素都是零”怎么翻译成英语?或者这样说“矩阵F 2020-05-13 …
matlab 矩阵的每一个元素都等于前几个元素的和 如何实现如题,比如我有一个矩阵A=[2 4 8 2020-05-16 …
对于一个n阶的对称矩阵A,将其下三角区域(含主对角线)的元素按行存储在一维数组中,设元素A[i][y 2020-05-26 …
设有一个n行n列的对称矩阵A,设有一个n行n列的对称矩阵A,将其下三角部分按行存放在一个一维数组B 2020-06-11 …
数据结构题目用一维数组B与列优先存放带状矩阵A中的非零元素A[i,j](1≤i≤n,i-2≤j≤i 2020-06-12 …
谁能帮我看下这个程序问题出在哪?function[variancebsbkbnsigma]=tra 2020-06-21 …
求助达人,帮忙证明A、B、∧都是n阶方阵,∧是对角阵.A=B^(-1)∧B,∧的n个对角元素分别为 2020-07-23 …
设A是一个n阶矩阵,A的主对角线元相等,且至少有一个元素a(i,j)不为0(i<j),证明A不能与 2020-07-25 …
什么是带状矩阵?用一维数组B与列优先存放带状矩阵A中的非零元素A[i,j](1≤i≤n,i-2≤j 2020-08-03 …