UPSC Mathematics 2022

Begin with a clear statement of definitions for part (a), then proceed systematically through all five sub-parts. Allocate approximately 20% time to (a) for rigorous proof construction, 15% each to (b), (c), (d), and (e) for calculations and analysis. For (b), express the target vector as a linear combination first; for (c), use logarithmic transformation; for (d), analyze improper integral behavior near singularities at x=0 and x=2; for (e), use intercept form of plane and sphere properties. Conclude each part with explicit final answers boxed or clearly stated.

• Part (a): Correct definition of basis, dimension, and linear independence; proof that n linearly independent vectors in an n-dimensional space must span V (using exchange lemma or dimension argument)
• Part (b): Express (2,4) as linear combination of (1,0) and (1,1); apply linearity of T to obtain T(2,4) = 2T(1,0) + 4[T(1,1) - T(1,0)] = (-14, 2, 22)
• Part (c): Take logarithm, evaluate limit using L'Hôpital's rule or asymptotic comparison; final answer e^1 = e
• Part (d): Factor denominator as x(2-x), identify singularities at 0 and 2; show divergence by comparison with ∫dx/x near each endpoint or partial fractions
• Part (e): Use intercept form x/α + y/β + z/γ = 1 with constraint a/α + b/β + c/γ = 1; find sphere center at (α/2, β/2, γ/2); eliminate parameters to get locus a/x + b/y + c/z = 2
• Part (e) alternative: Recognize sphere through origin with diameter from O to opposite point on plane; use diametric sphere equation

Solve all three parts systematically, allocating approximately 30% time to part (a) [15 marks], 30% to part (b) [15 marks], and 40% to part (c) [20 marks]. Begin with clear statement of given data for each part, show complete working with row operations for (a), Lagrangian formulation and optimization for (b), and coordinate geometry with normal properties for (c). Conclude with boxed final answers for each sub-part.

• Part (a): Correct augmented matrix formation and systematic row reduction to echelon form, identification of rank and consistency, complete solution set with free variable parameterization
• Part (b): Proper constraint equation (4x + 2πr = l), correct Lagrangian L = x² + πr² + λ(4x + 2πr - l), accurate partial derivatives and solving for optimal x, r in terms of l
• Part (c): Equation of normal to ellipsoid at point (x₁,y₁,z₁) as a²(x-x₁)/x₁ = b²(y-y₁)/y₁ = c²(z-z₁)/z₁, condition that normal passes through given point (α,β,γ), feet of normals satisfying the sextic equation
• Part (c): Use of Joachimsthal's notation or equivalent for plane equations, reciprocal property relating PQR and P'Q'R' planes through the ellipsoid center, verification of the given plane equation
• Clear geometric interpretation: for (a) intersection of three planes; for (b) optimal allocation between perimeter and circumference; for (c) conjugate diametral planes and polar reciprocity

Solve all three parts systematically, allocating approximately 40% time to part (a) (20 marks), 30% to part (b) (15 marks), and 30% to part (c) (15 marks). Begin with clear statement of what is given and what is to be found for each sub-part, proceed with rigorous mathematical working, and conclude with boxed final answers for dimension, area, and sphere equation respectively.

• For (a)(i): Verify P contains zero vector, is closed under vector addition, and closed under scalar multiplication using the two defining linear equations
• For (a)(ii): Solve the homogeneous system to find parametric form, extract basis vectors, and state dimension of P (expected: dim(P) = 1)
• For (b): Identify intersection points of circle x²+y²=4 and parabola y²=3x, set up correct double integral with proper limits (x from 0 to 1, y from -√(3x) to √(3x) plus appropriate circular segment), and evaluate to get common area
• For (c): Find shortest distance between two skew lines using the formula involving cross product of direction vectors, determine midpoint of common perpendicular as sphere center, and write equation with this radius
• For (c): Verify lines are indeed skew by checking (a₂-a₁)·(b₁×b₂) ≠ 0, then apply standard formula for minimum distance between skew lines

The directive 'trace' in part (b) demands a systematic graphical analysis of the curve's behavior. Structure your answer with: (a) rotation matrix derivation and eigenvalue proof (~15 min, 30%); (b) complete curve tracing with symmetry, asymptotes, tangents, and sketch (~25 min, 40%); (c) condition for perpendicular generators using direction cosines and orthogonality condition (~15 min, 30%). Begin each part with clear setup, proceed through rigorous derivation, and conclude with boxed final results.

• Part (a): Derivation of rotation matrix T = [[cos θ, -sin θ], [sin θ, cos θ]] and verification of linearity
• Part (a): Characteristic equation λ² + 1 = 0 for θ = π/2, showing no real eigenvalues exist
• Part (b): Domain analysis (|x| ≥ a), symmetry about both axes, and asymptotes y = ±1
• Part (b): Behavior at x → ±∞, points of intersection with axes, and rough sketch of four branches
• Part (c): Parametric representation of generators and condition for perpendicularity using direction cosines
• Part (c): Derivation that (b+c)u² + (c+a)v² + (a+b)w² = 0 from the orthogonality condition of generator directions

Prove the required results across all five sub-parts with rigorous mathematical derivations. For (a), derive the alternative form of the general solution using the standard integrating factor method; for (b), find the differential equation of the family and its orthogonal trajectories; for (c), analyze forces and calculate work done in both directions; for (d), use projectile equations and the condition of perpendicular directions; for (e), compute curl and integrate to find the scalar potential. Allocate approximately 20% time to each part given equal marks distribution.

• Part (a): Derivation of the alternative form using integrating factor e^(∫Pdx), recognition that d(Q/P)/dx expansion leads to the required structure, and proper handling of the constant of integration
• Part (b): Formation of differential equation by eliminating parameter 'a', obtaining dy/dx = x/(2a), substitution to get orthogonal trajectories differential equation, and verification that the resulting equation represents the same family of parabolas
• Part (c): Correct force analysis showing applied force = w(sinθ + μcosθ) upward and w(μcosθ - sinθ) downward, integration to find work done as wb(sinθ + μcosθ) + wb(μcosθ - sinθ) = 2wbμcosθ
• Part (d): Use of trajectory equation y = xtanα - (gx²sec²α)/(4gh), condition that product of slopes m₁m₂ = -1 for perpendicular directions leading to x² = 2hy, and verification that one bisector condition holds
• Part (e): Calculation of curl A showing all components vanish (∇×A = 0), and integration to find φ = 3x²y + xz³ - yz + C with correct verification that ∇φ = A

This question demands rigorous mathematical proof and solution across three distinct areas: cable mechanics, differential equations, and vector calculus. Allocate approximately 40% of time to part (a) as it carries 20 marks, requiring careful derivation of the catenary approximation; spend 30% each on parts (b) and (c). Begin each part with clear statement of given data, proceed through systematic derivation/solution, and conclude with explicit verification of results.

• Part (a): Correct setup of catenary equation y = c cosh(x/c), Taylor expansion for small sag-to-span ratio, and derivation of span formula 2l(1 - 2h²/3l²) using arc length constraint
• Part (b): Identification of second solution y₂ using reduction of order or Wronskian, correct construction of particular integral via variation of parameters formula, and complete integration with arbitrary constants
• Part (c): Proper parameterization of triangular boundary C with three segments, correct evaluation of line integral ∮(Mdx + Ndy), computation of double integral ∬(∂N/∂x - ∂M/∂y)dA over region, and explicit equality verification
• Clear labeling of all three parts with logical flow between steps, proper use of mathematical notation and conventions
• Explicit statement of assumptions: tightly stretched cable (small sag approximation), continuous differentiability for Green's theorem, and non-homogeneous term handling in (b)

Verify Stokes' theorem in part (a) by computing both surface and line integrals; solve the IVP in part (b) using Laplace transforms with proper handling of the piecewise forcing function; prove the stability condition in part (c) using virtual work and energy methods. Allocate approximately 40% time to part (a) as it carries 20 marks, 30% each to parts (b) and (c). Structure each part with clear statement of method, step-by-step execution, and final verification or conclusion.

• For (a): Correct parameterization of the triangular boundary C in the first octant with vertices (1,0,0), (0,1,0), (0,0,1) and computation of curl F = (2y-2z)i - 0j + 0k
• For (a): Evaluation of surface integral ∫∫(curl F)·n̂ dS over the plane x+y+z=1 and line integral ∮F·dr around the triangular boundary, showing both equal 1/2
• For (b): Correct application of Laplace transform to the piecewise function h(t) using Heaviside step function: L{h(t)} = 2(1-e^{-4s})/s
• For (b): Proper partial fraction decomposition of Y(s) = 2(1-e^{-4s})/[s(s-1)(s-2)] and inversion to obtain y(t) for 0<t<4 and t>4 with continuity at t=4
• For (c): Setting up virtual displacement analysis with upper cylinder's center of gravity at height h above contact, using radii of curvature ρ and ρ'
• For (c): Deriving the stability condition by requiring the potential energy to be minimum, leading to h < ρρ'/(ρ+ρ') = 1/(1/ρ + 1/ρ')
• For (c): Physical interpretation that the equivalent radius of curvature for the combined surfaces must exceed the height of the center of gravity

Solve each sub-part systematically: spend ~40% time on (a) covering both differential equations (Clairaut's form recognition and Euler-Cauchy transformation), ~30% on (b) for the static equilibrium of linked rods using virtual work or force balance, and ~30% on (c) for applying divergence theorem with careful handling of cylindrical surface and end caps. Present solutions with clear identification of method, step-by-step working, and boxed final answers.

• (a)(i) Recognize the equation as Clairaut's form, extract general solution y = px + f(p), find singular solution by eliminating p, and state that singular solution is the envelope of general solution family
• (a)(ii) Apply substitution 3x+2 = e^t to convert to constant coefficient linear ODE, solve homogeneous part, find particular integral for quadratic RHS, and back-substitute
• (b) Set up equilibrium conditions for n-rod chain using tension propagation, horizontal/vertical force balance at each joint, derive recurrence for inclinations θ_k, and obtain closed form tan θ_k = P/((2k-1)W/2) where W is rod weight
• (c) Compute div F = 1 - 1 + 2z = 2z, evaluate volume integral ∫∫∫ 2z dV over cylinder 0≤z≤1, x²+y²≤4, and verify by direct surface integration on three surfaces (curved wall, top disk, bottom disk)
• Geometric interpretation for (a)(i): singular solution touches each member of general solution family (parabola envelope)
• For (b), recognize the pattern forms arithmetically progressing horizontal reactions and express final inclination angles in terms of P, W, and n

Solve each sub-part systematically with equal time allocation (~20% per part) since all carry 10 marks. Begin with (a) group isomorphism via Cayley table or generator mapping, (b) analytic function using Milne-Thomson method or CR equations, (c) convergence test via comparison/Dirichlet, (d) Laurent series with partial fractions and geometric expansion, and (e) two-phase simplex with artificial variables. Present solutions clearly with headings for each part.

• (a) Construct explicit isomorphism φ: G → G' showing φ(1)=0, φ(-1)=2, φ(i)=1, φ(-i)=3 and verify homomorphism property φ(ab)=φ(a)+₄φ(b)
• (b) Apply Milne-Thomson method: replace x by z and y by 0 in u-v expression to get f(z), then use condition f(π/2)=0 to determine constant
• (c) Establish absolute convergence via |cos x/(1+x²)| ≤ 1/(1+x²) and ∫₀^∞ dx/(1+x²) = π/2, or use Dirichlet test for conditional convergence
• (d) For region (i): write w=z-1, expand 1/(w²(w-2)) = -1/(2w²)·1/(1-w/2) using geometric series; for region (ii): use w=z-3, expand 1/((w+2)²w)
• (e) Phase I: minimize sum of artificial variables A₁+A₂ with constraints 2x₁+x₂-s₁+A₁=4, x₁+7x₂-s₂+A₂=7; Phase II: original objective with feasible basis
• Verify all group properties in (a), check analyticity via CR equations in (b), justify uniform convergence in (c), state radii of convergence in (d), and show optimality via simplex criteria in (e)

Begin with a brief introduction stating the three fundamental results to be established. For part (a), construct upper and lower Riemann sums using uniform partitions and show their convergence to k³/3. For part (b), apply the First Isomorphism Theorem by defining the natural homomorphism and proving kernel normality. For part (c), use contour integration over a semicircular contour in the upper half-plane, identify poles at ia and ib, compute residues, and apply Jordan's lemma. Allocate approximately 25-30% time to (a), 25% to (b), and 45-50% to (c) given its higher weightage and computational complexity.

• Part (a): Verification that f(x)=x² is bounded on [0,k], construction of partition Pₙ with mesh size k/n, calculation of upper sum U(Pₙ,f) and lower sum L(Pₙ,f), demonstration that U(Pₙ,f)-L(Pₙ,f)→0 establishing Riemann integrability, and evaluation of the integral as limit of Riemann sums yielding k³/3
• Part (b): Clear statement that for homomorphism φ:G→H, the image φ(G) is the target; construction of the natural map π:G→G/ker(φ); proof that ker(φ) is normal in G; establishment of the isomorphism φ̄:G/ker(φ)→φ(G) via φ̄(g·ker(φ))=φ(g); verification that φ̄ is well-defined, homomorphism, injective, and surjective
• Part (c): Recognition that the integral equals Re[∫₋∞^∞ e^(ix)/((x²+a²)(x²+b²))dx], choice of semicircular contour C_R consisting of [-R,R] and Γ_R (upper semicircle), identification of simple poles at z=ia and z=ib inside for R>max(a,b)
• Computation of residues: Res(f,ia) = e^(-a)/(2ia(a²-b²)) and Res(f,ib) = -e^(-b)/(2ib(a²-b²)) where f(z)=e^(iz)/((z²+a²)(z²+b²))
• Application of Jordan's lemma to show integral over Γ_R vanishes as R→∞, summation of residues multiplied by 2πi, extraction of real part to obtain final answer π/(a²-b²)[e^(-b)/b - e^(-a)/a]
• Proper handling of the condition a>b>0 ensuring distinct poles and correct ordering in final simplification

Solve this three-part numerical problem by allocating approximately 30% time to part (a) on complex integration (15 marks), 40% to part (b) on constrained optimization with geometric interpretation (20 marks), and 30% to part (c) on linear programming and duality (15 marks). Begin each part with clear identification of the mathematical technique, show complete computational steps with proper justification, and conclude with verified final answers including geometric interpretation for (b) and dual solution for (c).

• Part (a): Identify poles at z = -1 ± 2i, verify only z = -1 + 2i lies inside circle |z+1-i| = 2, apply Cauchy's residue theorem correctly
• Part (b): Set up Lagrangian with two constraints, derive normal equations, solve for extremal values, identify maximum and minimum as reciprocals of squares of semi-axes of elliptic section
• Part (c): Convert to standard form with slack variables, construct initial simplex tableau, iterate to optimality, verify Z = 1 at (0, 0, 2), formulate dual minimization problem
• Geometric interpretation for (b): Explain that extrema correspond to squares of distances from origin to points on ellipsoid section by plane through center
• Dual solution extraction: Read shadow prices from optimal tableau's z_j - c_j row for slack variables, verify strong duality with primal optimal value

Solve this three-part problem by allocating approximately 30% time to part (a) on ideal theory, 30% to part (b) on series convergence, and 40% to part (c) on transportation problem. Begin with clear definitions for (a), apply appropriate convergence tests for (b), and systematically execute VAM followed by optimality test for (c). Present each part with proper mathematical notation and logical flow.

• Part (a): Prove S is an ideal by showing closure under subtraction and absorption under multiplication by R[x] elements; identify R[x]/S ≅ ℝ × ℝ via evaluation maps at 0 and 1, hence not an integral domain as it has zero divisors
• Part (b): Identify general term as nⁿxⁿ/n!; apply Ratio Test or Root Test; show radius of convergence is 1/e; analyze behavior at boundary x = 1/e using Stirling's approximation or comparison
• Part (c): Apply Vogel's Approximation Method (VAM) to obtain initial BFS with m+n-1 = 6 basic variables; calculate row and column penalties correctly
• Part (c): Perform optimality test using MODI/UV method or stepping stone method; verify degeneracy handling if needed
• Part (c): Obtain optimal allocation and compute minimum transportation cost = 743 (or correct value based on calculations)

Solve each sub-part systematically with clear section headings. For (a), set up the cone equation and eliminate the arbitrary function f to get the PDE; for (b), perform Gauss elimination with back substitution; for (c)(i), convert decimal to octal/hexadecimal using successive division/multiplication, and for (c)(ii), expand to canonical POS form using Boolean algebra or K-map; for (d), construct Lagrangian in polar coordinates and derive Euler-Lagrange equations; for (e), verify irrotational flow condition, integrate for velocity potential, and solve streamline equations. Allocate approximately 15% time each to (a), (b), (c)(i), (c)(ii), and 20% each to (d) and (e) due to their derivational complexity.

• For (a): Eliminate arbitrary function f by differentiating the cone equation with respect to x, y, z and eliminating f_u, f_v to obtain the PDE (z-c)p + (z-c)q = (x-a) + (y-b) where p=∂z/∂x, q=∂z/∂y
• For (b): Form augmented matrix, perform row operations to achieve upper triangular form, back-substitute to get x=1, y=2, z=3 with verification
• For (c)(i): Convert (1093.21875)₁₀ = (2105.16)₈ and (1693.0628)₁₀ = (69D.101)₁₆ showing integer and fractional part conversions separately
• For (c)(ii): Express F(x,y,z) = xy + x'z in product of maxterms as ΠM(0,2,4,6) or (x+y+z)(x+y'+z)(x'+y+z)(x'+y'+z) using truth table or algebraic expansion
• For (d): Construct Lagrangian L = ½m(ṙ² + r²θ̇²) + k/r in polar coordinates, derive equations: m(r̈ - rθ̇²) = -k/r² and d/dt(mr²θ̇) = 0 (conservation of angular momentum)
• For (e): Verify ∇×v = 0, obtain velocity potential φ = -Mr⁻²cosθ, and derive streamline equations as r²sin²θ = constant, ψ = constant

Solve requires systematic derivation of exact solutions with complete mathematical rigor. Allocate approximately 40% of effort to part (a) as it carries 20 marks—apply separation of variables, determine Fourier coefficients for the parabolic initial condition, and write the complete series solution. Spend roughly 30% each on (b) and (c): for (b), construct the logic circuit using AND/OR/NOT gates and enumerate all 8 input combinations; for (c), set up proper coordinate system with cone vertex at origin, use parallel axis theorem or direct integration about slant generator, and express result purely in terms of M, h, a. Present each part distinctly with clear labeling.

• Part (a): Correct application of separation of variables u(x,t) = X(x)T(t), eigenvalues λ_n = n²π²/l², and Fourier sine series coefficients a_n = (4l²/n³π³)[1-(-1)ⁿ] for the initial condition x(l-x)
• Part (a): Final solution expressed as u(x,t) = Σ_{n=1}^∞ (8l²/n³π³)sin(nπx/l)exp(-n²π²t/l²) for odd n, with explicit recognition that even terms vanish
• Part (b): Correct Boolean simplification to f = xz + xȳ + y, or equivalent form, followed by circuit diagram with proper gate symbols (AND, OR, NOT) showing input/output flow
• Part (b): Complete truth table with all 8 rows (000 through 111) showing intermediate values ȳ, (ȳ+z), x·(ȳ+z), and final output f
• Part (c): Proper coordinate setup with cone geometry, density ρ = 3M/πa²h, and integration limits; correct application of perpendicular axis theorem or direct moment calculation about slant generator
• Part (c): Final expression I = (3M/20)(a² + 4h²) or equivalent simplified form involving slant height l = √(a²+h²), with dimensional verification [ML²]

Solve this three-part numerical problem by allocating approximately 30% time to part (a) PDE solution, 30% to part (b) numerical integration, and 40% to part (c) vortex dynamics. Begin with the complementary function and particular integral for (a), apply Simpson's 1/3rd rule with proper unit conversion for (b), and establish complex potential, velocity field, and streamline equations for (c). Conclude each part with verified final answers and proper dimensional analysis.

• Part (a): Factorize the operator (D² + DD' - 6D'²) = (D + 3D')(D - 2D'), find complementary function φ₁(y - 3x) + φ₂(y + 2x), and use correct particular integral method for x²sin(x+y)
• Part (b): Convert time interval to hours (h = 2/60 = 1/30 hour), verify even number of intervals for Simpson's 1/3rd rule, and compute distance = ∫v dt with proper unit handling
• Part (c): Construct complex potential w = -ik/2π[ln(z-a) + ln(z+a) - ½ln(z)], show dw/dz = 0 at stagnation points, derive streamline equations ψ = constant
• Part (c): Locate stagnation points on x-axis by solving velocity equations, find streamline passing through them, and verify the given algebraic relation 3√3(b²-a²)² = 16a³b
• Correct handling of units throughout: km/hour to km for distance, consistent time conversions, and dimensionless verification in part (c)

Solve all three sub-parts systematically, allocating approximately 30% time to part (a) on PDE canonical reduction, 30% to part (b) on RK4 numerical computation, and 40% to part (c) on complex potential verification and force calculation. Begin with identifying the PDE type and characteristic equations for (a), execute precise iterative calculations for (b), and apply Blasius theorem or residue calculus for force in (c). Present each part with clear headings and final boxed answers.

• For (a): Correct classification of PDE type (hyperbolic/parabolic/elliptic) via discriminant B²-4AC = (x+y)²-4xy = (x-y)² ≥ 0, identifying hyperbolic nature with characteristic curves ξ = x-y and η = x+y or similar
• For (a): Proper reduction to canonical form u_ξη = 0 or equivalent, followed by general solution u = f(x-y) + g(x+y) or variant
• For (b): Correct RK4 formulas with k₁, k₂, k₃, k₄ calculations at each step, showing two complete steps (h=0.1) to reach x=0.2 with y(0.2) ≈ 1.2734
• For (c): Verification that w = ik log[(z-ia)/(z+ia)] represents flow past cylinder |z|=a with y=0 as streamline, using conformal mapping properties and image system
• For (c): Application of Blasius theorem or pressure integration to find force, showing zero drag (d'Alembert paradox) and lift calculation using circulation Γ = 2πk
• For (c): Final force expression as (0, 2πρk²) or equivalent per unit length, with proper physical interpretation