Saturday, September 26, 2009

Joseph Liouville

Joseph Liouville was born on March 24, 1809 in Saint-Omer, France. His father was an officer in Napoleon's army so for his earliest years, he lived with his uncle. Only when Napoleon was defeated did his father return and the family live together in Toul, France.

In Paris, Liouville studied mathematics at the College St. Louis. Already at this time, he showed interest and talent in advanced mathematical topics.

In 1825, when he was 16, he entered the Ecole Polytechnique. There, he attended lectures by Andre Marie Ampere and Dominique Francois Jean Arago. While he did not attend any lectures by Augustin Louis Cauchy, he was greatly influenced by him. Among his examiners when he graduated were Gaspard de Pony and Simeon Denis Poisson.

He graduated in 1827 and entered the Ecole des Ponts et Chaussees with the intention of becoming an engineer. Engineering projects in those days were physically demanding and Liouville found his health severely affected. He took some time off by returning to Toul. He got married to Marie-Louise Balland and decided to resign from the Ecole des Ponts et Chaussees which he did in 1830.

In 1831, he accepted an academic position at the Ecole Polytechnique. He was assistant to Claude Louis Mathieu and the role carried with it responsibilities of 35-40 hours of lectures per week. In doing this, Liouville developed a reputation for focusing on advanced topics and for being difficult to follow.

Many times, Liouville attempted to improve his position at the Ecole Polytechnique without success. He was also frustrated by the quality of math journals in France at the time. In 1836, he started his own math journal, Journal de Mathematiques Pures et Appliquees which was also known as the Journal de Liouville. By this time, he had developed an international reputation based on his papers which he published in Crelle's Journal. The journal was a success and published many significant papers by French mathematicians.

By 1838, he became Professor of Analysis and Mechanics at the Ecole Polytechnique. Many honors followed. In 1840, he was elected to the Academie des Sciences in Astronomy and he was also elected to the Bureau des Longitudes.

Liouville had become close friends with Arago who become the head of the Republican Party in France. Liouville was encouraged to run for office. In 1848, Liouville was elected to the Constituting Assembly. Unfortunately, his political career did not last long for he was voted out of office the following year. This had a big impact on his spirits as noted by one of his biographers:

The political defeat changed Liouville's personality. In earlier letters, he was often depressed because of illness, and could vent his anger towards his enemies such as Libri, but he always fought for what he believed was right. After the election in 1849, he resigned and became bitter, even towards his old friends. When he sat down at his desk, he did not only work, ... he also pondered his ill fate. ... his mathematical notes were interrupted with quotes from poets and philosophers...

In 1850, the mathematical chair at the College de France opened. Up for consideration were Liouville and Cauchy. After a heated contest, the position went to Liouville in 1851.

Liouville's mathematical output was phenomenal writing over 400 mathematical papers. Over 200 of papers were on number theory. Other papers covered a range of topics including mathematical physics, astronomy, as well as pure mathematics.

He introduced the fractional calculus as part of his analysis of electromagnetism. He was also to the first to prove the existence of transcendental numbers, numbers that is not algebraic (that is, it cannot be a solution to an equation of a nonconstant polynomial with rational coefficients). He did very significant work on the boundary value problems with differential equations in what is today called Sturm-Liouville Theory. He did important work in statistical mechanics and measure theory.

Perhaps, his most important impact in mathematics was his discovery of the memoir by Evariste Galois. In 1843, he announced to the Paris Academy that he had discovered very brilliant insights by Galois. Galois's memoir was then published in 1846 which would introduce group theory and place Galois among the most celebrated mathematicians in the history of the subject.

Liouville died on September 8, 1882. Many historians consider him the greatest mathematician of his day. The Liouville Crater on the Moon is named in his honor.

References

Friday, September 25, 2009

Kronecker's Theorem: An Example

In a previous blog, I presented Kronecker's Theorem.

Today, I will show how it can be used to prove that an equation is not algebraically soluble.

The content in today's blog is taken directly from David Antin's translation of Heinrich Dorrie's 100 Great Problems of Elementary Mathematics.

Example: x5 - ax - b = 0

Let's assume the following:

(1) a,b are positive integers divisible by a prime p

(2) b is not divisible by p2

(3) 44a5 is greater than 55b4

Here's the analysis:

(1) Using Eisenstein's Criteria, the equation is irreducible over the set of rational numbers. [see Theorem 1, here].

(2) From Sturm's Theorem [see Theorem, here], it is clear that it possesses three real roots and two complex roots since:

(a) We build the following Sturm Chain (see here for details on Sturm Chains):

P0 = x5 - ax - b [The equation itself]

P1 = 5x4 - a [The first derivative, see here for review if needed]

P2 = 4ax + 5b [The remainder from P0 and P1, see here for view if needed]

P3 = 44a5 - 55b4 [The remainder from P1 and P2]

(b) We know that there are 5 roots from the Fundamental Theorem of Algebra [see here for proof]

(c) From an analysis, I did earlier (see Example 2, here), we know that there are three real roots.

(3) Assume that the equation is algebraically soluble.

(4) Then, from Kronecker's Theorem [see Theorem 4, here], it either has only one real root or all real roots.

(5) But this is not the case from Sturm's Theorem so we have a contradiction.

(6) Thereofore, we reject our assumption in step #3 and conclude that the equation is not algebraically soluble.

References

Kronecker's Theorem: The Proof

The content in today's blog is taken directly from David Antin's translation of Heinrich Dorrie's 100 Great Problems of Elementary Mathematics.

Lemma 1:

Let f be an irreducible polynomial over a field F.

Let f be reducible over a field F(λ) where:

λ = K(1/l) and l is an odd, prime and K ∈ F but λ is not in F.

Let g(x,λ) be a polynomial in F(λ) which divides f.

Let α be the nth root of unity.

Then:

g(x,λαi) divides f.

Proof:

(1) Since g(x,λ) divides f(x), there exists h(x,λ) such that:

f(x) = g(x,λ)*h(x,λ)

(2) Let r be any element of K.

[It is clear that f(r) = g(r,λ)*h(r,λ)]

(3) We can define a function u(x) in F(λ) such that:

u(x) = f(r) - g(r,x)h(r,x)

(4) It is clear that u(λ) = 0 since

f(x) - g(x,λ)h(x,λ)=0 for all x.

(5) Let us also define a function v(x) such that:

v(x) = K1/l

(6) It is clear that v(x) is irreducible in F. [see Lemma 2, here]

(7) It is also clear that the roots of v(x) are (from the definition of the roots of unity, see here):

λ,
λα
...
λαl-1

(8) So, from step #4 above, it follows that each of these roots is also a root of u(x) [see Theorem 3, here]

(9) This means that for all these roots:

f(r) - g(r,λαi)h(r,λαi) = 0

(10) But since r can be any element of K (from step #2 above), it follows that:

f(x) - g(x,λαi)h(x,λαi) = 0

QED


Lemma 2:

Let:

ψ(x,λv) =u(x,λv)v(x,λv)

for some v where λ is an nth root of unity

and x ∈ a field F

Then:

ψ(x,λ) =u(x,λ)v(x,λ)

Proof:

(1) Let t(x) = ψ(r,x) - u(r,x)v(r,x)

where r ∈ a field F

[in fact, all r will work since: ψ(x,λv) =u(x,λv)v(x,λv) for all x]

(2) Since t(λv) = 0, λv is a root of t(x)

(3) Now λ, λv, etc. are all roots of unity so they are roots to the equation:

xn - 1 = 0

(4) The polynomial in step #3 above is irreducible in F. [see Lemma 2, here]

(5) So λ, λ1, etc. are all roots of t(x) [see Theorem 3, here]

(6) So, λ is a root of t(x) and we have for any r [see step #1 above]:

u(λ) = ψ(r,λ) - u(r,x)v(r,λ) = 0

(7) Since it is true for any r, we also have:

f(x) = ψ(x,λ) - u(x,λ)v(x,λ) = 0 for all.

(8) But then it follows that:

ψ(x,λ) = u(x,λ)v(x,λ)

QED


Lemma 3:

Let f(x) be a function irreducible in a field F.

Let Let λ be a number such that:

λ = K1/l where K ∈ F and l is an odd prime

Let f(x) be reducible in F(λ) such that:

f(x) = ψ(x,λ)φ(x,λ)*ξ(x,λ)*...

where ψ, φ, ξ, ... are irreducible factors in F(λ)

Then:

No two of the ψ(x,λi) are equal. That is, if λi ≠ λj, then ψ(x,λi) ≠ ψ(x,λj)

Proof:

(1) Assume that λi ≠ λj, but ψ(x,λi) = ψ(x,λj)

(2) So that:

ψ(x,λμ) = ψ(x,λν)

(3) Let H = the root of unity ην - μ

(4) So that we have:

ψ(x,λ) = ψ(x,λH)

(5) Hence, we can replace λ with λH to get:

ψ(x,λH) = ψ(x,λH2)

(6) And further that:

ψ(x,λH2) = ψ(x,λH3)

(7) So that we get:

ψ(x,λ) = ψ(x,λH) = ψ(x,λH2) = ψ(x,λH3) ...

(8) Adding the n such equations together we get:

ψ(x,λ) = (1/n)*(ψ(x,λ) + ψ(x,λH) + ψ(x,λH2) + ψ(x,λH3) + ... + ψ(x,λHn-1)

(9) Now:

(1/n)*(ψ(x,λ) + ψ(x,λH) + ψ(x,λH2) + ψ(x,λH3) + ... + ψ(x,λHn-1) is a symmetric function [see Definition 1, here].

(10) Further:

λ*λH*...*λHn-1 = K where K ∈ F

(11) Therefore ψ(x,λ) ∈ F [See Thereom 4, here]

(12) But this is impossible since f is irreducible in F.

(13) So we reject our assumption in step #1.

QED


Theorem 4: Kronecker's Theorem

An algebraically soluble equation of an odd degree that is a prime and which is irreducible over rationals possesses either only one real root or only real roots.

Proof:

(1) Let f be an irreducible polynomial over a field F[x] that is algebraically soluble and has an odd, prime degree n.

(2) Let λ be a number such that:

λ = K1/l where K ∈ F and l is an odd prime

and

f can be divided into factors over the field F(λ)[x]

(3) Since both l and n are prime numbers and l divides n (see Lemma 2, here), it follows that l=n.

(4) The equation xl = K is irreducible in F (see Lemma 2, here).

(5) It has the following roots (this derives from step #2 and the definition of the roots of unity, see here):

λ0 = λ

λ1 = λ*α

...

λn-1 = λ*αn-1

where α is an nth root of unity.

(6) From step #2 (since f(x) is reducible in F(λ)[x], we can divide up f(x) into irreducible factors:

f(x) = ψ(x,λ)φ(x,λ)*ξ(x,λ)*...

where ψ, φ, ξ, ... represent these factors

(7) Since ψ(x,λ) is a divisor of f(x), it follows that all ψ(x,λv) are also factors of f(x). [see Lemma 1 above]

(12) Everyone of the n functions ψ(x,λv) is irreducible in F(λ) since:

(a) ψ(x,λ) is irreducible in F(λ) [see step #6 above]

(b) Assume that ψ(x,λv) is not irreducible in F(λ)

(c) Then, there exists u(x,λv), v(x,λv) where:

ψ(x,λv) =u(x,λv)v(x,λv)

(d) But then (from Lemma 2 above):

ψ(x,λ) =u(x,λ)v(x,λ)

(e) Which contradicts (a) and we reject our assumption in (b)

(13) No two of the n functions ψ(x,λv) are equal. [see Lemma 3 above]

(14) It follows that f(x) is divisible by the product Ψ(x) of the n different factors ψ(x,λ), ψ(x,λμ), .., ψ(x,λμn-1) [from step #13 above and step #12 above]

(15) So that we have:

f(x) = Ψ(x)*U(x)

(16) Since Ψ is a symmetrical function of the roots of xn=K, it follows that Ψ(x) is in F [see Theorem 4, here].

(17) But then U(x) = 1 since f(x) is irreducible in F and we have:

f(x) = Ψ(x) = ψ(x,λ)*ψ(x,λμ)*...*ψ(x,λμn-1)

(18) Since f(x) is reducible in F(λ), it follows that if ω, ω1, ..., ωn-1 are the roots, then:

x - ω, x - ω1, ..., x - ωn-1 are the linear factors of f(x) [see Girard's Theorem, here]

(19) Then (from step #17 above):

x - ω = ψ(x,λ)

x - ω1 = ψ(x,λμ)

....

x - ωn-1 = ψ(x,λμn-1)

(20) So that we get [from the definition of ψ(x,λ)]:

ω = K0 + K1λ + K2λ2 + ... + Kn-1λn-1


ω1 = K0 + K1λ1 + K2λ12 + ... + Kn-1λ1n-1

....

ωn-1 = K0 + K1λn-1 + K2λn-12 + ... + Kn-1λn-1n-1


(21) Now, the equation f(x)=0 has at least one real root since it is an odd degree [see Theorem 3, here]

(22) Let this real root be:

ω = K0 + K1λ + K2λ2 + ... + Kn-1λn-1

where K0 ∈ F(α) where α is a primitive nth root of unity.

(23) There are three possibilities that we need to consider:

Case I: λ is a real.
Bold
Case II: λ is not real and f(x) is irreducible over F[norm(λ)]

Case III: λ is not real and f(x) is reducible over F[norm(λ)]

(24) If Case I, then all the other roots are not real so it only has one real root. [see Lemma 2, here]

(25) If Case II, then all the roots are real. [see Lemma 3, here]

(26) If Case III, then let Λ = norm(λ) and we can restate step #22 as:

ω = K0 + K1Λ + K2Λ2 + ... + Kn-1Λn-1

(27) Since Λ is real, then all the other roots are not real and the equation has only one real root. [see Lemma 2, here]

QED

References

Thursday, September 24, 2009

Kronecker's Theorem: Lemmas on Complex Conjugates

The content in today's blog is taken directly from David Antin's translation of Heinrich Dorrie's 100 Great Problems of Elementary Mathematics.

Lemma 1:

Let η be a primitive nth root of unity.

Let f(x) be an nth degree polynomial that irreducible over Q where n is an odd prime number and Q is the set of rational numbers extended with η. That is: Q(η).

Let K be a rational number such that λ = K(1/l) and λ is not a rational number and l is a prime and λ is a real number

Let f(x) be reducible over Q(λ) such that:

f(x) = g(x,λ)*g(x,λη)*...*g(x,ληn-1)

Then:

Then the roots of f(x) have the following form:

ω0 = a0 + a1λ0 + ... + an-1λ0n-1

ω1 = a0 + a1λ1 + ... + an-1λ1n-1

...

ωn-1 = a0 + a1λn-1 + ... + an-1λn-1n-1

where ai ∈ Q and λi = ληi

Proof:

(1) Since n is odd, we know that f(x) has at least one real root. [see Theorem 3, here]

(2) Let us use λi to denote the different parameters of g(x,y) so that we have:

λ0 = λη0 = λ

λ1 = λη1 = λη

...

λn-1 = ληn-1

(3) Let:

g(x,λi) =a0 + a1λi + ... + an-1λin-1

where ai ∈ Q

(4) From f(x) = g(x,λ)*g(x,λη)*...*g(x,ληn-1), we can see that f(x) has n roots:

ω0 = a0 + a1λ0 + ... + an-1λ0n-1

ω1 = a0 + a1λ1 + ... + an-1λ1n-1

...

ωn-1 = a0 + a1λn-1 + ... + an-1λn-1n-1

QED


Lemma 2:

Let η be a primitive nth root of unity.

Let f(x) be an nth degree polynomial that irreducible over Q where n is an odd prime number and Q is the set of rational numbers extended with η. That is: Q(η).

Let K be a rational number such that λ = K(1/l) and λ is not a rational number and l is a prime and λ is a real number

Let f(x) be reducible over Q(λ) such that:

f(x) = g(x,λ)*g(x,λη)*...*g(x,ληn-1)

Then:

All the roots of f(x) but one are complex and not real.

Proof:

(1) Using Lemma 1 above, we know that f(x) has the following roots:

ω0 = a0 + a1λ0 + ... + an-1λ0n-1

ω1 = a0 + a1λ1 + ... + an-1λ1n-1

...

ωn-1 = a0 + a1λn-1 + ... + an-1λn-1n-1

where ai ∈ Q and λi = ληi

(2) Since n is odd, we know that f(x) has at least one real root. [see Theorem 3, here]

(3) Let ω be the real root so that we have:

ω = a0 + a1λ + ... + an-1λn-1

where ai ∈ Q

(4) We assume that ω = ω0. (We can make the same argument regardless of which ωi is real.)

(5) Since ω is real, we know that ω = ω [see Theorem 1, here] which means that:

a0 + a1λ + ... + an-1λn-1 =a0 + a1λ + ... + an-1λn-1

so that:

(a0 - a0) + ... + (an-1 - an-1) = 0

(6) So, that for all i, ai = ai

(7) This means that all ai are real numbers.

(8) Since λ is real, it follows that ληi is not real because i ≠ 0.

(9) λv and λ-v are complex conjugates since (see Theorem 2, here):

λv = λ*ηv = λη-v = λ-v

(10) So it follows that we have the following (n-1)/2 complex conjugate pairs:

ωn-1 and ω1

ωn-2 and ω2
...

(11) This shows that all but one of the roots of f(x) are not real.

QED


Lemma 3:

Let η be a primitive nth root of unity.

Let f(x) be an nth degree polynomial that irreducible over Q where n is an odd prime number and Q is the set of rational numbers extended with η. That is: Q(η).

Let K be a rational number such that λ = K(1/l) and λ is not a rational number and l is a prime and λ is not a real number and f(x) is not reducible over norm(λ)

Let f(x) be reducible over Q(λ) such that:

f(x) = g(x,λ)*g(x,λη)*...*g(x,ληn-1)

Then:

All the roots of f(x) are real.

Proof:

(1) Using Lemma 1 above, we know that f(x) has the following roots:

ω0 = a0 + a1λ0 + ... + an-1λ0n-1

ω1 = a0 + a1λ1 + ... + an-1λ1n-1

...

ωn-1 = a0 + a1λn-1 + ... + an-1λn-1n-1

where ai ∈ Q and λi = ληi

(2) Since n is odd, we know that f(x) has at least one real root. [see Theorem 3, here]

(3) Let ω be the real root so that we have:

ω = a0 + a1λ + ... + an-1λn-1

where ai ∈ Q

(4) We assume that ω = ω0. (We can make the same argument regardless of which ωi is real.)

(5) Since ω is real, we know that ω = ω [see Thereom 1, here] which means that:

a0 + a1λ + ... + an-1λn-1 =a0 + a1λ + ... + an-1λn-1

(6) Let Λ = the norm(λ) so that Λ = λ*λ which then is a real number. [see Lemma 1, here]

(7) So that we have:

a0 + a1λ + ... + an-1λn-1 =a0 + a1(Λ/λ) + ... + an-1(Λ/λ)n-1

(8) Now we can define an equation h(x) such that:

h(x) = a0 + a1x + ... + an-1xn-1 - a0 + a1(Λ/x) + ... + an-1(Λ/x)n-1

(9) From step #7 above, it is clear that λ is a root of this equation.

(10) But λ is also a root of xn = K which is irreducible over Q(Λ) [see Lemma 1, here]

(11) So, by Abel's Lemma [see Theorem 3, here], all the roots of xn = K are also solutions to the equation in step #8.

(12) Now, for every λv, we have:

Λ/λv = Λ/(ληv) = λ/(ηv) = ληn = λv

(13) Thus, for all λv, we have [from step #11 above]:

h(x) = a0 + a1x + ... + an-1xn-1 - a0 + a1(Λ/x) + ... + an-1(Λ/x)n-1

which means:

a0 + a1λv + ... + an-1λvn-1 =a0 + a1(Λ/λv) + ... + an-1(Λ/λv)n-1

which means:

a0 + a1λv + ... + an-1λvn-1 =a0 + a1λv + ... + an-1λvn-1

so that for all ωv:

ωv = ωv

(14) But this can only be true if all the roots are real [see Theorem 1, here]

QED


References