Away from , the Green function solves . The solution satisfying the left boundary condition is proportional to , while the solution decaying at infinity is proportional to . Continuity at and the unit derivative jump
give
or , the dirichlet half-line Green function for d2 minus 1.
The required solution is
Evaluation of the two elementary integrals, split at , gives
Indeed, direct differentiation gives , and both boundary conditions are immediate.
For a partition
put
The upper and lower Darboux sums are
The upper and lower Darboux integrals are
The bounded function is Riemann integrable when these two numbers agree; their common value is its integral.
No. Enumerate the rationals in as
and define
The function is nonnegative and unbounded, while it is identically zero on . For any , however, is positive on the dense set of rationals and zero on the dense set of irrationals. Every interval therefore has positive oscillation, and the upper and lower Darboux integrals differ. Thus even the truncations need not be Riemann integrable.
No. Define
It is continuous at every point of and is unbounded. Its truncation is Riemann integrable, but
Thus it is not improperly integrable with a finite integral.
The Stokes theorem states that for an oriented smooth surface with positively oriented boundary ,
A field is conservative vector field if its line integral is path-independent, equivalently if every closed line integral vanishes. If , the fundamental theorem for line integrals gives
This is zero for every closed curve, so every globally defined gradient field is conservative.
The first field is
so its integral around is zero and it is conservative with potential .
Along , and
so
Thus is not conservative and cannot be a gradient on the stated punctured region.
Finally,
Its integral around is zero, and it is conservative with the displayed potential. Therefore the three integrals are respectively
and exactly are conservative gradient fields.
Comparing the prepared energy with the formula in part (ii),
so and . The radial probability density, apart from normalization, is
Using the given factorial integral, its mean is the ratio
For this gives the mean radius of a circular Coulomb bound state
Differentiate under the integral and use :
The omitted boundary term vanishes if the current is localized sufficiently rapidly. A steady current obeys charge conservation , hence
For much larger than the source size,
Localization and imply . They also imply
by integrating . Thus the first nonzero moment is antisymmetric and can be written using the magnetic dipole moment
Consequently the Coulomb-gauge vector potential of a localized steady current has far field
The dimensions are
For , the beta-integral evaluation gives
Differentiation under the integral sign near is justified by domination at zero and infinity. Therefore
Writing gives
Since
the logarithmic moments of the Cauchy kernel yield
The same expansion gives , agreeing with the supplied identity.
In a Boolean ring, . Using and gives
so
If is also a nonzero integral domain, then
forces every to equal or . Hence .
If is prime in a Boolean ring, then is a nonzero Boolean integral domain by part (i), and hence is . Since the quotient is a field,
This is the prime ideals of a Boolean ring are maximal property.
Suppose is prime. If
then , so or . Thus one factor is zero and is an integral domain.
Conversely, if is an integral domain and , then
so or . Therefore or , and is prime. This proves the prime ideal quotient criterion.
Reduce coefficients modulo :
This is a surjective ring homomorphism and its kernel consists exactly of polynomials all of whose coefficients lie in , namely . The first isomorphism theorem gives the coefficientwise quotient of a polynomial ring
If is prime, then is an integral domain, so is an integral domain. The quotient criterion therefore shows that is prime in .
If the bound is to hold with finite , the error functional must vanish on every polynomial whose fourth derivative is zero. Thus the scheme must be exact for degrees zero through three. Applying it to powers of gives
Solving,
This is the four-point one-sided second-derivative formula.
The Peano kernel theorem says that if a linear functional annihilates all polynomials of degree below , then for ,
Here and . Under the stated nonnegativity assumption,
The integral equals for , since . Now and
Therefore
Equality is attained by , so the sharp Peano-kernel constant for the four-point endpoint second derivative is
The Cauchy integral theorem states that if is holomorphic on a simply connected domain, then its integral around every closed piecewise smooth contour in that domain is zero.
Put . Completing the square gives
After the change of variable , the integral runs along the horizontal line . The integrand is entire. Apply Cauchy's theorem to a rectangle joining this line to the real axis; the two vertical integrals tend to zero as their real parts tend to , because . The contour may therefore be shifted to the real line. Hence the Fourier transform of a Gaussian gives