Oddness gives zero cosine coefficients. Integration by parts gives the sine Fourier coefficients
The Fourier series of the piecewise smooth periodic extension converges to its value at interior continuity points. Termwise integration from 0 to is valid: on the interval between these points, which stays inside , the partial sums of are uniformly bounded by the geometric-sum formula, since is bounded away from zero. The Dirichlet test therefore gives uniform convergence there. Integrating gives
The integrated series is absolutely and uniformly convergent. Consequently
Independently, the constant Fourier coefficient is . Comparison yields
The original sine series is not uniformly convergent on the whole open interval; that stronger assertion is unnecessary for the justified integration.
The series for converges uniformly by the M-test. Therefore termwise integration is valid and every term integrates to , so the integral is zero.
For , the geometric series gives . Its uniform convergence on every closed interval strictly inside permits termwise integration from zero to . Therefore
Subtracting cancels every even power and doubles every odd power, giving the Taylor series
The power series for has uniform convergence on every compact interval, so termwise integration from zero to is valid. Thus
This power series converges for every real , including negative with the usual orientation of a definite integral.
The volumetric flow rate is the integral of axial velocity over the cross-section:
The plane Poiseuille flow contribution is
For each correction eigenfunction,
Uniform convergence permits termwise integration. Multiplying these two integrals by gives
Consequently
Every summand in the subtracted quantity is positive. Thus the side walls reduce the flux below the infinite-width plane Poiseuille flow prediction. Its dimensions are volume per unit time, as required for a volumetric flow rate.
Residue Created 2026-09-24 Updated 2026-10-13
The residue of a function at an isolated singularity is its Laurent coefficient of degree . More explicitly, if is holomorphic for , write its Laurent series as
This one Laurent coefficient determines the contour integral around a sufficiently small counterclockwise circle about . A complicated local Laurent series can therefore leave a remarkably simple answer after one complete trip around the point.
For a simple pole, multiplying by removes the pole, leaving a holomorphic extension whose value at is the residue:
There is a useful shortcut for a quotient . If and are holomorphic near , has a simple zero there, and , then has a simple pole and
The first-order Taylor series of explains the denominator: dividing by leaves its derivative at in the limit. This computes a residue without finding the full Laurent series, which is especially useful when the numerator or denominator is complicated. [ref]
For example, the rational function has simple poles at and . Factoring the denominator makes both residues immediately visible:
The signs matter: these residues cancel when both poles are enclosed, but either one contributes when enclosed alone. The residue theorem below turns this distinction into different contour integrals of the same function.
A residue is not the same thing as a pole, nor does it measure the order of a pole. The function has a double pole at zero but residue zero. Conversely,
has an essential singularity at zero and residue one. Infinitely many negative powers cause no difficulty in reading off that particular Laurent coefficient. At a removable singularity the residue is zero. [ref]
Why does only this Laurent coefficient survive? Parametrize a counterclockwise circle by , , with . For every integer ,
When , the complex exponential completes a whole number of turns and its contributions cancel; when , it is constant. Uniform convergence of the Laurent series on this circle justifies termwise integration, giving . Thus the residue isolates exactly the local information that a closed contour integral detects. [ref]
This selection rule explains why a very large value near an isolated singularity need not produce a large contour integral. The double pole grows faster near zero than , yet its contributions around a circle cancel completely. What matters is the arrangement of complex values along the path, including the differential , rather than their moduli alone. A residue records that surviving contribution, not the size of the function near the point.
For real , the geometric-series expansion of gives an integrable series after multiplication by : each absolute integral is bounded by . Termwise integration is therefore justified and gives the convergent series .