The truncated Fourier cosine series gives the better approximation over the whole closed interval. Its Fourier coefficients obey , so absolute convergence and the tail bound
give uniform convergence. The even periodic extension is continuous; its slope changes only cause corners.
By contrast . The odd periodic extension has a jump at , giving slower coefficient decay and the Gibbs phenomenon near that endpoint. Every truncated Fourier sine series satisfies , so
It therefore cannot converge uniformly to on , although it converges at every point of . This comparison concerns approximation across the interval; it does not assert that the cosine truncation has smaller error at every individual interior point for every .
This is a geometric series with ratio . Since , the condition is equivalent to
It holds for every real except . At the terms are all one; at they alternate between and . Neither sequence of terms tends to zero. Thus
All the convergent cases have absolute convergence, including , when every term is zero.
The comparison test for series states that if for all sufficiently large , then convergence of implies convergence of ; conversely, divergence of implies divergence of . A summable bound on proves absolute convergence of .
For the ratio test, suppose the terms are eventually nonzero and exists. If , the series converges absolutely. If , including , the terms fail to tend to zero and the series diverges. If , the test is inconclusive. An eventually zero series converges separately. Convergence means that the sequence of partial sums has a finite limit; the terms tending to zero is only a necessary condition for a convergent series.
At , the Fourier series equals . Isolating the first term gives
Changing the sign of the remaining denominators proves
The absolute convergence justifies the evaluation and rearrangement.
The ratio test uses , when it exists for eventually nonzero terms: gives absolute convergence, gives divergence, and is inconclusive.
For ,
Thus the first series converges absolutely. For the alternating second series,
so it diverges. Alternating signs cannot rescue terms whose absolute values fail to tend to zero.
For a series with eventually nonzero terms , suppose exists. The ratio test says that implies absolute convergence, while implies divergence because the terms fail to tend to zero. At the test is inconclusive.
For absolute convergence, examine . When , the ratio of successive terms tends to , so the ratio test proves convergence; at every term is zero. For , the terms do not tend to zero.
At either boundary , the absolute-value series is the divergent harmonic series. Thus for real the complete answer is
The original series at is conditionally convergent by the alternating-series criterion, but it is not absolutely convergent and is correctly excluded here.
Use the real Fourier series convention . The function is an even function, so . For noninteger real ,
For , the product-to-sum identity gives
Thus the Fourier series of a noninteger-frequency cosine is
Its Fourier coefficients are , giving absolute convergence and uniform convergence. The periodic function is continuous at its joins because the two endpoint cosine values coincide, so the Dirichlet-Jordan convergence theorem gives this value at every point.
Putting gives
Evaluate at , where , and multiply by :
Comparing with the required form gives .
Insert into the exponential series . For every fixed , this gives the expansion with absolute convergence
This is a Laurent series in inverse powers of , as requested. It is not a Maclaurin series about zero: that series has every coefficient zero and cannot equal on a punctured neighborhood of zero. There is no contradiction, since the inverse-power expansion does not apply at .
Apply the ratio test to the infinite series whose partial sums are . Assuming the terms are eventually nonzero and the limit exists, let
If , the series has absolute convergence, by eventual comparison with a decaying geometric series. If , including an infinite limit, the terms fail to tend to zero and the series diverges. If , the test is inconclusive: both and have that ratio limit, but only the second converges. A finite partial sum itself requires no convergence test; the issue is the limit as .
The even-power formula reduces every summand to a scalar multiple of :
Both series have absolute convergence. Apply the logarithm expansion for to obtain
Thus the off-diagonal entries vanish and both diagonal entries have the required value.
The integrand for is an odd function with absolute convergence, so . For , the recurrence gives , where the supplied Gaussian integral is . Hence
The zero first moment is specific to the symmetric full-line domain.
The integral converges absolutely: near zero it behaves like , and at infinity like . Let its value be . The integration by substitution gives
Therefore
Absolute convergence makes this cancellation between the two ends legitimate.
Write the formal Maclaurin series as , where . If the successive nonzero coefficient ratios have a limit, the ratio test gives
so the series converges absolutely for , where
If that ratio does not exist, the Cauchy-Hadamard theorem gives the general formula . The radius of a Maclaurin series from successive derivatives concerns convergence of the series; equality to the original function additionally requires analyticity or a vanishing Taylor remainder. Mere differentiability, or even smoothness, does not ensure that equality.
For the specified logarithm,
The absolute successive-term ratio tends to , so the interval of absolute convergence is . At the nonconstant terms are the alternating harmonic series, which converges conditionally to , giving the full sum . At all nonconstant terms are , so the series diverges to ; the original logarithm is also undefined there. Thus the full real convergence interval is .
For , differentiate the finite geometric series and multiply by :
The required terms are with . The finite weighted geometric sum therefore gives
Since , the correction tends to zero, proving convergence and yielding
In fact the ratio test also proves absolute convergence, since the ratio of consecutive absolute terms tends to .
Let and . Consecutive even and odd terms cancel exactly:
Thus
Both parity subsequences have the same limit, so the full sequence of partial sums converges and the sum is zero. This check is necessary: cancellation in fixed pairs alone does not always prove convergence of the original series.
For absolute convergence, each pair instead contributes
The inequality follows from . The lower-bound series diverges by comparison with the harmonic series. Therefore the paired logarithmic series with zero sum has
The usual interior condition for the binomial series is , giving as its open interval of convergence. In this particular square-root case the full series also converges absolutely at both endpoints, so the maximal real range on which its sum equals the original function is
For an endpoint check, write , where and . Then by telescoping, establishing absolute convergence at . The square-root binomial series at its endpoints proves continuity of the sum there. The endpoint values are at and at . Outside this range the power-series terms do not tend to zero. A three-term truncation remains an approximation, rather than an exact formula throughout the interval.
Both sums are geometric series. For first term and common ratio with , the sum is . Taking the initial term to be gives
and
Both have absolute convergence because the series of absolute values has ratio .