Use Gaussian elimination with partial pivoting, choosing a largest absolute entry in the uneliminated part of each pivot column. The first pivot is two in row one, with multipliers for rows two, three and four. The second-column candidates are then , so row two stays as pivot and the remaining nonzero multiplier is for row four. The augmented matrix at this stage is
The third pivot is three, so swap rows three and four. The final multiplier is , leaving last pivot . Carrying that swap through the previously stored multipliers gives
The transformed right side is . Back substitution gives , , and , hence .
For the eigenvalue claim, put . It is invertible because a permutation matrix and a unit lower triangular matrix are invertible. The factorization gives , so
Similar matrices have the same characteristic polynomial and therefore the same eigenvalues with algebraic multiplicities. This proves the claim without changing the prescribed elimination method.
The normal equations for linear least squares are . Under full column rank, . Since ,
Here and , so the design matrix is
Its columns are pairwise orthogonal and have squared lengths . Consequently , giving
Both estimators are linear functions of the Jointly Gaussian observation vector, so they are Jointly Gaussian. Zero covariance then implies independence. This final implication uses the normal error model, whereas the variance calculation itself needs only its second moments.
The Markov property says that conditional on the present state, the next-state law does not depend on the earlier history. For this time-homogeneous chain, whenever the conditioning event has positive probability.
States communicate when each is accessible from the other by a finite positive-probability path; the equivalence classes are the communicating classes. A class is closed if no one-step transition leaves it, and open otherwise. Probability nonnegativity adds the implicit restriction to the printed upper bound.
At , every state is absorbing, so the classes are the singletons, all closed. For , every neighbouring pair communicates, so the whole state space is one closed class, making the chain irreducible. There are no open classes in either case.
For and , detailed balance along the path gives , , and . After normalization,
For , the self-loops have positive probability; the finite irreducible chain is aperiodic, so for all fixed starting states and targets. For , every step changes parity. The chain has period two, and for each fixed one parity of times has probability zero while . Thus the stated convergence from a fixed starting state holds exactly when . This is the stationary law of a reflecting nearest-neighbor walk on a finite path.
The inverse transformation is , , with absolute Jacobian determinant two. The original positivity constraints become and . Thus
Integrating out gives
This is the centred Laplace distribution with scale one.
Gauss law states that for outward-oriented boundary ,
For a continuously differentiable field and continuous density, the divergence theorem turns the left side into . Thus the differential law implies the integral law. Conversely, if the integral law holds for every suitable volume, the integral of vanishes on every small ball. A nonzero continuous value would keep one strict sign in some small ball, a contradiction. Hence . Weaker regularity gives the corresponding almost-everywhere or distributional formulation.
For the radial field, the flux on a radius- sphere is , while its enclosed charge is . Therefore
This uses the stated density as the full charge distribution, with no additional point charge at the origin. Since it vanishes beyond , the total charge is
and for the field is .
Put and , so . Direct differentiation gives and . The Euler-Lagrange equations are and , equivalently
The cyclic angular coordinate and time independence give the two conserved quantities
The expression for equals here because is homogeneous quadratic in the velocities.
For a constant radius and nonzero angular motion, the radial equation requires , so . This lies outside , and the angular equation then gives , with any nonzero constant . This is the photon sphere radius in the stated coordinates. If both velocities are zero, the displayed variational equations also admit a stationary configuration at any radius; the moving circular photon solution is the nonzero-speed case just found.

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