3
$\begingroup$

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.

  • 1
    I 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
  • 0
    Also, the absolute value outside isn't needed; things are set up such that the integral's value is nonnegative...2012-09-01

1 Answers 1

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 $$ is positive for all $x \in \mathbb R^n$.

  • 0
    What is the tangent space? In the book it's $\mathbb R^2$.2012-09-01
  • 0
    Ok, 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