Ps5 - Standard Maclaurin series

Ps5 - Standard Maclaurin series

Use the five standard expansions in the formula booklet rather than differentiating afresh. You will substitute and simplify exponential, logarithmic, trigonometric and binomial series, track their validity, and calculate a signed approximation error.

Exponential and logarithmic substitutions

Is 1−0.02−0.00021-0.02-0.0002 above or below 0.96\sqrt{0.96}?

The expression looks rather unlike a square root. A binomial series will explain where it comes from, and a signed error will tell us which side it lies on. First, practise the shared skill behind all five standard expansions: substitute into the whole term, including every power.

You already know

A Maclaurin coefficient is f(r)(0)/r!f^{(r)}(0)/r!. A finite truncation approximates the function; the infinite equality has a validity set. You have already derived logarithm coefficients and seen that its upper endpoint is included.

The booklet lets you begin with known series. Use a temporary input uu so the formula's condition remains attached to the expression being substituted.

Exponential and logarithm series

For every real uu,

eu=1+u+u22!+u33!+⋯e^u=1+u+\frac{u^2}{2!}+\frac{u^3}{3!}+\cdots

For −1<u≤1-1<u\le1,

ln⁡(1+u)=u−u22+u33−u44+⋯\ln(1+u)=u-\frac{u^2}{2}+\frac{u^3}{3}-\frac{u^4}{4}+\cdots

The logarithm has no constant term; the exponential does.

In the formula booklet.

“First three non-zero terms” counts a non-zero constant as one term. It does not mean “through the cubic term” for every function.

Worked example 1: one input, two series

Question. Write the first three non-zero terms for e2xe^{2x} and ln⁡(1+2x)\ln(1+2x), and state where each infinite expansion is valid.

Plan. Set u=2xu=2x, simplify its powers and translate the logarithm inequality.

e2x=1+2x+(2x)22!+⋯=1+2x+2x2+⋯exponential termsln⁡(1+2x)=2x−(2x)22+(2x)33+⋯logarithm terms=2x−2x2+83x3+⋯simplify powers−1<2x≤1  ⟺  −12<x≤12logarithm validity\begin{aligned} e^{2x}&=1+2x+\frac{(2x)^2}{2!}+\cdots =1+2x+2x^2+\cdots && \text{exponential terms} \\ \ln(1+2x)&=2x-\frac{(2x)^2}{2}+\frac{(2x)^3}{3}+\cdots && \text{logarithm terms} \\ &=2x-2x^2+\frac83x^3+\cdots && \text{simplify powers} \\ -1<2x\le1&\iff-\frac12<x\le\frac12 && \text{logarithm validity} \end{aligned}

Why this step? The square of 2x2x is 4x24x^2, so the quadratic coefficient is not merely doubled.

Answer. e2xe^{2x}: 1+2x+2x21+2x+2x^2, valid for all real xx. Logarithm: 2x−2x2+83x32x-2x^2+\frac83x^3, valid for −12<x≤12-\frac12<x\le\frac12.

Check. Both constant values agree with the functions at zero: e0=1e^0=1 and ln⁡1=0\ln1=0.

Reverse only the input's sign. The logarithm's included endpoint moves from the right to the left.

Worked example 2: a negative substituted input

Question. Give the first three non-zero terms and validity sets for e−2xe^{-2x} and ln⁡(1−2x)\ln(1-2x).

Plan. Substitute u=−2xu=-2x in both series and reverse the inequalities when dividing by a negative number.

e−2x=1−2x+(−2x)22!+⋯=1−2x+2x2+⋯even power positiveln⁡(1−2x)=−2x−(−2x)22+(−2x)33+⋯retain signs=−2x−2x2−83x3+⋯all three negative−1<−2x≤1  ⟺  −12≤x<12reverse inequality signs\begin{aligned} e^{-2x}&=1-2x+\frac{(-2x)^2}{2!}+\cdots =1-2x+2x^2+\cdots && \text{even power positive} \\ \ln(1-2x)&=-2x-\frac{(-2x)^2}{2}+\frac{(-2x)^3}{3}+\cdots && \text{retain signs} \\ &=-2x-2x^2-\frac83x^3+\cdots && \text{all three negative} \\ -1<-2x\le1&\iff-\frac12\le x<\frac12 && \text{reverse inequality signs} \end{aligned}

Why this step? The logarithm's alternating signs combine with the input's powers; they do not remain alternating in the simplified result.

Answer. The displayed three-term expressions; exponential validity is all real xx, while logarithm validity is −12≤x<12-\frac12\le x<\frac12.

Check. At x=−1/2x=-1/2, the logarithm input is 11, giving the included expansion of ln⁡2\ln2. At x=1/2x=1/2, the function is undefined.

These direct substitutions are useful when no derivative-based method is requested. If a question says “hence” after supplying derivatives, use that earlier work instead.

Watch out

Wrong: ln⁡(1−2x)=−2x+2x2−⋯\ln(1-2x)=-2x+2x^2-\cdots. Right: its quadratic term is −(−2x)2/2=−2x2-(-2x)^2/2=-2x^2. Substitute first, simplify signs second.

Change the coefficient and retain the exact logarithm endpoint information.

Sine and cosine in radians

Sine has only odd powers and cosine has only even powers, so the number of non-zero terms differs from the polynomial degree.

Their Maclaurin series use radians. This is built into the familiar derivatives d(sin⁡x)/dx=cos⁡xd(\sin x)/dx=\cos x and d(cos⁡x)/dx=−sin⁡xd(\cos x)/dx=-\sin x.

Trigonometric series

For every real input uu, measured in radians,

sin⁡u=u−u33!+u55!−⋯cos⁡u=1−u22!+u44!−⋯\begin{aligned} \sin u&=u-\frac{u^3}{3!}+\frac{u^5}{5!}-\cdots \\ \cos u&=1-\frac{u^2}{2!}+\frac{u^4}{4!}-\cdots \end{aligned}

The general terms are (−1)ru2r+1/(2r+1)!(-1)^r u^{2r+1}/(2r+1)! for sine and (−1)ru2r/(2r)!(-1)^r u^{2r}/(2r)! for cosine, with r≥0r\ge0.

In the formula booklet.

Both expansions are valid for all real inputs. A short truncation is usually most useful near zero, where the omitted powers are small.

Worked example 3: scaling the angle

Question. Find the first three non-zero terms of sin⁡2x\sin2x and cos⁡2x\cos2x.

Plan. Substitute u=2xu=2x into each standard series and simplify the factorial coefficients.

sin⁡2x=2x−8x36+32x5120+⋯odd powers=2x−43x3+415x5+⋯simplifycos⁡2x=1−4x22+16x424+⋯even powers=1−2x2+23x4+⋯simplify\begin{aligned} \sin2x&=2x-\frac{8x^3}{6}+\frac{32x^5}{120}+\cdots && \text{odd powers} \\ &=2x-\frac43x^3+\frac4{15}x^5+\cdots && \text{simplify} \\ \cos2x&=1-\frac{4x^2}{2}+\frac{16x^4}{24}+\cdots && \text{even powers} \\ &=1-2x^2+\frac23x^4+\cdots && \text{simplify} \end{aligned}

Why this step? The input multiplier is raised to the same power as xx; the cubic term gets a factor 232^3.

Answer. The displayed expressions, valid for all real xx.

Check. At zero they give 00 and 11, matching sine and cosine.

Change only the requested sine expression by dividing it by xx. Every power decreases by one, so a constant term appears.

Worked example 4: a quotient near zero

Question. Find the first three non-zero terms for sin⁡(2x)/x\sin(2x)/x, and hence find its limit as x→0x\to0.

Plan. Divide every term of the sine expansion by xx, then let the remaining positive powers vanish.

sin⁡2xx=2x−43x3+415x5−⋯xx≠0=2−43x2+415x4−⋯divide each termlim⁡x→0sin⁡2xx=2positive powers vanish\begin{aligned} \frac{\sin2x}{x} &=\frac{2x-\frac43x^3+\frac4{15}x^5-\cdots}{x} && x\ne0 \\ &=2-\frac43x^2+\frac4{15}x^4-\cdots && \text{divide each term} \\ \lim_{x\to0}\frac{\sin2x}{x}&=2 && \text{positive powers vanish} \end{aligned}

Why this step? The original quotient is undefined at x=0x=0, but its nearby values can still have a limit.

Answer. 2−43x2+415x42-\frac43x^2+\frac4{15}x^4, with limit 22. The infinite expansion is valid for every non-zero real xx.

Check. With x=0.01x=0.01, sin⁡(0.02)/0.01=1.999866669…\sin(0.02)/0.01=1.999866669\ldots, close to 22.

This quotient is a useful example of the difference between a value and a limit. Extending its value to 22 at zero would remove the discontinuity, but that is an extra definition.

Watch out

Wrong: dividing the sine series by xx leaves its powers unchanged. Right: x3/x=x2x^3/x=x^2 and x5/x=x4x^5/x=x^4. Divide every term.

Now change the angle multiplier.

Binomial powers and their validity

Fractional and negative powers can also be expanded: the binomial coefficients continue the same falling-product pattern you know for integer powers.

Binomial series

For real pp,

(1+u)p=1+pu+p(p−1)2!u2+p(p−1)(p−2)3!u3+⋯(1+u)^p=1+pu+\frac{p(p-1)}{2!}u^2+ \frac{p(p-1)(p-2)}{3!}u^3+\cdots

If pp is a non-negative integer, this terminates and is valid for all real uu. Otherwise, ∣u∣<1|u|<1 guarantees validity. Endpoint convergence depends on pp; do not automatically include or exclude either endpoint.

The formula and the non-terminating series' open-interval condition are provided.

In the formula booklet.

For example, p=2p=2 gives the finite polynomial 1+2u+u21+2u+u^2. With p=−1/2p=-1/2, none of the falling factors becomes zero, so the series continues indefinitely. These are different boundary cases of the same coefficient rule.

Worked example 5: a reciprocal square root

Question. Expand (1+2x)−1/2(1+2x)^{-1/2} through the term in x3x^3, and state the interval guaranteed by the booklet.

Plan. Set p=−1/2p=-1/2 and u=2xu=2x, calculate the three coefficients and impose ∣2x∣<1|2x|<1.

(1+2x)−1/2=1−12(2x)+(−12)(−32)2(2x)2+(−12)(−32)(−52)6(2x)3+⋯binomial coefficients=1−x+32x2−52x3+⋯simplify∣2x∣<1  ⟺  −12<x<12guaranteed interval\begin{aligned} (1+2x)^{-1/2} &=1-\frac12(2x) +\frac{(-\frac12)(-\frac32)}2(2x)^2 +\frac{(-\frac12)(-\frac32)(-\frac52)}6(2x)^3+\cdots && \text{binomial coefficients} \\ &=1-x+\frac32x^2-\frac52x^3+\cdots && \text{simplify} \\ |2x|<1&\iff-\frac12<x<\frac12 && \text{guaranteed interval} \end{aligned}

Why this step? The coefficient includes both the falling factors from pp and the power of the inner multiplier 22.

Answer. 1−x+32x2−52x31-x+\frac32x^2-\frac52x^3, guaranteed for −12<x<12-\frac12<x<\frac12.

Check. The derivative at zero is −1-1, matching the linear coefficient.

Change only the exponent from −1/2-1/2 to 1/21/2. This gives the square-root expansion needed for the opening puzzle.

Worked example 6: a square root

Question. Expand (1+2x)1/2(1+2x)^{1/2} through x3x^3, stating the interval guaranteed by the booklet.

Plan. Replace the exponent in the falling factors while keeping the same input and interval calculation.

(1+2x)1/2=1+12(2x)+(12)(−12)2(2x)2+(12)(−12)(−32)6(2x)3+⋯new exponent=1+x−12x2+12x3+⋯simplify products∣2x∣<1  ⟺  −12<x<12same guaranteed interval\begin{aligned} (1+2x)^{1/2} &=1+\frac12(2x) +\frac{(\frac12)(-\frac12)}2(2x)^2 +\frac{(\frac12)(-\frac12)(-\frac32)}6(2x)^3+\cdots && \text{new exponent} \\ &=1+x-\frac12x^2+\frac12x^3+\cdots && \text{simplify products} \\ |2x|<1&\iff-\frac12<x<\frac12 && \text{same guaranteed interval} \end{aligned}

Why this step? After the first factor, p−1p-1 and p−2p-2 are negative. Their signs make the quadratic term negative and the cubic term positive.

Answer. 1+x−12x2+12x31+x-\frac12x^2+\frac12x^3, guaranteed for −12<x<12-\frac12<x<\frac12.

Check. Squaring the cubic polynomial gives 1+2x1+2x through the cubic term; the quadratic and cubic contributions cancel.

The open interval is a guarantee, not a universal verdict about its endpoints. For the reciprocal square-root series the full validity set is −12<x≤12-\frac12<x\le\frac12; for the square-root series it is −12≤x≤12-\frac12\le x\le\frac12. These endpoint facts are not stated in the booklet. For a general exponent, use separate endpoint information if the question requires it; no proof of convergence is needed here.

Watch out

Wrong: apply ∣x∣<1|x|<1 after substituting u=2xu=2x. Right: apply ∣2x∣<1|2x|<1. Also distinguish a guaranteed open interval from a separately established full endpoint-inclusive set.

Keep the reciprocal square root but change the inner coefficient and its sign.

Approximations and signed error

Choose a small substituted input, truncate at the requested term, and compare the resulting value with the function using the stated error convention.

For a square root, writing the target as (1+u)1/2(1+u)^{1/2} makes the useful input visible. The quadratic truncation is 1+u/2−u2/81+u/2-u^2/8, obtained from the binomial formula above.

Error in an approximation

error=approximate value−exact value\text{error}=\text{approximate value}-\text{exact value}

A positive error means an overestimate; a negative error means an underestimate. Retain unrounded values when calculating it.

Not in the formula booklet: learn it.

A calculator value of the function supplies the comparison to as many figures as needed; it does not turn a truncated series into an exact equality.

Worked example 7: a small positive input

Question. Use 1+u/2−u2/81+u/2-u^2/8 to approximate 1.04\sqrt{1.04}. Find the signed error to two significant figures.

Plan. Set u=0.04u=0.04, evaluate the polynomial and subtract the function value.

1.04≈1+0.042−0.0428small valid input=1+0.02−0.0002=1.0198quadratic truncationE=1.0198−1.04approximate minus exact=−0.000003902718…unrounded comparison\begin{aligned} \sqrt{1.04}&\approx1+\frac{0.04}2-\frac{0.04^2}{8} && \text{small valid input} \\ &=1+0.02-0.0002=1.0198 && \text{quadratic truncation} \\ E&=1.0198-\sqrt{1.04} && \text{approximate minus exact} \\ &=-0.000003902718\ldots && \text{unrounded comparison} \end{aligned}

Why this step? The sign of the subtraction tells you whether the approximation lies above or below the true value.

Answer. Approximation 1.01981.0198; error −3.9×10−6-3.9\times10^{-6}, an underestimate.

Check. The next term is u3/16>0u^3/16>0, consistent with the omitted first correction raising the value.

Change only the input's sign to −0.04-0.04. The quadratic term keeps its sign, but the direction of the error changes.

Worked example 8: the opening square root

Question. Use the same truncation to approximate 0.96\sqrt{0.96} and find the signed error to two significant figures.

Plan. Write 0.96=1−0.040.96=1-0.04, substitute u=−0.04u=-0.04, then subtract the exact function value.

0.96≈1−0.042−(−0.04)28u=−0.04=1−0.02−0.0002=0.9798same quadratic signE=0.9798−0.96signed convention=0.000004102886…positive difference\begin{aligned} \sqrt{0.96}&\approx1-\frac{0.04}2-\frac{(-0.04)^2}{8} && u=-0.04 \\ &=1-0.02-0.0002=0.9798 && \text{same quadratic sign} \\ E&=0.9798-\sqrt{0.96} && \text{signed convention} \\ &=0.000004102886\ldots && \text{positive difference} \end{aligned}

Why this step? A negative input does not make its square negative. The next omitted cubic term is negative, unlike in the previous example.

Answer. 0.97980.9798, with error 4.1×10−64.1\times10^{-6}; the opening expression is an overestimate.

Check. 0.96=0.979795897…<0.9798\sqrt{0.96}=0.979795897\ldots<0.9798.

A negative error is useful information, not a mistake to erase by taking an absolute value. Only take the absolute error if the question asks for it.

Watch out

Wrong: error means the positive difference regardless of order. Right: here it means approximate minus exact. Reversing that subtraction reverses the interpretation.

Change the negative input's magnitude and retain enough figures to decide the signed error.

Quick Recap

  • Substitute the entire input into each power, then simplify.
  • Count non-zero terms carefully; constants count, zero coefficients do not.
  • Use radians for sine and cosine and apply each series' actual validity condition.
  • For binomial series, distinguish terminating powers, guaranteed open intervals and separate endpoint facts.
  • Signed error is approximate minus exact.

The opening expression is 0.97980.9798, slightly above 0.96\sqrt{0.96}.