Question Number 143381 by Mathspace last updated on 13/Jun/21
$${let}\:{f}\left({x}\right)={arctan}\left(\sqrt{\mathrm{2}}{x}^{\mathrm{2}} \right) \\ $$$$\left.\mathrm{1}\right)\:{calculate}\:{f}^{\left({n}\right)} \left({x}\right){and}\:{f}^{\left({n}\right)} \left(\mathrm{0}\right) \\ $$$$\left.\mathrm{2}\right){if}\:{f}\left({x}\right)=\Sigma{a}_{{n}} {x}^{{n}} \:\:{find}\:{the}\: \\ $$$${sequence}\:{a}_{{n}} \\ $$
Answered by TheHoneyCat last updated on 13/Jun/21
$$ \\ $$$$\mathrm{not}\:\mathrm{in}\:\mathrm{the}\:\mathrm{right}\:\mathrm{order},\:\mathrm{to}\:\mathrm{make}\:\mathrm{it}\:\mathrm{more}\:\mathrm{simple} \\ $$$$\left.\forall{x}\in\right]−\mathrm{1},\mathrm{1}\left[\right. \\ $$$$\frac{\mathrm{1}}{\mathrm{1}−{x}}\:=\:\underset{{n}=\mathrm{0}} {\overset{\infty} {\sum}}{x}^{{n}} \\ $$$${thus}:\:\frac{\mathrm{1}}{\mathrm{1}+{x}^{\mathrm{2}} }=\underset{{n}=\mathrm{0}} {\overset{\infty} {\sum}}\left(−\mathrm{1}\right)^{{n}} {x}^{\mathrm{2}{n}} \\ $$$${knowing}\:\:{that}\:\mathrm{arctan}'\:=\:{x}\rightarrow\frac{\mathrm{1}}{\mathrm{1}+{x}^{\mathrm{2}} }\:{and}\:{that}\:\mathrm{arctan}\left(\mathrm{0}\right)=\mathrm{0} \\ $$$$\mathrm{arctan}\left({x}\right)=\underset{{n}=\mathrm{0}} {\overset{\infty} {\sum}}\frac{\left(−\mathrm{1}\right)^{{n}} }{\mathrm{2}{n}+\mathrm{1}}{x}^{\mathrm{2}{n}+\mathrm{1}} \\ $$$${and}\:{therefor}\:: \\ $$$$\mathrm{arctan}\left(\sqrt{\mathrm{2}}{x}^{\mathrm{2}} \right)=\mathrm{2}\sqrt{\mathrm{2}}\underset{{n}=\mathrm{0}} {\overset{\infty} {\sum}}\frac{\left(−\mathrm{1}\right)^{{n}} }{\mathrm{2}{n}+\mathrm{1}}{x}^{\mathrm{4}{n}+\mathrm{2}} \: \\ $$$$ \\ $$$${so}\:\forall{n}\in\mathbb{N}\:\mathrm{if}\:{n}\equiv\mathrm{2}\left[\mathrm{4}\right]\:\:{a}_{{n}} =\frac{\left(−\mathrm{1}\right)^{\frac{{n}−\mathrm{2}}{\mathrm{4}}} }{\frac{{n}−\mathrm{2}}{\mathrm{2}}+\mathrm{1}} \\ $$$$\mathrm{otherwise}\:{a}_{{n}} =\mathrm{0} \\ $$$$ \\ $$$$\mathrm{and}\:\forall{n}\in\mathbb{N}\:{f}^{\left({n}\right)} \left(\mathrm{0}\right)={a}_{{n}} \\ $$$$ \\ $$$${as}\:{for}\:{f}^{\left({n}\right)} \left({x}\right)\:{I}\:{am}\:{quite}\:{not}\:{courageous}\:{enought} \\ $$$${f}^{\left(\mathrm{0}\right)} \left({x}\right)\:=\frac{\mathrm{2}\sqrt{\mathrm{2}}{x}}{\mathrm{1}+\mathrm{2}{x}^{\mathrm{4}} } \\ $$$${from}\:{that}\:{point}\:{on},\:{one}\:{must}\:{use}\:{Leibnietz}'{s}\:{formula}\:{for}\:{the}\:{derivation}\:{of}\:{a}\:{product} \\ $$$$\left({fg}\right)^{\left({n}\right)} =\underset{{k}=\mathrm{0}} {\overset{{n}} {\sum}}\begin{pmatrix}{{n}}\\{{k}}\end{pmatrix}{f}^{\left({n}−{k}\right)} {g}^{\left({k}\right)} \\ $$$${with}\:{f}:\:{x}\rightarrow\mathrm{2}\sqrt{\mathrm{2}}{x}\:{and}\:{g}:{x}\rightarrow\frac{\mathrm{1}}{\mathrm{1}+\mathrm{2}{x}^{\mathrm{2}} } \\ $$$$ \\ $$$$\mathrm{it}\:\mathrm{obviously}\:\mathrm{simplifies}\:\mathrm{due}\:\mathrm{to}\:\mathrm{f}''={x}\rightarrow\mathrm{0} \\ $$$$\mathrm{but}\:\mathrm{like}\:\mathrm{I}\:\mathrm{said},\:\mathrm{I}\:\mathrm{am}\:\mathrm{not}\:\mathrm{courrageous}\:\mathrm{enougth} \\ $$$$ \\ $$$$\mathrm{maybe}\:\mathrm{there}\:\mathrm{is}\:\mathrm{a}\:\mathrm{faster}\:\mathrm{method} \\ $$$$\left(\mathrm{for}\:\mathrm{instance},\:\:\mathrm{if}\:\mathrm{you}\:\mathrm{guess}\:\mathrm{a}\:\mathrm{solution},\:\mathrm{you}\:\mathrm{only}\:\mathrm{have}\:\mathrm{to}\:\mathrm{verify}\:\mathrm{it}\:\mathrm{with}\:\mathrm{a}\:\mathrm{recurence}\right) \\ $$$$\mathrm{good}\:\mathrm{luck}\:\mathrm{to}\:\mathrm{you}\:\mathrm{with}\:\mathrm{that}\:\mathrm{last}\:\mathrm{bit}. \\ $$
Answered by mathmax by abdo last updated on 14/Jun/21
$$\left.\mathrm{1}\right)\mathrm{f}\left(\mathrm{x}\right)=\mathrm{arctan}\left(\sqrt{\mathrm{2}}\mathrm{x}^{\mathrm{2}} \right)\Rightarrow\mathrm{f}^{'} \left(\mathrm{x}\right)=\frac{\mathrm{2}\sqrt{\mathrm{2}}\mathrm{x}}{\mathrm{1}+\mathrm{2x}^{\mathrm{4}} }=\frac{\mathrm{2}\sqrt{\mathrm{2}}\mathrm{x}}{\left(\sqrt{\mathrm{2}}\mathrm{x}^{\mathrm{2}} −\mathrm{i}\right)\left(\sqrt{\mathrm{2}}\mathrm{x}^{\mathrm{2}} +\mathrm{i}\right)} \\ $$$$=\frac{\mathrm{2}\sqrt{\mathrm{2}}\mathrm{x}}{\mathrm{2}\left(\mathrm{x}^{\mathrm{2}} −\frac{\mathrm{i}}{\:\sqrt{\mathrm{2}}}\right)\left(\mathrm{x}^{\mathrm{2}} +\frac{\mathrm{i}}{\:\sqrt{\mathrm{2}}}\right)}=\frac{\sqrt{\mathrm{2}}\mathrm{x}}{\left(\mathrm{x}−\frac{\mathrm{1}}{\:\sqrt{\sqrt{\mathrm{2}}}}\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{4}}} \right)\left(\mathrm{x}+\frac{\mathrm{1}}{\:\sqrt{\sqrt{\mathrm{2}}}}\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{4}}} \right)\left(\mathrm{x}−\frac{\mathrm{1}}{\:\sqrt{\sqrt{\mathrm{2}}}}\mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{4}}} \right)\left(\mathrm{x}+\frac{\mathrm{1}}{\:\sqrt{\sqrt{\mathrm{2}}}}\mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{4}}} \right)} \\ $$$$\left(\lambda=\frac{\mathrm{1}}{\:\sqrt{\sqrt{\mathrm{2}}}}\right)=\frac{\mathrm{a}}{\mathrm{x}−\lambda\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{4}}} }+\frac{\mathrm{b}}{\mathrm{x}+\lambda\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{4}}} }+\frac{\mathrm{c}}{\mathrm{x}−\lambda\mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{4}}} }\:+\frac{\mathrm{d}}{\mathrm{x}+\lambda\:\mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{4}}} } \\ $$$$\mathrm{a}=\frac{\lambda\sqrt{\mathrm{2}}\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{4}}} }{\mathrm{2}\lambda\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{4}}} \left(\lambda^{\mathrm{2}} \mathrm{i}+\frac{\mathrm{i}}{\:\sqrt{\mathrm{2}}}\right)}=\frac{\mathrm{1}}{\:\sqrt{\mathrm{2}}\left(\frac{\mathrm{2i}}{\:\sqrt{\mathrm{2}}}\right)}=\frac{\mathrm{1}}{\mathrm{2i}}\:\:\mathrm{its}\:\mathrm{eazy}\:\mathrm{to}\:\mathrm{find}\:\mathrm{other}\:\mathrm{coefficient} \\ $$$$\Rightarrow\mathrm{f}^{\left(\mathrm{n}\right)} \left(\mathrm{x}\right)=\frac{\mathrm{a}\left(−\mathrm{1}\right)^{\mathrm{n}−\mathrm{1}} \left(\mathrm{n}−\mathrm{1}\right)!}{\left(\mathrm{x}−\lambda\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{4}}} \right)^{\mathrm{n}} }+\frac{\mathrm{b}\left(−\mathrm{1}\right)^{\mathrm{n}−\mathrm{1}} \left(\mathrm{n}−\mathrm{1}\right)!}{\left(\mathrm{x}+\lambda\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{4}}} \right)} \\ $$$$+\frac{\mathrm{c}\left(−\mathrm{1}\right)^{\mathrm{n}−\mathrm{1}} \left(\mathrm{n}−\mathrm{1}\right)!}{\left(\mathrm{x}−\lambda\mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{4}}} \right)^{\mathrm{n}} }\:+\frac{\mathrm{d}\left(−\mathrm{1}\right)^{\mathrm{n}−\mathrm{1}} \left(\mathrm{n}−\mathrm{1}\right)!}{\left(\mathrm{x}+\lambda\mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{4}}} \right)} \\ $$$$=\left(−\mathrm{1}\right)^{\mathrm{n}−\mathrm{1}} \left(\mathrm{n}−\mathrm{1}\right)!\left\{\frac{\mathrm{a}}{\left(\mathrm{x}−\lambda\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{4}}} \right)^{\mathrm{n}} }+\frac{\mathrm{b}}{\left(\mathrm{x}+\lambda\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{4}}} \right)^{\mathrm{n}} }+\frac{\mathrm{c}}{\left(\mathrm{x}−\lambda\mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{4}}} \right)^{\mathrm{n}} }\right. \\ $$$$\left.+\frac{\mathrm{d}}{\left(\mathrm{x}+\lambda\mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{4}}} \right)^{\mathrm{n}} }\right\}\:\Rightarrow \\ $$$$\mathrm{f}^{\left(\mathrm{n}\right)} \left(\mathrm{0}\right)=\left(−\mathrm{1}\right)^{\mathrm{n}−\mathrm{1}} \left(\mathrm{n}−\mathrm{1}\right)!\left\{\frac{\mathrm{ae}^{−\frac{\mathrm{in}\pi}{\mathrm{4}}} }{\left(−\lambda\right)^{\mathrm{n}} }+\frac{\mathrm{be}^{−\frac{\mathrm{in}\pi}{\mathrm{4}}} }{\lambda^{\mathrm{n}} }\:+\frac{\mathrm{ce}^{\frac{\mathrm{in}\pi}{\mathrm{4}}} }{\left(−\lambda\right)^{\mathrm{n}} }+\frac{\mathrm{de}^{\frac{\mathrm{in}\pi}{\mathrm{4}}} }{\lambda^{\mathrm{n}} }\right\}\:\:\left(\lambda=\frac{\mathrm{1}}{\left(^{\mathrm{4}} \sqrt{\mathrm{2}}\right)}\right) \\ $$$$\left.\mathrm{2}\right)\mathrm{if}\:\mathrm{f}\left(\mathrm{x}\right)=\Sigma\mathrm{a}_{\mathrm{n}} \mathrm{x}^{\mathrm{n}} \:\Rightarrow\mathrm{a}_{\mathrm{n}} =\frac{\mathrm{f}^{\left(\mathrm{n}\right)} \left(\mathrm{0}\right)}{\mathrm{n}!} \\ $$