Intereting Posts

How to find an irrational number in this case?
Why this graph has automorphism group is isomorphic to the cyclic group of order 4?
Bounded functionals on Banach spaces.
An explicit construction for a “doubly weak” topology
Continuous function satisfying $f^{k}(x)=f(x^k)$
obtain a three-term asymptotic solution
Long exact sequence into short exact sequences
When is the quotient space of a second countable space second countable?
Example of non-trivial number field
Exponential function properties for rational numbers.
Prove that for any nonnegative integer n the number $5^{5^{n+1}} + 5^{5 ^n} + 1$ is not prime
How does Wolfram Alpha come up with the substitution $x = 2\sin u$? Integration/Analysis
Gradient and Hessian of this function
The form of the subgroup of a finite abelian $p$-group
Alternative construction of the tensor product (or: pass this secret)

Let $\mathcal{F}$ be a family of analytic functions in a domain $G$. Denote by $\mathcal{F}’:=\{ f’ \mid f \in \mathcal{F}\}$. It does not suffice to know that $\mathcal{F}’$ is normal to ensure that $\mathcal{F}$ is normal (namely take $\mathcal{F} = \{ n \mid n \in \mathbb{N}\}$ as a counterexample) but someone assured me that if you assume at some fixed point $z_0 \in G$, if you know that $f(z_0) = 0$ for all $f \in \mathcal{F}$ and that $\mathcal{F}’$ is normal, then $\mathcal{F}$ is normal. But I can’t see how to do it.

A friend tried something with line integrals to show that the $f$ are locally bounded on compact subsets, but he only considered compact sets that were the image of a path, which I don’t think is sufficient. Which characterization of normality should I try (local boundedness? convergence in the space of functions?)? Does anyone have an idea?

- Simple linear map question
- Integral $\int_0^{\pi/2} \frac{\sin^3 x\log \sin x}{\sqrt{1+\sin^2 x}}dx=\frac{\ln 2 -1}{4}$
- For $f$ entire and $\{f(kz) : k \in \mathbb{C}\}$ a normal family, prove that $f$ is a polynomial.
- consider the following subsets of complex plane
- Prove that $ \sum_{n=0}^\infty \frac{z^{2^n}}{1-z^{2^{n+1}}}=\frac{z}{1-z} $
- Rational function which is bijective on unit disk

- How many roots of a polynomial have positive real part?
- complex numbers and 2x2 matrices
- Show that if $|f(z)| \leq M |z|^n$ then $f$ is a polynomial max degree n
- Analyticity of $\overline {f(\bar z)}$ given $f(z)$ is analytic
- Riemann zeta function and the volume of the unit $n$-ball
- Primitive of holomorphic Function $\frac{1}{z}$ on an Annulus.
- What is the value of $\int_C\dfrac{f(z)}{z-z_0}dz?$
- Sets of uniqueness in $\mathbb{C}^2$
- Calculating the integral $\int_0^{\infty}{\frac{\ln x}{1+x^n}}$ using complex analysis
- an “alternate derivation” of Poisson summation formula and discrete Fourier transformation

Let $\mathcal{F}$ be a family of analytic functions in a (connected) domain $G$

and assume that

- $\mathcal{F}’:=\{ f’ \mid f \in \mathcal{F}\}$ is normal

and - $\{ f(a) \mid f \in \mathcal{F}\}$ is bounded for some

$a \in G$.

Then $ \mathcal{F}$ is normal.

**Part 1:**

First we prove this for the special case that $G = D$ is an open *disk*:

Let $(f_n)$ be a sequence in $\mathcal{F}$. $\mathcal{F}’$ is normal,

so there exists a subsequence $f_{n_k}$ such that $f_{n_k}’$ is locally uniformly convergent

in $D$. $\{ f_{n_k}(a) \mid f \in \mathcal{F}\}$ is bounded and has

a convergent subsequence, so by taking

another subsequence we can assume that

$$

f_{n_k}’ \to g \text{ in } D \, , \quad f_{n_k}(a) \to w

$$

Now define for $z \in D$

$$

G(z) = w + \int_{[a, z]} g(t) \, dt

$$

where $[a, z]$ is the straight line from $a$ to $z$. $G$ is holomorphic in

$D$ and $G’ = g$, therefore

$$

f_{n_k}(z) – G(z) = f_{n_k}(a) – w + \int_{[a, z]} (f_{n_k}'(t) – g(t)) \, dt

$$

If $K \subset D$ is compact then choose a closed disc $B$ such that

$a \in B$ and $K \subset B \subset D$. Then $[a, z] \subset B$ for all $z \in K$ and therefore

$$

| f_{n_k}(z) – G(z)| \le | f_{n_k}(a) – w | + \text{diam}(D) \sup_{t \in B} | f_{n_k}'(t) – g(t)|

$$

and that converges to zero uniformly on $K$.

**Part 2:**

In order to generalize this to an arbitrary domain $G$ we define

$$

A := \{ z \in G \mid \mathcal{F} \text{ is normal in a neighborhood of } z \} \, .

$$

The aim is to show that $A = G$ by proving

- $A$ is open in $G$.
- $G \setminus A$ is open in $G$.
- $A$ is not empty.

Now (1) follows directly from the definition of $A$. Part 1 shows that $a \in A$, this is (3).

To prove (2) assume that $b \in G \setminus A$. Let $D$ be a disk

with center $b$ which is contained in $G$.

We’ll show that $D \subset G \setminus A$.

Assume that there exists a $c \in D \cap A$. Then $\mathcal{F}$

is normal in a neighborhood of $c$ and that implies that

$\{ f(c) \mid f \in \mathcal{F}\}$ is bounded.

(Otherwise $|f_n(c)| \to \infty$ for some sequence in $\mathcal{F}$,

but $(f_n)$ has a subsequence which converges in particular at

the point $c$.)

From part 1 it follows that $\mathcal{F}$

is normal in $D$ in contradiction to the assumption that $b \in G \setminus A$.

This proves that $ G \setminus A$ is open.

**Part 3:**

$G$ is *connected*, therefore from (1, 2, 3) above it follows

that $A = G$, i.e. *every* $z \in G$ has a neighborhood $U(z)$

such that $\mathcal{F}$ is normal in $U(z)$.

Since $G$ is the countable union of compact subsets, and each

compact subset is covered by finitely many $U(z)$, a classical

diagonal argument shows that $ \mathcal{F}$ is normal in $G$.

(Compare If a family of meromorphic functions is normal near each point in a region, then it's normal in the region.)

I may have worked it out. If anyone finds an issue, let me know!

Let $\{f_n\}$ be a sequence in $\mathcal F$. It suffices to show that $\{ f_n\}$ has a subsequence which converges uniformly on compact subsets of the domain $G$. Let $\{f_n’\}$ be the corresponding sequence of derivatives. Since $\mathcal F’$ is a normal family, we have that $\{ f_n’\}$ has a convergent subsequence, $\{f_{n_k}’\}$ which converges uniformly on compact subsets to a function $g \in \mathcal F’$. By the definition of $\mathcal F’$, we must have that $g = f’$ for some $f \in \mathcal F$.

Now we’d like to show that $\{f_{n_k}\}$ converges uniformly on compact sets to $f$. But since the $f_{n_k}’ \rightarrow f’$, applying the Fundamental Theorem of Calculus and continuity of the integral we have $\int f_{n_k}’ \rightarrow \int f’$ so $f_{n_k}(z) + C_{n_k} \rightarrow f(z) + C$. But since each $f_{n_k}$ and $f$ is in $\mathcal F$, we have that $f(0) = f_{n_k}(0) = 0$ and so the $C_{n_k} \rightarrow C$. Thus $f_{n_k} \rightarrow f$ uniformly on compact subsets, and so since the sequence $\{f_n\}$ was arbitrary, $\mathcal F$ is a normal family.

I’m worried about playing with the constants of integration (basically the FTC step in general) but I think it should work.

- Tensor products of maps
- To confirm the Novikov's condition
- Finding the upper and lower limit of the following sequence.
- Proof that an affine scheme is quasi compact
- the concept of Mathematical Induction
- generic rule matrix differentiation (Hadamard Product, element-wise)
- Prove that $A$ is diagonalizable iff $\mbox{tr} A\neq 0$
- Lower and upper bounds for the length of phi-chains wanted
- Prove if $f:\rightarrow \mathbb{R}$ is continous and not everywhere zero, then $\int_{a}^{b}f^2(x)dx>0.$
- Solve the following PDE using Fourier transform
- General condition that Riemann and Lebesgue integrals are the same
- Set of all injective functions $A\to A$
- Interpretation of $\epsilon$-$\delta$ limit definition
- Probability of consecutive dice rolls
- Locally connected and compact Hausdorff space invariant of continuous mappings