アトムの物理ノート

弟１０夜

タイトルの「論理と直感のはざまで」であるが、実は論理と直感、どちらを先におくべきかなと悩んでいた。　私が優先したいのは直感であるが、それは素朴な直感ではなく、論理によって鍛えられた直感である。　論理を踏んだ上で、築き上げたられた後付の直感である。　論理は必要だが、それだけでは虚しく感じてしまうからである。　そんな訳で、どちらを先におくべきかと悩んでいたが、結局なんとなく「論理と直感のはざまで」の方が語呂がいいようなので、これに固定しようと思う。


久しぶりに自分の書いた記事を読み返すと、記事ごとにテーマが微妙にずれているし、置き去りにされた話題もあるようだが、まあ、数学に関係して思いついたことをダラダラと書いているわけで、特に目的もないのでこれはこれで良しとしよう。

全文を表示 »

弟９夜

いたるところ微分不可能な連続関数の例として有名な高木関数をグラフにしてみる。
高木関数の構成方法は、wikipedia のものを採用した。　のこぎり関数 S(x)を

S(x) = min_n⊆Z | x - n |

とする。これはｘ＝1/2, 3/2 , 5/2 ,........にピークを持つノコギリの歯の形をした関数である。
高木関数はこのノコギリ関数を使って

T(x) = Σ_n=0→∞ 2^-n S(2ⁿ x)

と定義される。　この和が収束し連続関数を構成することはほぼ自明なので証明はぬきにして、グラフを描いてみることにする。

全文を表示 »

（この記事は、テイラー展開について多少知識を持っている方のみを対象として書いています。）

解析接続の記事で、「解析性」を「微分可能性」だと考えると大体良いというようなことを書いたが、正確ではない。　複素関数論の解析性について説明するのは荷が重いので、実関数に限り、関数の微分可能性と、その連続性、またそのテイラー展開可能性についての話をしてお茶を濁すとしよう。
このテーマは「論理と直感のはざまで」の弟９回の高木関数、そして１０回の関数の連続性の定義とも関係しているのでそちらも参考にして欲しい。

全文を表示 »

チェレンコフ光はロシア人科学者、チェレンコフによって発見された現象。媒質中を電荷を持った粒子が媒質中の光速C_nより速い速度で移動するときに発する円錐状に広がる光。媒質中の光速を０．５に固定して、チェレンコフ光をアニメーションにしてみた。以下、媒質中を移動する電子の速さをv_eとする。

v_e=０．４（チェレンコフ光なし）

全文を表示 »

週末時間が取れたので、東野圭吾さんの「怪笑小説」を読んだ。ブラック・ジョークのつまった短編集である。　本を読みながら笑うのは他人からみれば薄気味悪いというのは百も承知だが、笑わずにいられない。　以下の9編、皆さんも大いに笑ってください。　私はしかばね台分譲住宅がツボにハマッタ。あるジーサンに線香は多少切ない。

1. 満員電車
2. おっかけバアさん
3. 一徹おやじ
4. 逆転同窓会
5. 超たぬき理論
6. 無人島大相撲中継
7. しかばね台分譲住宅
8. あるジーサンに線香を
9. 動物家族

次の微分方程式を F(０)=1という条件で解こう。


(1-x) d/dx F(x) = F(x)


解ける人には直ぐに解ける。　ここではF（ｘ）に級数和の形を仮定して解こうと思う。つまり
F(x)=Σ_n a_n xⁿ として、a_nを求めると答えがわかったと言うわけである。

全文を表示 »

解析接続でよく陥る違いに、次のようなものがある。　

S(x)はF(x)に等しいというが S(x)　=　1+x+x²+x³+x⁴+・・・・・+x^∞ においてｘ＝２を代入すると

S(2)= 1+2+4+8+16+・・・・・＋∞


となり、一方　F(2)=1/(1-2)=-1　だから、


1+2+4+8+16+・・・・・＋∞＝-1


という式が得られ、これは宇宙の神秘を表しているのか？　というような誤解である。

全文を表示 »

解析接続について書きたい。　あまり高等なことは書けないので、詳しい証明などを知りたい方は専門の参考書を読んでください。　まず、解析接続とは何か、ということを簡単な例で示したい。

全文を表示 »