0
votes
0answers
27 views

Version of gauss theorem

I came across a statement which says that the version of Gauss-Theorem says that : $$\int_{\partial \Omega } f div_{\partial \Omega } v ds = - \int_{\partial \Omega} v \cdot \nabla^{\tau} f ds + ...
1
vote
0answers
49 views

Norm equivalence of p-forms

Let $U$ be a bounded domain in the Euclid space $(\mathbb{R}^d,g)$. $g_{\wedge^p}$ denotes the fiber metric of $\wedge^pT^{\ast}\mathbb{R}^d$ derived from $g$. $A^p$ denotes the set of p- forms on ...
1
vote
1answer
100 views

The relation between geodesics and distances on a Riemannian manifold

My question is about computing the distance between two points in a Riemannian manifold. Suppose that $(M,g)$ is compact so that it is geodesically complete and geodesically convex. Let ...
0
votes
0answers
26 views

Variation on Fubini's Theorem

My attempt: Let $P_1$ be a regular partition of $R_1$ and $P_2$ a regular partition of $R_2$. Denote by $P$ the corresponding regular partition of $R_1\times R_2$. Given a generalized rectangle ...
1
vote
0answers
33 views

Definition of a Regular Partition of a Closed Generalized Rectangle in $\mathbb R^n$

What the heck does this definition of a regular partition $P$ of $R$ mean? I follow what it is saying until we get to the last part, "the $k_1\cdot k_2\cdot \cdots \cdot k_n$ subrectangles of the ...
5
votes
1answer
199 views

showing zero curvature implies a line

How can I show that a given (not necessarily unit-speed) parametrization $\gamma(t)$ of a curve in $\mathbb{R}^3$ which exhibits zero curvature is a line ? What I know is that zero curvature means ...
1
vote
1answer
127 views

curvature of space curve

I am slightly confused by the following curve $\gamma(t) = (e^t,0,0)$ in $\mathbb{R}^3$. Its curvature, defined as $$ \kappa(t) = \frac{\|\dot \gamma(t) \times \ddot \gamma(t)\|}{\|\dot \gamma(t)\|^3} ...
7
votes
1answer
435 views

Directional derivative of vector field

I am trying to compute the directional derivative of a vector field $V$ along a direction $U$. Actually, my vector field is initially only defined on a curve $\gamma(t)$ in a Riemannian manifold $(M, ...
2
votes
1answer
44 views

What are $\partial/\partial f^j$ in Jost's definition of the differential mapping?

Let $M$ be a $d$-manifold and $x_0=(x^1,x^2,\cdots, x^d)\in M$, Jost defines the tangent space at $x_0$ to be \begin{equation}\{x_0\}\times \operatorname{span}\left\{\frac{\partial}{\partial ...
2
votes
1answer
50 views

Equivalence of two definitions of path (in $\mathbb{R}^3$) length

In a previews question I asked here I used the following definition of path length:$\gamma=(x(t),y(t),z(t))$ : $L(\gamma)=\intop_{a}^{b}\sqrt{(x'(t))^{2}+(y'(t))^{2}+(z'(t))^{2}}$. In the answer ...
6
votes
1answer
309 views

Coordinate-free differentiation techniques in Riemannian geometry

I encountered the following identities while reading this article on global calculus (p. 10): $$ d(\|df\|^2)=2\mathop{\iota_{\mathop{\mathrm{grad}} f}} \mathop{\mathrm{Hess}} f, $$ $$ ...