0
$\begingroup$

This is taken from Rudin's Real and Complex Analysis pg.314 I'm trying to understand the proof of Muntz Theorem in the text.

Let $\lambda_1, \lambda_2,..$ be positive real numbers such that $\sum\frac{1}{\lambda_k}<\infty$. Define the function $$f(z):=\frac{z}{(2+z)^3}\Pi_{k=1}^{\infty}\frac{\lambda_k-z}{2+\lambda_k+z}$$

Note that since

$$1-\frac{\lambda_k-z}{2+\lambda_k+z}=\frac{2+2z}{2+\lambda_k+z} (*)$$

The author claims that the infinite product that appears in the definition of f converges uniformly on compact subsets of $\mathbb{C}\backslash(\{-2\}\cup\{-2-\lambda_k\}_{k=0}^{\infty}$ and that each factor in the infinite product of f has absolute value less than 1 for $Re(z)>-1$

My question

1) What is the justification for the uniform convergence of the product

2) How can we prove that each factor has absolute value less than -1

For (1) there is a theorem on pg.300 that says

Suppose $f_n \in H(\Omega)$ for $n=1,2,3,...$, no $f_n$ is identically zero in any component of $\Omega$ and $$\sum|1-f_n(z)|$$ converges uniformly on compact subsets of $\Omega$. Then the product $$f(z)=\Pi_{n=1}^{\infty}f_n(z)$$ converges uniformly on compact subsets of $\Omega$.

So for (1) my real question is how (*) implies $\sum|1-f_n(z)|$ converges uniformly. This might have to do with the Weierstrass M-Test but I don't see how.

Any help would be appreciated

1 Answers 1

1

$1)$ For $f_k(z)=\frac{\lambda_k-z}{2+\lambda_k+z}$ we prove that $$\sum|1-f_k(z)| =\sum\left|\frac{2+2z}{2+\lambda_k+z}\right|$$ converges uniformly on compact subsets of $\mathbb{C}\setminus\bigcup_{k=1}^{\infty}\{-2-\lambda_k\}$. Suppose a compact $K \subset \mathbb{C}\setminus\bigcup_{k=1}^{\infty}\{-2-\lambda_k\}$ is given. Take a large $R$ so that $\{|z|

$2)$ It is easy to see that $$ \operatorname{Re} z>-1\implies |z|<|z+2|,\; |z+2|>1\implies \left|\frac{z}{(z+2)^3}\right|=\left|\frac{z}{z+2}\right| \cdot\left|\frac{1}{(z+2)^2}\right|<1. $$ Also we see \begin{align} \left| \frac{\lambda _k-z}{2+\lambda _k+z}\right|^2&=\frac{{\lambda _k}^2-2\lambda _k\operatorname{Re}z+|z|^2}{(2+\lambda _k)^2+2(2+\lambda _k)\operatorname{Re}z+|z|^2}\\ &<\frac{{\lambda _k}^2+2\lambda _k+|z|^2}{(2+\lambda _k)^2-2(2+\lambda _k)+|z|^2}\\ &=\frac{{\lambda _k}^2+2\lambda _k+|z|^2}{{\lambda _k}^2+2\lambda _k+|z|^2}=1. \end{align}

  • 0
    Thank you very much. That really help ;)2017-01-23