I'm reading a book on computer science/math and I found this formula for arc lengths that I've not been able to decipher: $$\left|\int_p^q\left\| {df(x)\over dx} \right\| dx\right|$$ where $\lVert \cdot\rVert$ is the Euclidean norm.
Bizarre formula for arc length
3
$\begingroup$
integration
norm
-
1I believe this is the arc length of a parametric curve $f:[p,q]\to \mathbb R^n$. You may be more familiar with the arc length of the graph of a function from $\mathbb R$ to $\mathbb R$, which can be realized as a special case. – 2012-09-01
-
0@AlexBecker Thanks! Any links to sites that explain this in details? – 2012-09-01
-
2@Alex is correct, though the more usual form I see is (omitting the limits) $$\int\|\mathbf f^\prime(u)\|\mathrm du$$ where the *vector-valued* nature of the function $\mathbf f$ is indicated by the use of boldface. – 2012-09-01
-
0Also, the absolute value outside isn't needed; things are set up such that the integral's value is nonnegative... – 2012-09-01
1 Answers
3
Yes that's the usual definition. It depends on your setting, for simplicity let's assume you are in $\mathbb R^n$. You need a scalar product (dot product) $< . >$ on $\mathbb R^n$ (seen as the tangent space at each point of the first $\mathbb R^n$). Then if $f : [a,b] \longrightarrow \mathbb R^n$ is a piecewise $\mathcal C^1$ curve, its length is defined by:
$$ \int_a^b \sqrt{ \Big< \frac{df}{dx}(x), \frac{df}{dx}(x) \Big>} dx $$
Notice that we ca take the square-root since $
-
0What is the tangent space? In the book it's $\mathbb R^2$. – 2012-09-01
-
0Ok, so forget it. In the case of $\mathbb R^n$ it's not really needed. This notion is useful in more general settings: Manifolds. Given a point $p$ on the image of your curve $\mathcal C$ (the set $f([a,b]) \subset \mathbb R^2$, the tangent space $T_p \mathcal C$ of $\mathcal C$ at $p$ is the set of all possible speeds a point moving along the curve can have at the point $p$ (all tangent vectors at $p$). So this space is juste a line tangent to $\mathcal C$ at $p$, a copy of $\mathbb R$. – 2012-09-01