프랙탈에서 다항분모 근사와 카인치네 수렴 정리

초록

본 논문은 큰 진법을 갖는 하나의 결손 자리수 집합(미싱 디짓 프랙탈) 위에서, 다항식 형태의 분모를 가진 유리수로의 근사 가능성을 조사한다. 카인치네 정리의 수렴 경우와 유사한 결과를 증명하기 위해 결손 자리수 측도와 그 Fourier 차원을 이용하고, 1차원에서 다차원으로 결과를 확장한다.

상세 분석

논문은 먼저 전통적인 카인치네 정리(Khintchine’s theorem)의 수렴 부분을 복습하고, 이를 “다항분모”라는 새로운 근사 대상에 적용하려는 시도로 시작한다. 여기서 핵심은 결손 자리수 집합 K_{b,D}에 정의된 확률 측도 μ_{b,D}가 충분히 빠른 Fourier 감소(즉, Fourier‑ℓ‑차원 ̂κ₁(μ) > 1‑1/n) 를 만족한다는 점이다. 저자는 이 조건을 만족시키기 위해 “진법 b를 충분히 크게 잡는다”고 가정한다.

정리 2.1은 Borel‑Cantelli 보조정리를 이용해 λ( W_P(ψ) ) = 0 (∑ ψ(q) < ∞) 를 보이며, 이는 전형적인 수렴 케이스와 일치한다. 이후 정의 2.1·2·3을 통해 결손 자리수 집합과 그 측도, 그리고 Fourier 차원을 정밀히 정의한다. 특히 ̂κ_t(ν) 의 정의는 |̂ν(ξ)|^t ≪ |ξ|^{‑(1‑s)} 형태의 상한을 요구하는데, 이는 기존의 Fourier 차원 개념을 일반화한 것이다.

주요 기술적 결과는 Lemma 3.1과 Lemma 3.2이다. Lemma 3.1에서는 1‑1/n < v < ̂κ₁(μ) 라는 구간의 v 를 잡고, δ ≥ Q^{‑(2v‑1)/(1‑v)} 일 때
∑_{q≤Q} μ(A(q,δ)) ≪ δ Q
임을 보인다. 증명은 Parseval‑식과 τ(ξ) (약수 개수) 를 이용한 합의 추정, 그리고 μ의 Fourier 감소를 활용한다. 여기서 “ε = ̂κ(μ)‑v” 를 도입해 오차 항을 제어하는 과정이 핵심이다.

Lemma 3.2는 위 결과를 d 차원으로 바로 확장한다. 저자는 B(q,δ) 를 정의하고, B(q,δ) ⊂ {x₁∈K : ‖P(q)x₁‖<δ} 라는 포함 관계를 이용해 μ_d(B(q,δ)) ≤ μ_1(A(q,δ)) 를 얻는다. 따라서 1‑차원 결과가 그대로 d‑차원에도 적용됨을 보여준다.

마지막으로 Theorem 3.3에서는 ψ가 단조 감소 함수이며 ∑ ψ(q) < ∞ 일 때, μ_d( W_P(ψ) ) = 0 임을 증명한다. 여기서는 앞서 얻은 “δ ≥ Q^{‑u}” 형태의 추정과, f(q)=ψ(q) 를 적절히 선택해 ∑ μ_d(A(q,ψ(q))) 가 수렴함을 보이고, Borel‑Cantelli 를 적용한다.

전체적인 논리 흐름은 타당해 보이지만, 몇 가지 미비점이 존재한다. 첫째, “진법을 충분히 크게 잡는다”는 가정이 실제로 ̂κ₁(μ) > 1‑1/n 을 보장하는 구체적인 조건이 제시되지 않았다. 기존 문헌(예: Cho‑Varju‑Yu 2024)에서는 진법과 결손 자리수 집합의 Hausdorff 차원을 통해 Fourier 차원을 추정하지만, 논문에서는 이를 간략히 인용만 하고 증명을 생략한다. 둘째, Lemma 3.1에서 τ(ξ) 의 평균적 성장률을 이용한 추정이 “≪” 기호만으로 표현돼 구체적인 상수와 의존 관계가 불분명하다. 셋째, 다항식 P의 차수 n 이 결과에 미치는 영향이 δ의 지수에만 등장하고, P의 계수나 형태에 대한 추가 가정이 없다는 점이 약간의 일반성을 손상시킨다. 마지막으로, 수렴 케이스만 다루고 발산 케이스(즉, μ_d(W_P(ψ)) = 1) 에 대한 논의가 전혀 없으며, 이는 카인치네 정리와 완전한 유사성을 주장하기에 부족하다.

그럼에도 불구하고, 결손 자리수 프랙탈 위에서 다항분모 근사를 다루는 새로운 접근은 흥미롭다. Fourier 차원을 활용한 측도 추정과 Borel‑Cantelli 적용이라는 전형적인 도구들을 적절히 결합했으며, 1차원에서 d차원으로의 확장이 비교적 깔끔하게 이루어졌다. 향후 연구에서는 진법‑결손 조건을 명시적으로 정량화하고, 발산 케이스와 다항식 계수에 대한 민감도 분석을 추가한다면 보다 완전한 카인치네‑유사 정리를 구축할 수 있을 것이다.