[논문 리뷰] On one class of functions with complicated local structure

Symon Serbenyuk|arXiv (Cornell University)|2015. 12. 25.

advanced mathematical theories참고 문헌 1인용 수 18

한 줄 요약

이 논문은 s-진 또는 음성-s-진 숫자 블록에 대한 이항 변환을 통해 정의된 함수 클래스 $\Lambda_s$를 소개한다. 이 함수들은 복잡한 국소적 구조를 가지며, 고정 길이 $k$의 숫자 그룹에 대한 블록 단위 치환 $\theta$를 사용하여 구성된다. 주요 결과는 이러한 함수들 중 거의 모든 것이 연속적이며, 어디서도 미분 가능하지 않으며, 그래프의 하우스도르프–베식로비치 차원은 1이고, 정의역에서의 르베그 적분 값은 $\frac{1}{2}$임을 보여준다.

ABSTRACT

We introduce a class $Λ_{s}$ of functions with complicated local structure. Any function from the class belongs to one of three specifically defined types $f^s _k$, $f_+$, and $f^{-1} _+$ or is a specifically defined composition of two or three functions of these types. Differential, integral, fractal and other properties of such functions are investigated. In particular, all functions $f$ from $Λ_{s}$ such that $f(x) e x$, $f(x) e -\frac{s-1}{s+1}-x$ and $f(x) e 1-x$ are nonmonotonic and nowhere differentiable. The Hausdorff--Besicovitch dimension of a plot of each $f \in Λ_s$ is equal to $1,$ and the Lebesgue integral of $f$ is equal to $\frac 1 2$. The proof of these statements for the compositions and the corresponding proofs for $f^s _k$, $f_+$, and $f^{-1} _+$ are similar.

연구 동기 및 목표

• s-진 또는 음성-s-진 수 체계에서 숫자 단위 변환에 기인한 복잡한 국소적 행동을 보이는 새로운 실함수 클래스 $\Lambda_s$를 정의하고 분석한다.
• 함수 $\Lambda_s$가 일반적으로 연속적이며, 어디서도 미분 가능하고, 자기유사적인 프랙탈 그래프를 지닌다는 것을 확립한다.
• $\Lambda_s$에 속한 각 함수의 그래프에 대한 하우스도르프–베식로비치 차원을 계산하여 항상 1임을 보인다.
• $\Lambda_s$에 속한 모든 함수가 정의역에서 정확히 $\frac{1}{2}$의 르베그 적분을 가짐을 증명한다. 이는 특정 변환 $\theta$의 값과 무관하다.
• s-진 숫자 블록 변환 기반의 공통 프레임워크를 통해 다양한 함수 유형($f^s_k$, $f_+$, $f^{-1}_+$ 및 그 합성)의 분석을 통합한다.

제안 방법

• 입력값 $x$의 s-진 또는 음성-s-진 전개에서 $k$자리 숫자 블록에 고정된 이항 함수 $\theta$를 적용하여 $\Lambda_s$의 함수를 정의한다.
• 세 가지 기본 함수 유형을 구성한다: $f^s_k$(블록 단위 치환), $f_+$(s-진과 음성-s-진 표현 간 전환), $f^{-1}_+$(역함수 $f_+$).
• 이 기본 유형의 합성을 통해 $\Lambda_s$의 모든 함수를 생성한다. 예를 들어 $f_+ \circ f^s_k$, $f^s_k \circ f^{-1}_+$, $f_+ \circ f^s_k \circ f^{-1}_+$ 등.
• 그래프의 자기유사성과 재귀적 구조를 이용하여, 단계 $m$에서의 덮개 집합의 극한 분석을 통해 하우스도르프–베식로비치 차원을 계산한다.
• 자기유사성 성질을 활용해 르베그 적분에 대한 함수방정식을 유도하고, 이를 풀어 $\int f(x)\,dx = \frac{1}{2}$임을 보인다.
• 단계 $mk$에서 그래프가 $s^{mk}$개의 변장이 $s^{-mk}$인 정사각형 내에 존재하며, $\widehat{H}_\alpha(\Gamma) = \varliminf_{m\to\infty} s^{mk} (\sqrt{2} s^{-mk})^\alpha$를 사용해 차원을 계산한다.

실험 결과

연구 질문

• RQ1 s-진 숫자 블록 치환을 통해 구성된 $\Lambda_s$의 함수 그래프의 프랙탈 차원은 무엇인가?
• RQ2 $\Lambda_s$의 함수가 어디서도 미분 가능하지 않은 조건은 무엇인가?
• RQ3 $\Lambda_s$의 임의의 함수가 정의역에서 르베그 적분의 값은 얼마인가?
• RQ4 그래프의 자기유사성 특성이 하우스도르프–베식로비치 차원 계산에 어떻게 기여하는가?
• RQ5 기본 함수 유형 $f^s_k$, $f_+$, $f^{-1}_+$의 합성은 비차별성 및 적분 값과 같은 주요 성질을 어느 정도 유지하는가?

주요 결과

• 모든 함수 $f \in \Lambda_s$ 중에서 $f(x) \neq x$, $f(x) \neq -\frac{s-1}{s+1} - x$, $f(x) \neq 1 - x$를 만족하는 함수는 어디서도 미분 가능하지 않다.
• $\Lambda_s$에 속한 모든 함수 $f$의 그래프에 대한 하우스도르프–베식로비치 차원은 정확히 1이다.
• $\Lambda_s$에 속한 임의의 함수 $f$가 정의역 $D(f)$에서의 르베그 적분 값은 정확히 $\frac{1}{2}$이다.
• $f^s_k$, $f_+$, $f^{-1}_+$ 및 그 합성의 그래프는 자기유사성 구조를 지녀, 재귀적 덮개 및 함수방정식을 통해 차원과 적분을 계산할 수 있다.
• 차원 결과는 $\varliminf_{m\to\infty} s^{mk} (\sqrt{2} s^{-mk})^\alpha \to 0$ for $\alpha > 1$이므로, 임계 차원이 1임을 시사한다.
• 구성 과정의 자기유사성 스케일링과 대칭성 덕분에, $\Lambda_s$의 모든 함수에서 르베그 적분 값이 동일하게 유지된다.