Take . It is continuous and bounded on , with infimum zero and supremum one, neither attained on this open interval.
Take . It is continuous on and unbounded as from the right.
Before its second decay A moves uniformly with . Its Lorentz factor is
The proper time along its world line satisfies . Since the first decay occurs at the spacetime origin, integration gives
Equivalently these are the components of A's constant four-velocity times . The assumption is needed for a daughter rest frame and its proper-time clock; a massless daughter has neither.
Conservation of momentum in the parent's rest frame gives . Equal daughter masses and the relativistic energy-momentum relation then give equal daughter energies. Energy conservation fixes
Using and the specified direction of A,
The velocities follow from :
These are spatial momenta in the original inertial frame. For positive daughter rest mass, gives .
Regularity at excludes every negative radial power and the logarithmic zero mode. Thus the general regular single-valued harmonic function on the disk has the form
The coefficients must give a series converging locally in the disk; if finiteness and continuity on its boundary are required, the boundary Fourier series must represent the prescribed finite continuous boundary values. Conversely every such locally convergent expansion is harmonic, and the Fourier coefficients on circles show that it includes every regular solution. There is no angular term linear in , because it would be multivalued.
In the two-dimensional span of the first two energy eigenstates, the measured observable has matrix . Its square is , and its trace is zero, giving eigenvalues . The orthogonal complement has eigenvalue zero. Thus the full spectrum is .
The normalized eigenstates for and are respectively
The lowest measurement outcome prepares up to an irrelevant overall phase. The subsequent unitary time evolution gives
By the Born rule, the probability of measuring the lowest eigenvalue again is the squared projection onto its one-dimensional eigenspace:
This is the two-level quantum return probability with . At the probability is one; if the two energies happen to be equal it remains one for every time.
Expand the wavefunction in the complete orthonormal energy eigenstates. The Time-dependent Schrödinger equation makes each coefficient satisfy , so
The series is interpreted in the Hilbert space norm. Its norm is conserved because the phase factors have modulus one and the energy eigenstates are orthonormal. For initial data in the domain of the Hamiltonian operator, this is a strong solution of the equation; for any square-summable coefficients it gives the corresponding unitary time evolution.
Expand using the bilinearity and symmetry of the real inner product:
Addition proves the parallelogram law,
For the maximum norm on , take and . All four vectors have maximum norm one. The left side of the parallelogram law is then , whereas the right side is . The maximum norm cannot come from an inner product.
Here equivalent metrics means that the two metrics induce the same topology, and Lipschitz equivalent norms means that there are constants such that for every .
Suppose first that the inequalities hold. Since they also hold for , the identity maps between the two metric spaces are Lipschitz continuous. In particular, each is continuous, so the topologies agree.
Conversely, equality of the topologies makes the identity from the -norm to the -norm continuous at zero. There is therefore such that implies . For nonzero , apply this to and use the absolute homogeneity of both norms:
The reverse identity is also continuous, so there is with . Rescaling again gives . Thus
The inequalities also hold at zero. This is topology determines norm equivalence; it works in arbitrary dimension because the rescaling argument needs neither a basis nor compactness of a unit sphere.
Let , and set , . Expansion of the tridiagonal determinant along its last row gives
For the second term, the last-row entry is , its cofactor has negative sign, and the remaining minor has last-column entry multiplying ; their product is . Thus and have identical initial values and recurrence, and induction proves
The eigenvalues of the Jacobi matrix are precisely the roots of this characteristic polynomial. Part(a) therefore gives all eigenvalues simple and lying strictly in . This conclusion follows from orthogonality as well as symmetry; symmetry alone would establish real eigenvalues but not their interval location.
The monic orthogonal polynomial is orthogonal to every polynomial of degree less than , since form a basis of that polynomial space. Let be its distinct interior roots at which its sign changes, and put , with if . The real polynomial has constant sign throughout : multiplication by each linear factor removes its corresponding sign change, while even-multiplicity roots do not change sign. It is not identically zero. Since , its weighted integral is nonzero.
If , orthogonality instead gives , a contradiction. Thus . Degree also gives , so and all roots have multiplicity one, with no roots left outside the interval. Therefore there are exactly distinct simple zeros in . The weighted inner products are understood to exist, as required by the stipulated orthogonality.
If two hyperbolic lines intersect, move their intersection to the centre of the Poincaré disk model. Lines through the centre are diameters. Reflection in a diameter making Euclidean angle with the real axis is . The composition of two such reflections is the rotation . The Poincaré disk model is conformal, so the Euclidean angle difference is the hyperbolic intersection angle , up to sign and replacing it by , neither of which changes rationality of .
The rotation has finite order exactly when for some positive integer , equivalently . If in lowest terms, its order is . Conversely, the nonintersecting cases in part(a) have infinite order. Therefore
Parallel hyperbolic lines have one common ideal endpoint and no interior intersection. Move the common endpoint to infinity by a Möbius transformation. The two lines are then distinct vertical lines . Their hyperbolic reflections have product
whose th power is . Since , no positive power is the identity.
Ultraparallel hyperbolic lines have no common endpoint or intersection. To see their common perpendicular explicitly, first map one line to the imaginary axis. The other has two boundary endpoints on the same side, say after possibly reflecting. It is a semicircle of centre and radius . The circle centred at zero with radius meets it orthogonally, since , and also meets the imaginary axis orthogonally. It supplies the common perpendicular. Map that perpendicular to the imaginary axis. Orthogonality then makes both lines semicircles centred at zero, of distinct radii . This normal form can also be obtained by a real Möbius transformation carrying the endpoints of the common perpendicular to . Their reflections are and , so their product is
No positive power of this dilation is the identity because and . Thus the product has infinite order in both nonintersecting cases. Geometrically the ultraparallel product is a translation along the common perpendicular through twice the separation of the lines.
Every orbital angular momentum operator annihilates a radial function: substituting makes the two terms cancel. It also annihilates . Thus the radial factor can be carried through the angular operators. Since is independent of , for every value of .
Direct differentiation gives
Consequently and . For a nonzero admissible radial factor, comparison with forces and . Therefore the simultaneous eigenfunction occurs at
It is the axially symmetric quadratic orbital eigenfunction, with quantum numbers , and angular dependence proportional to the spherical harmonic . The subtraction of removes its rotationally invariant scalar component.
The orbital angular momentum operators are
On smooth wavefunctions, , while position operators commute with each other and momentum operators commute with each other. Applying the product rule for commutators gives
Use it on the four terms in : only and survive, with the latter entering positively from the two minus signs. Therefore
The cyclic versions similarly give and . Thus, for ,
Now define . For each ,
because the Levi-Civita symbol is antisymmetric in and the operator pair is symmetric. Linearity then gives . The PDF superscript here is the squared total angular momentum, not the component .
Full column rank makes positive definite: for nonzero , . Let be its unique upper-triangular Cholesky decomposition with positive diagonal. Defining gives
Thus the skinny QR decomposition exists. If is another such decomposition, orthonormality gives . Cholesky uniqueness forces , and then . Therefore the skinny factorization with positive diagonal is unique. This is the thin QR factorization from Cholesky decomposition; no inverse of the rectangular is assumed.
For a real symmetric positive-definite matrix, the Cholesky decomposition is , where is upper triangular with positive diagonal; equivalently with lower triangular.
Existence can be proved by induction. Write , where . For a nonzero vector , evaluate the quadratic form at to obtain . The Schur complement is therefore positive definite. By induction it has factor , and
has . The one-dimensional starting case is the positive square root.
For uniqueness, if , then is upper triangular and satisfies . Since is upper triangular and equals , which is lower triangular, is diagonal. Orthogonality makes its diagonal entries , and positivity of the diagonals of forces . Hence and .
Set . It is entire, and makes . By the just-proved Liouville theorem, is constant. Differentiation gives . The exponential never vanishes, so everywhere and is constant. This is the entire function confined to a half-plane is constant principle.
Uniformly continuous. For , the derivative satisfies
The mean value theorem therefore gives a Lipschitz condition with constant two, hence uniform continuity.
Not uniformly continuous. Choose
Their separation is , while and . Thus the function values stay distance two apart, contradicting uniform continuity. Boundedness of the function does not prevent increasingly rapid oscillations.

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