This question came up when I was trying to find out the details about the existence of isothermal coordinates for surfaces.
Given a surface in $\mathbb{R}^3$, at least $C^2$ for simplicity, at any point on the surface, it is known that in a suitable coordinates around that point, one can always write the first fundamental form
$ds^2=Edu^2+Fdudv+Gdv^2$ as $ds^2=\gamma^{2} (dx^{2}+dy^{2})$
where E,F,G are (at least) $C^1$ functions of u and v, E and G are strictly positive, (x,y) is a new local coordinate system for the surface and $\gamma$ is a $C^1$ function of x and y.
I am aware of a proof which reduces to solving a Beltrami equation. See the related Wikipedia entry, for example. A more detailed proof can be found in this Chern's paper. Their conditions on the coefficients are less demanding than what I have here, but the setups are basically the same. Apart from the setups, the systems we considered are quite different.
Here is what I propose to do. It is well-known that an orthogonal coordinate exists, as can be shown using the existence of real integrating factor, which I will not show here.
We may without loss of generality assume the first fundamental form is in the form
$ds^2=Edu^2+Gdv^2$
expand right hand side as
$(\sqrt{E}du+\sqrt{G}idv)(\sqrt{E}du-\sqrt{G} idv)$
we wish to find a complex integrating factor $\mu=p+qi$ of $\sqrt{E}du+\sqrt{G}idv$. In other words, we want to find p, q $C^1$ of u,v, which are not both zero at the point in question, such that $dU= \mu (\sqrt{E}du+\sqrt{G}idv)$ for some $U=x+yi$.
Before going to the actual system, let's see how this would solve our problem, assuming such $\mu$ exists.
Clearly, $d\bar{U}=\bar{\mu}(\sqrt{E}du-i\sqrt{G}dv)$.
So we can write
$ds^2=\frac{1}{\left| \mu\right|^{2}}dUd\bar{U}$.
We claim $(u,v) \rightarrow(x,y)$ is a local diffeomorphism.
Indeed, by comparing real and imaginary part of $dU$, we get $dx=p\sqrt{E}du-q\sqrt{G}dv$ and $dy=q\sqrt{E}du+p\sqrt{G}dv$
so
$\det{\begin{vmatrix}x_u&x_v\\y_u&y_v\end{vmatrix}}=\sqrt{EG}(p^2+q^2)$ which is non-vanishing near the point in question by hypothesis.
Therefore, this is a change of coordinates, and in x, y we can write
$ds^2=\frac{1}{\left| \mu\right|^{2}}(dx^2+dy^2)$. Since this is true for all points on surface, this proves existence of local isothermal coordinates.
There remains of question of existence of such $\mu$.
I propose to solve the following system in a small enough ball around the point in question, and apply the Poincare's lemma.
We wish to find a pair of p,q making both of the real and imaginary parts of the first factor of $ds^2$ closed. This is equivalent to
$\sqrt{E}p_v + p\sqrt{E}_v + \sqrt{G}q_u+q\sqrt{G}_u=0$ and $-\sqrt{E}q_v-q\sqrt{E}_v+\sqrt{G}p_u+p\sqrt{G}_u=0$
The only condition is that p,q are not both zero at the point in question. This is a first order linear homogeneous elliptic system of two unknowns in the plane. Elliptic here just means, upon dividing by $\sqrt{E}$ we have a system $\vec{X_v}+A \vec{X_u}+B\vec{X}=0$ Where $\vec{X}=\begin{bmatrix}p\\ q\end{bmatrix}$, A, and B some real matrices whose entries are $C^1$ functions in $(u,v)$ and A is a matrix with no real eigen-vectors.This terminology is standard, it is consistent with the definition in the book of M.A. Lavrent'ev.
For the purpose of geometry, we only require existence of p,q in a neighborhood (however small it maybe), not both zero at the point in question. This will suffice for our purpose because of Poincare's lemma
I am not very familiar with the theory of system of pde, apart from the very simple hyperbolic systems as introduced in Evan's pde.The system I arrived at looks more complicated than the Beltrami's equation, but I still want to see if it works. The interest in doing it this way is to generalize the method used in showing the existence of orthogonal coordinates, where a real integrating factor can be used. The pde here is more complicated than Beltrami's equation because of the zero order terms. The method for hyperbolic system which uses diagonal forms in an essential way does not seem applicable for the problem system I have in my hand.
One should have some faith in this approach because:
- in the case of real analytic metric, some variant of Cauchy-Kowalevski's theorem will show the existence of p-q pair. This was known to Gauss.
- The form of the equation is simple, it is linear, homogeneous, first order, so it does not seem to permit a Lewy-kind of counterexamples.
- The demand is modest:we don't need well-posedness, only existence of solution which is non-vanishing at a point.
A lot of existing results focus almost exclusively on boundary-value problems. I looked at Wendland's "Elliptic Systems in the Plane", and some books by Gilbert and Bers. Nothing there seems to be directly applicable to my system.
So my questions are:
- Is this system asking too much? Can one hope for existence?
- If one were to try to prove existence under such "modest conditions", what kind of techniques should one learn?
Thanks.