Simultaneous approximations of some numbers connected with the exponential function by elements of the field \(Q_ 1\) (Q1073074): Difference between revisions

Mit transzendentem \(\theta\in {\mathbb{C}}\) sei \(Q_ 1:={\mathbb{Q}}(\theta)\), \(I_ 1:={\mathbb{Z}}[\theta]\), und für \(\eta \in Q_ 1\), \(\eta =R_ 1/R_ 2\) mit teilerfremden \(R_ i\in I_ 1\) werde \(v(\eta):=v(R_ 1)+v(R_ 2)\) gesetzt, wo \(v(R):=1+\text{Grad}(R)+\log \text{Höhe}(R)\) bedeutet. Genügen \(\beta_ 1,...,\beta_ d\in {\mathbb{C}}\) der Abschätzung \(\log | \sum x_ i\beta_ i| >-\tau \sum | x_ i|\) für alle \((x_ 1,...,x_ d)\in {\mathbb{Z}}^ d\setminus \{0\}\), und erfüllen \(\gamma_ 1,...,\gamma_ m\in {\mathbb{C}}\) eine analoge Bedingung, so wird unter einer geeigneten Ungleichung zwischen d, m und einem weiteren, von \(\beta_ 1,...,\beta_ d\) abhängigen natürlichen Parameter gezeigt: Die Ungleichung \[ \sum_{i}| \beta_ i-\eta_ i| +\sum_{j,k}| \exp (\beta_ j\gamma_ k)-\eta_{jk}| <\Phi (V),\quad V:=_{i,j,k}(v(\eta_ i),v(\eta_{jk})) \] hat bei explizit angegebenem \(\Phi\) höchstens endlich viele Lösungen \((\eta_ i,\eta_{jk})\in Q_ 1^{(m+1)d}.\) Die vorliegende Arbeit setzt eine frühere des Verf. [Mat. Zametki 30, 3-12 (1981; Zbl 0471.10023)] fort; auch hier ist Gel'fonds Methode für algebraische Unabhängigkeit das Haupthilfsmittel beim Beweis.