Intereting Posts

Finding number of homeomorphically irreducible trees of degree $N$
Are compositions of the Fourier sine and cosine transforms commutative?
Compute $ \sum_{k=1}^{\infty} \text{sech}(2 k)$
Show that the countable product of metric spaces is metrizable
Prime Numbers And Perfect Squares
what does $|x-2| < 1$ mean?
If xy + yz + zx = 1, …
$X \to Y$ flat $\Rightarrow$ the image of a closed point is also a closed point?
Divide a triangle into 2 equal area polygons
Are (some) axioms “unprovable truths” of Godel's Incompleteness Theorem?
$Q_8$ is isomorphic to a subgroup of $S_8$ but not to asubgroup of $S_n$ for $n\leq 7$.
How does Mathematica solve $f(x)\equiv 0\pmod p$?
Verifying the examples of Dual Space
Why Is a Function Defined As Having Only One Y-Value Output?
How to calculate the integral $\int_{a}^{b} \frac{\ln x}{\sqrt{x^{2}+1}} \, \mathrm dx $

Let $f(x)=\sum_{n=0}^{\infty}a_nx^n$ be a function on the real line with a positive(or infinite) radius of convergence about $x=0$, and $a_0\neq0$. Then is it true that the function $1/f(x)$ can also be Taylor expanded about the origin? The question is essentially whether the formal inverse series has a positive or infinite radius of convergence.

- Complex integral
- Complex analysis prerequisites
- A-priori estimate help (something to do with Gronwall lemma)
- Show that $\lim_{n\to\infty}n\int_0^1f(x)g(x^n)dx=f(1)\int_0^1\frac{g(x)}{x}dx$
- on the boundary of analytic functions
- Laurent Series of $f(z) = \sin {\frac{1}{z}}$ at $z=0$
- How to find roots of $f(z)=(a+yg(z))^2+g(z)^2=0$?
- Why is $\left(e^{2\pi i}\right)^i \neq e^{-2 \pi}$?
- A Tough Problem about Residue
- complex polynomial satisfying inequality

Yes. I think the following is a way to do this without complex analysis (although I think it would be the easiest way).

For simplicity, let’s assume $a_0 = 1$ (otherwise you just divide by $a_0$). And take a radius $\rho > 0$ such that $\sum_{k=1}^{\infty} |a_n| |x|^n \le 1$ for all $|x| \le \rho$ (there exists one since $x \mapsto \sum_{k=1}^{\infty} |a_n| |x|^n$ is continuous, and zero at the origin). Let’s denote $b_n$ for the coefficient of the formal inverse and show by recurrence that $|b_n| \le \rho^{-n}$ (which will prove it converges with radius $\ge \rho^{-1}$).

For $n = 0$ it is obvious since $b_0 = 1$. Then for $n \ge 1$, you have

$$b_n = – \sum_{k=1}^{n} a_k b_{n-k}$$

And

$$|b_n| \le \sum_{k=1}^{n} |a_k| \rho^{k-n}$$

So

$$|b_n| \rho^n \le \sum_{k=1}^{n} |a_k| \rho^{k} \le \sum_{k=1}^{\infty} |a_k| \rho^{k} \le 1$$

Which concludes.

The answer is *yes*: the given function has a Taylor expansion about the origin with positive radius of convergence (note that most consider $\infty$ to be a positive radius of convergence).

Probably the easiest way to see this is to appeal to *complex* analysis: the function $f$ equally well defines a complex analytic function on a neighborhood of $0$. Recall that a function is complex analytic iff it is differentiable. Moreover, the usual calculus proof adapts to this context to show that if $f$ is complex differentiable and $f(0) \neq 0$, then $\frac{1}{f}$ is differentiable at $0$, thus complex analytic.

It is also possible to prove this result by direct power series manipulations, but I confess I don’t remember the argument at the moment: I believe it’s a little tricky. But you could consult a book on *real analytic function theory*, e.g. this one by Krantz and Parks. (**Added**: the argument is given on pages 7 and 8 of this text. I am about to sign off for a little while, but upon request I could paraphrase it here a little later on.)

ashpool: Yes, $1/f(x)$ is analytic, and in fact it is analytic in the largest disk centered at the origin where $f(x)$ is defined and non-zero. This disk exists, since $f(0)=a_0\ne0$.

One way to check this is to use that having a convergent power series expansion is equivalent to being complex differentiable. And one can check directly that $1/f$ is differentiable if $f$ is.

(Though I prefer the complex analytic approach, one can argue directly. The idea is simple, though I don’t have time right now to give full details. Note that $f(x)=a_0(1+\epsilon(x))$ where $\epsilon(x)$ is analytic (so, continuous) and small when $x$ is small. Then $1/f(x)$ can be expanded as a geometric series in terms of $\epsilon(x)$, and you can expand $\epsilon$ and its powers term by term. The fact that it is small can be quantified to see that the coefficients resulting from this expansion give a series that converges in a small interval. In a sense, you are just comparing the formal series term by term with a *numerical* series that you know converges (Fix $0<\delta<1$ and pick $r$ so that $|\epsilon(x)|<\delta$ for all $x$ with $|x|<r$. Then work inside the interval of radius $r$). It is a bit messy but straightforward.)

- Property of an operator in a finite-dimensional vector space $V$ over $R$
- Given that $\;\sin^3x\sin3x = \sum^n_{m=0}C_m\cos mx\,,\; C_n \neq 0\;$ is an identity . Find the value of n.
- The minimum value of $|z+1|+|z-1|+|z-i|$ for $z \in \mathbb C?$
- Solving SDE: $dX(t) = udt + \sigma X(t)dB(t)$
- Game Theory Matching a Deck of Cards
- Finite group of order $mn$ with $m,n$ coprime
- $\sum_{n\geq 1}\frac{(-1)^n \ln n}{n}$
- Mental estimate for tangent of an angle (from $0$ to $90$ degrees)
- For $x, y \in \mathbb{R}$, define $x \sim y $ if $x-y \in \mathbb{Q}$. Is $\mathbb{R}/\!\!\sim$ Hausdorff?
- In (relatively) simple words: What is an inverse limit?
- Using $O(n)$ to determine limits of form $1^{\infty},\frac{0}{0},0\times\infty,{\infty}^0,0^0$?
- Interchange quantifiers using the generalization theorem
- Why are we interested in closed geodesics?
- A 2×2 matrix $M$ exists. Suppose $M^3=0$ show that (I want proof) $M^2=0$
- Is $\mathbb{R}$ a finite field extension?