Minimize the residual sum of squares . Differentiating gives the normal equations . Full column rank makes positive definite and invertible, so the unique minimizer is
Since , it is unbiased. The independent common-variance errors give , hence
Independent Gaussian errors with common variance are a sufficient condition for this estimator also to be the maximum likelihood estimator: their log-likelihood differs from by terms independent of . Profiling an unknown common variance gives the same minimizer. Mean and variance assumptions alone do not specify a likelihood.
For the seven design points, and . In increasing time order the design matrix is
Its columns are mutually orthogonal: the odd sums vanish and . Their squared lengths are , respectively. Therefore
In particular . Testing for a quadratic contribution means testing against .
The cooling measurements are stated to have zero-mean errors and known common variance, but normality is not explicitly assumed for them. Under the independent-error linear regression model as stated, Chebyshev's inequality gives a valid conservative level- test: reject when
Its null rejection probability is at most because the estimator has mean zero and the calculated variance. If Gaussian errors are additionally assumed, the sharper exact test uses under the null and rejects for . With only seven observations, exact normal calibration cannot be deduced from the printed moment assumptions alone.
Independence means for all Borel sets . For variables with a joint density this is equivalent to factorization of that density into the two marginal densities almost everywhere.
The inverse transformation is , , on , . Its absolute Jacobian determinant is . Multiplying the independent gamma densities by it gives
The density is zero outside that support. Integrating in with the gamma integral gives
It is a beta density. Its normalization also proves the beta integral . The joint density consequently factors as this normalized beta density times
Thus is gamma with shape and rate , and are independent.
Finally . All relevant first moments are finite, and independence gives , while . Hence
This identity follows from the particular beta-gamma independence here; a general ratio of random variables would not permit moving expectation through division.
Irrotational motion in this simply connected fluid region has a velocity potential, . Incompressibility gives , hence .
The moving surface is a material surface: differentiating along a particle gives at . Linearizing about a flat stationary surface drops the product term and evaluates at zero, giving there. The Unsteady Bernoulli equation, after dropping quadratic velocity terms and absorbing the time-only constant into , is . The linear capillary pressure at the surface is relative to atmosphere, in the sign convention of the source. Therefore
For choose the harmonic potential decaying at infinite depth,
Its vertical derivative at zero equals . Substitution into the dynamic condition gives . Thus
The two positive terms are the gravitational and capillary contributions to the restoring force.
Milne-Thomson's circle theorem inserts an impermeable circular boundary into a two-dimensional irrotational incompressible flow. If is analytic in a neighborhood of the closed disc and its flow singularities lie outside, the new complex potential outside is
Reflection and coefficient conjugation make the second term analytic outside the circle, with its image singularities inside. On , , so the two terms sum to : the streamfunction is constant there. Thus no velocity crosses the circle. At infinity the image term tends to the constant , which has no effect on velocity, and the far-field flow is retained. This proves the construction, with an additive potential constant immaterial.
Put , . For the dipole the reflected potential is , giving
Its image pole is , inside the cylinder. The complex velocity is
Near , the second term is with , while is analytic there. The square of the pole term has no residue, nor does . The cross term has residue , so
Take the contour counterclockwise around the cylinder, as in the supplied Blasius force theorem. The residue theorem gives . Therefore
The force points toward the dipole. Its independence of dipole orientation follows from the product in the sole residue contribution.
Set , choose for a negative bound-state energy, and write . Multiplying the radial equation by gives
For , its second derivative is . Substitution cancels the two terms and gives
For the physical hydrogen problem, the angular eigenvalue has a nonnegative integer. Regularity at the origin selects the Frobenius exponent , rather than the singular branch. Put
The equation for the series factor is , and coefficient comparison yields
The regular confluent-hypergeometric solution generically grows like in this series factor; after the extracted it is not normalizable. A bound state requires termination at some degree , namely . Thus is an integer greater than , and
Regularity, normalizability and the integer angular index are the physical conditions selecting this spectrum; the differential equation without those conditions would admit many other solutions.
For , necessarily and . With ,
A normalized spatial ground state is . In spherical coordinates the radial probability has weight . Constants and the angular integral cancel in the tail ratio. The supplied integral with gives
Write the position of a mass element relative to the centre of mass as . Expand its squared velocity and integrate:
The mixed term vanishes because . Also
using the scalar triple-product identity. Therefore
In principal axes the inertia tensor is diagonal, so the second term is . Substituting the three Euler-angle components given in the source gives its displayed kinetic-energy expression directly.
For , the first two component squares have opposite mixed terms and sum to . Put . Using the orientation-dependent potential printed in the source therefore gives the formal model
The cyclic coordinates have conserved momenta . Consequently are constant. The coordinate is also cyclic, with
For imposed fixed tilt , conservation of and forces constant. Impose the fixed-height condition in this formal constrained model. Its equation is
Set the tilt constant and divide by its nonzero sine. This gives
A real polynomial root requires its quadratic discriminant to be nonnegative:
When this condition holds the two algebraic rates are .
There is a physical inconsistency in the printed data that must be kept distinct from this algebra. If are literally Cartesian coordinates of the centre of mass in uniform gravity, the gravitational potential is , not . The printed Lagrangian consequently does not follow from that Cartesian-height interpretation. Moreover its unconstrained equation is , so constant height at the indicated tilt requires a constraint reaction. The requested rate and discriminant follow from the printed orientation-dependent potential with fixed height imposed; a standard heavy-top interpretation instead uses a height proportional to an axis distance times , with the reference point and corresponding inertia specified consistently. The kinetic-energy derivation is independent of this source inconsistency.
A sufficient regular-level condition is at every point with . The implicit function theorem then makes the zero level a two-dimensional continuously differentiable submanifold. Its tangent space is
For a minimizing pair and any tangent vector , take a differentiable surface curve with , . The function has a minimum at zero, so its derivative vanishes. Varying the other point similarly proves orthogonality to .
For the particular surfaces, minimize the distance from the origin to the second surface first. Put , , so and . Then
Let . Since , this is at least , with equality when one of is zero. For , this quadratic has its minimum at , with value 5. For , it decreases up to zero and has minimum9 on that half-line. The global minimum is therefore5, attained at
All points of this surface lie outside the unit sphere. For any such , the distance to the sphere is , attained at by the triangle inequality. Consequently
This is a global minimization, not merely a stationary-point calculation.
Figure 1.
Nearest points on the two surfaces in the section
. Details.
A Hausdorff space separates any two distinct points by disjoint open neighborhoods. For a subspace , intersect such neighborhoods in with to obtain disjoint neighborhoods in the subspace topology. Thus subspaces inherit the Hausdorff property.
If lies off the diagonal of a Hausdorff space's square, choose disjoint open neighborhoods of and of . The open rectangle contains the pair and avoids the diagonal. Therefore its complement is open and the diagonal is closed.
The map given by is continuous by the coordinate criterion from E3. The equality locus is and is closed as an inverse image of a closed set.
Let be the quotient map. If the quotient is Hausdorff, apply the same argument to in both coordinates:
is closed in .
Conversely suppose is closed and is open. Take two distinct quotient points, with representatives . Since , an open rectangle around it avoids . The images and are open quotient neighborhoods. They are disjoint, because a quotient point in their intersection would have equivalent representatives , , giving . Hence the quotient is Hausdorff. Thus closedness of the relation and openness of the quotient map suffice for a Hausdorff quotient.
The product topology on has the open rectangles , with open in and open in , as a topological basis. The projection preimages are and , so both projections are continuous.
If is continuous, both coordinate compositions are continuous. Conversely, if both are continuous, then
is open for every basic rectangle, proving continuity of . Given paths between two chosen endpoints in each factor, their coordinatewise pair is therefore a continuous path in the product, proving that a product of path-connected spaces is path-connected.
For the compact-neighborhood assertion, fix . For each , choose an open rectangle containing inside . Compactness of chooses finitely many covering . Put
Then , , and : any point of belongs to one of those rectangles' second factors, while lies in every first factor.
Compactness of now selects finitely many covering . Set
These are open, contain and , and if , choose an with and use . Hence
If or is empty, take the corresponding open factor empty and the other factor the whole space; the assertions then hold directly. No Hausdorff assumption on the factors is needed.

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