Argument (complex analysis)

Argument (complex analysis)
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 (visualised as a flat plane). It gives the angle between the line joining the point to the origin and the positive real axis, shown as φ in figure 1 opposite, known as an argument of the point (that is, the angle between the half-lines of the position vector representing the number and the positive real axis).

Contents

Definition

Figure 3. Two choices for the argument φ

Arguments are defined in two equivalent ways:

  • Geometrically, in relation to an Argand diagram, arg z is 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 anticlockwise.
  • Algebraically, an argument of the complex number z = x + iy is any real quantity φ such that
z = x + iy = rcos φ + irsin φ
for some positive real r. The quantity r is the modulus of z, written
 r = |z| = \sqrt{x^2+y^2}.

The names amplitude[1] or phase[2] 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 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 is π/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 2, 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 (−π, π], that is from −π to π radians, excluding −π itself (−180 to +180 degrees). This represents an angle of up to half a complete circle from the positive real axis in either direction, the angle φ is constrained to lie between −π and π radians. This portion of the surface is shown hatched in red in figure 2, and projected onto the plane in figure 4.

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.

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

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 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{align}
\arg \colon \mathbb{R}^+\times\mathbb{R} &\to \mathbb{R} \\
(r,\ \phi) &\mapsto  \phi
\end{align}

The covering space has as base space the punctured complex plane. This is equivalent to the product of a positive non-zero radius and an angle on a unit circle that is:

\mathbb{C}\backslash\{0\} = \mathbb{R}^+ \times \mathbb{S}^1

The principal value Arg then maps the unit circle component of this representation to the interval (−π, π].

Computation

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

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:

\begin{align}
\operatorname{Arg}: \mathbb{C} \backslash \{0\} &\to (-\pi,\pi] \\
x+i y & \mapsto
\begin{cases}
2 \arctan \frac{y}{\sqrt{x^2+y^2}+x} & \qquad x > 0 \text{ or } y \ne 0  \\
\pi & \qquad x < 0 \text{ and } y = 0 \\
\text{undefined} & \qquad  x = 0 \text{ and } y = 0
\end{cases}
\end{align}

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 numerical use but can be used in symbolic calculation. In many programming libraries there is a function called atan2 which performs an equivalent computation.

Alternatively, 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 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 argument separately on the four half-planes x > 0, 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, via

\begin{cases}
\arctan y/x & \qquad x > 0\\
\pi/2 - \arctan x/y & \qquad y > 0\\
-\pi/2 - \arctan x/y & \qquad y < 0\\
\pi + \arctan y/x & \qquad x < 0, y \geq 0\\
-\pi + \arctan y/x & \qquad x < 0, 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 to the value above when it is negative.

Identities

One of the main motivations for defining the principal value arg is to be able to write complex numbers in modulus-argument form (the modulus of z = x + iy is |z| = √(x2 + y2), the length of the vector on the Argand diagram). Hence for any complex number z,

 z = \left| z \right| e ^ { i \arg \left( z \right) } .

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 z1 and z2 are two non-zero complex numbers then

\arg\left(z_1  z_2\right) = \arg(z_1) + \arg(z_2) \pmod {2\pi} , and
\arg\left(\frac{z_1}{z_2}\right) = \arg(z_1) - \arg(z_2) \pmod {2\pi} .

If z ≠ 0 and n is any integer then

\arg\left(z^n\right) = n \arg(z) \pmod {2\pi} .

Example


\arg\left(\frac{-1- i}{i}\right) = \arg(-1-i) - \arg(i) = -\frac{3\pi}{4} - \frac{\pi}{2} = -\frac{5\pi}{4}\ \stackrel{\pmod {2\pi}}{\longrightarrow}\quad \frac{3\pi}{4}.

References

Notes

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

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 0070006571. 
  • Beardon, Alan (1979). Complex analysis: the argument principle in analysis and topology. Chichester: Wiley. ISBN 0471996718. 
  • Borowski, Ephraim; Borwein, Jonathan (2002) [1st ed. 1989 as Dictionary of Mathematics]. Mathematics. Collins Dictionary (2nd ed.). Glasgow: HarperCollins. ISBN 000710295X. 

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Complex analysis — Plot of the function f(x)=(x2 1)(x 2 i)2/(x2 + 2 + 2i). The hue represents the function argument, while the brightness represents the magnitude. Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch …   Wikipedia

  • List of complex analysis topics — Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematics that investigates functions of complex numbers. It is useful in many branches of mathematics, including number theory and applied …   Wikipedia

  • Liouville's theorem (complex analysis) — In complex analysis, Liouville s theorem, named after Joseph Liouville, states that every bounded entire function must be constant. That is, every holomorphic function f for which there exists a positive number M such that | f ( z )| ≤ M for all… …   Wikipedia

  • Complex number — A complex number can be visually represented as a pair of numbers forming a vector on a diagram called an Argand diagram, representing the complex plane. Re is the real axis, Im is the imaginary axis, and i is the square root of –1. A complex… …   Wikipedia

  • Complex plane — Geometric representation of z and its conjugate in the complex plane. The distance along the light blue line from the origin to the point z is the modulus or absolute value of z. The angle φ is the argument of z. In mathematics …   Wikipedia

  • analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… …   Universalium

  • Complex logarithm — A single branch of the complex logarithm. The hue of the color is used to show the arg (polar coordinate angle) of the complex logarithm. The saturation (intensity) of the color is used to show the modulus of the complex logarithm. The page with… …   Wikipedia

  • Argument principle — In complex analysis, the Argument principle (or Cauchy s argument principle) states that if f ( z ) is a meromorphic function inside and on some closed contour C , with f having no zeros or poles on C , then the following formula holds: oint {C}… …   Wikipedia

  • Argument (disambiguation) — In general parlance, an argument is a discussion involving conflicting points of view. General types of argument * Argument, a demonstration of a proof, or using logical reasoning for persuasion * Argument form, the logical structure of an… …   Wikipedia

  • Complex argument (continued fraction) — In analysis, the complex argument theta; = arg( z ) is commonly defined as an angle, often in terms of the inverse tangent function, or the inverse cosine. In a purely formal and perfectly rigorous treatment of the complex numbers, such reliance… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”