[논문 리뷰] 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)|2026. 03. 07.

Mathematical Dynamics and Fractals인용 수 0

한 줄 요약

논문은 Q3* 표현을 통해 연속 함수를 정의하고, 엄격한 단조성, 비단조성, 어디에서도 단조롭지 않음, 비미분성 및 특이성에 대한 기준을 확립하며, 레벨 집합과 그래프 구조를 분석한다.

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 및 프랙탈-type 연속 함수 연구를 촉진한다.
• f의 구성과 모든 Q3* 표현에서의 수렴성과 정의를 증명한다.
• f의 엄격한 단조성, 비단조성, nowhere monotonic, 미분성 및 특이성에 대한 기준을 도출한다.
• 칸터(Cantor) 타입의 구조 및 그래프의 레벨 세트, 극값 및 기하학적 특성을 조사한다.
• Cantor-type 구조와 f의 그래프 및 레벨 세트에 대한 시사점을 검토한다.

제안 방법

• f(x)를 무한급수로 정의하고 계수 δ와 g를 이용하며, 이는 확률적 Q^{*}_{3} 행렬 Q^{*}_{3}와 ε-시퀀스로부터 유도된다.
• 급수의 절대 수렴성과 같은 점에서 같은 점의 여러 Q^{*}_{3} 표현으로부터의 독립성을 보인다.
• [0,1]에서 Q^{*}_{3} 무리수점과 유리점에 대한 수렴을 분석하여 f의 연속성을 증명한다.
• 삼진 실린더에서의 증가를 계산: μ_f(Δ^{Q^{*}_{3}}_{c1…cm}) = ∏^{m}_{j=1} g_{c_j j}.
• ε_k 값으로부터 얻어지는 단조성 기준을 도출: 0 ≤ ε_k < 1/2이면 f는 엄밀히 증가; 1/2 < ε_k ≤ 1이면 f는 어디에서도 단조롭지 않다; 그리고 ε_k = 1/2일 때의 실린더에서의 상수성 케이스를 검토한다.
• 칸터 타입의 실린더 분할과 이 구간들에서의 도함수 거동을 통해 레벨 세트와 특이성을 분석한다.
• ε가 상수이고 g_i ≠ 0일 때 그래프의 차원상 부분들에 대해 선형 자체유사성을 조사하고 레벨subset들 간의 선형 등가를 확립한다.

실험 결과

연구 질문

• RQ1 ε 시퀀스와 Q3* 행렬의 조건 하에서 f가 엄밀히 증가하는지, 어디에서도 단조롭지 않은지, 아니면 비단조인지 판단할 수 있는가?
• RQ2 다른 ε_k 규칙에서 f의 레벨 세트가 어떻게 거동하는가(점, 구간, 가산 집합)?
• RQ3 f가 미분성이나 특이성을 나타내는가, 그리고 이것이 칸터-유형 레벨 세트 구조와 그래프에 어떻게 반영되는가?
• RQ4 그래프와 실린더 부분집합에서의 그래프의 선형적 이미지 사이의 기하학적 관계는 무엇인가?
• RQ5 기저 Q3* 표현의 섭동에 대해 단조성 및 특이성 특성은 얼마나 강건한가?

주요 결과

• 실린더에서의 증가량은 μ_f(Δ^{Q^{*}_{3}}_{c1…cm}) = ∏^{m}_{j=1} g_{c_j j}.
• 모든 ε_k가 1/2보다 작으면 f는 [0,1]에서 엄밀히 증가한다.
• 모든 ε_k가 1/2보다 크고 1 이하이면 f는 [0,1]에서 어디에서도 단조롭지 않다.
• 모든 k에 대해 ε_k = 1/2이면 일부 인접한 실린더에서 f가 상수이며 이는 레벨 세트를 구간으로 만든다.
• 함수는 [0,1]에서 연속이며 값의 범위는 [0,1]이다.
• ε가 상수이고 g_i ≠ 0일 때 레벨 subset들에서 그래프를 선형적으로 변환할 수 있어 그래프의 일부가 선형 등가임을 보인다.