Fact-checked by Grok 2 weeks ago

Transcendental function

In mathematics, a transcendental function is a function that cannot be constructed from a finite number of additions, subtractions, multiplications, divisions, or root extractions applied to polynomial functions, thereby transcending the class of algebraic functions.^[1] These functions are essential in analysis and applications, as they model phenomena that algebraic functions cannot adequately describe, such as continuous growth and periodic behavior.^[2] Transcendental functions encompass several fundamental types, including the exponential function e^x, which arises naturally in contexts like compound interest and population dynamics; the natural logarithm \ln x, its inverse, used in solving exponential equations and measuring rates of change; and trigonometric functions like sine and cosine, which capture oscillatory and circular motions.^[1]^[2] Inverse trigonometric functions, such as arcsine and arctangent, further extend this category by addressing angles from ratios.^[1] The concept originated in the 17th century, with Gottfried Wilhelm Leibniz introducing the term "transcendental" in 1673 to describe quantities beyond algebraic resolution, particularly in the context of circle segments.^[3] By the 18th century, Leonhard Euler expanded its application to include trigonometric, exponential, and logarithmic functions, leveraging infinite series to define and manipulate them rigorously.^[4] These functions are indispensable in calculus for their derivatives and integrals, which often yield other transcendentals, and in fields like physics and engineering for simulating real-world processes such as radioactive decay and wave propagation.^[2]

Fundamentals

Definition

In mathematics, a transcendental function is one that cannot be expressed as an algebraic function. An algebraic function f: \mathbb{C} \to \mathbb{C} (or over the reals) satisfies a nonzero polynomial equation P(x, y) = 0 with coefficients in \mathbb{C} (or \mathbb{Q}), where P(x, y) is a polynomial in two variables, such that P(x, f(x)) = 0 holds identically for all x in the domain.^[5] Thus, transcendental functions are precisely those that do not satisfy any such polynomial relation. The condition for a function f to be algebraic can be stated more explicitly: there exist positive integers n and m_i (for i = 0, \dots, n), along with coefficients a_{i,j} \in \mathbb{C}, such that

\sum_{i=0}^n \sum_{j=0}^{m_i} a_{i,j} x^i [f(x)]^j = 0

holds as an identity over the domain.^[6] Algebraic functions arise as solutions to these polynomial equations P(x, y) = 0, where y = f(x), and include rational functions, roots, and compositions thereof, but exclude functions like the exponential or sine that transcend polynomial constraints.^[7] From the perspective of field theory, a function f is transcendental if adjoining f(x) to the field of rational functions \mathbb{Q}(x) yields a field extension \mathbb{Q}(x, f(x)) of transcendence degree 1 over \mathbb{Q}(x).^[8] Here, the transcendence degree measures the number of algebraically independent elements needed to generate the extension; for algebraic f, the degree is 0, meaning \mathbb{Q}(x, f(x)) is algebraic over \mathbb{Q}(x). This algebraic independence distinguishes transcendental functions in the context of field extensions.^[9] In complex analysis, transcendental functions often appear as entire functions—holomorphic everywhere on \mathbb{C}—that are not polynomials. A transcendental entire function, such as \exp(z), grows faster than any polynomial and satisfies no algebraic equation over \mathbb{C}.^[10] Polynomials are the only algebraic entire functions, while transcendental entire functions like \sin z or \cos z exhibit essential singularities at infinity.^[11]

Basic Properties

Transcendental functions are typically holomorphic in their domains of definition, meaning they are complex differentiable and thus analytic there. For instance, the natural logarithm \log z is holomorphic in the complex plane minus a branch cut, such as the non-positive real axis, where it exhibits a discontinuity across the cut.^[12] Entire transcendental functions, which are holomorphic everywhere in the complex plane, exhibit rapid growth properties that distinguish them from polynomials. Specifically, such functions grow faster than any polynomial, meaning that for any positive integer n, there exists R > 0 such that |f(z)| > |z|^n for all |z| > R. This growth is quantified by the maximum modulus function M(r) = \max_{|z|=r} |f(z)|, where for a transcendental entire function f,

\lim_{r \to \infty} \frac{\log M(r)}{\log r} = \infty.

This limit indicates that the order of growth is infinite in the sense that no finite degree polynomial bound suffices.^[13] A key implication of this growth is provided by Picard's little theorem, which states that a non-constant entire function omits at most one complex value; for transcendental entire functions, this means they attain every complex value except possibly one, infinitely often.^[14] Regarding composition and products, the class of algebraic functions is closed under addition, subtraction, multiplication, division, and composition, remaining algebraic. For example, composing a non-constant algebraic function with a transcendental one, or multiplying a transcendental function by a non-zero algebraic function, yields a transcendental function.^[15] By definition, transcendental functions cannot be expressed as finite combinations of algebraic operations—such as addition, subtraction, multiplication, division, exponentiation to constant powers, and root extraction—applied to rational functions or constants.^[12]

Historical Development

Early Ideas

The conceptual foundations of transcendental functions trace back to ancient geometry, where mathematicians grappled with curves that defied algebraic construction. Archimedes (c. 287–212 BCE), in his treatise On Spirals, explored the properties of the spiral now known as the Archimedean spiral, a curve defined parametrically in modern terms by equations involving linear growth with angular displacement, which inherently requires transcendental relations for exact description.^[16] This work, conducted around 225 BCE, connected spiral lengths to circular perimeters, as seen in Proposition 19 where Archimedes equated a spiral arc to the circumference of a circle, laying intuitive groundwork for handling non-polynomial curve measures.^[17] Complementing this, Archimedes' Measurement of a Circle employed the method of exhaustion with inscribed and circumscribed polygons to bound π between 3 10/71 and 3 1/7, an approach that implicitly engaged the transcendental nature of circular arcs without algebraic resolution.^[18] In the late 17th century, Gottfried Wilhelm Leibniz introduced the term "transcendental" to denote quantities and curves surpassing algebraic ratios, particularly in problems of quadrature where exact areas under algebraic curves like the circle eluded compass-and-straightedge construction.^[19] Leibniz applied this in his 1682 foundational calculus paper and later writings, such as his 1691 discussion of the catenary as a prime example of a "transcendental curve" due to its hyperbolic form derived from variational principles.^[20] By the 1690s, Jacob Bernoulli advanced these ideas through differential equations, distinguishing transcendental curves from algebraic ones in problems like the brachistochrone (1696), where the solution—a cycloid generated by a rolling circle—required solving nonlinear equations beyond polynomial forms, highlighting their geometric and physical irreducibility.^[21] Bernoulli's 1690 technique for separable differential equations further enabled characterization of such curves, as in his analysis of isochronous paths.^[22] The 18th century saw Leonhard Euler solidify these intuitive notions by representing exponential and trigonometric functions via infinite series, explicitly recognizing their non-polynomial, or transcendental, character. In Introductio in analysin infinitorum (1748), Euler classified functions as algebraic (formed by finite algebraic operations) or transcendental (requiring infinite processes like series expansions), introducing the exponential function as e^x = \sum_{n=0}^\infty \frac{x^n}{n!} and trigonometric functions like \sin x = \sum_{n=0}^\infty (-1)^n \frac{x^{2n+1}}{(2n+1)!}.^[23] This linkage to infinite series marked the first systematic application of "transcendental" to functions, bridging early geometric intuitions with analytic methods and emphasizing their role in solving differential equations and physical problems.^[24]

Formalization in the 19th Century

The formalization of transcendental functions gained rigor in the 19th century through proofs establishing the transcendence of specific numbers and functions, laying the groundwork for distinguishing them from algebraic entities via analytic and approximation methods. Joseph Liouville's 1844 theorem marked the first explicit proof of the existence of transcendental numbers, constructing examples like the Liouville constant \sum_{k=1}^\infty 10^{-k!} that violate algebraic constraints by admitting exceptionally good rational approximations impossible for algebraic irrationals. This result extended to functions by highlighting how transcendental functions, such as the exponential, evade algebraic relations through similar Diophantine properties, shifting focus from intuitive notions to precise non-algebraicity criteria. Central to Liouville's approach was his inequality on Diophantine approximation: for an algebraic irrational \alpha of degree n, there exists a constant c > 0 such that \left| \alpha - \frac{p}{q} \right| > \frac{c}{q^n} for all integers p, q with q > 0.^[25] Numbers (and by analogy, functions) approximable better than this bound—such as to order q^{-\kappa} with \kappa > n—must be transcendental, providing a quantitative tool to prove non-algebraicity. Liouville's construction demonstrated a "very extended class" of such quantities, influencing subsequent work on functions like exponentials and logarithms that exhibit rapid convergence in series expansions beyond algebraic limits.^[26] Building on these foundations, Charles Hermite proved in 1873 that e is transcendental, employing continued fractions to approximate e and integral representations to derive a contradiction under the assumption of algebraicity.^[27] His method involved considering the integral \int_0^1 \frac{x^{a-1} e^x}{ (x+1)^{b+1} } dx for integers a, b and showing that if e satisfied a polynomial equation of degree m, certain linear combinations of these integrals would yield zero, violating positivity bounds from partial integration. This not only confirmed e's transcendence but also advanced techniques for proving that the exponential function transcends algebraic relations, a key step in formalizing transcendental functions analytically. Ferdinand von Lindemann extended Hermite's ideas in 1882 with his theorem proving \pi transcendental, by establishing that e^\alpha is transcendental for any nonzero algebraic \alpha.^[28] Linking this to Euler's identity e^{i\pi} + 1 = 0, Lindemann showed that assuming \pi algebraic would imply e^{i\pi} = -1 is algebraic, contradicting the theorem's conclusion derived from symmetric polynomials and Hermite-style integrals over exponential sums. This result solidified the transcendence of the exponential function at algebraic points, including imaginary ones, and resolved the ancient problem of squaring the circle by impossibility under straightedge and compass, as it relies on algebraic constructions.^[29] In parallel, Karl Weierstrass's mid-19th-century development of elliptic functions, formalized through his \wp-function satisfying the differential equation \wp'^2 = 4\wp^3 - g_2 \wp - g_3 with invariants g_2, g_3, blurred distinctions between algebraic geometry and analysis but ultimately confirmed their transcendental character. These doubly periodic meromorphic functions, while associated with algebraic curves via inversion of elliptic integrals, cannot be expressed algebraically due to their infinite pole structure and non-algebraic addition theorems, reinforcing the transcendence paradigm for more complex functions beyond elementary exponentials. Weierstrass's rigorous Weierstrass preparation theorem and sigma function further underscored how such functions transcend finite algebraic expressions, influencing transcendence theory.^[30] The 1880s also saw debates on the Euler-Mascheroni constant \gamma = \lim_{n \to \infty} \left( \sum_{k=1}^n \frac{1}{k} - \ln n \right) \approx 0.57721, with mathematicians like Lindemann and others speculating on its potential transcendence amid growing interest in analytic constants post-\pi's proof.^[31] These discussions highlighted \gamma's role in harmonic series and integrals, questioning whether it satisfied algebraic equations or required transcendence measures akin to Liouville's, though resolution remained elusive and spurred further approximation studies.

Examples and Classification

Common Examples

The exponential function, a cornerstone of transcendental functions, is defined for complex numbers z by the power series

\exp(z) = \sum_{n=0}^{\infty} \frac{z^n}{n!}.

This entire function satisfies the differential equation f'(z) = f(z), distinguishing it as the unique solution (up to scalar multiple) to this equation among exponential forms.^[32] In 1873, Charles Hermite proved that \exp(z) is transcendental, meaning it is not algebraic over the rationals, through an ingenious argument involving integrals and polynomial approximations that established e as transcendental and extended to the function.^[33] Trigonometric functions such as \sin(z) and \cos(z) are also transcendental and arise from the complex exponential via Euler's formula, e^{iz} = \cos(z) + i \sin(z), which links rotation in the complex plane to exponential growth. These functions are entire (analytic everywhere in the complex plane) and periodic with period $2\pi. Specifically,

\sin(z) = \frac{e^{iz} - e^{-iz}}{2i},

illustrating how trigonometric functions compose exponentials to yield transcendental behavior beyond algebraic roots or rationals.^[34] The complex logarithm, \log(z), is defined as the antiderivative \int \frac{dz}{z} along a path avoiding the origin, or equivalently \log(z) = \ln|z| + i \arg(z), where \arg(z) is the argument. It is multi-valued due to the $2\pi i periodicity of the exponential, requiring branch cuts to define single-valued versions, with branch points at z=0 and z=\infty.^[35] Hyperbolic functions extend the trigonometric analogues using exponentials: \sinh(z) = \frac{e^z - e^{-z}}{2} and \cosh(z) = \frac{e^z + e^{-z}}{2}, both entire and transcendental as compositions of the exponential. These satisfy identities mirroring trigonometric ones, such as \cosh^2(z) - \sinh^2(z) = 1, but grow exponentially rather than oscillate.^[36] The Gamma function \Gamma(z) provides another key example, defined for \Re(z) > 0 by the integral \Gamma(z) = \int_0^\infty t^{z-1} e^{-t} \, dt and extended meromorphically to the complex plane via analytic continuation, with simple poles at non-positive integers. As a transcendental function, it interpolates the factorial via \Gamma(n+1) = n! for positive integers n, enabling extensions to non-integer arguments essential in analysis and probability.^[37]

Algebraic Versus Transcendental Functions

Algebraic functions are functions y = f(x) that satisfy a polynomial equation P(x, y) = 0, where P is a polynomial in two variables with coefficients in the field of rational functions over the rationals or complexes. Examples include polynomials, rational functions, and roots of polynomials such as \sqrt{x}, which satisfies y^2 - x = 0. The class of algebraic functions is closed under addition, multiplication, and composition, meaning that if f and g are algebraic, then so are f + g, f \cdot g, and f \circ g. This closure property implies that the set of algebraic functions forms a field under addition and multiplication, with the rational functions serving as the base field. Adjoining a transcendental function to this field, however, generates a proper extension that is no longer algebraic. A key distinction arises in solvability: certain differential equations possess no algebraic solutions, necessitating transcendental functions. For instance, the equation y' = y^2 + 1 has the general solution y = \tan(x + c), where \tan is transcendental, and no algebraic function satisfies it globally. The Risch algorithm decides whether an elementary function has an elementary antiderivative and constructs it if it exists; in cases where the antiderivative is algebraic, the algorithm identifies it without invoking transcendentals, while otherwise it requires them. Compositions of algebraic functions remain algebraic. Specifically, if f(z) satisfies P(y, z) = 0 and g(x) satisfies Q(z, x) = 0, then y = f(g(x)) satisfies the polynomial equation in x and y obtained as the resultant of P(y, z) and Q(z, x) with respect to z, eliminating the intermediate variable.^[38]

Advanced Concepts

Transcendentally Transcendental Functions

A transcendentally transcendental function, also known as a hypertranscendental function, is a transcendental analytic function that does not satisfy any algebraic differential equation over the field of rational functions. This concept distinguishes functions whose transcendence is "deeper," resisting reduction to solutions of polynomial differential equations with algebraic coefficients.^[39] A classic example is the gamma function \Gamma(z), which was proven to be transcendentally transcendental by Otto Hölder's theorem in 1887. The Riemann zeta function \zeta(s) for \Re(s) > 1 is another example, as it does not satisfy any such equation. In contrast, the exponential function \exp(z), while transcendental, is not transcendentally transcendental because it satisfies the algebraic differential equation f' - f = 0. Similarly, trigonometric functions like \sin(z) satisfy f'' + f = 0. The function e^z + z is transcendental but satisfies an algebraic differential equation, such as (f - z)' - (f - z) + z - 1 = 0, and thus is not transcendentally transcendental.

Exceptional Sets

In transcendence theory, for a transcendental function f, the exceptional set E_f is defined as the set of complex numbers z such that f(z) is algebraic, or more restrictively in some contexts, the set of algebraic points \alpha where f(\alpha) is algebraic, representing points where the expected transcendental behavior fails.^[40] The Lindemann–Weierstrass theorem establishes that if \alpha is a nonzero algebraic number, then e^{\alpha} is transcendental. Consequently, for the exponential function, the exceptional set restricted to algebraic inputs is \{0\}, and the full exceptional set E_{\exp} = \{ z \in \mathbb{C} \mid e^z \in \overline{\mathbb{Q}} \} is countable, as it consists of the countable union over algebraic \beta \neq 0 of the countable preimages under the exponential map (principal logarithm plus $2\pi i k for k \in \mathbb{Z}).^[41]^[42] Siegel's theorem on E-functions, a class generalizing the exponential function, implies that for a transcendental entire E-function f, the values f(\alpha) at nonzero algebraic points \alpha are transcendental, with only finitely many exceptions where algebraic values may occur.^[43] A specific example arises with the sine function: the exceptional set E_{\sin} = \{ z \in \mathbb{C} \mid \sin z \in \overline{\mathbb{Q}} \} is dense in the complex plane due to the periodicity and the density of algebraic numbers under the inverse sine branches, yet it has Lebesgue measure zero as a countable union of discrete lattices shifted by \arcsin(\beta) for each algebraic \beta.^[44] In particular, the set \{ \alpha \in \overline{\mathbb{Q}} \mid e^{\alpha} \in \overline{\mathbb{Q}} \} is finite, consisting solely of \alpha = 0.^[41]

Applications and Extensions

Dimensional Analysis

In dimensional analysis, transcendental functions play a crucial role in modeling physical phenomena that exhibit non-power-law scalings, such as exponential decays or oscillatory behaviors, by ensuring that their arguments are dimensionless to maintain physical consistency.^[45] For instance, in processes involving decay lengths, the form \exp(-x/\lambda) is commonly used, where x is a position with dimensions of length [L] and \lambda is the characteristic decay length also with dimensions [L], rendering the argument x/\lambda dimensionless.^[45] This requirement arises because transcendental functions, defined via power series expansions like \exp(z) = \sum_{n=0}^{\infty} z^n / n!, would otherwise yield dimensionally inconsistent results if applied to quantities with units.^[46] The Buckingham \pi theorem, which states that any physically meaningful relation among variables can be expressed solely in terms of dimensionless groups \Pi_i, implies that transcendental functions may appear in the functional relationships between these groups when the underlying physics involves logarithmic or exponential dependencies.^[45] For example, if the dimensionless \pi groups incorporate scales that lead to non-algebraic forms, the theorem accommodates transcendental relations, such as those involving \ln(\Pi) or \exp(\Pi), to capture the complete scaling behavior without violating dimensional homogeneity.^[47] A prominent application occurs in fluid dynamics, where the Reynolds number \mathrm{Re} = \rho v L / \mu—a dimensionless group combining fluid density \rho [M L^{-3}], velocity v [L T^{-1}], characteristic length L [L], and viscosity \mu [M L^{-1} T^{-1}]—governs flow regimes and leads to transcendental dependencies in the drag coefficient C_d.^[48] Specifically, empirical and theoretical models show that C_d varies with \mathrm{Re} through logarithmic terms, as in the relation C_d = a + b/\mathrm{Re} + c \ln(\mathrm{Re}) + d \mathrm{Re}^n, where the \ln(\mathrm{Re}) term accounts for boundary layer effects and separation in high-\mathrm{Re} flows (e.g., $10^3 < \mathrm{Re} < 10^6).^[49] In general, the drag force takes the form F_d = f(\mathrm{Re}), where f is a transcendental function derived from these dimensionless considerations.^[49]

F_d = \frac{1}{2} \rho v^2 A \, C_d(\mathrm{Re})

Another illustrative example is the wave function in oscillatory systems, such as \psi(x) = A \sin(kx + \phi), where the wave number k has dimensions [L^{-1}] and x has [L], ensuring the argument kx (in radians) is dimensionless to align with the transcendental nature of the sine function.^[46] This structure preserves dimensional balance while modeling phenomena like wave propagation in physics and engineering.^[46]

Transcendence in Number Theory

In number theory, transcendental functions play a pivotal role in generating transcendental numbers through their evaluations at algebraic points. For instance, the Lindemann-Weierstrass theorem states that if algebraic integers \alpha_1, \dots, \alpha_n are linearly independent over \mathbb{Q}, then e^{\alpha_1}, \dots, e^{\alpha_n} are algebraically independent over \mathbb{Q}.^[41] This result implies the transcendence of e, as e = e^1 and 1 is algebraic, and of \pi, since e^{i\pi} = -1 is algebraic, so i\pi algebraic would contradict the theorem.^[41] Such evaluations demonstrate how transcendental functions like the exponential produce transcendental numbers, distinguishing them from algebraic functions that yield algebraic values at algebraic inputs. A landmark connection arose in Hilbert's seventh problem, posed in 1900, which asked whether a^b is transcendental for algebraic a \neq 0, 1 and algebraic irrational b.^[50] This problem, central to understanding transcendence via exponential evaluations, was solved affirmatively in 1934 by Aleksandr Gelfond, with an independent proof by Theodor Schneider.^[50] The Gelfond-Schneider theorem states that if a is algebraic with a \neq 0, 1 and b is algebraic and irrational, then a^b is transcendental; a key example is $2^{\sqrt{2}}, which is thus transcendental.^[51] Building on this, Alan Baker's theorem (1966) provides effective lower bounds for non-zero linear forms in logarithms of algebraic numbers, \Lambda = \beta_0 + \beta_1 \log \alpha_1 + \dots + \beta_n \log \alpha_n \neq 0, where \alpha_i are positive algebraic numbers and \beta_j algebraic, yielding |\Lambda| > H^{-C} for height H and effective constant C.^[52] This generalizes earlier results and has applications in Diophantine approximation. Schanuel's conjecture, proposed in 1970, extends these ideas by positing that if z_1, \dots, z_n \in \mathbb{C} are linearly independent over \mathbb{Q}, then the transcendence degree of \mathbb{Q}(z_1, \dots, z_n, e^{z_1}, \dots, e^{z_n}) over \mathbb{Q} is at least n.^[53] If true, it would imply algebraic independence of e and \pi, among many other consequences for transcendental numbers generated by exponentials.^[53] Despite progress, significant open problems persist, such as the transcendence of e + \pi, which remains unresolved despite knowing that at least one of e + \pi or e\pi is transcendental.^[54] Similarly, the irrationality—let alone transcendence—of the Euler-Mascheroni constant \gamma \approx 0.57721 is unknown, with strong lower bounds on potential denominators if rational, such as b > 10^{244663}.

References

[1]
[PDF] Transcendental Functions
Transcendental functions are useful functions other than algebraic ones, including trigonometric, inverse trigonometric, exponential, and logarithmic functions.
[2]
[PDF] Transcendental Functions
These are func- tions which cannot be expressed as a quotient of polynomials; in this sense they transcend rational functions.Missing: mathematics | Show results with:mathematics
[3]
Earliest Known Uses of Some of the Words of Mathematics (T)
TRANSCENDENTAL. Leibniz coined the word transcendental in mathematics, using transcendens in the fall of 1673 in Progressio figurae segmentorum circuli aut ei ...
[4]
History
For Euler, the transcendental functions were limited to trigonometric, exponential and logarithmic functions. Euler made extensive use of infinite series ...
[5]
https://math.libretexts.org/Bookshelves/Calculus/Supplemental_Modules_(Calculus)/Integral_Calculus/4:_Transcendental_Functions
[6]
Algebraic Function -- from Wolfram MathWorld
An algebraic function is a function f(x) which satisfies p(x,f(x))=0, where p(x,y) is a polynomial in x and y with integer coefficients.
[7]
Transcendental Function - an overview | ScienceDirect Topics
A transcendental function is defined as a function that cannot be obtained by a finite number of operations as a solution of an algebraic equation.
[8]
Section 9.26 (030D): Transcendence—The Stacks project
Let K/k be a field extension. The transcendence degree of K over k is the cardinality of a transcendence basis of K over k. It is denoted \text{trdeg}_ k(K).
[9]
[PDF] 18.782 Arithmetic Geometry Lecture Note 12 - MIT OpenCourseWare
Oct 17, 2013 · Definition 12.3. The transcendence degree of a field extension L/K is the cardinality of any (hence every) transcendence basis for L/k.
[10]
[PDF] Infinity as an Isolated Singularity
In view of the above theorem, a transcendental entire function is an entire function that is not a polynomial. Examples: (i) cos z, (ii) sin(πz), (iii) e ...
[11]
[PDF] banach.pdf - Purdue Math
For every r> 0, take a point w(r) with the following properties: M(r) = |f(w(r))|, |w(r)| = r. THEOREM WV. Let f be a transcendental entire function, a >. |z − ...
[12]
[PDF] notes on transcendental functions - UCR Math Department
A continuous function f with on an interval J with a finite exceptional set is transcendental if it is not algebraic. 1. Page 2.Missing: mathematics | Show results with:mathematics
[13]
[PDF] Entire Functions Theory
This lemma says that any transcendental entire function f grows faster than any non-constant polynomial (The growth of a transcendental entire function.
[14]
Picard's Theorems - ScienceDirect.com
In 1879 Picard proved that an entire function takes on every value with at most one exception, (Picard's “Little Theorem”).
[15]
Composition of a transcendental function with a rational function
Aug 26, 2014 · But ψ−1(y) is algebraic over C(y), so this would show f(y) algebraic over C(y), contradicting the assumption that it is transcendental.
[16]
Spiral of Archimedes - MacTutor History of Mathematics
This spiral was studied by Archimedes in about 225 BC in a work On Spirals. It had already been considered by his friend Conon.
[17]
Squaring the circle - MacTutor History of Mathematics
Then Archimedes proves in Proposition 19 of On spirals that O T OT OT is the length of the circumference of the circle with radius O P OP OP. Now it may not be ...
[18]
A history of Pi - MacTutor - University of St Andrews
Archimedes knew, what so many people to this day do not, that π does not equal 722, and made no claim to have discovered the exact value.
[19]
[PDF] The rectification of quadratures as a central foundational problem for ...
Aug 2, 2012 · Transcendental curves posed a foundational challenge for the early calculus, as they demanded an extension of traditional notions of ...
[20]
Leibniz's passage from algebraic to “transcendental” mathematics
We present some general conclusions regarding Leibniz's mathematics, in order to better understand his mathematical approach and his criticism of Descartes.
[21]
Jacob Bernoulli (1655 - 1705) - Biography - MacTutor
After finding the differential equation, Bernoulli then solved it by what we now call separation of variables. Jacob Bernoulli's paper of 1690 is important ...Missing: transcendental | Show results with:transcendental<|control11|><|separator|>
[22]
[PDF] Jacob Bernoulli (1654 – 1705) - Shell Buckling
In 1690, Jacob Bernoulli became the first person to develop the technique for solving separable differential equations. Upon returning to Basel in 1682, he ...
[23]
Euler - Introduction to Analysis of the Infinite
First I have distinguished between algebraic and transcendental functions: the former are formed from the ordinary algebraic operations on variable quantities; ...<|control11|><|separator|>
[24]
[PDF] Eulers' Introductio in analysin infinitorum and the ... - HAL-SHS
Transcendental functions, or at least some of them, seem to be conceived by Euler as parts of algebraic analysis. They are so conceived, insofar as they are ...
[25]
[PDF] Liouville's theorem on diophantine approximation
Sep 24, 2013 · 1/|f0(ξ)| qd. Again since f is irreducible, it does not have a double root at α, so f0(α) 6= 0. Thus, for ξ sufficiently close.
[26]
[PDF] Séminaire Dubreil. Algèbre et théorie des nombres - Numdam
... classes très étendues de quantités dont la valeur n'est ni algébrique, ni même réductible à des irrationnelles algébriques, C.R. Acad. .Sc o Paris, 18 (1844) ...<|separator|>
[27]
[PDF] TRANSCENDENCE OF e - KEITH CONRAD
In 1873, Hermite [4] proved e is transcendental. • In 1874, Cantor [1] published his first paper on set theory, where he showed that the set of algebraic ...Missing: original | Show results with:original
[28]
Ueber die Zahl π.*) | Mathematische Annalen
Lindemann, F. Ueber die Zahl π. * ). Math. Ann. 20, 213–225 (1882). https://doi.org/10.1007/BF01446522
[29]
Ueber die Zahl (..pi..) - EuDML
Lindemann. "Ueber die Zahl (..pi..)." Mathematische Annalen 20 (1882): 213-225. <http://eudml.org/doc/157031>.
[30]
The Elliptic /sigma-Functions Considered as a Special Case of ... - jstor
The object of the following paper is two-fold: 1) To give a sketch of the theory of the elliptic a--functions as they appear in the light of the theory of ...
[31]
Georg Cantor and Transcendental Numbers - jstor
Theorem 1. The collection of all algebraic reals can be written as an infinite sequence. Theorem 2. Given any sequence of real numbers and any interval ...
[32]
The derivative of ex
The derivative of ex. The function f(x)=ex is quite peculiar: it is the only function whose derivative is itself. ddx(ex)=ex. The derivative of ex is ex.
[33]
[PDF] e is transcendental
Nov 6, 2015 · Theorem (Hermite-Lindemann). eα is transcendental for all α ∈ Q\{0}. Proof. The proof that π is transcendental directly generalizes to this. Or, ...Missing: paper | Show results with:paper
[34]
[PDF] Branch Points and Branch Cuts (18.04, MIT). - MIT Mathematics
Oct 11, 1999 · Thus the origin is a branch point of log(z). Definition 1.1 The point z0 is called a branch point | for the complex (multiple) valued function.
[35]
[PDF] A Historical Profile of the Gamma Function - OSU Math
The solution to factorial interpolation lay deeper than "mere algebra." Infinite processes were required. In order to appreciate a little better the problem ...
[36]
[PDF] Decomposition of Algebraic Functions - Cornell: Computer Science
We show that the problem bears an interesting and useful relationship to uni- variate resultants over algebraic function fields, and in fact can be reformulated.
[37]
Concerning transcendentally transcendental functions
This is surely a desirable usage, and I follow it in using in these papers:Concerning transcendentally transcendental functions: the term realm of rationality.
[38]
On Transcendentally Transcendental Functions - jstor
Transcendentally transcendental functions satisfying functional equa- tions.-In the preceding sections we have established the transcendentally.
[39]
Some transcendental functions with an empty exceptional set - arXiv
Apr 10, 2010 · ... Lindemann theorem. In this note, we give some explicit examples of transcendental entire functions whose exceptional set are empty. Comments ...
[40]
Lindemann-Weierstrass Theorem -- from Wolfram MathWorld
If algebraic integers alpha_1 , ..., alpha_n are linearly independent over Q , then e^(alpha_1) , ..., e^(alpha_n) are algebraically independent over Q.
[41]
[PDF] Université de Bordeaux Algebraic Values of Transcendental Functions
In this work we start giving the basic machinery, that is, the theory of heights, and we will give a proof of a particular case of the criterion of. Schneider- ...
[42]
[PDF] A Lindemann-Weierstrass theorem for E-functions - HAL
Jan 28, 2023 · The set of exceptional values of an entire function f is denoted by. Exc(f). We say that f is purely transcendental if it has no exceptional ...
[43]
[PDF] Irrationality and transcendence of values of special functions.
Feb 25, 2021 · If S is a countable subset of C and T is a dense subset of C, there exist transcendental entire functions f mapping S into. T, as well as all ...<|separator|>
[44]
[PDF] Dimensional Analysis - Rose-Hulman
mula involving transcendental functions, the argument to the transcendental function is always dimensionless. For example, we often encounter expres- sions ...
[45]
Can One Take the Logarithm or the Sine of a Dimensioned Quantity ...
sufficient to guarantee the correctness of an equation. Apparent Problems in Dimensional Analysis Involving. Transcendental Functions.
[46]
A mathematical formalisation of dimensional analysis - Terry Tao
Dec 29, 2012 · ... physics texts, is that transcendental mathematical functions such as {\sin} or {\exp} should only be applied to arguments that are ...
[47]
Drag of a Sphere | Glenn Research Center - NASA
Jun 30, 2025 · Drag of a Sphere. On this page: Drag Coefficient; Cases of Flow Past a Cylinder and a Sphere; Experimental Observations of Reynolds Number.
[48]
Do logarithmic terms exist in the drag coefficient of a single sphere ...
Jan 16, 2023 · The drag coefficient of the sphere depends on logarithmic terms of the Reynolds number. The logarithmic drag models have a higher extrapolation range than the ...
[49]
Hilbert's seventh problem, and powers of 2 and 3 - Terry Tao
Aug 21, 2011 · I will be discussing another of Hilbert's problems, namely Hilbert's seventh problem, on the transcendence of powers {a^b} of two algebraic numbers {a,b}.
[50]
Gelfond's Theorem -- from Wolfram MathWorld
Gelfond's theorem, also called the Gelfond-Schneider theorem, states that a^b is transcendental if 1. a is algebraic !=0,1 and 2. b is algebraic and ...
[51]
[PDF] Chapter 5 Linear forms in logarithms
In 1967, Baker indeed obtained such a lower bound, which we conveniently refer to as a 'lower bound for a linear form in logarithms'.
[52]
Schanuel's Conjecture -- from Wolfram MathWorld
has transcendence degree at least n over Q . Schanuel's conjecture implies the Lindemann-Weierstrass theorem and Gelfond's theorem. If the conjecture is ...
[53]
[PDF] Transcendence of e and π - G Eric Moorhouse
It is now known that eπ is transcendental, but it is not known whether or not πe is transcendental; for all we know, πe might even be rational! (but probably.
[54]
Euler-Mascheroni Constant -- from Wolfram MathWorld
The Euler-Mascheroni constant gamma, sometimes also called 'Euler's constant' or 'the Euler constant' (but not to be confused with the constant e=2.718281.