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

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

🎨 제목: "끝없이 구불구불한 곡선과 프랙탈의 비밀"

이 논문은 0 과 1 사이의 숫자를 다루는 특별한 함수 $f(x)$ 를 연구합니다. 이 함수는 우리가 흔히 아는 매끄러운 곡선 (예: 포물선) 이 아니라, 어디를 확대해 봐도 다시 구불구불한 형태가 반복되는 '프랙탈 (Fractal)' 같은 성질을 가집니다.

1. 이 함수는 어떻게 만들어질까요? (주사위와 지도의 비유)

이 함수를 이해하기 위해 **'3 면체 주사위'**와 **'지도'**를 상상해 보세요.

3 진법 (Ternary System): 보통 우리는 10 진법 (0~9) 을 쓰지만, 이 함수는 0, 1, 2 만으로 숫자를 표현합니다. 마치 3 면체 주사위를 계속 굴려서 나온 숫자 (0, 1, 2) 의 나열로 숫자를 나타내는 것과 같습니다.
확률적 규칙 (Q 행렬):* 이 주사위는 공정한 주사위가 아닙니다. 0 이 나올 확률, 1 이 나올 확률, 2 가 나올 확률이 매번 바뀔 수 있습니다. (논문의 $q_{ik}$ 행렬)
함수의 값 계산: 숫자 $x$ 를 이 주사위 나열로 표현했을 때, 각 자리수 (0, 1, 2) 에 따라 함수의 값 $f(x)$ 가 조금씩 변합니다. 이때 변하는 크기는 논문에서 정의한 $\varepsilon_k$ 라는 숫자에 따라 결정됩니다.

비유:
마치 거대한 나무를 상상해 보세요.

나무의 뿌리 (0) 에서 시작합니다.
가지가 뻗어 나갈 때마다 (각 자리수마다), 가지의 길이나 방향이 주사위 결과에 따라 달라집니다.
어떤 가지 ( $\varepsilon_k$ ) 는 위로 쑥 자라고, 어떤 가지는 아래로 꺾이고, 어떤 가지는 아예 멈춥니다.
이 과정을 무한히 반복하면, 나무의 끝부분이 이루는 궤적이 바로 이 함수 $f(x)$ 의 그래프가 됩니다.

2. 이 함수의 가장 놀라운 특징들

이 논문은 이 함수가 가진 3 가지 기이한 성질을 찾아냈습니다.

① "어디를 봐도 오르거나 내리지 않는다" (Nowhere Monotonic)

일반적인 함수: 산을 오르면 계속 오르다가 (증가), 내리면 계속 내립니다 (감소).
이 함수: 아주 작은 구간을 확대해 봐도, 오르락내리락을 반복합니다. 마치 거친 바다의 파도를 확대하면 작은 물결이 또 있고, 그 물결을 확대하면 더 작은 물결이 있는 것처럼, 어디를 보더라도 "오르는 구간"이나 "내리는 구간"만 있는 것이 아니라, 오르내림이 섞여 있어 "어디서나 단조롭지 않다"는 뜻입니다.
조건: 만약 $\varepsilon_k$ 가 0.5 보다 크면, 이 함수는 절대 한 방향으로만 가지 않습니다.

② "미분 불가능한 곡선" (Non-differentiable)

미분이란? 곡선의 한 점에서 기울기를 구하는 것입니다. 매끄러운 곡선은 기울기가 명확합니다.
이 함수: 이 함수는 어느 한 점에서도 기울기를 구할 수 없습니다. 마치 프랙탈 눈송이처럼 끝없이 구불구불해서, 아무리 확대해도 뾰족하거나 구불구불한 부분이 계속 나타납니다. 따라서 "미분 불가능"합니다.

③ "영역은 채우지만, 길이는 0 인" 특이 함수 (Singular Function)

특이 함수란? 함수의 그래프가 0 에서 1 사이를 모두 채우는데, 기울기가 거의 모든 곳에서 0인 이상한 함수입니다.
비유: imagine a 스펀지를 생각해보세요. 스펀지는 물 (값) 을 가득 담고 있지만, 그 스펀지를 구성하는 고체 부분의 부피는 거의 0 일 수 있습니다.
이 함수는 $\varepsilon_k = 0.5$ 일 때, 특정 구간에서는 완전히 평평해집니다 (기울기 0). 하지만 그 평평한 구간들이 모여 전체 0~1 범위를 채웁니다. 즉, "어디서나 평평해 보이지만, 전체적으로는 0 에서 1 까지 올라가는" 기묘한 성질을 가집니다.

3. 이 함수의 그래프는 어떤 모양일까요?

자기 유사성 (Affine Equivalence): 이 함수의 그래프는 프랙탈입니다. 그래프의 일부분을 잘라내어 확대하면, 전체 그래프와 똑같은 모양이 나옵니다. 마치 양치식물의 잎이나 브로콜리처럼, 작은 조각이 전체를 닮은 구조입니다.
레벨 세트 (Level Sets): "어떤 높이 $y$ $y$ 에 해당하는 $x$ $x$ 는 몇 개인가?"를 묻는 질문입니다.
- 함수가 단조 증가하면 (오르기만 하면) 높이에 해당하는 점은 1 개뿐입니다.
- 하지만 이 함수는 오르락내리락하므로, 같은 높이에 해당하는 점이 무수히 많거나 (구간), 혹은 셀 수 있는 만큼 많을 (countable) 수 있습니다.

4. 결론: 왜 이 연구가 중요할까요?

이 논문은 수학적으로 매우 정교하게 만들어진 **"완벽한 혼돈 (Chaos)"**의 수학적 모델을 제시합니다.

일상적인 비유: 우리가 매일 보는 구름, 산맥, 나뭇가지는 매끄럽지 않고 복잡합니다. 이 함수는 그런 자연의 복잡함을 수학적으로 완벽하게 묘사할 수 있는 도구를 제공합니다.
의의: "어디서나 미분 불가능하고, 오르내림이 반복되는" 함수가 어떻게 존재할 수 있는지, 그리고 그 함수가 가진 프랙탈 구조와 특이한 성질을 엄밀하게 증명했습니다.

한 줄 요약:

"이 논문은 끝없이 구불구불한 프랙탈 곡선을 수학적으로 만들어냈으며, 이 곡선은 어디를 확대해도 매끄럽지 않고, 오르내림이 반복되며, 기이하게도 0 과 1 사이를 모두 채우지만 기울기는 거의 0 인 매우 특이한 성질을 가짐을 증명했습니다."

이런 함수들은 자연 현상의 복잡성을 이해하거나, 암호학, 데이터 압축 등 다양한 분야에서 영감을 줄 수 있는 중요한 수학적 발견입니다.

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

1. 연구 문제 (Problem)

이 논문은 구간 $[0, 1]$ 위에서 정의된 연속 함수 $f$ 의 새로운 클래스를 연구합니다. 주요 연구 대상은 다음과 같은 성질을 가진 함수들입니다:

** Everywhere non-monotonicity (어디서도 단조롭지 않음):** 함수가 어떤 구간에서도 단조 증가하거나 단조 감소하지 않습니다.
Fractal properties (프랙탈 성질): 함수의 그래프가 자기 유사성 (self-similarity) 을 가지며 복잡한 국소 구조를 가집니다.
Singular functions (특이 함수): 미분 가능하지 않거나, 르베그 측도 (Lebesgue measure) 에 따라 거의 모든 곳에서 미분값이 0 인 함수를 포함합니다.

기존 연구들은 주로 $s$ -진법 표현이나 $Q_s$ -표현을 기반으로 한 단조 증가 함수나 특이 함수에 집중했으나, 이 논문은 ** $Q^*_3$ -표현 (무한 확률 행렬에 기반한 3 진법 일반화)**을 사용하여 단조성, 미분 가능성, 특이성 등을 제어할 수 있는 더 넓은 함수 클래스를 제시합니다.

2. 방법론 (Methodology)

2.1. 함수의 정의

연구자들은 $A_3 = \{0, 1, 2\}$ 를 알파벳으로 하는 3 진법 (ternary) 표현의 일반화인 $Q^*_3$ -표현을 도입합니다.

$Q^*_3$ -표현: 무한 확률 양행렬 $Q^*_3 = ||q_{ik}||$ ( $i=0,1,2; k \in \mathbb{N}$ ) 을 사용하여 실수 $x \in [0, 1]$ 을 다음과 같이 표현합니다.
$x = \Delta_{Q^*_3} \alpha_1 \alpha_2 \dots = \beta_{\alpha_1(x)} + \sum_{k=2}^{\infty} \left[ \beta_{\alpha_k(x)} \prod_{j=1}^{k-1} q_{\alpha_j(x)j} \right]$
여기서 $\beta_{ik}$ 는 행렬의 부분 합으로 정의됩니다.
대상 함수 $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]$
- 계수 $g_{ik}$ 와 $\delta_{ik}$ 는 매개변수 시퀀스 $(\varepsilon_k)$ ($0 \le \varepsilon_k \le 1$) 에 의해 결정됩니다.
- $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}$ .

2.2. 분석 도구

수렴성 및 정의의 정확성 증명: 급수의 절대 수렴성과 $Q^*_3$ -유리수 (두 가지 표현을 가지는 점) 에서 함수 값의 일관성을 증명합니다.
부분 합 (Partial Sums) 분석: 함수의 값이 $[0, 1]$ 구간에 있음을 수학적 귀납법으로 증명합니다.
원통 (Cylinders) 개념: $Q^*_3$ -표현에서 고정된 앞부분의 숫자열로 정의된 구간을 '원통'으로 정의하고, 이 구간에서의 함수의 증가분 (increment) 을 분석합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

3.1. 함수의 기본 성질

정의역과 치역: 함수 $f$ 는 $[0, 1]$ 에서 정의되며, 치역 또한 $[0, 1]$ 입니다.
연속성: 함수 $f$ 는 구간 $[0, 1]$ 의 모든 점에서 연속입니다.
단조성 조건: 매개변수 $\varepsilon_k$ $ε_{k}$ 의 값에 따라 함수의 단조성이 결정됩니다.
- 엄격 단조 증가: 모든 $k$ 에 대해 $0 \le \varepsilon_k < 1/2 $이면,$ f$는 전체 정의역에서 엄격하게 단조 증가합니다.
- 상수 구간 존재: 특정 $k$ 에서 $\varepsilon_k = 1/2$ 이면, $g_{1k}=0$ 이 되어 특정 원통 구간에서 함수가 상수가 됩니다.
- 어디서도 단조롭지 않음 (Nowhere Monotonic): 모든 $k$ 에 대해 $1/2 < \varepsilon_k \le 1$이면, 함수는 어떤 구간에서도 단조롭지 않습니다. 이는 모든 원통 구간에서 함수의 증가분 부호가 양수와 음수로 교차하기 때문입니다.

3.2. 미분 가능성과 특이성 (Singularity)

특이 함수 (Singular Function): $\varepsilon_k = 1/2$ 인 경우, 함수는 특정 Cantor-type 집합의 여집합 (원통 구간들) 에서 상수 함수가 되며, 이 구간들에서 미분값은 0 입니다. 따라서 이 함수는 특이 함수 (미분 가능하지 않거나 거의 어디서나 미분값이 0 인 함수) 의 하위 집합을 포함합니다.
비미분 가능성: $\varepsilon_k$ 가 특정 조건을 만족할 때 함수는 거의 어디서나 미분 불가능하거나, nowhere differentiable (어디서도 미분 불가능) 할 수 있습니다.

3.3. 극값과 그래프 구조

극값 위치: 원통 구간 $\Delta_{Q^*_3} c_1 \dots c_m$ 내에서 함수의 최댓값과 최솟값은 항상 그 구간의 끝점에서 달성됩니다.
아핀 동치 (Affine Equivalence): 함수의 그래프 $\Gamma_f$ 는 특정 아핀 변환 $\phi_i$ 를 통해 자기 자신과 아핀 동치인 부분 집합 ( $\Gamma^i_f$ ) 으로 분해될 수 있습니다. 이는 함수 그래프가 프랙탈 구조 (자기 유사성) 를 가짐을 의미합니다.

3.4. 레벨 집합 (Level Sets) 의 성질

매개변수 $\varepsilon_n$ 의 값에 따라 레벨 집합 $f^{-1}(y_0)$ 의 구조가 달라집니다.

$0 \le \varepsilon_n < 1/2$: 함수가 엄격 단조 증가하므로, 모든 레벨 집합은 단일 점으로 구성됩니다.
$\varepsilon_n = 1/2$ : 함수가 일부 구간에서 상수이므로, 레벨 집합은 점 또는 선분입니다.
$1/2 < \varepsilon_n \le 1$: 함수가 어디서도 단조롭지 않고 진동하므로, 각 레벨 집합은 **가산 집합 (countable set)**이 됩니다. 이는 국소 극대/극소점의 집합이 가산이기 때문입니다.

4. 의의 (Significance)

함수 클래스의 확장: 기존의 Cantor 함수나 데데킨트 함수와 같은 고전적인 특이 함수를 일반화하여, 매개변수 $\varepsilon_k$ 와 확률 행렬 $Q^*_3$ 를 통해 함수의 국소적 및 전역적 성질 (단조성, 미분성, 레벨 집합 구조) 을 정밀하게 제어할 수 있는 새로운 함수 클래스를 제시했습니다.
프랙탈 기하학과의 연결: 함수의 그래프가 아핀 변환 하에서 자기 유사성을 가진다는 것을 증명하여, 해석학적 함수와 프랙탈 기하학 사이의 깊은 연관성을 보여주었습니다.
수치 해석 및 모델링 응용: 이러한 "어디서도 단조롭지 않은 프랙탈 함수"는 자연계의 복잡한 현상 (지형, 주가 변동, 난류 등) 을 모델링하거나, 신호 처리에서 비선형 특성을 분석하는 데 유용한 수학적 도구가 될 수 있습니다.
이론적 통찰: $Q^*_3$ -표현을 사용하여 실수의 표현과 함수의 성질 사이의 관계를 체계화함으로써, 수론 (Number Theory) 과 해석학 (Real Analysis) 의 교차 영역에서 새로운 통찰을 제공했습니다.

결론

이 논문은 $Q^*_3$ -표현을 기반으로 한 연속 함수 클래스를 정의하고, 매개변수 $\varepsilon_k$ 의 조절을 통해 단조성, 미분 가능성, 특이성, 그리고 레벨 집합의 위상적 구조를 체계적으로 분류했습니다. 특히, 프랙탈 성질을 가지면서 어디서도 단조롭지 않은 함수와 특이 함수를 포괄하는 통합적인 프레임워크를 제시했다는 점에서 수학적으로 중요한 의의를 가집니다.