空蟬

ご不明点・お気付きの点がございましたらコメント欄またはTwitter ( @FugaciousShade ) までよろしくお願いします。 最終更新日：2021年8月7日 （右上のボタンを押すことでポップアップ表示ができます。） 更新履歴 2021年5月 9日 公開開始（内容：まえがき，付録(Poisson和公式, Gamma関数)） 2021年5月10日 付録：Hermite関数系の完全性を追加 2021年5月11日 軽微な修正 2021年5月19日 付録：Pochhammer記号（公式集），常微分方程式論（定数係数2階常微分方程式，Euler方程式）を追加 2021年5月22日 初等関数のGaussの超幾何級数表示の節、Pochhammer記号の公式の証明を追加 2021年5月23日 誤植の修正 2021年5月26日 Gaussの超幾何微分方程式，一般化超幾何微分方程式を追加 2021年5月30日 収束半径と特異点，Gaussの超幾何定理を追加 2021年6月15日 一部の記述を修正・追加 2021年7月22日 多重対数関数，Riemann Zeta関数を追加 2021年7月27日 誤植の修正，演習問題の追加 2021年8月 1日 Euler作用素の冪乗についての記述を追加，軽微な修正 2021年8月 2日 軽微な修正 2021年8月 7日 Gauss積分，定数係数斉次常微分方程式，線型空間，第二種Stirling数についての記述を追加 Tweet

Gauss積分の一般化 定理 　非負整数$m$, $c_{2m} \begin{align} &\int_{-\infty}^\infty \exp\left(\sum_{k=0}^{2m}c_kx^k\right)dx =\dfrac{e^{c_0}\left(-c_{2m}\right)^{-1/(2m)}}{m} \sum_{ \substack{ (a_1,\ldots,a_{2m-1})\in\mathbb{N}^{2m-1}_0 \\ a_1+a_3+\cdots+a_{2m-1}\equiv 0\\ (\mathrm{mod}.2) } } \Gamma\left(\dfrac{1}{2m}+\dfrac{1}{2m}\sum_{k=1}^{2m-1}ka_k\right) \prod_{\ell=1}^{2m-1}\dfrac{c^{a_\ell}_\ell\left(-c_{2m}\right)^{-\ell a_\ell/(2m)}}{a_\ell !} \end{align} $$ \newcommand{\pdiff}[2]{\dfrac{\partial #1}{\partial #2}} \newcommand{\diff}[2]{\dfrac{d #1}{d #2}} \newcommand{\bm}[1]{\boldsymbol{#1}} \newcommand{\ele}{\bm{e}} \newcommand{\pmat}[1]{\left(\begin{matrix} #1 \end{matrix}\right)} \newcommand{\mat}[1]{\begin{matrix} #1 \end{matrix}} \newcommand{\sgn}[1]{\mathrm{sgn}\pare{#1}} \newcommand{\vctr}[1]{\left(\begin{matrix} #1 \end{matrix}\right)} \newcommand{\pare}[1]{\left( #1 \right)} \newcom...

Riemannゼータ関数についての基礎的な事項についてまとめた. 内容 Riemannゼータ関数 絶対収束域の導出 素数の無限性の証明 無限積の収束の定義 Riemannゼータ関数のEuler積表示の証明 Riemannゼータ関数が$\mathrm{Re}(s)>1$に零点を持たないことの証明 Basel問題の証明 ベータ関数 絶対収束性の証明 被積分関数を三角関数に変換した表示の証明 ガンマ関数 絶対収束性の証明 ベータ関数とガンマ関数の相互公式の証明 Gauss積分の証明 (下のボックスの右上に表示されているポップアウトボタンを押すと全画面でPDFを表示させることができます.) (最終更新 : 2020/09/10) 誤植や内容の不備, 質問などありましたらコメント欄またはTwitter( @FugaciousShade )までご連絡いただけると幸いです. 参考: 素数とゼータ関数 (共立講座 数学の輝き) 小山 信也 (著), 新井 仁之 (編集), 斎藤 毅 (編集), 吉田 朋広 (編集), 小林 俊行 (編集) Tweet

表題の展開係数は調和数を用いて表せることを紹介する。 東京大学2005年前期大問1と本質的には同じ問題である。 \(f(x):=\log ^2(1-x)\)と定め、原点を中心とした冪級数を求める。収束性などを無視すれば形式的に、 \begin{align}f(x)=\sum_{n=0}^\infty \dfrac{f^{(n)}(0)}{n!}x^n\end{align} であるから、\(f^{(n)}(0)\)が求まればよい。 まず、\(\forall n\in\mathbb{N}_{\geq 2}\)で \begin{align}f^{(n)}(x)= \dfrac{2(n-1)!}{(1-x)^n}\left(H_{n-1}-\log(1-x)\right)\cdots(\ast)\end{align}となることを数学的帰納法で示す。 但し、\(H_n\)は調和数で、 \begin{align}H_n:=\sum_{k=1}^n \dfrac{1}{k}\end{align}である。 \(f(x)\)を順に微分していくと、 \begin{align}f^{(1)}(x)&=-2\cdot\dfrac{\log (1-x)}{1-x}\\ \ f^{(2)}(x)&=\dfrac{2}{(1-x)^2}\left(1-\log(1-x)\right)\end{align} であり、\(n=2\)で成立。(\(f^{(1)}(0)=0\)も分かる) \(\mathbb{N}_{\leq n}\)で成立しているとする。 すると、 \begin{align} &f^{(n+1)}(x)\\ &=\dfrac{d}{dx}\left\{\dfrac{2(n-1)!}{(1-x)^n}\left(H_{n-1}-\log(1-x)\right)\right\}\\ &=\dfrac{2(n-1)!}{(1-x)^{2n}}\left\{\dfrac{1}{1-x}(1-x)^n+n(1-x)^{n-1}(H_{n-1}-\log(1-x)\right\}\\ &=\dfrac{2(n-1)!}{(1-x)^{...