At critical damping, the characteristic polynomial has the repeated root . Its independent solutions are and , giving
The factor supplies the second independent solution that would be lost by using just one exponential. There is no oscillatory factor at this boundary between the underdamped and overdamped regimes.
For the damped harmonic oscillator, the characteristic polynomial is . When , its roots are , with . Thus
Here and are arbitrary real constants. The frequency is , and the amplitude envelope decays with time constant when ; the zero-damping limit recovers simple harmonic motion.
Matrix multiplication is associative, so
The uniqueness of the matrix inverse then gives
The order is reversed; does not generally work because matrix multiplication need not be commutative.
If and are Hermitian matrices, then . Therefore
The required condition is that the matrices commute.
For a Hermitian matrix , . Reversing the product of identical factors has no effect, so
Hence every positive integer power is Hermitian. The identical-factor condition matters; a product of different Hermitian matrices need not be Hermitian.
The conjugate transpose also reverses factor order. If and are unitary matrices,
Thus their product is unitary. This is closure under multiplication in the unitary group.
The transpose of a matrix product reverses factor order:
For the requested two-dimensional check, put and . Both sides are
More generally, the entry formula is exactly .
Here , so obeys . An integrating factor is , giving
The nonzero solutions are therefore
The additional solution is . Each formula is interpreted on an interval where is defined and its displayed denominator is nonzero.
For the Bernoulli differential equation, work on a branch where and the required powers are defined. Multiplication by makes the chain rule useful:
Thus , and . The case is already linear and must be treated separately, because the proposed substitution would be constant. Solutions lost by dividing by a power of , particularly when it solves the original equation, must also be checked separately.
The second gradient is . Combining its vanishing with gives
The zero vector always works. A nonzero common stationary vector exists exactly when have a common eigenvector with respective eigenvalues ; both stationary values are then zero. Commuting symmetric matrices have a common orthonormal eigenbasis, so commutation is sufficient to find such vectors for the paired eigenvalues in that basis. It does not guarantee an arbitrary prescribed pair.
Commutation is also not necessary for one common eigenvector. For example,
are real symmetric matrices sharing with eigenvalues , but . This separates the question's common-vector condition from the stronger simultaneous diagonalization of the entire space.
Because is a real symmetric matrix, differentiating the quadratic form gives
Thus the stationary vectors are precisely , and at every one of them
The zero vector is always stationary. Nonzero stationary vectors exist exactly when is an eigenvalue of , and are exactly its nonzero eigenvectors with that eigenvalue. There is no norm constraint here; introducing one would change the stationary-value problem.
For a diagonalizable matrix, write . Relative to an existing fixed point,
Convergence to the same fixed point for every initial vector therefore holds exactly when
Here is the spectral radius. Necessity follows by choosing an initial displacement in each eigenspace; sufficiency follows because every displayed scalar power tends to zero. The condition also makes an invertible matrix, so that fixed point exists uniquely for every .
If instead different initial vectors may converge to different constant solutions, an eigenvalue is allowed: all other eigenvalues must have modulus less than one, and the component of in the eigenspace for must vanish. That component of the initial vector then remains unchanged. No other unit-modulus eigenvalue is compatible with convergence for arbitrary initial vectors.
Repeated substitution in the affine iteration gives
Therefore the required matrix polynomials are
These formulas do not require an inverse. If is an invertible matrix, multiplying the finite geometric sum by gives .
A fixed point obeys . Thus the necessary and sufficient existence condition is
If is not an eigenvalue of , then is an invertible matrix and the unique constant solution is . If is singular but the equation is consistent, all constant solutions are for any particular solution . For an existing fixed point, ; the successive difference in the question likewise obeys .
If are linearly independent, is the plane through with normal . Its equation is
so it contains the origin exactly when . If are proportional, is the line through in direction , containing the origin exactly when is proportional to . The linear span of two nonzero vectors has dimension one or two, so neither a single point nor all of occurs.
The affine subspace is . If are linearly independent, their linear span is all of , so is the whole plane. If they are proportional, is the line through in direction . This line passes through the origin exactly when . Because is nonzero, the set cannot be a single point.
In one dimension the nonzero vector already spans the real line. Hence , and translating it by leaves
This is an affine subspace containing the origin for every allowed choice of the three vectors.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact