Classes de Thom-Boardman

Modèle:Confusion En mathématiques et plus particulièrement en topologie différentielle, les classes de Thom-Boardman sont un outil pour l'étude des singularités des applications différentiables.

Historique

Introduites par René Thom en 1956, et généralisées par Modèle:Lien en 1967, elles permettent de distinguer les singularités selon la dimension des noyaux d'une application différentiable et de certaines de ses restrictions. Elles ont une importante application dans le calcul des caustiques de l'optique géométrique.

Définition (Thom, 1956)

Étant donnée une application (indéfiniment) différentiable $f:M^m\to N^n$, on définit en tout point $x\in M$ le rang $r$ de $f$ comme étant le rang de l'application tangente $T{f}_x$.

On définit aussi le corang à la source comme m – r, et le corang au but comme n – r. Le corang à la source est aussi la dimension i du noyau de $T{f}_x$ : i = m – r.

Un point $x\in M$ est dit régulier si son rang prend la valeur maximale possible : $r=\min (m,n).$

Il est dit singulier ou critique dans le cas contraire.

L'ensemble des points singuliers est noté Modèle:Math.

Les classes de Thom-Boardman décrivent la structure de Modèle:Math.

Un point $x\in M$ est dit de classe Modèle:Math si le noyau de $T{f}_x$ est de dimension Modèle:Math. On note Modèle:Math l'ensemble des points de classe Modèle:Math.

Le cas général est défini inductivement en posant, pour toute famille d'entiers $I=(i_1,i_2,\cdots ,i_n)$ : Modèle:Centrer

On a les inclusions $M\supset {\mathrm{\Sigma }}^{i_1}\supset {\mathrm{\Sigma }}^{i_1,i_2}\supset {\mathrm{\Sigma }}^{i_1,i_2,i_3}\supset \cdots .$

Exemples de calculs

Points réguliers

Soit $f:ℝ\to ℝ$, $f(x)=x$.

Sa dérivée n'est jamais nulle. La fonction $f$ n'a que des points réguliers : Modèle:Math = ℝ.

Le pli

Soit la fonction $f:ℝ\to ℝ,f(x)=x^2$.

Sa dérivée est Modèle:Math. On a donc Modèle:Math = ℝ\{0} et Modèle:Math = {0}.

L'unique point critique est appelé pli.

La fronce

Soit l'application $f:{ℝ}^2\to {ℝ}^2$, $f(x_1,x_2)=(y_1,y_2)=(x_1^3+x_1{x}_2,x_2).$

On calcule le déterminant jacobien $J(x_1,x_2)=\det \partial (y_1,y_2)/\partial (x_1,x_2).$

On trouve $J(x_1,x_2)=3x_1^2+x_2.$

Alors Modèle:Math est obtenu en écrivant $J(x_1,x_2)=0,$ soit $x_2=-3x_1^2.$

C'est une parabole.

Pour trouver ${\mathrm{\Sigma }}^{1,1}(f)$, nous devons écrire la restriction $g$ de $f$ à Modèle:Math. En utilisant, l'égalité $x_2=-3x_1^2,$ on trouve $g:ℝ\to {ℝ}^2,g(x_1)=(-2x_1^3,-3x_1^2).$ La dérivée $g^{\prime }(x_1)=(-6x_1^2,-6x_1)$ ne s'annule qu'à l'origine.

On a donc ${\mathrm{\Sigma }}^{1,1}(f)=(0,0).$ La singularité à l'origine s'appelle fronce.

La queue d'aronde

Soit l'application $f:{ℝ}^3\to {ℝ}^3$, $f(x_1,x_2,x_3)=(y_1,y_2,y_3)=(x_1^4+x_1^2{x}_2+x_1{x}_3,x_2,x_3)$.

Le déterminant jacobien $J(x_1,x_2,x_3)=\det \partial (y_1,y_2,y_3)/\partial (x_1,x_2,x_3)$ s'écrit $J(x_1,x_2,x_3)=4x_1^3+2x_1{x}_2+x_3.$

Alors Modèle:Math est obtenu en écrivant $J(x_1,x_2,x_3)=0,$ soit $x_3=-4x_1^3-2x_1{x}_2.$ C'est une surface régulière de ℝModèle:3.

Pour trouver ${\mathrm{\Sigma }}^{1,1}(f),$ nous devons écrire la restriction $g$ de $f$ à Modèle:Math. En utilisant l'égalité $x_3=-4x_1^3-2x_1{x}_2,$ on trouve $g:{ℝ}^2\to R^3,g(x_1,x_2)=(-3x_1^4-x_1^2{x}_2,x_2,-4x_1^3-2x_1{x}_2).$ On calcule la matrice dérivée $g^{\prime }(x_1,x_2)=\partial (y_1,y_2,y_3)/\partial (x_1,x_2).$ La condition caractérisant ${\mathrm{\Sigma }}^{1,1}(f)$ est obtenue en annulant les 3 mineurs d'ordre 2, ce qui mène à $x_2=-6x_1^2.$

${\mathrm{\Sigma }}^{1,1}(f)$ est donc une courbe régulière de ℝModèle:3, d'équation : $x_2=-6x_1^2,x_3=8x_1^3.$ Cette équation nous permet d'écrire la restriction $h$ de $f$ à ${\mathrm{\Sigma }}^{1,1}(f)$ : $h(x_1)=(3x_1^4,-6x_1^2,8x_1^3).$ Alors ${\mathrm{\Sigma }}^{1,1,1}(f)$ est obtenu en écrivant que $h^{\prime }(x_1)$ est nul, soit $x_1=0.$ La singularité à l'origine s'appelle queue d'aronde.

Les ombilics

Soit l'application $f:{ℝ}^4\to {ℝ}^4$, $f(x_1,x_2,x_3,x_4)=(y_1,y_2,y_3,y_4)=(x_1,x_2,x_3^2\pm x_4^2+x_1{x}_3+x_2{x}_4,x_3{x}_4)$.

On calcule comme précédemment Modèle:Math et ${\mathrm{\Sigma }}^{1,1}(f).$

Pour trouver Modèle:Math, on calcule la matrice jacobienne

$\partial (y_1,y_2,y_3,y_4)/\partial (x_1,x_2,x_3,x_4).$

On remarque que les deux premiers vecteurs-colonnes $\partial y_i/\partial x_1$ et $\partial y_i/\partial x_2$ forment un plan vectoriel. On écrit donc que les deux autres vecteurs-colonnes sont contenus dans ce plan, ce qui fournit 8 annulations de déterminants de mineurs d'ordre 3.

On trouve finalement Modèle:Math = (0, 0, 0, 0).

La singularité à l'origine s'appelle ombilic : ombilic hyperbolique pour le signe + et ombilic elliptique pour le signe –. Les ombilics hyperbolique et elliptique appartiennent à la même classe de Thom-Boardman Modèle:Math.

L'ombrelle de Whitney-Cayley

Soit l'application $f:{ℝ}^2\to {ℝ}^3$, $f(x_1,x_2)=(y_1,y_2,y_3)=(x_1,x_1{x}_2,x_2^2)$.

On calcule la matrice jacobienne :

$\frac{\partial (y_1,y_2,y_3)}{\partial (x_1,x_2)}=\left(\begin{array}{cc}1& 0\\ x_2& x_1\\ 0& 2x_2\end{array}\right).$

Modèle:Math est obtenu en annulant les 3 mineurs d'ordre 2 soit : $x_1=0,2x_2=0,2x_2^2=0.$ Par conséquent Modèle:Math = (0, 0). La singularité à l'origine s'appelle ombrelle de Whitney-Cayley.

Application à l'optique géométrique

Les caustiques de l'optique géométrique sont modélisées mathématiquement en tant que singularités, ou plus exactement en tant que singularités lagrangiennes.

La théorie des singularités lagrangiennes montre qu'il existe cinq types génériques de points caustiques dans notre espace physique : les plis AModèle:Ind, les fronces AModèle:Ind, les queues d'aronde AModèle:Ind, les ombilics hyperboliques DModèle:IndModèle:Exp et les ombilics elliptiques DModèle:IndModèle:Exp.

Le lien avec les singularités d'applications différentiables vient de la remarque suivante.

Considérons un ensemble (ou congruence) de rayons lumineux. Chaque rayon est défini par deux paramètres $x_1,x_2,$ qui sont par exemple les coordonnées du point Q du front d'onde W d'où est issu le rayon.

Pour décrire tous les points P du système des rayons, on ajoute aux coordonnées $x_1$ et $x_2$ une troisième coordonnée $x_3$ le long du rayon, par exemple la distance QP mesurée le long du rayon $(x_1,x_2).$ On définit ainsi une application $f$ qui fait correspondre au triplet $(x_1,x_2,x_3)$ le point $(y_1,y_2,y_3)$ de l'espace physique, situé à la coordonnée (distance) $x_3$ le long du rayon $(x_1,x_2).$ Dire que les rayons « se croisent », c'est dire que $f$ n'est pas injective. La non-surjectivité de $f$ exprime l'existence de zones d'ombres. La caustique K du système de rayons est l'ensemble singulier ∑ de $f$, ou plus exactement son image dans l'espace physique : $K=f(\mathrm{\Sigma }).$

Cette modélisation des rayons par une application différentiable $f$ explique que la caustique se compose d'une surface-pli AModèle:Ind = Modèle:Math, de lignes-fronces $A_3={\mathrm{\Sigma }}^{1,1}(f),$ et de points queues d'arondes $A_4={\mathrm{\Sigma }}^{1,1,1}(f).$ Elle n'explique cependant pas la présence des ombilics $\{D_4^{+},D_4^{-}\}$ = Modèle:Math qui, dans la théorie générale, sont de codimension 4.

La caractérisation des points caustiques par les classes de Thom-Boardman permet leur calcul effectif dans la plupart des applications.

Classes Modèle:Math (Boardman, 1967)

On doit à Boardman une extension intéressante des classes Modèle:Math. Ces classes, notées Modèle:Math, où $I=(i_1,\cdots ,i_k)$ sont définies indépendamment de toute fonction $f.$ Ce sont des sous-ensembles de l'espace des jets $J^k(M,N)$ que nous n'expliciterons pas ici. Le rapport entre les deux définitions des classes s'exprime par ${\mathrm{\Sigma }}^I(f)=j^k(f{)}^{-1}({\mathrm{\Sigma }}^I),$ où $j^k(f)$ désigne l'extension à $k$-jet de $f.$ La relation exige pour être vraie certaines conditions de transversalité.

Codimension de Modèle:Math

La codimension ${\nu }_I(m,n)$ de Modèle:Math, où $I=(i_1,\cdots ,i_k),$ est donnée par la formule de Boardman : Modèle:Centrer où $\mu (i_1,i_2,\cdots ,i_k)$ est le nombre de suites $j_1,j_2,\cdots ,j_k$ d'entiers vérifiant les conditions :

$j_1\ge j_2\cdots \ge j_k$ ;

$i_r\ge j_r\ge 0$ pour tout $r$ tel que $1\le r\le k,$

avec $j_1>0.$

Tableau des classes pour les petites dimensions

On donne ici les classes non vides pour les petites valeurs de $m=\dim M$ et $n=\dim N.$ Pour chaque classe, on écrit entre crochets sa codimension et sa dimension : ${\mathrm{\Sigma }}^I[\nu ,m-\nu ].$ On note Reg l'ensemble des points réguliers : Reg = M\∑.

$\begin{array}{cccc}& & & {\mathrm{\Sigma }}^0[0,3]=\mathrm{R}\mathrm{e}\mathrm{g}\\ n=3& {\mathrm{\Sigma }}^0[0,1]=\mathrm{R}\mathrm{e}\mathrm{g}& {\mathrm{\Sigma }}^0[0,2]=\mathrm{R}\mathrm{e}\mathrm{g}& {\mathrm{\Sigma }}^{1,0}[1,2]\\ & & {\mathrm{\Sigma }}^1[2,0]& {\mathrm{\Sigma }}^{1,1,0}[2,1]\\ & & & {\mathrm{\Sigma }}^{1,1,1}[3,0]\\ & & {\mathrm{\Sigma }}^0[0,2]=\mathrm{R}\mathrm{e}\mathrm{g}& {\mathrm{\Sigma }}^1[0,3]=\mathrm{R}\mathrm{e}\mathrm{g}\\ n=2& {\mathrm{\Sigma }}^0[0,1]=\mathrm{R}\mathrm{e}\mathrm{g}& {\mathrm{\Sigma }}^{1,0}[1,1]& {\mathrm{\Sigma }}^{2,0}[2,1]\\ & & {\mathrm{\Sigma }}^{1,1}[2,0]& {\mathrm{\Sigma }}^{2,1}[3,0]\\ n=1& {\mathrm{\Sigma }}^0[0,1]=\mathrm{R}\mathrm{e}\mathrm{g}& {\mathrm{\Sigma }}^1[0,2]=\mathrm{R}\mathrm{e}\mathrm{g}& {\mathrm{\Sigma }}^2[0,3]=\mathrm{R}\mathrm{e}\mathrm{g}\\ & {\mathrm{\Sigma }}^1[1,0]& {\mathrm{\Sigma }}^2[2,0]& {\mathrm{\Sigma }}^3[3,0]\\ & m=1& m=2& m=3\end{array}$

Sources

• R. Thom, « Les singularités des applications différentiables », Ann. Inst. Fourier, vol. 6, 1956, Modèle:P. Modèle:Lire en ligne
• Modèle:En J. M. Boardman, « Singularities of differentiable maps », Publ. Math. IHES, vol. 33, 1967, Modèle:P. Modèle:Lire en ligne
• Modèle:En V. I. Arnold, S. M. Gusein-Zade et A. N. Varchenko, Singularities of Differentable Maps, vol. I, Birkhäuser, 1985
• Modèle:En A. Joets et R. Ribotta, « Structure of caustics studied using the global theory of singularities », Europhys. Lett., vol. 29, 1995, Modèle:P.