学年

教科

質問の種類

数学 大学生・専門学校生・社会人

大学数学、複素関数論、テータ関数に関する質問です。 写真のテータ関数の無限積表示(5.24)の式の1行目の形にどうやってしているのかと、命題5.22の(5.26)の証明を教えていただきたいです。

(b) テータ関数 ヤコビは楕円関数論の研究において, 次の級数を導入した。 9(2) = 22(-1)"-!g"-1/2)" sin(2n-1)Tu n=1 2(g/4 sin Tu-g/ sin 3Tu+q^/4 sin 5Tu-…). (5.23) 三 これはヤコビの楕円テータ関数(以下単にテータ関数(theta function))と呼 ばれるものの1つである. limd,(u)/2q'/4=Dsin Tu なので, 0,(u) は sin Tu 9→0 の一種の拡張と見ることができる。 伝統的な記号にならって, 以下 2ミe2miu a=2 q= eir, と書こう.gl<1だから Imr>0である. このとき(5.23)の右辺は TiT 2Tiu 9=e 9 2と(-1)"-1gm-1/2)?_2"-1/2 _2-n+1/2 =iこ(-1)"gm-1/2)°n-1/2 n=1 2i n=-00 = ig4z-1/2 (-1)"g"(n-1)z" n=-00 と書き直すことができる.右辺に3重積公式(5.22)を用いれば, テータ関数 の無限積表示が得られる: 0,(u) = iq'4z-1/2(1-2) II (1-g"2)(1-g"z-')(1-g") n=1. = 2q/4 sin Tu I (1-2g" cos 2Tu+g")(1-g"). 三 (5.24) n=1 命題5.22 0,(u) はuの整関数で 0,(-u) = ー6,(u). (5.25) 0 0(u) = 0 < (m,nEZ). 0,(u+1) = -0, (u), 9,(u+t) = -e-mi(r+2u)9, (u). (5.27) u= m+nT (5.26) 0 + 2u) [証明](5.25),(5.26) は(5.24)から簡単にわかる. また前節の無限積

回答募集中 回答数: 0
数学 大学生・専門学校生・社会人

多様体の接空間に関する基底定理の証明です。g(q)=∫〜と定義した関数を微積分学の基本定理を用いながら変形してg(q)=g(0)+∑gᵢuⁱと導出するのですが、これがうまくいきません。 自分は、g(q)の式をまず両辺tで微分して、次に両辺uⁱで積分して、最後に両辺tで積分... 続きを読む

12. Theorem.If{ = (x', , x") is a coordinate system in M at p, then its coordinate vectors d, lp, …… 0,l, forma basis for the tangent space T,(M); and D= E(x) 。 i=1 for all ve T(M). Proof. By the preceding remarks we can work solely on the coordinate neighborhood of G. Since u(c) = Othere is no loss of generality in assuming ど(p) = 0eR". Shrinking W if necessary gives E(W) = {qe R":|q| < } for some 8. Ifg is a smooth function on E(W) then for each 1 <isndefine og (tq) dt du g(9) = for all qe {(W). It follows using the fundamental theorem of calculus that g= g(0) + E&,u' on (W). Thus if fe &(M), setting g = f。' yields f= f(P) + Ex on U. Applying d/ax' gives f(p) = (f /0x)(P). Thus applying the tangent vector e to the formula gives (f) = 0+ E(x'(p) + E Ap)u(x) = E(Px). ず ax Since this holds for all f e &(M), the tangent vectors v and Z Ux') d,l, are equal. It remains to show that the coordinate vectors are linearly independent. But if ) a, o.l, = 0, then application to x' yields dxi 0=24 (P) = 2q d」= 4. In particular the (vector space) dimension of T,(M) is the same as the dimension of M.

未解決 回答数: 1