Intereting Posts

Derivation of factorization of $a^n-b^n$
Is this matrix positive semi-definite?
Does Stirling's formula give the correct number of digits for $n!\phantom{}$?
Game Theory and Uniform Distribution question?
Truth of Godel's sentence in standard interpretation
Evaluate $\int_{0}^{\infty}\frac{\log^2 x}{e^{x^2}}\mathrm{d}x$.
Distributing 6 oranges, 1 apple, 1 banana and 1 pineapple among 3 children
What is it to be normal?
Contour integral – Circle instead of a square
In a finite ring extension there are only finitely many prime ideals lying over a given prime ideal
Analysis proof mean value theorem
A place to learn about math etymology?
Isomorphic rings or not?
Group actions in towers of Galois extensions
Henkin vs. “Full” Semantics for Second-order Logic and Multi-Sorted First Order Interpretations

In an intuitive sense, I have never understood why a power series centered on $c$ cannot converge for some interval like $(c-3,c+2]$.

Also, I have had a few professors casually mention that a series converges for a disk in the complex plane, centered on $c$ and with the radius of convergence as its radius.

Is this just a deep result that I havent seen yet because I havent taken enough real/complex analysis? Or is there an obvious reason for this.

- the generalized Liouville theorem
- What function can be differentiated twice, but not 3 times?
- The winding number and index of curve
- Equilateral Triangle from three complex points
- Analytic continuation of factorial function
- Does make sense a generalization of Lagarias equivalence with $H_n^s=1+1/2^s+\ldots+1/n^s$ and $\sigma^s(n)=\sum_{k\mid n}k^s$, for $\Re s>1$?

Edit: perhaps a better way to ask my question: why is it that, if the series converges when $x$ is between $c$ and $c+a$, then it also converges for $x$ between $c$ and $c-a$

- Uniform convergence of real part of holomorphic functions on compact sets
- All the zeroes of $p(z)$ lie inside the unit disk
- The simple roots of a polynomial are smooth functions with respect to the coefficients of the polynomial?
- Apollonius circle, its radius and center
- Order of $\frac{f}{g}$
- Existence of a meromorphic functions $f(z)$ such that $|f(z)|\geq |z|$.
- Natural derivation of the complex exponential function?
- Image of open donut under $\phi=z+\frac{1}{z}$
- Limit to infinity and infinite logarithms?
- Why does $\sum a_i \exp(b_i)$ always have root?

While it is true that in complex analysis, power series converges on discs (hence the name ‘radius of convergence’), this is not necessary to see why real power series converge on a symmetric interval about their centre.

A power series with real coefficients centred at the point $c$ can be written as

$$

\sum_{n=0}^{\infty} a_n (x-c)^n,

$$

and it will converge whenever we plug in a value of $x$ so that the resulting series of real numbers converges. If $b = |x-c|$, then we’re really examining the convergence of the series of numbers

$$

\sum_{n=0}^{\infty} a_n b^n.

$$

(This statement is precisely the ratio test!)

This will converge (say) when $0 \leq b < R$, so we are allowed to substitute in values of $x$ satisfying $0 \leq |x-c| < R$. Therefore, the values of $x$ for which the series $\sum_{n=0}^{\infty} a_n (x-c)^n$ are those in the interval $(c-R, c+ R)$. (One must, of course, check what happens when $x = c- R$ or $x = c+R$, as we could have convergence at one or both of the endpoints, but in any case we still get a symmetric interval about $c$.)

The relevant theorem is the following.

**Theorem:** Let $\sum a_nz^n$ be a complex power series. Suppose that, for some $w\in\mathbb C$, the series $\sum a_nw^n$ converges. Then for all $z\in\mathbb C$ such that $|z|<|w|$, the series $\sum a_nz^n$ converges absolutely.

*Proof.* Suppose that $\sum a_nw^n$ converges. We shall in fact only need to use a fact that appears to be much weaker – that the individual terms $a_nw^n$ are bounded in modulus. In other words, there exists some $M$ such that $|a_nw^n|\le M$ for all $n$.

Now suppose $z\in\mathbb C$ and that $|z|<|w|$. We shall show that the series $\mathbb a_nz^n$ converges absolutely; i.e., that the series $\sum |a_n||z|^n$ converges. To show this, note that:

\begin{align}

|a_n||z|^n&=|a_nw^n|\left(\frac{|z|}{|w|}\right)^n \\

&\le M\left(\frac{|z|}{|w|}\right)^n

\end{align}

Now just use the fact that the (geometric) series $M\sum\left(\frac{|z|}{|w|}\right)^n$ converges (since $|z|<|w|$). $\Box$

Can you see why this implies the following?

**Corollary:** Let $\sum a_nz^n$ be a complex power series. Then either $\sum a_nz^n$ converges everywhere or there exists some $R\ge 0$ (the *radius of convergence* such that $\sum a_nz^n$ converges absolutely for $|z|<R$ and diverges for $|z|>R$. (In general, we can say nothing about the case when $|z|=R$.)

In complex analysis, the radius of convergence is an actual radius.

In real analysis we only have one axis, so the radii look like intervals.

Draw this on paper.

(c-3, c+ 2] has midpoint (c-3+ c+2)/2= c- 1/2. It can be written as ((c-1/2)-5/2, (c- 1/2)+ 5/2] so has “radius” 5/2.

- Volume of the intersection of two cylinders
- If $p$ is a positive multivariate polynomial, does $1/p$ have polynomial growth?
- dense in $\mathbb{R}$ and dense in $$ modulus $1$
- For which $x$ is $e^x$ rational? Transcendental?
- Is Cross Product Defined on Vector Space?
- Partition of plane into parabolas
- Intuition behind topological spaces
- Prove that $\int_{-\infty}^{\infty} \frac{e^{2x}-e^x}{x (1+e^{2x})(1+e^{x})}\mathrm{d}x=\log 2$
- If $A, B, C$ are sets prove that $(A\setminus B)\setminus C\subseteq A\setminus(B\setminus C)$
- The sum of three colinear rational points is equal to $O$
- How would you describe calculus in simple terms?
- In a Hilbert space $H$, if the closed unit ball is compact, then how can it be proved that $H$ is finite-dimensional?
- Proof of properties of dual cone
- How to integrate $\int\frac{\sqrt{1+x^2}}{x}\,\mathrm dx$
- Splitting of prime ideals in algebraic extensions