How to Find the Power Series Representation of a Function
Finding the power series representation of a function means expressing the function as an infinite sum of terms (a_n(x-c)^n) centered at a point (c). This technique is fundamental in calculus, differential equations, and mathematical analysis because it allows us to approximate complicated functions with polynomials, evaluate integrals and derivatives term‑by‑term, and solve problems that are otherwise intractable. Below is a step‑by‑step guide that covers the theory, practical strategies, and worked examples you need to master this skill.
Understanding Power Series
A power series centered at (c) has the form
[ \sum_{n=0}^{\infty} a_n (x-c)^n = a_0 + a_1(x-c) + a_2(x-c)^2 + \cdots . ]
The series converges for values of (x) within its radius of convergence (R); outside this interval the sum diverges. When a function (f(x)) can be written exactly as such a series on its interval of convergence, we say that (f(x)) has a power series representation Worth keeping that in mind..
And yeah — that's actually more nuanced than it sounds Worth keeping that in mind..
Key facts to remember:
- If a power series converges at (x = c), it always converges at that point (the sum is (a_0)).
- Within the interval of convergence, a power series can be differentiated and integrated term‑by‑term, yielding new series that represent the derivative and antiderivative of the original function.
- Many elementary functions have well‑known series (geometric, exponential, sine, cosine, binomial) that serve as building blocks.
Step‑by‑Step Procedure to Find a Power Series Representation
-
Identify a Known Series
Start by recalling a basic power series that resembles the target function. Common examples include:- Geometric series: (\displaystyle \frac{1}{1-u}= \sum_{n=0}^{\infty} u^n) for (|u|<1).
- Exponential: (\displaystyle e^{u}= \sum_{n=0}^{\infty} \frac{u^n}{n!}) for all (u).
- Sine: (\displaystyle \sin u = \sum_{n=0}^{\infty} (-1)^n \frac{u^{2n+1}}{(2n+1)!}).
- Cosine: (\displaystyle \cos u = \sum_{n=0}^{\infty} (-1)^n \frac{u^{2n}}{(2n)!}).
- Binomial: (\displaystyle (1+u)^k = \sum_{n=0}^{\infty} \binom{k}{n} u^n) (valid for (|u|<1) when (k) is not a non‑negative integer).
-
Algebraic Manipulation to Match the Form
Rewrite the given function so that it looks like one of the known series. This often involves:- Factoring constants out of the expression.
- Substituting a simpler variable (u = g(x)) (e.g., (u = -x^2) or (u = 2x)).
- Using partial fractions to break a rational function into simpler pieces.
-
Apply Substitution
Replace (u) in the known series with the expression you identified in step 2. see to it that the substitution respects the convergence condition (e.g., if the original series requires (|u|<1), then you must enforce (|g(x)|<1) to find the interval of convergence for the new series). -
Differentiate or Integrate if Needed
If the function is not directly a known series but its derivative or integral is, compute the series for the derivative/integral first, then differentiate or integrate term‑by‑term to obtain the series for the original function. Remember to add the constant of integration when integrating. -
Multiply or Divide by Powers of (x)
Sometimes you need to multiply the series by (x^m) or divide by a power of (x) to match the target function. Multiplying by (x^m) simply shifts the index:[ x^m \sum_{n=0}^{\infty} a_n (x-c)^n = \sum_{n=0}^{\infty} a_n (x-c)^{n+m}. ]
-
Determine the Radius and Interval of Convergence
Use the ratio test (or root test) on the resulting series to find (R). Then test the endpoints separately to decide whether they are included. -
Write the Final Series in Sigma Notation
Express the answer clearly as[ f(x) = \sum_{n=0}^{\infty} a_n (x-c)^n, ]
with an explicit formula for (a_n) if possible, and state the interval of convergence Turns out it matters..
Worked Examples
Example 1: (f(x)=\frac{1}{1-3x})
-
Recognize the geometric series (\frac{1}{1-u}= \sum_{n=0}^{\infty} u^n) with (|u|<1) It's one of those things that adds up..
-
Set (u = 3x). Then (\frac{1}{1-3x}= \sum_{n=0}^{\infty} (3x)^n) Still holds up..
-
Simplify: (\displaystyle \sum_{n=0}^{\infty} 3^n x^n).
-
Convergence requires (|3x|<1 \Rightarrow |x|<\frac{1}{3}) That's the part that actually makes a difference. That's the whole idea..
-
Final answer:
[ \boxed{\frac{1}{1-3x}= \sum_{n=0}^{\infty} 3^n x^n,\qquad |x|<\frac{1}{3}}. ]
Example 2: (f(x)=e^{2x^2})
-
Start with the exponential series (e^{u}= \sum_{n=0}^{\infty} \frac{u^n}{n!}) Simple, but easy to overlook. No workaround needed..
-
Substitute (u = 2x^2).
-
Obtain (\displaystyle e^{2x^2}= \sum_{n=0}^{\infty} \frac{(2x^2)^n}{n!}= \sum_{n=0}^{\infty} \frac{2^n}{n!} x^{2n}) Simple as that..
-
The exponential series converges for all (u), hence for all (x).
-
Final answer:
[ \boxed{e^{2x^2}= \sum_{n=0}^{\infty} \frac{2^n}{n!} x^{2n},\qquad (-\infty,\infty)}. ]