学年

教科

質問の種類

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

大学数学、複素関数論、ガンマ関数、無限積に関する質問です。 画像の◯の式2つはどう計算したら出てくるのか、命題5.14と比較するととありますがどのように比較しているのかを教えていただきたいです。

-115 [証明] 関数(1+z)e-? =D1-2|2+…はz%30でのテイラー展開に1次の を収束 が成り立つ、いま1+u,(z) = (1+z/n)e-3m によって u (2)を定めれば, \2 命題5.14 次の無限積は全平面で絶対収束する. g(2) = i (1+ )em n=1 n 明] 関数(1+z)e^ =D1-2"/2+…はz%30でのテイラー展開に1次の O (|2|Sr) 成り立つ。 いま1+u,(2) = (1+2/m)e-/n によって u,(2) を定めれば, |2|< Rかつれ2R/r なる限り R? len(2)|S M n? ゆえにワイエルシュトラスのM-判定法が適用される。 をおesn は零点を持たないから, g(z) の零点は z=-1,-2, … Iに限る。 I さて,正の実数eに対して,ガンマ関数T(z) はオイラーの公式 1 lim ニ T(x) E > (5.13) n→0 n!n* で与えられる(本シリーズ『微分と積分1』$4.1). 右辺をさらに変形すると 1+ 2+£ n+£ lim n "c Tg_u 1 2 n→0 n n -glog ne lim e ニ k n→0 k=1 = lim e*(1+1/2+…1/n-logn)ag II (1+-)e. ニ n→0 k=1 命題5.14 と比較すると,極限 1 Y= lim (1+ 2 -log n) = 0.57721… n→0 n が存在することがわかる(これはオイラーの定数と呼ばれる). 以上から z= が正の実数のとき 1 (5.14) = e"zi(1+-)e 4/2- T(z) n=1

未解決 回答数: 1
数学 大学生・専門学校生・社会人

この問題の丸の部分には、なぜ-1が入るのでしょうか。

基本例題 10] 直線に関する対 直線 x+y=1 に関して点Qと対称な点をPとする。点Qが直独 x-2y+8=0 上を動くとき, 点Pは直線 上を動く。 156 重 基本79.% (1 (コ OLUTION CHART 線対称 直線(に関して, PとQが対称 [1] 直線 PQ がlに垂直 C >P 台 [2] 線分 PQの中点がl上にある 点Qが直線ォ-2y+8=0 上を動くときの, 直線:x+y=1 に関して点Qと対称な点Pの軌跡, と考える。 つまり, Q(s, t) に連動する点P(x, y) の軌跡 →0 s, tをx, yで表す。 2 x, yだけの関係式を導く。 (解 前 のinf. 線対称な直線を求め 解答 直線x-2y+8=0 …0 の上を動く点をQ(s, t) とし, 直線 x+y=1 に関して点Qと対称な点を P(x, y)とする。 直線 PQ が直線②に垂直で の 71(p.131)のような方法も あるが、左の解答で用いた 軌跡の考え方は,直線以外 の図形に対しても通用する。 るには,EXERCISES ………の Q(s, t) 1 -8 あるから /P(x,y) 1-y *垂直→傾きの積が -1 線分 PQの中点が直線 ②上にあるから x+s MO -線分PQの中点の座標は 2 3から のから s-t=x-y (x+s s+t=2-(x+y) S, tについて解くと また,点Qは直線①上の点であるから S=1-y, t=1-x… 5 *上の2式の辺々を加え ると 2s=2-2y 辺々を引くと -2t=2x-2 * s, tを消去する。 s-2t+8=0 … 6 6を6に代入して したがって, 求める直線の方程式は (1-y)-2(1-x)+830 2.x-y+7=0 PRarTiC

回答募集中 回答数: 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