The contraction of two Levi-Civita symbols gives . Similarly . Add the two directional-derivative terms to cancel the last terms, leaving
The product rule has therefore proved the gradient of a dot product identity
Use the Levi-Civita symbol and sum over repeated indices. The contraction of two Levi-Civita symbols and the product rule give
Reading the four terms as divergence and directional derivatives proves the curl of a cross product identity
For both parameters the autonomous planar system is , . It has the conserved energy
Indeed . At any equilibrium point the eigenvalues satisfy
For , the quadratic is strictly positive, so the only equilibrium point is , with eigenvalues . Since has the sign of , has a unique strict minimum at zero and tends to infinity in both directions. All positive energy levels are closed curves surrounding this stable center equilibrium. They are clockwise: rightward when and leftward when .
For , factor . The three equilibrium points and their classifications are
The two center equilibria are stable but not asymptotically stable; the saddle equilibrium is unstable. At the saddle equilibrium the local unstable and stable directions are and .
The potential values are , , and . Consequently there are closed loops around the left center for , closed loops in both wells for , and a figure-eight pair of homoclinic orbits at . At the right center is a stationary point while the left well still has a closed orbit. For , each closed curve encircles both centers and the saddle.
The two homoclinic orbits satisfy . Their outer turning points can be located exactly from
Every nonstationary energy curve is oriented to the right in the upper half-plane and to the left in the lower half-plane. The sketches show the closed curves, the separating orbits, the stable and unstable saddle directions and the direction of flow.
Figure 1.
Clockwise phase flows, alternating pendulum saddles and centers, and the one-well and two-well quartic potentials
. Details.
Here the autonomous planar system is , . Its equilibrium points are
The Jacobian matrix is
For even , the eigenvalues are , so these points are unstable saddle equilibria. Writing , their local unstable and stable directions are and respectively. For odd , the eigenvalues are .
To classify the latter points nonlinearly, differentiate the first integral
At this energy has a strict local minimum. Its nearby level sets are closed curves, proving that the odd- points are stable center equilibria, with no attraction to the center. The phase portrait consists of closed oscillatory orbits for , heteroclinic orbits at joining consecutive saddle equilibria, and open rotating orbits for . The separating curves have
Above the horizontal axis , so flow is rightward; below it flow is leftward. The closed orbits are clockwise, and these same signs orient every separating and rotating orbit.
The covariance is symmetric, because multiplication of real random variables is commutative. Expanding with the bilinearity just proved gives
Identical probability distributions imply equal second moments and equal means, hence equal variances. Therefore the assertion is true, with
The cancellation shows exactly why no assumption of independence is needed.
Linearity of expectation gives . Expand the centered product and use linearity of expectation again:
Thus the assertion is true whenever the covariances are defined. Neither independence nor identical distributions are required.
A direct construction, valid for every , is
The first coordinates give , and
The first two norms are one. For the third,
Thus the required Gram matrix is . The column matrix is upper triangular and has determinant
so these vectors are linearly independent. This is an explicit instance of unit vectors with a common inner product; at it reduces to the standard orthonormal basis.
No. For every , take
in . These form a minimally dependent vector family: the full family is dependent because .
If the omitted vector is , the remaining coordinate vectors are independent. If the omitted vector is , a relation among the retained vectors has an coordinate coming only from , so its coefficient must be zero; the coefficients of all retained coordinate vectors must then be zero. Thus every -element subfamily is linearly independent, as required for a counterexample. When , the empty subfamily is independent while the one-vector family consisting of the zero vector is not, so the answer remains negative.
Yes. Suppose . Taking its dot product with eliminates the last two terms and gives
The nonzero scalar triple product forces . Cyclically using and forces as well. This is the definition of linear independence. Equivalently the three-column matrix has nonzero determinant.
At the terms are . Their decay to zero alone is insufficient for convergence. In fact
because the difference has numerator . Since , induction gives . The comparison harmonic series diverges, so
At the terms are . Part (ii) gives positive decreasing magnitudes tending to zero, so the alternating series test applies. To see the convergence directly, let . Then
while , obtained by grouping . Thus the even partial sums have a finite limit. The odd partial sums differ from them by , so the whole sequence of partial sums has the same limit. Absolute convergence would require convergence of , already disproved. Hence
Extend the sequence by . Cancelling factorials in consecutive normalized central binomial coefficients gives
The given logarithmic inequality therefore implies
On , , so summing its integrals gives . Exponentiating yields the explicit bound
Also every consecutive ratio is less than one, so is strictly decreasing, a fact needed for the alternating endpoint.
Rearranging the assumed positive-term ratio inequality gives
Induction therefore yields for every . In particular
The positive partial sums of the first series are nondecreasing and bounded above, so the bounded monotone sequence theorem proves that they converge. This is the ratio comparison test, and establishes convergence of .
Partial fractions give . In the interior disk, expand both terms as geometric series:
Thus the Laurent series is a Taylor series in this region:
The nearer pole at determines the radius of convergence.
The uniform limit theorem first gives continuity of on . For any triangle whose closed interior is in , the Cauchy integral theorem gives . Moreover,
Hence , and Morera's theorem proves that is analytic on . In fact, the proof only needs locally uniform convergence on compact subsets, since each triangle is compact; the stated uniform convergence on the entire domain is stronger.
Morera's theorem states that a continuous complex-valued function on an open set is holomorphic if its integral around every triangle whose closed interior lies in the set is zero. It is enough to impose this condition locally on disks.
Fix a disk contained in the open set and a base point . Define as the integral of along the straight segment from to . The zero triangle integral gives, for sufficiently small ,
Continuity makes the quotient by tend to , so is holomorphic and . To justify that its derivative is holomorphic, apply the Cauchy integral formula for on a smaller circle:
The right side may be differentiated again inside the circle because its denominator stays uniformly away from zero on the contour. Thus is holomorphic on . Such disks cover the open set, proving the theorem.
For the single-frequency response, use separation of variables with . Set and ; then , so . A finite origin value forces , since is singular. Since , the prescribed origin amplitude gives . The regular time-harmonic spherical wave is therefore
with the quotient defined by its limit at zero.
This answers the literal finite-origin condition in the class of regular single-frequency responses. It is a standing combination of inward and outward waves: the numerator is proportional to . A purely outgoing wave from an ideal point source would instead be proportional to , which has no finite prescribed value . Such a source must be specified by a singularity strength, for example . The source's wording supplies neither an initial field nor an outgoing singular-source normalization; without restriction to the stated harmonic response, a general initial-value problem is not uniquely determined by the one origin condition.
Put . Multiplication of the radial wave equation by gives for . In the characteristic coordinates , , this becomes . Integrating first in and then in gives . Consequently
The two terms are incoming and outgoing radial disturbances. If the field is finite at the origin, their numerators must cancel there; arbitrary independent choices generally produce a singularity.

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