24
$\begingroup$

I am struggling with the concept of parameterizing curves. I am not even sure if I know what it means so I tried to look some things up.

On Wikipedia it says:

Parametrization is... the process of finding parametric equations of a curve, a surface, or, more generally, a manifold or a variety, defined by an implicit equation. The inverse process is called implicitization.

Since I didn't know what a parametric equation was I also looked that up:

In mathematics, parametric equations of a curve express the coordinates of the points of the curve as functions of a variable, called a parameter. For example,

\begin{align} x&=\cos t\\ y&=\sin t \end{align} .

So, basically I have some curve and I want to make up some equation that describes that curve? But doesn't this get very difficult if you don't have simple circles or spirals?

Maybe someone can explain to me what's going on here.

Thanks in advance.

$\endgroup$
  • 1
    $\begingroup$ A parameterized curve is a smooth mapping $c : I \subset \mathbb R \rightarrow \mathbb R^n$ from a subset of the real numbers into the $\mathbb R^n$. For example, the curve $c(t) = (\cos(t), \sin(t))$ is a smooth mapping from $\mathbb R \rightarrow \mathbb R^2$. It's graph is a the unit circle. If you want to find out more about parameterized curves and how to construct them, I can recommend "Curves and Surfaces for Computer Graphics" by David Salomon, which you can find online. $\endgroup$ – TheWaveLad Apr 25 '15 at 16:43
  • $\begingroup$ maths.kisogo.com/index.php?title=Parametrisation $\endgroup$ – Alec Teal Apr 26 '15 at 9:03
32
$\begingroup$

The idea of parameterization is that you have some equation for a subset $X$ of a space (often $\mathbb{R}^n$), e.g., the usual equation $$x^2 + y^2 = 1$$ for the unit circle $C$ in $\mathbb{R}^2$, and you want to describe a function $\gamma(t) = (x(t), y(t))$ that traces out that subset (or sometimes, just part of it) as $t$ varies.

With a parameterization in hand, you can then specify a point on $X$ just by giving a single value of $t$, which corresponds to the point $\gamma(t)$ on $X$. One can still give points on $X$, say, $(x, y)$, directly, of course, but this has the disadvantage that often one needs to check that a given point $(x, y)$ is on $X$, that is, that it satisfies the equation defining $X$, whereas by construction a point $\gamma(t)$ is always on $X$. Provided that the function $\gamma(t)$ traces out all of $X$, we say that $X$ is the image of $\gamma$.

In your example, we can parameterize the unit circle $C$ by the parametric function $$\gamma(t) = (x(t), y(t)) := (\cos t, \sin t).$$ We can check that the points specified by $\gamma(t)$ really do lie on $C$ just by substituting $\cos t$ for $x$ and $\sin t$ for $y$; indeed: $$(\cos t)^2 + (\sin t)^2 = 1.$$ It's not too hard to show that $\gamma$ actually traces out the full circle $t$ (in fact, this is an immediate consequence of the usual geometric definitions of $\cos$ and $\sin$). Note too that this parameterization traces over the circle infinitely many times, and in particular, there is more than one $t$ value corresponding to any point on the circle. In fact, since the components $\cos t$ and $\sin t$ of $\gamma(t)$ have period $2 \pi$, we have $\gamma(t + 2\pi) = \gamma(t)$ for all $t$.

There are many other parameterizations for all or part of the circle, too, and which is best depends on the context. Substituting the components in $x^2 + y^2 = 1$ (try this!) shows that for all $t$, $$\alpha(t) := \left(\frac{2t}{t^2 + 1}, \frac{t^2 - 1}{t^2 + 1}\right)$$ is on the unit circle, and with some more work we can show that (1) $\alpha$ traces out the full circle with the single exception of the point $(0, 1)$ (because we have $\frac{t^2 - 1}{t^2 + 1} < 1$ for all $t$), and (2) it is injective, that is, it only traces over the (punctured) circle once. This parameterization looks qualitatively different from the trigonometric parameterization $\gamma(t)$ above, but they are related by a clever and important change of variable related to Pythagorean triples and which proves to be extremely helpful in evaluating certain integrals.

One can, by the way, also parameterize surfaces (and even higher-dimensional objects); the most important difference is that (at least sensible) parameterizations of surfaces require two parameters, as a consequence of the fact that on surfaces one can move in two independent directions. A simple example is the parameterization ${\bf r}(\phi, \theta)$ of the unit sphere $$x^2 + y^2 + z^2 = 1$$ by latitude $\phi$ and longitude $\theta$: $${\bf r}(\phi, \theta) := (\cos \phi \cos \theta, \cos \phi \sin \theta, \sin \phi).$$ When giving latitude an longitude of a point on Earth, we typically specify points with latitude $-90^{\circ} \leq \phi \leq 90^{\circ}$ and longitude $-180^{\circ} \leq \theta \leq 180^{\circ}$. (Here, points with $\phi = 0^{\circ}$ comprise the equator, and points with $\theta = 0^{\circ}$ the "prime meridian").

Many common shapes (lines, circles, other conic sections, planes, spheres, etc.) have well-known parameterizations, and graphs of functions $\mathbb{R}^m \to \mathbb{R}^n$ have canonical parameterizations that are easy to write down, but like you say, for sufficiently complicated shapes parameterization can be a very difficult problem.

$\endgroup$
  • 1
    $\begingroup$ Possible spelling correction: The 4th word in the 9th line should be "it" instead of "is". $\endgroup$ – MrAP Nov 9 '17 at 14:35
  • $\begingroup$ @MrAP Fixed, ty! $\endgroup$ – Travis Nov 9 '17 at 16:20
9
$\begingroup$

Often a curve $\gamma$ in the plane is defined as the set of points $(x,y)$ satisfying a certain geometric or algebraic condition. An example is $$\gamma:=\bigl\{(x,y)\>\bigm|\>{x^2\over a^2}+{y^2\over b^2}=1\bigr\}\ ,\tag{1}$$ whereby the values of $a>0$ and $b>0$ are given. Such a description is implicit; it just provides a quick test whether a trial point $(x,y)$ is lying on $\gamma$ or not.

When we really want to geometrically analyze the curve $\gamma$, which means calculating its length or the enclosed area, etc., then we need a parametric representation. This is a production scheme that produces all points of $\gamma$ in a systematic and analytically manageable way. In this way the points of the curve $\gamma$ in $(1)$ are produced by the vector-valued function $$t\mapsto\left\{\eqalign{x(t)&:=a\cos t\cr y(t)&:=b\sin t\cr}\right.\qquad(0\leq t\leq 2\pi)\tag{2}$$ in a $1:1$ way, whereby $t=0$ and $t=2\pi$ produce the same point.

Since an implicit representation of a curve $\gamma: \>F(x,y)=0$ does not determine a parametric representation (a "timetable") $t\mapsto\bigl(x(t),y(t)\bigr)\>$ in an unique way there is no automatic procedure (like multiplication of two polynomials, or calculating a derivative) that generates a parametric representation from an equation $F(x,y)=0$; whence experience and intuition is asked for. Sometimes you can solve such an equation for $y$ and obtain a representation as a graph in the form $x\mapsto\bigl(x, y(x)\bigr)\>$.

That deep mathematics is involved here can be seen from the following simple example: The innocent looking equation $x^2+y^2=1$ determines a curve $\gamma$ that encloses an area of $\pi$ and whose length is $2\pi$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.