Introductions to Abs

Introduction to the complex components

General

The study of complex numbers and their characteristics has a long history. It all started with questions about how to understand and interpret the solution of the simple quadratic equation (z^2)==-1.

It was clear that (1^2)==(((-1))^2)==1. But it was not clear how to get –1 from something squared.

This problem was intensively discussed in the 16th, 17th, and 18th centuries. As a result, mathematicians proposed a special symbol—the imaginary unit i, which is represented by i=(Sqrt[-1]):

L. Euler (1755) introduced the word "complex" (1777) and first used the letter i for denoting (Sqrt[-1]). Later, C. F. Gauss (1831) introduced the name "imaginary unit" for i.

Accordingly, (i^2)==-1 and (((-i))^2)==-1 and the above quadratic equation has two solutions as is expected for a quadratic polynomial:

The imaginary unit i was interpreted in a geometrical sense as the point with coordinates {0,1} in the Cartesian (Euclidean) x,y-plane with the vertical y-axis upward and the origin {0,0}. This geometric interpretation established the following representations of the complex number z through two real numbers x and y as:

where r=(Sqrt[(x^2)+(y^2)]) is the distance between points {x,y} and {0,0}, and φ is the angle between the line connecting the points {0,0} and {x,y} and the positive x-axis direction (the so-called polar representation).

The last formula lead to the basic relations:

which describe the main characteristics of the complex number z==x+i y—the so-called modulus (absolute value) r, the real part x, the imaginary part y, and the argument φ.

A new era in the theory of complex numbers and functions of complex arguments (analytic functions) arose from the investigations of L. Euler (1727, 1728). In a letter to Goldbach (1731) L. Euler introduced the notation e for the base of the natural logarithm e==2.71828182…, and he proved that e is irrational. Later on L. Euler (1740–1748) found a series expansion for (e^z), which lead to the famous very basic formula, connecting exponential and trigonometric functions:

This is known as the Euler formula (although it was already derived by R. Cotes in 1714).

The Euler formula allows presentation of the complex number z, using polar coordinates (r, φ) in the more compact form:

It also expressed the logarithm of complex numbers through the formula:

Taking into account that the cosine and sine have period 2π, it follows that (e^(i φ)) has period 2π i:

Generically, the logarithm function log(z) is the multivalued function:

For specifying just one value for the logarithm log(z) and one value of the argument φ for a given complex number z, the restriction -π < φ ≤ π for the argument φ is generally used.

During the 18th and 19th centuries many mathematicians worked on building the theory of the functions of complex variables, which was called the theory of analytic functions. Today this is a widely used theory, not only for the above-mentioned four complex components (absolute value, argument, real and imaginary parts), but for complimentary characteristics of a complex number z==x+i y==r (e^(i φ)) such as the conjugate complex number (OverBar[z])==x-i y and the signum (sign) z/r. J. R. Argand (1806, 1814) introduced the word "module" for the absolute value, and A. L. Cauchy (1821) was the first to use the word "conjugate" for complex numbers in the modern sense. Later K. Weierstrass (1841) introduced the notation |z| for the absolute value.

It was shown that the set of complex numbers and the set of real numbers have basic properties in common—they both are fields because they satisfy so-called field axioms. Complex and real numbers exhibit commutativity under addition and multiplication described by the formulas:

Complex and real numbers also have associativity under addition and multiplication described by the formulas:

and distributivity described by the formulas:

(The set of rational numbers p/q /;p∈ℤ∧q∈ℤ also satisfies all of the previous field axioms and is also a field. This set is countable, which means that each rational number can be numerated and placed in a definite position with a corresponding integer number n/; n==1,2,3,… . But the set of rational numbers does not include so-called irrational numbers like (Sqrt[2]) or π. The set of irrational numbers is much larger and cannot be numerated. The sets of all real and complex numbers form uncountable sets.)

The great success and achievements of the complex number theory stimulated attempts to introduce not only the imaginary unit i==(Sqrt[-1]) in the Cartesian (Euclidean) plane (x,y), but a similar special third unit j in Cartesian (Euclidean) three-dimensional space {x,y,z}, which can be used for building a similar theory of (hyper)complex numbers w==x+i y+j z:

Unfortunately, such an attempt fails to fulfill the field axioms. Further generalizations to build the so-called quaternions and octonions are needed to obtain mathematically interesting and rich objects.

Definitions of complex components

The complex components include six basic characteristics describing complex numbers-absolute value (modulus) |z|, argument (phase) Arg(z), real part Re(z), imaginary part Im(z), complex conjugate (OverBar[z]), and sign function (signum) sgn(z). It is impossible to define real and imaginary parts of the complex number z through other functions or complex characteristics. They are too basic, so their symbols can be described by simple sentences, for example, "Re(z) gives the real part of the number z," and "Im(z) gives the imaginary part of the number z."

All other complex components are defined by the following formulas:

Geometrically, the absolute value (or modulus) of a complex number z==x+i y/;x∈ℝ∧y∈ℝ is the Euclidean distance from z to the origin, which can also be described by the formula:

Geometrically, the argument of a complex number z is the phase angle (in radians) that the line from 0 to z makes with the positive real axis. So, the complex number z==x+i y/;x∈ℝ∧y∈ℝ can be presented by the formulas:

Geometrically, the real part of a complex number z is the projection of the complex point z on the real axis. So, the real part of the complex number z==x+i y/;x∈ℝ∧y∈ℝ can be presented by the formulas:

Geometrically, the imaginary part of a complex number z is the projection of complex point z on the imaginary axis. So, the imaginary part of the complex number z==x+i y/;x∈ℝ∧y∈ℝ can be presented by the formulas:

Geometrically, the complex conjugate of a complex number z is the complex point (OverBar[z]), which is symmetrical to z with respect to the real axis. So, the conjugate value (OverBar[z]) of the complex number z==x+i y/;x∈ℝ∧y∈ℝ can be presented by the formulas:

Geometrically, the sign function (signum) is the complex point sgn(z) that lays on the intersection of the unit circle |z|==1 and the line from 0 to z (if z≠0). So, the conjugate value sgn(z) of the complex number z==x+i y/;x∈ℝ∧y∈ℝ can be presented by the formulas:

A quick look at the complex components

Here is a quick look at the graphics for the complex components of the complex components over the complex z-plane. The empty graphic indicates that the function value is not real.

Connections within the group of complex components and with other function groups

Representations through more general functions

All six complex component functions z->|z|, z->Arg(z), z->Re(z), z->Im(z), z->(OverBar[z]), and sz->gn(z) cannot be easily represented by more generalized functions because most of them are analytic functions of their arguments. But sometimes such representations can be found through Meijer G functions, for example:

Representations through other functions

All six complex components |z|, Arg(z), Re(z), Im(z), (OverBar[z]), and sgn(z) satisfy numerous internal relations of the type f(z)==g((Subscript[f, 1])(z),z), where f(z) and (Subscript[f, 1])(z) are different complex components and g is a basic arithmetic operation or (composition of) elementary functions. The most important of these relations are represented in the following table:

Other internal relations between complex components of the type f(z)==g((Subscript[f, 1])(z),(Subscript[f, 2])(z) ,z), where f(z) and (Subscript[f, j])(z) are different complex components that also exist. Some of them are shown here:

Here are some more formulas of the last type:

(here θ(x) is the Heaviside theta function, also called the unit step function).

The first table can be rewritten using the notations z==x+i y/;x∈ℝ∧y∈ℝ:

The best-known properties and formulas for complex components

Real values for real arguments

For real values of argument z, the values of all six complex components |z|, Arg(z), Re(z), Im(z), (OverBar[z]), and sgn(z) are real.

Simple values at zero

The six complex components |z|, Arg(z), Re(z), Im(z), (OverBar[z]), and sgn(z) have the following values for the argument z==0:

Specific values for specialized variable

The six complex components |z|, Arg(z), Re(z), Im(z), (OverBar[z]), and sgn(z) have the following values for some concrete numeric arguments:

Restricted arguments have the following formulas for the six complex components |z|, Arg(z), Re(z), Im(z), (OverBar[z]), and sgn(z):

The values of complex components |z|, Arg(z), Re(z), Im(z), (OverBar[z]), and sgn(z) at any infinity can be described through the following:

Analyticity

All six complex components |z|, Arg(z), Re(z), Im(z), (OverBar[z]), and sgn(z) are not analytical functions. None of them fulfills the Cauchy–Riemann conditions and as such the value of the derivative depends on the direction. The functions |z|, Arg(z), Re(z), and Im(z) are real-analytic functions of the variable z (except, maybe, z≠0). The real and the imaginary parts of (OverBar[z]) and sgn(z) are real-analytic functions of the variable z.

Sets of discontinuity

The four complex components |z|, Re(z), Im(z), and (OverBar[z]) are continuous functions in ℂ.
The function sgn(z) has discontinuity at point z==0.

The function Arg(z) is a single-valued, continuous function on the z-plane cut along the interval (-∞, 0), where it is continuous from above. Its behavior can be described by the following formulas:

Periodicity

All six complex components |z|, Arg(z), Re(z), Im(z), (OverBar[z]), and sgn(z) do not have any periodicity.

Parity and symmetry

All six complex components |z|, Arg(z), Re(z), Im(z), (OverBar[z]), and sgn(z) have mirror symmetry:

The absolute value |z| is an even function. The four complex components Re(z), Im(z), (OverBar[z]), and sgn(z) are odd functions. The argument Arg(z) is an odd function for almost all z:

Homogeneity

The six complex components |z|, Arg(z), Re(z), Im(z), (OverBar[z]), and sgn(z) have the following homogeneity properties:

Scale symmetry

Some complex components have scale symmetry:

Series representations

The functions |x| and sgn(x) with real x have the following series expansions near point x==0:

Integral representations

The function sgn(x) with real x has the following contour integral representation:

Limit representations

The functions |x| and sgn(x) with real x have the following limit representations:

Transformations

The values of all complex components |z|, Arg(z), Re(z), Im(z), (OverBar[z]), and sgn(z) at the points -z, i z, –i z, a z/;a∈ℝ, (1/z), (z^a), (e^z), and (e^(i z)) are given by the following identities:

The values of all complex components |z|, Arg(z), Re(z), Im(z), (OverBar[z]), and sgn(z) at the points (Subscript[z, 1])+(Subscript[z, 2]), (Subscript[z, 1]) (Subscript[z, 2]), and ((Subscript[z, 1])/(Subscript[z, 2])) are described by the following table:

Some complex components can be easily evaluated in more general cases of the points including symbolic sums and products of (Subscript[z, k]), k=1,…,n, for example:

The previous tables and formulas can be modified or simplified for particular cases when some variables become real or satisfy special restrictions, for example:

Taking into account that complex components have numerous representations through other complex components and elementary functions such as the logarithm, exponential function, or the inverse tangent function, all of the previous formulas can be transformed into different equivalent forms. Here are some of the resulting formulas for the power function z->(z^α):

Similar identities can be derived for the exponent functions, such as:

Some arithmetical operations involving complex components or elementary functions of complex components are:

Complex characteristics

The next two tables describe all the complex components applied to all complex components |z|, Arg(z), Re(z), Im(z), (OverBar[z]), and sgn(z) at the points z and z==x+i y/;x∈ℝ∧y∈ℝ:

Differentiation

The derivatives of five complex components |x|, Re(x), Im(x), (OverBar[x]), and sgn(x) at the real point x∈ℝ can be interpreted in a real-analytic or distributional sense and are given by the following formulas:

where δ(x) is the Dirac delta function.

It is impossible to make a classical, direction-independent interpretation of these derivatives for complex values of variable x because the complex components do not fulfill the Cauchy-Riemann conditions.

Indefinite integration

The indefinite integrals of some complex components at the real point x∈ℝ can be represented by the following formulas:

Definite integration

The definite integrals of some complex components in the complex plane can also be represented through complex components, for example:

Some definite integrals including absolute values can be easily evaluated, for example (in the Hadamard sense of integration, the next identity is correct for all complex values of n):

Integral transforms

Fourier integral transforms of the absolute value and signum functions |t| and sgn(t) can be evaluated through generalized functions:

Laplace integral transforms of these functions can be evaluated in a classical sense and have the following values:

Differential equations

The absolute value function |x| for real x∈ℝ satisfies the following simple first-order differential equation understandable in a distributional sense:

In a similar manner:

Inequalities

All six complex components |z|, Arg(z), Re(z), Im(z), (OverBar[z]) and sgn(z) satisfy numerous inequalities. The best known are so-called triangle inequalities for absolute values:

Some other inequalities can be described by the following formulas:

Zeros

The six complex components |z|, Arg(z), Re(z), Im(z), (OverBar[z]), and sgn(z) have the set of zeros described by the following formulas:

Applications of complex components

All six complex components are used throughout mathematics, the exact sciences, and engineering.

Copyright