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

Questo articolo estende le formule di Ruelle e McMullen per la dimensione di Hausdorff al contesto dei prodotti skew olomorfi in $\mathbb{C}^2$, fornendo uno sviluppo esplicito al secondo ordine della dimensione di volume della loro insieme di Julia in funzione dei coefficienti della perturbazione.

L'essenziale

Immagina di avere un gioco di specini magici che prende un punto e lo trasforma in un altro, ripetendo questa operazione all'infinito. In matematica, questo crea una figura complessa e affascinante chiamata insieme di Julia.

Per molto tempo, i matematici hanno studiato questi specini in una sola dimensione (come su una linea). Hanno scoperto che se cambi leggermente la formula dello specchio (aggiungendo un piccolo "disturbo"), la forma dell'insieme di Julia cambia, e anche la sua "dimensione" (quanto è frastagliato o complesso) cambia.

Nel 1980, un matematico di nome Ruelle ha scoperto una regola precisa: se il disturbo è piccolissimo, la dimensione aumenta in modo prevedibile, come se fosse una parabola perfetta. Più tardi, McMullen ha esteso questa regola a specini più complessi.

Ma cosa succede se passiamo a due dimensioni?
Qui entra in gioco il lavoro di Fabrizio Bianchi e Yan Mary He che hai appena letto.

Il Problema: La "Fatica" della Dimensione

Immagina che la dimensione di un oggetto sia come la sua "superficie". In una dimensione (una linea), misurare la superficie è facile. Ma in due dimensioni (un piano), le cose si complicano perché gli specini non si comportano più in modo uniforme: si allungano in una direzione e si schiacciano in un'altra. È come se lo specchio fosse fatto di gomma elastica che si deforma in modo disordinato.

In questo caso, la classica "dimensione" (quella di Hausdorff) smette di funzionare bene. È come cercare di misurare la superficie di un palloncino che viene schiacciato e stirato in modo caotico: il numero che ottieni non ti dice molto su come si comporta il palloncino.

La Soluzione: La "Dimensione di Volume"

Gli autori hanno introdotto un nuovo strumento, chiamato Dimensione di Volume.
Pensa a questo come a un nuovo righello speciale progettato apposta per oggetti deformabili. Invece di contare solo i "bordi", questo righello tiene conto di come l'oggetto viene stirato e compresso nello spazio. È un modo più intelligente per dire "quanto è grande e complesso" questo insieme di punti.

L'Esperimento: I "Skew Products"

Gli autori studiano una famiglia specifica di questi specini magici in due dimensioni, chiamati skew products.
Immagina due leve collegate:

1. La prima leva (la coordinata $z$) gira in modo semplice e prevedibile (come una ruota che fa $z^d$).
2. La seconda leva (la coordinata $w$) dipende dalla prima, ma ha un piccolo "dente" aggiunto che la fa oscillare un po' in modo complicato.

Quando il "dente" è zero, il sistema è perfetto e ordinato. Quando il "dente" (chiamato $t$) viene aggiunto, il sistema si disturba.

La Scoperta Principale

Il cuore della loro ricerca è rispondere a questa domanda: "Se aggiungo un piccolissimo disturbo ($t$) alla seconda leva, quanto cambia la 'Dimensione di Volume' dell'insieme di Julia?"

Hanno scoperto che la risposta è sorprendentemente semplice e bella, proprio come quella di Ruelle e McMullen per la dimensione singola.

La loro formula dice che:

1. Se non c'è disturbo ($t=0$), la dimensione è un valore fisso (1/2 nel loro caso specifico).
2. Se aggiungi un disturbo piccolissimo, la dimensione aumenta.
3. L'aumento non è casuale: è proporzionale al quadrato della grandezza del disturbo ($t^2$).

L'analogia della "Palla di Pongo":
Immagina di avere una palla di pongo perfetta (il sistema senza disturbo). Se la tocchi leggermente con un dito (il disturbo $t$), la palla si deforma.
Gli autori hanno scoperto che la "complessità" della superficie della palla deformata aumenta esattamente in base a quanto forte hai premuto il dito, ma in modo quadrato. Se premi il doppio, la complessità aumenta quattro volte.

Perché è importante?

Questa formula è come una mappa del tesoro.
Prima, se volevi sapere come cambia la complessità di questi sistemi 2D, dovevi fare calcoli enormi e complicati per ogni singolo caso. Ora, grazie a Bianchi e He, basta guardare i "coefficienti" del disturbo (i numeri $c_k$ nella formula) e applicare la loro ricetta per sapere esattamente quanto diventerà complesso il sistema.

In sintesi:

• Hanno creato un nuovo modo per misurare la complessità in 2D (Dimensione di Volume).
• Hanno applicato questo metodo a una famiglia di sistemi dinamici.
• Hanno trovato una formula magica che dice esattamente come la complessità cresce quando si introduce una piccola perturbazione, confermando che anche in dimensioni più alte, la natura mantiene un ordine matematico elegante.

È come se avessero scoperto che, anche in un universo caotico e deformato, c'è una legge fondamentale che governa come le cose si "ingrandiscono" quando vengono disturbate.

Sommario tecnico

Ecco un riassunto tecnico dettagliato del paper "A Ruelle-McMullen Formula for the Volume Dimension of Skew Products in C2" di Fabrizio Bianchi e Yan Mary He, redatto in italiano.

1. Problema e Contesto

Il lavoro si inserisce nello studio della dinamica complessa in dimensione superiore, specificamente nell'analisi della variazione della dimensione frattale degli insiemi di Julia all'interno di famiglie olomorfe.

• Sfondo Unidimensionale: Negli anni '80, Ruelle ha dimostrato che per la famiglia quadratica $f_c(z) = z^2 + c$, la dimensione di Hausdorff dell'insieme di Julia ammette uno sviluppo asintotico del secondo ordine attorno a $c=0$. McMullen ha successivamente generalizzato questo risultato per perturbazioni polinomiali di $z^d$ ($d \ge 2$), fornendo una formula esplicita per la seconda derivata della dimensione di Hausdorff.
• La Sfida in Dimensione Superiore: In dimensione complessa maggiore di uno ($\mathbb{C}^2$), i sistemi dinamici olomorfi non sono conformi. Di conseguenza, la dimensione di Hausdorff perde alcune delle sue proprietà dinamiche fondamentali e il suo comportamento nello spazio dei parametri è poco compreso. Gli strumenti classici, come il teorema di distorsione di Koebe, non sono più disponibili.
• Oggetto di Studio: Gli autori studiano famiglie di prodotti skew polinomiali (skew products) in $\mathbb{C}^2$ della forma:
  $$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)))$$
  dove $t$ è un parametro piccolo e le $c_k(z)$ sono funzioni olomorfe. L'obiettivo è analizzare la variazione della dimensione dell'insieme di Julia $J(f_t)$ quando $t \to 0$.

2. Metodologia e Strumenti Teorici

Per superare le limitazioni della dimensione di Hausdorff in contesti non conformi, gli autori adottano il concetto di Dimensione di Volume ($VD$), introdotto nel loro lavoro precedente [BH24].

• Dimensione di Volume: Questa nozione coincide con la dimensione di Hausdorff (a meno di un fattore 2) in dimensione 1, ma incorpora la geometria non conforme dei sistemi multidimensionali. È caratterizzata come lo zero di una funzione di pressione naturale per misure invarianti espansive e soddisfa una formula di tipo Mañé-Manning che lega dimensione, entropia ed esponenti di Lyapunov.
• Struttura Iperbolica: Il lavoro si concentra su una componente iperbolica contenente la mappa di riferimento $F_0(z, w) = (z^d, w^d)$. In questa regione, gli insiemi di Julia variano in modo continuo e le mappe sono strutturalmente stabili.
• Coniugazioni e Coordinate di Böttcher: La strategia di prova segue l'approccio di McMullen, adattato al caso non conforme. Si utilizzano le coordinate di Böttcher per definire una coniugazione $\hat{H}_t$ tra l'insieme di Julia della mappa di riferimento $J(F_0)$ e quello della mappa perturbata $J(F_t)$.
• Potenziali Geometrici e Pressione Topologica: La dimensione di volume $\delta_t$ è definita come lo zero della pressione topologica $P(\delta_t \phi_t) = 0$, dove $\phi_t = -\log |\text{Jac } F_t|$ è il potenziale geometrico. Il problema si riduce quindi al calcolo della seconda derivata $\ddot{\delta}_0$ in $t=0$.

3. Risultati Chiave e Contributi Tecnici

Il risultato principale è il Teorema 1.1, che fornisce uno sviluppo esplicito del secondo ordine per la dimensione di volume dell'insieme di Julia $J(f_t)$ al tendere di $t$ a zero:

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

Dove $\text{Leb}_1$ è la misura di Lebesgue normalizzata sul cerchio unitario $S^1$.

Punti salienti della dimostrazione:

1. Formula per la Seconda Derivata: Utilizzando la teoria della formalità termodinamica, la seconda derivata $\ddot{\delta}_0$ è espressa in termini della varianza asintotica della deformazione infinitesimale del potenziale $\dot{\phi}_0$ rispetto alla misura di massima entropia $m_0$.
2. Coboundary Virtuale: Un'osservazione cruciale, ispirata a McMullen, è che la deformazione infinitesimale $\dot{\phi}_0$ non è una funzione generica, ma è un "coboundary virtuale". Essa è la traccia su $J(F_0)$ di una funzione definita sul bacino di infinito, esprimibile come differenza tra una funzione $g$ e il suo pull-back dinamico.
3. Energia Asintotica: La varianza richiesta viene collegata all'energia asintotica della funzione $g$ (che dipende dalle derivate delle coordinate di Böttcher) vicino al bordo del bacino di infinito.
4. Calcolo Esplicito: Attraverso lo sviluppo in serie delle funzioni $c_k(z)$ e l'uso del teorema ergodico di Birkhoff, gli autori calcolano esplicitamente il termine integrale che dipende dai coefficienti $c_k(z)$, ottenendo la formula chiusa sopra riportata.

4. Significato e Implicazioni

• Generalizzazione di Ruelle-McMullen: Questo lavoro estende i risultati classici di Ruelle e McMullen dal caso unidimensionale (mappe polinomiali su $\mathbb{C}$) al caso bidimensionale (prodotti skew su $\mathbb{C}^2$), colmando un divario significativo nella teoria dei sistemi dinamici complessi multidimensionali.
• Validazione della Dimensione di Volume: Il successo nell'ottenere una formula analitica esplicita conferma che la dimensione di volume è l'invariante dinamico corretto e ben comportato per studiare le perturbazioni in sistemi non conformi, a differenza della dimensione di Hausdorff.
• Minimo Locale: La formula mostra che il termine di secondo ordine è positivo (essendo una somma di moduli quadrati). Questo implica che la funzione dimensione di volume ha un minimo locale stretto nella mappa monomiale $(z, w) \mapsto (z^d, w^d)$, analogamente a quanto accade per la dimensione di Hausdorff nel caso unidimensionale.
• Struttura Non Conforma: Il risultato dimostra come la geometria non conforme influenzi la variazione della dimensione attraverso la struttura specifica dei coefficienti $c_k(z)$ e il grado $d$, fornendo nuovi strumenti per l'analisi della stabilità strutturale in $\mathbb{C}^2$.

In sintesi, il paper fornisce un potente strumento analitico per quantificare come la complessità frattale degli insiemi di Julia cambi sotto piccole perturbazioni in sistemi dinamici complessi bidimensionali, stabilendo un nuovo standard per l'analisi di tali sistemi.