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.
Equality of constant terms is preserved by componentwise addition, subtraction, and multiplication, and belongs to the set, so is a subring. The projection is surjective and
The nonzero elements and have product zero, so is not an integral domain and hence not a PID. In fact , which also shows that it is Noetherian.
A euclidean domain is an integral domain with a function on nonzero elements such that for there are with and either or .
Write the rational root in lowest terms as . The factor is primitive and divides over ; Gauss's lemma makes it divide in . Comparison of leading coefficients makes divide the leading coefficient one, so and the root is integral.
For a closed surface, for any finite cell decomposition. Gauss–Bonnet for a geodesic polygon says
and for a closed smooth surface it says .
For a large radius, the graph surface bounded over that circle is flat near its boundary. The boundary geodesic-curvature integral is , so Gauss–Bonnet on the disc gives . Since , continuity forces .
For the torus,
Thus has and has . Cap the two boundary circles of the outer half by flat discs. The result is a sphere, and the caps contribute no Gaussian curvature, so Gauss–Bonnet gives . The full torus has Euler characteristic zero, hence total curvature zero and
Since
the divergence theorem proves Green's second identity.
If and , the image solution is
It vanishes on the plane and has the required unit delta source.
Green's identity yields the Poisson-kernel integral
On the axis this becomes
If the monic orthogonal polynomial had fewer than distinct sign-changing zeros in , multiply the factors corresponding to those zeros to form a polynomial of degree below . Then has one sign and is not identically zero, so its positive-weight integral cannot vanish, contradicting orthogonality. Thus all zeros are distinct and lie in the open interval.
The Euler–Lagrange equations are
For their general solution is
while for , .
The action has continuous translation symmetry in ; it is also invariant up to endpoint terms under adding homogeneous Jacobi solutions to and to . For it additionally has continuous time-translation symmetry; for nonzero only the corresponding discrete period remains.
A complete set of four independent first integrals is
In particular is conserved; when , the usual total energy is conserved as well.
The Heaviside factor restricts the integral to . With ,
In a parallel-plate rheometer, a point at radius on the upper plate moves at speed . The thin-gap approximation therefore gives the local shear rate
Define the rim value
An annulus of radius and width has area ; its tangential force is , and its moment arm is . The measured torque is consequently
For a generalized Newtonian fluid, . Changing the integration variable from to gives
Thus the requested kernel is
Multiplying by and taking a derivative with respect to turns the upper-limit contribution of the integral into the rim viscosity:
Therefore
A measured torque curve and its slope hence determine over the range of imposed rim shear rates.
The experimental law implies
Substitution gives
The graph is a decreasing rectangular hyperbola with a positive high-rate plateau and a divergence at the origin. Equivalently,
so the inferred material is a Bingham plastic with yield stress .
Use the Hankel contour about the negative real axis: it starts at below the cut, circles the origin counterclockwise, and returns to above the cut. Take . For , the small circle vanishes and the two banks give
The gamma reflection formula then gives
Near zero,
Subtracting any desired number of these terms makes the local contour integral converge in successively larger left half-planes. The resulting apparent singularities are removable after multiplication by , so the Hankel formula analytically continues to all .
The nonzero poles are
Their paired residues sum to
The paired series converges for by the alternating-series test, and absolutely for . Therefore
Using the stated contour closure, the Hankel integral is times this sum. Substitution into part (a) gives
Now and , so
It was derived on a nonempty half-plane. Both sides have analytic continuations, with the apparent gamma poles cancelled by the sine factor or the trivial zeros from part (b); the identity theorem therefore extends it to every .