Główna zawartość

## Analiza matematyczna funkcji wielu zmiennych

### Kurs: Analiza matematyczna funkcji wielu zmiennych > Rozdział 2

Lekcja 7: Pochodne cząstkowe funkcji wektorowych (artykuły)# Krzywizna

How do you measure how much a curve actually, you know, curves?

## Do czego zmierzamy

- The radius of curvature at a point on a curve is, loosely speaking, the radius of a circle which fits the curve most snugly at that point.
- The
**curvature**, denoted \kappa, is one divided by the radius of curvature. - In formulas, curvature is defined as the magnitude of the derivative of a unit tangent vector function with respect to arc length:Don't worry, I'll talk about each step of computing this value.
- The intuition here is that the unit tangent vector tells you which direction you are moving, and the rate at which it changes with respect to small steps d, s along the curve is a good indication of how quickly you are turning.

## Driving along a curve

Picture some curve in the x, y-plane. We'll treat everything with formulas in a bit, but for now, just think of the picture:

Imagine driving a car along this curve, and think of how much you would be turning the steering wheel at each point. At some points, the road hardly curves, and you are practically driving straight. At others, you have to turn the wheel quite a bit.

Now imagine that at some time while you drive, your steering wheel locks. If you were to keep driving with this locked steering wheel, not at all minding the fact that you're going off the road, your car would trace out some circle, like the one drawn in green below:

If the steering wheel was turned a lot when it froze, that circle would have a relatively small radius. If you were hardly turning at all, the circle would have a very large radius. The following animation shows what those various circles (drawn in green) might look like at different points on the curve. The radius of each circle is drawn in red.

We call the radius of the circle associated with each point the

**radius of curvature**at that point. It's a good way to measure how much a curve actually, you know,*curves*at each point. Another way to think about these circles is that they hug the curve more closely than any other circle would.Another important term is

**curvature**, which is just one divided by the radius of curvature. It's typically denoted with the funky-looking little \kappa symbol:**Concept check**: When a curve is very close to being a straight line, the curvature would be

## Computing curvature

Suppose you have the function which defines a curve in the x, y-plane. For example, the curve I used in the previous section is defined by the following vector-valued function:

This is the same thing as saying it is defined by the following parametric equations:

Computing curvature involves two broad steps:

#### Step 1: Find a unit tangent vector

A "unit tangent vector" to the curve at a point is, unsurprisingly, a tangent vector with length 1. In the context of a parametric curve defined by start bold text, s, end bold text, with, vector, on top, left parenthesis, t, right parenthesis, "finding a unit tangent vector" almost always means finding

*all*unit tangent vectors. That is to say, defining a vector-valued function T, left parenthesis, t, right parenthesis, which takes in the same parameter and spits out a unit vector which is tangent to the curve at the point start bold text, s, end bold text, with, vector, on top, left parenthesis, t, right parenthesis.#### Step 2: Find start fraction, d, T, divided by, d, s, end fraction

As you travel along the curve according to start bold text, s, end bold text, with, vector, on top, left parenthesis, t, right parenthesis, the unit vector changes direction whenever you turn. At sharp turns, it changes a lot, on relatively straight portions, it hardly changes at all. In fact, the curvature \kappa is

*defined*to be the derivative of the unit tangent vector function.However, it is not the derivative with respect to the parameter t, since that could depend on how quickly you are moving along the curve. It is the derivative with respect to tiny changes in

*arc length*, usually represent with the letter s.Typically, the way to compute this is by first taking the derivative of T with respect to t, then dividing it by vertical bar, vertical bar, start fraction, d, start bold text, s, end bold text, with, vector, on top, divided by, d, t, end fraction, vertical bar, vertical bar.

## Finding the unit tangent vector

Let's take a look at the function we had above:

If you read the article on differentiating vector-valued functions, you will know that the derivative of this function can be thought of as a velocity vector.

For example, if we evaluate the derivative we just calculated at a specific time, perhaps t, equals, pi, here's the vector we get:

Positioning this vector so that its tail sits on the point start bold text, s, end bold text, with, vector, on top, left parenthesis, pi, right parenthesis, where the particle is at time t, equals, pi, it represents the velocity of the particle at that time.

However, we must tweak this function, since we want

*unit*tangent vectors. For example, this particular tangent vector has length 2, and 2, does not equal, 1, start superscript, start color #0c7f99, start text, open bracket, c, i, t, a, t, i, o, n, space, n, e, e, d, e, d, close bracket, end text, end color #0c7f99, end superscript.**Concept check**: Given the formula I just showed for of start bold text, s, end bold text, with, vector, on top, prime, left parenthesis, t, right parenthesis,

what is the magnitude of this vector (as a function of time)?

**Concept check**: What is the unit vector pointing in the same direction as ? (This specific vector is not related to our problem at hand, this is just practice with unit vectors).

**Key question**:Which of the following represents the unit tangent vector of a curve parameterized by start bold text, s, end bold text, with, vector, on top (as a function of time)?

## Getting curvature from the unit tangent vector

Now we have an expression for the unit tangent vector as a function of time, which I'll denote with a capital T for tangent, (not to be confused with lower-case t for the parameter):

The curvature \kappa is the magnitude of the derivative of this unit tangent vector, but with respect to arc length s, not the parameter t.

Nevertheless, the typical way to compute this is to first differentiation T with respect to t, then to divide by the magnitude vertical bar, vertical bar, start bold text, s, end bold text, with, vector, on top, prime, left parenthesis, t, right parenthesis, vertical bar, vertical bar, which you can think of as start fraction, d, s, divided by, d, t, end fraction.

## Intuition

Let's pause for a moment to get an intuition for this. The derivative of T, left parenthesis, t, right parenthesis tells us how the unit tangent vector changes over time. Since it's always a

*unit*tangent vector, it never changes length, and only changes direction.At a particular time t, start subscript, 0, end subscript, you can think of the vector start fraction, d, T, divided by, d, t, end fraction, left parenthesis, t, start subscript, 0, end subscript, right parenthesis as sitting at the tip of the vector T, left parenthesis, t, start subscript, 0, end subscript, right parenthesis. Imagine the derivative vector trying to pull the vector T, left parenthesis, t, start subscript, 0, end subscript, right parenthesis one way or another, telling it, "Hey! Come point more in this direction."

Since the length of T, left parenthesis, t, start subscript, 0, end subscript, right parenthesis never changes, this derivative vector must always be perpendicular to T, left parenthesis, t, start subscript, 0, end subscript, right parenthesis; otherwise. it would "pull" it longer or shorter.

When this derivative vector is long, it's pulling the unit tangent vector

*really*hard to change direction. As a result, the curve will change direction more suddenly, meaning it will have a smaller radius of curvature, and hence a very large curvature. Conversely, if the derivative vector is short, it's only half-heartedly pulling on the tangent vector. This translates to a very gentle turn, and hence a large radius of curvature, meaning a small curvature.However, we don't want differences in the rate at which we move along the curve to influence the value of curvature since it is a statement about the geometry of the curve itself and not the time-dependent trajectory of whatever particle happens to be traversing it. For this reason, curvature requires differentiating T with respect to arc length, s, instead of the parameter t.

## Example: Curvature of a helix

There's nothing specific about two-dimensions in everything we've just done. For example, let's find the curvature of the following three-dimensional function:

The animation below shows the shape of this curve, which is known as a

**helix**. It also indicates the radius of curvature at each point by showing the circle (drawn in green) which most closely "hugs" the curve at each point, with the radius of each circle drawn in red.Ah yes, I call this one "vector-calculus hula hoop dance."

One thing you might notice is that the size of these circles doesn't seem to change. This is far from true for most three-dimensional curves, making our example somewhat special.

**Concept check**: By seeing that the circles above don't change size, what do you expect to be true of our curvature function \kappa, left parenthesis, t, right parenthesis?

If you would like to get some practice with this type of problem, now is the time you should pull out a pencil and paper. We'll go through it together, you and I, but I'll give you the chance to try each step for yourself before the answer is shown.

#### Step 1: Compute derivative

The first step to finding curvature is to take the derivative of our function,

This will give us a tangent vector to the curve which we can then mold into a unit tangent vector. Compute this derivative.

#### Step 2: Normalize the derivative

To get a

**unit**tangent vector we have to normalize this derivative vector, which is to say, divide it by Its magnitude. What is the magnitude of this derivative?Thankfully this is a constant. Things are a real pain when it's not. Using the previous two answers, what is our unit tangent vector T, left parenthesis, t, right parenthesis as a function of time?

#### Step 3: Take the derivative of the unit tangent

To get curvature, we must find the derivative of this function, with respect to time, then take its magnitude. What is the derivative of T, left parenthesis, t, right parenthesis in this case?

#### Step 4: Find the magnitude of this value

What is the magnitude of this vector?

#### Step 5: Divide this value by vertical bar, vertical bar, start bold text, v, end bold text, with, vector, on top, prime, left parenthesis, t, right parenthesis, vertical bar, vertical bar

To go from start fraction, d, T, divided by, d, t, end fraction to start fraction, d, T, divided by, d, s, end fraction, we must divide this by the magnitude of the derivative of the original parametric function.

Notice, this is a constant, so the curvature is the same at all points on the curve.

## Podsumowanie

- The radius of curvature at a point on a curve is, loosely speaking, the radius of a circle which fits the curve most snugly at that point.
- The
**curvature**, denoted \kappa, is one divided by the radius of curvature. - To find the curvature given the parametric function start bold text, s, end bold text, with, vector, on top defining a curve:
- Find the unit tangent vector by normalizing the derivative of start bold text, s, end bold text, with, vector, on top:

- Curvature is defined as the magnitude of the derivative of this value with respect to arc length s. You can compute that as follows:

- The intuition here is that the unit tangent vector tells you which direction you are moving, and the rate at which it changes with respect to small steps d, s along the curve is a good indication of how quickly you are turning.

## Chcesz dołączyć do dyskusji?

Na razie brak głosów w dyskusji