World Library  
Flag as Inappropriate
Email this Article

Closed-form expression

Article Id: WHEBN0000585143
Reproduction Date:

Title: Closed-form expression  
Author: World Heritage Encyclopedia
Language: English
Subject: Expression (mathematics), Drainage equation, Algebraic expression, External ballistics, Beta distribution
Collection: Algebra, Special Functions
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Closed-form expression

In mathematics, a closed-form expression is a mathematical expression that can be evaluated in a finite number of operations. It may contain constants, variables, certain "well-known" operations (e.g., + − × ÷), and functions (e.g., nth root, exponent, logarithm, trigonometric functions, and inverse hyperbolic functions), but usually no limit. The set of operations and functions admitted in a closed-form expression may vary with author and context.

Problems are said to be tractable if they can be solved in terms of a closed-form expression.

Contents

  • Example: roots of polynomials 1
  • Alternative definitions 2
  • Analytic expression 3
  • Comparison of different classes of expressions 4
  • Dealing with non-closed-form expressions 5
    • Transformation into closed-form expressions 5.1
    • Differential Galois theory 5.2
    • Mathematical modelling and computer simulation 5.3
  • Closed-form number 6
  • Numerical computations 7
  • Conversion from numerical forms 8
  • See also 9
  • Further reading 10
  • Notes 11
  • External links 12

Example: roots of polynomials

The solutions of any quadratic equation with complex coefficients can be expressed in closed form in terms of addition, subtraction, multiplication, division, and square root extraction, each of which is an elementary function. For example, the quadratic equation:

ax^2+bx+c=0,\,

is tractable since its solutions can be expressed as closed-form expression, i.e. in terms of elementary functions:

x={-b\pm\sqrt{b^2-4ac} \over 2a}

Similarly solutions of cubic and quartic (third and fourth degree) equations can be expressed using arithmetic, square roots, and cube roots, or alternatively using arithmetic and trigonometric functions. However, there are quintic equations without closed-form solutions using elementary functions, such as x5 − x + 1 = 0.

An area of study in mathematics referred to broadly as Galois theory involves proving that no closed-form expression exists in certain contexts, based on the central example of closed-form solutions to polynomials.

Alternative definitions

Changing the definition of "well-known" to include additional functions can change the set of equations with closed-form solutions. Many cumulative distribution functions cannot be expressed in closed form, unless one considers special functions such as the error function or gamma function to be well known. It is possible to solve the quintic equation if general hypergeometric functions are included, although the solution is far too complicated algebraically to be useful. For many practical computer applications, it is entirely reasonable to assume that the gamma function and other special functions are well-known, since numerical implementations are widely available.

Analytic expression

An analytic expression (or expression in analytic form) is a mathematical expression constructed using well-known operations that lend themselves readily to calculation. Similar to closed-form expressions, the set of well-known functions allowed can vary according to context but always includes the basic arithmetic operations (addition, subtraction, multiplication, and division), exponentiation to a real exponent (which includes extraction of the nth root), logarithms, and trigonometric functions.

However, the class of expressions considered to be analytic expressions tends to be wider than that for closed-form expressions. In particular, special functions such as the Bessel functions and the gamma function are usually allowed, and often so are infinite series and continued fractions. On the other hand, limits in general, and integrals in particular, are typically excluded.

If an analytic expression involves only the algebraic operations (addition, subtraction, multiplication, division and exponentiation to a rational exponent) and rational constants then it is more specifically referred to as an algebraic expression.

Comparison of different classes of expressions

Closed-form expressions are an important sub-class of analytic expressions, which contain a bounded or unbounded number of applications of well-known functions. Unlike the broader analytic expressions, the closed-form expressions do not include infinite series or continued fractions; neither includes integrals or limits. Indeed, by the Stone–Weierstrass theorem, any continuous function on the unit interval can be expressed as a limit of polynomials, so any class of functions containing the polynomials and closed under limits will necessarily include all continuous functions.

Similarly, an equation or system of equations is said to have a closed-form solution if, and only if, at least one solution can be expressed as a closed-form expression; and it is said to have an analytic solution if and only if at least one solution can be expressed as an analytic expression. There is a subtle distinction between a "closed-form function" and a "numberclosed-form " in the discussion of a "closed-form solution", discussed in (Chow 1999) and below. A closed-form or analytic solution is sometimes referred to as an explicit solution.

Dealing with non-closed-form expressions

Transformation into closed-form expressions

The expression:

f(x) = \sum_{i=0}^\infty {x \over 2^i}

is not in closed form because the summation entails an infinite number of elementary operations. However, by summing a geometric series this expression can be expressed in the closed-form:[1]

f(x) = 2x

Differential Galois theory

The integral of a closed-form expression may or may not itself be expressible as a closed-form expression. This study is referred to as differential Galois theory, by analogy with algebraic Galois theory.

The basic theorem of differential Galois theory is due to Joseph Liouville in the 1830s and 1840s and hence referred to as Liouville's theorem.

A standard example of an elementary function whose antiderivative does not have a closed-form expression is:

e^{-x^2}

whose antiderivative is (up to constants) the error function:

\operatorname{erf}(x) = \frac{2}{\sqrt{\pi}}\int_{0}^x e^{-t^2}\,\mathrm dt.

Mathematical modelling and computer simulation

Equations or systems too complex for closed-form or analytic solutions can often be analysed by mathematical modelling and computer simulation.

Closed-form number

Three subfields of the complex numbers C have been suggested as encoding the notion of a "closed-form number"; in increasing order of generality, these are the EL numbers, Liouville numbers, and elementary numbers. The Liouville numbers, denoted L (not to be confused with Liouville numbers in the sense of rational approximation), form the smallest algebraically closed subfield of C closed under exponentiation and logarithm (formally, intersection of all such subfields)—that is, numbers which involve explicit exponentiation and logarithms, but allow explicit and implicit polynomials (roots of polynomials); this is defined in (Ritt 1948, p. 60). L was originally referred to as elementary numbers, but this term is now used more broadly to refer to numbers defined explicitly or implicitly in terms of algebraic operations, exponentials, and logarithms. A narrower definition proposed in (Chow 1999, pp. 441–442), denoted E, and referred to as EL numbers, is the smallest subfield of C closed under exponentiation and logarithm—this need not be algebraically closed, and correspond to explicit algebraic, exponential, and logarithmic operations. "EL" stands both for "Exponential-Logarithmic" and as an abbreviation for "elementary".

Whether a number is a closed-form number is related to whether a number is transcendental. Formally, Liouville numbers and elementary numbers contain the algebraic numbers, and they include some but not all transcendental numbers. In contrast, EL numbers do not contain all algebraic numbers, but do include some transcendental numbers. Closed-form numbers can be studied via transcendental number theory, in which a major result is the Gelfond–Schneider theorem, and a major open question is Schanuel's conjecture.

Numerical computations

For purposes of numeric computations, being in closed form is not in general necessary, as many limits and integrals can be efficiently computed.

Conversion from numerical forms

There is software that attempts to find closed-form expressions for numerical values, including RIES,[2] identify in Maple[3] and SymPy,[4] Plouffe's Inverter,[5] and the Inverse Symbolic Calculator.[6]


See also

Further reading

  •  
  • Chow, Timothy Y. (May 1999), "What is a Closed-Form Number?",  
  • Jonathan M. Borwein and Richard E. Crandall (January 2013), "Closed Forms: What They Are and Why We Care",  

Notes

  1. ^ Holton, Glyn. "Numerical Solution, Closed-Form Solution". Retrieved 31 December 2012. 
  2. ^ Munafo, Robert. "RIES - Find Algebraic Equations, Given Their Solution". Retrieved 30 April 2012. 
  3. ^ "identify". Maple Online Help. Maplesoft. Retrieved 30 April 2012. 
  4. ^ "Number identification". SymPy documentation. 
  5. ^ "Plouffe's Inverter". Retrieved 30 April 2012. 
  6. ^ "Inverse Symbolic Calculator". Retrieved 30 April 2012. 


External links

This article was sourced from Creative Commons Attribution-ShareAlike 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, E-Government 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 non-profit organization.
 



Copyright © World Library Foundation. All rights reserved. eBooks from World eBook Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.