3
$\begingroup$

I have a question, how can we prove that a function, here specificaly the function $\frac{1}{1+x^2}$ is analytic? I know we must show that for any $x_0$ in $\mathbb R$, the series $\sum_{k=0}^{\infty}\frac{f^{(k)}(x_0)}{k!}(x-x_0)^k$ has a convergent radius greater than zero, but how to show that? I appreciate your solutions.

  • 0
    As purely a comment, I was recently reading "Visual Complex Analysis," and the Taylor series for this function on the reals came up as a motivation for the natural existence of complex numbers - namely, that the Taylor series for this function around $x_0$ has radius of convergence $\sqrt{x_0^2+1}$.2012-01-16

2 Answers 2

5

One has $ f(x_0+u)=\frac{\mathrm i}2\left(\frac1{x_0+\mathrm i+u}-\frac1{x_0-\mathrm i+u}\right), $ hence, for every $|u|\lt|x_0+\mathrm i|=|x_0-\mathrm i|=\sqrt{x_0^2+1}$, $ f(x_0+u)=\frac{\mathrm i}2\sum_{n\geqslant0}(-1)^n\left(\frac1{(x_0+\mathrm i)^{n+1}}-\frac1{(x_0-\mathrm i)^{n+1}}\right)u^n. $

0

It's very simple: The function $f\colon \ x\mapsto{1\over 1+x^2}$ is differentiable with respect to the real variable $x$ on all of ${\mathbb R}$, and the derivative is obtained using the "quotient rule". Now all of this is valid for a complex variable $z$ as well, because for the proof one has used only the laws of algebra and the continuity of the basic field operations, and these are present in ${\mathbb C}$ as well as in ${\mathbb R}$. It follows that f'(z)=-{2z\over(1+z^2)^2} for all $z\in{\mathbb C}$ where $f$ is defined, i.e., for all $z\in{\mathbb C}\setminus\{\pm i\}$.