Hamiltonian formulation of the supersymmetric KdV equation

Résumé technique : Formulation hamiltonienne de l'équation KdV supersymétrique

Énoncé du problème
L'article traite de la formulation hamiltonienne contrainte de l'équation de Korteweg–de Vries supersymétrique (sKdV), spécifiquement le cas caractérisé par le paramètre $a=2$ (sKdV-2). Alors que l'équation KdV classique est un système complètement intégrable bien compris, doté d'une riche structure multi-hamiltonienne, ses extensions supersymétriques présentent des défis uniques. Les auteurs notent que pour la famille sKdV-$a$, une formulation lagrangienne n'existe que pour des valeurs spécifiques de $a$. Le cas $a=0$ est trivial, se réduisant à l'équation KdV standard. Cependant, le cas $a=2$ est non trivial et possède un lagrangien cohérent. Le problème central est que ce lagrangien spécifique est dégénéré (singulier) car il est linéaire par rapport aux dérivées temporelles de tous les champs. Par conséquent, la transformation de Legendre standard échoue à produire un hamiltonien, rendant nécessaire une analyse contrainte systématique pour déterminer la dynamique et les contraintes du système.

Méthodologie
Les auteurs emploient l'algorithme de Dirac–Bergmann (ADB) pour construire la formulation hamiltonienne du système sKdV-2. La méthodologie procède comme suit :

1. Construction du lagrangien : Partant d'une densité lagrangienne non triviale ($\mathcal{L}_{sKdV-2}$) impliquant des champs composantes bosoniques ($u$) et fermioniques ($\psi, \xi$), les auteurs identifient le système comme dégénéré en raison de la nullité du déterminant de la matrice hessienne par rapport aux dérivées temporelles.
2. Contraintes primaires : En utilisant la convention de dérivée à gauche pour la transformation de Legendre, les moments canoniques sont calculés. Étant donné que les vitesses ne peuvent pas être résolues de manière unique en fonction des moments, des contraintes primaires sont identifiées :
   • $c_1 = \Pi_u + \frac{1}{2}u_x$
   • $c_2 = \Pi_\psi + \frac{1}{2}\psi$
   • $c_3 = \Pi_\xi$
3. Cohérence des contraintes et contraintes secondaires : La cohérence de ces contraintes dans le temps (exigeant que leurs crochets de Poisson avec l'hamiltonien total s'annulent) est analysée. Ce processus révèle une contrainte secondaire, $\tilde{c}_1 = \psi - \xi_x = 0$, qui établit une corrélation entre les degrés de liberté fermioniques.
4. Détermination des multiplicateurs : Les conditions de cohérence sont utilisées pour résoudre les multiplicateurs de Lagrange ($\lambda_i$) associés aux contraintes. Notamment, la détermination du multiplicateur $\lambda_3$ implique un opérateur de dérivée inverse ($\partial_x^{-1}$), introduisant une non-localité dans le système.
5. Construction de l'hamiltonien : L'hamiltonien total est construit en sommant la densité hamiltonienne canonique et les contributions de toutes les contraintes primaires et secondaires pondérées par leurs multiplicateurs respectifs.

Résultats clés

• Densité hamiltonienne totale : Les auteurs dérivent explicitement la densité hamiltonienne totale, qui inclut un terme non local découlant de l'opérateur de dérivée inverse dans le multiplicateur de Lagrange $\lambda_3$. Cette non-localité est une conséquence directe de la dynamique contrainte et du fait que la variable physique fondamentale est identifiée comme $\xi_x$ plutôt que $\xi$.
• Équations du mouvement : Les équations de mouvement hamiltoniennes dérivées sont montrées comme reproduisant la forme composante du système sKdV-2 (équations 7 et 8 dans le texte), confirmant la validité de la formulation.
• Représentation en superspace : Les auteurs démontrent que l'hamiltonien au niveau des composantes peut être exprimé sous une forme compacte en superspace :
  $$\bar{H} = \frac{1}{2} \int \left[ -2D^2\Phi (D^3\Phi)^2 + D^4\Phi D^5\Phi \right] dx d\theta$$
  Dans cette représentation en superspace, la non-localité observée dans la formulation en composantes disparaît, car les relations entre les champs composantes fermioniques ($\psi = \xi_x$) éliminent efficacement l'opérateur de dérivée inverse.
• Vérifications de cohérence : L'hamiltonien en superspace est montré comme étant cohérent avec les études précédentes sur le système sKdV-2 (faisant spécifiquement référence à Mathieu [42]), jusqu'à la redéfinition du superchamp rendue nécessaire par l'introduction du potentiel de vitesse ($u \equiv u_x$). De plus, dans la limite où la composante fermionique s'annule ($\xi \to 0$), l'hamiltonien se réduit correctement à l'hamiltonien KdV standard.

Signification et affirmations
L'article prétend fournir une formulation hamiltonienne contrainte complète pour le système sKdV-2, un cas qui n'avait pas été détaillé de cette manière auparavant. La signification du travail réside dans :

1. Gestion de la dégénérescence : L'application réussie de l'algorithme de Dirac–Bergmann à un système supersymétrique avec un lagrangien dégénéré, identifiant explicitement l'ensemble complet des contraintes.
2. Révélation de la non-localité : Mettre en évidence une caractéristique distinctive de cette extension supersymétrique : l'émergence de contributions non locales à la densité hamiltonienne au niveau des composantes, qui sont intrinsèques à la nature contrainte du système.
3. Unification des formulations : Établir un pont entre les formulations au niveau des composantes et en superspace, démontrant comment la non-localité dans la description en composantes est résolue dans la représentation en superspace.
4. Extension méthodologique : Les auteurs suggèrent que l'approche présentée peut servir de modèle pour étudier les structures hamiltoniennes contraintes d'autres systèmes intégrables supersymétriques, tels que l'équation de Schrödinger non linéaire supersymétrique (NLSE), ainsi que des EDP intégrables non linéaires non locales et des équations avec retard.

Le travail est dédié à la mémoire de Yavuz Nutku, reconnaissant ses contributions fondamentales à la formulation hamiltonienne des systèmes intégrables.