今、目の前に高木貞治博士の論文集があります。高木貞治博士が28歳ぐらいのときに出版された論文
T. Takagi, A simple example of a continuous function without derivative, Proc. Phys. Math. Japan, (1903) Vol. 1, pp. 176-177.
は一ページ半に満たないものですが(Proceeding)、最初にそのような当時の感覚では病的な関数を発見したWeierstrassの例(1872年)に比べて、至る所微分不可能な連続関数の簡単な例を与えた有名な論文です。この高木関数とか高木曲線として有名な関数を、できるだけ博士が論文中で使用している記号のまま紹介したいと思います。

Dirichlet関数(高数美物語、アジマティクス、インテジャーズ)は至る所不連続な関数で有名な関数であり、それは当然至る所微分不可能ですが、Weierstrassの例や高木博士の例はある意味一段階レベルアップした病的な関数です。超有名ではありますが、Dirichlet関数のように大学の授業で必ず習うというわけではないです。あと、フラクタルになっています。
論文に沿った紹介
区間の実数
を
と進展開する(ただし、
は
または
)。各正整数
に対して
と
を
と定める(これはに依存して定まるが、
の
進展開が二通りある場合であってもその展開の仕方には依らない)。そうして、
を
によって定める(これものみに依存する)。このとき、
区間上の関数
を
によって定義する*1(これが高木関数と呼ばれているもの)。
および
をそれぞれ
における
の個数および
の個数とし(
)、
を
と定めると、
と書けることが容易にわかる(①)。は
上定義される連続関数である(②)。これが、至るところ微分不可能であることは特別な
に対する
を計算することによって証明できる:
まず、の場合は
が成り立つ(③)。また、の場合は
である(④)。
従って、のときは、
のときの
の値と
のときの
の値の差は
で与えられる(⑤)。
また、のときは、
のときの
の値と
のときの
の値の差は
で与えられる(⑤)。
はいくらでも大きくできるので、これより微分不可能性が従う(⑥)。
補足
①(高木の公式)の補足
と書くことにします。
のときは、
なる
に対して
であるときにに寄与します(
)。こうなるのは
のときなので、
は
までの
の個数
に等しいことがわかります。
のときは、
なる
に対して
であるときにに寄与します。こうなるのは
のときなので、
は
までの
の個数
に等しいことがわかります。
距離関数を使った表示
高木関数をと書くことにしましょう。一般的な関数を表す記号である
よりは固有名詞っぽくなります。実数
に対して、
と
に一番近い整数の距離を
と書くことにします(これはLagariasさんが使っている記号です。文献によって記号が異なります*2 )。
に対しては
が成り立ち、
と簡潔に表されることがわかります。これは明らかに一様収束する級数ですが、
と分割すると、に対して
と書けるので、はギザギザした
上連続な関数であり、従って
も連続であることがわかります(これで②の理由がわかりました)。
高木関数のアニメーションを載せているサイトを見つけたのでリンクを貼っておきます:高木関数
有理性
高木関数は有理数を有理数に写す関数です。つまり、が有理数ならば
も有理数になります。実際、
が有理数ならば
の既約分数表示における分母の取り得る値は
を動かしたときに有界なので、
は周期的になります。よって、⑦の表示と等比級数の和の公式から
が有理数になることがわかります。
高木関数の値域
の値の取り得る範囲は
です。
,
,
に対して
であることは定義からすぐわかります。
に対して
であることはの小数部分について丁寧に4通りに場合分けすれば示せるので、⑦において和を二つずつペアにしてこの不等式を適用すると
と評価できます。任意の非負整数に対して
なので、
です。
③の補足
を明示する場合は
のように表示することにします(明示しなければ
の場合)。
とします。
のときは
なので、
なので、
なので
のときは
なので、
ならば
ならば
以上より
なので③が得られました。
④の補足
これは計算が合わないというか、③を考えるとおかしいのですが、の誤植です。
とします。このときも
のときを考えれば十分です。
、
に注意します。
なので、
、
ならば
以上より
より④が得られました。
⑤の補足
のときは③から
なので、これは
に等しいことがわかります。
、
のときは③、④から
、
、
なので、これは
に等しいです。以上で⑤が確認できました。
⑥の補足
微分係数が存在すれば、
はを大きくするといくらでも小さくなっていく必要があります。例えば
の
進展開に
という部分が無数にあったとしましょう。このとき、
の部分を
とすれば、⑤より
なので微分係数を持ち得ないことがわかります。の
進展開の様子で幾つかの場合分けをすることにより⑤を使って
は至る所微分不可能であることを確認できます。ただ、私の確認した方法が高木博士の意図した方法である自信が全くないので、ここでは別の導出方法を解説することにします。
至るところ微分不可能であることのBillingsleyによる証明
*3は正整数
毎に或る整数
が存在して
と挟むことができる。、
とおこう。このとき、
であり*4、この和の中身は傾きを表しているが、それは⑧からわかるようにである。従って、
を固定したときに
は存在しない。ところが、高木関数のでの微分係数が存在すれば、上記極限が存在して同じ値に収束するはずである(このことは簡単な
-
論法で示せる)。すなわち、高木関数は至る所微分不可能である。 Q.E.D.
関数等式
証明. 任意の非負整数に対して
であることから最初の関数等式がわかる。二つ目の関数等式は、
であることに注意すれば、
と示される。これらの関数等式から、区間に含まれる全ての
進有理数の値を決めることができるので、
に含まれる
進有理数全体は
で稠密であることと連続性から
は一意に決定されることがわかる。 Q.E.D.
リーマン予想
次のような定理があることを知りました。証明はフォローしていないので紹介に留めます。