空蟬

投稿

9月, 2020の投稿を表示しています

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