3
$\begingroup$

Assume that $V$ is a vector field on a Riemannian manifold $(M,g)$ with natural volume form $\Omega$ arising from $g$. Assume that the solution curves of $V$ are parametrized geodesics of the Riemannian metric $g$.

Is it true to say that the space of harmonic functions is invariant under the derivational operator $D(f)=V.f=df(V)$?

The question is related to the following post

Vector Fields in a Riemannian Manifold

$\endgroup$
4
  • $\begingroup$ You mean $Vf = 0$? $\endgroup$ Aug 11, 2017 at 12:49
  • $\begingroup$ No, that is not true, but likely you made a mistake in formulation --- since you mention $\Omega$ , you probably wanted to use it... $\endgroup$ Aug 11, 2017 at 18:15
  • $\begingroup$ @AntonPetrunin $\Omega $ is used to define the Laplacian $\Delta=Div \circ \nabla$, so I think it is necessary and depend on the metric. but what is a counter example? $\endgroup$ Aug 11, 2017 at 18:17
  • $\begingroup$ @JohnMa No I do not mean "$Vf=0"$ $\endgroup$ Aug 11, 2017 at 18:18

1 Answer 1

1
$\begingroup$

Take a warped product $M=\mathbb S^1\times_f\mathbb S^1$ for a nonconstant smooth function $f$.

The horizontal vector field $V$ satisfies your condition, but for harmonic function is not invariant $f$, the function $Vf$ is not harmonic.

To see this, consider the $V$-flow $\Phi^t\colon M\to M$. If $Vf$ is always harmonic then so is $f\circ\Phi^t$ for any $t$. The latter fails evidently.

$\endgroup$
1
  • $\begingroup$ Thank you very much for your answer.I try to understand the details. $\endgroup$ Aug 11, 2017 at 18:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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