2 problems found
In this question, you may ignore questions of convergence. Let \(y= \dfrac {\arcsin x}{\sqrt{1-x^2}}\,\). Show that \[ (1-x^2)\frac {\d y}{\d x} -xy -1 =0 \] and prove that, for any positive integer \(n\), \[ (1-x^2) \frac{\d^{n+2}y}{\d x^{n+2}} - (2n+3)x \frac{\d ^{n+1}y}{\d x ^{n+1}} -(n+1)^2 \frac{\d^ny}{\d x^n}=0\, . \] Hence obtain the Maclaurin series for \( \dfrac {\arcsin x}{\sqrt{1-x^2}}\,\), giving the general term for odd and for even powers of \(x\). Evaluate the infinite sum \[ 1 + \frac 1 {3!} + \frac{2^2}{5!} + \frac {2^2\times 3^2}{7!}+\cdots + \frac {2^2\times 3^2\times \cdots \times n^2}{(2n+1)!} + \cdots\,. \]
Solution: \begin{align*} && y &= \frac{\arcsin x}{\sqrt{1-x^2}} \\ && \frac{\d y}{\d x} &= \frac{(1-x^2)^{-1/2} \cdot (1-x^2)^{1/2}-\arcsin x \cdot (-x)(1-x^2)^{-1/2}}{1-x^2} \\ &&&= \frac{1+ xy}{1-x^2} \\ \Rightarrow && 0 &= (1-x^2) \frac{\d y}{\d x} -xy-1\\ \\ \frac{\d^n}{\d x^{n+1}}: && 0 &= \left ( (1-x^2) y' \right)^{(n+1)} - (xy)^{(n+1)} \\ \Rightarrow && 0 &= (1-x^2)y^{(n+2)} + \binom{n+1}{1}(1-x^2)^{(1)}y^{(n+1)}+\binom{n+1}{2} (1-x^2)^{(2)}y^{(n)} - (xy^{(n+1)} +\binom{n+1}{1} y^{(n)} ) \\ &&&= (1-x^2)y^{(n+2)}+\left ( (n+1)\cdot(-2x)-x \right)y^{(n+1)} + \left ( \frac{(n+1)n}{2} \cdot (-2)-(n+1) \right)y^{(n)} \\ &&&= (1-x^2)y^{(n+2)}-\left ( 2n+3 \right)xy^{(n+1)} - \left ( (n+1)n+(n+1)\right)y^{(n)} \\ &&&= (1-x^2)y^{(n+2)}-\left ( 2n+3 \right)xy^{(n+1)} - \left ( n+1\right)^2y^{(n)} \\ \end{align*} Since \(y(0) = 0, y'(0) = 1\) we can look at the recursion: \(y^{(n+2)} - (n+1)^2y^{(n)}\) for larger terms, ie \(y^{(2k)}(0) = 0\) \(y^{(1)}(0) = 1, y^{(3)}(0) = (1+1)^2 \cdot 1 = 2^2, y^{(5)}(0) = (3+1)^2 y^{(3)} = 4^2 \cdot 2^2\) and \(y^{(2k+1)}(0) = (2k)^2 \cdot (2k-2)^2 \cdots 2^2 \cdot 1^2 = 2^{2k} \cdot (k!)^2\). Therefore \begin{align*} && \frac{\arcsin x}{\sqrt{1-x^2}} &= \sum_{k=0}^{\infty} \frac{2^{2k} \cdot (k!)^2}{(2k+1)!} x^{2k+1} \\ \\ \Rightarrow && \frac{\arcsin \frac12}{\sqrt{1-\left (\frac12 \right)^2}} &= \sum_{k=0}^{\infty} \frac{2^{2k} \cdot (k!)^2}{(2k+1)!} 2^{-2k-1}\\ &&&= \frac12 \sum_{k=0}^{\infty} \frac{ (k!)^2}{(2k+1)!} \\ &&&= \frac12 \left ( 1 + \frac1{3!} + \frac{2^2}{5!} + \cdots+ \right) \\ \Rightarrow&& S &= 2 \frac{2\frac{\pi}{6}}{\sqrt{3}} = \frac{2\pi}{3\sqrt{6}} \end{align*}
Show that \(y=\sin^{2}(m\sin^{-1}x)\) satisfies the differential equation \[ (1-x^{2})y^{(2)}=xy^{(1)}+2m^{2}(1-2y), \] and deduce that, for all \(n\geqslant1,\) \[ (1-x^{2})y^{(n+2)}=(2n+1)xy^{(n+1)}+(n^{2}-4m^{2})y^{(n)}, \] where \(y^{(n)}\) denotes the \(n\)th derivative of \(y\). Derive the Maclaurin series for \(y\), making it clear what the general term is.
Solution: \begin{align*} && y &= \sin^2 (m \sin^{-1} x) \\ \Rightarrow && y' &= 2 \sin (m \sin^{-1} x) \cdot \cos (m \sin^{-1} x) \cdot m \cdot \frac1{\sqrt{1-x^2}} \\ \Rightarrow && y'' &= 2 \cos^2(m \sin^{-1} x) \cdot m^2 \cdot \frac{1}{1-x^2} + \\ &&&\quad\quad-2\sin^2(m \sin^{-1} x) m^2 \frac{1}{1-x^2} + \\ &&&\quad\quad\quad-\sin(m \sin^{-1} x) \cdot \cos(m \sin^{-1} x) \cdot m \cdot (1-x^2)^{-\frac32} \cdot (-2x) \\ \Rightarrow && (1-x^2)y^{(2)} &= 2m^2-4m^2y+xy' \\ &&&= xy^{(1)} + 2m^2(1-2y) \\ \\ \Rightarrow && (1-x^2)y^{(n+2)}-2nxy^{(n+1)}-2\binom{n}{2}y^{(n)} &= xy^{(n+1)}+ny^{(n)} -4m^2y^{(n)} \\ \Rightarrow && (1-x^2)y^{(n+2)} &= (2n+1)xy^{(n+1)}+(n(n-1)+n-4m^2)y^{(n)} \\ &&&= (2n+1)xy^{(n+1)}+(n^2-4m^2)y^{(n)} \\ \end{align*} \begin{align*} && y(0) &= \sin^2(m \sin^{-1} 0) \\ &&&= \sin^2 0 = 0 \\ \\ && y'(0) &= 0 \\ && (1-0^2)y^{(2)}(0) &= 2m^2(1-2y(0)) \\ \Rightarrow && y^{(2)}(0) &= 2m^2 \\ \\ && y^{(n+2)} (0) &= (2n+1) \cdot 0 \cdot y^{(n+1)} +(n^2-4m^2)y^{(n)}(0) \\ &&&= (n^2-4m^2)y^{(n)}(0) \\ \\ && y^{(2)}(0) &= 2m^2 \\ && y^{(4)}(0) &= (4-4m^2) \cdot 2m^2 \\ &&&= -8m(m+1)m(m-1) \\ && y^{(6)}(0) &= 32m(m+2)(m+1)m(m-1)(m-2) \\ && y^{(2k)}(0) &= (-1)^{k+1}2^{2k-1}m (m+k)\cdots(m-k) \text{ if }k < m \\ \\ && y &= m^2x^2 -2m\binom{m+1}{3} x^4 + \frac{16}{3}m\binom{m+2}{5}x^6 - \cdots \\ &&&+ (-1)^{k}\frac{2^{2k}}{k+1} m \binom{m+k}{2k+1}x^{2k+2}+\cdots \\ &&&= mx^2\sum_{k=0}^{m-1} \frac{(-1)^k2^{2k}}{k+1}\binom{m+k}{2k+1}x^{2k} \end{align*}