Each language version is independently generated for its own context, not a direct translation.

这篇论文听起来充满了数学名词，比如“无处单调”、“分形”、“奇异函数”，让人望而生畏。但如果我们把它想象成建造一座极其复杂的“迷宫”或“折纸”，就会变得有趣多了。

简单来说，两位作者（Klymchuk 和 Pratsiovtyi）设计了一种特殊的数学函数（你可以把它想象成一条画在纸上的曲线），这条曲线有几个非常反直觉的“怪癖”。

让我们用几个生动的比喻来拆解这篇论文的核心内容：

1. 核心概念：一条“永远在变向”的线

想象你在画一条线，从起点（0）画到终点（1）。

普通函数（如直线）：要么一直往上走（单调递增），要么一直往下走（单调递减），或者平着走。
这篇论文里的函数：它是一条**“无处单调”的线。这意味着，无论你拿放大镜把这条线放大多少倍，哪怕只看其中极小的一小段，你都会发现它一会儿往上冲，一会儿往下跌**。它就像一条在微观世界里疯狂跳舞的蛇，永远找不到一段是“直着走”的。

2. 它是如何画出来的？（三进制与概率矩阵）

作者没有用普通的尺子画线，而是用了一种**“三进制积木”**（就像把数字分成 0、1、2 三种颜色）来搭建。

积木规则：他们定义了一套复杂的规则（论文中的公式），告诉你在每一步该放多大、多高的积木。
关键参数 $\epsilon$ （埃普西隆）：这是控制积木形状的“旋钮”。
- 如果旋钮转到**“温和模式”（ $\epsilon < 0.5$ ）：积木堆得整整齐齐，线是一直往上走**的（单调递增）。
- 如果旋钮转到**“疯狂模式”（$0.5 < \epsilon \le 1$）：积木开始忽高忽低，线就变成“无处单调”**的疯狂舞者了。
- 如果旋钮转到**“卡死模式”（ $\epsilon = 0.5$ ）：线在某些地方会完全变平**，像台阶一样。

3. 最神奇的特性：它“没有斜率”（奇异函数）

这是这篇论文最酷的地方。

想象一下：你有一条线，它充满了起伏，看起来非常复杂。通常，如果一条线有起伏，我们在某一点总能算出它的“坡度”（导数）。
但这根线不行：作者证明了，对于这种“疯狂模式”下的线，在几乎所有的点上，你都无法算出它的坡度。
- 这就好比你想测量一座山的坡度，但这座山是由无数微小的、方向完全混乱的锯齿组成的。无论你把尺子放得多小，尺子的一端总是指向山上，另一端指向山下，导致“坡度”这个概念失效了。
- 在数学上，这被称为**“奇异函数”。它的图像充满了分形**（Fractal）结构，就像海岸线或雪花，无限复杂，自我相似。

4. 它的“脚印”（水平集）

论文还研究了：如果我想找到所有让函数值等于某个特定数字（比如 0.5）的点，这些点长什么样？

温和模式：只有一个点（因为线一直在走，不会回头）。
疯狂模式：这些点会变成一个**“可数集”**（Countable set）。想象一下，你在一条疯狂抖动的线上画一条水平线，这条水平线会和曲线相交无数次，但这些交点像散落的珍珠一样，虽然多，但你可以一个一个数出来（不像一片连续的沙滩）。

5. 总结：这有什么用？

这就好比科学家在研究**“混沌”与“秩序”的边界**。

他们发现，只要稍微调整一下规则（那个 $\epsilon$ 旋钮），就能从一条平滑的上升线瞬间变成一条充满分形、无处单调、甚至没有斜率的奇异曲线。
这种研究有助于我们理解自然界中那些看似随机、实则遵循某种深层数学规律的现象（比如湍流、股票市场的波动、或者某些物理过程的能量分布）。

一句话总结：
作者发明了一种**“数学折纸”**，通过调整几个参数，就能让这张纸从“平滑的斜坡”变成“无限复杂、永远在上下颠簸且没有斜率的迷宫”，并详细记录了这种迷宫的构造规则和内部结构。

Each language version is independently generated for its own context, not a direct translation.

论文技术总结：一类具有分形性质的无处单调连续函数及其奇异函数子类

论文标题：ON ONE CLASS OF NOWHERE NON-MONOTONIC FUNCTIONS WITH FRACTAL PROPERTIES THAT CONTAINS A SUBCLASS OF SINGULAR FUNCTIONS
作者：S. O. Klymchuk, M. V. Pratsiovtyi
发表出处：Collection of Proceedings of the Institute of Mathematics of the NAS of Ukraine (2017)

1. 研究问题 (Problem)

本文旨在研究定义在区间 $[0, 1]$ 上的一类连续函数 $f(x)$ 的复杂性质。这类函数基于实数的 $Q^*_3$ 表示（一种广义的三进制表示，由无限随机正矩阵定义），并引入了参数序列 $(\varepsilon_k)$ 来构造。

研究的核心问题包括：

构造与定义：如何严格定义这类函数，并证明其定义的良定性（即对于同一个数的不同表示，函数值唯一）。
单调性分析：确定函数在何种条件下是严格单调的、非单调的，或者是“无处单调”（nowhere monotonic）的。
微分性质：研究函数的可微性，特别是寻找不可微点集的性质。
奇异函数：探讨该类函数何时构成奇异函数（即连续、单调但导数几乎处处为零的函数）。
分形与水平集：分析函数图像的分形几何性质以及水平集（Level sets）的结构。

2. 方法论 (Methodology)

作者采用基于广义 $Q^*_3$ 表示的构造性方法来定义函数。

基础定义：
利用无限随机正矩阵 $Q^*_3 = ||q_{ik}||$ （其中 $i \in \{0, 1, 2\}, k \in \mathbb{N}$ ，且 $\sum q_{ik} = 1$ ）定义实数 $x \in [0, 1]$ 的表示：
$x = \beta_{\alpha_1(x)} + \sum_{k=2}^{\infty} \left[ \beta_{\alpha_k(x)} \prod_{j=1}^{k-1} q_{\alpha_j(x)j} \right]$
其中 $\alpha_k(x) \in \{0, 1, 2\}$ 是 $x$ 的三进制数字。
函数构造：
定义函数 $f(x)$ 为：
$f(x) = \delta_{\alpha_1(x)} + \sum_{k=2}^{\infty} \left[ \delta_{\alpha_k(x)} \prod_{j=1}^{k-1} g_{\alpha_j(x)} \right]$
其中参数定义如下：
- $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}$
- 参数序列 $\varepsilon_k \in [0, 1]$ 控制函数的局部行为。
分析工具：
- 级数收敛性分析：证明级数绝对收敛。
- 归纳法：用于证明函数值的范围（ $[0, 1]$ ）和局部极值性质。
- 增量分析：通过计算函数在“圆柱”（cylinders，即 $Q^*_3$ 表示下的子区间）上的增量 $\mu_f$ 来分析单调性。
- 仿射变换：利用自相似性（affine equivalence）分析函数图像的几何结构。

3. 主要贡献与结果 (Key Contributions & Results)

3.1 函数的良定性与连续性

良定性：证明了对于 $Q^*_3$ 有理数的两种不同表示（以 0 结尾或以 2 结尾），函数 $f(x)$ 的值是相同的。
连续性：证明了 $f(x)$ 在整个区间 $[0, 1]$ 上是连续的。
值域：证明了 $f(x)$ 的值域恰好是 $[0, 1]$ 。

3.2 单调性判据 (Monotonicity Criteria)

这是论文的核心贡献之一，通过参数 $\varepsilon_k$ 的取值严格划分了函数的单调行为：

严格单调递增：
如果对于所有 $k$ ，满足 $0 \le \varepsilon_k < 1/2 $，则$ g_{1k} > 0 $，函数$ f(x)$ 在整个定义域上严格单调递增。
常数区间：
如果存在某个 $k$ 使得 $\varepsilon_k = 1/2$ ，则 $g_{1k} = 0$ 。此时函数在特定的圆柱区间（cylindrical intervals）上是常数。
无处单调 (Nowhere Monotonic)：
如果对于所有 $k$ $k$ ，满足 $1/2 < \varepsilon_k \le 1 $，则$ $，则$ g_{1k} < 0$。
- 在此条件下，函数在任何子区间上都不是单调的。
- 证明逻辑：在任何圆柱区间内，函数在子圆柱上的增量符号会交替变化（正、负、正），导致函数图像在任意小的尺度上都有增有减，从而破坏了单调性。

3.3 奇异函数性质 (Singularity)

当 $\varepsilon_k = 1/2$ 时，函数在一系列稠密的区间上为常数。
这些常数区间的总长度之和为 1。
因此，函数在这些区间上导数为 0。由于这些区间的并集测度为 1，函数 $f(x)$ 是奇异函数（Singular function），即连续、单调（在此特定参数下）但导数几乎处处为零。

3.4 极值与水平集 (Extrema & Level Sets)

极值位置：证明了在任意圆柱区间 $\Delta$ 上，函数的最大值和最小值必然在区间的端点处取得。
水平集结构：
- 若 $0 \le \varepsilon_n < 1/2 $（严格单调）：每个水平集$ f^{-1}(y_0)$ 仅包含一个点。
- 若 $\varepsilon_n = 1/2$ （存在常数段）：水平集是点或线段。
- 若 $1/2 < \varepsilon_n \le 1$（无处单调）：水平集是可数集。这是因为函数在任意小尺度上的振荡导致水平线与图像相交于多个点，且局部极值点是可数的。

3.5 分形几何性质

函数图像 $\Gamma_f$ 具有自相似性。
图像被划分为三个部分 $\Gamma^0_f, \Gamma^1_f, \Gamma^2_f$ ，每一部分都通过仿射变换 $\phi_i$ 与整体图像 $\Gamma_f$ 等价。这揭示了函数图像的分形结构。

4. 意义与影响 (Significance)

统一框架：该研究建立了一个统一的框架，通过调整参数 $\varepsilon_k$ 和矩阵 $Q^*_3$ ，可以生成从严格单调函数到奇异函数，再到无处单调函数的广泛函数类。
分形分析：为研究具有复杂局部结构（如分形、无处可微、无处单调）的连续函数提供了具体的构造实例和严格的数学判据。
奇异函数的新视角：通过 $Q^*_3$ 表示和参数控制，清晰地展示了奇异函数产生的机制（即通过构造常数区间或导数消失的集合）。
水平集理论：详细分类了不同参数条件下水平集的拓扑结构（单点、线段、可数集），丰富了关于连续函数水平集性质的理论。
应用潜力：这类函数在分形几何、测度论以及需要构造具有特定正则性（或病态性）函数的数学建模中具有重要参考价值。

总结：
Klymchuk 和 Pratsiovtyi 通过引入基于 $Q^*_3$ 表示的广义级数构造，成功定义了一类连续函数，并给出了其单调性、可微性和奇异性的精确判据。特别是，他们证明了当参数 $\varepsilon_k > 1/2$ 时，函数具有“无处单调”的分形特性，而当 $\varepsilon_k = 1/2$ 时，函数退化为奇异函数。这一工作深化了对具有分形性质的连续函数类的理解。

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