|
|
| Line 1: |
Line 1: |
| In the [[mathematics|mathematical]] field of [[complex analysis]], a '''branch point''' of a [[multivalued function|multi-valued function]] (usually referred to as a "multifunction" in the context of complex analysis) is a point such that the function is [[discontinuous function|discontinuous]] when going around an [[arbitrarily small]] circuit around this point {{harv|Ablowitz|Fokas|2003|p=46}}. Multi-valued functions are rigorously studied using [[Riemann surface]]s, and the formal definition of branch points employs this concept.
| |
|
| |
|
| Branch points fall into three broad categories: algebraic branch points, transcendental branch points, and logarithmic branch points. Algebraic branch points most commonly arise from functions in which there is an ambiguity in the extraction of a root, such as solving the equation ''z'' = ''w''<sup>2</sup> for ''w'' as a function of ''z''. Here the branch point is the origin, because the [[analytic continuation]] of any solution around a closed loop containing the origin will result in a different function: there is non-trivial [[monodromy]]. Despite the algebraic branch point, the function ''w'' is well-defined as a multiple-valued function and, in an appropriate sense, is continuous at the origin. This is in contrast to transcendental and logarithmic branch points, that is, points at which a multiple-valued function has nontrivial monodromy and an [[essential singularity]]. In [[geometric function theory]], unqualified use of the term ''branch point'' typically means the former more restrictive kind: the algebraic branch points.<ref>{{harvnb|Ahlfors|1979}}</ref> In other areas of complex analysis, the unqualified term may also refer to the more general branch points of transcendental type.
| |
|
| |
|
| ==Algebraic branch points==
| | Roberto is the name You love to be which is called with although it can not the name on top of my [http://Photobucket.com/images/birth+certificate birth certificate]. I am a cashier. My your friends say it's not good for me but what I love doing should be to drive but I do have been taking on unique things lately. My house is but in Vermont. I've been working on [http://En.Wiktionary.org/wiki/individual+website individual website] for some period now. Check it information about here: http://circuspartypanama.com<br><br>My web page - hack clash of clans ([http://circuspartypanama.com linked website]) |
| | |
| Let Ω be a connected [[open set]] in the [[complex plane]] '''C''' and ''ƒ'':Ω → '''C''' a [[holomorphic function]]. If ''ƒ'' is not constant, then the set of the [[critical point (mathematics)|critical point]]s of ''ƒ'', that is, the zeros of the derivative ''ƒ''<nowiki>'</nowiki>(''z''), has no [[limit point]] in Ω. So each critical point ''z''<sub>0</sub> of ''ƒ'' lies at the center of a disc ''B''(''z''<sub>0</sub>,''r'') containing no other critical point of ''ƒ'' in its closure.
| |
| | |
| Let γ be the boundary of ''B''(''z''<sub>0</sub>,''r''), taken with its positive orientation. The [[winding number]] of ''ƒ''(''γ'') with respect to the point ''ƒ''(''z''<sub>0</sub>) is a positive integer called the '''ramification index''' of ''z''<sub>0</sub>. If the ramification index is greater than 1, then ''z''<sub>0</sub> is called a '''ramification point''' of ''ƒ'', and the corresponding [[critical value]] ''ƒ''(''z''<sub>0</sub>) is called an (algebraic) '''branch point'''. Equivalently, ''z''<sub>0</sub> is a ramification point if there exists a holomorphic function φ defined in a neighborhood of ''z''<sub>0</sub> such that ''ƒ''(''z'') = φ(''z'')(''z'' − ''z''<sub>0</sub>)<sup>''k''</sup> for some positive integer ''k'' > 1.
| |
| | |
| Typically, one is not interested in ''ƒ'' itself, but in its [[inverse function]]. However, the inverse of a holomorphic function in the neighborhood of a ramification point does not properly exist, and so one is forced to define it in a multiple-valued sense as a [[global analytic function]]. It is common to [[abuse of terminology|abuse language]] and refer to a branch point ''w''<sub>0</sub> = ''ƒ''(''z''<sub>0</sub>) of ''ƒ'' as a branch point of the global analytic function ''ƒ''<sup>−1</sup>. More general definitions of branch points are possible for other kinds of multiple-valued global analytic functions, such as those that are defined [[implicit function|implicitly]]. A unifying framework for dealing with such examples is supplied in the language of [[Riemann surface]]s below. In particular, in this more general picture, [[pole (complex analysis)|poles]] of order greater than 1 can also be considered ramification points.
| |
| | |
| In terms of the inverse global analytic function ''ƒ''<sup>−1</sup>, branch points are those points around which there is nontrivial [[monodromy]]. For example, the function ''ƒ''(''z'') = ''z''<sup>2</sup> has a ramification point at ''z''<sub>0</sub> = 0. The inverse function is the square root ''ƒ''<sup>−1</sup>(''w'') = ''w''<sup>1/2</sup>, which has a branch point at ''w''<sub>0</sub> = 0. Indeed, going around the closed loop ''w'' = ''e''<sup>i''θ''</sup>, one starts at θ = 0 and ''e''<sup>i0/2</sup> = 1. But after going around the loop to θ = 2π, one has ''e''<sup>2πi/2</sup> = −1. Thus there is monodromy around this loop enclosing the origin.
| |
| | |
| ==Transcendental and logarithmic branch points==
| |
| Suppose that ''g'' is a global analytic function defined on a [[Annulus (mathematics)|punctured disc]] around ''z''<sub>0</sub>. Then ''g'' has a '''transcendental branch point''' if ''z''<sub>0</sub> is an [[essential singularity]] of ''g'' such that [[analytic continuation]] of a function element once around some simple closed curve surrounding the point ''z''<sub>0</sub> produces a different function element.<ref>{{harvnb|Solomentsev|2001}}; {{harvnb|Markushevich|1965}}</ref> An example of a transcendental branch point is the origin for the multi-valued function
| |
| | |
| :<math>g(z) = \exp \left( z^{-1/k}\right)\,</math> | |
| | |
| for some integer ''k'' > 1. Here the monodromy around the origin is finite.
| |
| | |
| By contrast, the point ''z''<sub>0</sub> is called a '''logarithmic branch point''' if it is impossible to return to the original function element by analytic continuation along a curve with nonzero winding number about ''z''<sub>0</sub>. This is so called because the typical example of this phenomenon is the branch point of the [[complex logarithm]] at the origin. Going once counterclockwise around a simple closed curve encircling the origin, the complex logarithm is incremented by 2π''i''. Encircling a loop with winding number ''w'', the logarithm is incremented by 2π''i w''.
| |
| | |
| There is no corresponding notion of ramification for transcendental and logarithmic branch points since the associated covering Riemann surface cannot be analytically continued to a cover of the branch point itself. Such covers are therefore always unramified.
| |
| | |
| ==Examples==
| |
| | |
| * 0 is a branch point of the [[square root]] function. Suppose ''w'' = ''z''<sup>1/2</sup>, and ''z'' starts at 4 and moves along a [[circle]] of [[radius]] 4 in the [[complex plane]] centered at 0. The dependent variable ''w'' changes while depending on ''z'' in a continuous manner. When ''z'' has made one full circle, going from 4 back to 4 again, ''w'' will have made one half-circle, going from the positive square root of 4, i.e., from 2, to the negative square root of 4, i.e., −2.
| |
| | |
| * 0 is also a branch point of the [[natural logarithm]]. Since ''e''<sup>0</sup> is the same as ''e''<sup>2π''i''</sup>, both 0 and 2π''i'' are among the multiple values of Log(1). As ''z'' moves along a circle of radius 1 centered at 0, ''w'' = Log(''z'') goes from 0 to 2π''i''.
| |
| | |
| * In [[trigonometry]], since tan(π/4) and tan (5π/4) are both equal to 1, the two numbers π/4 and 5π/4 are among the multiple values of arctan(1). The imaginary units ''i'' and −''i'' are branch points of the arctangent function (arctan(''z'') = (1/2''i'')log(''i'' − ''z'')/(''i'' + ''z'')). This may be seen by observing that the derivative (''d''/''dz'') arctan(''z'') = 1/(1 + ''z''<sup>2</sup>) has simple [[pole (complex analysis)|poles]] at those two points, since the denominator is zero at those points.
| |
| | |
| * If the derivative ''ƒ''<nowiki> '</nowiki> of a function ''ƒ '' has a simple [[pole (complex analysis)|pole]] at a point ''a'', then ''ƒ'' has a logarithmic branch point at ''a''. The converse is not true, since the function ''ƒ''(''z'') = ''z''<sup>α</sup> for irrational α has a logarithmic branch point, and its derivative is singular without being a pole.
| |
| | |
| == Branch cuts ==
| |
| Roughly speaking, branch points are the points where the various sheets of a multiple valued function come together. The branches of the function are the various sheets of the function. For example, the function ''w'' = ''z''<sup>1/2</sup> has two branches: one where the square root comes in with a plus sign, and the other with a minus sign. A '''branch cut''' is a curve in the complex plane such that it is possible to define a single analytic branch of a multi-valued function on the plane minus that curve. Branch cuts are usually, but not always, taken between pairs of branch points.
| |
| | |
| Branch cuts allow one to work with a collection of single-valued functions, "glued" together along the branch cut instead of a multivalued function. For example, to make the function
| |
| | |
| :<math>F(z) = \sqrt{z} \sqrt{1-z}\,</math> | |
| | |
| single-valued, one makes a branch cut along the interval [0, 1] on the real axis, connecting the two branch points of the function. The same idea can be applied to the function √''z''; but in that case one has to perceive that the ''point at infinity'' is the appropriate 'other' branch point to connect to from 0, for example along the whole negative real axis.
| |
| | |
| The branch cut device may appear arbitrary (and it is); but it is very useful, for example in the theory of special functions. An invariant explanation of the branch phenomenon is developed in [[Riemann surface]] theory (of which it is historically the origin), and more generally in the [[ramification]] and [[monodromy]] theory of [[algebraic function]]s and [[differential equation]]s.
| |
| | |
| === Complex logarithm ===
| |
| [[File:Riemann surface log.jpg|thumb|right|A plot of the multi-valued imaginary part of the complex logarithm function, which shows the branches. As a complex number ''z'' goes around the origin, the imaginary part of the logarithm goes up or down. This makes the origin a ''branch point'' of the function.]]
| |
| {{Main|Complex logarithm|Principal branch}}
| |
| The typical example of a branch cut is the complex logarithm. If a complex number is represented in polar form ''z'' = ''r''e<sup>i''θ''</sup>, then the logarithm of ''z'' is
| |
| :<math>\ln z = \ln r + i\theta.\,</math>
| |
| However, there is an obvious ambiguity in defining the angle ''θ'': adding to ''θ'' any integer multiple of 2''π'' will yield another possible angle. A branch of the logarithm is a continuous function ''L''(''z'') giving a logarithm of ''z'' for all ''z'' in a connected open set in the complex plane. In particular, a branch of the logarithm exists in the complement of any ray from the origin to infinity: a ''branch cut''. A common choice of branch cut is the negative real axis, although the choice is largely a matter of convenience.
| |
| | |
| The logarithm has a jump discontinuity of 2''π''i when crossing the branch cut. The logarithm can be made continuous by gluing together [[Countability|countably]] many copies, called ''sheets'', of the complex plane along the branch cut. On each sheet, the value of the log differs from its principal value by a multiple of 2''π''i. These surfaces are glued to each other along the branch cut in the unique way to make the logarithm continuous. Each time the variable goes around the origin, the logarithm moves to a different branch.
| |
| | |
| === Continuum of poles ===
| |
| | |
| One reason that branch cuts are common features of complex analysis is that a branch cut can be thought of as a sum of infinitely many poles arranged along a line in the complex plane with infinitesimal residues. For example,
| |
| | |
| : <math>
| |
| f_a(z) = {1\over z-a}
| |
| </math> | |
| | |
| is a function with a simple pole at ''z'' = ''a''. Integrating over the location of the pole:
| |
| | |
| : <math>
| |
| u(z) = \int_{a=-1}^{a=1} f_a(z) \,da = \int_{a=-1}^{a=1} {1\over z-a} \,da = \log \left({z+1\over z-1}\right)
| |
| </math>
| |
| | |
| defines a function ''u''(''z'') with a cut from −1 to 1. The branch cut can be moved around, since the integration line can be shifted without altering the value of the integral so long as the line does not pass across the point ''z''.
| |
| | |
| ==Riemann surfaces==
| |
| The concept of a branch point is defined for a holomorphic function ƒ:''X'' → ''Y'' from a compact connected [[Riemann surface]] ''X'' to a compact Riemann surface ''Y'' (usually the [[Riemann sphere]]). Unless it is constant, the function ƒ will be a [[covering space|covering map]] onto its image at all but a finite number of points. The points of ''X'' where ƒ fails to be a cover are the ramification points of ƒ, and the image of a ramification point under ƒ is called a branch point.
| |
| | |
| For any point ''P'' ∈ ''X'' and ''Q'' = ƒ(''P'') ∈ ''Y'', there are holomorphic [[local coordinates]] ''z'' for ''X'' near ''P'' and ''w'' for ''Y'' near ''Q'' in terms of which the function ƒ(''z'') is given by
| |
| :<math>w = z^k</math>
| |
| for some integer ''k''. This integer is called the ramification index of ''P''. Usually the ramification index is one. But if the ramification index is not equal to one, then ''P'' is by definition a ramification point, and ''Q'' is a branch point.
| |
| | |
| If ''Y'' is just the Riemann sphere, and ''Q'' is in the finite part of ''Y'', then there is no need to select special coordinates. The ramification index can be calculated explicitly from Cauchy's integral formula. Let γ be a simple rectifiable loop in ''X'' around ''P''. The ramification index of ƒ at ''P'' is
| |
| :<math>e_P = \frac{1}{2\pi i}\int_\gamma \frac{f'(z)}{f(z)-f(P)}\,dz.</math>
| |
| This integral is the number of times ƒ(γ) winds around the point ''Q''. As above, ''P'' is a ramification point and ''Q'' is a branch point if ''e''<sub>''P''</sub> > 1.
| |
| | |
| ==Algebraic geometry==
| |
| {{Main|Branched covering}}
| |
| In the context of [[algebraic geometry]], the notion of branch points can be generalized to mappings between arbitrary [[algebraic curve]]s. Let ƒ:''X'' → ''Y'' be a morphism of algebraic curves. By pulling back rational functions on ''Y'' to rational functions on ''X'', ''K''(''X'') is a [[field extension]] of ''K''(''Y''). The degree of ƒ is defined to be the degree of this field extension [''K''(''X''):''K''(''Y'')], and ƒ is said to be finite if the degree is finite.
| |
| | |
| Assume that ƒ is finite. For a point ''P'' ∈ ''X'', the ramification index ''e''<sub>''P''</sub> is defined as follows. Let ''Q'' = ƒ(''P'') and let ''t'' be a [[local parameter|local uniformizing parameter]] at ''P''; that is, ''t'' is a regular function defined in a neighborhood of ''Q'' with ''t''(''Q'') = 0 whose differential is nonzero. Pulling back ''t'' by ƒ defines a regular function on ''X''. Then
| |
| :<math>e_P = v_P(t\circ f)</math> | |
| where ''v''<sub>''P''</sub> is the [[valuation ring|valuation]] in the local ring of regular functions at ''P''. That is, ''e''<sub>''P''</sub> is the order to which <math>t\circ f</math> vanishes at ''P''. If ''e''<sub>''P''</sub> > 1, then ƒ is said to be ramified at ''P''. In that case, ''Q'' is called a branch point.
| |
| | |
| ==Puiseux series==
| |
| {{Main|Puiseux series}}
| |
| {{Expand section|date=December 2009}}
| |
| | |
| ==Notes==
| |
| {{reflist}}
| |
| | |
| ==References==
| |
| * {{Citation | last1=Ablowitz | first1=Mark J. | last2=Fokas | first2=Athanassios S. | title=Complex Variables: Introduction and Applications | publisher=[[Cambridge University Press]] | edition=2nd | series=Cambridge Texts in Applied Mathematics | isbn=978-0-521-53429-1 | year=2003}}
| |
| * {{Citation | last1=Ahlfors | first1=L. V. | title=Complex Analysis | publisher=[[McGraw-Hill]] | location=New York | isbn=978-0-07-000657-7 | year=1979}}
| |
| * {{Citation | last1=Arfken | first1=G. B. | last2=Weber | first2=H. J. | title=Mathematical Methods for Physicists | publisher=[[Academic Press]] | location=Boston, MA | edition=5th | isbn=978-0-12-059825-0 | year=2000}}
| |
| * {{Citation | last1=Hartshorne | first1=Robin | author1-link=Robin Hartshorne | title=[[Algebraic Geometry (book)|Algebraic Geometry]] | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-90244-9 | oclc=13348052 | mr=0463157 | year=1977}}
| |
| * {{Citation | last1=Markushevich | first1=A. I. | title=Theory of functions of a complex variable. Vol. I | publisher=Prentice-Hall Inc. | location=Englewood Cliffs, N.J. | series=Translated and edited by Richard A. Silverman | mr=0171899 | year=1965}}
| |
| * {{springer|first=E.D.|last=Solomentsev|id=B/b017500|title=Branch point|year=2001}}
| |
| | |
| [[Category:Complex analysis]]
| |
| [[Category:Inverse functions]]
| |
| | |
| [[de:Verzweigungspunkt]]
| |
| [[uk:Точка розгалудження]]
| |