An extension of Hölder's theorem on the Gamma function (Q1355259): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 15:16, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An extension of Hölder's theorem on the Gamma function |
scientific article |
Statements
An extension of Hölder's theorem on the Gamma function (English)
0 references
7 September 1998
0 references
Hölder's theorem states that Euler's Gamma function does not satisfy any nontrivial algebraic differential equation with coefficients from \(\mathbb C(z)\). In other words, \(\Gamma\) is differentially transcendental over \(\mathbb C(z)\) [\textit{O. Hölder}, Math. Ann. 28, 1--13 (1886; JFM 18.0440.02)]. The paper under review contains a generalization of the theorem. Let \(D\) be the ring of continuous real-valued functions on \(\mathbb R\) such that (1) \(D\supset\mathbb R(z)\), (2) for each \(f\in D\setminus\{0\}\) the zero set \(f^{-1}(0)\) is finite and the translation \(x\mapsto f(x+1)\) belongs to \(D\). Let \(I\) be an interval, \(I\subset(0,\infty)\). Denote by \(D_I\) the integral domain of restrictions \(f\,|\, I\) for \(f\in D\) and let \(D_I\langle\Gamma\rangle=D_I [\Gamma^{(n)}\,|\, I:n\in\mathbb N]\). It is proved that if 1) \(D_I\subset C^\infty(I)\), 2) \(D_I\) is closed under taking derivatives, 3) \(D_I\langle\Gamma\rangle\) is an integral domain then \(\Gamma\,|\, I\) is differentially transcendental over \(D_I\).
0 references
differential ring
0 references
quasi-analytic
0 references
Hölder's theorem
0 references
Euler's gamma function
0 references
differentially transcendental
0 references
ring of continuous real-valued functions
0 references
integral domain
0 references
JFM 18.0440.02
0 references