Lifting in Sobolev spaces. (English) Zbl 0967.46026

Any function \(u: \mathbb{R}^n\supset \Omega\to S^1\), \(S^1= \{z\in\mathbb{C}:|z|= 1\}\), can be written pointwise in a form \[ u(x)= e^{i\varphi(x)},\quad \varphi: \Omega\to \mathbb{R}.\tag{1} \] The lifting task is to find \(\varphi\) “as regular as \(u\) permits”. In the paper the lifting problem is regarded for the Sobolev spaces \(W^s_p(\Omega)\), \(0< s< \infty\), \(1< p<\infty\), \(\Omega\) is a (smooth) bounded domain in \(\mathbb{R}^n q\). The motivation for the question comes from variational problems of the Ginzburg-Landau type. More precisely, we say that the answer to the lifting problem is positive for the space \(W^s_p(\Omega, S^1)\) if every \(u\in W^s_p(\Omega, S^1)\) may be written in the form (1) for some \(\varphi\in W^s_p(\Omega, \mathbb{R})\). Otherwise, we say that the answer is negative.
It is proved that if \(n=1\) then the answer to the lifting question is always positive. If \(n\geq 2\) then it may be positive or negative. The full description is given in the paper. The answer is negative if \(1\leq s\) and \(sp< 2\), or \(s< 1\) and \(1\leq sp< n\). Otherwise, it is positive.
For the spaces \(W^{1/2}_s(\Omega, S^1)\) the answer is negative. Fortunately, the following inequality \[ \|\varphi\|_{W^s_p}\leq C(1- 2s)^{-1/2}\|u\|_{W^s_2}, \] holds, with \(C\) independent of \(u\) and \(s<{1\over 2}\). This allows to derive bounds for the Ginzburg-Landau functional.


46E35 Sobolev spaces and other spaces of “smooth” functions, embedding theorems, trace theorems
Full Text: DOI


[1] R. Adams,Sobolev Spaces, Academic Press, New York, 1975.
[2] S. Alinhac and P. Gérard,Opérateurs pseudo-différentiels et théorème de Nash-Moser, Interéditions, Paris, 1991.
[3] F. Bethuel,The approximation problem for Sobolev maps between two manifolds, Acta Math.167 (1991), 153–206. · Zbl 0756.46017
[4] F. Bethuel, H. Brezis and F. Hélein,Ginzburg-Landau Vortices, BirkhÄuser, Boston and Basel, 1994.
[5] F. Bethuel and F. Demengel,Extensions for Sobolev mappings between manifolds, Calc. Var. Partial Differential Equations3 (1995), 475–491. · Zbl 0846.46021
[6] F. Bethuel and X. Zheng,Density of smooth functions between two manifolds in Sobolev spaces, J.Funct. Anal.80 (1988), 60–75. · Zbl 0657.46027
[7] J.-M. Bony,Calcul symbolique et propagation des singularités pour les équations aux dérivées partielles nonlinéaires, Ann. Sci. Ecole Norm Sup.14 (1981), 209–246.
[8] G. Bourdaud,Ondelettes et espaces de Besov, Rev. Mat. Iberoamericana11(1995), 477–511. · Zbl 0912.42024
[9] J. Bourgain, H. Brezis and P. Mironescu, in preparation.
[10] A. Boutet de Monvel-Berthier, V. Georgescu and R. Purice,Sur un probléme aux limites de la théorie de Ginzburg-Landau, C. R. Acad. Sci. Paris307 (1988), 55–58. · Zbl 0696.35058
[11] A. Boutet de Monvel-Berthier, V. Georgescu and R. Purice,A boundary value problem related to the Ginzburg-Landau model, Comm. Math. Phys.142 (1991), 1–23. · Zbl 0742.35045
[12] H. Brezis,Analyse fonctionnelle: théorie et applications, Masson, Paris, 1983.
[13] H. Brezis, Y. Li, P. Mironescu and L. Nirenberg,Degree and Sobolev spaces, Topol. Methods Nonlinear Anal.13 (1999), 181–190. · Zbl 0956.46024
[14] H. Brezis and L. Nirenberg,Degree Theory and BMO, Part 1: Compact manifolds without boundaries, Selecta Math.1 (1995), 197–263. · Zbl 0852.58010
[15] H. Brezis and L. Nirenberg,Degree Theory and BMO, Part II: Compact manifolds with boundaries, Selecta Math.2 (1996), 309–368. · Zbl 0868.58017
[16] G. Carbon,Applications harmoniques à valeurs dans un cercle, C. R. Acad. Sci, Paris314 (1992), 359–362.
[17] J.-Y. Chemin,Fluides parfaits incompressibles, Astérisque230 (1995). · Zbl 0829.76003
[18] R. Coifman and Y. Meyer,Une généralisation du théoréme de Calderón sur l’intégrale de Cauchy,in Fourier Analysis, Proc. Sem. at El Escortai, Asoc. Mat. Española, Madrid, 1980, pp. 88–116.
[19] R. Devore and V. A. Popov,Interpolation of Besov spaces, Trans. Amer. Math. Soc.305 (1988), 397–414. · Zbl 0646.46030
[20] M. Escobedo,Some remarks on the density of regular mappings in Sobolev classes of S M -valued functions, Rev. Mat. Univ. Complut. Madrid2 (1988), 127–144. · Zbl 0678.46028
[21] J. Garnett, and P. Jones,BMO from dyadic BMO, Pacific J. Math.99 (1982), 351–371.
[22] A. Garsia,Martingale Inequalities: Seminar Notes on Recent Progress, Benjamin, New York, 1973. · Zbl 0284.60046
[23] R. Hardt, D. Kinderlehrer and F. H. Lin,The variety of configurations of static liquid crystals, inVariational Methods (H. Berestycki, J.-M. Coron and I Ekeland, eds.), BirkhÄuser, Boston, 1990. · Zbl 0723.58018
[24] F.-H. Lin and T. Rivière,Complex Ginzburg-Landau equations in high dimensions and codimension two area minimizing currents, J. Eur. Math. Soc.1 (1999), 237–311;Erratum, to appear. · Zbl 0939.35056
[25] J. L. Lions and E. Magenes,Problèmes aux limites non homogènes, Dunod, Paris, 1968; English translation. Springer, Berlin, 1972. · Zbl 0165.10801
[26] V. Maz’ja,Sobolev Spaces, Springer, Berlin, 1985.
[27] L. Nirenberg,On elliptic partial differential equations, Ann. Scuola Norm. Sup. Pisa13 (1959) 115–162. · Zbl 0088.07601
[28] T. Rivière,Lignes de tourbillons dans le modèle abèlien de Higgs, C. R. Acad. Sci Paris321 (1995), 73–76. · Zbl 0840.35109
[29] T. Rivière,Line vortices in the U(1)-Higgsmodel, Control, Optimization and Calculus of Variations1 (1996), 77–167. · Zbl 0874.53019
[30] T. Rivière,Dense subsets of H1/2(S2;S1), Global Anal. Geom. (to appear).
[31] T. Runst,Mapping properties of non-linear operators in spaces of Triebel-Lizorkin and Besov type, Anal. Math.12 (1986), 313–346. · Zbl 0644.46022
[32] E. Sandier,Ginzburg-Landau minimizers from Rn+1to Rnand minimal connections, preprint (1999).
[33] E. Stein,Topics in Harmonic Analysis Related to the Littlewood-Paley Theory, Princeton Univ. Press, 1970. · Zbl 0193.10502
[34] H. Triebel,Spline bases and spline representations in function spaces, Arch. Math.36 (1981), 348–359. · Zbl 0465.46022
[35] H. Triebel,Theory of Function Spaces, BirkhÄuser, Boston, 1983.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.