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 Schrodinger 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.
Differentiation under the integral gives . Integrating the derivative of and then once more yields .
The transformed inhomogeneous equation is . Taking gives the particular integral .
Substitution gives . Multiply by and integrate over ; decay kills the first and last integrals, leaving . Thus a nonconstant profile requires and approaches a fixed position.
The clockwise boundary integral at is
. Direct integration of the curl over the side and top gives the same value (the -dependent terms cancel), verifying Stokes.
Divergence theorem says for the outward normal. Here , so radial integration gives . On the sphere , whose integral is the same .
On , , so . Locally , but no single-valued global potential exists on the punctured domain; this is why irrotationality does not force this closed integral to vanish.
The series for converges uniformly by the M-test. Therefore termwise integration is valid and every term integrates to , so the integral is zero.
Using , the divergence is a line integral of a total derivative, zero for a closed wire or suitable vanishing endpoints. Taking the curl and moving it under the integral gives the stated Biot–Savart formula.