The Euclidean norm is invariant under an orthogonal matrix, so the full singular value decomposition gives
The second term is independent of ; the first attains its unique minimum zero because is an invertible matrix. The linear least squares solution is therefore
Here is the Moore-Penrose inverse, and the fitted vector is the orthogonal projection onto the image of a linear map defined by .
With the singular value decomposition supplied, forming costs arithmetic operations, diagonal scaling costs , and multiplication by costs . Since ,
One need not form , or to calculate . Computing the needed thin singular value decomposition first has standard dense cost ; explicitly forming an entire orthogonal completion can require additional work when is much larger than .
For , and are square orthogonal matrices. Multiply the linear system successively by , and to obtain
With the singular value decomposition already supplied, compute , divide by , then form . The two dense matrix-vector products each cost arithmetic operations in Big O notation, and the diagonal scaling costs . Thus
If the singular value decomposition first has to be computed, its usual dense cost is ; that is a separate setup cost and can be reused for further right-hand sides.
All singular values are positive, so and are invertible matrices and has matrix rank . The image of a linear map is therefore
with those columns furnishing an orthonormal basis. Also implies and hence . Thus
Finally exactly when . The remaining columns of the full orthogonal matrix span this orthogonal complement:
If , this last null space also equals and has the empty basis.
Set . For column indices , the product has polynomial degree at most , so exactness of Gauss-Legendre quadrature and orthonormality give
Thus is a square matrix with , and therefore is an orthogonal matrix: as well. It follows that
Equivalently, the rows of the generalized Vandermonde matrix are orthogonal and
The normalization matters: here , where is the conventional Legendre polynomial used above. Thus a formula containing only the nodes and the question's orthonormal polynomials is
This identity is the discrete orthogonality of Gaussian quadrature.
Truncate the Chebyshev series at the full degree of precision of a quadrature rule:
Since on , the geometric series estimate gives
The same bound proves uniform convergence of the original Chebyshev series, so its sum and the tail estimate are justified. Gauss-Legendre quadrature is exact on . Its positive quadrature weights sum to , hence
Therefore one explicit choice proving exponential convergence of Gaussian quadrature is
Using exactness through polynomial degree doubles the exponent compared with truncating at polynomial degree .
Let denote the conventional Legendre polynomial, normalized by . The quadrature nodes are its distinct polynomial roots in . For these nodes form the Lagrange cardinal polynomials
Choose the quadrature weights by integrating these polynomials:
An equivalent standard formula is
The reason for selecting these quadrature nodes is the resulting degree of precision of a quadrature rule. For any polynomial of polynomial degree at most , polynomial division gives
The orthogonality of the Legendre polynomial makes , while at each quadrature node. The definition of the quadrature weights integrates exactly, so
In particular, . Applying this exactness to also proves .
Let be the continuous function describing the error. The preceding orthogonality equations say
If vanishes identically, any distinct points work. If already has at least distinct zeros, the assertion also follows. Suppose instead that it has at most distinct zeros. Among its interior zeros, list those at which its sign changes as , where , and define the polynomial
with if . Between consecutive zeros of , its sign is constant by the intermediate value theorem. At each , both and change sign; at every other zero of , neither sign changes. Hence has one fixed sign throughout wherever it is nonzero. Replacing by if necessary makes everywhere.
Since is not identically zero and has only finitely many zeros, is strictly positive on some open interval. Positivity of gives
contradicting orthogonality because . Thus
This is the interpolation property of weighted least-squares polynomial approximation. It supplies interpolation nodes depending on and , rather than nodes prescribed in advance.
Write for the vector space of polynomials of polynomial degree at most , and put . As the question calls the weighted integral an inner product, its finiteness is implicit; for example, a positive integrable weight suffices for all the continuous functions involved here.
For every , differentiating the squared weighted norm at its minimum gives the orthogonality equations
In particular, the requested linear system is
Its Gram matrix is a symmetric positive-definite matrix: for any nonzero vector ,
Indeed a nonzero polynomial is nonzero on some open interval, and the weight is positive. Therefore is an invertible matrix, proving uniqueness. Conversely, if these equations hold, the Pythagorean theorem in an inner-product space gives, for every ,
so the solution really is the unique best approximation.
A stable terminal product obeys . Conservation of the number of chain members gives when . Therefore, for distinct nuclear decay constants,
Set for an initially absent terminal product. For equal nuclear decay constants,
Both expressions have because the intermediate population initially vanishes; their leading growth is . For positive nuclear decay constants, increases monotonically to .
For , differentiate the distinct-nuclear decay constant result:
Equating the production and loss terms gives , hence
For positive nuclear decay constants and , this is positive regardless of their ordering. Initially , while at late times; the stationary point is the unique maximum. At that time . If the nuclear decay constants are equal, differentiating gives , also the continuous limit of the expression above.
For a closed unit-branching radioactive decay chain, the rate equations are
The first gives . Multiply the second by its integrating factor :
Integrate from zero to . For ,
so
The coefficients can individually be negative; the physical population is nonnegative because the production integral is nonnegative. For equal nuclear decay constants , the finite limit is
A sum of two constant-coefficient copies of the same exponential function cannot represent this limit; the factor is essential.
This is the charge-and-parity-conjugate reaction of part (i). There are -channel Z boson and crossed W boson contributions, with all fermion arrows reversed relative to part (i). For matched unpolarized kinematics and negligible CP violation,
Combining all four results in the regime specified in part (i),
In particular, conjugating both initial particles restores the part-(i) rate; conjugating the neutrino alone does not. Initial spin polarization and energies near a weak-boson mass require a separate comparison.
Both -channel Z boson exchange and -channel annihilation occur. Replacing the incident neutrino by an antineutrino interchanges the two chiral angular weights. In the same contact-interaction regime,
At the factor is , between parts (i) and (ii). The comparison is energy dependent outside this regime: near , the annihilation channel has a W boson resonance, and the low-energy formula is inapplicable.
Only -channel Z boson exchange contributes at leading order. A W boson would connect to , rather than to , and therefore does not supply this elastic channel. With the assumptions and normalization of part (i),
For the illustrative value , the dimensionless factors in parts (i) and (ii) are and . The electron-flavor reaction is therefore about times as large in this limit. This uses the weak flavour selection in neutrino-electron scattering, not a hypothetical flavor-changing neutral vertex.
There is a -channel Z boson contribution and a crossed, -channel W boson contribution. The latter pairs the incoming electron neutrino with the outgoing electron, and the incoming electron with the outgoing electron neutrino. Both contribute coherently to the same elastic final state.
Figure 1.
Neutral- and charged-current diagrams for the four elastic neutrino scattering channels
. Details.
For a concrete comparison, take unpolarized targets, the same Mandelstam invariant in all four reactions, and . In a stationary-electron experiment this includes with . Define , using the weak mixing angle, and . The weak neutral current has chiral couplings , ; the weak charged current shifts by one. Consequently
The factor comes from integrating the opposite-chirality angular weight: in the massless limit . Thus the relative rate depends on the chiral couplings and their interference, rather than simply on the number of diagrams.
The set consists precisely of points whose first positions all lie in . Hence
Deleting the first position preserves this condition, proving . For the reverse inclusion, if , take . Then and for every . Thus and . In fact both inverse branches give preimages in . Therefore
which proves full invariance, not merely forward invariance.
For any infinite symbolic sequence , the itinerary cylinders are nonempty compact nested intervals. The nested interval theorem gives at least one point in their intersection. Every has a unique itinerary because . To justify that the itinerary also determines a unique point, it suffices to show the interval lengths shrink. The fact that logistic inverse branches contract in an angular coordinate works for every ; a direct claim that in the original coordinate would fail for some just above four.
Use the homeomorphism of . The transformed inverse branches are
Their derivatives satisfy
The inequality follows by squaring and using . Thus every length- transformed itinerary cylinder has length at most . Since , its original interval has length at most and shrinks to a point. This gives the claimed one-to-one identification with the one-sided full shift.
Finally part (ii) gives
Thus acts by the left shift. The identification is a topological conjugacy: matching long prefixes forces closeness by the shrinking estimate, while distinct finite itinerary cylinders are disjoint compact sets and so their inverse coding is continuous. In particular need not be one-to-one on , just as a one-sided left shift has two possible first symbols before any given tail.
Write . Because , taking the image under the same function composition gives
This uses preservation of set inclusion by every function, so decreasing inverse branches cause no difficulty. Since , cancellation of the first inverse branch gives the equality of images
These compact intervals are itinerary cylinders: their symbols record successive positions under iteration of a map. In particular,
Conversely these three memberships allow successive substitution of the appropriate inverse branches, and therefore characterize exactly.
Solving by the quadratic formula gives
For , . On the derivative is strictly positive, while on it is strictly negative. Thus the restrictions are strictly monotonic functions. Their endpoint values are
By continuity and strict monotonicity, each restriction maps its interval bijectively onto , with opposite orientations. The corresponding inverse functions are
Construct one infinite binary sequence by concatenating every binary word of length one, then every word of length two, then every word of length three, and so on, in lexicographic order within each length. Every finite binary word occurs somewhere in .
Given any target sequence and any , choose such that . The word occurs in , beginning after some symbols. Thus agrees with in its first positions, and the prescribed metric gives
Every open open ball about every point therefore meets the forward orbit of . This forward orbit is dense in . The argument identifies finite-prefix cylinder sets as arbitrarily small neighborhoods in this metric; no binary-expansion convention for real numbers is needed.
The space of all infinite binary sequences is uncountable by the Cantor diagonal argument: given any list , the sequence differs from its th entry at position , so it is absent from the list. Part (i) shows that only countably many sequences are periodic. Their complement is therefore uncountable.
Each forward orbit is countable. If there were only countably many nonperiodic forward orbits, their union together with the periodic points would be countable, contradicting the preceding argument. Hence there are uncountably many nonperiodic orbits, rather than merely uncountably many nonperiodic starting points.
One can also exclude eventual periodicity. An eventually periodic sequence is specified by a finite initial word and a finite repeating word, so only countably many exist. Removing all of them still leaves an uncountable set. This proves the assertion even if “nonperiodic” is understood to exclude orbits that eventually enter a periodic orbit.

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