HPAS 2017 Mathematics Optional Paper-2: Complete Solutions
Welcome to the comprehensive solution guide for the Himachal Pradesh Administrative Service (HPAS) 2017 Mathematics Optional Paper-2. This resource provides detailed, step-by-step solutions designed specifically for civil service aspirants to master the core mathematical concepts and methodologies required for the exam.
Whether you are revising key theorems, practicing previous year questions, or mastering advanced abstract algebra, real analysis, and differential equations, these carefully structured solutions will help streamline your preparation. Use the index below to jump directly to specific questions and topics.
Table of Contents
- Question 1(a): Element of Order 2 Commutativity
- Question 1(b): Darboux Sums Inequality
- Question 1(c): Laplace Transform Evaluation
- Question 1(d): Extremal of a Functional
- Question 2(a): Subgroups of Prime Order Group
- Question 2(b): Kernel as a Normal Subgroup
- Question 3(a): Riemann Integrability of f(x)=x
- Question 3(b): Convergence of Improper Integral
- Question 4(a): Metric Space Inequality
- Question 4(b): Series Convergence Test
- Question 5(a): Harmonic Function and Conjugate
- Question 5(b): Contour Integration Evaluation
- Question 6(a): Charpit’s Method
- Question 6(b): Second Order PDE
- Question 7(a): Laplace Transform of an Integral
- Question 7(b): Inverse Laplace via Convolution Theorem
- Question 8(a): Brachistochrone Problem (Shortest Time Path)
- Question 8(b): Root of Equation (Numerical Methods)
HPAS 2017 Maths Optional Paper-2 Question 1(a)
If a \ne e is the only element of order 2 in a group G, then prove that ax = xa for all x \in G.
Solution:
Relevant definitions and result
An element a\in G has order 2 if a^2=e and a\ne e. We are given that a is the only element of order 2 in G.
To prove ax=xa for every x\in G, it is enough to prove that xax^{-1}=a.
Step 1: Consider a conjugate of a
Let x\in G be arbitrary and put
b=xax^{-1}.We calculate the square of b:
b^2=(xax^{-1})(xax^{-1}) =xa(x^{-1}x)ax^{-1} =xa^2x^{-1}.Since a has order 2, a^2=e. Hence
b^2=xex^{-1}=xx^{-1}=e.Step 2: Show that b\ne e
If b=e, then
xax^{-1}=e.Multiplying on the left by x^{-1} and on the right by x,
a=x^{-1}ex=e,which contradicts the fact that a has order 2. Therefore b\ne e.
Thus b=xax^{-1} is also an element of order 2.
Step 3: Use uniqueness of the element of order 2
By hypothesis, a is the only element of order 2 in G. Therefore
xax^{-1}=a.Multiplying this equality on the right by x, we obtain
xa=ax.Since x was arbitrary, a commutes with every element of G. Equivalently, a\in Z(G), the centre of the group.
Final Answer:
\boxed{ax=xa\quad\text{for every }x\in G.}HPAS 2017 Maths Optional Paper-2 Question 1(b)
Let p_1 and p_2 be two partitions of [a, b]. Show that L(f, p_1) \le U(f, p_2) and L(f, p_2) \le U(f, p_1).
Solution:
Relevant definitions
Let f be a bounded real-valued function on [a,b]. For a partition P, the lower and upper Darboux sums are denoted by L(f,P) and U(f,P).
We use two standard facts:
- If P' is a refinement of P, then L(f,P)\le L(f,P') and U(f,P')\le U(f,P).
- For every partition P, L(f,P)\le U(f,P).
Step 1: Form a common refinement
Let
P=p_1\cup p_2.After arranging the points in increasing order, P is a partition of [a,b]. It contains every point of both p_1 and p_2. Hence P is a refinement of both.
Step 2: Prove L(f,p_1)\le U(f,p_2)
Because P refines p_1,
L(f,p_1)\le L(f,P).For the same partition P,
L(f,P)\le U(f,P).Because P also refines p_2,
U(f,P)\le U(f,p_2).Combining the three inequalities,
L(f,p_1)\le L(f,P)\le U(f,P)\le U(f,p_2).Therefore,
L(f,p_1)\le U(f,p_2).Step 3: Interchange the roles of p_1 and p_2
Similarly,
L(f,p_2)\le L(f,P)\le U(f,P)\le U(f,p_1),and hence
L(f,p_2)\le U(f,p_1).Final Answer:
\boxed{L(f,p_1)\le U(f,p_2)\quad\text{and}\quad L(f,p_2)\le U(f,p_1).}HPAS 2017 Maths Optional Paper-2 Question 1(c)
Evaluate the Laplace transform of the function f(x) = (x+2)^2 e^x.
Solution:
Given
f(x)=(x+2)^2e^x.Relevant Laplace-transform results
For s>0,
L\{1\}=\frac1s,\qquad L\{x\}=\frac1{s^2},\qquad L\{x^2\}=\frac{2}{s^3}.The first shifting theorem states that if L\{g(x)\}=G(s), then
L\{e^{ax}g(x)\}=G(s-a).Step 1: Expand the polynomial
(x+2)^2=x^2+4x+4.Therefore
f(x)=e^x(x^2+4x+4).Step 2: Transform the polynomial part
Let g(x)=x^2+4x+4. By linearity,
G(s)=L\{g(x)\} =L\{x^2\}+4L\{x\}+4L\{1\}.Hence
G(s)=\frac{2}{s^3}+\frac{4}{s^2}+\frac{4}{s}.Step 3: Apply the first shifting theorem
Since the multiplying exponential is e^x=e^{1\cdot x}, replace s by s-1:
L\{(x+2)^2e^x\} = \frac{2}{(s-1)^3} +\frac{4}{(s-1)^2} +\frac{4}{s-1}.The transform exists for \operatorname{Re}s>1.
Final Answer:
\boxed{ L\{(x+2)^2e^x\} = \frac{2}{(s-1)^3} +\frac{4}{(s-1)^2} +\frac{4}{s-1} },\qquad \operatorname{Re}s>1.HPAS 2017 Maths Optional Paper-2 Question 1(d)
On which curves can the functional
H[y(x)] = \int_{0}^{1} [(y')^2 + 12xy] dxwith boundary conditions y(0)=0 and y(1)=1, be extremized?
Solution:
Given functional
H[y]=\int_0^1\left[(y')^2+12xy\right]dx,with boundary conditions
y(0)=0,\qquad y(1)=1.Euler-Lagrange equation
For a functional \int F(x,y,y')\,dx, an extremal satisfies
\frac{\partial F}{\partial y} -\frac{d}{dx}\left(\frac{\partial F}{\partial y'}\right)=0.Here
F(x,y,y')=(y')^2+12xy.Step 1: Calculate the required partial derivatives
\frac{\partial F}{\partial y}=12x,and
\frac{\partial F}{\partial y'}=2y'.Therefore
\frac{d}{dx}\left(\frac{\partial F}{\partial y'}\right) =\frac{d}{dx}(2y') =2y''.Step 2: Form the Euler-Lagrange differential equation
12x-2y''=0.Thus
y''=6x.Step 3: Integrate twice
Integrating once,
y'=\int 6x\,dx=3x^2+C_1.Integrating again,
y=x^3+C_1x+C_2.Step 4: Apply the boundary conditions
From y(0)=0,
0=0+C_1(0)+C_2,so
C_2=0.From y(1)=1,
1=1+C_1,hence
C_1=0.Therefore the extremal is
y=x^3.Final Answer:
\boxed{y(x)=x^3}.HPAS 2017 Maths Optional Paper-2 Question 2(a)
Prove that a finite group of prime order does not have any proper subgroup.
Solution:
Important wording point
Strictly speaking, every group has the trivial subgroup \{e\}, which is proper whenever the group has more than one element. Thus the standard theorem intended here is: a finite group of prime order has no non-trivial proper subgroup.
Lagrange’s theorem
If H is a subgroup of a finite group G, then
|H|\mid |G|.Proof
Let |G|=p, where p is prime, and let H\le G. By Lagrange’s theorem, |H| must divide p.
The only positive divisors of a prime number p are
1\quad\text{and}\quad p.Therefore there are only two possibilities.
Case 1: |H|=1. Then
H=\{e\},the trivial subgroup.
Case 2: |H|=p=|G|. Since H\subseteq G and both finite sets have the same number of elements,
H=G.There is no third possibility. Hence no subgroup can satisfy
\{e\}\subsetneq H\subsetneq G.Final Answer:
A finite group of prime order has no non-trivial proper subgroup; its only subgroups are
\boxed{\{e\}\ \text{and}\ G}.HPAS 2017 Maths Optional Paper-2 Question 2(b)
Prove that the kernel of a homomorphism f from a group G to a group G’ is a normal subgroup of G.
Solution:
Definition of kernel
Let f:G\to G' be a group homomorphism. Its kernel is
K=\ker f=\{g\in G:f(g)=e'\},where e' is the identity element of G'.
We shall first verify that K is a subgroup and then prove that it is normal.
Step 1: K is non-empty
Since f is a homomorphism,
f(e)=e'.Therefore e\in K, so K\ne\varnothing.
Step 2: Apply the subgroup test
Take a,b\in K. Then
f(a)=e',\qquad f(b)=e'.Now
f(ab^{-1}) =f(a)f(b^{-1}) =f(a)f(b)^{-1} =e'(e')^{-1} =e'.Hence ab^{-1}\in K. By the subgroup criterion,
K\le G.Step 3: Prove normality
Let g\in G and k\in K. Since f(k)=e',
f(gkg^{-1}) =f(g)f(k)f(g^{-1}) =f(g)e'f(g)^{-1}.Therefore
f(gkg^{-1})=f(g)f(g)^{-1}=e'.Thus
gkg^{-1}\in K.Since this holds for every g\in G and k\in K,
gKg^{-1}\subseteq K.Replacing g by g^{-1} gives the reverse inclusion, so
gKg^{-1}=K.Final Answer:
\boxed{\ker f\trianglelefteq G}.Hence the kernel of every group homomorphism is a normal subgroup of its domain.
HPAS 2017 Maths Optional Paper-2 Question 3(a)
Let a real-valued function f be defined on [0, 1] by f(x)=x for all x \in [0, 1]. Show that f is Riemann-integrable over [0, 1] and that \int_{0}^{1} f(x) dx = \frac{1}{2}.
Solution:
Given
f(x)=x,\qquad 0\le x\le1.We shall prove Riemann integrability directly by upper and lower Darboux sums and then calculate the integral.
Step 1: Choose a uniform partition
For a positive integer n, let
P_n=\left\{0,\frac1n,\frac2n,\ldots,\frac{n-1}{n},1\right\}.Each subinterval has length
\Delta x=\frac1n.Since f(x)=x is increasing, on the interval
I_i=\left[\frac{i-1}{n},\frac{i}{n}\right],we have
m_i=\frac{i-1}{n},\qquad M_i=\frac{i}{n}.Step 2: Calculate the lower Darboux sum
L(f,P_n) =\sum_{i=1}^{n}m_i\Delta x =\sum_{i=1}^{n}\frac{i-1}{n}\cdot\frac1n.Therefore
L(f,P_n) =\frac1{n^2}\sum_{i=1}^{n}(i-1) =\frac1{n^2}\sum_{j=0}^{n-1}j.Using \sum_{j=0}^{n-1}j=\frac{n(n-1)}2,
L(f,P_n) =\frac{n(n-1)}{2n^2} =\frac{n-1}{2n}.Step 3: Calculate the upper Darboux sum
U(f,P_n) =\sum_{i=1}^{n}M_i\Delta x =\sum_{i=1}^{n}\frac{i}{n}\cdot\frac1n =\frac1{n^2}\sum_{i=1}^{n}i.Since \sum_{i=1}^{n}i=\frac{n(n+1)}2,
U(f,P_n) =\frac{n(n+1)}{2n^2} =\frac{n+1}{2n}.Step 4: Verify the Riemann integrability criterion
U(f,P_n)-L(f,P_n) =\frac{n+1}{2n}-\frac{n-1}{2n} =\frac1n.Given any \varepsilon>0, choose n>1/\varepsilon. Then
U(f,P_n)-L(f,P_n)=\frac1n<\varepsilon. [/katex] <p>Hence [katex]f is Riemann integrable on [0,1].Step 5: Evaluate the integral
As n\to\infty,
L(f,P_n)=\frac{n-1}{2n}\longrightarrow\frac12,and
U(f,P_n)=\frac{n+1}{2n}\longrightarrow\frac12.Therefore the common value of the lower and upper integrals is 1/2.
Final Answer:
\boxed{f(x)=x\text{ is Riemann integrable on }[0,1],\qquad \int_0^1x\,dx=\frac12.}HPAS 2017 Maths Optional Paper-2 Question 3(b)
Test the convergence of the following integral:
\int_{0}^{\infty} e^{-ax} \frac{\sin x}{x} dx \quad (a \ge 0)Solution:
Integral to be tested
I(a)=\int_0^\infty e^{-ax}\frac{\sin x}{x}\,dx,\qquad a\ge0.There are two possible sources of impropriety: x=0 and x=\infty. We examine them separately.
1. Behaviour near x=0
Using the standard limit
\lim_{x\to0}\frac{\sin x}{x}=1and \lim_{x\to0}e^{-ax}=1, we get
\lim_{x\to0}e^{-ax}\frac{\sin x}{x}=1.Thus the apparent singularity at x=0 is removable, and the integral over any interval (0,A] is convergent.
2. Case a>0
For x\ge1,
\left|e^{-ax}\frac{\sin x}{x}\right| \le \frac{e^{-ax}}{x} \le e^{-ax}.But
\int_1^\infty e^{-ax}\,dx = \left[-\frac1a e^{-ax}\right]_1^\infty =\frac{e^{-a}}{a}<\infty. [/katex] <p>Hence by comparison, the given integral is <strong>absolutely convergent</strong> when [katex]a>0.3. Case a=0
The integral becomes
\int_0^\infty\frac{\sin x}{x}\,dx.On [1,\infty), the primitive of \sin x is bounded:
\int_1^X\sin x\,dx=\cos1-\cos X,and 1/x is positive, monotone decreasing, and tends to zero. Therefore Dirichlet's test gives convergence of
\int_1^\infty\frac{\sin x}{x}\,dx.It is not absolutely convergent; the classical integral \int_1^\infty |\sin x|/x\,dx diverges. Hence for a=0, convergence is conditional.
Final Answer:
\boxed{ \begin{cases} \text{absolutely convergent}, & a>0,\\ \text{conditionally convergent}, & a=0. \end{cases}}Thus the improper integral converges for every a\ge0.
HPAS 2017 Maths Optional Paper-2 Question 4(a)
If (A, d) is a metric space, then show that:
|d(x_1, y_1) - d(x_2, y_2)| \le d(x_1, x_2) + d(y_1, y_2)Solution:
Given
(A,d) is a metric space. We have to prove
|d(x_1,y_1)-d(x_2,y_2)| \le d(x_1,x_2)+d(y_1,y_2).Step 1: Use the triangle inequality to bound d(x_1,y_1)
By travelling from x_1 to x_2, then to y_2, and finally to y_1, the triangle inequality gives
d(x_1,y_1) \le d(x_1,x_2)+d(x_2,y_2)+d(y_2,y_1).Because a metric is symmetric,
d(y_2,y_1)=d(y_1,y_2).Therefore
d(x_1,y_1)-d(x_2,y_2) \le d(x_1,x_2)+d(y_1,y_2). \tag{1}Step 2: Reverse the roles of the two pairs
Again by the triangle inequality,
d(x_2,y_2) \le d(x_2,x_1)+d(x_1,y_1)+d(y_1,y_2).Since d(x_2,x_1)=d(x_1,x_2),
d(x_2,y_2)-d(x_1,y_1) \le d(x_1,x_2)+d(y_1,y_2). \tag{2}Step 3: Combine the two estimates
Equations (1) and (2) say that both a real number and its negative are bounded above by the same non-negative quantity. Hence
-\left[d(x_1,x_2)+d(y_1,y_2)\right] \le d(x_1,y_1)-d(x_2,y_2) \le d(x_1,x_2)+d(y_1,y_2).Therefore
|d(x_1,y_1)-d(x_2,y_2)| \le d(x_1,x_2)+d(y_1,y_2).Final Answer:
\boxed{|d(x_1,y_1)-d(x_2,y_2)| \le d(x_1,x_2)+d(y_1,y_2).}HPAS 2017 Maths Optional Paper-2 Question 4(b)
Test the convergence of the series:
x^2(\log 2)^q + x^3(\log 3)^q + x^4(\log 4)^q + \dotsSolution:
Given series
x^2(\log2)^q+x^3(\log3)^q+x^4(\log4)^q+\cdots =\sum_{n=2}^{\infty}x^n(\log n)^q.We take x,q\in\mathbb R and test both the interior and the end points.
Step 1: Apply the root test
Let
a_n=x^n(\log n)^q.Then
|a_n|^{1/n} =|x|(\log n)^{q/n}.Now
(\log n)^{q/n} =\exp\left(\frac{q\log\log n}{n}\right).Since
\frac{\log\log n}{n}\longrightarrow0,we obtain
\lim_{n\to\infty}(\log n)^{q/n}=1.Thus
\lim_{n\to\infty}|a_n|^{1/n}=|x|.Therefore, by the root test:
|x|<1\Rightarrow\text{absolute convergence}, [/katex] <p>and</p> [katex display="true"] |x|>1\Rightarrow\text{divergence}.It remains to test x=\pm1.
Step 2: End point x=1
The series becomes
\sum_{n=2}^{\infty}(\log n)^q.If q\ge0, then (\log n)^q does not tend to zero (for q=0 it equals 1, and for q>0 it tends to infinity). Hence the series diverges.
If q<0[/katex], write [katex]q=-p[/katex] with [katex]p>0. Then
(\log n)^q=\frac1{(\log n)^p}.For sufficiently large n,
n>(\log n)^p,hence
\frac1{(\log n)^p}>\frac1n.Since \sum1/n diverges, comparison gives divergence here also.
Thus x=1 gives divergence for every real q.
Step 3: End point x=-1
We obtain
\sum_{n=2}^{\infty}(-1)^n(\log n)^q.If q\ge0, the terms do not tend to zero, so the series diverges.
If q<0[/katex], put [katex]q=-p[/katex], [katex]p>0. Then
\sum_{n=2}^{\infty}\frac{(-1)^n}{(\log n)^p}.The positive terms 1/(\log n)^p decrease eventually and tend to zero. Hence the alternating-series test gives convergence.
However, the absolute series \sum1/(\log n)^p diverges as shown above. Thus convergence at x=-1 is conditional when q<0[/katex].</p><p><strong>Final Answer:</strong></p> [katex display="true"] \boxed{ \begin{array}{ll} |x|<1:&\text{absolutely convergent for every real }q,\\ |x|>1:&\text{divergent},\\ x=1:&\text{divergent for every real }q,\\ x=-1:&\text{conditionally convergent if }q<0,\ \text{divergent if }q\ge0. \end{array}} [/katex] </div> </div><div id="q5a" class="math-qna-wrapper"> <div class="question-box"> <h2>HPAS 2017 Maths Optional Paper-2 Question 5(a)</h2> <p>Prove that the function [katex]u(x,y) = x^3 - 3xy^2 is harmonic and obtain its conjugate.
Solution:
Given
u(x,y)=x^3-3xy^2.Condition for harmonicity
A twice continuously differentiable real-valued function u(x,y) is harmonic if
u_{xx}+u_{yy}=0.Step 1: Compute the second partial derivatives
u_x=3x^2-3y^2,so
u_{xx}=6x.Also,
u_y=-6xy,and therefore
u_{yy}=-6x.Hence
u_{xx}+u_{yy}=6x-6x=0.Thus u is harmonic.
Step 2: Use the Cauchy-Riemann equations to find the harmonic conjugate
If f(z)=u+iv is analytic, then
u_x=v_y,\qquad u_y=-v_x.From v_y=u_x,
v_y=3x^2-3y^2.Integrating with respect to y, treating x as constant,
v=3x^2y-y^3+\phi(x),where \phi(x) is an arbitrary function of x.
Differentiate this expression with respect to x:
v_x=6xy+\phi'(x).But the second Cauchy-Riemann equation gives
v_x=-u_y=6xy.Therefore
6xy+\phi'(x)=6xy,so
\phi'(x)=0.Hence \phi(x)=C, a real constant.
Therefore a harmonic conjugate is
v(x,y)=3x^2y-y^3+C.Final Answer:
\boxed{v(x,y)=3x^2y-y^3+C.}Consequently, apart from an additive imaginary constant,
f(z)=z^3.HPAS 2017 Maths Optional Paper-2 Question 5(b)
Evaluate:
\int_C \frac{e^{3z}}{z-\pi i} dzwhere C is the circle |z-1|=4.
Solution:
Integral
I=\int_C\frac{e^{3z}}{z-\pi i}\,dz,where C is the circle |z-1|=4.
Cauchy's integral formula
If f is analytic on and inside a positively oriented simple closed contour C and a lies inside C, then
\int_C\frac{f(z)}{z-a}\,dz=2\pi i\,f(a).Step 1: Check whether the pole lies inside the contour
The only singularity is
z=\pi i.Its distance from the centre 1 of the circle is
|\pi i-1| =\sqrt{(-1)^2+\pi^2} =\sqrt{1+\pi^2}.Since
1+\pi^2<16, [/katex] <p>we have</p> [katex display="true"] \sqrt{1+\pi^2}<4. [/katex] <p>Hence [katex]z=\pi i lies inside C.Step 2: Apply Cauchy's integral formula
Take
f(z)=e^{3z},\qquad a=\pi i.Then
I=2\pi i\,e^{3\pi i}.Using Euler's formula,
e^{3\pi i}=\cos3\pi+i\sin3\pi=-1.Therefore
I=-2\pi i.Final Answer:
\boxed{\displaystyle \int_C\frac{e^{3z}}{z-\pi i}\,dz=-2\pi i}.HPAS 2017 Maths Optional Paper-2 Question 6(a)
Solve the following equation by Charpit's method:
(p^2+q^2)y = qz
Solution:
Given PDE
y(p^2+q^2)=qz,where
p=\frac{\partial z}{\partial x},\qquad q=\frac{\partial z}{\partial y}.Write
F(x,y,z,p,q)=y(p^2+q^2)-qz=0.Charpit's equations
For F=0, Charpit's auxiliary equations are
\frac{dx}{F_p} = \frac{dy}{F_q} = \frac{dz}{pF_p+qF_q} = \frac{-dp}{F_x+pF_z} = \frac{-dq}{F_y+qF_z}.Step 1: Calculate the partial derivatives of F
F_x=0,\qquad F_y=p^2+q^2,\qquad F_z=-q, F_p=2yp,\qquad F_q=2yq-z.Also,
pF_p+qF_q =2yp^2+2yq^2-qz.Since the original PDE gives y(p^2+q^2)=qz,
pF_p+qF_q =2qz-qz =qz.Thus the relevant Charpit relations include
\frac{-dp}{-pq} = \frac{-dq}{p^2}.Therefore
\frac{dp}{pq}=-\frac{dq}{p^2}.Step 2: Obtain a first integral in p,q
Cross-multiplying,
p^2\,dp=-pq\,dq.For the non-degenerate case p\ne0, divide by p:
p\,dp+q\,dq=0.Integrating,
\frac12p^2+\frac12q^2=C.Write 2C=a^2. Then
p^2+q^2=a^2. \tag{1}Step 3: Use the original PDE
Substituting (1) into y(p^2+q^2)=qz,
a^2y=qz.Hence
q=\frac{a^2y}{z}.Since q=\partial z/\partial y,
\frac{\partial z}{\partial y} =\frac{a^2y}{z}.Multiply by z:
z\frac{\partial z}{\partial y}=a^2y.Integrating with respect to y,
\frac{z^2}{2} =\frac{a^2y^2}{2}+\Phi(x),or, after writing 2\Phi(x)=\phi(x),
z^2=a^2y^2+\phi(x). \tag{2}Step 4: Determine \phi(x)
Differentiate (2) with respect to x:
2zp=\phi'(x). \tag{3}From (1),
p^2=a^2-q^2.Since q=a^2y/z,
p^2 =a^2-\frac{a^4y^2}{z^2} =\frac{a^2(z^2-a^2y^2)}{z^2}.By (2), z^2-a^2y^2=\phi(x). Thus
p^2=\frac{a^2\phi(x)}{z^2}.Squaring (3),
[\phi'(x)]^2 =4z^2p^2 =4a^2\phi(x).A convenient general solution of this equation is
\phi(x)=(ax+b)^2,where b is a second arbitrary constant. Indeed,
\phi'(x)=2a(ax+b)and therefore
[\phi'(x)]^2=4a^2(ax+b)^2=4a^2\phi(x).Substituting this into (2),
z^2=a^2y^2+(ax+b)^2.Verification
From the proposed solution,
p=\frac{a(ax+b)}{z},\qquad q=\frac{a^2y}{z}.Then
p^2+q^2 = \frac{a^2(ax+b)^2+a^4y^2}{z^2} =a^2.Hence
y(p^2+q^2)=a^2y=qz.Thus the PDE is satisfied.
Final Answer:
\boxed{z^2=a^2y^2+(ax+b)^2},where a and b are arbitrary constants.
HPAS 2017 Maths Optional Paper-2 Question 6(b)
Solve:
x^2r + 2xys + y^2t = 0
Solution:
Given PDE
x^2r+2xys+y^2t=0,where
r=z_{xx},\qquad s=z_{xy},\qquad t=z_{yy}.Step 1: Introduce the Euler differential operator
Define
E=x\frac{\partial}{\partial x}+y\frac{\partial}{\partial y}.Then
Ez=xz_x+yz_y=xp+yq.Apply E once more:
E^2z =x\frac{\partial}{\partial x}(xp+yq) +y\frac{\partial}{\partial y}(xp+yq).Now
\frac{\partial}{\partial x}(xp+yq) =p+xr+ys,and
\frac{\partial}{\partial y}(xp+yq) =xs+q+yt.Therefore
E^2z =x(p+xr+ys)+y(xs+q+yt).Expanding,
E^2z =xp+yq+x^2r+2xys+y^2t.Since Ez=xp+yq,
x^2r+2xys+y^2t=E^2z-Ez.Hence the PDE becomes
E^2z-Ez=0. \tag{1}Step 2: Choose variables adapted to the operator E
For x\ne0, put
\xi=\frac{y}{x},\qquad \eta=\log|x|.Along a ray y/x=\xi=\text{constant}, scaling (x,y) changes only \eta. In these variables,
E=\frac{\partial}{\partial\eta}.Therefore (1) becomes
\frac{\partial^2z}{\partial\eta^2} -\frac{\partial z}{\partial\eta}=0.Step 3: Solve the resulting ordinary differential equation
For each fixed \xi, let Z(\eta)=z(\xi,\eta). Then
Z''-Z'=0.The auxiliary equation is
m^2-m=0,so
m(m-1)=0,giving m=0,1. Hence
Z=A(\xi)+B(\xi)e^\eta,where A and B are arbitrary functions because \xi is merely a parameter in the ODE.
Since e^\eta=|x|, on any region where x>0 this is x. Absorbing the sign locally into the arbitrary function gives the standard form
z=\phi\left(\frac{y}{x}\right) +x\,\psi\left(\frac{y}{x}\right).Final Answer:
\boxed{ z=\phi\left(\frac{y}{x}\right) +x\,\psi\left(\frac{y}{x}\right) },where \phi and \psi are arbitrary functions (locally for x\ne0).
HPAS 2017 Maths Optional Paper-2 Question 7(a)
Show that:
L\left\{ \int_{0}^{x} \frac{1-e^{-u}}{u} du \right\}(p) = \frac{1}{p}\log\left(1+\frac{1}{p}\right)Solution:
Required result
L\left\{\int_0^x\frac{1-e^{-u}}{u}\,du\right\}(p) = \frac1p\log\left(1+\frac1p\right).Step 1: Use the Laplace transform of an integral
If
F(x)=\int_0^x f(u)\,du,then
L\{F(x)\}(p)=\frac1pL\{f(x)\}(p).Here
f(x)=\frac{1-e^{-x}}{x}.Therefore
L\left\{\int_0^x\frac{1-e^{-u}}{u}\,du\right\}(p) = \frac1p L\left\{\frac{1-e^{-x}}{x}\right\}(p). \tag{1}Step 2: Evaluate L\{(1-e^{-x})/x\}
Observe that
\int_0^1e^{-tx}\,dt = \left[-\frac1x e^{-tx}\right]_{0}^{1} = \frac{1-e^{-x}}{x}.Hence
\frac{1-e^{-x}}{x} = \int_0^1e^{-tx}\,dt.Therefore, for p>0,
L\left\{\frac{1-e^{-x}}{x}\right\}(p) = \int_0^\infty e^{-px} \left(\int_0^1e^{-tx}\,dt\right)dx.Interchanging the order of integration,
= \int_0^1\left(\int_0^\infty e^{-(p+t)x}\,dx\right)dt.The inner integral is
\int_0^\infty e^{-(p+t)x}\,dx = \frac1{p+t}.Thus
L\left\{\frac{1-e^{-x}}{x}\right\}(p) = \int_0^1\frac{dt}{p+t}.Integrating,
= [\log(p+t)]_0^1 = \log(p+1)-\log p.Hence
L\left\{\frac{1-e^{-x}}{x}\right\}(p) = \log\left(\frac{p+1}{p}\right) = \log\left(1+\frac1p\right). \tag{2}Step 3: Substitute into (1)
L\left\{\int_0^x\frac{1-e^{-u}}{u}\,du\right\}(p) = \frac1p\log\left(1+\frac1p\right).Final Answer:
\boxed{ L\left\{\int_0^x\frac{1-e^{-u}}{u}\,du\right\}(p) = \frac1p\log\left(1+\frac1p\right) }.HPAS 2017 Maths Optional Paper-2 Question 7(b)
Apply the convolution theorem to find:
L^{-1}\left\{ \frac{p^2}{(p^2+a^2)^2} \right\}(x)Solution:
Required inverse transform
L^{-1}\left\{\frac{p^2}{(p^2+a^2)^2}\right\}(x).Convolution theorem
If L\{f\}=F and L\{g\}=G, then
L^{-1}\{F(p)G(p)\} = (f*g)(x) = \int_0^x f(t)g(x-t)\,dt.Step 1: Factor the transform
\frac{p^2}{(p^2+a^2)^2} = \frac{p}{p^2+a^2}\cdot \frac{p}{p^2+a^2}.But
L\{\cos ax\} = \frac{p}{p^2+a^2}.Therefore, by convolution,
L^{-1}\left\{\frac{p^2}{(p^2+a^2)^2}\right\} = \int_0^x \cos(at)\cos(a(x-t))\,dt.Step 2: Evaluate the convolution integral
Use
\cos A\cos B = \frac12[\cos(A-B)+\cos(A+B)].With A=at and B=a(x-t),
A-B=2at-ax,\qquad A+B=ax.Hence
\cos(at)\cos(a(x-t)) = \frac12[\cos(2at-ax)+\cos(ax)].Therefore
\int_0^x\cos(at)\cos(a(x-t))\,dt = \frac12\int_0^x\cos(2at-ax)\,dt + \frac12\int_0^x\cos(ax)\,dt.The second integral is immediate:
\frac12\int_0^x\cos(ax)\,dt = \frac{x}{2}\cos(ax).For the first integral,
\frac12\int_0^x\cos(2at-ax)\,dt = \frac12\left[ \frac{\sin(2at-ax)}{2a} \right]_0^x.Thus
= \frac1{4a} [\sin(ax)-\sin(-ax)].Since \sin(-ax)=-\sin(ax),
= \frac1{4a}[2\sin(ax)] = \frac{\sin(ax)}{2a}.Combining the two parts,
L^{-1}\left\{\frac{p^2}{(p^2+a^2)^2}\right\} = \frac{x}{2}\cos(ax)+\frac{\sin(ax)}{2a}.Final Answer:
\boxed{ L^{-1}\left\{\frac{p^2}{(p^2+a^2)^2}\right\}(x) = \frac12\left[x\cos(ax)+\frac{\sin(ax)}{a}\right] }.HPAS 2017 Maths Optional Paper-2 Question 8(a)
Find the path on which a particle, in the absence of friction, will slide from one fixed point to another point not in the same vertical line in the shortest time under the action of gravity.
Solution:
Problem setup
This is the classical brachistochrone problem. We seek the curve along which a particle slides, without friction, between two fixed points in the least time under uniform gravity.
Take the initial point as the origin. Let the x-axis be horizontal and let y be measured vertically downward. Then gravity acts in the positive y-direction.
Step 1: Express the speed using conservation of energy
If the particle starts from rest at y=0, then after descending a vertical distance y, the loss of potential energy equals the gain of kinetic energy:
mgy=\frac12mv^2.Hence
v=\sqrt{2gy}.Step 2: Write the time functional
For an element of arc length ds,
dt=\frac{ds}{v}.Since
ds=\sqrt{dx^2+dy^2} =\sqrt{1+(y')^2}\,dx,where y'=dy/dx, the total time is
T=\int dt = \frac1{\sqrt{2g}} \int \sqrt{\frac{1+(y')^2}{y}}\,dx.Thus, apart from the constant factor 1/\sqrt{2g}, we have to extremize
\int F(y,y')\,dx, \qquad F(y,y')=\sqrt{\frac{1+(y')^2}{y}}.Step 3: Apply Beltrami's identity
Because F does not contain x explicitly, the Euler-Lagrange equation has the first integral
F-y'\frac{\partial F}{\partial y'}=C.Now
F=\frac{\sqrt{1+(y')^2}}{\sqrt y}.Also,
\frac{\partial F}{\partial y'} = \frac{y'}{\sqrt y\sqrt{1+(y')^2}}.Therefore
F-y'F_{y'} = \frac{\sqrt{1+(y')^2}}{\sqrt y} - \frac{(y')^2}{\sqrt y\sqrt{1+(y')^2}}.Taking the common denominator,
F-y'F_{y'} = \frac{1+(y')^2-(y')^2} {\sqrt y\sqrt{1+(y')^2}} = \frac1{\sqrt{y(1+(y')^2)}}.Hence
\frac1{\sqrt{y(1+(y')^2)}}=C.Choose the positive constant in the form
C=\frac1{\sqrt{2a}},where a>0. Then
y(1+(y')^2)=2a.Thus
(y')^2=\frac{2a-y}{y}. \tag{1}Step 4: Introduce a cycloidal parameter
Set
y=a(1-\cos\theta). \tag{2}Then
2a-y = 2a-a(1-\cos\theta) = a(1+\cos\theta).From (1),
\left(\frac{dy}{dx}\right)^2 = \frac{1+\cos\theta}{1-\cos\theta}.Using
1+\cos\theta=2\cos^2\frac\theta2,\qquad 1-\cos\theta=2\sin^2\frac\theta2,we get
\frac{dy}{dx}=\cot\frac\theta2for the descending branch. Hence
\frac{dx}{dy}=\tan\frac\theta2.Differentiate (2):
dy=a\sin\theta\,d\theta.Therefore
dx = \tan\frac\theta2\,dy = a\sin\theta\tan\frac\theta2\,d\theta.Now
\sin\theta\tan\frac\theta2 = 2\sin\frac\theta2\cos\frac\theta2 \cdot \frac{\sin(\theta/2)}{\cos(\theta/2)} = 2\sin^2\frac\theta2 = 1-\cos\theta.Hence
dx=a(1-\cos\theta)\,d\theta.Integrating,
x=a(\theta-\sin\theta)+C_1.Taking the initial point at (0,0) and \theta=0 gives C_1=0.
Thus the required curve is represented parametrically by
x=a(\theta-\sin\theta),\qquad y=a(1-\cos\theta).These are the parametric equations of a cycloid. The constant a and the terminal value of \theta are fixed by the coordinates of the second prescribed point.
Final Answer:
The curve of quickest descent is an arc of an inverted cycloid:
\boxed{ x=a(\theta-\sin\theta),\qquad y=a(1-\cos\theta) }.HPAS 2017 Maths Optional Paper-2 Question 8(b)
Find a root of the equation x \log_{10}x - 1.2 = 0 correct to four places of decimals.
Solution:
Equation
x\log_{10}x-1.2=0.We use the Newton-Raphson method to obtain the root correct to four decimal places.
Newton-Raphson formula
For f(x)=0,
x_{n+1} = x_n-\frac{f(x_n)}{f'(x_n)}.Here
f(x)=x\log_{10}x-1.2.Since
\log_{10}x=\frac{\ln x}{\ln10},we get
\frac{d}{dx}\left[x\log_{10}x\right] = \log_{10}x+\frac1{\ln10}.Therefore
f'(x) = \log_{10}x+\frac1{\ln10}.Step 1: Locate the positive root approximately
At x=2,
f(2)=2\log_{10}2-1.2 \approx2(0.30103)-1.2 =-0.59794<0.At x=3,
f(3)=3\log_{10}3-1.2 \approx3(0.477121)-1.2 =0.231363>0.Thus a root lies between 2 and 3. We choose x_0=2.7.
Step 2: First Newton iteration
For x_0=2.7,
f(2.7)\approx-0.0353178368,and
f'(2.7) = \log_{10}(2.7)+\frac1{\ln10} \approx0.8656582461.Hence
x_1 = 2.7-\frac{-0.0353178368}{0.8656582461} \approx2.7407988221.Step 3: Second Newton iteration
At x_1=2.7407988221,
f(x_1)\approx0.0001332015,and
f'(x_1)\approx0.8721716409.Therefore
x_2 = 2.7407988221 - \frac{0.0001332015}{0.8721716409} \approx2.7406460981.Step 4: Third Newton iteration
At x_2=2.7406460981,
f(x_2)\approx1.85\times10^{-9},and
f'(x_2)\approx0.8721474403.Thus
x_3 = 2.7406460981 - \frac{1.85\times10^{-9}}{0.8721474403} \approx2.7406460960.The successive values now agree to considerably more than four decimal places.
Final Answer:
\boxed{x\approx2.7406}correct to four decimal places.