How to get the following approximation for the following function?

Question

I have a function $$f(x)=\frac{1}{x^2+1}$$ defined for $x\geq 0$. In one of the paper it is represented by its concave representation which is given below $$f'(x)\simeq -x^2+2\left(1-\frac{1}{(x_0^2+1)^2}\right)xx_0+\frac{1}{x_0^2+1}+\frac{2x_0^2}{(x_0^2+1)^2}-x_0^2$$ where the approximation is evaluated at $x=x_0$. I tried to get it through second order Taylor approximation but my expression does not match with it. Any help in this regard will be much appreciated.Thanks in advance.

Answer 1

$$f(x)=\frac{1}{x^2+1}\quad\implies\quad f'(x)= -\frac{2x}{(x^2+1)^2}$$ The approximation evaluated at $x=x_0$ is proposed as : $$f'(x)\simeq -x^2+2\left(1-\frac{1}{(x_0^2+1)^2}\right)xx_0+\frac{1}{x_0^2+1}+\frac{2x_0^2}{(x_0^2+1)^2}-x_0^2$$ So, at $x=x_0$ the above formula gives : $$f'(x_0)\simeq -x_0^2+2\left(1-\frac{1}{(x_0^2+1)^2}\right)x_0x_0+\frac{1}{x_0^2+1}+\frac{2x_0^2}{(x_0^2+1)^2}-x_0^2$$ After simplification : $$f'(x_0)\simeq \frac{1}{x_0^2+1}$$

If the proposed approximation was true, we should have $\quad f'(x_0)=-\frac{2x_0}{(x_0^2+1)^2}$

So, the proposed approximation is obviously false.

It seems that this is an approximation for $f(x)=\frac{1}{x^2+1}$, not for $f'(x)$. Probably a typo.

NOTE :

Even supposing that the proposed formula is an approximation for $f(x)$, it doesn't correspond exactly with the first terms of the Taylor series.

The first terms of the Taylor series are : $$f(x)=\frac{1}{x^2+1}\simeq \frac{1}{x_0^2+1} -\frac{2x_0}{(x_0^2+1)^2}(x-x_0)-\frac{1-3x_0^2}{(x_0^2+1)^3}(x-x_0)^2+...$$ or, rearranged as : $$f(x)\simeq -\frac{1-3x_0^2}{(x_0^2+1)^3}x^2-\frac{8x_0^3}{(x_0^2+1)^3}x+\frac{1+3x_0^2+6x_0^4}{(x_0^2+1)^3}$$ This draw us to think that the textbook approximation doesn't comes from a Taylor series expansion, but from another method of fitting, for example least mean squares. Since the range of $x$ where such regression calculus was carried out isn't specified, it is impossible to reproduce it. Of course, the validity of the approximate formula is limited to a range of $x_0$ depending on the unknown range of the regression calculus. For example, if the approximation is bad in case of $x_0=2$, this means that $x_0=2$ is outside the range that was taken into account for the calculus of the formula.

All those approximate functions are valid only on a small range of $x$ around $x_0$ as one can see on the next figures :