Transcendental transcendency of certain functions of Poincaré. (Q5908181)

Beweis des folgenden Satzes: \(y(x)\) sei eine Lösung der Funktionalgleichung \[ y(mx) = R[y(x)]. \] Hier sei \(y(x)\) meromorph, \(R(x)\) rational, \(m \neq 0, \neq 1\) gegeben. Ferner genüge \(y(x)\) einer algebraischen Differentialgleichung. Dann gewinnt man \(y(x)\) aus einer der folgenden Funktionen: \(e^{\alpha x}, \cos (\alpha x + \beta), \gamma (x + \beta), \gamma ^2(x + \beta)\) mit \(g_3 = 0\), \(\gamma'(x +\beta)\) und \(\gamma^3 (x + \beta)\) mit \(g_2= 0\), indem man \(x\) durch eine rationale Potenz von \(x\) ersetzt. Hier ist \(\alpha\) beliebig, \(\beta\) ein passender Teil einer Periode.