[論文レビュー] On one class of nowhere non-monotonic functions with fractal properties that contains a subclass of singular functions

S. O. Klymchuk, M. V. Pratsiovytyi|arXiv (Cornell University)|Mar 7, 2026

Mathematical Dynamics and Fractals被引用数 0

ひとこと要約

この論文は Q3* 表現を用いて連続関数を定義し、厳密単調性、非単調性、 nowhere monotonic、非微分性、特異性の基準を確立し、レベル集合とグラフ構造を分析する。

ABSTRACT

We study one class of continuous functions $f$ defined on segment $[0,1]$ by equality $$ f(x)=δ_{α_1(x)1}+\sum^{\infty}_{k=2}\left[δ_{α_k(x)k}\prod^{k-1}_{j=1}g_{α_j (x)j} ight]\equivΔ^{G^*_3}_{α_1α_2\ldotsα_k\ldots}, $$ where $||q^*_{ik}||$ is given infinite stochastic positive matrix ($i=0,1,2$; $k \in N$); $β_{0k}=0$, $β_{1k}=q_{0k}$, $β_{2k}=q_{0k}+q_{1k}$; $(\varepsilon_k)$ is given sequence of numbers such that $0\leqslant \varepsilon_k \leqslant 1 $; $g_{0k}=\dfrac{1+\varepsilon_k}{3}=g_{2k}$, $g_ {1k}=\dfrac{1-2\varepsilon_k}{3}$, $δ_{0k}=0$, $δ_{1k}=g_{0k}$, $δ_{2k}=g_{0k}+g_{1k}$, $k\in N$. We found criteria of strict monotonicity, non monotonicity and nowhere monotonicity, non-differentiability and singularity of the functions. We pay attention to properties of level sets of the functions.

研究の動機と目的

• [0,1] における Q3* 表現を用いて nowhere monotonic および fractal 型の連続関数の研究を動機付ける。
• f の構成を提示し、すべての Q3* 表現に対する収束性と良定性を証明する。
• f の厳密単調性、非単調性、 nowhere monotonicity、微分可能性、特異性の基準を導出する。
• cylinders 上の極値とレベル集合の挙動、f のグラフの幾何的性質を調査する。
• Cantor 型の構造と、それが f のグラフとレベル集合に及ぼす影響を検討する。

提案手法

• 無限級数を係数 δ と、ε 列に対応する Q3* 行列 Q^{*}_{3} および ε-sequence から導かれる g によって f(x) を定義する。
• 級数の絶対収束と、同じ点の複数の Q3* 表現に対する独立性を示す。
• Q3* 無理数点と有理数点の収束を分析して [0,1] における f の連続性を証明する。
• 三進シリンダーにおける増分を計算する： μ_f(Δ^{Q^{*}_{3}}_{c1…cm}) = ∏^{m}_{j=1} g_{c_j j}。
• ε_k の値からの単調性基準を導出する：0 ≤ ε_k < 1/2 のとき f は厳密に増加、1/2 < ε_k ≤ 1 のとき f は nowhere monotonic、ε_k = 1/2 のときシリンダー上で一定となるケースを検討する。
• Cantor 型のシリンダー分割とその集合上の導関数の挙動を通じてレベル集合と特異性を分析する。
• ε が一定で g_i ≠ 0 のときグラフのアファイン自己相似性を調べ、レベル部分集合におけるアファイン同値を確立する。

実験結果

リサーチクエスチョン

• RQ1 ε列と Q3* 行列の条件下で f が厳密に増加、 nowhere monotone、あるいは非単調になる条件は何か？
• RQ2 異なる ε_k の作用下で f のレベル集合は点、線分、可算集合としてどのように振る舞うか？
• RQ3 f は微分可能性や特異性を示すか、Cantor 型のレベル集合構造とグラフにはどのように反映されるか？
• RQ4 グラフとシリンダー部分集合上のアファイン像との幾何的関係は何か？
• RQ5 基盤となる Q3* 表現の摂動に対して単調性と特異性の性質はどれくらい頑健か？

主な発見

• シリンダー上の増分は μ_f(Δ^{Q^{*}_{3}}_{c1…cm}) = ∏^{m}_{j=1} g_{c_j j}。
• すべての ε_k が 1/2 未満であると、f は [0,1] で厳密に増加する。
• すべての ε_k が 1/2 < ε_k ≤ 1 を満たすと、f は [0,1] で nowhere monotonic。
• すべての k に対して ε_k = 1/2 であれば、f は特定の隣接シリンダー上で一定となり、レベル集合の区間を生む。
• 関数は [0,1] で連続であり、値域は [0,1]。
• ε が一定で g_i ≠ 0 の場合、レベル集合ごとにグラフをアファイン変換でき、グラフの一部のアファイン等価性を示す。