Mostra la font per a Argument (anàlisi complexa)

{{àncora|argand}}[[Fitxer:Complex number illustration modarg.svg|framed|L'argument del punt, expressant mitjançant la lletra grega φ.]]
En [[matemàtiques]], l'argument ('''arg''') és una funció present en [[nombre complex|nombres complexos]] (visualitzada en el [[pla complex]]). Proporciona l'[[angle]] entre la línia que uneix el punt a l'origen de coordenades i l'[[eix real]], mostrat com a {{math|''φ''}} en la [[#argand|figura]], conegut com l{{'}}'''argument del punt.

== Definició ==
[[Fitxer:Complex number illustration multiarg.svg|miniatura|Dues eleccions per a l'argument {{mvar|φ}}]]

Un '''argument''' del nombre complex {{math|1=''z'' = ''x'' + ''iy''}}, denotat {{math|arg ''z''}}, es pot definir de dues maneres equivalents:
# Geomètricament, en el [[pla complex]], com l'[[angle]] {{mvar|φ}} comprès entre el semieix real positiu i el vector que representa {{mvar|z}}. El valor numèric ve donat per l'angle en [[radian]]s i és positiu si es mesura en sentit antihorari.
# Algebraicament, com qualsevol quantitat real {{mvar|φ}} tal que
::<math>z = r (\cos \varphi + i \sin \varphi)</math>
:per a algun real positiu {{mvar|r}}. Hom diu que la quantitat {{mvar|r}} és el ''[[Mòdul d'un nombre complex|mòdul]]'' de {{mvar|z}}, denotat per |{{mvar|z}}|:
::<math>r = \sqrt{x^2 + y^2}.</math>

Els noms ''amplitud''<ref>{{ref-llibre|autor1=[[Konrad Knopp|Knopp, Konrad]] |autor2= Bagemihl, Frederick |enllaçautor1=Konrad Knopp |títol=Theory of Functions Parts I and II |data=1996 |editorial=Dover Publications | isbn=0-486-69219-1 |pàgina=3}}</ref> per al mòdul i ''fase''<ref name="phase">Dictionary of Mathematics (2002). ''phase''.</ref> per a l'argument també es poden fer servir de manera equivalent.

Amb qualsevol de les dues definicions, es pot veure que l'argument de qualsevol nombre complex (diferent de zero) té molts valors possibles: en primer lloc, com a angle geomètric, és clar que les rotacions de circumferències completes no canvien el punt, de tal manera que els angles que difereixen d'un múltiple enter de {{math|2π}} [[radian]]s (una circumferència completa) tenen el mateix valor. De manera similar, a partir de la [[Funció periòdica|periodicitat]] de les funcions [[sinus|{{math|sin}}]] i [[cosinus|{{math|cos}}]], la segona definició també té aquesta propietat.

== Valor principal ==
[[Fitxer:Principal value of arg.svg|miniatura|El valor principal {{math|Arg}} del punt {{color|blue|blau}} a {{math|1 + ''i''}} és {{math|π/4}}. La línia {{color|red|vermella}} és el punt de ramificació i correspon a les dues línies vermelles de la [[#multivaluada|figura següent]] que estan situades una per sobre de l'altra.]]

Com que una rotació completa al voltant de 0 deixa invariant un nombre complex, hi ha moltes eleccions possibles per a {{mvar|φ}}, voltant a l'origen qualsevol nombre de vegades. Això es mostra en la [[#multivaluada|figura]] adjunta, una representació de la [[funció multivaluada]], on una recta vertical talla la superfície a les altures que representen totes les possibles eleccions de l'angle per aquell punt.

Quan es necessita una funció [[Ben definit|ben definida]], llavors l'elecció habitual és el ''[[valor principal]]'', que correspon al valor dins l'[[Interval (matemàtiques)|interval]] (−''π'' rad, ''π'' rad], és a dir, des de {{math|−π}} fins a {{math|π}} [[radian]]s, excloent el valor {{math|−π}} rad (equivalentment, de -180 a +180 [[Grau sexagesimal|graus]], excloent el valor −180°). Això representa l'angle llevat d'una semicircumferència des del semieix positiu real en qualsevol sentit.

Alguns autors defineixen el rang del valor principal dins l'interval [0, 2''π'').

=== Notació ===
De vegades, el valor principal es representa amb la inicial majúscula, com en {{math|Arg ''z''}}, especialment quan també s'està considerant una versió general de l'argument. Notem que la notació pot variar, de tal manera que en alguns textos es poden intercanviar {{math|arg}} i {{math|Arg}}.

El conjunt de tots els valors possibles de l'argument es pot escriure en termes de {{math|Arg}} com:
:<math>\arg z = \{\operatorname{Arg} z + 2\pi n\;|\;n\in \mathbb Z\}.</math>

== Espai revestiment ==
{{àncora|multivaluada}}[[Fitxer:Principle branch of arg on Riemann (small).png|miniatura|Els argument del pla complex estan dibuixats seguint l'eix vertical. {{math|arg}} mesura l'angle dels punts. Les línies radials indiquen aquells punts que estan a sobre de la superfície i, per tant, tenen un angle constant amb l'eix real. L'estructura mostra que cada punt té un nombre infinit d'arguments, cadascun corresponent a una intersecció entre una recta vertical que passa pel punt i que intersecta la superfície. L'engraellat vermell indica la part de la superfície corresponent al valor principal.]]

En situacions informals, pot ser que {{math|arg}} no estigui ben definit, per exemple {{math|arg ''z''(''t'')}}, on {{math|''z''}} depèn d'un paràmetre {{mvar|t}} pot canviar en una magnitud de {{math|2π}} cada vegada que {{mvar|z}} dona una volta entorn de l'origen. Aquesta idea es pot precisar més, considerant que {{math|''z''(''t'')}} no està definida en el pla complex, sinó en un [[espai revestiment]]. Les [[coordenades polars]] excloent l'origen i amb un angle no restringit proveeixen un tal espai revestiment; en aquest cas, {{math|arg}} està definit com
:<math>\begin{align}
\arg: \mathbb{R}^+ \smallsetminus \{0\} \times \mathbb{R} &\to \mathbb{R} \\
(r,\, \varphi) &\mapsto \varphi.
\end{align}</math>

L'espai revestiment és equivalent al pla complex foradat:
:<math>\mathbb{C} \smallsetminus \{0\}</math>
i té com a espai base el producte d'un radi positiu diferent de zero i un angle sobre la [[Circumferència goniomètrica|circumferència unitat]]:
:<math>\mathbb{R}^+ \smallsetminus \{0\} \times \mathbb{S}^1.</math>

El valor principal {{math|Arg}} envia llavors l'espai revestiment d'aquesta representació a l'interval (−''π'', ''π'']:
:<math>\begin{align}
\operatorname{Arg}: \mathbb{R}^+ \smallsetminus \{0\} \times \mathbb{R} &\to \left(-\pi,\, \pi\right] \\
(r,\, \varphi) &\mapsto \varphi.
\end{align}</math>

== Càlcul ==
El valor principal {{math|Arg}} d'un nombre complex donat en la forma {{math|''x'' + ''iy''}} normalment es pot calcular mitjançant les llibreries de molts llenguatges de programació, emprant la funció <code>[[atan2]]</code> o una de similar. El valor de {{math|atan2(''y'', ''x'')}} és el valor principal dins del rang (−''π'', ''π''].

Molts textos diuen que el valor ve donat per {{math|arctan(''y''/''x'')}}, ja que {{math|''y''/''x''}} és el pendent, i {{math|arctan}} converteix el pendent en l'angle. Això és correcte només quan {{math|''x'' > 0}}, de tal manera que el quocient està definit i l'angle està entre {{math|−''π''/2}} i {{math|''π''/2}}, però no és tant freqüent trobar com s'ha de tractar el casl en què {{math|''x''}} no sigui positiu. Més específicament, hom pot definir el valor principal de l'argument de manera separada en els dos semiplans {{math|''x'' > 0}} i {{math|''x'' < 0}} (separats en dos quadrants si es vol un punt de ramificació en el semieix negatiu de les {{math|''x''}}), {{math|''y'' > 0}}, {{math|''y'' < 0}}, i després unint-los convenientment.
:<math>\operatorname{Arg}(x + iy) = \operatorname{atan2}(y,\, x) =
\begin{cases}
\arctan(\frac y x) &\text{si } x > 0, \\
\arctan(\frac y x) + \pi &\text{si } x < 0 \text{ i } y \ge 0, \\
\arctan(\frac y x) - \pi &\text{si } x < 0 \text{ i } y < 0, \\
+\frac{\pi}{2} &\text{si } x = 0 \text{ i } y > 0, \\
-\frac{\pi}{2} &\text{si } x = 0 \text{ i } y < 0, \\
\text{indefinit} &\text{si } x = 0 \text{ i } y = 0.
\end{cases}</math>

Per la variant en què {{math|Arg}} estigui definit en l'interval [0, 2''π''), hom pot trobar el valor afegint 2''π'' al valor obtingut anteriorment quan és negatiu.

Una manera alternativa de calcular el valor principal de manera uniforme és emprar la [[fórmula de la tangent de l'angle meitat]], i llavors definim la funció sobre el pla complex però excloent l'origen:
:<math>\operatorname{Arg}(x + iy) =
\begin{cases}
2 \arctan\biggl(\frac{y}{\sqrt{x^2 + y^2} + x}\biggr) &\text{si } x > 0 \text{ o } y \neq 0, \\
\pi &\text{si } x < 0 \text{ i } y = 0, \\
\text{indefinit} &\text{si } x = 0 \text{ i } y = 0.
\end{cases}</math>
Això està basat en una parametrizació de la circumferència (excepte el semieix negatiu de les {{mvar|x}}) per funcions racionals. Aquesta versió de {{math|Arg}} no és suficientment estable per a càlculs en [[coma flotant]] (especialment al voltant de la regió {{math|1=''x'' < 0, ''y'' = 0}}), però es pot emprar en càlcul simbòlic.

Una variant d'aquesta última fórmula que evita el problema anterior és aquesta, que de vegades s'usa en computacions amb alta precisió:
:<math>\operatorname{Arg}(x + iy) =
\begin{cases}
2 \arctan\biggl(\frac{\sqrt{x^2 + y^2} - x}{y}\biggr) &\text{si } y \neq 0, \\
0 &\text{si } x > 0 \text{ i } y = 0, \\
\pi &\text{si } x < 0 \text{ i } y = 0, \\
\text{indefinit} &\text{si } x = 0 \text{ i } y = 0.
\end{cases}</math>

== Identitats ==
Una de les principals motivacions per definir el valor principal {{math|Arg}} és poder escriure els nombres complexos en la forma mòdul-argument. Així, per a qualsevol nombre complex {{mvar|z}},
:<math>z = \left| z \right| e^{i \operatorname{Arg} z}.</math>

Això només és vàlid si {{mvar|z}} no és 0, però es pot acceptar que sigui vàlid també en aquest cas si es considera que {{math|Arg(0)}} sigui una [[forma indeterminada]] en comptes d'estar indefinit.

Si {{math|''z''<sub>1</sub>}} i {{math|''z''₂}} són dos nombres complexos no nuls, llavors
:<math>\operatorname{Arg}(z_1 z_2) \equiv \operatorname{Arg}(z_1) + \operatorname{Arg}(z_2) \pmod{(-\pi,\pi]},</math>
:<math>\operatorname{Arg}\biggl(\frac{z_1}{z_2}\biggr) \equiv \operatorname{Arg}(z_1) - \operatorname{Arg}(z_2) \pmod{(-\pi,\pi]}.</math>

Si {{math|''z'' ≠ 0}} i {{mvar|n}} és qualsevol enter, llavors
:<math>\operatorname{Arg}\left(z^n\right) \equiv n \operatorname{Arg}(z) \pmod {(-\pi,\pi]}.</math>

=== Exemple ===
:<math>\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]}.</math>

== Referències ==
{{referències}}

== Bibliografia ==
* {{Ref-llibre |cognom= G. Zill |nom= Dennis |cognom2= Shanahan |nom2= Patrick |títol= A First Course in Complex Analysis With Applications |editorial= Jones & Bartlett Publishers |data= 2009 |isbn=0763757721 |lloc = Massachusetts (EUA) |edició=2a edició|pàgines=15-24 |capítol=1. Complex Numbers and the Complex Plane}}
* {{ref-llibre|cognom=Ahlfors|nom=Lars|títol=Complex Analysis: An Introduction to the Theory of Analytic Functions of One Complex Variable
 |edició=3rd|lloc=Nova York;London|editorial=McGraw-Hill|data=1979
 |isbn=0-07-000657-1
}}
* {{ref-llibre|cognom=Beardon|nom=Alan
 |títol=Complex Analysis: The Argument Principle in Analysis and Topology
 |lloc=Chichester|editorial=Wiley|any=1979
 |isbn=0-471-99671-8
}}
* {{ref-llibre|cognom1=Borowski|nom1=Ephraim |cognom2=Borwein|nom2=Jonathan
 |títol=Mathematics |series=Collins Dictionary |data=2002 
 |any original=1st ed. 1989 as ''Dictionary of Mathematics'' |isbn=0-00-710295-X
 |edició=2a edició|editorial=[[HarperCollins]] |lloc=Glasgow}}

== Enllaços externs ==
* {{MathWorld|title=Complex Argument|urlname=ComplexArgument}}
{{Viccionari-lateral|argument}}

[[Categoria:Anàlisi complexa]]