Questions tagged «linear-algebra»

有关线性代数的算法/计算方面的问题,包括线性系统的解,最小二乘问题,本征问题和其他此类问题。

1
解决具有小秩对角线更新的系统
假设我有原始的大型稀疏线性系统:。现在,我没有因为A太大而不能分解或进行任何形式的分解,但是假设我有一个带有迭代求解的解决方案。Ax0=b0Ax0=b0A\textbf{x}_0=\textbf{b}_0A−1A−1A^{-1}AAAx0x0\textbf{x}_0 现在,我希望对A的对角线应用小秩更新(更改一些对角线条目):(其中是对角矩阵,其中对角线中大多数为0,一些非零值。如果我有我将可以利用伍德伯里公式对逆进行更新。但是,我没有此功能。除了重新解决整个系统,我还能做些什么吗?是否可以通过某种方式想出一个容易\容易反转的前置条件,例如,所以如果我拥有,我将要做的就是套用(A+D)x1=b0(A+D)x1=b0(A+D)\textbf{x}_1=\textbf{b}_0DDDA−1A−1A^{-1}MMMMA1≈A0MA1≈A0MA_1 \approx A_0x0x0\textbf{x}_0M−1M−1M^{-1} 迭代方法会收敛几次/几次迭代?

1
Schur补语中的等级结构
我正在研究Schur补语中的结构,并发现一个有趣的现象: 假设A来自5点laplapian。如果我使用嵌套的解剖顺序和多前沿方法来计算LU分解,然后检查最后一个schur补码块,那么对于非对角线块,它的排名较低。 但是,当我使用相同的方法分解,其中是接近A特征值的一些正值,那么最后的schur补语不具有低秩性质。A−λIA−λIA - \lambda Iλλ\lambda 我不知道不确定词是否会改变schur补语的结构。谁能提供有关此主题的参考?

2
黑盒功能的估计范数
令为范数的有限维向量空间 令F:V \ rightarrow \ mathbb R为有界线性函数。它仅以黑盒形式给出。VVV∥⋅∥‖⋅‖\|\cdot\|F:V→RF:V→RF : V \rightarrow \mathbb R 我想估计F的范数FFF(从上到下)。由于FFF是一个黑匣子,所以唯一的方法是使用V中的单位矢量对其进行测试,VVV然后根据结果找到v∈S1Vv∈S1Vv \in S^1 V以最大化|F(v)||F(v)||F(v)|。 你知道这样的算法吗?在我想到的应用程序中,VVV是有限元素空间,而FFF是该空间上的复杂函数。 编辑:我的第一个想法是随机选择v∈S1Vv∈S1Vv \in S^1 V,将其扰动到多个方向,例如v1,…,vkv1,…,vkv_1,\dots,v_k,然后对得到最大F(v_i)的v_i重复该过程。我不知道在哪里可以找到算法和分析此问题。viviv_iF(vi)F(vi)F(v_i)

2
对称广义特征值问题是否存在Sylvester惯性定律的推广?
我知道为了解决对称特征值问题 甲X = λ XAx=λXAx = \lambda x,我们可以使用Sylvester惯性定律,即 一个一个A 少于 一个一个a 等于的否定条目数 ddD 对角矩阵 ddD 来自LDL的分解 A − a I= L D大号Ť一个-一个一世=大号d大号ŤA-aI = LDL^{T}。然后,通过二等分法,我们可以找到所需的全部或一些特征值。我想知道对称对称特征值问题是否存在Sylvester惯性定律的推广甲X = λ 乙X一个X=λ乙XAx= \lambda Bx,在哪里 一个一个A 和 乙乙B是对称矩阵。谢谢。

3
计算实稀疏矩阵的特征多项式
给定一个通用的稀疏矩阵 一∈[Rn × n一个∈[Rñ×ñA \in \mathbb{R}^{n\times n}与m << n(更正:米«ñ2米≪ñ2m \ll n^2)非零元素(通常为)。是通用的,因为它没有特定的属性(例如,正定性),并且没有结构(例如,条带化)。米∈ ø(Ñ )米∈Ø(ñ)m \in {\cal O}(n)一个一个A 有什么好的数值方法可以计算的特征多项式或最小多项式?一个一个A

4
A'A和AA'配方的条件编号
显示(Yousef Saad,稀疏线性系统的迭代方法,第260页)cond(A′A)≈cond(A)2cond(A′A)≈cond(A)2cond(A'A) \approx cond(A)^2 这是真的为呢?AA′AA′AA' 如果是且,我观察到AAAN×MN×MN\times MN≪MN≪MN \ll Mcond(A′A)≫cond(AA′)cond(A′A)≫cond(AA′)cond(A'A) \gg cond(AA') 在这种情况下,以表示是否意味着更可取?AA′AA′AA'

1
具有周期边界条件的薛定inger方程
我有以下几个问题: 我正在尝试使用曲柄nicolson离散化解决一维Schrodinger方程,然后求反三对角矩阵。我的问题现在演变为周期性边界条件的问题,因此我修改了代码以使用Sherman Morrison算法。 假设v当我希望反转三对角矩阵时,在每个时间步中都存在我的RHS。的大小v是我在空间上拥有的网格点的数量。当我设定v[0]并v[-1]按照我的周期性情况的要求互相称呼时,我的方程式崩溃了。我不知道为什么会这样。我正在使用python2.7和scipy的内置solve_banded来求解方程。 这引出了我的第二个问题:我使用python是因为它是我最了解的语言,但是我发现它运行起来很慢(即使使用numpy和scipy提供的优化)。我已经尝试使用C ++,因为我对此相当熟悉。我以为我会使用经过BLAS优化的GSL,但没有找到任何文档来创建复杂向量或使用此类复杂值向量求解三对角矩阵。 我希望在程序中使用对象,因为我觉得这是以后进行泛化以包含波动函数之间的耦合的最简单方法,因此我坚持使用面向对象的语言。 我可以尝试手动编写三对角矩阵求解器,但是在python中编写时遇到了问题。随着时间的推移,随着时间的推移,我逐渐发展,错误不断累积,使我无聊。考虑到这一点,我决定使用内置方法。 任何建议深表感谢。 编辑:这是相关的代码段。该符号是从Wikipedia的页面上引用的三对角矩阵(TDM)公式。v是每个时间步长的crank nicolson算法的RHS。向量a,b和c是TDM的对角线。定期案例的校正算法来自CFD Wiki。我做了一些重命名。他们所说的u,v我称之为U,V(大写)。我称q为补数,y为临时解,而实际解为self.currentState。v [0]和v [-1]的分配是引起问题的原因,因此已被注释掉。您可能会忽略伽玛系数。它们是用于建模Bose Einstein冷凝物的非线性因子。 for T in np.arange(self.timeArraySize): for i in np.arange(0,self.spaceArraySize-1): v[i] = Y*self.currentState[i+1] + (1-2*Y)*self.currentState[i] + Y*self.currentState[i-1] - 1j*0.5*self.timeStep*potential[i]*self.currentState[i] - self.gamma*1j*0.5*self.timeStep*(abs(self.currentState[i])**2)*self.currentState[i] b[i] = 1+2*Y + 1j*0.5*self.timeStep*potential[i] + self.gamma*self.timeStep*1j*0.5*(abs(self.currentState[i])**2) #v[0] = Y*self.currentState[1] + (1-2*Y)*self.currentState[0] + Y*self.currentState[-1] - 1j*0.5*self.timeStep*potential[0]*self.currentState[0]# …

2
迭代方法在对角占优矩阵上的安全应用
假定以下线性系统为 ,其中是已知为正定的加权Laplacian ,其一维零空间跨度为,的平移方差,即不会改变函数值(其导数为)。的唯一正项在其对角线上,这是负非对角线项的绝对值的总和。Lx=c,(1)(1)Lx=c,Lx=c,\tag1LLLsemi−semi−semi-1n=(1,…,1)∈Rn1n=(1,…,1)∈Rn1_n=(1,\dots,1)\in\mathbb{R}^nx∈Rnx∈Rnx\in\mathbb{R}^{n}x+a1nx+a1nx+a1_n(1)(1)(1)LLL 我发现一个高引用率在该领域的学术工作,虽然是对角占优,仍然可以安全使用,如共轭梯度,高斯-塞德尔,雅可比,的方法来解决。的理由是,由于平移不变的,一个是安全的一个固定点(例如,移除第一行和列和从第一个条目),从而转换到一个对角占优矩阵。无论如何,用以的完整形式求解原始系统。LLLnot strictlynot strictlynot~strictly(1)(1)(1)LLLcccLLLstrictlystrictlystrictly(1)(1)(1)L∈Rn×nL∈Rn×nL\in\mathbb{R}^{n\times n} 这个假设是正确的吗?如果是,替代的理由是什么?我试图了解方法的收敛性如何。 如果Jacobi方法与收敛,那么关于迭代矩阵的谱半径,在是对角矩阵且对角线中有对角矩阵,有什么状态?是,因此从一般的收敛担保不同的?我问这个,因为的特征值对角线上带有拉普拉斯矩阵应当在范围内。(1)(1)(1)ρρ\rhoD−1(D−L)D−1(D−L)D^{-1}(D-L)DDDLLLρ(D−1(D−L)≤1ρ(D−1(D−L)≤1\rho(D^{-1}(D-L)\leq1ρ(D−1(D−L))&lt;1ρ(D−1(D−L))&lt;1\rho(D^{-1}(D-L))<1D−1LD−1LD^{-1}L[0,2][0,2][0, 2] 从原始作品来看: .................................................... 在每次迭代中,我们通过求解以下线性系统来计算新的布局(x(t +1),y(t + 1)): 在不失一般性的前提下,我们可以固定以下位置之一传感器(利用局部应力的平移自由度)并获得严格对角的主导矩阵。因此,我们可以安全地使用Jacobi迭代来求解(8)L⋅x(t+1)=L(x(t),y(t))⋅x(t)L⋅y(t+1)=L(x(t),y(t))⋅y(t)(8)(8)L·x(t+1)=L(x(t),y(t))·x(t)L·y(t+1)=L(x(t),y(t))·y(t) L · x(t + 1) = L(x(t),y(t)) · x(t) \\ L · y(t + 1) = L(x(t),y(t)) · y(t) \tag 8 ................................................... 在上文中,“迭代”的概念与底层最小化过程有关,不要与Jacobi迭代相混淆。因此,该系统由Jacobi(迭代)求解,然后将该解决方案购买到(8)的右侧,但是现在进行底层最小化的另一次迭代。我希望这可以澄清问题。 请注意,我发现哪个迭代线性求解器对正半定矩阵收敛?,但正在寻找更详尽的答案。

3
没有块结构的不确定系统的迭代方法
矩阵的不确定系统出现在例如混合有限元的鞍点问题离散化中。然后可以将系统矩阵以以下形式输入 (一个乙乙ŤC)(一个乙Ť乙C)\begin{pmatrix} A & B^t \\ B & C\end{pmatrix} 哪里 一个一个A 是负的(半)定的, CCC 是正的(半)定的, 乙乙B是任意的。当然,根据惯例,您可以使用确定性条件,但这几乎就是这些矩阵的结构。 对于这些方法,可以采用Uzawa的方法,实际上是将系统转换为等效的半确定系统的“技巧”,该系统可以通过共轭梯度,梯度下降等解决。 我面临一个不确定的系统,它没有这样的块结构。Uzawa型方法不适用于这种情况。我知道Paige&Saunders引入的最小残差方法(MINRES),这只是一个三项递归,而且似乎易于实现。 问题:例如,MINRES通常是原型制作的好选择吗?有实际意义吗?目前,预处理不是中心问题。

1
规则网格上的嵌套解剖
当使用直接因子分解方法求解稀疏线性系统时,所使用的排序策略会显着影响因子中非零元素的填充因子。一种这样的排序策略是嵌套解剖。我想知道是否有可能仅在网格参数的情况下提前提出嵌套的解剖顺序(假设具有一阶差异的M×N方形有限差分网格)。 编辑 我刚刚发现有执行此操作的代码:http : //www.cise.ufl.edu/research/sparse/meshnd/
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.