Optimal regularity for two-dimensional Pfaffian systems and the fundamental theorem of surface theory

TL;DR

This paper establishes the existence of solutions for certain Pfaffian systems with minimal regularity and applies this to prove the fundamental theorem of surface theory under optimal regularity conditions, also providing a compactness result.

Contribution

It proves existence of solutions for low-regularity Pfaffian systems and extends the fundamental theorem of surface theory to optimal regularity classes.

Findings

Existence of solutions in $W^{1,2}_ ext{loc}$ for Pfaffian systems with $L^2_ ext{loc}$ coefficients.

Validation of the fundamental theorem of surface theory under minimal regularity assumptions.

A weak compactness theorem for surface immersions in $W^{2,2}_ ext{loc}$.

Abstract

We prove that a Pfaffian system with coefficients in the critical space $L^2_\mathrm{loc}$ on a simply connected open subset of $\mathbb{R}^2$ has a non-trivial solution in $W^{1,2}_\mathrm{loc}$ if the coefficients are antisymmetric and satisfy a compatibility condition. As an application of this result, we show that the fundamental theorem of surface theory holds for prescribed first and second fundamental forms of optimal regularity in the classes $W^{1,2}_\mathrm{loc}$ and $L^2_\mathrm{loc}$, respectively, that satisfy a compatibility condition equivalent to the Gauss-Codazzi-Mainardi equations. Finally, we give a weak compactness theorem for surface immersions in the class $W^{2,2}_\mathrm{loc}$.

Equations

$$\nabla P=P\Omega ,$$

$${\partial }_i{\Omega }_j-{\partial }_j{\Omega }_i={\Omega }_j{\Omega }_i-{\Omega }_i{\Omega }_j.$$

$$P^{-1}\nabla P+P^{-1}\Omega P$$

$$\Vert \nabla \xi {\Vert }_{L^2}^2+\Vert \nabla P{\Vert }_{L^2}^2$$

$${\partial }_1{\Omega }_2-{\partial }_2{\Omega }_1={\Omega }_2{\Omega }_1-{\Omega }_1{\Omega }_2,$$

$$(a^{ij})$$

$$b_i^j$$

$${\Gamma }_{ij}^k$$

$$G$$

$${\Gamma }_i$$

$${\Omega }_i$$

$$a_{ij}$$

$$b_{ij}$$

$$W_{\mathrm{loc}}^{k,p}(U)=\{T\in {\mathcal{D}}^{\prime }(U):T\in W^{k,p}(V)\text{ for all open sets }V\subset \subset U\}.$$

$${\partial }_1{f}_2={\partial }_2{f}_1\text{in D′(U)}.$$

$${\partial }_i\theta =f_i\text{in Llocp(U)}.$$

$${\partial }_{\ell }P=P{\Omega }_{\ell },$$

$${\partial }_{\ell }{P}_j^i=P_k^i{\Omega }_{j\ell }^k.$$

$${\partial }_i{\Omega }_j-{\partial }_j{\Omega }_i={\Omega }_j{\Omega }_i-{\Omega }_i{\Omega }_j.$$

$$\nabla P+\Omega P=0.$$

$$P_0=P_{1}C.$$

$$P^{-1}\nabla P+P^{-1}\Omega P={\nabla }^{\perp }\xi .$$

$${\nabla }^{\perp }(P{\nabla }^{\perp }\xi )$$

$$={\nabla }^{\perp }\Omega P+\Omega {\nabla }^{\perp }P$$

$$=-{\Omega }_{1}P{\partial }_1\xi -{\Omega }_{2}P{\partial }_2\xi ,$$

$${\nabla }^{\perp }P\cdot {\nabla }^{\perp }\xi +P\Delta \xi =-\Omega P\nabla \xi ,$$

$$P\Delta \xi$$

$$=-P{\nabla }^{\perp }\xi \cdot \nabla \xi ,$$

$$\Delta \xi =({\partial }_2\xi )({\partial }_1\xi )-({\partial }_1\xi )({\partial }_2\xi ).$$

$$\nabla P_0+\Omega P_0$$

$$\nabla P_1+\Omega P_1$$

$$\nabla (P_1^{-1}{P}_0)$$

$$=-P_1^{-1}(\nabla P_1)P_1^{-1}{P}_0+P_1^{-1}\nabla P_0$$

$$=P_1^{-1}\Omega P_1{P}_1^{-1}{P}_0-P_1^{-1}\Omega P_0$$

$$=0.$$

$$\mathrm{d}\theta$$

$$\mathrm{d}{e}_i$$

$${\omega }^i(e_j)$$

Full text

1. Introduction

In an open set $U\subset\mathbb{R}^{2}$, we consider a Pfaffian system of the form

[TABLE]

where $P$ is a matrix-valued function and $\Omega$ is a given matrix-valued one-form. Local existence of a non-trivial solution $P$ to this partial differential equation, and its regularity, manifestly depend on the regularity properties of the coefficients. It is a classical result that a twice continuously differentiable solution exists if every component $\Omega_{i}$ is continuously differentiable and they satisfy the compatibility condition

[TABLE]

One objective of the present paper is to show the corresponding result for solutions $P\in W^{1,2}_{\mathrm{loc}}$ and coefficients $\Omega\in L^{2}$ satisfying an additional structural assumption. This is the case of least possible regularity for an equation such as Eq. 1.2 to make sense in an integrated form. We then have

Theorem 1**.**

Let $U\subset\mathbb{R}^{2}$ be a connected and simply connected open set and let $\Omega\in L^{2}(U,\mathrm{so}(m)\otimes\wedge^{1}\mathbb{R}^{2})$ satisfy the compatibility condition, Eq. 1.2, in the distributional sense. Then there exists $P\in W^{1,2}_{\mathrm{loc}}(U,\mathrm{SO}(m))$ such that $\nabla P=P\Omega$ in $U$. Moreover, any two such solutions $P_{0}$, $P_{1}$ are related by $P_{0}=CP_{1}$ with a constant $C\in\mathrm{SO}(m)$.

Over the years, there have been several incremental improvements to the classical theory. In particular, Hartman and Wintner [hartman1950fundamental] showed that the above existence result holds if the given form $\Omega$ is continuous, with a continuously differentiable solution $P$. Following this, Mardare [mardare2003fundamental, mardare2005pfaff] first showed the existence of a solution $P$ to Eq. 1.1 in the Sobolev class $W^{1,\infty}_{\mathrm{loc}}$ for locally essentially bounded coefficients and later improved the theorem to hold in the class $W^{1,p}_{\mathrm{loc}}$ for $\Omega\in L^{p}_{\mathrm{loc}}$, where $p>2$. It is important to note that without any further structural assumptions on the coefficients $\Omega$, this result has been demonstrated to be optimal [mardare2005pfaff]. However, once one supposes that the components of the matrix-valued one-form $\Omega$ be antisymmetric, it is possible to improve the regularity to the critical case that is Theorem 1.

Meanwhile, there have been developments in the theory of non-linear PDE that attempt to exploit a particular structure of the equation in order to gain additional regularity of the solution beyond what would usually be expected; and these compensated compactness methods [coifman1993compensated, riviere2007conservation, wente1969existence] have been markedly successful in that regard. In particular, in his 2007 paper, Rivière [riviere2007conservation] provided a proof of the regularity of two-dimensional weakly harmonic maps, from which we recall an important intermediate result:

Lemma 2** (Rivière [riviere2007conservation], Lemma A.3; Schikorra [schikorra2010remark]).**

Let $U\subset\mathbb{R}^{2}$ be a contractible bounded regular domain and let $\Omega\in L^{2}(U,\mathrm{so}(m)\otimes\wedge^{1}\mathbb{R}^{2})$. Then there exist $\xi\in W_{0}^{1,2}(U,\mathrm{so}(m))$ and $P\in W^{1,2}(U,\mathrm{SO}(m))$ such that

[TABLE]

Thanks to the Riemann mapping theorem, Lemma 2 also holds true if $U\subset\mathbb{R}^{2}$ is an open, connected, and simply connected bounded set with sufficiently smooth boundary. While the techniques employed in the original proof [riviere2007conservation] are quite involved, Schikorra [schikorra2010remark] gave an alternative proof using variational methods, which in addition removes the need for a smallness condition on $\Omega$.

The above result is of particular interest to us because the given form $\Omega$ is only assumed to be square-integrable. In order to achieve existence and regularity of the solution $P\in W^{1,2}$, the additional structure assumed, that is, the antisymmetry of each $\Omega_{i}$, is utilized in a crucial way. In the same vein, it is this additional structural assumption that enables us to employ Rivière’s lemma to extend the previous results on the solvability of the above Pfaffian system in Eq. 1.1 to the critical $p=2$ case.

The possibility of finding a solution to this Pfaffian system, in turn, has been an essential ingredient in the proof of weak versions of the fundamental theorem of surface theory. As for Pfaffian systems, there have been incremental improvements to this classical geometric result. The theorem answers the question of whether it is possible to find an immersion of a surface in three-dimensional space with prescribed first and second fundamental forms—this turns out to be true if, and only if, the fundamental forms satisfy the Gauss–Codazzi–Mainardi equations. We obtain the following

Theorem 3**.**

Let $U$ be a connected and simply connected open subset of $\mathbb{R}^{2}$ and let $(a_{ij})\in W^{1,2}_{\mathrm{loc}}(U,\mathrm{Sym}^{+}(2))\cap L^{\infty}_{\mathrm{loc}}(U,\mathrm{Sym}^{+}(2))$ and $(b_{ij})\in L^{2}_{\mathrm{loc}}(U,\mathrm{Sym}(2))$ be given. Suppose that the eigenvalues of $(a_{ij})$ are locally uniformly bounded from below and that the matrix fields $(a_{ij})$, $(b_{ij})$ are such that

[TABLE]

where $\Omega\in L^{2}_{\mathrm{loc}}(U,\mathrm{so}(3)\otimes\wedge^{1}\mathbb{R}^{2})$ is given by the following sequence of definitions, see also Section 4.2:

[TABLE]

Then there exists an immersion $\theta\in W^{2,2}_{\mathrm{loc}}(U,\mathbb{R}^{3})$ such that

[TABLE]

Moreover, the map $\theta$ is unique in $W^{2,2}_{\mathrm{loc}}(U,\mathbb{R}^{3})$ up to proper isometries of $\mathbb{R}^{3}$.

We remark that the compatibility condition assumed in the theorem is in fact equivalent to the Gauss–Codazzi–Mainardi equations, see Proposition 7. As for the Pfaffian system mentioned above, one needs to consider the compatibility equations in the distributional sense.

In the works mentioned above [hartman1950fundamental, mardare2003fundamental, mardare2005pfaff], the fundamental theorem of surface theory has been extended to hold true for, finally, first and second fundamental forms in the classes $W^{1,p}_{\mathrm{loc}}$ and $L^{p}_{\mathrm{loc}}$, respectively, where $p>2$. The method of proof, whose lines we also follow in this paper, is the following: First, a Pfaffian system as in Eq. 1.1 is solved for a proper orthogonal matrix field $P$, and then the sought-after surface immersion is found by means of a weak version of the Poincaré lemma, solving the equation $\nabla\theta=PG$, where $G$ is the matrix square root of the three-dimensional extension of the given metric. Since the Poincaré lemma is known to hold for all $p\geq 1$ (see Lemma 5), the premier challenge in extending the fundamental theorem of surface theory to the critical exponent $p=2$ lies in the extension of the corresponding existence theorem on Pfaffian systems.

Therefore, in order to be able to apply Theorem 1, an appropriate antisymmetric matrix-valued one-form $\Omega$ of coefficients of the Pfaffian system has to be constructed as above. While the connection form $\Gamma$ does not possess this property in an arbitrary frame, it is known to be antisymmetric in an orthonormal frame. This approach to the fundamental theorem of surface theory, via an antisymmetric field of coefficients, has previously been introduced by Ciarlet, Gratie, and C. Mardare [ciarlet2008new], who identified the solution $P$ of the Pfaffian system as the rotation field appearing in the polar factorization of the gradient of the three-dimensional extension of the immersion $\theta$.

As a consequence of our approach, we finally obtain a weak rigidity of the compatibility equation and a weak compactness theorem for surface immersions in the class $W^{2,2}_{\mathrm{loc}}$.

Theorem 4**.**

Let $\{\theta^{k}\}\subset W^{2,2}_{\mathrm{loc}}(U,\mathbb{R}^{3})$ be a uniformly bounded sequence of immersions with corresponding sequences of first and second fundamental forms denoted by $\{(a_{ij})^{k}\}$ and $\{(b_{ij})^{k}\}$, respectively. Suppose that $\partial_{i}\theta^{k}\in W^{1,2}_{\mathrm{loc}}\cap L^{\infty}_{\mathrm{loc}}$ and that the first fundamental forms $(a_{ij})^{k}$, $a_{ij}^{k}=\partial_{i}\theta^{k}\cdot\partial_{j}\theta^{k}$, have eigenvalues bounded from below uniformly in the domain $U$ and in $k$. Then, after passing to subsequences, $\{\theta^{k}\}$ converges weakly in $W^{2,2}_{\mathrm{loc}}$ to an immersion $\theta\in W^{2,2}_{\mathrm{loc}}(U,\mathbb{R}^{3})$, whose first and second fundamental forms $(a_{ij})$, $(b_{ij})$ are limit points of the sequences $\{(a_{ij})^{k}\}$, $\{(b_{ij})^{k}\}$ in the $W^{1,2}_{\mathrm{loc}}$- and $L^{2}_{\mathrm{loc}}$-topologies, respectively.

In the context of immersions of Riemannian manifolds, results in this spirit already appeared in a recent work by Chen and Li [chen2018global]. Moreover, sequences of weak immersions have previously been investigated without any assumptions about the first fundamental form, supposing instead a uniform bound on the $L^{2}$-norm of the second fundamental form—see the paper of Laurain and Rivière [laurain2018optimal] and the references therein.

This paper is structured as follows: In Section 2 we introduce the notation that is used throughout this article. After that, we prove in Section 3 that the optimal existence theorem for Pfaffian systems is a consequence of the aforementioned lemma of Rivière. We also extend the theorem from the unit disk to arbitrary simply connected open subsets of $\mathbb{R}^{2}$. Thereafter, in Section 4, we apply this result to the optimal regularity case of the fundamental theorem of surface theory, mostly following along the lines of previous approaches [ciarlet2008new, mardare2005pfaff]. In Section 5, finally, we conclude the paper by demonstrating the weak compactness of $W^{2,2}_{\mathrm{loc}}$-immersions.

Acknowledgements

The author would like to express his gratitude to his supervisor Huy The Nguyen for suggesting the problem and his constant support, Tristan Rivière for pointing out references to previous results on weak compactness of $W^{2,2}$-immersions, Ben Sharp for providing a crucial argument in the proof of Proposition 6, and Gianmichele Di Matteo for many interesting discussions.

2. Notations and Preliminaries

Throughout this paper, let $U$ be an open, connected and simply connected subset of $\mathbb{R}^{2}$. A continuously differentiable mapping $\theta:U\to\mathbb{R}^{3}$ is called an immersion if the vectors $\partial_{i}\theta(y)$, $i=1,2$, are linearly independent for all $y\in U$.

We denote the set of real matrices of size $n\times n$ by $\mathrm{gl}(n)$, the set of symmetric matrices by $\mathrm{Sym}(n)$, the set of symmetric positive definite matrices by $\mathrm{Sym}^{+}(n)$, the set of antisymmetric matrices by $\mathrm{so}(n)$, the set of orthogonal matrices by $\mathrm{O}(n)$, and the set of proper orthogonal matrices by $\mathrm{SO}(n)$. We write the space of $\mathrm{so}(n)$-valued one-forms on $\mathbb{R}^{2}$ as $\mathrm{so}(n)\otimes\wedge^{1}\mathbb{R}^{2}$. The components of $\Omega\in\mathrm{so}(n)\otimes\wedge^{1}\mathbb{R}^{2}$ are denoted by $\Omega_{i}$, $i=1,2$, such that $\Omega_{i}\in\mathrm{so}(n)$.

Moreover, we denote the elements of a matrix $A\in\mathrm{gl}(n)$ by $a_{ij}$, $i,j=1,\dots,n$, such that $A=(a_{ij})$, and the $j$-th column of $A$ is denoted by $A_{(j)}=a_{j}$. The inverse $A^{-1}$ of $A$ is denoted by $(a^{ij})$ and the transpose of $A$ by $A^{T}=(a_{ji})$. We enumerate the real eigenvalues of $A\in\mathrm{Sym}(n)$ as $\lambda_{1}(A)\leq\dots\leq\lambda_{n}(A)$ and with any $A\in\mathrm{Sym}^{+}(n)$ we associate the unique matrix square root $A^{\frac{1}{2}}$.

We write $\mathcal{D}(U)$ for the space of smooth functions with compact support contained in $U$ and $\mathcal{D}^{\prime}(U)$ for the space of distributions over $U$. As usual, we denote the Lebesgue spaces by $L^{p}(U)$, $1\leq p\leq\infty$, and the Sobolev spaces of (equivalence classes of) weakly differentiable functions by $W^{k,p}(U)$, $k=0,1,\dots$, $1\leq p\leq\infty$. The closure of $\mathcal{D}(U)$ in $W^{1,2}(U)$ is denoted by $W^{1,2}_{0}(U)$. Furthermore, we write

[TABLE]

Whenever $X$ is a finite-dimensional space, let $\mathcal{D}(U,X)$, $L^{p}(U,X)$, and $W^{k,p}(U,X)$ designate the spaces of $X$-valued objects whose components belong to $\mathcal{D}(U)$, $L^{p}(U)$, and $W^{k,p}(U)$, respectively. We shall omit the additional symbol if it is implied by the context.

We note that the space $W^{1,2}(B)\cap L^{\infty}(B)$ is an algebra for all open balls $B\subset\subset U$, so that $fg\in W^{1,2}_{\mathrm{loc}}(U)\cap L^{\infty}_{\mathrm{loc}}(U)$ whenever $f,g\in W^{1,2}_{\mathrm{loc}}(U)\cap L^{\infty}_{\mathrm{loc}}(U)$.

For later use, we recall the following weak version of the Poincaré lemma.

Lemma 5** (Mardare [mardare2007systems], Theorem 6.5).**

Let $U$ be a connected and simply connected open subset of $\mathbb{R}^{2}$ and let $p\geq 1$. Let $f_{i}\in L^{p}_{\mathrm{loc}}(U)$, $i=1,2$, be functions that satisfy

[TABLE]

Then there exists a function $\theta\in W_{\mathrm{loc}}^{1,p}(U)$, unique up to an additive constant, such that

[TABLE]

Finally, we remark that the Pfaffian system in Eq. 1.1 studied in this paper can be understood in the following way: We interpret $\Omega\in\mathrm{so}(m)\otimes\wedge^{1}\mathbb{R}^{2}$ as a tensor $\Omega^{i}_{j\ell}$ that is antisymmetric in $i$ and $j$. Equation 1.1 then reads, for $\ell=1,2$,

[TABLE]

that is, assuming the summation convention,

[TABLE]

3. Pfaffian Systems with Coefficients in $L^{2}$

This section is devoted to the proof of Theorem 1. Building upon Lemma 2, we first show the following

Proposition 6**.**

Let $U$ and $\Omega$ be as in Lemma 2 and let $\Omega$ satisfy the compatibility equation

[TABLE]

Then there exists $P\in W^{1,2}(U,\mathrm{SO}(m))$ such that

[TABLE]

Moreover, if $P_{0}$ and $P_{1}$ are two such solutions then there exists a constant $C\in\mathrm{SO}(m)$ such that

[TABLE]

Proof.

By Lemma 2, there exist $\xi\in W_{0}^{1,2}(U,\mathrm{so}(m))$ and $P\in W^{1,2}(U,\mathrm{SO}(m))$ such that

[TABLE]

We obtain, using the compatibility equation 3.1,

[TABLE]

whence

[TABLE]

and thus

[TABLE]

or equivalently

[TABLE]

While the right hand side of this equation is not necessarily equal to zero, we claim that Eq. 3.5 does imply that $\xi\equiv 0$, using that $\xi|_{\partial U}=0$. Indeed, this follows directly from a theorem of Wente [wente1975differential], thanks to the fact that, by a result of Müller and Schikorra [muller2009boundary], $\xi\in W_{0}^{1,2}(U,\mathrm{so}(m))$ is continuous in $\bar{U}$. This yields Eq. 3.2.

Now suppose that $P_{0},P_{1}\in W^{1,2}(U,\mathrm{SO}(m))$ solve

[TABLE]

in $U$, respectively. Since $\nabla(P_{1}^{-1})=-P_{1}^{-1}(\nabla P_{1})P_{1}^{-1}$, we have

[TABLE]

Thus $P_{1}^{-1}P_{0}=C$, that is, $P_{0}=P_{1}C$, a constant invertible matrix. We also have $C^{T}C=P_{0}^{-1}P_{1}P_{1}^{-1}P_{0}=I$ and $\det C=(\det P_{1})^{-1}\det P_{0}=1$, whereby $C\in\mathrm{SO}(m)$. ∎

In order to prove Theorem 1, it remains to extend the statement of Proposition 6 to any connected and simply connected open set $U$. In fact, this amounts to the construction of a global solution by gluing together local solutions as in, e. g., the proof of the Poincaré lemma with little regularity given by Mardare [mardare2008poincare], the details of which we thus omit. It should be noted that this construction is not limited to the two-dimensional case. Alternatively, one may use the fact that, as mentioned above, simply connected domains in the plane are contractible. As a result, Theorem 1 follows readily after transposition and using that $\Omega_{i}\in\mathrm{so}(m)$.

4. Application to the Fundamental Theorem of Surface Theory

In this section, we shall apply Theorem 1 in order to prove the existence of a $W^{2,2}_{\mathrm{loc}}$-immersion of a surface with prescribed first and second fundamental forms in the classes $W^{1,2}_{\mathrm{loc}}$ and $L^{2}_{\mathrm{loc}}$, respectively. First, we motivate the definition of appropriate antisymmetric matrix fields $\Omega_{i}$ that serve as the coefficients of a Pfaffian system. After that, we show that the quantities derived from the given matrix fields that are to be realized as fundamental forms of a surface possess the required regularity. We then prove Theorem 3. Lastly, we demonstrate that the compatibility equation satisfied by the matrix fields $\Omega_{i}$ is equivalent to the Gauss–Codazzi–Mainardi equations in the present setting.

4.1. Derivation of antisymmetric coefficients

Following the exposition in Clelland [clelland2017frenet], we derive the antisymmetric quantities that have previously been introduced by Ciarlet, Gratie, and C. Mardare [ciarlet2008new], but this time from the viewpoint of Cartan geometry.

Let $U\subset\mathbb{R}^{2}$ be open, connected, and simply connected and let $\theta:U\to(\mathbb{R}^{3},\langle\cdot\,,\cdot\rangle)$ be a smooth immersion whose image $\Sigma=\theta(U)$ is a regular surface. Furthermore, let $\tilde{\theta}:U\to E(3)$, $\tilde{\theta}(x)=(\theta(x);e_{1}(x),e_{2}(x),e_{3}(x))$, where $E(3)$ is the Euclidean group, be an adapted frame field. This means that for each $x\in U$, $(e_{1}(x),e_{2}(x),e_{3}(x))$ is an oriented orthonormal basis of $T_{\theta(x)}\mathbb{R}^{3}$ and $e_{3}(x)$ is orthogonal to $T_{\theta(x)}\Sigma$.

We define scalar-valued one-forms $(\omega^{i},\omega^{i}_{j})$ on $E(3)$ by

[TABLE]

They have the properties

[TABLE]

and they satisfy the Cartan structure equations

[TABLE]

The Maurer–Cartan form on $E(3)$ is given by

[TABLE]

and the Cartan structure equations are equivalent to the Maurer–Cartan equation

[TABLE]

The one-forms $(\omega^{i},\omega^{i}_{j})$ are collectively referred to as Maurer–Cartan forms as well.

Let $(\bar{\omega}^{i},\bar{\omega}^{i}_{j})=(\tilde{\theta}^{*}\omega^{i},\tilde{\theta}^{*}\omega^{i}_{j})$ be the pullbacks on $U$. Then $\bar{\omega}^{3}=0$ and $\bar{\omega}^{1}$, $\bar{\omega}^{2}$ form a basis for the one-forms on $U$. The first fundamental form on $TU$ is given by

[TABLE]

and the second fundamental form by

[TABLE]

where $h_{11},h_{12},h_{22}$ are such that

[TABLE]

Hence

[TABLE]

Moreover, the Maurer–Cartan equation 4.5 is equivalent to the Gauss–Codazzi–Mainardi equations, which read in this notation as follows:

[TABLE]

If we write

[TABLE]

then we may define

[TABLE]

Now, given a metric $\bar{g}$ on $\Sigma$ and an orthonormal frame $e=(e_{1},e_{2},e_{3})$, we set

[TABLE]

Defining the frame $e^{\prime}=eg^{-1}$, which is orthonormal with respect to $g^{2}$, the Maurer–Cartan form in this frame is given by means of the gauge transformation

[TABLE]

which implies in components that

[TABLE]

Differentiating the orthonormality condition for the frame $e^{\prime}$ with respect to the metric $g^{2}$, we see that the connection coefficients $\Gamma^{\prime}_{i}$ must be antisymmetric.

4.2. Regularity of coefficients

Let $(a_{ij})\in W^{1,2}_{\mathrm{loc}}(U,\mathrm{Sym}^{+}(2))\cap L^{\infty}_{\mathrm{loc}}(U,\mathrm{Sym}^{+}(2))$ and $(b_{ij})\in L^{2}_{\mathrm{loc}}(U,\mathrm{Sym}(2))$ and define

[TABLE]

Since $W^{1,2}_{\mathrm{loc}}\cap L^{\infty}_{\mathrm{loc}}$ is an algebra, we see that

[TABLE]

Now assume in addition that the (positive) eigenvalues of $(a_{ij})$ are locally uniformly bounded away from zero, i. e., there exists $C>0$ such that $0<C<\lambda_{1}<\lambda_{2}$ almost everywhere in $K\subset\subset U$. Then $\det(a_{ij})^{-1}\in L^{\infty}_{\mathrm{loc}}$. Therefore, we have that $(a^{ij})\in L^{\infty}_{\mathrm{loc}}$. Moreover, the fact that

[TABLE]

implies that

[TABLE]

Hence

[TABLE]

Furthermore, by the boundedness of $(a^{ij})$ and as $(a_{ij})\in W^{1,2}_{\mathrm{loc}}$, we obtain that

[TABLE]

From the formula

[TABLE]

valid for any $A\in\mathrm{Sym}^{+}(2)$, we infer, using again $(a_{ij})\in W^{1,2}_{\mathrm{loc}}\cap L^{\infty}_{\mathrm{loc}}$ and the boundedness of the eigenvalues away from zero, that

[TABLE]

Finally, as $\Gamma_{i}\in L^{2}_{\mathrm{loc}}$ we conclude that

[TABLE]

It remains to show that each matrix $\Omega_{i}$ is antisymmetric. (The following argument is taken from the proof of Theorem 7 in Ciarlet, Gratie, and C. Mardare [ciarlet2008new].) Equivalently, we may show that

[TABLE]

is antisymmetric. By a direct computation, using the symmetry of $(a_{ij})$, we find that

[TABLE]

Here, as usual, $\Gamma_{ijk}=a_{k\ell}\Gamma_{ij}^{\ell}$. We thus compute

[TABLE]

whereby, indeed, $\Omega_{i}\in\mathrm{so}(3)$.

Therefore, we have shown that if $(a_{ij})\in W^{1,2}_{\mathrm{loc}}(U,\mathrm{Sym}^{+}(2))\cap L^{\infty}_{\mathrm{loc}}(U,\mathrm{Sym}^{+}(2))$ and $(b_{ij})\in L^{2}_{\mathrm{loc}}(U,\mathrm{Sym}(2))$ are given and the eigenvalues of $(a_{ij})$ are locally uniformly bounded from below then $\Omega\in L^{2}_{\mathrm{loc}}(U,\mathrm{so}(3)\otimes\wedge^{1}\mathbb{R}^{2})$.

4.3. Optimal regularity theorem

We are now in a position to prove the optimal regularity case of the fundamental theorem of surface theory. By and large, we follow the proof of the corresponding Theorem 7 in Ciarlet, Gratie, and C. Mardare [ciarlet2008new].

Proof of Theorem 3.

We have shown in the previous section that $\Omega\in L^{2}(U,\mathrm{so}(3)\otimes\wedge^{1}\mathbb{R}^{2})$ and by assumption the compatibility equation is satisfied. Therefore, by Theorem 1, there exists $P\in W^{1,2}_{\mathrm{loc}}(U,\mathrm{SO}(3))$ such that

[TABLE]

Let $G_{(i)}=g_{i}$ denote the $i$-th column of $G$. We know that $P\in W^{1,2}_{\mathrm{loc}}$ and $G\in W^{1,2}_{\mathrm{loc}}\cap L^{\infty}_{\mathrm{loc}}$. Furthermore, as $P\in\mathrm{SO}(3)$, $P$ is essentially bounded. Thus we conclude that $Pg_{i}\in W^{1,2}_{\mathrm{loc}}\cap L^{\infty}_{\mathrm{loc}}$.

In order to apply Lemma 5, we require that

[TABLE]

As $\partial_{i}P=P\Omega_{i}$ and $P\in\mathrm{SO}(3)$, we obtain

[TABLE]

which is equal to zero if and only if

[TABLE]

where $e_{i}$ denotes the $i$-th unit vector in $\mathbb{R}^{3}$. Since $\Gamma_{ij}^{k}=\Gamma_{ji}^{k}$ and $b_{ij}=b_{ji}$, it follows that

[TABLE]

As a result, by Lemma 5, there exists $\theta\in W^{1,2}_{\mathrm{loc}}(U,\mathbb{R}^{3})$ such that

[TABLE]

in $L^{2}_{\mathrm{loc}}$. Since $Pg_{i}\in W^{1,2}_{\mathrm{loc}}$, we conclude that in fact $\theta\in W^{2,2}_{\mathrm{loc}}(U,\mathbb{R}^{3})$. Moreover, as the vectors $Pg_{i}$ are linearly independent, the map $\theta$ is an immersion.

Defining $F:=PG\in W^{1,2}_{\mathrm{loc}}\cap L^{\infty}_{\mathrm{loc}}$ and $f_{i}=F_{(i)}$ (here, $i=1,2,3$), we have that

[TABLE]

Thus

[TABLE]

whence

[TABLE]

and the matrix field $(a_{ij})$ is indeed the first fundamental form of the surface $\theta(U)$.

Furthermore, it is clear that $f_{i}^{T}f_{3}=\delta_{i3}$, $i=1,2,3$. Therefore, taking into account that $F$ is positive definite almost everywhere, it follows that

[TABLE]

Meanwhile, we compute

[TABLE]

As a result, we obtain that

[TABLE]

whereby the matrix field $(b_{ij})$ is the second fundamental form of $\theta(U)$.

Regarding the question of uniqueness of the immersion thus obtained, we note that by Theorem 1, the matrix field $P$ is unique up to a multiplicative constant $C\in\mathrm{SO}(3)$, while the function $\theta$ that results from the application of Lemma 5 is unique up to an additive constant $b\in\mathbb{R}^{3}$. Therefore, any two immersions $\theta$, $\tilde{\theta}$ constructed by means of the above procedure are related by

[TABLE]

and the proof is complete. ∎

4.4. Equivalence of compatibility conditions

By means of a direct computation, we argue that Eq. 1.2 is equivalent to the Gauss–Codazzi–Mainardi equations.

Proposition 7**.**

In the $W^{2,2}_{\mathrm{loc}}$-setting of Theorem 3, the compatibility condition in Eq. 1.2 is necessary and sufficient for the Gauss–Codazzi–Mainardi equations to hold.

Proof.

Assuming the compatibility condition, we have shown the existence of a $W^{2,2}_{\mathrm{loc}}$-immersion with associated first and second fundamental forms $(a_{ij})$, $(b_{ij})$ which necessarily satisfy the Gauss–Codazzi–Mainardi equations in the distributional sense.

Moreover, we have

[TABLE]

if and only if

[TABLE]

Therefore, the compatibility condition is equivalent to

[TABLE]

On the other hand, in Mardare [mardare2005pfaff], it has been shown that these equations are indeed equivalent to the Gauss–Codazzi–Mainardi equations, understood in the sense of distributions. We note that their argument readily carries over to the present $p=2$ case. ∎

5. A Weak Compactness Theorem for Immersions in the Class $W^{2,2}_{\mathrm{loc}}$

In order to prove the weak compactness theorem, we first show a corresponding statement for the Pfaffian system $\nabla P=P\Omega$.

Lemma 8**.**

Let $\{\Omega^{k}\}\subset L^{2}(U,\mathrm{so}(3)\otimes\wedge^{1}\mathbb{R}^{2})$ be a sequence such that $\Omega^{k}\rightharpoonup\Omega$ in $L^{2}$ as $k\to\infty$ and suppose that $\Omega^{k}$ satisfies the compatibility condition for every $k$. Then, up to the choice of a subsequence, there exists a sequence $\{P^{k}\}\subset W^{1,2}_{\mathrm{loc}}(U,\mathrm{SO}(3))$ of solutions to the equation $\nabla P^{k}=P^{k}\Omega^{k}$ such that $P^{k}\rightharpoonup P$ in $W^{1,2}_{\mathrm{loc}}$ as $k\to\infty$ and $\nabla P=P\Omega$.

Proof.

By Theorem 1, there exists a sequence $\{P^{k}\}\subset W^{1,2}_{\mathrm{loc}}(U,\mathrm{SO}(3))$ such that, for each $k$, $\partial_{i}P^{k}=P^{k}\Omega_{i}^{k}$ and $\lVert\nabla P^{k}\rVert_{L^{2}_{\mathrm{loc}}}\leq C\lVert\Omega^{k}\rVert_{L^{2}_{\mathrm{loc}}}$. Then, as $P^{k}\in\mathrm{SO}(3)$ and $\{\Omega^{k}\}$ is uniformly bounded in $L^{2}_{\mathrm{loc}}$, so are $\{P^{k}\}$ and $\{\nabla P^{k}\}$. As a result, there exists a subsequence, still denoted $\{P^{k}\}$, that converges weakly to some $P$ in $W^{1,2}_{\mathrm{loc}}$, and strongly in $L^{2}_{\mathrm{loc}}$. It remains to show that $\nabla P=P\Omega$. We know that $\nabla P^{k}\rightharpoonup\nabla P$ in $L^{2}_{\mathrm{loc}}$. Moreover, since $P^{k}\to P$ and $\Omega^{k}\rightharpoonup\Omega$ in $L^{2}_{\mathrm{loc}}$ we infer that the product sequence $P^{k}\Omega^{k}$ is weakly convergent to some $v$ in $L^{1}_{\mathrm{loc}}$. On the other hand, since $P^{k}\Omega^{k}=\nabla P^{k}$ for every $k$, we must have for every $\varphi\in L^{\infty}_{\mathrm{loc}}\subset L^{2}_{\mathrm{loc}}$ that

[TABLE]

whereby $v=P\Omega$, by the uniqueness of weak limits, and thus $\nabla P=P\Omega$. ∎

Finally, we can prove Theorem 4.

Proof of Theorem 4.

Let such a sequence $\{\theta^{k}\}$ of immersions be given. Then we denote the corresponding sequences of first and second fundamental forms by $\{(a_{ij})^{k}\}$, $\{(b_{ij})^{k}\}$, respectively. By assumption, we have that $(a_{ij})^{k}\in W^{1,2}_{\mathrm{loc}}(U,\mathrm{Sym}^{+}(2))\cap L^{\infty}_{\mathrm{loc}}(U,\mathrm{Sym}^{+}(2))$ and $(b_{ij})^{k}\in L^{2}_{\mathrm{loc}}(U,\mathrm{Sym}(2))$. Moreover, for each $k$, we may define $\Omega_{i}^{k}\in L^{2}_{\mathrm{loc}}(U,\mathrm{so}(3))$ as in Section 4.2.

For each $k$, the $\Omega_{i}^{k}$ necessarily satisfy the compatibility equation, Eq. 1.2 (the proof of Theorem 1 of Ciarlet, Gratie, and C. Mardare [ciarlet2008new] carries over to the present $p=2$ case). Furthermore, it is straightforward to see from the estimates in Section 4.2 that the sequence $\{\Omega_{i}^{k}\}$ is uniformly bounded in $L^{2}_{\mathrm{loc}}$ and thus subsequentially weakly convergent to some limit $\Omega_{i}\in L^{2}_{\mathrm{loc}}(U,\mathrm{so}(3))$. By Lemma 8, therefore, up to the choice of a subsequence, there exists a sequence $\{P^{k}\}\subset W^{1,2}_{\mathrm{loc}}(U,\mathrm{SO}(3))$ of solutions to the equation $\nabla P^{k}=P^{k}\Omega^{k}$ such that $P^{k}\rightharpoonup P$ in $W^{1,2}_{\mathrm{loc}}$ as $k\to\infty$ and $\nabla P=P\Omega$. Since $\partial_{j}\partial_{i}P=\partial_{i}\partial_{j}P$ we thus have that $\partial_{j}(P\Omega_{i})=\partial_{i}(P\Omega_{j})$, which shows after a short computation that the compatibility equation is satisfied by the weak limit $\Omega_{i}$.

At the same time, the uniformly bounded sequences $\{(a_{ij})^{k}\}$, $\{(b_{ij})^{k}\}$ possess subsequences that are weakly convergent to some $(a_{ij})$, $(b_{ij})$ in $W^{1,2}_{\mathrm{loc}}$ and $L^{2}_{\mathrm{loc}}$, respectively. They satisfy $(a_{ij})\in W^{1,2}_{\mathrm{loc}}(U,\mathrm{Sym}^{+}(2))\cap L^{\infty}_{\mathrm{loc}}(U,\mathrm{Sym}^{+}(2))$ and $(b_{ij})\in L^{2}_{\mathrm{loc}}(U,\mathrm{Sym}(2))$ and the eigenvalues of $(a_{ij})$ are uniformly bounded from below in $U$. As a result, we have that $\Omega_{i}$ and the components of the connection form induced by $(a_{ij})$ and $(b_{ij})$ coincide. Hence we obtain from Theorem 3 an immersion $\theta\in W^{2,2}_{\mathrm{loc}}(U,\mathbb{R}^{3})$ with first and second fundamental forms $(a_{ij})$ and $(b_{ij})$, respectively. On the other hand, the given sequence $\{\theta^{k}\}$ must have a weakly convergent subsequence in $W^{2,2}_{\mathrm{loc}}$ with a weak limit $\bar{\theta}$, which coincides with the immersion $\theta$ due to the uniqueness of distributional limits. ∎