The material surface is . Its material derivative vanishes, giving the exact kinematic condition
For irrotational flow , the Euler equations and integrate spatially to . Adding a suitable function of time to changes no velocity and makes the right side . Thus
Take as the air-side pressure and use the given capillary pressure jump on the fluid side. At first order in wave amplitude, the product and kinetic-energy term are quadratic, the curvature denominator is one to the required order, and replacing by changes first-order quantities only at second order. Consequently
For a harmonic wave , the harmonic potential decaying with depth is
It satisfies the kinematic condition. Substituting into the dynamic condition gives
The phase speed is and the group velocity of a narrow wave packet is . For the positive-frequency branch and ,
For positive surface tension this ratio exceeds one exactly when , proving
On the circle put . The Joukowski map gives , so its image is the slit . Away from that circle, the inverse equation is . For , neither root has modulus , and their product is , so exactly one root has modulus greater than . Selecting that root defines the exterior inverse.
More explicitly, define to be the branch analytic on normalized by at infinity. It is positive for real and negative for real . Then
Existence and analyticity of this branch also follow from the exterior inverse: is nonzero for , so the selected simple root varies analytically; has the stated normalization. The exterior map is injective because with distinct roots would imply , impossible for two exterior points. Thus is a conformal bijection throughout .
The proposed potential is a uniform stream plus its cylinder doublet and the circulation term. On , the first two terms sum to the real quantity , while the imaginary part of the logarithmic term is the constant . Thus the cylinder is a streamline. At infinity the complex velocity tends to and the circulation is , verifying both far-field conditions. Logarithms may be chosen locally; their derivative gives a single-valued velocity.
Composition therefore gives the plate potential
At the edge , corresponding to , the physical complex velocity is . Since the denominator has a simple zero, finiteness requires
which is exactly
With this cancellation, the limiting ratio is . The Kutta value of the circulation gives and . Hence the finite edge velocity is
The general time-independent Schrödinger equation is . For a spherically symmetric wave function, ; the Coulomb attraction between the proton and electron is . These supply respectively the kinetic and potential terms in the displayed radial equation. Rearranging identifies
as the Bohr radius.
Substitute into the rearranged equation and put . Equating the coefficients of after cancelling the exponential gives
A nonzero state has . If , these identities give and . If , they give , , and . Thus the two independent eigenfunctions and their corresponding energies are
They are eigenfunctions at different energies, rather than two independent solutions at one fixed energy.
For the higher-energy state, radial probabilities include the spherical volume factor . The normalization constant and cancel in the ratio. Using the supplied integral at and at infinity,
Hence
This calculation fixes the denominator as in the source's unparenthesized expression; interpreting it as a product with would give a negative probability.
For symmetric quadratic coefficient matrices, the Euler-Lagrange equations give , where is the positive-definite mass matrix. Substitute a normal-mode oscillation to get
The positive roots determine the squared normal frequencies and their nonzero null vectors give mode shapes. Repeated eigenvalues give multidimensional mode spaces.
The particle's kinetic energy is . For a taut elastic string at length , Hooke's law gives tension and elastic energy . With and gravitational potential , this gives exactly
This is the taut-string regime containing the equilibrium. Differentiating the potential gives
At , and all three accelerations vanish.
With , expansion to quadratic order gives . Substitution cancels the linear terms, leaving
The mass matrix remains , and the stiffness matrix is . Therefore
The horizontal frequency is doubly degenerate: a linearly polarized oscillation in any horizontal direction is a normal mode. The remaining mode is vertical stretching and contraction of the string, with horizontal coordinates zero.
For a normal constrained extremal, introduce a constant Lagrange multiplier and use . The Euler-Lagrange equation is
When both integrands have no explicit dependence, the Beltrami identity gives , as follows by differentiating this expression and using the Euler-Lagrange equation.
Parametrize the surface by . The cross product of its two coordinate tangents has magnitude , so integration in gives . Integrating the cross-sectional disk areas gives .
Dividing the augmented functional by , use
The Euler-Lagrange equation is
The Beltrami identity becomes . At an endpoint , the absolute value of the first term is at most , so , even if the profile has an infinite endpoint slope. For a nondegenerate regular closed surface take on . Then , and, with ,
Combining this identity with the Euler-Lagrange equation yields . Consequently . The two zero endpoint values uniquely determine
The positive radius profile is therefore a semicircle and generates a sphere, centred at height , with radius . In particular
The graph is smooth in the interior; its vertical slopes at the two poles are compatible with a smooth spherical surface. Its volume is , the volume associated with this stationary candidate.
For minimality, the three-dimensional isoperimetric inequality says that every closed surface enclosing volume has , with equality for a sphere. The displayed extremal attains equality, proving that it minimizes area at its fixed enclosed volume. The uniqueness above concerns the regular connected positive profile with the two stated endpoint heights.
A sequentially compact space is one in which every sequence has a subsequence converging to a point of the space. A limit point of means every open ball around meets .
In a compact metric space, a sequence with a finite set of values has a constant subsequence. If its value set is infinite and had no limit point, each point of the space would have a neighbourhood containing at most one point of that value set. A finite subcover would then make the value set finite, a contradiction. It therefore has a limit point in the space, and the permitted subsequence result gives a convergent subsequence. This proves sequential compactness.
For the remaining assertions assume the compact space is nonempty, as required for a fixed-point claim. The displacement function is continuous by the stated continuity of the metric and of . The extreme value theorem gives a minimum . If , then , and strict decrease of distances implies
contradicting minimality. Thus and is a fixed point. Two distinct fixed points would satisfy , also impossible. Hence the fixed point is unique.
On the noncompact real line, take
Its derivative is strictly between zero and one. The mean value theorem therefore gives for each distinct pair. Yet , so it has no fixed point. Compactness, rather than merely pointwise strict shrinkage, supplies attainment of a zero displacement in the preceding proof.
A connected space has no separation into two disjoint nonempty open subsets whose union is the space. A continuous surjection to the discrete space produces such a separation by the two point preimages. Conversely, from a separation define a function equal to zero on one open piece and one on the other; it is continuous and surjective. Thus these formulations of connectedness are equivalent.
An interval in is connected: if a continuous map from it to took both values, the intermediate value theorem would force value , impossible. Conversely, a subset of that is not an interval has points in it and a point outside it. Intersecting it with and separates it. The empty set is connected, and singleton intervals are included.
For the union assertion, any separation of must put each nonempty connected entirely on one side, since intersecting the separation with would otherwise disconnect it. Pairwise nonempty intersections force all the onto the same side. Their union is , contradicting a nonempty second side. The empty-union case is already connected.
The plane is the union of all lines through the origin. Each line is homeomorphic to and connected, and every pair meets at the origin, so is connected. For the punctured plane, let be the positive horizontal ray, and for each let be the circle of radius . Each circle is a continuous image of and hence connected; is connected because its two connected pieces meet at . These unions all contain and cover the punctured plane, proving it connected as well.
Finally suppose a continuous injection existed. Its image is a connected interval, since a continuous image of a connected space is connected. It contains at least three distinct values; choose whose value lies strictly between two others. The punctured plane is connected by translation of the preceding result. By injectivity its image is precisely , which is disconnected by the missing interior point. This contradicts connectedness of a continuous image. Therefore

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