Intereting Posts

Rudin's 'Principle of Mathematical Analysis' Exercise 3.14
How *should* we have known to invent homological algebra?
Monkeys and Typewriters
Cauchy's Theorem for Groups
Sum of multiplication of all combination of m element from an array of n elements
Derive Fourier transform of sinc function
Why is $x^{-1} = \frac{1}{x}$?
How many solutions are there to $x_1 + x_2 + … + x_5 = 21$?
Maximal Hamming distance
Eigenvalues of $AB$ and $BA$
Is there a standard way to compute $\lim\limits_{n\to\infty}(\frac{n!}{n^n})^{1/n}$?
The Meaning of the Fundamental Theorem of Calculus
Elementary properties of closure
Eckmann-Hilton and higher homotopy groups
Proof of Unique Solution for Modular Exponentiation In Cryptography

Inspired by the exponential series, I’m curious about where exactly the series $\displaystyle\sum_{n=1}^\infty\frac{z^n}{n}$ for $z\in\mathbb{C}$ converges.

I calculated

$$

\limsup_{n\to\infty}\sqrt[n]{\frac{1}{n}}=\limsup_{n\to\infty}\frac{1}{n^{1/n}}

$$

and

$$

\lim_{n\to\infty} n^{1/n}=e^{\lim_{n\to\infty}\log(n)/n}=e^{\lim_{n\to\infty}1/n}=e^0=1.

$$

So the radius of convergence is $1$, so the series converges on all $z$ inside $S^1$. But is there a way to tell for which $z$ on the unit circle the series converges? I know it converges for $z=-1$, but diverges for $z=1$, but I don’t know about the rest of the circle. For what other $z$ does this series converge? Thanks.

- How to prove Liouville's theorem for subharmonic functions
- Calculating $\int_{|z|=2}\frac{e^{1/z^2}}{1-z}dz$
- the generalized Liouville theorem
- integral $\int_{0}^{\infty}\frac{\cos(\pi x^{2})}{1+2\cosh(\frac{2\pi}{\sqrt{3}}x)}dx=\frac{\sqrt{2}-\sqrt{6}+2}{8}$
- Integrating $\int_0^\infty \frac{\ln x}{x^2+4}\,dx$ with residue theorem.
- Show $\Omega$ is simply connected if every harmonic function has a conjugate

- $\int_C \frac{\log z}{z-z_0} dz$ - Cauchy theorem with $z_0$ outside the interior of $\gamma$
- If there is a branch of $\sqrt{z}$ on an open set $U$ with $0 \notin U,$ then there is also a branch of $arg$ $z.$
- Product of two power series
- On spectrum of periodic boundary value problem
- Why is complex analysis so nice? And how is it connected/motivating for algebraic topology?
- Proof that a sequence converges to a finite limit iff lim inf equals lim sup
- Using the Banach Fixed Point Theorem to prove convergence of a sequence
- How to determine pointwise limit/uniform convergence.
- Integral with Undefined Endpoint (Complex Variables)
- Show that $\sqrt{n^2+1}-n$ converges to 0

Fix $z$ in the unit circle, i.e. $|z|=1$. We want to apply Dirichlet’s test: if $\{a_n\}$ are real numbers and $\{b_n\}$ complex numbers such that:

- $a_1\geq a_2\geq\cdots$
- $\lim_{n\to\infty}a_n=0$
- There exists $M>0$ such that $\left|\sum_{n=1}^Nb_n\right|\leq M$ for every $N\in\mathbb{N}$;

then $\sum_{n=1}^\infty a_nb_n$ converges. Here $a_n=1/n$, $b_n=z^n$. The first two conditions are clearly satisfied, and for the third one:

$$

\left|\sum_{n=1}^Nz^{ n }\right|=\left|\frac{z-z^{N+1}}{1-z}\right|\leq\frac{2}{|1-z|}

$$

for all $N\in\mathbb{N}$.

This shows that the third condition is satisfied for every $z\ne1$ in the circle.

In conclusion, the series converges for every $z$ with $|z|\leq1$ other than $z=1$, and it diverges for $|z|>1$.

The followin theorem on power series is due to E. Picard:

Let $(a_n)$ be a sequence of real numbers.

If the sequence $(a_n)$ is nonnegative, decreases and tends to zero when $n\to \infty$, then the complex power series $\sum a_n\ z^n$ converges in the closed unit disc $\overline{D}(0;1)$ with the only possible exception of the point $1$.

The proof of Picard’s theorem relies on *Abel’s summation by parts formula*, as far as I remember.

Now, the coefficients of your series, i.e. $a_n=1/n$, satisfy the assumptions of Picard’s theorem, hence your series converges at least in $\overline{D}(0;1)\setminus \{1\}$; on the other hand, the series diverges when $z=1$ (for it becomes the *harmonic series*).

Therefore the convergence set of $\sum 1/n\ z^n$ is $\overline{D}(0;1)\setminus \{1\}$.

Even though the 1st answer is the more easy and appropriate here is a more analytic one. $\sum_{n=1}^{k} (z^n)/n =(z/1-z) $$\sum_{n=1}^{k-1} [(1-z^n)/n(n+1) + (1-z^k)/k]$

(we can prove that with induction till k).

We can also see that

0 $\leqslant$ |(1-z^k)/k|$\leqslant$ 2/k$\rightarrow$0 for k$\rightarrow$$\infty$ also

0 $\leqslant$ |(1-z^n)/n(n+1)|$\leqslant$ 2/n(n+1)

$\sum_{n=1}^{\infty}2/n(n+1)$ $(converges)$ so $\sum_{n=1}^{\infty} (z^n)/n$ $(converges)$ as well

- What is the next prime number?
- In a finite ring extension there are only finitely many prime ideals lying over a given prime ideal
- Do “other” trigonometric functions than Tan Sin Cos and their derivatives exist?
- Bounded data means bounded solution to parabolic PDE
- How to find the number of distinct combinations of a non distinct set of elements?
- Find minimal value $ \sqrt {{x}^{2}-5\,x+25}+\sqrt {{x}^{2}-12\,\sqrt {3}x+144}$ without derivatives.
- Integrate $\displaystyle \int_{0}^{\pi}{\frac{x\cos{x}}{1+\sin^{2}{x}}dx}$
- Number of ordered pairs of coprime integers from $1$ to $N$
- Discontinuous functions with the intermediate value property
- Is associative binary operator closed on this subset?
- derivative $\dfrac{d\left\{B(A_1, \ldots, A_M)\right\}}{d\left\{C(A_1, \ldots, A_M)\right\}}$ equals what?
- Help solving $ax^2+by^2+cz^2+dxy+exz+fzy=0$ where $(x_0,y_0,z_0)$ is a known integral solution
- Degree of a field extension when compared to the Galois group
- Is 'every exponential grows faster than every polynomial?' always true?
- How can I find all integers $x≠3$ such that $x−3|x^3−3$