Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Ilin_Poznyak_-_Matanaliz

.pdf
Скачиваний:
743
Добавлен:
02.06.2015
Размер:
14.78 Mб
Скачать

Г л А В А 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, мы получим новый вектор

~T = _1

~u ~u

[т(и + 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)

и используя соотношение

 

 

 

 

 

дт

.

 

 

 

 

 

 

 

д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

Рис. 12.5

Рис. 12.6

 

Выведем векторное уравнение касательной к кривой 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г при

М--+ Р, если угол между этими плоскостями стремится к нулю.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]