Converges to a holomorphic function on D(0,1)

  • Context: MHB 
  • Thread starter Thread starter Dustinsfl
  • Start date Start date
  • Tags Tags
    Function
Click For Summary

Discussion Overview

The discussion centers on the convergence of the function $f(z) = \prod\limits_{n = 1}^{\infty}(1 - nz^n)$ to a holomorphic function within the open unit disk $D(0,1)$. Participants explore the implications of Weierstrass Products and the conditions under which the product converges, including the nature of the terms involved and the behavior of the series.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants assert that the product converges normally and suggest that this implies $f$ is holomorphic in $D(0,1)$, referencing a specific inequality involving the series of terms.
  • Others question the validity of the convergence, pointing out that for certain values of $z$, the terms do not approach 1, which raises concerns about the product's convergence.
  • There is a discussion about the derivative of the geometric series and its relevance to the convergence analysis, with participants expressing uncertainty about the steps taken in the derivation.
  • Some participants express a desire to revisit the problem, indicating that they find the current explanations insufficient or lacking in clarity.
  • Questions arise regarding the nature of accumulation points on the unit circle, with participants proposing methods to demonstrate that each point is indeed an accumulation point.
  • A later post introduces a logarithmic approach to analyze the convergence of the product, suggesting that the series converges absolutely and uniformly under certain conditions.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the convergence of the product or the validity of the mathematical steps presented. Multiple competing views and uncertainties remain regarding the conditions necessary for convergence and the implications of the results.

Contextual Notes

Some participants note that there are missing intermediate steps in the reasoning, which may affect the understanding of the convergence criteria. The discussion also highlights the dependence on specific values of $z$ and the implications of the terms in the product.

Dustinsfl
Messages
2,217
Reaction score
5
$f(z) = \prod\limits_{n = 1}^{\infty}(1 - nz^n)$

So I a trying to show that $f$ converges to a holomorphic function on the open unit disc $D(0,1)$.

For some reason, I am just not understanding this section on Weierstrass Products.
 
Physics news on Phys.org
The product converges normally: Pick $K=D(0,r)\subset D(0,1)$ and let $|\cdot|_K=\sup_K |\cdot|$ then
$$\sum_{n=1}^{\infty} |nz^n|_K\leq r|(\frac{1}{1-r}-1)'|=\frac{r}{(1-r)^2}<\infty$$
for each $0<r<1$. This implies that $f$ is holomorphic in $D(0,1)$
 
Jose27 said:
The product converges normally: Pick $K=D(0,r)\subset D(0,1)$ and let $|\cdot|_K=\sup_K |\cdot|$ then
$$\sum_{n=1}^{\infty} |nz^n|_K\leq r|(\frac{1}{1-r}-1)'|=\frac{r}{(1-r)^2}<\infty$$
for each $0<r<1$. This implies that $f$ is holomorphic in $D(0,1)$


There is a typo sorry. It should say $\prod_{n=1}^{\infty}(1+nz)^n$.

---------- Post added at 14:28 ---------- Previous post was at 13:23 ----------

Jose27 said:
$$\sum_{n=1}^{\infty} |nz^n|_K\leq r|(\frac{1}{1-r}-1)'|=\frac{r}{(1-r)^2}<\infty$$

Even though my question was had a typo originally, how did you come up with this. I see that it will only converge if |z| < 1 so we need a geometric series but why do you have
$$
r\left|\left(\frac{1}{1-r}-1\right)'\right| = \frac{r}{(1-r)^2}
$$
Why are we taking the derivative here as well?
 
dwsmith said:
There is a typo sorry. It should say $\prod_{n=1}^{\infty}(1+nz)^n$.

I think there's something wrong: Take $z=\frac{1}{2}$ (the estimate works for any positive real number on the unit interval) then for $n>2$ we have $|(1+nz)|^n \geq 1+(nz)^n>2$ which cannot happen if the product converges since individual terms tend to $1$ in that case.

As for your other question, just notice that $\sum_{n=0}^\infty nz^{n-1}=\left( \frac{1}{1-z}\right)'$ (taking the derivative term by term) and mind the indices.
 
Jose27 said:
I think there's something wrong: Take $z=\frac{1}{2}$ (the estimate works for any positive real number on the unit interval) then for $n>2$ we have $|(1+nz)|^n \geq 1+(nz)^n>2$ which cannot happen if the product converges since individual terms tend to $1$ in that case.

As for your other question, just notice that $\sum_{n=0}^\infty nz^{n-1}=\left( \frac{1}{1-z}\right)'$ (taking the derivative term by term) and mind the indices.
The -1 is what I am unsure about. $\left|\left(\dfrac{1}{1-r}-1\right)\right|$. Where did it come from?
 
Could we start over with this problem? I don't understand how you have came up with what you have. There are some intermediate steps that are missing that aren't readily apparent to me.

Thanks.
 
How can I show that each point on the unit circle is an accumulation?
 
dwsmith said:
How can I show that each point on the unit circle is an accumulation?

Ok so I have an idea. $1 - nz^n\Rightarrow z = \sqrt[n]{\dfrac{1}{n}}$. So how do I show that each point on the unit circle is an accumulation point now?
 
Is this correct?

Fix $R = 1$. Let $N$ be such that $|z_N|\leq 2 < |z_{N + 1}|$.
Then for $|z| \leq 1$ and $n > N$ we have $\left|z/z_n\right| < 1/2$ and hence
$$
\left|\log\left[\prod\limits_{n = 1}^{\infty}(1 - nz^n)\right]\right| = \left|\sum_{n = 1}^{\infty}\log(1 - nz^n)\right|\leq 2\left(\frac{1}{z_n}\right)^{k_n = 2}.
$$
So the series
$$
\sum_{n = N + 1}^{\infty}\log(1 - nz^n)
$$
converges absolutely and uniformly when $|z|\leq 1$.
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 22 ·
Replies
22
Views
5K
  • · Replies 21 ·
Replies
21
Views
3K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K