Hypertranscendental function

Last updated

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 (the integers) and with algebraic initial conditions.

Contents

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. [1] [2]

Definition

One standard definition (there are slight variants) defines solutions of differential equations of the form

,

where 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. [3] [4] [5]

Hypertranscendental functions usually arise as the solutions to functional equations, for example the gamma function.

Examples

Hypertranscendental functions

Transcendental but not hypertranscendental functions

Non-transcendental (algebraic) functions

See also

Notes

  1. D. D. Mordykhai-Boltovskoi, "On hypertranscendence of the function ξ(x, s)", Izv. Politekh. Inst. Warsaw2:1-16 (1914), cited in Anatoly A. Karatsuba, S. M. Voronin, The Riemann Zeta-Function, 1992, ISBN   3-11-013170-6, p. 390
  2. Morduhaĭ-Boltovskoĭ (1949)
  3. Eliakim H. Moore, "Concerning Transcendentally Transcendental Functions", Mathematische Annalen48:1-2:49-74 (1896) doi : 10.1007/BF01446334
  4. R. D. Carmichael, "On Transcendentally Transcendental Functions", Transactions of the American Mathematical Society14:3:311-319 (July 1913) full text JSTOR   1988599 doi : 10.1090/S0002-9947-1913-1500949-2
  5. Lee A. Rubel, "A Survey of Transcendentally Transcendental Functions", The American Mathematical Monthly96:777-788 (November 1989) JSTOR   2324840

Related Research Articles

In mathematics, an equation is a mathematical formula that expresses the equality of two expressions, by connecting them with the equals sign =. The word equation and its cognates in other languages may have subtly different meanings; for example, in French an équation is defined as containing one or more variables, while in English, any well-formed formula consisting of two expressions related with an equals sign is an equation.

In mathematics, an elementary function is a function of a single variable that is defined as taking sums, products, roots and compositions of finitely many polynomial, rational, trigonometric, hyperbolic, and exponential functions, and their inverses.

<span class="mw-page-title-main">Gamma function</span> Extension of the factorial function

In mathematics, the gamma function 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 n,

In mathematics, a transcendental number is a real or complex number that is not algebraic – that is, not the root of a non-zero polynomial of finite degree with integer coefficients. The best-known transcendental numbers are π and e. The quality of a number being transcendental is called transcendence.

The fundamental theorem of algebra, also called d'Alembert's theorem or the d'Alembert–Gauss theorem, states that every non-constant single-variable polynomial with complex coefficients has at least one complex root. This includes polynomials with real coefficients, since every real number is a complex number with its imaginary part equal to zero.

<span class="mw-page-title-main">Curve</span> Mathematical idealization of the trace left by a moving point

In mathematics, a curve is an object similar to a line, but that does not have to be straight.

In mathematics, the Weil conjectures were highly influential proposals by André Weil. They led to a successful multi-decade program to prove them, in which many leading researchers developed the framework of modern algebraic geometry and number theory.

<span class="mw-page-title-main">Algebraic curve</span> Curve defined as zeros of polynomials

In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation h(x, y, t) = 0 can be restricted to the affine algebraic plane curve of equation h(x, y, 1) = 0. These two operations are each inverse to the other; therefore, the phrase algebraic plane curve is often used without specifying explicitly whether it is the affine or the projective case that is considered.

In mathematics, a transcendental function is an analytic function that does not satisfy a polynomial equation, in contrast to an algebraic function. In other words, a transcendental function "transcends" algebra in that it cannot be expressed algebraically using a finite amount of terms.

In mathematics, an expression is in closed form if it is formed with constants, variables and a finite set of basic functions connected by arithmetic operations and function composition. Commonly, the allowed functions are nth root, exponential function, logarithm, and trigonometric functions. However, the set of basic functions depends on the context.

In mathematics, an algebraic function is a function that can be defined as the root of an irreducible polynomial equation. Algebraic functions are often algebraic expressions using a finite number of terms, involving only the algebraic operations addition, subtraction, multiplication, division, and raising to a fractional power. Examples of such functions are:

In mathematics, Hölder's theorem states that the gamma function does not satisfy any algebraic differential equation whose coefficients are rational functions. This result was first proved by Otto Hölder in 1887; several alternative proofs have subsequently been found.

In algebraic geometry, a period is a number that can be expressed as an integral of an algebraic function over an algebraic domain. Sums and products of periods remain periods, such that the periods form a ring.

In mathematics, Riemann–Hilbert problems, named after Bernhard Riemann and David Hilbert, are a class of problems that arise in the study of differential equations in the complex plane. Several existence theorems for Riemann–Hilbert problems have been produced by Mark Krein, Israel Gohberg and others.

In mathematics, the term Riemann–Hilbert correspondence refers to the correspondence between regular singular flat connections on algebraic vector bundles and representations of the fundamental group, and more generally to one of several generalizations of this. The original setting appearing in Hilbert's twenty-first problem was for the Riemann sphere, where it was about the existence of systems of linear regular differential equations with prescribed monodromy representations. First the Riemann sphere may be replaced by an arbitrary Riemann surface and then, in higher dimensions, Riemann surfaces are replaced by complex manifolds of dimension > 1. There is a correspondence between certain systems of partial differential equations and possible monodromies of their solutions.

A complex number is said to be hypertranscendental if it is not the value at an algebraic point of a function which is the solution of an algebraic differential equation with coefficients in and with algebraic initial conditions.

Clifford analysis, using Clifford algebras named after William Kingdon Clifford, is the study of Dirac operators, and Dirac type operators in analysis and geometry, together with their applications. Examples of Dirac type operators include, but are not limited to, the Hodge–Dirac operator, on a Riemannian manifold, the Dirac operator in euclidean space and its inverse on and their conformal equivalents on the sphere, the Laplacian in euclidean n-space and the Atiyah–Singer–Dirac operator on a spin manifold, Rarita–Schwinger/Stein–Weiss type operators, conformal Laplacians, spinorial Laplacians and Dirac operators on SpinC manifolds, systems of Dirac operators, the Paneitz operator, Dirac operators on hyperbolic space, the hyperbolic Laplacian and Weinstein equations.

In mathematics, Malmquist's theorem, is the name of any of the three theorems proved by Axel Johannes Malmquist. These theorems restrict the forms of first order algebraic differential equations which have transcendental meromorphic or algebroid solutions.

Most of the terms listed in Wikipedia glossaries are already defined and explained within Wikipedia itself. However, glossaries like this one are useful for looking up, comparing and reviewing large numbers of terms together. You can help enhance this page by adding new terms or writing definitions for existing ones.

References