|
|
| Line 1: |
Line 1: |
| In [[mathematics]], '''auxiliary functions''' are an important construction in [[transcendence theory|transcendental number theory]]. They are [[Function (mathematics)|functions]] that appear in most proofs in this area of mathematics and that have specific, desirable properties, such as taking the value zero for many arguments, or having a zero of high [[Multiplicity (mathematics)|order]] at some point.<ref>Waldschmidt (2008).</ref>
| | 48 yr old Interior Decorator Wendell Deniston from West Isles, likes quilting, [http://comoganhardinheironainternet.comoganhardinheiro101.com/ como ganhar dinheiro na internet] and sky diving. In recent times has visited Talamanca Range-La Amistad Reserves / La Amistad National Park. |
| | |
| ==Definition==
| |
| | |
| Auxiliary functions are not a rigorously defined kind of function, rather they are functions which are either explicitly constructed or at least shown to exist and which provide a contradiction to some assumed hypothesis, or otherwise prove the result in question. Creating a function during the course of a proof in order to prove the result is not a technique exclusive to transcendence theory, but the term "auxiliary function" usually refers to the functions created in this area.
| |
| | |
| ==Explicit functions==
| |
| | |
| ===Liouville's transcendence criterion===
| |
| | |
| Because of the naming convention mentioned above, auxiliary functions can be dated back to their source simply by looking at the earliest results in transcendence theory. One of these first results was [[Joseph Liouville|Liouville's]] proof that [[transcendental numbers]] exist when he showed that the so called [[Liouville number]]s were transcendental.<ref>Liouville (1844).</ref> He did this by discovering a transcendence criterion which these numbers satisfied. To derive this criterion he started with a general [[algebraic number]] α and found some property that this number would necessarily satisfy. The auxiliary function he used in the course of proving this criterion was simply the [[Minimal polynomial (field theory)|minimal polynomial]] of α, which is the [[irreducible]] polynomial ''f'' with integer coefficients such that ''f''(α) = 0. This function can be used to estimate how well the algebraic number α can be estimated by [[rational number]]s ''p''/''q''. Specifically if α has degree ''d'' at least two then he showed that
| |
| | |
| :<math>\left|f\left(\frac{p}{q}\right)\right|\geq\frac{1}{q^d},</math>
| |
| | |
| and also, using the [[mean value theorem]], that there is some constant depending on α, say ''c''(α), such that
| |
| | |
| :<math>\left|f\left(\frac{p}{q}\right)\right| \leq c(\alpha)\left|\alpha-\frac{p}{q}\right|.</math>
| |
| | |
| Combining these results gives a property that the algebraic number must satisfy; therefore any number not satisfying this criterion must be transcendental.
| |
| | |
| The auxiliary function in Liouville's work is very simple, merely a polynomial that vanishes at a given algebraic number. This kind of property is usually the one that auxiliary functions satisfy. They either vanish or become very small at particular points, which is usually combined with the assumption that they do not vanish or can't be too small to derive a result.
| |
| | |
| ===Fourier's proof of the irrationality of ''e''===
| |
| | |
| Another simple, early occurrence is in [[Joseph Fourier|Fourier's]] proof of the irrationality of ''e'',<ref>Hermite (1873).</ref> though the notation used usually disguises this fact. Fourier's proof used the power series of the [[exponential function]]:
| |
| :<math>e^x=\sum_{n=0}^{\infty} \frac{x^n}{n!}.</math>
| |
| By truncating this power series after, say, ''N'' + 1 terms we get a polynomial with rational coefficients of degree ''N'' which is in some sense "close" to the function ''e''<sup>''x''</sup>. Specifically if we look at the auxiliary function defined by the remainder:
| |
| :<math>R(x)=e^x-\sum_{n=0}^{N} \frac{x^n}{n!}</math>
| |
| then this function—an [[exponential polynomial]]—should take small values for ''x'' close to zero. If ''e'' is a rational number then by letting ''x'' = 1 in the above formula we see that ''R''(1) is also a rational number. However, Fourier proved that ''R''(1) could not be rational by eliminating every possible denominator. Thus ''e'' cannot be rational.
| |
| | |
| ===Hermite's proof of the irrationality of ''e''<sup>''r''</sup>===
| |
| | |
| [[Hermite]] extended the work of Fourier by approximating the function ''e''<sup>''x''</sup> not with a polynomial but with a [[rational function]], that is a quotient of two polynomials. In particular he chose polynomials ''A''(''x'') and ''B''(''x'') such that the auxiliary function ''R'' defined by
| |
| | |
| :<math>R(x)=B(x)e^x-A(x)\,</math>
| |
| | |
| could be made as small as he wanted around ''x'' = 0. But if ''e''<sup>''r''</sup> were rational then ''R''(''r'') would have to be rational with a particular denominator, yet Hermite could make ''R''(''r'') too small to have such a denominator, hence a contradiction.
| |
| | |
| ===Hermite's proof of the transcendence of ''e''===
| |
| | |
| To prove that ''e'' was in fact transcendental, Hermite took his work one step further by approximating not just the function ''e''<sup>''x''</sup>, but also the functions ''e''<sup>''kx''</sup> for integers ''k'' = 1,...,''m'', where he assumed ''e'' was algebraic with degree ''m''. By approximating ''e''<sup>''kx''</sup> by rational functions with integer coefficients and with the same denominator, say ''A''<sub>''k''</sub>(''x'') / ''B''(''x''), he could define auxiliary functions ''R''<sub>''k''</sub>(''x'') by
| |
| | |
| :<math>R_k(x)=B(x)e^{kx}-A_k(x).\,</math>
| |
| For his contradiction Hermite supposed that ''e'' satisfied the polynomial equation with integer coefficients ''a''<sub>0</sub> + ''a''<sub>1</sub>''e'' + ... + ''a''<sub>''m''</sub>''e''<sup>''m''</sup> = 0. Multiplying this expression through by ''B''(1) he noticed that it implied
| |
| | |
| :<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>
| |
| | |
| The right hand side is an integer and so, by estimating the auxiliary functions and proving that 0 < |''R''| < 1 he derived the necessary contradiction.
| |
| | |
| ==Auxiliary functions from the pigeonhole principle==
| |
| {{main|Siegel's lemma}}
| |
| The auxiliary functions sketched above can all be explicitly calculated and worked with. A breakthrough by [[Axel Thue]] and [[Carl Ludwig Siegel]] in the twentieth century was the realisation that these functions don't necessarily need to be explicitly known – it can be enough to know they exist and have certain properties. Using the [[Pigeonhole Principle]] Thue, and later Siegel, managed to prove the existence of auxiliary functions which, for example, took the value zero at many different points, or took high order zeros at a smaller collection of points. Moreover they proved it was possible to construct such functions without making the functions too large.<ref>Thue (1977) and Siegel (1929).</ref> Their auxiliary functions were not explicit functions, then, but by knowing that a certain function with certain properties existed, they used its properties to simplify the transcendence proofs of the nineteenth century and give several new results.<ref>Siegel (1932).</ref>
| |
| | |
| This method was picked up on and used by several other mathematicians, including [[Alexander Gelfond]] and [[Theodor Schneider]] who used it independently to prove the [[Gelfond–Schneider theorem]].<ref>Gel'fond (1934) and Schneider (1934).</ref> [[Alan Baker (mathematician)|Alan Baker]] also used the method in the 1960s for his work on linear forms in logarithms and ultimately [[Baker's theorem]].<ref>Baker and Wüstholz (2007).</ref> Another example of the use of this method from the 1960s is outlined below.
| |
| | |
| ===Auxiliary polynomial theorem===
| |
| Let β equal the cube root of ''b/a'' in the equation ''ax''<sup>3</sup> + ''bx''<sup>3</sup> = ''c'' and assume ''m'' is and integer that satisfies ''m'' + 1 > 2''n''/3 ≥ ''m'' ≥ 3 where ''n'' is a positive integer.
| |
| | |
| Then there exists
| |
| | |
| : <math>F(X,Y) = P(X) + Y*Q(X)</math>
| |
| | |
| such that
| |
| | |
| : <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>
| |
| | |
| The auxiliary polynomial theorem states
| |
| | |
| : <math>\max_{0 \le i \le m+n} {(|u_i|,|v_i|)}\le 2b^{9(m+n)}.</math>
| |
| | |
| ===A theorem of Lang===
| |
| {{main|Schneider–Lang theorem}}
| |
| In the 1960s [[Serge Lang]] proved a result using this non-explicit form of auxiliary functions. The theorem implies both the [[Hermite–Lindemann theorem|Hermite–Lindemann]] and [[Gelfond–Schneider theorem]]s.<ref>Lang (1966).</ref> The theorem deals with a [[number field]] ''K'' and [[meromorphic]] functions ''f''<sub>1</sub>,...,''f''<sub>''N''</sub> of [[Entire function|order]] at most ''ρ'', at least two of which are algebraically independent, and such that if we differentiate any of these functions then the result is a polynomial in all of the functions. Under these hypotheses the theorem states that if there are ''m'' distinct [[complex number]]s ω<sub>1</sub>,...,ω<sub>''m''</sub> such that ''f''<sub>''i''</sub> (ω<sub>''j'' </sub>) is in ''K'' for all combinations of ''i'' and ''j'', then ''m'' is bounded by | |
| :<math>m\leq 20\rho [K:\mathbb{Q}].</math>
| |
| | |
| To prove the result Lang took two algebraically independent functions from ''f''<sub>1</sub>,...,''f''<sub>''N''</sub>, say ''f'' and ''g'', and then created an auxiliary function which was simply a polynomial ''F'' in ''f'' and ''g''. This auxiliary function could not be explicitly stated since ''f'' and ''g'' are not explicitly known. But using [[Siegel's lemma]] Lang showed how to make ''F'' in such a way that it vanished to a high order at the ''m'' complex numbers
| |
| ω<sub>1</sub>,...,ω<sub>''m''</sub>. Because of this high order vanishing it can be shown that a high-order derivative of ''F'' takes a value of small size one of the ω<sub>''i''</sub>s, "size" here referring to an algebraic property of a number. Using the [[maximum modulus principle]] Lang also found a separate way to estimate the absolute values of derivatives of ''F'', and using standard results comparing the size of a number and its absolute value he showed that these estimates were contradicted unless the claimed bound on ''m'' holds.
| |
| | |
| ==Interpolation determinants==
| |
| | |
| After the myriad of successes gleaned from using existent but not explicit auxiliary functions, in the 1990s Michel Laurent introduced the idea of interpolation determinants.<ref>Laurent (1991).</ref> These are alternants – determinants of matrices of the form
| |
| :<math>\mathcal{M}=\left(\varphi_i(\zeta_j)\right)_{1\leq i,j\leq N}</math>
| |
| where φ<sub>''i''</sub> are a set of functions interpolated at a set of points ζ<sub>''j''</sub>. Since a determinant is just a polynomial in the entries of a matrix, these auxiliary functions succumb to study by analytic means. A problem with the method was the need to choose a basis before the matrix could be worked with. A development by Jean-Benoît Bost removed this problem with the use of [[Arakelov theory]],<ref>Bost (1996).</ref> and research in this area is ongoing. The example below gives an idea of the flavour of this approach.
| |
| | |
| ===A proof of the Hermite–Lindemann theorem===
| |
| | |
| One of the simpler applications of this method is a proof of the real version of the Hermite–Lindemann theorem. That is, if α is a non-zero, real algebraic number, then ''e''<sup>α</sup> is transcendental. First we let ''k'' be some natural number and ''n'' be a large multiple of ''k''. The interpolation determinant considered is the determinant '''Δ''' of the ''n''<sup>4</sup>×''n''<sup>4</sup> matrix
| |
| :<math>\left(\{\exp(j_2x)x^{j_1-1}\}^{(i_1-1)}\Big|_{x=(i_2-1)\alpha}\right).</math>
| |
| The rows of this matrix are indexed by 1 ≤ ''i''<sub>1</sub> ≤ ''n''<sup>4</sup>/''k'' and 1 ≤ ''i''<sub>2</sub> ≤ ''k'', while the columns are indexed by 1 ≤ ''j''<sub>1</sub> ≤ ''n''<sup>3</sup> and 1 ≤ ''j''<sub>2</sub> ≤ ''n''. So the functions in our matrix are monomials in ''x'' and ''e''<sup>''x''</sup> and their derivatives, and we are interpolating at the ''k'' points 0,α,2α,...,(''k'' − 1)α. Assuming that ''e''<sup>α</sup> is algebraic we can form the number field '''Q'''(α,''e''<sup>α</sup>) of degree ''m'' over '''Q''', and then multiply '''Δ''' by a suitable [[denominator]] as well as all its images under the embeddings of the field '''Q'''(α,''e''<sup>α</sup>) into '''C'''. For algebraic reasons this product is necessarily an integer, and using arguments relating to [[Wronskian]]s it can be shown that it is non-zero, so its absolute value is an integer Ω ≥ 1.
| |
| | |
| Using a version of the [[mean value theorem]] for matrices it is possible to get an analytic bound on Ω as well, and in fact using [[Big O notation|big-O]] notation we have
| |
| :<math>\Omega=O\left(\exp\left(\left(\frac{m+1}{k}-\frac{3}{2}\right)n^8\log n\right)\right).</math>
| |
| The number ''m'' is fixed by the degree of the field '''Q'''(α,''e''<sup>α</sup>), but ''k'' is the number of points we are interpolating at, and so we can increase it at will. And once ''k'' > 2(''m'' + 1)/3 we will have Ω → 0, eventually contradicting the established condition Ω ≥ 1. Thus ''e''<sup>α</sup> cannot be algebraic after all.<ref>Adapted from Pila (1993).</ref>
| |
| | |
| ==Notes==
| |
| {{Reflist}}
| |
| | |
| ==References==
| |
| * {{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}}
| |
| * {{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 et 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=J. f. M. | volume=167 | pages=62–69 | year=1932}}
| |
| * {{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 | 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}}
| |
| | |
| {{DEFAULTSORT:Auxiliary Function}}
| |
| [[Category:Number theory]]
| |
| [[Category:Diophantine approximation]]
| |