Algebraic independence of the generating functions of the stern polynomials and their twisted analogues (Q494603): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: TRANSCENDENCE AND ALGEBRAIC INDEPENDENCE OF SERIES RELATED TO STERN'S SEQUENCE / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic independence of the generating functions of Stern's sequence and of its twist / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: THE TRANSCENDENCE OF SERIES RELATED TO STERN'S DIATOMIC SEQUENCE / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A POLYNOMIAL ANALOGUE TO THE STERN SEQUENCE / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the algebraic independence of holomorphic solutions of certain functional equations and their values / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mahler functions and transcendence / rank | |||
Normal rank |
Latest revision as of 17:42, 10 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraic independence of the generating functions of the stern polynomials and their twisted analogues |
scientific article |
Statements
Algebraic independence of the generating functions of the stern polynomials and their twisted analogues (English)
0 references
1 September 2015
0 references
Let \(\{ a_n(x)\}_{n=0}^\infty\) and \(\{ b_n(x)\}_{n=0}^\infty\) be two recurrent sequences of polynomials such that \(a_0(x)=b_0(x)=0\), \(a_1(x)=b_1(x)=1\) and \(a_{2n}(x)=a_n(x^2)\), \(b_{2n}(x)=-b_n(x^2)\), \(a_{2n+1}(x)=xa_n(x^2)+ a_{n+1}(x^2)\), \(b_{2n+1}(x)=-(xb_n(x^2)+ b_{n+1}(x^2))\) for all \(n\in\mathbb Z^+\). Set \[ A(x,z)=\sum_{n=0}^\infty a_{n+1}(x)z^n, \] \[ B(x,z)=\sum_{n=0}^\infty b_{n+1}(x)z^n\, \text{ and}\, P(x,z)=1+z+xz^2. \] Let \(\mathbb D\) is an open unit disk. Then for \(\alpha,\beta\in \overline {\mathbb Q}^\times\cap \mathbb D\) we have that \(P(\alpha^{2^k},\beta^{2^k})\not= 0\) holds for any \(k\in\mathbb N_0\) if and only if the numbers \(A(\alpha,\beta)\) and \(B(\alpha,\beta)\) are algebraically independent over \(\mathbb Q\). The proof is in the spirit of Mahler.
0 references
Stern sequence and twisted version
0 references
polynomial analogues
0 references
generating functions
0 references
transcendence and algebraic independence
0 references
Mahler's method
0 references
0 references
0 references