## 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}\).

### Similar content being viewed by others

## 1 Introduction

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

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

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 = C P_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 [5] showed that the above existence result holds if the given form \(\Omega \) is continuous, with a continuously differentiable solution *P*. Following this, Mardare [7, 8] 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 [8]. 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 [4, 12, 14] have been markedly successful in that regard. In particular, in his 2007 paper, Rivière [12] provided a proof of the regularity of two-dimensional weakly harmonic maps, from which we recall an important intermediate result:

### Lemma 2

(Rivière [12], Lemma A.3; Schikorra [13]) 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

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 [12] are quite involved, Schikorra [13] 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

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 Sect. 4.2:

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

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 [5, 7, 8], 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 \ge 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 et al. [2], 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 [1]. 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 [6] and the references therein.

This paper is structured as follows: In Sect. 2 we introduce the notation that is used throughout this article. After that, we prove in Sect. 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 Sect. 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 [2, 8]. In Sect. 5, finally, we conclude the paper by demonstrating the weak compactness of \(W^{2,2}_\mathrm {loc}\)-immersions.

## 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 \rightarrow \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) \le \dots \le \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}'(U)\) for the space of distributions over *U*. As usual, we denote the Lebesgue spaces by \(L^p(U)\), \(1 \le p \le \infty \), and the Sobolev spaces of (equivalence classes of) weakly differentiable functions by \(W^{k,p}(U)\), \(k=0,1,\dots \), \(1 \le p \le \infty \). The closure of \(\mathcal {D}(U)\) in \(W^{1,2}(U)\) is denoted by \(W^{1,2}_0(U)\). Furthermore, we write

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 [9], Theorem 6.5) Let *U* be a connected and simply connected open subset of \(\mathbb {R}^2\) and let \(p \ge 1\). Let \(f_i \in L^p_\mathrm {loc}(U)\), \(i=1,2\), be functions that satisfy

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

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\),

that is, assuming the summation convention,

## 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

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

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

### 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

We obtain, using the compatibility equation (3.1),

whence

and thus

or equivalently

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 [15], thanks to the fact that, by a result of Müller and Schikorra [11], \(\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

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

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)\). \(\square \)

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 [10], 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 [3], we derive the antisymmetric quantities that have previously been introduced by Ciarlet et al. [2], 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 \rightarrow (\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 \rightarrow 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

They have the properties

and they satisfy the Cartan structure equations

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

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

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

and the second fundamental form by

where \(h_{11}, h_{12}, h_{22}\) are such that

Hence

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

If we write

then we may define

Now, given a metric \({{\bar{g}}}\) on \(\Sigma \) and an orthonormal frame \(e = (e_1, e_2, e_3)\), we set

Defining the frame \(e' = 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

which implies in components that

Differentiating the orthonormality condition for the frame \(e'\) with respect to the metric \(g^2\), we see that the connection coefficients \(\Gamma '_i\) must be antisymmetric.

### 4.2 Regularity of Coefficients

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

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

Now assume in addition that the (positive) eigenvalues of \((a_{i j})\) 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_{i j})^{-1} \in L^\infty _\mathrm {loc}\). Therefore, we have that \((a^{i j}) \in L^\infty _\mathrm {loc}\). Moreover, the fact that

implies that

Hence

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

From the formula

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

Finally, as \(\Gamma _ i \in L^2_\mathrm {loc}\) we conclude that

It remains to show that each matrix \(\Omega _ i\) is antisymmetric. (The following argument is taken from the proof of Theorem 7 in Ciarlet et al. [2].) Equivalently, we may show that

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

Here, as usual, \(\Gamma _{i j k} = a_{k \ell } \Gamma _{i j}^\ell \). We thus compute

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 et al. [2].

### 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

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 \(P g_ i \in W^{1,2}_\mathrm {loc}\cap L^\infty _\mathrm {loc}\).

In order to apply Lemma 5, we require that

As \(\partial _ i P = P \Omega _ i\) and \(P \in \mathrm {SO}(3)\), we obtain

which is equal to zero if and only if

where \(e_i\) denotes the *i*-th unit vector in \(\mathbb {R}^3\). Since \(\Gamma _{i j}^k = \Gamma _{j i}^k\) and \(b_{i j} = b_{j i}\), it follows that

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

in \(L^2_\mathrm {loc}\). Since \(P g_ 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 \(P g_ 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

Thus

whence

and the matrix field \((a_{i j})\) 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

Meanwhile, we compute

As a result, we obtain that

whereby the matrix field \((b_{i j})\) 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

and the proof is complete. \(\square \)

### 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

if and only if

Therefore, the compatibility condition is equivalent to

On the other hand, in Mardare [8], 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. \(\square \)

## 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 \rightarrow \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 \rightarrow \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 \(\Vert \nabla P^k\Vert _{L^2_\mathrm {loc}} \le C \Vert \Omega ^k\Vert _{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 \rightarrow 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

whereby \(v = P \Omega \), by the uniqueness of weak limits, and thus \(\nabla P = P \Omega \). \(\square \)

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 Sect. 4.2.

For each *k*, the \(\Omega _i^k\) necessarily satisfy the compatibility equation, Eq. (1.2) (the proof of Theorem 1 of Ciarlet et al. [2] carries over to the present \(p=2\) case). Furthermore, it is straightforward to see from the estimates in Sect. 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 \rightarrow \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. \(\square \)

## References

Chen, G.-Q.G., Li, S.: Global weak rigidity of the Gauss–Codazzi–Ricci equations and isometric immersions of Riemannian manifolds with lower regularity. J. Geom. Anal.

**28**(3), 1957–2007 (2018)Ciarlet, P.G., Gratie, L., Mardare, C.: A new approach to the fundamental theorem of surface theory. Arch. Ration. Mech. Anal.

**188**(3), 457–473 (2008)Clelland, J.N.: From Frenet to Cartan: The Method of Moving Frames. Graduate Studies in Mathematics, vol. 178. American Mathematical Society, Providence (2017)

Coifman, R., Lions, P.-L., Meyer, Y., Semmes, S.: Compensated compactness and Hardy spaces. J. Math. Pures Appl.

**72**(9), 247–286 (1993)Hartman, P., Wintner, A.: On the fundamental equations of differential geometry. Am. J. Math.

**72**(4), 757–774 (1950)Laurain, P., Rivière, T.: Optimal estimate for the gradient of Green’s function on degenerating surfaces and applications. Commun. Anal. Geom.

**26**(4), 887–913 (2018)Mardare, S.: The fundamental theorem of surface theory for surfaces with little regularity. J. Elast.

**73**(1–3), 251–290 (2003)Mardare, S.: On Pfaff systems with \(L^p\) coefficients and their applications in differential geometry. J. Math. Pures Appl.

**84**(12), 1659–1692 (2005)Mardare, S.: On systems of first order linear partial differential equations with \(L^p\) coefficients. Adv. Differ. Equ.

**12**(3), 301–360 (2007)Mardare, S.: On Poincaré and de Rham’s theorems. Rev. Roum. Math. Pures Appl.

**53**(5–6), 523–541 (2008)Müller, F., Schikorra, A.: Boundary regularity via Uhlenbeck–Rivière decomposition. Analysis (Munich)

**29**(2), 199–220 (2009)Rivière, T.: Conservation laws for conformally invariant variational problems. Invent. Math.

**168**(1), 1–22 (2007)Schikorra, A.: A remark on gauge transformations and the moving frame method. Ann. Inst. H. Poincaré Anal. Nonlinéaire

**27**(2), 503–515 (2010)Wente, H.C.: An existence theorem for surfaces of constant mean curvature. J. Math. Anal. Appl.

**26**(2), 318–344 (1969)Wente, H.C.: The differential equation \(\Delta x = 2H(x_u \wedge x_v)\) with vanishing boundary values. Proc. Am. Math. Soc.

**50**(1), 131–137 (1975)

## 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, Gianmichele Di Matteo for many interesting discussions, and the referee for their constructive and insightful comments.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Litzinger, F. Optimal Regularity for Two-Dimensional Pfaffian Systems and the Fundamental Theorem of Surface Theory.
*J Geom Anal* **31**, 2594–2610 (2021). https://doi.org/10.1007/s12220-020-00367-5

Received:

Published:

Issue Date:

DOI: https://doi.org/10.1007/s12220-020-00367-5