29
$\begingroup$

Does someone know a proof that $\{1,e,e^2,e^3\}$ is linearly independent over $\mathbb{Q}$?

The proof should not use that $e$ is transcendental.

$e:$ Euler's number.

$\{1,e,e^2\}$ is linearly independent over $\mathbb{Q}$

Any hints would be appreciated.

$\endgroup$
  • 1
    $\begingroup$ What known facts about e are you allowed to use? For example in your case it would suffice to use that for all $p,q,r,s\in \Bbb Q, e\neq p+\sqrt{q}+\sqrt[3]{r}+\sqrt[6]{s}.$ $\endgroup$ – walcher Aug 26 '13 at 23:19
  • 5
    $\begingroup$ @Ataraxia A vector is a member of a vector space and $\Bbb R$ can be a vector space over $\Bbb Q$. $\endgroup$ – Git Gud Aug 26 '13 at 23:23
  • 1
    $\begingroup$ @Ataraxia If you're not too picky with rigour, yes, over the field $\Bbb Q$. Translating the question to a more elementary version: prove that $$(\forall \lambda _0, \lambda _1, \lambda _2, \lambda _3\in \Bbb Q)(\lambda _0+\lambda _1e+\lambda _2e^2+\lambda _3e^3=0\implies \lambda _0=\lambda _1=\lambda _2=\lambda _3=0)$$ $\endgroup$ – Git Gud Aug 26 '13 at 23:28
  • 1
    $\begingroup$ @GitGud Ahh I get it now. Thanks! $\endgroup$ – Ataraxia Aug 26 '13 at 23:35
  • 2
    $\begingroup$ The scalars are members of $\mathbb Q$ and the vector space could be $\mathbb R$, but it could be a much smaller vector space, spanned by the four listed elements. $\endgroup$ – Michael Hardy Aug 26 '13 at 23:54
5
$\begingroup$

Since I've spent enough time thinking about this, yet not getting a proof, I might as well show what I've got. Others can comment on whether or not more can be done.

Your problem is solved if you can show that for any integers $a, b, c$, we have $$\sum^\infty_{n=0} \frac{1}{n!} (a + b 2^n + c 3^n)$$ irrational (using taylor series).

WLOG, assume $c>0$. Pick $N$ large so that $(a+b2^n+c3^n) > 0$ for all $N \geq 0$. Then our problem is equivalent to showing that the series with strictly positive terms $$\sum^\infty_{n=N} \frac{1}{n!} (a + b 2^n + c 3^n)$$ is irrational. Suppose it was not and equal to $p/q$. Now we try to mimic the proof of irrationality of $e$.

Define

$$x = q!\left(\frac{p}{q} - \sum_{n=N}^{q} \frac{1}{n!} (a + b 2^n + c 3^n) \right).$$ One easily sees by distributing that it is an integer, and because our original series contains only positive terms, $x>0$.

Note that we can also write $$x = \sum_{n=q+1}^\infty \frac{q!}{n!} (a + b 2^n + c 3^n).$$

Now if $b=c=0$, then using $q!/n! < 1/(q+1)^{n-q}$ gives a geometric series bound that gives $x < 1/q$. Then we can get $x<1$ which is a contradiction that $x$ is an integer.

The terms $2^n$ and $3^n$ grow too fast for this same trick to work. You'd get bounds of $2^q/q$ and $3^q/q$ respectively. Since $q!/n! < 1/(q+1)^(n-q)$ is not tight, it is still possible that we can get our sum under 1. Or maybe we can monkey with our original definition for $x$.

I think what really needs to be copied are proofs of the irrationality of $e^2$ and $e^3$, but I am not aware of such proofs. Googling, I found a very algebraic proof of the irrationality of $e^2$, but I didn't read it carefully. This suggests proofs of the irrationality of $e^2$ may not easily generalize, and hence you aren't really proving that $e$ is transcendental at the same time.

$\endgroup$
  • $\begingroup$ Has this approach been hinted at in the comments? $\endgroup$ – abnry Aug 27 '13 at 0:56
  • 2
    $\begingroup$ For what it's worth, multiplying by $e^{-1}$, you could replace $a+b2^n+c3^n$ with $a(-1)^n+b+c2^n$ $\endgroup$ – Jonas Meyer Aug 27 '13 at 1:40
  • $\begingroup$ Well, that would solve the problem for $\{1, e, e^2\}$. $\endgroup$ – abnry Aug 27 '13 at 1:41
  • 1
    $\begingroup$ The alternative proofs are the only those which were given by Joseph Liouville and presented in my blog (which OP has linked in the question). The technique used by Liouville can't be adapted for $e^{3}$ in the sense that the terms $2^{n}/n!$ can be bounded by dividing with suitable power of $2$, but the same can't be done for $3^{n}/n!$. $\endgroup$ – Paramanand Singh Aug 29 '13 at 4:34
  • 1
    $\begingroup$ The technique of dividing by a power of $2$ is explained in the posts paramanands.blogspot.com/2013/03/… and paramanands.blogspot.com/2013/03/… where it is proved that $1, e^{2}, e^{4}$ are linearly independent over $\mathbb{Q}$. $\endgroup$ – Paramanand Singh Aug 29 '13 at 4:43
4
$\begingroup$

Below is my attempt which is too long for a comment and may be saveable, (doubt it).

Consider the differential equation $y^{(4)}-6y^{(3)}+11y''-6y'=\textbf 0$, where $\bf 0$ is the null function over some non-trivial interval $I$ containing $1$.

The theory of ODE tells us that a basis of solutions is $$\{\underbrace{x\mapsto 1}_{\large \varphi_0}, \underbrace{x\mapsto e^x}_{\large \varphi _1}, \underbrace{x\mapsto e^{2x}}_{\large \varphi _2}, \underbrace{x\mapsto e^{3x}}_{\large \varphi _3}\}$$

This implies that $$(\forall \lambda _0,\lambda _1, \lambda _2, \lambda _3\in \Bbb Q)\left[(\forall x\in I)\left(\sum \limits_{k=0}^3\lambda_k\varphi_k(x)=0\right)\implies \lambda _0=\lambda _1=\lambda _2=\lambda _3=0\right] \tag {*}$$

Now if we could somehow prove that $(*)$ would also hold for the intersection of all such intervals $I$ (containing $1$), what we want would follow. But I have no hope of this being doable.

$\endgroup$
  • $\begingroup$ Any such proof coming from this will likely generalize, hence also proving that $e$ is transcendental. $\endgroup$ – abnry Aug 27 '13 at 1:02
  • $\begingroup$ @nayrb Indeed. ${}$ $\endgroup$ – Git Gud Aug 27 '13 at 1:03
1
$\begingroup$

I thought to add an answer instead of giving long comments.

From Wikipedia we have the following quote

"In 1891, Hurwitz explained how it is possible to prove along the same line of ideas that $e$ is not a root of a third degree polynomial with rational coefficients. In particular, $e^{3}$ is irrational."

The reference quoted is Hurwitz, Adolf (1933) [1891]. "Über die Kettenbruchentwicklung der Zahl $e$".

Luckily after much searching I was able to find this reference in an old journal available on internet archive. Here Hurwitz analyzes the simple continued fractions of numbers related with $e$ and notices that most of them have terms in an arithmetic progression (after a certain point).

He then proves the following theorem:

If simple continued fractions of two positive numbers $x, y$ have terms which are in arithmetic progression (after a certain point) then we can't have a non-trivial bi-linear relation of the form $$y = \frac{Ax + B}{Cx + D}$$ with integer coefficients $A, B, C, D$ unless the terms in their continued fraction belong to the same arithmetic progression.

Then Hurwitz notes that $$x = \frac{e - 1}{2} = [0, 1, 6, 10, 14, 18,\ldots]$$ and $$y = \frac{e^{2} - 1}{2} = [3, 5, 7, 9, \ldots]$$ where notation $$[a_{0}, a_{1}, a_{2}, \ldots]$$ represents the continued fraction $$a_{0} + \dfrac{1}{a_{1} + \dfrac{1}{a_{2} + \dfrac{1}{a_{3} + \cdots}}}$$ And clearly both of them have terms belonging to arithmetic progressions ($6, 10, 14, \ldots$ and $3, 5, 7, 9, \ldots$ respectively) but these are not the terms belonging to same AP and hence there is no non-trivial bi-linear relation of type $$y = \frac{Ax + B}{Cx + D}$$ with integer coefficients $A, B, C, D$.

Now it follows easily that $1, e, e^{2}, e^{3}$ are linearly independent over $\mathbb{Q}$. If it was not the case then we have integers $a, b, c, d$ not all $0$ such that $$ae^{3} + be^{2} + ce + d = 0$$ Using $e^{2} = 2y + 1$ and $e = 2x + 1$ we get $$a(2x + 1)(2y + 1) + b(2y + 1) + c(2x + 1) + d = 0$$ which leads to $$Axy + Bx + Cy + D = 0$$ with $A, B, C, D$ as integers or $$y = -\frac{Bx + D}{Ax + C}$$ and this is not allowed by the theorem of Hurwitz mentioned above.

Unfortunately I could not understand the proof of his theorem on continued fractions (because the whole paper/journal is in German). With reasonable effort and Google Translate I was able to understand the gist of the paper and I have presented the same in this answer. I have asked for the proof of Huzwitz theorem on MSE.

$\endgroup$
0
$\begingroup$

Using algebra, let $D$ be the differentiate operator for $C^{\infty}$ functions.

So with $$f_n(x)=e^{\lambda_n x}$$

Then $$\forall i \in \{1,...,n\}, \forall x \in \mathbb{R}, D(f_n(x))=\lambda_n \cdot f_n(x) $$

If all $\lambda_i$ are differentant $n$ is the space's dimension then the familly $\left(f_i\right)_{1\le i \le n}$ is free. (because $f_i$ is the eigenvector associates to $\lambda_i$ eigenvalue.)

We conclude with $\lambda_i=i$ ($i$ must be $0$ if you need it) and $x=1$.

$\endgroup$
  • $\begingroup$ And why doesn't that hold for $x=0$ as well? $\endgroup$ – WimC Aug 10 '15 at 17:47
  • $\begingroup$ 0 times somthings = 0, and i don't really understand what you mean, i'm french sorry. $\endgroup$ – Hexacoordinate-C Aug 10 '15 at 18:32
  • $\begingroup$ $f_n(0)=1$ for all $n$ and these values are clearly dependent. Why should $x=1$ be different? $\endgroup$ – WimC Aug 10 '15 at 19:04
  • $\begingroup$ How yeah you right, I did it too fast. I will think about it, I think my answer must work, I just need to know how. I'm a chemist I may do some mistakes. If you have any idea tell me. :) $\endgroup$ – Hexacoordinate-C Aug 10 '15 at 19:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.