[論文レビュー] Approximations to two real numbers

Игорь Давидович Кан, Nikolay Moshchevitin|ArXiv.org|Oct 13, 2009

Numerical Methods and Algorithms被引用数 10

ひとこと要約

本稿は、ディオファントス近似における新しい現象を確立している：任意の2つの異なる無理数 α と β について、α±β が整数でない限り、t→∞ のとき、それらの無理数度関数 ψα(t) と ψβ(t) の差は無限回にわたって符号を変える。この証明は連分数展開とその近似分数の性質に依拠し、α と β の整数倍に対する近似の質が無限にわたって振動することを示しており、これは高次元に拡張されない。

ABSTRACT

Probably we have observed a new simple phenomena dealing with approximations to two real numbers.

研究の動機と目的

• 2つの実数の無理数の近似差の振動的挙動を調査すること。
• 2つの数の相対的な近似の質が無限にわたって交互に優劣を繰り返す、同時ディオファントス近似における新しい現象を確立すること。
• この振動的挙動が2次元を超える次元に一般化できないことを示すこと。
• 連分数の近似分数が、差 ψα(t)−ψβ(t) の符号変化を決定する役割を分析すること。

提案手法

• 無理数度関数 ψξ(t) = min₁≤x≤t ||xξ|| を定義する。ここで ||·|| は整数への距離を表す。
• α と β の連分数展開を用いて、近似分数の性質およびその分母 qn と pm の振る舞いを分析する。
• 既知の漸化式を用いて、||q_{n-1}α|| と連分数の項 αn および αn* の間の重要な恒等式を確立する。
• 補題2の証明：q_{n+1} ≤ p_{m+1} ならば ||q_{n-1}α|| > ||p_mβ|| が成り立ち、近似誤差の優位関係を確立する。
• 連分数の恒等式から導かれる不等式に基づく背理法を用いて、ψα(t)−ψβ(t) の符号変化を示す。
• 不等式が厳密である場合と等しい場合を区別し、連分数の尾部の境界を用いて両者において矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 α と β が異なる無理数で α±β∉ℤ であるとき、ψα(t)−ψβ(t) は t→∞ のとき無限回にわたって符号を変えるか？
• RQ2 2つの無理数の近似の質の振動的挙動は、高次元の設定に拡張可能か？
• RQ3 連分数の近似分数は、2つの実数の相対的な近似の質を決定する上でどのような役割を果たすか？
• RQ4 α と β に対して、近似関数 ψξ(t) が一様に支配されない、あるいは支配されない条件は何か？
• RQ5 符号変化現象が2次元に限定される構造的根拠は何か？

主な発見

• 任意の異なる2つの無理数 α と β について、α±β∉ℤ ならば、t→∞ のとき ψα(t)−ψβ(t) は無限回にわたって符号を変える。
• 証明は、α と β の近似分数の分母の入れ違いに依拠し、どちらの近似も長期間にわたって他方を支配できないことを示している。
• ψα(t) ≤ ψβ(t) をすべての十分大きな t に対して仮定すると、連分数展開から導かれる矛盾する境界が生じるため、背理法で矛盾が生じる。
• 不等式が無限回にわたって厳密に成り立つ場合、連分数の尾部に関する境界（β_{m_j+2} > α_{n_0+j-1} および β_{m_j+2} ≤ α_{n_0+j+1}）が矛盾を引き起こす。
• すべての大きな j に対して等号が成り立つ場合、仮定により α = ±β が導かれ、これは α と β が異なること、かつ α±β∉ℤ であることと矛盾する。
• この現象は2次元に特有であり、高次元における同時近似には一般化されない。