Rogers-Ramanujan Devam Eden Kesir

Rogers-Ramanujan sürekli fraksiyon a, genelleştirilmiş devam fraksiyonu tarafından keşfedilen Leonard James Rogers  (in) 1894 ve bağımsız olarak Srinivasa Ramanujan yakından bağlı olduğu 1910 yılında, Rogers-Ramanujan kimlikler  ; argümanının birçok değeri için ona açık bir biçim vermek mümkündür.

Tanım

Rogers-Ramanujan kimliklerinde görünen G ( q ) ve H ( q ) fonksiyonları göz önüne alındığında ,

G(q)=∑değil=0∞qdeğil2(1-q)(1-q2)⋯(1-qdeğil)=∑değil=0∞qdeğil2(q;q)değil=1(q;q5)∞(q4;q5)∞=∏değil=1∞1(1-q5değil-1)(1-q5değil-4)=qj602F1(-160,1960;45;1728j)=q(j-1728)602F1(-160,2960;45;-1728j-1728)=1+q+q2+q3+2q4+2q5+3q6+⋯{\ displaystyle {\ başlar {hizalı} G (q) & = \ toplam _ {n = 0} ^ {\ infty} {\ frac {q ^ {n ^ {2}}} {(1-q) (1 -q ^ ​​{2}) \ cdots (1-q ^ {n})}} = \ toplam _ {n = 0} ^ {\ infty} {\ frac {q ^ {n ^ {2}}} {(q; q) _ {n}}} = {\ frac {1} {(q; q ^ {5}) _ {\ infty} (q ^ {4}; q ^ {5}) _ {\ infty}}} \\ & = \ prod _ {n = 1} ^ {\ infty} {\ frac {1} {(1-q ^ {5n-1}) (1-q ^ {5n-4}) }} \\ & = {\ sqrt [{60}] {qj}} \, _ {2} F_ {1} \ left (- {\ tfrac {1} {60}}, {\ tfrac {19} { 60}}; {\ tfrac {4} {5}}; {\ tfrac {1728} {j}} \ sağ) \\ & = {\ sqrt [{60}] {q \ left (j-1728 \ sağ )}} \, _ {2} F_ {1} \ left (- {\ tfrac {1} {60}}, {\ tfrac {29} {60}}; {\ tfrac {4} {5}}; - {\ tfrac {1728} {j-1728}} \ right) \\ & = 1 + q + q ^ {2} + q ^ {3} + 2q ^ {4} + 2q ^ {5} + 3q ^ {6} + \ cdots \ end {hizalı}}}

ve

H(q)=∑değil=0∞qdeğil2+değil(1-q)(1-q2)⋯(1-qdeğil)=∑değil=0∞qdeğil2+değil(q;q)değil=1(q2;q5)∞(q3;q5)∞=∏değil=1∞1(1-q5değil-2)(1-q5değil-3)=1q11j11602F1(1160,3160;65;1728j)=1q11(j-1728)11602F1(1160,4160;65;-1728j-1728)=1+q2+q3+q4+q5+2q6+2q7+⋯{\ displaystyle {\ begin {align} H (q) & = \ sum _ {n = 0} ^ {\ infty} {\ frac {q ^ {n ^ {2} + n}} {(1-q) (1-q ^ {2}) \ cdots (1-q ^ {n})}} = \ toplam _ {n = 0} ^ {\ infty} {\ frac {q ^ {n ^ {2} + n }} {(q; q) _ {n}}} = {\ frac {1} {(q ^ {2}; q ^ {5}) _ {\ infty} (q ^ {3}; q ^ { 5}) _ {\ infty}}} \\ & = \ prod _ {n = 1} ^ {\ infty} {\ frac {1} {(1-q ^ {5n-2}) (1-q ^ {5n-3})}} \\ & = {\ frac {1} {\ sqrt [{60}] {q ^ {11} j ^ {11}}}} \, _ {2} F_ {1} \ left ({\ tfrac {11} {60}}, {\ tfrac {31} {60}}; {\ tfrac {6} {5}}; {\ tfrac {1728} {j}} \ sağ) \ \ & = {\ frac {1} {\ sqrt [{60}] {q ^ {11} \ left (j-1728 \ right) ^ {11}}}} \, _ {2} F_ {1} \ sol ({\ tfrac {11} {60}}, {\ tfrac {41} {60}}; {\ tfrac {6} {5}}; - {\ tfrac {1728} {j-1728}} \ sağ ) \\ & = 1 + q ^ {2} + q ^ {3} + q ^ {4} + q ^ {5} + 2q ^ {6} + 2q ^ {7} + \ cdots \ end {hizalı} }}

burada temsil sonsuz Pochhammer q-sembolü , j olan j-değişmez ve 2 F 1 olduğu hipergeometrik fonksiyonu (tamsayı seri açılımları katsayıları dizilerini oluşturan OEIS A003114 ve A003106 , sırasıyla) 'in devamı fraksiyonu Rogers-Ramanujan, (-de;q)∞{\ displaystyle (a; q) _ {\ infty}}   

R(q)=q1160H(q)q-160G(q)=q15∏değil=1∞(1-q5değil-1)(1-q5değil-4)(1-q5değil-2)(1-q5değil-3)=q1/51+q1+q21+q31+⋱{\ displaystyle {\ begin {align} R (q) & = {\ frac {q ^ {\ frac {11} {60}} H (q)} {q ^ {- {\ frac {1} {60} }} G (q)}} = q ^ {\ frac {1} {5}} \ prod _ {n = 1} ^ {\ infty} {\ frac {(1-q ^ {5n-1}) ( 1-q ^ {5n-4})} {(1-q ^ {5n-2}) (1-q ^ {5n-3})}} \\ & = {\ cfrac {q ^ {1/5 }} {1 + {\ cfrac {q} {1 + {\ cfrac {q ^ {2}} {1 + {\ cfrac {q ^ {3}} {1+ \ ddots}}}}}}} } \ end {hizalı}}}

Modüler fonksiyonlar

Eğer o zaman, ve yanı sıra bunların bölüm vardır modüler fonksiyonlar arasında . Onlar katsayıları tam sayı olduğundan, teorisi karmaşık çarpma zaman değerleri, ima formdadır vardır cebirsel sayılar açıkça hesaplanabilir. q=e2πbenτ{\ displaystyle q = e ^ {2 \ pi {\ rm {i}} \ tau}}q-160G(q){\ displaystyle q ^ {- {\ frac {1} {60}}} G (q)}q1160H(q){\ displaystyle q ^ {\ frac {11} {60}} H (q)}R(q){\ displaystyle R (q)}τ{\ displaystyle \ tau}τ{\ displaystyle \ tau}benp/q{\ displaystyle i {\ sqrt {p / q}}}

Örnekler

R(e-2π)=e-2π51+e-2π1+e-4π1+⋱=5+52-ϕ=ϕ+2-ϕ{\ displaystyle R {\ büyük (} e ^ {- 2 \ pi} {\ büyük)} = {\ cfrac {e ^ {- {\ frac {2 \ pi} {5}}}} {1 + {\ cfrac {e ^ {- 2 \ pi}} {1 + {\ cfrac {e ^ {- 4 \ pi}} {1+ \ ddots}}}}}} = {{\ sqrt {5 + {\ sqrt {5}} \ 2'den fazla}} - \ phi} = {\ sqrt {\ phi +2}} - \ phi}R(e-25π)=e-2π51+e-2π51+e-4π51+⋱=51+(53/4(ϕ-1)5/2-1)1/5-ϕ{\ displaystyle R {\ büyük (} e ^ {- 2 {\ sqrt {5}} \ pi} {\ büyük)} = {\ cfrac {e ^ {- {\ frac {2 \ pi} {\ sqrt { 5}}}}} {1 + {\ cfrac {e ^ {- 2 \ pi {\ sqrt {5}}}} {1 + {\ cfrac {e ^ {- 4 \ pi {\ sqrt {5}} }} {1+ \ ddots}}}}} = {\ frac {\ sqrt {5}} {1 + {\ big (} 5 ^ {3/4} (\ phi -1) ^ {5/2 } -1 {\ büyük)} ^ {1/5}}} - {\ phi}}

nerede olduğu altın oranı (bu formülleri Ramanujan gönderilen ilk mektupta vardı Hardy ve onu hayrete düşürdü olanlar arasındaydı). ϕ=1+52{\ displaystyle \ phi = {\ frac {1 + {\ sqrt {5}}} {2}}}

Modüler formlara sahip bağlantılar

R(q){\ displaystyle R (q)}Dedekind'in eta fonksiyonu kullanılarak ifade edilebilir , modüler bir 1/2 ağırlık formu , çünkü bizde (poz vererek ): q=e2benπτ{\ displaystyle q = {\ rm {e}} ^ {2 {\ rm {i}} \ pi \ tau}}

1R(q)-R(q)=η(τ5)η(5τ)+1{\ displaystyle {\ frac {1} {R (q)}} - R (q) = {\ frac {\ eta ({\ frac {\ tau} {5}})} {\ eta (5 \ tau) }} + 1} 1R5(q)-R5(q)=[η(τ)η(5τ)]6+11{\ displaystyle {\ frac {1} {R ^ {5} (q)}} - R ^ {5} (q) = \ sol [{\ frac {\ eta (\ tau)} {\ eta (5 \ tau)}} \ sağ] ^ {6} +11}{{|}}

J-değişmez ile bağlantılar

J-değişmez tarafından doğrulanan birçok ilişki arasında , elimizde

j(τ)=(x2+10x+5)3x{\ displaystyle j (\ tau) = {\ frac {(x ^ {2} + 10x + 5) ^ {3}} {x}}}

veya

x=[5η(5τ)η(τ)]6{\ displaystyle x = \ sol [{\ frac {{\ sqrt {5}} \, \ eta (5 \ tau)} {\ eta (\ tau)}} \ sağ] ^ {6}}

Bölümü ortadan kaldırarak, j ( τ ) 'yi şu şekilde ifade edebiliriz  : r=R(q){\ displaystyle r = R (q)}

j(τ)=-(r20-228r15+494r10+228r5+1)3r5(r10+11r5-1)5j(τ)-1728=-(r30+522r25-10005r20-10005r10-522r5+1)2r5(r10+11r5-1)5{\ displaystyle {\ begin {align}} & j (\ tau) = - {\ frac {(r ^ {20} -228r ^ {15} + 494r ^ {10} + 228r ^ {5} +1) ^ { 3}} {r ^ {5} (r ^ {10} + 11r ^ {5} -1) ^ {5}}} \\ [6pt] & j (\ tau) -1728 = - {\ frac {( r ^ {30} + 522r ^ {25} -10005r ^ {20} -10005r ^ {10} -522r ^ {5} +1) ^ {2}} {r ^ {5} (r ^ {10} + 11r ^ {5} -1) ^ {5}}} \ end {hizalı}}}

pay ve payda ikosahedronun polinom değişmezleridir . Arasındaki modüler ilişki ve bunun sonucunda R(q){\ displaystyle R (q)}R(q5){\ displaystyle R (q ^ {5})}

j(5τ)=-(r20+12r15+14r10-12r5+1)3r25(r10+11r5-1){\ displaystyle j (5 \ tau) = - {\ frac {(r ^ {20} + 12r ^ {15} + 14r ^ {10} -12r ^ {5} +1) ^ {3}} {r ^ {25} (r ^ {10} + 11r ^ {5} -1)}}}

Ya  ; yani z=r5-1r5{\ displaystyle z = r ^ {5} - {\ frac {1} {r ^ {5}}}}

j(5τ)=-(z2+12z+16)3z+11{\ displaystyle j (5 \ tau) = - {\ frac {\ sol (z ^ {2} + 12z + 16 \ sağ) ^ {3}} {z + 11}}}

veya

z∞=-[5η(25τ)η(5τ)]6-11, z0=-[η(τ)η(5τ)]6-11, z1=[η(5τ+25)η(5τ)]6-11,z2=-[η(5τ+45)η(5τ)]6-11, z3=[η(5τ+65)η(5τ)]6-11, z4=-[η(5τ+85)η(5τ)]6-11{\ displaystyle {\ begin {align} & z _ {\ infty} = - \ left [{\ frac {{\ sqrt {5}} \, \ eta (25 \ tau)} {\ eta (5 \ tau) }} \ sağ] ^ {6} -11, \ z_ {0} = - \ sol [{\ frac {\ eta (\ tau)} {\ eta (5 \ tau)}} \ sağ] ^ {6} -11, \ z_ {1} = \ sol [{\ frac {\ eta ({\ frac {5 \ tau +2} {5}})} {\ eta (5 \ tau)}} \ sağ] ^ { 6} -11, \\ [6pt] & z_ {2} = - \ sol [{\ frac {\ eta ({\ frac {5 \ tau +4} {5}})} {\ eta (5 \ tau )}} \ sağ] ^ {6} -11, \ z_ {3} = \ sol [{\ frac {\ eta ({\ frac {5 \ tau +6} {5}})} {\ eta (5 \ tau)}} \ sağ] ^ {6} -11, \ z_ {4} = - \ sol [{\ frac {\ eta ({\ frac {5 \ tau +8} {5}})} {\ eta (5 \ tau)}} \ sağ] ^ {6} -11 \ end {hizalı}}}

bu, eliptik eğrinin j-değişmezidir ve modüler eğrinin düzenli noktaları ile parametrelendirilir . y2+(1+r5)xy+r5y=x3+r5x2{\ displaystyle y ^ {2} + (1 + r ^ {5}) xy + r ^ {5} y = x ^ {3} + r ^ {5} x ^ {2}} X1(5){\ displaystyle X_ {1} (5)}

Fonksiyonel denklem

Şimdi q = e 2πiτ ile sistematik olarak ayarladık . Diğer modüler fonksiyonlar, örneğin j değişmezi olduğunda, şunları doğrulayın: r(τ)=R(q){\ displaystyle r (\ tau) = R (q)}

j(-1τ)=j(τ){\ displaystyle j (- {\ tfrac {1} {\ tau}}) = j (\ tau)}

ve Dedekind'in eta işlevi için sahibiz:

η(-1τ)=-benτη(τ){\ displaystyle \ eta (- {\ tfrac {1} {\ tau}}) = {\ sqrt {-i \ tau}} \, \ eta (\ tau)}

işlevsel denklem Rogers - Ramanujan devamı fraksiyon içeren altın oranı  : ϕ=1+52{\ displaystyle \ phi = {\ frac {1 + {\ sqrt {5}}} {2}}}

r(-1τ)=1-ϕr(τ)ϕ+r(τ){\ displaystyle r (- {\ tfrac {1} {\ tau}}) = {\ frac {1- \ phi \, r (\ tau)} {\ phi + r (\ tau)}}}.

Öte yandan bizde var . r(7+ben10)=ben{\ displaystyle r ({\ tfrac {7 + i} {10}}) = i}

Modüler denklemler

Modüler arasındaki ilişkiler vardır ve bazı küçük asal değerler için özellikle zarif, n  : R(q){\ displaystyle R (q)}R(qdeğil){\ displaystyle R (q ^ {n})}

Ya ve  ; yani : sen=R(q){\ displaystyle u = R (q)}v=R(qdeğil){\ displaystyle v = R (q ^ {n})}

için ,değil=2{\ displaystyle n = 2}v-sen2=(v+sen2)senv2.{\ displaystyle vu ^ {2} = (v + u ^ {2}) uv ^ {2}.}

için , değil=3{\ displaystyle n = 3}(v-sen3)(1+senv3)=3sen2v2.{\ displaystyle (vu ^ {3}) (1 + uv ^ {3}) = 3u ^ {2} v ^ {2}.}

için , değil=5{\ displaystyle n = 5}(v4-3v3+4v2-2v+1)v=(v4+2v3+4v2+3v+1)sen5.{\ displaystyle (v ^ {4} -3v ^ {3} + 4v ^ {2} -2v + 1) v = (v ^ {4} + 2v ^ {3} + 4v ^ {2} + 3v + 1 ) u ^ {5}.}

için ,değil=11{\ displaystyle n = 11}senv(sen10+11sen5-1)(v10+11v5-1)=(sen-v)12.{\ displaystyle uv (u ^ {10} + 11u ^ {5} -1) (v ^ {10} + 11v ^ {5} -1) = (uv) ^ {12}.}

Ek olarak, davada görünen faktörlerin bulunduğunu fark edebiliriz , çünkü: değil=5{\ displaystyle n = 5}değil=11{\ displaystyle n = 11}

v10+11v5-1=(v2+v-1)(v4-3v3+4v2-2v+1)(v4+2v3+4v2+3v+1).{\ displaystyle v ^ {10} + 11v ^ {5} -1 = (v ^ {2} + v-1) (v ^ {4} -3v ^ {3} + 4v ^ {2} -2v + 1 ) (v ^ {4} + 2v ^ {3} + 4v ^ {2} + 3v + 1).}

Diğer sonuçlar

Ramanujan, R ( q ) ' nun diğer birçok ilginç özelliğini keşfetti . Poz , ve altın sayı , sen=R(q-de){\ displaystyle u = R (q ^ {a})}v=R(qb){\ displaystyle v = R (q ^ {b})}ϕ{\ displaystyle \ phi}

eğer öyleyse-deb=4π2{\ displaystyle ab = 4 \ pi ^ {2}}(sen+ϕ)(v+ϕ)=5ϕ.{\ displaystyle (u + \ phi) (v + \ phi) = {\ sqrt {5}} \, \ phi.} eğer öyleyse5-deb=4π2{\ displaystyle 5ab = 4 \ pi ^ {2}}(sen5+ϕ5)(v5+ϕ5)=55ϕ5.{\ displaystyle (u ^ {5} + \ phi ^ {5}) (v ^ {5} + \ phi ^ {5}) = 5 {\ sqrt {5}} \, \ phi ^ {5}.}

R ( q ) ' nun güçleri de beklenmedik ilişkileri tatmin eder. Yani,

R3(q)=αβ{\ displaystyle R ^ {3} (q) = {\ frac {\ alpha} {\ beta}}}

veya

α=∑değil=0∞q2değil1-q5değil+2-∑değil=0∞q3değil+11-q5değil+3{\ displaystyle \ alpha = \ toplam _ {n = 0} ^ {\ infty} {\ frac {q ^ {2n}} {1-q ^ {5n + 2}}} - \ toplam _ {n = 0} ^ {\ infty} {\ frac {q ^ {3n + 1}} {1-q ^ {5n + 3}}}} β=∑değil=0∞qdeğil1-q5değil+1-∑değil=0∞q4değil+31-q5değil+4{\ displaystyle \ beta = \ toplam _ {n = 0} ^ {\ infty} {\ frac {q ^ {n}} {1-q ^ {5n + 1}}} - \ toplam _ {n = 0} ^ {\ infty} {\ frac {q ^ {4n + 3}} {1-q ^ {5n + 4}}}}

Poz veriyor , bizde w=R(q)R2(q2){\ displaystyle w = R (q) R ^ {2} (q ^ {2})}

R5(q)=w(1-w1+w)2,R5(q2)=w2(1+w1-w){\ displaystyle R ^ {5} (q) = w \ sol ({\ frac {1-w} {1 + w}} \ sağ) ^ {2}, \; \; R ^ {5} (q ^ {2}) = w ^ {2} \ left ({\ frac {1 + w} {1-w}} \ sağ)}

Referanslar

1. (in) G. H. Hardy , "  Hintli Matematikçi Ramanujan  " ["Hintli matematikçi Ramanujan"], American Mathematical Monthly , cilt.  44, n o  3,Mart 1937, s.  137-155 ( çevrimiçi okuyun )
2. (inç) Duke, W. "Devam Eden Kesirler ve Modüler İşlevler", http://www.math.ucla.edu/~wdduke/preprints/bams4.pdf
3. (inç) Duke, W. "Devamlı Kesirler ve Modüler İşlevler" (s.9)
4. (en) Berndt, B. vd. "The Rogers - Ramanujan Continued Fraction" [ çevrimiçi okuyun ] .
5. (en) Berndt, B. vd. "Rogers - Ramanujan Kesir Devam Etti"

• (tr) LJ Rogers , "  Belirli Sonsuz Ürünlerin Genişlemesine İlişkin İkinci Anı  " , Proc. London Math. Soc. , cilt.  s1-25, n o  1,1894, s.  318–343 ( DOI  10.1112 / plms / s1-25.1.318 )
• (en) BC Berndt , HH Chan , SS Huang , SY Kang , J. Sohn ve SH Son , "  Rogers - Ramanujan devam kesir  " , Hesaplamalı ve Uygulamalı Matematik Dergisi , cilt.  105,1999, s.  9 ( DOI  10.1016 / S0377-0427 (99) 00033-3 , çevrimiçi okuyun )

Dış bağlantılar

• (fr) Bu makale kısmen veya tamamen alınır İngilizce Vikipedi başlıklı makalesinde “  - Ramanujan kısmını devam Rogers  ” ( yazarların listesini görmek ) .

• ( fr ) Eric W. Weisstein , "  Rogers-Ramanujan'ın Kimlikleri  " , MathWorld'de
• ( Fr ) Eric W. Weisstein , “  Rogers-Ramanujan devam  Kesir, ” üzerinde MathWorld

<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">