Re: z/(exp(z)-1)のz=0での正則性とz=2πiはz/(exp(z)-1)の一位の極である事の証明
工繊大の塚本です.
In article <k0c9sk$dvg$1@dont-email.me>
"Kyoko Yoshida" <kyokoyoshida123@gmail.com> writes:
> http://www.geocities.jp/sayori_765195/prop192_1085__00.jpg
> を示したいのですがProp192.108はz/(exp(z)-1)=Σ_{n=0}^∞ B_n z^n/n!
> という定義から示せそうですが,
> 何故このようなベキ級数に展開可能なのか示していない為に
> Σ_{n=0}^∞ B_n z^n/n!は使えないと思います。
z/(\exp(z) - 1) は z = 0 での正則関数ですから,
ベキ級数に展開可能です.
> z/(exp(z)-1)から直接,z/(exp(z)-1)がz=0で正則である事は
> 示すにはどうすればいいのでしょうか?
それは散々議論しました.
> それとProp192.1085にて,φ(z)としてどんな関数が取れますでしょうか?
\exp(z) - 1 = (z - 2 \pi i) g(z), g(2 \pi i) = 1 となる
z = 2 \pi i での正則関数 g(z) を用いて,
\phi(z) = z/g(z) とするだけです.
--
塚本千秋@数理・自然部門.基盤科学系.京都工芸繊維大学
Tsukamoto, C. : chiaki@kit.ac.jp
Fnews-brouse 1.9(20180406) -- by Mizuno, MWE <mwe@ccsf.jp>
GnuPG Key ID = ECC8A735
GnuPG Key fingerprint = 9BE6 B9E9 55A5 A499 CD51 946E 9BDC 7870 ECC8 A735