the man who knew infinity and other functions

101
The Man Who Knew Infinity and other Functions Edmund Y. M. Chiang Captsone Project presentation 19 th November 2015

Upload: others

Post on 10-Dec-2021

5 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: The Man Who Knew Infinity and other Functions

The Man Who Knew Infinity and other Functions

Edmund Y. M. Chiang

Captsone Project presentation

19th November 2015

Page 2: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Outline

A film

Early Life

G. H. Hardy

Rogers-Ramanujan identities

Some q−calculusRevision on Binomial theorem (Andrews, Askey & Roy 1999)q−Binomial Identitiesq−Binomial coefficients

Exercises

Page 3: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Zurich Film Festival (2015)

Figure: Zurich Film Festival Opening Film

Page 4: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

The Man Who Knew Infinity (2015)

Figure: Zurich Film Festival Opening Film

Page 5: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

The Man Who Knew Infinity film (2015)

Figure: Zurich Film Festival Opening Film

Page 6: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Robert Kanigel’s book (1991)

Page 7: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Who is Srinivasa Ramanujan?

• Ramanujan was born on 22nd December 1887 in Erode, asmall town about 250 miles southwest of Chennai (Madras),

India. He died on 26th April 1919 when he was 32 years old.

• He wrote some of the most famous letters in the history ofmathematics. He wrote down thousands of identities.

• He is generally acknowledged as one of the greatest Indianmathematicians throughout the history.

• He is ranked along with L. Euler and K. Jacobi. Some evensaid Gauss.

• There is a novel called The Man Who Knew Infinity by RobertKanigel (1991), and yet few understood his mathematics.

• He worked in Number theory, Analysis (partition functions,elliptic functions, continued fraction, etc) yet he only receivedlittle formal education.

Page 8: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Who is Srinivasa Ramanujan?

• Ramanujan was born on 22nd December 1887 in Erode, asmall town about 250 miles southwest of Chennai (Madras),

India. He died on 26th April 1919 when he was 32 years old.

• He wrote some of the most famous letters in the history ofmathematics. He wrote down thousands of identities.

• He is generally acknowledged as one of the greatest Indianmathematicians throughout the history.

• He is ranked along with L. Euler and K. Jacobi. Some evensaid Gauss.

• There is a novel called The Man Who Knew Infinity by RobertKanigel (1991), and yet few understood his mathematics.

• He worked in Number theory, Analysis (partition functions,elliptic functions, continued fraction, etc) yet he only receivedlittle formal education.

Page 9: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Who is Srinivasa Ramanujan?

• Ramanujan was born on 22nd December 1887 in Erode, asmall town about 250 miles southwest of Chennai (Madras),

India. He died on 26th April 1919 when he was 32 years old.

• He wrote some of the most famous letters in the history ofmathematics. He wrote down thousands of identities.

• He is generally acknowledged as one of the greatest Indianmathematicians throughout the history.

• He is ranked along with L. Euler and K. Jacobi. Some evensaid Gauss.

• There is a novel called The Man Who Knew Infinity by RobertKanigel (1991), and yet few understood his mathematics.

• He worked in Number theory, Analysis (partition functions,elliptic functions, continued fraction, etc) yet he only receivedlittle formal education.

Page 10: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Who is Srinivasa Ramanujan?

• Ramanujan was born on 22nd December 1887 in Erode, asmall town about 250 miles southwest of Chennai (Madras),

India. He died on 26th April 1919 when he was 32 years old.

• He wrote some of the most famous letters in the history ofmathematics. He wrote down thousands of identities.

• He is generally acknowledged as one of the greatest Indianmathematicians throughout the history.

• He is ranked along with L. Euler and K. Jacobi. Some evensaid Gauss.

• There is a novel called The Man Who Knew Infinity by RobertKanigel (1991), and yet few understood his mathematics.

• He worked in Number theory, Analysis (partition functions,elliptic functions, continued fraction, etc) yet he only receivedlittle formal education.

Page 11: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Who is Srinivasa Ramanujan?

• Ramanujan was born on 22nd December 1887 in Erode, asmall town about 250 miles southwest of Chennai (Madras),

India. He died on 26th April 1919 when he was 32 years old.

• He wrote some of the most famous letters in the history ofmathematics. He wrote down thousands of identities.

• He is generally acknowledged as one of the greatest Indianmathematicians throughout the history.

• He is ranked along with L. Euler and K. Jacobi. Some evensaid Gauss.

• There is a novel called The Man Who Knew Infinity by RobertKanigel (1991), and yet few understood his mathematics.

• He worked in Number theory, Analysis (partition functions,elliptic functions, continued fraction, etc) yet he only receivedlittle formal education.

Page 12: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Who is Srinivasa Ramanujan?

• Ramanujan was born on 22nd December 1887 in Erode, asmall town about 250 miles southwest of Chennai (Madras),

India. He died on 26th April 1919 when he was 32 years old.

• He wrote some of the most famous letters in the history ofmathematics. He wrote down thousands of identities.

• He is generally acknowledged as one of the greatest Indianmathematicians throughout the history.

• He is ranked along with L. Euler and K. Jacobi. Some evensaid Gauss.

• There is a novel called The Man Who Knew Infinity by RobertKanigel (1991), and yet few understood his mathematics.

• He worked in Number theory, Analysis (partition functions,elliptic functions, continued fraction, etc) yet he only receivedlittle formal education.

Page 13: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Early Life (I)

• 1 year old: moved to a Hindu town Kumbakonam (Pop:50,000) 170 miles south of Chennai, where his father was acloth merchant’s clerk. Entered school at five years old.

• 11 years old: Ramanujan did well in all school subjects in atown high school, especially in mathematics.

• 13 years old: Ramanujan started to research on geometricseries. He had tried to solve quartic equation.

• Things take on a dramatic turn after a friend lent Ramanujana Government College library’s copy of G. S. Carr’s“Synopsis of Elementary Results in Pure Mathematics”

• Hardy’s comment:“... It contains enunciation of 6,165 theorems, systematically andquite scientifically arranged, with proofs which are often little morethan cross-references ...”

Page 14: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Early Life (I)

• 1 year old: moved to a Hindu town Kumbakonam (Pop:50,000) 170 miles south of Chennai, where his father was acloth merchant’s clerk. Entered school at five years old.

• 11 years old: Ramanujan did well in all school subjects in atown high school, especially in mathematics.

• 13 years old: Ramanujan started to research on geometricseries. He had tried to solve quartic equation.

• Things take on a dramatic turn after a friend lent Ramanujana Government College library’s copy of G. S. Carr’s“Synopsis of Elementary Results in Pure Mathematics”

• Hardy’s comment:“... It contains enunciation of 6,165 theorems, systematically andquite scientifically arranged, with proofs which are often little morethan cross-references ...”

Page 15: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Early Life (I)

• 1 year old: moved to a Hindu town Kumbakonam (Pop:50,000) 170 miles south of Chennai, where his father was acloth merchant’s clerk. Entered school at five years old.

• 11 years old: Ramanujan did well in all school subjects in atown high school, especially in mathematics.

• 13 years old: Ramanujan started to research on geometricseries. He had tried to solve quartic equation.

• Things take on a dramatic turn after a friend lent Ramanujana Government College library’s copy of G. S. Carr’s“Synopsis of Elementary Results in Pure Mathematics”

• Hardy’s comment:“... It contains enunciation of 6,165 theorems, systematically andquite scientifically arranged, with proofs which are often little morethan cross-references ...”

Page 16: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Early Life (I)

• 1 year old: moved to a Hindu town Kumbakonam (Pop:50,000) 170 miles south of Chennai, where his father was acloth merchant’s clerk. Entered school at five years old.

• 11 years old: Ramanujan did well in all school subjects in atown high school, especially in mathematics.

• 13 years old: Ramanujan started to research on geometricseries. He had tried to solve quartic equation.

• Things take on a dramatic turn after a friend lent Ramanujana Government College library’s copy of G. S. Carr’s“Synopsis of Elementary Results in Pure Mathematics”

• Hardy’s comment:“... It contains enunciation of 6,165 theorems, systematically andquite scientifically arranged, with proofs which are often little morethan cross-references ...”

Page 17: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Early Life (II)

• Ramanujan became addicted to mathematics and startrecording his own results in Carr’s format.

• By 1904, i.e., 17 years old, Ramanujan had begun investigatedthe series

∑ 1n and calculated Euler’s constant to 15 decimal

places.

• The same year his school discontinued his scholarship for poorperformance of other subjects.

• In 1906, he was given a second scholarship to attendPachaiyappa’s College in Madras in preparing for entering theUniversity of Madras. But he failed all subjects exceptmathematics.

Page 18: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Early Life (II)

• Ramanujan became addicted to mathematics and startrecording his own results in Carr’s format.

• By 1904, i.e., 17 years old, Ramanujan had begun investigatedthe series

∑ 1n and calculated Euler’s constant to 15 decimal

places.

• The same year his school discontinued his scholarship for poorperformance of other subjects.

• In 1906, he was given a second scholarship to attendPachaiyappa’s College in Madras in preparing for entering theUniversity of Madras. But he failed all subjects exceptmathematics.

Page 19: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Early Life (II)

• Ramanujan became addicted to mathematics and startrecording his own results in Carr’s format.

• By 1904, i.e., 17 years old, Ramanujan had begun investigatedthe series

∑ 1n and calculated Euler’s constant to 15 decimal

places.

• The same year his school discontinued his scholarship for poorperformance of other subjects.

• In 1906, he was given a second scholarship to attendPachaiyappa’s College in Madras in preparing for entering theUniversity of Madras. But he failed all subjects exceptmathematics.

Page 20: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

G. H. Hardy

Figure: 1877-1947

Page 21: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

A day morning in January 1913

One morning in 1913, he found, among the letters on his breakfasttable, a large untidy envelope decorated with Indian stamps. Whenhe opened it ... he found line after line of symbols. He glanced atthem without enthusiasm. He was by this time ... a world famousmathematician, and ... he was accustomed to receivingmanuscripts from stangers... The script appeared to consist oftheorems, most of them wild or fantistic ... There were no proofsof any kind ... A fraud or genius ? ...

Page 22: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

The first letter

In 1913 (16th January) Ramanujan wrote to G. H. Hardy. Heintroduced himself and his work as“Dear Sir, I beg to introduce myself to you as a clerk in theAccounts Department ... on a salary of only $20 per annum ... Ihave had no university education but I have undergone theordinary school course. After leaving school I have been employingthe spare time at my disposal to work at mathematics. I have nottrodden through the conventional regular course which is followedin a university course, but I am striking out a new path for myself.I have made a special investigation of divergent series in generaland the results I get are termed by the local mathematicians as’startling’.”

Page 23: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

The first letter

In 1913 (16th January) Ramanujan wrote to G. H. Hardy. Heintroduced himself and his work as“Dear Sir, I beg to introduce myself to you as a clerk in theAccounts Department ... on a salary of only $20 per annum ... Ihave had no university education but I have undergone theordinary school course. After leaving school I have been employingthe spare time at my disposal to work at mathematics. I have nottrodden through the conventional regular course which is followedin a university course, but I am striking out a new path for myself.I have made a special investigation of divergent series in generaland the results I get are termed by the local mathematicians as’startling’.”

Page 24: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Hardy’s reaction

• “His letters contained the bare statement of about 120theorems. Several of them were known already, others werenot. Of these, some I could prove (after harder work than Ihad expected) while others fairly blew me away. I had neverseen the like! Only a mathematician of the highest class couldhave written them. They had to be true, for if they were not,no one would have the imagination to invent them. A fewwere definitely wrong. But that only added credence to myfeeling that the writer was totally honest, since greatmathematicians are commoner than frauds of the incredibleskill that would be needed to create such a letter. ”

• He decided that Ramanujan was, in terms of ... genus ofGauss and Euler ... (Partially taken from Hardy’s “AMathematician’s Apology”)

Page 25: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Hardy’s reaction

• “His letters contained the bare statement of about 120theorems. Several of them were known already, others werenot. Of these, some I could prove (after harder work than Ihad expected) while others fairly blew me away. I had neverseen the like! Only a mathematician of the highest class couldhave written them. They had to be true, for if they were not,no one would have the imagination to invent them. A fewwere definitely wrong. But that only added credence to myfeeling that the writer was totally honest, since greatmathematicians are commoner than frauds of the incredibleskill that would be needed to create such a letter. ”

• He decided that Ramanujan was, in terms of ... genus ofGauss and Euler ... (Partially taken from Hardy’s “AMathematician’s Apology”)

Page 26: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Hardy’s reaction

• “His letters contained the bare statement of about 120theorems. Several of them were known already, others werenot. Of these, some I could prove (after harder work than Ihad expected) while others fairly blew me away. I had neverseen the like! Only a mathematician of the highest class couldhave written them. They had to be true, for if they were not,no one would have the imagination to invent them. A fewwere definitely wrong. But that only added credence to myfeeling that the writer was totally honest, since greatmathematicians are commoner than frauds of the incredibleskill that would be needed to create such a letter. ”

• He decided that Ramanujan was, in terms of ... genus ofGauss and Euler ... (Partially taken from Hardy’s “AMathematician’s Apology”)

Page 27: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Hardy’s reaction

• “His letters contained the bare statement of about 120theorems. Several of them were known already, others werenot. Of these, some I could prove (after harder work than Ihad expected) while others fairly blew me away. I had neverseen the like! Only a mathematician of the highest class couldhave written them. They had to be true, for if they were not,no one would have the imagination to invent them. A fewwere definitely wrong. But that only added credence to myfeeling that the writer was totally honest, since greatmathematicians are commoner than frauds of the incredibleskill that would be needed to create such a letter. ”

• He decided that Ramanujan was, in terms of ... genus ofGauss and Euler ... (Partially taken from Hardy’s “AMathematician’s Apology”)

Page 28: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

About 120 formulae I

Figure: 1913 (B. Berndt)

Page 29: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

About 120 formulae II

Figure: 1913 (B. Berndt)

Page 30: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

About 120 formulae III

Figure: 1913 (B. Berndt)

Page 31: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Ramanujan was sick

• During his five-year stay in Cambridge, which unfortunatelyoverlapped with the first World War years, he published 21papers, five of which were in collaboration with Hardy.

• Ramanujan fell seriously ill in 1917 and his doctors feared thathe would die. This could be due to his earlier contraction ofdysentery. Unless adequately treated, the infection ispermanent. The illness is difficult to diagnose.

• Ramanujan was sick since the end of his first winter in 1915and was in and out of hospital and nursing home before hereturned to India in 1919 after the end of the first world war.

• Ramanujan dead on the 26 April 1920.

Page 32: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Ramanujan was sick

• During his five-year stay in Cambridge, which unfortunatelyoverlapped with the first World War years, he published 21papers, five of which were in collaboration with Hardy.

• Ramanujan fell seriously ill in 1917 and his doctors feared thathe would die. This could be due to his earlier contraction ofdysentery. Unless adequately treated, the infection ispermanent. The illness is difficult to diagnose.

• Ramanujan was sick since the end of his first winter in 1915and was in and out of hospital and nursing home before hereturned to India in 1919 after the end of the first world war.

• Ramanujan dead on the 26 April 1920.

Page 33: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Ramanujan was sick

• During his five-year stay in Cambridge, which unfortunatelyoverlapped with the first World War years, he published 21papers, five of which were in collaboration with Hardy.

• Ramanujan fell seriously ill in 1917 and his doctors feared thathe would die. This could be due to his earlier contraction ofdysentery. Unless adequately treated, the infection ispermanent. The illness is difficult to diagnose.

• Ramanujan was sick since the end of his first winter in 1915and was in and out of hospital and nursing home before hereturned to India in 1919 after the end of the first world war.

• Ramanujan dead on the 26 April 1920.

Page 34: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Ramanujan was sick

• During his five-year stay in Cambridge, which unfortunatelyoverlapped with the first World War years, he published 21papers, five of which were in collaboration with Hardy.

• Ramanujan fell seriously ill in 1917 and his doctors feared thathe would die. This could be due to his earlier contraction ofdysentery. Unless adequately treated, the infection ispermanent. The illness is difficult to diagnose.

• Ramanujan was sick since the end of his first winter in 1915and was in and out of hospital and nursing home before hereturned to India in 1919 after the end of the first world war.

• Ramanujan dead on the 26 April 1920.

Page 35: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Binomial Identity (I)•

(a + b)2 = (a + b)(a + b) = a2 + 2ab + b2

(a + b)3 = (a + b)(a + b)(a + b) = a3 + 3a2b + 3ab2 + b3

(a + b)4 = (a + b)(a + b)(a + b)(a + b)

= a4 + 4a3b + 6a2b2 + 4ab3 + b4

(a + b)5 = (a + b)(a + b)(a + b)(a + b)(a + b)

= a5 + 5a4b + 10a3b2 + 10a2b3 + 5ab4 + b5

Page 36: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Binomial Identity (II)•

(x + y)n =n∑

k=0

(n

k

)xn−k y k .

• (n

k

)=

n!

k!(n − k)!, k! = k × (k − 1)× · · · × 2× 1

• (5

3

)=

5!

3!(5− 3)!=

5!

3!× 2!=

5× 4× 3× 2× 1

(3× 2× 1)(2× 1)= 10

• Combinatorial interpretation: The total number of ways tochoose 3 objects out of 5 objects.

• So(n

k

)counts the total number of ways to choose k objects

out of n objects.

Page 37: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Binomial Identity (II)•

(x + y)n =n∑

k=0

(n

k

)xn−k y k .

• (n

k

)=

n!

k!(n − k)!, k! = k × (k − 1)× · · · × 2× 1

• (5

3

)=

5!

3!(5− 3)!=

5!

3!× 2!=

5× 4× 3× 2× 1

(3× 2× 1)(2× 1)= 10

• Combinatorial interpretation: The total number of ways tochoose 3 objects out of 5 objects.

• So(n

k

)counts the total number of ways to choose k objects

out of n objects.

Page 38: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Binomial Identity (II)•

(x + y)n =n∑

k=0

(n

k

)xn−k y k .

• (n

k

)=

n!

k!(n − k)!, k! = k × (k − 1)× · · · × 2× 1

• (5

3

)=

5!

3!(5− 3)!=

5!

3!× 2!=

5× 4× 3× 2× 1

(3× 2× 1)(2× 1)= 10

• Combinatorial interpretation: The total number of ways tochoose 3 objects out of 5 objects.

• So(n

k

)counts the total number of ways to choose k objects

out of n objects.

Page 39: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Some formulae I• Let 0 < q < 1. We define•

(a; q)n = (1−a)(1−aq)(1−aq2) · · · (1−aqn−1) =n−1∏k=0

(1−aqk ), n ≥ 1

(a; q)∞ = (1−a)(1−aq)(1−aq2) · · · =∞∏

k=0

(1−aqk ), n ≥ 1

• The infinite product always converge, a necessary condition is

(1− aqn−1)→ 1, as n →∞

• We define (a; q)0 = 1.• E.g. (q; q)n = (1− q)(1− q2) · · · (1− q)n

Page 40: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Some formulae I• Let 0 < q < 1. We define•

(a; q)n = (1−a)(1−aq)(1−aq2) · · · (1−aqn−1) =n−1∏k=0

(1−aqk ), n ≥ 1

(a; q)∞ = (1−a)(1−aq)(1−aq2) · · · =∞∏

k=0

(1−aqk ), n ≥ 1

• The infinite product always converge, a necessary condition is

(1− aqn−1)→ 1, as n →∞

• We define (a; q)0 = 1.• E.g. (q; q)n = (1− q)(1− q2) · · · (1− q)n

Page 41: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Some formulae I• Let 0 < q < 1. We define•

(a; q)n = (1−a)(1−aq)(1−aq2) · · · (1−aqn−1) =n−1∏k=0

(1−aqk ), n ≥ 1

(a; q)∞ = (1−a)(1−aq)(1−aq2) · · · =∞∏

k=0

(1−aqk ), n ≥ 1

• The infinite product always converge, a necessary condition is

(1− aqn−1)→ 1, as n →∞

• We define (a; q)0 = 1.• E.g. (q; q)n = (1− q)(1− q2) · · · (1− q)n

Page 42: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Some formulae I• Let 0 < q < 1. We define•

(a; q)n = (1−a)(1−aq)(1−aq2) · · · (1−aqn−1) =n−1∏k=0

(1−aqk ), n ≥ 1

(a; q)∞ = (1−a)(1−aq)(1−aq2) · · · =∞∏

k=0

(1−aqk ), n ≥ 1

• The infinite product always converge, a necessary condition is

(1− aqn−1)→ 1, as n →∞

• We define (a; q)0 = 1.• E.g. (q; q)n = (1− q)(1− q2) · · · (1− q)n

Page 43: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Some formulae II•

n⇐⇒ 1 + q + q2 + · · · qn−1 =1− qn

1− q,

k!q =

(1− q

1− q

)(1− q2

1− q

)· · ·(

1− qk

1− q

):=

(q, ; q)k

(1− q)k

• q−binomial coefficient[nk

]q

=n!q

k!q(n − k)!q. (a; q)n = (1−a)(1−aq) · · · (1−aqn−k+1)

• If |x | < 1, then

1

1− x= 1 + x + x2 + x3 + · · ·

Page 44: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Rogers-Ramanujan Identities (1894, 1917, 1919)Let |q| < 1:

∞∑n=0

qn2

(q; q)n=∞∏

j=0

1

(1− q5j+1)(1− q5j+4)

and∞∑

n=0

qn(n+1)

(q; q)n=∞∏

j=0

1

(1− q5j+2)(1− q5j+3)

where 0 < q < 1 and

(q; q)n = (1− q)(1− q2) · · · (1− qn), (q; q)0 = 1.

Binomial identity

(a + b)n =n∑

k=0

(n

k

)an−k bk .

Page 45: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Rogers-Ramanujan Identities (1894, 1917, 1919)Let |q| < 1:

∞∑n=0

qn2

(q; q)n=∞∏

j=0

1

(1− q5j+1)(1− q5j+4)

and∞∑

n=0

qn(n+1)

(q; q)n=∞∏

j=0

1

(1− q5j+2)(1− q5j+3)

where 0 < q < 1 and

(q; q)n = (1− q)(1− q2) · · · (1− qn), (q; q)0 = 1.

Binomial identity

(a + b)n =n∑

k=0

(n

k

)an−k bk .

Page 46: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Verification of the first identity (I)

∞∏j=0

1

(1− q5j+1)(1− q5j+4)=

1

(1− q)(1− q4)(1− q6)(1− q9)· · ·

= (1 + q + q2 + q3 + q4 + q5 + q6 + · · · )× (1 + q4 + q8 + q12 + · · · )× (1 + q6 + q12 + · · · )× · · ·

= 1 + q + q2 + q3 + 2q4 + 2q5 + 3q6 + · · · .

Page 47: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Verification of the first identity (II)

∞∑n=0

qn2

(q; q)n=

1

(q; q)0+

q

(q; q)1+

q4

(q; q)2+

q9

(q; q)3+ · · ·

= 1 +q

(1− q)+

q4

(1− q)(1− q2)+

q9

(1− q)(1− q2)(1− q3)+ · · ·

+ q(1 + q + q2 + q3 + q4 + q5 + q6 + · · · )+ q4(1 + q + q2 + q3 + · · · )(1 + q2 + q4 + · · · )+ q9(1 + q + q2 + · · · )(1 + q2 + q4 + · · · )(1 + q3 + q6 + · · · )

+ · · ·= 1 + q + q2 + q3 + 2q4 + 2q5 + 3q6 + 3q7 + 4q8 + · · · .

Page 48: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Interpretations of the Identities (I)Let N be a positive integer. Then we define a partition of N to be

N = s1 + s2 + · · ·+ sk

so that N ≥ s1 ≥ s2 ≥ · · · sk . That is, the sj are just integerssmaller or equal to N. For example, let us consider N = 4. Then

4 = 1 + 1 + 1 + 1

= 2 + 1 + 1

= 2 + 2

= 3 + 1

= 4.

Hence there are 5 different partitions of 4. The are denoted asvectors (1, 1, 1, 1), (2, 1, 1), (2, 2), (3, 1) and finally (4). Thenumbers in the vectors above are called the parts of the partitions.

Page 49: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Interpretations of the Identities (II)

TheoremThe right-hand side of the first Rogers-Ramanujan identity givesthe partitions with parts congruent to 1 (mod 5) or congruent to4 (mod 5).

TheoremThe left-hand side of the first Rogers-Ramanujan identity gives thepartitions for which the difference between any two parts is at leasttwo.

Corollary

The number of partitions of an integer N into parts in which thedifference between any two parts is at least 2 is same as thenumber of partitions of N into parts congruent to 1 or 4 (mod 5).

Page 50: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Interpretations of the Identities (III)

Let us choose N = 6. The partitions in which the number of partsare congruent to 1 or 4 (mod 5) are

(1, 1, 1, 1, 1, 1), (4, 1, 1), (6).

The number of partitions in which the difference of whose parts isat least two are:

(4, 2), (5, 1), (6).

So both has three partitions.

Page 51: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Interpretations of the Identities (IV)

Let us choose N = 9. The partitions in which the parts arecongruent to 1 or 4 (mod) 5 are

(1, 1, 1, 1, 1, 1, 1, 1, 1), (4, 1, 1, 1, 1, 1)

(4, 4, 1), (6, 1, 1, 1), (9).

Then the number of partitions in which the difference of whoseparts is at least two are:

(5, 3, 1), (6, 3), (7, 2), (8, 1), (9).

Both have five members.

Page 52: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

History of the Rogers-Ramanujan identities

• Ramanujan conjectured such identities (1913 ?)

• L. J. Rogers had already proved them in 1894

• Rediscovered by the physicist R. J. Baxter in 1985 for hiswork of hard hexagon model in statistical mechanics.

• There are now many such identities found, but theunderstanding of them is still poor.

Page 53: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

History of the Rogers-Ramanujan identities

• Ramanujan conjectured such identities (1913 ?)

• L. J. Rogers had already proved them in 1894

• Rediscovered by the physicist R. J. Baxter in 1985 for hiswork of hard hexagon model in statistical mechanics.

• There are now many such identities found, but theunderstanding of them is still poor.

Page 54: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Srinivasa Ramanujan (1887-1919)

Figure: He is regarded as a hero in India

Page 55: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Berndt: Ramanujan’s Notebooks

Figure: Five volumes were published

Page 56: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Bruce Berndt

Page 57: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Ramanujan’s Lost Notebooks

Figure: Andrew discovered in 1976 in Cambridge

Page 58: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

G. Andrews

Page 59: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Andrew’s Ramanujan Lost e.g. page 1

Page 60: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Andrew’s Ramanujan Lost e.g. page 2

Page 61: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Andrews + Berndt: Ramanujan’s Notebooks

Figure: Four volumes have been published

Page 62: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

An AMS book

Page 63: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Binomial Identity (I)

• (x + y)n =∑n

k=0

(nk

)xn−k y k .

• The coefficient(n

k

)counts the number of ways that n− k ”x”

and k ”y” can be arranged. The usual argument is to imaginethat there are n holes to fill. So the first y can be placed inany of the n holes, the second in any of the remaining n − 1holes, and so on, until we reach

n(n − 1) · · · (n − (k − 1)) = n(n − 1) · · · (n − k + 1)

ways. But the first y could be placed in any of the k spots,and the second in any of the k − 1 spots, and so on, so thatthere are k! such arrangements that produce the samearrangement. So

(nk

)= n(n−1)···(n−k+1)

k! = n!k!(n−k)! .

Page 64: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Binomial Identity (I)

• (x + y)n =∑n

k=0

(nk

)xn−k y k .

• The coefficient(n

k

)counts the number of ways that n− k ”x”

and k ”y” can be arranged. The usual argument is to imaginethat there are n holes to fill. So the first y can be placed inany of the n holes, the second in any of the remaining n − 1holes, and so on, until we reach

n(n − 1) · · · (n − (k − 1)) = n(n − 1) · · · (n − k + 1)

ways. But the first y could be placed in any of the k spots,and the second in any of the k − 1 spots, and so on, so thatthere are k! such arrangements that produce the samearrangement. So

(nk

)= n(n−1)···(n−k+1)

k! = n!k!(n−k)! .

Page 65: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Binomial Identity (II)

• Notice that (x + y)2 = xx + xy + yx + yy .

• New commutative law: xy = qyx . .

• We assume xq = qx and yq = qy .

• E.g. (x + y)2 = x2 + xy + qxy + y 2.

(x + y)3 = (x + y)2(x + y) = (x2 + (1 + q)xy + y 2)(x + y)

= x3 + x2y + (1 + q)xyx + (1 + q)xy 2 + y 2x + y 3

= x3 + (1 + q + q2)x2y + (1 + q + q2)xy 2 + y 3.

(x + y)4 = x4 + (1 + q + q2 + q3)x3y

+(1 + q + 2q2 + q3 + q4)x3y + (1 + q + q2 + q3)xy 3 + y 4.

Page 66: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Binomial Identity (II)

• Notice that (x + y)2 = xx + xy + yx + yy .

• New commutative law: xy = qyx . .

• We assume xq = qx and yq = qy .

• E.g. (x + y)2 = x2 + xy + qxy + y 2.

(x + y)3 = (x + y)2(x + y) = (x2 + (1 + q)xy + y 2)(x + y)

= x3 + x2y + (1 + q)xyx + (1 + q)xy 2 + y 2x + y 3

= x3 + (1 + q + q2)x2y + (1 + q + q2)xy 2 + y 3.

(x + y)4 = x4 + (1 + q + q2 + q3)x3y

+(1 + q + 2q2 + q3 + q4)x3y + (1 + q + q2 + q3)xy 3 + y 4.

Page 67: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Binomial Identity (II)

• Notice that (x + y)2 = xx + xy + yx + yy .

• New commutative law: xy = qyx . .

• We assume xq = qx and yq = qy .

• E.g. (x + y)2 = x2 + xy + qxy + y 2.

(x + y)3 = (x + y)2(x + y) = (x2 + (1 + q)xy + y 2)(x + y)

= x3 + x2y + (1 + q)xyx + (1 + q)xy 2 + y 2x + y 3

= x3 + (1 + q + q2)x2y + (1 + q + q2)xy 2 + y 3.

(x + y)4 = x4 + (1 + q + q2 + q3)x3y

+(1 + q + 2q2 + q3 + q4)x3y + (1 + q + q2 + q3)xy 3 + y 4.

Page 68: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Binomial Identity (II)

• Notice that (x + y)2 = xx + xy + yx + yy .

• New commutative law: xy = qyx . .

• We assume xq = qx and yq = qy .

• E.g. (x + y)2 = x2 + xy + qxy + y 2.

(x + y)3 = (x + y)2(x + y) = (x2 + (1 + q)xy + y 2)(x + y)

= x3 + x2y + (1 + q)xyx + (1 + q)xy 2 + y 2x + y 3

= x3 + (1 + q + q2)x2y + (1 + q + q2)xy 2 + y 3.

(x + y)4 = x4 + (1 + q + q2 + q3)x3y

+(1 + q + 2q2 + q3 + q4)x3y + (1 + q + q2 + q3)xy 3 + y 4.

Page 69: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Binomial Identity (II)

• Notice that (x + y)2 = xx + xy + yx + yy .

• New commutative law: xy = qyx . .

• We assume xq = qx and yq = qy .

• E.g. (x + y)2 = x2 + xy + qxy + y 2.

(x + y)3 = (x + y)2(x + y) = (x2 + (1 + q)xy + y 2)(x + y)

= x3 + x2y + (1 + q)xyx + (1 + q)xy 2 + y 2x + y 3

= x3 + (1 + q + q2)x2y + (1 + q + q2)xy 2 + y 3.

(x + y)4 = x4 + (1 + q + q2 + q3)x3y

+(1 + q + 2q2 + q3 + q4)x3y + (1 + q + q2 + q3)xy 3 + y 4.

Page 70: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Binomial Identity (II)

• Notice that (x + y)2 = xx + xy + yx + yy .

• New commutative law: xy = qyx . .

• We assume xq = qx and yq = qy .

• E.g. (x + y)2 = x2 + xy + qxy + y 2.

(x + y)3 = (x + y)2(x + y) = (x2 + (1 + q)xy + y 2)(x + y)

= x3 + x2y + (1 + q)xyx + (1 + q)xy 2 + y 2x + y 3

= x3 + (1 + q + q2)x2y + (1 + q + q2)xy 2 + y 3.

(x + y)4 = x4 + (1 + q + q2 + q3)x3y

+(1 + q + 2q2 + q3 + q4)x3y + (1 + q + q2 + q3)xy 3 + y 4.

Page 71: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−Binomial Identities (I)

• Recall(n+1

k

)=(n

k

)+( n

k−1

).

• Can be proved from (x + y)n+1 = (x + y)n(x + y).

• We are looking for some new q−binomial coefficients

[nk

]q

• Define it as

(x + y)n =n∑

k=0

[nk

]q

xn−k y k .

• y k x = qk xy k .

n+1∑k=0

[n + 1

k

]q

xn+1−k y k =

(n∑

k=0

[nk

]q

xn−k y k

)(x + y).

Page 72: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−Binomial Identities (I)

• Recall(n+1

k

)=(n

k

)+( n

k−1

).

• Can be proved from (x + y)n+1 = (x + y)n(x + y).

• We are looking for some new q−binomial coefficients

[nk

]q

• Define it as

(x + y)n =n∑

k=0

[nk

]q

xn−k y k .

• y k x = qk xy k .

n+1∑k=0

[n + 1

k

]q

xn+1−k y k =

(n∑

k=0

[nk

]q

xn−k y k

)(x + y).

Page 73: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−Binomial Identities (I)

• Recall(n+1

k

)=(n

k

)+( n

k−1

).

• Can be proved from (x + y)n+1 = (x + y)n(x + y).

• We are looking for some new q−binomial coefficients

[nk

]q

• Define it as

(x + y)n =n∑

k=0

[nk

]q

xn−k y k .

• y k x = qk xy k .

n+1∑k=0

[n + 1

k

]q

xn+1−k y k =

(n∑

k=0

[nk

]q

xn−k y k

)(x + y).

Page 74: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−Binomial Identities (I)

• Recall(n+1

k

)=(n

k

)+( n

k−1

).

• Can be proved from (x + y)n+1 = (x + y)n(x + y).

• We are looking for some new q−binomial coefficients

[nk

]q

• Define it as

(x + y)n =n∑

k=0

[nk

]q

xn−k y k .

• y k x = qk xy k .

n+1∑k=0

[n + 1

k

]q

xn+1−k y k =

(n∑

k=0

[nk

]q

xn−k y k

)(x + y).

Page 75: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−Binomial Identities (I)

• Recall(n+1

k

)=(n

k

)+( n

k−1

).

• Can be proved from (x + y)n+1 = (x + y)n(x + y).

• We are looking for some new q−binomial coefficients

[nk

]q

• Define it as

(x + y)n =n∑

k=0

[nk

]q

xn−k y k .

• y k x = qk xy k .

n+1∑k=0

[n + 1

k

]q

xn+1−k y k =

(n∑

k=0

[nk

]q

xn−k y k

)(x + y).

Page 76: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−Binomial Identities (I)

• Recall(n+1

k

)=(n

k

)+( n

k−1

).

• Can be proved from (x + y)n+1 = (x + y)n(x + y).

• We are looking for some new q−binomial coefficients

[nk

]q

• Define it as

(x + y)n =n∑

k=0

[nk

]q

xn−k y k .

• y k x = qk xy k .

n+1∑k=0

[n + 1

k

]q

xn+1−k y k =

(n∑

k=0

[nk

]q

xn−k y k

)(x + y).

Page 77: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−Binomial Identities (II)

n+1∑k=0

[n + 1

k

]q

xn+1−k y k =

(n∑

k=0

[nk

]q

xn−k y k

)(x + y).

• y k x = qk xy k . This implies the first q−binomial identity:

• [n + 1

k

]q

=

[nk

]q

qk +

[n

k − 1

]q

.

Page 78: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−Binomial Identities (II)

n+1∑k=0

[n + 1

k

]q

xn+1−k y k =

(n∑

k=0

[nk

]q

xn−k y k

)(x + y).

• y k x = qk xy k . This implies the first q−binomial identity:

• [n + 1

k

]q

=

[nk

]q

qk +

[n

k − 1

]q

.

Page 79: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−Binomial Identities (II)

n+1∑k=0

[n + 1

k

]q

xn+1−k y k =

(n∑

k=0

[nk

]q

xn−k y k

)(x + y).

• y k x = qk xy k . This implies the first q−binomial identity:

• [n + 1

k

]q

=

[nk

]q

qk +

[n

k − 1

]q

.

Page 80: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−Binomial Identities (III)

• Applying (x + y)n+1 = (x + y)(x + y)n instead.

• This implies the second q−binomial identity:

• [n + 1

k

]q

=

[nk

]q

+ qn+1−k

[n

k − 1

]q

.

• Combine the first and second q−identities yields:[nk

]q

=(1− qn+1−k )

(1− qk )

[n

k − 1

]q

.

Page 81: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−Binomial Identities (III)

• Applying (x + y)n+1 = (x + y)(x + y)n instead.

• This implies the second q−binomial identity:

• [n + 1

k

]q

=

[nk

]q

+ qn+1−k

[n

k − 1

]q

.

• Combine the first and second q−identities yields:[nk

]q

=(1− qn+1−k )

(1− qk )

[n

k − 1

]q

.

Page 82: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−Binomial Identities (III)

• Applying (x + y)n+1 = (x + y)(x + y)n instead.

• This implies the second q−binomial identity:

• [n + 1

k

]q

=

[nk

]q

+ qn+1−k

[n

k − 1

]q

.

• Combine the first and second q−identities yields:[nk

]q

=(1− qn+1−k )

(1− qk )

[n

k − 1

]q

.

Page 83: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−Binomial Identities (III)

• Applying (x + y)n+1 = (x + y)(x + y)n instead.

• This implies the second q−binomial identity:

• [n + 1

k

]q

=

[nk

]q

+ qn+1−k

[n

k − 1

]q

.

• Combine the first and second q−identities yields:[nk

]q

=(1− qn+1−k )

(1− qk )

[n

k − 1

]q

.

Page 84: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−Binomial Identities (IV)

• Iterating the above relation yields:[nk

]q

=(1− qn+1−k ) · · · (1− qn)

(1− qk ) · · · (1− q)

[n0

]q

,

[n0

]q

= 1

• We can rewrite[nk

]q

=(1− q) · · · (1− qn)

(1− q) · · · (1− qk ) · (1− q) · · · (1− qn−k)

=(q, q)n

(q; q)k (q; q)n−k.

Page 85: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−Binomial Identities (IV)

• Iterating the above relation yields:[nk

]q

=(1− qn+1−k ) · · · (1− qn)

(1− qk ) · · · (1− q)

[n0

]q

,

[n0

]q

= 1

• We can rewrite[nk

]q

=(1− q) · · · (1− qn)

(1− q) · · · (1− qk ) · (1− q) · · · (1− qn−k)

=(q, q)n

(q; q)k (q; q)n−k.

Page 86: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−Binomial coefficients (I)

• We rewrite [nk

]q

=n!q

k!q(n − k)!q

where

• n!q = (q; q)n/(1− q)n as the q−binomial coefficient

• because we have with the help of L’Hospital’s rule yields

limqa→1

(qa; q)n

(1− q)n= lim

q→1

1− qa

1− q

1− qa+1

1− q· · · 1− qa+n−1

1− q

= a(a + 1) · · · (a + n − 1).

• Set a = 1 yields n!. Thus n!q is called q − n factorial.

Page 87: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−Binomial coefficients (I)

• We rewrite [nk

]q

=n!q

k!q(n − k)!q

where

• n!q = (q; q)n/(1− q)n as the q−binomial coefficient

• because we have with the help of L’Hospital’s rule yields

limqa→1

(qa; q)n

(1− q)n= lim

q→1

1− qa

1− q

1− qa+1

1− q· · · 1− qa+n−1

1− q

= a(a + 1) · · · (a + n − 1).

• Set a = 1 yields n!. Thus n!q is called q − n factorial.

Page 88: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−Binomial coefficients (I)

• We rewrite [nk

]q

=n!q

k!q(n − k)!q

where

• n!q = (q; q)n/(1− q)n as the q−binomial coefficient

• because we have with the help of L’Hospital’s rule yields

limqa→1

(qa; q)n

(1− q)n= lim

q→1

1− qa

1− q

1− qa+1

1− q· · · 1− qa+n−1

1− q

= a(a + 1) · · · (a + n − 1).

• Set a = 1 yields n!. Thus n!q is called q − n factorial.

Page 89: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−Binomial coefficients (I)

• We rewrite [nk

]q

=n!q

k!q(n − k)!q

where

• n!q = (q; q)n/(1− q)n as the q−binomial coefficient

• because we have with the help of L’Hospital’s rule yields

limqa→1

(qa; q)n

(1− q)n= lim

q→1

1− qa

1− q

1− qa+1

1− q· · · 1− qa+n−1

1− q

= a(a + 1) · · · (a + n − 1).

• Set a = 1 yields n!. Thus n!q is called q − n factorial.

Page 90: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Fermat’s q−integral (I)

• Before Leibniz and Newton, that is, before you have theFundamental Theorem of Calculus,∫ a

0xα dx = F (a)− F (0) =

xα+1

α + 1

∣∣∣∣a0

=aα+1

α + 1

that is one can find a primitive of xα.

• How did people compute∫ a

0 xα dx where α is rational?

• Fermat computed this around 1650s: Divide [0, a] intosubintervals of geometric dissection {xn = aqn}∞0 so that ...

Page 91: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Fermat’s q−integral (II)

∞∑n=0

xαn (xn − xn+1) =∞∑

n=0

(aqn)α(aqn − aqn+1)

= aα+1(1− q)∞∑

n=0

q(α+1)n

=aα+1(1− q)

1− qα+1.

Writing α = `/m and t = q1/m shows the above is equal to

α(`+m)/m(1− tm)

1− tm+n= α(`+m)/m 1 + t + · · ·+ tm−1

1 + t + · · ·+ tm+`−1

→ (m

m + `)α(`+m)/m, as t → 1 (q → 1).

Page 92: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Fermat’s q−integral (III)• The above suggests that

m⇐⇒ 1 + q + q2 + · · · qm−1 =1− qm

1− q,

• so that

k!q =

(1− q

1− q

)(1− q2

1− q

)· · ·(

1− qk

1− q

)• We rewrite [

nk

]q

=n!q

k!q(n − k)!q

as the q−binomial coefficient.• L’Hospital’s rule yields

limqa→1

(qa; q)n

(1− q)n= a(a + 1) · · · (a + n − 1).

Set a = 1 yields n!. Thus n!q is called q − n factorial.

Page 93: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−binomial theorem I (infinite series)

We recall that Newton’s binomial series (1665) is

(1− x)−α =∞∑

k=0

(−αk

)xk

= 1 + (−α)(−x) +(−α)(−α− 1)

2!(−x)2+

+(−α)(−α− 1)(−α− 2)

3!(−x)3 + · · ·

= 1 + αx +α(α + 1)

2!x2 +

α(α + 1)(α + 2)

3!x3 + · · ·

=∞∑

k=0

(α)k

k!xk , |x | < 1.

Page 94: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−binomial theorem II (infinite series)

• So the corresponding q−binomial series should be for |x | < 1,q < 1

∞∑k=0

(a; q)k

(q; q)kxk =

(ax ; q)∞(x ; q)∞

.

• Independently discovered by Gauss (1866), Cauchy (1843),Heine (-Borel) (1847), (1811), also Euler has

∞∑k=0

xk

(q; q)k=

1

(x ; q)∞.

in 1748.

Page 95: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

q−binomial theorem II (infinite series)

• So the corresponding q−binomial series should be for |x | < 1,q < 1

∞∑k=0

(a; q)k

(q; q)kxk =

(ax ; q)∞(x ; q)∞

.

• Independently discovered by Gauss (1866), Cauchy (1843),Heine (-Borel) (1847), (1811), also Euler has

∞∑k=0

xk

(q; q)k=

1

(x ; q)∞.

in 1748.

Page 96: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Ramanujan’s 1ψ1 summation theorem

• For |q| < 1, x ∈ C\{0},

(x ; q)∞ (q/x ; q)∞ (q; q)∞ =∞∑

k=−∞(−1)k q(n

2)xk

• This Laurent series is called the Jacobi Triple Product (1829)was known to Gauss (1866 ?) and Cauchy (1843 ?).

• For |q| < 1 and |b/a| < |x | < 1, we have

∞∑k=−∞

(a; q)k

(b; q)kxk =

(ax ; q)∞(q/ax ; q)∞(q; q)∞(b/a; q)∞(x ; q)∞(b/ax ; q)∞(b; q)∞(q/a; q)∞

.

• It includes the q−binomial theorem and Jacobi triple product.Proof omitted.

Page 97: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Ramanujan’s 1ψ1 summation theorem

• For |q| < 1, x ∈ C\{0},

(x ; q)∞ (q/x ; q)∞ (q; q)∞ =∞∑

k=−∞(−1)k q(n

2)xk

• This Laurent series is called the Jacobi Triple Product (1829)was known to Gauss (1866 ?) and Cauchy (1843 ?).

• For |q| < 1 and |b/a| < |x | < 1, we have

∞∑k=−∞

(a; q)k

(b; q)kxk =

(ax ; q)∞(q/ax ; q)∞(q; q)∞(b/a; q)∞(x ; q)∞(b/ax ; q)∞(b; q)∞(q/a; q)∞

.

• It includes the q−binomial theorem and Jacobi triple product.Proof omitted.

Page 98: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Ramanujan’s 1ψ1 summation theorem

• For |q| < 1, x ∈ C\{0},

(x ; q)∞ (q/x ; q)∞ (q; q)∞ =∞∑

k=−∞(−1)k q(n

2)xk

• This Laurent series is called the Jacobi Triple Product (1829)was known to Gauss (1866 ?) and Cauchy (1843 ?).

• For |q| < 1 and |b/a| < |x | < 1, we have

∞∑k=−∞

(a; q)k

(b; q)kxk =

(ax ; q)∞(q/ax ; q)∞(q; q)∞(b/a; q)∞(x ; q)∞(b/ax ; q)∞(b; q)∞(q/a; q)∞

.

• It includes the q−binomial theorem and Jacobi triple product.Proof omitted.

Page 99: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Ramanujan’s 1ψ1 summation theorem

• For |q| < 1, x ∈ C\{0},

(x ; q)∞ (q/x ; q)∞ (q; q)∞ =∞∑

k=−∞(−1)k q(n

2)xk

• This Laurent series is called the Jacobi Triple Product (1829)was known to Gauss (1866 ?) and Cauchy (1843 ?).

• For |q| < 1 and |b/a| < |x | < 1, we have

∞∑k=−∞

(a; q)k

(b; q)kxk =

(ax ; q)∞(q/ax ; q)∞(q; q)∞(b/a; q)∞(x ; q)∞(b/ax ; q)∞(b; q)∞(q/a; q)∞

.

• It includes the q−binomial theorem and Jacobi triple product.Proof omitted.

Page 100: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

Exercises

1 Prove that if an are real, and∑

an is convergent, the product∏(1 + an) converges, or diverges to zero, according as

∑a2

n

converges or diverges.

2 Use the method of obtaining Stirling’s formula to show that

1√1

+1√2

+ · · ·+ 1√n

= 2√

n + C +1

2√

2+ O

( 1

n3/2

),

where

C = −(1 +√

2)(

1− 1√2

+1√3− 1√

4+ · · ·

).

Page 101: The Man Who Knew Infinity and other Functions

A film Early Life G. H. Hardy Rogers-Ramanujan identities Some q−calculus Exercises

References

1. E. C. Titchmarsh, “The Theory of Functions”, (1932) 2nd. edition (1939),Oxford University Press.

2. G. Andrews, R. Askey and R. Roy, “Special Functions”, Encyclopedia ofMathematics and Its Applications, The University Press, Cambridge, 1999.952): 355C65.