Write down the general term in the expansion in powers of \(x\) of \((1-x^6)^{-2}\,\).
Find the coefficient of \(x^{24}\) in
the expansion in powers of \(x\) of
\[
(1-x^6)^{-2} (1-x^3)^{-1}\,.\]
Obtain also, and simplify, formulae for the
coefficient of \(x^n\) in the different
cases that arise.
Show that the coefficient of \(x^{24}\)
in the expansion in powers of \(x\) of
\[
(1-x^6)^{-2} (1-x^3)^{-1} (1-x)^{-1}\,\] is \(55\),
and find the coefficients of
\(x^{25}\) and \(x^{66}\).
\(\,\) \begin{align*}
&& f(x) &= (1-x^6)^{-2}(1-x^3)^{-1} \\
&&&= \left ( \sum_{n=0}^{\infty} (n+1)x^{6n} \right) \left ( \sum_{n=0}^{\infty} x^{3n} \right) \\
[x^{24}]: && c_{24} &= 1 + 2+ 3+4+5 = 15
\end{align*}
Clearly \(n\) must be a multiple of \(3\).
If \(n = 6k\) then we have \(1 + 2 + \cdots + (k+1) = \frac{(k+1)(k+2)}{2}\)
If \(n = 6k+3\) then we have \(1 + 2 + \cdots + (k+1) = \frac{(k+1)(k+2)}{2}\) the same way, we just must always get one extra \(x^3\) term from the second expansion.
We can obtain \(x^{24}\) from the product of \((1-x^6)^{-2}(1-x^3)^{-1}\) and \((1-x)^{-1}\) in the following ways:
\begin{array}{c|c|c}
(1-x^6)^{-2}(1-x^3)^{-1} & (1-x)^{-1} & \text{product} \\ \hline
15x^{24} & x^0 & 15x^{24} \\
10x^{21} & x^3 & 10x^{24} \\
10x^{18} & x^6 & 10x^{24} \\
6x^{15} & x^9 & 6x^{24} \\
6x^{12} & x^{12} & 6x^{24} \\
3x^{9} & x^{15} & 3x^{24} \\
3x^{6} & x^{18} & 3x^{24} \\
x^{3} & x^{21} & x^{24} \\
x^{0} & x^{24}& x^{24}
\end{array}
So the total is \(55\).
Similarly for \(25\) we can only obtain this in the same ways but also taking an extra power of \(x\) from the geometric series, ie \(55\)
For \(66\) we obtain by similar reasoning that it is:
\(\frac{13\cdot12}{2} + 2 \left (1 + 3 + \cdots + \frac{13 \cdot 12}{2} \right) = \frac{13\cdot12}{2} + 2 \binom{14}{3} = \frac{13 \cdot 12}2 ( 1 + \frac{30}{3}) = 11 \cdot 6 \cdot 13 = 858\)
Given that
\[
\mathrm{f}(x)=\ln(1+\mathrm{e}^{x}),
\]
prove that \(\ln[\mathrm{f}'(x)]=x-\mathrm{f}(x)\) and that \(\mathrm{f}''(x)=\mathrm{f}'(x)-[\mathrm{f}'(x)]^{2}.\)
Hence, or otherwise, expand \(\mathrm{f}(x)\) as a series in powers of \(x\) up to the term in \(x^{4}.\)
Given that
\[
\mathrm{g}(x)=\frac{1}{\sinh x\cosh2x},
\]
explain why \(\mathrm{g}(x)\) can not be expanded as a series of non-negative powers of \(x\) but that \(x\mathrm{g}(x)\) can be so expanded. Explain also why this latter expansion will consist of even powers of \(x\) only. Expand \(x\mathrm{g}(x)\) as a series as far as the term in \(x^{4}.\)
As \(x \to 0\), \(g(x) \to \infty\) therefore there can be no power series about \(0\). But as \(x \to 0, x g(x) \not \to \infty\) as \(\frac{x}{\sinh x}\) is well behaved.
We can also notice that \(x g(x)\) is an even function, since \(\cosh x\) is even and \(\frac{x}{\sinh x}\) is even, therefore the power series will consist of even powers of \(x\)
\begin{align*}
\lim_{x \to 0} \frac{x}{\sinh x \cosh 2 x} &= \lim_{x \to 0} \frac{x}{\sinh x} \cdot \lim_{x \to 0} \frac{1}{\cosh2 x} \\
&= 1
\end{align*}
Notice that
\begin{align*}
\frac{x}{\sinh x \cosh 2 x} &= \frac{4x}{(e^x - e^{-x})(e^{2x}+e^{-2x})} \\
&= \frac{4x}{(2x + \frac{x^3}{3} + \cdots)(2 + 4x^2 + \frac43 x^4 + \cdots )} \\
&= \frac{1}{1+\frac{x^2}{6}+\frac{x^4}{5!} + \cdots } \frac{1}{1 + 2x^2 + \frac23 x^4 + \cdots } \\
&= \left (1-(\frac{x^2}{6} + \frac{x^4}{5!})+ (\frac{x^2}{6} )^2 + O(x^6)\right) \left (1-(2x^2+\frac23 x^4)+ (2x^2)^2 + O(x^6)\right) \\
&= \left (1 - \frac16 x^2 + \frac{7}{360} x^4 + O(x^6) \right) \left (1 - 2x^2+ \frac{10}3x^4 + O(x^6) \right) \\
&= 1 - \frac{13}{6} x^2 + \frac{1327}{360}x^4 + O(x^6)
\end{align*}