Table of Contents
Fetching ...

Regularity properties of $k$-Brjuno and Wilton functions

Seul Bee Lee, Stefano Marmi, Izabela Petrykiewicz, Tanja I. Schindler

Abstract

We study functions related to the classical Brjuno function, namely $k$-Brjuno functions and the Wilton function. Both appear in the study of boundary regularity properties of (quasi) modular forms and their integrals. We consider various possible versions of them, based on the $α$-continued fraction developments. We study their BMO regularity properties and their behaviour near rational numbers of their finite truncations.

Regularity properties of $k$-Brjuno and Wilton functions

Abstract

We study functions related to the classical Brjuno function, namely -Brjuno functions and the Wilton function. Both appear in the study of boundary regularity properties of (quasi) modular forms and their integrals. We consider various possible versions of them, based on the -continued fraction developments. We study their BMO regularity properties and their behaviour near rational numbers of their finite truncations.

Paper Structure

This paper contains 28 sections, 29 theorems, 293 equations, 9 figures.

Key Result

Theorem 1.1

Figures (9)

  • Figure 1: Numerical computation of the Brjuno function $B$ (left) and of the Wilton function $W$ (right) when $\alpha=1$. The asymmetric logarithmic singularities at rational points provide an intuitive justification for $W$ not belonging to the BMO space, see Section \ref{['sec:BMO']}.
  • Figure 2: Numerical computations of $W_\alpha$ for $\alpha=1/2$ (upper left), $\alpha=\frac{\sqrt{5}-1}{2}$ (upper right), $\alpha=e-2$ (lower left) and $\alpha=0.9$ (lower right).
  • Figure 3: The graph of $A_{1/2}$ and $A_\alpha$ for $\alpha\in[\frac{1}{2},g]$, where $g=\frac{\sqrt{5}-1}{2}$.
  • Figure 4: Graph of $A_\alpha$ when $\alpha>g$.
  • Figure 5: The sets $D(m_1,\cdots,m_r)$. The left figure is the partition of $D$ by $D(n)$. The right figure is of the sets $D(1,n)$ in $D(1)$.
  • ...and 4 more figures

Theorems & Definitions (56)

  • Theorem 1.1
  • Proposition 2.1
  • Theorem 2.2
  • Theorem 2.3
  • Proposition 2.4: MMY1
  • Proposition 2.5
  • Remark 2.6
  • proof : Proof of Proposition \ref{['prop: kBrjuno equiv to prop2.3']}
  • Remark 2.7
  • Proposition 2.8
  • ...and 46 more