Algebraic independence of the partial derivatives of certain functions with arbitrary number of variables (Q6057056)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Algebraic independence of the partial derivatives of certain functions with arbitrary number of variables |
scientific article; zbMATH DE number 7754820
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraic independence of the partial derivatives of certain functions with arbitrary number of variables |
scientific article; zbMATH DE number 7754820 |
Statements
Algebraic independence of the partial derivatives of certain functions with arbitrary number of variables (English)
0 references
25 October 2023
0 references
Let \(n\) be a positive integer. Let \(\{ R_k\}_{k\geq 0}\) be a linear recurrence of non-negative integers such that \(R_{k+n}=c_1R_{k+n-1}+\dots +c_nR_k\) for all \(k\geq 0\), where \(R_0,\dots ,R_{n-1}\) are not all equal zero and \(c_1,\dots ,c_n\) are non-negative integers with \(c_n\not= 0\). Set \(\Phi(X)=X^n-c_1X^{n-1}-\dots -c_n\). Assume that \(\Phi(\pm 1)\not= 0\), any ratio of the pair of distinct roots of \(\Phi(X)\) is not a root of unity and \(\{ R_k\}_{k\geq 0}\) is not a geometric progression. Let \(s\) be a positive integer and let \(a_1,\dots ,a_s\) be multiplicatively independent algebraic numbers with \(0<\mid a_i\mid <1\) for all \(i=1,\dots ,s\). For every \(i=1,\dots ,s\) set \(G_i(y_i)=\prod_{k=0}^\infty (1-a_i^{R_k}y_i)\) and \(H_i(y_i)=\sum_{k=0}^\infty\frac{a_i^{R_k}} {1-a_i^{R_k}y_i}\), For each algebraic number \(\beta\) set \(N_{i,\beta}=card \{ k\geq 0; a_i^{-R_k}=\beta \} =ord_{y_i=\beta} G_i(y_i) \). For each \(B=(\beta_1,\dots ,\beta_s)\in\overline{\mathbb Q}^s\) set \(M_B=\{ m=(m_1,\dots ,m_s)\in \mathbb Z_{\geq 0}^s; m_i\geq N_{i,\beta}, 1\leq i\leq s\}\). Set also \(G(y)=\prod_{i=1}^s G_i(y_i)\), \(H(y)=\sum_{k=0}^\infty\prod_{i=1}^s\frac{a_i^{R_k}} {1-a_i^{R_k}y_i}\) and \(S(y)=G(y)H(y)\). Then the infinite set \(\{ S(B); B\in\overline{\mathbb Q}^s, m\in M_B\}\) is algebraically independent.
0 references
algebraic independence
0 references
infinite products
0 references
Mahler's method
0 references
linear recurrences
0 references
0 references
0 references
0 references