Suppose an approximation has an error expansion with . With refinement factor , combining the two approximations eliminates the leading term:
If further expansion terms are known, repeat the elimination at their successive powers. For an even-power trapezium expansion and repeated halving, this gives the Romberg recurrence , starting from .
For the stated cubic the one-panel trapezium value is . The two-panel value is
The leading power is two, so one extrapolation step gives
This equals the exact integral ; for a cubic the trapezium error has only the leading term, which this combination removes exactly.
For a complex matrix , Gershgorin's theorem puts every eigenvalue in the union of the row discs , where . To prove it, choose an eigenvector for an eigenvalue and an index maximizing . Its th equation gives
Division proves .
The usual counting refinement says that a connected component made of discs contains exactly eigenvalues, with algebraic multiplicity. For completeness, deform the matrix from its diagonal part to the original by multiplying all off-diagonal entries by . Its discs have radii and stay inside the original discs. Continuous variation of the roots of the characteristic polynomial keeps the number inside any contour separating one original component from the others constant. At , the diagonal entries give exactly roots there, proving the refinement.
For the application put . The matrix is
Its three row discs have positive real centres and leftmost real coordinates
All are strictly positive, so zero lies in none of the discs. It cannot be an eigenvalue. Thus is nonsingular for every real .
A confidence interval procedure produces random endpoints such that , under the model. In everyday terms, repeating the same sampling and interval construction many times would give intervals containing the true mean in about of repetitions.
For , define the sample mean and the sample variance . For independent observations from a normal distribution with , the standard sampling results are
The first follows from the independent normal sample mean and sample variance. Let be the positive Student quantile. Symmetry gives the central confidence interval
Its width is , so
States communicate when each is accessible from the other: and for some nonnegative integers . The communicating classes are
Indeed and move only between themselves; links the second class, but it has exits to and no return from the closed classes; state 6 is absorbing.
Let be the probability of ever reaching 6 from state . Then , , and first-step conditioning gives
Thus and , giving . Therefore
The moment-generating function is where finite. For independent , independence factors the expectation, giving wherever both factors are finite.
For the given probability density function and , put to obtain
Here , obtained by repeated integration by parts. For the defining integral diverges.
Each has moment-generating function , so independence gives
The uniqueness theorem for moment-generating functions applies when the functions are finite on a neighborhood of zero. Hence the sum has the same distribution as , a Gamma distribution of shape and rate one, with the displayed probability density function in the source.
Write the complex potential of a two-dimensional potential flow as . Its complex velocity is . Here
so the far-field motion has velocity and speed . In polar coordinates the stream function, shifted by a harmless constant, is
It is zero on , proving the cylinder is a streamline.
Stagnation points are zeros of , hence roots of . Put . The two roots are
Both have modulus and are distinct. Their angles satisfy , namely and . The tangential velocity on the cylinder is , confirming the same zeros. Streamlines are level curves of ; the positive circulation places both stagnation points on the upper side and increases the flow speed below the cylinder.
Figure 1.
Streamlines and the two surface stagnation points for positive subcritical circulation
. Details.
For a material fluid volume, mass conservation yields . Constant mass density reduces this to . For inviscid flow, the Cauchy stress tensor is ; its net surface force is the volume integral of by the divergence theorem. Newton's second law for each material volume therefore gives . Since , these are exactly the two stated equations.
In two dimensions they read
Differentiate the second momentum equation in and subtract the derivative of the first. The pressure terms cancel. For , collecting terms gives
Incompressibility removes the last term, giving
Thus each fluid parcel retains its scalar vorticity as it moves. In particular an initially irrotational flow remains irrotational in this smooth two-dimensional inviscid evolution. There is no vortex stretching in this two-dimensional setting.
The time-independent Schrödinger equation is
Put . For , differentiation gives . Substitution cancels the terms in and leaves .
The Gaussian integral gives . Hence a normalized wave function is
Multiplication by any constant of modulus one gives the same quantum state. The position probability density is . Its first moment vanishes by oddness. Integration by parts gives , with the boundary term zero. Therefore
Polar coordinates give speed squared , so unit mass has kinetic energy . The radial force is , giving after choosing the additive constant zero. Therefore is the stated expression.
The two Euler-Lagrange equations are
The second gives conservation of angular momentum . The mechanical energy is
Direct differentiation expresses its derivative as
Thus energy is conserved for the motion wherever .
For fixed endpoint values, the Euler-Lagrange equation is
It follows by differentiating the functional along with , integrating the term by parts and applying the fundamental lemma of the calculus of variations.
For this quadratic integrand it becomes . If , write ; the condition at zero gives , and that at requires . Consequently is the only extremal when is not an integer. If is a positive integer, all extremals are
The integer case must be handled separately: with both endpoints zero has only . If negative real is allowed, the hyperbolic-function solutions also yield only zero under these endpoints. These statements concern stationary functions; no minimum is assumed.
Continuity means that the inverse image of every open subset of is open in . If and is an open neighborhood of , then is an open neighborhood of , so it meets . Thus meets . The closure characterization gives
If is empty the assertion is immediate. Otherwise, if is bounded, choose a centre and with for all . The closed ball is closed because . It therefore contains . Hence the closure of a bounded set is bounded. Empty sets cause no exception. If is bounded, its closure is bounded by this result, and the displayed inclusion makes bounded too.
A topology on contains , is closed under arbitrary unions and under finite intersections. The cofinite family has these properties: a nonempty union contains one cofinite member and therefore has finite complement; the complement of a finite intersection is a finite union of finite sets. The empty union and the sets are included explicitly.
Any two nonempty open sets intersect, because their intersection has finite complement in the infinite set . Thus no two disjoint nonempty open sets can separate , proving connectedness. For compactness, take any open cover and choose a nonempty member . Only finitely many points lie outside . Choose one covering member for each of those points. Together with these give a finite subcover. Thus is compact.

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