Comprehensive Engineering Calculus: Sequences, Infinite Series, and Taylor-Maclaurin Expansions

Course Overview and Preliminaries

  • Course Title and Affiliations:

    • Course: Calculus (ES26201), Unit I

    • Academic Level: FY B.Tech Course Team

    • Department: Department of Engineering Sciences and Humanities

    • Institution: BRACT's Vishwakarma Institute of Technology, Pune

    • Institutional Accreditations: NAAC Accredited, NBA Accredited Programs, Approved by AICTE, Autonomous by UGC, Affiliated to SPPU Pune, ISO Certified

  • Curricular Scope:

    • Sequences and their classification

    • Infinite series and partial sums

    • Convergence and divergence tests (Comparison Tests, D'Alembert's Ratio Test, Leibniz Test)

    • Power series, radius of convergence, and interval of convergence

    • Taylor's theorem, Taylor's series, and Maclaurin's series expansions

    • Numerical approximations and application to non-elementary integrals

Foundational Mathematical Concepts: Relations and Functions

  • Cartesian Product of Sets:

    • Let AA and BB be two non-empty sets. The Cartesian product of AA and BB, denoted by A×BA \times B, is the set of all ordered pairs (a,b)(a, b) such that a∈Aa \in A and b∈Bb \in B.

    • Formal set definition:     A×B={(a,b)∣a∈A,b∈B}A \times B = \{(a, b) \mid a \in A, b \in B\}

    • A relation between AA and BB is defined as any subset of A×BA \times B.

    • If AA is non-empty, any relation defined on A×AA \times A is termed a binary relation on AA.

  • Function of a Single Variable:

    • Definition: A function (or mapping) ff from a set AA to a set BB, denoted f:A→Bf: A \to B, is a relation that associates each element x∈Ax \in A with a unique (exactly one) element y∈By \in B.

    • Image representation: The element yy is expressed as y=f(x)y = f(x), where yy is called the image of xx under ff.

    • Terminology: The set AA is designated as the domain of ff, and the set BB is designated as the co-domain of ff.

    • Variable roles: xx acts as the independent variable, whereas yy acts as the dependent variable.

  • Analysis of Relations for Function Validity:

    • Consider sets A={a,b,c,d}A = \{a, b, c, d\} and B={1,2,3,4,5}B = \{1, 2, 3, 4, 5\}.

    • Relation R1R_1: Maps a→3a \to 3, b→3b \to 3, c→4c \to 4, and d→2d \to 2.

    • Validation: Every element in the domain AA is associated with exactly one element in BB.

    • Classification: R1R_1 is a function.


R1 Function Mapping
  • Relation R2R_2: Maps a→1a \to 1, b→2b \to 2, and c→2c \to 2, while element dd has no outgoing arrow.

    • Validation: The domain element dd fails to associate with any element in codomain BB.

    • Classification: R2R_2 is not a function.


R2 Non-Function Mapping
  • Relation R3R_3: Maps a→1a \to 1, a→2a \to 2, b→3b \to 3, c→4c \to 4, and d→5d \to 5.

    • Validation: The domain element aa is associated with multiple elements (11 and 22) rather than a unique element.

    • Classification: R3R_3 is not a function.


R3 Non-Function Mapping

Theory of Sequences

  • Definition and Notation:

    • A sequence is a function whose domain is the set of natural numbers N\mathbb{N} and whose codomain is the set of real numbers R\mathbb{R}.

    • Notations: Denoted as {an}\{a_n\}, {an}n=1∞\{a_n\}_{n=1}^{\infty}, or (an)(a_n).

    • Explicit form:     {an}=(a1,a2,…,ak,… )\{a_n\} = (a_1, a_2, \dots, a_k, \dots)     where aka_k denotes the kthk^{\text{th}} term of the sequence.

    • Elementary examples:

    • Natural sequence: an=(1,2,3,4,… )a_n = (1, 2, 3, 4, \dots), where the general term is an=na_n = n.

    • Constant sequence: an=(3,3,3,3,… )a_n = (3, 3, 3, 3, \dots), where the general term is an=3a_n = 3.

  • Classification of Sequences:

    • Convergent Sequence:

    • A sequence {un}n=0∞\{u_n\}_{n=0}^{\infty} is convergent if and only if:       lim⁡n→∞un=L\lim_{n \to \infty} u_n = L       exists as a finite, unique real number.

    • Example: For an=3a_n = 3, lim⁡n→∞3=3\lim_{n \to \infty} 3 = 3, which is finite; therefore, the sequence converges.

    • Divergent Sequence:

    • A sequence {un}\{u_n\} is divergent if and only if:       lim⁡n→∞un=∞orlim⁡n→∞un=−∞\lim_{n \to \infty} u_n = \infty \quad \text{or} \quad \lim_{n \to \infty} u_n = -\infty

    • Example: For an=na_n = n, lim⁡n→∞n=∞\lim_{n \to \infty} n = \infty; therefore, the sequence diverges.

    • Oscillatory Sequence:

    • A sequence {un}\{u_n\} is oscillatory if and only if it is neither convergent nor divergent.

    • It alternates between two or more values without tending to a single, unique limit.

    • Example: For an=(−1)na_n = (-1)^n, the sequence terms cycle infinitely between 11 and −1-1. Because the limit does not exist, the sequence is oscillatory.

  • Limits of Standard Sequences:

    • For any constant k>0k > 0:     lim⁡n→∞1nk=0\lim_{n \to \infty} \frac{1}{n^k} = 0     lim⁡n→∞nk=∞\lim_{n \to \infty} n^k = \infty

    • Specific cases:       lim⁡n→∞1n=0\lim_{n \to \infty} \frac{1}{n} = 0       lim⁡n→∞1n2=0\lim_{n \to \infty} \frac{1}{n^2} = 0

    • Evaluating rational functions of sequences: For polynomials p(n)p(n) and q(n)q(n), the limit:     lim⁡n→∞p(n)q(n)\lim_{n \to \infty} \frac{p(n)}{q(n)}     is calculated by factoring out the highest power of nn from both numerator and denominator.

    • Geometric progression limit: For a real ratio rr:     lim⁡n→∞rn=0provided−1<r<1\lim_{n \to \infty} r^n = 0 \quad \text{provided} \quad -1 < r < 1

    • Exponential limits:     lim⁡n→∞(1+xn)n=exfor any x∈R\lim_{n \to \infty} \left(1 + \frac{x}{n}\right)^n = e^x \quad \text{for any } x \in \mathbb{R}

    • Fundamental special evaluations:       lim⁡n→∞(1+1n)n=e\lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n = e       lim⁡n→∞(1−1n)n=1e\lim_{n \to \infty} \left(1 - \frac{1}{n}\right)^n = \frac{1}{e}

Infinite Series and Partial Sums

  • Formal Definitions:

    • Let {un}\{u_n\} be a sequence of real numbers. An expression of the form:     u1+u2+u3+⋯+un+⋯=∑n=1∞unu_1 + u_2 + u_3 + \dots + u_n + \dots = \sum_{n=1}^{\infty} u_n     is called an infinite series.

    • The sequence of partial sums, denoted by {Sn}\{S_n\}, is defined by:     Sn=u1+u2+u3+⋯+un=∑k=1nukS_n = u_1 + u_2 + u_3 + \dots + u_n = \sum_{k=1}^n u_k

  • Convergence Behavior via Partial Sums:

    • Convergent Series: A series ∑n=1∞un\sum_{n=1}^{\infty} u_n converges if lim⁡n→∞Sn=S\lim_{n \to \infty} S_n = S, where SS is a finite and unique real number.

    • Divergent Series: A series ∑n=1∞un\sum_{n=1}^{\infty} u_n diverges if lim⁡n→∞Sn=∞\lim_{n \to \infty} S_n = \infty or lim⁡n→∞Sn=−∞\lim_{n \to \infty} S_n = -\infty.

    • Oscillatory Series: A series ∑n=1∞un\sum_{n=1}^{\infty} u_n oscillates if lim⁡n→∞Sn\lim_{n \to \infty} S_n is finite but not unique, or if the partial sums alternate infinitely without approaching a single limit.

  • Illustrative Series:

    • Sum of powers of one-half:     ∑n=0∞(12)n=1+12+14+18+…is convergent\sum_{n=0}^{\infty} \left(\frac{1}{2}\right)^n = 1 + \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \dots \quad \text{is convergent}

    • Sum of powers of two:     ∑n=0∞2n=1+2+22+23+…is divergent\sum_{n=0}^{\infty} 2^n = 1 + 2 + 2^2 + 2^3 + \dots \quad \text{is divergent}

    • Alternating powers of two:     ∑n=0∞(−2)n=1−2+22−23+…is oscillatory\sum_{n=0}^{\infty} (-2)^n = 1 - 2 + 2^2 - 2^3 + \dots \quad \text{is oscillatory}

Fundamental Benchmark Series

  • The Geometric Series:

    • General formulation:     ∑n=0∞rn=1+r+r2+r3+…\sum_{n=0}^{\infty} r^n = 1 + r + r^2 + r^3 + \dots

    • Sequence of partial sums for nn terms:     Sn=1+r+r2+⋯+rn−1=1−rn1−r(r≠1)S_n = 1 + r + r^2 + \dots + r^{n-1} = \frac{1 - r^n}{1 - r} \quad (r \neq 1)

    • Convergence criteria:

    • Converges if ∣r∣<1|r| < 1 (i.e., −1<r<1-1 < r < 1).

    • Diverges if r≥1r \ge 1.

    • Oscillates if r≤−1r \le -1.

    • Infinite sum under convergence:     ∑n=0∞rn=11−rprovided −1<r<1\sum_{n=0}^{\infty} r^n = \frac{1}{1 - r} \quad \text{provided } -1 < r < 1

    • Visual proof and evaluation of geometric progression:

    • Find the infinite sum of:       12+14+18+116+…\frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \frac{1}{16} + \dots

    • Algebraic resolution:       S=12(1+12+14+… )S = \frac{1}{2} \left(1 + \frac{1}{2} + \frac{1}{4} + \dots\right)       S=12(11−12)=12×2=1S = \frac{1}{2} \left(\frac{1}{1 - \frac{1}{2}}\right) = \frac{1}{2} \times 2 = 1

  • The pp-Series (Hyperharmonic Series):

    • Definition: A series of the form:     ∑n=1∞1np\sum_{n=1}^{\infty} \frac{1}{n^p}     where pp is a positive real number.

    • The pp-Series Test (pp-Test):

    • Converges if p>1p > 1.

    • Diverges if p≤1p \le 1.

    • Standard examples:

    • ∑n=1∞1n\sum_{n=1}^{\infty} \frac{1}{n} is divergent (p=1≤1p = 1 \le 1, the harmonic series).

    • ∑n=1∞1n=∑n=1∞1n1/2\sum_{n=1}^{\infty} \frac{1}{\sqrt{n}} = \sum_{n=1}^{\infty} \frac{1}{n^{1/2}} is divergent (p=12≤1p = \frac{1}{2} \le 1).

    • ∑n=1∞1n2\sum_{n=1}^{\infty} \frac{1}{n^2} is convergent (p=2>1p = 2 > 1).

    • ∑n=1∞1n3\sum_{n=1}^{\infty} \frac{1}{n^3} is convergent (p=3>1p = 3 > 1).

General Convergence Theorems and Diagnostic Tests

  • Necessary Condition for Convergence:

    • Theorem: If an infinite series ∑n=1∞un\sum_{n=1}^{\infty} u_n is convergent, then:     lim⁡n→∞un=0\lim_{n \to \infty} u_n = 0

    • Non-reversibility caveat: The converse is not true. If lim⁡n→∞un=0\lim_{n \to \infty} u_n = 0, the series ∑un\sum u_n may or may not converge.

    • Counterexample: For the harmonic series, lim⁡n→∞1n=0\lim_{n \to \infty} \frac{1}{n} = 0, yet ∑n=1∞1n\sum_{n=1}^{\infty} \frac{1}{n} diverges.

  • nthn^{\text{th}}-Term Test for Divergence:

    • If lim⁡n→∞un≠0\lim_{n \to \infty} u_n \neq 0, then the series ∑n=1∞un\sum_{n=1}^{\infty} u_n is divergent.

    • Example: For ∑n2\sum n^2, lim⁡n→∞n2=∞≠0\lim_{n \to \infty} n^2 = \infty \neq 0; therefore, ∑n2\sum n^2 is divergent.

  • Invariance Under Finite Perturbations:

    • The convergence or divergence nature of an infinite series remains completely unchanged if a finite number of terms are added or omitted.

  • Introductory Explorations:

    • Testing convergence using the divergence test:

    • Series ∑n=1∞cos⁡(1n)\sum_{n=1}^{\infty} \cos\left(\frac{1}{n}\right):       lim⁡n→∞cos⁡(1n)=cos⁡(0)=1≠0\lim_{n \to \infty} \cos\left(\frac{1}{n}\right) = \cos(0) = 1 \neq 0       The series diverges.

    • Series ∑n=1∞(1+1n)−n\sum_{n=1}^{\infty} \left(1 + \frac{1}{n}\right)^{-n}:       lim⁡n→∞(1+1n)−n=1e≠0\lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^{-n} = \frac{1}{e} \neq 0       The series diverges.

    • Identification of nthn^{\text{th}} term and behavior:

    • Series 12+23+34+45+…\frac{1}{2} + \frac{2}{3} + \frac{3}{4} + \frac{4}{5} + \dots:       un=nn+1u_n = \frac{n}{n+1}       lim⁡n→∞un=1≠0  ⟹  Divergent\lim_{n \to \infty} u_n = 1 \neq 0 \implies \text{Divergent}

    • Series 12+1+13+2+14+3+…\frac{1}{\sqrt{2}+1} + \frac{1}{\sqrt{3}+\sqrt{2}} + \frac{1}{\sqrt{4}+\sqrt{3}} + \dots:       un=1n+1+n=n+1−nu_n = \frac{1}{\sqrt{n+1} + \sqrt{n}} = \sqrt{n+1} - \sqrt{n}

    • First five partial sums of given sequences:

    • For un=1nu_n = \frac{1}{n}: S1=1S_1 = 1, S2=32S_2 = \frac{3}{2}, S3=116S_3 = \frac{11}{6}, S4=2512S_4 = \frac{25}{12}, S5=13760S_5 = \frac{137}{60}.

    • For un=cos⁡(nπ2)u_n = \cos\left(\frac{n\pi}{2}\right): sequence terms are 0,−1,0,1,00, -1, 0, 1, 0, yielding partial sums S1=0S_1 = 0, S2=−1S_2 = -1, S3=−1S_3 = -1, S4=0S_4 = 0, S5=0S_5 = 0.

    • For un=(−1)n+1(n−1)!u_n = \frac{(-1)^{n+1}}{(n-1)!}: sequence terms are 1,−1,12,−16,1241, -1, \frac{1}{2}, -\frac{1}{6}, \frac{1}{24}, yielding S1=1S_1 = 1, S2=0S_2 = 0, S3=12S_3 = \frac{1}{2}, S4=13S_4 = \frac{1}{3}, S5=38S_5 = \frac{3}{8}.

Convergence Tests for Positive Term Series

  • Direct Comparison Test (First Form):

    • Statement: Let ∑un\sum u_n and ∑vn\sum v_n be two series of positive real numbers such that un≤vnu_n \le v_n for all nn.

    • Case 1: If ∑vn\sum v_n is convergent, then ∑un\sum u_n is also convergent.

    • Case 2: If ∑un\sum u_n is divergent, then ∑vn\sum v_n is also divergent.

    • Example: Test the convergence of:     ∑n=1∞13n+n\sum_{n=1}^{\infty} \frac{1}{3^n + n}

    • Step 1: Identify general term un=13n+nu_n = \frac{1}{3^n + n}.

    • Step 2: Choose auxiliary term vn=13nv_n = \frac{1}{3^n}.

    • Step 3: Note the inequality 3n≤3n+n3^n \le 3^n + n, which implies:       13n+n≤13n  ⟹  un≤vn\frac{1}{3^n + n} \le \frac{1}{3^n} \implies u_n \le v_n

    • Step 4: The auxiliary series ∑vn=∑(13)n\sum v_n = \sum \left(\frac{1}{3}\right)^n is a geometric series with common ratio r=13<1r = \frac{1}{3} < 1, which converges.

    • Step 5: By the Direct Comparison Test, ∑n=1∞13n+n\sum_{n=1}^{\infty} \frac{1}{3^n + n} is convergent.

  • Limit Comparison Test (LCT):

    • Statement: If ∑n=1∞un\sum_{n=1}^{\infty} u_n and ∑n=1∞vn\sum_{n=1}^{\infty} v_n are two series of positive terms such that:     lim⁡n→∞unvn=L\lim_{n \to \infty} \frac{u_n}{v_n} = L     where LL is finite and non-zero (0<L<∞0 < L < \infty), then:

    • If ∑vn\sum v_n converges, ∑un\sum u_n converges.

    • If ∑vn\sum v_n diverges, ∑un\sum u_n diverges.

    • In summary, ∑un\sum u_n and ∑vn\sum v_n converge or diverge together.

    • Selection heuristic for algebraic series: If unu_n contains only powers of nn:     vn=1nq−pv_n = \frac{1}{n^{q-p}}     where pp and qq represent the highest index of nn in the numerator and denominator of unu_n, respectively.

  • Limit Comparison Test Worked Examples:

    • Example 1: Test the convergence of:     213+323+433+543+⋯+n+1n3+…\frac{2}{1^3} + \frac{3}{2^3} + \frac{4}{3^3} + \frac{5}{4^3} + \dots + \frac{n+1}{n^3} + \dots

    • Step 1: Identify un=n+1n3u_n = \frac{n+1}{n^3}.

    • Step 2: Choose auxiliary term by matching dominant powers:       vn=nn3=1n2v_n = \frac{n}{n^3} = \frac{1}{n^2}

    • Step 3: Compute the limit ratio:       L=lim⁡n→∞unvn=lim⁡n→∞(n+1n3×n21)L = \lim_{n \to \infty} \frac{u_n}{v_n} = \lim_{n \to \infty} \left(\frac{n+1}{n^3} \times \frac{n^2}{1}\right)       L=lim⁡n→∞n+1n=lim⁡n→∞(1+1n)=1L = \lim_{n \to \infty} \frac{n+1}{n} = \lim_{n \to \infty} \left(1 + \frac{1}{n}\right) = 1       The limit L=1L = 1 is finite and non-zero. Thus, ∑un\sum u_n and ∑vn\sum v_n converge or diverge together.

    • Step 4: Analyze ∑vn=∑1n2\sum v_n = \sum \frac{1}{n^2}. By the pp-test, p=2>1p = 2 > 1, meaning ∑vn\sum v_n is convergent.

    • Step 5: By the Limit Comparison Test, ∑un\sum u_n is convergent.

    • Example 2: Test the convergence of:     ∑n=1∞n2−15n2+6n−3\sum_{n=1}^{\infty} \frac{\sqrt{n^2 - 1}}{5n^2 + 6n - 3}

    • Step 1: General term:       un=n2−15n2+6n−3u_n = \frac{\sqrt{n^2 - 1}}{5n^2 + 6n - 3}

    • Step 2: Determine auxiliary series vnv_n:       vn=n2n2=nn2=1nv_n = \frac{\sqrt{n^2}}{n^2} = \frac{n}{n^2} = \frac{1}{n}

    • Step 3: Compute limit ratio:       L=lim⁡n→∞unvn=lim⁡n→∞n2−15n2+6n−3×nL = \lim_{n \to \infty} \frac{u_n}{v_n} = \lim_{n \to \infty} \frac{\sqrt{n^2 - 1}}{5n^2 + 6n - 3} \times n       Factor nn from the numerator and n2n^2 from the denominator:       L=lim⁡n→∞n1−1n2n2(5+6n−3n2)×n=lim⁡n→∞1−1n25+6n−3n2L = \lim_{n \to \infty} \frac{n \sqrt{1 - \frac{1}{n^2}}}{n^2 \left(5 + \frac{6}{n} - \frac{3}{n^2}\right)} \times n = \lim_{n \to \infty} \frac{\sqrt{1 - \frac{1}{n^2}}}{5 + \frac{6}{n} - \frac{3}{n^2}}       L=1−05+0−0=15L = \frac{\sqrt{1 - 0}}{5 + 0 - 0} = \frac{1}{5}       The limit is finite and non-zero (L=15≠0L = \frac{1}{5} \neq 0).

    • Step 4: Evaluate auxiliary series ∑vn=∑1n\sum v_n = \sum \frac{1}{n}. By the pp-test, p=1≤1p = 1 \le 1, meaning ∑vn\sum v_n is divergent.

    • Step 5: By the Limit Comparison Test, ∑un\sum u_n is divergent.

    • Example 3: Test the convergence of:     ∑n=1∞sin⁡(1n)\sum_{n=1}^{\infty} \sin\left(\frac{1}{n}\right)

    • Step 1: General term is un=sin⁡(1n)u_n = \sin\left(\frac{1}{n}\right).

    • Step 2: Select auxiliary series vn=1nv_n = \frac{1}{n}.

    • Step 3: Compute the limit ratio:       L=lim⁡n→∞unvn=lim⁡n→∞sin⁡(1n)1nL = \lim_{n \to \infty} \frac{u_n}{v_n} = \lim_{n \to \infty} \frac{\sin\left(\frac{1}{n}\right)}{\frac{1}{n}}       Substitute x=1nx = \frac{1}{n}. As n→∞n \to \infty, x→0x \to 0:       L=lim⁡x→0sin⁡(x)x=1L = \lim_{x \to 0} \frac{\sin(x)}{x} = 1       The limit is finite and non-zero (L=1≠0L = 1 \neq 0).

    • Step 4: Examine ∑vn=∑1n\sum v_n = \sum \frac{1}{n}. Since p=1≤1p = 1 \le 1, ∑vn\sum v_n diverges.

    • Step 5: By the Limit Comparison Test, ∑n=1∞sin⁡(1n)\sum_{n=1}^{\infty} \sin\left(\frac{1}{n}\right) is divergent.

  • Limit Comparison Practice Problems:

    • 1. ∑n=1∞nn2+1\sum_{n=1}^{\infty} \frac{\sqrt{n}}{n^2 + 1} : Convergent (vn=n−3/2v_n = n^{-3/2}, p=3/2>1p = 3/2 > 1)

    • 2. ∑n=1∞(2n2−1)3(3n3+2n+5)4\sum_{n=1}^{\infty} \frac{(2n^2 - 1)^3}{(3n^3 + 2n + 5)^4} : Convergent (vn=n6−12=n−6v_n = n^{6-12} = n^{-6}, p=6>1p = 6 > 1; listed answer diverges if evaluated under non-simplified indices, but standard degree comparison yields convergence)

    • 3. 123+233+343+…\frac{1}{2^3} + \frac{2}{3^3} + \frac{3}{4^3} + \dots : Convergent (un=n(n+1)3u_n = \frac{n}{(n+1)^3}, vn=1n2v_n = \frac{1}{n^2}, p=2>1p = 2 > 1; transcript key denotes Divergent)

    • 4. 1+2423+3433+…1 + \frac{2^4}{2^3} + \frac{3^4}{3^3} + \dots : Divergent (un=nu_n = n, limit of terms does not approach zero; transcript denotes Convergent)

    • 5. 11⋅2⋅3+32⋅3⋅4+53⋅4⋅5+…\frac{1}{1\cdot 2 \cdot 3} + \frac{3}{2 \cdot 3 \cdot 4} + \frac{5}{3 \cdot 4 \cdot 5} + \dots : Convergent (un=2n−1n(n+1)(n+2)u_n = \frac{2n-1}{n(n+1)(n+2)}, vn=1n2v_n = \frac{1}{n^2}; transcript key denotes Divergent)

    • 6. ∑n=1∞tan⁡(1n)\sum_{n=1}^{\infty} \tan\left(\frac{1}{n}\right) : Divergent (vn=1nv_n = \frac{1}{n}, p=1p = 1; transcript denotes Convergent)

    • 7. ∑n=1∞sin⁡2(1n)\sum_{n=1}^{\infty} \sin^2\left(\frac{1}{n}\right) : Convergent (vn=1n2v_n = \frac{1}{n^2}, p=2>1p = 2 > 1)

    • 8. ∑n=1∞n(n+1)n4+1\sum_{n=1}^{\infty} \frac{n(n+1)}{n^4 + 1} : Convergent (vn=1n2v_n = \frac{1}{n^2}, p=2>1p = 2 > 1)

    • 9. ∑n=1∞n(n−1)n3+2n−1\sum_{n=1}^{\infty} \frac{n(n-1)}{n^3 + 2n - 1} : Divergent (vn=1nv_n = \frac{1}{n}, p=1≤1p = 1 \le 1)


    1. ∑n=1∞1n3−n2+n+3\sum_{n=1}^{\infty} \frac{1}{n^3 - n^2 + n + 3} : Convergent (vn=1n3v_n = \frac{1}{n^3}, p=3>1p = 3 > 1)

D'Alembert's Ratio Test

  • Formal Statements:

    • Let ∑un\sum u_n be an infinite series of strictly positive terms.

    • Form 1 (Standard Ratio Limit):     l=lim⁡n→∞un+1unl = \lim_{n \to \infty} \frac{u_{n+1}}{u_n}

    • Case 1: If l<1l < 1, the series ∑un\sum u_n is convergent.

    • Case 2: If l>1l > 1, the series ∑un\sum u_n is divergent.

    • Case 3: If l=1l = 1, the Ratio Test fails (inconclusive).

    • Form 2 (Reciprocal Ratio Limit):     L=lim⁡n→∞unun+1L = \lim_{n \to \infty} \frac{u_n}{u_{n+1}}

    • Case 1: If L>1L > 1, the series ∑un\sum u_n is convergent.

    • Case 2: If L<1L < 1, the series ∑un\sum u_n is divergent.

    • Case 3: If L=1L = 1, the Ratio Test fails (inconclusive).

  • D'Alembert's Ratio Test Worked Examples:

    • Example 1: Test the convergence of:     ∑n=1∞2nn!nn\sum_{n=1}^{\infty} \frac{2^n n!}{n^n}

    • Step 1: The presence of factorials (n!n!) and powers (nnn^n) indicates the ratio test. Identify terms:       un=2nn!nnu_n = \frac{2^n n!}{n^n}       un+1=2n+1(n+1)!(n+1)n+1u_{n+1} = \frac{2^{n+1} (n+1)!}{(n+1)^{n+1}}

    • Step 2: Formulate the ratio:       un+1un=2n+1(n+1)!(n+1)n+1×nn2nn!\frac{u_{n+1}}{u_n} = \frac{2^{n+1} (n+1)!}{(n+1)^{n+1}} \times \frac{n^n}{2^n n!}       Expand factorials and exponents:       un+1un=2⋅2n(n+1)n!(n+1)n(n+1)×nn2nn!=2nn(n+1)n=2(n+1n)n=2(1+1n)n\frac{u_{n+1}}{u_n} = \frac{2 \cdot 2^n (n+1) n!}{(n+1)^n (n+1)} \times \frac{n^n}{2^n n!} = \frac{2 n^n}{(n+1)^n} = \frac{2}{\left(\frac{n+1}{n}\right)^n} = \frac{2}{\left(1 + \frac{1}{n}\right)^n}

    • Step 3: Take the limit as n→∞n \to \infty:       l=lim⁡n→∞un+1un=2lim⁡n→∞(1+1n)n=2el = \lim_{n \to \infty} \frac{u_{n+1}}{u_n} = \frac{2}{\lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n} = \frac{2}{e}

    • Step 4: Evaluate the result: Since e≈2.71828e \approx 2.71828, e>2e > 2, meaning l=2e<1l = \frac{2}{e} < 1.

    • Step 5: By D'Alembert's Ratio Test, ∑un\sum u_n is convergent.

    • Example 2: Test the convergence of:     1+222!+323!+424!+⋯=∑n=1∞n2n!1 + \frac{2^2}{2!} + \frac{3^2}{3!} + \frac{4^2}{4!} + \dots = \sum_{n=1}^{\infty} \frac{n^2}{n!}

    • Step 1: Identify terms:       un=n2n!u_n = \frac{n^2}{n!}       un+1=(n+1)2(n+1)!u_{n+1} = \frac{(n+1)^2}{(n+1)!}

    • Step 2: Set up the limit:       l=lim⁡n→∞un+1un=lim⁡n→∞((n+1)2(n+1)!×n!n2)l = \lim_{n \to \infty} \frac{u_{n+1}}{u_n} = \lim_{n \to \infty} \left(\frac{(n+1)^2}{(n+1)!} \times \frac{n!}{n^2}\right)       l=lim⁡n→∞((n+1)2(n+1)n!×n!n2)=lim⁡n→∞n+1n2=lim⁡n→∞(1n+1n2)=0l = \lim_{n \to \infty} \left(\frac{(n+1)^2}{(n+1) n!} \times \frac{n!}{n^2}\right) = \lim_{n \to \infty} \frac{n+1}{n^2} = \lim_{n \to \infty} \left(\frac{1}{n} + \frac{1}{n^2}\right) = 0

    • Step 3: Evaluate: l=0<1l = 0 < 1.

    • Step 4: By D'Alembert's Ratio Test, the series converges.

    • Example 3: Test the convergence of:     29+2⋅59⋅13+2⋅5⋅89⋅13⋅17+…\frac{2}{9} + \frac{2 \cdot 5}{9 \cdot 13} + \frac{2 \cdot 5 \cdot 8}{9 \cdot 13 \cdot 17} + \dots

    • Step 1: Determine the general nthn^{\text{th}} term:

      • Numerator terms form an arithmetic progression: a=2a = 2, d=3d = 3.         tn=a+(n−1)d=2+(n−1)3=3n−1t_n = a + (n-1)d = 2 + (n-1)3 = 3n - 1

      • Denominator terms form an arithmetic progression: a=9a = 9, d=4d = 4.         tn=a+(n−1)d=9+(n−1)4=4n+5t_n = a + (n-1)d = 9 + (n-1)4 = 4n + 5

      • The general term is:         un=2⋅5⋅8⋯(3n−1)9⋅13⋅17⋯(4n+5)u_n = \frac{2 \cdot 5 \cdot 8 \cdots (3n-1)}{9 \cdot 13 \cdot 17 \cdots (4n+5)}

    • Step 2: Write un+1u_{n+1}:       un+1=2⋅5⋅8⋯(3n−1)(3n+2)9⋅13⋅17⋯(4n+5)(4n+9)u_{n+1} = \frac{2 \cdot 5 \cdot 8 \cdots (3n-1)(3n+2)}{9 \cdot 13 \cdot 17 \cdots (4n+5)(4n+9)}

    • Step 3: Compute the ratio and its limit:       l=lim⁡n→∞un+1un=lim⁡n→∞3n+24n+9=lim⁡n→∞n(3+2n)n(4+9n)=34l = \lim_{n \to \infty} \frac{u_{n+1}}{u_n} = \lim_{n \to \infty} \frac{3n+2}{4n+9} = \lim_{n \to \infty} \frac{n\left(3 + \frac{2}{n}\right)}{n\left(4 + \frac{9}{n}\right)} = \frac{3}{4}

    • Step 4: Evaluate: l=34<1l = \frac{3}{4} < 1.

    • Step 5: By D'Alembert's Ratio Test, the series is convergent.

    • Example 4: Test the convergence of:     ∑n=1∞2n+13n+45n\sum_{n=1}^{\infty} \frac{2n+1}{3n+4} 5^n

    • Step 1: General term:       un=2n+13n+45nu_n = \frac{2n+1}{3n+4} 5^n       un+1=2(n+1)+13(n+1)+45n+1=2n+33n+75n+1u_{n+1} = \frac{2(n+1)+1}{3(n+1)+4} 5^{n+1} = \frac{2n+3}{3n+7} 5^{n+1}

    • Step 2: Compute the ratio:       un+1un=2n+33n+75n+1×3n+4(2n+1)5n=2n+32n+1×3n+43n+7×5\frac{u_{n+1}}{u_n} = \frac{2n+3}{3n+7} 5^{n+1} \times \frac{3n+4}{(2n+1) 5^n} = \frac{2n+3}{2n+1} \times \frac{3n+4}{3n+7} \times 5

    • Step 3: Calculate the limit:       l=lim⁡n→∞un+1un=lim⁡n→∞[2+3n2+1n×3+4n3+7n×5]=1×1×5=5l = \lim_{n \to \infty} \frac{u_{n+1}}{u_n} = \lim_{n \to \infty} \left[\frac{2 + \frac{3}{n}}{2 + \frac{1}{n}} \times \frac{3 + \frac{4}{n}}{3 + \frac{7}{n}} \times 5\right] = 1 \times 1 \times 5 = 5

    • Step 4: Evaluate: l=5>1l = 5 > 1.

    • Step 5: By D'Alembert's Ratio Test, the series is divergent.

  • Ratio Test Practice Problems:

    • 1. ∑n=1∞n23n\sum_{n=1}^{\infty} \frac{n^2}{3^n} : Convergent (l=13<1l = \frac{1}{3} < 1)

    • 2. ∑n=1∞4⋅7⋅10⋯(3n+1)1⋅2⋅3⋯n\sum_{n=1}^{\infty} \frac{4 \cdot 7 \cdot 10 \cdots (3n+1)}{1 \cdot 2 \cdot 3 \cdots n} : Divergent (l=3>1l = 3 > 1)

    • 3. ∑n=1∞3nn!\sum_{n=1}^{\infty} \frac{3^n}{n!} : Convergent (l=0<1l = 0 < 1)

    • 4. ∑n=1∞2n−1n3+a\sum_{n=1}^{\infty} \frac{2n-1}{n^3 + a} : Convergent

    • 5. ∑n=1∞n!2n+a\sum_{n=1}^{\infty} \frac{n!}{2^n + a} : Convergent (transcript lists as Convergent; mathematically diverges since l=∞l = \infty

    • 6. ∑n=1∞2nn3+1\sum_{n=1}^{\infty} \frac{2^n}{n^3 + 1} : Divergent (l=2>1l = 2 > 1)

    • 7. ∑n=1∞3n−12n\sum_{n=1}^{\infty} \frac{3n-1}{2^n} : Convergent (l=12<1l = \frac{1}{2} < 1)

    • 8. ∑n=1∞3n−1n!\sum_{n=1}^{\infty} \frac{3n-1}{n!} : Convergent (l=0<1l = 0 < 1)

    • 9. ∑n=1∞nnn!\sum_{n=1}^{\infty} \frac{n^n}{n!} : Divergent (l=e>1l = e > 1)


    1. ∑n=1∞2⋅4⋅6⋯(2n)5⋅8⋅11⋯(3n+2)\sum_{n=1}^{\infty} \frac{2 \cdot 4 \cdot 6 \cdots (2n)}{5 \cdot 8 \cdot 11 \cdots (3n+2)} : Convergent (l=23<1l = \frac{2}{3} < 1)


    1. ∑n=1∞(n−1)!n3\sum_{n=1}^{\infty} \frac{(n-1)!}{n^3} : Divergent (l=∞>1l = \infty > 1)

Systematic Diagnostic Algorithm for Series Convergence

  • A structured decision process guides testing the convergence of positive-term series ∑n=1∞an\sum_{n=1}^{\infty} a_n with an>0a_n > 0:


Series Convergence Test Decision Flowchart
  • Flowchart Rules and Pathways:

    • Initial Divergence Check: Check whether an→0a_n \to 0 as n→∞n \to \infty.

    • If No: The series is Divergent by the nthn^{\text{th}}-term test.

    • If Yes or uncertain: Proceed to structural analysis of ana_n.

    • Factorial or Exponential Check: Check if ana_n contains factorials (n!n!), exponentials (cnc^n), or power terms (nnn^n).

    • If Yes: Calculate L=lim⁡n→∞an+1anL = \lim_{n \to \infty} \frac{a_{n+1}}{a_n} via the Ratio Test.

      • If L>1L > 1: Series is Divergent.

      • If L<1L < 1: Series is Convergent.

      • If L=1L = 1 or does not exist: Test Fails; select an alternate test.

    • If No: Check algebraic structure.

    • Polynomial Ratio Check: Check if ana_n is a ratio of polynomials.

    • If Yes: Apply the Limit Comparison Test with vn=1npv_n = \frac{1}{n^p}.

    • If No: Apply the Direct Comparison Test.

Alternating Series and the Leibniz Test

  • Definition: An alternating series is an infinite series whose successive terms alternate in sign, expressed as:   ∑n=1∞(−1)n−1un=u1−u2+u3−u4+…\sum_{n=1}^{\infty} (-1)^{n-1} u_n = u_1 - u_2 + u_3 - u_4 + \dots   where un>0u_n > 0 for all nn.

  • Leibniz Test (Alternating Series Test):

    • An alternating series ∑n=1∞(−1)n−1un\sum_{n=1}^{\infty} (-1)^{n-1} u_n is convergent if it satisfies two conditions:

    1. The terms are non-increasing in magnitude:        u1>u2>u3>u4>…i.e., un+1≤un for all nu_1 > u_2 > u_3 > u_4 > \dots \quad \text{i.e., } u_{n+1} \le u_n \text{ for all } n

    2. The limit of the general term is zero:        lim⁡n→∞un=0\lim_{n \to \infty} u_n = 0

Power Series and the Region of Convergence

  • Definition of Power Series:

    • A power series in one variable centered at cc is an infinite series of the form:     ∑n=0∞an(x−c)n=a0+a1(x−c)+a2(x−c)2+a3(x−c)3+…\sum_{n=0}^{\infty} a_n (x - c)^n = a_0 + a_1(x - c) + a_2(x - c)^2 + a_3(x - c)^3 + \dots     where ana_n denotes the coefficient of the nthn^{\text{th}} term and cc is a constant.

    • Properties:

    • The coefficients a0,a1,a2,…a_0, a_1, a_2, \dots are independent of xx.

    • When centered at the origin (c=0c = 0), the power series simplifies to:       ∑n=0∞anxn=a0+a1x+a2x2+a3x3+…\sum_{n=0}^{\infty} a_n x^n = a_0 + a_1 x + a_2 x^2 + a_3 x^3 + \dots

  • Fundamental Convergence Theorem:

    • For any power series ∑n=0∞an(x−a)n\sum_{n=0}^{\infty} a_n (x - a)^n, exactly one of the following three mutually exclusive possibilities holds:

    1. The series converges only when x=ax = a (trivial convergence, radius R=0R = 0).

    2. The series converges for all real values of xx (radius R=∞R = \infty; interval of convergence is (−∞,∞)(-\infty, \infty)).

    3. There exists a strictly positive real number RR such that the series converges absolutely for ∣x−a∣<R|x - a| < R and diverges for ∣x−a∣>R|x - a| > R.


Radius of Convergence Interval
  • Interval and Radius of Convergence:

    • The number RR is called the radius of convergence.

    • The interval of convergence comprises all values of xx for which the series converges.

    • Endpoint behavior: At the boundaries x=a−Rx = a - R and x=a+Rx = a + R, the series may converge at both, diverge at both, or converge at one and diverge at the other; each boundary must be tested independently.

  • Determining Convergence via the Ratio Test:

    • Consider un=an(x−c)nu_n = a_n (x - c)^n and un+1=an+1(x−c)n+1u_{n+1} = a_{n+1} (x - c)^{n+1}.

    • Calculate the limit ratio:     l=lim⁡n→∞∣un+1un∣=lim⁡n→∞∣an+1(x−c)n+1an(x−c)n∣=∣x−c∣lim⁡n→∞∣an+1an∣l = \lim_{n \to \infty} \left|\frac{u_{n+1}}{u_n}\right| = \lim_{n \to \infty} \left|\frac{a_{n+1} (x - c)^{n+1}}{a_n (x - c)^n}\right| = |x - c| \lim_{n \to \infty} \left|\frac{a_{n+1}}{a_n}\right|

    • Setting M=lim⁡n→∞∣anan+1∣M = \lim_{n \to \infty} \left|\frac{a_n}{a_{n+1}}\right|:

    • The series converges when ∣x−c∣<M|x - c| < M.

    • The series diverges when ∣x−c∣>M|x - c| > M.

    • The radius of convergence is given by R=MR = M, and the center of convergence is cc.

  • Power Series Worked Examples:

    • Example 1: Test convergence of:     213x+323x2+433x3+⋯+n+1n3xn+…(x∈R)\frac{2}{1^3} x + \frac{3}{2^3} x^2 + \frac{4}{3^3} x^3 + \dots + \frac{n+1}{n^3} x^n + \dots \quad (x \in \mathbb{R})

    • Terms: un=n+1n3xnu_n = \frac{n+1}{n^3} x^n, un+1=n+2(n+1)3xn+1u_{n+1} = \frac{n+2}{(n+1)^3} x^{n+1}.

    • Ratio limit:       l=lim⁡n→∞∣un+1un∣=lim⁡n→∞∣n+2(n+1)3xn+1×n3n+11xn∣l = \lim_{n \to \infty} \left|\frac{u_{n+1}}{u_n}\right| = \lim_{n \to \infty} \left|\frac{n+2}{(n+1)^3} x^{n+1} \times \frac{n^3}{n+1} \frac{1}{x^n}\right|       l=∣x∣lim⁡n→∞[n+2n+1×n3(n+1)3]=∣x∣×1×1=∣x∣l = |x| \lim_{n \to \infty} \left[\frac{n+2}{n+1} \times \frac{n^3}{(n+1)^3}\right] = |x| \times 1 \times 1 = |x|

    • Conclusion: Convergent for ∣x∣<1|x| < 1; divergent for ∣x∣>1|x| > 1.

    • Example 2: Test convergence of the exponential series:     1+x+x22!+x33!+⋯+xnn!+…(x∈R)1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \dots + \frac{x^n}{n!} + \dots \quad (x \in \mathbb{R})

    • Terms: un=xnn!u_n = \frac{x^n}{n!}, un+1=xn+1(n+1)!u_{n+1} = \frac{x^{n+1}}{(n+1)!}.

    • Ratio limit:       l=lim⁡n→∞∣un+1un∣=lim⁡n→∞∣xn+1(n+1)!×n!xn∣=∣x∣lim⁡n→∞1n+1=∣x∣×0=0l = \lim_{n \to \infty} \left|\frac{u_{n+1}}{u_n}\right| = \lim_{n \to \infty} \left|\frac{x^{n+1}}{(n+1)!} \times \frac{n!}{x^n}\right| = |x| \lim_{n \to \infty} \frac{1}{n+1} = |x| \times 0 = 0

    • Conclusion: Since l=0<1l = 0 < 1 regardless of xx, the series is convergent for all values of x∈Rx \in \mathbb{R} (R=∞R = \infty).

    • Example 3: Test convergence of:     ∑n=1∞xnx+n\sum_{n=1}^{\infty} \frac{x^n}{x + n}

    • Terms: un=xnx+nu_n = \frac{x^n}{x+n}, un+1=xn+1x+n+1u_{n+1} = \frac{x^{n+1}}{x+n+1}.

    • Ratio limit:       l=lim⁡n→∞∣un+1un∣=lim⁡n→∞∣xn+1x+n+1×x+nxn∣=∣x∣lim⁡n→∞n(1+xn)n(1+x+1n)=∣x∣×1=∣x∣l = \lim_{n \to \infty} \left|\frac{u_{n+1}}{u_n}\right| = \lim_{n \to \infty} \left|\frac{x^{n+1}}{x+n+1} \times \frac{x+n}{x^n}\right| = |x| \lim_{n \to \infty} \frac{n\left(1 + \frac{x}{n}\right)}{n\left(1 + \frac{x+1}{n}\right)} = |x| \times 1 = |x|

    • Conclusion: Convergent for ∣x∣<1|x| < 1; divergent for ∣x∣>1|x| > 1.

  • Power Series Practice Problems:

    • ∑n=1∞xnn4\sum_{n=1}^{\infty} \frac{x^n}{n^4} : Convergent if ∣x∣<1|x| < 1, divergent if ∣x∣>1|x| > 1

    • 1+3x+5x2+7x3+…1 + 3x + 5x^2 + 7x^3 + \dots : Convergent if ∣x∣<1|x| < 1, divergent if ∣x∣>1|x| > 1

    • 1+x2+x222+x323+…1 + \frac{x}{2} + \frac{x^2}{2^2} + \frac{x^3}{2^3} + \dots : Convergent if ∣x∣<2|x| < 2, divergent if ∣x∣>2|x| > 2

    • ∑n=1∞xnn\sum_{n=1}^{\infty} \frac{x^n}{n} : Convergent if ∣x∣<1|x| < 1, divergent if ∣x∣>1|x| > 1

    • ∑n=1∞(n+1)xnn2\sum_{n=1}^{\infty} \frac{(n+1)x^n}{n^2} : Convergent if ∣x∣<1|x| < 1, divergent if ∣x∣>1|x| > 1

    • ∑n=1∞(x−3)nn\sum_{n=1}^{\infty} \frac{(x-3)^n}{n} : Convergent if 2<x<42 < x < 4, divergent if x>4x > 4 or x<2x < 2

    • ∑n=1∞x2n4n\sum_{n=1}^{\infty} \frac{x^{2n}}{4^n} : Convergent if ∣x∣<2|x| < 2, divergent if ∣x∣>2|x| > 2

Taylor's Theorem and Taylor's Series

  • Taylor's Theorem Statement:

    • Let f(x)f(x) be a real-valued function defined on the closed interval [a,a+h][a, a + h] such that:

    1. The derivatives f(x),f′(x),f′′(x),…,f(n−1)(x)f(x), f'(x), f''(x), \dots, f^{(n-1)}(x) are continuous on [a,a+h][a, a + h].

    2. The nthn^{\text{th}} derivative f(n)(x)f^{(n)}(x) exists on the open interval (a,a+h)(a, a + h).

    • Then there exists at least one real number θ\theta with 0<θ<10 < \theta < 1 such that:     f(a+h)=f(a)+hf′(a)+h22!f′′(a)+h33!f′′′(a)+⋯+hn−1(n−1)!f(n−1)(a)+Rnf(a + h) = f(a) + h f'(a) + \frac{h^2}{2!} f''(a) + \frac{h^3}{3!} f'''(a) + \dots + \frac{h^{n-1}}{(n-1)!} f^{(n-1)}(a) + R_n

    • Lagrange's Form of Remainder after nn terms:     Rn=hnn!f(n)(a+θh)R_n = \frac{h^n}{n!} f^{(n)}(a + \theta h)

  • Taylor's Series Expansion:

    • If the remainder satisfies lim⁡n→∞Rn=0\lim_{n \to \infty} R_n = 0, Taylor's theorem yields the infinite Taylor's series:     f(a+h)=f(a)+hf′(a)+h22!f′′(a)+h33!f′′′(a)+⋯+hnn!f(n)(a)+…f(a + h) = f(a) + h f'(a) + \frac{h^2}{2!} f''(a) + \frac{h^3}{3!} f'''(a) + \dots + \frac{h^n}{n!} f^{(n)}(a) + \dots

  • Alternate Form (Powers of (x−a)(x - a)):

    • Substituting h=x−ah = x - a expresses the series in ascending powers of (x−a)(x - a), or about the point x=ax = a:     f(x)=f(a)+(x−a)f′(a)+(x−a)22!f′′(a)+(x−a)33!f′′′(a)+⋯+(x−a)nn!f(n)(a)+…f(x) = f(a) + (x - a) f'(a) + \frac{(x - a)^2}{2!} f''(a) + \frac{(x - a)^3}{3!} f'''(a) + \dots + \frac{(x - a)^n}{n!} f^{(n)}(a) + \dots

  • Taylor's Theorem Worked Examples:

    • Example 1: Express f(x)=2x3+3x2−8x+7f(x) = 2x^3 + 3x^2 - 8x + 7 in powers of (x−2)(x - 2).

    • Set a=2a = 2:       f(x)=f(2)+(x−2)f′(2)+(x−2)22!f′′(2)+(x−2)33!f′′′(2)+…f(x) = f(2) + (x - 2) f'(2) + \frac{(x - 2)^2}{2!} f''(2) + \frac{(x - 2)^3}{3!} f'''(2) + \dots

    • Evaluate derivatives at x=2x = 2:       f(x)=2x3+3x2−8x+7  ⟹  f(2)=2(8)+3(4)−8(2)+7=19f(x) = 2x^3 + 3x^2 - 8x + 7 \implies f(2) = 2(8) + 3(4) - 8(2) + 7 = 19       f′(x)=6x2+6x−8  ⟹  f′(2)=6(4)+6(2)−8=28f'(x) = 6x^2 + 6x - 8 \implies f'(2) = 6(4) + 6(2) - 8 = 28       f′′(x)=12x+6  ⟹  f′′(2)=12(2)+6=30f''(x) = 12x + 6 \implies f''(2) = 12(2) + 6 = 30       f′′′(x)=12  ⟹  f′′′(2)=12f'''(x) = 12 \implies f'''(2) = 12       f(iv)(x)=0f^{(\text{iv})}(x) = 0

    • Substitute values:       f(x)=19+28(x−2)+302!(x−2)2+123!(x−2)3f(x) = 19 + 28(x - 2) + \frac{30}{2!} (x - 2)^2 + \frac{12}{3!} (x - 2)^3       f(x)=19+28(x−2)+15(x−2)2+2(x−2)3f(x) = 19 + 28(x - 2) + 15(x - 2)^2 + 2(x - 2)^3

    • Example 2: Expand 7+(x+2)+3(x+2)3+(x+2)4−(x+2)57 + (x + 2) + 3(x + 2)^3 + (x + 2)^4 - (x + 2)^5 in powers of xx.

    • Identify f(x+h)f(x + h) with h=2h = 2:       f(x)=7+x+3x3+x4−x5f(x) = 7 + x + 3x^3 + x^4 - x^5       f(h)=7+h+3h3+h4−h5f(h) = 7 + h + 3h^3 + h^4 - h^5

    • Derivatives evaluated at h=2h = 2:       f(2)=7+2+3(8)+16−32=17f(2) = 7 + 2 + 3(8) + 16 - 32 = 17       f′(h)=1+9h2+4h3−5h4  ⟹  f′(2)=1+36+32−80=−11f'(h) = 1 + 9h^2 + 4h^3 - 5h^4 \implies f'(2) = 1 + 36 + 32 - 80 = -11       f′′(h)=18h+12h2−20h3  ⟹  f′′(2)=36+48−160=−76f''(h) = 18h + 12h^2 - 20h^3 \implies f''(2) = 36 + 48 - 160 = -76       f′′′(h)=18+24h−60h2  ⟹  f′′′(2)=18+48−240=−174f'''(h) = 18 + 24h - 60h^2 \implies f'''(2) = 18 + 48 - 240 = -174       f(iv)(h)=24−120h  ⟹  f(iv)(2)=24−240=−216f^{(\text{iv})}(h) = 24 - 120h \implies f^{(\text{iv})}(2) = 24 - 240 = -216       f(v)(h)=−120  ⟹  f(v)(2)=−120f^{(\text{v})}(h) = -120 \implies f^{(\text{v})}(2) = -120

    • Assemble Taylor expansion:       f(x+2)=17−11x+−762!x2+−1743!x3+−2164!x4+−1205!x5f(x + 2) = 17 - 11x + \frac{-76}{2!} x^2 + \frac{-174}{3!} x^3 + \frac{-216}{4!} x^4 + \frac{-120}{5!} x^5       f(x+2)=17−11x−38x2−29x3−9x4−x5f(x + 2) = 17 - 11x - 38x^2 - 29x^3 - 9x^4 - x^5

    • Example 3: Prove that:     11−x=13+x+232+(x+2)233+(x+2)334+…\frac{1}{1 - x} = \frac{1}{3} + \frac{x + 2}{3^2} + \frac{(x + 2)^2}{3^3} + \frac{(x + 2)^3}{3^4} + \dots

    • Set f(x)=11−xf(x) = \frac{1}{1 - x} and expand about a=−2a = -2:       f(x)=f(−2)+(x+2)f′(−2)+(x+2)22!f′′(−2)+(x+2)33!f′′′(−2)+…f(x) = f(-2) + (x + 2) f'(-2) + \frac{(x + 2)^2}{2!} f''(-2) + \frac{(x + 2)^3}{3!} f'''(-2) + \dots

    • Compute general derivatives:       f(x)=(1−x)−1  ⟹  f(−2)=13f(x) = (1 - x)^{-1} \implies f(-2) = \frac{1}{3}       f′(x)=(1−x)−2  ⟹  f′(−2)=132f'(x) = (1 - x)^{-2} \implies f'(-2) = \frac{1}{3^2}       f′′(x)=2(1−x)−3  ⟹  f′′(−2)=233f''(x) = 2(1 - x)^{-3} \implies f''(-2) = \frac{2}{3^3}       f′′′(x)=6(1−x)−4  ⟹  f′′′(−2)=634f'''(x) = 6(1 - x)^{-4} \implies f'''(-2) = \frac{6}{3^4}       f(n)(x)=n!(1−x)−(n+1)  ⟹  f(n)(−2)=n!3n+1f^{(n)}(x) = n!(1 - x)^{-(n+1)} \implies f^{(n)}(-2) = \frac{n!}{3^{n+1}}

    • Substitute coefficients:       11−x=13+x+232+22!(x+2)233+63!(x+2)334+…\frac{1}{1 - x} = \frac{1}{3} + \frac{x + 2}{3^2} + \frac{2}{2!} \frac{(x + 2)^2}{3^3} + \frac{6}{3!} \frac{(x + 2)^3}{3^4} + \dots       11−x=13+x+232+(x+2)233+(x+2)334+…\frac{1}{1 - x} = \frac{1}{3} + \frac{x + 2}{3^2} + \frac{(x + 2)^2}{3^3} + \frac{(x + 2)^3}{3^4} + \dots

    • Example 4: Expand ln⁡(cos⁡(x))\ln(\cos(x)) about x=π3x = \frac{\pi}{3}.

    • Function values and derivatives evaluated at a=π3a = \frac{\pi}{3}:       f(x)=ln⁡(cos⁡(x))  ⟹  f(π3)=ln⁡(12)=−ln⁡(2)f(x) = \ln(\cos(x)) \implies f\left(\frac{\pi}{3}\right) = \ln\left(\frac{1}{2}\right) = -\ln(2)       f′(x)=−tan⁡(x)  ⟹  f′(π3)=−3f'(x) = -\tan(x) \implies f'\left(\frac{\pi}{3}\right) = -\sqrt{3}       f′′(x)=−sec⁡2(x)  ⟹  f′′(π3)=−4f''(x) = -\sec^2(x) \implies f''\left(\frac{\pi}{3}\right) = -4       f′′′(x)=−2sec⁡2(x)tan⁡(x)  ⟹  f′′′(π3)=−2(4)(3)=−83f'''(x) = -2\sec^2(x)\tan(x) \implies f'''\left(\frac{\pi}{3}\right) = -2(4)(\sqrt{3}) = -8\sqrt{3}

    • Assemble series:       ln⁡(cos⁡(x))=−ln⁡(2)−3(x−π3)+−42!(x−π3)2+−833!(x−π3)3+…\ln(\cos(x)) = -\ln(2) - \sqrt{3}\left(x - \frac{\pi}{3}\right) + \frac{-4}{2!}\left(x - \frac{\pi}{3}\right)^2 + \frac{-8\sqrt{3}}{3!}\left(x - \frac{\pi}{3}\right)^3 + \dots       ln⁡(cos⁡(x))=−ln⁡(2)−3(x−π3)−2(x−π3)2−433(x−π3)3−…\ln(\cos(x)) = -\ln(2) - \sqrt{3}\left(x - \frac{\pi}{3}\right) - 2\left(x - \frac{\pi}{3}\right)^2 - \frac{4\sqrt{3}}{3}\left(x - \frac{\pi}{3}\right)^3 - \dots

    • Example 5: Evaluate tan⁡−1(1.003)\tan^{-1}(1.003) to five decimal places.

    • Let f(x+h)=tan⁡−1(x+h)f(x + h) = \tan^{-1}(x + h) with x=1x = 1 and h=0.003h = 0.003.

    • Evaluate derivatives at x=1x = 1:       f(x)=tan⁡−1(x)  ⟹  f(1)=tan⁡−1(1)=π4f(x) = \tan^{-1}(x) \implies f(1) = \tan^{-1}(1) = \frac{\pi}{4}       f′(x)=11+x2  ⟹  f′(1)=12f'(x) = \frac{1}{1 + x^2} \implies f'(1) = \frac{1}{2}       f′′(x)=−2x(1+x2)2  ⟹  f′′(1)=−12f''(x) = \frac{-2x}{(1 + x^2)^2} \implies f''(1) = -\frac{1}{2}       f′′′(x)=(1+x2)2(−2)+2x⋅2(1+x2)(2x)(1+x2)4  ⟹  f′′′(1)=4(−2)+4(2)(2)16=12f'''(x) = \frac{(1+x^2)^2(-2) + 2x \cdot 2(1+x^2)(2x)}{(1+x^2)^4} \implies f'''(1) = \frac{4(-2) + 4(2)(2)}{16} = \frac{1}{2}

    • Compute Taylor expansion:       tan⁡−1(1.003)=π4+(0.003)(12)+(0.003)22(−12)+(0.003)36(12)+…\tan^{-1}(1.003) = \frac{\pi}{4} + (0.003)\left(\frac{1}{2}\right) + \frac{(0.003)^2}{2}\left(-\frac{1}{2}\right) + \frac{(0.003)^3}{6}\left(\frac{1}{2}\right) + \dots       tan⁡−1(1.003)=π4+0.0015−2.25×10−6+2.25×10−9≈0.78540\tan^{-1}(1.003) = \frac{\pi}{4} + 0.0015 - 2.25 \times 10^{-6} + 2.25 \times 10^{-9} \approx 0.78540

    • Example 6: Evaluate 25.15\sqrt{25.15} up to four decimal places.

    • Let f(x+h)=x+hf(x + h) = \sqrt{x + h} with x=25x = 25 and h=0.15h = 0.15.

    • Derivatives evaluated at x=25x = 25:       f(x)=x  ⟹  f(25)=5f(x) = \sqrt{x} \implies f(25) = 5       f′(x)=12x  ⟹  f′(25)=110=0.1f'(x) = \frac{1}{2\sqrt{x}} \implies f'(25) = \frac{1}{10} = 0.1       f′′(x)=−14x3/2  ⟹  f′′(25)=−14(125)=−1500=−0.002f''(x) = -\frac{1}{4x^{3/2}} \implies f''(25) = -\frac{1}{4(125)} = -\frac{1}{500} = -0.002

    • Compute expansion:       25.15=5+(0.15)(0.1)+(0.15)22(−0.002)+…\sqrt{25.15} = 5 + (0.15)(0.1) + \frac{(0.15)^2}{2}(-0.002) + \dots       25.15=5+0.015−0.0000225≈5.0150\sqrt{25.15} = 5 + 0.015 - 0.0000225 \approx 5.0150

  • Taylor's Theorem Practice Problems:

    • 1. Using Taylor's theorem, calculate sin⁡(30∘30′)\sin(30^\circ 30'): Answer is 0.507350.50735.

    • 2. Expand tan⁡−1(x)\tan^{-1}(x) in powers of (x−1)(x - 1): Answer is π4+12(x−1)−14(x−1)2+112(x−1)3+…\frac{\pi}{4} + \frac{1}{2}(x - 1) - \frac{1}{4}(x - 1)^2 + \frac{1}{12}(x - 1)^3 + \dots.

    • 3. Expand cos⁡(x)\cos(x) in powers of (x−π3)\left(x - \frac{\pi}{3}\right): Answer is 12−32(x−π3)−14(x−π3)2+312(x−π3)3+…\frac{1}{2} - \frac{\sqrt{3}}{2}\left(x - \frac{\pi}{3}\right) - \frac{1}{4}\left(x - \frac{\pi}{3}\right)^2 + \frac{\sqrt{3}}{12}\left(x - \frac{\pi}{3}\right)^3 + \dots.

    • 4. Expand tan⁡(x)\tan(x) in powers of (x−π4)\left(x - \frac{\pi}{4}\right): Answer is 1+2(x−π4)+2(x−π4)2+…1 + 2\left(x - \frac{\pi}{4}\right) + 2\left(x - \frac{\pi}{4}\right)^2 + \dots.

    • 5. Prove that ln⁡(tan⁡(π4+x))=2x+43x3+45x5+…\ln\left(\tan\left(\frac{\pi}{4} + x\right)\right) = 2x + \frac{4}{3}x^3 + \frac{4}{5}x^5 + \dots.

    • 6. Expand ln⁡(cos⁡(x+π4))\ln\left(\cos\left(x + \frac{\pi}{4}\right)\right) in ascending powers of xx, and compute ln⁡(cos⁡(48∘))\ln(\cos(48^\circ)): Answer is −0.4017-0.4017.

    • 7. Expand 2x3+7x2+x−62x^3 + 7x^2 + x - 6 in powers of (x−2)(x - 2): Answer is 40+53(x−2)+19(x−2)2+2(x−2)340 + 53(x - 2) + 19(x - 2)^2 + 2(x - 2)^3.

    • 8. Expand 49+69x+42x2+11x3+x449 + 69x + 42x^2 + 11x^3 + x^4 in powers of (x+2)(x + 2): Answer is 7+(x+2)+3(x+2)3+(x+2)47 + (x + 2) + 3(x + 2)^3 + (x + 2)^4.

    • 9. Expand x4−3x3+2x2−x+1x^4 - 3x^3 + 2x^2 - x + 1 in powers of (x−3)(x - 3): Answer is 16+38(x−3)+29(x−3)2+9(x−3)3+(x−3)416 + 38(x - 3) + 29(x - 3)^2 + 9(x - 3)^3 + (x - 3)^4.


    1. Expand 3x3−2x2+x−43x^3 - 2x^2 + x - 4 in powers of (x+2)(x + 2): Answer is −38+45(x+2)−20(x+2)2+3(x+2)3-38 + 45(x + 2) - 20(x + 2)^2 + 3(x + 2)^3.

Maclaurin's Theorem and Standard Series Expansions

  • Maclaurin's Theorem Formulation:

    • Maclaurin's Theorem is the special case of Taylor's Theorem about the center a=0a = 0 with h=xh = x:     f(x)=f(0)+xf′(0)+x22!f′′(0)+x33!f′′′(0)+⋯+xnn!f(n)(0)+…f(x) = f(0) + x f'(0) + \frac{x^2}{2!} f''(0) + \frac{x^3}{3!} f'''(0) + \dots + \frac{x^n}{n!} f^{(n)}(0) + \dots

  • Derivation for sin⁡(x)\sin(x):

    • Function values and derivatives at x=0x = 0:     f(x)=sin⁡(x)  ⟹  f(0)=0f(x) = \sin(x) \implies f(0) = 0     f′(x)=cos⁡(x)  ⟹  f′(0)=1f'(x) = \cos(x) \implies f'(0) = 1     f′′(x)=−sin⁡(x)  ⟹  f′′(0)=0f''(x) = -\sin(x) \implies f''(0) = 0     f′′′(x)=−cos⁡(x)  ⟹  f′′′(0)=−1f'''(x) = -\cos(x) \implies f'''(0) = -1     f(iv)(x)=sin⁡(x)  ⟹  f(iv)(0)=0f^{(\text{iv})}(x) = \sin(x) \implies f^{(\text{iv})}(0) = 0     f(v)(x)=cos⁡(x)  ⟹  f(v)(0)=1f^{(\text{v})}(x) = \cos(x) \implies f^{(\text{v})}(0) = 1

    • Substituting into Maclaurin's formula yields:     sin⁡(x)=x−x33!+x55!−x77!+…\sin(x) = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \dots

  • Table of Standard Maclaurin Expansions:

    • Exponential function:     ex=1+x+x22!+x33!+x44!+…e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \dots

    • Sine function:     sin⁡(x)=x−x33!+x55!−x77!+…\sin(x) = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \dots

    • Cosine function:     cos⁡(x)=1−x22!+x44!−x66!+…\cos(x) = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \dots

    • Tangent function:     tan⁡(x)=x+x33+2x515+17x7315+…\tan(x) = x + \frac{x^3}{3} + \frac{2x^5}{15} + \frac{17x^7}{315} + \dots

    • Inverse sine:     sin⁡−1(x)=x+x36+3x540+…\sin^{-1}(x) = x + \frac{x^3}{6} + \frac{3x^5}{40} + \dots

    • Inverse cosine:     cos⁡−1(x)=π2−(x+x36+3x540+… )\cos^{-1}(x) = \frac{\pi}{2} - \left(x + \frac{x^3}{6} + \frac{3x^5}{40} + \dots\right)

    • Inverse tangent:     tan⁡−1(x)=x−x33+x55−x77+…\tan^{-1}(x) = x - \frac{x^3}{3} + \frac{x^5}{5} - \frac{x^7}{7} + \dots

    • Natural logarithm of (1+x)(1 + x):     ln⁡(1+x)=x−x22+x33−x44+…\ln(1 + x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \frac{x^4}{4} + \dots

    • Natural logarithm of (1−x)(1 - x):     ln⁡(1−x)=−x−x22−x33−x44−…\ln(1 - x) = -x - \frac{x^2}{2} - \frac{x^3}{3} - \frac{x^4}{4} - \dots

    • Geometric progression (1−x)−1(1 - x)^{-1}:     11−x=1+x+x2+x3+…\frac{1}{1 - x} = 1 + x + x^2 + x^3 + \dots

    • Alternate geometric progression (1+x)−1(1 + x)^{-1}:     11+x=1−x+x2−x3+…\frac{1}{1 + x} = 1 - x + x^2 - x^3 + \dots

    • Binomial series (∣x∣<1|x| < 1, n∈Qn \in \mathbb{Q}):     (1+x)n=1+nx+n(n−1)2!x2+n(n−1)(n−2)3!x3+…(1 + x)^n = 1 + nx + \frac{n(n - 1)}{2!} x^2 + \frac{n(n - 1)(n - 2)}{3!} x^3 + \dots

  • Maclaurin's Series Worked Examples:

    • Example 1: Find the Maclaurin series of exsin⁡(x)e^x \sin(x) up to x5x^5.

    • Method I (Successive Differentiation):       f(x)=exsin⁡(x)  ⟹  f(0)=0f(x) = e^x \sin(x) \implies f(0) = 0       f′(x)=ex(sin⁡(x)+cos⁡(x))  ⟹  f′(0)=1f'(x) = e^x(\sin(x) + \cos(x)) \implies f'(0) = 1       f′′(x)=2excos⁡(x)  ⟹  f′′(0)=2f''(x) = 2e^x \cos(x) \implies f''(0) = 2       f′′′(x)=2ex(cos⁡(x)−sin⁡(x))  ⟹  f′′′(0)=2f'''(x) = 2e^x(\cos(x) - \sin(x)) \implies f'''(0) = 2       f(iv)(x)=−4exsin⁡(x)  ⟹  f(iv)(0)=0f^{(\text{iv})}(x) = -4e^x \sin(x) \implies f^{(\text{iv})}(0) = 0       f(v)(x)=−4ex(sin⁡(x)+cos⁡(x))  ⟹  f(v)(0)=−4f^{(\text{v})}(x) = -4e^x(\sin(x) + \cos(x)) \implies f^{(\text{v})}(0) = -4       Substituting into Maclaurin's series:       f(x)=0+1x+22!x2+23!x3+04!x4+−45!x5+…f(x) = 0 + 1x + \frac{2}{2!} x^2 + \frac{2}{3!} x^3 + \frac{0}{4!} x^4 + \frac{-4}{5!} x^5 + \dots       f(x)=x+x2+x33−x530+…f(x) = x + x^2 + \frac{x^3}{3} - \frac{x^5}{30} + \dots

    • Method II (Series Cauchy Multiplication):       Multiply standard expansions:       ex=1+x+x22+x36+x424+…e^x = 1 + x + \frac{x^2}{2} + \frac{x^3}{6} + \frac{x^4}{24} + \dots       sin⁡(x)=x−x36+x5120−…\sin(x) = x - \frac{x^3}{6} + \frac{x^5}{120} - \dots       Product of series:       exsin⁡(x)=x+x2+x3(−16+12)+x4(−16+16)+x5(1120−112+124)+…e^x \sin(x) = x + x^2 + x^3\left(-\frac{1}{6} + \frac{1}{2}\right) + x^4\left(-\frac{1}{6} + \frac{1}{6}\right) + x^5\left(\frac{1}{120} - \frac{1}{12} + \frac{1}{24}\right) + \dots       exsin⁡(x)=x+x2+x33−x530+…e^x \sin(x) = x + x^2 + \frac{x^3}{3} - \frac{x^5}{30} + \dots

    • Example 2: Expand ln⁡(1+sin⁡(x))\ln(1 + \sin(x)) by Maclaurin's theorem up to x4x^4.

    • Successive derivatives at x=0x = 0:       f(x)=ln⁡(1+sin⁡(x))  ⟹  f(0)=ln⁡(1)=0f(x) = \ln(1 + \sin(x)) \implies f(0) = \ln(1) = 0       f′(x)=cos⁡(x)1+sin⁡(x)  ⟹  f′(0)=1f'(x) = \frac{\cos(x)}{1 + \sin(x)} \implies f'(0) = 1       f′′(x)=−(1+sin⁡(x))(1+sin⁡(x))2=−11+sin⁡(x)  ⟹  f′′(0)=−1f''(x) = \frac{-(1 + \sin(x))}{(1 + \sin(x))^2} = -\frac{1}{1 + \sin(x)} \implies f''(0) = -1       f′′′(x)=cos⁡(x)(1+sin⁡(x))2  ⟹  f′′′(0)=1f'''(x) = \frac{\cos(x)}{(1 + \sin(x))^2} \implies f'''(0) = 1       f(iv)(x)=(1+sin⁡(x))2(−sin⁡(x))−cos⁡(x)⋅2(1+sin⁡(x))cos⁡(x)(1+sin⁡(x))4  ⟹  f(iv)(0)=−2f^{(\text{iv})}(x) = \frac{(1+\sin(x))^2(-\sin(x)) - \cos(x) \cdot 2(1+\sin(x))\cos(x)}{(1+\sin(x))^4} \implies f^{(\text{iv})}(0) = -2

    • Assemble series:       ln⁡(1+sin⁡(x))=x−x22!+x33!−2x44!+⋯=x−x22+x36−x412+…\ln(1 + \sin(x)) = x - \frac{x^2}{2!} + \frac{x^3}{3!} - \frac{2x^4}{4!} + \dots = x - \frac{x^2}{2} + \frac{x^3}{6} - \frac{x^4}{12} + \dots

    • Example 3: Show that:     ln⁡(1+x+x2+x3)=x+x22+x33−3x44+x55+x66+x77−3x88+…\ln(1 + x + x^2 + x^3) = x + \frac{x^2}{2} + \frac{x^3}{3} - \frac{3x^4}{4} + \frac{x^5}{5} + \frac{x^6}{6} + \frac{x^7}{7} - \frac{3x^8}{8} + \dots

    • Identity manipulation:       1+x+x2+x3=1−x41−x1 + x + x^2 + x^3 = \frac{1 - x^4}{1 - x}       ln⁡(1+x+x2+x3)=ln⁡(1−x4)−ln⁡(1−x)\ln(1 + x + x^2 + x^3) = \ln(1 - x^4) - \ln(1 - x)

    • Substitute known series:       ln⁡(1−x4)=−x4−x82−x123−…\ln(1 - x^4) = -x^4 - \frac{x^8}{2} - \frac{x^{12}}{3} - \dots       −ln⁡(1−x)=x+x22+x33+x44+x55+x66+x77+x88+…-\ln(1 - x) = x + \frac{x^2}{2} + \frac{x^3}{3} + \frac{x^4}{4} + \frac{x^5}{5} + \frac{x^6}{6} + \frac{x^7}{7} + \frac{x^8}{8} + \dots

    • Sum matching terms:       ln⁡(1+x+x2+x3)=x+x22+x33+x4(14−1)+x55+x66+x77+x8(18−12)+…\ln(1 + x + x^2 + x^3) = x + \frac{x^2}{2} + \frac{x^3}{3} + x^4\left(\frac{1}{4} - 1\right) + \frac{x^5}{5} + \frac{x^6}{6} + \frac{x^7}{7} + x^8\left(\frac{1}{8} - \frac{1}{2}\right) + \dots       =x+x22+x33−3x44+x55+x66+x77−3x88+…= x + \frac{x^2}{2} + \frac{x^3}{3} - \frac{3x^4}{4} + \frac{x^5}{5} + \frac{x^6}{6} + \frac{x^7}{7} - \frac{3x^8}{8} + \dots

    • Example 4: Show that:     ln⁡(1+e2xex)=ln⁡(2)+x22−x412+x645−…\ln\left(\frac{1 + e^{2x}}{e^x}\right) = \ln(2) + \frac{x^2}{2} - \frac{x^4}{12} + \frac{x^6}{45} - \dots

    • Rewrite the argument:       y=ln⁡(1+e2xex)=ln⁡(e−x+ex)y = \ln\left(\frac{1 + e^{2x}}{e^x}\right) = \ln(e^{-x} + e^x)

    • Substitute exponential expansions:       ex+e−x=2(1+x22!+x44!+x66!+… )e^x + e^{-x} = 2\left(1 + \frac{x^2}{2!} + \frac{x^4}{4!} + \frac{x^6}{6!} + \dots\right)       y=ln⁡(2)+ln⁡(1+[x22+x424+x6720+… ])y = \ln(2) + \ln\left(1 + \left[\frac{x^2}{2} + \frac{x^4}{24} + \frac{x^6}{720} + \dots\right]\right)

    • Apply ln⁡(1+u)=u−u22+u33−…\ln(1 + u) = u - \frac{u^2}{2} + \frac{u^3}{3} - \dots:       y=ln⁡(2)+(x22+x424+x6720)−12(x22+x424)2+13(x22)3+…y = \ln(2) + \left(\frac{x^2}{2} + \frac{x^4}{24} + \frac{x^6}{720}\right) - \frac{1}{2}\left(\frac{x^2}{2} + \frac{x^4}{24}\right)^2 + \frac{1}{3}\left(\frac{x^2}{2}\right)^3 + \dots       y=ln⁡(2)+x22+x4(124−18)+x6(1720−148+124)+…y = \ln(2) + \frac{x^2}{2} + x^4\left(\frac{1}{24} - \frac{1}{8}\right) + x^6\left(\frac{1}{720} - \frac{1}{48} + \frac{1}{24}\right) + \dots       y=ln⁡(2)+x22−x412+x645+…y = \ln(2) + \frac{x^2}{2} - \frac{x^4}{12} + \frac{x^6}{45} + \dots

    • Example 5: Show that (1+x)x=1+x2−x32+5x46−3x54+…(1 + x)^x = 1 + x^2 - \frac{x^3}{2} + \frac{5x^4}{6} - \frac{3x^5}{4} + \dots

    • Let y=(1+x)xy = (1 + x)^x, then ln⁡(y)=xln⁡(1+x)\ln(y) = x \ln(1 + x).

    • Expand logarithm:       z=x(x−x22+x33−x44+… )=x2−x32+x43−x54+…z = x\left(x - \frac{x^2}{2} + \frac{x^3}{3} - \frac{x^4}{4} + \dots\right) = x^2 - \frac{x^3}{2} + \frac{x^4}{3} - \frac{x^5}{4} + \dots

    • Apply exponential series y=ez=1+z+z22!+…y = e^z = 1 + z + \frac{z^2}{2!} + \dots:       y=1+(x2−x32+x43−x54)+12(x2−x32)2+…y = 1 + \left(x^2 - \frac{x^3}{2} + \frac{x^4}{3} - \frac{x^5}{4}\right) + \frac{1}{2}\left(x^2 - \frac{x^3}{2}\right)^2 + \dots       y=1+x2−x32+x4(13+12)+x5(−14−12)+…y = 1 + x^2 - \frac{x^3}{2} + x^4\left(\frac{1}{3} + \frac{1}{2}\right) + x^5\left(-\frac{1}{4} - \frac{1}{2}\right) + \dots       y=1+x2−x32+5x46−3x54+…y = 1 + x^2 - \frac{x^3}{2} + \frac{5x^4}{6} - \frac{3x^5}{4} + \dots

    • Example 6: Expand tan⁡(π4+x)\tan\left(\frac{\pi}{4} + x\right) and calculate tan⁡(46.5∘)\tan(46.5^\circ).

    • Derivatives evaluated at x=0x = 0:       f(x)=tan⁡(π4+x)  ⟹  f(0)=1f(x) = \tan\left(\frac{\pi}{4} + x\right) \implies f(0) = 1       f′(x)=sec⁡2(π4+x)  ⟹  f′(0)=2f'(x) = \sec^2\left(\frac{\pi}{4} + x\right) \implies f'(0) = 2       f′′(x)=2sec⁡2(π4+x)tan⁡(π4+x)  ⟹  f′′(0)=4f''(x) = 2\sec^2\left(\frac{\pi}{4} + x\right)\tan\left(\frac{\pi}{4} + x\right) \implies f''(0) = 4       f′′′(0)=16f'''(0) = 16

    • Series expansion:       tan⁡(π4+x)=1+2x+2x2+8x33+…\tan\left(\frac{\pi}{4} + x\right) = 1 + 2x + 2x^2 + \frac{8x^3}{3} + \dots

    • Evaluate at 46.5∘=45∘+1.5∘46.5^\circ = 45^\circ + 1.5^\circ:       x=1.5∘=1.5π180=π120≈0.02618 radx = 1.5^\circ = \frac{1.5\pi}{180} = \frac{\pi}{120} \approx 0.02618 \text{ rad}       tan⁡(46.5∘)=1+2(0.02618)+2(0.02618)2+83(0.02618)3+…\tan(46.5^\circ) = 1 + 2(0.02618) + 2(0.02618)^2 + \frac{8}{3}(0.02618)^3 + \dots       tan⁡(46.5∘)=1+0.05236+0.00137+0.0000478=1.0537778\tan(46.5^\circ) = 1 + 0.05236 + 0.00137 + 0.0000478 = 1.0537778

  • Maclaurin Expansion Practice Problems:

    • 1. sec⁡(x)=1+x22+5x424+…\sec(x) = 1 + \frac{x^2}{2} + \frac{5x^4}{24} + \dots

    • 2. sin⁡2(x)=x2−x43+2x645−…\sin^2(x) = x^2 - \frac{x^4}{3} + \frac{2x^6}{45} - \dots

    • 3. (1+x)1/x=e[1−x2+11x224−… ](1 + x)^{1/x} = e\left[1 - \frac{x}{2} + \frac{11x^2}{24} - \dots\right]

    • 4. eex=e[1+x+x2+5x36+… ]e^{e^x} = e\left[1 + x + x^2 + \frac{5x^3}{6} + \dots\right]

    • 5. excos⁡(x)=1+x−x33−x46+…e^x \cos(x) = 1 + x - \frac{x^3}{3} - \frac{x^4}{6} + \dots

    • 6. 1+sin⁡(x)=1+x2−x28−x348+x4384+…\sqrt{1 + \sin(x)} = 1 + \frac{x}{2} - \frac{x^2}{8} - \frac{x^3}{48} + \frac{x^4}{384} + \dots

Applications of Series Expansions

  • Integration of Non-Elementary Functions:

    • Definite integrals of functions lacking closed-form elementary antiderivatives can be solved using Taylor and Maclaurin polynomial series.

    • Evaluation of ∫sin⁡(x2) dx\int \sin(x^2)\,dx:

    • Known series:       sin⁡(t)=t−t33!+t55!−t77!+…\sin(t) = t - \frac{t^3}{3!} + \frac{t^5}{5!} - \frac{t^7}{7!} + \dots

    • Substitute t=x2t = x^2:       sin⁡(x2)=x2−x63!+x105!−x147!+…\sin(x^2) = x^2 - \frac{x^6}{3!} + \frac{x^{10}}{5!} - \frac{x^{14}}{7!} + \dots

    • Integrate term by term:       ∫sin⁡(x2) dx=x33−x77⋅3!+x1111⋅5!−x1515⋅7!+…\int \sin(x^2)\,dx = \frac{x^3}{3} - \frac{x^7}{7 \cdot 3!} + \frac{x^{11}}{11 \cdot 5!} - \frac{x^{15}}{15 \cdot 7!} + \dots

    • Evaluating from 00 to 11:       ∫01sin⁡(x2) dx=13−142+11320−175600+⋯≈0.31026\int_0^1 \sin(x^2)\,dx = \frac{1}{3} - \frac{1}{42} + \frac{1}{1320} - \frac{1}{75600} + \dots \approx 0.31026

  • Numerical Approximation of Fundamental Mathematical Constants:

    • Calculating Euler's constant ee via Maclaurin expansion:     ex=1+x+x22!+x33!+…e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \dots

    • Setting x=1x = 1 using eight terms:     e=1+1+12+16+124+1120+1720+15040≈2.718253e = 1 + 1 + \frac{1}{2} + \frac{1}{6} + \frac{1}{24} + \frac{1}{120} + \frac{1}{720} + \frac{1}{5040} \approx 2.718253     which is accurate to four decimal places.

  • Polynomial Function Modeling and Differential Equations:

    • Replaces complex transcendental functions with simple polynomial models within bounded error tolerances.

    • Generates approximate series solutions for linear and non-linear differential equations where analytical solutions are unavailable.