On one class of nowhere non-monotonic functions with fractal properties that contains a subclass of singular functions

本論文は、特定の確率行列と数列によって定義された連続関数のクラスを研究し、その厳密な単調性、非単調性、至る所非単調性、非微分性、特異性に関する判定基準と、その準レベル集合の性質を明らかにしたものである。

要約

この論文は、一見すると数式だらけで難しそうですが、実は**「滑らかに見えるのに、どこを切ってもギザギザで、決して一定方向に増えたり減ったりしない奇妙な曲線」**の正体を解明した物語です。

これを一般の方にもわかりやすく、日常の例え話を使って解説しましょう。

1. 物語の舞台：「3 つの色の世界」

まず、この研究は「0 から 1 までの数字」を扱う世界です。通常、私たちは 10 進法（0〜9）を使いますが、この論文では**「3 進法（0, 1, 2）」**という特別なルールを使います。

さらに、この世界には**「確率の地図」**というものが存在します。

• 0 が出たら、次に進む距離は「A」
• 1 が出たら、次に進む距離は「B」
• 2 が出たら、次に進む距離は「C」

というように、数字によって進む距離がランダムに決まるルールです。これを「Q*3 表現」と呼んでいます。

2. 主人公：「魔法の関数 f」

この研究の主人公は、**「f という関数」**です。これは、上の「3 進法の数字の羅列」を入力として、0 から 1 の間のどこかの「高さ（y 座標）」を返す機械です。

この f という機械の面白いところは、**「パラメータ ε（イプシロン）」**というつまみで性質を自由に変えられることです。

• つまみを左に回す（ε が小さい）： 滑らかに右肩上がりになる（普通の階段のようなもの）。
• つまみを真ん中に置く（ε = 1/2）： 平坦な場所ができ、ある区間では高さが全く変わらない（坂道に平らな道が混じったようなもの）。
• つまみを右に回す（ε が大きい）： ここが論文の核心です。**「どこを切っても、上がったり下がったりを繰り返す」**という、とてつもなく複雑な曲線になります。

3. 論文の最大の発見：「どこも平坦じゃない」

この論文が最も注目しているのは、**「ε を大きくしたとき」**の関数 f です。

① 「どこも単調ではない」

普通の関数（例えば y=x）は、右に行けば必ず上がります。しかし、この f は違います。
**「どんなに小さな区間（1 ミリ、1 ナノメートル）で見ても、必ず上がったり下がったりを繰り返している」**のです。

• 例え話： 山岳地帯の地図を想像してください。普通の山は「登って頂上、そして下り」ですが、この関数は**「頂上に立つと、さらに小さな山が何重にも重なり、その山々の上にもさらに小さな山が…」と無限に続いている**ようなものです。どこを拡大しても「平坦な道」や「一直線の坂」は見つかりません。これを「至る所非単調（どこも単調ではない）」と呼びます。

② 「フラクタル（自己相似）の性質」

この曲線は、**「フラクタル」**という性質を持っています。

• 例え話： 雪の結晶や海岸線のように、全体を拡大すると、全体と全く同じ形が小さく現れるものです。この論文では、関数のグラフを拡大すると、全体と同じような「ジグザグのパターン」が無限に現れることを証明しています。

③ 「特異関数（Singular Function）」の仲間

この曲線は、**「特異関数」**という特別なグループに属しています。

• 特徴： 曲線は連続してつながっていますが、「微分（傾き）」が至る所で定義できないか、あるいは**「傾きが 0 になる場所ばかり」**です。
• 例え話： 滑らかな川の流れではなく、**「水は流れているのに、どこを測っても波紋が立ちすぎていて、川の流れの向きが一定に決まらない」**ような状態です。数学的には「面積は 0 なのに、長さは無限大」といった不思議な性質を持っています。

4. 「等高線」の不思議

論文の最後の方では、この関数の**「等高線（同じ高さの点の集まり）」**について語られています。

• 普通の山： 特定の等高線（例えば標高 100m）は、1 本の線や点で表されます。
• この関数の山：
  • ε が小さいときは、1 点だけ。
  • ε が大きいときは、**「点の集まり（可算集合）」**になります。
  • つまり、同じ高さにある点が、無限に散らばって存在するけれど、連続した線にはなっていない、という不思議な状態です。

まとめ：この論文は何を言いたいのか？

この論文は、**「数学的に定義された、非常に複雑で美しい『カオス（混沌）』の曲線」**の一族を詳しく調べました。

1. 定義の正しさ： この奇妙な曲線は、ちゃんと定義されており、矛盾がないこと。
2. 連続性： 途切れることなく、滑らかにつながっていること。
3. 複雑さ： パラメータを調整することで、「どこも平坦じゃない」「どこも傾きがない」という、直感に反する性質を持つ曲線を作れること。
4. 応用： このような曲線は、自然界の複雑な現象（雲の形、株価の変動、地形など）をモデル化する際に応用できる可能性があります。

一言で言えば：
「数学の魔法で、**『どこを見てもギザギザで、決して一定方向に進まない』**という、自然界にもありそうな不思議な曲線の正体を暴いた研究」です。

このように、一見すると難解な数式は、実は「複雑な世界をどう捉えるか」という、とても直感的で美しいアイデアに基づいています。

技術概要

論文「非単調性かつフラクタル性質を持つある関数類および特異関数の部分類に関する研究」の技術的サマリー

著者: S. O. Klymchuk, M. V. Pratsiovtyi
概要: 本論文は、区間 $[0, 1]$ 上で定義された連続関数 $f$ の一クラスを研究し、その単調性、微分可能性、特異性、およびレベル集合の幾何学的性質について厳密な解析を行っている。特に、$Q^*_3$ 表現（一般化された 3 進法表現）を用いて定義される関数群において、パラメータの条件によって「至る所非単調（nowhere monotonic）」かつ「フラクタル的性質」を持つ関数が存在し、その一部が特異関数（singular functions）の subclass となることを示している。

---

1. 研究の背景と問題設定

• 背景: 導関数がほとんど至る所 0 であるが、単調でない連続関数（例：デ・ラ・ヴァレ・プーサンの関数など）や、フラクタル性質を持つ関数は、解析学および確率論において重要な研究対象である。既存の研究では、$s$ 進法表現や $Q_s$ 表現を用いた関数が扱われてきたが、より一般的な $Q^*_3$ 表現（無限の確率行列 $Q^*_3$ を用いた表現）に基づく関数類の性質、特に「至る所非単調性」と「特異性」の共存条件についての体系的な研究は限られていた。
• 問題設定:
  • 文字集合 $A_3 = \{0, 1, 2\}$ と無限の正確率行列 $Q^*_3 = ||q_{ik}||$ を用いた $Q^*_3$ 表現を導入する。
  • 数列 $(\varepsilon_k)$ ($0 \le \varepsilon_k \le 1$) をパラメータとし、関数$f(x)$ を以下の級数で定義する：
    $$f(x) = \delta_{\alpha_1(x)}^1 + \sum_{k=2}^{\infty} \left[ \delta_{\alpha_k(x)}^k \prod_{j=1}^{k-1} g_{\alpha_j(x)}^j \right]$$
    ここで、$\delta$ と $g$ は $\varepsilon_k$ と $q_{ik}$ に依存する係数である。
  • この関数 $f$ が well-defined であること、連続性、単調性、微分可能性、およびそのグラフの構造を明らかにすることを目的とする。

2. 手法と定義

• $Q^*_3$ 表現: 実数 $x \in [0, 1]$ を、行列 $Q^*_3$ の要素 $q_{ik}$ を重みとした無限級数として表現する。これは古典的な 3 進法表現の一般化である。
• 関数の定義:
  • 係数 $g_{0k} = g_{2k} = \frac{1+\varepsilon_k}{3}$, $g_{1k} = \frac{1-2\varepsilon_k}{3}$
  • 係数 $\delta_{0k}=0$, $\delta_{1k}=g_{0k}$, $\delta_{2k}=g_{0k}+g_{1k}$
  • 関数 $f(x)$ は、$x$ の $Q^*_3$ 表現における数字列 $(\alpha_k)$ を用いて構成される級数として定義される。
• 解析手法:
  • 級数の絶対収束性の証明による定義の正当化。
  • 部分和の帰納法による値域の特定。
  • 円筒集合（cylinders, $\Delta_{Q^*_3}^{c_1 \dots c_m}$）上での関数の増分（increment）の計算。
  • 線形写像（アフィン変換）を用いたグラフの自己相似性の解析。

3. 主要な結果

3.1 定義の正当性と基本性質

• 定義の正当性: 級数 (1) は任意の数列に対して絶対収束し、$Q^*_3$ 有理点における異なる表現（例：末尾が 0 の無限列と末尾が 2 の無限列）に対して同じ値を与えることが証明された。
• 値域: 関数 $f$ は $[0, 1]$ 上の連続関数であり、その値域も $[0, 1]$ 全体である（Lemma 1, Corollary 1）。
• 連続性: 関数 $f$ は区間 $[0, 1]$ 上のすべての点で連続である（Theorem 1）。

3.2 単調性と非単調性の条件

関数の単調性はパラメータ $\varepsilon_k$ の値に依存する。

• 狭義単調増加: すべての $k$ に対して $0 \le \varepsilon_k < 1/2$の場合、$f$ は狭義単調増加である（Corollary 3）。このとき、レベル集合は単一点となる。
• 定数区間の存在: ある $k$ に対して $\varepsilon_k = 1/2$ の場合、$g_{1k}=0$ となり、特定の円筒区間上で関数は定数となる（Corollary 2）。
• 至る所非単調性（Nowhere Monotonicity）: すべての $k$ に対して $1/2 < \varepsilon_k \le 1$の場合、関数$f$ は至る所非単調である（Theorem 3）。
  • 理由: 任意の円筒区間内において、部分区間ごとに増分の符号が異なり（正、負、正）、単調性を維持できないため。

3.3 特異性と微分可能性

• 特異関数（Singular Function）: $\varepsilon_k = 1/2$ の場合、関数は Cantor 型集合に隣接する区間上で定数となり、導関数がほとんど至る所 0 となる。したがって、この関数は特異関数である。
• 微分可能性: 至る所非単調な場合（$\varepsilon_k > 1/2$）、関数は至る所で微分不可能であることが示唆される（導関数が定義されない、あるいは無限大となる振る舞い）。

3.4 グラフのフラクタル構造と自己相似性

• アフィン同値性: 関数のグラフ $\Gamma_f$ と、特定の円筒集合上の部分グラフ $\Gamma_i^f$ は、アフィン変換 $\phi_i$ によって互いに同値である（Theorem 4）。
  • 変換式: $x' = q_i x + \beta_i$, $y' = g_i y + \delta_i$
  • この性質は、関数のグラフがフラクタル構造（自己相似性）を持つことを意味する。

3.5 レベル集合の構造

パラメータ $\varepsilon_k$ によってレベル集合 $f^{-1}(y_0)$ の構造が変化する：

1. $0 \le \varepsilon_n < 1/2$: 狭義単調増加のため、各レベル集合は単一点。
2. $\varepsilon_n = 1/2$: 定数区間が存在するため、レベル集合は点または線分。
3. $1/2 < \varepsilon_n \le 1$: 至る所非単調であり、増分の符号が交互に変化するため、各レベル集合は可算集合（countable set）となる。連続な線分にはならない（極値の集合が可算であるため）。

4. 結論と意義

• 学術的貢献:
  • 一般化された $Q^*_3$ 表現を用いた新しい関数類を構築し、その解析的性質を体系的に分類した。
  • パラメータ $\varepsilon_k$ の値を制御することで、単調性、特異性、非単調性を任意に切り替えることができることを示した。
  • 特に、「至る所非単調でありながら、フラクタル構造を持ち、かつ特異関数の部分類を含む」という複雑な性質を持つ関数の存在を証明し、そのレベル集合の構造（可算集合）を特定した。
• 意義:
  • 従来の単調特異関数（例：Cantor 関数）や、単純な非単調関数の中間にある、より複雑な振る舞いをする関数の理論的枠組みを提供した。
  • フラクタル幾何学と実解析の交叉領域において、関数の微分可能性と単調性の関係についての新たな知見を提供している。
  • 確率行列 $Q^*_3$ を介して、数論的表現と関数の幾何学的性質を結びつける手法を確立した。

この研究は、特異関数やフラクタル関数の理論を拡張し、より一般的な条件下での関数の振る舞いを理解するための重要なステップである。