丟番圖分析(英語:Diophantine approximation)是數論的一個分支。最經典的丟番圖逼近主要用於有理數逼近實數,亦即實數的有理逼近相關問題。其中有理數一般用分數形式表達,且一律要求分子為整數,分母為正整數,通常要求是最簡分數。
丟番圖逼近的名稱源於古希臘數學家丟番圖。這是因為有理逼近可以歸結為求不等式整數解的問題,而求方程整數解的問題一般稱為丟番圖方程(或不定方程),故而得名。事實上,丟番圖逼近與不定方程的研究確有頗多相關。
丟番圖逼近的首要問題是尋求實數的最佳(有理)丟番圖逼近,簡稱最佳逼近。具體來說,對於一個實數
,希望找到一個「最優」的有理數
作為
的近似,使在分母不超過
的所有有理數中,
與
的距離最小。這裏的「距離」可以是歐氏距離,即兩數之差的絕對值;也可以用
等方式度量。滿足此類要求的有理數
稱為實數
的一個最佳逼近。關於如何尋找實數的最佳逼近及相關論題,已於18世紀隨着連分數理論的發展得到基本解決。
其後,該領域的主要注意力轉向對有理逼近的誤差進行估計、度量,以給出儘可能精確的上下界(一般用分母的函數表示)。作為分母的函數, 這種上下界的階與
的性質密切相關。當
分別為有理數、代數數、超越數時,其最佳逼近誤差下界的階是不同的。基於這種思想,萊歐維爾在1844年建立了有關代數數逼近的一個基本結論,並由此具體地構造出了一個超越數(參見萊歐維爾數),證明了它的超越性。這在人類歷史上尚屬首次。由此可見,丟番圖逼近與數論的另一分支——超越數論緊密相關。
除了上述最經典的單個實數的有理逼近問題,該領域還包括多個實數的聯立逼近,非齊次逼近,實數的代數數逼近,一致分佈(均勻分佈)等方面。甚至連p進數上的丟番圖逼近也有頗多研究。
無論何種丟番圖逼近問題, 都需要定義「距離」。對於實數的有理逼近,要考慮的是有理數
與實數
的距離。對此一般有兩種定義方式,其一是非常自然的歐氏距離
,其二是
第二種定義方式是有理數所獨有的,在丟番圖逼近的理論和實踐中都很常用,不過這樣定義的距離並非一個度量。
這兩種距離也可看作只由分母
決定的。此時,上述第二種定義變為
![{\displaystyle \min\{p\in \mathbb {Z} :|q\alpha -p|\}=||q\alpha ||}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b6acba2f6e94a5843eccb7da95df87763db4cfc)
上式右端的記號在丟番圖逼近中很常用。沿用此記號,第一種定義變為
![{\displaystyle \min\{p\in \mathbb {Z} :|\alpha -p/q|\}=||q\alpha ||/q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c64b2368bb1ea4cbaaf15736ae7b55d34a1c774)
此時不要求
互質。
對於實數的最佳逼近問題,依「距離」的定義不同,有第一類和第二類之分,二者的結論有所不同。未加限定時,「最佳逼近」一詞一般指的是第一類最佳逼近。
在本節中,對有理數
,我們用「優」一詞形容它與給定實數
的距離更接近,此處的「距離」一般是按照1.1節給出的兩種定義方式之一。當
為無理數時,無論按上述哪一種距離,只要分母
足夠大,
總能與
任意接近。因此,單純討論「最優」(意即與
最接近的)有理數意義不大,還需要對有理數的範圍,主要是分母的範圍加以限制。這樣,給定一個實數
後,就產生了以下三個自然的問題:
- 對於哪些有理數
,其在分母不超過
的所有有理數中是最優的?
- 對於給定的正整數,在分母不超過它的所有有理數中,最優的是哪個?(如果有多個,一般取分母最小者)
- 對於一個有理數(通常考慮的是最佳逼近),比它更優的有理數中分母最小的是哪個?
問題1正是經典丟番圖逼近領域的一個核心問題,也是後兩個問題的基礎;問題2可視作問題1的擴展,從某些角度看它的提法甚至更為自然;問題3則可看作問題2的某種反問題。
丟番圖逼近領域的最佳逼近一詞,一般就指符合問題1中條件的有理數。兩種距離都可以考慮,分別對應兩類最佳逼近。具體來說,給定一個實數
,稱有理數
為
的第一類最佳逼近,當且僅當對每個與
不同的有理數
,在
時恆有
![{\displaystyle |\alpha -p/q|<|\alpha -p'/q'|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebad92c629f5f8000c2b9864bb19312339e2aa30)
如果其餘條件不變,最後的不等式變為
![{\displaystyle \left|q\alpha -p\right|<\left|q^{\prime }\alpha -p^{\prime }\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1302459757ea48b15262381fa18af1797c45f6a5)
則稱
為
的第二類最佳逼近。顯然,第二類最佳逼近一定是第一類的,反之則未必。例如對於2/3來說,1/2是第一類最佳逼近,但不是第二類的。
對於問題2, 3,依「距離」的定義不同,也有類似的第一類和第二類之分。問題1解決後,不難得到問題2, 3的結論。事實上,後兩個問題中所求的有理數一定是一個最佳逼近。
實數最佳逼近問題與連分數理論有密切聯繫,後者提供了計算最佳逼近的理論依據和具體算法。下面總假設實數
的簡單連分數表達式為
![{\displaystyle \alpha =[a_{0};a_{1},a_{2},\,\ldots ,a_{n}\,\ldots ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8aea626e682e7d2b3b66c2dcafe35bb45b7cdbce)
再設Ck = pk/qk為
的k階漸進分數(即收斂子),Ck, t = pk, t/qk, t的第t個k階中間漸近分數(簡稱中間分數,又名半收斂子,參見連分數#半收斂子),其中
![{\displaystyle p_{k,t}=tp_{k-1}+p_{k-2},\ q_{k,t}=tq_{k-1}+q_{k-2},\ C_{k,t}=p_{k,t}/q_{k,t}=[a_{0};a_{1},\,\ldots ,a_{k-1},t]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4d5902534929fa37d1d9b756327b1098310cf8c)
習慣上認為中間分數不包括漸近分數,因此,上述記號中一般要求
此時
總在
和
之間。
第二類最佳逼近的結論比較簡單:實數的第二類最佳逼近恰是它的簡單連分數的所有漸近分數。此時需要注意:
為有理數時,它的簡單連分數展開要取最後一位不是1的那個。例如2/3的連分數要寫成[0; 1, 2]而不是[0; 1, 1, 1],故此時[0; 1, 1]=1/2不是2/3的漸近分數。事實上,1/2確實不是2/3的第二類最佳逼近。另外,此論斷有一個平凡的例外:若
,
的第0個漸近分數並非第二類最佳逼近。
對於問題2,給定正整數
,設
,則在分母不超過M的有理數中,最優的是第
個漸近分數
對於問題3,給定一個第二類最佳逼近,它一定是某個漸近分數
(
為半整數時有例外,此時
也第二類最佳逼近,但對結論沒有本質影響),那麼比它更優的有理數中分母最小的是
。
對於第一類最佳逼近,問題要複雜一些。此時漸近分數當然仍是最佳逼近,但某些中間分數亦是。具體來說,
時,
是第一類最佳逼近;
時,
不是第一類最佳逼近;
時,僅考慮連分數的前k項已不足以判斷,需要特殊的判定準則。此時,
是第一類最佳逼近,當且僅當
![{\displaystyle [a_{k+1};a_{k+2},\,\ldots ]>q_{k-1}/q_{k-2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/706e336ae7fda55d3fa83fe74ef7787ee1826d0d)
另一方面,第一類最佳逼近一定是漸近分數或中間分數。為使此論斷無例外,需補充定義-1階漸進分數為1/0,這樣可以考慮0階的中間分數。這裏還需要特別注意:
為有理數時,它的簡單連分數展開要取最後一位是1的那個。例如2/3的連分數要寫成[0;1, 1, 1]而不是[0;1, 2],故此時[0; 1, 1]=1/2是2/3的漸近分數。事實上,1/2確實是2/3的第一類最佳逼近。
總結起來,
的第一類最佳逼近恰有三類:
- 漸近分數
(
時不包含
) ;
- 中間分數
其中![{\displaystyle t\in \mathbb {N} ^{*},\ a_{k}/2<t<a_{k};}](https://wikimedia.org/api/rest_v1/media/math/render/svg/773664d81278adb2d64ac3a7e7a00c6774b3b5a5)
- 中間分數
其中![{\displaystyle a_{k}/2\in \mathbb {N} ^{*},\ [a_{k+1};a_{k+2},\,\ldots ]>q_{k-1}/q_{k-2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5932369cf98e36ad73df564c9a3d175a51cdd638)
問題2, 3的結論與上一小節類似。
考慮自然對數底 e=2.718281828459045235……,其連分數表達式為
![{\displaystyle [2;1,2,1,1,4,1,1,6,1,1,8,1,\ldots \;]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6483fa6787e7dfa260a229661ab18dad1c301763)
它的第二類最佳逼近依次是:
![{\displaystyle 3,{\frac {8}{3}},{\frac {11}{4}},{\frac {19}{7}},{\frac {87}{32}},\ldots \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3a91185f41d8530803a9371c9d168c3d5832b9b)
它的第一類最佳逼近依次是:
![{\displaystyle 3,{\frac {5}{2}},{\frac {8}{3}},{\frac {11}{4}},{\frac {19}{7}},{\frac {30}{11}},{\frac {49}{18}},{\frac {68}{25}},{\frac {87}{32}},{\frac {106}{39}},\ldots \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3dc8c54caf5158bde378026f9c98ab9de471648d)
和漸近分數一樣,最佳逼近一般也按分母由小到大排列。
又如圓周率 π=3.145926535897……,其連分數表達式為
![{\displaystyle [3;7,15,1,292,1,1,1,2,1,3,1,14,\ldots ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e08f7e6774c5a2d140d9e9e40012ad4d934afb57)
它的前幾個漸近分數如下:
![{\displaystyle 3,{\frac {22}{7}},{\frac {333}{106}},{\frac {355}{113}},{\frac {103993}{33102}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a9e85f176ed126a48799a6e5c2196d53f1ea6b4)
其中的22/7正是約率,而355/113正是密率。按上面的結論,由於292為偶數,且
![{\displaystyle [1;1,1,2,1,3,14\ldots ]>[1,1,1]=3/2>113/106}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f99fedcc6c86c8792bea04dea02a6ae325cbef5)
故355/113之後的下一個第一類最佳逼近是
。這說明355/113比分母小於16604的任何有理數都更接近π(依歐氏距離),可見密率的精確性。
丟番圖逼近理論的基礎之一是萊歐維爾的一個關於代數數逼近的定理:
定理:設無理數
是一個整系數
次多項式的根,則存在常數
,使得對任意兩整數
恆有
![{\displaystyle \left|\alpha -{\frac {p}{q}}\right|>{\frac {A}{q^{n}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/583def7ccc609c868575a5e1006f41b238deb128)
萊歐維爾定理可用於構造超越數。在這之前,數學家們已利用連分數導出關於平方根與其它二次無理數的許多逼近性質。這個結果後來由Axel Thue等人改進,並導致Roth定理:對於代數數
,將萊歐維爾定理中的指數由其次數
縮至任意的
(其中
)。之後Schmidt又將此結果推廣到一致逼近。這些命題的證明頗為困難,而且不能得到
的確切數值,在應用上有所缺憾。
另一個主題是模1的均勻分佈理論。取一實數序列
並考慮其真分數部分;或抽象地說,將其看作
,即拓撲學中所說的一維圓環
上的數列。對圓環上的任一段區間,我們研究有限集
中有多大比例落在該區間內,並考慮這個比例與區間長度之間的關係。一個序列均勻分佈意味着當
時,此比例收斂於我們所「期望值」的值。赫爾曼·外爾證明了一個基本結論:均勻分佈等價於該序列元素的指數和有上界。這表明丟番圖逼近與指數和相消的一般問題密切相關,而後者在解析數論的誤差項估計中無處不在。
在Roth定理以後,丟番圖逼近論的主要進展與超越理論相關。均勻分佈關乎分佈的不規則性,因而帶有組合學的本性。丟番圖逼近論中仍有陳述簡單卻懸而未解的問題,例如李特爾伍德猜想:對任意兩個實數
,
![{\displaystyle \liminf _{n\to \infty }\ n\,\Vert n\alpha \Vert \,\Vert n\beta \Vert =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9aa5df82c479dbf2aee578f4e08e171ab1556c7f)
其中
表示到最近整數的距離。