About TMyuki

趣味は数学(解析・情報)と簡単な手品.アーサー・ベンジャミン氏のような数学エンターテイメントに憧れている.

Posts by TMyuki:

行列の上三角化

n 次実正方行列 A の各固有値の重複度と,対応する固有空間の次元が一致するとき(あるいは An 個の1次独立な固有ベクトルをもつとき),A は対角化可能(diagonalizable)である.一方,A が対角化可能でないときでも,A を上三角化(triangular)することができる.すなわち

    \[ P^{-1}AP = \left[ \begin{array}{ccccc} \lambda_1&&&&\\ &\lambda_2&&*&\\ &&\ddots&\\ &0&&\ddots&\\ &&&&\lambda_n \end{array}   \right] \]

なる正則行列 P が存在する.ここで \lambda_i~~(i = 1,2,\ldots ,n)A の固有値.

この P が存在することを証明したものはよく見かけるが,実際に計算した例を見ることは少ない.理由は簡単で,難しいことは考えずにとりあえず Jordan 標準形を構成してしまえば,それは上三角行列にほかならないからである.

今回はもし,なんらかの理由で正則行列 P によって Jordan 標準形ではない上三角行列を構成する必要がある場合のための計算メモ.なお,P は正則行列というだけではなく,直交行列まで制限することができるが,今回はやらない.

続きを読む

人口予測のモデル#2

前回の記事では Malthus による人口予測のモデルを扱った.前回のモデルには多くの問題点があったが,そのなかの一つ,人口が限りなく増加してしまうという点について,1837年にオランダの生物学者 Verhulst(フェルフルスト)が 人口過密 を考慮に入れた修正を提案した.

Model 2.1(Verhulst の人口モデル)
時刻 t におけるある国の総人口 N = N(t) は,時刻 t=0 における人口 N_0 と定数 \gamma , M を用いて

    \[ 	N = \frac{M}{1 + \left(\frac{M}{N_0}-1\right)e^{-\gamma t}} \]

と表されると予測できる.

 

今回はこのモデルについてのメモ.
 
続きを読む

人口予測のモデル#1

英国の経済学者 Malthus(マルサス)は,1798 年出版の「人口論」において,次のようなアイデアを提案した.

Model 1.1(Malthus の人口モデル)

時刻 t におけるある国の総人口 N = N(t) は,時刻 t=0 における人口 N_0 と定数 \gamma を用いて

    \[ N = N_0e^{\gamma t} \]

と表されると予測できる.

 

もちろん実際の人口はここまで単純な数式で完全に表現することはできないだろうが,微分方程式と数学モデル,という意味では良い例だと考えられる.今回はこのモデルについてのメモ.

続きを読む

Maclaurin展開#2 対数関数

自然対数関数 \log{(1+x)}-1 < x \leqq 1 において

    \[ \log{(1+x)} = \sum_{n=1}^{\infty}\frac{(-1)^{n-1}}{n}x^n \]

の形で表すことができる.これが \log{(1+x)} の Maclaurin(マクローリン)展開(もしくは x=0 の周りでの Taylor(テイラー)展開)である.高校数学の範囲で x \geqq 0 の範囲 について示してみる.また,その結果を利用して, Mercator 級数(メルカトル――)

    \[ \sum_{n=1}^{\infty}\frac{(-1)^{n-1}}{n} = 1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots \]

の値を求める.

続きを読む

Basel問題(バーゼル――)

Basel 問題は 自然数の平方数の逆数すべての和

    \[ \sum_{n=1}^{\infty} \frac{1}{n^2} = \frac{1}{1^2} + \frac{1}{2^2} + \frac{1}{3^2} + \cdots \]

を求める問題である.この級数の和が \frac{\pi^2}{6} に収束することを,高校数学の範囲で示す方法についてのメモ.

なお,今回の手法については 日本女子大学 理学部 数学科 の2003推薦入試の問題 を改題したものを利用している.

続きを読む