空蟬

投稿

超幾何関数 PDF

公開日: 5/09/2021

ご不明点・お気付きの点がございましたらコメント欄または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積分の一般化

公開日: 9/21/2020

Gauss積分の一般化定理　非負整数

m

c_{2 m} \begin{aligned} \int_{- \infty}^{\infty} \exp (\sum_{k = 0}^{2 m} c_{k} x^{k}) d x = \frac{e^{c_{0}} {(- c_{2 m})}^{- 1 / (2 m)}}{m} \sum_{\begin{array}{c} (a_{1}, \dots, a_{2 m - 1}) \in N_{0}^{2 m - 1} \\ a_{1} + a_{3} + \dots + a_{2 m - 1} \equiv 0 \\ (\mod .2) \end{array}} Γ (\frac{1}{2 m} + \frac{1}{2 m} \sum_{k = 1}^{2 m - 1} k a_{k}) \prod_{ℓ = 1}^{2 m - 1} \frac{c_{ℓ}^{a_{ℓ}} {(- c_{2 m})}^{- ℓ a_{ℓ} / (2 m)}}{a_{ℓ}!} \end{aligned}

$ \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(

You can't use 'macro parameter character #' in math mode

\right)} \newcommand{\mat}[1]{

You can't use 'macro parameter character #' in math mode

} \newcommand{\sgn}[1]{\mathrm{sgn}\pare{#1}} \newcommand{\vctr}[1]{\left(

You can't use 'macro parameter character #' in math mode

\right)} \newcommand{\pare}[1]{\left( #1 \right)} \newcom...

Keplerの第三法則

公開日: 9/18/2020

留数定理を用いて以下の定積分の値を求める. (

ε

は定数)

\begin{array}{r} \int_{0}^{2 π} \frac{d θ}{(1 + ε \cos θ)^{2}} \end{array}

中心力のみが働く二次元平面上の二体問題についての運動方程式を考え,

r

と

θ

の関係式を求めると,

\begin{array}{r} \frac{d θ}{d t} = \frac{h}{r^{2}}, r = \frac{h^{2} / k}{1 + ε \cos (θ + θ_{0})} \end{array}

である. (但し,

h, k

は定数.) この軌道の周期

T

を求める. ただし, 楕円軌道を仮定するため,

0 \leq ε こ の 積 分 値 を, 留 数 定 理 を 用 い て 求 め る .

z=e^{i\theta}

と す る と,

dz=ie^{i\theta}d\theta=izd\theta

よ り,

d\theta=\dfrac{dz}{iz}

で あ る . 積 分 経 路 は

C\colon=\{\ z\in\mathbb{C}\ \mid\ |z|=1\ \}

Erroneous nesting of equation structures

f(z)

の 極 は,

z=-\varepsilon^{-1}\pm\sqrt{\varepsilon^{-2}-1}

で あ り,

\alpha_1:=-\varepsilon^{-1}+\sqrt{\varepsilon^{-2}-1},\ \alpha_2:=-\varepsilon^{-1...

Riemannゼータ関数入門1

公開日: 9/10/2020

Riemannゼータ関数についての基礎的な事項についてまとめた. 内容 Riemannゼータ関数絶対収束域の導出素数の無限性の証明無限積の収束の定義 Riemannゼータ関数のEuler積表示の証明 Riemannゼータ関数が

Re (s) > 1

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

HTMLでLaTeX (MathJax)

公開日: 9/10/2020

MathJaxを用いて, HTML上でLaTeXコマンドを使えるようにする以下の内容を <body> タグ内に追記する. <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-chtml.js"> </script> <script> MathJax = { tex: { inlineMath: [['

^{'},^{'}

'], ['$', '$']] }, svg: { fontCache: 'global' } }; </script> インライン数式は,

または

の間に書けば,

B (z, w) = \frac{Γ (z) Γ (w)}{Γ (z + w)}

のように反映される. alignなどは,

\begin{array}{r} \int_{0}^{\frac{π}{2}} \frac{\sin x \cdot \sinh (\sin x)}{\cos (\cos x) + \cosh (\sin x)} d x = \frac{π}{8} \end{array}

のようにすれば,

\begin{array}{r} \int_{0}^{\frac{π}{2}} \frac{\sin x \cdot \sinh (\sin x)}{\cos (\cos x) + \cosh (\sin x)} d x = \frac{π}{8} \end{array}

のように表示される. \newcommandなどについても, $$ \newcommand{\pdiff}[2]{\dfrac{\partial #1}{\partial #2}} \newcommand{\diff}[2]{\dfrac{d #1}{d #2}} \newcommand{\bm}[1]{\boldsymbol{#1}}...

楕円曲線上の有理点の構成

公開日: 9/10/2020

問.

C : y^{2} = x^{3} - 2

とし,

C

上の点

P_{n}

を次のように定める.

(a) P_{1} = (3, 5)

(b) P_{n}

における

C

の接線をとり,

P_{n}

ではない

C

との交点を

P_{n + 1}

とする. このとき以下の問いに答えよ.

(1) P_{n}

の

x

座標を

x_{n}

と置くと,

x_{n + 1} = \frac{{x_{n}}^{4} + 16 x_{n}}{4 ({x_{n}}^{3} - 2)}

であることを示せ.

(2) m, n

を

0

A=m(m^3+16n^3), B=4n(m^3-2n^3)

と 置 い た と き,

と

の 最 大 公 約 数 は

の 約 数 で あ る こ と を 示 せ .

(3)\ x_n

を 正 の 既 約 分 数 と し た と き の 分 子 を

H(x_n)

と し た と き,

H(x_{n+1})>\dfrac{1}{24}H(x_n)^4

を 満 た す こ と を 示 し, 2 以 上 の 任 意 の 自 然 数

に 対 し,

x_1,...,x_n

は す べ て 異 な る こ と か ら

上 に 有 理 点 は 無 限 に あ る こ と を 証 明 せ よ . (解 答) (1)

y^2=x^3-2

を 各 辺 微 分 す る と,

2yy'=3x^2

で あ り,

y_n\ne0

に お け る

(x_n, y_n)

に お け る 接 線 の 方 程 式 は \[y = \frac{3 {x_{n}}^{2}}{2 y_{n}} (x - x_{n}) + y_{n} \] で あ る .

と の 交 点 の

座 標 が 満 た す 方 程 式 は \begin{array}{r} {\frac{3 {x_{n}}^{2}}{2 y_{n}} (x - x_{n}) + y_{n}}^{2} = x^{3} - 2 \end{array} と な る . こ の 方 程 式 は

x_n

を 二 重 解 に 持 つ の で, 解 と 係 数 の 関 係 か ら

x$の二次の係数に着目して,

\begin{aligned} x_{n} + x_{n} + x_{n + 1} = {(\frac{3 {x_{n}}^{2}}{2 y_{n}})}^{2} \end{aligned}

\begin{align*} \therefore x_{n+1}&=\dfrac{9{x_n}^4}...

中間値の定理 (有界単調数列の収束性を認めた証明)

公開日: 9/10/2020

ここでは,

0 \in N

であるものとする. 中間値の定理　閉区間

[a, b]

上で定義された実数値連続関数

f

の最大値を

M

, 最小値を

m

とする. このとき, 任意の実数

k \in (m, M)

に対し,

f (c) = k

かつ

c \in (a, b)

を満たす実数

c

が存在する. 証明　

f

の

[a, b]

上で, 最小値を与えるもののひとつを

p \in [a, b]

, 最大値を与えるもののひとつを

q \in [a, b]

とする. すなわち,

\begin{array}{r} f (p) = m, f (q) = M \end{array}

を満たすものとする. ここで,

p q

の場合もほぼ同様に証明することができる. ただし,

p = q

の場合は,

(m, M) = \emptyset

であるから, これも題意を満たすものとする. (

x \in \emptyset

は, どのような

x

に対しても矛盾であるから, いかなる命題も真にできる.) 　ここで区間について

(m, M) = (f (p), f (q))

であり,

k \in (m, M) \Leftrightarrow k \in (f (p), f (q))

であり,

f (p) \(n = 0

のとき,

\begin{array}{r} {\begin{cases} p_{0} := p \\ q_{0} := q \end{cases} \end{array}

n \geq 1

のとき, \begin{align} \begin{matrix} f\left(\dfrac{p_n+q_n}{2}\right)\leq k\ & \Longrightarrow \

\begin{array}{r} {\begin{cases} p_{n + 1} := \frac{p_{n} + q_{n}}{2} \\ q_{n + 1} := q_{n} \end{cases} \end{array}

\ f\left(\dfrac{p_n+q_n}{2}\right)> k\ &...

Cauchyの積分公式を用いたPoisson核の導出

公開日: 9/04/2020

f (z)

が

| z | \leq R

で正則なとき,

z = r e^{i θ} (0 \leq r (証 明) \(f

の正則性とCauchyの積分公式から,

| z | \(f

を

f (r e^{i θ}) = u (r, θ) + i v (r, θ), (u, v : R_{\geq 0} \times [0, 2 π) \to R)

と表すと,

f

の正則性から

u, v

はLaplace方程式

\nabla^{2} u (r, θ) = \nabla^{2} v (r, θ) = 0

を満たす調和関数であるから, (1)式の実部を見ると, 一般の調和関数

u (r, θ)

に対して, \(0\leq r Tweet

ジョルダン標準形(2) : ジョルダン細胞の累乗

公開日: 4/12/2020

前回の続き Jordan細胞の累乗

J_{n} (λ)

の

m

乗は、

\begin{array}{r} {J_{n} (λ)}^{m} = [(\begin{array}{c} m \\ j - i \end{array}) λ^{m + i - j}] \end{array}

である. (証明)

\begin{array}{r} J_{n} (λ) = λ I_{n} + J_{n} (0) \end{array}

の各辺を

m

乗し、二項定理で展開すると、

\begin{aligned} {J_{n} (λ)}^{m} \\ = (λ I_{n} + J_{n} (0))^{m} \\ = \sum_{k = 0}^{m} (\begin{array}{c} m \\ k \end{array}) (λ I_{n})^{m - k} \cdot J_{n} (0)^{k} \\ = \sum_{k = 0}^{m} (\begin{array}{c} m \\ k \end{array}) λ^{m - k} [δ_{i + k, j}] \\ = [(\begin{array}{c} m \\ j - i \end{array}) λ^{m + i - j}] \end{aligned}

(補足) 一般化二項係数

\begin{aligned} (\begin{array}{c} a \\ b \end{array}) : & = \frac{Γ (a + 1)}{Γ (b + 1) Γ (a - b + 1)} \\ = \frac{a!}{b! (a - b)!} \end{aligned}

であるから、上で

j - i

が負の整数のときは分母が発散し、形式的に0になることにしておけば

J^{m}

がきちんと上三角行列になっていることがわかる. Tweet

Fermatの小定理(群論)

公開日: 4/12/2020

Fermatの小定理(群論) 有限群

G

の任意の要素

g

について、

\begin{array}{r} g^{| G |} = 1 \end{array}

が成立する. (但し、

1

は

G

の単位元) (証明) 補題1

g \in G

の位数は有限である. 更にそれを

ord (g)

と書くことにする.

g

で生成される巡回群

⟨ g ⟩

は

G

の部分群であって、

\begin{array}{r} ord (g) = | ⟨ g ⟩ | \end{array}

が成立する.

∵

\begin{array}{r} ⟨ g ⟩ := {g^{n} | n \in N \cup {0}} \end{array}

であるが、

G

は群なので

\forall n, g^{n} \in G

より、

⟨ g ⟩ \subset G

だから\(|\left\langle g\right\rangle|\leqq |G| 鳩の巣原理により、\(\exists i,\exists j\in\mathbb{N}\cup\{0\},\ i{ 次に、\(0 {

∴ | ⟨ g ⟩ | = ord (g)

補題2 (Lagrangeの定理)

G

の任意の部分群

H

と、

H

上の同値関係

\sim

を

\begin{array}{r} a \sim b \Leftrightarrow a^{- 1} b \in H \end{array}

で定めたときの左剰余類

G / H := {g H | g \in G}

に対して、

\begin{array}{r} | G | = | G / H | | H | \end{array}

が成立する. (証明略) これらを用いると、

H = ⟨ g ⟩

とすれば、 \begin{align} g^{|G|} =g^{|G/\left\langle g...