查看“︁輔助函數”︁的源代码

在[[數學]]上，'''輔助函數'''（auxiliary functions）是[[超越數論]]中重要的建構物。這些函數出現在這類領域多數的證明中，並具有特定且理性的性質，如在許多論證中，這類函數會等於零，或者會有[[重複度|高次]]值等於零的點。<ref>Waldschmidt (2008).</ref>

==定義==
輔助函數並非一類嚴格定義的函數，而更多是特別建構出來，或至少被證明存在，並被引用來顯示某些假設會導出矛盾，或證明問題中的結果的函數。為了證明結果而在證明過程中建構某個函數的作法，並不僅限於超越數論的研究，然而「輔助函數」一詞通常都用以描述在超越數論的情境下建構出來的這類函數。

==特定例子==

===劉維爾的超越數條件===
由於上述的命名常規之故，因此可藉由簡單地檢視超越數論的最早結果，認為輔助函數和超越數的研究同時出現。輔助函數最早的結果之一就是[[劉維爾]]對於[[超越數]]存在性的證明，在其中，他證明了說[[劉維爾數]]這類數字是超越數。<ref>Liouville (1844).</ref>他藉由發現這類數滿足的超越數條件證明此點。在給出這樣的條件時，他首先從一般的[[代數數]]<math>\alpha</math>開始，並找出這些數字必須滿足的條件。他用來證明這條件的輔助函數就是<math>\alpha</math>的[[極小多項式]]，而這多項式即是滿足<math>f(\alpha)=0</math>的整係數[[不可約多項式]]。這多項式可用以估計<math>\alpha</math>可多好地為有理數<math>p/q</math>所估計，特別地，在<math>\alpha</math>的次數<math>d</math>至少為2的狀況下，他證明了說

:<math>\left|f\left(\frac{p}{q}\right)\right|\geq\frac{1}{q^d}</math>

此外，他利用了[[中值定理]]證明說存在一個取決於<math>\alpha</math>的常數<math>c(\alpha)</math>，使得下式成立：

:<math>\left|f\left(\frac{p}{q}\right)\right| \leq c(\alpha)\left|\alpha-\frac{p}{q}\right|</math>

將這些結果結合，就可得到一個代數數必須滿足的性質，因此任何不滿足這條件的數，都必然是超越數。

劉維爾證明中用到的輔助函數非常簡單，就單單是會在給定的代數數處消失的多項式。這樣的性質一般是輔助函數所要滿足的性質，也就是這函數會在特定點消失或變得非常小，而將這點與「這些函數在這樣的點不能消失或變得非常小」這假設相結合，就可得出結果。

===傅立葉對e不是有理數的證明===
另一個早期且簡單的例子，出現於[[傅立葉]]對<math>e</math>不是有理數的證明中，<ref>Hermite (1873).</ref>盡管所用的表記使這件事實不顯著。傅立葉的證明使用了[[指數函數]]的[[冪級數]]：

:<math>e^x=\sum_{n=0}^{\infty} \frac{x^n}{n!}.</math>
在截取此冪級數的一些項，如<math>N+1</math>項後，可得出一個次數為<math>N</math>的有理係數多項式，而這多項式在一定意義上會接近<math>e^x</math>。特別地若檢視以餘項定義的輔助函數
:<math>R(x)=e^x-\sum_{n=0}^{N} \frac{x^n}{n!}</math>
那這作為[[指數多項式]]的函數的值，在<math>x</math>很小時就當趨近於零。若<math>e</math>是一個有理數，那麼在<math>x=1</math>的情況下，<math>R(1)</math>也應當是個有理數；而傅立葉藉由消去所有可能分母的方式，證明了<math>R(1)</math>不可能是有理數。因此<math>e</math>不可能是有理數。

===埃爾米特對e<sup>r</sup>不是有理數的證明===

[[夏爾·埃爾米特|埃爾米特]]藉由以作為兩個多項式比值得[[有理函數]]而非多項式逼近<math>e^x</math>的方式，拓展了傅立葉的結果；特別地，他選取了多項式<math>A(x)</math>和<math>B(x)</math>，使得如下的輔助函數<math>R(x)</math>可以在<math>x=0</math>附近取任意小的值：

:<math>R(x)=B(x)e^x-A(x)</math>

若<math>e^r</math>是個有理數，那麼<math>R(r)</math>也應當是個有特定整數分母的有理數；而埃爾米特證明說<math>R(r)</math>可以任意小，以致無法取任何的整數分母，並因此得到矛盾。

===埃爾米特對e是超越數的證明===
在證明<math>e</math>是超越數時，埃爾米特將他的結果推進一步，在其中他不只估計<math>e^x</math>的值，同時也估計了在<math>k=1,\cdots,m</math>等整數時<math>e^{kx}</math>的值，在證明中，他假定<math>e</math>是<math>m</math>次代數數。

為了估計<math>e^{kx}</math>的值，他以下式定義了輔助函數<math>R_k(x)</math>，其中<math>A_k(x) / B(x)</math>是分母相同的整係數有理函數：
:<math>R_k(x)=B(x)e^{kx}-A_k(x)</math>
在導出矛盾方面，埃爾米特首先假定說<math>e</math>滿足整係數多項式等式<math>a_0+a_1 e + \cdots +a_me^m=0</math>，將此表達式乘以<math>B(1)</math>，他注意到說這會推導出下式：

:<math>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).</math>

其中右手邊的部分會是一個整數，因此藉由估計輔助函數的值並證明<math>0 < \left| R \right| < 1</math>以得到需要的矛盾。

==起自鴿巢原理的輔助函數==
{{main|西格爾引理}}
上述的輔助函數都可特地構造出來並加以計算和運用；不過在二十世紀，[[阿克塞爾·圖厄]]和[[卡爾·路德维希·西格爾]]做出了突破，顯示說不一定要將相關函數構造出來，有時知道有這樣的函數，且這些函數有特定性質就夠了。利用[[鴿巢原理]]，圖厄和西格爾先後證明了說會有輔助函數有特定性質，像例如會有在許多不同點為零，或在較小的點集合之上有高次零的輔助函數；不僅如此，他們還證明了說構造這樣的函數而不至於讓函數變得太大，是有可能的。<ref>Thue  (1977) and Siegel (1929).</ref>他們的輔助函數並非特地構造出來的，但藉由知道某些帶有特定性質的函數存在這點，他們簡化了許多十九世紀的超越性證明，並給出了一些新的結果。<ref>Siegel (1932).</ref>

這方法為其他數學家所用，其中[[亞歷山大·格爾豐德]]和[[西奧多·施耐德]]利用這方法，獨立證明了[[格爾豐德-施奈德定理]]。<ref>Gel'fond (1934) and Schneider (1934).</ref>[[艾倫·貝克 (數學家)|艾倫·貝克]]也在1960年代以此方法證明了他在對數線性型式方面的工作，而這即是{{link-en|貝克定理|Baker's theorem}}。<ref>Baker and Wüstholz (2007).</ref>

其他一些1960年代後用此方法的例子如下：

===輔助多項式定理===
設<math>\beta</math>為等式<math>ax^3+bx^3=c</math>中<math>b/a</math>的立方根，並設<math>m</math>為滿足<math>m+1 > 2n/3 \ge m \ge 3</math>的整數，其中<math>n</math>為一個正整數。

那麼有

: <math>F(X,Y) = P(X) + Y*Q(X)</math>

使得

: <math>\sum_{i=0}^{m+n} u_i X^i = P(X)</math>
且
: <math>\sum_{i=0}^{m+n} v_i X^i = Q(X)</math>

輔助多項式定理則表明

: <math>\max_{0 \le i \le m+n} {(|u_i|,|v_i|)}\le 2b^{9(m+n)}</math>

===蘭氏定理===
{{main|施奈德-蘭定理}}
1960年代，[[塞爾日·蘭]]利用非特定構造出來的輔助函數證明了一個結果。從這結果可同時推得[[林德曼-魏尔斯特拉斯定理]]和[[格爾豐德-施奈德定理]]。<ref>Lang (1966).</ref>這定理關乎[[數域]]<math>\mathrm{K}</math>和[[整函數|階]]至多為<math>\rho</math>的[[亞純函數]]<math>f_1,\cdots,f_N</math>，且其中至少兩個函數彼此代數獨立，且其中若對其中一個函數進行微分，那其結果對所有的函數都會是一個多項式。

在這些假設下，這定理指稱若有<math>m</math>個相異的[[複數]]<math>\omega_1,\cdots,\omega_m</math>使得對於任意的<math>i</math>和<math>j</math>而言，<math>f_i(\omega_j)</math>都在<math>\mathrm{K}</math>中，那麼<math>m</math>會有以下上界：
:<math>m\leq 20\rho [K:\mathbb{Q}]</math>

為了證明此點，蘭氏從<math>\omega_1,\cdots,\omega_m</math>中選出兩個彼此代數獨立的函數<math>f</math>和<math>g</math>，並因此構造出一個以<math>f</math>和<math>g</math>表示的多項式<math>F</math>作為輔助函數。這個輔助函數無法被明確地表明，而這是因為<math>f</math>和<math>g</math>的形式也並非明確已知的之故；然而利用西格爾引理，蘭氏證明了如何構造出一個在<math>m</math>個[[複數]]<math>\omega_1,\cdots,\omega_m</math>上會高次消失的的函數。由於這高次消失的性質之故，因此可證明說<math>F</math>的高次微分的數值會取決於<math>\omega_i</math>中某個「大小」較小的數字。此處的「大小」指的是一個數的代數性質。利用[[最大模原理]]，蘭氏也發現了一個估計<math>F</math>的微分的絕對值的獨立方法；同時藉由以標準結果來比較一個數及其絕對值得方式，他證明了說除非<math>m</math>滿足上述界限，不然這些估計會彼此矛盾。

==插值行列式==
在使用存在但不被明確構造出來的輔助函數的方法獲得了許多成功後，在1990年代，Michel Laurent引介了插值行列式的想法。<ref>Laurent (1991).</ref>這些行列式是交替行列式（alternant），也就是有如下形式的行列式：
:<math>\mathcal{M}=\left(\varphi_i(\zeta_j)\right)_{1\leq i,j\leq N}</math>
其中<math>\varphi_i</math>是一組以<math>\xi_i</math>這組點插值的函數。

由於行列式本質就僅僅是以矩陣表示的多項式之故，因此這些輔助方程可以解析方法研究。此方法的一個問題是在可對相關矩陣動工前，要如何選擇[[基 (線性代數)|基底]]，而Jean-Benoît Bost使用{{link-en|Arakelov理論|Arakelov theory}}對此做出的發展解決了這問題，<ref>Bost (1996).</ref>而這領域的研究當今依舊進行中。以下例子給出了如何使用此方法的想法：

===埃爾米特-林德曼定理的證明===
一個此方法較簡單的應用，是以此證明實數版的[[林德曼-魏尔斯特拉斯定理]]，也就是「若<math>\alpha</math>是一個非零的實代數數，那麼<math>e^\alpha</math>會是一個超越數」的定理。

首先，設<math>k</math>為自然數，並設<math>n</math>為<math>k</math>的大倍數。此狀況下所考慮的插值行列式，是一個衍生自如下<math>n^4\times n^4</math>矩陣的行列式<math>\Delta</math>：
:<math>\left(\{\exp(j_2x)x^{j_1-1}\}^{(i_1-1)}\Big|_{x=(i_2-1)\alpha}\right)</math>
這矩陣橫行的元素的指標為<math>1\le i_1 \le n^4/k</math>以及<math>1\le i_2 \le k</math>；而其直列的指標則為<math>1\le j_1 \le n^3</math>以及<math>1\le j_2 \le n</math>。故矩陣中的函數為<math>x</math>和<math>e^x</math>的單項式及其微分，並在<math>0,\alpha,2\alpha,\cdots,(k-1)\alpha</math>等<math>k</math>個點進行插值。

假定<math>e^\alpha</math>是一個代數數，那就可構造一個有理數<math>\mathrm{Q}</math>上次數為<math>m</math>的數域<math>\mathrm{Q}(\alpha, e^\alpha)</math>，之後將<math>\Delta</math>及其所有將<math>\mathrm{Q}(\alpha, e^\alpha)</math>這個域嵌入到<math>\mathrm{C}</math>中的映射的像全數乘以適當的分母。由於代數理由，這乘積必然是一個整數，之後用[[朗斯基行列式]]相關的論證，可證明說這數不會是零，故其絕對值<math>\Omega\ge1</math>會是一個整數。

利用[[中值定理]]在矩陣上的版本，可得<math>\Omega</math>的解析界限，實際上若用[[大O符號]]表示，有
:<math>\Omega=O\left(\exp\left(\left(\frac{m+1}{k}-\frac{3}{2}\right)n^8\log n\right)\right).</math>
<math>m</math>的值取決於數域<math>\mathrm{Q}(\alpha, e^\alpha)</math>的次數，但<math>k</math>是插值點的個數，因此可自由增減；而在<math>k > 2(m+1)/3</math>的狀況下，可得<math>\Omega\to0</math>，但這與先前得出的條件<math>\Omega\ge1</math>相矛盾，故<math>e^\alpha</math>不能是一個代數數。<ref>此證明改編自Pila在1993年的文章。</ref>

==註解==
{{Reflist}}

==參考資料==
* {{cite web | last=Waldschmidt | first=Michel | title=An Introduction to Irrationality and Transcendence Methods | url=http://www.math.jussieu.fr/~miw/articles/pdf/AWSLecture1.pdf | access-date=2024-01-10 | archive-date=2013-08-27 | archive-url=https://web.archive.org/web/20130827203523/http://www.math.jussieu.fr/~miw/articles/pdf/AWSLecture1.pdf | dead-url=no }}
* {{cite journal | last=Liouville | first=Joseph | authorlink=Joseph Liouville | title=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 | journal=J. Math. Pures Appl. | volume=18 | pages=883–885, and 910–911 | year=1844}}
* {{cite journal | last=Hermite | first=Charles | authorlink=Charles Hermite | title=Sur la fonction exponentielle | journal=C. R. Acad. Sci. Paris | volume=77 | year=1873}}
* {{cite book | last=Thue | first=Axel | authorlink=Axel Thue | title=Selected Mathematical Papers | publisher=Universitetsforlaget | location=Oslo | year=1977}}
* {{cite journal | last=Siegel | first=Carl Ludwig | authorlink=Carl Ludwig Siegel | title=Über einige Anwendungen diophantischer Approximationen | journal=Abhandlungen Akad. Berlin | volume=1 | page=70 | year=1929}}
* {{cite journal | last=Siegel | first=Carl Ludwig | title=Über die Perioden elliptischer Funktionen | journal=Journal für die reine und angewandte Mathematik | volume=1932 | pages=62–69 | year=1932 | issue=167 |doi=10.1515/crll.1932.167.62| s2cid=199545608 }}
* {{cite journal | last=Gel'fond | first=A. O. | authorlink=Alexander Gelfond | title=Sur le septième Problème de D. Hilbert | journal=Izv. Akad. Nauk SSSR | volume=7 | pages=623–630 | year=1934}}
* {{cite journal | last=Schneider | first=Theodor | authorlink=Theodor Schneider | title=Transzendenzuntersuchungen periodischer Funktionen. I. Transzendend von Potenzen | journal=J. Reine Angew. Math. | volume=172 | pages=65–69 | year=1934}}
* {{Citation | last1=Baker | first1=Alan | authorlink=Alan Baker (mathematician) | last2=Wüstholz | first2=G. | title=Logarithmic forms and Diophantine geometry | periodical=New Mathematical Monographs | volume=9 | publisher=Cambridge University Press | page=198 | year=2007}}
* {{cite book | last=Lang | first=Serge | authorlink=Serge Lang | title=Introduction to Transcendental Numbers | url=https://archive.org/details/introductiontotr0000serg | publisher=Addison–Wesley Publishing Company | year=1966}}
* {{cite journal | last=Laurent | first=Michel | title=Sur quelques résultats récents de transcendance | journal=Astérisque | volume=198–200 | pages=209–230 | year=1991}}
* {{cite journal | last=Bost | first=Jean-Benoît | title=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) | journal=Astérisque | volume=237 | page=795 | year=1996}}
* {{cite journal |authorlink=Jonathan Pila | last=Pila | first=Jonathan | title=Geometric and arithmetic postulation of the exponential function | journal=J. Austral. Math. Soc. |series=A | volume=54 | pages=111–127 | year=1993 | doi=10.1017/s1446788700037022| doi-access=free }}

{{DEFAULTSORT:Auxiliary Function}}
[[Category:數論]]
[[Category:丟番圖逼近]]