Mean motion. (Q2596178)

Es sei \(z = r(t) e^{2\pi i \varphi(t)} = \sum\limits_{k=1}^n a_k e^{2\pi i(\lambda_k t + \alpha_k)}\), wo \(a_k > 0\), \(\alpha_k\) reell, \(\lambda_k\) reell und linear unabhängig, \(\varphi(t)\) stetig. Es wird bewiesen: \[ \frac{\varphi(t_2) - \varphi(t_1)}{t_2 - t_1} \to \mu \;\text{ für } \;t_2 - t_1 \to \infty, \] wo \(\mu = \Sigma \lambda_k W_k\) und \(W_k = a_k \int\limits_0^\infty J_1(a_k \beta ) \prod\limits_{l\not = k} J_0 (a_l \beta) \, d\beta\). Die Methode beruht auf einer geschickten Zerschneidung des \(n\)-dimensionalen Torusraumes der \(\vartheta_k\), wo \(\vartheta_k \equiv \lambda_k t + \alpha_k\) (mod \(\pi\)) gesetzt ist.