On the transcendence of some powers related to \(U\)-numbers (Q6042643)

Let \(n\) be a positive integer, let \(\alpha_0, \dots ,\alpha_n\) be non-zero algebraic numbers, let \(\beta_0, \dots ,\beta_n\) be algebraic numbers and let \(\zeta\) be a \(U\)-number. Then the authors prove: \begin{itemize} \item[1.] If \(\alpha_0 \not= 1\) then \(\alpha_0^\zeta e^{\beta_0}\alpha_1^{\beta_1}\dots\alpha_n^{\beta_n}\) is a transcendental number. \item[2.] The numbers \(e^{\zeta}\alpha_1^{\beta_1}\dots\alpha_n^{\beta_n}\) and \((\alpha_1e^{\beta_1})^\zeta\) are transcendental. \item[3.] If \(\alpha_0, \dots ,\alpha_n\) are multiplicatively independent and \(P_j\in\mathbb Z[x]\), \(j=1,\dots ,n\) are non-constant then \(\alpha_1^{P_1(\zeta)}\dots \alpha_n^{P_n(\zeta)}\) is a transcendental number. \end{itemize} The authors prove 1.--3. also for a special Liouville number \(\zeta\) and end with the question if the number \(x^x\) is transcendental whenever \(x\) is a Liouville number.