Away from , the sign of is fixed within each of the three invariant strips, so is strictly monotone. On , the equation is , whose nonconstant solutions are exponential and hence not periodic. Therefore the monotone coordinate excludes periodic orbits, and there are
At an equilibrium point, and . If , the only equilibria are
Their Jacobian matrix is
At its eigenvalues are , and at they are . Hence for , is an unstable node and is a stable node; for , both points are saddles.
If , every point on each line and is an equilibrium. The line is transversely repelling because the nonzero eigenvalue is , while is transversely attracting because the nonzero eigenvalue is ; the tangential eigenvalue is zero on both nonisolated equilibrium lines.
The vector field is unchanged by reflection in the -axis, ; more generally, linearity of the second equation gives the scaling symmetry . It is also reversible under reflection in the -axis:
When , is constant, so arbitrary translations are additional symmetries.
The process is adapted to its natural filtration. At each fixed time it has finite support and is therefore integrable. Conditional on ,
Conditional on ,
The Markov property now gives
so is a martingale.
The pair is a martingale if is a filtration, is an adapted process, every is integrable, and
Using the estimator from part (b) and the spectral decomposition of ,
Thus
Under the stated separation of scales, the shrinkage factor is approximately one for and approximately zero for . The principal-component shrinkage by ridge regression formula therefore reduces approximately to
the orthogonal projection of onto the span of the normalized sample principal components with greatest variance.
Since and ,
Therefore
Put . By part (c), the are normalized sample principal components forming an orthonormal set, and
This is the orthogonal projection onto a finite-dimensional subspace spanned by the , so is the unique closest point in that subspace to .
Because every column of has sample mean zero, every column of also has sample mean zero. The spectral theorem for real symmetric matrices gives
Hence for the sample covariance is , while the sample variance of is
Thus the are pairwise uncorrelated sample principal components, ordered by decreasing sample variance.
Differentiating the ridge regression objective gives
For every nonzero ,
so is positive definite and hence invertible. The strictly convex objective therefore has the unique closed-form ridge regression estimator
The Gaussian likelihood is proportional to
so maximum likelihood estimation is equivalent to ordinary least squares. If and has rank , then is invertible and the normal equations give
If , then and . A least-squares minimizer always exists, but it is not unique: by rank-deficient ordinary least squares, the complete set is
an affine subspace of dimension . Thus there are uncountably infinitely many likelihood maximizers. In the generic full-row-rank case their dimension is .
Let be an invariant distribution for the continuous-time Markov chain. Using , its stationarity equation becomes
Thus the measure with weights is invariant for the irreducible positive-recurrent jump chain. Its invariant distribution is unique, so . Normalization gives the invariant-measure transfer between a jump chain and a CTMC formula
The denominator is finite and nonzero because . Thus is a probability distribution and is positive recurrent.
A continuous-time Markov chain is irreducible if every state can reach every other state with positive probability. A state is recurrent if, after leaving , the chain returns to with probability one; an irreducible chain is recurrent if one, and hence every, state is recurrent. A recurrent state is positive recurrent if its expected continuous first return time is finite, and an irreducible chain is positive recurrent when all its states are.
Conditional on , the holding time has an exponential distribution of rate , and after that holding time the next state is with transition probability . The memoryless property of exponential random variables and the Markov property of therefore make a continuous-time Markov chain.
Moreover , so . The strong law of large numbers gives almost surely, hence and the process is nonexplosive. Its Q-matrix is
Equivalently, if is the diagonal matrix with entries , then

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