TheoremBase

The Complex Exponential: the Functional Equation, Conjugates, Real Arguments and the Modulus

The complex exponential satisfies exp 0 = 1 and exp(z+w) = exp z exp w, never vanishes, with exp(-z) = 1/exp z, commutes with conjugation, agrees with the real exponential on real arguments, and has modulus the real exponential of the real part, so |exp(iy)| = 1 for real y.

Statement

In the setting of Complex Analysis: Standing Notation, let exp⁡:C→C\exp:\mathbb{C}\to\mathbb{C} be the complex exponential function, and let z,w∈Cz,w\in\mathbb{C}.

Zero. exp⁡0=1\exp 0=1.

The functional equation.

exp⁡(z+w)=exp⁡z⋅exp⁡w.\exp(z+w)=\exp z\cdot\exp w .

Reciprocals. exp⁡z≠0\exp z\neq0, and

exp⁡(−z)=1exp⁡z.\exp(-z)=\frac{1}{\exp z}.

Conjugates.

exp⁡z‾=exp⁡z‾.\overline{\exp z}=\exp\overline{z}.

Real arguments. For every real number xx,

exp⁡x=exp⁡R(x);\exp x=\exp_{\mathbb{R}}(x);

in particular exp⁡x\exp x is a real number.

The modulus.

∣exp⁡z∣=exp⁡R(Re⁡z),|\exp z|=\exp_{\mathbb{R}}(\operatorname{Re}z),

and ∣exp⁡(iy)∣=1|\exp(iy)|=1 for every real number yy.

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…