The ordinary integral fails because the simple real poles at and produce nonintegrable logarithmic singularities. Partial fractions give
Closing above for and below for , with symmetric semicircular indentations, yields
Taking real and imaginary parts,
All integrals here run over .
Given a nonzero fractional , scale it to an integral ideal . By (i), for some nonzero ideal . Then is fractional and .
Since is integral, is generated over by finitely many powers, hence is fractional. It is invertible by (c). Because it is a ring, ; multiplying by gives . Thus every lies in , so .
The nontrivial Floquet multiplier is the factor by which a transverse perturbation changes after one period. Liouville's formula makes its logarithm the integral of the divergence. Here , yielding the stated formula.
For , extend the integral to infinity:
Thus .
Repeated integration by parts in the cosine-coefficient integral shows for every when is smooth (endpoint terms vanish after using the even periodic extension). Parseval then bounds the squared tail by , which is . Choosing arbitrarily large proves spectral convergence.
Approximate uniformly by finite sums ; their integral operators have finite-dimensional range and converge in operator norm, so is compact. If for , iterated integration over an ordered simplex gives . Thus , and compact spectral theory gives .
Not for an arbitrary signed kernel. One can place very tall, very narrow spikes of at separated locations, with summable masses and total integral one, and matching still narrower spikes of an function accumulating at a Lebesgue point. Along a selected subsequence of dilations, a kernel spike lands on the matching function spike and contributes a fixed amount, while the total widths make the point a Lebesgue point. Thus compact support (or a suitable integrable radial majorant) cannot simply be dropped.
On disjoint events with , set . Then almost surely and , but any common dominator has integral at least . Thus no integrable dominating variable exists.
With phase , the original ray is a contour integral. At the endpoint , the steepest direction solves with decreasing real part; locally it is the direction for which is negative real.
Stirling and replacing the magnetization sum by an integral gives the stated form with , up to subexponential constants.
The second Adams operation lies in the integral character ring, so with integers . Norm one forces exactly one coefficient to be ; evaluation at the identity makes the sign positive. Squaring is bijective on conjugacy classes as well, so distinct irreducibles remain distinct. Thus the permute the irreducible characters.
A Poisson point process of intensity has independent counts on disjoint Borel sets, with whenever the integral is finite.
Multiplying two asymptotic eigenfunctions by reduces the integral, after the phase coordinate , to a constant multiple of .
The identity theorem says analytic functions agreeing on a set with an interior accumulation point agree throughout a connected domain. Analytic continuation is an analytic function on a larger connected domain agreeing on a nonempty overlap. Factor the denominator as . For , contour closure below gives
with a removable value at ; this entire expression is the continuation. For , the displayed real-axis integral encloses only and equals , so it is not that continuation. Finally only at a boundary point of , so the zeros do not determine ; for example is nonzero and has them all.
Use and replace the Fermi denominator by its Boltzmann form. The Gaussian integral gives
The continuous function attains a finite maximum on by the extreme value theorem. Additivity and the triangle inequality for the Riemann integral imply, for any ,
For reversed endpoints, reverse the orientation of the integral before taking its absolute value. Given , choose . Then implies . Thus is continuous on , including one-sided continuity at the endpoints; it is even Lipschitz continuous. If , the function is defined on one point and the conclusion is immediate.
The Fourier cosine series on is
It is the Fourier series of the even extension to , repeated with period . The Fourier sine series is
It comes from the odd extension and its -periodic extension. These Fourier coefficient formulas follow by Fourier orthogonality, since every nonconstant sine or cosine has squared integral on , while the constant function has squared integral .
Set and . The required integrals follow from
Consequently the Fourier coefficients are
Thus the Fourier cosine series is
and its sum is everywhere on . The Fourier sine series is
and its sum is on and zero at the two endpoints. The open and filled circles in the sketches distinguish these endpoint limits from the actual values of the sum.
Figure 1.
The sums and finite partial sums of the Fourier cosine series and Fourier sine series for
. The upper panels show the exact sums on . The lower panels compare twelve-term partial sums with the exponential function: the Fourier sine series has zero endpoints and oscillations near its periodic extension's jumps. Details.
For , let denote the time factor normalized by , . By superposition the Fourier sine series solution is
At , its initial velocity is . Multiply by , integrate on , and use the permitted interchange and Fourier orthogonality. This yields the requested integral expression
Under , is unchanged and . Hence every even-index Fourier coefficient is zero, including .
For odd , use and the product-to-sum formula:
Thus
In particular and . An explicit version of the solution of a differential equation is
Only the first, overdamped normal mode, the third, critically damped normal mode, and the odd underdamped normal modes of index at least five occur. No odd-index Fourier coefficient vanishes.