TheoremBase

The Complex Exponential Series Converges Absolutely, and Its Sum Is a Function on ℂ

For every complex z the series of z(k−1)/(k−1)z^(k-1)/(k-1)! over k from 1 converges absolutely, and its sums form a function from the complex numbers to the complex numbers.

Statement

In the setting of Complex Analysis: Standing Notation, let convergence and sums and absolute convergence of series in C\mathbb{C} be as in Series of Complex Numbers: Partial Sums, Convergence, the Sum and Absolute Convergence. For z∈Cz\in\mathbb{C} and k∈Nk\in\mathbb{N}, k−1∈N0k-1\in\mathbb{N}_{0} is the difference, zk−1z^{k-1} is the power, with z0=1z^{0}=1, and the factorial (k−1)!(k-1)! is read in C\mathbb{C}.

The terms. For every z∈Cz\in\mathbb{C} there is exactly one sequence in C\mathbb{C} whose kk-th term is zk−1/(k−1)!z^{k-1}/(k-1)! for every k∈Nk\in\mathbb{N}.

Absolute convergence. For every z∈Cz\in\mathbb{C} the series

∑k=1∞zk−1(k−1)!\sum_{k=1}^{\infty}\frac{z^{k-1}}{(k-1)!}

of the sequence of (i) converges absolutely, and in particular converges.

The sum as a function. There is exactly one function E:C→CE:\mathbb{C}\to\mathbb{C} with E(z)=∑k=1∞zk−1(k−1)!E(z)=\sum_{k=1}^{\infty}\frac{z^{k-1}}{(k-1)!} for every z∈Cz\in\mathbb{C}.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…