Główna zawartość

Analiza matematyczna funkcji wielu zmiennych

Kurs: Analiza matematyczna funkcji wielu zmiennych > Rozdział 4

Lekcja 2: Całki krzywoliniowe dla funkcji skalarnych (artykuły)

Notation for integrating along a curve

Google Classroom

There is a very compact way to express arc length integrals, which lays a foundation for writing line integrals.

Kontekst:

Do czego zmierzamy

Całka wyrażająca długość łuku krzywej
$\begin{aligned} \int \sqrt{dx^2 + dy^2} \end{aligned}$

może być zapisana również w postaci

$\begin{aligned} \int_C ds \end{aligned}$

gdzie C reprezentuje krzywą, a d, s jest skróconą wersją zapisu square root of, d, x, squared, plus, d, y, squared, end square root, odpowiadającego długości małego fragmentu krzywej.

Jeśli krzywa jest dana za pomocą funkcji wektorowej start bold text, r, end bold text, with, vector, on top, left parenthesis, t, right parenthesis dla a, is less than or equal to, t, is less than or equal to, b, to całka wyrażająca długość tej krzywej wygląda nastepująco:
$\begin{aligned} \int_a^b |\vec{\textbf{r}}'(t)|dt \end{aligned}$
In other words, the small step d, s along the curve is the magnitude of the derivative of start bold text, r, end bold text, with, vector, on top, left parenthesis, t, right parenthesis
To jest standardowa notacja używana dla całek krzywoliniowych nieskierowanych, wprowadzonych w następnym artykule.

Zwięzły zapis długości krzywej

Kiedy mówiliśmy o wyznaczaniu długości krzywej będącej wykresem funkcji oraz długości krzywej zadanej parametrycznie, zaczynaliśmy od całki postaci

$\begin{aligned} \int \sqrt{dx^2 + dy^2} \end{aligned}$

Instead of always writing square root of, d, x, squared, plus, d, y, squared, end square root to represent a tiny change in arc length, a common convention is to express this tiny change as d, s.

You think of d, s as a tiny step along whatever curve we're talking about, in the same way that d, x is a tiny step in the x-direction or d, y is a tiny step in the y-direction.

Settling bound awkwardness

Throughout the last few articles, we procrastinated putting bounds on the integral

$\begin{aligned} \int \sqrt{(dx)^2 + (dy)^2} \end{aligned}$

(which we now know could be written simply as integral, d, s.)

If everything inside the integral was written in terms of x, the bounds will reflect x values. If it is all in terms of t, the bounds reflect t values, etc.

If you are uncomfortable with your integral looking so naked but you don't want to make a commitment about which variable owns the bounds, here's what you do. You say,

"Let C be the curve defined by . . ."

and you go on defining your curve. Then you just write your integral with a little C at the bottom:

$\begin{aligned} \int_C ds \end{aligned}$

This basically tells the person reading it to go find where the curve C is defined, then plug in the relevant boundary values when it comes time to compute.

On the one hand, this notation is so simple as to be nearly meaningless. You might read it out loud by saying

"The arc length of C is the integral over C of tiny steps along C"

Silly, right? This entirely sweeps under the rug the details of what solving the arc-length problem entails, expanding d, s and encoding the definition of C into the integral.

But, that's actually the point. Part of the reason for talking about arc length integrals is to set the stage for the broader idea of line integrals. When we get to line integrals, you don't always want the full details of the curve and the tiny change in arc length d, s to spill out into your notation. There will be other things to deal with. In that context, abstracting the arc length away to something as simple as integral, start subscript, C, end subscript, d, s will be a more-than-welcome simplification.

In the language of vector calculus

In vector calculus, we move away from thinking about a parametric curve as a set of parametric equations like

x, left parenthesis, t, right parenthesis, equals, t, cosine, left parenthesis, t, right parenthesis

y, left parenthesis, t, right parenthesis, equals, t, sine, left parenthesis, t, right parenthesis

Instead, we think of these curves as the output of a single vector-valued function,

$\begin{aligned} \vec{\textbf{r}}(t) = \left[ \begin{array}{c} x(t) \\ y(t) \end{array} \right] \end{aligned}$

The derivative of a vector-valued function like this gives another vector valued function,

$\begin{aligned} \vec{\textbf{r}}'(t) = \left[ \begin{array}{c} x'(t) \\ y'(t) \end{array} \right] \end{aligned}$

This gives us a very nice way to express d, s, the length of a tiny step along the curve:

d, s, equals, vertical bar, start bold text, r, end bold text, with, vector, on top, prime, left parenthesis, t, right parenthesis, vertical bar, d, t

Why is this true? One way is to expand out the expression vertical bar, start bold text, r, end bold text, with, vector, on top, prime, left parenthesis, t, right parenthesis, vertical bar, d, t and simplify. Try it!

[Odpowiedź]

Alternatively, think about how we interpret vector-derivatives. Imagine standing on a value t, start subscript, 0, end subscript in the input space, also known as the parameter space, and getting a slight nudge of size d, t, bringing you up to the point t, start subscript, 0, end subscript, plus, d, t.

The derivative vector start bold text, r, end bold text, with, vector, on top, prime, left parenthesis, t, right parenthesis is the resulting "nudge" in the output space along the curve. When we multiply that derivative by the tiny amount d, t to get

start bold text, r, end bold text, with, vector, on top, prime, left parenthesis, t, right parenthesis, d, t,

it's helpful to think about this as a tiny step along the curve.

Technically it's a tiny step in the tangent direction, which might be slightly off from the curve. However, as d, t approaches 0, a step in the tangent direction and a step along the curve can be treated as the same thing.

The magnitude of this vector is the size of our small step along the curve, d, s.

d, s, equals, vertical bar, start bold text, r, end bold text, with, vector, on top, prime, left parenthesis, t, right parenthesis, d, t, vertical bar, equals, vertical bar, start bold text, r, end bold text, with, vector, on top, prime, left parenthesis, t, right parenthesis, vertical bar, d, t,

This means the arc length integral for a parametric curve defined by a function start bold text, r, end bold text, with, vector, on top, left parenthesis, t, right parenthesis between t, equals, a and t, equals, b could look like

$\begin{aligned} \int_a^b |\vec{\textbf{r}}'(t)|dt \end{aligned}$

Actually computing this will look no different from when we thought of these curves as a set of equations, since vertical bar, start bold text, r, end bold text, with, vector, on top, prime, left parenthesis, t, right parenthesis, vertical bar, d, t will always expand to look like square root of, d, x, squared, plus, d, y, squared, end square root. However, people generally favor this notation. For one thing, it is compact, and for another, it generalizes well to higher dimensions.

Onward to line integrals!

Armed with this notation, and an understanding of how portrays tiny steps along a curve, you are now ready to learn about line integrals.

Chcesz dołączyć do dyskusji?

Zaloguj się

Sortuj według

Na razie brak głosów w dyskusji

Rozumiesz angielski? Kliknij tutaj, aby zobaczyć więcej dyskusji na angielskiej wersji strony Khan Academy.