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 .
If , all of its -conjugates are algebraic integers, so their sum and product give
Conversely, if these two quantities lie in , then is a root of
a monic polynomial whose coefficients are algebraic integers. Part (a), or transitivity of integral dependence, implies .
Let . The nontrivial -automorphism sends to , so
Also is integral, hence is integral, and
But has norm , so it is a unit of . Multiplying by its inverse proves .
Put
Away from , this satisfies . Its first derivative has jump , so, distributionally,
Applying to the proposed integral equation therefore gives
Since , this is precisely the stated Schrödinger equation. The term is the incident wave and the choice gives outgoing waves on both sides of each source point.
Set
The integral equation becomes
Evaluating it at the three delta functions gives
Thus
For , all three Green-function terms are proportional to . Hence
Now define , so that . If denotes the matrix multiplying , direct evaluation gives
The displayed algebraic equation is therefore exactly the condition that the finite-dimensional scattering system become singular. Its solutions are poles of the analytically continued scattering amplitude.
To see the imaginary-axis poles directly, write with . When , the equation reduces to
and its nonzero root is , or
This is the bound state of the coincident potential . When , the three centres decouple and the roots approach
with exponentially small splitting. A pole at has energy and an exponentially decaying wavefunction, so these upper imaginary-axis singularities represent bound states.
For discrete states of energy , the canonical partition function is
For a classical continuous system the sum is replaced by the appropriately normalized phase-space integral, including the Gibbs factor for identical particles.
It packages the equilibrium probabilities and hence all canonical thermodynamics. In particular,
and .
Take upward, let measure distance from the wall, and work in the cylinder frame. The wall at moves upward with speed . Choose the sign of so that the near-cylinder surface at moves upward with speed . Lubrication theory gives
Thus
The vertical volume flux per unit cylinder length is independent of and equals
Therefore
Because , its integral over vanishes. With
the quoted integrals give
It follows that
The partial-fraction decomposition is
The residues at and are respectively and . If two paths from to have winding-number differences and about those poles, their integrals differ by
Loops can wind around either pole independently, so the value changes by arbitrary integer multiples of and is multivalued.
Along the straight real segment,
Consequently the complete set of values is
Let be any closed curve in . Since the arc joins to without meeting , those two points lie in the same component of . Their winding numbers about are therefore equal. The residue theorem gives
Thus every closed-path period vanishes. Integrals from to along any two paths avoiding agree, so is single-valued. Notice that this argument uses cancellation of the two residues; simple connectedness of the slit domain is not required.
False without continuity. The function equal to at one point and elsewhere is nonnegative, Riemann integrable with integral , but is not identically zero.