7 problems found
Let \(n\) be a positive integer. The polynomial \(\mathrm{p}\) is defined by the identity \[\mathrm{p}(\cos\theta) \equiv \cos\big((2n+1)\theta\big) + 1\,.\]
This question concerns solutions of the differential equation \[ (1-x^2) \left(\frac{\d y}{\d x}\right)^2 + k^2 y^2 = k^2\, \tag{\(*\)} \] where \(k\) is a positive integer. For each value of \(k\), let \(y_k(x)\) be the solution of \((*)\) that satisfies \(y_k(1)=1\); you may assume that there is only one such solution for each value of \(k\).
Solution:
The functions \({\rm T}_n(x)\), for \(n=0\), 1, 2, \(\ldots\,\), satisfy the recurrence relation \[ {\rm T}_{n+1}(x) -2x {\rm T}_n(x) + {\rm T}_{n-1}(x) =0\, \ \ \ \ \ \ \ (n\ge1). \tag{\(*\)} \] Show by induction that \[ \left({\rm T}_n(x)\right)^2 - {\rm T}_{n-1}(x) {\rm T}_{n+1}(x) = \f(x)\,, \] where \(\f(x) = \left({\rm T}_1(x)\right)^2 - {\rm T}_0(x){\rm T}_2(x)\,\). In the case \(\f(x)\equiv 0\), determine (with proof) an expression for \({\rm T}_n(x)\) in terms of \({\rm T}_0(x)\) (assumed to be non-zero) and \({\rm r}(x)\), where \({\rm r}(x) = {\rm T}_1(x)/ {\rm T}_0(x)\). Find the two possible expressions for \({\rm r}(x)\) in terms of \(x\). %Conjecture (without proof) the general form of the solution of \((*)\).
Suppose that \(y_n\) satisfies the equations \[(1-x^2)\frac{{\rm d}^2y_n}{{\rm d}x^2}-x\frac{{\rm d}y_n}{{\rm d}x}+n^2y_n=0,\] \[y_n(1)=1,\quad y_n(x)=(-1)^ny_n(-x).\] If \(x=\cos\theta\), show that \[\frac{{\rm d}^2y_n}{{\rm d}\theta^2}+n^2y_n=0,\] and hence obtain \(y_n\) as a function of \(\theta\). Deduce that for \(|x|\leqslant1\) \[y_0=1,\quad y_1=x,\] \[y_{n+1}-2xy_n+y_{n-1}=0.\]
By using de Moivre's theorem, or otherwise, show that
Solution: Given that \(e^{i \theta} = \cos \theta + i \sin \theta\) we must have that
Given that \(y=\cosh(n\cosh^{-1}x),\) for \(x\geqslant1,\) prove that \[ y=\frac{(x+\sqrt{x^{2}-1})^{n}+(x-\sqrt{x^{2}-1})^{n}}{2}. \] Explain why, when \(n=2k+1\) and \(k\in\mathbb{Z}^{+},\) \(y\) can also be expressed as the polynomial \[ a_{0}x+a_{1}x^{3}+a_{2}x^{5}+\cdots+a_{k}x^{2k+1}. \] Find \(a_{0},\) and show that
Solution: Recall, \(\cosh^{-1} x = \ln (x + \sqrt{x^2-1})\) \begin{align*} \cosh(n \cosh^{-1} x) &= \frac12 \left ( \exp(n \cosh^{-1} x) + \exp(-n\cosh^{-1}x) \right) \\ &= \frac12 \left ((x + \sqrt{x^2-1})^n + (x + \sqrt{x^2-1})^{-n} \right) \\ &= \frac12 \left ((x + \sqrt{x^2-1})^n + (x - \sqrt{x^2-1})^{n} \right) \\ \end{align*} When \(n = 2k+1\) \begin{align*} \cosh(n \cosh^{-1} x)&= \frac12 \left ((x + \sqrt{x^2-1})^n + (x - \sqrt{x^2-1})^{n} \right) \\ &= \frac12 \left (\sum_{i=0}^{2k+1}\binom{2k+1}{i}x^{2k+1-i}\left ( (\sqrt{x^2-1}^{i} + (-\sqrt{x^2-1})^{i} \right) \right) \\ &=\sum_{i=0}^{k} \binom{2k+1}{2i}x^{2k+1-2i}(x^2-1)^i \\ &=\sum_{i=0}^{k} \binom{2k+1}{2i}x^{2(k-i)+1}(x^2-1)^i \\ \end{align*} Which is clearly a polynomial with only odd degree terms. \begin{align*} a_0 &= \frac{\d y}{\d x} \vert_{x=0} \\ &= \sum_{i=0}^k\binom{2k+1}{2i} \left ( (2(k-i)+1)x^{2(k-i)}(x^2-1)^i + 2i\cdot x^{2(k-i)+2}(x^2-1) \right) \\ &= \binom{2k+1}{2k} (-1)^{k} \\ &= (-1)^k(2k+1) \end{align*}