A compactness theorem of n-harmonic maps

Pour n⩾3, soit Ω⊂Rn un domaine borné et soit N⊂RL une sous-variété compacte sans bord. Soient {un}⊂W1,n(Ω,N) des solutions de l'équation (perturbée) (1.2) pour les applications n-harmoniques, telles que uk→u faiblement dans W1,n(Ω,N). Alors u est une application n-harmonique. En particulier, l'espace des applications n-harmoniques est sequentiellement compact dans la topologie W1,n faible.