GTU Mathematics 2 (3110015) Semester 1 Summer 2026 Solved Paper
Complete student-friendly worked solution for GTU Mathematics - 2 (3110015) Semester 1 Summer 2026 examination, featuring detailed step-by-step solutions, derivations, and exam tips.
Introduction
This document provides a comprehensive, student-friendly worked solution for the Gujarat Technological University (GTU) Bachelor of Engineering Semester 1 examination in Mathematics - 2 (Subject Code: 3110015). Mathematics - 2 is a foundational course covering Ordinary Differential Equations of first and higher orders, Series Solutions of ODEs and Special Functions (Legendre and Bessel functions), Fourier Series, Partial Differential Equations, and Vector Calculus (including Green's, Gauss Divergence, and Stokes' theorems). In the official examination paper text, mathematical formulas and symbols were formatted with specialized typography (including a printed errata note for Question 1(c) instructing candidates to read the contour integral correctly). Each question in this solution set is addressed with complete theoretical explanations, standard solution methods, and fully worked model solutions matched to the specified mark weight (3, 4, or 7 marks) to enable students to understand, reproduce, and excel in university examinations.
Paper Information
- University
- Gujarat Technological University
- Department
- First Year Engineering (All Branches)
- Semester
- 1
- Subject
- Mathematics - 2
- Subject Code
- 3110015
- Exam
- Summer
- Year
- 2026
Questions and Solutions
Q.1 (a)
Question
Q.1 (a) [03 Marks]
Solution
Exact First Order Differential Equations
Definition
A first-order differential equation of the form:
M(x, y) dx + N(x, y) dy = 0
is called an exact differential equation if there exists a scalar function u(x, y) such that:
du = M dx + N dy
Condition for Exactness
The necessary and sufficient condition for the equation to be exact is:
∂M/∂y = ∂N/∂x
where ∂ represents the partial derivative.
Standard Solution Procedure
Once an equation is verified to be exact, its general solution is given by:
∫ M dx (treating y as constant) + ∫ (terms of N not containing x) dy = C
where C is an arbitrary integration constant.
Worked Example (3 Marks)
Problem: Solve the differential equation:
(2xy + y³) dx + (x² + 3xy² - 1) dy = 0
- Identify M and N:
- M(x, y) = 2xy + y³
- N(x, y) = x² + 3xy² - 1
- Check for Exactness:
- ∂M/∂y = 2x + 3y²
- ∂N/∂x = 2x + 3y²
- Since ∂M/∂y = ∂N/∂x, the differential equation is exact.
- Integrate M with respect to x (keeping y constant):
- ∫ (2xy + y³) dx = 2y (x²/2) + y³x = x²y + xy³
- Integrate terms of N free from x with respect to y:
- Terms in N without x: -1
- ∫ (-1) dy = -y
- Write the General Solution:
- x²y + xy³ - y = C
Final Answer: x²y + xy³ - y = C
Q.1 (b)
Question
Q.1 (b) [04 Marks]
Solution
First Order Linear Differential Equations
Standard Form and Integrating Factor
A first-order ordinary differential equation is linear when it can be expressed in the canonical form:
dy/dx + P(x) y = Q(x)
where P(x) and Q(x) are continuous functions of x alone (or constants).
Solution Steps
- Identify P(x) and Q(x) from the standard form.
- Compute the Integrating Factor (I.F.):
I.F. = e^(∫ P(x) dx)
- Multiply both sides by the integrating factor. The left side becomes d/dx [y · (I.F.)].
- Integrate both sides with respect to x:
y · (I.F.) = ∫ [Q(x) · (I.F.)] dx + C
Worked Example (4 Marks)
Problem: Solve the linear differential equation:
dy/dx + 2y = e^(-x)
- Identify Functions:
- P(x) = 2
- Q(x) = e^(-x)
- Calculate Integrating Factor:
- ∫ P(x) dx = ∫ 2 dx = 2x
- I.F. = e^(2x)
- Set Up the General Solution Formula:
- y · e^(2x) = ∫ [e^(-x) · e^(2x)] dx + C
- y · e^(2x) = ∫ e^x dx + C
- Evaluate the Integral:
- y · e^(2x) = e^x + C
- Express y Explicitly:
- y = e^(-x) + C · e^(-2x)
Final Answer: y = e^(-x) + C e^(-2x)
Q.1 (c)
Question
Q.1 (c) kindly ignore the square box mentioned in upper limit and consider c as curve which is mentioned in lower limit [07 Marks]
Solution
Evaluation of Line Integrals along a Curve C
Context of the Question
The note clarifies that the integral symbol represents a contour/line integral:
∫_C F · dr
where C is a specified curve in the plane or space, rather than a standard definite integral with an upper numerical limit.
Definition of Line Integral
Let F(x, y) = M(x, y) i + N(x, y) j be a continuous vector field, and let C be a smooth curve parameterized by:
r(t) = x(t) i + y(t) j, where a ≤ t ≤ b
The line integral of F along C is defined as:
∫C F · dr = ∫C (M dx + N dy) = ∫_a^b [M(x(t), y(t)) (dx/dt) + N(x(t), y(t)) (dy/dt)] dt
---
Worked 7-Mark Example
Problem: Evaluate the line integral:
I = ∫_C [(x² - y²) dx + 2xy dy]
along the curve C given by the parabola y = x² from the point (0, 0) to (1, 1).
Step 1: Parameterize the Curve C
Let x = t. Since y = x², we have:
- x(t) = t
- y(t) = t²
Differential elements:
- dx = dt
- dy = 2t dt
Limits of parameter t:
- At (0, 0): t = 0
- At (1, 1): t = 1
- Therefore, t varies from 0 to 1.
Step 2: Substitute Parametric Expressions into the Integrand
- M(x, y) dx = (x² - y²) dx = (t² - (t²)²) dt = (t² - t⁴) dt
- N(x, y) dy = (2xy) dy = 2(t)(t²) (2t dt) = 4t⁴ dt
Summing the two terms:
- F · dr = (t² - t⁴) dt + 4t⁴ dt = (t² + 3t⁴) dt
Step 3: Integrate with Respect to t
I = ∫_0^1 (t² + 3t⁴) dt
Compute each antiderivative:
- ∫ t² dt = t³ / 3
- ∫ 3t⁴ dt = 3t⁵ / 5
Evaluating between t = 0 and t = 1: I = [t³ / 3 + 3t⁵ / 5]_0^1 I = (1/3 + 3/5) - (0 + 0) I = (5 + 9) / 15 = 14/15
Step 4: Verification using Path Independence Test
Let us check if F = (x² - y²) i + 2xy j is conservative:
- ∂M/∂y = ∂/∂y (x² - y²) = -2y
- ∂N/∂x = ∂/∂x (2xy) = 2y
Since ∂M/∂y ≠ ∂N/∂x (-2y ≠ 2y), the field is non-conservative, confirming that the value depends on the path y = x² and must be evaluated directly via parameterization.
Final Answer: The value of the line integral along curve C is 14/15.
Q.2 (a)
Question
Q.2 (a) [03 Marks]
Solution
Second-Order Linear Homogeneous ODEs with Constant Coefficients
General Form
A second-order homogeneous linear differential equation with constant coefficients has the form:
a (d²y/dx²) + b (dy/dx) + c y = 0
where a, b, and c are real constants and a ≠ 0.
Characteristic (Auxiliary) Equation
Substituting the trial solution y = e^(mx) yields the characteristic equation:
a m² + b m + c = 0
Let the roots of this quadratic equation be m₁ and m₂.
Three Cases of Complementary Functions
- Real and Distinct Roots (m₁ ≠ m₂):
y = C₁ e^(m₁x) + C₂ e^(m₂x) - Real and Equal Roots (m₁ = m₂ = m):
y = (C₁ + C₂ x) e^(mx) - Complex Conjugate Roots (m = α ± iβ):
y = e^(αx) [C₁ cos(βx) + C₂ sin(βx)]
Quick Example (3 Marks)
Solve: d²y/dx² - 5(dy/dx) + 6y = 0
- Auxiliary Equation: m² - 5m + 6 = 0
- Factoring: (m - 2)(m - 3) = 0 => m₁ = 2, m₂ = 3
- General Solution: y = C₁ e^(2x) + C₂ e^(3x)
Q.2 (b)
Question
Q.2 (b) [04 Marks]
Solution
Finding the Particular Integral using Operator D Method
Concept of Differential Operator D
Let D = d/dx, D² = d²/dx². A non-homogeneous equation is written as:
f(D) y = X(x)
The complete solution is:
y = yc + yp
where yc is the complementary function and yp = [1 / f(D)] X(x) is the particular integral.
Standard Rule for Exponential Functions
If X(x) = e^(ax), then:
y_p = [1 / f(D)] e^(ax) = [1 / f(a)] e^(ax), provided f(a) ≠ 0
If f(a) = 0 (case of failure), then:
y_p = x · [1 / f'(D)] e^(ax)
Worked Example (4 Marks)
Problem: Find the particular integral of:
(D² - 4D + 3) y = 2 e^(3x)
- Identify f(D) and a:
- f(D) = D² - 4D + 3
- X(x) = 2 e^(3x), so a = 3
- Test for Case of Failure:
- f(3) = 3² - 4(3) + 3 = 9 - 12 + 3 = 0 (Case of failure occurs)
- Differentiate f(D) with Respect to D:
- f'(D) = d/dD (D² - 4D + 3) = 2D - 4
- Apply Failure Rule:
- y_p = x · [1 / (2D - 4)] [2 e^(3x)]
- Substitute D = 3 into f'(D):
f'(3) = 2(3) - 4 = 6 - 4 = 2 - y_p = x · [2 e^(3x) / 2] = x e^(3x)
Final Answer: y_p = x e^(3x)
Q.2 (c)
Question
Q.2 (c) [07 Marks]
Solution
Method of Variation of Parameters
Objective
The Method of Variation of Parameters is a general technique used to find the particular solution of second-order non-homogeneous linear differential equations:
y'' + P(x) y' + Q(x) y = R(x)
especially when R(x) is tan(x), sec(x), cosec(x), or 1/x, where the standard operator D method cannot be easily applied.
Method and Formulas
- Find the complementary function:
y_c = C₁ y₁ + C₂ y₂
where y₁ and y₂ are two linearly independent solutions of the homogeneous equation.
- Compute the Wronskian W of y₁ and y₂:
W(y₁, y₂) = y₁ y₂' - y₁' y₂
Since y₁ and y₂ are linearly independent, W ≠ 0.
- The particular integral is assumed as:
y_p = u(x) y₁ + v(x) y₂
where u(x) and v(x) are determined by:
- u(x) = - ∫ [y₂ R(x) / W] dx
- v(x) = ∫ [y₁ R(x) / W] dx
- The complete general solution is:
y = yc + yp
---
Worked 7-Mark Problem
Solve: y'' + y = sec(x)
Step 1: Find the Complementary Function (y_c)
Homogeneous equation: y'' + y = 0
- Auxiliary equation: m² + 1 = 0 => m = ± i
- y_c = C₁ cos(x) + C₂ sin(x)
- Here, y₁ = cos(x) and y₂ = sin(x).
Step 2: Calculate the Wronskian (W)
W = y₁ y₂' - y₁' y₂
- y₁' = -sin(x)
- y₂' = cos(x)
- W = cos(x) [cos(x)] - [-sin(x)] [sin(x)]
- W = cos²(x) + sin²(x) = 1
Step 3: Compute u(x)
Here, R(x) = sec(x). u(x) = - ∫ [y₂ R(x) / W] dx u(x) = - ∫ [sin(x) · sec(x) / 1] dx Since sec(x) = 1/cos(x): u(x) = - ∫ [sin(x) / cos(x)] dx = - ∫ tan(x) dx u(x) = - ln|sec(x)| = ln|cos(x)|
Step 4: Compute v(x)
v(x) = ∫ [y₁ R(x) / W] dx v(x) = ∫ [cos(x) · sec(x) / 1] dx Since cos(x) · sec(x) = 1: v(x) = ∫ 1 dx = x
Step 5: Form the Particular Integral (y_p)
yp = u(x) y₁ + v(x) y₂ yp = [ln|cos(x)|] cos(x) + x sin(x)
Step 6: Write Complete General Solution
y = C₁ cos(x) + C₂ sin(x) + cos(x) ln|cos(x)| + x sin(x)
Final Answer: y = C₁ cos(x) + C₂ sin(x) + cos(x) ln|cos(x)| + x sin(x)
Q.2 (c) OR
Question
Q.2 (c) OR [07 Marks]
Solution
Cauchy-Euler Linear Differential Equations
Definition
A Cauchy-Euler equation of order 2 has the form:
x² (d²y/dx²) + a₁ x (dy/dx) + a₂ y = f(x)
where the power of x matches the order of each derivative.
Transformation to Constant Coefficients
Substitute:
- x = e^z or z = ln(x)
- Let θ = d/dz
Then derivatives transform as:
- x (dy/dx) = θ y
- x² (d²y/dx²) = θ(θ - 1) y
Substituting these converts the equation into a linear ODE with constant coefficients in independent variable z.
---
Worked 7-Mark Problem
Solve: x² (d²y/dx²) - 2x (dy/dx) - 4y = x²
Step 1: Substitute Transformations
Let x = e^z, so z = ln(x) and θ = d/dz.
- x (dy/dx) = θ y
- x² (d²y/dx²) = θ(θ - 1) y
- Right-hand side: x² = (e^z)² = e^(2z)
Substitute into the ODE: [θ(θ - 1) - 2θ - 4] y = e^(2z) (θ² - θ - 2θ - 4) y = e^(2z) (θ² - 3θ - 4) y = e^(2z)
Step 2: Find Complementary Function (y_c)
Auxiliary equation: m² - 3m - 4 = 0 (m - 4)(m + 1) = 0 => m₁ = 4, m₂ = -1
y_c = C₁ e^(4z) + C₂ e^(-z)
Step 3: Find Particular Integral (y_p)
y_p = [1 / (θ² - 3θ - 4)] e^(2z)
Substitute θ = 2: Denominator = 2² - 3(2) - 4 = 4 - 6 - 4 = -6 ≠ 0
y_p = e^(2z) / (-6) = - (1/6) e^(2z)
Step 4: Combine Solutions in Variable z
y(z) = C₁ e^(4z) + C₂ e^(-z) - (1/6) e^(2z)
Step 5: Convert Back to Variable x
Since e^z = x, e^(4z) = x⁴, e^(-z) = x^(-1), and e^(2z) = x²:
y(x) = C₁ x⁴ + C₂ x^(-1) - (1/6) x²
Final Answer: y = C₁ x⁴ + C₂ / x - (1/6) x²
Q.3 (a)
Question
Q.3 (a) [03 Marks]
Solution
Classification of Singular Points of Second Order ODEs
Definition
Consider the homogeneous linear ODE in standard form:
y'' + P(x) y' + Q(x) y = 0
- Ordinary Point:
A point x = x₀ is an ordinary point if both P(x) and Q(x) are analytic at x₀ (i.e., their Taylor series exist around x₀).
- Singular Point:
If either P(x) or Q(x) (or both) are not analytic at x = x₀, then x = x₀ is called a singular point.
- Regular Singular Point:
A singular point x = x₀ is a regular singular point if:
- lim_(x -> x₀) (x - x₀) P(x) is finite
- lim_(x -> x₀) (x - x₀)² Q(x) is finite
- Irregular Singular Point:
If either limit does not exist or is infinite, x = x₀ is an irregular singular point.
Example (3 Marks)
For the equation: x² y'' + x y' + (x² - 4) y = 0
- P(x) = 1/x, Q(x) = (x² - 4)/x²
- At x = 0, both P(x) and Q(x) are undefined; hence x = 0 is a singular point.
- Check regular condition:
- lim_(x -> 0) [x · (1/x)] = 1 (finite)
- lim_(x -> 0) [x² · ((x² - 4)/x²)] = -4 (finite)
- Therefore, x = 0 is a regular singular point.
Q.3 (b)
Question
Q.3 (b) [04 Marks]
Solution
Power Series Solution of ODEs around an Ordinary Point
Method Overview
When x = 0 is an ordinary point of y'' + P(x) y' + Q(x) y = 0, the solution can be expressed as a power series:
y = ∑(n=0)^∞ an x^n = a₀ + a₁ x + a₂ x² + a₃ x³ + ...
Worked Example (4 Marks)
Solve: y'' + y = 0 near x = 0
- Differentiate Term by Term:
- y = ∑(n=0)^∞ an x^n
- y' = ∑(n=1)^∞ n an x^(n-1)
- y'' = ∑(n=2)^∞ n(n-1) an x^(n-2)
- Substitute into ODE:
∑(n=2)^∞ n(n-1) an x^(n-2) + ∑(n=0)^∞ an x^n = 0
- Shift Indices:
Let k = n - 2 in the first sum (so n = k + 2):
∑(k=0)^∞ (k+2)(k+1) a(k+2) x^k + ∑(k=0)^∞ ak x^k = 0
- Obtain Recurrence Relation:
(k+2)(k+1) a(k+2) + ak = 0
a(k+2) = - ak / [(k+1)(k+2)]
- Compute Coefficients:
- For k = 0: a₂ = -a₀ / (1 · 2) = -a₀ / 2!
- For k = 1: a₃ = -a₁ / (2 · 3) = -a₁ / 3!
- For k = 2: a₄ = -a₂ / (3 · 4) = a₀ / 4!
- For k = 3: a₅ = -a₃ / (4 · 5) = a₁ / 5!
- Group Terms:
y = a₀ [1 - x²/2! + x⁴/4! - ...] + a₁ [x - x³/3! + x⁵/5! - ...]
y = a₀ cos(x) + a₁ sin(x)
Final Answer: y = a₀ cos(x) + a₁ sin(x)
Q.3 (c)
Question
Q.3 (c) [07 Marks]
Solution
Legendre's Differential Equation and Legendre Polynomials
Definition of Legendre's Equation
Legendre's differential equation of order n is:
(1 - x²) (d²y/dx²) - 2x (dy/dx) + n(n + 1) y = 0
where n is a non-negative integer. Its solutions bounded on [-1, 1] are called Legendre Polynomials, denoted by P_n(x).
Rodrigues' Formula
Rodrigues' formula provides an explicit representation for P_n(x):
P_n(x) = [1 / (2^n · n!)] · (d^n/dx^n) [(x² - 1)^n]
Derivation of First Four Legendre Polynomials
- For n = 0:
P₀(x) = [1 / (2⁰ · 0!)] · (x² - 1)⁰ = 1
- For n = 1:
P₁(x) = [1 / (2¹ · 1!)] · (d/dx) [x² - 1] = (1/2)(2x) = x
- For n = 2:
P₂(x) = [1 / (2² · 2!)] · (d²/dx²) [(x² - 1)²]
- (x² - 1)² = x⁴ - 2x² + 1
- First derivative: 4x³ - 4x
- Second derivative: 12x² - 4
- P₂(x) = (1/8)(12x² - 4) = (3x² - 1) / 2
- For n = 3:
P₃(x) = [1 / (2³ · 3!)] · (d³/dx³) [(x² - 1)³]
- (x² - 1)³ = x⁶ - 3x⁴ + 3x² - 1
- 1st derivative: 6x⁵ - 12x³ + 6x
- 2nd derivative: 30x⁴ - 36x² + 6
- 3rd derivative: 120x³ - 72x
- P₃(x) = [1 / 48] (120x³ - 72x) = (5x³ - 3x) / 2
Generating Function for Legendre Polynomials
The generating function is defined as:
(1 - 2xt + t²)^(-1/2) = ∑(n=0)^∞ Pn(x) t^n
Key Properties
- P_n(1) = 1 for all n
- P_n(-1) = (-1)^n
- Pn(-x) = (-1)^n Pn(x) (Even function for even n, odd for odd n)
Final Summary Table:
- P₀(x) = 1
- P₁(x) = x
- P₂(x) = (3x² - 1) / 2
- P₃(x) = (5x³ - 3x) / 2
Q.3 (a) OR
Question
Q.3 (a) OR [03 Marks]
Solution
Bessel's Differential Equation and Bessel Functions
Definition
Bessel's differential equation of order n is:
x² (d²y/dx²) + x (dy/dx) + (x² - n²) y = 0
where n is a non-negative constant.
Bessel Function of First Kind, J_n(x)
The solution bounded at x = 0 is called the Bessel function of the first kind of order n, defined by the power series:
Jn(x) = ∑(r=0)^∞ [(-1)^r / (r! · Γ(n + r + 1))] · (x / 2)^(n + 2r)
where Γ denotes the Gamma function.
For n = 0 (Bessel function of order zero):
J₀(x) = 1 - (x²/4) + (x⁴/64) - ... = ∑_(r=0)^∞ [(-1)^r / (r!)²] (x/2)^(2r)
Key Values
- J₀(0) = 1
- J_n(0) = 0 for n > 0
Q.3 (b) OR
Question
Q.3 (b) OR [04 Marks]
Solution
Recurrence Relations for Bessel Functions
Standard Recurrence Relations
Bessel functions satisfy several fundamental recurrence relations:
- d/dx [x^n Jn(x)] = x^n J(n-1)(x)
- d/dx [x^(-n) Jn(x)] = - x^(-n) J(n+1)(x)
- J(n-1)(x) + J(n+1)(x) = (2n / x) J_n(x)
- J(n-1)(x) - J(n+1)(x) = 2 J_n'(x)
Derivation of Recurrence Relation (3)
From relation (1): x^n Jn'(x) + n x^(n-1) Jn(x) = x^n J(n-1)(x) Dividing by x^n: Jn'(x) + (n/x) Jn(x) = J(n-1)(x) --- [Equation A]
From relation (2): x^(-n) Jn'(x) - n x^(-n-1) Jn(x) = - x^(-n) J(n+1)(x) Dividing by x^(-n): Jn'(x) - (n/x) Jn(x) = - J(n+1)(x) --- [Equation B]
Subtract Equation B from Equation A: [Jn'(x) + (n/x) Jn(x)] - [Jn'(x) - (n/x) Jn(x)] = J(n-1)(x) - [-J(n+1)(x)]
2 (n/x) Jn(x) = J(n-1)(x) + J_(n+1)(x)
Therefore:
J(n-1)(x) + J(n+1)(x) = (2n / x) J_n(x)
Conclusion: This fundamental recurrence relation allows computing higher-order Bessel functions from lower-order ones.
Q.3 (c) OR
Question
Q.3 (c) OR [07 Marks]
Solution
Orthogonality Property of Legendre Polynomials
Statement of Theorem
The Legendre polynomials Pm(x) and Pn(x) are orthogonal on the interval [-1, 1]:
∫(-1)^1 Pm(x) P_n(x) dx = 0, if m ≠ n
and for m = n:
∫(-1)^1 [Pn(x)]² dx = 2 / (2n + 1)
---
Proof for m ≠ n (7 Marks)
Step 1: Write Legendre Equations for m and n
Legendre's equation for Pn(x) is: (1 - x²) Pn''(x) - 2x Pn'(x) + n(n + 1) Pn(x) = 0 This can be rewritten in self-adjoint form: d/dx [(1 - x²) Pn'(x)] + n(n + 1) Pn(x) = 0 --- (Equation 1)
Similarly, for Pm(x): d/dx [(1 - x²) Pm'(x)] + m(m + 1) P_m(x) = 0 --- (Equation 2)
Step 2: Multiply and Subtract
Multiply Equation 1 by Pm(x) and Equation 2 by Pn(x): Pm d/dx [(1 - x²) Pn'] + n(n + 1) Pm Pn = 0 --- (3) Pn d/dx [(1 - x²) Pm'] + m(m + 1) Pm Pn = 0 --- (4)
Subtract Equation 4 from Equation 3: Pm d/dx [(1 - x²) Pn'] - Pn d/dx [(1 - x²) Pm'] + [n(n + 1) - m(m + 1)] Pm Pn = 0
Notice that: n(n + 1) - m(m + 1) = n² - m² + n - m = (n - m)(n + m) + (n - m) = (n - m)(n + m + 1)
Step 3: Integrate over [-1, 1]
∫(-1)^1 d/dx [(1 - x²) (Pm Pn' - Pn Pm')] dx + (n - m)(n + m + 1) ∫(-1)^1 Pm Pn dx = 0
Evaluate the first integral using the Fundamental Theorem of Calculus: [(1 - x²) (Pm Pn' - Pn Pm')] evaluated from -1 to 1
At x = 1: (1 - 1²) = 0 At x = -1: (1 - (-1)²) = 0
Thus, the boundary term vanishes identically: 0 + (n - m)(n + m + 1) ∫(-1)^1 Pm(x) P_n(x) dx = 0
Step 4: Conclusion
Since m ≠ n, (n - m) ≠ 0 and (n + m + 1) ≠ 0. Therefore:
∫(-1)^1 Pm(x) P_n(x) dx = 0
This completes the formal proof of orthogonality.
Q.4 (a)
Question
Q.4 (a) [03 Marks]
Solution
Fourier Series and Dirichlet's Conditions
Definition of Fourier Series
A periodic function f(x) with period 2π defined on [-π, π] can be represented as an infinite trigonometric series:
f(x) = a₀/2 + ∑(n=1)^∞ [an cos(nx) + b_n sin(nx)]
where the Euler-Fourier coefficients are:
- a₀ = (1/π) ∫_(-π)^π f(x) dx
- an = (1/π) ∫(-π)^π f(x) cos(nx) dx
- bn = (1/π) ∫(-π)^π f(x) sin(nx) dx
Dirichlet's Conditions (3 Marks)
For the Fourier series of f(x) to converge to f(x) (or to [f(x+) + f(x-)]/2 at points of discontinuity), f(x) must satisfy Dirichlet's conditions:
- f(x) is single-valued and periodic.
- f(x) is bounded and has at most a finite number of finite discontinuities in any single period.
- f(x) has at most a finite number of local maxima and minima in any single period.
Q.4 (b)
Question
Q.4 (b) [04 Marks]
Solution
Half-Range Fourier Series
Concept
When a function f(x) is defined only over a half-interval [0, L], it can be expanded into either a series containing only cosine terms (even extension) or only sine terms (odd extension).
Half-Range Cosine Series
f(x) = a₀/2 + ∑(n=1)^∞ an cos(nπx / L)
where:
- a₀ = (2/L) ∫_0^L f(x) dx
- an = (2/L) ∫0^L f(x) cos(nπx / L) dx
Half-Range Sine Series
f(x) = ∑(n=1)^∞ bn sin(nπx / L)
where:
- bn = (2/L) ∫0^L f(x) sin(nπx / L) dx
Worked Example (4 Marks)
Problem: Find the half-range sine series for f(x) = 1 in [0, π].
- Here L = π.
- Calculate b_n:
bn = (2/π) ∫0^π 1 · sin(nx) dx
bn = (2/π) [-cos(nx) / n]0^π
b_n = (2 / nπ) [1 - cos(nπ)] = (2 / nπ) [1 - (-1)^n]
- Evaluate for even and odd n:
- When n is even: 1 - 1 = 0 => b_n = 0
- When n is odd: 1 - (-1) = 2 => b_n = 4 / (nπ)
- Write the Series:
f(x) = (4/π) [sin(x) + sin(3x)/3 + sin(5x)/5 + ...]
Final Answer: f(x) = (4/π) ∑_(k=1)^∞ [sin((2k-1)x) / (2k-1)]
Q.4 (c)
Question
Q.4 (c) [07 Marks]
Solution
Full Fourier Series Expansion and Deductions
Problem (7 Marks)
Find the Fourier series of f(x) = x² in the interval -π ≤ x ≤ π, and hence deduce that:
1/1² - 1/2² + 1/3² - 1/4² + ... = π² / 12
---
Step 1: Symmetry of the Function
f(-x) = (-x)² = x² = f(x) Since f(x) is an even function:
- b_n = 0 for all n ≥ 1.
- Only cosine terms survive.
Step 2: Compute Coefficient a₀
a₀ = (2/π) ∫0^π x² dx a₀ = (2/π) [x³ / 3]0^π = (2/π) (π³ / 3) = 2π² / 3
Therefore: a₀ / 2 = π² / 3
Step 3: Compute Coefficients a_n
an = (2/π) ∫0^π x² cos(nx) dx
Using integration by parts (generalized formula ∫ u v = u v₁ - u' v₂ + u'' v₃):
- u = x² => u' = 2x => u'' = 2 => u''' = 0
- v = cos(nx) => v₁ = sin(nx)/n => v₂ = -cos(nx)/n² => v₃ = -sin(nx)/n³
Evaluating from 0 to π: an = (2/π) [ x² sin(nx)/n - 2x (-cos(nx)/n²) + 2 (-sin(nx)/n³) ]0^π
Since sin(nπ) = sin(0) = 0: a_n = (2/π) [ 2π cos(nπ) / n² ] = (4/n²) cos(nπ) = 4(-1)^n / n²
Step 4: Write the Fourier Series
f(x) = π²/3 + ∑_(n=1)^∞ [4(-1)^n / n²] cos(nx) f(x) = π²/3 - 4 [cos(x)/1² - cos(2x)/2² + cos(3x)/3² - cos(4x)/4² + ...]
Step 5: Deduction of the Series
Substitute x = 0 into the Fourier series: At x = 0, f(0) = 0² = 0, and cos(0) = 1 for all n:
0 = π²/3 - 4 [1/1² - 1/2² + 1/3² - 1/4² + ...]
4 [1/1² - 1/2² + 1/3² - 1/4² + ...] = π²/3
Divide both sides by 4: 1/1² - 1/2² + 1/3² - 1/4² + ... = π² / 12
Final Answer: Fourier series: f(x) = π²/3 + 4 ∑_(n=1)^∞ [(-1)^n / n²] cos(nx) Deduction: 1/1² - 1/2² + 1/3² - 1/4² + ... = π²/12
Q.4 (a) OR
Question
Q.4 (a) OR [03 Marks]
Solution
Formation of Partial Differential Equations (PDE)
Methods of Formation
A partial differential equation can be formed either by:
- Eliminating arbitrary constants.
- Eliminating arbitrary functions.
Standard Notation
For a dependent variable z = z(x, y):
- p = ∂z/∂x
- q = ∂z/∂y
Worked Example (3 Marks)
Form a PDE by eliminating arbitrary constants a and b from:
z = a x + b y + a² + b²
- Differentiate partially with respect to x:
∂z/∂x = a => p = a
- Differentiate partially with respect to y:
∂z/∂y = b => q = b
- Substitute a = p and b = q into the original equation:
z = p x + q y + p² + q²
Final Answer: z = px + qy + p² + q² (Clairaut's form PDE)
Q.4 (b) OR
Question
Q.4 (b) OR [04 Marks]
Solution
Lagrange's Linear Partial Differential Equations
Standard Form
A quasi-linear first-order partial differential equation of the form:
P(x, y, z) p + Q(x, y, z) q = R(x, y, z)
is known as Lagrange's Linear PDE, where p = ∂z/∂x and q = ∂z/∂y.
Method of Solution: Lagrange's Auxiliary Equations
The corresponding subsidiary (auxiliary) equations are:
dx / P = dy / Q = dz / R
Two independent solutions u(x, y, z) = c₁ and v(x, y, z) = c₂ are obtained using the method of grouping or the method of multipliers.
The general solution is expressed as:
Φ(u, v) = 0 or u = f(v)
Worked Example (4 Marks)
Solve: y z p + z x q = x y
- Write Auxiliary Equations:
dx / (yz) = dy / (zx) = dz / (xy)
- First Independent Solution (from 1st and 2nd ratios):
dx / (yz) = dy / (zx) => x dx = y dy
Integrating: x² - y² = c₁
- Second Independent Solution (from 2nd and 3rd ratios):
dy / (zx) = dz / (xy) => y dy = z dz
Integrating: y² - z² = c₂
- General Solution:
Φ(x² - y², y² - z²) = 0
Final Answer: Φ(x² - y², y² - z²) = 0
Q.4 (c) OR
Question
Q.4 (c) OR [07 Marks]
Solution
Method of Separation of Variables for Partial Differential Equations
Principle of the Method
The Method of Separation of Variables assumes that the solution to a linear PDE can be written as a product of single-variable functions:
u(x, t) = X(x) · T(t)
Substituting this form converts the PDE into a system of independent ordinary differential equations.
---
Worked 7-Mark Problem
Problem: Solve the one-dimensional heat conduction equation:
∂u/∂t = c² (∂²u/∂x²), for 0 < x < L, t > 0
subject to boundary conditions: u(0, t) = 0, u(L, t) = 0 for all t > 0.
Step 1: Assume Product Solution
Let u(x, t) = X(x) T(t).
- ∂u/∂t = X(x) T'(t)
- ∂²u/∂x² = X''(x) T(t)
Substitute into the PDE: X(x) T'(t) = c² X''(x) T(t)
Divide both sides by c² X(x) T(t): T'(t) / [c² T(t)] = X''(x) / X(x) = -λ² (separation constant)
(A negative separation constant -λ² is chosen so that solutions do not grow unbounded as t -> ∞).
Step 2: Set Up Ordinary Differential Equations
- X''(x) + λ² X(x) = 0
- T'(t) + λ² c² T(t) = 0
Step 3: Solve the Spatial Equation X(x)
The general solution of X'' + λ² X = 0 is: X(x) = C₁ cos(λx) + C₂ sin(λx)
Apply boundary conditions:
- u(0, t) = X(0) T(t) = 0 => X(0) = 0
X(0) = C₁ cos(0) + C₂ sin(0) = C₁ = 0
Therefore, X(x) = C₂ sin(λx).
- u(L, t) = X(L) T(t) = 0 => X(L) = 0
C₂ sin(λL) = 0
For non-trivial solutions (C₂ ≠ 0):
sin(λL) = 0 => λL = nπ => λ_n = nπ / L, n = 1, 2, 3, ...
Eigenfunctions: X_n(x) = sin(nπx / L)
Step 4: Solve the Temporal Equation T(t)
T'(t) + (nπc / L)² T(t) = 0
Integrating: Tn(t) = Bn e^(- (nπc / L)² t)
Step 5: Superposition of Solutions
By the principle of linear superposition:
u(x, t) = ∑(n=1)^∞ An sin(nπx / L) e^(- (nπc / L)² t)
where coefficients A_n are determined by the initial condition u(x, 0) = f(x) using Fourier sine coefficients:
An = (2/L) ∫0^L f(x) sin(nπx / L) dx
Final Answer: u(x, t) = ∑(n=1)^∞ An sin(nπx / L) e^(- (nπc / L)² t)
Q.5 (a)
Question
Q.5 (a) [03 Marks]
Solution
Gradient of a Scalar Field and Directional Derivative
Gradient
Let φ(x, y, z) be a differentiable scalar field. The gradient of φ, denoted by grad φ or ∇φ, is the vector:
∇φ = (∂φ/∂x) i + (∂φ/∂y) j + (∂φ/∂z) k
Physical Meaning: ∇φ represents a vector pointing in the direction of maximum rate of increase of φ, and its magnitude |∇φ| gives the maximum rate of increase.
Directional Derivative
The directional derivative of φ in the direction of a unit vector u is:
D_u φ = ∇φ · u
Worked Example (3 Marks)
Find the directional derivative of φ = x²y + yz at point P(1, 2, 3) in the direction of vector a = 2i + j + 2k.
- Compute Gradient ∇φ:
- ∂φ/∂x = 2xy
- ∂φ/∂y = x² + z
- ∂φ/∂z = y
- At (1, 2, 3): ∇φ = 2(1)(2) i + (1² + 3) j + 2 k = 4i + 4j + 2k
- Find Unit Vector u:
- |a| = √(2² + 1² + 2²) = √(4 + 1 + 4) = √9 = 3
- u = (2i + j + 2k) / 3
- Compute Dot Product:
- D_u φ = ∇φ · u = (4 · 2 + 4 · 1 + 2 · 2) / 3 = (8 + 4 + 4) / 3 = 16/3
Final Answer: Directional derivative = 16/3
Q.5 (b)
Question
Q.5 (b) [04 Marks]
Solution
Divergence and Curl of a Vector Field
Definitions
Let F = F₁ i + F₂ j + F₃ k be a continuously differentiable vector field.
- Divergence of F:
div F = ∇ · F = ∂F₁/∂x + ∂F₂/∂y + ∂F₃/∂z
- If div F = 0, F is called solenoidal.
- Curl of F:
curl F = ∇ × F =
| i j k |
| ∂/∂x ∂/∂y ∂/∂z |
| F₁ F₂ F₃ |
= (∂F₃/∂y - ∂F₂/∂z) i - (∂F₃/∂x - ∂F₁/∂z) j + (∂F₂/∂x - ∂F₁/∂y) k
- If curl F = 0, F is called irrotational.
Worked Example (4 Marks)
Problem: Determine whether F = (y + z) i + (x + z) j + (x + y) k is solenoidal and irrotational.
- Check Solenoidal Nature (div F):
- div F = ∂/∂x(y + z) + ∂/∂y(x + z) + ∂/∂z(x + y) = 0 + 0 + 0 = 0
- Since div F = 0, F is solenoidal.
- Check Irrotational Nature (curl F):
- i-component: ∂/∂y(x + y) - ∂/∂z(x + z) = 1 - 1 = 0
- j-component: - [∂/∂x(x + y) - ∂/∂z(y + z)] = - [1 - 1] = 0
- k-component: ∂/∂x(x + z) - ∂/∂y(y + z) = 1 - 1 = 0
- curl F = 0
- Since curl F = 0, F is irrotational.
Final Answer: The vector field F is both solenoidal and irrotational.
Q.5 (c)
Question
Q.5 (c) [07 Marks]
Solution
Gauss Divergence Theorem
Statement
The Gauss Divergence Theorem states that the outward flux of a vector field F through a closed surface S bounding a volume V is equal to the volume integral of the divergence of F over V:
∬S (F · n) dS = ∭V (∇ · F) dV
where n is the outward-pointing unit normal vector to surface S.
---
Worked 7-Mark Problem
Problem: Verify Gauss Divergence Theorem for:
F = 4x i - 2y² j + z² k
over the region V bounded by the cylinder x² + y² = 4 and the planes z = 0 and z = 3.
Step 1: Evaluate the Volume Integral (RHS)
Compute ∇ · F: ∇ · F = ∂/∂x(4x) + ∂/∂y(-2y²) + ∂/∂z(z²) ∇ · F = 4 - 4y + 2z
Volume integral: IV = ∭V (4 - 4y + 2z) dV
Use cylindrical coordinates (x = r cos θ, y = r sin θ, z = z, dV = r dr dθ dz):
- r varies from 0 to 2 (since r² = 4)
- θ varies from 0 to 2π
- z varies from 0 to 3
IV = ∫0^(2π) ∫0^2 ∫0^3 (4 - 4r sin θ + 2z) r dz dr dθ
- Integrate with respect to z:
∫0^3 (4 - 4r sin θ + 2z) dz = [(4 - 4r sin θ) z + z²]0^3
= 3(4 - 4r sin θ) + 9 = 12 - 12r sin θ + 9 = 21 - 12r sin θ
- Multiply by r and integrate with respect to r:
∫0^2 (21r - 12r² sin θ) dr = [21(r²/2) - 12(r³/3) sin θ]0^2
= 21(2) - 4(8) sin θ = 42 - 32 sin θ
- Integrate with respect to θ from 0 to 2π:
∫0^(2π) (42 - 32 sin θ) dθ = [42θ + 32 cos θ]0^(2π)
= 42(2π) + 32(cos 2π - cos 0) = 84π + 32(1 - 1) = 84π
Thus, Volume Integral = 84π.
Step 2: Evaluate Surface Integral over Closed Surface S (LHS)
The surface S consists of three parts:
- Top face S₁ (z = 3): n = k, dS = dx dy
- F · n = z² = 3² = 9
- ∬_(S₁) 9 dx dy = 9 · (Area of circle of radius 2) = 9(π · 2²) = 36π
- Bottom face S₂ (z = 0): n = -k, dS = dx dy
- F · n = -z² = 0
- ∬_(S₂) 0 dS = 0
- Curved surface S₃ (x² + y² = 4):
- Normal vector: ∇(x² + y²) = 2x i + 2y j
- Unit normal: n = (x i + y j) / 2
- F · n = [4x(x/2) - 2y²(y/2)] = 2x² - y³
- In cylindrical coordinates on r = 2: x = 2 cos θ, y = 2 sin θ, dS = 2 dθ dz
- F · n = 2(4 cos² θ) - 8 sin³ θ = 8 cos² θ - 8 sin³ θ
- ∬(S₃) (F · n) dS = ∫0^3 dz ∫_0^(2π) (8 cos² θ - 8 sin³ θ) · 2 dθ
- ∫_0^3 dz = 3
- ∫_0^(2π) 8 sin³ θ dθ = 0
- ∫_0^(2π) 8 cos² θ dθ = 8 · π = 8π
- ∬_(S₃) = 3 · 2 · 8π = 48π
Total surface flux: ∬S (F · n) dS = ∬(S₁) + ∬(S₂) + ∬(S₃) = 36π + 0 + 48π = 84π
Conclusion
Since ∬S (F · n) dS = ∭V (∇ · F) dV = 84π, the Gauss Divergence Theorem is verified.
Q.5 (a) OR
Question
Q.5 (a) OR [03 Marks]
Solution
Conservative Vector Fields and Scalar Potential
Definition
A vector field F is called conservative if there exists a single-valued scalar potential function φ such that:
F = ∇φ
Properties
- Irrotational: curl F = ∇ × F = 0.
- Path Independence: The line integral ∫_C F · dr between any two points A and B depends only on the endpoints, not on the path chosen:
∫_A^B F · dr = φ(B) - φ(A) - Closed Loop Integral: For any closed contour C, ∮_C F · dr = 0.
Example (3 Marks)
Show that F = 2x y i + x² j is conservative and find φ.
- curl F = (∂/∂x(x²) - ∂/∂y(2xy)) k = (2x - 2x) k = 0 (Conservative)
- ∂φ/∂x = 2xy => φ = x²y + g(y)
- ∂φ/∂y = x² + g'(y) = x² => g'(y) = 0 => g(y) = C
- Scalar potential: φ(x, y) = x²y + C
Q.5 (b) OR
Question
Q.5 (b) OR [04 Marks]
Solution
Green's Theorem in a Plane
Statement
Let C be a positively oriented, piecewise-smooth, simple closed curve in a plane, and let R be the region bounded by C. If M(x, y) and N(x, y) have continuous partial derivatives on an open region containing R, then:
∮C (M dx + N dy) = ∬R (∂N/∂x - ∂M/∂y) dx dy
Application to Find Plane Area
Setting M = -y/2 and N = x/2 gives:
Area of region R = (1/2) ∮_C (x dy - y dx)
Worked Example (4 Marks)
Evaluate: ∮_C [(y - sin x) dx + cos x dy] along the triangle bounded by y = 0, x = π/2, and y = (2/π) x.
- Identify M and N:
- M = y - sin x => ∂M/∂y = 1
- N = cos x => ∂N/∂x = -sin x
- Apply Green's Theorem:
∮C (M dx + N dy) = ∬R (-sin x - 1) dx dy
- Set Up Integrals with Limits:
- x goes from 0 to π/2
- y goes from 0 to (2/π)x
I = ∫0^(π/2) ∫0^((2/π)x) (-sin x - 1) dy dx I = ∫0^(π/2) (-sin x - 1) [(2/π)x] dx = -(2/π) ∫0^(π/2) (x sin x + x) dx
- Evaluate Integrals:
- ∫0^(π/2) x sin x dx = [-x cos x + sin x]0^(π/2) = (0 + 1) - 0 = 1
- ∫0^(π/2) x dx = [x²/2]0^(π/2) = π² / 8
I = -(2/π) [1 + π²/8] = -2/π - π/4
Final Answer: ∮_C (M dx + N dy) = - (2/π + π/4)
Q.5 (c) OR
Question
Q.5 (c) OR [07 Marks]
Solution
Stokes' Theorem
Statement
Stokes' Theorem states that the line integral of a vector field F around a closed curve C bounding an open surface S is equal to the surface integral of the curl of F over S:
∮C F · dr = ∬S (∇ × F) · n dS
where C is traversed in the counterclockwise direction relative to the surface normal n.
---
Worked 7-Mark Problem
Problem: Verify Stokes' Theorem for:
F = y i + z j + x k
where S is the upper half surface of the sphere x² + y² + z² = 1 (z ≥ 0) and C is its boundary in the xy-plane (x² + y² = 1, z = 0).
Step 1: Evaluate the Line Integral (LHS)
The boundary curve C is the unit circle in the xy-plane: x² + y² = 1, z = 0, dz = 0
Parameterize C:
- x = cos t
- y = sin t
- z = 0
where t varies from 0 to 2π.
Differentials:
- dx = -sin t dt
- dy = cos t dt
- dz = 0
Substitute into F · dr: F · dr = y dx + z dy + x dz Since z = 0 and dz = 0: F · dr = y dx = (sin t)(-sin t dt) = -sin² t dt
Evaluate line integral: IC = ∫0^(2π) (-sin² t) dt = - ∫0^(2π) [(1 - cos 2t) / 2] dt IC = - [t/2 - sin(2t)/4]_0^(2π) = - [2π/2 - 0] = -π
Thus, Line Integral = -π.
Step 2: Evaluate the Surface Integral (RHS)
- Compute curl F:
curl F = ∇ × F =
| i j k |
| ∂/∂x ∂/∂y ∂/∂z |
| y z x |
- i-component: ∂(x)/∂y - ∂(z)/∂z = 0 - 1 = -1
- j-component: - [∂(x)/∂x - ∂(y)/∂z] = - [1 - 0] = -1
- k-component: ∂(z)/∂x - ∂(y)/∂y = 0 - 1 = -1
curl F = - i - j - k
- Choice of Surface:
By Stokes' Theorem, the surface integral depends only on the boundary contour C. We can choose the flat disk D in the xy-plane bounded by C: x² + y² ≤ 1, z = 0.
For this planar disk in the xy-plane:
- Outward unit normal: n = k
- dS = dx dy
- Compute (curl F) · n:
(curl F) · n = (-i - j - k) · k = -1
- Compute the Surface Integral:
∬S (curl F · n) dS = ∬D (-1) dx dy = - ∬_D dx dy
Since ∬_D dx dy is the area of the unit circle (π · 1² = π):
∬_S (curl F · n) dS = - (π) = -π
Conclusion
- Line integral: ∮_C F · dr = -π
- Surface integral: ∬_S (∇ × F) · n dS = -π
Both sides are equal (-π = -π). Hence, Stokes' Theorem is verified.
Frequently Asked Questions
What topics are covered in GTU Mathematics - 2 (3110015)?
GTU Mathematics - 2 covers five core units: First Order Ordinary Differential Equations, Higher Order Linear Ordinary Differential Equations with Constant and Variable Coefficients, Series Solutions and Special Functions (Legendre and Bessel functions), Fourier Series and Partial Differential Equations, and Vector Calculus including line, surface, and volume integrals.
What did the errata in Question 1(c) refer to?
The printed note in Question 1(c) addressed a typographical rendering issue in the examination paper software where a square symbol appeared at the upper limit of an integral. The instruction clarified that it was a contour/line integral evaluated along a specified curve C.
How can I score maximum marks in 7-mark questions in Mathematics - 2?
To score full marks on 7-mark questions: (1) clearly state the applicable theorem or standard formula, (2) show complete step-by-step algebraic and calculus operations without skipping intermediate steps, (3) verify conditions such as non-vanishing Wronskian or boundary checks, and (4) highlight the final answer with appropriate units or concluding remarks.