De la Wikipedia, enciclopedia liberă.
Funcția originală Jacobi Theta, θ1 cu u = iπz și cu numele q = eiπτ = 0.1e0.1iπ
Jacobi theta 1
Jacobi theta 2
În matematică , funcțiile theta ale lui Jacobi sunt funcții speciale utile în analiza complexă .
Funcții {\ displaystyle \ vartheta _ {1} (z, q), \ vartheta _ {2} (z, q), \ vartheta _ {3} (z, q), \ vartheta _ {4} (z, q) } au fost introduse de matematicianul german Carl Gustav Jakob Jacobi în teoria funcțiilor eliptice în 1829 . Acestea sunt definite, respectiv, cu seria :
- {\ displaystyle \ theta _ {1} (z, q) = 2q ^ {1/4} \ sum _ {n = 0} ^ {\ infty} (- 1) ^ {n} q ^ {n (n + 1)} \ sin {\ big (} (2n + 1) z {\ big)},}
- {\ displaystyle \ theta _ {2} (z, q) = \ vartheta _ {10} (z, q) = 2q ^ {1/4} \ sum _ {n = 0} ^ {\ infty} q ^ { n (n + 1)} \ cos {\ big (} (2n + 1) z {\ big)},}
- {\ displaystyle \ theta _ {3} (z, q) = \ vartheta _ {00} (z, q) = 1 + 2 \ sum _ {n = 1} ^ {\ infty} q ^ {n ^ {2 }} \ cos (2nz),}
- {\ displaystyle \ theta _ {4} (z, q) = \ vartheta _ {01} (z, q) = 1 + 2 \ sum _ {n = 1} ^ {\ infty} (- 1) ^ {n } q ^ {n ^ {2}} \ cos (2nz),}
unde este {\ displaystyle q = e ^ {\ pi i \ tau}} Și {\ displaystyle \ tau} aparținând semi-planului superior complex , adică {\ displaystyle \ tau} este un număr complex cu o parte imaginară pozitivă și, prin urmare {\ displaystyle | q | <1} . Seria converge pe întregul plan complex , adică pentru fiecare {\ displaystyle z \ in \ mathbb {C}} .
Importanța funcțiilor teta lui Jacobi în teoria funcției eliptice vine din posibilitatea de a exprima toate funcțiile eliptice Jacobi ca raportul a două funcții teta (vezi formulele Abramowitz și Stegun 16.36.3-16.36.7 și dovada lui Whittaker și Watson).
Valorile funcțiilor
Pentru {\ displaystyle z = 0,} cele trei funcții theta {\ displaystyle \ vartheta _ {00} (q)} , {\ displaystyle \ vartheta _ {01} (q)} Și {\ displaystyle \ vartheta _ {10} (q)} poate fi exprimat după cum urmează:
- {\ displaystyle \ vartheta _ {00} (q) = \ sum _ {k = - \ infty} ^ {\ infty} q ^ {k ^ {2}},}
- {\ displaystyle \ vartheta _ {01} (q) = \ vartheta _ {00} (- q) = \ sum _ {k = - \ infty} ^ {\ infty} (- 1) ^ {k} q ^ { k ^ {2}},}
- {\ displaystyle \ vartheta _ {10} (q) = \ sum _ {k = - \ infty} ^ {\ infty} q ^ {{\ big (} k + {\ tfrac {1} {2}} {\ mare)} ^ {2}}.}
Mai mult, urmează următoarea relație numită identitate Jacobi:
- {\ displaystyle \ vartheta _ {00} (q) ^ {4} = \ vartheta _ {10} (q) ^ {4} + \ vartheta _ {01} (q) ^ {4}.}
Următoarele formule exprimă relația funcțiilor theta cu funcția lambda eliptică:
- {\ displaystyle \ vartheta _ {00} {\ big (} \ exp (- \ pi {\ sqrt {w}}) {\ big)} = \ sum _ {a = - \ infty} ^ {\ infty} \ exp (-a ^ {2} \ pi {\ sqrt {w}}) = \ left (\ sum _ {a = - \ infty} ^ {\ infty} \ operatorname {sech} (a \ pi {\ sqrt { w}}) \ right) ^ {1/2} = {\ sqrt {2 \ pi ^ {- 1} K {\ big (} \ lambda ^ {*} (w) {\ big)}}},}
- {\ displaystyle \ vartheta _ {10} {\ big (} \ exp (- \ pi {\ sqrt {w}}) {\ big)} = \ sum _ {a = - \ infty} ^ {\ infty} \ exp \ left (- (a + {\ tfrac {1} {2}}) ^ {2} \ pi {\ sqrt {w}} \ right) = \ left (\ sum _ {a = - \ infty} ^ {\ infty} \ operatorname {sech} \ left ((a + {\ tfrac {1} {2}}) \ pi {\ sqrt {w}} \ right) \ right) ^ {1/2} = {\ sqrt {2 \ pi ^ {- 1} \ lambda ^ {*} (w) K {\ big (} \ lambda ^ {*} (w) {\ big)}}} = 2 {\ sqrt [{4} ] {\ lambda ^ {*} (4w)}} {\ sqrt {\ pi ^ {- 1} K {\ big (} \ lambda ^ {*} (4w) {\ big)}}},}
- {\ displaystyle \ vartheta _ {01} {\ big (} \ exp (- \ pi {\ sqrt {w}}) {\ big)} = \ sum _ {a = - \ infty} ^ {\ infty} ( -1) ^ {a} \ exp (-a ^ {2} \ pi {\ sqrt {w}}) = {\ sqrt {2 \ pi ^ {- 1} \ lambda ^ {*} (1 / w) K {\ big (} \ lambda ^ {*} (w) {\ big)}}},}
unde este {\ displaystyle K} indică integrala eliptică completă de primul fel și relația are:
- {\ displaystyle {\ frac {K \ left ({\ sqrt {1- \ lambda ^ {*} (w) ^ {2}}} \ right)} {K {\ big (} \ lambda ^ {*} ( w) {\ big)}}} = {\ sqrt {w}}.}
Tabel de valori:
q | ϑ₁₀ (q) | ϑ₀₁ (q) | ϑ₀₀ (q) |
---|
exp (-π) | {\ displaystyle {\ sqrt {G}}} | {\ displaystyle {\ sqrt {G}}} | {\ displaystyle 2 ^ {1/4} {\ sqrt {G}}} |
exp (-2π) | {\ displaystyle 2 ^ {- 1/2} {\ sqrt {{\ sqrt {2}} - 1}} {\ sqrt {G}}} | {\ displaystyle 2 ^ {1/8} {\ sqrt {G}}} | {\ displaystyle 2 ^ {- 1/2} {\ sqrt {{\ sqrt {2}} + 1}} {\ sqrt {G}}} |
exp (-3π) | {\ displaystyle 2 ^ {- 5/4} 3 ^ {- 3/8} {\ sqrt {{\ sqrt {3}} - 1}} ({\ sqrt {3}} + 1 - {\ sqrt [{ 4}] {12}}) {\ sqrt {G}}} | {\ displaystyle 2 ^ {- 5/4} 3 ^ {- 3/8} {\ sqrt {{\ sqrt {3}} - 1}} ({\ sqrt {3}} + 1 + {\ sqrt [{ 4}] {12}}) {\ sqrt {G}}} | {\ displaystyle 3 ^ {- 3/8} {\ sqrt {{\ sqrt {3}} + 1}} {\ sqrt {G}}} |
exp (-4π) | {\ displaystyle 2 ^ {- 1} ({\ sqrt [{4}] {2}} - 1) {\ sqrt {G}}} | {\ displaystyle 2 ^ {- 3/16} {\ sqrt [{4}] {{\ sqrt {2}} + 1}} {\ sqrt {G}}} | {\ displaystyle 2 ^ {- 1} ({\ sqrt [{4}] {2}} + 1) {\ sqrt {G}}} |
exp (-5π) | {\ displaystyle 2 ^ {- 3/2} 5 ^ {- 1/2} {\ sqrt {{\ sqrt {5}} - 1}} ({\ sqrt [{4}] {5}} - 1) ^ {2} {\ sqrt {G}}} | {\ displaystyle 2 ^ {- 3/2} 5 ^ {- 1/2} {\ sqrt {{\ sqrt {5}} - 1}} ({\ sqrt [{4}] {5}} + 1) ^ {2} {\ sqrt {G}}} | {\ displaystyle 2 ^ {1/4} 5 ^ {- 1/2} {\ sqrt {{\ sqrt {5}} + 2}} {\ sqrt {G}}} |
unde este {\ displaystyle G} indică constanta Gauss și această constantă este reciprocă a mediei aritmetico-geometrice între 1 și {\ displaystyle {\ sqrt {2}}} .
Alte relații importante pentru aritmetică:
- {\ displaystyle \ vartheta _ {10} (q) ^ {2} = 2 \ vartheta _ {10} (q ^ {2}) \ vartheta _ {00} (q ^ {2});}
- {\ displaystyle \ vartheta _ {00} (q) + \ vartheta _ {01} (q) = 2 \ vartheta _ {00} (q ^ {4});}
- {\ displaystyle \ vartheta _ {00} (q ^ {4}) + \ vartheta _ {10} (q ^ {4}) = \ vartheta _ {00} (q);}
- {\ displaystyle \ vartheta _ {00} {\ big (} \ exp (- \ pi / y) {\ big)} = {\ sqrt {y}} \, \ vartheta _ {00} {\ big (} \ exp (- \ pi y) {\ big)};}
- {\ displaystyle {\ frac {n \ vartheta _ {00} {\ big (} \ exp (-n \ pi {\ sqrt {w}}) {\ big)} ^ {2}} {\ vartheta _ {00 } {\ big (} \ exp (- \ pi {\ sqrt {w}}) {\ big)} ^ {2}}} = \ sum _ {k = 1} ^ {n} \ operatorname {dn} \ left ({\ frac {2k} {n}} K {\ big (} \ lambda ^ {*} (w) {\ big)}; \ lambda ^ {*} (w) \ right).}
Abrevierea {\ displaystyle \ operatorname {dn}} reprezintă funcția eliptică Jacobi Delta Amplitudinis.
Sume infinite
Sumă infinită a valorilor reciproce ale numerelor Fibonacci în locuri impare:
- {\ displaystyle \ sum _ {n = 1} ^ {\ infty} {\ frac {1} {F_ {2n-1}}} = \ sum _ {n = 1} ^ {\ infty} {\ frac {{ \ sqrt {5}} \ Phi ^ {2n-1}} {\ Phi ^ {4n-2} +1}} = {\ frac {\ sqrt {5}} {2}} \ sum _ {n = 1 } ^ {\ infty} \ operatorname {sech} {\ big (} (n - {\ tfrac {1} {2}}) \ operatorname {arcosh} ({\ tfrac {3} {2}}) {\ big )} = {\ frac {\ sqrt {5}} {4}} \ vartheta _ {10} (\ Phi ^ {- 2}) ^ {2} = {\ frac {\ sqrt {5}} {\ pi }} {\ sqrt {\ lambda ^ {*} (16 \ pi ^ {- 2} \ ln (\ Phi) ^ {2})}} K {\ big (} \ lambda ^ {*} (16 \ pi ^ {- 2} \ ln (\ Phi) ^ {2}) {\ big)}.}
Suma infinită a valorilor reciproce ale pătratelor numerelor Fibonacci:
- {\ displaystyle \ sum _ {n = 1} ^ {\ infty} {\ frac {1} {F_ {n} ^ {2}}} = {\ frac {5} {12}} \ vartheta _ {10} (\ Phi ^ {- 2}) ^ {4} - {\ frac {5} {24}} \ vartheta _ {00} (\ Phi ^ {- 2}) ^ {4} + {\ frac {5} {24}}.}
Bibliografie