In mathematics, a rational function is any function which can be defined by a rational fraction, i.e. an algebraic fraction such that both the numerator and the denominator are polynomials. The coefficients of the polynomials need not be rational numbers, they may be taken in any field K. In this case, one speaks of a rational function and a rational fraction over K. The values of the variables may be taken in any field L containing K. Then the domain of the function is the set of the values of the variables for which the denominator is not zero and the codomain is L.
By modifying the definition to use equivalence classes the set of rational functions becomes a field.
Contents

Definitions 1

Examples 2

Taylor series 3

Abstract algebra and geometric notion 4

Complex rational functions 4.1

Notion of a rational function on an algebraic variety 4.2

Applications 5

References 6

See also 7

External links 8
Definitions
A function f(x) is called a rational function if and only if it can be written in the form

f(x) = \frac{P(x)}{Q(x)}
where P\, and Q\, are polynomials in x\, and Q\, is not the zero polynomial. The domain of f\, is the set of all points x\, for which the denominator Q(x)\, is not zero.
However, if \textstyle P and \textstyle Q have a non constant polynomial greatest common divisor \textstyle R, then setting \textstyle P=P_1R and \textstyle Q=Q_1R produces a rational function

f_1(x) = \frac{P_1(x)}{Q_1(x)},
which may have a larger domain than f(x), and is equal to f(x) on the domain of f(x). It is a common usage to identify f(x) and f_1(x), that is to extend "by continuity" the domain of f(x) to that of f_1(x). Indeed, one can define a rational fraction as an equivalence class of fractions of polynomials, where two fractions A(x)/B(x) and C(x)/D(x) are considered equivalent if A(x)D(x)=B(x)C(x). In this case \frac{P(x)}{Q(x)} is equivalent to \frac{P_1(x)}{Q_1(x)}.
Examples
Examples of rational functions
Rational function of degree 3: y = \frac{x^32x}{2(x^25)}
Rational function of degree 2: y = \frac{x^23x2}{x^24}
The rational function f(x) = \frac{x^32x}{2(x^25)} is not defined at x^2=5 \Leftrightarrow x=\pm \sqrt{5}. It is asymptotic to \frac{x}{2} as x approaches infinity.
The rational function f(x) = \frac{x^2 + 2}{x^2 + 1} is defined for all real numbers, but not for all complex numbers, since if x were a square root of 1 (i.e. the imaginary unit or its negative), then formal evaluation would lead to division by zero: f(i) = \frac{i^2 + 2}{i^2 + 1} = \frac{1 + 2}{1 + 1} = \frac{1}{0}, which is undefined.
A constant function such as f(x) = π is a rational function since constants are polynomials. Note that the function itself is rational, even though the value of f(x) is irrational for all x.
Every polynomial function f(x) = P(x) is a rational function with Q(x) = 1. A function that cannot be written in this form, such as f(x) = \sin(x), is not a rational function. The adjective "irrational" is not generally used for functions.
The rational function f(x) = \frac{x}{x} is equal to 1 for all x except 0, where there is a removable singularity. The sum, product, or quotient (excepting division by the zero polynomial) of two rational functions is itself a rational function. However, the process of reduction to standard form may inadvertently result in the removal of such singularities unless care is taken. Using the definition of rational functions as equivalence classes gets around this, since x/x is equivalent to 1/1.
Taylor series
The coefficients of a Taylor series of any rational function satisfy a linear recurrence relation, which can be found by setting the rational function equal to its Taylor series and collecting like terms.
For example,

\frac{1}{x^2  x + 2} = \sum_{k=0}^{\infty} a_k x^k.
Multiplying through by the denominator and distributing,

1 = (x^2  x + 2) \sum_{k=0}^{\infty} a_k x^k

1 = \sum_{k=0}^{\infty} a_k x^{k+2}  \sum_{k=0}^{\infty} a_k x^{k+1} + 2\sum_{k=0}^{\infty} a_k x^k.
After adjusting the indices of the sums to get the same powers of x, we get

1 = \sum_{k=2}^{\infty} a_{k2} x^k  \sum_{k=1}^{\infty} a_{k1} x^k + 2\sum_{k=0}^{\infty} a_k x^k.
Combining like terms gives

1 = 2a_0 + (2a_1  a_0)x + \sum_{k=2}^{\infty} (a_{k2}  a_{k1} + 2a_k) x^k.
Since this holds true for all x in the radius of convergence of the original Taylor series, we can compute as follows. Since the constant term on the left must equal the constant term on the right it follows that

a_0 = \frac{1}{2}.
Then, since there are no powers of x on the left, all of the coefficients on the right must be zero, from which it follows that

a_1 = \frac{1}{4}

a_{k} = \frac{1}{2} (a_{k1}  a_{k2})\quad for\ k \ge 2.
Conversely, any sequence that satisfies a linear recurrence determines a rational function when used as the coefficients of a Taylor series. This is useful in solving such recurrences, since by using partial fraction decomposition we can write any rational function as a sum of factors of the form 1 / (ax + b) and expand these as geometric series, giving an explicit formula for the Taylor coefficients; this is the method of generating functions.
Abstract algebra and geometric notion
In abstract algebra the concept of a polynomial is extended to include formal expressions in which the coefficients of the polynomial can be taken from any field. In this setting given a field F and some indeterminate X, a rational expression is any element of the field of fractions of the polynomial ring F[X]. Any rational expression can be written as the quotient of two polynomials P/Q with Q ≠ 0, although this representation isn't unique. P/Q is equivalent to R/S, for polynomials P, Q, R, and S, when PS = QR. However since F[X] is a unique factorization domain, there is a unique representation for any rational expression P/Q with P and Q polynomials of lowest degree and Q chosen to be monic. This is similar to how a fraction of integers can always be written uniquely in lowest terms by canceling out common factors.
The field of rational expressions is denoted F(X). This field is said to be generated (as a field) over F by (a transcendental element) X, because F(X) does not contain any proper subfield containing both F and the element X.
Complex rational functions
In complex analysis, a rational function

f(z) = \frac{P(z)}{Q(z)}
is the ratio of two polynomials with complex coefficients, where Q is not the zero polynomial and P and Q have no common factor (this avoids f taking the indeterminate value 0/0). The domain and range of f are usually taken to be the Riemann sphere, which avoids any need for special treatment at the poles of the function (where Q(z) is 0).
The degree of a rational function is the maximum of the degrees of its constituent polynomials P and Q. If the degree of f is d, then the equation

f(z) = w \,
has d distinct solutions in z except for certain values of w, called critical values, where two or more solutions coincide. The function f can therefore be thought of as a dfold covering of the wsphere by the zsphere.
Rational functions with degree 1 are called Möbius transformations and form the automorphisms group of the Riemann sphere. Rational functions are representative examples of meromorphic functions.
Notion of a rational function on an algebraic variety
Like polynomials, rational expressions can also be generalized to n indeterminates X_{1},..., X_{n}, by taking the field of fractions of F[X_{1},..., X_{n}], which is denoted by F(X_{1},..., X_{n}).
An extended version of the abstract idea of rational function is used in algebraic geometry. There the function field of an algebraic variety V is formed as the field of fractions of the coordinate ring of V (more accurately said, of a Zariskidense affine open set in V). Its elements f are considered as regular functions in the sense of algebraic geometry on nonempty open sets U, and also may be seen as morphisms to the projective line.
Applications
These objects are first encountered in school algebra. In more advanced mathematics they play an important role in ring theory, especially in the construction of field extensions. They also provide an example of a nonarchimedean field (see Archimedean property).
Rational functions are used in numerical analysis for interpolation and approximation of functions, for example the Padé approximations introduced by Henri Padé. Approximations in terms of rational functions are well suited for computer algebra systems and other numerical software. Like polynomials, they can be evaluated straightforwardly, and at the same time they express more diverse behavior than polynomials.
Rational functions are used to approximate or model more complex equations in science and engineering including (i) fields and forces in physics, (ii) spectroscopy in analytical chemistry, (iii) enzyme kinetics in biochemistry, (iv) electronic circuitry, (v) aerodynamics, (vi) medicine concentrations in vivo, (vii) wave functions for atoms and molecules, (viii) optics and photography to improve image resolution, and (ix) acoustics and sound.
References

Hazewinkel, Michiel, ed. (2001), "Rational function",

Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007), "Section 3.4. Rational Function Interpolation and Extrapolation", Numerical Recipes: The Art of Scientific Computing (3rd ed.), New York: Cambridge University Press,
See also
External links

Dynamic visualization of rational functions with JSXGraph
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.