Intereting Posts

How to use mathematical induction with inequalities?
Why does the empty set have a cardinality of zero?
graph vertex chromatic number in a union of 2 sub-graphs
Is every open subset of $ \mathbb{R} $ uncountable?
Why is the following NOT a proof of The Chain Rule?
probability of rolling at least $n$ on $k$ 6-sided dice
Generating sequences using the linear congruential generator
Let $f$ be an analytic isomorphism on the unit disc $D$, find the area of $f(D)$
Definition of the principal symbol of a differential operator on a real vector bundle.
Smash product of compact spaces
consider the group $G=\mathbb Q/\mathbb Z$. For $n>0$, is there a cyclic subgroup of order n
Every planar graph has a vertex of degree at most 5.
What is the difference between Hom and Sheaf Hom?
write $\iiint_E \hspace{1mm}dV$ in 6 forms. where $E = \left\{ (x, y, z)|0\leq z\leq x+y, x^2\leq y\leq \sqrt{x},0\leq x\leq 1\right\}$
Is every set countable according to some outer model?

Let $\Omega$ be the right half plane excluding the imgainary axis and $f\in H(\Omega)$ such that $|f(z)|<1$ for all $z\in\Omega$. If there exists $\alpha\in(-\frac{\pi}{2},\frac{\pi}{2})$ such that $$\lim_{r\rightarrow\infty}\frac{\log|f(re^{i\alpha})|}{r}=-\infty$$ prove that $f=0$.

The hint is define $g_n(z)=f(z)e^{nz}$, then by previous exericise $|g_n|<1$ for all $z\in\Omega$.

- A question on measure space and measurable function
- Showing $\int_0^{2\pi} \log|1-ae^{i\theta}|d\theta=0$
- Using integral definition to solve this integral
- Properties of $||f||_{\infty}$ - the infinity norm
- Use $\sum_{n=1}^\infty \frac{1}{n^4} = \frac{\pi^4}{90}$ to compute $\sum_{n=1}^\infty \frac{(-1)^n}{n^4}$
- Showing $1,e^{x}$ and $\sin{x}$ are linearly independent in $\mathcal{C}$

- $f^3 + g^3=1$ for two meromorphic functions
- Specifying a holomorphic function by a sequence of values
- An entire function with periodic bounds
- Computing Residues
- Proving $\left(\sum_{n=-\infty}^\infty q^{n^2} \right)^2 = \sum_{n=-\infty}^\infty \frac{1}{\cos(n \pi \tau)}$
- Finite dimensional subspace of $C()$
- How to show that $\phi_a(z)=\frac{z-a}{1-\bar{a}z}$ is mapping $\phi_a(z):\mathbb{D} \rightarrow \mathbb{D}$?
- Finding Laurent Series of $ f(z) = \frac{z^2-2z+5}{(z-2)(z^2+1)}$ at $z=2$.
- How not to prove the Riemann hypothesis
- Proof to show function f satisfies Lipschitz condition when derivatives f' exist and are continuous

Let $\delta $ be a positive real number and $\tilde{f}(z)=f(z+\delta e^{i\alpha })$. It is easy to see that

$\tilde{f}(z)\in H(\Pi)$, $|\tilde{f}(z)|<1$ and

$$

\lim_{r\rightarrow\infty}\frac{\log|\tilde{f}(re^{i\alpha})|}{r}=-\infty.

$$

Of course $\tilde{f}(z) \in C(\bar\Pi)$.

Therefore Eclipse Sun’s argument may apply to $\tilde{g}_n(z)=\tilde{f}(z)e^{nz}$ and we have $\tilde{f}=0$, which implies $f(z)=0$ for $\operatorname{Re}\, z>\delta $. Since we can take $\delta>0$ arbitrarily (or by the coincidence theorem) we see $f=0$ for all $z\in \Pi$.

I can only give a partial proof.

Let $g_n(z)=f(z)e^{nz}$, $n=1,2,\ldots$, and $g_n(z)\in H(\Pi)$.

**Assume $g_n(z)\in C(\bar\Pi)$.**

Let $K_1=\{re^{i\theta}\mid\theta\in(\alpha,\pi/2)\}$, $K_2=\{re^{i\theta}\mid-\theta\in(\alpha,\pi/2)\}$ and $K_3=\Pi\setminus(K_1\cup K_2)$. By the assumption $\lim_{r\rightarrow\infty}\frac{\log|f(re^{i\alpha})|}{r}=-\infty$, $g_n(z)$ is bounded on each sector $K_i$. Since $g_n(z)$ doesn’t grow too fast, by Phragmen-Lindelöf’s principle for sectors, $g_n(z)$ is bounded in $\Pi$.

By Phragmen-Lindelöf’s principle again, this time for the right half plane, $|g_n(z)|\le1$. Since it is true for all $n$, we must have $f=0$.

It remains to show that the assumption $g_n(z)\in C(\bar\Pi)$ is true, or it is redundant.

- If $x^2$ is not uniformly continuous then how does this theorem hold?
- Limit of sums of iid random variables which are not square-integrable
- Relative entropy is non-negative
- Integrating trigonometric function problem $\int \frac{3\sin x+2\cos x}{2\sin x+3\cos x}dx$
- Show that $f(x) = \log\log(\frac{e}{\Vert x \Vert_{2}})$ is in Sobolev space $W^{1,p}(B_1(0))$
- Cholesky factor when adding a row and column to already factorized matrix
- Product of spheres embeds in Euclidean space of 1 dimension higher
- Prove that $x^\alpha \cdot\sin(1/x)$ is absolutely continuous on $(0,1)$
- Continuous on rationals, discontinuous on irrationals
- When chessboards meet dominoes
- Finding Matrix A from Eigenvalues and Eigenvectors (Diagonalization)
- Careful proof of $A \subseteq (B \cup C) \iff A \setminus C \subseteq B$
- How to solve this recurrence $T(n)=2T(n/2)+n/\log n$
- Simplify sum of factorials with mathematical induction
- Prove that if the $\gcd(a,b)=1$, then $\gcd(a+b,ab)=1$