p진법 정제함수와 다중해상도 분석 기반 파동렛

본 연구는 p‑adic 수 체계 Qₚ 위에서 다중해상도 분석(MRA)을 정의하고, 이를 이용해 정규 직교 파동렛 기저를 체계적으로 구성하는 방법을 제시한다. 서론에서는 1990년대 초에 제안된 MRA 개념이 실수 영역에서 성공적으로 적용된 배경을 소개하고, p‑adic 영역에서는 Kozyrev가 2002년에 Haar 형태의 p‑adic 파동렛을 구축한 이후, 일반적인 MRA 이론이 아직 충분히 정립되지 않았음을 지적한다. 특히 p‑adic 공간의 비아르키메데스 성질과 Iₚ라는 이동 집합이 군 구조를 이루지 않는 점이 기존 실수 MRA와의 차이점으로 강조된다. 2장에서는 Qₚ의 기본 구조, Haar 측도, 로컬 상수 함수와 그 테스트 함수 공간 D(Qₚ), 그리고 푸리에 변환의 정의와 주요 성질을 정리한다. 특히 푸리에 변환이 스케일 변환과 평행 이동에 대해 (1.3)식과 (1.4)식을 만족함을 보이며, 이는 이후 정제 방정식의 푸리에 영역 해석에 핵심적으로 사용된다. 다음으로 MRA의 정의를 제시한다. Vⱼ⊂L²(Qₚ) (j∈ℤ)가 다음 다섯 가지 공리를 만족하면 MRA라 정의한다: (a) 포함 관계 Vⱼ⊂Vⱼ₊₁, (b) 전합이 조밀, (c) 교집합이 {0}, (d) 스케일링 관계 f∈Vⱼ ⇔ f(p^{‑1}·)∈Vⱼ₊₁, (e) 존재하는 스케일링 함수 φ∈V₀가 {φ(·‑a)}_{a∈Iₚ}를 정규 직교 기저로 만든다. 여기서 Iₚ는 p‑adic 정수의 대표 집합으로, Qₚ를 서로 겹치지 않는 구들의 합으로 분해한다. 정제 방정식은 φ가 (2.3)식, 즉 φ(x)=∑_{a∈Iₚ}β_a φ(p^{‑1}x‑a) 형태를 만족하는 것을 의미한다. 논문은 특히 유한 항을 갖는 특수 형태(3.1) φ(x)=p^{‑s+1}∑_{k=0}^{p^{s}‑1}β_k φ(p^{‑1}x‑k p^{‑s})를 집중적으로 연구한다. 푸리에 변환을 적용하면 (3.2) ˆφ(ξ)=m₀(ξ p^{‑s}) ˆφ(pξ) 형태가 되며, 여기서 마스크 m₀(ξ)=p^{‑s+1}∑_{k=0}^{p^{s}‑1}β_k χₚ(kξ)이다. 정리 3.1에서는 φ가 로컬 상수이며 ˆφ의 지지가 B₀(0) 안에 있을 때, φ가 1‑p주기성을 갖고, 따라서 모든 이동 a∈Iₚ에 대해 φ(·‑a)∈V₁이 되어 포함 공리(a)를 만족함을 증명한다. 정리 3.2는 전합이 전체 L²(Qₚ)와 동일하기 위한 필요충분조건으로, 모든 스케일 j에 대해 ˆφ(p^{j}·)의 지지가 전체 Qₚ를 덮어야 함을 (3.4)식으로 제시한다. 정리 3.3은 교집합이 {0}임을 보이기 위해, j→−∞일 때 Vⱼ의 기저 함수가 L² 노름에서 0으로 수렴한다는 사실을 이용한다. 정리 3.4는 |ˆφ(ξ)|=1 (ξ∈B₀(0))이면 {φ(·‑a)}가 정규 직교 기저가 됨을 플랑크레 공식으로 증명한다. 이후 마스크의 구체적 형태를 분석한다. 명제 3.5와 3.6을 통해 ˆφ는 무한 곱 형태 ˆφ(ξ)=ˆφ(0)∏_{j=1}^{∞}m₀(ξ p^{‑s+j}) 로 표현될 수 있음을 보이고, 마스크가 트리곤메트릭 다항식이면 (3.2)를 만족한다는 것을 확인한다. 명제 3.8에서는 마스크가 다음 두 조건을 만족하면 원하는 성질을 얻는다: (i) m₀(k p^{s})=0 for k not divisible by p, (ii) m₀(k p^{s})=1 for k divisible by p. 이러한 마스크는 ˆφ의 지지를 B₀(0) 안에 제한하고, |ˆφ|=const를 보장한다. 정리 3.9는 위 조건이 필요함을 역으로 증명한다. 즉, 정규 직교성을 만족하는 φ가 존재하려면 마스크가 정확히 위와 같은 0‑1 패턴을 가져야 한다. 이러한 이론적 토대를 바탕으로 저자들은 두 가지 구체적 예를 제시한다. 첫 번째는 기존 Kozyrev의 Haar 마스크를 재현하여 p‑adic Haar MRA를 얻는 경우이며, 두 번째는 p=3, s=2인 경우에 β₀=β₁=β₂=1/3 로 설정하여 새로운 3‑adic 파동렛 기저를 만든다. 새로운 파동렛은 기존 Haar 파동렛과는 다른 주기와 스케일 구조를 가지며, 푸리에 변환에서의 위상 특성이 달라짐을 보인다. 마지막으로 파동렛 함수 ψ를 구성하는 일반적인 절차를 제시한다. W₀=V₁⊖V₀ 로 정의하고, ψ는 W₀의 정규 직교 기저를 이루는 유한 개의 선형 결합으로 선택한다. 이렇게 얻은 ψ는 스케일 변환과 이동에 대해 {p^{j/2}ψ(p^{‑j}·‑a)}_{j∈ℤ,a∈Iₚ}가 L²(Qₚ)의 정규 직교 기저가 된다. 전체적으로 논문은 p‑adic 정제 방정식의 마스크 설계와 푸리에 변환의 지원 조건을 연결시켜, MRA 기반 파동렛 구축의 일반적인 틀을 제공한다. 이는 기존에 개별적으로 제시되던 p‑adic 파동렛들을 통합적으로 이해하고, 새로운 파동렛을 체계적으로 설계할 수 있는 이론적 기반을 마련한다.