Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

(propose a free ad)

Let $M$ be a riemannian manifold and $M_k$ is the space of $k$-dimensional compact sub-manifolds. Let $f\in{\cal C}^{\infty}(M)$ be a smooth function over $M$ and $X\in TM_k$ a tangent vector of $M_k$ at $\tilde M$, $X=(X_x)_{x\in \tilde M} \in TM^{\tilde M}$. Define:

$$F(\tilde M)=\int_{\tilde M} f(x)dx$$

Then have we:

$$X(F)(\tilde M)=\int_{\tilde M} X_x(f)(x) dx $$

?

user contributions licensed under cc by-sa 3.0 with attribution required