【发布时间】:2021-12-09 22:47:23
【问题描述】:
我正在尝试在 scipy 中使用 SVD 找到 M@x = 0 的近似非零解,其中 M 是复值 4x4 矩阵。
首先是一个玩具示例:
M = np.array([
[1,1,1,1],
[1,0,1,1],
[1,-1,0,0],
[0,0,0,1e-10]
])
U, s, Vh = scipy.linalg.svd(M)
print(s) # [2.57554368e+00 1.49380718e+00 3.67579714e-01 7.07106781e-11]
print(Vh[-1]) # [ 0.00000000e+00 2.77555756e-16 -7.07106781e-01 7.07106781e-01]
print(np.linalg.norm( M@Vh[-1] )) # 7.07106781193738e-11
所以在这种情况下,s中的最小(最后一个)值非常小,对应的最后一列Vh[-1]是M@x=0的近似解,其中M@Vh[-1]也非常小, 与 s[-1] 的顺序大致相同。
现在的实际例子不一样:
M = np.array([[ 1.68572560e-01-3.98053448e-02j, 5.61165939e-01-1.22638499e-01j,
3.39625823e-02-1.16216469e+00j, 2.65140034e-06-4.10296457e-06j],
[ 4.17991622e-01+1.33504182e-02j, -4.79190633e-01-2.08562169e-01j,
4.87429517e-01+3.68070222e-01j, -3.63710538e-05+6.43912577e-06j],
[-2.18353842e+06-4.20344071e+05j, -2.52806647e+06-2.08794519e+05j,
-2.01808847e+06-1.96246695e+06j, -5.77147300e-01-3.12598394e+00j],
[-3.03044160e+05-6.45842521e+04j, -6.85879183e+05+2.07045473e+05j,
6.14194217e+04-1.28864668e+04j, -7.08794838e+00+9.70230041e+00j]])
U, s, Vh = scipy.linalg.svd(M)
print(s) # [4.42615634e+06 5.70600901e+05 4.68468171e-01 5.21600592e-13]
print(Vh[-1]) # [-5.35883825e-05+0.00000000e+00j 3.74712739e-05-9.89288566e-06j 4.03111556e-06+7.59306578e-06j -8.20834667e-01+5.71165865e-01j]
print(np.linalg.norm( M@Vh[-1] )) # 35.950705194666476
这里发生了什么? s[-1] 很小,所以 M@x 原则上应该有解,但 Vh[-1] 看起来不像是解。这是 M 和 Vh 是复数的问题吗?数值稳定性/准确性问题?还有什么?
我真的很想弄清楚 x 会给 M@x 带来什么,其数量级与 s[-1] 大致相同,请告诉我任何解决此问题的方法。
【问题讨论】:
标签: python numpy scipy linear-algebra svd