[논문 리뷰] ON CERTAIN FUNCTIONS AND RELATED PROBLEMS

Symon Serbenyuk|arXiv (Cornell University)|2019. 01. 01.

Education, Innovation and Language Studies참고 문헌 6인용 수 3

한 줄 요약

이 논문은 가변 기수의 칸토어 급수 전개에 대한 일반화된 이동 연산자를 도입하고, 이를 통해 가우스-쿠즈민 문제와 살레姆 함수를 일반화한다. 이 연산자를 포함하는 함수방정식 시스템에 대해 유일하고 유계이며 연속적인 해를 확립하며, 그 해와 그 르베그 적분에 대한 명시적 공식을 도출하여 고전적 결과를 가변 기수 전개와 비표준 함수계로 확장한다.

ABSTRACT

The present article is devoted to the description of further investigations of the author of this article. These investigations (in terms of various representations of real numbers) include the generalized Salem functions and generalizations of the Gauss-Kuzmin problem.

연구 동기 및 목표

• 가변 기수의 칸토어 급수 전개에서 일반화된 이동 연산자를 사용하여 가우스-쿠즈민 문제를 일반화한다.
• 함수방정식을 통한 새로운 클래스의 특이 함수 및 어디서도 미분 가능하지 않은 함수의 이론을 확장한다.
• 일반화된 이동 연산자로부터 유도된 해의 연속성, 미분 가능성, 적분 가능성에 대해 분석한다.
• 이산화된 해의 구조와 반복된 일반화된 이동 연산자에 따른 해의 행동을 조사한다.
• 루로스, 엔겔, 연분수를 포함한 다양한 수진 체계에서의 함수방정식 연구를 위한 기초를 마련한다.

제안 방법

• 기수 (qk) 가 가변인 칸토어 급수 전개에 대해 일반화된 이동 연산자 σm을 정의하며, 이는 m번째 자릿수를 건너뛰고 나머지 항들을 재가중하는 방식이다.
• 일반화된 이동 연산자 σm(x)를 부분 연속적인 사상으로 정의하며, m번째 항을 제거한 후 부분합을 재조합하는 방식이다.
• 계수 βαnk,nk와 가중치 pαnk,nk가 (−1,1) 범위에 있으며 합이 1이 되는 조건을 만족하는 σnk−1 ◦ ... ◦ σn1(x)를 포함하는 함수방정식 시스템을 수립한다.
• 반복적 대입을 통해 해 g(x) = βαn1 + ∑_{k=2}^∞ βαnk ∏_{j=1}^{k-1} pαnj 를 도출하며, 곱항의 감쇠로 인해 수렴함을 증명한다.
• 르베그 적분 공식 ∫₀¹ g(x)dx = (β₁ + ... + β_{q−1})/(q−1) 을 적용하여 해 함수의 적분을 계산한다.
• 연속성과 미분 가능성 분석: g는 q-무리수 점에서 연속이며, 수열 (nk) 에 따라 영향을 받는 가산 집합에서만 이산화된다.

실험 결과

연구 질문

• RQ1 가변 기수의 칸토어 급수 전개에서 반복된 일반화된 이동 연산자의 극한 분포는 무엇인가?
• RQ2 일반화된 이동 연산자를 포함하는 함수방정식은 어떻게 특이하거나 어디서도 미분 가능하지 않은 함수를 생성하는가?
• RQ3 함수방정식 시스템의 해가 유계이고 연속성을 유지하는 조건은 무엇인가?
• RQ4 q-진수의 경우 해 함수의 르베그 적분은 무엇이며, 계수 βi와 pi에 따라 어떻게 달라지는가?
• RQ5 해 함수의 이산화된 구조는 수열 (nk) 의 선택에 따라 어떻게 달라지는가?

주요 결과

• 함수방정식 시스템은 [0,1] 상에서 정의된 함수의 범주에서 유일한 유계 해 g(x) = βαn1 + ∑_{k=2}^∞ βαnk ∏_{j=1}^{k-1} pαnj 를 가진다.
• 해 g는 모든 q-무리수 점에서 연속이며, 수열 (nk) 에 따라 유한하거나 가산 또는 공집합이 되는 이산화된 집합을 이룬다.
• g가 [0,1] 상에서의 르베그 적분은 ∫₀¹ g(x)dx = (β₁ + β₂ + ... + β_{q−1}) / (q−1) 로, 닫힌 형태의 표현식을 제공한다.
• g를 정의하는 무한급수의 수렴은 |pαnt| < 1 이므로 ∏_{t=1}^k pαnt → 0 (k → ∞) 인 감쇠로 인해 보장된다.
• 일반화된 이동 연산자 σm은 열린 실린더에서 연속이며, 거의 모든 곳에서 미분 가능하고 도함수는 qm 이다. 다만 n = m 인 Q-유리수 점에서는 그렇지 않다.
• 특정 조건 하에서 복합 함수 항등식 σₙₖ₋₁ ◦ ... ◦ σₙ₁(x) = σₙₖ₊ₙ₋₁(x) 가 성립하며, 이는 반복된 연산자의 재귀적 분석을 가능하게 한다.