Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Argument (complex analysis)

From Wikipedia, the free encyclopedia
Angle of complex number about real axis
Not to be confused withArgument of a function.
For other uses, seeArgument (disambiguation).
Figure 1. ThisArgand diagram represents thecomplex number lying on aplane. For each point on the plane,arg is the function which returns the angleφ{\displaystyle \varphi }.

Inmathematics (particularly incomplex analysis), theargument of a complex numberz, denotedarg(z), is theangle between the positiverealaxis and the line joining the origin andz, represented as a point in thecomplex plane, shown asφ{\displaystyle \varphi } in Figure 1. By convention thepositive real axis is drawn pointing rightward, the positiveimaginary axis is drawn pointing upward, and complex numbers with positive real part are considered to have ananticlockwise argument with positive sign.

When any real-valued angle is considered, the argument is amultivalued function operating on the nonzerocomplex numbers. Theprincipal value of this function is single-valued, typically chosen to be the unique value of the argument that lies within the interval(−π,π].[1][2] In this article the multi-valued function will be denotedarg(z) and its principal value will be denotedArg(z), but in some sources the capitalization of these symbols is exchanged.

In some older mathematical texts, the term "amplitude" was used interchangeably with argument to denote the angle of a complex number. This usage is seen in older references such asLars Ahlfors'Complex Analysis: An introduction to the theory of analytic functions of one complex variable (1979), where amplitude referred to the argument of a complex number. While this term is largely outdated in modern texts, it still appears in some regional educational resources, where it is sometimes used in introductory-level textbooks.[3]

Definition

[edit]
Figure 2. Two choices for the argumentφ{\displaystyle \varphi }

Anargument of the nonzero complex numberz =x +iy, denotedarg(z), is defined in two equivalent ways:

  1. Geometrically, in the complex plane, as the2D polar angleφ{\displaystyle \varphi } from the positive real axis to the vector representingz. The numeric value is given by the angle inradians, and is positive if measured counterclockwise.
  2. Algebraically, as any real quantityφ{\displaystyle \varphi } such that
z=r(cosφ+isinφ)=reiφ{\displaystyle z=r(\cos \varphi +i\sin \varphi )=re^{i\varphi }}

for some positive realr (seeEuler's formula). The quantityr is themodulus (or absolute value) ofz, denoted |z|:r=x2+y2.{\displaystyle r={\sqrt {x^{2}+y^{2}}}.}

The argument of zero is usually left undefined. The namesmagnitude, for the modulus, andphase,[4][1] 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 ofradians (a completeturn) are the same, as reflected by figure 2 on the right. Similarly, from theperiodicity ofsin andcos, the second definition also has this property.

Principal value

[edit]
Figure 3. The principal valueArg of the blue point at1 +i isπ/4. The red line here is the branch cut and corresponds to the two red lines in figure 4 seen vertically above each other).

Because a complete rotation around the origin leaves a complex number unchanged, there are many choices which could be made forφ{\displaystyle \varphi } by circling the origin any number of times. This is shown in figure 2, a representation of themulti-valued (set-valued) functionf(x,y)=arg(x+iy){\displaystyle f(x,y)=\arg(x+iy)}, where a vertical line (not shown in the figure) cuts the surface at heights representing all the possible choices of angle for that point.

When awell-defined function is required, then the usual choice, known as theprincipal value, is the value in the open-closedinterval(−π,π] radians, that is fromπ toπradians excludingπ radians itself (equiv., from −180 to +180degrees, 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

[edit]

The principal value sometimes has the initial letter capitalized, as inArgz, especially when a general version of the argument is also being considered. Note that notation varies, soarg andArg may be interchanged in different texts.

The set of all possible values of the argument can be written in terms ofArg as:arg(z)={Arg(z)+2πnnZ}.{\displaystyle \arg(z)=\{\operatorname {Arg} (z)+2\pi n\mid n\in \mathbb {Z} \}.}

Computing from the real and imaginary part

[edit]
Main article:atan2

If a complex number is known in terms of its real and imaginary parts, then the function that calculates the principal valueArg is called thetwo-argument arctangent function,atan2:Arg(x+iy)=atan2(y,x){\displaystyle \operatorname {Arg} (x+iy)=\operatorname {atan2} (y,\,x)}Theatan2 function is available in the math libraries of many programming languages, sometimes under a different name, and usually returns a value in the range(−π, π].[1]Seeatan2 for further detail and alternative implementations, such asatan2(y,x)=2atanyx2+y2+x,{\displaystyle \operatorname {atan2} (y,x)=2\operatorname {atan} {\frac {y}{{\sqrt {x^{2}+y^{2}}}+x}}\,,}which works except wheny=0{\displaystyle y=0} andx0{\displaystyle x\leq 0}, in which case the value is insteadπ ifx<0{\displaystyle x<0} or undefined whenx=0{\displaystyle x=0}.

Realizations of the function in computer languages

[edit]

Wolfram language (Mathematica)

[edit]

In Wolfram language, there'sArg[z]:[5]

Arg[x + y I]={0if x=0 and y=0,undefinedif |x|= and |y|=,0if x= and |y|,πif x= and |y|,±π2if y=± and |x|,Arg(x+yi)otherwise.{\displaystyle ={\begin{cases}0&{\text{if }}x=0{\text{ and }}y=0,\\[5mu]{\text{undefined}}&{\text{if }}|x|=\infty {\text{ and }}|y|=\infty ,\\[5mu]0&{\text{if }}x=\infty {\text{ and }}|y|\neq \infty ,\\[5mu]\pi &{\text{if }}x=-\infty {\text{ and }}|y|\neq \infty ,\\[5mu]\pm {\frac {\pi }{2}}&{\text{if }}y=\pm \infty {\text{ and }}|x|\neq \infty ,\\[5mu]\operatorname {Arg} (x+yi)&{\text{otherwise}}.\end{cases}}}

or using the language'sArcTan:

Arg[x + y I]={0if x=0 and y=0,ArcTan[x, y]otherwise.{\displaystyle ={\begin{cases}0&{\text{if }}x=0{\text{ and }}y=0,\\[5mu]{\text{ArcTan[x, y]}}&{\text{otherwise}}.\end{cases}}}

ArcTan[x, y] isatan2(y,x){\displaystyle \operatorname {atan2} (y,x)} extended to work with infinities.ArcTan[0, 0] isIndeterminate (i.e. it'sstill defined), whileArcTan[Infinity, -Infinity] doesn't return anything (i.e. it'sundefined).

Maple

[edit]

Maple'sargument(z) behaves the same asArg[z] in Wolfram language, except thatargument(z) also returnsπ{\displaystyle \pi } ifz is the special floating-point value−0..[6]Also, Maple doesn't haveatan2{\displaystyle \operatorname {atan2} }.

MATLAB

[edit]

MATLAB'sangle(z) behaves[7][8] the same asArg[z] in Wolfram language, except that it is

{1π4if x= and y=,1π4if x= and y=,3π4if x= and y=,3π4if x= and y=.{\displaystyle {\begin{cases}{\frac {1\pi }{4}}&{\text{if }}x=\infty {\text{ and }}y=\infty ,\\[5mu]-{\frac {1\pi }{4}}&{\text{if }}x=\infty {\text{ and }}y=-\infty ,\\[5mu]{\frac {3\pi }{4}}&{\text{if }}x=-\infty {\text{ and }}y=\infty ,\\[5mu]-{\frac {3\pi }{4}}&{\text{if }}x=-\infty {\text{ and }}y=-\infty .\end{cases}}}

Unlike in Maple and Wolfram language, MATLAB'satan2(y, x) is equivalent toangle(x + y*1i). That is,atan2(0, 0) is0{\displaystyle 0}.

Identities

[edit]

One of the main motivations for defining the principal valueArg is to be able to write complex numbers in modulus-argument form. Hence for any complex numberz,z=|z|eiArgz.{\displaystyle z=\left|z\right|e^{i\operatorname {Arg} z}.}

This is only really valid ifz is non-zero, but can be considered valid forz = 0 ifArg(0) is considered as anindeterminate form—rather than as being undefined.

Some further identities follow. Ifz1 andz2 are two non-zero complex numbers, thenArg(z1z2)Arg(z1)+Arg(z2)(mod2πZ),Arg(z1z2)Arg(z1)Arg(z2)(mod2πZ),{\displaystyle {\begin{aligned}\operatorname {Arg} (z_{1}z_{2})&\equiv \operatorname {Arg} (z_{1})+\operatorname {Arg} (z_{2}){\pmod {2\pi \mathbb {Z} }},\\\operatorname {Arg} \left({\frac {z_{1}}{z_{2}}}\right)&\equiv \operatorname {Arg} (z_{1})-\operatorname {Arg} (z_{2}){\pmod {2\pi \mathbb {Z} }},\end{aligned}}}where(mod2πZ){\displaystyle (\mathrm {mod} \,\,2\pi \mathbb {Z} )} means to add or subtract any integer multiple of2π if necessary to bring the value into the interval of(−π,π] radians.

Ifz ≠ 0 andn is any integer, then[1]Arg(zn)nArg(z)(mod2πZ).{\displaystyle \operatorname {Arg} \left(z^{n}\right)\equiv n\operatorname {Arg} (z){\pmod {2\pi \mathbb {Z} }}.}

Example

[edit]

Arg(1ii)=Arg(1i)Arg(i)=3π4π2=5π4{\displaystyle \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}}}

Using the complex logarithm

[edit]

Fromz=|z|eiArg(z){\displaystyle z=|z|e^{i\operatorname {Arg} (z)}}, we getiArg(z)=lnz|z|{\displaystyle i\operatorname {Arg} (z)=\ln {\frac {z}{|z|}}}, alternativelyArg(z)=Im(lnz|z|)=Im(lnz){\displaystyle \operatorname {Arg} (z)=\operatorname {Im} (\ln {\frac {z}{|z|}})=\operatorname {Im} (\ln z)}. As we are taking the imaginary part, any normalisation by a real scalar will not affect the result. This is useful when one has thecomplex logarithm available.

Differentiation

[edit]

The argument function is not complex differentiable, as the limit

limzz0arg(z)arg(z0)zz0{\displaystyle \lim \limits _{z\to z_{0}}{\frac {\arg(z)-\arg(z_{0})}{z-z_{0}}}}

does not exist for anyz0C{\displaystyle z_{0}\in \mathbb {C} } and on any branch (indeed, for any chosen branch the numerator takes the same value). However, theWirtinger derivatives may be applied to it. Begin from the logarithmic identity.

ln(z)=Ln|z|+iarg(z){\displaystyle \ln(z)=\operatorname {Ln} |z|+i\arg(z)}

Use that|z|2=zz¯{\displaystyle |z|^{2}=z{\bar {z}}}.

ln(z)=12Ln(z)+12Ln(z¯)+iarg(z){\displaystyle \ln(z)={\frac {1}{2}}\operatorname {Ln} (z)+{\frac {1}{2}}\operatorname {Ln} ({\bar {z}})+i\arg(z)}

Performing different branch cuts lets one apply the derivatives to all points of the principal logarithm in two goes. First, applyz{\displaystyle {\frac {\partial }{\partial z}}}.

1z=121z+0+izarg(z){\displaystyle {\frac {1}{z}}={\frac {1}{2}}{\frac {1}{z}}+0+i{\frac {\partial }{\partial z}}\arg(z)}

Rearranging giveszarg(z)=i2z{\displaystyle {\frac {\partial }{\partial z}}\arg(z)={\frac {-i}{2z}}}. Now applyz¯{\displaystyle {\frac {\partial }{\partial {\bar {z}}}}}.

0=0+121z¯+iz¯arg(z){\displaystyle 0=0+{\frac {1}{2}}{\frac {1}{\bar {z}}}+i{\frac {\partial }{\partial {\bar {z}}}}\arg(z)}

This shows thatz¯arg(z)=i2z¯{\displaystyle {\frac {\partial }{\partial {\bar {z}}}}\arg(z)={\frac {i}{2{\bar {z}}}}}

As both Wirtinger derivatives exist, one can then apply the Dolbeault derivatives.

arg(z)=i2zdz{\displaystyle \partial \arg(z)={\frac {-i}{2z}}\,dz}

¯arg(z)=i2z¯dz¯{\displaystyle {\bar {\partial }}\arg(z)={\frac {i}{2{\bar {z}}}}\,d{\bar {z}}}

This then means theexterior derivative exists, given by their sum.

darg(z)=i2zdz+i2z¯dz¯{\displaystyle d\arg(z)={\frac {-i}{2z}}\,dz+{\frac {i}{2{\bar {z}}}}\,d{\bar {z}}}

This is an important differential form, as it is precisely the generator of the first de Rham cohomology of the circle,HdR1(S1){\displaystyle H_{dR}^{1}(S^{1})}. In other words,

darg(z)=i2zdz+i2z¯dz¯=xdyydxx2+y2{\displaystyle d\arg(z)={\frac {-i}{2z}}\,dz+{\frac {i}{2{\bar {z}}}}\,d{\bar {z}}={\frac {x\,dy-y\,dx}{x^{2}+y^{2}}}}

making this form closed but not exact in the usual sense (a byproduct of being multivalued).

S1darg(z)=2π0{\displaystyle \oint \limits _{S^{1}}d\arg(z)=2\pi \neq 0}

with the standard orientation.

References

[edit]
  1. ^abcdWeisstein, Eric W."Complex Argument".mathworld.wolfram.com. Retrieved2020-08-31.
  2. ^"Modulus and Argument".mas-coursebuild.ncl.ac.uk.Newcastle University. Retrieved2025-01-05.
  3. ^"Modulus and Argument of a Complex Number".Byju's. Retrieved18 January 2025.
  4. ^Dictionary of Mathematics (2002).phase.
  5. ^"Arg".Wolfram Language Documentation. Retrieved2024-08-30.
  6. ^"Argument - Maple Help".
  7. ^"Phase angle - MATLAB angle".
  8. ^"Four-quadrant inverse tangent - MATLAB atan2".

Bibliography

[edit]
  • 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 asDictionary of Mathematics].Mathematics. Collins Dictionary (2nd ed.). Glasgow:HarperCollins.ISBN 0-00-710295-X.

External links

[edit]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Argument_(complex_analysis)&oldid=1333863964"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2026 Movatter.jp