TheoremBase

Complex Power Series: the Sequence of Terms and the Sum as a Function on the Set of Convergence

For a complex sequence (ck)c_k), the terms ckc_k u(k−1)u^(k-1) and the coefficients 1/(k-1)! form sequences of complex numbers, and on a set where the power series converges its sum is a function into the complex numbers.

Statement

In the setting of Complex Analysis: Standing Notation, let (ck)(c_{k}) be a sequence in C\mathbb{C}. For k∈Nk\in\mathbb{N}, k−1∈N0k-1\in\mathbb{N}_{0} is the difference; the factorial n!n! of n∈N0n\in\mathbb{N}_{0} is read in C\mathbb{C}; and convergence of a series in C\mathbb{C} and its sum are as in Series of Complex Numbers: Partial Sums, Convergence, the Sum and Absolute Convergence (ii).

For every u∈Cu\in\mathbb{C} there is exactly one sequence in C\mathbb{C} whose kk-th term is ckuk−1c_{k}u^{k-1} for every k∈Nk\in\mathbb{N}.

For every n∈N0n\in\mathbb{N}_{0}, n!≠0n!\neq0 in C\mathbb{C}; and there is exactly one sequence in C\mathbb{C} whose kk-th term is 1/(k−1)!1/(k-1)! for every k∈Nk\in\mathbb{N}.

Let D⊆CD\subseteq\mathbb{C} be such that, for every u∈Du\in D, the series ∑k=1∞ckuk−1\sum_{k=1}^{\infty}c_{k}u^{k-1} of the sequence of (i) converges. Then there is exactly one function h:D→Ch:D\to\mathbb{C} with h(u)=∑k=1∞ckuk−1h(u)=\sum_{k=1}^{\infty}c_{k}u^{k-1} for every u∈Du\in D.

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…