|
Hypergeometric Function
In mathematics, the Gaussian or ordinary hypergeometric function 2''F''1(''a'',''b'';''c'';''z'') is a special function represented by the hypergeometric series, that includes many other special functions as specific or limiting cases. It is a solution of a second-order linear ordinary differential equation (ODE). Every second-order linear ODE with three regular singular points can be transformed into this equation. For systematic lists of some of the many thousands of published identities involving the hypergeometric function, see the reference works by and . There is no known system for organizing all of the identities; indeed, there is no known algorithm that can generate all identities; a number of different algorithms are known that generate different series of identities. The theory of the algorithmic discovery of identities remains an active research topic. History The term "hypergeometric series" was first used by John Wallis in his 1655 book ''Arithmetica Infinitor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Generalized Hypergeometric Function
In mathematics, a generalized hypergeometric series is a power series in which the ratio of successive coefficients indexed by ''n'' is a rational function of ''n''. The series, if convergent, defines a generalized hypergeometric function, which may then be defined over a wider domain of the argument by analytic continuation. The generalized hypergeometric series is sometimes just called the hypergeometric series, though this term also sometimes just refers to the Gaussian hypergeometric series. Generalized hypergeometric functions include the (Gaussian) hypergeometric function and the confluent hypergeometric function as special cases, which in turn have many particular special functions as special cases, such as elementary functions, Bessel functions, and the orthogonal polynomials, classical orthogonal polynomials. Notation A hypergeometric series is formally defined as a power series :\beta_0 + \beta_1 z + \beta_2 z^2 + \dots = \sum_ \beta_n z^n in which the ratio of succe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Schwarz's List
In the mathematical theory of special functions, Schwarz's list or the Schwarz table is the list of 15 cases found by when hypergeometric functions can be expressed algebraically. More precisely, it is a listing of parameters determining the cases in which the hypergeometric equation has a finite monodromy group, or equivalently has two independent solutions that are algebraic functions. It lists 15 cases, divided up by the isomorphism class of the monodromy group (excluding the case of a cyclic group), and was first derived by Schwarz by methods of complex analytic geometry. Correspondingly the statement is not directly in terms of the parameters specifying the hypergeometric equation, but in terms of quantities used to describe certain spherical triangles. The wider importance of the table, for general second-order differential equations in the complex plane, was shown by Felix Klein, who proved a result to the effect that cases of finite monodromy for such equations and re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Legendre Polynomials
In mathematics, Legendre polynomials, named after Adrien-Marie Legendre (1782), are a system of complete and orthogonal polynomials with a wide number of mathematical properties and numerous applications. They can be defined in many ways, and the various definitions highlight different aspects as well as suggest generalizations and connections to different mathematical structures and physical and numerical applications. Closely related to the Legendre polynomials are associated Legendre polynomials, Legendre functions, Legendre functions of the second kind, big q-Legendre polynomials, and associated Legendre functions. Definition and representation Definition by construction as an orthogonal system In this approach, the polynomials are defined as an orthogonal system with respect to the weight function w(x) = 1 over the interval [-1,1]. That is, P_n(x) is a polynomial of degree n, such that \int_^1 P_m(x) P_n(x) \,dx = 0 \quad \text n \ne m. With the additional standardi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jacobi Polynomials
In mathematics, Jacobi polynomials (occasionally called hypergeometric polynomials) P_n^(x) are a class of Classical orthogonal polynomials, classical orthogonal polynomials. They are orthogonal with respect to the weight (1-x)^\alpha(1+x)^\beta on the interval [-1,1]. The Gegenbauer polynomials, and thus also the Legendre polynomials, Legendre, Zernike polynomials, Zernike and Chebyshev polynomials, are special cases of the Jacobi polynomials. The Jacobi polynomials were introduced by Carl Gustav Jacob Jacobi. Definitions Via the hypergeometric function The Jacobi polynomials are defined via the hypergeometric function as follows: :P_n^(z)=\frac\,_2F_1\left(-n,1+\alpha+\beta+n;\alpha+1;\tfrac(1-z)\right), where (\alpha+1)_n is Pochhammer symbol, Pochhammer's symbol (for the rising factorial). In this case, the series for the hypergeometric function is finite, therefore one obtains the following equivalent expression: :P_n^ (z) = \frac \sum_^n \frac \left(\frac\right)^m. R ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Legendre Function
In physical science and mathematics, the Legendre functions , and associated Legendre functions , , and Legendre functions of the second kind, , are all solutions of Legendre's differential equation. The Legendre polynomials and the associated Legendre polynomials are also solutions of the differential equation in special cases, which, by virtue of being polynomials, have a large number of additional properties, mathematical structure, and applications. For these polynomial solutions, see the separate Wikipedia articles. Legendre's differential equation The general Legendre equation reads \left(1 - x^2\right) y'' - 2xy' + \left[\lambda(\lambda+1) - \frac\right] y = 0, where the numbers and may be complex, and are called the degree and order of the relevant function, respectively. The polynomial solutions when is an integer (denoted ), and are the Legendre polynomials ; and when is an integer (denoted ), and is also an integer with are the associated Legendre polynomi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bessel Functions
Bessel functions, named after Friedrich Bessel who was the first to systematically study them in 1824, are canonical solutions of Bessel's differential equation x^2 \frac + x \frac + \left(x^2 - \alpha^2 \right)y = 0 for an arbitrary complex number \alpha, which represents the ''order'' of the Bessel function. Although \alpha and -\alpha produce the same differential equation, it is conventional to define different Bessel functions for these two values in such a way that the Bessel functions are mostly smooth functions of \alpha. The most important cases are when \alpha is an integer or half-integer. Bessel functions for integer \alpha are also known as cylinder functions or the cylindrical harmonics because they appear in the solution to Laplace's equation in cylindrical coordinates. #Spherical Bessel functions, Spherical Bessel functions with half-integer \alpha are obtained when solving the Helmholtz equation in spherical coordinates. Applications Bessel's equation arise ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Confluent Hypergeometric Function
In mathematics, a confluent hypergeometric function is a solution of a confluent hypergeometric equation, which is a degenerate form of a hypergeometric differential equation where two of the three regular singularities merge into an irregular singularity. The term ''confluent'' refers to the merging of singular points of families of differential equations; ''confluere'' is Latin for "to flow together". There are several common standard forms of confluent hypergeometric functions: * Kummer's (confluent hypergeometric) function , introduced by , is a solution to Kummer's differential equation. This is also known as the confluent hypergeometric function of the first kind. There is a different and unrelated Kummer's function bearing the same name. * Tricomi's (confluent hypergeometric) function introduced by , sometimes denoted by , is another solution to Kummer's equation. This is also known as the confluent hypergeometric function of the second kind. * Whittaker functions (for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometric Series
In mathematics, a geometric series is a series (mathematics), series summing the terms of an infinite geometric sequence, in which the ratio of consecutive terms is constant. For example, 1/2 + 1/4 + 1/8 + 1/16 + ⋯, the series \tfrac12 + \tfrac14 + \tfrac18 + \cdots is a geometric series with common ratio , which converges to the sum of . Each term in a geometric series is the geometric mean of the term before it and the term after it, in the same way that each term of an arithmetic series is the arithmetic mean of its neighbors. While Ancient Greek philosophy, Greek philosopher Zeno's paradoxes about time and motion (5th century BCE) have been interpreted as involving geometric series, such series were formally studied and applied a century or two later by Greek mathematics, Greek mathematicians, for example used by Archimedes to Quadrature of the Parabola, calculate the area inside a parabola (3rd century BCE). Today, geometric series are used in mathematical finance, calculati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Generalized Hypergeometric Series
In mathematics, a generalized hypergeometric series is a power series in which the ratio of successive coefficients indexed by ''n'' is a rational function of ''n''. The series, if convergent, defines a generalized hypergeometric function, which may then be defined over a wider domain of the argument by analytic continuation. The generalized hypergeometric series is sometimes just called the hypergeometric series, though this term also sometimes just refers to the Gaussian hypergeometric series. Generalized hypergeometric functions include the (Gaussian) hypergeometric function and the confluent hypergeometric function as special cases, which in turn have many particular special functions as special cases, such as elementary functions, Bessel functions, and the classical orthogonal polynomials. Notation A hypergeometric series is formally defined as a power series :\beta_0 + \beta_1 z + \beta_2 z^2 + \dots = \sum_ \beta_n z^n in which the ratio of successive coefficients is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gamma Function
In mathematics, the gamma function (represented by Γ, capital Greek alphabet, Greek letter gamma) is the most common extension of the factorial function to complex numbers. Derived by Daniel Bernoulli, the gamma function \Gamma(z) is defined for all complex numbers z except non-positive integers, and for every positive integer z=n, \Gamma(n) = (n-1)!\,.The gamma function can be defined via a convergent improper integral for complex numbers with positive real part: \Gamma(z) = \int_0^\infty t^ e^\textt, \ \qquad \Re(z) > 0\,.The gamma function then is defined in the complex plane as the analytic continuation of this integral function: it is a meromorphic function which is holomorphic function, holomorphic except at zero and the negative integers, where it has simple Zeros and poles, poles. The gamma function has no zeros, so the reciprocal gamma function is an entire function. In fact, the gamma function corresponds to the Mellin transform of the negative exponential functi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Analytic Continuation
In complex analysis, a branch of mathematics, analytic continuation is a technique to extend the domain of definition of a given analytic function. Analytic continuation often succeeds in defining further values of a function, for example in a new region where the infinite series representation which initially defined the function becomes divergent. The step-wise continuation technique may, however, come up against difficulties. These may have an essentially topological nature, leading to inconsistencies (defining more than one value). They may alternatively have to do with the presence of singularities. The case of several complex variables is rather different, since singularities then need not be isolated points, and its investigation was a major reason for the development of sheaf cohomology. Initial discussion Suppose ''f'' is an analytic function defined on a non-empty open subset ''U'' of the complex plane If ''V'' is a larger open subset of containing ''U'', and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Falling And Rising Factorials
In mathematics, the falling factorial (sometimes called the descending factorial, falling sequential product, or lower factorial) is defined as the polynomial \begin (x)_n = x^\underline &= \overbrace^ \\ &= \prod_^n(x-k+1) = \prod_^(x-k) . \end The rising factorial (sometimes called the Pochhammer function, Pochhammer polynomial, ascending factorial, — A reprint of the 1950 edition by Chelsea Publishing. rising sequential product, or upper factorial) is defined as \begin x^ = x^\overline &= \overbrace^ \\ &= \prod_^n(x+k-1) = \prod_^(x+k) . \end The value of each is taken to be 1 (an empty product) when n=0. These symbols are collectively called factorial powers. The Pochhammer symbol, introduced by Leo August Pochhammer, is the notation (x)_n, where is a non-negative integer. It may represent ''either'' the rising or the falling factorial, with different articles and authors using different conventions. Pochhammer himself actually used (x)_n with yet another meaning, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
