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 and be two non-empty sets. The Cartesian product of and , denoted by , is the set of all ordered pairs such that and .
Formal set definition:
A relation between and is defined as any subset of .
If is non-empty, any relation defined on is termed a binary relation on .
Function of a Single Variable:
Definition: A function (or mapping) from a set to a set , denoted , is a relation that associates each element with a unique (exactly one) element .
Image representation: The element is expressed as , where is called the image of under .
Terminology: The set is designated as the domain of , and the set is designated as the co-domain of .
Variable roles: acts as the independent variable, whereas acts as the dependent variable.
Analysis of Relations for Function Validity:
Consider sets and .
Relation : Maps , , , and .
Validation: Every element in the domain is associated with exactly one element in .
Classification: is a function.

Relation : Maps , , and , while element has no outgoing arrow.
Validation: The domain element fails to associate with any element in codomain .
Classification: is not a function.

Relation : Maps , , , , and .
Validation: The domain element is associated with multiple elements ( and ) rather than a unique element.
Classification: is not a function.

Theory of Sequences
Definition and Notation:
A sequence is a function whose domain is the set of natural numbers and whose codomain is the set of real numbers .
Notations: Denoted as , , or .
Explicit form: where denotes the term of the sequence.
Elementary examples:
Natural sequence: , where the general term is .
Constant sequence: , where the general term is .
Classification of Sequences:
Convergent Sequence:
A sequence is convergent if and only if: exists as a finite, unique real number.
Example: For , , which is finite; therefore, the sequence converges.
Divergent Sequence:
A sequence is divergent if and only if:
Example: For , ; therefore, the sequence diverges.
Oscillatory Sequence:
A sequence 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 , the sequence terms cycle infinitely between and . Because the limit does not exist, the sequence is oscillatory.
Limits of Standard Sequences:
For any constant :
Specific cases:
Evaluating rational functions of sequences: For polynomials and , the limit: is calculated by factoring out the highest power of from both numerator and denominator.
Geometric progression limit: For a real ratio :
Exponential limits:
Fundamental special evaluations:
Infinite Series and Partial Sums
Formal Definitions:
Let be a sequence of real numbers. An expression of the form: is called an infinite series.
The sequence of partial sums, denoted by , is defined by:
Convergence Behavior via Partial Sums:
Convergent Series: A series converges if , where is a finite and unique real number.
Divergent Series: A series diverges if or .
Oscillatory Series: A series oscillates if 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:
Sum of powers of two:
Alternating powers of two:
Fundamental Benchmark Series
The Geometric Series:
General formulation:
Sequence of partial sums for terms:
Convergence criteria:
Converges if (i.e., ).
Diverges if .
Oscillates if .
Infinite sum under convergence:
Visual proof and evaluation of geometric progression:
Find the infinite sum of:
Algebraic resolution:
The -Series (Hyperharmonic Series):
Definition: A series of the form: where is a positive real number.
The -Series Test (-Test):
Converges if .
Diverges if .
Standard examples:
is divergent (, the harmonic series).
is divergent ().
is convergent ().
is convergent ().
General Convergence Theorems and Diagnostic Tests
Necessary Condition for Convergence:
Theorem: If an infinite series is convergent, then:
Non-reversibility caveat: The converse is not true. If , the series may or may not converge.
Counterexample: For the harmonic series, , yet diverges.
-Term Test for Divergence:
If , then the series is divergent.
Example: For , ; therefore, 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 : The series diverges.
Series : The series diverges.
Identification of term and behavior:
Series :
Series :
First five partial sums of given sequences:
For : , , , , .
For : sequence terms are , yielding partial sums , , , , .
For : sequence terms are , yielding , , , , .
Convergence Tests for Positive Term Series
Direct Comparison Test (First Form):
Statement: Let and be two series of positive real numbers such that for all .
Case 1: If is convergent, then is also convergent.
Case 2: If is divergent, then is also divergent.
Example: Test the convergence of:
Step 1: Identify general term .
Step 2: Choose auxiliary term .
Step 3: Note the inequality , which implies:
Step 4: The auxiliary series is a geometric series with common ratio , which converges.
Step 5: By the Direct Comparison Test, is convergent.
Limit Comparison Test (LCT):
Statement: If and are two series of positive terms such that: where is finite and non-zero (), then:
If converges, converges.
If diverges, diverges.
In summary, and converge or diverge together.
Selection heuristic for algebraic series: If contains only powers of : where and represent the highest index of in the numerator and denominator of , respectively.
Limit Comparison Test Worked Examples:
Example 1: Test the convergence of:
Step 1: Identify .
Step 2: Choose auxiliary term by matching dominant powers:
Step 3: Compute the limit ratio: The limit is finite and non-zero. Thus, and converge or diverge together.
Step 4: Analyze . By the -test, , meaning is convergent.
Step 5: By the Limit Comparison Test, is convergent.
Example 2: Test the convergence of:
Step 1: General term:
Step 2: Determine auxiliary series :
Step 3: Compute limit ratio: Factor from the numerator and from the denominator: The limit is finite and non-zero ().
Step 4: Evaluate auxiliary series . By the -test, , meaning is divergent.
Step 5: By the Limit Comparison Test, is divergent.
Example 3: Test the convergence of:
Step 1: General term is .
Step 2: Select auxiliary series .
Step 3: Compute the limit ratio: Substitute . As , : The limit is finite and non-zero ().
Step 4: Examine . Since , diverges.
Step 5: By the Limit Comparison Test, is divergent.
Limit Comparison Practice Problems:
1. : Convergent (, )
2. : Convergent (, ; listed answer diverges if evaluated under non-simplified indices, but standard degree comparison yields convergence)
3. : Convergent (, , ; transcript key denotes Divergent)
4. : Divergent (, limit of terms does not approach zero; transcript denotes Convergent)
5. : Convergent (, ; transcript key denotes Divergent)
6. : Divergent (, ; transcript denotes Convergent)
7. : Convergent (, )
8. : Convergent (, )
9. : Divergent (, )
: Convergent (, )
D'Alembert's Ratio Test
Formal Statements:
Let be an infinite series of strictly positive terms.
Form 1 (Standard Ratio Limit):
Case 1: If , the series is convergent.
Case 2: If , the series is divergent.
Case 3: If , the Ratio Test fails (inconclusive).
Form 2 (Reciprocal Ratio Limit):
Case 1: If , the series is convergent.
Case 2: If , the series is divergent.
Case 3: If , the Ratio Test fails (inconclusive).
D'Alembert's Ratio Test Worked Examples:
Example 1: Test the convergence of:
Step 1: The presence of factorials () and powers () indicates the ratio test. Identify terms:
Step 2: Formulate the ratio: Expand factorials and exponents:
Step 3: Take the limit as :
Step 4: Evaluate the result: Since , , meaning .
Step 5: By D'Alembert's Ratio Test, is convergent.
Example 2: Test the convergence of:
Step 1: Identify terms:
Step 2: Set up the limit:
Step 3: Evaluate: .
Step 4: By D'Alembert's Ratio Test, the series converges.
Example 3: Test the convergence of:
Step 1: Determine the general term:
Numerator terms form an arithmetic progression: , .
Denominator terms form an arithmetic progression: , .
The general term is:
Step 2: Write :
Step 3: Compute the ratio and its limit:
Step 4: Evaluate: .
Step 5: By D'Alembert's Ratio Test, the series is convergent.
Example 4: Test the convergence of:
Step 1: General term:
Step 2: Compute the ratio:
Step 3: Calculate the limit:
Step 4: Evaluate: .
Step 5: By D'Alembert's Ratio Test, the series is divergent.
Ratio Test Practice Problems:
1. : Convergent ()
2. : Divergent ()
3. : Convergent ()
4. : Convergent
5. : Convergent (transcript lists as Convergent; mathematically diverges since
6. : Divergent ()
7. : Convergent ()
8. : Convergent ()
9. : Divergent ()
: Convergent ()
: Divergent ()
Systematic Diagnostic Algorithm for Series Convergence
A structured decision process guides testing the convergence of positive-term series with :

Flowchart Rules and Pathways:
Initial Divergence Check: Check whether as .
If No: The series is Divergent by the -term test.
If Yes or uncertain: Proceed to structural analysis of .
Factorial or Exponential Check: Check if contains factorials (), exponentials (), or power terms ().
If Yes: Calculate via the Ratio Test.
If : Series is Divergent.
If : Series is Convergent.
If or does not exist: Test Fails; select an alternate test.
If No: Check algebraic structure.
Polynomial Ratio Check: Check if is a ratio of polynomials.
If Yes: Apply the Limit Comparison Test with .
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: where for all .
Leibniz Test (Alternating Series Test):
An alternating series is convergent if it satisfies two conditions:
The terms are non-increasing in magnitude:
The limit of the general term is zero:
Power Series and the Region of Convergence
Definition of Power Series:
A power series in one variable centered at is an infinite series of the form: where denotes the coefficient of the term and is a constant.
Properties:
The coefficients are independent of .
When centered at the origin (), the power series simplifies to:
Fundamental Convergence Theorem:
For any power series , exactly one of the following three mutually exclusive possibilities holds:
The series converges only when (trivial convergence, radius ).
The series converges for all real values of (radius ; interval of convergence is ).
There exists a strictly positive real number such that the series converges absolutely for and diverges for .

Interval and Radius of Convergence:
The number is called the radius of convergence.
The interval of convergence comprises all values of for which the series converges.
Endpoint behavior: At the boundaries and , 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 and .
Calculate the limit ratio:
Setting :
The series converges when .
The series diverges when .
The radius of convergence is given by , and the center of convergence is .
Power Series Worked Examples:
Example 1: Test convergence of:
Terms: , .
Ratio limit:
Conclusion: Convergent for ; divergent for .
Example 2: Test convergence of the exponential series:
Terms: , .
Ratio limit:
Conclusion: Since regardless of , the series is convergent for all values of ().
Example 3: Test convergence of:
Terms: , .
Ratio limit:
Conclusion: Convergent for ; divergent for .
Power Series Practice Problems:
: Convergent if , divergent if
: Convergent if , divergent if
: Convergent if , divergent if
: Convergent if , divergent if
: Convergent if , divergent if
: Convergent if , divergent if or
: Convergent if , divergent if
Taylor's Theorem and Taylor's Series
Taylor's Theorem Statement:
Let be a real-valued function defined on the closed interval such that:
The derivatives are continuous on .
The derivative exists on the open interval .
Then there exists at least one real number with such that:
Lagrange's Form of Remainder after terms:
Taylor's Series Expansion:
If the remainder satisfies , Taylor's theorem yields the infinite Taylor's series:
Alternate Form (Powers of ):
Substituting expresses the series in ascending powers of , or about the point :
Taylor's Theorem Worked Examples:
Example 1: Express in powers of .
Set :
Evaluate derivatives at :
Substitute values:
Example 2: Expand in powers of .
Identify with :
Derivatives evaluated at :
Assemble Taylor expansion:
Example 3: Prove that:
Set and expand about :
Compute general derivatives:
Substitute coefficients:
Example 4: Expand about .
Function values and derivatives evaluated at :
Assemble series:
Example 5: Evaluate to five decimal places.
Let with and .
Evaluate derivatives at :
Compute Taylor expansion:
Example 6: Evaluate up to four decimal places.
Let with and .
Derivatives evaluated at :
Compute expansion:
Taylor's Theorem Practice Problems:
1. Using Taylor's theorem, calculate : Answer is .
2. Expand in powers of : Answer is .
3. Expand in powers of : Answer is .
4. Expand in powers of : Answer is .
5. Prove that .
6. Expand in ascending powers of , and compute : Answer is .
7. Expand in powers of : Answer is .
8. Expand in powers of : Answer is .
9. Expand in powers of : Answer is .
Expand in powers of : Answer is .
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 with :
Derivation for :
Function values and derivatives at :
Substituting into Maclaurin's formula yields:
Table of Standard Maclaurin Expansions:
Exponential function:
Sine function:
Cosine function:
Tangent function:
Inverse sine:
Inverse cosine:
Inverse tangent:
Natural logarithm of :
Natural logarithm of :
Geometric progression :
Alternate geometric progression :
Binomial series (, ):
Maclaurin's Series Worked Examples:
Example 1: Find the Maclaurin series of up to .
Method I (Successive Differentiation): Substituting into Maclaurin's series:
Method II (Series Cauchy Multiplication): Multiply standard expansions: Product of series:
Example 2: Expand by Maclaurin's theorem up to .
Successive derivatives at :
Assemble series:
Example 3: Show that:
Identity manipulation:
Substitute known series:
Sum matching terms:
Example 4: Show that:
Rewrite the argument:
Substitute exponential expansions:
Apply :
Example 5: Show that
Let , then .
Expand logarithm:
Apply exponential series :
Example 6: Expand and calculate .
Derivatives evaluated at :
Series expansion:
Evaluate at :
Maclaurin Expansion Practice Problems:
1.
2.
3.
4.
5.
6.
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 :
Known series:
Substitute :
Integrate term by term:
Evaluating from to :
Numerical Approximation of Fundamental Mathematical Constants:
Calculating Euler's constant via Maclaurin expansion:
Setting using eight terms: 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.