[논문 리뷰] Hölder regularity of arithmetic Fourier series arising from modular forms

Izabela Petrykiewicz|arXiv (Cornell University)|2013. 11. 04.

Analytic Number Theory Research참고 문헌 5인용 수 6

한 줄 요약

이 논문은 파동함수 분석을 통해 모듈러 형식에서 유도된 산술 푸리에 급수의 무리수 점에서의 헬더 연속성 지수를 규명한다. 정규성은 점의 연속 분수 성질에 정확히 의존하며, 비첨점 형식의 경우 지수는 $ s - k + \frac{k}{\mu(x)} $, 첨점 형식의 경우 $ s - \frac{k}{2} - 1 + \frac{2}{\mu(x)} $ 로 표현되며, 여기서 $ \mu(x) $ 는 연속 분수 근사분수의 성장률을 캡처한다.

ABSTRACT

Given a modular form which is not a cusp form $M_k(z)=\sum_{n=0}^{\infty}r_ne^{2πinz}$ of weight $k \geq 4$, we define the series $M_{k,s}(x)=\sum_{n=1}^{\infty}\frac{r_n}{n^s}\sin(2πnx),$ which converges for all $x\in\mathbb{R}$ when $s>k$. In this paper, we compute the Hölder regularity exponent of $M_{k,s}$ at irrational points. In our analysis we apply wavelets methods proposed by Jaffard in 1996 in the study of the Riemann series. We find that the Hölder regularity exponent at a point $x$ is related to the fine diophantine properties of $x$, in a very precise way.

연구 동기 및 목표

• 무리수 실수에서 모듈러 형식에서 유도된 산술 푸리에 급수의 국소적 헬더 연속성 지수를 결정하는 것.
• 재민의 파동함수 기반 방법을 리만 유형 급수에 적용한 바를 모듈러 형식, 특히 비첨점 및 첨점 형식으로 확장하는 것.
• 무리수의 디오판틴 성질(연속 분수 부분분수를 통한 표현)과 정규성 지수 간의 정밀한 연결 고리를 설정하는 것.
• 아이젠스타인 급수 및 모듈러 디스criminant $\Delta$ 에서 유도된 특정 급수의 정규성 분석.
• 정규성 지수의 최적값에 도달하는 조건을 제시하는 것 — 이는 근사 지수 $\kappa_n$ 의 상한극한 기반이다.

제안 방법

• 원래 리만 급수에 대해 개발된 재민의 파동함수 분석 프레임워크를 모듈러 형식의 푸리에 급수 분석에 적응시키는 것.
• 모듈러 형식의 무게 $ k \geq 4 $ 에 대해 $ M_{k,s}(x) = \sum_{n=1}^\infty \frac{r_n}{n^s} \sin(2\pi n x) $ 를 정의하는 것, 여기서 $ r_n $ 은 모듈러 형식의 푸리에 계수이다.
• 연속 분수 수렴근 $ \frac{p_n}{q_n} $ 의 성장률을 사용해 $ \kappa_n $ 을 정의하고, 그 후 $ \mu(x) = \limsup_{n \to \infty} \kappa_n $ 를 정의하여 $ x $ 의 디오판틴 근사 품질을 측정하는 데 사용한다.
• 파동함수 분해를 적용하여 국소적 헬더 연속성을 분석하고, 정규성 지수를 파동함수 계수의 감쇠율과 연결한다.
• 첨점 및 비첨점 형식을 구분하여, 모듈러 형식의 무한대에서의 행동이 계수의 하한에 영향을 주므로, 이에 따라 정규성 추정치가 달라짐을 고려한다.
• 비첨점 형식은 무한대에서 아래로 유계이므로, 첨점 형식보다 더 강력한 정규성 추정치를 가능하게 한다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 무리수 점 $ x \in \mathbb{R} \setminus \mathbb{Q} $ 에서 급수 $ M_{k,s}(x) = \sum_{n=1}^\infty \frac{r_n}{n^s} \sin(2\pi n x) $ 의 헬더 연속성 지수는 무엇인가?
• RQ2 정규성 지수는 $ x $ 의 연속 분수 전개에 어떻게 의존하는가?
• RQ3 리만 급수에 사용된 파동함수 기반 방법을 모듈러 형식 관련 푸리에 급수로 일반화할 수 있는가?
• RQ4 첨점 형식의 최적 정규성 지수는 무엇이며, 비첨점 형식과 어떻게 다를까?
• RQ5 $ s $ 와 $ x $ 의 디오판틴 유형에 대해 정규성 지수가 정확하게 도달하는 조건은 무엇인가?

주요 결과

• 무게 $ k \geq 4 $ 인 비첨점 모듈러 형식에 대해, 무리수 $ x $ 에서의 헬더 정규성 지수는 $ \alpha_{k,s}(x) = s - k + \frac{k}{\mu(x)} $ 이며, 조건 $ s > k + \frac{k}{\nu(x)} - \frac{k}{\mu(x)} $ 를 만족할 경우에 한하여 성립한다.
• 첨점 형식의 경우 정규성 지수는 $ \beta_{k,s}(x) \geq s - \frac{k}{2} - 1 + \frac{2}{\mu(x)} $ 를 만족하며, $ \mu(x) = 2 $ 이고 무한히 많은 부분분수 $ a_n(x) $ 가 유계일 경우 등호가 성립한다.
• $ s > \frac{3k}{2} $ 이면 모든 무리수 $ x $ 에 대해 정규성 지수 공식이 성립하며, 이 조건은 $ s > k $ 일 때 거의 모든 $ x $ 에 대해 만족된다.
• 아이젠스타인 급수 $ E_k $ 에 대해, 동일한 조건 하에서 $ E_{k,s}(x) $ 의 정규성 지수는 $ s - k + \frac{k}{\mu(x)} $ 이며, 관계 $ E_{k,s} \propto M_{k,s} $ 로 인해 성립한다.
• 무게 2의 준모듈러 아이젠스타인 급수 $ E_2 $ 에 대해, 정규성 지수는 $ \gamma_{2,s}(x) \geq s - 2 + \frac{2}{\mu(x)} $ 를 만족하며, 무한히 많은 $ n $ 에 대해 $ a_n(x) \geq 7 $ 이면 등호가 성립한다.
• 모듈러 디스크리미넌트 $ \Delta $ 에 대해, 급수 $ \Delta_s(x) = \sum_{n=1}^\infty \frac{\tau(n)}{n^s} \cos(2\pi n x) $ 는 $ s > 7 $ 이면 거의 모든 $ x $ 에 대해 $ \delta_s(x) = s - 6 $ 을 만족하며, 이는 자그의 $ \Delta_{11} $ 관찰을 확인한다.