Complex argument (continued fraction)

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 on geometric intuition should be avoided. [(Whittaker and Watson, 1927, "Appendix"). W. and W. provide a purely analytical approach to this problem, but instead of dealing directly with the natural logarithm, their analysis begins with Euler's formula for the exponential function.] Here is one way the complex argument "&theta;", −"&pi;" < "&theta;" &le; "&pi;", can be defined without reference to any geometrical or trigonometric construction.

Formal definition of arg("z")

By convention, arg(0) is undefined, since there is no complex number "z" for which "e""z" = 0. [See Picard theorem.] We define arg("z") = "&pi;" for real "z" < 0. When "z" is not a real number &le; 0, we define

:z = x + iy qquad |z| = sqrt{x^2 + y^2} qquad heta = arg(z) = -ilogfrac{z}{z+|z

now completes the formal definition of arg("z") without reference to any geometrical construction.

Historical context

Euler's formula connecting this continued fraction with an infinite logarithmic series was first published in 1748. Euler was not particularly concerned with procedural niceties, and mathematicians today generally regard his work as original, and very useful, but not entirely rigorous. [(Euler, 1748; cited in Wall, 1948).]

Gauss found another way to derive this continued fraction from the hypergeometric series in 1813. Gauss proved a general formula, but he did not have the analytical tools necessary to verify the uniform convergence of this particular continued fraction. [(Gauss, 1813; cited in Wall, 1948).]

Up through the time of Gauss, mathematicians generally did not draw a sharp distinction between geometrical and analytical concepts, and used these frameworks almost interchangeably. This practice continues in many modern presentations of mathematical ideas &ndash; charts and graphs are freely used to illustrate the concepts of analysis.

In the mid-19th century mathematicians like Cauchy and Weierstrass began insisting on more rigorous proofs. This emphasis on rigor eventually led to Hilbert's program of formalism in mathematics, and that stimulated a desire to state the concepts of mathematical analysis and the concepts of geometry without mixing them together.

See also

*Complex logarithm
*Complex number
*Complex plane
*Euler's continued fraction formula
*Generalized continued fraction
*Atan2

Notes

References

*Leonhard Euler, "Introductio in analysin infinitorum", Vol. I, Chapter 18 (1748).
*Karl Friedrich Gauss, "Werke", Vol. 3, pp. 134-138 (1813).
*H. S. Wall, "Analytic Theory of Continued Fractions", D. Van Nostrand Company, Inc., 1948; reprinted (1973) by Chelsea Publishing Company ISBN 0-8284-0207-8.
*E. T. Whittaker and G. N. Watson, "A Course in Modern Analysis", fourth edition, Cambridge University Press, 1927.


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Continued fraction of Gauss — In complex analysis, the continued fraction of Gauss is a particular continued fraction derived from the hypergeometric functions. It was one of the first analytic continued fractions known to mathematics, and it can be used to represent several… …   Wikipedia

  • Gauss's continued fraction — In complex analysis, Gauss s continued fraction is a particular class of continued fractions derived from hypergeometric functions. It was one of the first analytic continued fractions known to mathematics, and it can be used to represent several …   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

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

  • Atan2 — In computing, atan2 is a two argument function that makes it easy to find the angle round the origin of a point. When given the coordinates ( x , y ) the angle is atan2( y , x ). It is implemented in many different programming languages. The… …   Wikipedia

  • Arg (mathematics) — In mathematics the arg function is a logical function that extracts the angular component of a complex number or function.An alternative definition is available at Complex argument (continued fraction). The essential difference is the treatment… …   Wikipedia

  • Sine — For other uses, see Sine (disambiguation). Sine Basic features Parity odd Domain ( ∞,∞) Codomain [ 1,1] P …   Wikipedia

  • Factorial — n n! 0 1 1 1 2 2 3 6 4 24 5 120 6 720 7 …   Wikipedia

  • Christianity — /kris chee an i tee/, n., pl. Christianities. 1. the Christian religion, including the Catholic, Protestant, and Eastern Orthodox churches. 2. Christian beliefs or practices; Christian quality or character: Christianity mixed with pagan elements; …   Universalium

  • United Kingdom — a kingdom in NW Europe, consisting of Great Britain and Northern Ireland: formerly comprising Great Britain and Ireland 1801 1922. 58,610,182; 94,242 sq. mi. (244,100 sq. km). Cap.: London. Abbr.: U.K. Official name, United Kingdom of Great… …   Universalium

Share the article and excerpts

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