Intereting Posts

Let $A$ be a nonempty subset of $\mathbb{R}$. Prove…
Proof that a perfect set is uncountable
Numbers that are the sum of the squares of their prime factors
Congruence properties of $x_1^6+x_2^6+x_3^6+x_4^6+x_5^6 = z^6$?
If $b_n$ is a bounded sequence and $\lim a_n = 0$, show that $\lim(a_nb_n) = 0$
Two-dimensional unital complex Banach algebras
Compactness of set of projections
How to calculate $\lim_{n\to\infty}(1+1/n^2)(1+2/n^2)\cdots(1+n/n^2)$?
Transcendence degree of $K$
The Velocities of the Contact Points of Two Rolling Curves are Equal at the Instant of Contact
mathematical difference between column vectors and row vectors
If $S \times \Bbb{R}^k$ is homeomorphic to $T \times \Bbb{R}^k$ and $S$ is compact, can we conclude that $T$ is compact?
Symmetry of function defined by integral
Countable sum of measures is a measure
Calculating certain functions if only certain buttons on a calculator are permitted

There’s this exercise: let $\,f\,$ be analytic on $$D:=\{z\;\;;\;\;|z|<1\}\,\,,\,|f(z)|\leq 1\,\,,\,\,\forall\,z\in D$$ and $\,z=0\,$ a zero of order $\,m\,$ of $\,f\,$.

Prove that $$\forall z\in D\,\,,\,\,|f(z)|\leq |z|^m$$

**My solution:** Induction on $\,m\,$: for $\,m=1\,$ this is exactly the lemma of Schwarz, thus we can assume truth for $\,k<m\,$ and prove for $\,k=m>1\,$ . Since $\,f(z)=z^mh(z)\,\,,\,h(0)\neq 0\,$ analytic in $\,D\,$ , put

$$g(z):=\frac{f(z)}{z}=z^{m-1}h(z)$$

- Prove that $\sum\limits_{k=0}^{n-1}\dfrac{1}{\cos^2\frac{\pi k}{n}}=n^2$ for odd $n$
- Prove: for $f,g \in Hol(G\subset \mathbb{C})$ $\implies$ max $(|f|+|g|)$ is on the boundary of $G$.
- contour integral with singularity on the contour
- How do you show that an $L^p$ entire (holomorphic on the complex plane) function is $0$?
- On the growth of the Jacobi theta function
- Asymptotic analysis of the integral $\int_0^1 \exp\{n (t+\log t) + \sqrt{n} wt\}\,dt$

Applying the inductive hypothesis and using Schwarz lemma $\,\,(***)\,\,$ we get that

$$|g(z)|=\left|\frac{f(z)}{z}\right|=|z|^{m-1}|h(z)|\stackrel{ind. hyp.}\leq |z|^{m-1}\Longrightarrow |f(z)|\leq |z^m|$$

and we’re done…*almost*: ** we still** have to prove $\,|g(z)|\leq 1\,$ for all $\,z\in D$ in order to be able to use the inductive hypothesis and this is precisely the part where I have some doubts: this can be proved as follows (all the time we work with $\,z\in D\,$):

$(1)\,\,$ For $\,f(z)=z^mh(z)\,$ we apply directly Schwarz lemma and get

$$|f(z)|=|z|^m|h(z)|\leq |z|\Longrightarrow |z|^{m-1}h(z)|\leq 1$$

And since now the function $\,f_1(z)=z^{m-1}h(z)\,$ fulfills the conditions of S.L. we get

$(2)\,\,$ Applying again the lemma,

$$|f_1(z)|=|z|^{m-1}|h(z)|\leq |z|\Longrightarrow |z^{m-2}h(z)|\leq 1$$and now the function $\,f_2(z):=z^{m-2}h(z)\,$ fulfills the conditions of them lemma so…etc.

In the step$\,m-1\,$ we get

$$|z||h(z)|\leq |z|\Longrightarrow {\color{red}{\mathbf{|h(z)|\leq 1}}}\,$$

and *this is* what allows us to use the inductive hypothesis in $\,\,(***)\,\,$ above.

*My question:* Is there any way I can’t see right now to deduce directly, or in a shorter way, that $\,|h(z)\leq 1\,$ ?

- Why can the complex conjugate of a variable be treated as a constant when differentiating with respect to that variable?
- If $f(z)g(z) = 0$ for every $z$, then $f(z) = 0$ or $g(z) = 0$ for every $z$.
- Show $\int_0^\infty \frac{\cos a x-\cos b x}{\sinh \beta x}\frac{dx}{x}=\log\big( \frac{\cosh \frac{b\pi}{2 \beta}}{\cosh \frac{a\pi}{2\beta}}\big)$
- Find a conformal map from the disc to the first quadrant.
- $\int_0^\infty\frac{\log x dx}{x^2-1}$ with a hint.
- Modification of Schwarz-Christoffel integral
- Approximating roots of the truncated Taylor series of $\exp$ by values of the Lambert W function
- Fourier transform of $f(x)=\frac{1}{e^x+e^{-x}+2}$
- Riemann zeta function and the volume of the unit $n$-ball
- Why is there no continuous log function on $\mathbb{C}\setminus\{0\}$?

For $0< r<1$, let $D_r=\{z\in\mathbb{C}:|z|\le r\}$.

The function $g(z)=\dfrac{f(z)}{z^m}$ is analytic on $D$ (see Removable Singularity) and $|g(z)|\le\frac{1}{r^m}$ on $\partial D_r$. The maximum modulus principle says that

$$

|g(z)|\le\frac{1}{r^m}\text{ for }z\in D_r\tag{1}

$$

Since $(1)$ holds for all $r<1$, we have that $|g(z)|\le1$ for $z\in D$, and therefore,

$$

|f(z)|\le|z^m|\tag{2}

$$

- Computing an awful integral
- Homology and Euler characteristics of the classical Lie groups
- Is there an example of an orthogonal matrix which is not diagonalizable
- Connection between eigenvalues and eigenvectors of a matrix in different bases
- Harmonic number inequality
- If $a, b$ are relatively prime proof.
- $x,y,z \geqslant 0$, $x+y^2+z^3=1$, prove $x^2y+y^2z+z^2x < \frac12$
- Definition of adjoint functor similar to the definition of homotopy equivalence?
- how many distinct values does it have?
- Limit using Poisson distribution
- The Definition of the Absolute Value
- Why isn't there a good product formula for antiderivatives?
- What is the best way to define the diameter of the empty subset of a metric space?
- Why study finite-dimensional vector spaces in the abstract if they are all isomorphic to $R^n$?
- Solve a second order DEQ using Euler's method in MATLAB