← 2013 Paper 1
UPSC Maths 2013 Paper 1 Q2a-i — Solution 10 marks · Section A
Question
Let P n P_n P n denote the vector space of all real polynomials of degree atmost n n n and T : P 2 → P 3 T:P_2\to P_3 T : P 2 → P 3 be a linear transformation given by
T ( p ( x ) ) = ∫ 0 x p ( t ) d t , p ( x ) ∈ P 2 . T(p(x))=\int_0^x p(t)\,dt,\qquad p(x)\in P_2. T ( p ( x )) = ∫ 0 x p ( t ) d t , p ( x ) ∈ P 2 .
Find the matrix of T T T with respect to the bases { 1 , x , x 2 } \{1,x,x^2\} { 1 , x , x 2 } and { 1 , x , 1 + x 2 , 1 + x 3 } \{1,x,1+x^2,1+x^3\} { 1 , x , 1 + x 2 , 1 + x 3 } of P 2 P_2 P 2 and P 3 P_3 P 3 respectively. Also, find the null space of T T T .
Technique
Compute T T T on each domain-basis element; expand each image in the codomain basis (matching x k x^{k} x k coefficients); assemble columns. Nullspace via the integral-vanishing argument.
Solution
Step 1 — Apply T T T to each domain-basis element
T ( 1 ) = ∫ 0 x 1 d t = x , T ( x ) = ∫ 0 x t d t = x 2 2 , T ( x 2 ) = ∫ 0 x t 2 d t = x 3 3 . 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}. T ( 1 ) = ∫ 0 x 1 d t = x , T ( x ) = ∫ 0 x t d t = 2 x 2 , T ( x 2 ) = ∫ 0 x t 2 d t = 3 x 3 .
Step 2 — Express each image in the codomain basis { 1 , x , 1 + x 2 , 1 + x 3 } \{1,\,x,\,1+x^{2},\,1+x^{3}\} { 1 , x , 1 + x 2 , 1 + x 3 }
Let e 1 = 1 , e 2 = x , e 3 = 1 + x 2 , e 4 = 1 + x 3 e_1=1,\;e_2=x,\;e_3=1+x^{2},\;e_4=1+x^{3} e 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) ( a , b , c , d ) with a e 1 + b e 2 + c e 3 + d e 4 = image a\,e_1+b\,e_2+c\,e_3+d\,e_4=\text{image} a e 1 + b e 2 + c e 3 + d e 4 = image :
T ( 1 ) = x T(1)=x T ( 1 ) = x : a + b x + c ( 1 + x 2 ) + d ( 1 + x 3 ) = x a+bx+c(1+x^{2})+d(1+x^{3})=x a + b x + c ( 1 + x 2 ) + d ( 1 + x 3 ) = x forces b = 1 b=1 b = 1 , c = 0 c=0 c = 0 , d = 0 d=0 d = 0 , and then a + c + d = 0 ⇒ a = 0 a+c+d=0\Rightarrow a=0 a + c + d = 0 ⇒ a = 0 . Coordinates: ( 0 , 1 , 0 , 0 ) (0,\,1,\,0,\,0) ( 0 , 1 , 0 , 0 ) .
T ( x ) = x 2 2 T(x)=\tfrac{x^{2}}{2} T ( x ) = 2 x 2 : matching coefficients of x 0 , x , x 2 , x 3 x^{0},x,x^{2},x^{3} x 0 , x , x 2 , x 3 : a + c + d = 0 , b = 0 , c = 1 2 , d = 0 a+c+d=0,\;b=0,\;c=\tfrac{1}{2},\;d=0 a + c + d = 0 , b = 0 , c = 2 1 , d = 0 , so a = − 1 2 a=-\tfrac{1}{2} a = − 2 1 . Coordinates: ( − 1 2 , 0 , 1 2 , 0 ) \bigl(-\tfrac{1}{2},\,0,\,\tfrac{1}{2},\,0\bigr) ( − 2 1 , 0 , 2 1 , 0 ) .
T ( x 2 ) = x 3 3 T(x^{2})=\tfrac{x^{3}}{3} T ( x 2 ) = 3 x 3 : a + c + d = 0 , b = 0 , c = 0 , d = 1 3 a+c+d=0,\;b=0,\;c=0,\;d=\tfrac{1}{3} a + c + d = 0 , b = 0 , c = 0 , d = 3 1 , so a = − 1 3 a=-\tfrac{1}{3} a = − 3 1 . Coordinates: ( − 1 3 , 0 , 0 , 1 3 ) \bigl(-\tfrac{1}{3},\,0,\,0,\,\tfrac{1}{3}\bigr) ( − 3 1 , 0 , 0 , 3 1 ) .
Step 3 — Assemble the matrix (images as columns)
M T = [ 0 − 1 2 − 1 3 1 0 0 0 1 2 0 0 0 1 3 ] ∈ R 4 × 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}.\;} M T = 0 1 0 0 − 2 1 0 2 1 0 − 3 1 0 0 3 1 ∈ R 4 × 3 .
Step 4 — Null space of T T T
p ( x ) ∈ ker T ⟺ ∫ 0 x p ( t ) d t = 0 ∀ x p(x)\in\ker T\iff\int_0^{x}p(t)\,dt=0\;\forall x p ( x ) ∈ ker T ⟺ ∫ 0 x p ( t ) d t = 0 ∀ x . Differentiating both sides (using FTC), p ( x ) = 0 p(x)=0 p ( x ) = 0 identically. So
Answer
ker T = { 0 } . \boxed{\;\ker T=\{0\}.\;} ker T = { 0 } .