L'affirmation que, pour un problème variationnel dont le fonctionnel est invariant sous l'action d'un groupe de symétrie, un point critique du fonctionnel restreint au sous-espace des points fixes (le sous-espace symétrique) est un point critique du fonctionnel complet ; cela permet de rechercher des points critiques au sein d'un ansatz symétrique.

Principe

Réduction par symétrie : l'invariance du fonctionnel sous une action de groupe autorise la restriction au sous-espace des configurations symétriques sans perte de points critiques authentiques, sous réserve d'hypothèses de régularité et de conditions techniques sur l'action du groupe.

Démonstration

Considérer un fonctionnel d'énergie invariant par rotation sur un espace de Sobolev ; minimiser ou chercher des points stationnaires du fonctionnel parmi les fonctions radiales (sous-espace des points fixes des rotations) donne des points critiques radiaux qui sont aussi critiques dans l'espace complet, facilitant les preuves d'existence et la simplification des équations d'Euler–Lagrange.

Mauvaise application

Supposer que le principe s'applique lorsque l'action du groupe ou le fonctionnel manque de la régularité requise, lorsque le sous-espace des points fixes n'est pas une contrainte naturelle, ou en présence de symétries non compactes ou discontinues ; un tel abus peut faire manquer des points critiques non symétriques ou produire des conclusions erronées.

Conséquence

Lorsqu'il est valable, il réduit la recherche variationnelle en dimensions infinies à des sous-espaces symétriques de plus faible dimension, simplifiant l'analyse, les calculs et la dérivation de solutions symétriques tout en préservant la criticité.

Inversion

La réciproque — que tout point critique du fonctionnel complet appartienne au sous-espace symétrique — est fausse : des points critiques non symétriques existent en général et la restriction par symétrie peut exclure des solutions pertinentes.

Limite

Nécessite que le fonctionnel soit invariant sous une action de groupe suffisamment régulière sur l'espace de définition et suppose souvent la compacité du groupe de symétrie ou des conditions techniques supplémentaires ; le principe ne couvre pas la criticité contrainte découlant de contraintes non symétriques.

Tension sémantique

Peut être confondu avec la méthode de minimisation sous contrainte ou avec des ansatz imposés par la symétrie ; la tension porte sur la question de savoir si la restriction par symétrie est une réduction innocente ou une contrainte artificielle qui exclut des solutions de rupture de symétrie.

Synthèse

Le Principe de Criticité Symétrique formalise quand la symétrie permet de réduire légitimement les problèmes variationnels : sous des actions de groupe invariantes et régulières et des hypothèses techniques appropriées, les points stationnaires trouvés dans le sous-espace des points fixes sont des points critiques du fonctionnel complet, ce qui facilite les arguments d'existence et de multiplicité tout en avertissant du risque d'omettre des solutions non symétriques.