Intereting Posts

Local coefficients involved in the obstruction class for a lift of a map
find spectrum matrix A
Differentiation under the integral sign – line integral?
Function in $C^{\infty} (\mathbb{R})$ with geometric sequence
Locally compact nonarchimedian fields
Property of sup of a set of numbers
Proving these trigonometric sums $\sum\limits_{k=0}^{n-1}\sin\frac{2k^2\pi}{n}=\frac{\sqrt{n}}{2}\left(\cos\frac{n\pi}{2}-\sin\frac{n\pi}{2}+1\right)$
Ring class field of $\mathbb{Q}(\sqrt{-19})$
Is the set of polynomial with coefficients on $\mathbb{Q}$ enumerable?
Proof that $\ln(n^2)(\ln(n) – 1) < n$ for all $n\in\mathbb{N}$
Reed Solomon Polynomial Generator
C* algebra of bounded Borel functions
When is $(a+b)^n \equiv a^n+b^n$?
Why are the periods of these permutations often 1560?
Topology proof: dense sets and no trivial intersection

My professor made this claim about Taylor Series convergence in my Complex Variables class and I am still not entirely convinced (he said it’s explained in the textbook and textbook states, “we will soon see that it is impossible for the series to converge to $f(z)$ outside this circle” but they don’t actually show that).

Basically the problem I’m having is this:

Let $f(z)$ be expanded in a Taylor series about $z_0$. Let $a$ be the distance from $z_0$ to the nearest singular point of $f(z)$. The claim is that the series converges to $f(z)$ everywhere *in* the circle $|z-z_0|=a$ and fails to converge to $f(z)$ *outside* the circle (while nothing can be determined about the points *on* the circle).

- Let $f$ be entire and suppose that $\text{Im} f\ge0$. Show that $\text{Im} f$ is constant.
- Intuitive Explanation why the Fundamental Theorem of Algebra fails for infinite sums
- Why does $x= \frac{1}{2}(z+\bar{z}) = \frac{1}{2}(z+\frac{r^{2}}{z})$ on the circle?
- Suppose an entire function $f$ is real if and only if $z$ is real. Prove that $f$ has at most $1$ zero.
- $\int_{0}^\pi \frac{\sin(nx)}{\sin x} dx$
- Any even elliptic function can be written in terms of the Weierstrass $\wp$ function

From what I’ve read in my book, I’m entirely convinced of the first claim that the series converges to $f(z)$ in the circle. It’s the other claim that it fails to converge to $f(z)$ outside the circle that is bothering me.

Here is what I know:

I know that the circle for which the Taylor series is everywhere convergent to $f(z)$ is **not** necessarily the same as the circle throughout which the series converges in general.

I know that $|z-z_0|=a$ is the largest circle within which the series converges to $f(z)$. All this says however is that we can’t construct a larger circle for which the series converges to $f(z)$; it still leaves open the possibility that the series could converge to $f(z)$ outside this circle.

I also have this one theorem we proved that states that if a power series centered at $z_0$ converges at the point $z_1$, then the series converges uniformly to an analytic function for all points in the disk $|z-z_0|<|z_1-z_0|$.

Now, the argument my professor made is that suppose that at the point $z=z_1$ the series converged to $f(z)$ where $z_1$ is outside the circle $|z-z_0|=a$. Then by the theorem above, the series would converge to an analytic function inside the circle $|z-z_0|<|z_1-z_0|$. (At this point he stated we had a contradiction and ended our conversation). This would seem like we are onto some kind of contradiction since $f(z)$ is clearly not analytic inside this circle but there is nothing that prevents the series from converging to something other than $f(z)$ outside the circle $|z-z_0|=a$.

I feel like I’m really missing something here or that there is some hole in my understanding. Any help is appreciated!

- what are the possible values for integral
- Proving $\left(\sum_{n=-\infty}^\infty q^{n^2} \right)^2 = \sum_{n=-\infty}^\infty \frac{1}{\cos(n \pi \tau)}$
- How to expand $\sqrt{x^6+1}$ using Maclaurin's series
- Entire function bounded by polynomial of degree 3/2 must be linear.
- ${\mathfrak{I}} \int_{0}^{\pi/2} \frac{x^2}{x^2+\log ^2(-2\cos x)} \:\mathrm{d}x$ and $\int_{0}^{\pi/2} \frac{\log \cos x}{x^2}\:\mathrm{d}x$
- Determining Laurent Series
- Find and sketch the image of the straight line $z = (1+ia)t+ib$ under the map $w=e^{z}$
- Holomorphic Parameter Integral
- What can be said about the convergence on $|z|=1$?
- Prove the following equation of complex power series.

If a power series centered at $a$ converges absolutely at a point $w$, then it also converges at all points $|z-a|<|w-a|$.

If a power series converges absolutely then it converges to a holomorphic function $g$.

Finally, let $s$ be a singular point. The function $f$ and the function $g$ to which the power series converges coincide in the disc $|z-a|<|s-a|$. Therefore $g$ is an holomorphic extension of $f$ to a neighborhood of $s$. This contradics the definition of singular point.

Regarding your comments to Themis answer.

Perhaps your book is referring to the possibility of the series converging on the boundary of the disc. It is true that the series may converge to $f$ on other points outside the open disc. But all these points at which it converges to $f$ must be on the boundary of the disc of convergence.

The main claim here is that any power series $\sum_{n = 0}^\infty a_n z^n$ converges everywhere inside an open disc and nowhere outside its closure. The proof is the root test, where since $\sqrt[n]{\lvert a_n z^n \rvert} = \lvert a_n \rvert^{1/n} \, \lvert z \rvert$, the test produces a condition $\lvert z \rvert < 1/L$, where $L$ is the limiting value of $\lvert a_n\rvert^{1/n}$. That is, the series converges inside the circle of this radius and diverges outside.

An even higher-level way of looking at it is that a power series is comparable, in the limit, to a geometric series, and geometric series have a radius of convergence. So the claim follows from the limit comparison test.

As for why the series can’t converge to $f$ in a larger disc containing a singular point of $f$: this actually depends on the definition of a singular point. Literally, if this happens, then the series itself defines a holomorphic function that agrees with $f$ around its singular point and also is defined at this point, where $f$ was said not to be holomorphic. As I learned it, that’s the definition of a “removable singularity” of $f$. The theorem as stated should require that the series converge up to the nearest non-removable singularity for this reason; note that your definition of singular point does not exclude removable ones (for example, one could simply redefine $f$ at one point to make it discontinuous, and thus singular, but this is still removable and doesn’t affect the power series centered anywhere else).

- Prove that there exist a branch
- Is there an unbounded uniformly continuous function with a bounded domain?
- A number with 6 distinct digits which get multiplied by 5 if we move the last digit to front
- iid variables, do they need to have the same mean and variance?
- Generalisation of the identity $\sum\limits_{k=1}^n {k^3} = \bigg(\sum\limits_{k=1}^n k\bigg)^2$
- Applications of the Isomorphism theorems
- Why generalize vector calculus with $k$-forms instead of $k$-vectors?
- Evaluate:: $ 2 \sum_{n=1}^\infty \frac{(-1)^{n+1}}{n+1}\left( 1 + \frac12 +\cdots + \frac 1n\right) $
- Creating a bijection from $(a,b)$ to $\mathbb R$ that is visually compelling
- Using Linear Transformations to Solve Differential Equation
- Solving $x^x=\frac{1}{\sqrt 2}$
- An inequality involving arctan of complex argument
- Roots of Artin-Schreier equation
- $p$ prime, $p\mid a^k \Rightarrow p^k\mid a^k$
- Intuition for complex eigenvalues