The math optional, made finite. Daily Practice

← 2013 Paper 1

UPSC Maths 2013 Paper 1 Q2a-i — Solution

10 marks · Section A

Question

Let PnP_n denote the vector space of all real polynomials of degree atmost nn and T:P2P3T:P_2\to P_3 be a linear transformation given by

T(p(x))=0xp(t)dt,p(x)P2.T(p(x))=\int_0^x p(t)\,dt,\qquad p(x)\in P_2.

Find the matrix of TT with respect to the bases {1,x,x2}\{1,x,x^2\} and {1,x,1+x2,1+x3}\{1,x,1+x^2,1+x^3\} of P2P_2 and P3P_3 respectively. Also, find the null space of TT.

Technique

Compute TT on each domain-basis element; expand each image in the codomain basis (matching xkx^{k} coefficients); assemble columns. Nullspace via the integral-vanishing argument.

Solution

Step 1 — Apply TT to each domain-basis element

T(1)=0x1dt=x,T(x)=0xtdt=x22,T(x2)=0xt2dt=x33.T(1)=\int_0^{x}1\,dt=x,\qquad T(x)=\int_0^{x}t\,dt=\tfrac{x^{2}}{2},\qquad T(x^{2})=\int_0^{x}t^{2}\,dt=\tfrac{x^{3}}{3}.

Step 2 — Express each image in the codomain basis {1,x,1+x2,1+x3}\{1,\,x,\,1+x^{2},\,1+x^{3}\}

Let e1=1,  e2=x,  e3=1+x2,  e4=1+x3e_1=1,\;e_2=x,\;e_3=1+x^{2},\;e_4=1+x^{3}. For each image, find scalars (a,b,c,d)(a,b,c,d) with ae1+be2+ce3+de4=imagea\,e_1+b\,e_2+c\,e_3+d\,e_4=\text{image}:

T(1)=xT(1)=x: a+bx+c(1+x2)+d(1+x3)=xa+bx+c(1+x^{2})+d(1+x^{3})=x forces b=1b=1, c=0c=0, d=0d=0, and then a+c+d=0a=0a+c+d=0\Rightarrow a=0. Coordinates: (0,1,0,0)(0,\,1,\,0,\,0).

T(x)=x22T(x)=\tfrac{x^{2}}{2}: matching coefficients of x0,x,x2,x3x^{0},x,x^{2},x^{3}: a+c+d=0,  b=0,  c=12,  d=0a+c+d=0,\;b=0,\;c=\tfrac{1}{2},\;d=0, so a=12a=-\tfrac{1}{2}. Coordinates: (12,0,12,0)\bigl(-\tfrac{1}{2},\,0,\,\tfrac{1}{2},\,0\bigr).

T(x2)=x33T(x^{2})=\tfrac{x^{3}}{3}: a+c+d=0,  b=0,  c=0,  d=13a+c+d=0,\;b=0,\;c=0,\;d=\tfrac{1}{3}, so a=13a=-\tfrac{1}{3}. Coordinates: (13,0,0,13)\bigl(-\tfrac{1}{3},\,0,\,0,\,\tfrac{1}{3}\bigr).

Step 3 — Assemble the matrix (images as columns)

  MT=[0121310001200013]  R4×3.  \boxed{\;M_T=\begin{bmatrix}0 & -\tfrac{1}{2} & -\tfrac{1}{3}\\ 1 & 0 & 0\\ 0 & \tfrac{1}{2} & 0\\ 0 & 0 & \tfrac{1}{3}\end{bmatrix}\;\in\mathbb{R}^{4\times 3}.\;}

Step 4 — Null space of TT

p(x)kerT    0xp(t)dt=0  xp(x)\in\ker T\iff\int_0^{x}p(t)\,dt=0\;\forall x. Differentiating both sides (using FTC), p(x)=0p(x)=0 identically. So

Answer

  kerT={0}.  \boxed{\;\ker T=\{0\}.\;}

We've mapped all 13 years of this exam. Get new solutions, tools, and guides as we release them — free.