4
$\begingroup$

Given a 1D Riemannian manifold $\Gamma$ embedded in 2D Euclidean space (e.g. a parametric curve on a plane $\mathbb{R}^{2}$ ), and point $x_{0}\in \Gamma$, we denote $S^{1}(x_{0})$ the circle osculating $\Gamma$ at $ x_0$.

Denote also $ g = \lbrace g_{ij}\rbrace $ and $ h = \lbrace h_{ij}\rbrace $ the induced metric tensors of $\Gamma$ and $S^{1}(x_{0})$ respectively, with $ g^{ij} $ and $ h^{ij} $ their inverse matrices and $ G $, $ H $ their determinants.

My questions are:

  1. Are the values of induced metric tensors $ \lbrace g_{ij} \rbrace$ and $ \lbrace h_{ij} \rbrace $ equal at the point $x_0\in \Gamma$?

    • If yes, does it imply that for any linear (differential) operator defined on a manifold via metric tensor we will have the equality again? In particular, the Laplace-Beltrami operator: $ > \forall f \in \mathcal{C}^{\infty}(\mathbb{R}^{2}) $

$$ \Delta_{\Gamma} \,f := \dfrac{1}{\sqrt{G}} \partial_{i} \Big( \sqrt{G} g^{ij} \partial_{i} \,f \Big) \bigg|_{x=x_{0}} \color{red}{\stackrel{(?)}{=}} \dfrac{1}{\sqrt{H}} \partial_{i} \Big( \sqrt{H} h^{ij} \partial_{i} \, f \Big) \bigg|_{x=x_{0}} =: \Delta_{S^{1}(x_0)}\, f. $$

  1. If the answer for the previous question is yes, would it be possible to estimate the discrepancy of the values of these operators within the $ \varepsilon$-neighborhood of $ x_{0} $?

  2. Is it possible to have similar conclusions for the manifolds of higher dimensions?


Attempted solutions:

  1. Yes. Since the both $ g $ and $ h $ are defined as restriction Euclidean metric from $ \mathbb{R}^{2} $ to the tangent spaces of $\Gamma$ and $S^{1}(x_{0})$, we conclude that $g\big|_{x=x_0} = h\big|_{x=x_0}$ if and only if the tangent spaces of $\Gamma$ and $S^{1}(x_0)$ coincide at $ x_0 $. It follows from the definition of an osculating circle that the unit normal vectors of $\Gamma$ and $S^{1}(x_{0})$ at $ x_0 $ are equal, so as the tangent vectors. Does the equity of tangent vectors imply the equity of tangent planes though?

    • Yes, by definition? Or do we need to establish the proximity of operators not only at the point $ x_0 $, but also in some neighborhood?
  2. Consider a point $ x_1 \in \Gamma$ such that $ \big|x_0 - x_1\big|<\varepsilon $ for some $ \varepsilon>0 $. Given a linear (differential) operator $ \mathcal{F}_{\Omega} $ defined on a manifold $ \Omega $ in terms of its metric tensor, we want to estimate the norm of difference of operators $ \mathcal{F}_{\Gamma} $ and $ \mathcal{F}_{S^{1}(x_{0})} $ at the point $ x_1 $:

    $$ \bigg\| \mathcal{F}_{\Gamma}\big|_{x_1} - \mathcal{F}_{S^{1}(x_{0})}\big|_{x_1} \bigg\| = \sup_{ 0 \not\equiv f \in \mathcal{C}^{\infty}(\mathbb{R}^{2})} \Bigg\lbrace \dfrac{\Big\| \big[\mathcal{F}_{\Gamma} - \mathcal{F}_{S^{1}(x_{0})} \big]\big|_{x_1} f \Big\|}{\| f\|} \Bigg\rbrace , $$ where $ \big[\mathcal{F}_{\Gamma} - \mathcal{F}_{S^{1}(x_{0})} \big] \big|_{x_1} f = \big[\mathcal{F}_{\Gamma} \big] \big|_{x_1} f - \big[ \mathcal{F}_{S^{1}(x_{0})} \big] \big|_{x_1} f $.

    Here $ \big[\mathcal{F}_{\Gamma} \big] \big|_{x_1} $ and $ \big[ \mathcal{F}_{S^{1}(x_{0})} \big] f \big|_{x_1} $ denote the operator $ \mathcal{F} $ defined on $ \Gamma $ and $S^{1}(x_{0}) $ respectively, estimated at the point $ x_1 $ applied to a function $ f $. $$ \bigg\| \mathcal{F}_{\Gamma}\big|_{x_1} - \mathcal{F}_{S^{1}(x_{0})}\big|_{x_1} \bigg\| \leq \Big\| \mathcal{F}_{\Gamma}\big|_{x_1}\Big\| + \Big\| \mathcal{F}_{S^{1}(x_{0})}\big|_{x_1} \Big\| $$

    If we assume that the operator $ \mathcal{F} $ is defined as a linear combination of the entries of metric tensor matrix, i.e. $ \mathcal{F} : = a^{ij}g _{ij} $, then the norm

    $$ \Big\| \mathcal{F}_{\Gamma}\big|_{x_1} \Big\| \leq |a^{ij}| \cdot \big\|g _{ij}({x_1})\big\| = \big| a^{ij}g_{ij}(x_1) \big|, \quad i,j = \overline{1,2}. $$

    Since we are talking about Riemannian manifolds, we know that the metric tensor has to vary smoothly from point to point. If $ \Gamma $ can be parametrized in terms of its arclength $ s $ with $ s_0, s_1 $ corresponding to $ x_0,x_1 $ respectively, then we can apply Taylor expansion to every entry of the metric tensor:

    $$ g_{ij}(s_1) = g_{ij}(s_0) + (s_1 - s_0) \cdot \partial_{s} g_{ij}\big|_{s=s_1} + \frac{1}{2} (s_1 - s_0)^{2} \cdot \partial_{s}^{2} g_{ij}\big|_{s=s_1} + \dots $$ If there exists a constant $ C>0 $ such that $ | \partial_{s} g_{ij} | \leq C $ $ \forall i,j = 1,2 $, we get

    $$ \big\| g_{ij}(s_1) - g_{ij}(s_0)\big\| = C \varepsilon + \frac{1}{2} C^{2} \varepsilon^{2} + \dots \approx \mathcal{O}(C\varepsilon). $$

    If, in addition, we assume the existance of a constant $ A $ s.t. $ a^{ij}\leq A $, then

    $$ \Big\| \mathcal{F}_{\Gamma}\big|_{x_1} \Big\| \leq 4 A C\varepsilon, \quad \Big\| \mathcal{F}_{S^{1}(x_{0})}\big|_{x_1} \Big\| \leq 4 A C\varepsilon, $$ so that $$ \boxed{ \Big\| \mathcal{F}_{\Gamma}\big|_{x_1} - \mathcal{F}_{S^{1}(x_{0})}\big|_{x_1} \Big\| \leq 8 A C \varepsilon } $$

    Is there a way to obtain similar estimates for a wider class of linear operators $ \mathcal{F} $, and/or with less assumptions on the metric tensor?

  3. As for the manifolds of higher dimensions, I assume that we would have to reformulate the problem itself. For example, in order to generalize the problem for case of 2D surface in 3D Euclidean space we will have to use two principle curvatures and construct something like osculating ellipsoid (perhabs, an oblate spheroid) with its major and minor axis inverse proportional to the principle curvatures of the manifold. Similarly we can go over higher number of dimensions by osculating the manifold with an $ n $-dimensional ball stretched along the principle axis of the manifold.


I have already asked this question a while ago on math.stackexchange.com, but did not get an answer.

$\endgroup$
  • 1
    $\begingroup$ Any one-dimensional Riemannian manifold is locally isometric to the real line (via the arclength parametrization). In particular, their Laplace-Beltrami operators are the same up to coordinate change. Regarding the higher dimensions one should not expect much either. To gain intuition I suggest you work out the Laplace-Beltrami operator at the origin for the surfaces of revolution. $\endgroup$ – Igor Belegradek Jul 2 '15 at 10:02
5
$\begingroup$

The one-dimensional case is actually quite confusing so I will jump right to the general case.

Consider hypersurfaces $M_1,M_2\subset \mathbb{R}^{n+1}$ which make "order-two" contact at $0 \in \mathbb{R}^{n+1}$. Let me define this in the following way:

Order-two contact at $0$ means that (after rotating) we can find functions $u_1,u_2:B_\epsilon(0)\subset \{x^{n+1}=0\}\to \mathbb{R}$ so that locally, $M_i$ is the graph $\{(x,u_i(x)):x\in B_\epsilon(0)\}$. Moreover, $u_1$ and $u_2$ agree up to second order: $u_1(0) = u_2(0) = 0$, $Du_1(0) = Du_2(0) = 0$, and $D^2u_1(0)=D^2u_2(0)$.

It is a good exercise to check that this means that (1) $M_1$ and $M_2$ are tangent at $0$, with $T_0M_i=\{x^{n+1}=0\}$ and (2) the second fundamental form $A:Sym^2(T_0 M_i)\to\mathbb{R}$ are the same, after making the identification of the tangent planes as in (1). The second statement can be verified by deriving the formula for the second fundamental form of a graph.

Now, as you say, (1) implies that the metric tensors are the same at $0$ after we identify the tangent planes with $\{x^{n+1}=0\}$.

Now, as for the Laplacian, a very convenient formula to relate the hypersurface Laplacian to the intrinsic Laplacian is: $$ \tag{*}\Delta_{\mathbb{R}^{n+1}} f = \Delta_{M_i}f+D^2_{\mathbb{R}^{n+1}}f(\nu_{M_i},\nu_{M_i})+H_{M_i}df(\nu_{M_i}) $$ Here, $H_{M_i}$ is the mean curvature (i.e., the trace of the second fundamental form).


Here is a derivation of (*). Write $D$ for the Euclidean connection and $\nabla$ for the induced connection on $M$ (I will drop the $i$ here). Then, recall that the definition of the second fundamental form is $$ D_XY = \nabla_X Y - A(X,Y)\nu $$ Thus, the Euclidean Hessian and the $M$ Hessian are related as $$ D^2f(X,Y) = (Ddf)(X,Y) = X(df(Y)) - df(D_XY) = X(df(Y)) - df(\nabla_XY) + A(X,Y)df(\nu) = \nabla^2f(X,Y) +A(X,Y)df(\nu). $$ Now, the Laplacian is the trace of the Hessian. Note that the traces are over different spaces. Choose an orthonormal basis of $T_pM$ $e_1,\dots,e_n$ and complete it to an orthonormal basis of $T_p\mathbb{R}^{n+1}$ by adding $\nu$.

Thus, $$ \Delta_{\mathbb{R}^{n+1}} f = \sum_{i=1}^n D^2 f (e_i,e_i) +D^2f(\nu,\nu) = \sum_{i=1}^n \nabla ^2 f (e_i,e_i) +D^2f(\nu,\nu) + \sum_{i=1}^n A(e_i,e_i)df(\nu) = \Delta_M f +D^2f(\nu,\nu) + H_Mdf(\nu) $$ as claimed.


Putting (*) together with our previous claims (i.e., the normal vector and mean curvature must agree at $0$), we see that the Laplacians of $f$ restricted to $M_1$ and $M_2$ agree at $0$!


This answers everything but (3). I claim that $$|\Delta_{M_1}f(x)-\Delta_{M_2}f(y)|\leq C(|x|+|y|)$$ for $x,y$ sufficiently close to $0$, where $C$ depends on $M_i$ and on $f$. To see this, you may simply appeal to (*) and note that $\Delta_{\mathbb{R}^{n+1}}f$, $D^2_{\mathbb{R}^{n+1}}f$, $\nu_{M_i}$, $H_{M_i}$, and $df$, are all Lipschitz continuous, so their value at $x$ (rel. $y$) is close to their value at $0$, up to a factor of $|x|$ (rel. $y$).

$\endgroup$
  • $\begingroup$ Can you please explain where the formula $\,(*)\,$ comes from? I tried to verify it for the case of plane curve given as $\,y=f(x)\,$ using metric tensor definition of Laplace-Beltrami operator, but could not make the two match. $\endgroup$ – Vlad Nov 9 '15 at 4:36
  • $\begingroup$ I added a derivation, hope that helps. $\endgroup$ – Otis Chodosh Nov 9 '15 at 9:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.