|
Liouvillian Function
In mathematics, the Liouvillian functions comprise a set of functions including the elementary functions and their repeated integrals. Liouvillian functions can be recursively defined as integrals of other Liouvillian functions. More explicitly, a Liouvillian function is a function of one variable which is the composition of a finite number of arithmetic operations , exponentials, constants, solutions of algebraic equations (a generalization of ''n''th roots), and antiderivatives. The logarithm function does not need to be explicitly included since it is the integral of 1/x. It follows directly from the definition that the set of Liouvillian functions is closed under arithmetic operations, composition, and integration. It is also closed under differentiation. It is not closed under limits and infinite sums. Liouvillian functions were introduced by Joseph Liouville in a series of papers from 1833 to 1841. Examples All elementary functions are Liouvillian. Examples of we ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elementary Function
In mathematics, an elementary function is a function of a single variable (typically real or complex) that is defined as taking sums, products, roots and compositions of finitely many polynomial, rational, trigonometric, hyperbolic, and exponential functions, including possibly their inverse functions (e.g., arcsin, log, or ''x''1/''n''). All elementary functions are continuous on their domains. Elementary functions were introduced by Joseph Liouville in a series of papers from 1833 to 1841. An algebraic treatment of elementary functions was started by Joseph Fels Ritt in the 1930s. Examples Basic examples Elementary functions of a single variable include: * Constant functions: 2,\ \pi,\ e, etc. * Rational powers of : x,\ x^2,\ \sqrt\ (x^\frac),\ x^\frac, etc. * more general algebraic functions: f(x) satisfying f(x)^5+f(x)+x=0, which is not expressible through n-th roots or rational powers of alone * Exponential functions: e^x, \ a^x * Logarithms: \ln x, \ \log_a x ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Joseph Liouville
Joseph Liouville (; ; 24 March 1809 – 8 September 1882) was a French mathematician and engineer. Life and work He was born in Saint-Omer in France on 24 March 1809. His parents were Claude-Joseph Liouville (an army officer) and Thérèse Liouville (née Balland). Liouville gained admission into the École Polytechnique in 1825 and graduated in 1827. Just like Augustin-Louis Cauchy before him, Liouville studied engineering at École des Ponts et Chaussées after graduating from the Polytechnique, but opted instead for a career in mathematics. After some years as an assistant at various institutions including the École Centrale Paris, he was appointed as professor at the École Polytechnique in 1838. He obtained a chair in mathematics at the Collège de France in 1850 and a chair in mechanics at the Faculté des Sciences in 1857. Besides his academic achievements, he was very talented in organisational matters. Liouville founded the ''Journal de Mathématiques Pures et Ap ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Algebra
In mathematics, differential rings, differential fields, and differential algebras are rings, fields, and algebras equipped with finitely many derivations, which are unary functions that are linear and satisfy the Leibniz product rule. A natural example of a differential field is the field of rational functions in one variable over the complex numbers, \mathbb(t), where the derivation is differentiation with respect to t. Differential algebra refers also to the area of mathematics consisting in the study of these algebraic objects and their use in the algebraic study of differential equations. Differential algebra was introduced by Joseph Ritt in 1950. Open problems The biggest open problems in the field include the Kolchin Catenary Conjecture, the Ritt Problem, and The Jacobi Bound Problem. All of these deal with the structure of differential ideals in differential rings. Differential ring A ''differential ring'' is a ring R equipped with one or more ''derivations'', whi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Zeta Function
In mathematics, a zeta function is (usually) a function analogous to the original example, the Riemann zeta function : \zeta(s) = \sum_^\infty \frac 1 . Zeta functions include: * Airy zeta function, related to the zeros of the Airy function * Arakawa–Kaneko zeta function * Arithmetic zeta function * Artin–Mazur zeta function of a dynamical system * Barnes zeta function or double zeta function * Beurling zeta function of Beurling generalized primes * Dedekind zeta function of a number field * Duursma zeta function of error-correcting codes * Epstein zeta function of a quadratic form * Goss zeta function of a function field * Hasse–Weil zeta function of a variety * Height zeta function of a variety * Hurwitz zeta function, a generalization of the Riemann zeta function * Igusa zeta function * Ihara zeta function of a graph * ''L''-function, a "twisted" zeta function * Lefschetz zeta function of a morphism * Lerch zeta function, a generalization of the Riemann zeta function ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gamma Function
In mathematics, the gamma function (represented by , the capital letter gamma from the Greek alphabet) is one commonly used extension of the factorial function to complex numbers. The gamma function is defined for all complex numbers except the non-positive integers. For every positive integer , \Gamma(n) = (n-1)!\,. Derived by Daniel Bernoulli, for complex numbers with a positive real part, the gamma function is defined via a convergent improper integral: \Gamma(z) = \int_0^\infty t^ e^\,dt, \ \qquad \Re(z) > 0\,. The gamma function then is defined as the analytic continuation of this integral function to a meromorphic function that is holomorphic in the whole complex plane except zero and the negative integers, where the function has simple poles. The gamma function has no zeroes, so the reciprocal gamma function is an entire function. In fact, the gamma function corresponds to the Mellin transform of the negative exponential function: \Gamma(z) = \mathcal M \ (z ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Transcendentally Transcendental Function
A hypertranscendental function or transcendentally transcendental function is a transcendental analytic function which is not the solution of an algebraic differential equation with coefficients in Z (the integers) and with algebraic initial conditions. History The term 'transcendentally transcendental' was introduced by E. H. Moore in 1896; the term 'hypertranscendental' was introduced by D. D. Morduhai-Boltovskoi in 1914. Definition One standard definition (there are slight variants) defines solutions of differential equations of the form :F\left(x, y, y', \cdots, y^ \right) = 0, where F is a polynomial with constant coefficients, as ''algebraically transcendental'' or ''differentially algebraic''. Transcendental functions which are not ''algebraically transcendental'' are ''transcendentally transcendental''. Hölder's theorem shows that the gamma function is in this category.Lee A. Rubel, "A Survey of Transcendentally Transcendental Functions", ''The American Mathematical ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bessel Function
Bessel functions, first defined by the mathematician Daniel Bernoulli and then generalized by Friedrich Bessel, 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, 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 with half-integer \alpha are obtained when the Helmholtz equation is solved in spherical coordinates. Applications of Bessel functions The Bessel function is a generalizat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Differential Equation
In mathematics, an algebraic differential equation is a differential equation that can be expressed by means of differential algebra. There are several such notions, according to the concept of differential algebra used. The intention is to include equations formed by means of differential operators, in which the coefficients are rational functions of the variables (e.g. the hypergeometric equation). Algebraic differential equations are widely used in computer algebra and number theory. A simple concept is that of a polynomial vector field, in other words a vector field expressed with respect to a standard co-ordinate basis as the first partial derivatives with polynomial coefficients. This is a type of first-order algebraic differential operator. Formulations *Derivations ''D'' can be used as algebraic analogues of the formal part of differential calculus, so that algebraic differential equations make sense in commutative rings. *The theory of differential fields was set u ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fresnel Integral
250px, Plots of and . The maximum of is about . If the integrands of and were defined using instead of , then the image would be scaled vertically and horizontally (see below). The Fresnel integrals and are two transcendental functions named after Augustin-Jean Fresnel that are used in optics and are closely related to the error function (). They arise in the description of near-field Fresnel diffraction phenomena and are defined through the following integral representations: S(x) = \int_0^x \sin\left(t^2\right)\,dt, \quad C(x) = \int_0^x \cos\left(t^2\right)\,dt. The simultaneous parametric plot of and is the Euler spiral (also known as the Cornu spiral or clothoid). Definition 250px, Fresnel integrals with arguments instead of converge to instead of . The Fresnel integrals admit the following power series expansions that converge for all : \begin S(x) &= \int_0^x \sin\left(t^2\right)\,dt = \sum_^(-1)^n \frac, \\ C(x) &= \int_0^x \cos\left(t^2\right)\,dt = ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logarithmic Integral
In mathematics, the logarithmic integral function or integral logarithm li(''x'') is a special function. It is relevant in problems of physics and has number theoretic significance. In particular, according to the prime number theorem, it is a very good approximation to the prime-counting function, which is defined as the number of prime numbers less than or equal to a given value x. Integral representation The logarithmic integral has an integral representation defined for all positive real numbers ≠ 1 by the definite integral : \operatorname(x) = \int_0^x \frac. Here, denotes the natural logarithm. The function has a singularity at , and the integral for is interpreted as a Cauchy principal value, : \operatorname(x) = \lim_ \left( \int_0^ \frac + \int_^x \frac \right). Offset logarithmic integral The offset logarithmic integral or Eulerian logarithmic integral is defined as : \operatorname(x) = \int_2^x \frac = \operatorname(x) - \operatorname(2). As su ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
