ミンコフスキーの疑問符関数

数学において、ミンコフスキー疑問符関数は、txt によって定義された ? と表される関数であり、さまざまな奇妙なフラクタル特性を持つ。この関数は、二次無理数を有理数の二進展開に連分数展開する関係式を介して、二次無理数を単位区間内の有理数に写す。この関係式は1938年にアルノー・ダンジョワによって与えられた。 また、スターン・ブロコット木に密接に関連する再帰的な定義でわかるように、この関数は有理数を二進分数に写す。

1. 定義
-----

x}} が無理数の場合、x}} の連分数表現を [//a//0; //a//1, //a//2, …]}} とすると、疑問符関数は次のように定義される。

x}} が有理数の場合、x}} の連分数表現を [//a//0; //a//1, //a//2, …, //am//]}} とすると、次のようになる。

2. 直感的な説明
---------

上記の定義を直感的に理解するために、0で始まる無限ビット列を 0, 1}} 内の実数と解釈する、2つの相異なる解釈方法を考える。

まず明白な方法は、最初の0の後に2進小数点を置き、二進小数として読む方法である。たとえば、ビット列 001001001001001001001001... は、2進数 0.010010010010... すなわち 2 を表す。

別の方法は、ビット列を連分数 [0;  //a//1,  //a//2, …]}} とみなす方法である。ここで整数 ai}} は、ビット列を連長圧縮したときの連続回数である。この場合、先ほどと同じビット列 001001001001001001001001...は [0; 2, 1, 2, 1, 2, 1, …] =}} sfrac に対応する。もしビット列で同じビットが無限に続いて終わる場合、それを無視して連分数表現を終了する。この操作の妥当性は以下の恒等式に基づく。

1=[0;  //a//1, …, //a////n//, ∞] = [0;  //a//1, …, //a////n// + sfrac.0, 1}} に対する疑問符関数は、カントール関数が三進法表現を二進法表現に写すのと同様に、先程のビット列の2つ目の解釈方法を同じ列の1つ目の解釈方法に写すものと理解できる。先程のビット列を例に挙げると、以下の等式が成り立つ。

3. 有理数引数に対する再帰的定義
-----------------

単位区間内の有理数の場合、関数を再帰的に定義することもできる。 sfrac と sfrac が abs を満たす既約分数である場合、次のようになる。

初期条件を次のように与えると

ファレイ数列を F2、F3と順に求めることで、任意の有理数 x}} に対して ?}} を計算することが可能になる。

sfrac と sfrac が同じ連分数をそれぞれ //n// - 1 段、//n// 段で打ち切ったものとすると、行列

の行列式は ±1 となる。このような行列は、2 × 2 行列で行列式が ±1 となる群 SL}} の元である。 この群は、モジュラー群に関係する。

3.1. アルゴリズム
-----------

この再帰的な定義は、次のC言語関数が示すように、任意の実数に対して任意の精度で関数値を計算するアルゴリズムに適している。 このアルゴリズムは、入力 x}} を探してスターン・ブロコット木を下降する途中で、//y// =}} ?}} の二進展開の項を合計していく。 ループ不変量 //qr// − //ps// =}} 1}}が満たされる限り、分数 sfrac を約分する必要はない。 別の不変量は sfrac である。このプログラムのforループは、 whileループのように扱われており、最初の3行の条件付きbreak構文が終了条件となる。 ループ内で不変条件に影響を与えるのは最後の2行のみであり、最初の3行がループから抜け出すことなく正常に実行されている限り、両方の不変条件が真であると示すことができる。ループ内部の第三の不変量は //y// ≤ ? < //y// + //d//}} であるが、どの条件もテストされる前に、ループの初めに d}} が半分にされるため、結果的にループの終了時でしか //y// ≤ ? < //y// + 2//d//}} は担保されない。 プログラムのループ変化条件には、ループの反復ごとに合計 q + s が少なくとも1ずつ増加し、この合計がC言語のプリミティブ型 long で表現するには大きすぎる場合にループが終了することに注意すれば十分である。 ただし実際には、 y + d == y の条件付き break があるため、短時間でループが終了する。 /* Minkowski's question-mark function */ double minkowski { long p = x; if p > x) --p; /* p=floor */ long q = 1, r = p + 1, s = 1, m, n; double d = 1, y = p; if p ||  ^ ) return x; /* out of range ? =~ x */ for  { /* invariants: q * r - p * s == 1 && p / q <=
x && x < r / s */ d /= 2; if  break; /* reached max possible precision */ m = p + r; if  ^ ) break; /* sum overflowed */ n = q + s; if  break; /* sum overflowed */

if m / n) { r = m; s = n; } else { y += d; p = m; q = n; } } return y + d; /* final round-off */ }<WtXmlEndTag />

4. 自己相似性
--------

疑問符関数は明らかに視覚的に自己相似である。 自己相似のモノイドは、単位正方形に作用する2つの演算子 S}} と R}} によって生成され、次のように定義される。

視覚的には、 S}} は単位正方形を左下4分の1に縮小し、 R}} は中心を通る点反射を実行する。

?}} のグラフ上の点は単位区間内の x}} に対して座標 )}} を持つ。?}} はすべての //x// ∈ [0, 1]}} で以下の等式を満たすため、そのような点は S}} と R}} によってグラフ上の別の点に変換される。

これら2つの演算子は繰り返し結合され、モノイドを形成する。 モノイドの一般的な要素は正の整数 //a//1, //a//2, //a//3, …}} に対して

となる。このような各要素によって、疑問符関数の自己相似性が記述される。 このモノイドは//ド・ラーム曲線//モノイドとも呼ばれ、すべての周期倍加フラクタル曲線は、周期倍加モノイドによって記述される自己対称性を持つ。 モノイドの要素は、//a//1, //a//2, //a//3, …}}と連分数 [0; //a//1, //a//2, //a//3,…]}} を同一視することによって有理数と対応づけられる 。

はいずれも整数係数の線形分数変換であるため、モノイドはモジュラー群 PSL}}の部分集合と見なすことができる。

5. ?}} の特徴
-----------------

疑問符関数は狭義単調増加な連続関数であるが、絶対連続ではない。有理数における微分係数はゼロである。積分されたときに疑問符関数を生成する測度には、いくつかの構成法が存在する。そのような構成の1つは、実数直線上のフェリー数の密度を測定することによって得られます。 疑問符測度は、マルチフラクタル・システムとも呼ばれるものに対する典型的な例である。 疑問符関数は有理数を二進分数に写す。二進分数とは、上で述べた再帰的定義から帰納的に証明されるように、 その二進表現が終了するものを意味する。このほか、二次無理数を非二進有理数に写す。また、疑問符関数は奇関数であり、関数方程式 ? =}} ? + 1}} を満たすことから、 //x// → ? − //x//}} は、周期 1 の奇周期関数である。 ?}} が無理数である場合、 x}} は次数が2より大きい代数的数か、超越数である。

疑問符関数は 0, 1, 1、そして少なくとももう2つの不動点を持ち、中点に対して対称である。不動点の一つはは約 0.42037 である。

1943年、ラファエル・サレムは疑問符関数のフーリエ・スティールチェス係数が無限大でゼロになるかという問題を提起した。つまり、

となるかどうか、ということである。この問題はギブス測度の結果の特別なケースとして、ジョーダンとザールステンによって肯定的に解決された。 ミンコフスキー疑問符関数のグラフは、ド・ラーム曲線と呼ばれるフラクタル曲線の特殊なケースである。

6. コンウェイの箱関数
------------

?}} 関数は可逆であり、逆関数も多くの数学者の研究対象となった。特にコンウェイは逆関数を独立して発見し、?−1}} を x}} の周りに箱を描く x}} という記法で表現した。箱関数は、sfrac の二進数表現のエンコーディングのように計算することができる。ここで ⌊ //x// ⌋}} は床関数である。二進法表現では小数点の右側に、0 が //n//1}} 個、1 が //n//2}} 個、0 が //n//3}} 個というように続くが、 //n//0 =}} ⌊ //x// ⌋}}とすると、

である。ここで、右辺は連分数である。

7. 関連項目
-------

ポンペイウ微分

8. 脚注
-----

9. 歴史的参考文献
----------

url=http://ada00.math.uni-bielefeld.de/ICM/ICM1904/
last=Denjoy

10. 参考文献
--------

last=Alkauskas.
last=Bibiloni.
last=Bibiloni.
last=Conley.
last=Conway.

11. 外部リンク
---------

[1]
[2]