20 problems found
In this question, you should ignore issues of convergence.
Solution:
In this question, you should ignore issues of convergence.
Solution:
Solution:
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*}
In this question, you may assume that the infinite series \[ \ln(1+x) = x-\frac{x^2}2 + \frac{x^3}{3} -\frac {x^4}4 +\cdots + (-1)^{n+1} \frac {x^n}{n} + \cdots \] is valid for \(\vert x \vert <1\).
Solution:
Solution:
The function \(\f(t)\) is defined, for \(t\ne0\), by \[ \f(t) = \frac t {\e^t-1}\,. \] \begin{questionparts} \item By expanding \(\e^t\), show that \(\displaystyle \lim _{t\to0} \f(t) = 1\,\). Find \(\f'(t)\) and evaluate \(\displaystyle \lim _{t\to0} \f'(t)\,\). \item Show that \(\f(t) +\frac12 t\) is an even function. [{\bf Note:} A function \(\g(t)\) is said to be {\em even} if \(\g(t) \equiv \g(-t)\).] \item Show with the aid of a sketch that \( \e^t( 1-t)\le 1\,\) and deduce that \(\f'(t)\ne 0\) for \(t\ne0\). \end{questionpart} Sketch the graph of \(\f(t)\).
Solution:
Solution:
The function \(f\) satisfies the identity \begin{equation} f(x) +f(y) \equiv f(x+y) \tag{\(*\)} \end{equation} for all \(x\) and \(y\). Show that \(2\f(x)\equiv \f(2x)\) and deduce that \(f''(0)=0\). By considering the Maclaurin series for \(\f(x)\), find the most general function that satisfies \((*)\). [{\it Do not consider issues of existence or convergence of Maclaurin series in this question.}]
Solution: \begin{align*} &&2f(x) &\equiv f(x) + f(x) \\ &&&\equiv f(x+x) \\ &&&\equiv f(2x) \\ \\ \Rightarrow && 2f(0) &= f(0) \\ \Rightarrow && f(0) &= 0 \\ && f''(0) &= \lim_{h \to 0} \frac{f(2h)-2f(0)+f(-2h)}{h^2} \\ &&&= \lim_{h \to 0} \frac{f(2h)+f(-2h)}{h^2} \\ &&&= \lim_{h \to 0} \frac{f(0)}{h^2} \\ &&&= 0 \\ \Rightarrow && f''(0) &= 0 \end{align*} If \(f(x)\) satisfies the equation, then \(f'(x)\) satisfies the equation. In particular this means that \(f^{(n)}(0) = 0\) for all \(n \geq 2\). Therefore the only non-zero term in the Maclaurin series is \(x^1\). Therefore \(f(x) = cx\)
The number of printing errors on any page of a large book of \(N\) pages is modelled by a Poisson variate with parameter \(\lambda\) and is statistically independent of the number of printing errors on any other page. The number of pages in a random sample of \(n\) pages (where \(n\) is much smaller than \(N\) and \(n\ge2\)) which contain fewer than two errors is denoted by \(Y\). Show that \(\P(Y=k) = \binom n k p^kq^{n-k}\) where \(p=(1+\lambda)e^{-\lambda}\) and \(q=1-p\,\). Show also that, if \(\lambda\) is sufficiently small,
Solution: First notice that the the probability a page contains fewer than two errors is \(\mathbb{P}(X < 2)\) where \(X \sim Po(\lambda)\), ie \(\mathbb{P}(X<2) = e^{-\lambda} + \lambda e^{-\lambda} = (1+\lambda)e^{-\lambda}\). Therefore the number of pages \(Y\) with fewer than two errors out of our sample of \(n\) is \(Bin(n, p)\) where \(p\) is as before. ie \(\mathbb{P}(Y = k) = \binom{n}{k} p^kq^{n-k}\).
Given that \(y = \ln ( x + \sqrt{x^2 + 1})\), show that \( \displaystyle \frac{\d y}{\d x} = \frac1 {\sqrt{x^2 + 1} }\;\). Prove by induction that, for \(n \ge 0\,\), \[ \l x^2 + 1 \r y^{\l n + 2 \r} + \l 2n + 1 \r x y^{\l n + 1 \r} + n^2 y^{\l n \r} = 0\;, \] where \(\displaystyle y^{(n)} = \frac{\d^n y}{\d x^n}\) and \(y^{(0)} =y\,\). Using this result in the case \(x = 0\,\), or otherwise, show that the Maclaurin series for \(y\) begins \[ x - {x^3 \over 6} +{3 x^5 \over 40} \] and find the next non-zero term.
Solution: \begin{align*} && y & = \ln ( x + \sqrt{x^2+1}) \\ \Rightarrow && \frac{\d y}{\d x} &= \frac{1}{x+\sqrt{x^2+1}} \cdot \frac{\d }{\d x} \left ( x + \sqrt{x^2+1} \right) \\ &&&= \frac{1}{x+\sqrt{x^2+1}} \left (1 + \frac12 \frac{2x}{\sqrt{x^2+1}} \right) \\ &&&= \frac{1}{x+\sqrt{x^2+1}} \left ( \frac{\sqrt{x^2+1} + x}{\sqrt{x^2+1}}\right) \\ &&&= \frac{1}{\sqrt{x^2+1}} \end{align*} Note that \(\displaystyle y^{(2)} = - \frac12 \frac{2x}{(x^2+1)^{3/2}} = - \frac{x}{(x^2+1)^{3/2}}\), and in particular \((x^2+1)y^{(2)} + xy^{(1)} = 0\). Now applying Leibnitz formula: \begin{align*} 0 &= \left ( (x^2+1)y^{(2)} + xy^{(1)} \right )^{(n)} \\ &= \left ( (x^2+1)y^{(2)}\right )^{(n)} + \left (xy^{(1)} \right )^{(n)} \\ &= (x^2+1)y^{(n+2)} +n2xy^{(n+1)} + \binom{n}{2}2y^{(n)} + xy^{(n+1)} + n y^{(n)} \\ &= (x^2+1)y^{(n+2)} + (2n+1)xy^{(n+1)} + (n^2-n+n)y^{(n)} \\ &= (x^2+1)y^{(n+2)} + (2n+1)xy^{(n+1)} + n^2y^{(n)} \end{align*} as required. When \(x = 0\): \begin{align*} && y(0) &= \ln(0 + \sqrt{0^2+1}) \\ &&&= \ln 1 = 0 \\ && y'(0) &= \frac{1}{\sqrt{0^2+1}} = 1 \\ && y^{(n+2)} &= -n^2 y^{(n)} \\ && y^{(2k)} &= 0 \\ && y^{(3)} &= -1 \\ && y^{(5)} &= 3^2 \\ && y^{(7)} &= - 5^2 \cdot 3^2 \\ \end{align*} Therefore the Maclaurin series about \(x = 0\) is \begin{align*} y &= x - \frac{1}{3!} x^3 + \frac{3^2}{5!} x^5 - \frac{3^2 \cdot 5^2}{7!} x^7 + \cdots \\ &= x - \frac{1}{6} x^3 + \frac{3}{1 \cdot 2 \cdot 4 \cdot 5} x^5 - \frac{5}{1 \cdot 2 \cdot 4 \cdot 2 \cdot 7} x^7 + \cdots \\ &= x - \frac{1}{6}x^3 + \frac{3}{40} x^5 - \frac{5}{56} x^7 + \cdots \end{align*}
The exponential of a square matrix \({\bf A}\) is defined to be $$ \exp ({\bf A}) = \sum_{r=0}^\infty {1\over r!} {\bf A}^r \,, $$ where \({\bf A}^0={\bf I}\) and \(\bf I\) is the identity matrix. Let $$ {\bf M}=\left(\begin{array}{cc} 0 & -1 \\ 1 & \phantom{-} 0 \end{array} \right) \,. $$ Show that \({\bf M}^2=-{\bf I}\) and hence express \(\exp({\theta {\bf M}})\) as a single \(2\times 2\) matrix, where \(\theta\) is a real number. Explain the geometrical significance of \(\exp({\theta {\bf M}})\). Let $$ {\bf N}=\left(\begin{array}{rr} 0 & 1 \\ 0 & 0 \end{array}\right) \,. $$ Express similarly \(\exp({s{\bf N}})\), where \(s\) is a real number, and explain the geometrical significance of \(\exp({s{\bf N}})\). For which values of \(\theta\) does $$ \exp({s{\bf N}})\; \exp({\theta {\bf M}})\, = \, \exp({\theta {\bf M}})\;\exp({s{\bf N}}) $$ for all \(s\)? Interpret this fact geometrically.
Solution: \begin{align*} \mathbf{M}^2 &= \begin{pmatrix} 0 & - 1 \\ 1 & 0 \end{pmatrix}^2 \\ &= \begin{pmatrix} 0 \cdot 0 + (-1) \cdot 1 & 0 \cdot (-1) + (-1) \cdot 0 \\ 1 \cdot 0 + 0 \cdot 1 & 1 \cdot (-1) + 0 \cdot 0 \end{pmatrix} \\ &= \begin{pmatrix} -1 & 0 \\ 0 & -1\end{pmatrix} \\ &= - \mathbf{I} \end{align*} \begin{align*} \exp(\theta \mathbf{M}) &= \sum_{r=0}^\infty \frac1{r!} (\theta \mathbf{M})^r \\ &= \sum_{r=0}^\infty \frac{1}{r!} \theta^r \mathbf{M}^r \\ &= \cos \theta \mathbf{I} + \sin \theta \mathbf{M} \\ &= \begin{pmatrix} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{pmatrix} \end{align*} This is a rotation of \(\theta\) degrees about the origin. \begin{align*} && \mathbf{N}^2 &= \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}^2 \\ && &= \begin{pmatrix} 0 & 0 \\ 0 & 0 \end{pmatrix} \\ \Rightarrow && \exp(s\mathbf{N}) &= \sum_{r=0}^\infty \frac{1}{r!} (s\mathbf{N})^r \\ &&&= \mathbf{I} + s \mathbf{N} \\ &&&= \begin{pmatrix} 1 &s \\ 0 & 1 \end{pmatrix} \end{align*} This is a shear, leaving the \(y\)-axis invariant, sending \((1,1)\) to \((1+s, 1)\). Suppose those matrices commute, for all \(s\), ie \begin{align*} && \begin{pmatrix} 1 &s \\ 0 & 1 \end{pmatrix}\begin{pmatrix} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{pmatrix} &= \begin{pmatrix} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{pmatrix}\begin{pmatrix} 1 &s \\ 0 & 1 \end{pmatrix} \\ \Rightarrow && \begin{pmatrix} \cos \theta - s \sin \theta & -\sin \theta + s \cos \theta \\ \sin \theta & \cos \theta \end{pmatrix} &= \begin{pmatrix} \cos \theta & s \cos \theta - \sin \theta \\ \sin \theta & s \sin \theta + \cos \theta \end{pmatrix} \\ \Rightarrow && \sin \theta &= 0 \\ \Rightarrow && \theta &=n \pi, n \in \mathbb{Z} \end{align*} Clearly it doesn't matter when we do nothing. If we are rotating by \(\pi\) then it also doesn't matter which order we do it in as the stretch happens in both directions equally.
Sketch the graph of \({\rm f}(s)={ \e}^s(s-3)+3\) for \(0\le s < \infty\). Taking \({\e\approx 2.7}\), find the smallest positive integer, \(m\), such that \({\rm f}(m) > 0\). Now let $$ {\rm b}(x) = {x^3 \over \e^{x/T} -1} \, $$ where \(T\) is a positive constant. Show that \({\rm b}(x)\) has a single turning point in \(0 < x < \infty\). By considering the behaviour for small \(x\) and for large \(x\), sketch \({\rm b}(x)\) for \(0\le x < \infty\). Let $$ \int_0^\infty {\rm b}(x)\,\d x =B, $$ which may be assumed to be finite. Show that \(B = K T^n\) where \(K\) is a constant, and \(n\) is an integer which you should determine. Given that \(\displaystyle{B \approx 2 \int_0^{Tm} {\rm b}(x) {\,\rm d }x}\), use your graph of \({\rm b}(x)\) to find a rough estimate for \(K\).
Solution:
The function \(\mathrm{f}\) is given by \(\mathrm{f}(x)=\sin^{-1}x\) for \(-1 < x < 1.\) Prove that \[ (1-x^{2})\mathrm{f}''(x)-x\mathrm{f}'(x)=0. \] Prove also that \[ (1-x^{2})\mathrm{f}^{(n+2)}(x)-(2n+1)x\mathrm{f}^{(n+1)}(x)-n^{2}\mathrm{f}^{(n)}(x)=0, \] for all \(n>0\), where \(\mathrm{f}^{(n)}\) denotes the \(n\)th derivative of \(\mathrm{f}\). Hence express \(\mathrm{f}(x)\) as a Maclaurin series. The function \(\mathrm{g}\) is given by \[ \mathrm{g}(x)=\ln\sqrt{\frac{1+x}{1-x}}, \] for \(-1 < x < 1.\) Write down a power series expression for \(\mathrm{g}(x),\) and show that the coefficient of \(x^{2n+1}\) is greater than that in the expansion of \(\mathrm{f},\) for each \(n > 0\).