Changing variables in the integral equation,
Differentiation gives
Substituting
and using gives
It is therefore enough to require
and choose so that the integral converges and vanishes at its endpoints. Solving the amplitude equation,
Because and suitable integral powers of and generate a primitive forty-fifth root,
The degree formula gives
Both fields contain , which already has degree two, so
For and , Fourier inversion and Cauchy--Schwarz give
The last integral is finite exactly when . Thus the sobolev embedding theorem gives
To see why the endpoint relevant to fails, choose a smooth cutoff supported near the origin and equal to one there, and set
Near zero, contributes , while contributes a constant multiple of . Both are finite, so , but is unbounded.
Fix and put . If , then
uniformly for . Multiplication by the bounded continuous function and integration therefore prove continuity of at .
Take to be the positively oriented unit circle and . By the Cauchy integral formula, inside the circle and outside it, so no continuous extension across exists.
For the final assertion, cover by finitely many sufficiently small closed axis-parallel squares whose slightly enlarged squares lie in , choosing the grid so that no boundary meets . Apply the square Cauchy formula to on every selected square and add the results. Integrals over shared edges cancel with opposite orientations. The remaining finitely many oriented boundary polygons can be split into contours , and their sum is
for every .
Linearization about gives
One Floquet multiplier of is , corresponding to a phase shift along the orbit. Liouville's formula gives
In the plane this determinant is the other, transverse multiplier. The periodic orbit is transversely asymptotically stable when the displayed quantity is less than one, equivalently when the divergence integral is negative, and unstable when it is greater than one.
The number flux through the surface is
Throughout this tail the occupation is Boltzmann to leading order. The two transverse Gaussian integrals contribute , while
Therefore
For a nonzero ideal , its norm is
For and embeddings , define
The field discriminant is the discriminant of any integral basis of . If is a -basis of , then
Multiplication by on an integral basis has integer matrix . Its image lattice is , so
The determinant of this -linear map is the field norm , proving
The action integral can be evaluated exactly:
As ,
Its leading logarithmic term is . Hence the large eigenvalues satisfy, to leading order,
The Darboux–Riemann criterion says that a bounded function on is Riemann integrable exactly when, for every , some partition satisfies . Indeed, every lower sum is at most every upper sum. Taking the supremum of lower sums and infimum of upper sums, the criterion makes their difference smaller than every positive , so they are equal; this common value is the Riemann integral.
Reflection symmetry makes the integral zero for . Rotational symmetry makes all diagonal integrals equal, and their sum is . Therefore
The product rule gives
Integrating and applying the divergence theorem proves the identity.
Here and , so
On the boundary, . The nonzero contributions from the faces are respectively , totaling .
Finally, direct contraction gives
whose integral is . Thus the right side is , equal to the left side.
The parametrisation has area factor
so .
For the unbounded saddle , this factor is . Thus the requested integral is
which converges because its radial tail is .
On the boundary the integral is . Integration by parts has zero endpoint term and leaves
Here . Green's theorem gives the integral of over a region symmetric about the axis, hence the answer is .
The top and bottom fluxes cancel because is independent of . Parametrise the side by ; its outward vector area is
The term involving integrates to zero, and the remaining integral is
confirming part (a).
Newton's equation and its energy integral are
Thus
Let . Near the maximum,
and the nearby turning point has distance from . The singular part of the period is an integral:
Hence
Physically, the limiting orbit approaches the unstable equilibrium at the barrier top with vanishing speed and spends arbitrarily long there.
Jordan's lemma states that if is holomorphic in the upper half-plane apart from finitely many poles and on sufficiently large upper semicircles, then for the integral of over those arcs tends to zero. Indeed, split the arc away from its endpoints, where exponential decay is uniform, and bound the two short endpoint arcs using and on .
Apply the upper semicircle to . The sole enclosed pole is , with residue . Therefore the contour integral is ; taking imaginary parts gives
If had a pole at one of the finitely many candidate points, choose a polynomial vanishing to sufficiently high order at all the other candidates. Hermite interpolation lets its remaining Taylor coefficients be chosen so that the residue of at the selected pole is nonzero. A small contour around that pole would then have nonzero integral by the residue theorem, contradicting the hypothesis. Hence none of the candidate points is a pole and is entire.
An integral domain is a nonzero commutative ring with identity and no zero divisors. A ring is Noetherian when every ideal is finitely generated, equivalently every ascending ideal chain stabilizes. A principal ideal domain is an integral domain in which every ideal is generated by one element.