Complex Exponential is Uniformly Continuous on Half-Planes

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $a\in\R$.

Then $\exp$ is uniformly continuous on the half-plane $\{z\in\C : \Re(z) \leq a\}$.


Corollary

Let $X$ be a set.

Let $(g_n)$ be a family of mappings $g_n : X\to\C$.

Let $g_n$ converge uniformly to $g:X\to\C$.

Let there be a constant $a\in\R$ such that $\Re( g(x)) \leq a$ for all $x\in X$.


Then $\exp g_n$ converges uniformly to $\exp g$.


Proof

Let $\epsilon>0$.

For $x,y\in\C$ with $\Re (x),\Re (y)\leq a$,

\(\displaystyle \vert e^x-e^y\vert\) \(=\) \(\displaystyle \vert e^y\vert\cdot \vert e^{x-y}-1\vert\)
\(\displaystyle \) \(=\) \(\displaystyle e^{\Re (y)}\cdot \vert e^{x-y}-1\vert\) Absolute Value of Complex Exponential
\(\displaystyle \) \(\leq\) \(\displaystyle e^{a}\cdot \vert e^{x-y}-1\vert\) Exponential is Strictly Increasing

Because Exponential Function is Continuous, there exists $\delta>0$ such that $\vert e^{z}-1\vert<\epsilon$ for $|z|<\delta$.

Thus if $|x-y|<\delta$, $\vert e^x-e^y\vert < e^a\epsilon$.

Thus $\exp$ is uniformly continuous.

$\blacksquare$