Is every entire function is a sum of an entire function bounded on every horizontal strip and an entire function bounded on every vertical strip?

643 Views Asked by At

Is it true that every entire function is a sum of an entire function bounded on every horizontal strip (horizontal strip is a set of the form $H_y:=\{x+iy : x \in \mathbb R \}$ ) and an entire function bounded on every vertical strip (vertical strip is a set of the form $V_x:=\{x+iy:y\in \mathbb R \}$) ? I see no way of rigorously deciding it anyway.

NOTE : By entire function , I mean any holomorphic function $f: \mathbb C \to \mathbb C$

1

There are 1 best solutions below

6
On

The existence of a decomposition can be proved using Arakelian's approximation theorem. Consider the two regions in the complex plane \begin{align} S_1 &=\left\{z\in\mathbb C\colon \lvert\Re(z)\rvert\ge\lvert\Im(z)\rvert+1\right\}.\\ S_2 &=\left\{z\in\mathbb C\colon \lvert\Im(z)\rvert\ge\lvert\Re(z)\rvert+1\right\}. \end{align} These are disjoint closed sets with $S_1$ containing each horizontal strip up to a bounded set and $S_2$ containing each vertical strip up to a bounded set.

Their union $S=S_1\cup S_2$ is an Arakelian set. That is, it is a closed subset of $\mathbb{C}$ whose complement does not contain any bounded connected components and such that, for each closed disk $D$, the union of the bounded components of $\mathbb{C}\setminus(S\cup D)$ is bounded (it is empty, so trivially bounded).

For an entire function $f$, define $G\colon S\to\mathbb C$ by $G(z)=f(z)$ on $S_2$ and $G(z)=0$ on $S_1$. Then, Arakelian's approximation theorem states that, for any $\epsilon > 0$, there is an entire function $g$ with $\lvert g-G\rvert\le\epsilon$ on $S$. Setting $h=f-g$ decomposes $f=g+h$, with $g$ bounded on $S_1$ and hence on horizontal strips, and $h$ bounded on $S_2$ and hence on vertical strips.