When taking the derivative of a series expansion around a finite point, the $O(x^n)$ part is differentiated as expected. $O(x^n)$ becomes $O(x^{n-1})$ except $O(x^0)$ which stays $O(x^0)$.

When expanding around infinity, things do not work out that nicely. $O\left(\left(\frac{1}{x}\right)^n\right)$ in general becomes $O\left(\left(\frac{1}{x}\right)^{n+1}\right)$. So far so good but $O\left(\left(\frac{1}{x}\right)^0\right)$ stays the same as in the expansion around a point that is finite. This doesn't seem to make sense because the leading constant term should drop out and the second one should be differentiated so we should get $O\left(\left(\frac{1}{x}\right)^2\right)$.

Am I missing something? Is this behavior to be expected?

D[O[x, Infinity] x, x]
(* Out[1]= SeriesData[x, DirectedInfinity[1], {}, 0, 0, 1] *)
  • 11
    $\begingroup$ Actually, your "as expected" comes as a surprise, because differentiating $O(x^n)$ should not yield anything definite, since (a) a function that grows like $O(x^n)$ need not be differentiable and (b) even when it is, its derivative is not necessarily $O(x^{n-1})$. For example, $f(x) = x^n\sin(x^2)$ is $O(x^n)$ but $f'(x)$ is $O(x^{n+1})$. $\endgroup$
    – whuber
    Jan 26 '13 at 20:09
  • 6
    $\begingroup$ You are quite right, but when we assume analyticity there is a derivative and it grows like $O(x^{n-1})$. $x^n \mathrm{sin}(x^2)$ is actually $O(x^{n+2})$ around zero. $\endgroup$
    – Friedrich
    Jan 26 '13 at 21:15

For reference:

Grid[Join[{{"Term", "Its Derivative", 
"Its Integral"}}, ({#, D[#, x], Integrate[#, x]} & /@ 
Table[SeriesData[x, a, {1}, i, i, 1], {i, -3, 3}])], 
Dividers -> {False, All}, Spacings -> {1, 1}]

$$\begin{array}{ccc} \hline \text{Term} & \text{Its Derivative} & \text{Its Integral} \\ \hline O\left(\frac{1}{(x-a)^3}\right) & O\left(\frac{1}{(x-a)^4}\right) & O\left(\frac{1}{(x-a)^2}\right) \\ \hline O\left(\frac{1}{(x-a)^2}\right) & O\left(\frac{1}{(x-a)^3}\right) & O\left(\frac{1}{x-a}\right) \\ \hline O\left(\frac{1}{x-a}\right) & O\left(\frac{1}{(x-a)^2}\right) & O\left((x-a)^0\right) \\ \hline O\left((x-a)^0\right) & O\left((x-a)^0\right) & O\left((x-a)^1\right) \\ \hline O\left((x-a)^1\right) & O\left((x-a)^0\right) & O\left((x-a)^2\right) \\ \hline O\left((x-a)^2\right) & O\left((x-a)^1\right) & O\left((x-a)^3\right) \\ \hline O\left((x-a)^3\right) & O\left((x-a)^2\right) & O\left((x-a)^4\right) \\ \hline \end{array}$$


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.