4
$\begingroup$

I came across the following simple definition

A path $\gamma$ in $\mathbb{R}^n$ that connects the point $a \in \mathbb{R}^n$ to the point $b \in \mathbb{R}^n$, is a continuous $\gamma : [0, 1] \to \mathbb{R}^n$ such that $\gamma(0) = a$ and $\gamma(1) = b$. We denote by $\ell(\gamma)$ the (Euclidean) length of $\gamma$. $\ell(\gamma)$ is always defined and is either a non-negative realnumber or $\infty$.

However, I cannot seem to think of a path, defined in this manner (specifically, where the domain is compact), the length of which is infinite. Can anyone provide an example ?

  • 0
    I wonder whether the intention was to look at the situation for which the length $\ell(t)$ of the curve is defined and finite for [0,t] and tends to $\infty$ as $t$ tends to 1.2012-08-27

3 Answers 3

5

Let me start with an example of the infinite-length path. Consider any nowhere-differentiable curve that connects points $a$ and $b$. For example, let $a = (0,f(0))$ and $b = (1,f(1))$ where $f$ is the Weierstrass function. Consider $\gamma(t) = (t,f(t))$ for $t\in[0,1]$. Then the length of $\gamma$ is infinite.

Note, however, that any $\gamma$ compact (as you mentioned) and hence bounded in $\Bbb R^n$. Due to this reason, the only cause for the infinite-length can come from local behaviour of the path, not from the global one - i.e. for $\gamma$ it is not possible to go "too far away" from points $a$ and $b$.

Finally, note that path of the infinite length are "more probable" than those of the finite length in the sense that Brownian motion (which, btw, ranges over the space of continuous curves) is nowhere-differentiable with probability $1$.

  • 0
    @Teddy: well, that's true. I would be also interested to know if point-wise differentiability of $\gamma$ is sufficient.2012-08-27
4

$\ell(\gamma)$ can still be infinite even if $\gamma$ is differentiable. Take any differentiable function $f:[0,1]->\mathbb R$ that is of unbounded variation; for instance, $f(x) = x^2\sin(1/x^2)$ (with $f(0) = 0$). Now just define $\gamma(t) = (t,f(t))$.

If $\gamma$ is continuously differentiable, on the other hand, then $d\gamma/dt$ is bounded on $[0,1]$, so $\ell(\gamma) = \int_0^1|d\gamma/dt|dt$ is finite.

Updated to show unbounded arc length:

$f$ crosses the $x$-axis at $x_n=(\pi n)^{-1/2}$ for $n = 1,2,3,...$ For large $n$, the arc length of the curve between $x_n$ and $x_{n+1}$ is about $2x_n^2 = 2/\pi n$, and is certainly greater than $1/\pi n$. So the total arc length is greater than $\sum_{n=1}^\infty1/\pi n$, which is unbounded.

  • 0
    You are right, I am a Mathematica noob and entered the integral incorrectly.2012-08-27
2

Yes, for instance Koch snowflake is a such example. Let's do the following construction:

  1. Start with the segment $A_0 = [0,1]$.
  2. Subdivise $A_0$ in three equal pieces.
  3. Replace the middle third by an equilateral triangle with base $[\frac13, \frac23]$.
  4. Suppress the base of that triangle. You get the path $A_1$ something which looks like a saw teeth.
  5. By induction, to construct $A_{n+1}$ replace each of the $4^n$ segments of $A_n$ by an equilateral triangle of base this segment, and then remove the segment.
  6. The limit object is a path (whose image is compact set) joining $0$ and $1$.

The length of $A_n$ is $\left( \frac43 \right)^n$ tends to $+\infty$ as $n \to +\infty$.

The Hausdorff dimensions is $\frac{\ln 4}{\ln 3} \approx 1.26$

The following picture summarize the construction.

http://www.cl.cam.ac.uk/~dao29/tmp/koch/geometric-construction.png