Math 2.0

Numerical analysis Definition

Krylov subspace

Builds on MatrixLinear spanLinear subspaceMinimal polynomialInvertible matrix

Definition

Let FF be ℝ\R or ℂ\C, let AA be an n×nn \times n matrix over FF, let b∈Fnb \in F^n, and let r≥1r \ge 1 be an integer. The Krylov subspace of order rr generated by AA and bb is the linear subspace 𝒦r(A,b)=span⁡{b,Ab,A2b,…,Ar−1b}⊆Fn.\mathcal{K}_r(A, b) = \operatorname{span} \set{b, A b, A^2 b, \dots, A^{r-1} b} \subseteq F^n.

Remarks

Equivalently, 𝒦r(A,b)={p(A)b:p∈F[t], deg⁡p<r}\mathcal{K}_r(A, b) = \set{p(A) b : p \in F[t], \ \deg p < r}. The subspaces grow, 𝒦1⊆𝒦2⊆⋯\mathcal{K}_1 \subseteq \mathcal{K}_2 \subseteq \cdots, and their dimensions increase by one until they stop growing. Once 𝒦r+1=𝒦r\mathcal{K}_{r+1} = \mathcal{K}_r, the subspace is invariant under AA and all later ones are equal to it. This happens at the least degree dd of a monic polynomial pp with p(A)b=0p(A) b = 0. That degree is at most the degree of the minimal polynomial of AA, hence at most nn. If AA is invertible, then A−1bA^{-1} b lies in 𝒦n(A,b)\mathcal{K}_n(A, b), since the minimal polynomial of AA then has nonzero constant term. Example: for A=(0100)A = \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} and b=e2b = e_2, one has Ab=e1A b = e_1, so 𝒦2(A,b)=F2\mathcal{K}_2(A, b) = F^2. Non-example: for A=IA = I, every Krylov subspace 𝒦r(I,b)\mathcal{K}_r(I, b) is the line through bb or {0}\set{0}. So for n≥2n \ge 2 the whole space FnF^n is not a Krylov subspace of the identity.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Invertible matrix concept
  2. Linear span concept
  3. Linear subspace concept
  4. Matrix concept
  5. Minimal polynomial concept
  6. Krylov subspace definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Krylov_subspace
About this page
TagFKPPWF87TR
URIm2://FKPPWF87TR
Kinddefinition
WritingW0 stub
MSC65F10, 65F15, 15A03
DefinesKrylov subspace
UsesMatrix, Linear span, Linear subspace, Minimal polynomial, Invertible matrix

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.