Algebraic function

In mathematics, a function <math>f(x)</math> that satisfies a polynomial equation of the form

<math display="block">a_n(x)f(x)^n + a_{n-1}(x)f(x)^{n-1} + \cdots + a_1(x)f(x) + a_0(x) = 0</math>

where the <math>a_k(x)</math> are polynomials (not all zero), is called an algebraic function. Basic examples of algebraic functions are polynomial functions, rational functions, the nth root function, and functions obtained from these by composition and algebraic operations (addition, multiplication, subtraction, and division). Thus an example of an algebraic function is the function <math>f(x) = \sqrt{1-x^2}</math> (for <math>-1<x<1</math>), whose graph is the top half of the standard unit circle. This function satisfies <math>x^2+f(x)^2-1=0</math>. Algebraic functions are contrasted with transcendental functions, such as the exponential function, logarithm, and the trigonometric functions.

Algebraic functions are usually treated more generally as multivalued functions. The example of <math>x^2+y^2-1=0</math> illustrates this, since it includes both the top semicircle <math>y=\sqrt{1-x^2}</math> and bottom semicircle <math>y=-\sqrt{1-x^2}</math> in the same package. Algebraic functions are most often studied over the complex numbers. Formally, an algebraic function over the complex numbers is defined to be a multivalued function <math>y</math> satisfying a polynomial equation

where <math>P(x,y)</math> is an irreducible polynomial of two variables, having positive degree in <math>y</math> and complex coefficients. The example of <math>x^2+y^2-1=0</math> can be expressed as having the two single-valued branches, <math>y=\sqrt{1-x^2}</math> and <math>y=-\sqrt{1-x^2}</math>, with branch points where the two branches come together, at <math>x=\pm 1</math>. This particular function can be written using finitely many algebraic operations and extraction of roots, but this is not generally the case such as with the Bring radical. Over the complex numbers, algebraic functions have local holomorphic branches away from finitely many branch points and poles, and are naturally studied as meromorphic functions on compact Riemann surfaces.

More generally, over a field <math>K</math>, an algebraic function in one variable <math>x</math> is defined algebraically as an element algebraic over the rational function field <math>K(x)</math>. Equivalently, it satisfies a polynomial equation of positive degree in <math>y</math>,

: <math>a_n(x)y^n+a_{n-1}(x)y^{n-1}+\cdots+a_0(x)=0,</math>

where the coefficients <math>a_i(x)</math> are polynomials in <math>x</math> with coefficients in <math>K</math>. If the irreducible defining polynomial has degree <math>n</math> in <math>y</math>, the algebraic function is said to have degree <math>n</math>.

An algebraic function in <math>m</math> variables over <math>K</math> is an element algebraic over the field of rational functions <math>K(x_1,\ldots,x_m)</math>. Equivalently, it satisfies a polynomial equation

:<math>p(y,x_1,x_2,\dots,x_m)=0.</math>

In one variable, algebraic functions are closely related to algebraic curves and their function fields; in the separable case, they may also be studied via finite or ramified covers of the projective line.

Algebraic functions in one variable

Basic examples

Polynomial and rational functions are algebraic. A polynomial function <math>y=p(x)</math> satisfies

:<math>y-p(x)=0.</math>

A rational function <math>y=p(x)/q(x)</math> satisfies

:<math>q(x)y-p(x)=0,</math>

with poles at the zeros of <math>q</math>. More generally, the <math>n</math>th root of a polynomial or rational function is algebraic, since it satisfies an equation such as

:<math>y^n-p(x)=0.</math>

Many elementary algebraic functions can be obtained from rational functions by algebraic operations and extraction of roots. However, algebraic functions are more general than functions expressible by radicals. By Galois theory, roots of a general polynomial equation of degree five or higher cannot be expressed by radicals.

Where a local inverse branch of an algebraic function exists, it is again algebraic. More generally, if <math>x</math> and <math>y</math> satisfy a polynomial relation <math>P(x,y)=0</math>, then interchanging the roles of <math>x</math> and <math>y</math> gives an algebraic correspondence whose branches include the local inverse branches. The solution set <math>P(x,y)=0</math> is an algebraic curve; away from exceptional points, its local branches may be represented as graphs over the <math>x</math>-line.

The role of complex numbers

From an algebraic perspective, complex numbers enter quite naturally into the study of algebraic functions. First of all, by the fundamental theorem of algebra, the complex numbers are an algebraically closed field. Hence, for each value of <math>x</math> for which <math>p(x,y)</math> is a nonconstant polynomial of degree <math>n</math> in <math>y</math>, the equation <math>p(x,y)=0</math> has <math>n</math> complex roots counted with multiplicity. Exceptional values of <math>x</math>, such as zeros of the leading coefficient or of the discriminant, are responsible for poles, multiple roots, and branch points.

thumb|A graph of three branches of the algebraic function y, where y3 − xy + 1 = 0, over the domain 3/22/3 < x < 50.

Furthermore, even if one is ultimately interested in real algebraic functions, there may be no means to express the function in terms of addition, multiplication, division and taking nth roots without resorting to complex numbers (see casus irreducibilis). For example, consider the algebraic function determined by the equation

:<math>y^3-xy+1=0.\,</math>

Using the cubic formula, we get

:<math>

y=-\frac{2x}{\sqrt[3]{-108+12\sqrt{81-12x^3}+\frac{\sqrt[3]{-108+12\sqrt{81-12x^3}{6}.

</math>

For <math>x\le \frac{3}{\sqrt[3]{4,</math> the square root is real and the cubic root is thus well defined, providing the unique real root. On the other hand, for <math>x>\frac{3}{\sqrt[3]{4,</math> the square root is not real, and one has to choose, for the square root, either non-real square root. Thus the cubic root has to be chosen among three non-real numbers. If the same choices are done in the two terms of the formula, the three choices for the cubic root provide the three branches shown, in the accompanying image.

It may be proven that there is no way to express this function in terms of nth roots using real numbers only, even though the resulting function is real-valued on the domain of the graph shown.

On a more significant theoretical level, using complex numbers allows one to use the powerful techniques of complex analysis to discuss algebraic functions. In particular, the argument principle can be used to show that any algebraic function is in fact an analytic function, at least in the multiple-valued sense.

Formally, let p(x, y) be a complex polynomial in the complex variables x and y. Suppose that

x0 ∈ C is such that the polynomial p(x0, y) of y has n distinct zeros. We shall show that the algebraic function is analytic in a neighborhood of x0. Choose a system of n non-overlapping discs Δi containing each of these zeros. Then by the argument principle

:<math>\frac{1}{2\pi i}\oint_{\partial\Delta_i} \frac{p_y(x_0,y)}{p(x_0,y)}\,dy = 1.</math>

By continuity, this also holds for all x in a neighborhood of x0. In particular, p(x, y) has only one root in Δi, given by the residue theorem:

:<math>f_i(x) = \frac{1}{2\pi i}\oint_{\partial\Delta_i} y\frac{p_y(x,y)}{p(x,y)}\,dy</math>

which is an analytic function.

Branch points and Puiseux series

At a critical value, the local branches need not be single-valued functions of <math>x</math>. Instead, after introducing a local parameter <math>t</math> with <math>x-x_0=t^e</math>, the branches can be represented by convergent Puiseux series

On a nonsingular branch, the derivative of an algebraic function is also algebraic. Differentiating <math>P(x,y)=0</math> implicitly gives

:<math>y'=-{P_x(x,y)\over P_y(x,y)},</math>

where this expression is valid away from points at which <math>P_y=0</math>. By contrast, an antiderivative of an algebraic function need not be algebraic. Integrals of algebraic functions lead more generally to Abelian integrals, such as elliptic integrals.

History

The ideas surrounding algebraic functions go back at least as far as René Descartes. The first discussion of algebraic functions appears to have been in Edward Waring's 1794 An Essay on the Principles of Human Knowledge in which he writes:

:let a quantity denoting the ordinate, be an algebraic function of the abscissa x, by the common methods of division and extraction of roots, reduce it into an infinite series ascending or descending according to the dimensions of x, and then find the integral of each of the resulting terms.

References

External links

Definition of "Algebraic function" in the Encyclopedia of Math
Definition of "Algebraic function" in David J. Darling's Internet Encyclopedia of Science