A Ruelle-McMullen formula for the volume dimension of skew products in $\mathbb C^2$

Este artigo estabelece uma fórmula de expansão de segunda ordem para a dimensão de volume do conjunto de Julia de skew products holomorfos em $\mathbb{C}^2$, generalizando resultados clássicos de Ruelle e McMullen sobre a dimensão de Hausdorff para o contexto não conforme de sistemas dinâmicos de dimensão superior.

O essencial

Imagine que você está observando um fractal, uma imagem matemática infinitamente complexa e bonita que se repete em escalas menores e menores. Na matemática, chamamos isso de Conjunto de Julia.

Este artigo é como um estudo sobre como a "complexidade" (ou o tamanho) desse fractal muda quando você faz uma pequena alteração na fórmula que o cria.

Aqui está a explicação, passo a passo, usando analogias do dia a dia:

1. O Problema: Medindo a "Gordura" de um Fractal

Na matemática de uma dimensão (como desenhando em uma linha), os matemáticos já sabiam como medir a complexidade desses fractais. Eles usavam uma régua chamada Dimensão de Hausdorff.

• A descoberta antiga: Nos anos 80, um matemático chamado Ruelle descobriu que, se você pegar a fórmula mais simples possível (como $z^2$) e adicionar um pouquinho de "ruído" (uma pequena perturbação), a complexidade do fractal aumenta. Ele conseguiu calcular exatamente quanto ela aumenta.

2. O Novo Desafio: O Mundo 3D (ou 2D Complexo)

Os autores deste paper, Fabrizio Bianchi e Yan Mary He, decidiram aplicar essa ideia a um mundo mais complexo: o C2 (que é como um espaço de 4 dimensões reais, mas visualizemos como um sistema de duas variáveis interligadas).

• O problema: No mundo 3D, as coisas não são "redondas" ou "suaves" como no mundo 2D. Elas são distorcidas. A régua antiga (Dimensão de Hausdorff) quebrou; ela não conseguia medir a complexidade de forma justa nesses sistemas distorcidos.
• A solução: Eles criaram uma nova régua chamada Dimensão de Volume. Pense nisso como uma "régua inteligente" que entende que o espaço está sendo esticado e torcido de formas diferentes em direções diferentes.

3. A Máquina de Fractais: O "Skew Product"

Eles estudam uma máquina específica chamada Skew Product (Produto Viésado).

• A analogia: Imagine uma esteira rolante (a parte $z$) que gira de forma simples e previsível. Em cima dessa esteira, há várias xícaras de café (a parte $w$) que estão sendo mexidas.
• A regra é: a esteira gira, e o movimento de cada xícara depende de onde ela está na esteira.
• Eles pegaram a máquina mais simples possível (onde a esteira gira e as xícaras apenas giram sozinhas) e adicionaram um "tempero" (uma pequena perturbação $t$) na mistura das xícaras.

4. A Grande Descoberta: A Fórmula de "Segunda Ordem"

O objetivo do artigo era responder: "Se eu mexer um pouquinho na receita (adicionar o tempero $t$), quanto a complexidade (Dimensão de Volume) do fractal resultante vai mudar?"

Eles descobriram que a mudança não é aleatória. Existe uma fórmula matemática precisa que diz exatamente o quanto a complexidade aumenta.

• A analogia da receita: Se você adicionar uma pitada de sal ($t$) em uma sopa, o sabor muda. Eles descobriram que o "sabor" (a complexidade do fractal) aumenta proporcionalmente ao quadrado da quantidade de sal ($t^2$).
• A fórmula deles mostra que o aumento depende de dois fatores:
  1. O tamanho da perturbação ($t$).
  2. A "força" dos coeficientes ($c_k$) que definem como as xícaras são mexidas.

5. Como eles fizeram isso? (O Segredo da Detecção)

Para chegar a essa fórmula, eles usaram uma técnica brilhante:

1. O Espelho Mágico: Eles usaram coordenadas especiais (chamadas coordenadas de Böttcher) que funcionam como um espelho. Esse espelho transforma o caos do fractal em algo simples e ordenado (como transformar uma sopa bagunçada em água pura).
2. A Variação: Eles observaram como esse "espelho" se deforma quando a máquina é perturbada.
3. A Energia: Eles calcularam a "energia" dessa deformação. Se a deformação for grande, a complexidade do fractal aumenta muito. Se for pequena, aumenta pouco.
4. O Resultado: Eles provaram que a complexidade inicial é 0,5 (metade do máximo possível) e, ao adicionar a perturbação, ela sobe de acordo com a soma das energias de cada parte da perturbação.

Resumo Final

Imagine que você tem um modelo de um furacão perfeito e simples.

• Antes: Você sabia que, se soprasse um pouco de vento extra, o furacão ficaria um pouco mais caótico.
• Agora: Este artigo diz: "Ok, mas se o furacão for um sistema complexo onde o vento de um lado afeta o outro de forma distorcida, aqui está a fórmula exata para calcular o novo nível de caos."

Eles provaram que, para esses sistemas complexos, a complexidade (medida pela nova régua de Volume) cresce suavemente e previsivelmente, e deram a receita exata para calcular esse crescimento baseada nos ingredientes da fórmula original.

Em suma: Eles criaram uma nova régua para medir a complexidade em mundos distorcidos e descobriram exatamente como essa complexidade reage a pequenas mudanças na receita do caos.

Resumo técnico

Título: Uma Fórmula de Ruelle-McMullen para a Dimensão de Volume de Skew Products em $\mathbb{C}^2$

1. Problema e Contexto

O artigo investiga a variação da dimensão fractal de conjuntos de Julia em famílias holomorfas de dimensão superior.

• Antecedentes Unidimensionais: Nos anos 80, Ruelle [Rue82] e posteriormente McMullen [McM08] estudaram a variação da dimensão de Hausdorff de conjuntos de Julia para famílias de polinômios complexos unidimensionais (ex: $f_c(z) = z^2 + c$). Eles provaram que a dimensão de Hausdorff admite uma expansão de segunda ordem em torno de mapas monomiais ($z \mapsto z^d$), mostrando que o mapa monomial é um mínimo local estrito.
• O Desafio em Dimensões Superiores: Em sistemas dinâmicos holomorfos de dimensão $>1$ (como em $\mathbb{C}^2$), os mapas são não conformes. Consequentemente, a dimensão de Hausdorff deixa de ser uma ferramenta bem adaptada à dinâmica, e seu comportamento no espaço de parâmetros é mal compreendido. Ferramentas clássicas, como o teorema de distorção de Koebe, não estão disponíveis.
• Objetivo: Estender o resultado de Ruelle-McMullen para skew products holomorfos em $\mathbb{C}^2$ do tipo:
  $$f_t(z, w) = (z^d, w^d + t(c_1(z)w^{d-1} + c_2(z)w^{d-2} + \dots + c_d(z)))$$
  onde $c_j(z)$ são funções holomorfas. O foco é calcular a expansão de segunda ordem da dimensão de volume (volume dimension) do conjunto de Julia $J(f_t)$ quando $t \to 0$.

2. Metodologia e Conceitos Chave

A. Dimensão de Volume (Volume Dimension - VD)
Os autores utilizam a "dimensão de volume", uma noção introduzida em trabalho anterior [BH24], que substitui a dimensão de Hausdorff em contextos não conformes.

• É definida como o zero de uma função de pressão termodinâmica natural.
• Para mapas hiperbólicos, satisfaz uma fórmula do tipo Mañé-Manning, relacionando dimensão, entropia e expoentes de Lyapunov.
• Em dimensão 1, coincide (até um fator de 2) com a dimensão de Hausdorff.

B. Estrutura do Mapa e Hiperbolicidade

• O estudo foca em skew products que são "conectados fibra a fibra" (fiberwise connected), garantindo que o conjunto de Julia seja um repulsor uniformemente hiperbólico na direção vertical.
• Os mapas são considerados dentro de um componente hiperbólico onde a dinâmica é estruturalmente estável e os conjuntos de Julia variam continuamente.

C. Estratégia de Prova (Adaptação de McMullen)
A prova segue a estratégia geral de McMullen, adaptada ao cenário não conforme:

1. Caracterização via Pressão: A dimensão de volume $\delta_t$ é caracterizada como o zero da pressão topológica $P(\delta_t \phi_t) = 0$, onde $\phi_t = -\log |\text{Jac } f_t|$ é o potencial geométrico.
2. Derivada Segunda: O problema reduz-se a calcular a segunda derivada $\ddot{\delta}_0$ em $t=0$. Uma fórmula geral expressa $\ddot{\delta}_0$ em termos da variância da deformação infinitesimal $\dot{\phi}_0$ do potencial.
3. Coboundary Virtual: Uma observação crucial é que a deformação infinitesimal $\dot{\phi}_0$ não é uma função de Hölder arbitrária, mas sim um coboundary virtual. Ela é o traço no conjunto de Julia de uma função definida no bacia do infinito, que pode ser escrita como a diferença entre uma função $g$ e sua pull-back pela dinâmica ($g - g \circ F_0$).
4. Cálculo Assintótico: Essa estrutura permite expressar a variância necessária em termos do crescimento assintótico da função $g$ (relacionada à derivada das coordenadas de Böttcher) perto da fronteira da bacia do infinito.

3. Resultados Principais

Teorema 1.1 (Expansão de Segunda Ordem)
Para a família de skew products $f_t$ definida acima, a dimensão de volume do conjunto de Julia $J(f_t)$ admite a seguinte expansão quando $t \to 0$:

$$\text{VD}_{f_t}(J(f_t)) = \frac{1}{2} + \frac{|t|^2}{16 d^2 \log d} \int_{S^1} \sum_{k=1}^{d} k^2 |c_k(z)|^2 \, d\text{Leb}_1(z) + O(|t|^3)$$

Onde:

• $\text{Leb}_1$ é a medida de probabilidade de Lebesgue normalizada no círculo unitário $S^1$.
• $c_k(z)$ são os coeficientes holomorfos da perturbação.
• O termo constante $1/2$corresponde à dimensão de volume do mapa não perturbado$(z, w) \mapsto (z^d, w^d)$.

Interpretação do Resultado:

• A dimensão de volume possui um mínimo local estrito no mapa monomial $(z^d, w^d)$.
• O coeficiente de segunda ordem depende explicitamente dos coeficientes da perturbação $c_k(z)$, ponderados por $k^2$ e integrados sobre o círculo unitário.
• A fórmula generaliza o resultado de McMullen para polinômios unidimensionais para o contexto bidimensional não conforme.

4. Contribuições Técnicas Específicas

1. Generalização para Sistemas Não Conformes: O trabalho demonstra que, apesar da falta de conformalidade, é possível obter fórmulas explícitas de expansão de dimensão usando a dimensão de volume e a teoria de pressão.
2. Cálculo da Variância via Energia Assintótica: Os autores estabelecem uma ligação precisa entre a variância da deformação do potencial e a energia assintótica da derivada da conjugação de Böttcher ($\partial_w v$) perto do infinito (Proposição 3.5).
3. Solução de Equações Funcionais: O cálculo explícito da função $v(z, w)$ (derivada da conjugação) resolve uma equação funcional específica para skew products, permitindo a obtenção da série de Laurent necessária para o cálculo da integral de energia (Lema 3.8 e Proposição 3.7).
4. Uso do Teorema Ergódico de Birkhoff: A prova final utiliza o teorema ergódico para lidar com a média das funções $c_k(z^{d^n})$ ao longo das órbitas, simplificando a expressão final da integral.

5. Significado e Impacto

• Avanço na Dinâmica Complexa Multidimensional: Este é um dos primeiros resultados a fornecer uma fórmula explícita e verificável para a variação de dimensões fractais em sistemas holomorfos de dimensão superior, superando as limitações da dimensão de Hausdorff.
• Validação da Dimensão de Volume: O resultado valida a dimensão de volume como uma ferramenta robusta e dinamicamente significativa para estudar a geometria de conjuntos de Julia em $\mathbb{C}^n$.
• Conexão com Teoria de Perturbação: A fórmula conecta diretamente a geometria do conjunto de Julia (sua dimensão) com os coeficientes algébricos da perturbação do mapa, oferecendo uma ferramenta analítica poderosa para o estudo de componentes hiperbólicas no espaço de parâmetros de skew products.

Em resumo, o artigo estabelece uma ponte fundamental entre a teoria de perturbação de Ruelle-McMullen e a dinâmica complexa de dimensão superior, introduzindo e aplicando a dimensão de volume para resolver um problema clássico de geometria fractal em um novo contexto.