Argument (complex analysis)

"Arg (mathematics)" redirects here. For argument of a function, see Argument of a function.

Figure 1. This Argand diagram represents the complex numbers lying on a plane. For each point on the plane,

arg

is the function which returns the angle

φ

In mathematics, arg is a function operating on complex numbers (visualized in a complex plane). It gives the angle between the positive real axis to the line joining the point to the origin, shown as $φ$ in figure 1, known as an argument of the point.

Definition

Figure 3. Two choices for the argument

φ

An argument of the complex number $z = x + iy$ , denoted $arg z$ , is defined in two equivalent ways:

Geometrically, in the complex plane, as the angle $φ$ from the positive real axis to the vector representing $z$ . The numeric value is given by the angle in radians and is positive if measured counterclockwise.
Algebraically, as any real quantity $φ$ such that

z=r(\cos \varphi +i\sin \varphi )=re^{i\varphi }

for some positive real

r

(see Euler's formula). The quantity

r

is the modulus of

z

, denoted |

z

r={\sqrt {x^{2}+y^{2}}}.

The names magnitude for the modulus and phase^[1] (or amplitude^[2]) for the argument are sometimes used equivalently.

Under both definitions, it can be seen that the argument of any (non-zero) complex number has many possible values: firstly, as a geometrical angle, it is clear that whole circle rotations do not change the point, so angles differing by an integer multiple of $2π$ radians (a complete circle) are the same. Similarly, from the periodicity of $sin$ and $cos$ , the second definition also has this property.

Principal value

Figure 4. The principal value

Arg

of the blue point at

1 + i

π/4

. The red line here is the branch cut and corresponds to the two red lines in figure 2 seen vertically above each other).

Because a complete rotation around 0 leaves a complex number unchanged, there are many choices which could be made for $φ$ by circling the origin any number of times. This is shown in figure 3, a representation of the multi-valued (set-valued) function, where a vertical line cuts the surface at heights representing all the possible choices of angle for that point.

When a well-defined function is required then the usual choice, known as the principal value, is the value in the open-closed interval $(-π rad, π rad]$ , that is from $-π$ to $π$ radians, excluding $-π$ rad itself (equivalently from −180 to +180 degrees, excluding −180° itself). This represents an angle of up to half a complete circle from the positive real axis in either direction.

Some authors define the range of the principal value as being in the closed-open interval $[0, 2π)$ .

Notation

The principal value sometimes has the initial letter capitalized as in $Arg z$ , especially when a general version of the argument is also being considered. Note that notation varies, so $arg$ and $Arg$ may be interchanged in different texts.

The set of all possible values of the argument can be written in terms of $Arg$ as:

\arg z=\{\operatorname {Arg}z+2\pi n\;|\;n\in {\mathbb Z}\}.

Covering space

Figure 2. The arguments of the complex plane are plotted vertically.

arg

measures the angle of points, shown by the fact that the outward radial lines, which have constant angle to the real axis, lie on the surface. The layered structure shows that each point has infinitely many arguments, each one corresponding an intersection between a vertical line through the point and the sheet. The red hatching indicates the surface corresponding to the principal value. See larger version.

In informal situations, $arg$ may be left not well-defined, for instance $arg z (t)$ where $z$ depends on a parameter $t$ may change by $2π$ every time $z$ goes around the origin. This idea can be made more precise by considering $z (t)$ as being defined not on the complex plane but on a covering space. Polar coordinates excluding the origin and with an unconstrained angle provide such a space, in this case $arg$ is defined by

{\begin{aligned}\arg :{\mathbb {R}}^{+}\smallsetminus \{0\}\times {\mathbb {R}}&\to {\mathbb {R}}\\(r,\,\varphi )&\mapsto \varphi .\end{aligned}}

The covering space is equivalent to the punctured complex plane:

{\mathbb {C}}\smallsetminus \{0\}

and has as base space the product of a positive non-zero radius and an angle on the unit circle:

{\mathbb {R}}^{+}\smallsetminus \{0\}\times {\mathbb {S}}^{1}.

The principal value $Arg$ then maps the covering space of this representation to the interval $(-π, π]$ :

{\begin{aligned}\operatorname {Arg}:{\mathbb {R}}^{+}\smallsetminus \{0\}\times {\mathbb {R}}&\to \left(-\pi ,\,\pi \right]\\(r,\,\varphi )&\mapsto \varphi .\end{aligned}}

Computation

The principal value $Arg$ of a complex number given as $x + iy$ is normally available in math libraries of many programming languages using the function atan2 or some language-specific variant. The value of $atan2(y, x)$ is the principal value in the range $(-π, π]$ .

Many texts say the value is given by $arctan(y / x)$ , as $y / x$ is slope, and $arctan$ converts slope to angle. This is correct only when $x > 0$ , so the quotient is defined and the angle lies between $- π /2$ and $π /2$ , but extending this definition to cases where $x$ is not positive is relatively involved. Specifically, one may define the principal value of the argument separately on the two half-planes $x > 0$ and $x < 0$ (separated into two quadrants if one wishes a branch cut on the negative $x$ -axis), $y > 0$ , $y < 0$ , and then patch together.

\operatorname {Arg}(x+iy)=\operatorname {atan2}(y,\,x)={\begin{cases}\arctan({\frac yx})&{\text{if }}x>0,\\\arctan({\frac yx})+\pi &{\text{if }}x<0{\text{ and }}y\geq 0,\\\arctan({\frac yx})-\pi &{\text{if }}x<0{\text{ and }}y<0,\\+{\frac {\pi }{2}}&{\text{if }}x=0{\text{ and }}y>0,\\-{\frac {\pi }{2}}&{\text{if }}x=0{\text{ and }}y<0,\\{\text{undefined}}&{\text{if }}x=0{\text{ and }}y=0.\end{cases}}

For the variant where $Arg$ is defined to lie in the interval $[0, 2π)$ , the value can be found by adding $2π$ to the value above when it is negative.

Alternatively, the principal value can be calculated in a uniform way using the tangent half-angle formula, the function being defined over the complex plane but excluding the origin:

\operatorname {Arg}(x+iy)={\begin{cases}2\arctan {\biggl (}{\frac {y}{{\sqrt {x^{2}+y^{2}}}+x}}{\biggr )}&{\text{if }}x>0{\text{ or }}y\neq 0,\\\pi &{\text{if }}x<0{\text{ and }}y=0,\\{\text{undefined}}&{\text{if }}x=0{\text{ and }}y=0.\end{cases}}

This is based on a parametrization of the circle (except for the negative $x$ -axis) by rational functions. This version of $Arg$ is not stable enough for floating point computational use (it may overflow near the region $x < 0, y = 0$ ) but can be used in symbolic calculation.

A variant of the last formula which avoids overflow is sometimes used in high precision computation:

\operatorname {Arg}(x+iy)={\begin{cases}2\arctan {\biggl (}{\frac {{\sqrt {x^{2}+y^{2}}}-x}{y}}{\biggr )}&{\text{if }}y\neq 0,\\0&{\text{if }}x>0{\text{ and }}y=0,\\\pi &{\text{if }}x<0{\text{ and }}y=0,\\{\text{undefined}}&{\text{if }}x=0{\text{ and }}y=0.\end{cases}}

Identities

One of the main motivations for defining the principal value $Arg$ is to be able to write complex numbers in modulus-argument form. Hence for any complex number $z$ ,

z=\left|z\right|e^{{i\operatorname {Arg}z}}.

This is only really valid if $z$ is non-zero but can be considered as valid also for $z = 0$ if $Arg(0)$ is considered as being an indeterminate form rather than as being undefined.

Some further identities follow. If $z 1$ and $z 2$ are two non-zero complex numbers, then

\operatorname {Arg}(z_{1}z_{2})\equiv \operatorname {Arg}(z_{1})+\operatorname {Arg}(z_{2}){\pmod {(-\pi ,\pi ]}},

\operatorname {Arg}{\biggl (}{\frac {z_{1}}{z_{2}}}{\biggr )}\equiv \operatorname {Arg}(z_{1})-\operatorname {Arg}(z_{2}){\pmod {(-\pi ,\pi ]}}.

If $z \neq 0$ and $n$ is any integer, then

\operatorname {Arg}\left(z^{n}\right)\equiv n\operatorname {Arg}(z){\pmod {(-\pi ,\pi ]}}.

Example

\operatorname {Arg}{\biggl (}{\frac {-1-i}{i}}{\biggr )}=\operatorname {Arg}(-1-i)-\operatorname {Arg}(i)=-{\frac {3\pi }{4}}-{\frac {\pi }{2}}=-{\frac {5\pi }{4}}={\frac {3\pi }{4}}{\pmod {(-\pi ,\pi ]}}.

References

Notes

↑ Dictionary of Mathematics (2002). phase.
↑ Knopp, Konrad; Bagemihl, Frederick (1996). Theory of Functions Parts I and II. Dover Publications. p. 3. ISBN 0-486-69219-1.

Bibliography

Ahlfors, Lars (1979). Complex Analysis: An Introduction to the Theory of Analytic Functions of One Complex Variable (3rd ed.). New York;London: McGraw-Hill. ISBN 0-07-000657-1.
Ponnuswamy, S. (2005). Foundations of Complex Analysis (2nd ed.). New Delhi;Mumbai: Narosa. ISBN 978-81-7319-629-4.
Beardon, Alan (1979). Complex Analysis: The Argument Principle in Analysis and Topology. Chichester: Wiley. ISBN 0-471-99671-8.
Borowski, Ephraim; Borwein, Jonathan (2002) [1st ed. 1989 as Dictionary of Mathematics]. Mathematics. Collins Dictionary (2nd ed.). Glasgow: HarperCollins. ISBN 0-00-710295-X.

External links

Weisstein, Eric W. "Complex Argument". MathWorld.

This article is issued from Wikipedia - version of the 11/20/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.