Resumo Técnico: Melhorabilidade de Dirichlet em Normas $L^p$

Enunciado do Problema

O artigo aborda a classificação de números de Dirichlet melhoráveis em relação a normas gerais $L^p$ em $\mathbb{R}^2$. Enquanto o caso clássico da norma do supremo ($L^\infty$) é bem compreendido — onde um número é Dirichlet melhorável se, e somente se, não é mal aproximável (Teorema B) — o comportamento desses conjuntos para outras normas ($1 \le p < \infty$) permanecia amplamente em aberto.

Especificamente, os autores enfrentam três problemas interconectados:

1. Classificação (Problema I): É possível caracterizar números de Dirichlet $p$-melhoráveis ($DI_p$) em termos dos padrões encontrados em suas expansões de frações contínuas regulares, analogamente ao resultado clássico para $L^\infty$?
2. Tamanho Métrico das Diferenças (Problema II): A diferença de conjuntos $DI_p \setminus BA$ (números que são $p$-melhoráveis, mas não mal aproximáveis) possui dimensão de Hausdorff plena? Esta era uma questão em aberto proposta por Kleinbock e Rao para a norma euclidiana ($p=2$).
3. Tamanho Comparativo (Problema III): Qual é o tamanho da diferença entre conjuntos de números melhoráveis para duas normas diferentes, especificamente $DI_{p_1} \setminus DI_{p_2}$?

Metodologia

Os autores empregam uma combinação de geometria dos números, sistemas dinâmicos e teoria métrica de frações contínuas.

1. Correspondência de Dani e Lattices Críticas:
   O estudo utiliza a correspondência de Dani para traduzir problemas de aproximação diofantina em dinâmica de trajetórias de redes no espaço de redes unimodulares. Um número $\alpha$ é Dirichlet não-melhorável $F$ se, e somente se, a trajetória da rede $\Lambda_\alpha(t)$ acumula-se em uma rede crítica para a bola unitária $B_F$ da norma $F$.
   Os autores baseiam-se fortemente na classificação de redes críticas para bolas unitárias $L^p$ ($B_p$), um resultado completado por Glazunov, Golovanov e Malyshev [14]. Essa classificação revela uma bifurcação estrutural em uma constante crítica $p_0 \approx 2.57$.

2. Análise de Padrões em Frações Contínuas:
   Ao analisar o comportamento limite das trajetórias de redes convergindo para redes críticas, os autores derivam condições necessárias e suficientes para a não-melhorabilidade $p$-Dirichlet. Essas condições são expressas como a ocorrência de padrões palíndromos ou simétricos específicos nos quocientes parciais da expansão de fração contínua de $\alpha$.

   • Para $2 < p < p_0$, a não-melhorabilidade corresponde a padrões como $x, 1, 1, y$ ou $x, 2, y$ com $x, y$ grandes.
   • Para $p \in (1, 2) \cup (p_0, \infty)$, os padrões dependem da expansão de fração contínua de uma constante específica $\varsigma_p$ (a raiz de $\varsigma + (1+\varsigma)^p = 2$).

3. Limites de Dimensão de Hausdorff:
   Para provar que certos conjuntos possuem dimensão de Hausdorff plena, os autores constroem subconjuntos de números mal aproximáveis ($BA$) inserindo padrões específicos em suas frações contínuas. Eles utilizam uma técnica de mapeamento de espaço simbólico (Lema 9.1) para mostrar que a inserção desses padrões preserva a dimensão plena do conjunto subjacente enquanto altera as propriedades diofantinas. Isso envolve provar que o mapa de inserção é localmente Lipschitz e que seu inverso é localmente Hölder contínuo.

Contribuições Principais e Resultados

1. Classificação Completa (Teorema 3.1)

O artigo fornece uma caracterização completa e efetiva do conjunto $DI_p^c$ (o complemento dos números de Dirichlet $p$-melhoráveis) para todo $p \in [1, \infty)$.

• Caso $2 < p < p_0$: $\alpha \in DI_p^c$ se, e somente se, sua fração contínua contém os padrões $x, 1, 1, y$ ou $x, 2, y$ com $\min(x, y) \to \infty$.
• Caso $p \in (1, 2) \cup (p_0, \infty)$: A condição depende de $\varsigma_p$. Se $\varsigma_p$ for racional, padrões palíndromos finitos específicos envolvendo os dígitos de $\varsigma_p$ devem ocorrer. Se $\varsigma_p$ for irracional, padrões palíndromos arbitrariamente longos derivados da fração contínua de $\varsigma_p$ devem ocorrer.
• Caso $p=1$ e $p=2$: A caracterização envolve padrões simétricos mais complexos e, para $p=2$, pares de números $\beta, \beta^*$ satisfazendo $\beta \cdot \beta^* = 3$.

2. Resolução de Questões Abertas sobre Dimensão

• Teorema 1.1: Para qualquer $p \in [1, \infty)$, o conjunto $DI_p \setminus BA$ possui dimensão de Hausdorff plena (dimensão 1). Isso resolve a questão em aberto de Kleinbock e Rao para $p=2$ e a generaliza para todas as normas $L^p$. Os autores explicitamente observam que isso falha para $p=\infty$ (onde $DI_\infty \setminus BA = \mathbb{Q}$).
• Teorema 1.2: Os conjuntos $DI_2 \setminus DI_1$ e $DI_1 \setminus DI_2$ possuem ambos dimensão de Hausdorff plena. Isso demonstra que os conjuntos de números melhoráveis para diferentes normas $L^p$ são distintos e que suas diferenças são "grandes" em um sentido fractal.

3. Caracterização de Constantes Específicas

• Corolário 3.9: Os autores aplicam sua classificação ao número $e$. Eles provam que $e \in DI_p$ se, e somente se, $p \in (1, 2) \cup (p_0, \infty)$. Consequentemente, $e$ não é Dirichlet $p$-melhorável para $p \in [2, p_0]$.
• Corolário 3.8: O conjunto de valores $p$ para os quais existem números mal aproximáveis de Dirichlet não-melhoráveis é denso em $(1, 2) \cup (p_0, \infty)$, tem medida de Lebesgue zero e possui dimensão de Hausdorff plena.

4. Verificação da Conjectura de Minkowski

O artigo inclui uma verificação independente da prova da conjectura de Minkowski relativa a redes críticas para bolas $L^p$ (Apêndice A), abordando a falta de código na prova original de Glazunov et al. [14].

Significância e Alegações

O artigo afirma fornecer a primeira classificação completa e efetiva de números de Dirichlet melhoráveis para normas $L^p$ em termos de padrões de frações contínuas. Isso preenche a lacuna entre a teoria clássica de $L^\infty$ e a geometria mais complexa de outras normas.

A significância reside em:

1. Unificação: Unifica a compreensão da melhorabilidade de Dirichlet em toda a família de normas $L^p$, revelando uma transição de fase em $p_0 \approx 2.57$.
2. Resolução Métrica: Resolve a questão do "tamanho" dos conjuntos $DI_p \setminus BA$ e $DI_{p_1} \setminus DI_{p_2}$, mostrando que eles não são meramente não vazios, mas possuem a dimensão de Hausdorff máxima possível.
3. Aplicações Específicas: Fornece uma resposta definitiva sobre as propriedades diofantinas do número $e$ sob normas $L^p$, um exemplo específico da classificação mais ampla.

Os autores enfatizam que seus resultados derivam da classificação de redes críticas e da teoria de frações contínuas, evitando argumentos heurísticos. O trabalho confirma que, embora quase todos os números sejam não-melhoráveis (Teorema C), o conjunto de números melhoráveis é estruturalmente rico e varia significativamente com a escolha da norma $p$.