在数学上,辅助函数(auxiliary functions)是超越数论中重要的建构物。这些函数出现在这类领域多数的证明中,并具有特定且理性的性质,如在许多论证中,这类函数会等于零,或者会有高次值等于零的点。[1]
定义
辅助函数并非一类严格定义的函数,而更多是特别建构出来,或至少被证明存在,并被引用来显示某些假设会导出矛盾,或证明问题中的结果的函数。为了证明结果而在证明过程中建构某个函数的作法,并不仅限于超越数论的研究,然而“辅助函数”一词通常都用以描述在超越数论的情境下建构出来的这类函数。
特定例子
刘维尔的超越数条件
由于上述的命名常规之故,因此可借由简单地检视超越数论的最早结果,认为辅助函数和超越数的研究同时出现。辅助函数最早的结果之一就是刘维尔对于超越数存在性的证明,在其中,他证明了说刘维尔数这类数字是超越数。[2]他借由发现这类数满足的超越数条件证明此点。在给出这样的条件时,他首先从一般的代数数
开始,并找出这些数字必须满足的条件。他用来证明这条件的辅助函数就是
的极小多项式,而这多项式即是满足
的整系数不可约多项式。这多项式可用以估计
可多好地为有理数
所估计,特别地,在
的次数
至少为2的状况下,他证明了说
![{\displaystyle \left|f\left({\frac {p}{q}}\right)\right|\geq {\frac {1}{q^{d}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f0d9d9ce3ebe178792e94a67fb04491a2238428)
此外,他利用了中值定理证明说存在一个取决于
的常数
,使得下式成立:
![{\displaystyle \left|f\left({\frac {p}{q}}\right)\right|\leq c(\alpha )\left|\alpha -{\frac {p}{q}}\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7295bd5f16fe14ccfe769eebb0e451d1f7f797f)
将这些结果结合,就可得到一个代数数必须满足的性质,因此任何不满足这条件的数,都必然是超越数。
刘维尔证明中用到的辅助函数非常简单,就单单是会在给定的代数数处消失的多项式。这样的性质一般是辅助函数所要满足的性质,也就是这函数会在特定点消失或变得非常小,而将这点与“这些函数在这样的点不能消失或变得非常小”这假设相结合,就可得出结果。
傅立叶对e不是有理数的证明
另一个早期且简单的例子,出现于傅立叶对
不是有理数的证明中,[3]尽管所用的表记使这件事时变得不明显。傅立叶的证明使用了指数函数的幂级数:
![{\displaystyle e^{x}=\sum _{n=0}^{\infty }{\frac {x^{n}}{n!}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c2b1a7071d25d71cdd3b9e75ab6795938428d94)
在截取此幂级数的一些项,如
项后,可捯一个次数为
的有理系数多项式,而这多项是在一定意义上会接近
。特别地若检视以余项定义的辅助函数
![{\displaystyle R(x)=e^{x}-\sum _{n=0}^{N}{\frac {x^{n}}{n!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2cd9095ce60e6178042b8364e4ca1e7c4964da2)
那这作为指数多项式的函数的值,在
很小时就当趋近于零。若
是一个有理数,那么在
的情况下,
也应当是个有理数;而傅立叶借由消去所有可能分母的方式,证明了
不可能是有理数。因此
不可能是有理数。
埃尔米特对er不是有理数的证明
埃尔米特借由以作为两个多项式比值得有理函数而非多项式逼近
的方式,拓展了傅立叶的结果;特别地,他选取了多项式
和
,使得如下的辅助函数
可以在
附近取任意小的值:
![{\displaystyle R(x)=B(x)e^{x}-A(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c80999c1e0b62203729ca3d1c6158adb8bd8319)
若
是个有理数,那么
也应当是个有特定整数分母的有理数;而埃尔米特证明说
可以任意小,以致无法取任何的整数分母,并因此得到矛盾。
埃尔米特对e是超越数的证明
在证明
是超越数时,埃尔米特将他的结果推进一步,在其中他不只估计
的值,同时也估计了在
等整数时
的值,在证明中,他假定
是
次代数数。
为了估计
的值,他以下式定义了辅助函数
,其中
是分母相同的整系数有理函数:
![{\displaystyle R_{k}(x)=B(x)e^{kx}-A_{k}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/479c2f2752661217ee65fa01b93694a17c6d7f46)
在导出矛盾方面,埃尔米特首先假定说
满足整系数多项式等式
,将此表达式乘以
,他注意到说这会推导出下式:
![{\displaystyle R=a_{0}+a_{1}R_{1}(1)+\cdots +a_{m}R_{m}(1)=a_{1}A_{1}(1)+\cdots +a_{m}A_{m}(1).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e393cc81c0822355b0c90ffe4767b1b5699e7e8e)
其中右手边的部分会是一个整数,因此借由估计辅助函数的值并证明
以得到需要的矛盾。
起自鸽巢原理的辅助函数
上述的辅助函数都可特地构造出来并加以计算和运用;不过在二十世纪,阿克塞尔·图厄和卡尔·路德维希·西格尔做出了突破,显示说不一定要将相关函数构造出来,有时知道有这样的函数,且这些函数有特定性质就够了。利用鸽巢原理,图厄和西格尔先后证明了说会有辅助函数有特定性质,像例如会有在许多不同点为零,或在较小的点击和尚有高次零的辅助函数;不仅如此,他们还证明了说构造这样的函数而不至于让函数变得太大,是有可能的。[4]他们的辅助函数并非特地构造出来的,但借由知道某些带有特定性质的函数存在这点,他们简化了许多十九世纪的超越性证明,并给出了一些新的结果。[5]
这方法为其他数学家所用,其中亚历山大·格尔丰德和西奥多·施耐德利用这方法,独立证明了格尔丰德-施奈德定理。[6]艾伦·贝克也在1960年代以此方法证明了他在对数线性型式方面的工作,而这即是贝克定理。[7]
其他一些1960年代后用此方法的例子如下:
辅助多项式定理
设
为等式
中
的立方根,并设
为满足
的整数,其中
为一个正整数。
那么有
![{\displaystyle F(X,Y)=P(X)+Y*Q(X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b173b57101a7255ad818ef30b494842715412488)
使得
![{\displaystyle \sum _{i=0}^{m+n}u_{i}X^{i}=P(X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/094567aba007460da4de953a301c6eac9a07c8c0)
且
![{\displaystyle \sum _{i=0}^{m+n}v_{i}X^{i}=Q(X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/640ff3c5db46480a5d7578125d730908afac0d2b)
辅助多项式定理则表明
![{\displaystyle \max _{0\leq i\leq m+n}{(|u_{i}|,|v_{i}|)}\leq 2b^{9(m+n)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91a0a2c55551594fcc594bab68328a91e892715b)
兰氏定理
1960年代,塞尔日·兰利用非特定构造出来的辅助函数证明了一个结果。从这结果可同时推得林德曼-魏尔斯特拉斯定理和格尔丰德-施奈德定理。[8]这定理关乎数域
和阶至多为
的亚纯函数
,且其中至少两个函数彼此代数独立,且其中若对其中一个函数进行微分,那其结果对所有的函数都会是一个多项式。
在这些假设下,这定理指称若有
个相异的复数
使得对于任意的
和
而言,
都在
中,那么
会有以下上界:
![{\displaystyle m\leq 20\rho [K:\mathbb {Q} ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41b1e9cbc572d311471658b8671bdc1258b1c8c9)
为了证明此点,兰氏从
中选出两个彼此代数独立的函数
和
,并因此构造出一个以
和
表示的多项式
作为辅助函数。这个辅助函数无法被明确地表明,而这是因为
和
的形式也并非明确已知的之故;然而利用西格尔引理,兰氏证明了如何构造出一个在
个复数
上会高次消失的的函数。由于这高次消失的性质之故,因此可证明说
的高次微分的数值会取决于
中某个“大小”较小的数字。此处的“大小”指的是一个数的代数性质。利用最大模原理,兰氏也发现了一个估计
的微分的绝对值的独立方法;同时借由以标准结果来比较一个数及其绝对值得方式,他证明了说除非
满足上述界限,不然这些估计会彼此矛盾。
插值行列式
在使用存在但不被明确构造出来的辅助函数的方法获得了许多成功后,在1990年代,Michel Laurent引介了插值行列式的想法。[9]这些行列式是交替行列式(alternant),也就是有如下形式的行列式:
![{\displaystyle {\mathcal {M}}=\left(\varphi _{i}(\zeta _{j})\right)_{1\leq i,j\leq N}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b876b02755326402a3e9a3096e849c78b0de7a8)
其中
是一组以
这组点插值的函数。
由于行列式本质就仅仅是以矩阵表示的多项式之故,因此这些辅助方程可以解析方法研究。此方法的一个问题是在可对相关矩阵动工前,要如何选择基底,而Jean-Benoît Bost使用Arakelov理论对此做出的发展解决了这问题,[10]而这领域的研究当今依旧进行中。以下例子给出了如何使用此方法的想法:
埃尔米特-林德曼定理的证明
一个此方法较简单的应用,是以此证明实数版的林德曼-魏尔斯特拉斯定理,也就是“若
是一个非零的实代数数,那么
会是一个超越数”的定理。
首先,设
为自然数,并设
为
的大倍数。此状况下所考虑的插值行列式,是一个衍生自如下
矩阵的行列式
:
![{\displaystyle \left(\{\exp(j_{2}x)x^{j_{1}-1}\}^{(i_{1}-1)}{\Big |}_{x=(i_{2}-1)\alpha }\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35e49b5abaaf84da2f10231f0fbce0160f7bb544)
这矩阵横行的元素的指标为
以及
;而其直列的指标则为
以及
。故矩阵中的函数为
和
的单项式及其微分,并在
等
个点进行插值。
假定
是一个代数数,那就可构造一个有理数
上次数为
的数域
,之后将
及其所有将
这个域嵌入到
中的映射的像全数乘以适当的分母。由于代数理由,这乘积必然是一个整数,之后用朗斯基行列式相关的论证,可证明说这数不会是零,故其绝对值
会是一个整数。
利用中值定理在矩阵上的版本,可得
的解析界限,实际上若用大O符号表示,有
![{\displaystyle \Omega =O\left(\exp \left(\left({\frac {m+1}{k}}-{\frac {3}{2}}\right)n^{8}\log n\right)\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/627d8da0ab45d0bca88c0d49c2a34c877bdc510d)
的值取决于数域
的次数,但
是插值点的个数,因此可自由增减;而在
的状况下,可得
,但这与先前得出的条件
相矛盾,故
不能是一个代数数。[11]
注解
- ^ Waldschmidt (2008).
- ^ Liouville (1844).
- ^ Hermite (1873).
- ^ Thue (1977) and Siegel (1929).
- ^ Siegel (1932).
- ^ Gel'fond (1934) and Schneider (1934).
- ^ Baker and Wüstholz (2007).
- ^ Lang (1966).
- ^ Laurent (1991).
- ^ Bost (1996).
- ^ 此证明改编自Pila在1993年的文章。
参考资料
- Waldschmidt, Michel. An Introduction to Irrationality and Transcendence Methods (PDF). [2024-01-10]. (原始内容存档 (PDF)于2013-08-27).
- Liouville, Joseph. Sur des classes très étendues de quantités dont la valeur n'est ni algébrique, ni même réductible à des irrationnelles algébriques. J. Math. Pures Appl. 1844, 18: 883–885, and 910–911.
- Hermite, Charles. Sur la fonction exponentielle. C. R. Acad. Sci. Paris. 1873, 77.
- Thue, Axel. Selected Mathematical Papers. Oslo: Universitetsforlaget. 1977.
- Siegel, Carl Ludwig. Über einige Anwendungen diophantischer Approximationen. Abhandlungen Akad. Berlin. 1929, 1: 70.
- Siegel, Carl Ludwig. Über die Perioden elliptischer Funktionen. Journal für die reine und angewandte Mathematik. 1932, 1932 (167): 62–69. S2CID 199545608. doi:10.1515/crll.1932.167.62.
- Gel'fond, A. O. Sur le septième Problème de D. Hilbert. Izv. Akad. Nauk SSSR. 1934, 7: 623–630.
- Schneider, Theodor. Transzendenzuntersuchungen periodischer Funktionen. I. Transzendend von Potenzen. J. Reine Angew. Math. 1934, 172: 65–69.
- Baker, Alan; Wüstholz, G., Logarithmic forms and Diophantine geometry, New Mathematical Monographs 9 (Cambridge University Press), 2007, 9: 198
- Lang, Serge. Introduction to Transcendental Numbers. Addison–Wesley Publishing Company. 1966.
- Laurent, Michel. Sur quelques résultats récents de transcendance. Astérisque. 1991,. 198–200: 209–230.
- Bost, Jean-Benoît. Périodes et isogénies des variétés abéliennes sur les corps de nombres (d'après D. Masser et G. Wüstholz). Astérisque. 1996, 237: 795.
- Pila, Jonathan. Geometric and arithmetic postulation of the exponential function. J. Austral. Math. Soc. A. 1993, 54: 111–127. doi:10.1017/s1446788700037022
.