Équations de Painlevé

Les équations de Painlevé sont les uniques équations différentielles non-linéaires du second ordre qui définissent de nouvelles fonctions. Elles possèdent par construction la propriété de Painlevé : l'absence de singularités à la fois critiques et mobiles dans la solution générale. Découvertes par les mathématiciens Paul Prudent Painlevé et Richard Fuchs, on peut les rencontrer dans de très nombreux problèmes intégrables de physique, géométrie, etc.

Définition et propriétés fondamentales

Il existe six équations de Painlevé : cinq découvertes par Painlevé et Gambier, et la sixième par Richard Fuchs. La sixième équation engendre toutes les autres par un processus de confluence.

La sixième équation de Painlevé

La sixième équation de Painlevé, notée PVI, est une équation différentielle ordinaire (EDO) non-linéaire qui dépend de quatre paramètres complexes $\theta _{\infty },\theta _{0},\theta _{1},\theta _{x}$. Il en existe deux représentations, ou bien en coordonnées rationnelles pour une fonction $u(x)$,

${\begin{aligned}\mathrm {(PVI)} \quad {\frac {\mathrm {d} ^{2}u}{\mathrm {d} x^{2}}}&={\frac {1}{2}}\left[{\frac {1}{u}}+{\frac {1}{u-1}}+{\frac {1}{u-x}}\right]\left({\frac {\mathrm {d} u}{\mathrm {d} x}}\right)^{2}-\left[{\frac {1}{x}}+{\frac {1}{x-1}}+{\frac {1}{u-x}}\right]{\frac {\mathrm {d} u}{\mathrm {d} x}}\\&+{\frac {u(u-1)(u-x)}{2x^{2}(x-1)^{2}}}\left[\theta _{\infty }^{2}-\theta _{0}^{2}{\frac {x}{u^{2}}}+\theta _{1}^{2}{\frac {x-1}{(u-1)^{2}}}+(1-\theta _{x}^{2}){\frac {x(x-1)}{(u-x)^{2}}}\right],\end{aligned}}$

ou bien en coordonnées elliptiques pour une fonction $U(X)$ :

${\frac {\mathrm {d} ^{2}U}{\mathrm {d} X^{2}}}-{\frac {(2\omega )^{3}}{\pi ^{2}}}\sum _{j=\infty ,0,1,x}\theta _{j}^{2}\wp '(2\omega U+\omega _{j})=0.$

Ici $\wp$ est la fonction elliptique de Weierstrass, une fonction doublement périodique, dont les périodes sont notées $2\omega$ et $2\omega '$, et $\wp '$ désigne sa dérivée par rapport au premier argument. La variable indépendante $X$ ne dépend que du rapport des périodes, $X=i\pi {\frac {\omega '}{\omega }}$, et les quatre grandeurs $(\omega _{\infty },\omega _{0},\omega _{1},\omega _{x})=\left(0,{\tfrac {1}{2}}\omega ,{\tfrac {1}{2}}\omega ',{\tfrac {1}{2}}(\omega +\omega ')\right)$ sont respectivement l'unique pôle et les trois zéros de $\wp '$.

Le passage aux coordonnées rationnelles $(u,x)$

$U={\frac {1}{2\omega }}\int _{\infty }^{u}{\frac {\mathrm {d} u}{\sqrt {u(u-1)(u-x)}}},\quad X=i\pi {\frac {\omega '}{\omega }},$

a pour inverse

${\begin{aligned}u&={\frac {\wp (2\omega U)-e_{1}}{e_{2}-e_{1}}},\\\quad {\sqrt {u(u-1)(u-x)}}&={\frac {1}{2}}(e_{2}-e_{1})^{-3/2}\wp '(2\omega U),\\\quad x&={\frac {e_{3}-e_{1}}{e_{2}-e_{1}}},\end{aligned}}$

où $(e_{1},e_{2},e_{3})=(\wp (\omega _{0}),\wp (\omega _{1}),\wp (\omega _{x}))$.

L'équation PVI en coordonnées elliptiques découle d'un hamiltonien naturel dont les variables (position, impulsion) sont $(Q=U,P=\mathrm {d} U/\mathrm {d} X)$

${\mathcal {H}}(Q,P,X)={\frac {P^{2}}{2}}+V(Q,X),\quad V=-{\frac {(2\omega )^{2}}{\pi ^{2}}}\sum _{j=\infty ,0,1,x}\theta _{j}^{2}\wp (2\omega Q+\omega _{j}),\quad {\frac {\mathrm {d} P}{\mathrm {d} X}}=-{\frac {\partial V}{\partial Q}}.$

Propriété de Painlevé et singularités

Quelques définitions classiques sont ici nécessaires.

• une expression est dite uniforme (resp. multiforme) si le nombre de ses déterminations est égal (resp. supérieur) à un. Exemples respectifs : $e^{1/x},{\sqrt {x}}$.
• pour une expression donnée, un point est dit critique si autour de lui plusieurs déterminations de l'expression permutent, non-critique dans le cas contraire. Exemples respectifs : ${\sqrt {x}}$ en $x=0$ a un point critique, $e^{1/x}$ en $x=0$ a un point non critique.
• étant donné une équation différentielle ordinaire (EDO), un point est dit mobile si sa position dans $\mathbb {C}$ dépend des conditions initiales, fixe sinon.

La propriété de Painlevé d'une EDO est alors définie comme l'absence dans la solution générale de singularités à la fois critiques et mobiles. Une telle équation est aussi appelée à points critiques fixes.

L'équation PVI pour $u(x)$ possède par construction la propriété de Painlevé. Sa solution générale est uniforme sauf en trois points fixes, mis par convention en $x=\infty ,0,1$ pour que $x$ soit le birapport $(\infty ,0,1,x)$. Plus précisément, elle est méromorphe dans $\mathbb {C} \setminus \left\lbrace \infty ,0,1\right\rbrace$.

Les seules singularités mobiles de PVI en coordonnées rationnelles sont les suivantes. À chaque $j\in \{\infty ,0,1,x\}$, sont associés soit deux pôles simples $p_{j,\pm }$ de résidus opposés si $\theta _{j}\neq 0$, soit un pôle double $p_{j}$ si $\theta _{j}=0$. Le comportement de la solution $u$ au voisinage de ces pôles est

${\begin{aligned}u\ {\underset {x\to p_{\infty ,\pm }}{\sim }}\ {\frac {\pm x(x-1)}{\theta _{\infty }(x-p_{\infty ,\pm })}},&\quad u\ {\underset {x\to p_{\infty }}{\sim }}\ {\frac {a_{\infty }}{(x-p_{\infty })^{2}}},\\{\frac {1}{u}}\ {\underset {x\to p_{0,\pm }}{\sim }}\ {\frac {\pm (x-1)}{\theta _{0}(x-p_{0,\pm })}},&\quad {\frac {1}{u}}\ {\underset {x\to p_{0}}{\sim }}\ {\frac {a_{0}}{(x-p_{0})^{2}}},\\{\frac {1}{u-1}}\ {\underset {x\to p_{1,\pm }}{\sim }}\ {\frac {\pm x}{\theta _{1}(x-p_{1,\pm })}},&\quad {\frac {1}{u-1}}\ {\underset {x\to p_{1}}{\sim }}\ {\frac {a_{1}}{(x-p_{1})^{2}}},\\{\frac {1}{u-x}}\ {\underset {x\to p_{x,\pm }}{\sim }}\ {\frac {\pm 1}{\theta _{x}(x-p_{x,\pm })}}.&\quad {\frac {1}{u-x}}\ {\underset {x\to p_{x}}{\sim }}\ {\frac {a_{x}}{(x-p_{x})^{2}}},\end{aligned}}$

où les résidus $a_{j}$ des pôles doubles sont arbitraires.

Confluence

Dans l'écriture de PVI en coordonnées rationnelles, le coefficient de ${u'}^{2}$ possède quatre pôles $(x_{j})=(\infty ,0,1,x)$ de résidus ${\tfrac {1}{2}}$. Par une homographie, on peut donner à trois de ces pôles des positions quelconques dans $\mathbb {C} \cup \{\infty \}$. La confluence ou coalescence ou dégénérescence consiste à obtenir d'autres équations différentielles en effectuant des limites du type $x_{j}\to x_{k}$. Dans une telle limite, deux pôles sont remplacés par un seul pôle, dont le résidu est la somme des résidus des deux pôles initiaux. Les résidus se comportent donc ainsi :

${\begin{array}{c c c c c c c c}{}&{}&{}&{}&{\left({\tfrac {1}{2}},{\tfrac {3}{2}}\right)}&{}&{}&\\{}&{}&{}&{\nearrow }&{}&{\searrow }&{}&\\{\left({\tfrac {1}{2}},{\tfrac {1}{2}},{\tfrac {1}{2}},{\tfrac {1}{2}}\right)}&{\rightarrow }&{\left({\tfrac {1}{2}},1,{\tfrac {1}{2}}\right)}&{}&{}&{}&{(2)}&\\{}&{}&{}&{\searrow }&{}&{\nearrow }&{}&\\{}&{}&{}&{}&{\left(1,1\right)}&{}&{}&\end{array}}$

À partir de PVI, on obtient quatre autres équations :

${\begin{array}{c c c c c c c c c}{}&{}&{}&{}&{{\textrm {PIV}}'}&{}&{}&{}&{}&\\{}&{}&{}&{\nearrow }&{}&{\searrow }&{}&{}&{}&\\{\textrm {PVI}}&{\rightarrow }&{PV}&{}&{}&{}&{{\textrm {PII}}'}&&&\\{}&{}&{}&{\searrow }&{}&{\nearrow }&{}&{}&{}&\\{}&{}&{}&{}&{\textrm {PIII}}&{}&{}&{}&{}&\end{array}}$

Ce schéma est une extrapolation non-linéaire de la confluence classique qui, à partir de l'équation hypergéométrique de Gauss, engendre successivement les équations de Whittaker, Bessel, Hermite et Airy :

${\begin{array}{c c c c c c c c c}&{}&{}&{}&{}&{\rm {Hermite}}&{}&{}&\\&{}&{}&{}&{\nearrow }&{}&{\searrow }&{}&\\&{\rm {Gauss}}&{\rightarrow }&{\rm {Whittaker}}&{}&{}&{}&{\rm {Airy}}&\\&{}&{}&{}&{\searrow }&{}&{\nearrow }&{}&\\&{}&{}&{}&{}&{\rm {Bessel}}&{}&{}&\end{array}}$

${\begin{array}{c l l}&{\rm {{Gauss}:}}&\displaystyle {x(1-x){\frac {\mathrm {d} ^{2}\psi }{\mathrm {d} x^{2}}}+[c-(a+b+1)x]{\frac {\mathrm {d} \psi }{\mathrm {d} x}}-ab\psi =0},\\&{\rm {{Whittaker}:}}&\displaystyle {x{\frac {\mathrm {d} ^{2}\psi }{\mathrm {d} x^{2}}}+(c-x){\frac {\mathrm {d} \psi }{\mathrm {d} x}}-a\psi =0},\\&{\rm {{Bessel}:}}&\displaystyle {x^{2}{\frac {\mathrm {d} ^{2}\psi }{\mathrm {d} x^{2}}}+x{\frac {\mathrm {d} \psi }{\mathrm {d} x}}+(x^{2}-\nu ^{2})\psi =0},\\&{\rm {{Hermite}:}}&\displaystyle {{\frac {\mathrm {d} ^{2}\psi }{\mathrm {d} x^{2}}}-2x{\frac {\mathrm {d} \psi }{\mathrm {d} x}}+2\nu \psi =0},\\&{\rm {{Airy}:}}&\displaystyle {{\frac {\mathrm {d} ^{2}\psi }{\mathrm {d} x^{2}}}-x\psi =0}.\end{array}}$

Équations de Painlevé

Les cinq équations PVI, PV, PIV', PIII, PII' dépendent chacune de quatre paramètres, ce qui permet d'exploiter au mieux la confluence pour engendrer à partir de PVI les diverses propriétés des autres : paires de Lax, hamiltoniens, fonctions tau, transformations birationnelles, solutions de Riccati, etc. On obtient les équations PIV, PII, PI en donnant des valeurs particulières aux paramètres de PIV' et PII'.

En coordonnées elliptiques

Dans l'écriture de Babich et Bordag, les équations de Painlevé sont :

${\frac {\mathrm {d} ^{2}U}{\mathrm {d} X^{2}}}=\left\lbrace {\begin{array}{l l}({\textrm {PVI}})&\displaystyle {\frac {(2\omega )^{3}}{\pi ^{2}}}\sum _{j=\infty ,0,1,x}\theta _{j}^{2}\wp '(2\omega U+\omega _{j}),\\[3pt]({\textrm {PV}})&\displaystyle -2\alpha {\frac {\cosh U}{\sinh ^{3}U}}-2\beta {\frac {\sinh U}{\cosh ^{3}U}}-2\gamma e^{2X}\sinh(2U)-{\frac {1}{2}}\delta e^{4X}\sinh(4U),\\[3pt]({\textrm {PIII}})&\displaystyle {\frac {1}{2}}e^{X}(\alpha e^{2U}+\beta e^{-2U})+{\frac {1}{2}}e^{2X}(\gamma e^{4U}+\delta e^{-4U}),\\[3pt]({\textrm {PIV}}')&\displaystyle -\alpha U+{\frac {\beta }{2U^{3}}}+\gamma \left({\frac {3}{4}}U^{5}+2XU^{3}+X^{2}U\right)+2\delta (U^{3}+XU),\\[3pt]({\textrm {PII}}')&\delta (2U^{3}+XU)+\gamma (6U^{2}+X)+\beta U+\alpha .\end{array}}\right.$.

En coordonnées rationnelles

Les changements de coordonnées entre les écritures elliptiques et rationnelles sont:

$\displaystyle {\begin{array}{c l l}{\textrm {PVI}}:\ &x\displaystyle ={\frac {e_{3}-e_{1}}{e_{2}-e_{1}}},&\displaystyle u={\frac {\wp (2\omega U)-e_{1}}{e_{2}-e_{1}}},\\{\textrm {PV}}:\ &x=e^{2X},&u=\coth ^{2}U,\\{\textrm {PIII}}:\ &x=e^{2X},&u=e^{X}e^{2U},\\{\textrm {PIV}}':\ &x=X,&u=U^{2},\\{\textrm {PII}}':\ &x=X,&u=U.\end{array}}$

Les écritures rationnelles des équations de Painlevé sont

${\frac {\mathrm {d} ^{2}u}{\mathrm {d} x^{2}}}=\left\lbrace {\begin{array}{c l}(PVI)&\displaystyle {\frac {1}{2}}\left[{\frac {1}{u}}+{\frac {1}{u-1}}+{\frac {1}{u-x}}\right]u'^{2}-\left[{\frac {1}{x}}+{\frac {1}{x-1}}+{\frac {1}{u-x}}\right]u'+{\frac {u(u-1)(u-x)}{x^{2}(x-1)^{2}}}\left[\alpha +\beta {\frac {x}{u^{2}}}+\gamma {\frac {x-1}{(u-1)^{2}}}+\delta {\frac {x(x-1)}{(u-x)^{2}}}\right],\\[3pt](PV)&\displaystyle \left[{\frac {1}{2u}}+{\frac {1}{u-1}}\right]u'^{2}-{\frac {u'}{x}}+{\frac {(u-1)^{2}}{x^{2}}}\left[\alpha u+{\frac {\beta }{u}}\right]+\gamma {\frac {u}{x}}+\delta {\frac {u(u+1)}{u-1}},\\[3pt](PIII)&\displaystyle {\frac {u'^{2}}{u}}-{\frac {u'}{x}}+{\frac {\alpha u^{2}+\gamma u^{3}}{4x^{2}}}+{\frac {\beta }{4x}}+{\frac {\delta }{4u}},\\[3pt](PIV')&\displaystyle {\frac {u'^{2}}{2u}}+\gamma \left({\frac {3}{2}}u^{3}+4xu^{2}+2x^{2}u\right)+4\delta (u^{2}+xu)-2\alpha u+{\frac {\beta }{u}},\\[3pt](PII')&\delta (2u^{3}+xu)+\gamma (6u^{2}+x)+\beta u+\alpha ,\end{array}}\right.$

avec pour PVI la notation $(2\alpha ,-2\beta ,2\gamma ,1-2\delta )=(\theta _{\infty }^{2},\theta _{0}^{2},\theta _{1}^{2},\theta _{x}^{2}).$ Ces cinq équations possèdent par construction la propriété de Painlevé, ce qui n'est pas le cas (sauf pour PII') de leur écriture elliptique.

Potentiels

Pour les cinq équations PVI-PII' en coordonnées rationnelles, Garnier a introduit les potentiels

${\begin{aligned}&V_{\rm {VI}}(z)=\displaystyle -{\frac {3}{4}}z+{\frac {\theta _{\infty }^{2}(z-x)}{4}}+{\frac {\theta _{0}^{2}}{4}}\left({\frac {x}{z}}-1\right)+{\frac {\theta _{1}^{2}}{4}}\left(-{\frac {x-1}{z-1}}+1\right)+{\frac {\theta _{x}^{2}}{4}}\left({\frac {x(x-1)}{z-x}}+2x-1\right),\\[3pt]&V_{\rm {V}}(z)=\displaystyle \alpha \left({\frac {z}{x}}-{\frac {1}{2x}}\right)-\beta \left({\frac {1}{xz}}-{\frac {1}{2x}}\right)-\gamma \left({\frac {z}{z-1}}-{\frac {1}{2}}\right)-{\frac {\delta xz}{(z-1)^{2}}},\\[3pt]&V_{\rm {III}}(z)=\displaystyle {\frac {1}{16}}\left(2\alpha {\frac {z}{x}}-2{\frac {\beta }{z}}+\gamma {\frac {z^{2}}{x}}-\delta {\frac {x}{z^{2}}}\right),\\[3pt]&V_{\rm {IV'}}(z)=\displaystyle -2\alpha z-{\frac {\beta }{z}}+\gamma ({\frac {z^{3}}{2}}+2xz^{2}+2x^{2}z)+\delta (2z^{2}+4xz),\\[3pt]&V_{\rm {II'}}(z)=\displaystyle \alpha z+{\frac {\beta }{2}}z^{2}+\gamma (2z^{3}+zx)+{\frac {\delta }{2}}(z^{4}+z^{2}x).\end{aligned}}$

Ces potentiels permettent d'écrire les équations de façon plus compacte :

${\begin{aligned}u''&={\frac {1}{2}}\left[{\frac {1}{u}}+{\frac {1}{u-1}}+{\frac {1}{u-x}}\right]u'^{2}-\left[{\frac {1}{x}}+{\frac {1}{x-1}}+{\frac {1}{u-x}}\right]u'+2{\frac {u(u-1)(u-x)}{x^{2}(x-1)^{2}}}\left({\frac {\partial V_{\rm {VI}}(u)}{\partial u}}+{\frac {3}{4}}+{\frac {x(x-1)}{4(u-x)^{2}}}\right),\\[3pt]u''&=\left[{\frac {1}{2u}}+{\frac {1}{u-1}}\right]u'^{2}-{\frac {u'}{x}}+{\frac {u(u-1)^{2}}{x}}{\frac {\partial V_{\rm {V}}(u)}{\partial u}},\\[3pt]\left({\frac {xu'}{u}}\right)'&=\displaystyle 2u{\frac {\partial V_{\rm {III}}(u)}{\partial u}},\\[3pt]u''&={\frac {{u'}^{2}}{2u}}+u{\frac {\partial V_{\rm {IV'}}(u)}{\partial u}},\\[3pt]u''&=-{\frac {\partial V_{\rm {II'}}(u)}{\partial u}}.\end{aligned}}$

Valeurs particulières des paramètres

Les équations PIV, PII, PI ont un nombre minimal de paramètres, et se déduisent de PIV' et PII' en donnant des valeurs particulières à certains de leurs quatre paramètres :

${\textrm {PIV}}={\textrm {PIV}}'(\gamma =1,\delta =0),$

${\textrm {PII}}={\textrm {PII}}'(\beta =0,\gamma =0,\delta =1),$

${\textrm {PI}}={\textrm {PII}}'(\alpha =0,\beta =0,\gamma =1,\delta =0).$

De plus, selon les valeurs des paramètres, on distingue trois variétés d'équations PIII :

${\textrm {PIII}}-D6={\textrm {PIII}},\gamma \delta \not =0,$

${\textrm {PIII}}-D7={\textrm {PIII}},(\gamma =0,\alpha \delta \not =0){\text{ ou }}(\delta =0,\beta \gamma \not =0),$

${\textrm {PIII}}-D8={\textrm {PIII}},\gamma =\delta =0,\alpha \beta \not =0.$

Données de base et confluence

La table ci-après rassemble : comportement dominant, indices de Fuchs, exposants de monodromie. Les indices de Fuchs sont par convention définis pour que la valeur $-1$ soit toujours un tel indice, ce sont donc les racines de l'équation indicielle de l'EDO linéarisée, diminuées de la valeur de l'ordre du pôle considéré. Chaque exposant de monodromie $\theta _{j}$ a son carré rationnel en $\alpha ,\beta ,\gamma ,\delta$. Les lignes successives indiquent :

• le degré de singularité $q$ de la Pn et l'indice de Fuchs positif $i$,
• le premier coefficient $u_{0}$ de la série de Laurent de $u(x)$,
• la notation pour la racine carrée de $u_{0}$,
• la définition du vecteur (transposé) des exposants de monodromie,
• les composantes de ce vecteur.

${\begin{array}{l|c|c|c|c|c|c}&{\textrm {PI}}&{\textrm {PII}}'&{\textrm {PIV}}'&{\textrm {PIII}}&{\textrm {PV}}&{\textrm {PVI}}\\q,i&-4,6&-3,4&-4,3&-4,2&-5,1&-6,1\\u_{0}&1&d^{-1}&c^{-1}&2c^{-1}x&\theta _{\infty }^{-1}x&\theta _{\infty }^{-1}x(1-x)\\{\sqrt {}}&&d^{2}=\delta &c^{2}=\gamma &c^{2}=\gamma &\theta _{\infty }^{2}=2\alpha &\theta _{\infty }^{2}=2\alpha \\\alpha &&-d\theta _{\infty }&2c\theta _{\infty }&2c\theta _{\infty }&\theta _{\infty }^{2}/2&\theta _{\infty }^{2}/2\\\beta &&&-8\theta _{0}^{2}&-2d\theta _{0}&-\theta _{0}^{2}/2&-\theta _{0}^{2}/2\\\gamma &&&c^{2}&c^{2}&-d\theta _{1}&\theta _{1}^{2}/2\\\delta &&d^{2}&&-d^{2}&-d^{2}/2&(1-\theta _{x}^{2})/2\\vecteur&&(\theta _{\infty })&(\theta _{\infty }\theta _{0})&(\theta _{\infty }\theta _{0})&(\theta _{\infty }\theta _{0}\theta _{1})&(\theta _{\infty }\theta _{0}\theta _{1}\theta _{x})\end{array}}$.

Les coalescences successives d'une équation $E(x,u,\alpha ,\beta ,\gamma ,\delta )=0$ vers une autre équation $E(X,U,A,B,C,D)=0$ sont décrites par des transformations affines $(x,u,\alpha ,\beta ,\gamma ,\delta )\to (X,U,A,B,C,D,\varepsilon )$, où $\varepsilon$ tend vers zéro.

Pour les cinq Pn définies par Garnier et pour des valeurs génériques de $(\alpha ,\beta ,\gamma ,\delta )$, ce sont

$(x,u,\alpha ,\beta ,\gamma ,\delta )=\left\lbrace {\begin{array}{l l}(VI\to V)&(1+\varepsilon X,U,A,B,\varepsilon ^{-1}C-\varepsilon ^{-2}D,\varepsilon ^{-2}D),\\(V\to IV')&(1+\varepsilon X,\varepsilon U/2,2C\varepsilon ^{-4}+28D\varepsilon ^{-3},B/4,-4C\varepsilon ^{-4}-60D\varepsilon ^{-3},2A\varepsilon ^{-2}-2C\varepsilon ^{-4}-32D\varepsilon ^{-3}),\\(V\to III)&(X,1+\varepsilon U,\varepsilon ^{-1}A/4+\varepsilon ^{-2}C/8,-\varepsilon ^{-2}C/8,\varepsilon B/4,\varepsilon ^{2}D/8),\\(IV'\to II')&(\varepsilon ^{2}X/4,1+\varepsilon U,-4B\varepsilon ^{-4}+96C\varepsilon ^{-5}-24D\varepsilon ^{-6},16A\varepsilon ^{-3}-8B\varepsilon ^{-4}+48C\varepsilon ^{-5}-8D\varepsilon ^{-6},\\&-32C\varepsilon ^{-5}+16D\varepsilon ^{-6},48C\varepsilon ^{-5}-16D\varepsilon ^{-6}),\\(III\to II')&(1+\varepsilon ^{2}X/2,1+\varepsilon U,16B\varepsilon ^{-4}-64C\varepsilon ^{-5}-32D\varepsilon ^{-6},32D\varepsilon ^{-6},\\&-8B\varepsilon ^{-4}+48C\varepsilon ^{-5}+16D\varepsilon ^{-6},16A\varepsilon ^{-3}-8B\varepsilon ^{-4}+16C\varepsilon ^{-5}-16D\varepsilon ^{-6}),\\(II'\to {\rm {J}})&(\varepsilon X,\varepsilon ^{-1}U,\varepsilon ^{-3}A,\varepsilon ^{-2}B,\varepsilon ^{-1}C,D),\end{array}}\right.$

Le niveau ajouté (J comme Jacobi) $u''=\delta (2u^{3})+\gamma (6u^{2})+\beta u+\alpha$ est celui vers lequel conflue PII'.

Pour la confluence des six Pn historiques, consulter ou, qui corrigent des erreurs typographiques des Comptes rendus .

La table suivante présente la confluence des exposants de monodromie. Les paramètres $c,d$ (qui représentent essentiellement des signes) participent aussi à la confluence. Le signe des racines carrées est choisi pour ne donner que des signes + dans les valeurs successives $\theta _{\infty }+\theta _{0}+\theta _{1}+\theta _{x},\theta _{\infty }+\theta _{0}+\theta _{1},2\theta _{\infty }+2\theta _{0},\theta _{\infty }+\theta _{0},2\theta _{\infty }.$

${\begin{array}{c|l|l|l|l|l|l|l|l}&x&u&\theta _{\infty }&\theta _{0}&\theta _{1}&\theta _{x}&c&d\\\hline 6\to 5&1+\varepsilon X&U&\theta _{\infty }&\theta _{0}&\theta _{1}-\varepsilon ^{-1}d&\varepsilon ^{-1}d+\varepsilon &&\\\hline 5\to 4&1+\varepsilon X&\varepsilon U/2&-2c\varepsilon ^{-2}&2\theta _{0}&2\theta _{\infty }+2c\varepsilon ^{-2}&&&2c\varepsilon ^{-2}-2\theta _{\infty }\\\hline 5\to 3&X&1+\varepsilon U&\theta _{\infty }+\varepsilon ^{-1}c/2&-\varepsilon ^{-1}c/2&\theta _{0}&&&\varepsilon d/2\\\hline 4\to 2&\varepsilon X/4-\varepsilon ^{-1}&\varepsilon ^{-1}+U&-\varepsilon ^{-3}d&\theta _{\infty }+\varepsilon ^{-3}d&&&4\varepsilon ^{-1}d&\\\hline 3\to 2&1+\varepsilon ^{2}X/2&1+\varepsilon U&4d\varepsilon ^{-3}&2\theta _{\infty }-4d\varepsilon ^{-3}&&&-4d\varepsilon ^{-3}&2\theta _{\infty }+4d\varepsilon ^{-3}\\\hline \end{array}}$

Fonctions tau

Il en existe au moins deux définitions, équivalentes au niveau de PVI : une analytique, une par la paire de Lax matricielle.

Définition analytique

Pour chaque $\mathrm {Pn} (u,x)$, il existe des fractions rationnelles de $x,u,u'$, définies à une fonction additive de $x$ près, dont les seules singularités mobiles sont des pôles simples de résidu entier positif. Leur primitive logarithmique, qui possède alors les mêmes singularités mobiles que la solution générale d'une EDO linéaire (c'est-à-dire aucune singularité mobile, seulement des zéros mobiles), est par définition appelée fonction tau [sans doute par le choix dans l'alphabet grec de la lettre $\tau$ qui suit $\sigma$, la notation de Weierstrass pour sa fonction entière] et leur existence prouve ipso facto la propriété de Painlevé de Pn.

PVI admet deux ensembles de quatre fonctions tau équivalentes, respectivement construits par Painlevé et Chazy, chaque élément des deux ensembles étant indicé par l'une des singularités $j\in \lbrace \infty ,0,1,x\rbrace$.

Dans le cas (de Picard) où les quatre $\theta _{j}$ sont nuls, Painlevé a défini l'ensemble préliminaire $\tau _{{\rm {VI}},0,j}$

${\begin{aligned}&{\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},0,\infty }={\frac {x(x-1){u'}^{2}}{4u(u-1)(u-x)}}-{\frac {u'}{2(u-x)}}+{\frac {1}{4(u-x)}}+{\frac {1}{4x}}+{\frac {1}{4(x-1)}},\\&{\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},0,0}={\frac {x(x-1){u'}^{2}}{4u(u-1)(u-x)}}-{\frac {xu'}{2u(u-x)}}+{\frac {u-1}{4(x-1)(u-x)}},\\&{\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},0,1}={\frac {x(x-1){u'}^{2}}{4u(u-1)(u-x)}}-{\frac {(x-1)u'}{2(u-1)(u-x)}}+{\frac {u}{4x(u-x)}},\\&{\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},0,x}={\frac {x(x-1){u'}^{2}}{4u(u-1)(u-x)}}-{\frac {1}{4(u-x)}},\end{aligned}}$

dont chaque élément possède un seul pôle simple de résidu unité au voisinage des pôles doubles correspondants de $x$, $\forall j:\ {\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},0,j}\sim {\frac {1}{x-x_{0}}}.$ Le seul élément pair en $u'$ est celui d'indice $x$ (le birapport des quatre points singuliers), il conduit à des expressions ultérieures plus simples.

Le premier ensemble de fonctions tau, noté $\tau _{{\rm {VI}},{\rm {P}},j}$, extrapole le double de ces expressions préliminaires ; leur dérivée logarithmique possède ou bien deux pôles simples de résidu unité (cas $\theta _{j}$ non nul), ou bien un pôle double de résidu deux (cas $\theta _{j}$ nul).

Avec le choix $j=x$ (plus simple que le choix $j=\infty$ à cause de sa parité en $u'$), la dérivée logarithmique

${\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {P}},x}={\frac {x(x-1){u'}^{2}}{2u(u-1)(u-x)}}+{\frac {1}{2x(x-1)}}\left[\theta _{\infty }^{2}\left({\frac {1}{2}}-u\right)+\theta _{0}^{2}\left({\frac {1}{2}}-{\frac {x}{u}}\right)+\theta _{1}^{2}\left({\frac {x-1}{u-1}}-{\frac {1}{2}}\right)+(\theta _{x}^{2}+1)\left({\frac {1}{2}}-x-{\frac {x(x-1)}{u-x}}\right)\right],$

possède des pôles simples de résidus un ou deux aux pôles de $1/(u-x)$,

${\begin{aligned}&\theta _{x}\not =0,x\to x_{0,\pm }:{\frac {1}{u-x}}\sim \pm {\frac {1}{\theta _{x}(x-x_{0,\pm })}},{\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {P}},x}\sim {\frac {1}{x-x_{0,\pm }}},\\&\theta _{x}=0,x\to x_{0}:{\frac {1}{u-x}}\sim {\frac {f_{0}(x)}{(x-x_{0})^{2}}},{\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {P}},x}\sim {\frac {2}{x-x_{0}}},\end{aligned}}$

et elle est régulière aux six pôles simples ou aux trois pôles doubles de $u,1/u,1/(u-1)$. Cependant, l'EDO d'ordre deux qu'elle vérifie a pour degré quatre, soit plus que le minimum deux.

Le deuxième ensemble de quatre fonctions tau, noté $\tau _{{\rm {VI}},{\rm {C}},j}$, a été construit par Chazy [expression $t$ p. 341] à partir de l'ensemble $\tau _{{\rm {VI}},{\rm {P}},j}$ simplement en supprimant l'un des deux pôles mobiles simples du premier ensemble :

${\begin{aligned}&{\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {C}},\infty }={\frac {1}{2}}\left\lbrack {\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{\rm {VI,{\rm {P}},\infty }}+\theta _{\infty }{\frac {u-1/2}{x(x-1)}}\right\rbrack ,\\&{\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {C}},0}={\frac {1}{2}}\left\lbrack {\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{\rm {VI,{\rm {P}},0}}+{\frac {\theta _{0}}{(x-1)u}}\right\rbrack ,\\&{\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {C}},1}={\frac {1}{2}}\left\lbrack {\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{\rm {VI,{\rm {P}},1}}+{\frac {\theta _{1}}{x(u-1)}}\right\rbrack ,\\&{\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {C}},x}={\frac {1}{2}}\left\lbrack {\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{\rm {VI,{\rm {P}},x}}+{\frac {\theta _{x}}{u-x}}\right\rbrack .\end{aligned}}$

De plus, et c'était la motivation de Chazy, l'EDO d'ordre deux pour chaque $(\log \tau _{{\rm {VI}},{\rm {C}},j})'$ a pour degré la valeur minimale deux, comme explicité ci-dessous.

L'élément $j=x$ (le choix de Malmquist) de ce deuxième ensemble est le plus simple car il n'a pas de terme linéaire en $u'$ :

${\begin{aligned}&{\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {C}},x}={\frac {x(x-1){u'}^{2}}{4u(u-1)(u-x)}}+{\frac {1}{4x(x-1)}}\left[\theta _{\infty }^{2}\left({\frac {1}{2}}-u\right)+\theta _{0}^{2}\left({\frac {1}{2}}-{\frac {x}{u}}\right)+\theta _{1}^{2}\left(-{\frac {1}{2}}+{\frac {x-1}{u-1}}\right)+(\theta _{x}-1)^{2}\left({\frac {1}{2}}-x-{\frac {x(x-1)}{u-x}}\right)\right],\end{aligned}}$

son unique singularité mobile est un pôle simple $x_{0}$ de résidu unité :

${\begin{aligned}&\theta _{x}\not =0,x\to x_{0,+}:{\frac {1}{u-x}}\sim {\frac {1}{\theta _{x}(x-x_{0,+})}},{\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {C}},x}\sim {\frac {1}{x-x_{0,+}}},\\&\theta _{x}=0,x\to x_{0}:{\frac {1}{u-x}}\sim {\frac {f_{0}(x)}{(x-x_{0})^{2}}},{\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {C}},x}\sim {\frac {1}{x-x_{0}}},\end{aligned}}$

et il est régulier aux pôles mobiles de $u,1/u,1/(u-1)$.

Cette expression s'écrit également

${\begin{aligned}&{\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {C}},x}={\frac {R(\theta _{0},\theta _{1},\theta _{x})R(-\theta _{0},-\theta _{1},2-\theta _{x})}{4x(x-1)u(u-1)(u-x)}}-{\frac {u-x}{4x(x-1)}}\left[\theta _{\infty }^{2}-(\theta _{0}+\theta _{1}+\theta _{x}-1)^{2}\right]\\&\qquad \qquad \qquad -{\frac {\theta _{\infty }^{2}-\theta _{0}^{2}+\theta _{1}^{2}-(\theta _{x}-1)^{2}-4\theta _{0}(\theta _{x}-1)}{8x}}-{\frac {\theta _{\infty }^{2}+\theta _{0}^{2}-\theta _{1}^{2}-(\theta _{x}-1)^{2}-4\theta _{1}(\theta _{x}-1)}{8(x-1)}},\\&R(\theta _{0},\theta _{1},\theta _{x})=x(x-1)u'+u(u-1)(u-x)\left({\frac {\theta _{0}}{u}}+{\frac {\theta _{1}}{u-1}}+{\frac {\theta _{x}-1}{u-x}}\right),\end{aligned}}$

où $R=0$ définit la solution classique de PVI à un paramètre.

Définition par la paire de Lax

C'est plutôt une propriété caractéristique, elle est donc mentionnée dans la section Paires de Lax matricielles en coordonnées rationnelles.

Exemple de fonction tau

Seul ${\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {n}},{\rm {X}},j}$ (X=P ou C) est exprimable sous forme fermée, $\tau _{{\rm {n}},{\rm {X}},j}$ ne peut pas l'être à cause de l'irréductibilité. Pour la série asymptotique de $\tau _{{\rm {VI}},{\rm {C}},j}$, voir Jimbo et, pour plus de détails, Its, Lisovyy et Prokhorov .

Équations différentielles des fonctions tau

Les termes additifs non-pertinents qui ne dépendent que de $x$ dans ${\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {C}},j}$ visent à rendre les quatre expressions ${\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {C}},j}$ solutions de la même EDO d'ordre deux et de degré deux, dénotée (B-V) par Chazy [p. 340]. Après la normalisation $y=x(x-1){\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {C}},x}$, l'EDO pour $y(x)$ s'écrit ou bien avec un belle symétrie quaternaire

$-y'\left(x(x-1)y''\right)^{2}-\left[{y'}^{2}-2y'(xy'-y)+n_{1}n_{2}n_{3}n_{4}\right]^{2}+(y'+n_{1}^{2})(y'+n_{2}^{2})(y'+n_{3}^{2})(y'+n_{4}^{2})=0,$

ou bien comme une équation simplifiée avec quatre termes complémentaires notée SD-Ia par Cosgrove et Scoufis

${\text{SD-Ia}}:-\left((x(x-1)y''\right)^{2}-4y'(xy'-y)^{2}+4{y'}^{2}(xy'-y)+A_{0}{y'}^{2}+A_{2}(xy'-y)+\left(A_{3}+{\frac {A_{0}^{2}}{4}}\right)y'+A_{4}=0,$

avec les valeurs suivantes dans le cas $\tau _{{\rm {VI}},{\rm {C}},x}$

${\begin{array}{l l}&\Theta _{x}=\theta _{x}-1,\\&2n_{1}=\theta _{\infty }-\Theta _{x},2n_{2}=\theta _{\infty }+\Theta _{x},2n_{3}=\theta _{1}-\theta _{0},2n_{4}=\theta _{1}+\theta _{0},\\&2A_{0}=b\theta _{\infty }^{2}+\theta _{0}^{2}+\theta _{1}^{2}+\Theta _{X}^{2},\\&4A_{2}=-(\theta _{\infty }^{2}-\Theta _{X}^{2})(\theta _{0}^{2}-\theta _{1}^{2}),\\&4A_{3}=(\theta _{\infty }^{2}-\theta _{1}^{2})(\theta _{0}^{2}-\Theta _{X}^{2}),B_{3}=A_{3}+{\frac {A_{0}^{2}}{4}},\\&32A_{4}=(\theta _{\infty }^{2}+\Theta _{X}^{2})(\theta _{0}^{2}-\theta _{1}^{2})^{2}+(\theta _{\infty }^{2}-\Theta _{X}^{2})^{2}(\theta _{0}^{2}+\theta _{1}^{2}).\end{array}}$

La transformation inverse s'écrit [Table R]

${\begin{aligned}&u=x+{\frac {\Theta _{x}x(x-1)y''-\left[y+\displaystyle {\frac {\theta _{\infty }^{2}+3\Theta _{x}^{2}}{8}}(2x-1)-{\frac {\theta _{1}^{2}-\theta _{0}^{2}}{8}}\right]\left[y'+\displaystyle {\frac {\theta _{\infty }^{2}+\Theta _{x}^{2}}{4}}\right]}{\left(y'+\displaystyle {\frac {(\theta _{\infty }+\Theta _{x})^{2}}{4}}\right)\left(y'+\displaystyle {\frac {(\theta _{\infty }-\Theta _{x})^{2}}{4}}\right)}}\\&\qquad +{\frac {\displaystyle {\frac {\Theta _{x}^{2}}{2}}\left[y+\displaystyle {\frac {3\theta _{\infty }^{2}+\Theta _{x}^{2}}{8}}(2x-1)+\displaystyle {\frac {\theta _{1}^{2}-\theta _{0}^{2}}{8}}\right]}{\left(y'+\displaystyle {\frac {(\theta _{\infty }+\Theta _{x})^{2}}{4}}\right)\left(y'+\displaystyle {\frac {(\theta _{\infty }-\Theta _{x})^{2}}{4}}\right)}}.\end{aligned}}$

Exemples en physique et en géométrie

Ces deux ensembles de fonctions tau se rencontrent dans de nombreux domaines :

• dans la correspondance quantique, les quatre $\theta _{j}$ ne contribuent que par leur carré, c'est donc la fonction tau de Painlevé$\tau _{{\rm {VI}},{\rm {P}},*}$ qui la décrit.
• dans tout problème où la fonction tau n'a qu'un zéro mobile simple (donc sa dérivée logarithmique un seul pôle mobile simple de résidu un), c'est la fonction tau de Chazy $\tau _{{\rm {VI}},{\rm {C}},*}$ qu'il faut considérer. Sa non-invariance par parité d'un des quatre $\theta _{j}$ a conduit Okamoto à établir le groupe de Weyl affine et la transformation birationnelle élémentaire de PVI.
• si l'on désire l'invariance par changement de $u'$ en son opposé, les fonctions tau adéquates sont $\tau _{{\rm {VI}},*,x}$. Cela a conduit Malmquist à construire un hamiltonien polynomial dans les deux coordonnées canoniques $q,p$.
• l'exigence d'un degré minimal (deux) de l'EDO d'ordre deux pour ${\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{\rm {VI}}$ sélectionne les fonctions tau de Chazy $\tau _{{\rm {VI}},{\rm {C}},*}$. Cela se présente en géométrie des surfaces de Bonnet, où une telle EDO d'ordre deux et de degré deux trouvée par Hazzidakis a pour solution ${\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},C,*}$.

Fonctions tau des Pn inférieures

Il suffit pour les engendrer de faire agir la confluence.

Les fonctions tau à deux zéros mobiles $\tau _{{\rm {VI}},{\rm {P}},j}$ engendrent des fonctions tau (C10)-(C13) affines en $(\alpha ,\beta ,\gamma ,\delta )$, paires en $u'$ pour le choix $j=x$, à deux zéros mobiles simples (mais un seul zéro double pour PIII-D8 et PI) définies à des fonctions additives de $x$ près

${\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {n}},{\rm {P}}}=\left\lbrace {\begin{array}{l|l}(PVI)&\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {P}},x}\\(PV)&\displaystyle {\frac {x{u'}^{2}}{2u(u-1)^{2}}}-\alpha {\frac {u}{x}}+{\frac {\beta }{2x}}\left({\frac {2}{u}}-4\right)+{\frac {\gamma }{u-1}}+\delta {\frac {xu}{(u-1)^{2}}},\\(PIII)&\displaystyle {\frac {x{u'}^{2}}{2u^{2}}}-\alpha {\frac {u}{4x}}+\beta {\frac {1}{4u}}-\gamma {\frac {u^{2}}{8x}}+\delta {\frac {x}{8u^{2}}},\\(PIV')&\displaystyle {\frac {{u'}^{2}}{4u}}+\alpha u+{\frac {\beta }{2u}}-\gamma {\frac {(u+2x)^{2}u}{4}}-\delta (u+2x)u,\\(PII')&{u'}^{2}-2\alpha u-\beta u^{2}-2\gamma (2u^{3}+xu)-\delta (u^{4}+xu^{2}),\\(J)&{u'}^{2}-2\alpha u-\beta u^{2}-4\gamma u^{3}-\delta u^{4}.\end{array}}\right.$

Les fonctions tau à un zéro mobile engendrées par $\tau _{{\rm {VI}},{\rm {C}},j}$ sont les suivantes

${\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {n}},{\rm {C}}}=\left\lbrace {\begin{array}{l l}(PVI)&\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {C}},x}\\(PV)&\displaystyle {\frac {1}{2}}\left\lbrack {\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {V}},{\rm {P}}}+{\frac {d}{u-1}}+{\frac {\theta _{0}(\theta _{1}-1)}{x}}-d(\theta _{1}+\theta _{0}-1)\right\rbrack ,\\(PIII)&\displaystyle {\frac {1}{2}}\left\lbrack {\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {III}},{\rm {P}}}+{\frac {d}{2u}}+{\frac {cd}{4}}-{\frac {2k}{x}}\right\rbrack ,k=0{\text{ si }}\gamma =\delta =0,k=\theta _{\infty }{\text{ ou }}\theta _{0}-1{\text{ si }}\gamma \delta \not =0,\\(PIV')&\displaystyle {\frac {1}{2}}\left\lbrack {\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {IV'}},{\rm {P}}}+cu\right\rbrack ,\\(PII')&\displaystyle {\frac {1}{2}}\left\lbrack {\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {II'}},{\rm {P}}}+du\right\rbrack ,\\(J)&\displaystyle {\frac {1}{2}}\left\lbrack {\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {J}},{\rm {P}}}+du\right\rbrack .\end{array}}\right.$

La dérivée logarithmique de chaque fonction tau obéit à une EDO d'ordre deux et de degré quatre (fonction tau à deux zéros $\tau _{{\rm {VI}},{\rm {P}},j}$) ou deux (fonction tau à un zéro $\tau _{{\rm {VI}},{\rm {C}},j}$). Celles de degré deux ont le type dit binomial, elles sont énumérées par Chazy [p. 340] et détaillées par Cosgrove et Scoufis [p. 66]. Avec la normalisation

$\displaystyle {\frac {y}{{\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {n}},{\rm {C}}}}}=(x(x-1),x,x,1,1),\ n={\rm {VI,V,III,IV',II'}},$

Okamoto [Table (E)] [Éq. (B.58)] les a récrites comme suit afin de mettre en évidence leur groupe de symétrie

${\begin{array}{l l}PVI&-y'\left(x(x-1)y''\right)^{2}-\left[{y'}^{2}-2y'(xy'-y)+n_{1}n_{2}n_{3}n_{4}\right]^{2}+(y'+n_{1}^{2})(y'+n_{2}^{2})(y'+n_{3}^{2})(y'+n_{4}^{2})=0,\\PV(\delta \not =0)&(dxy'')^{2}-\left\lbrack 2{y'}^{2}-d^{2}(xy'-y)+d(n_{1}+n_{2}+n_{3})y'\right\rbrack ^{2}+4y'(y'+dn_{1})(y'+dn_{2})(y'+dn_{3})=0,\\&\qquad 2n_{1}=2\theta _{0},\ 2n_{2}=\theta _{0}+\theta _{1}-1+\theta _{\infty },2n_{3}=\theta _{0}+\theta _{1}-1-\theta _{\infty },\\PIII&(xy'')^{2}\displaystyle +4\left[\left(y'-{\frac {cd}{8}}\right)^{2}-{\frac {c^{2}d^{2}x+\alpha (\beta +2d)}{64x}}\right](xy'-y-k)-{\frac {\alpha (\beta +2d)}{16x}}(y+k)-{\frac {(d\alpha -c(\beta +2d))^{2}}{256}}=0,\\&\qquad k=0{\text{ si }}\gamma =\delta =0,k=\theta _{\infty }{\text{ ou }}\theta _{0}-1{\text{ si }}\gamma \delta \not =0,\\PIII(\gamma \delta \not =0)&(xy'')^{2}+y'(4y'-cd)(xy'-y)-[n_{s}y'-cdn_{1}/4]^{2}=0,\\&\qquad 2n_{1}=\theta _{\infty }+\theta _{0}-1,n_{s}=\theta _{\infty }{\text{ ou }}\theta _{0}-1,\\PIV'&{y''}^{2}+4(y'-2c\theta _{0})\left\lbrack (y'+2c\theta _{0}-2\delta x)(y'+c(2\theta _{\infty }+1)+2\delta (y+c(2\theta _{\infty }+1)x)\right\rbrack -4\left(c(xy'-y)+2\delta \theta _{0}\right)^{2}=0,\\PII'&{y''}^{2}+4{y'}^{3}+(xy'-y)\left\lbrack 2d^{2}y'+2\gamma ^{2}-(1/2)\beta d^{2}\right\rbrack -y'(\beta y'-2\alpha \gamma +\gamma d)-{\frac {d^{2}}{16}}(2\alpha -d)^{2}=0.\end{array}}$

Invariances

Pour les établir toutes, il faut considérer non seulement l'équation PVI mais aussi la fonction tau à un seul zéro $\tau _{{\rm {VI}},{\rm {C}},j}$. La considération d'un tel couple est également nécessaire dans l'étude du comportement au voisinage des trois points critiques fixes, cf. la section Problèmes de connexion.

Dans sa représentation elliptique ${\frac {\mathrm {d} ^{2}U}{\mathrm {d} X^{2}}}-{\frac {(2\omega )^{3}}{\pi ^{2}}}\sum _{j=\infty ,0,1,x}\theta _{j}^{2}\wp '(2\omega U+\omega _{j},g_{2},g_{3})=0,$ PVI possède deux invariances dans l'espace des quatre $\theta _{j}$ : quatre changements de signes, vingt-quatre permutations des $\theta _{j}^{2}$. Dans l'espace $(u,x),$ ces permutations agissent comme des homographies, lire ci-après.

L'EDO pour $(\log \tau _{{\rm {VI}},{\rm {C}},j})'$ telle qu'écrite par Okamoto

$y=x(x-1){\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {C}},x},-y'\left(x(x-1)y''\right)^{2}-\left[{y'}^{2}-2y'(xy'-y)+n_{1}n_{2}n_{3}n_{4}\right]^{2}+(y'+n_{1}^{2})(y'+n_{2}^{2})(y'+n_{3}^{2})(y'+n_{4}^{2})=0,$

est invariante par les vingt-quatre permutations des $n_{j}$, liés aux $\theta _{j}$ par les relations précitées. Ces permutations agissent sur $(u,x)$ comme des transformations birationnelles, détaillées ci-après.

Homographies

Pn$(u,x)$ ne désigne pas une EDO mais une classe d'équivalence définie par l'homographie la plus générale qui conserve la structure de singularités

$(u,x)\mapsto (U,X),u(x)={\frac {\alpha (x)U(X)+\beta (x)}{\gamma (x)U(X)+\delta (x)}},X=\xi (x),(\alpha ,\beta ,\gamma ,\delta ,\xi ){\hbox{ fonctions}},\alpha \delta -\beta \gamma \not =0,$

et qui dépend donc de quatre fonctions arbitraires.

Ainsi, ${\frac {\mathrm {d} ^{2}u}{\mathrm {d} x^{2}}}=2u^{3}+u+{\frac {1}{x}}\left(a-{\frac {du}{dx}}\right)+{\frac {u}{9x^{2}}}$ est une définition parfaitement admissible [p. 258] de PII.

Les 24 permutations de $(\infty ,0,1,x)$ qui laissent PVI invariante de forme agissent sur les $\theta _{j}^{2}$ comme une permutation et sur $(u,x)$ comme une homographie. Rangées par valeurs croissantes de l'ordre de cette homographie, ce sont (la numérotation en première colonne est celle de Gromak et Lukashevich),

${\begin{array}{| c | c | c | l | l |}\hline {\rm {num}}&{\rm {ordre}}&\infty 01x&x,X&u,U\\1&1&\infty 01x&x=X&u=U\\\hline \hline 7&2&0\infty x1&x=X&u=X/U\\\hline 15&2&1x\infty 0&x=X&u=(U-X)/(U-1)\\\hline 22&2&x10\infty &x=X&u=X(U-1)/(U-X)\\\hline \hline 6&2&\infty x10&x=X/(X-1)&u=(U-X)/(1-X)\\\hline 11&2&01x\infty &x=X/(X-1)&u=X(1-U)/((1-X)U)\\\hline 18&2&10\infty x&x=X/(X-1)&u=U/(U-1)\\\hline 20&2&x\infty 01&x=X/(X-1)&u=-X/(U-X)\\\hline \hline 2&2&\infty 0x1&x=1/X&u=U/X\\\hline 8&2&0\infty 1x&x=1/X&u=1/U\\\hline \hline 3&2&\infty 10x&x=1-X&u=1-U\\\hline 23&2&x01\infty &x=1-X&u=(1-X)U/(U-X)\\\hline \hline 4&3&\infty 1x0&x=1/(1-X)&u=(1-U)/(1-X)\\\hline 10&3&0x1\infty &x=1/(1-X)&u=(U-X)/((1-X)U)\\\hline 14&3&1\infty 0x&x=1/(1-X)&u=1/(1-U)\\\hline 24&3&x0\infty 1&x=1/(1-X)&u=U/(U-X)\\\hline \hline 5&3&\infty x01&x=1-1/X&u=1-U/X\\\hline 12&3&01\infty x&x=1-1/X&u=1-1/U\\\hline 17&3&10x\infty &x=1-1/X&u=(X-1)U/(X(U-1))\\\hline 19&3&x\infty 10&x=1-1/X&u=(1-X)/(U-X)\\\hline \hline 16&4&1x0\infty &x=1/X&u=(U-X)/(X(U-1))\\\hline 21&4&x1\infty 0&x=1/X&u=(U-1)/(U-X)\\\hline \hline 9&4&0x\infty 1&x=1-X&u=1-X/U\\\hline 13&4&1\infty x0&x=1-X&u=(1-X)/(1-U)\\\hline \end{array}}$

Leurs trois générateurs sont par exemple les éléments 8, 14, 7.

Pour des valeurs génériques de $\alpha ,\beta ,\gamma ,\delta$, la confluence définit les homographies laissant les autres Pn$(\alpha ,\beta ,\gamma ,\delta )$ invariantes de forme

${\begin{array}{l l l }PVI&(u,x,\alpha ,\beta ,\gamma ,\delta )&\to (1/u,1/x,-\beta ,-\alpha ,\gamma ,\delta ),\\&&\to (1-1/u,1-1/x,-\beta ,-\gamma ,\alpha ,\delta ),\\&&\to (x/u,x,-\beta ,-\alpha ,-\delta +1/2,-\gamma +1/2),\\PV&(u,x,\alpha ,\beta ,\gamma ,\delta )&\to (u,-x,\alpha ,\beta ,-\gamma ,\delta ),\\&&\to (1/u,x,-\beta ,-\alpha ,-\gamma ,\delta ),\\PIII&(u,x,\alpha ,\beta ,\gamma ,\delta )&\to (\lambda u,\mu x,\lambda ^{-1}\mu ^{-1}\alpha ,\lambda \mu ^{-1}\beta ,\lambda ^{-2}\mu ^{-2}\gamma ,\lambda ^{2}\mu ^{-2}\delta ),\\&&\to (u^{-1},x,-\beta ,-\alpha ,-\delta ,-\gamma ),\\PIV'&(u,x,\alpha ,\beta ,\gamma ,\delta )&\to (ku,kx,k^{2}\alpha ,\beta ,k^{4}\gamma ,k^{3}\delta ),\\PIV&(u,x,\alpha ,\beta )&\to (ku,kx,k^{2}\alpha ,\beta ),k^{4}=1,\\PII'&(u,x,\alpha ,\beta ,\gamma ,\delta )&\to (ku,k^{2}x,k^{-3}\alpha ,k^{-4}\beta ,k^{-5}\gamma ,k^{-6}\delta ),\\PII&(u,x,\alpha )&\to (ku,k^{2}x,k^{-3}\alpha ),k^{6}=1,\\PI&(u,x)&\to (ku,k^{2}x),k^{5}=1,\end{array}}$

où $k,\lambda ,\mu$ désignent des constantes arbitraires non-nulles.

Transformations birationnelles

Étant donné deux EDOs en $u(x)$ et $U(X)$ de même $n$, une transformation birationnelle entre ces deux EDOs est par définition [p. 21] une paire de relations

$u=r(x,U,\mathrm {d} U/\mathrm {d} X,\dots ,\mathrm {d} ^{n-1}U/\mathrm {d} X^{n-1})=0,x=\Xi (X),U=R(X,u,\mathrm {d} u/\mathrm {d} x,\dots ,\mathrm {d} ^{n-1}u/\mathrm {d} x^{n-1})=0,X=\xi (x),$

où $r$ et $R$ sont des fonctions rationnelles de $u,U$ et de leurs dérivées, analytiques de $x,X$.

Ces transformations définissent un groupe et admmettent pour sous-groupe le groupe des homographies.

Dans le cas des Pn, contrairement aux homographies, elles changent l'ensemble ${\theta _{j}^{2}}$, donc elles n'existent par pour les Pn sans paramètre (PI et PIII-D8).

Au niveau de PVI, ce sont les vingt-quatre permutations des paramètres $n_{j}$ qui laissent invariante de forme l'EDO pour la fonction tau à un seul zéro $\tau _{{\rm {VI,C}},j}$. La nature affine de la transformation entre les $\theta _{j}$ et les $n_{j}$ fait donc agir chaque permutation des $n_{j}$ comme une transformation affine des $\theta _{j}$ et birationnelle de $u(x)$. Il est également possible de les obtenir sans théorie des groupes, en exploitant seulement la structure de singularités.

Aux niveaux inférieurs, la non-commutativité de deux opérations (permutation des quatre singularités de PVI, convention de fusionner $x$ et $1$ de PVI pour définir PV) définit deux séquences distinctes $(\theta _{j},u,x)\to (\Theta _{j},U,x)$. Notons $s_{j}$ et $S_{j}$ les signes de $\theta _{j}$ et $\Theta _{j}$: $s_{j}^{2}=1,S_{j}^{2}=1$.

Séquence normale

${\begin{array}{l l l }PVI:&{\begin{pmatrix}s_{\infty }\theta _{\infty }\\s_{0}\theta _{0}\\s_{1}\theta _{1}\\s_{x}\theta _{x}\end{pmatrix}}&=-{\frac {1}{2}}{\begin{pmatrix}1&-1&-1&-1\\-1&1&-1&-1\\-1&-1&1&-1\\-1&-1&-1&1\end{pmatrix}}{\begin{pmatrix}S_{\infty }\Theta _{\infty }\\S_{0}\Theta _{0}\\S_{1}\Theta _{1}\\S_{x}\Theta _{x}\end{pmatrix}}+{\frac {1}{2}}{\begin{pmatrix}1\\1\\1\\1\end{pmatrix}},\\PV:&{\begin{pmatrix}s_{\infty }\theta _{\infty }\\s_{0}\theta _{0}\\s_{1}\theta _{1}\end{pmatrix}}&={\frac {1}{2}}{\begin{pmatrix}1&-1&-1\\-1&1&-1\\-2&-2&0\end{pmatrix}}{\begin{pmatrix}S_{\infty }\Theta _{\infty }\\S_{0}\Theta _{0}\\S_{1}\Theta _{1}\end{pmatrix}}+{\frac {1}{2}}{\begin{pmatrix}1\\1\\2\end{pmatrix}},s_{\infty }d=S_{\infty }D,\\PIII:&{\begin{pmatrix}s_{\infty }\theta _{\infty }\\s_{0}\theta _{0}\end{pmatrix}}&={\begin{pmatrix}0&-1\\-1&0\end{pmatrix}}{\begin{pmatrix}S_{\infty }\Theta _{\infty }\\S_{0}\Theta _{0}\end{pmatrix}}+{\begin{pmatrix}1\\1\end{pmatrix}},s_{\infty }c=S_{\infty }C,s_{0}d=S_{0}D,\\PIV:&{\begin{pmatrix}s_{\infty }\theta _{\infty }\\s_{0}\theta _{0}\end{pmatrix}}&={\frac {1}{2}}{\begin{pmatrix}-1&-3\\-1&1\end{pmatrix}}{\begin{pmatrix}S_{\infty }\Theta _{\infty }\\S_{0}\Theta _{0}\end{pmatrix}}+{\frac {1}{4}}{\begin{pmatrix}3\\1\end{pmatrix}},s_{\infty }c=S_{\infty }C,\\PII:&{\begin{pmatrix}s\theta _{\infty }\end{pmatrix}}&=-{\begin{pmatrix}S\Theta _{\infty }\end{pmatrix}}+{\begin{pmatrix}1\end{pmatrix}},s_{\infty }d=S_{\infty }D,\end{array}}$

accompagné de

${\frac {N}{u-U}}=\left\lbrace {\begin{array}{l l l}PVI:&\displaystyle {\frac {x(x-1)U'}{U(U-1)(U-x)}}+{\frac {\Theta _{0}}{U}}+{\frac {\Theta _{1}}{U-1}}+{\frac {\Theta _{x}-1}{U-x}},&N=1-\Theta _{\infty }-\Theta _{0}-\Theta _{1}-\Theta _{x}=(1/2)\sum (\theta _{j}-\Theta _{j}),\\PV:&\displaystyle {\frac {xU'}{U(U-1)^{2}}}+{\frac {\Theta _{0}}{U}}+{\frac {\Theta _{1}-1}{U-1}}+{\frac {Dx}{(U-1)^{2}}},&N=1-\Theta _{\infty }-\Theta _{0}-\Theta _{1}=(1/2)\sum (\theta _{j}-\Theta _{j}),\\PIII:&\displaystyle {\frac {xU'}{U^{2}}}+{\frac {\Theta _{0}-1}{U}}+{\frac {Dx}{2U^{2}}}-{\frac {C}{2}},&N=1-\Theta _{\infty }-\Theta _{0}=(1/2)\sum (\theta _{j}-\Theta _{j}),\\PIV:&\displaystyle {\frac {U'}{U}}+{\frac {4\Theta _{0}}{U}}+CU+2Cx,&N=-2(1-2\Theta _{\infty }-2\Theta _{0})=2\sum (\theta _{j}-\Theta _{j}),\\PII:&U'+DU^{2}+D{\frac {x}{2}},&N={\frac {1}{2}}-\Theta _{\infty }=(1/2)(\theta _{\infty }-\Theta _{\infty }).\end{array}}\right.$

La deuxième partie $U=f(u)$ de la transformation se déduit de la première par l'échange des minuscules $(u,\theta _{\infty },\theta _{0},\theta _{1},\theta _{x},c,d)$ et des majuscules $(U,\Theta _{\infty },\Theta _{0},\Theta _{1},\Theta _{x},C,D)$, par exemple pour PII

${\begin{aligned}PII:{\frac {N}{u-U}}=U'+DU^{2}+D{\frac {x}{2}}=u'+du^{2}+d{\frac {x}{2}},N={\frac {1}{2}}-\Theta _{\infty }=\theta _{\infty }-{\frac {1}{2}}=(1/2)(\theta _{\infty }-\Theta _{\infty }).\end{aligned}}$

Avec une telle convention, chaque transformation où $s_{j}=S_{j}$ est une involution.

Le choix $s_{j}=1$ rend toutes les translations positives et, pour le choix $s_{j}=S_{j}$, la partie linéaire a pour déterminant $-1$. La somme des translations reste égale à deux, sauf pour PIV et PII par suite d'un changement d'échelle, cf. la Table de notation des exposants de monodromie.

Ces transformations sont respectivement dues, pour PVI à Okamoto, pour PV à Okamoto, pour PIII à Gromak [Eqs. (14)-(15)], pour PIV à Murata, pour PII à Lukashevich.

Pour PVI, le carré de la transformation élémentaire ci-dessus est l'involution qui laisse deux exposants invariants et décale les deux autres de $\pm 1$, par exemple

$PVI:(\Theta _{\infty },\Theta _{0},\Theta _{1},\Theta _{x})=(\theta _{\infty },\theta _{0},1-\theta _{1},1-\theta _{x}).$

Connue de Schlesinger dans l'espace $\theta _{j}$, elle a été établie dans l'espace $u$ par Garnier

${\begin{aligned}&\left\lbrace {\begin{array}{ll}\displaystyle {{\frac {uU}{x}}={\frac {R_{n}^{+}R_{n}^{-}}{R_{d}^{+}R_{d}^{-}}},x=X,}\\\displaystyle {R_{n}^{\pm }={\frac {x(x-1)U'}{U(U-1)(U-x)}}+{\frac {\pm \Theta _{0}}{U}}+{\frac {\Theta _{1}}{U-1}}+{\frac {\Theta _{x}-1}{U-x}},}\\\displaystyle {R_{d}^{\pm }={\frac {x(x-1)U'}{U(U-1)(U-x)}}+{\frac {\pm \Theta _{\infty }-\Theta _{1}-\Theta _{x}+1}{U}}+{\frac {\Theta _{1}}{U-1}}+{\frac {\Theta _{x}-1}{U-x}},}\\\displaystyle {{\begin{pmatrix}\theta _{\infty }\\\theta _{0}\\\theta _{1}\\\theta _{x}\end{pmatrix}}={\begin{pmatrix}\Theta _{\infty }\\\Theta _{0}\\-\Theta _{1}\\-\Theta _{x}\end{pmatrix}}+{\begin{pmatrix}0\\0\\1\\1\end{pmatrix}}.}\end{array}}\right.\end{aligned}}$

Séquence biaisée

Avant d'effectuer la confluence, on effectue sur la transformation birationnelle normale de PVI la permutation$(\infty ,0,1,x)\to (x,1,0,\infty )$ (numéro 22 dans la Table des homographies) et le changemment du signe de $\theta _{\infty }$ et de $\theta _{x}$, avec pour résultat

${\begin{array}{l l l }PVI:&{\begin{pmatrix}s_{\infty }\theta _{\infty }\\s_{0}\theta _{0}\\s_{1}\theta _{1}\\s_{x}\theta _{x}\end{pmatrix}}&=-{\frac {1}{2}}{\begin{pmatrix}1&-1&-1&-1\\-1&1&-1&-1\\-1&-1&1&-1\\-1&-1&-1&1\end{pmatrix}}{\begin{pmatrix}S_{\infty }\Theta _{\infty }\\S_{0}\Theta _{0}\\S_{1}\Theta _{1}\\S_{x}\Theta _{x}\end{pmatrix}}+{\frac {1}{2}}{\begin{pmatrix}-1\\1\\1\\-1\end{pmatrix}},\\PV:&{\begin{pmatrix}s_{\infty }\theta _{\infty }\\s_{0}\theta _{0}\\s_{1}\theta _{1}\end{pmatrix}}&=-{\frac {1}{2}}{\begin{pmatrix}1&-1&-1\\-1&1&-1\\-2&-2&0\end{pmatrix}}{\begin{pmatrix}S_{\infty }\Theta _{\infty }\\S_{0}\Theta _{0}\\S_{1}\Theta _{1}\end{pmatrix}}+{\frac {1}{2}}{\begin{pmatrix}-1\\1\\0\end{pmatrix}},s_{\infty }d=-S_{\infty }D,\\PIII:&{\begin{pmatrix}s_{\infty }\theta _{\infty }\\s_{0}\theta _{0}\end{pmatrix}}&=-{\begin{pmatrix}0&-1\\-1&0\end{pmatrix}}{\begin{pmatrix}S_{\infty }\Theta _{\infty }\\S_{0}\Theta _{0}\end{pmatrix}},s_{\infty }c=-S_{\infty }C,s_{0}d=-S_{0}D,\\PIV:&{\begin{pmatrix}s_{\infty }\theta _{\infty }\\s_{0}\theta _{0}\end{pmatrix}}&=-{\frac {1}{2}}{\begin{pmatrix}-1&-3\\-1&1\end{pmatrix}}{\begin{pmatrix}S_{\infty }\Theta _{\infty }\\S_{0}\Theta _{0}\end{pmatrix}}+{\frac {1}{4}}{\begin{pmatrix}-1\\1\end{pmatrix}},s_{\infty }c=-S_{\infty }C,\\PII:&{\begin{pmatrix}s\theta _{\infty }\end{pmatrix}}&={\begin{pmatrix}S\Theta _{\infty }\end{pmatrix}},s_{\infty }d=-S_{\infty }D,\end{array}}$

accompagné de

${\begin{array}{l l l}PVI:&\displaystyle {\frac {-Nx(x-1)}{(u-x)(U-x)-x(x-1)}}&=\displaystyle (U-x)\left({\frac {x(x-1)U'}{U(U-1)(U-x)}}+{\frac {\Theta _{0}}{U}}+{\frac {\Theta _{1}}{U-1}}+{\frac {\Theta _{\infty }-\Theta _{0}-\Theta _{1}}{U-x}}\right),\\PV:&\displaystyle {\frac {-2Dx}{(u-1)(U-1)}}&=\displaystyle (U-1)\left({\frac {xU'}{U(U-1)^{2}}}+{\frac {\Theta _{0}}{U}}+{\frac {\Theta _{\infty }-\Theta _{0}}{U-1}}+{\frac {Dx}{(U-1)^{2}}}\right),\\PIII:&\displaystyle {\frac {Dx}{uU}}&=-C,\\PIV:&\displaystyle 2C(u+U)&=\displaystyle {\frac {U'}{U}}+{\frac {4\Theta _{0}}{U}}+CU-2Cx,\\PII:&u+U&=0.\end{array}}$

Dans cette transformation biaisée de PVI, la constante $N$ est l'une quelconque des expressions

${\begin{aligned}N&=\sum (\theta _{k}^{2}-\Theta _{k}^{2})\\&=1+S_{\infty }\Theta _{\infty }-S_{0}\Theta _{0}-S_{1}\Theta _{1}+S_{x}\Theta _{x}\\&=-1-s_{\infty }\theta _{\infty }+s_{0}\theta _{0}+s_{1}\theta _{1}-s_{x}\theta _{x}\\&=-2(s_{\infty }\theta _{\infty }-S_{x}\Theta _{x})=2(s_{0}\theta _{0}-S_{1}\Theta _{1})\\&=2(s_{1}\theta _{1}-S_{0}\Theta _{0})=-2(s_{x}\theta _{x}-S_{\infty }\Theta _{\infty }).\end{aligned}}$

Au niveau de PIII, la transformation se réduit à la permutation des deux points singuliers $(\infty ,0)$, une homographie sur $u$ qui laisse bien PIII invariante. Donc au niveau de PII ce n'est que la parité.

La transformation biaisée de PV est due à Gromak [Éqs. (10)-(11)], et celle de PIV à Lukashevich. À ces deux niveaux V et IV, la transformation normale est le carré de la transformation biaisée (à une homographie et des changements de signes près), donc les transformations birationnelles élémentaires sont finalement : la normale pour PVI, PIII, PII, la biaisée pour PV, PIV.

Transformations non-birationnelles

Pour des valeurs particulières des paramètres $(\alpha ,\beta ,\gamma ,\delta ),$ il existe des transformations non-birationnelles entre l'une des six Pn avec paramètre (ce qui exclut PIII-D8 et PI) et une autre, possiblement la même. Ces transformations sont algébriques et non-canoniques (la forme symplectique $\mathrm {d} p\wedge \mathrm {d} q-\mathrm {d} H\wedge \mathrm {d} x$ est multipliée par un entier petit, $2$, $3$ ou $4$, alors que cet entier est l'unité pour une transformation birationnelle).

Pour PVI, ce sont les extensions de la transformation de Goursat [Vol I, sections 2.6.2, 2.11] pour l'équation hypergéométrique

$F\left(a,b,{\frac {a+b+1}{2}};x\right)=F\left({\frac {a}{2}},{\frac {b}{2}},{\frac {a+b+1}{2}};4x(1-x)\right),$

où le lien entre les deux variables indépendantes n'est pas homographique.

Il existe au moins deux types de transformations non-birationnelles : (i) les transformations de repliement (définition 2.1); (ii) au moins pour PVI, des transformations polynomiales laissant la variété de monodromie invariante de forme.

TABLE. Toutes les transformations non-birationnelles de repliement [Théorème 2.3]. La dernière ligne est de l'autre type (variété de monodromie). La deuxième colonne est le rapport (entier) des formes symplectiques $\mathrm {d} p\wedge \mathrm {d} q-\mathrm {d} H\wedge \mathrm {d} x$, et la quatrième indique si la transformation est élémentaire (E) ou le produit d'autres transformations de repliement (P).

Pm $\to$ Pn	Rapport	E/P	Référence
PVI $\to$ PVI	2	E
PVI $\to$ PVI	4	P	[$\S 3.2$]
PV $\to$ PIII-D6	2	E	[$\S 4.1$]
PV $\to$ PV	4	P	[$\S 4.2$]
PIII-D6 $\to$ PV	2	E	[p. 40]
PIII-D6 $\to$ PIII-D8	2	E	[p. 368]
PIII-D6 $\to$ PIII-D6	4	P
PIII-D8 $\to$ PIII-D6	2	E	[$\S 7$]
PIV $\to$ PIV	3	E	[$\S 8$]
PII $\to$ PII	2	E	[p. 32]
PVI $\to$ PVI	3

Au niveau supérieur (PVI), il existe une seule transformation de repliement entre $PVI(u,x,(\theta _{j}))$ et $PVI(U,X,(\Theta _{j}))$, obtenue par Kitaev, et interprétée par Manin comme une transformation de Landen entre les représentations elliptiques des deux PVI

$\displaystyle {x=\left({\frac {X^{-1/4}+X^{1/4}}{2}}\right)^{2},u=\left({\frac {X^{-1/4}U^{1/2}+X^{1/4}U^{-1/2}}{2}}\right)^{2},\forall (\lambda _{1},\lambda _{2}):(\Theta _{j})=(\lambda _{1},\lambda _{1},\lambda _{2},\lambda _{2}),(\theta _{j})=(2\lambda _{1},0,0,2\lambda _{2}).}$

Le carré de cette transformation [Éqs. (3.11)-(3.13)] conserve $x$ et crée trois zéros parmi les $\theta _{j}$

$\displaystyle {x=X,u={\frac {(U^{2}-X)^{2}}{4U(U-1)(U-X)}},\forall \lambda :(\Theta _{j})=(\lambda ,\lambda ,\lambda ,\lambda ),(\theta _{j})=(4\lambda ,0,0,0).}$

Parmi les trois transformations impliquant PV, une seule est élémentaire

${\begin{aligned}&\left\lbrace {\begin{array}{ll}\displaystyle {PV(\Theta _{\infty }^{2}/2,-\Theta _{0}^{2}/2,C,D)\to PIII-D6(\alpha ,\beta ,c^{2},-d^{2}),}\\\displaystyle {u={\frac {U-1}{2c(U+1)}}\left({\frac {X\mathrm {d} U}{U\mathrm {d} X}}-\Theta _{0}U+{\frac {\Theta _{0}}{U}}\right),x={\frac {D}{2cd}}X^{2},{\frac {U}{(U-1)^{2}}}={\frac {2xu'-cu^{2}-4\Theta _{0}u-dx}{8cu^{2}}},}\\\displaystyle {\alpha =-4c\Theta _{0},\beta =2d(1-2\Theta _{0}),\Theta _{\infty }=-\Theta _{0},C=0,}\end{array}}\right.\end{aligned}}$

${\begin{aligned}&\left\lbrace {\begin{array}{ll}\displaystyle {PV(\Theta _{\infty }^{2}/2,-\Theta _{0}^{2}/2,C,D)\to PV(\theta _{\infty }^{2}/2,-\theta _{0}^{2}/2,\gamma ,-d^{2}/2),}\\\displaystyle {u=1+{\frac {4xU(U+1)(2kdR+d^{2}xU(U+1))}{4k^{2}R^{2}}},X=kx,k^{2}={\frac {d^{2}}{8D}},R=x(U-1){\frac {\mathrm {d} U}{\mathrm {d} X}}-{\frac {U^{3}+(2dx-1)U(U+1)+1}{4k}},}\\\displaystyle {(4{u'}^{2}-d^{2}u(u+1)^{2})(U-1)^{4}-16d^{2}u(u-1)^{2}(2U-1)+8(4duu'U-d^{2}u(u+1)^{2}(U-1)-d^{2}(3u^{2}-2u+3)u)(U-1)^{2}=0,}\\\displaystyle {\Theta _{\infty }=\Theta _{0}={\frac {1}{4}},C=0,\theta _{\infty }=\theta _{0}=0,\gamma =d,}\end{array}}\right.\end{aligned}}$

${\begin{aligned}&\left\lbrace {\begin{array}{ll}\displaystyle {PIII-D6(U,X,A,B,C^{2},-D^{2})\to PV(u,x,\alpha ,\beta ,\gamma ,-d^{2}/2),}\\\displaystyle {u=\left({\frac {4CU-dx}{4CU+dx}}\right)^{2},X={\frac {d^{2}}{16CD}}x^{2},\alpha =\beta =0,A={\frac {C}{d}}\gamma ,B=-{\frac {D}{d}}\gamma .}\end{array}}\right.\end{aligned}}$

Parmi les trois transformations entre PIII, deux sont élémentaires

${\begin{aligned}&\left\lbrace {\begin{array}{ll}\displaystyle {PIII-D6(U,X,0,0,C,D)\to PIII-D8(u,x,\alpha ,\beta ,0,0),CD\alpha \beta \not =0,}\\\displaystyle {u={\frac {C}{2\alpha }}U^{2},x={\frac {CD}{4\alpha \beta }}X^{2},}\end{array}}\right.\end{aligned}}$

${\begin{aligned}&\left\lbrace {\begin{array}{ll}\displaystyle {PIII-D6(U,X,0,0,C,D)\to PIII-D6(u,x,0,\beta ,\gamma ,\delta ),CD\beta \gamma \delta \not =0,}\\\displaystyle {u=32kCD{\frac {XU^{2}-2X^{2}UU'}{\beta \gamma (CU^{4}+DX^{2})}},X=kx,k^{2}={\frac {\gamma \delta }{16CD}}\not =0,2u^{2}\left(C^{4}U^{8}-\left(\beta ^{2}\gamma {\frac {x^{2}}{64}}\right)^{2}\right)+\beta Cx^{2}\left(u'-{\frac {\beta }{4}}\right)U^{2}\left(C^{2}U^{4}-\beta ^{2}\gamma {\frac {x^{2}}{64}}\right)=0,}\\\displaystyle {\delta =-{\frac {\beta ^{2}}{4}},}\end{array}}\right.\end{aligned}}$

${\begin{aligned}&\left\lbrace {\begin{array}{ll}\displaystyle {PIII-D8(U,X,A,B,0,0)\to PIII-D6(u,x,0,\beta ,c^{2},-d^{2}),AB\beta cd\not =0,}\\\displaystyle {u={\frac {c^{2}d^{3}x^{3}U'+32ABdxU}{B((8AU)^{2}-(cdx)^{2})}},X=-{\frac {(cdx)^{2}}{64AB}},{\frac {8AU}{cdx}}+{\frac {cdx}{8AU}}-2x{\frac {2u'+d}{cu^{2}}}=0,}\\\displaystyle {\alpha =0,\beta =-2d.}\end{array}}\right.\end{aligned}}$

L'unique transformation impliquant PIV' est bien sûr élémentaire

${\begin{aligned}&\left\lbrace {\begin{array}{ll}\displaystyle {PIV'(U,X,A,B,-k^{4}c^{2}/3,0)\to PIV'(u,x,\alpha ,\beta ,c^{2},0),}\\\displaystyle {u=-2c{\frac {9(kU)^{3}+12x(kU)^{2}+4x^{2}kU}{9R}}-2kU-{\frac {4x}{3}}-{\frac {R}{2ckU}},x=kX,}\\\displaystyle {4c^{2}u\left(kU+{\frac {2x}{3}}\right)^{3}+6cur\left(kU+{\frac {2x}{3}}\right)-r(r-2cu^{2})=0,}\\\displaystyle {R=U'-ckU\left(kU+{\frac {2x}{3}}\right)+{\frac {2}{3}},r=u'+c(u+2x)u,}\\\displaystyle {A=0,B=-{\frac {2}{9}},\alpha =c,\beta =0.}\end{array}}\right.\end{aligned}}$

Au niveau le plus bas (PII), l'unique transformation de repliement relie PII(0) à PII$(\pm 1/2)$ (entre PII$(\pm 1/2)$ et l'équation numéro 20 de Gambier, elle est birationnelle), comme montré par Gambier [p. 32-33]

${\begin{aligned}&\left\lbrace {\begin{array}{ll}\displaystyle {{\frac {\mathrm {d} ^{2}u}{\mathrm {d} x^{2}}}=2d^{2}u^{3}+xu+\alpha ,{\frac {\mathrm {d} ^{2}U}{\mathrm {d} X^{2}}}=2D^{2}U^{3}+XU+A,}\\\displaystyle {u={\frac {k}{d}}{\frac {\mathrm {d} U}{U\mathrm {d} X}},U^{2}=-k\left({\frac {1}{d}}{\frac {\mathrm {d} u}{\mathrm {d} x}}+u^{2}+{\frac {x}{2}}\right),X=kx,k^{3}=-{\frac {d^{2}}{2D^{2}}},A=0,\alpha =-{\frac {d}{2}}.}\end{array}}\right.\end{aligned}}$

Enfin, pour $\lambda _{1}=\lambda _{2}=0$, les deux transformations de PVI vers PVI conservent la PVI de Picard $(\theta _{j})=(0,0,0,0).$ L'inverse n'est pas vrai : il existe une transformation différente d'un repliement qui conserve la PVI de Picard, c'est la transformation cubique

$x={\frac {s(s+2)^{3}}{(2s+1)^{3}}},X={\frac {s^{3}(s+2)}{2s+1}},u={\frac {U(U+s(s+2))^{2}}{((2s+1)U+s^{2})^{2}}},\forall j:\ \theta _{j}=\Theta _{j}=0.$

L'utilité de ces transformations est la "simplification" des paramètres, par exemple l'annulation de certains $\theta _{j}$.

Exemple 1. Le problème de la persistence est caractérisé par la fonction tau de Chazy de PVI de paramètres $\theta _{j}=(1/2,0,0,1/2)$. Une permutation engendre d'abord $(1/2,1/2,0,0)$, qu'une transformation de Kitaev convertit en $(1,0,0,0)$.

Exemple 2. Une fonction de corrélation à deux points du modèle d'Ising bi-dimensionnel est décrite par la fonction tau de Chazy de PVI de paramètres $\theta _{j}=(N-3/2,N+1/2,1/2,1/2)$ avec $N$ entier quelconque [p. 405-406]. $N+2$ transformations (toutes des involutions) la ramènent au cas de Picard

$(N-3/2,N+1/2,1/2,1/2)\to (N-1/2,N-1/2,1/2,1/2)\to (1/2,1/2,1/2,1/2)\to (0,0,0,0).$

Mieux, trois transformations seulement (une d'Okamoto, une de Schlesinger et une de Kitaev) suffisent à annuler trois des exposants,

$(N-3/2,N+1/2,1/2,1/2)\to (1,-1,N-1,1-N)\to (0,0,N,N)\to (0,0,0,2N).$

De l'analyse à la géométrie algébrique

Lors de leur découverte, la description des six équations/fonctions de Painlevé était purement analytique et la conséquence directe de la motivation "définir de nouvelles fonctions par des EDOs". Ce point de vue a radicalement changé vers 1979 quand l'école japonaise a montré que la géométrie algébrique fournissait un bien meilleur cadre et conduisait même à une discrétisation naturelle de ces équations (lire l'excellente revue).

Ce passage de l'analyse à la géométrie a été motivé par la résolution globale du problème de Cauchy. Cauchy représentait une EDO d'ordre $N$ (par exemple une Pn pour $u(x)$) par un système d'ordre un à $N$ composantes (par exemple les coordonnées canoniques $q$ et $p$ d'une représentation hamiltonienne de Pn), et son problème était : étant donné des valeurs finies $q_{0},p_{0}$ des données de Cauchy en un point $x_{0}$, trouver les solutions $(q,p)$ vérifiant $q(x_{0})=q_{0},p(x_{0})=p_{0}$. Son fameux théorème établissait bien l'existence, l'unicité, l'holomorphie etc d'une telle solution, mais ce résultat n'était que local et restreint aux valeurs finies des données de Cauchy.

Par la méthode classique d'éclatement, Okamoto a obtenu les importants résultats suivants.

[a.] Chaque équation continue Pn admet une solution globale à son problème de Cauchy, et le formalisme se simplifie beaucoup par le choix des coordonnées hamiltoniennes $(q,p)$, avec $q=u(x)$, plutôt que par celui des coordonnées naturelles $(u(x),u'(x))$ [Les coordonnées $q=u(x)$ et $p={\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {P}},x}$ (qui a deux pôles simples de residu unité) adoptées par Garnier cite{Garnier1917} pourraient constituer un autre choix]. L'espace des valeurs initiales $(q_{0},p_{0})$ (finies ou infinies) se construit par huit éclatements [p. 16] de l'espace $\mathbb {P} ^{1}\times \mathbb {P} ^{1}$, ou de manière équivalente par neuf éclatements [p. 24] de $\mathbb {P} ^{2}$.

[b.] À chaque Pn sont associées deux notions tirées de la géométrie algébrique : une surface rationnelle (définissant un type de surface) et un groupe de Weyl affine étendu (définissant un type de symétrie). Afin de rendre cette correspondance biunivoque, il est nécessaire de remplacer le groupe des transformations birationnelles (qui définit six classes d'équivalence PI, PII, PIV, PIII, PV, PVI) par ce groupe de Weyl affine étendu, dont les classes d'équivalence pertinentes sont au nombre de huit car PIII doit alors être scindée en trois classes, PIII-D6, PIII-D7, PIII-D8, d'ailleurs déjà mentionnées par les auteurs classiques [p. 13], [p. 202], voir la Table ci-après.

[c.] Cette surface rationnelle, une fois retiré le "diviseur inaccessible" [p. 16], représente essentiellement l'espace des conditions initiales.

[d.] Ce groupe de Weyl affine étendu, qui est le groupe naturel de transformations laissant une des huit Pn invariante de forme, est engendré par des réflexions et des translations, il agit sur les paramètres d'une Pn comme une transformation affine, et sur les coordonnées hamiltoniennes $(q,p)$ ou bien comme une homographie ou bien comme une transformation birationnelle.

[e.] Il existe une analogie remarquable entre le type de surface et le type de symétrie, au sens où ce sont deux sous-réseaux orthogonaux [Remarque 3.9 p. 27] du réseau ${\rm {E}}_{8}^{(1)}$.

En résumé, le nombre de Pn distinctes varie suivant le point de vue adopté :

1. Du point de vue analytique (irréductibilité et invariance par le groupe des transformations birationnelles), six Pn (PVI, PV, PIII, PIV, PII, PI) dépendant respectivement de 4, 3, 2, 2, 1, 0 paramètres essentiels.

2. Du point de vue géométrique (irréductibilité et invariance par le groupe des transformations birationnelles et par le groupe de Weyl affine étendu), huit Pn (PVI, PV, PIII-D6, PIII-D7, PIII-D8, PIV, PII, PI), les trois PIII dépendant respectivement de 2, 1, 0 paramètres essentiels.

3. Du point de vue de la confluence promu par Garnier (irréductibilité et invariance générique par le groupe des transformations birationnelles), cinq Pn (PVI, PV, PIII, PIV', PII') dépendant chacune de quatre paramètres, essentiels ou non.

Les huit équations géométriques de Painlevé

Pour définir les classes d'équivalence par les groupes ci-dessus, il faut donc supprimer toute Pn ou bien birationnellement équivalente à une Pn déjà dans la liste, ou bien réductible à un ordre inférieur. Il n'existe que deux telles Pn :

(i) PV($\delta =0$), birationalement équivalente à PIII-D6$(\gamma \delta \not =0)$

${\begin{aligned}&\left\lbrace {\begin{array}{l}\displaystyle {PV(U,X,A,B,C,0)\leftrightarrow PIII(u,x,\alpha ,\beta ,\gamma ,\delta ),\gamma \delta \not =0,}\\\displaystyle {2A=\Theta _{\infty }^{2},2B=-\Theta _{0}^{2},\gamma =c^{2},\delta =-d^{2},\alpha =2c(\Theta _{\infty }+\Theta _{0}),\beta =2d(\Theta _{\infty }-\Theta _{0}+1),}\\\displaystyle {u={\frac {1}{c}}\left({\frac {\mathrm {d} \log U}{\mathrm {d} \log X}}+\Theta _{\infty }U-(\Theta _{\infty }+\Theta _{0})+{\frac {\Theta _{0}}{U}}\right),X={\frac {cd}{2C}}x,U=1+{\frac {cu^{2}}{\displaystyle x{\frac {\mathrm {d} u}{\mathrm {d} x}}-{\frac {cu^{2}}{2}}+\left({\frac {\beta }{2d}}-1\right)u-{\frac {d}{2}}x}}.}\end{array}}\right.\end{aligned}}$

(ii) PIII($\alpha =\gamma =0$) et PIII($\beta =\delta =0$), dont la solution générale est rationnelle en une puissance de $x$

${\begin{aligned}&\left\lbrace {\begin{array}{ll}\displaystyle {PIII(\gamma =0,\alpha =0),u=x{\frac {(\beta x^{k}+8k_{0})^{2}+4\delta (kx^{k})^{2}}{64k_{0}k^{2}x^{k}}},(k,k_{0}){\hbox{ arbitraires}},}\\\displaystyle {PIII(\delta =0,\beta =0),u^{-1}={\frac {(\alpha x^{k}-8k_{0})^{2}-4\gamma (kx^{k})^{2}}{64k_{0}k^{2}x^{k}}}.}\end{array}}\right.\end{aligned}}$

La Table ci-contre résume les caractéristiques des huit Pn ainsi sélectionnées.

${\begin{array}{| c | c | l | c |}\hline {\hbox{Type de surface}}&{\hbox{Type de symétrie}}&{\hbox{Équation de Painlevé}}&{\hbox{Paramètres}}\\\hline \hline &{\hbox{Groupe de Weyl affine}}&&\\\hline \hline D_{4}^{(1)}&D_{4}^{(1)}&PVI&4\\D_{5}^{(1)}&A_{3}^{(1)}&PV,\delta \not =0&3\\D_{6}^{(1)}&(2A_{1})^{(1)}&PIII,\gamma \delta \not =0&2\\D_{7}^{(1)}&A_{1}^{(1)}&PIII,(\gamma =0,\alpha \delta \not =0){\hbox{ ou }}(\delta =0,\beta \gamma \not =0)&1\\D_{8}^{(1)}&A_{0}^{(1)}&PIII,\gamma =\delta =0,\alpha \beta \not =0&0\\E_{6}^{(1)}&A_{2}^{(1)}&PIV&2\\E_{7}^{(1)}&A_{1}^{(1)}&PII&1\\E_{8}^{(1)}&A_{0}^{(1)}&PI&0\\\hline \end{array}}$

Hamiltoniens

En coordonnées rationnelles

Un hamiltonien ${\mathcal {h}}(q,p,x)$ avec le choix $q=u$ représente PVI$(u,x)$ si et seulement si il existe une variable impulsion $p=f(u,u',x)$ dont l'élimination entre les équations de Hamilton ${\frac {\mathrm {d} q}{\mathrm {d} x}}={\frac {\partial {\mathcal {h}}}{\partial p}},{\frac {\mathrm {d} p}{\mathrm {d} x}}=-{\frac {\partial {\mathcal {h}}}{\partial q}}$ engendre PVI$(u,x)=0$. Rappelons que, si ${\mathcal {h}}(q,p,x)$ est un tel hamiltonien, alors pour tout scalaire $\mu$ et toute fonction $F(q,x)$, les grandeurs ${\mathcal {h}}(q,p+\partial _{q}F,x)$ et $\mu {\mathcal {h}}(q,\mu p,x)$ sont également de tels hamiltoniens. Parmi les nombreux hamiltoniens admissibles, il en existe de naturels, égaux à la dérivée logarithmique de l'une quelconque des huit fonctions tau (à deux zéros mobiles ou à un seul zéro mobile),

${\mathcal {h}}_{{\rm {VI}},{\rm {{X},j}}}(u,f(u,u',x),x)={\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {{X},j}}},{\rm {{X=P,C},j=\infty ,0,1,x.}}$

L'hamiltonien défini par la fonction tau $\tau _{{\rm {VI}},{\rm {P}},x}$ de Painlevé ${\mathcal {h}}_{{\rm {VI}},{\rm {P}},x}(q,p,x)={\frac {1}{2a}}{\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {P}},x},$ $a$ étant une constante arbitraire de normalisation

${\begin{aligned}&\left\lbrace {\begin{array}{ll}\displaystyle {{\mathcal {h}}_{{\rm {VI}},{\rm {P}},x}(q,p,x)={\frac {1}{ax(x-1)}}\left\lbrack q(q-1)(q-x)a^{2}p^{2}+q(q-1)ap\right.}\\\displaystyle {\left.\qquad +{\frac {1}{4}}\left((\theta _{\infty }^{2}-1)\left({\frac {1}{2}}-q\right)+\theta _{0}^{2}\left({\frac {1}{2}}-{\frac {x}{q}}\right)+\theta _{1}^{2}\left(-{\frac {1}{2}}+{\frac {x-1}{q-1}}\right)+\theta _{x}^{2}\left({\frac {1}{2}}-x-{\frac {x(x-1)}{q-x}}\right)+2x-1\right)\right\rbrack ,}\\\displaystyle {q=u,p={\frac {1}{2a}}\left({\frac {x(x-1)u'}{u(u-1)(u-x)}}-{\frac {1}{u-x}}\right),}\end{array}}\right.\end{aligned}}$

a pour principale propriété de réaliser la correspondance quantique. il est rationnel en $q$, affine en les quatre $\theta _{j}^{2}$, et son impulsion $p$ est indépendante des $\theta _{j}^{2}$.

Par la coalescence il engendre ceux des Pn inférieures [Eqs. (C10)-(C13)]

${\begin{aligned}{\mathcal {h}}_{{\rm {V}},{\rm {P}}}&={\frac {q(q-1)}{x}}((q-1)ap^{2}+p)-{\frac {1}{2a}}V_{\rm {V}}(q),p={\frac {1}{2a}}\left({\frac {xu'}{u(u-1)^{2}}}-{\frac {1}{u-1}}\right),\\{\mathcal {h}}_{{\rm {III}},{\rm {P}}}&={\frac {q^{2}}{x}}ap^{2}+{\frac {q}{x}}p-{\frac {1}{a}}V_{\rm {III}}(q)+{\frac {1}{4ax}},p=-{\frac {1}{2a}}\left({\frac {x}{u}}\right)',\\{\mathcal {h}}_{{\rm {IV'}},{\rm {P}}}&=qap^{2}-{\frac {1}{4a}}V_{\rm {IV'}}(q),p={\frac {u'}{4au}},\\{\mathcal {h}}_{{\rm {II'}},{\rm {P}}}&=a{\frac {p^{2}}{2}}-{\frac {1}{a}}V_{\rm {II'}}(q),p={\frac {u'}{a}},\end{aligned}}$

où les potentiels $V_{n}$ sont définis section Équations_de_Painlevé.

L'hamiltonien défini par la fonction tau $\tau _{{\rm {VI}},{\rm {{C},j}}}$ à un seul zéro, ${\mathcal {h}}_{\rm {VI,{\rm {{C},x}}}}(q,p,x)={\frac {1}{a}}{\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {{C},x}}},$ qui s'écrit

${\begin{aligned}&\left\lbrace {\begin{array}{ll}\displaystyle {{\mathcal {h}}_{\rm {VI,{\rm {{C},x}}}}(q,p,x)={\frac {q(q-1)(q-x)}{ax(x-1)}}\left\lbrack a^{2}p^{2}-\left({\frac {\theta _{0}}{q}}+{\frac {\theta _{1}}{q-1}}+{\frac {\theta _{x}-1}{q-x}}\right)ap-{\frac {\theta _{\infty }^{2}-(\theta _{0}+\theta _{1}+\theta _{x}-1)^{2}}{4q(q-1)}}\right\rbrack }\\\displaystyle {\qquad +{\frac {-\theta _{\infty }^{2}+\theta _{0}^{2}-\theta _{1}^{2}+(\theta _{x}-1)^{2}+4\theta _{0}(\theta _{x}-1)}{8ax}}+{\frac {-\theta _{\infty }^{2}+\theta _{1}^{2}-\theta _{0}^{2}+(\theta _{x}-1)^{2}+4\theta _{1}(\theta _{x}-1)}{8a(x-1)}},}\\\displaystyle {q=u,p={\frac {1}{2a}}\left({\frac {x(x-1)u'}{u(u-1)(u-x)}}+{\frac {\theta _{0}}{u}}+{\frac {\theta _{1}}{u-1}}+{\frac {\theta _{x}-1}{u-x}}\right),}\end{array}}\right.\end{aligned}}$

est polynomial en $q$ et en $p$, quadratique en les $\theta _{j}$, et l'équation $p=0$ définit la solution classique de PVI à un paramètre. Les hamiltoniens qu'il engendre par la confluence restent polynomiaux en $q$ et $p$ (sauf pour PV$(\gamma \not =0,\delta =0)$ et PIII$(\beta \not =0,\delta =0)$), et la condition $p=0$ caractérise la solution de Riccati

${\begin{aligned}&\left\lbrace {\begin{array}{ll}\displaystyle {PVI:{\mathcal {h}}_{{\rm {VI}},{\rm {C}},x}={\mathcal {h}}_{\rm {VI,{\rm {{C},x}}}}(q,p,x),}\\\displaystyle {PV:{\mathcal {h}}_{{\rm {V}},{\rm {C}}}={\frac {q(q-1)^{2}}{x}}\left\lbrack p^{2}-\left({\frac {\theta _{0}}{q}}+{\frac {a_{1}-1}{q-1}}+{\frac {dx}{(q-1)^{2}}}\right)p-{\frac {\theta _{\infty }^{2}-(\theta _{0}+a_{1}-1)^{2}}{4q(q-1)}}+{\frac {(\gamma +a_{1}d)x}{2(q-1)^{3}}}\right\rbrack ,}\\\displaystyle {PIII:{\mathcal {h}}_{{\rm {III}},{\rm {C}}}={\frac {q^{2}}{x}}\left\lbrack p^{2}-\left({\frac {a_{0}-1}{q}}+{\frac {dx}{2q^{2}}}-{\frac {c}{2}}\right)p-{\frac {\alpha +2(a_{0}-1)c}{8q}}+{\frac {(\beta +2a_{0}d)x}{q^{3}}}\right\rbrack ,}\\\displaystyle {PIV':{\mathcal {h}}_{{\rm {IV'}},{\rm {C}}}=q\left\lbrack p^{2}-\left(cq+2cx+{\frac {4\theta _{0}}{q}}\right)p+(2\theta _{\infty }+2\theta _{0}-1)c-2\delta x-\delta q\right\rbrack ,}\\\displaystyle {PII':{\mathcal {h}}_{{\rm {II'}},{\rm {C}}}={\frac {1}{2}}\left\lbrack p^{2}-d(2q^{2}+x)p-2\alpha q-\beta q^{2}-2\gamma (2q^{3}+xq)-dq\right\rbrack ,}\end{array}}\right.\end{aligned}}$

(la notation est définie ci-dessus dans la Table des exposants de monodromie, et $a_{1},a_{0}$ dans PV et PIII sont des constantes arbitraires destinées à décrire les deux variétés de PV et les trois de PIII).

En coordonnées elliptiques

Ils découlent immédiatement de l'écriture des Pn en coordonnées elliptiques

${\mathcal {H}}=\left\lbrace {\begin{array}{l l}(PVI)&\displaystyle {\frac {P^{2}}{2}}-{\frac {(2\omega )^{2}}{\pi ^{2}}}\sum _{j=\infty ,0,1,x}\theta _{j}^{2}\wp (2\omega Q+\omega _{j},g_{2},g_{3}),\\(PV)&\displaystyle {\frac {P^{2}}{2}}-{\frac {\alpha }{\sinh ^{2}U}}-{\frac {\beta }{\cosh ^{2}U}}+\gamma e^{2X}\cosh(2U)+{\frac {\delta }{8}}e^{4X}\cosh(4U),\\(PIII)&\displaystyle {\frac {P^{2}}{2}}+{\frac {1}{4}}e^{X}\left(-\alpha e^{2U}+\beta e^{-2U}\right)+{\frac {1}{8}}e^{2X}\left(-\gamma e^{4U}+\delta e^{-4U}\right),\\(PIV')&\displaystyle {\frac {P^{2}}{2}}+{\frac {\alpha }{2}}U^{2}+{\frac {\beta }{4U^{2}}}-{\frac {\gamma }{8}}\left(U^{6}+4XU^{4}+4X^{2}U^{2}\right)-{\frac {\delta }{2}}(U^{4}+2XU^{2}),\\(PII')&\displaystyle {\frac {P^{2}}{2}}-{\frac {\delta }{2}}(U^{4}+XU^{2})-\gamma (2U^{3}+XU)-{\frac {\beta }{2}}U^{2}-\alpha U.\end{array}}\right.$.

Paires de Lax

Toutes les Pn admettent des paires de Lax d'ordre deux (nous ne considérons pas ici celles d'ordre supérieur), scalaires ou matricielles, définissables en coordonnées rationnelles $(u,x,t)$ ou elliptiques $(U,X,T)$.

Paires matricielles en coordonnées rationnelles

Notons $(L,M)$ une telle paire pour PVI $\partial _{x}\psi =L\psi ,\partial _{t}\psi =M\psi .$

Schlesinger, le beau-frère de Richard Fuchs, en a donné les principales caractéristiques, sans toutefois l'écrire.

1. $L$ et $M$ peuvent être choisies de trace nulle.

2. La matrice $M$ est la somme de quatre pôles simples de birapport $x$, mis par convention en $t=\infty ,0,1,x$, et la dépendance de $L$ en $t$ est la somme d'un pôle simple en $t=x$ et d'un terme régulier

$L=-{\frac {M_{x}}{t-x}}+L_{\infty },M={\frac {M_{0}}{t}}+{\frac {M_{1}}{t-1}}+{\frac {M_{x}}{t-x}},M_{\infty }+M_{0}+M_{1}+M_{x}=0;$

3. Les déterminants des quatre résidus $M_{j}$ sont constants (et équivalents aux quatre paramètres de PVI);

4. Le résidu $M_{\infty }$ est constant, la matrice $L_{\infty }$ est un multiple scalaire de $M_{\infty }$;

5. Si $M_{\infty }$ est inversible, il existe un changement de base permettant d'annuler $L_{\infty }$ et donc de rendre la paire de Lax unique.

Cette paire de Lax, que n'avait pas écrite Schlesinger, s'obtient aisément à partir des équations du repère mobile des surfaces de Bonnet, il en existe deux formes canoniques.

Paires holomorphes en les quatre paramètres

Elle est affine en trois des $\theta _{j}$, quadratique en le quatrième

${\begin{aligned}&\left\lbrace {\begin{array}{ll}\displaystyle {L=-{\frac {M_{x}}{t-x}}-{\frac {u-x}{x(x-1)}}M_{\infty },M={\frac {M_{0}}{t}}+{\frac {M_{1}}{t-1}}+{\frac {M_{x}}{t-x}},M_{\infty }+M_{0}+M_{1}+M_{x}=0,}\\\displaystyle {M_{\infty }={\frac {1}{4}}{\begin{pmatrix}2a&-4\\a^{2}-\theta _{\infty }^{2}&-2a\end{pmatrix}},}\\\displaystyle {M_{0}=-{\frac {1}{2(u-x)}}{\begin{pmatrix}e_{0}&-2u(u-x)\\\displaystyle {\frac {e_{0}^{2}-\theta _{0}^{2}(u-x)^{2}}{2u(u-x)}}&-e_{0}\end{pmatrix}},}\\\displaystyle {}\\\displaystyle {M_{1}={\frac {1}{2(u-x)}}{\begin{pmatrix}e_{1}&-2(u-1)(u-x)\\\displaystyle {\frac {e_{1}^{2}-\theta _{1}^{2}(u-x)^{2}}{2(u-1)(u-x)}}&-e_{1}\end{pmatrix}},}\\\displaystyle {}\\\displaystyle {M_{x}={\frac {1}{2}}{\begin{pmatrix}-\Theta _{x}&0\\2M_{x,21}&\Theta _{x}\end{pmatrix}},M_{x,21}=-{\frac {e^{2}-(u-x)^{2}((\theta _{\infty }^{2}+\Theta _{x}^{2}-2a\Theta _{x})u(u-1)-\theta _{0}^{2}(u-1)+\theta _{1}^{2}u)}{4u(u-1)(u-x)^{2}}},}\\\displaystyle {e=x(x-1)u'+\Theta _{x}u(u-1),e_{0}=e-(\Theta _{x}-a)u(u-x),e_{1}=e-(\Theta _{x}-a)(u-1)(u-x),}\\\displaystyle {-4\det M_{j}=\theta _{j}^{2},j=\infty ,0,1;-4\det M_{x}=\Theta _{x}^{2},\Theta _{x}^{2}=(\theta _{x}-1)^{2},}\end{array}}\right.\end{aligned}}$

où $a$ est une constante qui peut être assignée à une valeur arbitraire, telles $0$, $\Theta _{x}$ ou $\pm \theta _{\infty }$, par action d'une matrice de passage constante.

Cette paire de Lax a la même dépendance dans toutes les variables que la dérivée logarithmique de la fonction tau à un seul zéro ${\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{\rm {VI,C,x}}$ : polynomiale de degré deux en $u'$, méromorphe en $u$ et $x$ (les seuls pôles étant ceux de $PVI$), affine en $\theta _{\infty }^{2},\theta _{0}^{2},\theta _{1}^{2},$ holomorphe en $\theta _{x}$.

Historiquement, la première paire de Lax matricielle de PVI [Éq. (C.47)] fut obtenue par la condition d'isomonodromie du système à quatre singularités fuchsiennes

$\partial _{t}\psi =\left({\frac {M_{0}}{t}}+{\frac {M_{1}}{t-1}}+{\frac {M_{x}}{t-x}}\right)\psi ,M_{\infty }=-M_{0}-M_{1}-M_{x},$

lire les détails ci-après.

Chacun des deux éléments non-diagonaux $M_{12}$, $M_{21}$ possède un seul zéro simple $t=f(u',u,x)$ (à condition de choisir $a=\pm \theta _{\infty }$), le plus simple étant

$M_{12}={\frac {t-u}{t(t-1)}}$,

et chacun de ces deux zéros obéit à une PVI. Ces PVI contiguës sont reliées par des transformations birationnelles comme indiqué dans [Éq. (4.4)].

En appliquant la confluence pour obtenir les paires de Lax matricielles des Pn inférieures, il est judicieux de préserver deux propriétés : (i) la symétrie entre $t$ et $u$ remarquée par Garnier [p. 51], en exigeant que $M_{12}$ reste proportionnel à $t-u$, (ii) l'inversibilité de $M_{\infty }$ sous une condition de non-nullité. Les paires matricielles holomorphes en tous les $\theta _{j}$ sont alors les suivantes

${\begin{aligned}&PV\left\lbrace {\begin{array}{ll}\displaystyle {L=-{\frac {M_{1}}{t-1}}-{\frac {u-1}{x}}M_{\infty },M=-{\frac {M_{\infty }}{t-1}}+{\frac {xM_{1}}{(t-1)^{2}}}+\left({\frac {1}{t}}-{\frac {1}{t-1}}\right)M_{0},M_{\infty }={\frac {1}{2}}{\begin{pmatrix}0&-2\\-\alpha &0\end{pmatrix}},M_{12}={\frac {t-u}{t(t-1)}},}\\\displaystyle {M_{0}={\frac {1}{4u(u-1)^{2}}}{\begin{pmatrix}-2u(u-1)r_{5}&4u^{2}(u-1)^{2}\\-r_{5}^{2}-2\beta (u-1)^{2}&2u(u-1)r_{5}\end{pmatrix}},M_{1}=2d{\begin{pmatrix}1&0\\0&-1\end{pmatrix}}+{\frac {dr_{5}+(\gamma -d)(u-1)}{2(u-1)^{2}}}{\begin{pmatrix}0&0\\1&0\end{pmatrix}},}\\\displaystyle {r_{5}=x(u'-du),-4\det M_{\infty }=2\alpha ,-4\det M_{0}=-2\beta ,-4\det M_{1}=-2\delta =d^{2};}\end{array}}\right.\end{aligned}}$

${\begin{aligned}&PIII\left\lbrace {\begin{array}{ll}\displaystyle {L=-{\frac {L_{0}}{t}}-{\frac {u}{x}}M_{\infty },M={\frac {xL_{0}}{t^{2}}}+{\frac {M_{0}}{t}}-M_{\infty },M_{\infty }={\frac {1}{8}}{\begin{pmatrix}0&-4\\-\gamma &0\end{pmatrix}},M_{12}={\frac {t-u}{2t}},}\\\displaystyle {M_{0}={\frac {2r_{3}}{4u}}{\begin{pmatrix}1&0\\0&-1\end{pmatrix}}-{\frac {u}{2}}{\begin{pmatrix}0&1\\0&0\end{pmatrix}}+{\frac {\gamma u+2\alpha }{8}}{\begin{pmatrix}0&0\\1&0\end{pmatrix}},L_{0}=-{\frac {d}{4}}{\begin{pmatrix}1&0\\0&-1\end{pmatrix}}+{\frac {-2dr_{3}+(\beta +2d)u}{4u^{2}}}{\begin{pmatrix}0&0\\1&0\end{pmatrix}},}\\\displaystyle {r_{3}=xu'+{\frac {d}{2}}x,-4\det M_{\infty }={\frac {\gamma }{4}},-4\det L_{0}=-{\frac {\delta }{2}}={\frac {d^{2}}{4}};}\end{array}}\right.\end{aligned}}$

${\begin{aligned}&PIV'\left\lbrace {\begin{array}{ll}\displaystyle {L=2(t+u)M_{\infty }+2M_{0},M=tM_{\infty }+M_{0}+{\frac {M_{-1}}{t}},M_{\infty }={\frac {1}{4}}{\begin{pmatrix}-c&0\\2\delta &c\end{pmatrix}},M_{12}={\frac {t-u}{2t}},}\\\displaystyle {M_{0}={\frac {1}{4}}{\begin{pmatrix}-2cx&2\\cr_{4}+2\delta (u+2x)-2(\alpha +c)&2cx\end{pmatrix}},M_{-1}={\frac {1}{8u}}{\begin{pmatrix}2ur_{4}&-4u^{2}\\r_{4}^{2}+2\beta &-2ur_{4}\end{pmatrix}},}\\\displaystyle {r_{4}=u'+cu^{2}+2cxu,-4\det M_{\infty }={\frac {\gamma }{4}}={\frac {c^{2}}{4}},-4\det M_{-1}=-{\frac {\beta }{2}};}\end{array}}\right.\end{aligned}}$

${\begin{aligned}&PII'\left\lbrace {\begin{array}{ll}\displaystyle {L={\frac {t+u}{2}}M_{\infty }+{\frac {M_{1}}{2}},M=t^{2}M_{\infty }+tM_{1}+M_{0},M_{\infty }={\begin{pmatrix}-d&0\\2\gamma &d\end{pmatrix}},M_{12}=2(t-u),}\\\displaystyle {M_{1}={\begin{pmatrix}0&2\\dr_{2}+{\frac {\beta }{2}}+2\gamma u&0\end{pmatrix}},M_{0}={\begin{pmatrix}u'+du^{2}&-2u\\d(2ur_{2}+1/2)+\alpha +\beta u/2+\gamma (2u^{2}+x)&2-(u'+du^{2})\end{pmatrix}},}\\\displaystyle {r_{2}=u'+d\left(u^{2}+{\frac {x}{2}}\right),-4\det M_{\infty }=4\delta =4d^{2}.}\end{array}}\right.\end{aligned}}$

Paires diagonalement symétriques

Symétriques par rapport à la diagonale, elles sont méromorphes en $\theta _{\infty }$. En effet, si $\theta _{\infty }$ est nul, la matrice $M_{\infty }$ est du type de Jordan non-diagonalisable. Si $\theta _{\infty }$ n'est pas nul, la matrice de passage $P_{2}P_{3}$

$P_{2}={\begin{pmatrix}2&2\\a-\theta _{\infty }&a+\theta _{\infty }\end{pmatrix}},P_{3}={\begin{pmatrix}g^{-1/2}&0\\0&g^{1/2}\end{pmatrix}},{\frac {g'}{g}}=\theta _{\infty }{\frac {u-x}{x(x-1)}},$

engendre la deuxième forme canonique, affine en deux $\theta _{j}^{2}$ et quadratique en les deux autres $\theta _{j}$

${\begin{aligned}&\left\lbrace {\begin{array}{ll}\displaystyle {\theta _{\infty }\not =0:\ L=-{\frac {M_{x}}{t-x}},M={\frac {M_{0}}{t}}+{\frac {M_{1}}{t-1}}+{\frac {M_{x}}{t-x}},M_{\infty }+M_{0}+M_{1}+M_{x}=0,M_{\infty }={\frac {1}{2}}{\begin{pmatrix}\theta _{\infty }&0\\0&-\theta _{\infty }\end{pmatrix}},}\\\displaystyle {M_{0,11}=\ \ {\frac {u-1}{N}}\left[\left(e-\Theta _{x}u(u-x)\right)^{2}-(u-x)^{2}(\theta _{0}^{2}+\theta _{\infty }^{2}u^{2})\right],}\\\displaystyle {M_{0,12}=\ \ {\frac {u-1}{N}}\left[\left(e-(\Theta _{x}+\theta _{\infty })u(u-x)\right)^{2}-(u-x)^{2}\theta _{0}^{2}\right]g,}\\\displaystyle {M_{0,21}=-{\frac {u-1}{N}}\left[\left(e-(\Theta _{x}-\theta _{\infty })u(u-x)\right)^{2}-(u-x)^{2}\theta _{0}^{2}\right]g^{-1},}\\\displaystyle {M_{1,11}=-{\frac {u}{N}}\left[\left(e-\Theta _{x}(u-1)(u-x)\right)^{2}-(u-x)^{2}(\theta _{1}^{2}+\theta _{\infty }^{2}(u-1)^{2})\right],}\\\displaystyle {M_{1,12}=-{\frac {u}{N}}\left[\left(e-(\Theta _{x}+\theta _{\infty })(u-1)(u-x)\right)^{2}-(u-x)^{2}\theta _{1}^{2}\right]g,}\\\displaystyle {M_{1,21}=\ \ {\frac {u}{N}}\left[\left(e-(\Theta _{x}-\theta _{\infty })(u-1)(u-x)\right)^{2}-(u-x)^{2}\theta _{1}^{2}\right]g^{-1},}\\\displaystyle {M_{x,11}=\ \ {\frac {1}{N}}\left[e^{2}-(u-x)^{2}\left[(\theta _{\infty }^{2}+\Theta _{x}^{2})u(u-1)-\theta _{0}^{2}(u-1)+\theta _{1}^{2}u)\right]\right],}\\\displaystyle {M_{x,12}=\ \ {\frac {1}{N}}\left[e^{2}-(u-x)^{2}\left[(\Theta _{x}+\theta _{\infty })^{2})u(u-1)-\theta _{0}^{2}(u-1)+\theta _{1}^{2}u)\right]\right]g,}\\\displaystyle {M_{x,21}=-{\frac {1}{N}}\left[e^{2}-(u-x)^{2}\left[(\Theta _{x}-\theta _{\infty })^{2})u(u-1)-\theta _{0}^{2}(u-1)+\theta _{1}^{2}u)\right]\right]g^{-1},}\\\displaystyle {-4\det M_{j}=\theta _{j}^{2},j=\infty ,0,1;-4\det M_{x}=\Theta _{x}^{2},\Theta _{x}^{2}=(\theta _{x}-1)^{2},}\end{array}}\right.\end{aligned}}$

avec la notation

${\frac {g'}{g}}=\theta _{\infty }{\frac {u-x}{x(x-1)}},e=x(x-1)u'+\Theta _{x}u(u-1),N=4\theta _{\infty }u(u-1)(u-x)^{2}.$

Cette paire présente une symétrie par rapport à la diagonale, cf. [Éq.~(4.4)],

$M_{12}(\theta _{\infty })=M_{21}(-\theta _{\infty })$.

Historiquement, afin de respecter la propriété $\det M_{j}=$ constante établie par Schlesinger, Jimbo et Miwa avaient choisi la représentation [Éq. (C.47)] [Éq. (3.6)]

${\begin{aligned}&M_{\infty }={\frac {1}{2}}{\begin{pmatrix}a_{\infty }&0\\0&-a_{\infty }\end{pmatrix}},M_{j}={\frac {1}{2}}{\begin{pmatrix}z_{j}&(\theta _{j}-z_{j})u_{j}\\(\theta _{j}+z_{j})/u_{j}&-z_{j}\end{pmatrix}},j=0,1,x.\end{aligned}}$

qui définit quatre fonctions $z_{0},z_{1},u_{0},u_{1}$ de trois variables $x,u,u'$, à déterminer par la condition de courbure nulle. Une conséquence en est un dénominateur $\theta _{\infty }-1$, lire les détails [Table 1]. L'avantage décisif des surfaces de Bonnet est de contourner cette difficulté, et la structure de leurs résidus

$M_{\infty }={\frac {1}{2}}{\begin{pmatrix}\theta _{\infty }&0\\0&-\theta _{\infty }\end{pmatrix}},M_{j}={\frac {f_{j}}{\theta _{\infty }}}{\begin{pmatrix}P_{j,11}&P_{j,12}g\\-P_{j,21}g^{-1}&-P_{j,11}\end{pmatrix}},j=0,1,x,$

implique deux fonctions rationnelles $f_{j}(x,u)$ et six polynômes moniques $P_{j,mn}$ de degré deux en $x(x-1)u'$ à coefficients polynomiaux en $(x,u)$.

Les paires de Lax diagonalement symétriques des Pn inférieures s'obtiennent ou bien par action de la confluence sur celle de PVI, ou bien par action de la matrice de passage dénotée $P$ dans la première ligne de chacune des entrées ci-dessous. Elles ont une dépendance méromorphe dans l'un des quatre paramètres. Pour PIV' et PII', $M_{\infty }$ n'est plus diagonal et tous les éléments sont rationnels.

${\begin{aligned}&PV\left\lbrace {\begin{array}{ll}\displaystyle {\alpha ={\frac {\theta _{\infty }^{2}}{2}}\not =0:P={\begin{pmatrix}2&2\\a-\theta _{\infty }&a+\theta _{\infty }\end{pmatrix}}{\begin{pmatrix}g^{-1/2}&0\\0&g^{1/2}\end{pmatrix}},}\\\displaystyle {L=-{\frac {M_{1}}{t-1}},M=-{\frac {M_{\infty }}{t-1}}+{\frac {xM_{1}}{(t-1)^{2}}}+\left({\frac {1}{t}}-{\frac {1}{t-1}}\right)M_{0},M_{\infty }={\frac {\theta _{\infty }}{2}}{\begin{pmatrix}1&0\\0&-1\end{pmatrix}},}\\\displaystyle {M_{0}={\frac {r_{5}^{2}+2\beta u^{2}(u-1)^{2}}{4\theta _{\infty }u(u-1)^{2}}}{\begin{pmatrix}1&g\\-1/g&-1\end{pmatrix}}-{\frac {r_{5}}{2(u-1)}}{\begin{pmatrix}0&g\\1/g&0\end{pmatrix}}+{\frac {\theta _{\infty }u}{4}}{\begin{pmatrix}-1&g\\-1/g&1\end{pmatrix}},}\\\displaystyle {M_{1}={\frac {1}{2\theta _{\infty }(u-1)^{2}}}\left[-dr_{5}-(\gamma -d)(u-1)\right]{\begin{pmatrix}1&-g\\1/g&-1\end{pmatrix}}+{\frac {d}{2}}{\begin{pmatrix}0&g\\1/g&0\end{pmatrix}},}\\\displaystyle {r_{5}=x(u'-du),{\frac {g'}{g}}=\theta _{\infty }{\frac {u-1}{x}},\delta =-{\frac {d^{2}}{2}},}\\\displaystyle {-4\det M_{\infty }=2\alpha =\theta _{\infty }^{2},-4\det M_{0}=-2\beta ,-4\det M_{1}=d^{2};}\end{array}}\right.\end{aligned}}$

${\begin{aligned}&PIII\left\lbrace {\begin{array}{ll}\displaystyle {\gamma =c^{2}\not =0:\ P={\begin{pmatrix}2&2\\-c&c\end{pmatrix}}{\begin{pmatrix}g^{-1/2}&0\\0&g^{1/2}\end{pmatrix}},}\\\displaystyle {L=-{\frac {L_{0}}{t}},M={\frac {xL_{0}}{t^{2}}}+{\frac {M_{0}}{t}}-M_{\infty },M_{\infty }={\frac {c}{4}}{\begin{pmatrix}1&0\\0&-1\end{pmatrix}},}\\\displaystyle {L_{0}={\frac {2dr_{3}-(\beta +2d)u}{4cu^{2}}}{\begin{pmatrix}1&g\\-1/g&-1\end{pmatrix}}-{\frac {d}{4}}{\begin{pmatrix}0&g\\1/g&0\end{pmatrix}},}\\\displaystyle {M_{0}={\frac {r_{3}}{2u}}{\begin{pmatrix}0&g\\1/g&0\end{pmatrix}}-{\frac {\alpha }{4c}}{\begin{pmatrix}1&g\\-1/g&-1\end{pmatrix}}-{\frac {cu}{4}}{\begin{pmatrix}0&g\\-1/g&0\end{pmatrix}},}\\\displaystyle {r_{3}=xu'+{\frac {d}{2}}x,{\frac {g'}{g}}=c{\frac {u}{2x}},\gamma =c^{2},\delta =-d^{2},}\\\displaystyle {-4\det M_{\infty }=c^{2}/4,-4\det L_{0}=d^{2}/4;}\end{array}}\right.\end{aligned}}$

${\begin{aligned}&PIV'\left\lbrace {\begin{array}{ll}\displaystyle {\gamma =c^{2}\not =0:\ P={\begin{pmatrix}2&2\\c&-c\end{pmatrix}},}\\\displaystyle {L=2(t+u)M_{\infty }+2M_{0},M=tM_{\infty }+M_{0}+{\frac {M_{-1}}{t}},M_{\infty }={\frac {1}{4c}}{\begin{pmatrix}2\delta &2\delta -c^{2}\\-2\delta -c^{2}&-2\delta \end{pmatrix}},}\\\displaystyle {M_{-1}={\frac {r_{4}^{2}+2\beta }{8cu}}{\begin{pmatrix}1&1\\-1&-1\end{pmatrix}}+{\frac {r_{4}}{4}}{\begin{pmatrix}0&1\\1&0\end{pmatrix}}-{\frac {cu}{8}}{\begin{pmatrix}1&-1\\1&-1\end{pmatrix}},}\\\displaystyle {M_{0}={\frac {cr_{4}+2\delta (u+2x)-2\alpha +2c}{4c}}{\begin{pmatrix}1&1\\-1&-1\end{pmatrix}}-{\frac {cx}{2}}{\begin{pmatrix}0&1\\1&0\end{pmatrix}}+{\frac {c}{8}}{\begin{pmatrix}1&-1\\1&-1\end{pmatrix}},}\\\displaystyle {r_{4}=u'+cu^{2}+2cxu,\gamma =c^{2},-4\det M_{\infty }={\frac {c^{2}}{4}},-4\det M_{-1}=-{\frac {\beta }{2}};}\end{array}}\right.\end{aligned}}$

${\begin{aligned}&PII'\left\lbrace {\begin{array}{ll}\displaystyle {\delta =d^{2}\not =0:P={\begin{pmatrix}2&2\\d&-d\end{pmatrix}},}\\\displaystyle {L={\frac {t+u}{2}}M_{\infty }+{\frac {M_{1}}{2}},M=t^{2}M_{\infty }+tM_{1}+M_{0},M_{\infty }={\frac {1}{d}}{\begin{pmatrix}2\gamma &2\gamma -d^{2}\\-2\gamma -d^{2}&-2\gamma \end{pmatrix}},}\\\displaystyle {M_{1}=-{\frac {d}{2}}{\begin{pmatrix}1&-1\\1&-1\end{pmatrix}}+{\frac {2dr_{2}+4\gamma u+\beta }{2d}}{\begin{pmatrix}1&1\\-1&-1\end{pmatrix}},}\\\displaystyle {M_{0}=-{\frac {du}{2}}{\begin{pmatrix}1&-1\\1&-1\end{pmatrix}}+{\frac {2dur_{2}+4\gamma u^{2}+\beta u+2\gamma x+2\alpha +d}{2d}}{\begin{pmatrix}1&1\\-1&-1\end{pmatrix}}+{\frac {2r_{2}-dx}{2}}{\begin{pmatrix}0&1\\1&0\end{pmatrix}},}\\\displaystyle {r_{2}=u'+d\left(u^{2}+{\frac {x}{2}}\right),-4\det M_{\infty }=4\delta =4d^{2}.}\end{array}}\right.\end{aligned}}$

Relation avec les fonctions tau

Étant donné une paire de Lax matricielle d'ordre deux en coordonnées rationnelles à quatre points singuliers fuchsiens de résidus $M_{j}$ (telle la méromorphe ou la symétrique ci-dessus), la forme différentielle [Éq. (C.57)]

$\omega ={\frac {1}{2}}\sum _{\mu =0,1,x}\sum _{\nu =0,1,x}(1-\delta _{\mu ,\nu }){\rm {tr}}(M_{\mu }M_{\nu })\mathrm {d} \log(a_{\mu }-a_{\nu }),\{a_{\mu }\}=\{0,1,x\},$

est fermée [p. 45], elle admet donc une primitive $f(u',u,x)$

$\omega =\mathrm {d} f,f={\rm {tr}}\left(\left({\frac {M_{0}}{x}}+{\frac {M_{1}}{x-1}}\right)M_{x}\right),$

qui se trouve être égale à la dérivée logarithmique de la fonction tau de Chazy (un seul zéro mobile simple quels que soient les paramètres $\theta _{j}$),

$f={\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {C}},j}$.

Pour chacune des deux paires de PVI écrites ci-dessus (la méromorphe et la symétrique), cette fonction tau est $\tau _{{\rm {VI}},{\rm {C}},x}$ (le choix de Malmquist)

$f={\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {C}},x}+{\frac {\theta _{\infty }^{2}-(\theta _{x}-1)^{2}}{8}}\left({\frac {1}{x}}+{\frac {1}{x-1}}\right)-{\frac {\theta _{0}^{2}-\theta _{1}^{2}}{8}}\left({\frac {1}{x}}-{\frac {1}{x-1}}\right),$

alors que pour la paire de Jimbo et Miwa [Éq. (3.6)] c'est $\tau _{{\rm {VI}},{\rm {C}},\infty }$ (le choix de Chazy [expression $t$ p. 341])

$f={\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{{\rm {VI}},{\rm {C}},\infty }+{\frac {(\theta _{\infty }-1)^{2}-\theta _{x}^{2}}{8}}\left({\frac {1}{x}}+{\frac {1}{x-1}}\right)-{\frac {\theta _{0}^{2}-\theta _{1}^{2}}{8}}\left({\frac {1}{x}}-{\frac {1}{x-1}}\right).$

Courbe spectrale

Les deux paires de Lax de PVI susmentionnées définissent la même courbe spectrale $\det(M-\mu )=0$

${\begin{aligned}&\left(2t(t-1)(t-x)\mu \right)^{2}-{\frac {t(t-1)(t-x)}{u(u-1)(u-x)}}\left(x(x-1)u'\right)^{2}+t(t-1)(t-x)(t-u)\\&\qquad \times \left\lbrack -\theta _{\infty }^{2}+\theta _{0}^{2}{\frac {x}{tu}}-\theta _{1}^{2}{\frac {x-1}{(t-1)(u-1)}}+(1-\theta _{x})^{2}{\frac {x(x-1)}{(t-x)(u-x)}}\right\rbrack =0,\end{aligned}}$

dont le genre dans le plan $(t,\mu )$ est génériquement un. La condition d'avoir pour genre zéro (racine double $t$ pour $\mu =0$), qui ne peut donc être vérifiée que par des solutions classiques, n'a à notre connaissance jamais été résolue. Une de ses solutions $u={\sqrt {x}},\theta _{j}=(\lambda _{1},\lambda _{1},\lambda _{2},\lambda _{2}){\hbox{ and }}\lambda _{1}^{2}=\left(\lambda _{2}+1/2\right)^{2},$ est un cas particulier de la solution de PVI $u={\sqrt {x}},\theta _{j}=(\lambda _{1},\lambda _{1},\lambda _{2},\lambda _{2})$ avec $\lambda _{1},\lambda _{2}$ arbitraires.

Quant à la courbe spectrale définie par la paire de Lax de Jimbo and Miwa de trace nulle [Éq. (3.6)], elle ne diffère de la précédente que par la permutation des points $\infty$ et $x$.

Paires matricielles en coordonnées elliptiques

En coordonnées elliptiques $(U,X,T)$, il en existe au moins deux pour PVI.

La matrice $M$ de la première présente quatre singularités fuchsiennes dans le parallélogramme des périodes du paramètre spectral $T$. Elle est affine en les quatre $\theta _{j}$ et ne dépend que d'une grandeur sans dimension $\varphi$ [Éq. (A.10)], fonction des deux variables également sans dimension $U,T$ et d'une des quatre demi-périodes $\omega _{j}$

$\varphi (U+\omega _{j}/(2\omega ),T)=2\omega {\frac {\sigma (2\omega U+\omega _{j}+2\omega T,g_{2},g_{3})}{\sigma (2\omega U+\omega _{j},g_{2},g_{3})\sigma (2\omega T,g_{2},g_{3})}}e^{\displaystyle {-2\eta (2\omega U+\omega _{j})T+n_{j}T}},$

$n_{j}$ désignant un multiple entier de $i\pi$ caractérisé par la propriété

$n_{j}=2(\eta \omega _{j}-\eta _{j}\omega ),\mathrm {d} {\frac {\omega _{j}}{2\omega }}=-{\frac {n_{j}}{2\pi ^{2}}}\mathrm {d} X$

(avec la notation classique $\eta _{j}=\zeta (\omega _{j}),\eta =\zeta (\omega )$).

Une telle fonction $\varphi$ est classiquement appelée [p. 462] fonction elliptique de deuxième espèce de $U$ (resp. $T$) (non-doublement périodique, mais multipliée par l'exponentielle d'une fonction affine de $U$ (resp. $T$) par addition d'une période).

En notant $\varphi '$ la dérivée de $\varphi$ par rapport à son premier argument, cette paire de Lax s'écrit

${\begin{aligned}&\mathrm {d} \Psi =L\Psi \mathrm {d} X+M\Psi \mathrm {d} T,\\&L={\frac {1}{(2\pi )^{2}}}\sum _{j=\infty ,0,1,x}\theta _{j}{\begin{pmatrix}0&\varphi '(U+\omega _{j}/(2\omega ),T)\\\varphi '(-U+\omega _{j}/(2\omega ),T)&0\end{pmatrix}},\\&M=-{\frac {1}{2}}\sum _{j=\infty ,0,1,x}\theta _{j}{\begin{pmatrix}0&\varphi (U+\omega _{j}/(2\omega ),T)\\\varphi (-U+\omega _{j}/(2\omega ),T)&0\end{pmatrix}}+\pi ^{2}{\begin{pmatrix}1&0\\0&-1\end{pmatrix}}{\frac {\mathrm {d} U}{\mathrm {d} X}}.\end{aligned}}$

Sa conversion en coordonnées rationnelles [Éq. (55)] présente la symétrie entre le paramètre spectral $t$ et la variable dépendante $u$ signalée par Garnier.

La seconde paire de Lax de PVI [Éq. (76)] est simplement la conversion en coordonnées elliptiques de la paire en coordonnées rationnelles constituée d'une équation aux dérivées partielles (EDP) d'ordre un et d'une EDP d'ordre deux

${\begin{aligned}&\left\lbrace {\begin{array}{ll}\displaystyle {\left[2\pi ^{2}\partial _{X}-{\frac {1}{2}}G_{\rm {H}}(X)+{\frac {1}{2}}\partial _{T}^{2}-{\frac {1}{2}}(2\omega )^{2}\sum _{j=\infty ,0,1,x}\left(\theta _{j}^{2}-{\frac {1}{4}}\right)\wp (2\omega T+\omega _{j})\right]\Psi _{\rm {H}}=0,G_{\rm {H}}{\hbox{ fonction arbitraire}},}\\\displaystyle {\left\lbrack \pi ^{2}\partial _{X}+\omega \left\lbrack {\frac {1}{2}}{\frac {\wp '(2\omega T)}{\wp (2\omega T)-\wp (2\omega U)}}+\zeta (2\omega T)-2\eta T\right\rbrack \partial _{T}+f(2\omega T,2\omega U)\right\rbrack \Psi _{\rm {H}}=0,}\end{array}}\right.\end{aligned}}$

où $f(2\omega T,2\omega U)$ désigne une expression trop longue pour être reproduite ici.

La réduction $\partial _{X}=0$ de la remarquable EDP parabolique ci-dessus est identique à l'EDO introduite par Darboux [livre III chap. XII section 284 note 1], [livre IV chap. IX section 415 Éq. (58)],

$\left[{\frac {\mathrm {d} ^{2}}{\mathrm {d} T^{2}}}-\lambda -(2\omega )^{2}\sum _{j=\infty ,0,1,x}n_{j}(n_{j}+1)\wp (2\omega T+\omega _{j})\right]\Psi =0,$

admettant pour schéma de Riemann

$P{\begin{pmatrix}0&\omega _{1}&\omega _{2}&\omega _{3}&\\n_{\infty }&n_{0}&n_{1}&n_{x}&2\omega T;h\\-n_{\infty }-1&-n_{0}-1&-n_{1}-1&-n_{x}-1&\end{pmatrix}},$

une EDO intégrée pour $\lambda$ (le "paramètre accessoire") complexe quelconque et pour des $n_{j}$ entiers quelconques par de Sparre en termes de fonctions elliptiques de deuxième espèce.

Puisque cette EDO de Darboux est identique à l'équation de Heun par le passage des coordonnées elliptiques aux coordonnées rationnelles, on en conclut que la réduction $\partial _{x}=0$ de l'EDP parabolique n'est pas différente de l'équation de Heun, définie par

${\begin{aligned}&{\frac {\mathrm {d} ^{2}\psi }{\mathrm {d} t^{2}}}+\left({\frac {\gamma }{t}}+{\frac {\delta }{t-1}}+{\frac {\varepsilon }{t-x}}+\right){\frac {\mathrm {d} \psi }{\mathrm {d} t}}+{\frac {\alpha \beta t-q}{t(t-1)(t-x)}}\psi =0,\end{aligned}}$

et dont le schéma de Riemann est

$P{\begin{pmatrix}\infty &0&1&x&\\\alpha &0&0&0&t;q\\\beta &1-\gamma &1-\delta &1-\varepsilon &\end{pmatrix}},$

avec la correspondance de notation

${\begin{aligned}&t={\frac {\wp (2\omega T)-e_{1}}{e_{2}-e_{1}}},x={\frac {e_{1}-e_{3}}{e_{2}-e_{3}}},q={\frac {\lambda }{4}}{\frac {e_{1}-e_{3}}{e_{2}-e_{3}}},\\&2\alpha =n_{0}+n_{1}+n_{x}+n_{\infty }+4,2\beta =n_{0}+n_{1}+n_{x}-n_{\infty }+3,2\gamma =2n_{0}+3,2\delta =2n_{1}+3,2\varepsilon =2n_{x}+3.\end{aligned}}$

La conversion de la paire de Zotov en coordonnées rationnelles n'a été effectuée qu'au niveau PVI [Éq. (76)], il serait utile d'en effectuer la confluence, tant en coordonnées elliptiques qu'en coordonnées rationnelles.

Paires scalaires en coordonnées rationnelles

Comme rappelé dans la section Historique, c'est Richard Fuchs qui a fini par découvrir PVI. Son résultat découle immédiatement de la paire matricielle. En effet, si l'on note $\psi _{j,{\rm {q}}}$ (q comme quadratique dans les $\theta _{j}$) les deux composantes de la paire de Lax holomorphe, après élimination de $\psi _{2,{\rm {q}}}$, la fonction d'onde scalaire

$\psi _{\rm {d}}={\sqrt {\frac {t(t-1)}{t-u}}}\psi _{1,{\rm {q}}},$

obéit à la paire de Lax scalaire de Fuchs

$\left(\partial _{t}^{2}+{\frac {S}{2}}\right)\psi _{\rm {d}}=0,\left(\partial _{x}+C\partial _{t}-{\frac {C_{t}}{2}}+g_{\rm {d}}(x,u,u')\right)\psi _{\rm {d}}=0,S_{x}+C_{ttt}+CS_{t}+2C_{t}S=0,$

où la fonction arbitraire $g_{\rm {d}}$, qui dépend de $x,u(x),u'(x)$ mais pas de $t$, va servir ci-après à annuler divers termes indépendants de $t$. Cette paire de Lax scalaire possède en effet une seule singularité apparente (ici $t=u$).

Le coefficient $C$ est indépendant des quatre $\theta _{j}$ et le coefficient $S$ (le schwarzien), qui a cinq pôles doubles en $t$ (d'où la notation $\psi _{\rm {d}}$), possède deux belles propriétés préservées par la confluence : (i) c'est une fonction affine des quatre $\theta _{j}^{2}$ (équivalents à $(\alpha ,\beta ,\gamma ,\delta )$); (ii) comme remarqué par Garnier [p. 51], il présente une remarquable symétrie entre $u$ et $t$, clairement mise en évidence par les potentiels $V_{n}$.

Les valeurs de $C$ pour PVI, PV, PIII, PIV', PII' sont

$C=-{\frac {t(t-1)(u-x)}{x(x-1)(t-u)}},-{\frac {t(t-1)(u-1)}{x(t-u)}},-{\frac {tu}{x(t-u)}},-{\frac {2t}{t-u}},-{\frac {1}{2(t-u)}},$

et celles de $S$ sont

${\begin{aligned}&{\frac {S}{2}}+{\frac {3/4}{(t-u)^{2}}}=\left\lbrace {\begin{array}{ll}\displaystyle {-{\frac {\beta _{1}u'+\beta _{0}}{t(t-1)(t-u)}}-{\frac {[(\beta _{1}u')^{2}-\beta _{0}^{2}](u-x)}{u(u-1)t(t-1)(t-x)}}+{\frac {1}{t(t-1)(t-x)}}\left[V_{\rm {VI}}(u,1)-V_{\rm {VI}}(t,1)\right],}\\\displaystyle {\quad \quad \quad \beta _{1}=-{\frac {x(x-1)}{2(u-x)}},\beta _{0}=-{\frac {u(u-1)}{2}}\left({\frac {1}{u}}+{\frac {1}{u-1}}\right),}\\\displaystyle {{\frac {xu'+(u-1)(2u-1)}{(u-1)t(t-1)(t-u)}}-{\frac {1}{4tu}}\left({\frac {xu'}{(t-1)(u-1)}}\right)^{2}+{\frac {x}{2t(t-1)^{2}}}\left(V_{\rm {V}}(u)-V_{\rm {V}}(t)\right)+{\frac {1}{4}}\left({\frac {1}{t}}+{\frac {1}{t-1}}\right)^{2},}\\\displaystyle {{\frac {xu'+u}{tu(t-u)}}-{\frac {1}{4}}\left({\frac {xu'}{tu}}\right)^{2}+{\frac {x}{t^{2}}}\left(V_{\rm {III}}(u)-V_{\rm {III}}(t)\right),}\\\displaystyle {{\frac {u'+2}{2t(t-u)}}-{\frac {{u'}^{2}}{16tu}}+{\frac {1}{4t^{2}}}+{\frac {1}{8t}}\left(V_{\rm {IV'}}(u)-V_{\rm {IV'}}(t)\right),}\\\displaystyle {{\frac {u'}{t-u}}-{u'}^{2}+2(V_{\rm {II'}}(u)-V_{\rm {II'}}(t)),}\end{array}}\right.\end{aligned}}$

où le potentiel $V_{\rm {VI}}$ est une version décalée du $V_{\rm {VI}}$ ci-dessus

${\begin{aligned}&V_{\rm {VI}}(z,s)={\frac {1}{4}}\left[-3z+(\theta _{\infty }^{2}-s)(z-x)+(\theta _{0}^{2}-s)\left({\frac {x}{z}}-1\right)+(\theta _{1}^{2}-s)\left(-{\frac {x-1}{z-1}}+1\right)+(\theta _{x}^{2}-s)\left({\frac {x(x-1)}{z-x}}+2x-1\right)\right].\end{aligned}}$

À cause de leur parité en les quatre $\theta _{j}$, ces paires scalaires ne dévoilent toutefois pas l'invariance par les groupes de Weyl.

Une fois écrite avec des pôles simples par le changement de la fonction d'onde

$\psi _{d}=t^{(1-\theta _{0})/2}(t-1)^{(1-\theta _{1})/2}(t-x)^{(1-\theta _{x})/2}(t-u)^{-1/2}\psi _{s},$

la paire ci-dessus pour PVI

${\begin{aligned}&\left[\partial _{t}^{2}+\left({\frac {1-\theta _{0}}{t}}+{\frac {1-\theta _{1}}{t-1}}+{\frac {1-\theta _{x}}{t-x}}-{\frac {1}{t-u}}\right)\partial _{t}+{\frac {1}{4u(u-1)(u-x)}}\left({\frac {R_{0}}{t}}+{\frac {R_{1}}{t-1}}+{\frac {R_{x}}{t-x}}+{\frac {2R_{u}}{t-u}}\right)\right]\psi _{s}=0,\\&\left[x(x-1)\partial _{x}-{\frac {t(t-1)(u-x)}{t-u}}\partial _{t}+x(x-1)g(x)+{\frac {R_{u}}{2(t-u)}}+{\frac {(\theta _{0}+\theta _{1}+\theta _{x}-1)(u-x)}{2}}\right]\psi _{s}=0,\end{aligned}}$

perd sa parité en les $\theta _{j}$ mais gagne une belle interprétation pour les résidus $R_{j}$ : $(u,R_{u})$ sont les coordonnées canoniques $(q,p)$ de l'hamiltonien défini par l'un quelconque des quatre résidus $-R_{j}/(4u(u-1)(u-x))$, $j=\infty ,0,1,x$, et par exemple $-R_{x}/(4u(u-1)(u-x))$ est égal à ${\frac {\mathrm {d} }{\mathrm {d} x}}\log \tau _{\rm {VI,C,x}}$ (détails).

En ce qui concerne le résidu du pôle $t=u$, $R_{u}\equiv x(x-1)u'+u(u-1)(u-x)\left({\frac {\theta _{0}}{u}}+{\frac {\theta _{1}}{u-1}}+{\frac {\theta _{x}-1}{u-x}}\right),$ sa nullité, accompagnée de la contrainte $(\theta _{0}+\theta _{1}+\theta _{x}-1)^{2}-\theta _{\infty }^{2}=0,$ définit la solution classique de Riccati à un paramètre de PVI [p. 317] en termes de la fonction hypergéométrique.

Paires scalaires en coordonnées elliptiques

Consulter (pour PVI) et [PI=(3.7), PII=(4.4), PIV=(5.6), PIII=(6.18), PV=(7.28)].

Correspondance quantique

En coordonnées rationnelles

Il existe une élimination du champ non-linéaire $u$ entre les deux équations de la paire de Lax scalaire pour $\psi _{s}$ qui conserve une dépendance linéaire envers le vecteur d'onde. Elle est réalisée par la combinaison linéaire qui élimine le pôle simple $t=u$. Le résultat est une EDP linéaire parabolique pour $\psi _{s}$ à coefficients rationnels en $x$ et $t$, quadratique en les $\theta _{j}$

${\begin{aligned}&\left[-x(x-1)\partial _{x}+t(t-1)(t-x)\left\lbrace \partial _{t}^{2}-\left({\frac {\theta _{0}-1}{t}}+{\frac {\theta _{1}-1}{t-1}}+{\frac {\theta _{x}}{t-x}}\right)\partial _{t}\right\rbrace +{\frac {(1-\theta _{0}-\theta _{1}-\theta _{x})^{2}-\theta _{\infty }^{2}}{4}}(t-x)-G(x)\right]\psi _{s}=0,\end{aligned}}$

avec $G(x)$ arbitraire, ou de manière équivalente une EDP canonique pour $\psi _{h}$ sans terme $\partial _{t}$

${\begin{aligned}&\psi _{\rm {d}}=(t-u)^{-1/2}(t-x)^{1/2}\psi _{\rm {h}},\\&\left\lbrack -x(x-1)\partial _{x}+t(t-1)(t-x)\partial _{t}^{2}-{\frac {3}{8}}x(x-1)\left({\frac {1}{x}}+{\frac {1}{x-1}}\right)\right.\\&\left.\qquad +{\frac {1}{4}}\left((\theta _{\infty }^{2}-1)\left({\frac {1}{2}}-t\right)+\theta _{0}^{2}\left({\frac {1}{2}}-{\frac {x}{t}}\right)+\theta _{1}^{2}\left(-{\frac {1}{2}}+{\frac {x-1}{t-1}}\right)+\theta _{x}^{2}\left({\frac {1}{2}}-x-{\frac {x(x-1)}{t-x}}\right)\right\rbrace \right\rbrack \psi _{h}=0,\end{aligned}}$

qui est alors affine en les quatre $\theta _{j}^{2}$. Dans le cas de Picard $\theta _{j}=0$, sa réduction $\partial _{x}=0,G(x)=0$ est identique à l'EDO linéaire classique de Legendre [tome I p. 62 sqq] [tome I p. 350 Éq. (30), p. 352 Éq. (35)] pour les périodes de la fonction elliptique,

$x(x-1){\frac {\mathrm {d} ^{2}\omega }{\mathrm {d} x^{2}}}+(2x-1){\frac {\mathrm {d} \omega }{\mathrm {d} x}}+{\frac {\omega }{4}}=0.$

Par la confluence partant de PVI jusqu'au niveau de l'équation elliptique, cette EDP devient l'équation usuelle de la chaleur

$(\partial _{x}+\partial _{t}^{2}+G(x))\psi _{h}=0$,

que vérifient les fonctions entières $\sigma$ de Weierstrass et $\theta _{j}$ de Jacobi, d'où son nom d'"équation de la chaleur généralisée". Bien évidemment, elle se rencontre en physique [Éq. (5.17)] et, pour des valeurs génériques des $\theta _{j}$, cette EDP n'admet aucune solution en termes des fonctions classiques.

Il existe une représentation de PVI par un hamiltonien classique ${\mathcal {h}}_{\rm {VI}}(q,p,x)$ avec $q=u$ (hamiltonien différent de celui de Malmquist), et il existe une quantification $q\to t$, $p\to \partial _{t}$, $h_{\rm {VI}}(q,p,x)\to {\mathcal {h}}_{\rm {VI}}(t,\partial _{t},x)$ permettant l'identification de l'équation de la chaleur généralisée et de l'équation de Schrödinger dépendant du temps de la mécanique quantique

$\left[x(x-1)(\partial _{x}+g_{\rm {h}}(x))-{\mathcal {h}}_{\rm {VI}}(t,\partial _{t},x)\right]\psi _{\rm {h}}=0,g_{\rm {h}}{\hbox{ arbitrarire}}.$

L'hamiltonien qui réalise cette "correspondance quantique" sans avoir à se soucier de l'ordre des opérateurs non-commutatifs n'est pas [section V] celui de Malmquist (égal à la dérivée logarithmique de la fonction tau $\tau _{{\rm {VI}},{\rm {C}},j}$ à un seul zéro simple), mais celui de Tsegel'nik, égal à la dérivée logarithmique de la fonction tau $\tau _{{\rm {VI}},{\rm {P}},j}$ à deux zéros simples.

En résumé, la correspondance quantique en coordonnées rationnelles

$\displaystyle {\left[\partial _{x}-{\mathcal {h}}_{\rm {VI,{\rm {P}},j}}(t,\partial _{t},x,\theta _{j}^{2}+s_{j})\right]\psi _{\rm {h}}=0,s_{j}=1,s_{k}=-1,k\not =j,}$

requiert une translation de $+1$ de $\theta _{j}^{2}$ et de $-1$ des trois autres $\theta _{k}^{2}$.

Si l'on note ${\mathcal {h}}_{{\rm {n}},{\rm {P}}}(q,p,x,\alpha ,\beta ,\gamma ,\delta )$ les hamiltoniens classiques des Pn affines en $(\alpha ,\beta ,\gamma ,\delta )$ [(C.10)-(C.13)], les équations de la chaleur généralisées des Pn sont (en omettant les fonctions arbitraires $g_{\rm {h}}(x)$)

$\forall n:\ \left[\partial _{x}-{\mathcal {H}}_{{\rm {n}},{\rm {P}}}(t,\partial _{t},x,\alpha +s_{\alpha },\beta +s_{\beta },\gamma +s_{\gamma },\delta +s_{\delta })\right]\psi _{\rm {h}}=0,$

où les translations $s_{*}$ des paramètres sont non-nuls seulement aux niveaux PVI et PV

${\begin{aligned}&(s_{\alpha },s_{\beta },s_{\gamma },s_{\delta })=\left\lbrace {\begin{array}{ll}\displaystyle {(1/2,1/2,-1/2,1/2),PVI}\\\displaystyle {(1/2,1/2,0,0),PV}\\\displaystyle {(0,0,0,0),PIII,PIV',PII'.}\end{array}}\right.\end{aligned}}$

Leurs expressions explicites sont [(C.10)-(C.13)]

${\begin{array}{l l}(PVI)&{\hbox{ci-dessus}}\\(PV)&\displaystyle \left[\partial _{x}+g_{h}(x)-{\mathcal {h}}_{{\rm {V}},{\rm {P}}}(t,\partial _{t},x,\alpha +1/2,\beta +1/2,\gamma ,\delta )\right]\psi _{h}=0,\\(PIII)&\displaystyle \left[\partial _{x}+g_{h}(x)-{\mathcal {h}}_{{\rm {III}},{\rm {P}}}(t,\partial _{t},x,\alpha ,\beta ,\gamma ,\delta )\right]\psi _{h}=0,\\(PIV')&\displaystyle \left[\partial _{x}+g_{h}(x)-{\mathcal {h}}_{{\rm {IV'}},{\rm {P}}}(t,\partial _{t},x,\alpha ,\beta ,\gamma ,\delta )\right]\psi _{h}=0,\\(PII')&\left[\partial _{x}+g_{h}(x)-{\mathcal {h}}_{{\rm {II'}},{\rm {P}}}(t,\partial _{t},x,\alpha ,\beta ,\gamma ,\delta )\right]\psi _{h}=0,\end{array}}$

et plus précisément

$(PV)\left\lbrack x\partial _{x}-t(t-1)^{2}\partial _{t}^{2}-t(t-1)\partial _{t}+{\frac {1}{4}}\left(2x\left\lbrack \alpha \left({\frac {t}{x}}-{\frac {1}{2x}}\right)+\beta \left(-{\frac {1}{tx}}+{\frac {1}{2x}}\right)+\gamma \left(-{\frac {t}{t-1}}+{\frac {1}{2}}\right)-\delta {\frac {xt}{(t-1)^{2}}}\right\rbrack -{\frac {1}{t}}\right)\right\rbrack \psi _{h}=0,$

$(PIII)\left\lbrack x\partial _{x}-t^{2}\partial _{t}^{2}-t\partial _{t}+\left({\frac {x}{16}}\left\lbrack 2\alpha {\frac {t}{x}}-2\beta {\frac {1}{t}}+\gamma {\frac {t^{2}}{x}}-\delta {\frac {x}{t^{2}}}\right\rbrack -{\frac {1}{4}}\right)\right\rbrack \psi _{h}=0,$

$(PIV')\left\lbrack \partial _{x}-2t\partial _{t}^{2}+\left({\frac {1}{4}}\left\lbrack -2t\alpha -\beta {\frac {1}{t}}+\gamma ({\frac {t^{3}}{2}}+2xt^{2}+2x^{2}t)+\delta (2t^{2}+4tx)\right\rbrack -{\frac {1}{2t}}\right)\right\rbrack \psi _{h}=0,$

$(PII')\left\lbrack \partial _{x}-{\frac {1}{2}}\partial _{t}^{2}+{\frac {1}{2}}\left\lbrack 2\alpha t+\beta t^{2}+\gamma (4t^{3}+2tx)+\delta (t^{4}+t^{2}x)\right\rbrack \right\rbrack \psi _{h}=0.$

En coordonnées elliptiques

En coordonnées elliptiques $(X,T)$, l'équation de la chaleur généralisée de PVI [Éq. (5.21)] [Éq. (76)]

$\left[2\pi ^{2}\partial _{X}-{\frac {1}{2}}G_{H}(X)+{\frac {1}{2}}\partial _{T}^{2}-{\frac {1}{2}}(2\omega )^{2}\sum _{j=\infty ,0,1,x}\left(\theta _{j}^{2}-{\frac {1}{4}}\right)\wp (2\omega T+\omega _{j})\right]\Psi _{H}=0,$

est bien sûr invariante de forme par permutation des $\theta _{j}^{2}$, et le décalage de $1/4$ s'explique simplement par l'identité $n_{j}(n_{j}+1)=(n_{j}+1/2)^{2}-1/4$.

Pour les Pn inférieures, consulter [PI=(3.7), PII=(4.4), PIV=(5.6), PIII=(6.18), PV=(7.28)].

Solutions classiques

Comme prouvé par Painlevé , pour des valeurs génériques des paramètres fixes des Pn, la dépendance de leur solution générale envers les deux constantes d'intégration est transcendante, c'est-à-dire non-algébrique.

A contrario, pour des valeurs non-génériques des paramètres fixes, certaines Pn peuvent admettre des solutions (alors qualifiées de classiques) dont cette dépendance est algébrique pour au moins une des deux constantes. Und définition très précise en a été donnée par Umemura.

L'exemple le plus simple étant $u=0$ pour la contrainte $\alpha =0$ de PII. Malgré son intégration par des fonctions elliptiques, le cas de Picard de PVI (quatre $\theta _{j}$ nuls) n'est pas une solution classique.

Les solutions classiques des huit Pn irréductibles sont toutes connues, seule PI n'en admet pas.

Étant donné une solution classique (appelons-la le germe), d'autres solutions classiques sont engendrées par l'application répétée, dans n'importe quel ordre, des homographies, de la transformation birationnelle élémentaire et des transformations non-birationnelles s'il en existe qui laissent la Pn invariante de forme, il suffit donc d'énumérer tous les germes.

Solutions classiques à un paramètre

Un premier ensemble dépend rationnellement d'une constante arbitraire, son germe est la solution de l'équation de Riccati définie en annulant les deux membres de la transformation birationnelle élémentaire.

Naturellement, la sous-équation de Riccati de PVI engendre par la coalescence toutes les sous-équations de Riccati inférieures. Toutes ces solutions obéissent à une EDO d'ordre un, de degré quelconque et de genre zéro, par construction linéarisable en, respectivement, l'équation hypergéométrique de Gauss, les équations de Whittaker, Bessel, Hermite, et Airy, rappelées ci-dessus.

Solutions classiques à zéro paramètre

Le deuxième ensemble ne dépend d'aucune constante. Si l'on exclut les solutions particulières des équations de Riccati, ces solutions sont algébriques (non-rationnelles) pour PVI, rationnelles en $x$ pour PV , $x^{1/2}$ pour PIII-D6 , $x^{1/3}$ pour PIII-D7 , $x^{1/2}$ pour PIII-D8 , $x^{2}$ pour PIV , $x^{3}$ pour PII .

Pour toutes ces Pn sauf PVI, il existe deux rationnels $(a,b)$ tels que le changement $(u,x)\to (U,X),(U=x^{a}u,X=x^{b})$ (qui est dans la classe d'équivalence de Pn) rend l'EDO pour $U(X)$ et sa solution $U(X)$ rationnelles en $X$, donc toutes ces solutions sauf pour PVI peuvent être qualifiées de rationnelles.

Exemple. Par suite de la symétrie ternaire, pour toute solution rationnelle de PII$(u,x)$, la variable $u/x^{2}$ est une fonction rationnelle de $x^{3}$.

Pour PII-PV, il existe une infinité dénombrable de solutions rationnelles, dont les contraintes entre exposants de monodromie sont les suivantes ($m,n$ entiers arbitraires)

${\begin{aligned}&\left\lbrace {\begin{array}{ll}\displaystyle {PII:\theta _{\infty }=n,}\\\displaystyle {PIV:2\theta _{\infty }=m,2\theta _{0}=2n-m+1,}\\\displaystyle {PIV:2\theta _{\infty }=m,2\theta _{0}=2n-m+1/3,}\\\displaystyle {PIII-D6(\gamma \delta \not =0):{\frac {\theta _{\infty }-\theta _{0}}{2}}=n,}\\\displaystyle {PIII-D7(\gamma =0,\alpha \delta \not =0):{\frac {\beta }{2{\sqrt {-\delta }}}}=n,}\\\displaystyle {PIII-D7(\delta =0,\beta \gamma \not =0):-{\frac {\alpha }{2{\sqrt {\gamma }}}}=n,}\\\displaystyle {PIII-D8(\gamma =\delta =0,\beta \gamma \not =0):{\hbox{ pas de contrainte}},}\\\displaystyle {PV(\delta \not =0):(\theta _{\infty }=n,\theta _{0}+\theta _{1}=m){\hbox{ ou }}(\theta _{0}=n,\theta _{\infty }+\theta _{1}=m),m+n{\hbox{ impair}},}\end{array}}\right.\end{aligned}}$

et dont les germes sont par exemple

${\begin{aligned}&\left\lbrace {\begin{array}{ll}\displaystyle {PII:u=0,n=0,}\\\displaystyle {PIV:u=-2x,\alpha =0,\beta =-2,m=0,n=0,}\\\displaystyle {PIV:u=-{\frac {2}{3}}x,\alpha =0,\beta =-{\frac {2}{9}},m=0,n=0,}\\\displaystyle {PIII-D6(\gamma \delta \not =0):u=z,z^{2}={\frac {d}{c}}x,n=0,}\\\displaystyle {PIII-D7(\gamma =0,\alpha \delta \not =0):u=kz^{2},z^{3}=x,k^{3}=-\delta /\alpha ,n=0,\beta =0,}\\\displaystyle {PIII-D7(\delta =0,\beta \gamma \not =0):u=kz,z^{3}=x,k^{3}=-\beta /\gamma ,n=0,\alpha =0,}\\\displaystyle {PIII-D8(\gamma =\delta =0,\beta \gamma \not =0):u=kz,z^{2}=x,k^{2}=-\beta /\alpha ,}\\\displaystyle {PV(\delta \not =0):u=-1,\alpha +\beta =0,\gamma =0.}\end{array}}\right.\end{aligned}}$

Parmi la double infinité (cas de PIV et PV), il existe une simple infinité de solutions de Riccati.

$\bullet$ Solutions rationnelles de PII'$(\alpha ,0,0,d^{2})$.

Le germe $u=0$ engendre la suite (notation $X=d^{2}x^{3}$)

$\left({\frac {\alpha }{d}},{\frac {u}{dx^{2}}}\right)=(0,0),\left(1,-{\frac {1}{X}}\right),\left(2,{\frac {1}{X}}-{\frac {3}{X+4}}\right),\left(3,{\frac {3}{X+4}}-{\frac {6(X+10)}{X^{2}+20X-80}}\right),\dots$

Les polynômes au numérateur et au dénominateur obéissent à une relation de récurrence, étudiée par Yablonskii et Vorobev.

$\bullet$ Solutions rationnelles de $PIV'(\alpha ,\beta ,c^{2},0)$.

De la suite doublement infinie ci-dessous, il convient d'exclure les éléments qui sont aussi solutions de l'équation de Riccati.

Notation $\alpha =2c\theta _{\infty },\beta =-8\theta _{0}^{2},\gamma =c^{2},\delta =0,X=cx^{2},c\not =0$.

${\begin{array}{| c | c | c | l | l || | c | c | c | l|}\hline \alpha /c=2\theta _{\infty }&\beta &2\theta _{0}&u/x-2&&\alpha /c=2\theta _{\infty }&9\beta &6\theta _{0}&u/x-2/3\\\hline 0&-2&1&0&&0&-2&1&0\\\hline 1&-8&2&-1/X&&1&-8&2&1/X\\\hline 2&-18&3&-4/(2X+1)&&2&-2&1&4/(2X+3)\\\hline 0&-18&3&-8/(4X^{2}-1)&&0&-50&5&24/(4X^{2}-9)\\\hline \end{array}}$

$\bullet$ Solutions rationnelles de PIII-D6$(\alpha ,\beta ,\gamma ,\delta )$.

Notation $\alpha =2c\theta _{\infty },\beta =-2d\theta _{0},\gamma =c^{2},\delta =0,X^{2}=cdx$, $k^{4}=1$.

${\begin{array}{| c | c | l|}\hline \alpha /c=2\theta _{\infty }&\beta /d=-2\theta _{0}&cu/X-k\\\hline 2k^{2}\theta _{0}&arb&0\\\hline 1&3k^{2}&-1/X\\\hline 2k^{2}(\theta _{0}+2)&arb&-2k^{2}/(2X-k+k^{3}\alpha /c)\\\hline -3k^{2}&-5&-k^{2}/(X+k)+3k^{2}/X\\\hline \end{array}}$

Davantage d'éléments se trouvent dans Murata [Table I p. 44].

$\bullet$ Solutions rationnelles de PIII-D7$(\alpha ,\beta ,0,\delta )$.

Notation $x=X^{3}/(d\alpha ),u=x^{-2/3}U/\alpha ,\delta =-d^{2}$.

$\left({\frac {\beta }{d}},U\right)=(0,1),\left(2,1-{\frac {2}{3}}X\right),\left(4,{\frac {9X^{2}-24X+20}{(3X-2)^{2}}}\right),\dots$

$\bullet$ Solutions rationnelles de PIII-D7$(\alpha ,\beta ,\gamma ,0)$.

Identiques à celles de PIII-D7$(\alpha ,\beta ,0,\delta )$ par la symétrie PIII$(u,x,\alpha ,\beta ,\gamma ,\delta )=$ PIII$(x/u,x,-\beta ,-\alpha ,-\gamma ,-\delta )$.

$\bullet$ Solutions rationnelles de PIII-D8$(\gamma =\delta =0,\beta \gamma \not =0)$. L'unique solution est le germe $u=kz,z^{2}=x,k^{2}=-\beta /\alpha$.

$\bullet$ Solutions rationnelles de PV$(\alpha ,\beta ,\gamma ,\delta \not =0)$.

Le cas $\delta =0$ est birationnellement équivalent à PIII, donc $\delta$ est supposé non-nul. Il existe trois ensembles de solutions rationnelles de degrés $0$, $1$, $-1$, dont les éléments dépendent de deux entiers arbitraires $\ell ,m$

${\begin{aligned}&\left\lbrace {\begin{array}{ll}\displaystyle {{\hbox{degré }}0:\ \theta _{\infty }+\theta _{0}=\ell ,\theta _{1}=m,\ell +m{\hbox{ impair}},}\\\displaystyle {{\hbox{degré }}0:\ \theta _{\infty }=\ell +1/2,\theta _{1}=m+1/2,}\\\displaystyle {{\hbox{degré }}\pm 1:\ \theta _{\infty }=\ell ,\theta _{0}+\theta _{1}=m,\ell +m{\hbox{ impair}},}\\\displaystyle {{\hbox{degré }}\pm 1:\ \theta _{0}=\ell ,\theta _{\infty }+\theta _{1}=m,\ell +m{\hbox{ impair}}.}\end{array}}\right.\end{aligned}}$

Par l'involution $(u,x,\theta _{\infty },\theta _{0},\theta _{1})\to (1/u,x,\theta _{0},\theta _{\infty },\theta _{1}),$ l'ensemble de degré zéro est invariant (numérateur et dénominateur sont permutés), et les deux autres ensembles sont permutés, donc seuls les deux premiers ensembles sont repris dans la Table ci-contre.

Notation $(2\alpha ,-2\beta ,\gamma ,-2\delta )=(\theta _{\infty }^{2},\theta _{0}^{2},-d\theta _{1},d^{2}).$.

${\begin{array}{| c | c | c | l |}\hline \theta _{\infty }&\theta _{0}&\theta _{1}&u(x)\\\hline &-\theta _{\infty }&0&-1\\\hline 1/2&1/2&&\displaystyle -{\frac {dx-2\theta _{1}}{dx+2\theta _{1}}}\\\hline &1-\theta _{\infty }&1&\displaystyle -{\frac {dx+4\theta _{0}}{dx+4\theta _{\infty }}}\\\hline &2-\theta _{\infty }&&\displaystyle -{\frac {(dx)^{2}+16(\theta _{\infty }-1)\theta _{0}}{(dx)^{2}+16(\theta _{0}-1)\theta _{\infty }}}\\\hline \hline 1&2-\theta _{1}&&-dx+\theta _{0}\\\hline &1&-\theta _{\infty }&\displaystyle {\frac {dx}{\theta _{\infty }}}+1\\\hline 2&3-\theta _{1}&&\displaystyle -{\frac {(dx)^{2}+(\theta _{1}-3)(2dx+\theta _{1}-2)}{dx+\theta _{1}-2}}\\\hline \hline \end{array}}$

$\bullet$ Solutions à zéro paramètre de PVI.

Modulo les homographies et les transformations birationnelles, toutes les solutions classiques à zéro paramètre mobile de PVI sont de l'un des trois types disjoints suivants :

(i) (genre zéro) les solutions de Riccati (hypergéométriques) particulières, parmi elles les algébriques qui sont alors caractérisées par l'appartenance des trois paramètres hypergéométriques à la table de Schwarz [Table p. 211];

(ii) (genre non borné) solutions algébriques du cas de Picard $\theta _{j}=(0,0,0,0)$ caractérisées par un rapport rationnel quelconque des deux périodes [p. 300];

(iii) (genres 0,1,2,3,7) quarante-huit solutions algébriques exceptionnelles réparties en trois sous-types disjoints [p. 233] :

(a) (genre zéro) trois qui dépendent d'au plus deux $\theta _{j}$ arbitraires;

(b) (genre zéro ou un) trente solutions avec des $\theta _{j}$ rationnels non-arbitraires, inéquivalentes par la transformation de repliement;

(c) (genres 0, 1, 2, 3, 7) quinze transformées de sept des trente par repliement(s).

La solution algébrique à nombre de branches minimal, $u={\sqrt {x}},\theta _{j}=(a,a,b,b)$, avec $a,b$ arbitraires, se présente naturellement dans l'étude des développements non-génériques de $u(x)$ autour des trois points critiques équivalents $\infty ,0,1$, elle semble avoir été mentionnée pour la première fois par Hitchin. Les autres solutions exceptionnelles sont dues à Dubrovin (III, IV et I32), Dubrovin et Mazzocco (I31 et I41), Kitaev (I21, O08, O10, I26), (LT33), Andreev et Kitaev (T06), et toutes les autres à Boalch .

Leur méthode d'obtention combine la théorie des groupes [p. 214] (sous-groupes finis de ${\hbox{SL}}_{2}(\mathbb {C} )$, groupes $A_{6}$, ${\hbox{PSL}}_{2}(\mathbb {F} _{7})$ et $\Delta _{237}$) et le développement asymptotique de $u(x)$ en $x=0$. Les quarante-cinq sans $\theta$ arbitraire sont associés à divers polyèdres : le tétraèdre, l'octaèdre et l'icosaèdre, donc aux cinq polyèdres réguliers tridimensionnels de Platon (cube, tétraèdre, octaèdre, dodécaèdre, icosaèdre). Afin de prouver que ce sont bien les seules, Lisovyy et Tykhyy ont considéré l'ensemble des invariants des matrices de monodromie $m_{j}$, qui sont contraints par une équation algébrique de degré trois (la "cubique de Fricke"), et résolu la condition diophantienne de finitude du nombre de branches de $u(x)$.

Soit $P(u,x)=0$ la courbe algébrique de la solution. Les homographies et les transformations birationnelles conservent le genre et le nombre de branches (degré de $P$ en $u$) de cette courbe mais pas forcément son degré, il convient donc d'abaisser ce degré (idéalement au nombre de branches) par application d'une homographie ou d'une transformation birationnelle. Puisque la transformation de Kitaev replie une solution $(\theta _{j})=(\lambda _{1},0,0,\lambda _{2})$ en une solution $(\theta _{j})=(\lambda _{1},\lambda _{1},\lambda _{2},\lambda _{2})$ en doublant (sauf pour le couple (O08, O07)) son nombre de branches, les solutions repliables sont toutes celles qui ont au moins deux $\theta _{j}$ nuls, modulo les homographies et les transformations birationnelles bien sûr.

Table des 3+30+15 solutions algébriques exceptionnelles de PVI inéquivalentes par transformation birationnelle et par homographie.

La liste est ordonnée par sous-type (3, 30, 15), puis par nombres de branches croissants. Les colonnes indiquent : numérotations de Boalch Tnn (tétraèdre) [Tables 1, 2], Onn (octaèdre) [Tables 3, 4], Inn (icosaèdre) [Tables 1, 2]) et de Lisovyy et Tykhyy [p. 155], genre, nombre de branches, couple (degré d'une courbe algébrique et $\theta _{j}$ associés), (optionnel) autre choix pertinent de ce couple (par homographie ou par transformation birationnelle). En dernière colonne, une succession de flèches "$=>$" indique qu'au moins le dernier élément a des $\theta$ égaux à $(\lambda _{1},\lambda _{1},\lambda _{2},\lambda _{2})$ et qu'il est donc repliable en $\theta =(2\lambda _{1},0,0,2\lambda _{2})$. Cinq des quinze éléments ont deux représentants $(\lambda _{1},\lambda _{1},\lambda _{2},\lambda _{2})$ mais un seul replié.

${\begin{array}{| c | c | r | r | r | c | l | l |}\hline {\text{B}}&{\text{LT}}&g&b&d&(\theta _{\infty },\theta _{0},\theta _{1},\theta _{x})&{\text{Autre choix}}\quad (d,\theta )&\\\hline \hline &II&0&2&2&(a,a,b,b)&&II=>u(u-1)=0\\\hline &III&0&3&3&(2a,1/3,a,a)&4,(1/3,2/3-2a,1/3-a,1/3-a)&{\text{cube}}\\\hline &IV&0&4&4&(3a,a,a,a)&6,(1/2,1/2-2a,1/2-2a,1/2-2a)&{\text{tétraèdre}}\\\hline &&&&&&&\\\hline I20&1&0&5&6&(1/3,2/5,1/5,1/3)&&\\\hline I21&2&0&5&5&(1/5,2/5,1/5,3/5)&\quad (1/5,0,0,2/5)&I21=>I28\\\hline O08&5&0&6&6&(1/4,1/3,3/4,1/3)&\quad (1/12,0,0,5/12)&O08=>O07\\\hline I23&6&0&6&8&(1/3,2/5,1/5,2/5)&&\\\hline I22&7&0&6&10&(2/3,1/5,2/5,1/5)&&\\\hline K&8&0&7&10&(3/7,2/7,2/7,2/7)&&\\\hline O09&10&0&8&10&(1/3,1/3,1/2,1/4)&&\\\hline I24&11&0&8&9&(1/5,1/2,1/5,2/5)&&\\\hline I25&12&0&8&10&(1/5,2/5,1/2,2/5)&&\\\hline I27&13&1&9&14&(1/3,2/5,2/5,2/5)&&\\\hline I26&14&1&9&15&(2/3,1/5,1/5,1/5)&&\\\hline I32&16&0&10&28&(1/5,0,0,0)&&I32=>I45=>I51\\\hline I31&17&0&10&24&(3/5,0,0,0)&&I31=>I44=>I50\\\hline I29&18&0&10&12&(1/3,1/3,1/3,1/5)&&\\\hline I30&19&0&10&16&(3/5,1/3,1/3,1/3)&&\\\hline I36&22&1&12&18&(3/5,1/3,1/3,1/5)&&\\\hline I34&23&1&12&18&(1/2,1/5,1/5,1/3)&&\\\hline I35&24&1&12&18&(1/2,2/5,2/5,1/3)&&\\\hline I33&25&0&12&14&(1/5,2/5,1/3,1/2)&&{\text{générique}}\\\hline I38&26&1&15&21&(2/5,1/3,1/3,1/3)&&{\text{Valentiner}}\\\hline I37&27&1&15&27&(4/5,1/3,1/3,1/3)&&{\text{Valentiner}}\\\hline I40&28&1&15&24&(1/3,3/5,3/5,2/3)&\quad (1/15,0,0,4/15)&I40=>I48\\\hline I39&29&1&15&18&(1/5,1/3,1/3,4/5)&\quad (7/15,0,0,2/15)&I39=>I47\\\hline I41&31&1&18&24&(2/3,1/3,1/3,1/3)&\quad (1/3,0,0,0)&I41=>I49=>I52{\text{(dodécaèdre)}}\\\hline 237&32&1&18&30&(2/3,4/7,4/7,4/7)&&\\\hline 237&33&1&18&30&(1/7,1/3,1/7,1/7)&&\\\hline 237&34&1&18&30&(2/3,2/7,2/7,2/7)&&\\\hline I43&37&1&20&32&(3/5,1/3,1/3,1/2)&&\\\hline I42&38&1&20&24&(1/5,1/3,1/3,1/2)&&\\\hline I46&39&1&24&36&(1/2,1/3,1/3,1/3)&&{\text{Valentiner}}\\\hline \hline &&&&&&&\\\hline 007&4&0&6&8&(1/3,1/2,1/4,1/2)&6,(1/24,1/24,5/24,5/24)&O08=>O07\\\hline T06&3&0&6&7&(1/2,1/2,1/3,1/3)&&III(a=1/3)=>T06\\\hline O10&9&0&8&10&(1/2,1/2,1/4,1/4)&8,(0,1/4,1/4,0)&IV(a=1/4)=>O10=>O13\\\hline O13&30&0&16&24&(1/4,1/2,1/2,1/2)&\quad (1/8,1/8,1/8,1/8)&IV(a=1/4)=>O10=>O13\\\hline I28&15&0&10&14&(2/5,1/2,1/5,1/2)&\quad (1/10,1/10,1/5,1/5)&I21=>I28\\\hline O11&21&0&12&16&(1/3,1/3,1/2,1/2)&\quad (1/6,0,0,1/6)&III(a=1/3)=>O11=>O12\\\hline O12&20&1&12&18&(1/3,1/2,1/2,1/2)&\quad (1/12,1/12,1/12,1/12)&III(a=1/3)=>O11=>O12\\\hline I44&36&1&20&32&(3/10,0,0,3/10)&&I31=>I44=>I50\\\hline I50&43&3&40&60&(3/20,3/20,3/20,3/20)&&I31=>I44=>I50\\\hline I45&35&1&20&28&(1/10,0,0,1/10)&&I32=>I45=>I51\\\hline I51&44&3&40&60&(1/20,1/20,1/20,1/20)&&I32=>I45=>I51\\\hline I47&40&2&30&50&(7/30,1/15,1/15,7/30)&&I39=>I47\\\hline I48&41&2&30&42&(1/30,2/15,2/15,1/30)&&I40=>I48\\\hline I49&42&3&36&56&(1/6,0,0,1/6)&&I41=>I49=>I52\\\hline I52&45&7&72&108&(1/12,1/12,1/12,1/12)&&I41=>I49=>I52\\\hline \end{array}}$

Pour des expressions vérifiées (en syntaxe de Maple), consulter les trois fichiers :

https://arxiv.org/e-print/math/0406281 (I01-I10=hypergéométriques, I11-I19=(II, III, IV), I20-I52, 9 absentes car non-icosaédriques),

https://arxiv.org/e-print/math/0506407 (I44-I45, I47-I52),

https://arxiv.org/e-print/math/0501464 (T06, O07-O13, 237).

Exemples.

Solution III, associée au cube (genre zéro, trois branches, degré minimal)

${\begin{aligned}&x={\frac {(t-1)^{2}(5t-2)}{(t-2)(2t-1)^{2}}},u={\frac {(t-1)(3t-2)}{(t-2)(2t-1)}},2u^{3}-3(x+1)u^{2}+6xu-x(x+1)=0,{\bf {\theta }}=(2a,1/3,a,a),a{\hbox{ arbitraire}},\end{aligned}}$

Solution IV, associée au tétraèdre (genre zéro, quatre branches, degré minimal)

$x={\frac {(s-1)^{3}(s+1)}{s^{3}(s-2)}},u={\frac {(s-1)^{2}}{s(s-2)}},3u^{4}-4(x+1)u^{3}+6xu^{2}-x^{2}=0,{\bf {\theta }}=(3a,a,a,a),a{\hbox{ arbitraire}}.$

La solution Klein [p. 226] (genre zéro, sept branches, degré dix)

$x={\frac {(5s^{2}-8s+5)(7s^{2}-7s+4)}{s(s-2)(s+1)(2s-1)(4s^{2}-7s+7)}},u={\frac {(7s^{2}-7s+4)^{2}}{s^{3}(4s^{2}-7s+7)^{2}}},{\bf {\theta }}={\frac {(3,2,2,2)}{7}},$

est liée à un groupe de Klein.

Voisinage des singularités fixes

Puisque les trois singularités fixes équivalentes de PVI sont des points critiques transcendants, les développements de Taylor ou de Laurent n'existent génériquement pas et doivent être remplacés par des développements asymptotiques. Il existe au moins deux méthodes pour les établir.

La première est la méthode des approximations successives de Picard [tome II p. 301], décrite par exemple dans le cours de Goursat [tome II section 388]. Elle ne repose pas sur une représentation linéaire de PVI par une paire de Lax. Le développement au voisinage de $x=0$ (les deux autres sont similaires) n'existe que dans un secteur de sommet $x=0$ et il a été établi pour des valeurs arbitraires des $\theta _{j}$ (théoriquement mais pas explicitement) par Garnier [p. 249-294] (pour un résumé, mieux vaut lire ses trois Notes de 1916 dans les Comptes rendus) à la fois pour $u(x)$ et pour la dérivée logarithmique (notée $2\alpha$ par Garnier) de la fonction tau $\tau _{{\rm {VI}},{\rm {P}},x}$ à deux zéros simples. Étant donné le polynôme [p. 242, 253]

$P(u)=\theta _{\infty }^{2}u(u-1)+\theta _{1}^{2}u-\sigma ^{2}(u-1),\sigma ^{2}=\theta _{0}^{2}+\theta _{x}^{2}-1-4\alpha _{0},$

la discussion repose sur le degré de $P$ (deux, un ou zéro) et sur son discriminant $(\sigma ^{2}-(\theta _{\infty }-\theta _{1})^{2})(\sigma ^{2}-(\theta _{\infty }+\theta _{1})^{2})$.

La deuxième méthode met à profit la paire de Lax et a permis à Jimbo d'écrire le développement explicite de la fonction tau $\tau _{{\rm {VI}},{\rm {C}},j}$ de Chazy (un seul zéro simple), mais seulement pour des valeurs génériques des $\theta _{j}$. Les développements explicites pour les valeurs génériques et non-génériques des $\theta _{j}$ ont été établis par Dubrovin et Mazzocco, Bruno et Goryuchkina, Guzzetti. Ils sont reproduits ci-dessous, rangés par ordre décroissant de singularité. Pour les points délicats, consulter Garnier.

$\bullet$ Le développement générique à deux paramètres arbitraires est une série double de puissances de $x$ et de $x^{\sigma }$ [Éq. (3) et p. 13]

${\begin{aligned}&u=ax^{1-\sigma }\left(1+O(|x|^{\sigma })\right)=\sum _{n=1}^{+\infty }\sum _{m=-n}^{n}c_{nm}x^{n}(ax^{\sigma })^{m},\sigma a\not =0,0<\Re (\sigma )<1,\end{aligned}}$

dont les deux constantes mobiles sont $\sigma$ et $a$.

$\bullet$ Si $\Re (\sigma )=0$ et $\sigma \not =0$, les trois termes $n=1$ du développement générique ont le même ordre [Éq. (9)], mais rien de spécial ne se produit

$u=ax^{1-\sigma }+{\frac {\theta _{0}^{2}-\theta _{x}^{2}}{2\sigma ^{2}}}x+{\frac {(\sigma ^{2}-(\theta _{0}-\theta _{x})^{2})(\sigma ^{2}-(\theta _{0}+\theta _{x})^{2})}{a\sigma ^{4}}}x^{1+\sigma }+O(x^{2-\sigma }),{\hbox{arbitraires}}=(\sigma ,a),\sigma a\not =0,\Re (\sigma )=0.$

$\bullet$ Si $\sigma =0$ et $\theta _{0}^{2}\not =\theta _{x}^{2}$, il existe un développement à un seul paramètre, holomorphe dans un secteur, en série double de $x$ et de $x\log x$ [p. 283, 286, 329] [Éq. (32)], dont les trois premiers termes sont

$u={\frac {\theta _{x}^{2}-\theta _{0}^{2}}{4}}x(\log x)^{2}+2a{\frac {\theta _{x}^{2}-\theta _{0}^{2}}{4}}x\log x+\left(a^{2}{\frac {\theta _{x}^{2}-\theta _{0}^{2}}{4}}-{\frac {\theta _{0}^{2}}{\theta _{x}^{2}-\theta _{0}^{2}}}\right)x+O(x^{2}(\log x)^{3}),{\hbox{arbitraire}}=a.$

$\bullet$ Si $\sigma =0$ et $\theta _{0}=\theta _{x}\not =0$, le développement à un seul paramètre est similaire [Éq. (33)]

$u=\theta _{0}x\log x+ax+O(x^{2}(\log x)^{2}),{\hbox{arbitraire}}=a.$

$\bullet$ Si $\sigma =0$ et $\theta _{0}=\theta _{x}=0$, il existe un développement à un seul paramètre, holomorphe dans un secteur [section 30 p. 289] [p. 510 ligne 3] [théorème 4]

$u=ax+\sum _{j=2}^{+\infty }c_{j}(a,\theta _{\infty },\theta _{1})x^{j},{\hbox{arbitraire}}=(a).$

$\bullet$ Si $\sigma =0$ et $\theta _{0}-\theta _{x}=N\in \mathbb {N}$, il existe une série double de $x$ et de $x\log x$ [p. 510], aisément obtenue en cherchant pour $1/u$ une série de Laurent de $x$

$u=\sum _{j=0}^{+\infty }\sum _{k=0}^{+\infty }c_{jk}x^{j}(x\log x)^{k},{\hbox{arbitraire}}=c_{N,0}.$

Des résultats additionnels combinant les méthodes de Garnier et de Boutroux (le gendre de Poincaré) se trouvent dans .

Problèmes de connexion

Soient deux développements asymptotiques au voisinage de deux points singuliers d'une Pn donnée, par exemple $\infty$ et $1$ de PVI, ou encore $-\infty$ et $+\infty$ de PII si $x$ doit être réel. Chaque développement dépend d'au plus deux constantes mobiles, et le problème de connexion est de trouver deux relations sous forme fermée entre ces quatre constantes mobiles.

Exemple. Pour $x$ et $u$ réels, PII$(\alpha =0)$ admet une solution particulière définie par ses comportements en $\pm \infty$

$\left\lbrace {\begin{array}{ll}\displaystyle {u\sim k{\frac {1}{2}}\pi ^{-1/2}x^{-1/4}e^{-(2/3)x^{3/2}},k^{2}<1,x\to +\infty ,}\\\displaystyle {u=d(-x)^{-1/4}\sin \varphi +o((-x)^{-1/4}),x\to -\infty ,}\\\displaystyle {\qquad \varphi ={\frac {2}{3}}(-x)^{3/2}-{\frac {3}{4}}d^{2}\log(-4x)-\arg \left(\Gamma \left(1-i{\frac {d^{2}}{2}}\right)\right)-{\frac {\pi }{4}}(1-2d\mathrm {signe} (k)),}\end{array}}\right.$

dont la connexion entre les deux paramètres mobiles $d,k$ est donnée par la relation transcendante

$k^{2}<1:d^{2}=-{\frac {1}{\pi }}\log(1-k^{2}).$

La méthode pour résoudre de tels problèmes est de considérer une EDO linéaire sous-jacente, le plus souvent la déformation isomonodromique (partie en $t$ de la paire de Lax)

$\partial _{t}\psi =M\psi ,M=\sum _{j}{\frac {M_{j}}{t-t_{j}}}$,

dont la structure de singularités dans le plan complexe $t$ est suffisamment simple pour que son problème (linéaire) de connexion soit déjà résolu. Pour une introduction pédagogique au vocabulaire utilisé, lire par exemple un cours de Cargèse. Seuls les principaux termes sont ici définis.

Considérons les matrices carrées $\Psi ^{(j)}(t)$ dont les vecteurs colonnes constituent un ensemble fondamental de solutions de $\partial _{t}\psi =M\psi$ au voisinage des pôles $t_{j}$. Alors, si l'on choisit par exemple la solution $\Psi (t)=\Psi ^{(\infty )}(t)$, pour chaque pôle $t_{j}$ il existe une matrice $C^{(j)}$ telle que

$\forall j:\Psi (t)=\Psi ^{(j)}(t)C^{(j)}$.

Définition. Ces matrices $C^{(j)}$, inversibles et indépendantes de $t$, sont appelées matrices de connection.

Définition. On appelle matrices de monodromie $m^{(j)}$ les matrices de SL(2,$\mathbb {C}$) (déterminant unité) qui multiplient à droite la matrice solution $\Psi$ quand $t$ tourne autour d'une seule singularité $t_{j}$

$\forall j:\Psi (t)\to \Psi (t)m^{(j)}$.

Le produit de toutes les matrices de monodromie est l'identité. Leur importance provient du fait que le meilleur choix des deux constantes mobiles des développements asymptotiques susmentionnés est constitué par les invariants de cet ensemble de matrices de monodromie.

Dans le cas de PVI par exemple (où $M$ est la somme de quatre pôles simples $\infty ,0,1,x$), en tenant compte des relations

$m^{(\infty )}m^{(1)}m^{(x)}m^{(0)}=1,\forall j\ \det m^{(j)}=1$,

les produits des $m^{(j)}$ définissent sept invariants linéairement indépendants contraints par une relation non-linéaire. Quatre d'entre eux

$p_{\infty }=\operatorname {tr} (m^{(0)}m^{(1)}m^{(x)}),p_{0}=\operatorname {tr} m^{(0)},p_{1}=\operatorname {tr} m^{(1)},p_{x}=\operatorname {tr} m^{(x)},$

sont équivalents aux quatre exposants de monodromie $\theta _{j}$ (sous réserve qu'au moins un $\theta _{j}$ soit non-nul), les trois restants

$p_{jk}=\operatorname {tr} (m^{(j)}m^{(k)}),jk=0x,1x,01$,

sont contraints par une relation cubique (la "cubique de Fricke") dans les $p_{jk}$ [Éq. (1.6)]

${\begin{aligned}&p_{0x}p_{1x}p_{01}+p_{0x}^{2}+p_{1x}^{2}+p_{01}^{2}-(p_{0}p_{x}+p_{1}p_{\infty })p_{0x}-(p_{1}p_{x}+p_{0}p_{\infty })p_{1x}-(p_{0}p_{1}+p_{x}p_{\infty })p_{01}+p_{\infty }p_{0}p_{1}p_{x}+p_{\infty }^{2}+p_{0}^{2}+p_{1}^{2}+p_{x}^{2}-4=0,\end{aligned}}$

donc cette variété de monodromie caractérise les deux constantes mobiles arbitraires de la fonction PVI.

Problème de connexion de PVI

Soit à établir la correspondance entre les comportements locaux de $u(x)$ au voisinage des trois singularités fixes $x=\infty ,0,1$.

La réponse de Jimbo se décompose en cinq étapes.

1. Choix d'une variable équivalente à PVI. En effet, la plupart des problèmes intégrés par PVI impliquent une des deux fonctions tau de PVI plutôt que PVI elle-même. Garnier a choisi le couple $(u(x),\tau _{{\rm {VI}},{\rm {P}},x})$ (tau de Painlevé, deux zéros simples) et considéré leur système différentiel d'ordre un à deux composantes, alors que Jimbo a choisi la fonction tau $\tau _{{\rm {VI}},{\rm {C}},\infty }$ (tau de Chazy, un seul zéro simple).

2. Construction du développement (section précédente) de la variable choisie au voisinage d'une quelconque des trois (équivalentes par homographie) singularités fixes $\infty ,0,1$.

3. Prise en compte du problème de connexion de la fonction hypergéométrique, déjà résolu. La connexion entre ses trois singularités $\infty ,0,1$ implique quatre fonctions $\Gamma$ [Vol I, Sect. 2.10]; [de la page 1148 ligne 9 à la page 1150 ligne 2].

4. Considération de la partie en $t$ de la paire de Lax non pas scalaire (qui a cinq singularités fuchsiennes), mais matricielle (qui n'a que quatre singularités fuchsiennes $t=\infty ,0,1,x$). Sa limite quand $x$ tend vers l'une des singularités fixes $\infty ,0,1$ [p. 1150 ligne 4] est encore un système fuchsien, identique à celui de la fonction hypergéométrique, dont la formule de connexion est connue (détails [p. 871]).

5. Par recollage de ces morceaux, obtention de la formule de connexion de PVI, représentée par les trois comportements génériques [Théorèmes 1.1 et 1.2, corrigendum ] de la fonction tau $\tau _{{\rm {VI}},{\rm {C}},\infty }$ (à un préfacteur constant près) en terme des quatre paramètres fixes $\theta _{j}$ et des deux constantes mobiles.

En considérant une extension de la forme différentielle fermée précitée aux données de monodromie, Its, Lisovyy et Prokhorov ont établi la valeur du rapport de ces deux préfacteurs, c'est un produit fini de fonctions de Barnes.

Problème de connexion des autres Pn

La confluence semble n'avoir pas encore été appliquée à la procédure de Jimbo pour PVI, ce qui pourrait simplifier cette section.

Le problème de connexion se résout en deux parties : développements asymptotiques, formules de connexion. Bien qu'il existe plusieurs méthodes pour obtenir ces développements asymptotiques, les paramètres pertinents proviennent encore d'une variété de monodromie et la méthode efficace pour établir les formules de connexion est la méthode de monodromie inverse, c'est-à-dire celle de Jimbo. Pour plus de détails, consulter le livre d'Its et Novokshenov et l'excellente revue de Fokas et alii, qui compile les résultats à jour en 2006. Une amélioration fondée sur la méthode WKB est décrite dans .

Les articles suivants mentionnent les problèmes déjà traités.

PV, [$x$ réel], [$x$ purement imaginaire] ;

PIII-D6,

PIII-D7,

PIII-D8,

PIV, [cas $\beta =0$ et $x$ réel, qui correspond à la solution réelle de ];

PII, [$\alpha =0$] et [$\alpha$ arbitraire];

PI,

Sur les aspects mathématiques des développements asymptotiques, séries divergentes, resommabilité etc, consulter la trilogie .

Ordre de croissance des solutions des Pn

L'ordre d'une fonction (qui mesure la croissance à l'infini) n'est défini que pour les fonctions méromorphes dans $\mathbb {C}$ et, quand cette fonction méromorphe est solution d'une Pn, il dépend (i) du choix de Pn dans sa classe d'équivalence, (ii) de la dépendance envers les constantes d'intégration (solution transcendante, de Riccati, à zéro paramètre).

Comme prouvé par Painlevé, la solution générale des Pn usuelles est méromorphe dans $\mathbb {C}$ pour PI, PII et PIV, dans $\mathbb {C} \backslash \lbrace \infty ,0\rbrace$ pour PIII et PV, dans $\mathbb {C} \backslash \lbrace \infty ,0,1\rbrace$ pour PVI. Cette solution générale devient méromorphe dans $\mathbb {C}$ pour PIII et PV en changeant le représentant de $(u,x)$ en $(u,e^{x})$, mais un tel changement n'existe pas pour PVI.

Les équations de Riccati à coefficients polynomiaux (le cas de PII et PIV) ont une solution générale méromorphe dans $\mathbb {C}$, et une telle solution non-rationnelle a pour ordre $1+n/2$ avec $n$ entier positif.

Les équations de Riccati à coefficients rationnels (le cas de PIII, PV, PVI) ont un nombre de solutions méromorphes égal à zéro, un, deux ou l'infini [Chap. 9].

La Table ci-contre résume les ordres de croissance des solutions des Pn, excluant les solutions rationnelles (ordre zéro) et non-méromorphes (odre non défini).

Pn	Solution	Ordre	Ref
PI	transcendante	5/2	[p. 182]
PII	transcendante	3	[p. 185]
PII	Airy	3/2
PIV	transcendante	4	[p. 320]
PIV	Hermite	2
PIII(e^x)	transcendante
PIII(x)	Bessel
PV(e^x)	transcendante
PV(x)	Whittaker
PVI	Gauss

Irréductibilité

Pour des valeurs génériques de leurs paramètres, les Pn sont irréductibles, c'est-à-dire ni réductibles à l'ordre un ni linéarisables. À cause de la confluence, il suffit de prouver cette propriété pour PI. La controverse au sujet de PI entre Painlevé et Roger Liouville à coups de Notes dans les Comptes rendus [Tome III, p. 81-114] n'a été tranchée que beaucoup plus tard par Hiroshi Umemura et Keiji Nishioka , la difficulté du sujet est bien expliquée dans [p. 125].

Historique

Avant la découverte de PVI en 1905, de nombreux mathématiciens l'avaient indirectement rencontrée ou activement recherchée.

1. En 1867 le géomètre Pierre-Ossian Bonnet a déterminé les surfaces applicables sur une surface donnée qui de plus conservent les deux rayons de courbure principaux. Une des cinq classes de solutions (les surfaces de Bonnet) est caractérisée par l'EDO d'ordre trois [section 11 p. 84 Éq. (52)]

${\frac {1}{2}}(\log H')''-\left({\frac {\alpha }{\sin \alpha \xi }}\right)^{2}{\frac {H'+H^{2}}{H'}}+H'=0,$

où $\xi$ est une fonction des coordonnées conformes $z=x+iy,{\bar {z}}=x-iy$, $H(\xi )$ la courbure moyenne, et $\alpha$ une constante arbitraire (avec $\alpha /\sin \alpha \xi =1/\xi$ si $\alpha$ s'annule). Ce n'est que cent trente-et-un ans plus tard qu'une intégrale première de cette EDO a été identifiée à une fonction tau de PVI (ou de PV si $\alpha =0$) construite par Chazy dans sa thèse [expression $t$ p. 341] pour les valeurs $\theta _{\infty }=0,\theta _{0}^{2}=\theta _{1}^{2},\theta _{x}^{2}=1$ des paramètres de PVI.

2. En 1884, Henri Poincaré [p. 217-220] a effectué un décompte très général du nombre de singularités fuchsiennes, non-apparentes et apparentes, à mettre dans une EDO linéaire d'ordre quelconque pour rendre la monodromie non-banale, mais n'a pas entrepris le calcul du cas le plus simple (ordre deux, quatre singularités non-apparentes, une apparente), qui aurait donné PVI.

3. En 1889 Émile Picard a approfondi l'étude, entreprise en 1886 par Georges Halphen [Chap. IX, p. 291-331], de la dépendance des fonctions elliptiques envers leurs invariants relatifs $g_{2},g_{3}$ et absolu (le rapport des deux périodes). En considérant l'intégrale elliptique [section 17, p. 298]

$U={\frac {1}{2\omega }}\int _{\infty }^{u}{\frac {\mathrm {d} u}{\sqrt {u(u-1)(u-x)}}},$

où $\omega$ désigne l'une des deux demi-périodes solutions de l'EDO hypergéométrique de Legendre [tome I p. 62 sqq] [tome I p. 350 Éq. (30), p. 352 Éq. (35)]

$x(x-1){\frac {\mathrm {d} ^{2}\omega }{\mathrm {d} x^{2}}}+(2x-1){\frac {\mathrm {d} \omega }{\mathrm {d} x}}+{\frac {\omega }{4}}=0,$

il a établi sa transformée pour $u(x)$ et obtenu pour résultat "une équation différentielle curieuse" n'ayant que trois points critiques ($\infty ,0,1$). C'était PVI dans le cas particulier $\theta _{j}=0,j=\infty ,0,1,x$ (le "cas de Picard"). Cette PVI, par construction linéarisable en l'EDO de Legendre par la transformation ponctuelle

$u={\frac {\wp (\omega ,g_{2},g_{3})-e_{1}}{e_{2}-e_{1}}},(e_{1},e_{2},e_{3})=(0,1,x)-{\frac {x+1}{3}},$

admet donc la solution générale $u={\frac {\wp (c_{1}\omega _{1}+c_{2}\omega _{2},g_{2},g_{3})-e_{1}}{e_{2}-e_{1}}}$ où $c_{1},c_{2}$ sont les deux constantes d'intégration. Les deux périodes $2\omega _{j}$ et les deux invariants $g_{2},g_{3}$ dépendent de $x$, et ses seules singularités mobiles sont des pôles doubles.

4. La même année 1889, Roger Liouville, un parent de Joseph, a considéré la classe des EDOs d'ordre deux et de degré un pour $u(x)$ invariantes par le groupe de transformations ponctuelles (utile en géométrie) $(u,x)\to (U,X):u=f(X,U),x=g(X,U),U=F(x,u),X=G(x,u),$ à savoir ${\frac {\mathrm {d} ^{2}u}{\mathrm {d} x^{2}}}+\sum _{j=0}^{3}A_{j}(u,x)\left({\frac {\mathrm {d} u}{\mathrm {d} x}}\right)^{j}=0.$

Il a énuméré ses classes d'équivalence modulo ce groupe mais, comme remarqué par Babich et Bordag [p. 455], il a incomplètement discuté [section VIII p. 50] le cas où les invariants relatifs qu'il note $\nu _{5}$ et $w_{1}$ sont tous deux nuls, cas qui recouvre toutes les Pn écrites en coordonnées elliptiques (les diverses Pn sont alors départagées par un troisième invariant noté $i_{2}$). Cette omission lui a coûté la primeur de la découverte de toutes les Pn.

5. En 1895, dans ses Leçons de Stockholm, Painlevé a consacré une leçon entière [Leçon 21] à la recherche, infructueuse, de termes complémentaires au cas de Picard, cf. notamment [Éq. (B) p. 508]. Une de ses conclusions [p. 507 dernière ligne], ultérieurement démentie par Richard Fuchs, est l'inexistence de tels termes complémentaires.

6. En 1898, Painlevé a énuméré [ligne 3] tous les types possibles d'équations d'ordre deux et de degré un rationnelles en $u(x)$, susceptibles de n'avoir que des points critiques fixes. Le quatrième et dernier type

$u(u-1)(u-x)u''=(1/2)(3u^{2}-2(x+1)u+x){u'}^{2}+P_{4}(u,x)u'+P_{6}(u,x),$

avec $P_{n}$ des polynômes de degré $n$ en $u$, incluait bel et bien le type de la PVI complète. Quelques mois plus tard, résumant son argumentation de [Leçon 21], Painlevé a affirmé [ligne 3] que les seules équations admissibles du type juste mentionné sont les transformées de l'EDO linéaire $\mathrm {d} ^{2}U/\mathrm {d} X^{2}=0$ par la transformation ponctuelle $(u,x)\to (U,X)$ de Picard. En conséquence, les tables de 1902 mentionnent PVI seulement dans le cas de Picard [Tableau III p. 25 Éq. (2)].

7. En 1905, Richard Fuchs , le fils du Lazarus inventeur des équations fuchsiennes, a considéré une EDO linéaire d'ordre deux pour $\psi (t)$ munie de quatre singularités fuchsiennes de birapport $x$ (mises par convention en $t=\infty ,0,1,x$), avec de plus, suivant la prescription de Poincaré [p. 217-220] pour rendre la monodromie non-banale, une singularité apparente $t=u$

$-{\frac {2}{\psi }}{\frac {\mathrm {d} ^{2}\psi }{\mathrm {d} t^{2}}}={\frac {A}{t^{2}}}+{\frac {B}{(t-1)^{2}}}+{\frac {C}{(t-x)^{2}}}+{\frac {D}{t(t-1)}}+{\frac {3}{4(t-u)^{2}}}+{\frac {a}{t(t-1)(t-x)}}+{\frac {b}{t(t-1)(t-u)}},$

$(A,B,C,D)$ étant des constantes et $(a,b)$ des paramètres pouvant dépendre de $x$ et de $u$. La condition que la matrice de monodromie (qui transforme deux solutions indépendantes $\psi _{1},\psi _{2}$ quand $t$ tourne autour d'une singularité) soit indépendante de la singularité non-apparente $x$ (condition d'isomonodromie) équivaut à une seule contrainte entre $u$ et $x$, représentée par la PVI de Picard complétée par quatre termes. Les paramètres $a$ et $b$ sont alors des transformées algébriques de $u(x)$ très similaires aux fonctions tau de Chazy.

La condition d'isomonodromie prouve également la méromorphie de $u(x)$ dans $\mathbb {C} \backslash \lbrace \infty ,0,1\rbrace$, mais la question restait ouverte de l'admissibilité d'autres termes complémentaires.

8. En 1910 Bertrand Gambier, qui avait entrepris dans sa thèse la révision des tables publiées par Painlevé en 1902 a finalement confirmé que les quatre paramètres ajoutés par Richard Fuchs étaient bien les seuls admissibles.

C'est donc après trois occasions manquées (Poincaré 1884, Roger Liouville 1889, Painlevé 1898) que PVI a été découverte.

Bibliographie

• Les Œuvres de Painlevé.

Ses Leçons de Stockholm sont enrichies d'un index des sujets et d'un index des auteurs [Tome I]. Lire notamment sa dispute passionnée avec Roger Liouville sur l'irréductibilité de PI [Tome III, p. 81-114] et son "Analyse des travaux scientifiques jusqu'en 1900" [Tome I, p. 75-196], écrite pour être compréhensible par les académiciens en place lors de sa candidature à l'académie des sciences.

• 1926. Ince

a transcrit en anglais la méthode et les résultats de Gambier.

• 1950. Le livre classique de V.V. Golubev, en russe.
• 1964. Le premier mémoire de Bureau

détaille la "double méthode" de Painlevé et justifie les calculs de Gambier.

• 1990. Le livre de Gromak et Lukashevich, en russe,

collecte les hamiltoniens, transformations birationnelles et solutions classiques alors connues.

• 1991. Iwasaki, Kimura, Shimomura et Yoshida détaillent la monodromie de la fonction

hypergéométrique et des systèmes de Schlesinger et de Garnier.

• 1992. Laine insiste sur la preuve de

l'irréductibilité des Pn et sur leur croissance à l'infini.

• 1999. Les Actes d'une école d'été de Cargèse rassemblant des mathématiciens et des physiciens.
• 2000. Noumi détaille les nombreux résultats de l'école japonaise :

preuves de l'irréductibilité, définition d'une solution classique, groupes de Weyl, diagrammes de Maya, etc.

• 2002 Gromak, Laine et Shimomura réunissent les résultats des auteurs classiques,

de l'école soviétique et ceux concernant la croissance à l'infini.

• 2006. Les Actes d'un colloque franco-japonais tenu à Angers en 2004.
• 2006. Fokas, Its, Kapaev et Novokshenov insistent sur le problème de

Riemann-Hilbert.

• 2016.

Éric Delabaere, Michèle Loday-Richaud, Claude Mitschi et David Sauzin présentent les questions mathématiques profondes que posent, notamment, PI et PVI.

• 2020. En appendice de la 2^e édition de leur livre,

Robert Conte et Micheline Musette ont rassemblé un matériau détaillé sur les Pn.