Г л А В А 12
ОСНОВЫ ТЕОРИИ КРИВЫХ И ПОВЕРХНОСТЕЙ
В этой главе будут изложены важные для приложений све
дения о кривых и поверхностях.
§1. Векторные функции
1.Понятие векторной функции 1) . Введем понятие век
торной функции т переменных.
Если 1И;JfCдо'Й то'Ч'Ке М из MHO;JfCeCmBa {М} то'Че'К т-мер
'Ного ев'Клидова nростра'Нства Ет ставитс,я в соответствие
по извест'Ному за'Ко'Ну 'Не'Которы'Й ве'Ктор r 2), то говор,ят,
'Что 'На MHO;JfCeCmBe {М} зада'На ве'Ктор'На,я фу'Н'Кци,я r = r (М). При этом множество {М} называется о б л а с т ь юза Д а н и я функции r = т(М). Если р = т, то, как и в случае т = 2 или т = 3 (см. п. 1 § 2 гл. 6), говорят, что на множестве {М} задано векторное поле, определяемое векторной функцией т(М).
Вектор т(М), соответствующий данной точке М из множе
ства |
{М}, |
будем называть ч а с т н ы м |
з н а ч е н и е м |
в е к |
т о р |
н о й |
Ф у н к Ц и и в т о ч к е М. Совокупность всех част |
ных |
значений функции r (М) называется |
м н о ж е с т в о м |
з н а |
ч е н и й этой функции.
Если {М} - множество точек на данной прямой и {и} - мно
жество координат этих точек, то векторная функция т(М) мо
жет, очевидно, рассматриваться как векторная функция одной
скалярной переменной и:
r = r(и).
Если же {М} - множество точек т-мерного пространства и
(иl, И2, ... , иm) -координаты точки М, то т(М) представляет
собой векторную функцию скалярных аргументов Иl, И2, ... , иm: r = r(Иl' И2, ... , иm)·
1) Некоторые сведения о векторных функциях были даны в п. 6 § 1 ГЛ. 5
вып. 1 ЭТОГО курса.
2) Вектор r принадлежит, вообще говоря, р-мерному евклидову простран
ству ЕР, поэтому определяется р координатами Тl, Т2, ... , rр.
422 |
ОСНОВЫ ТЕОРИИ КРИВЫХ И ПОВЕРХНОСТЕЙ |
ГЛ. 12 |
Замечание. Пусть {r1, r2, ... ,rр}-координаты вектора
т(М). Очевидно, задание векторной функции т(М) эквивалент но заданию р скалярных функций r1 (М), r2 (М), ... , rр (М) .
Пусть векторы т(М) принадлежат евклидову пространству
ЕР. Будем считать, что начала всех этих векторов совпадают с началом выбранной в ЕР декартовой системы координат. В
этом случае точечное множество концов векторов т(М) называ ют г о Д о г раф о м функции т(М). Годограф векторной функ
ции одной скалярной переменной представляет собой, вообще го воря, линию. Годографом векторной функции двух переменных будет поверхность.
2. Предельное значение векторной функции. Непре рывность. В полной аналогии с обычными функциями для век торных функций вводятся понятия предельного значения и не
прерывности.
Предварительно введем понятия сходящейся последователь
ности и предела последовательности векторов.
Последовательность {аn} называется с х о д я Щ е i1 с я к
вектору а, если для люБО20 Е > О MO;JfCHO указать такойномер N,
'Ч,то при n :? N выполняется неравенство 1)
lan - al < Е.
При этом вектор а называется пр е д е л о м последователь
ности {аn}.
Символически существование предела а последовательности
{аn} записывается следующим образом:
lim аn = а.
n---+оо
Замечание. Если {а1n, а2n, ... , арп} и {а1, а2, ... , ар}
соответственно координаты векторов аn и а, то из сходимо
сти последовательности {аn} к а вытекает сходимость число
вых последовательностей {а1n}, {а2n}, ... , {арп} соответствен
но к числам а1, а2, ... , ар. Отметим также, что из сходимости
указанных числовых последовательностей соответственно к чис
лам а1, а2, ... , ар следует сходимость последовательности {аn}
векторов с координатами {а1n, а2n, ... , арп} к вектору а с коор динатами {а1, а2, ... , ар}. Справедливость замечания вытекает
из следующих очевидных неравенств 2):
lakn - akl ~ lan - al ~ la1n - а11 + la2n - а21 + ... + lapn - apl·
Рассмотрим векторную функцию r = т(М), определенную на множестве {М} точек т-мерного евклидова пространства, и
1)м О д У л е м lal вектора а с координатами {аl, а2, ... , ар} называется
число Vа21 + а2 + ... + ар2.
2)Вектор аn - а имеет координаты {аln - аl, а2n - а2, ... , арп - ар}.
§ 1 ВЕКТОРНЫЕ ФУНКЦИИ 423
точку А, быть может, и не принадлежащую множеству {М},
но обладающую тем свойством, что в любой окрестности этой
точки содержится хотя бы одна точка множества {М}, отличная
от А.
Оnределе'Н,ие 1. Вектор Ь называетс-я ПР е д е л ь Н ы м
з н а 'Ч е н и е м |
векторнои функции т(М) в то'Чке А (или пр е |
д е л О м r (М) |
при М ---+ А), если дл-я |
любоi1 сход-ящеi1с-я к А |
nоследоватеЛЫ-tOсти М1 , М2, ... , Мn, . .. |
то'Чек M'I-tOжества {М}, |
элементыl МN |
которои отли'чныl от А |
1) (Мn i- А), соответ |
ствующа-я последовательность т(М1), т(М2), ... , Т(Мn), ...
зна'Чениi1 функции т(М) сходитс-я к вектору ь.
Для обозначения предельного значения Ь функции r = т(М)
в точке А используется следующая символика:
lim т(М) = Ь или |
Еm т(иl' и2, ... , ит) = Ь, |
М---+А |
иl---+аl |
|
и2---+а2 |
|
ит--+ат |
где аl, а2, ... ,ат -координаты точки А.
Мы не будем приводить определения предельного значения векторной функции на языке «~Е - д», не будем приводить его и для случая, когда точка М стремится к бесконечности. Эти
определения формулируются в полной аналогии с соответст вующими определениями для скалярных функций.
Пусть точка А принадлежит к области задания векторной
функции r = r (М) и любая окрестность этой точки содержит
отличные от А точки области задания функции.
Оnределе'Н,ие 2. Векторна-я функци-я r = т(М) называетс-я
н е пр ер Ъ! в н О i1 в то'Чке А, если предельное зна'Чение этоi1 ФУНК
ции в то'Чке А существует и равно 'Частному зна'Чению т(А). Векторная функция r = т(М) называется непрерывной на множестве {М}, если она непрерывна в каждой точке этого мно
жества.
3. Производная векторной функции. В § 1 гл. 5 вып. 1 этого курса говорилось о производной векторной функции одной скалярной переменной. Для удобства еще раз сформулируем это
понятие.
Пусть r = т(и) -векторная функция скалярной переменной
и. Зафиксируем значение и аргумента и придадим аргументу и такое произвольное приращение 6.и i- О, что величина и + 6.и принадлежит области задания функции. Рассмотрим вектор
6.т = т(и + 6.и) - т(и).
1) Это требование объясняется, в частности, тем, что функция Т(М) мо
жет быть не определена в точке А.
424 ОСНОВЫ ТЕОРИИ КРИВЫХ И ПОВЕРХНОСТЕЙ ГЛ. 12
На рис. 12.1 этот вектор совпадает с вектором МР. Умножив
вектор tlr на число 1/tlu, мы получим новый вектор
[т(и + tlu) - т(и)], |
(12.1) |
коллинеарный прежнему. Вектор (12.1) представляет собой сред нюю скорость изменения векторной функции на сегменте [и, и+
+ tlu].
|
Про и з в о д н о 'Й |
ве'Х:торно'Й |
фун'Х:'Ции r = r (и) |
в данно'Й |
фи'Х:сированно'Й |
то'Ч'Х:е и называется предел при tlu --+ О раз |
|
|
|
|
ностного отношения (12.1) (при |
|
|
|
|
условии, что предел существует). |
|
|
|
|
Производная векторной функции |
|
|
|
L |
обозначается символом т'(и) или ~:. |
|
|
|
Из |
геометрических |
соображе |
|
о |
|
|
х |
у |
|
ний 1) |
видно, что производная век |
|
|
|
|
|
|
|
|
Рис. 12.1 |
торной функции r = т(и) |
представ |
|
|
ляет собой вектор, касательный к го |
|
|
|
|
дографу |
этой |
функции. Выясним |
связь производной вектор |
ной функции с производными ее координат. Для простоты
ограничимся случаем, когда значения т(и) векторной функции
представляют собой векторы трехмерного пространства. Пусть
{х(и), у(и), z(u)} -координаты векторной функции т(и). Оче видно, координаты разностного отношения (12.1) равны
х(u + ~u) - х(u) |
у(u + ~u) - у(u) |
z(u + ~u) - z(u) |
~u |
~u |
~u |
Согласно замечанию п. 2 этого параГPrафа, координаты про
изводной т'(и) равны производным х (и), у'(и), z' (и) коорди
нат функции r (и). Поэтому вычисление производной векторной
функции сводится к вычислению производных ее координат.
3 а м е ч а н и е 1. Векторная функция r (и) представляет со
бой закон движения материальной точки по годографу L этой функции, если при этом переменную и рассматривать как вре
мя. Поэтому производная r (и) равна скорости движения точки
по кривой L.
3 а м е ч а н и е 2. Отметим, что правила дифференцирова
ния различных произведений векторных функций (скалярного, векторного, смешанного) идентичны правилам дифференциро
вания произведений обычных функций. Это вытекает из того,
что координаты производной векторной функции равны произ
водным координат самой функции и из выражения указанных
произведений через координаты сомножителей.
1) Эти соображения подтверждаются утверждением в п. 2 § 2 этой главы.
§ 1 |
ВЕКТОРНЫЕ ФУНКЦИИ |
425 |
Приведем правила дифференцирования произведений век торных функций:
{т(и)в(и)}' = т'(и)в(и) + т(и)в'(и), {[т(и)в(и)]}' = [т'(и)в(и)] + [т(и)в'(и)],
{r(u)s(u)t(u)}' = r'(u)s(u)t(u) + r(u)s'(u)t(u) + r(u)s(u)t'(u).
Перейдем теперь к вопросу о дифференцировании вектор ных функций нескольких скалярных переменных. Так как в даль нейшем нами будут использоваться векторные функции двух
скалярных переменных и и v, то мы ограничимся лишь этим
случаем.
Пусть векторная функция r = т(и, v) задана внекоторой окрестности G точки Мо(ио, vo) (рис. 12.2). Рассмотрим в плос
кости uv некоторое направление, определяемое единичным век
тором а с координатами cos а, sina. |
|
|
Проведем через точку МО ось l, направ- |
V |
|
ление которой совпадает с направлени- |
|
|
ем вектора а, возьмем на этой оси точки |
|
|
М(и, v) и обозначим через l величину |
|
|
направленного отрезка МоМ указанной |
Vo- |
|
оси. Координаты (и, v) точки М опре |
|
|
деляются равенствами |
|
|
|
и = ио + l cos а, |
v = Vo + sina. |
ио |
и |
|
|
|
На |
указанной оси l |
(функция r |
Рис. 12.2 |
|
= |
т(и, v), очевидно, |
является вектор- |
|
|
|
ной функцией одной переменной величины [. Если эта фун'Х:'Ция
имеет |
в |
mO"l'X:e l = О |
nроизводну1О ПО nеременно'Й [) то эта |
nроизводная называется |
про и з в О д н О 'Й n О н а пр а в л е - |
н и 10 |
l |
от фун'Х:'Ции r |
= |
т(и, v) в mO"l'X:e Мо(ио, vo) и обозна"lа- |
дт
ется символом дz.
3 а м е ч а н и е 3. Если направление l совпадает с направле
нием координатной оси и (оси v) (на рис. 12.2 эти направления указаны штриховыми линиями), то соответствующая производ
ная по направлению называется частной производной вектор-
u |
() |
дт |
(дТ |
нои функции r |
и, v |
и обозначается символом ди или ТU |
ди |
или r v ). Если частная производная ~: определена во всех точ
ках некоторой окрестности точки М(и, v), то она представляет
собой в этой окрестности векторную функцию. Эта функция мо
жет иметь в свою очередь частную производную, например, по
аргументу и. Естественно эту частную производную называть
д2т
второиu частноиu производноиu по аргументу и и обозначать ди2
426 ОСНОВЫ ТЕОРИИ КРИВЫХ И ПОВЕРХНОСТЕЙ ГЛ. 12
(или Тuu)' Аналогично определяются другие частные производ
ные различных порядков.
Геометрический смысл производной по направлению выяс няется из следующих рассуждений. Годографом векторной функ
ции r = т(и, v) будет, вообще говоря, поверхность S (рис. 12.3). Когда точка М(и, v) перемещается по оси [, то конец Р векто ра т(и, v) описывает на поверхности S линию L, которая может
рассматриваться как годограф векторной функции одной пере-
менной [. Поэтому производная ~~ по направлению 1 представ
ляет собой вектор, касательный к L в точке Ро.
Если направление 1 совпадает с направлением координатной оси и, то при перемещении точки М по соответствующей оси,
проходящей через Мо , конец вектора т(и, v) описывает
на поверхности S линию, называемую nоординатной линией и
(на рис. 12.3 обозначена штриховой линией). Таким образом,
Рис. 12.3
дт
частная производная ди представляет собой вектор, касатель-
~ |
~ |
ч |
дт |
ныи к координатнои линии и. |
|
астная производная av представ- |
ляет собой вектор, касательный к координатной линии v.
4. Дифференцируемость векторной функции. Будем
называть приращением (или полным прираще н и е м) векторной функции r = т(и, v) в точке М(и, v) (со ответствующим приращениям 6.и и 6.v аргументов) следующее
выражение:
6.т = т(и + 6.и, v + 6.v) - т(и, v).
Веnторная фунn'Ция r = r (и, 'Ц и р у е м о й в то'Ч,nе М(и, v),
v) называется |
д и Ф Ф е р е н |
если ее полное |
nрира'Ш,ение в |
этой то'Ч,nе может быть представлено в виде
6.т = а6.и + b6.v + а6.и + f36.v, |
(12.2) |
§ 1 |
ВЕКТОРНЫЕ ФУНКЦИИ |
427 |
где а и Ь - |
некоторые не зависящие от tlu и tlv |
векторы, а о: |
и (3 - бесконечно малые при tlu ----7 О и tlv ----7 О векторные функ |
ции 1), равные нулю при tlu = tlv = О 2). |
|
3 а м е ч а н и е 1. Если векторная функция r = |
т(и, v) диф |
ференцируема в точке М(и, v), то, очевидно, векторы а и Ь рав-
дт дт ~
ны соответственно частным производным дu и дv в даннои точке.
3 а м е ч а н и е 2. Пусть векторная |
функция r = |
т(и, v) |
дифференцируема в точке М(и, v) и l - |
некоторая ось, |
прохо |
дящая через М в плоскости uv и составляющая угол о: с осью и.
дт |
|
|
|
|
Тогда производная дZ по направлению l существует и может |
быть найдена по формуле |
|
|
|
дт |
дт |
дт . |
(12.3) |
- |
= - |
coso: + - |
S1no:. |
дl |
дu |
дv |
|
|
в самом деле, для направления l имеем tlu = l cos 0:, tlv = l sin о:
(рис. 12.4). Подставляя эти значения tlu и tlv в соотношение
(12.2) |
и используя соотношение |
|
|
|
|
|
дт |
. |
6т |
|
|
|
|
|
|
|
дz = |
~~ |
-z- убедимся в справед- |
|
|
|
|
|
ливости формулы (12.3). |
|
v+Av ----- , - |
" v IAv) |
3 а м е ч а н и е 3. |
Мы убеди |
v |
М(и, v)11 |
|
|
|
лись, что в случае дифференци |
--- |
|
|
|
|
I |
\и |
|
|
руемости |
функции r |
= |
т(и, v) |
|
|
|
|
I |
|
|
|
справедлива формула (12.3). Из |
|
I |
|
|
|
этой |
формулы следует, |
что все |
|
u |
ы+Аи |
|
|
|
|
дт |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
векторы дz расположены в плос- |
|
|
|
|
|
|
|
дт |
дт |
|
|
Рис. 12.4 |
|
|
кости векторов дu и дv' Плос- |
|
|
|
|
|
кость, проходящую через точку годографа функции т(и, v), |
от- |
|
|
|
|
|
|
|
дт |
дт |
вечающую точке М(и, v ) , и параллельную векторам дu и дv |
естественно назвать |
к а с а т е л ь н о й |
п л о с к о с т ь ю |
к |
по |
верхности S, представляющей собой годограф. На рис. 12.3 плос кость 7r представляет собой касательную плоскость к поверхно сти S в точке Ро .
5. Формула Тейлора для векторных функций. Фор
мула Тейлора для функции r = т(и, v) с центром разложения
1)Векторная функция а(6u, 6v) называется бесконечно малой, если ее
предел при 6u --+ О и 6v --+ О равен нулю (нулевому вектору).
2)Мы не приводим определение дифференцируемости векторной функ
ции одной скалярной переменной. Оно может быть сформулировано в пол
ной аналогии с соответствующим определением для скалярных функций
одной переменной.
428 ОСНОВЫ ТЕОРИИ КРИВЫХ И ПОВЕРХНОСТЕЙ ГЛ. 12
в точке М(u, v) и с остаточным членом в форме Пеано имеет
следующий вид:
г(u + flu, v + flv) = г(u, v) + дT~и~ v) flu + дT~и~ v) flv +
где остаточный член Rn(flu, flv) представляет собой вектор, по
рядок малости которого выше чем рn (р = J flu 2 + flv2 1).
в справедливости формулы (12.4) можно убедиться, пред ставляя каждую из координат вектора г(u, v) по формуле Тей
лора с остаточным членом в форме Пеано и записывая затем
выражение для г(u + flu, v + flv) с помощью разложения по базисным векторам (коэффициентами разложения и будут ко ординаты этого вектора).
6. Интегралы от векторных функций. Мы уже отмеча ли, что векторная функция определяется своими координатами, которые представляют собой скалярные функции. Это позволя ет перенести на случай векторных функций операцию интегри
рования.
Пусть, например, векторная функция г(u) задана на сегмен те [а, Ь], и пусть ее координаты Т1 (и), Т2 (и), Тз (и) представля ют собой интегрируемые на сегменте [а, Ь] функции. Если е1,
е2, ез - базисные векторы, то естественно положить по опреде
лению
ь |
ь |
ь |
ь |
Jг(u) du = |
е1 JТ1(U) du + е2 |
JТ2(U) du + ез Jтз(u) du. |
а |
а |
а |
а |
Отметим, что интеграл для функции г(u) может быть определен
и непосредственно, как предел интегральных сумм для функ
ции г(u).
В полной аналогии с рассмотренным случаем могут быть введены и кратные интегралы от векторных функций. Заметим,
что основные формулы и правила интегрирования скалярных функций могут быть перенесены на случай интегралов от век торных функций.
1) Порядок малости вектора определяется как порядок малости его мо
§ 2 |
НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ КРИВЫХ |
429 |
§2. Некоторые сведения из теории кривых
1.Регулярные кривые. В § 1 гл. 11 вып. 1 этого курса го ворилось о понятии кривой И О способах ее задания. Одним из
способов задания кривой был указан параметрический способ,
заключающийся в том, что координаты переменной точки кри
вой задаются как функции скалярной переменной - параметра.
Считая эти координаты координатами вектора, ведущего из на чала координат в точку кривой, мы получим векторную функ цию, годографом которой является данная кривая. Таким обра зом, мы можем задавать кривую при помощи векторной функ
ции одной скалярной переменной, и этот способ равнозначен па раметрическому способу задания кривой.
Пусть кривая L задается посредством векторной функции r =
=r(t) 1). Допустим, что параметр t с помощью соотношения t =
=f (и), где f (и) - строго возрастающая и непрерывная функция,
заменяется другим параметром и. При этом функция r = r(t) превращается в новую функцию r = ти(и)) параметра и.
Таким образом, можно получить различные параметризации од
ной и той же кривой.
Будем называть кривую L р е г у л я р н о й (k раз диффе ренцируемой) без особых точек, если эта кривая допускает та
кую параметризацию с помощью параметра t, что векторная
функция r = r(t) для некоторого целого k ~ 1 k раз дифферен цируема и r'(t) # о для всех значений параметра t. При k = 1
кривая называется г л а Д к о й.
в этой главе мы будем рассматривать регулярные кривые без особых точек и те параметризации этих кривых, для кото
рых r'(t) # о.
2. Касательная к кривой. Пусть L - кривая и Р - фикси
рованная точка на ней (рис. 12.5). Проведем хорду РМ кривой.
Прямая PQ, к которой стремится хорда РМ 2) при М -+ Р,
называется к а с а т е л ь н о й к L в точке Р.
Справедливо следующее утверждение.
Глад'Кая 'Кривая L без особых то'Ч,е'К имеет в 'Каждоu то'Ч,'Ке Р
'Касательную.
Докажем, что касательной будет прямая PQ, проходящая че
рез точку Р параллельно вектору r'(t) (напомним, что r'(t) # о).
в самом деле, вектор ~: параллелен хорде РМ (см. рис. 12.5) и
при Д. -+ о стремится к r'(t). Отсюда вытекает, что угол между
1) Векторная функция r = r(t) называется обычно р а Д и у с о м-в е к
то р о м кривой L.
2) Будем говорить, что прямая РМ стремится к прямой PQ при М --+ Р,
если угол между этими прямыми стремится к нулю.
430 ОСНОВЫ ТЕОРИИ КРИВЫХ И ПОВЕРХНОСТЕЙ ГЛ. 12
прямой РМ и прямой PQ стремится к нулю при М ---7 Р. Поэто му прямая PQ является касательной к кривой L. Утверждение
доказано.
m n
Выведем векторное уравнение касательной к кривой L в точ ке Р. Пусть r - радиус-вектор переменной точки Q на касатель-
ной в точке Р. Вектор PQ = R-r(t) коллинеарен вектору r'(t), и поэтому R - r (t) = ит'(t). Отсюда мы получаем искомое урав-
нение касательной
R = r(t) + ur'(t), |
(12.5) |
в котором роль параметра играет величина и, а t - фиксиро ванное значение параметра на кривой L, определяющее точку Р.
3. Соприкасающаяся плоскость кривой. Пусть PQ-
касательная в точке Р к кривой L (рис. 12.6). Через касательную
PQ и точку М кривой проведем плоскость PQ М. Плоскость 1Г,
К которой стремится плоскость PQ М 1) при М ---7 Р, называ
ется с о при к а с а ю щей с я п л о с к о с т ь ю к к р и в о й L в точке Р.
Справедливо следующее утверждение.
Регул.яр'На.я (по npaUHeu мере дважды диффере'Н'Цируема.я) npu-
ва.я L без особых то'Ч,еn имеет соnриnасающуюс.я nлосnостъ в nаждоu то'Ч,nе, в nomopou веnторы т'(t) и т"(t) 'Не nолли'Неар'Ны.
Докажем, что соприкасающейся плоскостью будет плос
кость 1Г, проходящая через касательную PQ параллельно век
тору r"(t). Очевидно, вектор
n = |
[r'(t)r"(t)] |
(12.6) |
будет вектором нормали к плоскости 1Г, а вектор |
|
m = /::,.~2 [r'(t)~r], |
~T = r(t + ~t) - r(t), |
(12.7) |
1)Будем говорить, что плоскость PQM стремится к плоскости 1г при
М--+ Р, если угол между этими плоскостями стремится к нулю.