模様からの脱線ついでに、もうひとつ数学風の話題。前回の記事でも参照した、高木関数。これの二変数版を考えてみる。どうなるか。とりあえずの回答が、次のアニメである。

a0180787_2252381.gif


高木関数のことを高木曲線ということもあるようなので、これは高木曲面というべきだろうか。ツールはExcelのグラフ機能を使った。

どう作ったか。まず次のようなピラミッドを用意する。右は等高線である。
a0180787_22555231.gif

a0180787_22561048.gif

a0180787_22562171.gif

a0180787_22563250.gif

a0180787_22564099.gif

a0180787_22564843.gif


おろし金のようになってきた。この各ステップを順番に積み重ねていくと、だんだんデコボコしてくる。
a0180787_22594699.gif

a0180787_22595457.gif

a0180787_230096.gif

a0180787_230541.gif

a0180787_2301052.gif

a0180787_2301791.gif


まるで地獄の針の山のようだ。高木関数と同じで「連続だが至る所で微分不可能な関数」になるのだろう。いつか3Dプリンターで、高木曲面オブジェを作ってみたい。

最初のピラミッドの高さについては、正方形の一辺を1として、高さ1/2となる設定で作ったが、正八面体の半分のサイズのピラミッド(高さは1/√2)の方がいいかもしれない。正方形の対角線を通る断面(正方形に垂直な断面)で切ったときにちゃんと高木関数が現れる。アルキメデスは高木関数に似た方法で放物線を作ったが、これで同じことをするとどんな曲面ができるだろうか。

ところで。今回はピラミッドから始めたのだが、次のように考えても面白いかもしれない。フラクタル日よけとしても有名な、シェルピンスキーの四面体。これを作るには、正四面体から正八面体をくり抜く操作を繰り返す。いちどくり抜くと正四面体が4つできる。それぞれの正四面体からまた小さな正八面体をくり抜く。そうすると正四面体が16個できる。どのステップのスポンジも、ある方向から見ると、穴がないように見える(正四面体は正方形に見える)。この、各ステップのスポンジを平面に降り積もらせれば、先ほどのおろし金ができる。
by j344 | 2013-11-25 23:28 | 数学 | Comments(1)

模様の話から少し外れる。数学の話。苦手な方は読み飛ばして頂いて構いません。

格子からみえる数学

枡田幹也 / 日本評論社


を読んでいると、見覚えのある数列が出てきた。基本三角形との関連で紹介されている、スターンの二原子数列。高校時代に有名なフラクタル図形、シェルピンスキーのギャスケットのことを調べていて、同じ数列に出くわしたことがあるのだ。基本三角形は、基本平行四辺形の半分なので、こじつければ模様と無関係ではないかもしれないのだが。

『格子からみえる数学』とは違う方法で、このスターンの二原子数列を構成してみよう。パスカルの三角形から始める。

a0180787_23372094.gif


いつも見るのと違うかもしれないけれど、左端を揃えてあるだけで中身は変わらない。中の数はどれも、左上の数と真上の数の和になっている。

よく知られている事実だが、パスカルの三角形からフィボナッチ数列を作ることができる。
a0180787_23434488.gif

こんな感じにパスカルの三角形の斜めのところを足し算すればよい。赤い数字の列を縦に読めば、前二項の和が次の項になっていることが確認できるだろう。

ところで、パスカルの三角形を2で割った余りを並べてみると、次のようになる。
a0180787_23472250.gif

これも有名な事実だが、これをずっと続けていくと、シェルピンスキーのギャスケットができる。
a0180787_23475890.gif


ここで、先ほどフィボナッチ数列を作ったときと同じように、斜めのところを足し算すると、どんな数列が現れるだろうか。
a0180787_23512684.gif

赤い数字。縦に読むと、増えたり減ったりしている、変な数列だ。これがスターンの二原子数列である。

このスターンの二原子数列には、次の奇妙な漸化式が知られている。
a0180787_23545896.gif

じつは、この漸化式だけからでもスターンの二原子数列を生成することができる(きちんと定義できているか不安な方は、次のように考えればよい。任意のインデックスnは偶数か奇数かのいずれかである。この漸化式を繰り返し使えば、インデックスをどんどん小さくしていくことができて、どんなnからスタートしても、有限回のステップでa1にたどりつく)。

さて。先ほどのパスカルの三角形からの構成と、この漸化式からの構成。同値であることを証明するにはどうしたらいいだろう。ここに答えは書かないので、興味のある方は考えてみてほしい。

この数列の母関数を考えてみても面白い。
a0180787_8543392.gif

と定義する。先の漸化式を上手く使うと(|x|<1なら)、
a0180787_0133478.gif

たぶん、こんな感じに変形できるはずだ(きちんと証明していないので違っていたらすみません)。

スターンの二原子数列はファレイ数列の分子にも現れる。『格子からみえる数学』でも、基本三角形に関係するのは、じつはファレイ数列の方だ。フォードの円とも関係がある。ファレイ数列は『数学セミナー2013年12月号』に掲載の寺澤順「有理数をカウントする数式」という記事でも紹介されていた。

ちなみに、なぜ、この数列に興味を持つに至ったかについては、高木関数に似たものを、シェルピンスキーのギャスケットから作るとどうなるのかなあと考えて、三角形の数を数えるときに必要になったからであった。この試み自体はたいして面白い結果にはならなかったのだが、好きな数列ができてよかった。流行ると面白いなあと思う。
by j344 | 2013-11-24 00:38 | 数学 | Comments(2)