Problema dels divisors petits

El problema de petits divisors és un problema clau en l'estudi la teoria KAM. Aquesta equació surt en molts esquemes KAM en el moment de linealitzar les equacions.

Definició[modifica]

Sigui $\mathbb {T} ^{n}:=\mathbb {R} ^{n}/\mathbb {Z} ^{n}$ el tor $n$ dimensional, $\omega \in \mathbb {R} ^{n}$ un vector i $f:\mathbb {T} ^{n}\longrightarrow \mathbb {R}$ una funció amb $n$ períodes i mitja zero, $\int _{\mathbb {T} ^{n}}f(x)\,{\text{d}}x=0$ . El problema dels petits divisors es defineix com l'equació funcional

$\sum _{i=1}^{n}{\frac {\partial g}{\partial x_{i}}}\omega _{i}=f(x),$

a on $g$ és la funció incògnita.

Solució formal[modifica]

Formalment aquesta equació es pot resoldre terme a terme si expressem les funcions amb les seves sèries de Fourier: Si escrivim $f(x)=\sum _{k\in \mathbb {Z} ^{n}}{\hat {f}}_{k}e^{2\pi i\,k\cdot x}$ , $g(x)=\sum _{k\in \mathbb {Z} ^{n}}{\hat {g}}_{k}e^{2\pi i\,k\cdot x}$ llavors tenim que els coeficients de $g$ compleixen

${\hat {g}}_{k}={\dfrac {{\hat {f}}_{k}}{2\pi i\,k\cdot \omega }},\,{\text{si }}k\neq 0,\,{\hat {g}}_{0}=0$ .

La condició de mitja zero de $f$ és equivalent a ${\hat {f}}_{0}=0$ i fa que hi hagi solució formal.

Existència de solucions suaus[modifica]

La demostració de l'existència de suaus és un resultat clau i amb encara forces preguntes sense resoldre. Un resultat clàssic, degut a Rüssmann,^[1] és el següent:

Teorema[modifica]

Si $\omega \in \mathbb {R} ^{n}$ és diofantí amb constants $\gamma ,\tau$ i la funció $f$ és analítica en el tor complex $\mathbb {T} ^{n}\times [-\rho ,\rho ]i$ amb norma $\|f\|_{\rho }:=\max _{x\in \mathbb {T} ^{n}\times [-\rho ,\rho ]i}|f(x)|$ , llavors per a tot $\varepsilon$ que compleixi $\rho >\varepsilon >0$ és té que l'equació de petits divisors té solució analítica $g$ en el tor complex $\mathbb {T} ^{n}\times [-\rho +\varepsilon ,\rho -\varepsilon ]i$ i la norma de $g$ compleix

$\|g\|_{\rho -\varepsilon }\leq {\dfrac {c_{R}(\tau )}{\gamma \epsilon ^{\tau }}}\|f\|_{\rho }$

amb $c_{R}(\tau )={\sqrt {2^{n+1}\zeta (2,2^{\tau })(2\pi )^{-2\tau -2}\Gamma (2\tau +1)}}$ .^[2]

Referències[modifica]

↑ Rüssmann, H. «On optimal estimates for the solutions of linear partial differential equations of first order with constant coefficients on the torus». In Dynamical systems, theory and applications (Rencontres, Battelle Res. Inst., Seattle, Wash., 1974). Lecture Notes in Phys., Vol. 38. Springer, Berlin, 1975, pàg. 589-624.
↑ Figueras,, J.-Ll.; Haro, A. «A modified parameterization method for invariant Lagrangian tori for partially integrable Hamiltonian systems». arxiv.org, 2023, pàg. 1-40.

Bibliografia[modifica]

de la Llave, Rafael, A tutorial on KAM theory, In Smooth ergodic theory and its applications (Seattle, WA, 1999), volume 69 of Proc. Sympos. Pure Math., pages 175–292. Amer. Math. Soc., Providence, RI, 2001.

Vegeu també[modifica]

[1] Rüssmann, H. «On optimal estimates for the solutions of linear partial differential equations of first order with constant coefficients on the torus». In Dynamical systems, theory and applications (Rencontres, Battelle Res. Inst., Seattle, Wash., 1974). Lecture Notes in Phys., Vol. 38. Springer, Berlin, 1975, pàg. 589-624.

[2] Figueras,, J.-Ll.; Haro, A. «A modified parameterization method for invariant Lagrangian tori for partially integrable Hamiltonian systems». arxiv.org, 2023, pàg. 1-40.

[1]

[2]