3
$\begingroup$

Let $c$ be a $W^{1,2}$-curve into a (compact Riemannian) manifold $Q,$ defined on some open interval $I$. Let $t_0\in I$ and $\xi_0\in T_{c(t_0)}Q$ be arbitrary. I am looking for a citeable reference for the following statement: There is a unique $W^{1,2}$-vector field $\xi$ along $c$ satisfying

(i) $\nabla_{\dot{c}}\xi=0$ a.e. on $I$

(ii) $\xi(t_0)=\xi_0.$

Notice that the statement above could be deduced from the standard Picard-Lindelöf theorem if $c$ was sufficiently regular (i.e. e.g. $c$ was $C^1$).

$\endgroup$
7
  • $\begingroup$ $W^{1,2}$ means one derivative in $L_2$? $\endgroup$
    – Deane Yang
    Commented Oct 19, 2010 at 20:28
  • $\begingroup$ @Deane: That's correct! $\endgroup$
    – Orbicular
    Commented Oct 19, 2010 at 20:29
  • $\begingroup$ And you know how to prove it but would like a reference? $\endgroup$
    – Deane Yang
    Commented Oct 19, 2010 at 20:33
  • $\begingroup$ I know a 40 year old refence in German. There the authors claim the statement to be well-known (and still give a proof in the appendix). Hence I thought there might be an English reference as well (since I get the feeling - while reading the paper - that the statement is not original to the paper) $\endgroup$
    – Orbicular
    Commented Oct 19, 2010 at 20:41
  • 6
    $\begingroup$ Since $W^{1,2} \subset C^0$ and (i) is a linear first ODE, the usual rewrite-as-integral-equation proof seems to work and is rather straightforward. I don't recall seeing this written down anywhere, but, if I'm correct on this, it's easy to verify and summarize. $\endgroup$
    – Deane Yang
    Commented Oct 19, 2010 at 20:49

2 Answers 2

3
$\begingroup$

Since $W^{1,2} \subset C^0$ and the zero-th order term of (i) depends linearly on $\dot{c} \in L^2$, the usual rewrite-as-integral-equation proof seems to work and is rather straightforward. I don't recall seeing this written down anywhere, but it's easy to verify and summarize.

$\endgroup$
4
$\begingroup$

You will find a proof in Appendix D (Theorem D.1) of my book `A Tour of SubRiemannian Geometry'. It may not look like what you want at first glance, since that theorem is stated in a more general context, applicable to parallel transport in principal bundles. Take the vector fields $X_a$ there to be the standard framing of the horizontal space associated to the Levi-Civita connection, as viewed as a a distribution on the orthonormal frame bundle of your $Q$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .