Академический Документы
Профессиональный Документы
Культура Документы
АРАМАНОВИЧ
КРАТКИЙ КУРС
МАТЕМАТИЧЕСКОГО
АНАЛИЗА
УЧЕБНИК ДЛЯ ВУЗОВ
Издание одиннадцатое,
стереотипное
ISBN 5-8X14-04999
ББК 22.16
ЛР № 065466 от 21.10.97
Гигиенический сертификат 78.01.07.953.П.001665.03.02
от 18.03.2002 г., выдан ЦГСЭН в СПб
Предисловие И
Введение 13
1. «Элементарная» и «высшая» математика (13). 2. Величина.
Переменная величина и функциональная зависимость (14). 3. Ма-
тематика и действительность (16).
ГЛАВА I
ФУНКЦИЯ
§ 1 . Действительные числа 18
4. Действительные числа и числовая ось. Интервал (18). 5. Аб-
солютная величина (21). 6. О приближенных вычислениях (22).
§ 2. Первоначальные сведения о функции 25
7. Определение функции (25). 8. Способы задания функций (27).
9. Символика (30). 10. Основные элементарные функции. Слож-
ная функция (32). 11. Элементарные функции (33). 12. Неяв-
ные функции. Многозначные функции (36).
§ 3. Начало изучения функций. Простейшие функции 38
13. Основные характеристики поведения функции (38). 14. Гра-
фическое изучение функции (41). 15. Прямая пропорциональная
зависимость и линейная функция. Приращение величины (43).
16. Квадратичная функция (46). 17. Обратная пропорциональная
зависимость и дробно-линейная функция (48).
§ 4. Обратная функция. Степенная, показательная и логарифмическая
функции 50
18. Обратная функция (50). 19. Степенная функция (54).
20. Показательная и логарифмическая функции (57).
§ 5. Тригонометрические, обратные тригонометрические, гиперболиче-
ские и обратные гиперболические функции 60
21. Тригонометрические функции. Гармонические колебания (60).
22. Обратные тригонометрические функции (64). 23. Гиперболи-
ческие и обратные гиперболические функции (68).
Вопросы и предложения для самопроверки 71
4 ОГЛАВЛЕНИЕ
Г Л А В Л II
ПРЕДЕЛ. НЕПРЕРЫВНОСТЬ
ГЛАВА Ш
ПРОИЗВОДНАЯ И ДИФФЕРЕНЦИАЛ. ДИФФЕРЕНЦИАЛЬНОЕ
ИСЧИСЛЕНИЕ
§ 1. Производная 116
38. Некоторые задачи физики (116). 39. Скорость изменения
функции. Производная функция. Производная степенной функ-
ции (120). 40. Геометрический смысл производной (123).
§ 2. Дифференцирование функций 125
41. Дифференцирование результатов арифметических дейст-
вий (125). 42. Дифференцирование сложной и обратной функ-
ций (129). 43. Производные основных элементарных функ-
ций (133). 44. Дифференцирование элементарных функций. При-
меры (138). 45. Дополнительные замечания о дифференцировании
функций (139). 46. Параметрически заданные функции и их диф-
ференцирование (141).
§ 3. Геометрические задачи. Графическое дифференцирование 146
47. Касательная и нормаль к линии (146). 48. Графическое диф-
ференцирование (150). 49. Геометрический смысл производной
в системе полярных координат (152).
§ 4. Дифференциал 154
50. Дифференциал и его геометрический смысл (154). 51. Свойства
дифференциала (157). 52. Дифференцируемость функции (161).
ОГЛАВЛЕНИЕ
53. Применение дифференциала к приближенным вычисле-
ниям (163).
5. Производные и дифференциалы высших порядков 166
54. Производные высших порядков (166). 55. Дифференциалы
высших порядков (170).
Вопросы и предложения для самопроверки 172
ГЛАВА IV
ПРИМЕНЕНИЯ ДИФФЕРЕНЦИАЛЬНОГО ИСЧИСЛЕНИЯ
К ИССЛЕДОВАНИЮ ФУНКЦИЙ
ГЛАВА V
ГЛАВА VI
ПРИМЕНЕНИЕ ИНТЕГРАЛЬНОГО ИСЧИСЛЕНИЯ
ГЛАВА VII
ФУНКЦИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ.
ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ
§ 1. Функции нескольких переменных 361
107. Функции двух и многих переменных (361). 108. Метод сече-
ний. Предел и непрерывность (365).
§ 2. Производные и дифференциалы. Дифференциальное исчисление . . 369
109. Частные производные и дифференциалы (369). ПО. Полный
дифференциал (374). 111*. Дифференцируемость функций (377).
ОГЛАВЛЕНИЕ 7
ГЛАВА VIU
ДВОЙНЫЕ И ТРОЙНЫЕ ИНТЕГРАЛЫ
§ 1. Двойные интегралы 432
128. Объем цилиндрического тела. Двойной интеграл (432).
129. Свойства двойных интегралов (435). 130. Вычисление двой-
ных интегралов (437). 131. Двойной интеграл в полярных коор-
динатах (446). 132. Приложения двойных интегралов к задачам
механики (451).
§ 2. Тройные интегралы 453
133. Масса неоднородного тела. Тройной интеграл (453). 134. Вы-
числение тройных интегралов (455). 135. Применение тройных
интегралов (462).
§3*. Интегралы, зависящие от параметра 464
136*. Интегралы с конечными пределами (464). 137. Несобствен-
ные интегралы, зависящие от параметра (469).
Вопросы и предложения для самопроверки 471
ГЛАВА IX
КРИВОЛИНЕЙНЫЕ ИНТЕГРАЛЫ И ИНТЕГРАЛЫ ПО ПОВЕРХНОСТИ.
ТЕОРИЯ ПОЛЯ
§ 1. Криволинейный интеграл 472
138. Задача о работе силового поля. Криволинейный интеграл (472).
139. Вычисление криволинейных интегралов. Интегралы по замк-
нутому контуру (475). 140. Формула Грина (481). 141. Условие
_ ОГЛАВЛЕНИЕ
О
независимости интеграла от линии интегрирования (483). 142. Ин-
тегрирование полных дифференциалов. Первообразная функция (487).
143. Криволинейные интегралы по пространственным линиям (490).
144. Приложения криволинейных интегралов к задачам механики
и термодинамики (494). 145. Криволинейный интеграл по длине
(первого рода) (499).
§ 2*. Интегралы по поверхности 502
146*. Поток жидкости через поверхность. Интеграл по поверхно-
сти (502). 147*. Свойства интегралов по поверхности (505).
148*. Вычисление интегралов по поверхности (508). 149*. Формула
Стокса (514). 150*. Формула Остроградского (517).
§ 3 * . Теория поля 519
151*. Векторное поле и векторные линии (519). 152*. Поток век-
тора. Дивергенция (522). 153*. Циркуляция и ротор векторного
поля (528). 154*. Оператор Гамильтона и векторные дифферен-
циальные операции второго порядка (533). 155*. Свойства про-
стейших векторных полей (535). 156*. Электромагнитное поле (538).
157*. Нестационарные поля (543).
Вопросы и предложения для самопроверки 545
ГЛАВА X
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
ГЛАВА XI
РЯДЫ
ГЛАВА хп
РЯДЫ ФУРЬЕ. ИНТЕГРАЛ ФУРЬЕ
§ 1. Действительные числа
1
) Под термином множество здесь и в дальнейшем понимается некоторая
совокупность (конечная или бесконечная) чисел или точек.
4] § 1. ДЕйствитЕльные ЧИСЛА 19
Представим себе числовую ось в виде горизонтальной прямой;
положительное направление на ней установим слева направо. Будем
откладывать от начала отсчета все отрезки, с о и з м е р и м ы е
с единицей масштаба; длины таких отрезков, как известно из гео-
метрии, выражаются рациональными числами. В соответствии с вы-
бранным направлением отсчета отрезки, откладываемые вправо от
точки О, мы будем считать соответствующими положительным
числам, а отрезки, откладываемые влево от нее,—соответствую-
щими отрицательным числам.
Пусть конец отрезка, соответствующего в выбранном масштабе
рациональному числу а, попал в точку М прямой. Тогда мы
скажем, что точка М и з о б р а ж а е т число а и что число а
есть координата точки М. Очевидно, точка О изображает чис-
ло нуль.
Точки числовой оси, изображающие рациональные числа, назы-
ваются рациональными точками.
Если мы будем изображать рациональные числа вида ± -^-,
о
±-тг?-1 . . . и все больше и больше увеличивать знаменатель N,
то точки, соответствующие этим рациональным числам, будут все
гуще и гуще покрывать числовую ось.
Более того, покажем, что, как бы близко друг к другу ни ле-
жали две рациональные точки А и В, между ними обязательно
лежит еще бесконечно много рациональных точек. Пусть точки А
и В имеют рациональные координаты а и Ь; тогда середина от-
резка между ними, назовем ее точкой С, имеет координату — ~ ,
которая тоже является числом р а ц и о н а л ь н ы м . В силу этого
же соображения точка Сх—середина отрезка АС—и точка С а —
середина отрезка СВ—также будут рациональными точками. Но
так как этот процесс можно продолжать неограниченно, то мы и
получим бесконечно много рациональных точек, которые все лежат
на отрезке АВ.
И все же рациональные точки не исчерпывают всех точек чи-
словой оси; на ней имеются и другие точки. В самом деле, так
как диагональ квадрата, стороны которого равны единице, несо-
и з м е р и м а с единицей масштаба, то ее длина не выражается
никаким рациональным числом. Поэтому, если отложить от точки О
отрезок, равный диагонали такого квадрата, то конец этого от-
резка попадет в точку, не являющуюся рациональной. Вообще,
концы всех отрезков, выходящих из начала отсчета и н е с о и з -
меримых с единицей масштаба (длины их выражаются иррацио-
нальными числами), попадут в нерациональные точки; такие точки
будем называть иррациональными.
20 гл. t. ФУНКЦИЯ (4
5. Абсолютная величина.
О п р е д е л е н и е . Абсолютной величиной (или модулем)
\А\ числа А называется число, равное самому Л, если А поло-
жительно или равно нулю, и равное — А, если А отрицательно;
Ата а.
П. Элементарные функции.
I. Функции, построенные из о с н о в н ы х элементарных функций
и постоянных при помощи конечного числа арифметических дейст-
вий и конечного числа операций взятия функции от функции,
называются элементарными функциями.
Например, элементарными будут функции
2 + 5
Т~ -2х*
1
и вообще
J
) Когда говорят об изменении (увеличении, уменьшении) переменной
величины, имеют в виду а л г е б р а и ч е с к о е изменение. Если речь
идет об изменении а б с о л ю т н о й величины переменной, это особо ого-
варивается.
14] § 3. НАЧАЛО ИЗУЧЕНИЯ ФУНКЦИЙ, ПРОСТЕЙШИЕ ФУНКЦИИ 41
Рис. 10.
линий. Выражение будем называть линейной
комбинацией данных функций. Можно также образовать линейную
комбинацию любого числа функций.
15. Пряная пропорциональная зависимость и линейная функ-
ция. Приращение величины. Прямой пропорциональной зависи-
мостью называется зависимость, выраженная формулой
где а — постоянная
Характерной особенностью этой зависимости является то,
что величина у пропорциональна величине х. Это значит, что
если -две пары соответственных значении х и
Постоянный коэффициент а называется
коэффициентом пропорциональности.
Если и, значит, если v пропорциональ-
но JC, то и х пропорционально у, но с о б р а т н ы м коэффициен-
том пропорциональности.
44 гл. 1. ФУНКЦИЯ [15
где а, Ь — постоянные.
При отсюда получается прямая пропорциональная
зависимость; если же то у уже не будет пропорциональ-
но х.
Линейная функция определена на всей оси Ох. Как известно
из аналитической геометрии, графиком ее служит п р я м а я л и -
н и я . Постоянные коэффициенты а и b равны соответственно уг-
ловому коэффициенту прямой (т. е. тангенсу угла между прямой
и осью Ох) и ее начальной ординате (т. е. ординате точки пря-
мой при график линейной функции (прямой про-
порциональной зависимости) есть прямая линия, проходящая через
начало координат. Ясно, что при положительном а линейная функ-
ция является на всей оси Ох в о з р а с т а ю щ е й функцией, а
при отрицательном а — у б ы в а ю щ е й .
Введем одно простое, но важное понятие, а также обозначение,
которые постоянно будут употребляться и в дальнейшем.
О п р е д е л е н и е . Пусть некоторая величина и переходит от
одного своего (начального) значения и\ к другому (конечному) зна-
чению Иг • Разность конечного и начального значений называет-
ся приращением величины и; ее обозначают через Аи, т. е.
где а — постоянная
Ее характерной особенностью является то, что величина у об-
ратно пропорциональна величине х, т. е. если —
две пары соответственных значений х и у, то у^'у, = х1:х2- По-
стоянный коэффициент а называется коэффициентом обратной про-
порциональности .
Если значит, если у обратно пропорцио-
нально х, то и х обратно пропорционально у, притом с тем же
коэффициентом обратной пропорциональности.
Обратная пропорциональная зависимость есть частный случай
зависимости, устанавливаемой дробно-линейной функцией, т. е. функ-
цией вида
17] § 3. НАЧАЛО ИЗУЧЕНИЯ ФУНКЦИЙ, ПРОСТЕЙШИЕ ФУНКЦИИ 49
Рис. 19.
Рис. 20.
1
) При а < 0 область определения функции состоит только из рацио-
нальных ч и с е л у которых знаменатель q — нечетное число; при
а—1 функция при всех * равна 1.
58 ГЛ. I. ФУНКЦИЯ [20
так как а ° = 1 , то он проходит через точку (0,1). Поведение по-
казательной функции существенно зависит от того, будет ли
а > 1 или а < 1.
Если с > 1, то с увеличением показателя х увеличивается и
у, причем неограниченное возрастание аргумента вызывает неогра-
ниченное же возрастание и функции. Если а < 1 , то, наоборот,
при неограниченном возрастании аргумента функция убывает и
неограниченно приближается к нулю.
График показательной функции с основанием а симметричен
относительно оси Оу графику показательной функции с основанием
1 / 1 \х
можно записать так: v = i
— . В самом деле, функцию у = ( — )
откуда видно, что для
положительных х она при-
нимает те же значения,
что и функция у = а* для
равных им по абсолют-
ной величине отрицатель-
ных х, и наоборот. А это
и означает, что графики
функций
симметричны относительно
оси ординат.
Рис. 22. На рис. 22 показаны гра-
фики показательных функ-
цийприя = 2, 3, 10, Vi, 7з, 7 Ось Ох служит асимптотой
линий у = а*.
Показательные функции встречаются в самых разнообразных
задачах. При этом чаще всего имеют дело с показательной функ-
цией, в основании которой лежит специальное число е, играющее
очень важную роль в математике (см. п. 31); его приближенное
значение равно 2,718. Иногда функцию у — е* называют экспонен-
циальной, а ее график—экспонентой,
II. Л о г а р и ф м и ч е с к а я функция. Логарифмическая
функция
Рис. 24.
снова возрастает до нуля. Так как функция 3' = sinx имеет пери-
од 2я, то весь ее график ( с и н у с о и д а ) получается передвиже-
нием вправо и влево интервала [0, 2я] вместе с соответствующей
ему частью графика на 2я, 4л, 6я, . . . (рис. 24). Функция у =
= sinjc нечетная; это хорошо видно на графике: он симметричен
относительно начала координат.
Так как
Рис. 25.
В интервале [0, я] функция убывает от 1 до - 1,
проходя через О в точке и затем в интервале [я, 2п]
возрастает от —1 до 1, проходя через О в точке даль-
ше она изменяется периодически. Функция четная, ее
график симметричен относительно оси ординат.
Функцию рассмотрим на интервале [0, я]. В точке
она не определена; когда л; неограниченно приближается к -~-
ГЛ. I. ФУНКЦИЯ [21
слева (возрастая),^, будучи положительным, неограниченно возраста-
ет, а когда х неограниченно приближается к у справа (убывая), у
неограниченно возрастает по абсолютной величине, оставаясь отри-
цательным. Так как функция y = tgx имеет период я, то анало-
гичная картина наблюдается в окрестности каждой точки х~
= (2k-{-\)~, где k — любое целое число. На всей оси Ох гра-
фик функции у — t g х ( т а н г е н с о и д а ) получается из графика в
интервале {0, я] простым по-
ffk вторением на основании свой-
ства периодичности (рис. 26).
В каждом интервале, где
функция у=tgх определена,
она в о з р а с т а е т . Так как
j> = tgjr — функция нечетная,
то график симметричен отно-
сительно начала координат.
Рекомендуем читателю
представить себе графики
трех остальных тригономет-
рических функций (cosec x,
sect, ctg*) и затем описать
их особенности.
II. Г а р м о н и ч е с к и е
к о л е б а н и я . Тригономет-
Рис. 26. рические функдии имеют важ-
ные применения в математике,
в естествознании и в технике. Они встречаются там, где приходится
иметь дело с п е р и о д и ч е с к и м и я в л е н и я м и , т. е. явлениями,
повторяющимися в одной и той же последовательности и в одном
и том же виде через определенные интервалы аргумента (чаще
всего — времени).
Простейшие из таких явлений — г а р м о н и ч е с к и е к о л е б а -
ния, в которых расстояние s колеблющейся точки от положения
равновесия является функцией времени t:
1
Эту функцию называют синусоидальной. Постоянное число А )
называется амплитудой колебания. Число А представляет собой
то наибольшее значение, которого может достигнуть s (размах
') Мы всегда можем считать его положительным, так как если оно от-
рицательно, то функцию можно записать в виде
21] § 5. ТРИГОНОМЕТРИЧЕСКИЕ, ГИПЕРБОЛИЧЕСКИЕ ФУНКЦИИ 63
колебания). Аргумент синуса называется фазой колебания,
а число равное значению фазы при ' " — начальной фазой.
Наконец, называется частотой колебания.
Происхождение последнего термина делается ясным из связи
между со и п е р и о д о м Г нашей функции (периодом колебания).
Функция периодическая; ее период Т равен
так как для увеличения фазы на 2л нужно к независимой
переменной t прибавить Поэтому и значит, число
показывает, сколько периодов укладывается в единице вре-
мени, т. е.. сколько раз данное периодическое явление повторя-
ется в течение единицы времени; это число дает, следовательно,
ч а с т о т у явления. Число со показывает, сколько раз явление по-
вторится за 2я единиц; его называют круговой частотой, а иногда
и просто частотой.
Для того чтобы построить график синусоидальной функции
Рис. 28.
Рис. 31.
Рис. 35.
х < 0 отрицательна и при х — 0 равна нулю. Ее график показан
на рис. 35, б).
Из графиков, да и прямо из определяющих формул видно,
что при больших положительных значениях х слагаемое е~х/2
роли не играет, и можно счи-
тать, что
П . О б р а т н ы е г и п е р б о л и ч е с к и е ф у н к ц и и . Функции,
обратные к соответствующим гиперболическим функциям, обозна-
чаются через
см ис
функции будут как угодно близки к -^~ ( - Р - 34), а для значений х в той же
Рис. 38.
х с т р е м и т с я к о т р и ц а т е л ь н о й б е с к о н е ч н о с т и , и за-
писывают так: х •—*• — оо. Аргумент функции, изменяющийся ука-
занным образом, называется бесконечно большим аргументом.
Изучая функцию f(x) при бесконечно большом аргументе, мы
предполагаем, разумеется, что она определена при всех рассмат-
риваемых значениях х.
Может оказаться, что при бесконечно большом аргументе со-
ответствующие значения /(х) неограниченно приближаются к не-
которому числу А. Тогда говорят, что число А есть п р е д е л
функции у=:/(х) при х—>• -f-oo или при х~* —оо или что функция
y—f(x) с т р е м и т с я к числу А при х —•*• -f- оо или х ~* — оо.
Рассмотрим сначала детально случай, когда х—*•-•(-оо.
Определение. Число А называется пределом функции
y~f(x) при х—*-\-оо, если для всех достаточно больших зна-
чений х соответствующие значения функции f(x) как угодно мало
отличаются от числа А,
25] § 1. ПРЕДЕЛ ФУНКЦИИ. БЕСКОНЕЧНЫЕ ВЕЛИЧИНЫ 77
Пели А есть предел функции f{x) при
писывают так:
А.
Рис. 40.
т. е.
достаточно иметь
М о ж е т случиться, что с у в е л и ч е н и е м п з н а ч е н и я у п = / ( « )
н е о г р а н и ч е н н о п р и б л и ж а ю т с я к некоторому числу А.
Т о г д а г о в о р я т , что ч и с л о А е с т ь п р е д е л ф у н к ц и и f(n) ц е л о -
!
ч и с л е н н о г о а р г у м е н т а п и л и п о с л е д о в а т е л ь н о с т и у1,у2, •••>3 га , •••
при п—*• оо, и з а п и с ы в а ю т :
П р и м е р ы . 1) Последовательность
Разность
Рис. 41.
Но тогда
л2 ~ 2я а ~ 2 ~г Чп
при л—у оо — вовсе не бесконечно малая величина, а величина,
стремящаяся к -ц •
Из теоремы I непосредственно следует
Т е о р е м а Г. Предел суммы конечного числа слагаемых равен
сумме пределов этих слагаемых.
Д о к а з а т е л ь с т в о . Пусть даны определенное число k слага-
емых и, v, . .. , t, стремящихся соответственно к пределам а, Ь, ..., d,
и их сумма w.
Докажем, что
и, значит,
Покажем, что
Действительно,
х
) Далее, в § 2, мы увидим, что этот простой способ отыскания предела
относится ко в с я к о й э л е м е н т а р н о й ф у н к ц и и , если только пре-
дельная точка принадлежит области определения функции.
92 ГЛ. II. ПРЕДЕЛ. НЕПРЕРЫВНОСТЬ [29
П р и м е р ы . I)
Докажем, что
Д о к а з а т е л ь с т в о . Будем исхо-
дить из геометрического определения
синуса. Возьмем окружность радиуса 1 и
предположим, что угол а, выраженный в
Рис. 42.
радианах, заключен в границах 0 < а < - ^ .
то, следовательно,
или
(*)
Из геометрического определения косинуса ясно, что
или последовательность
Следовательно,
тем более, дописав в правой части члены прогрессии KS, KJT+I > • • • ,
получим
Уп ^ 1 ~Ь I ' ~Ь"2"~Ь"§2 + "2з + • • • + 2 Й + • • • J •
Так как сумма бесконечно убывающей геометрической прогрес-
сии, заключенной в скобках, равна 2, то
§ 2. Непрерывные функции
или, иначе,
функции при х—*2 нельзя найти по общему правилу, так как при
х = 2 знаменатель обращается в нуль; но в точке х = 2 в нуль
обращается и числитель. Поступим следующим образом. Положим:
тогда z при будет стремиться
к 0. Имеем
106 ГЛ. II. ПРЕДЕЛ. НЕПРЕРЫВНОСТЬ 135
Далее находим
откуда / ( g ) = | i .
Геометрически это предложение
означает, что любая прямая у = (х,
параллельная оси Ох и проходящая
между начальной и конечной точка-
ми непрерывной линии, пересечет ее
хотя бы один раз. Абсцисса точки
пересечения и будет тем значением Рис. 48.
Х — %, при котором /(£) = |ц (на
рис. 48 таких точек три). Это предложение показывает, что
Непрерывная функция, переходя от одного своего значения к дру-
гому, обязательно проходит через все промежуточные значения; в
частности,
Непрерывная в интервале функция принимает в этом интервале
хотя бы один раз любое значение, заключенное между ее наименьшим,
и наибольшим значениями. Геометрически ясно, что если функция
108 ГЛ. II. ПРЕДЕЛ. НЕПРЕРЫВНОСТЬ [36
П р и м е р . Если
т. е. приближенно
преобразований находим
(см. п. 34).
Итак,
и, значит,
где
1. Что такое предел функции y — f(x) при х—• х0? Дать определение с
помощью неравенств. Привести геометрическую иллюстрацию.
2. Дать пример функции </ = / (х), имеющей предел при х—<• х0; не имею-
щей предела при х —• х0.
3. Что такое предел функции y=f(x) при х—>-+оо? при х—»-—оо?
Дать определение с помощью неравенств. Привести геометрическую иллю-
страцию.
4. Дать пример функции yz=f(x), имеющей предел при х—•-г00.
х—• — оо; не имеющей предела при х—»•+<», х—> — оо.
5. Определить предел последовательности (функции целочисленного аргу-
мента). Привести примеры последовательностей, имеющих и не имеющих
пределы.
6. Какая функция # = / (х) называется бесконечно большой величиной
П
р И х—»• х0, при х—с±оо? Дать определения с помощью неравенств.
Привести геометрические иллюстрации.
7. Что означают записи:
§ 1. Производная
П И
соответствующей интервалу (t, t + А*)> Р стремлении А* к нулю:
.. As ,. F(t + M)—F(t)
О т н о ш е н и е -^ массы к д л и н е у ж е не б у д е т постоянным, а б у д е т
з а в и с е т ь и о т s , и о т As; оно н а з ы в а е т с я с р е д н е й л и н е й н о й
п л о т н о с т ь ю л и н и и (проволоки):
III. Т е п л о е м к о с т ь и с к о р о с т ь х и м и ч е с к о й р е а к -
ц и и . Рассмотрим коротко два других понятия, вводимых по тем
же соображениям и определяемых совершенно так же, как скорость
движения и плотность, а именно, понятия теплоемкости и скорости
химической реакции.
2
Теплоемкостью ) с тела при температуре т называется предел
средней теплоемкости с с р , соответствующей интервалу (т, т + Дт),
при стремлении Ах к нулю:
2) составляется отношение
3) находится предел этого отношения (если он существует)
при произвольном стремлении Ах к нулю.
Как уже отмечалось, если данная функция /(лг) не линейная,
Д(/ .-.
то отношение ~ зависит и от х, и от Ах. Предел этого отно-
шения зависит т о л ь к о от выбранного значения х и является,
следовательно, функцией от х. Если же функция f(x) линейная,
то рассматриваемый предел не зависит и от х, т. е. будет вели-
чиной постоянной.
Указанный предел называется производной функцией от функ-
ции f{x) или просто производной от функции f(x) и обозначается
так: /'(х). Читается: «эф ш т р и х о т х» или «эф прим от х».
О п р е д е л е н и е . Производной данной функции называется
предел отношения приращения функции к приращению независи-
мой переменной при произвольном стремлении этого приращения
к нулю:
3) Т е п л о е м к о с т ь есть п р о и з в о д н а я от ф у н к ц и и q = W(%) по X
(производная о т к о л и ч е с т в а т е п л а п о т е м п е р а т у р е ) .
4) Скорость химической р е а к ц и и е с т ь п р о и з в о д н а я от ф у н к ц и и
y = F{t) no t (производная от к о л и ч е с т в а в е щ е с т в а по
времени). И вообще скорость изменения функции y=f(x) есть
производная от у по х.
Понятие производной принадлежит к числу фундаментальных
понятий математического анализа. Один из основателей анализа —
И. Н ь ю т о н 1 ) пришел к понятию производной, исходя из вопроса
о скорости д в и ж е н и я .
Ш. Производная степенной функции.
Найдем производные от некоторых простейших функций.
Пусть у = х. Имеем
Ах
Выражение, стоящее в числителе, преобразуем по формуле бинома
Ньютона:
(х + Ах)п—хп = хп ^ ^
1
) И. Н ь ю т о н (1642—1727) — великий ашлийский ученый (математик,
физик, астроном). Ньютон заложил основы многих разделов науки нового
времени, завершил создание основ математического анализа. Творения
Ньютона способствовали преодолению средневековой схоластики и внесли
неоценимый вклад в дело выработки подлинно научного материалистиче-
ского мировоззрения.
40] § 1. ПРОИЗВОДИЛИ 123
Значит,
п
Итак, степенная функция у — х при целом положительном я
п х
имеет производную, равную пх ~ :
(*)
§ 2. Дифференцирование функций
Докажем, что
так как
Докажем, что
Отсюда
и
Применяя известные правила предельного перехода и учиты-
вая, что при Ах—•() также и Av—«-О, как приращение непрерыв-
ной функции, найдем
П р и м е р ы . 1) Имеем
Докажем, что
Действительно,
1
) Приведенное доказательство теряет силу, если Ли будет обращаться
в нуль. Можно доказать (на этом мы не останавливаемся), что теорема и
в этом случае оказывается справедливой.
42] § 2. ДИФФЕРЕНЦИРОВАНИЕ ФУНКЦИЙ 131
II. Д и ф ф е р е н ц и р о в а н и е о б р а т н о й ф у н к ц и и . Пусть
y—f(x) и х = ц>(у)—пара взаимно обратных функций (см. п. 18).
Покажем, что если известна производная от одной из этих функ-
ций, то легко получить выражение для производной другой. Допу-
стим, например, что нам известна производная /' (х) = Ига -г* и
д*-*оЛДС
она не равна нулю. Чтобы найти производную <р' (у), нужно найти
предел lim д-. Так как Дл:—>-0 при Ау—*0 (мы рассматриваем
132 ГЛ. Ш, ПРОИЗВОДНАЯ И ДИФФЕРЕНЦИАЛ [4!?
где и н д е к с ы х ну показывают, по
какой переменной производится диффе-
ренцирование, т. е. какая из переменных
принята за независимую.
Связь между производными взаимно об-
ратных функций весьма наглядно иллюстри-
руется геометрически. В самом деле, пусть
линия LV является графиком функции
у=Цх) (рис. 51). Тогда
Рис. 51.
значение
Следовательно,
т. е.
(3)
Рекомендуем читателю получить эту формулу иным путем —
отыскивая производную по общему правилу.
Производные для функций y = tgx и y = cigx получим, приме-
няя правило дифференцирования частного:
sin" * sin11 *
Итак,
т
II. П р о и з в о д н ы е о б р а т н ы х т р и г о н о м е т р и ч е с к и х
ф у н к ц и й . Производные обратных тригонометрических функций
легко получить, применяя правило дифференцирования обратной
функции (п. 42).
43] § 2. ДИФФЕРЕНЦИРОВАНИЕ ФУНКЦИЙ 135
Пусть т о г д а О т с ю д а
(7)
Следовательно,
Итак,
(8)
и аналогично
(9)
- I "
2
Примеры. 1) у = х arcsin х. Имеем
136 ГЛ. HI. ПРОИЗВОДНАЯ И ДИФФЕРЕНЦИАЛ [43
2) y = a r c l g | i ^ . Имеем
если
Ш. П р о и з в о д н ы е логарифмической и показа-
т е л ь н о й ф у н к ц и й . Рассмотрим логарифмическую функцию
у~\ах. Дадим х приращение h. Имеем
Отсюда
(10)
(а*)'=в*1ч«. О*)
В частности, если а = е, то
(<?*)' = **. (12)
х
Следовательно, функция у = е при дифференцировании не
меняется.
Примеры. 1) у — х\пх, у'= (х)'\пх + х{\пх)'— 1пх+1.
3 a
2) у = (In х) , у' = 3 (In jc) (In * ) ' = 3 ~ ~ .
и
4) y — e~*. Полагая у = е и u= — x , получим
y' = (e«)'u'=-e-x.
IV. П р о и з в о д н ы е г и п е р б о л и ч е с к и х и о б р а т н ы х
г и п е р б о л и ч е с к и х ф у н к ц и й . В соответствии с определе-
ниями, данными в п. 23, имеем:
Формулы дифференцирования:
откуда
In у = х In 2 + 2 In sin x + 1 In (.v2 + 4)
откуда
, х
у -—7
В этом примере нетрудно найти явное выражение для у,
2
именно y = V\—х . Дифференцируя эту функцию, получаем:
у' = —_> а —результат, как легко видеть, совпадающий
461 § 2. ДИФФЕРЕНЦИРОВАНИЕ ФУНКЦИЙ 141
г
с только что найденным. (Если считать, что У 1—х < 0, то
мы получим производную для ветви, определяемой условием
у<0.)
Возьмем еще неявную функцию у—/{х), определяемую урав-
нением
у 3 —Заху + х3 = 0.
Дифференцируя по лг, найдем
Sy'y'—Зау—Заху' + 3хг = 0,
откуда
Исключим параметр
ниже):
а » "Г Ьг — i •
Рис. 53.
Примем за ось Ох направляющую прямую, а за начало коор-
динат—точку прямой, с которой совпадает фиксированная точка Мо
производящей окружности.
Для составления параметрических уравнений циклоиды выберем
в качестве параметра угол t, на который поворачивается окруж-
ность при переходе фиксированной точки окружности /Ио в по-
ложение М (рис. 53). Этот угол равен углу между радиусом
катящейся окружности, проведенным в точку М, и радиусом,
проведенным в точку Р ее касания с осью Ох. Найдем абсциссу х
точки М циклоиды:
'*; Ф'(О*
Окончательно
(О
^~Ф'(0'
что можно короче записать так: _ у х = - ^ .
x
t
Например, для углового коэффициента касательной к окруж-
ности х — a cost, y = asint находим выражение
a c o s t
' У\
xt —asint
Так как угловой коэффициент радиуса, проведенного в ту же
точку окружности, равен, очевидно, tg<, то это означает, что
касательная к окружности перпендикулярна к радиусу.
У— Уо = — fjffii*—хо)- (**)
Приведем примеры, показывающие, как применяется произ-
водная при решении геометрических задач.
П р и м е р ы . 1) Возьмем параболу у = ах%. Уравнение каса-
тельной в точке Мй (х0, у0) этой параболы имеет вид
У— .Уо = 2алг0 (лг—х 0 ),
но у0 = axl и, значит,
у— axl = 2axo{x—xQ),
или
у = 2ах0х—axl =* 2алг0 ^ — ^ .
55).
Из аналитической гео-
метрии известно, что рас-
стояние OF —-т~ • Угловой
4а
коэффициент прямой FMb
У
* ' 4а . 1
/_ QMQM^ = /_ NM0R =
Следовательно,
в
« "Г Ь
2 - '•
S+K/-O.
откуда
«' = _ * ! Л
у г
а у '
и значит, угловой коэффициент касательной в точке Мо (х0, у0) ра-
вен г—-. Уравнение касательной имеет вид
ci
У— yo = 8^r(x—xo)-
Пусть х — at0; это абсцисса точки
Рис. 56. Р (рис. 56). Тогда
Рис. 58.
r'=rctg8.
491 § 3. ГЕОМЕТРИЧЕСКИЕ ЗАДАЧИ 153
s i n A q >
дФ '
Заставляя Дф стремиться к нулю, замечаем, что в правой части
равенства первое слагаемое стремится к нулю, а второе слагае-
мое—к lim ctgP и что левая часть стремится к —г'; таким об-
Дф-
разом,
г' = г ctg 9.
Это соотношение дает возможность при помощи дифферен-
циального исчисления решать задачи, связанные с касательными
и нормалями линий, заданных уравнениями в полярных координатах.
154 ГЛ. III. ПРОИЗВОДНАЯ И ДИФФЕРЕНЦИАЛ [50
Рис. 60.
§ 4. Дифференциал
где а = екх.
Итак, бесконечно малое приращение Ьу дифференцируемой функций
У=/(х) может быть представлено в виде суммы двух слагаемых: 1)
величины, пропорциональной бесконечно малому приращению незави-
симой переменной Д*, и 2) бесконечно малой величины более высо-
кого порядка, чем ДАТ.
Действительно, первое слагаемое /' {х) Дл: при данном значе-
нии х пропорционально Дл;, а второе слагаемое а таково, что
при Длг—>-0.
Только в одном случае, когда функция y=f(x) линейная,
у = ах-\-Ь, приращение функции Ь.у, как мы знаем, в точности
пропорционально приращению аргумента Длг:
т. е. dx — ^x.
Таким образом,
Дифференциал функции равен ее производной, умноженной
на дифференциал независимой переменной, т. е.
dy=f'(x)dx.
Нельзя понимать эту запись так, что Д</ при Дх -* 0 стремится к dy, a
Дх к их. Верно здесь только то, что отношение приращений стремит-
ся к отношению дифференциалов которое имеет смысл только в силу
данного нами определения дифференциала dy.
511 § 4. ДИФФЕРЕНЦИАЛ 157
Рис. 61.
б) Так как
в частности
в) Так как
Ш. Д и ф ф е р е н ц и а л . с л о ж н о й ф у н к ц и и . С в о й с т в о
и н в а р и а н т н о с т и . Рассмотрим свойство дифференциала функ-
ции, вытекающее из правила дифференцирования сложной функции.
Пусть J > = / ( H ) И и — <р(х)—непрерывные функции своих аргу.
ментов, имеющие производные по этим аргументам /' (и) и <р' (х).
Если обозначить F(x)—f[y(xj], то, как было показано в п. 42, I,
(**)
Правая часть равенства (**) получается из левой просто умно-
жением и делением на du (конечно, если йифО). Таким образом,
оказывается возможным производить арифметические действия над
дифференциалами, как над обыкновенными числами. Это и делает
очень часто выгодной запись производной в виде отношения диффе-
ренциалов.
Вот, например, как просто при помощи такой записи выводится
правило дифференцирования обратной функции (ср. п. 42, II):
IV. Д и ф ф е р е н ц и а л к а к г л а в н а я ч а с т ь п р и р а щ е -
ния. Пусть в точке х производная функции y=f(x) отлична от
нуля: /'(х)Ф0. Тогда
и, значит,
и, значит,
и, значит,
1
) Этот недостаток будет устранен в гл. X.
53J § 4. ДИФФЕРЕНЦИАЛ 165
и, значит,
откуда
Отсюда
V' dy__f{t)
у
~dx~<p'(t) '
Далее,
и так как
то
Здесь
т
выразим у через производные функций и и v.
Имеем последовательно
170 ГЛ. Ш. ПРОИЗВОДНАЯ И ДИФФЕРЕНЦИАЛ 55]
Но
поэтому
d*y = / " (х) dx2 +/' (х) d*x.
Как видим, появился добавочный член Он обращается
в нуль, если х — независимая переменная:
1
) П. Ф е р м а (1601—1665) —знаменитый французский математик, ра-
боты которого оказали очень большое влияние на развитие математики.
56] § 1. ТЕОРЕМЫ ФЕРМА, РОЛЛЯ, ЛАГРАНЖА И КОШИ 175
и, следовательно, / Л ев(?)Эз0.
Так как по условию теоремы в точке £ производная функции
f(x) существует, то левая и правая производные должны быть
равны. Это возможно только в случае /лев(Ю=/пр(Е) = 0- Но
тогда и /'(2) = 0, что и требова-
лось доказать.
Рекомендуем читателю внести
соответствующие изменения в ход
рассуждений, если в точке £ функ-
ция принимает свое н а и м е н ь ш е е
значение.
Геометрический смысл теоремы
Ферма ясен из рис. 64: касательная
к графику функции в его наивысшей Рис. 64.
(или наинизшей) точке параллельна
оси абсцисс. Если наибольшее или
наименьшее значения функции принимаются ею на конце интервала
(например, на рис. 64 наименьшее значение принимается при х — хг
и х = х2), то касательная в соответствующей точке не обязана
быть параллельной оси абсцисс, т. е. производная может и не
равняться нулю.
Отметим, что возможны случаи, когда функция принимает свое
наибольшее или наименьшее значения в точках, в которых про-
изводная не существует. Так, например, функция y = |jc| прини-
мает свое наименьшее значение, равное нулю, в точке х — 0, где
она не имеет производной. Исследование поведения этой функции
и ее график приведены в п. 52.
Почти непосредственным следствием теоремы Ферма является
теорема Ролля.
Т е о р е м а Р о л л я 1 ) . Если функция / ( * ) непрерывна в замк-
нутом интервале [хг, х2], дифференцируема во всех его внутрен-
них точках и имеет на концах интервала равные значения, то
в этом интервале существует хотя бы одно значение j t s s g , для
которого / ' ( | ) = 0 .
Д о к а з а т е л ь с т в о . Если на концах интервала значения
функции равны между собой, /(Je 1 )=/(x 2 ), то возможны два
случая.
l
) M. Р о л л ь (1652—1719)—французский математик.
176 ГЛ. IV. ПРИМЕНЕНИЯ ДИФФЕРЕНЦИАЛЬНОГО ИСЧИСЛЕНИЯ [56
Приведем теперь а н а л и т и ч е с к о е д о к а з а т е л ь с т в о
этой теоремы. Для этого образуем вспомогательную функцию
Обозначим отношение
Теорема доказана.
В частном случае при (p(je) = jc теорема Коши совпадает с тео-
ремой Лагранжа.
Нельзя доказать теорему Коши, как это может показаться
с первого взгляда, простым почленным делением двух формул
Лагранжа, относящихся к функциям / и ф, потому что при этом
промежуточные значения £ в первом и во втором случаях не обя-
заны совпадать.
Покажем, что теорема Коши с геометрической точки зрения
выражает тот же самый факт, что и теорема Лагранжа. Обозначим
для удобства независимую переменную через t и будем считать,
что функции f(t) и ф (t) являются параметрическими уравнениями
некоторой линии, причем y~f(t), x — y(t). Когда параметр t про-
бегает интервал [tlt t2], переменная точка перемещается по ка-
кой-то дуге, начальная точка которой имеет координаты [<p(*i)i/('i)],
а конечная [ф(? 2 ), / ( * 2 ) ] - Угловой коэффициент хорды, стя-
гивающей эти точки, равен отношению • ;,*/— *. . Производ-
Рис. 69.
г
но ее производная .у' = 3л: обращается в нуль в точке Лг = О,
будучи положительной во всех остальных точках. Геометрический
смысл .этого факта таков: касательная к графику монотонной
функции в отдельных точках может быть параллельна оси Ох.
Таким образом, е интервале монотонности функции знак ее про-
изводной не может измениться на обратный.
Это предложение позволяет по характеру р о с т а монотонной
функции в интервале установить знак ее производной в этом
интервале.
Однако когда мы только начинаем исследовать функцию, то ее
поведение обычно неизвестно, и поэтому значительно важнее
обратное предложение, сводящее вопрос о х а р а к т е р е р о с т а
функции в данном интервале к более простому вопросу о з н а к е
ее п р о и з в о д н о й в Этом интервале.
Теорема (достаточный признак монотонности).
1) Если производная /' (х) от функции f(x) всюду в интер-
вале положительна, то функция/(JC) в этом интервале возрастает;
2) если производная f (x) от функции f(x) всюду в интер-
вале отрицательна, то функция f(x) в этом интервале убывает;
3) если производная f (х) от функции f(x) всюду в интер-
вале равна нулю, то функция f(x) в этом интервале не изме-
няется (есть константа).
Д о к а з а т е л ь с т в о . Возьмем в рассматриваемом интервале
две произвольные точки xt и хг> причем пусть хх < хг. По фор-
муле Лагранжа имеем:
60] § 2. ПОВЕДЕНИЕ ФУНКЦИИ В ИНТЕРВАЛЕ 183
Так как лгх < хг, то разность х2— лгх положительна и знак
разности f(xt)—f{X\) полностью определяется знаком производ-
ной / ' ( £ ) • Если производная / ' ( # ) в с ю д у положительна, то и
/ ' ( | ) > 0 . Следовательно, f{xi)—f(x1) > 0, т . е .
Рис. 72
Рис. 73.
Таким образом,
при
откуда
х
Так как множители е и х ух ~ ух* положительны, то знак у"
2
совпадает со знаком квадратного трехчлена 9х -\-\2х—2. Этот
трехчлен имеет нули в точках хх — ж—'1,48 и
О
1
) Нельзя здесь рассматривать сразу весь интервал [xt, xt\, так как
внутри него есть точка (дс=О) разрыва второй производной.
202 ГЛ. IV. ПРИМЕНеНИЯ ДИФФЕРЕНЦИАЛЬНОГО ИСЧИСЛЕНИЯ [63
Рис. 83.
Примеры.
(«)
Доказательство формулы (*•) уже более сложно, чем формулы (•). Оно
будет опираться на т е о р е м у К о ш и (п. 58), и читатель, пропустивший
при чтении эту теорему, может пропустить приводимое доказательство
и прямо перейти к примерам.
Снова запишем отношение функций в виде
1— cosx-f-*sinx
! ,. 2 s i n * + * o > s * .. 3cosz—дгsin x „
Itm ; = urn г = lirn = 6.
До 1-cos* ,_, sin* ,
хч 0
cos*
но вместе с тем
J
) В некоторых учебных руководствах сохраняется традиция называть
О 00
-д-; —; О-оо; оо — оо; 1°°; оо°; 0° неопределенными выражениями. Нахож-
дение пределов этих выражений называют раскрытием неопределенностей,
почему и п р а в и л о Л о п и т а л я иначе называют п р а в и л о м д л я р а с к р ы -
тия неопределенностей.
208 ГЛ. IV. ПРИМЕНЕНИЯ ДИФФЕРЕНЦИАЛЬНОГО ИСЧИСЛЕНИЯ |64
— 1
«= lim In (cos JC)X* , который запишем в виде A1 = lim—-^—; это —
Ж-+0 Х-*0
случай -д-. Применим правило Лопиталя:
Рис. 84.
t=MNcosa,
Рис. 85.
{*)
Так как — - + 0 и — • 0, то
но
U. Имеем
2
-> (1+*)* (1+*)
Производная обращается в нуль при х = 0 и J t = — 2 ; в интер-
вале ( — оо, —2) она положительна, в интервалах (—2, —1) и
(—1,0) отрицательна (в точке х — — 1 она не определена) и в
интервале (0, оо) снова положительна. Значит, функция в первом
интервале возрастает, во втором и третьем убывает, в четвертом воз-
растает; х = — 2 является точкой максимума, причем максимальное
значение функции равно — 4 , а лг = О является точкой минимума,
причем минимальное значение функции равно 0.
III. Имеем
У == • х-\,
216 ГЛ. IV. ПРИМЕНЕНИЯ ДИФФЕРЕНЦИАЛЬНОГО ИСЧИСЛЕНИЯ [66
§ 4. Кривизна
66. Дифференциал длины дуги. Возьмем линию АВ—график
непрерывной функции у = / ( л г ) — и примем точку А за начало
отсчета. Тогда длина дуги AM (рис. 88) будет являться функцией
абсциссы х точки М; обозначим
эту функцию s (х):
откуда
и значит.
будут
(**)
а нормальной плоскости
I A ' (О | =
Вспоминая выражение для дифференциала длины дуги ds (п. 68),
последнее равенство можно записать в виде
и т. д.
71*. Приложения к механике. Рассмотренное нами дифферен-
цирование векторной функции скалярного аргумента имеет важное
применение в механике при определении скорости и ускорения
к р и в о л и н е й н о г о движения. (В пп. 38, I и 54, I был рассмот-
рен вопрос о скорости и ускорении прямолинейного движения.)
Пусть годограф векторной функции r~A(t) является траек-
торией движущейся точки, t—время. Тог-
да в е к т о р - п р о и з в о д н а я
Рис. 96.
da, I
гдеАГ=
-j-l—предел отношения угла смежности к длине дуги.
Величину К, так же как и для плоской кривой, мы называем кри-
визной пространственной кривой, а величину, ей обратную,
радиусом кривизны1). Подставляя выражение для в формулу
для ускорения, получим
x
Первый составляющий вектор ^ t — 'dli i. называется тангенциаль-
ным ускорением; величина его равна второй производной от пути
по времени, и он направлен по касательной к траектории движе-
вывести, что
2 2
Так как \z(t) j = ; ] / c o s tf-f-sio ' — Ь годографом служит окруж-
ность радиуса 1 с центром в начале координат; при изменении t
от 0 до 2 я точка пробегает окружность против часовой стрелки.
Если бы параметр t изменялся в интервале [0, я ] , то годографом
была бы верхняя половина окружности с начальной точкой г=\
и конечной точкой z = — 1 .
3)
Годографом служит отрезок прямой, параллельной мнимой оси,
заключенный между точками zx = \ -\-i H . Z 2 = I — /; при изменении t
в заданнном интервале он пробегается дважды: сначала сверху
вниз, а потом снизу вверх.
И. П р о и з в о д н а я к о м п л е к с н о й функции действи-
т е л ь н о г о п е р е м е н н о г о . Производная комплексной функции
z(t) определяется как обычно, т. е. как предел отношения прира-
щения функции Az — z (t -{- At)— z (t) к приращению независимой
переменной At:
J
) Позже, в гл. XI, мы придем к такому же определению, исходя из
совершенно других соображений.
74] § 6. КОМПЛЕКСНЫЕ ФУНКЦИИ ДЕЙСТВИТЕЛЬНОГО ПЕРЕМЕННОГО 239
§ 7. Решение уравнений
75. Общие сведения об уравнениях. С решением уравнений
приходится сталкиваться в самых разных задачах, как чисто математи-
ческого, так и прикладного характера. Например, при исследовании
функции у—/(х) для отыскания нулей функции, точек экстре-
мума и абсцисс точек перегиба требуется решить соответственно
уравнения f(x)~0, / " ( * ) = 0, f"(x) = Q. Далеко не всегда эти
уравнения удается решить точно, и приходится отыскивать их
корни п р и б л и ж е н н о . Однако, прежде чем переходить к приб-
лиженным методам решения, мы изложим вкратце некоторые общие
свойства уравнений, частично уже известных читателю.
I. Алгебраические уравнения и разложение
м н о г о ч л е н о в на м н о ж и т е л и . Пусть дан многочлен
многочлены (см. п. 11). Для его решения нужно найти корни, ал-
гебраического уравнения Р(х) = 0 и взять из них те, при кото-
рых знаменатель Q(x) не равен нулю. Если при некотором зна-
чении х=а и Р(а)=О и Q(oc)=O, то условимся а считать кор-
нем R(x), если UmR{x) = 0, и не считать в противном случае.
х -*а
И р р а ц и о н а л ь н ы е уравнения, т.е. уравнения, содержащие х
под знаком корня, обычно удается свести к алгебраическим, возвы-
шая обе части уравнения в соответствующие степени. При этом,
однако, могут появиться посторонние корни, и поэтому, найдя
корни полученного алгебраического уравнения, нужно взять из
них только те, которые удовлетворяют исходному уравнению.
Ш. Т р а н с ц е н д е н т н ы е у р а в н е н и я . Уравнение f(x) = О
называется трансцендентным если функция /(х) — трансцендентная
(п. 11). Примерами трансцендентных уравнений служат логарифми-
ческие, показательные и тригонометрические уравнения, изучаемые
в курсе элементарной математики. Другие типы трансцендентных
уравнений, как правило, алгебраическим путем решены быть не
могут. Более того, без специального исследования вообще нельзя
сказать, имеет ли данное трансцендентное уравнение корни и
в каком количестве.
= - ( « п х ) х = 0 - 0 , но ^ ; ' 1 о = cos 0 ^ 0 .
Уравнение J/A: 2 = 0 имеет корень, равный нулю. Мы не гово-
рим об его кратности, так как уже первая производная его ле-
вой части -^ .— не существует при х = 0.
Предоставляем читателю проверить, что если а—простой
корень уравнения / ( J C } = 0 , то график функции у—/(х) пересе-
кает ось абсцисс; если а—двукратный корень, то график касается
оси абсцисс и в некоторой окрестности точки а целиком лежит
по одну сторону от оси абсцисс (т. е. точка а является точкой
экстремума функции f{x)). Когда а — трехкратный корень, то
точка (а, 0) оси абсцисс является точкой перегиба графика и
касательная в ней совпадает с осью абсцисс; нетрудно также
установить, что будет, если а—корень более высокой кратности.
т. е. с у ж и в а е т с я и н т е р в а л и з о л я ц и и ; значения х'х
и х'% — лучшие, чем хх и лг2, приближенные значения корня х0.
Применяя к интервалу [x'v x'J гот же или другой метод, полу-
чаем еще лучшие приближенные значения х"±, х"з корня х0.
Мы приводим три метода, самые простые и удобные: метод
п р о б , метод х о р д и метод к а с а т е л ь н ы х , который известен
еще под названием метода Ньютона, а также комбинирование этих
трех методов.
Отметим еще, что иногда примерное положение корня уравне-
ния f(x) = 0 удобнее находить, записав уравнение в виде
<рх (х) = ф 2 (х), где q>j (х) — ф 2 (х) =/(х). Если графики функций
<рх (х) и ф 2 (х) известны, то абсциссы точек их пересечения и будут
являться корнями данного уравнения. Так, например, записав
уравнение \nx-\-x — 2 = 0 в виде 1плг = 2 — х и построив соот-
ветствующие графики, легко заметить, что единственный корень
лежит между 1 и 2.
I. М е т о д п р о б . Этот метод является самым простым, но
не лучшим из методов последовательного приближения к корню
уравнения. Пусть интервал [хъ х2] есть интервал изоляции корня
уравнения /(х) = 0. Если корень простой, то значения функции
f(x) на концах интервала имеют разные знаки; допустим для
определенности, ч т о / ( ; с 1 ) < 0 , а / ( л г 2 ) > 0 . Возьмем любое зна-
чение х = х' в интервале [xlt хг\ и испробуем его, подставив
в функцию f(x); если f(x') < 0, то мы, заменяя xt на х', полу-
чим суженный интервал изоляции [х', х2]; если же / ( л г ' ) > 0 , то
мы придем к суженному интервалу изоляции [xlt x'], заменив х2
через х'':
Неограниченно применяя метод проб, мы получим последова-
тельность точек х', х", . . . , которая, как это можно доказать,
имеет своим пределом корень х0. В силу этого с помощью метода
проб можно найти приближенное значение корня с любой точностью.
77] § 7. РЕШЕНИЕ УРАВНЕНИЙ 247
П р и м е р . Рассмотрим уравнение
/(х) = лг3 + 1,1 хг + 0,9 х- 1,4 = 0.
Так как / ' (*) = З* 2 + 2,2 лг + 0,9 > 0 для всех значений х, то
функция f(x) монотонно возрастает и, значит, ее график лишь
один раз пересекает ось Ох; кроме того, /(0) = — 1,4, а/(1) = 1,6,
и значит, уравнение имеет единственный действительный корень,
лежащий в интервале [0,1].
Находим /(0,5)= —0,55; затем вычисляем /(0,7) = 0,112.
Это показывает, что интервал [0,5; 0,7] есть уменьшенный
интервал изоляции искомого корня. Далее мы имеем
/(0,6) = —0,25, /(0,65)= —0,076, /(0,67) = —0,002.
Ясно, что мы таким образом приближаемся к корню; он лежит
в интервале [0,67; 0,7]. Приблизим теперь к корню правую гра-
ницу интервала изоляции. Испробуем 0,68; получим /(0,68) = 0,034.
Рис. 99.
ближе к лг0, чем xt; исходя из нового суженного интервала [х', хг],
получим точно так же точку x"v которая будет лежать еще ближе
к х0, чем jc' t . Таким образом, находим последовательность точек
хг, x't, x"v ... ..стремящуюся, возрастая, к неизвестному нам корню х0.
Аналогично на рис. 99, б также получается последовательность
точек д:2, x't, x"%, . . . , стремящаяся, убывая, к корню х0.
Написав уравнение хорды МгМг
и, далее, считая
точно так же
Рис. 100.
или М2, причем именно в той, которая лежит над осью Ох, если
дуга вогнута (/" (х) ^ 0) (рис. 100, а), и которая лежит под
осью Ох, если дуга выпукла (/" (х) ^ 0 ) (рис. 100, б).
Эти условия обеспечивают то, что точка пересечения х'х (или х'\
касательной с осью Ох всегда будет находиться между корнем х0
и одним из концов (лтх или х2) интервала изоляции [xlt хг\; интер-
вал [x't, хг] или [xv x't] будет новым суженным интервалом изо-
ляции корня х0. Если какое-нибудь из условий не выполнено, то
новый интервал изоляции может оказаться шире прежнего, и мы,
таким образом, не приблизимся к корню, а удалимся от него.
Повторное применение метода касательных приводит к последо-
вательности, имеющей в качестве предела корень х0. Значит, и
по этому методу корень можно найти с любой точностью.
На рис. 100 представлены два возможных случая; остальные
случаи читатель изобразит на чертеже самостоятельно.
Написав уравнение касательной МХТ или М2Т
У— /(•*!> =/'(*i)(*—*i) или у—/(хг)=/'(х2)(х-х2),
найдем, положив у = 0, выражение для абсциссы х'х или х'%
точки ее пересечения с осью Ох:
1(4)
или
Нч) (Б)
250 ГЛ. IV. ПРИМЕНЕНИЯ ДИФФЕРЕНЦИАЛЬНОГО ИСЧИСЛЕНИЯ [77
Так как /" (х) = 6х-\-2,2 > 0 в интервале [0, 1], то касатель-
ную проводим в точке с абсциссой, равной 1. По формуле (Б)
имеем последовательно
§ 1. Неопределенный интеграл 1 )
2
Две функции л: и -Q- + C при любой постоянной С находятся
в таком соотношении друг к другу: первая является п р о и з в о д -
н о й от второй, вторая — п е р в о о б р а з н о й от первой.
Подобно этому любая функция \nx-\-C является первообразной
от -, любая функция sinх + С является первообразной от cos x
и т. д.
При рассмотрении примеров бросается в глаза то обстоятель-
ство, что первообразных у данной функции не одна, а бесчислен-
ное множество, так как постоянная величина С может принимать
любые значения; производных же у данной функции, разумеется,
только одна.
Сформулируем теперь основную теорему о первообразных.
Т е о р е м а . Всякая непрерывная функция имеет бесчисленное
множество первообразных, причем любые две из них отличаются
друг от друга только постоянным слагаемым.
Наиболее трудным моментом доказательства является установ-
ление того, что данная непрерывная функция вообще имеет хоть
какую-нибудь первообразную. Этот факт мы доказывать не будем,
а несколько позже приведем его геометрическую иллюстрацию.
Пока же примем, что любая непрерывная функция f(x) имеет перво-
образную F(x).
Но тогда функция F(x)-{-C при всякой постоянной С будет
также первообразной, так как
ff(x)dx.
Функция f (х) называется подынтегральной функцией, выраже-
ние f(x)dx—подынтегральным выражением, а переменная х—пере-
менной интегрирования.
Предполагается, что подынтегральная функция / (х) при рас-
сматриваемых значениях х непрерывна.
В п. 78 было установлено, что
Рис. 102.
или
или
Теорема доказана.
Теорема II (о вынесении п о с т о я н н о г о множите-
ля). Постоянный множитель подынтегральной функции можно вы-
нести за символ интеграла
где с — константа.
Действительно, производные обеих частей равенства равны
(fcf(x) dxY= сДх); (с //(*) dx)'= с (ff(x) dx)'= cf{x),
что и требовалось доказать.
Пример.
(*)
г д е ^ — ордината начальной, ус — ордината средней п ук — ордината
конечной точек дуги параболы.
Предположим сначала, что основанием трапеции служит интервал
оси Ох, симметричный относительно начала координат, [—Y> у]-
Для площади такой параболической трапеции имеем выражение
J-J от функции
3 u
2) Пусть z~x e \ где и — ц>{х). Тогда
116] § 2. ПРОИЗВОДНЫЕ И ДИФФЕРЕНЦИАЛЫ 397
П. И н в а р и а н т н о с т ь ф о р м ы п е р в о г о д и ф ф е р е н -
ц и а л а и п р а в и л а для о т ы с к а н и я д и ф ф е р е н ц и а л а .
Т е о р е м а . Полный дифференциал функции z=f(u,v) со-
храняет один и тот же вид независимо от того, являются ли
ее аргументы и и v независимыми переменными или функциями
от независимых переменных.
Если и HV—независимые переменные, то полный дифференциал
равен
то уравнение
s
) Положение точки экстремума (максимума) этой функции будет уточ-
нено в примере 2п. 118.
402 гл. vu. ФУНКЦИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ [118
откуда
F
„'„"»„ JL
У ~ йх~~ р' "
у
Эта формула выражает производную неявной функции ^г = ф(х)
через частные производные заданной функции F(x, у)1). Произ-
водная у' не существует при тех значениях х и у, при кото-
рых Fy = 0. Но при этом, как было отмечено, мы и не можем
гарантировать существования самой функции <р(х).
Примеры. 1) F(x, V)E==X 2 + V 3 - 1 = 0 .
Имеем з—=2лг, ~з- = 2у; значит,
дх ' ду *
, 2х л;
2) > y -
Согласно решению примера 2 п. 98
F(x, у, z) = 0
определяет z как некоторую функцию 2 = <р(х, у) независи-
мых переменных х и у. Если в уравнение подставить вместо г
Fx + Fzpx = 0, Fu
откуда
д д
1— _^* ±
дх~ р',' ду~ ~^
Эти формулы выражают частные производные неявной функции
z = <p(x, у) через производные заданной функции F{x, у, z). При
Fz' = 0 эти формулы теряют смысл.
П р и м е р ы . 1) Найдем частные производные функции г, за-
2 2 2
данной уравнением F(x, у, z) = x -\-y +z — 1 = 0 (уравнение
сферы). Имеем
dF „ дР - dF „
= 22>
Ш = 2х>ду- = 2У> аГ
значит,
дг х дг __ ^
Й«~ z ' ду ~г '
В этом примере можно найти явное выражение функции и прове-
рить правильность полученных результатов.
2) F{x, у, z)E=e-xy—2z + ez = Q. Находим
дх * ' ду ' дг •
Поэтому
3z уе~хУ дг хе~хУ
дх~ё^^2' ду~^^2'
Здесь уже явного выражения для z мы получить не можем и
значения частных производных находятся по значениям независи-
мых переменных х и у и самой функции Z.
предыдущему найдем
ди _ Fx gu ^ Fy gu ^ Fz
дх р' ' ди р' ' дг в' ' ' "'
и 'и и
пли
^о, у0, -h)(x-xo) +•FA** Уъ, «о) (У~Уо)- f
+ FA*;о-
что короче записывают так:
Рис. ИЗ.
Тогда
Отсюда
410 ГЛ. VII. ФУНКЦИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ [121
~) =0.
121J § 4. ЭКСТРЕМУМЫ ФУНКЦИЙ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ 411
или
получаем
(*)
г
Исключая к, приходим к уравнению 4у* — х ~ 0, решая которое
совместно с уравнением связи находим х =2 и у = 1 (по условию
задачи хну положительны).
Функция z — xy при рассматриваемых значениях хну положи-
тельна и в точках пересечения эллипса с осями координат (2 ]/~~2, 0)
и (0, к~2~) равна нулю. Поэтому найденная единственная точка Р(2, 1)
будет точкой условного максимума; в этой точке zmax = 2. Легко
проверить, что в точке Р эллипс касается линии уровня функции
z — xy, проходящей через эту точку, т. е. гиперболы ху = 2.
Задачи на условный экстремум для функций трех переменных
допускают большее разнообразие. Пусть задана функция и =
— f(x, у, г) и переменные х, у и z связаны одним уравнением
420 гл. vu. ФУНКЦИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ [124
и приравнивая
Выразим отсюданулю ее частные
координаты х, производные, получим
у, z через вспомогательные не-
известные
§ 5. Скалярное поле
g^gcosa+^cosp+l-cosY, (**)
где cos a, cosP и cos\> — направляющие косинусы луча %.
Д о к а з а т е л ь с т в о . Так как функция и(х, у, г) дифферен-
цируема, то ее полное приращение можно записать в виде (см.
126] § 5. СКАЛЯРНОЕ ПОЛЕ 425
п. ПО, I)
и
Так как значения частных производных -£, £ 5~ в точке Р,
а также а, р и у от р не зависят, то, переходя к пределу при
р—«-О, получим
Следовательно,
ди 9
2 f 2\ 1
Если
(*)
Следовательно:
Производная функции по данному направлению равна скаляр-
ному произведению градиента функции на единичный вектор
этого направления.
Так как скалярное произведение равно модулю одного вектора,
умноженному на проекцию другого вектора на направление перво-
го, то можно еще сказать, что
Производная функции по дан-
ному направению равна проекции
градиента функции на направле-
ние дифференцирования, т. е.
Рис. 150.
~дхш ду'^дг" Г
grad г направлен по радиусу-вектору г, и модуль его равен
единице.
2) Пусть скалярное поле определено функцией q где г опре-
делено в примере 1. Тогда по
свойству 4) ги
§ 1. Двойные интегралы
(*)
где f{Xj, yt)— значение функции в точке Я,-и Дст,- — площадь ча-
стичной области.
Сумма (*) называется п-й интегральной суммой для функции
f(x, у) в области D, соответствующей данному разбиению этой
области на п частичных областей.
Определение. Двойным интегралом от функции f (x,y)
по области D называется предел, к которому стремится и-я
интегральная сумма (*) при стремлении к нулю наибольшего
диаметра частичных областей.
Записывается это так:
1
) Если известно только, что площадь области стремится к нулю, то
эта область может и не стягиваться в точку. Например, площадь прямо-
угольника с п о с т о я н н ы м основанием и высотой, стремящейся к нулю,
стремится к нулю, а прямоугольник стягивается к своему основанию,
т. е. к отрезку.
129] § 1. ДВОЙНЫЕ ИНТЕГРАЛЫ 435
то
(•)
(*•)
\\f(x,y)dxdy.
D
Предположим сначала,
что область интегрирова-
ния D удовлетворяет сле-
дующему условию: любая
прямая, параллельная оси
J54 Ох или оси Оу, пересекает
Р и с
границу области не более
чем в двух точках. Соответствующее цилиндрическое тело изоб-
ражено на рис. 154.
Область D заключим внутрь прямоугольника
(ABC),
(АЕС).
Аналогично точками В и Е граница разбивается на линии ВАЕ
130] § 1. ДВОЙНЫЕ ИНТЕГРАЛЫ 439
Рис. 155.
(А)
(Б)
сначала по х, а потом по у;
Д(2,0) х
Рис. 158.
а
Рис. 160. Рис. 161.
Рис. 159.
Разбивая область D на две: ОВС и СВА, получим
D о о i o
Этот пример показывает, как важно с самого начала продумать
порядок интегрирования.
Формулы (А) и (Б) сведения двойного интеграла к повторному справед-
ливы и для случая областей более общего вида. Так, формула (А) приме-
нима к области, указанной на рис. 159, а формула (Б)—к области, изобра-
женной на рис. 160. В случае области еще более общего вида (рис. 161)
130] § 1. ДВОЙНЫЕ ИНТЕГРАЛЫ 443
по прямоугольной области
f ч*2
а)
Рис. 164.
Следовательно,
и плоскрстью Оху.
Заданное тело представляет собой сегмент эллиптического
параболоида, расположенный над плоскостью Оху (рис. 165).
Параболоид пересекается с плоско-
стью Оху по эллипсу
откуда
или
где
Тогда*)
х
) Следует заметить, что площади частичных областей о,-, примыкаю-
щ и х к границе области D, могут быть и не равны т\ Дг,- Дф,-. Можно, од-
нако, доказать, что получающаяся при такой замене суммарная ошибка
стремится к нулю при последующем переходе к пределу.
448 ГЛ. VIII. ДВОЙНЫЕ И ТРОЙНЫЕ ИНТЕГРАЛЫ [131
Рис. 167.
Отсюда
П. С т а т и ч е с к и е м о м е н т ы и ц е н т р т я ж е с т и п л а с -
т и н к и . Перейдем теперь к вычислению статических моментов
рассматриваемой пластинки относительно осей координат. Для этого
сосредоточим в точках Р{ {х(, у{) массы соответствующих частич-
ных областей и найдем статические моменты полученной сис-
темы материальных точек (си. п. 103):
§ 2. Тройные интегралы
£\
(*)
Рис. 171.
Предел этой суммы при ус-
ловии, что п —>• оо и каждое частичное тело стягивается в точку
х
(т. е. что его д и а м е т р ) стремится к нулю), и даст массу
М тела
то
(*)
г д е ^ — ордината начальной, ус — ордината средней п ук — ордината
конечной точек дуги параболы.
Предположим сначала, что основанием трапеции служит интервал
оси Ох, симметричный относительно начала координат, [—Y> у]-
Для площади такой параболической трапеции имеем выражение
Отсюда
(#•)
J
) В картографии положение точки на земной поверхности определяется
углом <р (долгота точки) и углом 6' = ^ —9 (широта точки). При этом дол-
гота меняется от 0 до 2я (или от —я до я), а широта от — — до —.
134] § 2. ТРОЙНЫЕ ИНТЕГРАЛЫ 461
т. е.
(*)
Примеры. 1)
г
Отсюда следует, что если ДЯ—«-О, тои/ (Я + ДЯ)—F(X)—»-0,
т. е. что функция ^(Я) непрерывна. Мы будем пользоваться тео-
ремой в том виде, в каком она сформулирована, хотя ее доказа-
тельство проведено в упрощающем предположении. Отметим еще,
что в ходе доказательства существенно использовалась конеч-
н о с т ь интервала интегрирования [а, Ь].
Часто условие непрерывности интеграла, зависящего от пара-
метра, записывают в виде
ь
lim Г/(дг, l)dx = [f(x, X)dx, {***)
s
a a
выражающем тот факт, что предел непрерывной функции F(%)
при |—•Я равен значению этой функции при £ = Я.
136] § 3. ИНТЕГРАЛЫ, ЗАВИСЯЩИЕ ОТ ПАРАМЕТРА 467
2 a d x
- ^ ' arete ' | ' ' ( ')
)
откуда
(•)
ленный в п. 131. Интеграл (*) правильно сходится, так как |е~**соз А,дс|<е~**.
Дифференцируя интеграл (•), получим
о
Это действие законное, так как последний интеграл тоже сходится правильно.
поэтому Окончательно
§ 1. Криволинейный интеграл
Рис. 178.
(•)
Преобразованная сумма
Таким образом,
Отсюда и вытекает п р а в и л о в ы ч и с л е н и я к р и в о л и н е й -
ного интеграла.
Для того чтобы криволинейный интеграл
П р и м е р ы . 1) Вычислим интеграл
x+y)dy,
Рис. 182.
dx = 2у dy, получим
3) Вычислим интеграл
in ая
п 2Я 1 ая с
= 4 ] ( 2 — 2 c o s * — t sint)dt = b[2t — 2s\nt\ — \ts\atdt].
Интегрируя последний интеграл по частям, окончательно получим
[ = \ Pdx + Qdy [
L, ЛЕС СА
[ \ \
L, АС СВА
140] § 1. КРИаОЛИНЕЙНЫЙ ИНТЕГРАЛ 481
ЛЕС СВА L
что и требовалось доказать.
Эта теорема, как читатель сам легко убедится, справедлива
при любом числе областей, на которые разбивается область D.
Совершенно аналогично
в положительном направлении:
(***)
то
1
) Предполагается, что эта линия не имеет самопересечений, т. е не
может, например, быть «восьмеркой».
141] § 1. КРИВОЛИНЕЙНЫЙ ИНТЕГРАЛ 485
(*)
(**)
Если указанные свойства функций Р и Q соблюдаются при
любых хну, то область D совпадает со всей плоскостью Оху.
Так как равенство (**) является необходимым и достаточным
условием того, чтобы подынтегральное выражение
т 0
Так как по условию 7Г^ = з-> двойной интеграл равен нулю.
Следовательно, равен нулю и криволинейный интеграл по контуру L*,
что и требовалось доказать.
Перейдем к доказательству н е о б х о д и м о с т и у с л о в и я (**).
Так как нам дано теперь, что интеграл (*) по л ю б о м у замкну-
тому контуру равен нулю, то, опять-таки в силу формулы Грина,
заключаем, что равен нулю и двойной интеграл
{***)
486 ГЛ. IX. КРИВОЛИН. ИНТЕГРАЛЫ И ИНТЕГРАЛЫ НО ПОВЕРХНОСТИ [141
U
~дх ~~ду >
во всех точках области О. Но тогда по свойству двойных интег-
ралов (п. 129)
') Нетрудно убедиться в том, что если j ~—%- ) < 0, то ход до-
казательства не изменится. \ ох оу j м
142] § 1. КРИВОЛИНЕЙНЫЙ ИНТЕГРАЛ 487
Никакого противоречия с доказанной теоремой здесь нет. Просто не выпол-
нены условия теоремы: функции Р (х, у) и Q (х, у) разрывны в начале ко-
ординат, т. е. в точке, лежащей в н у т р и контура интегрирования. Если
бы L был замкнутый контур, не содержащий в н у т р и себя начала коор-
динат, то условия теоремы выполнялись бы и
тогда 11 был бы равен нулю. ",
Рассмотрим этот же пример еще и с другой
точки зрения. Возьмем кольцо, изображенное на
рис. 188. В этом кольце функции Р и Q,a также
их производные н е п р е р ы в н ы , но несмотря на
это нельзя утверждать, что интегралы 1ц и Iit
равны между собой. Так как Iit-\-1_1г~2п,
т. е. lil—lLl = 2n, то
(**#)
142] § 1. КРИВОЛИНЕЙНЫЙ ИНТЕГРАЛ 489
Следовательно,
или
(*)
'с
{t\, y{t), z(t)]x'{t) + Q[x(t), y(t), z(t)]y'(i)-f
у
) Рекомендуем читателю провести самостоятельно соответствующие
рассуждения.
492 гл. ix. КРИВОЛИН. ИНТЕГРАЛЫ И ИНТЕГРАЛЫ ПО ПОВЕРХНОСТИ [143
Рис. 191.
заметим, что
pv = RT (/? = const).
т. е.
(ср и cv считаем п о с т о я н н ы м и ) .
Итак, окончательно:
498 гл. ix. КРИВОЛИН. ИНТЕГРАЛЫ И ИНТЕГРАЛЫ ПО ПОВЕРХНОСТИ [144
откуда
(*)
где Ask — длина соответствующего участка линии L. Отличие
этой суммы от сумм, приводящих к криволинейным интегралам по
координатам (см. п. 138), состоит в том, что здесь значение
функции умножается на д л и н у участка разбиения, а там на
п р о е к ц и ю этого участка на соответствующую ось координат.
О п р е д е л е н и е . Криволинейным интегралом по длине
называется предел и-й интегральной суммы (*) при условии,
что длина наибольшего участка разбиения стремится к нулю.
Записывается это так:
\f{x, y)ds,
(*)
(**)
Значит,
dx dy,
где область D — проекция интересующей нас части поверхности
на плоскость Оху — есть круг радиуса R с центром в начале
координат. Переходя к полярным координатам, получим
= ~ [(l ]
и поэтому
(**)
координатам:
Итак,
2) Вычислим интеграл
Имеем
ъ 2
Так как интеграл \\ 1 ^ 1 — х — у dxdy выражает объем полу-
D
сферы радиуса 1, то он равен 2/3 я. Поэтому / = 4 / З я .
1
149*. Формула Стокса ). Для поверхностных интегралов имеет
место формула, аналогичная формуле Грина (см. п. 140), позво-
ляющая свести вычисление интеграла по поверхности S к вычислению
криволинейного интеграла по контуру L, ограничивающему эту
поверхность (рис. 203).
Теорема. Если функции Р(х,у, z), Q(x,y,z), R(x,y,z)
непрерывны вместе со своими частными производными первого по-
рядка, то имеет место формула
Поэтому
Рассуждая точно так же, как и на стр. 483, можно показать, что по-
лученная формула верна и для поверхностей более сложного вида. Для
этого нужно разбить ее на более простые поверхности и к каждой из них
применить полученную формулу.
Аналогично доказывается справедливость еще двух соотноше-
ний (рекомендуем читателю доказать их самостоятельно, выбирая
каждый раз уравнение поверхности в подходящем виде):
<*)
где 5 — граница области Q и интегрирование по S производится
по ее внешней стороне.
Формула (*) называется формулой Остроградского.
Д о к а з а т е л ь с т в о . Сначала
возьмем в пространстве Oxyz об-
ласть Q, ограниченную замкнутой I
поверхностью S, пересекающейся
с любой координатной линией не
более чем в двух точках (рис. 204).
Преобразуем тройной интеграл
^zo^da, (Б)
П р и м е р . Вычислим интеграл
тогда
151] § 3. ТЕОРИЯ поля 521
Таким образом,
означает интеграл по л и н и и , — и н т е г р а л по п о в е р х -
ности, интеграл по о б ъ е м у .
выражается формулой
Здесь
. дх ' ду ' дг
Каждая точка поля является как бы источником постоянной мощное-
ти. Пользуясь векторной формой теоремы Остроградского, сразу
получаем, что поток радиуса-вектора через любую замкнутую поверх-
ность равен утроенному объему, ограниченному этой поверхностью:
Поэтому
Действительно,
528 гл. ix. КРИВОЛИН. ИНТЕГРАЛЫ И ИНТЕГРАЛЫ ПО ПОВЕРХНОСТИ [153
Значит,
(*)
J-J от функции
3 u
2) Пусть z~x e \ где и — ц>{х). Тогда
116] § 2. ПРОИЗВОДНЫЕ И ДИФФЕРЕНЦИАЛЫ 397
П. И н в а р и а н т н о с т ь ф о р м ы п е р в о г о д и ф ф е р е н -
ц и а л а и п р а в и л а для о т ы с к а н и я д и ф ф е р е н ц и а л а .
Т е о р е м а . Полный дифференциал функции z=f(u,v) со-
храняет один и тот же вид независимо от того, являются ли
ее аргументы и и v независимыми переменными или функциями
от независимых переменных.
Если и HV—независимые переменные, то полный дифференциал
равен
то уравнение
s
) Положение точки экстремума (максимума) этой функции будет уточ-
нено в примере 2п. 118.
402 гл. vu. ФУНКЦИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ [118
откуда
F
„'„"»„ JL
У ~ йх~~ р' "
у
Эта формула выражает производную неявной функции ^г = ф(х)
через частные производные заданной функции F(x, у)1). Произ-
водная у' не существует при тех значениях х и у, при кото-
рых Fy = 0. Но при этом, как было отмечено, мы и не можем
гарантировать существования самой функции <р(х).
Примеры. 1) F(x, V)E==X 2 + V 3 - 1 = 0 .
Имеем з—=2лг, ~з- = 2у; значит,
дх ' ду *
, 2х л;
2) > y -
Согласно решению примера 2 п. 98
F(x, у, z) = 0
определяет z как некоторую функцию 2 = <р(х, у) независи-
мых переменных х и у. Если в уравнение подставить вместо г
Fx + Fzpx = 0, Fu
откуда
д д
1— _^* ±
дх~ р',' ду~ ~^
Эти формулы выражают частные производные неявной функции
z = <p(x, у) через производные заданной функции F{x, у, z). При
Fz' = 0 эти формулы теряют смысл.
П р и м е р ы . 1) Найдем частные производные функции г, за-
2 2 2
данной уравнением F(x, у, z) = x -\-y +z — 1 = 0 (уравнение
сферы). Имеем
dF „ дР - dF „
= 22>
Ш = 2х>ду- = 2У> аГ
значит,
дг х дг __ ^
Й«~ z ' ду ~г '
В этом примере можно найти явное выражение функции и прове-
рить правильность полученных результатов.
2) F{x, у, z)E=e-xy—2z + ez = Q. Находим
дх * ' ду ' дг •
Поэтому
3z уе~хУ дг хе~хУ
дх~ё^^2' ду~^^2'
Здесь уже явного выражения для z мы получить не можем и
значения частных производных находятся по значениям независи-
мых переменных х и у и самой функции Z.
предыдущему найдем
ди _ Fx gu ^ Fy gu ^ Fz
дх р' ' ди р' ' дг в' ' ' "'
и 'и и
пли
^о, у0, -h)(x-xo) +•FA** Уъ, «о) (У~Уо)- f
+ FA*;о-
что короче записывают так:
Рис. ИЗ.
Тогда
Отсюда
410 ГЛ. VII. ФУНКЦИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ [121
~) =0.
121J § 4. ЭКСТРЕМУМЫ ФУНКЦИЙ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ 411
или
получаем
(*)
г
Исключая к, приходим к уравнению 4у* — х ~ 0, решая которое
совместно с уравнением связи находим х =2 и у = 1 (по условию
задачи хну положительны).
Функция z — xy при рассматриваемых значениях хну положи-
тельна и в точках пересечения эллипса с осями координат (2 ]/~~2, 0)
и (0, к~2~) равна нулю. Поэтому найденная единственная точка Р(2, 1)
будет точкой условного максимума; в этой точке zmax = 2. Легко
проверить, что в точке Р эллипс касается линии уровня функции
z — xy, проходящей через эту точку, т. е. гиперболы ху = 2.
Задачи на условный экстремум для функций трех переменных
допускают большее разнообразие. Пусть задана функция и =
— f(x, у, г) и переменные х, у и z связаны одним уравнением
420 гл. vu. ФУНКЦИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ [124
и приравнивая
Выразим отсюданулю ее частные
координаты х, производные, получим
у, z через вспомогательные не-
известные
§ 5. Скалярное поле
g^gcosa+^cosp+l-cosY, (**)
где cos a, cosP и cos\> — направляющие косинусы луча %.
Д о к а з а т е л ь с т в о . Так как функция и(х, у, г) дифферен-
цируема, то ее полное приращение можно записать в виде (см.
126] § 5. СКАЛЯРНОЕ ПОЛЕ 425
п. ПО, I)
и
Так как значения частных производных -£, £ 5~ в точке Р,
а также а, р и у от р не зависят, то, переходя к пределу при
р—«-О, получим
Следовательно,
ди 9
2 f 2\ 1
Если
(*)
Следовательно:
Производная функции по данному направлению равна скаляр-
ному произведению градиента функции на единичный вектор
этого направления.
Так как скалярное произведение равно модулю одного вектора,
умноженному на проекцию другого вектора на направление перво-
го, то можно еще сказать, что
Производная функции по дан-
ному направению равна проекции
градиента функции на направле-
ние дифференцирования, т. е.
Рис. 150.
~дхш ду'^дг" Г
grad г направлен по радиусу-вектору г, и модуль его равен
единице.
2) Пусть скалярное поле определено функцией q где г опре-
делено в примере 1. Тогда по
свойству 4) ги
§ 1. Двойные интегралы
(*)
где f{Xj, yt)— значение функции в точке Я,-и Дст,- — площадь ча-
стичной области.
Сумма (*) называется п-й интегральной суммой для функции
f(x, у) в области D, соответствующей данному разбиению этой
области на п частичных областей.
Определение. Двойным интегралом от функции f (x,y)
по области D называется предел, к которому стремится и-я
интегральная сумма (*) при стремлении к нулю наибольшего
диаметра частичных областей.
Записывается это так:
1
) Если известно только, что площадь области стремится к нулю, то
эта область может и не стягиваться в точку. Например, площадь прямо-
угольника с п о с т о я н н ы м основанием и высотой, стремящейся к нулю,
стремится к нулю, а прямоугольник стягивается к своему основанию,
т. е. к отрезку.
129] § 1. ДВОЙНЫЕ ИНТЕГРАЛЫ 435
то
(•)
(*•)
\\f(x,y)dxdy.
D
Предположим сначала,
что область интегрирова-
ния D удовлетворяет сле-
дующему условию: любая
прямая, параллельная оси
J54 Ох или оси Оу, пересекает
Р и с
границу области не более
чем в двух точках. Соответствующее цилиндрическое тело изоб-
ражено на рис. 154.
Область D заключим внутрь прямоугольника
(ABC),
(АЕС).
Аналогично точками В и Е граница разбивается на линии ВАЕ
130] § 1. ДВОЙНЫЕ ИНТЕГРАЛЫ 439
Рис. 155.
(А)
(Б)
сначала по х, а потом по у;
Д(2,0) х
Рис. 158.
а
Рис. 160. Рис. 161.
Рис. 159.
Разбивая область D на две: ОВС и СВА, получим
D о о i o
Этот пример показывает, как важно с самого начала продумать
порядок интегрирования.
Формулы (А) и (Б) сведения двойного интеграла к повторному справед-
ливы и для случая областей более общего вида. Так, формула (А) приме-
нима к области, указанной на рис. 159, а формула (Б)—к области, изобра-
женной на рис. 160. В случае области еще более общего вида (рис. 161)
130] § 1. ДВОЙНЫЕ ИНТЕГРАЛЫ 443
по прямоугольной области
f ч*2
а)
Рис. 164.
Следовательно,
и плоскрстью Оху.
Заданное тело представляет собой сегмент эллиптического
параболоида, расположенный над плоскостью Оху (рис. 165).
Параболоид пересекается с плоско-
стью Оху по эллипсу
откуда
или
где
Тогда*)
х
) Следует заметить, что площади частичных областей о,-, примыкаю-
щ и х к границе области D, могут быть и не равны т\ Дг,- Дф,-. Можно, од-
нако, доказать, что получающаяся при такой замене суммарная ошибка
стремится к нулю при последующем переходе к пределу.
448 ГЛ. VIII. ДВОЙНЫЕ И ТРОЙНЫЕ ИНТЕГРАЛЫ [131
Рис. 167.
Отсюда
П. С т а т и ч е с к и е м о м е н т ы и ц е н т р т я ж е с т и п л а с -
т и н к и . Перейдем теперь к вычислению статических моментов
рассматриваемой пластинки относительно осей координат. Для этого
сосредоточим в точках Р{ {х(, у{) массы соответствующих частич-
ных областей и найдем статические моменты полученной сис-
темы материальных точек (си. п. 103):
§ 2. Тройные интегралы
£\
(*)
Рис. 171.
Предел этой суммы при ус-
ловии, что п —>• оо и каждое частичное тело стягивается в точку
х
(т. е. что его д и а м е т р ) стремится к нулю), и даст массу
М тела
то
Отсюда
(#•)
J
) В картографии положение точки на земной поверхности определяется
углом <р (долгота точки) и углом 6' = ^ —9 (широта точки). При этом дол-
гота меняется от 0 до 2я (или от —я до я), а широта от — — до —.
134] § 2. ТРОЙНЫЕ ИНТЕГРАЛЫ 461
т. е.
(*)
Примеры. 1)
г
Отсюда следует, что если ДЯ—«-О, тои/ (Я + ДЯ)—F(X)—»-0,
т. е. что функция ^(Я) непрерывна. Мы будем пользоваться тео-
ремой в том виде, в каком она сформулирована, хотя ее доказа-
тельство проведено в упрощающем предположении. Отметим еще,
что в ходе доказательства существенно использовалась конеч-
н о с т ь интервала интегрирования [а, Ь].
Часто условие непрерывности интеграла, зависящего от пара-
метра, записывают в виде
ь
lim Г/(дг, l)dx = [f(x, X)dx, {***)
s
a a
выражающем тот факт, что предел непрерывной функции F(%)
при |—•Я равен значению этой функции при £ = Я.
136] § 3. ИНТЕГРАЛЫ, ЗАВИСЯЩИЕ ОТ ПАРАМЕТРА 467
2 a d x
- ^ ' arete ' | ' ' ( ')
)
откуда
(•)
ленный в п. 131. Интеграл (*) правильно сходится, так как |е~**соз А,дс|<е~**.
Дифференцируя интеграл (•), получим
о
Это действие законное, так как последний интеграл тоже сходится правильно.
поэтому Окончательно
§ 1. Криволинейный интеграл
Рис. 178.
(•)
Преобразованная сумма
Таким образом,
Отсюда и вытекает п р а в и л о в ы ч и с л е н и я к р и в о л и н е й -
ного интеграла.
Для того чтобы криволинейный интеграл
П р и м е р ы . 1) Вычислим интеграл
x+y)dy,
Рис. 182.
dx = 2у dy, получим
3) Вычислим интеграл
in ая
п 2Я 1 ая с
= 4 ] ( 2 — 2 c o s * — t sint)dt = b[2t — 2s\nt\ — \ts\atdt].
Интегрируя последний интеграл по частям, окончательно получим
[ = \ Pdx + Qdy [
L, ЛЕС СА
[ \ \
L, АС СВА
140] § 1. КРИаОЛИНЕЙНЫЙ ИНТЕГРАЛ 481
ЛЕС СВА L
что и требовалось доказать.
Эта теорема, как читатель сам легко убедится, справедлива
при любом числе областей, на которые разбивается область D.
Совершенно аналогично
в положительном направлении:
(***)
то
1
) Предполагается, что эта линия не имеет самопересечений, т. е не
может, например, быть «восьмеркой».
141] § 1. КРИВОЛИНЕЙНЫЙ ИНТЕГРАЛ 485
(*)
(**)
Если указанные свойства функций Р и Q соблюдаются при
любых хну, то область D совпадает со всей плоскостью Оху.
Так как равенство (**) является необходимым и достаточным
условием того, чтобы подынтегральное выражение
т 0
Так как по условию 7Г^ = з-> двойной интеграл равен нулю.
Следовательно, равен нулю и криволинейный интеграл по контуру L*,
что и требовалось доказать.
Перейдем к доказательству н е о б х о д и м о с т и у с л о в и я (**).
Так как нам дано теперь, что интеграл (*) по л ю б о м у замкну-
тому контуру равен нулю, то, опять-таки в силу формулы Грина,
заключаем, что равен нулю и двойной интеграл
{***)
486 ГЛ. IX. КРИВОЛИН. ИНТЕГРАЛЫ И ИНТЕГРАЛЫ НО ПОВЕРХНОСТИ [141
U
~дх ~~ду >
во всех точках области О. Но тогда по свойству двойных интег-
ралов (п. 129)
') Нетрудно убедиться в том, что если j ~—%- ) < 0, то ход до-
казательства не изменится. \ ох оу j м
142] § 1. КРИВОЛИНЕЙНЫЙ ИНТЕГРАЛ 487
Никакого противоречия с доказанной теоремой здесь нет. Просто не выпол-
нены условия теоремы: функции Р (х, у) и Q (х, у) разрывны в начале ко-
ординат, т. е. в точке, лежащей в н у т р и контура интегрирования. Если
бы L был замкнутый контур, не содержащий в н у т р и себя начала коор-
динат, то условия теоремы выполнялись бы и
тогда 11 был бы равен нулю. ",
Рассмотрим этот же пример еще и с другой
точки зрения. Возьмем кольцо, изображенное на
рис. 188. В этом кольце функции Р и Q,a также
их производные н е п р е р ы в н ы , но несмотря на
это нельзя утверждать, что интегралы 1ц и Iit
равны между собой. Так как Iit-\-1_1г~2п,
т. е. lil—lLl = 2n, то
(**#)
142] § 1. КРИВОЛИНЕЙНЫЙ ИНТЕГРАЛ 489
Следовательно,
или
(*)
'с
{t\, y{t), z(t)]x'{t) + Q[x(t), y(t), z(t)]y'(i)-f
у
) Рекомендуем читателю провести самостоятельно соответствующие
рассуждения.
492 гл. ix. КРИВОЛИН. ИНТЕГРАЛЫ И ИНТЕГРАЛЫ ПО ПОВЕРХНОСТИ [143
Рис. 191.
заметим, что
pv = RT (/? = const).
т. е.
(ср и cv считаем п о с т о я н н ы м и ) .
Итак, окончательно:
498 гл. ix. КРИВОЛИН. ИНТЕГРАЛЫ И ИНТЕГРАЛЫ ПО ПОВЕРХНОСТИ [144
откуда
(*)
где Ask — длина соответствующего участка линии L. Отличие
этой суммы от сумм, приводящих к криволинейным интегралам по
координатам (см. п. 138), состоит в том, что здесь значение
функции умножается на д л и н у участка разбиения, а там на
п р о е к ц и ю этого участка на соответствующую ось координат.
О п р е д е л е н и е . Криволинейным интегралом по длине
называется предел и-й интегральной суммы (*) при условии,
что длина наибольшего участка разбиения стремится к нулю.
Записывается это так:
\f{x, y)ds,
(*)
(**)
Значит,
dx dy,
где область D — проекция интересующей нас части поверхности
на плоскость Оху — есть круг радиуса R с центром в начале
координат. Переходя к полярным координатам, получим
= ~ [(l ]
и поэтому
(**)
координатам:
Итак,
2) Вычислим интеграл
Имеем
ъ 2
Так как интеграл \\ 1 ^ 1 — х — у dxdy выражает объем полу-
D
сферы радиуса 1, то он равен 2/3 я. Поэтому / = 4 / З я .
1
149*. Формула Стокса ). Для поверхностных интегралов имеет
место формула, аналогичная формуле Грина (см. п. 140), позво-
ляющая свести вычисление интеграла по поверхности S к вычислению
криволинейного интеграла по контуру L, ограничивающему эту
поверхность (рис. 203).
Теорема. Если функции Р(х,у, z), Q(x,y,z), R(x,y,z)
непрерывны вместе со своими частными производными первого по-
рядка, то имеет место формула
Поэтому
Рассуждая точно так же, как и на стр. 483, можно показать, что по-
лученная формула верна и для поверхностей более сложного вида. Для
этого нужно разбить ее на более простые поверхности и к каждой из них
применить полученную формулу.
Аналогично доказывается справедливость еще двух соотноше-
ний (рекомендуем читателю доказать их самостоятельно, выбирая
каждый раз уравнение поверхности в подходящем виде):
<*)
где 5 — граница области Q и интегрирование по S производится
по ее внешней стороне.
Формула (*) называется формулой Остроградского.
Д о к а з а т е л ь с т в о . Сначала
возьмем в пространстве Oxyz об-
ласть Q, ограниченную замкнутой I
поверхностью S, пересекающейся
с любой координатной линией не
более чем в двух точках (рис. 204).
Преобразуем тройной интеграл
^zo^da, (Б)
П р и м е р . Вычислим интеграл
тогда
151] § 3. ТЕОРИЯ поля 521
Таким образом,
означает интеграл по л и н и и , — и н т е г р а л по п о в е р х -
ности, интеграл по о б ъ е м у .
выражается формулой
Здесь
. дх ' ду ' дг
Каждая точка поля является как бы источником постоянной мощное-
ти. Пользуясь векторной формой теоремы Остроградского, сразу
получаем, что поток радиуса-вектора через любую замкнутую поверх-
ность равен утроенному объему, ограниченному этой поверхностью:
Поэтому
Действительно,
528 гл. ix. КРИВОЛИН. ИНТЕГРАЛЫ И ИНТЕГРАЛЫ ПО ПОВЕРХНОСТИ [153
Значит,
(*)
которого равны
называется вектор
то
ди ди
1
154*. О п е р а т о р Г а м и л ь т о н а ) и векторные д и ф ф е р е н ц и а л ь н ы е
о п е р а ц и и в т о р о г о п о р я д к а . Введенные нами основные понятия
векторного анализа: г р а д и е н т , дивергенция, ротор—•
удобно представлять с помощью с и м в о л и ч е с к о г о в е к т о р а V
(«набла-вектор»):
Y
дх ' ду* ' dz
Перечислим правила действий с этим вектором:
1. Произведение набла-вектора V « а скалярную функцию и(Р)
дает градиент этой функции:
х
) П. Л а п л а с (1749—1827)—выдающийся французский математик
в физик.
155] § 3. ТЕОРИЯ поля 535
Отсюда
Следовательно,
Лоток вектора Е через любую замкнутую поверхность, не содер-
жащую внутри себя начала координат, равен, нулю.
156] § 3. ТЕОРИЯ ПОЛЯ 539
женный на рис. 211. Так как часть конуса, заключенная между участ-
ком сферы и данной поверхностью, является векторной трубкой (см.
п. 155, I), а дивергенция поля равна нулю, то потоки через участки
сферы и поверхности равны между собой. Складывая потоки через
все такие участки поверхности, мы и получаем, что поток вектора
Е через л ю б у ю поверхность, окружающую начало координат,
Отсюда
СССССС (divE — 4itp)dQ=0.
й
Поскольку интеграл равен нулю для л ю б о й области интегрирования Q, то
рассуждая так же, как на стр. 486, получим
div Е = 4пр. (•)
Примем без доказательства, что свойство электрического поля быть потен-
циальным сохраняется при непрерывном распределении зарядов.
Обозначим его потенциал через <р; тогда Е = — graci (p. Согласно фор-
муле а) п. 154
divE = —div grad <p = — Дф. (**)
Из равенств (*) и (#*) получим
1
) Ж. Б и о (1775—1862) и Ф. С а в а р (1791 —1841) —французские
физики.
2
) А. А м п е р (1775—1836) —выдающийся французский физик и математик.
542 гл. ix. КРИВОЛИН. ИНТЕГРАЛЫ И ИНТЕГРАЛЫ ПО ПОВЕРХНОСТИ [156
p
Подстановка \ — z = р tg t, d% = dt приводит к интегралу
Поэтому
Следовательно,
Ротор этого поля также во всех точках равен нулю. Для этого
надо только проверить равенство
Имеем
Тогда
дА
то производной -si- будет вектор
dt
и
Производные -7 з г называют частными или локальными про-
изводными; они характеризуют изменение ноля в д а н н о й точке.
Если скалярное поле нестационарное, то соответствующее ему
векторное поле градиента также будет нестационарным. Так как
grad и
/- •<. &и
С другой стороны, градиент скалярного поля -щ равен
по данной линии?
3. Как вычисляется криволинейный интеграл с помощью обыкновенного
интеграла, если уравнение линии интегрирования дано в параметрическом
виде? Привести соответствующую формулу.
4. Как вычисляется криволинейный интеграл, если уравнение линии
интегрирования задано в виде у = у(х) или х = х(у)?
5. Как влияет направление интегрирования на величину криволинейного
интеграла? Как устанавливается положительное направление в случае замк-
нутого контура интегрирования?
6. Сформулировать и доказать теорему Грина.
7. Что означает независимость криволинейного интеграла от линии
интегрирования?
8. Показать, что независимость интеграла от контура интегрирования
эквивалентна равенству его нулю по любому замкнутому контуру.
18 Краткий курс математического
анализа
646 ГЛ. IX. КРИВОЛИН. ИНТЕГРАЛЫ И ИНТЕГРАЛЫ ПО ПОВЕРХНОСТИ
(*)
где у— неизвестная функция от х, a f(x)— заданная функция,
является простейшим дифференциальным уравнением,. Для его реше-
ния, т. е. для отыскания неизвестной функции у, нужно проинтегри-
ровать данную функцию f(x). При этом, как известно, мы получим
бесчисленное множество функций, каждая из которых будет удов-
летворять условию (*). В этой главе нам удобнее будет под интег-
ралом \f(x)dx понимать какую-либо о д н у первообразную.
Тогда любое решение уравнения (#) запишется в виде
х
Таким образом, функция у = 2е ' является искомым частным решени-
ем данного уравнения. Если бы мы воспользовались определенными
159] § 1. ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ ПЕРВОГО ПОРЯДКА 553
интегралами, то получили бы
т. е.
(**)
Деля обе части уравнения на произведение / 2 (у)/3(х), получим
Интегрируя, получим
т. е.
Интегрируя, получим
откуда
2
) Е. 1 о р и ч ел л и (1608—1647) —итальянский ученый, ученик и сотруд-
ник Галилея.
') В данной здесь форме закон Торичелли применим только к идеальной
жидкости. Практически пользуются формулой v — ц y2gh, где ц—коэффи-
циент, зависящий от вязкости жидкости и формы отверстия, из которого про-
исходит истечение. Для воды, например, в случае круглого отверстия [х = 0,6.
558 ГЛ. X. ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ [161
(мы ставим знак минус, потому что d A < 0 ) . Приравнивая оба най-
денных выражения для dV, придем к дифференциальному уравнению
Интегрируя, получим
Окончательно
Например, уравнение
2
(ху —f) dx — (х — 2ху) dy = 0
однородное, так как его можно записать в виде
dy
dx хъ —
x
В общем случае переменные в однородном уравнении не разде-
ляются. Однако, вводя вспомогательную неизвестную функцию и
по формуле
— — и или у = хи,
мы сможем преобразовать однородное уравнение в уравнение с раз-
деляющимися переменными.
Действительно, имеем
и уравнение ,у' = ф ( — ) принимает вид
Отсюда
и значит.
или, выполняя и н т е г р и р о в а н и е ,
R
t
1
) Мы не останавливаемся на вопросе, к а к реализовать такую электри-
ческую цепь.
163] § 1. ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ ПЕРВОГО ПОРЯДКА 565
или в виде
Так как
(*)
проходящей через начальную точку М0(х0, ув), т. е. к графическому
отысканию частного решения с начальным условием
Далее,
Поэтому
Затем
164] § 1. ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ ПЕРВОГО ПОРЯДКА 569
Наконец,
dx
dx
dy _Ax+ By dx _ Cx + Dy
dx ~ J0~x~+~Dy' И
dy~ (*)
откуда
рему мы не будем.
Пользуясь приведенной теоремой, можно, например, сразу ска-
„ у' ,
зать, что уравнение у = — -{-у имеет единственное решение при
начальных условиях у\х = 1 = 2, у' \х-1 = — 1 ; при этом, конечно,
открытым остается вопрос, как это решение найти. Если для этого
же уравнения задать начальные условия при х = 0, то теорема
существования никакого заключения сделать не позволит, так как
правая часть уравнения при этих начальных условиях будет не
определена.
Как и для уравнений первого порядка, задачу отыскания частного
решения по начальным условиям называют задачей Коми.
Для уравнений второго порядка выделение частного решения
можно производить и путем задания краевых условий; при этом
574 ГЛ. X. ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ [166
(**)
Положим у' = z; тогда y" — z' и уравнение (*#) преобразуется
в уравнение первого порядка относительно z:
П р и м е р . Решим уравнение
Таким образом,
П р и м е р . Решим уравнение
2уу"+у"2 = 0.
откуда
Интегрируя, находим
(*)
Обычно задаваемые начальные условия s | , = 0 = s 0 и sjj= o = s o имеют
ясный механический смысл: это начальное положение точки и ее
начальная скорость. Рассмотрим теперь некоторые п р и м е р ы .
1) Р а в н о м е р н о у с к о р е н н о е д в и ж е н и е . Пусть сила F
постоянна; обозначим отношение— через а. Тогда s = a. Интегри-
at'2
руя5 получим: s—at + Cj и s = -j- + Cxt + C2. Сразу видно, что
C1 = s\t=0 = v0 и С г = £ | t = 0 = s 0 . Таким образом, мы получили хоро-
шо известную формулу для пути при равномерно ускоренном движе-
нии: s = ~+vot + s0.
2) Д в и ж е н и е т о ч к и в с р е д е с с о п р о т и в л е н и е м . Как
показывает опыт, всякое тело испытывает при движении в среде
сопротивление со стороны этой среды. Сила сопротивления возрастает
со скоростью тела и зависит как от свойств среды (плотности, вяз-
кости и т. д.), так и от размеров и формы движущегося тела. Если
скорость движения невелика и тело имеет малые размеры, то силу
сопротивления можно считать пропорциональной скорости v.
Применяя подстановку
и введем о б о з н а ч е н и я : Р а з д е л я я переменные,
получим
можно привести к виду (*), деля обе его части на ро{х). При этом
в тех точках, где р0 (х) — 0, условия теоремы существования могут
нарушиться; такие точки называются особыми1).
1 . Л и н е й н ы е у р а в н е н и я б е з п р а в о й ч а с т и . Рассмот-
рим сначала уравнения без правой части, т. е.
где извест-
ные числа.
Чтобы эта система имела решение при л ю б ы х правых частях,
необходимо и достаточно, чтобы определитель системы был не равен
нулю
Ф 0. (***)
Имеем
и
"
Так как rz=£rv то этот определитель ни при каком значении х0
не равен нулю.
П р и м е р . Решим уравнение
у"-у'-2у~0.
2) Корни х а р а к т е р и с т и ч е с к о г о у р а в н е н и я дейст-
в и т е л ь н ы е и р а в н ы е : rl==r2. В этом случае мы непосредственно
получаем только одно решение уг = е^х. Покажем, что в качестве
второго решения можно взять функцию
П р и м е р . Решим уравнение
Характеристическое уравнение
3) К о р н и х а р а к т е р и с т и ч е с к о г о у р а в н е н и я — ком-
, значит, общее решение уравнения запишется так:
п л е к с н ы е с о п р я ж е н н ы е ч и с л а : r 1 = a-(-iP, r 2 = a — ф ,
Р ^ = 0 . Если допускать в качестве решений комплексные функции
действительного переменного (см. § 6 гл. 4) 1 ), то, как и выше,
а+ ( )Х
получаем два решения уравнения (**): е< '?>* и е *~'$ , причем их
г х
отношение, равное е '$ , не есть постоянное число. Общее решение
можно записать как
2)
Из характеристического уравнения
находим
Поэтому
(Отсюда А Тогда
у = A (sin ф cos сол: -f- cos <p sin ШАГ) = A sin (ouc -J- ф)-
Задавая любые начальные условия, найдем единственные значе-
ния постоянных Су и С 2 или Л и ф.
Покажем, что при задании к р а е в,ы х условий (см. конец п. 165)
картина может быть иной. Пусть для определенности ш — 1 ; тогда
общее решение у — Сгcosx-\-C2sinx. Зададим условия у\х=0 — 0,
У\ х=к=у0- Из первого условия следует, что ^ = 0; из второго
условия С 2 sin я =_у0 заключаем, что если у0п^=0, то найти С%
нельзя, т. е. что решения с заданными краевыми условиями не
существует. Если же .уо = О, то любая функция ^ = C 2 sinjc удов-
летворяет и уравнению, и краевым условиям. Предоставляем чита-
телю проверить, что если второе условие задать в любой точке
то задача будет иметь единственное решение.
Нам уже известно (см. п. 169, II), что общее решение такого
уравнения слагается из общего решения соответствующего урав-
нения без правой части и какого-нибудь частного решения урав-
нения с правой частью.
Поскольку общее решение уравнения без правой части мы
находить умеем, то остается только найти частное решение дан-
ного уравнения (*). Сначала мы рассмотрим некоторые частные
592 ГЛ. X. ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ [171
а его о б щ и м решением—функция
2) /'-4 j
Здесь характеристическое уравнение
запишем сразу:
Дифференцируем дважды:
и подставляем в уравнение:
Отсюда
т. е.
Итак, мы нашли частное решение а следова-
тельно, и общее:
Дважды дифференцируем:
и подставляем в уравнение:
Приравнивая друг другу коэффициенты при sin 2л; и cos 2л; в обеих
частях равенства (справа коэффициент при cos 2л; равен нулю),
получим
а общим
2) . . .
Общее решение соответствующего уравнения без правой части
мы уже нашли на стр. 591:
Отсюда
Имеем
т. е.
откуда
Итак, функция
где / ( / j - л ю б а я функция.
При использовании этого метода нам нужно знать общее реше-
ние соответствующего уравнения без правой части. Метод вариации
постоянных в равной мере применим как к уравнениям с постоян-
ными коэффициентами, так и к уравнениям, в которых коэффициенты
а1 и аг являются функциями от х. Однако, так как мы умеем
решать лишь уравнения с постоянными коэффициентами, то и изла-
гаемый метод практически мы сможем применять только к таким
уравнениям.
Пусть уравнение без правой части, соответствующее уравнению (*)
у" + аху' + агу = 0 (**)
имеет общее решение
Тогда
, =/(*). (Б)
Таким образом, мы приходим к системе уравнений
Интегрирование дает
„ ("sin2* , Cf I \ , . . , (я , х \ , .
С, — — \ dx = \ cos х ) dx — s\n х ~ In tg T +-я- }-\-k,
(см. формулу 69 таблицы интегралов),
1
) И . Г о э н е - В р о н с к и й (1778—1853) — известный польский математик.
602 ГЛ. X. ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ [173
производных:
то решением уравнения
является функция
т. е.
Значит, имеем
175] § 3. ЛИНЕЙНЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ 605
или
Рис. 225.
где
2k
где а = — , q = —. Амплитуда Аг пропорциональна величине
ш
1
ственные колебания цепи (контура) ). Если существует внешнее
возмущающее напряжение, такое, что v' (t) не равно тождественно
нулю, то неоднородное уравнение имеет частное решение: i — i(t),
которое дает вынужденный ток, называемый у с т а н о в и в ш и м с я .
Наконец, общее решение уравнения, т. е. зависимость тока от
времени при любых условиях, получается сложением переходного и
установившегося токов. Совершенно ясно, что, аналогично случаю
механических колебаний, по прошествии некоторого промежутка
времени переходный ток практически не будет влиять на течение
электричества. В случае, когда v (t) (а следовательно, и v' (t)) есть
синусоидальная функция времени, установившийся ток тоже будет
синусоидальным. Здесь мы опять можем столкнуться с явлением
резонанса, играющим особенно важную роль в колебательных кон-
турах. В дальнейшие подробности входить нет нужды, так как
с математической стороны ход явления подобен случаю механиче-
ских колебаний.
1 т о коле
) Если к т Э * у ~гТ' б а н и й в цепи не будет, ток будет непе-
риодическим затухающим.
614 ГЛ. X. ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ [176
j( x+ У-
Систему уравнений
176] § 4. СИСТЕМЫ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ . 615
имеет вид
(***)
177] § 4 . . СИСТЕМЫ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ 619
Решения x(t), y(t), z(t) этой системы и будут уравнениями линий тока.
Эти линии тока не изменяются во времени; частицы жидкости, текущие по
разным линиям тока, не перемешиваются друг с другом, так как эти линии
не пересекаются. В нестационарном случае ка ртина течения жидкости ста-
новится более сложной.
(**)
(**#)
1
уравнения соответствующего порядка ), в рассматриваемом случае —
третьего. Действительно, чтобы свести систему (*) или (***) к одному
уравнению третьего порядка, мы должны, как указано выше, про-
дифференцировать одно из уравнений системы, например первое.
Заменяя каждый раз производные неизвестных функций в правой
части их выражениями, мы увидим, что все последовательные произ-
водные функции х будут линейно выражаться через функции х, у и z.
Поэтому и, наоборот, функции у и z линейно выразятся через хг
х, х. Отсюда следует, что в результате мы получим линейное диф-
ференциальное уравнение. Ясно, что если исходной была однородная
система уравнений, то и полученное уравнение будет однородным;
в то же время неоднородная система может привестись как к неод-
нородному, так и к однородному уравнению. Примером последнего
случая служит система х — х-\-у-\-~^-, у — х— t, приводящаяся к
уравнению х — х — х = 0.
Решением линейных дифференциальных уравнений с п е р е м е н -
н ы м и коэффициентами мы не занимались; поэтому не будем решать
системы таких уравнений и прямо перейдем к системам линейных
уравнений с п о с т о я н н ы м и коэффициентами.
П р и м е р ы . 1) Решим систему
у = —4Л:—)
г= —д
Система уравнений (#**) имеет вид
Для г 2 = - 2
М -J— , где i'i = i i ( 0 ' ' я в в ' г ( О обозначают силу тока соответственно в пеп
вой и во второй цепях.
Предположим, что в обеих цепях отсутствует внешняя электродвижу-
щая сила. При этом течение тока в цепях будет регулироваться следую-
щими дифференциальными уравнениями (см. п. 175, IV):
180] § 4. СИСТЕМЫ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ 627
\ C2 Сi j CiCj
На практике обычно оказывается, что это уравнение имеет две пары комп-
лексно сопряженных корней, т. е. колебания тока в цепях будут склады-
ваться из двух гармонических колебаний. Подробный анализ всех встречаю-
щихся при этом случаев приводится в курсах электротехники. Отметим
еще, что если не учитывать емкостей в цепях, то течение тока будет опи-
сываться системой уравнений первого порядка; при этом процесс не будет
колебательным.
Характеристическое уравнение
628 ГЛ. X. ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ [180
2) Решим систему
(***)
при постоянных Я,- возможно только при А1 = А2 = . . . = А т = 0 .
В противном случае, т. е. когда это тождество возможно не при
всех Я,-, равных нулю, система называется линейно зависимой.
Иначе говоря, система векторных функций линейно независима,
если ни одну из функций нельзя представить в виде линейной
комбинации остальных, и линейно зависима в противном слу-
чае. Отметим еще, что одно написанное векторное тождество (***)
равносильно п координатным:
§ 1. Числовые ряды1)
и назовем
Сумму л-й частичной
п первых суммой
его членов ряда. через sn:
обозначим
Образуем теперь последовательность частичных сумм ряда:
S, =и 1»
будет как угодно мала, если только число л взято достаточно боль-
шим. Таким образом, мы всегда имеем возможность п р и б л и ж е н н о
подсчитать сумму сходящегося ряда, взяв достаточно большое число
первых его членов. Однако большую трудность представляет выясне-
ние величины возникающей ошибки. В дальнейшем на частных при-
мерах мы покажем, как иногда можно о ц е н и в а т ь величину
ошибки и тем самым устанавливать, сколько нужно брать членов
ряда для получения его суммы с требуемой точностью. Напомним
еще раз, что р а с х о д я щ и е с я ряды суммы не имеют.
Приведем теперь простейшие свойства сходящихся рядов.
1. Если ряд
Следовательно,
Свойство доказано.
2. Если сходятся ряды
Отсюда
Поскольку
то
Из доказанного необходимого признака сходимости вытекает до-
статочный признак расходимости ряда.
Если ип не стремится к нулю, то ряд не может быть сходя-
щимся, т. е. он расходящийся.
Возьмем, например, ряд
И обратно,
Если ряд с положительными членами сходится, то его частичные
суммы меньше суммы ряда: sa < s.
Из доказанной леммы немедленно следуют признаки сравнения
для рядов с положительными членами.
П р и з н а к и с р а в н е н и я . Пусть даны два ряда с положи-
тельными членами:
(1)
и
(2)
1
) Ж- Д а л а м б е р (1717—1783)—крупнейший.французский математик,
механик и философ. Член Петербургской академии наук.
2
) Ряд также будет расходиться, если • " t 1 -,. до при ft-* 00.
ип
646 гл. xi. ряды [184
Д о к а з а т е л ь с т в о . Пусть р < 1 . В силу определения пре-
дела всегда можно выбрать такое число N, что при всех n
будет справедливо неравенство
Мы имеем
Примеры. 1 ) Рассмотрим р я д З д е с ь
Поэтому Следова-
тельно, данный ряд сходится.
185J § 1. числовые РЯДЫ 647
2) Возьмем ряд
1-P;
p+i
сходится, если р>1, так как в этом случае lim x~
°Pdx 1
и \-р = — г ! если же /> <. 1, то интеграл расходится, так как
и расходится при
При р—\ получается гармонический ряд, и мы получаем еще
одно доказательство его расходимости. При р = 2 получается ряд
обратных квадратов; его сходимость уже была доказана раньше.
Если же
S
| i i i
Рис. 228.
Так как по' условию аа имеет предел (обозначим его через а),
a s , и s^ — положительные и возрастающие функции от я, при-
чем s%^ian<.o и s^~ ^ап<1о, то и они имеют пределы. Вслед-
ствие этого и sa = s%—Sn~ при я—»-оо стремится к пределу, что
и требовалось доказать.
Этот достаточный признак не является н е о б х о д и м ы м , т. е.
§ 2. Функциональные ряди
При х — 0 все члены ряда равны нулю и сумма его равна нулю.
При х Ф О ряд представляет сходящуюся геометрическую прогрес-
сию, так как ее знаменатель q= .v % < 1. Сумма ряда равна
1 ~у~ X
§ 3. Степенные ряды
Рассмотрим ряд
Имеем
Имеем
Здесь
Составим отношение:
и найдем его предел:
lim
• 2 Я^„л-Ь 1 2 *
Согласно предыдущему ряд сходится, если '-—-^—I < 1, т. е.
— 2 < х— 1 < 2. Таким образом, интервалом сходимости ряда является
интервал ( — 1, 3) с центром в точке х=1. Предоставляем читателю
проверить, что на концах интервала ряд ведет себя так же, как
ряд примера 2.
190. Свойства степенных рядов. Рассмотрим степенной ряд
ГЧхо)=п\а„ т. е. an = l ^ L .
«о —ft
а x
\ а**1—
—-J 1*о/» —J
/ (x)i=e при » f и
Это—бесконечное число раз дифференцируемая на всей оси Ох функция, причем
2 —~
все ее производные в точке * — 0 равны нулю. Действительно, f'(x) = --5 е х'
X
при д: Ф 0 и f (0) = 0, так как
h~*o
2 -—
Величина /?га (х) дает при этом как раз ту ошибку, которую мы
делаем, заменяя функцию /(х) многочленом Тп(х).
Прежде чем перейти к доказательству теоремы, которая позволит
нам оценивать величину остаточного члена, рассмотрим один частный
случай.
Предположим, что функция /(х) сама есть м н о г о ч л е н я-й
с т е п е н и . Тогда при последовательном дифференцировании функции
f{x) мы будем каждый раз получать многочлен степени на единицу
меньше. После я дифференцирований мы получим постоянную вели-
чину и все последующие производные будут равны нулю. Таким
образом, от ряда Тейлора для многочлена f(x) останутся только
(я-f-l) первых слагаемых, т. е. опять-таки многочлен л-й степени.
Это, разумеется, можно было предвидеть и заранее, так как мы
попросту располагаем заданный многочлен по степеням разности х—х0.
Полученное тождество
Итак,
(п + 1)!
Наша задача придать теперь этому выражению вид, указанный
условии теоремы, т. е. / < П + 1 ) (1К где £ £ {хе, хх). Заметим сначаяо
193) § 4. РАЗЛОЖЕНИЕ ФУНКЦИЯ В СТЕПЕННЫЕ РЯДЫ 671
должно быть
= | х I lim
п -* оо
С о г л а с н о п р и з н а к у Д а л а м б е р а р я ^ сходится, если | д г | < 1 , и
расходится, если | х | > 1.
Перейдем к исследованию остаточного члена, ограничившись слу-
чаем, когда 0 < л г < 1 . В этом интервале для всех /z>m—-1 мы
имеем
т-л-1 1
(1 ~ТХ)
и поэтому
Так как
х
Так как ряды для е и sin.*; сходятся абсолютно, то, перемножая
их по правилу, указанному в конце п. 186, получим искомое раз-
ложение. Здесь общий закон образования коэффициентов подметить
трудно, и мы ограничимся вычислением нескольких первых коэффи-
циентов ряда
Эта оценка неудобна тем, что сюла входит величина ем. Кроме того,
она может оказаться слишком завышенной, так как установлена
сразу для всего интервала.
При Ж = 1 получим
n+l
1
) Здесь мы намеренно увеличили правую часть для простоты вычислений.
682 ГЛ. XI. РЯДЫ [195
Рис. 229.
!
) Соответственно в градусной мере эти интервалы будут (0,4°30')( (4°30',
23°), (23°, 52°). Все границы интервалов вычислены приближенно.
195] § 5. НЕКОТОРЫЕ ПРИМЕНЕНИЯ РЯДОВ ТЕЙЛОРА 683
Здесь первая и третья формулы дают значения COSAT С избытком, а
вторая с недостатком.
На рис. 230 показано, как ведут себя графики функций v = l ,
хг -2
л x i
п 0 с авне
у = 1—к", у=1—у+ 24 Р «ию с графиком функции
y = cosx в окрестности начала координат.
Рис. 230.
о
Деля ряд для s i n x на х, получим
называемая ф у н к ц и е й Л а п л а с а или и н т е г р а л о м в е р о я т -
н о с т е й . Вычислить интеграл в конечном виде нельзя, так как
о
На первый взгляд раскладывать подынтегральную функцию в ряд ни
к чему, так как неопределенный интеграл выражается в элементар-
ных функциях. Однако его выражение очень сложно и мало удобно
для вычисления:
мы сразу получим
II. И н т е г р и р о в а н и е д и ф ф е р е н ц и а л ь н ы х у р а в н е -
н и й . Рассмотрим теперь применение степенных рядов к решению
дифференциальных уравнений. Пусть задано дифференциальное урав-
нение и начальные условия, определяющие частное решение 1 ). До-
пустим, что решение уравнения в окрестности точки х0, в которой
заданы начальные условия, можно разложить в степенной ряд, рас-
положенный по степеням разности х—лг0:
Поэтому
и вообще
Значит,
Так как
197] § 6. ДОПОЛНИТЕЛЬНЫЕ ВОПРОСЫ ТЕОРИИ СТЕПЕННЫХ РЯДОВ 689
(*)
называется сходящимся, если существует предел последовательности
частичных сумм этого ряда.
Сходимость ряда (*) равносильна сходимости двух рядов с дейст-
вительными членами
где коэффициентами ряда а0, av..., an,... могут быть любые комплекс-
ные числа, оказывается справедливой теорема Абеля (п. 189), сог-
ласно которой из сходимости ряда (**) в точке z0 следует его абсо-.
лютная сходимость при всех z, по модулю меньших г 0 : j z | < |z 0 j.
Из теоремы Абеля вытекает существование числа R такого, что
при всех z, удовлетворяющих неравенству | z | < / ? , степенной ряд
абсолютно сходится, а при всех z таких, что )z\ > / ? , ряд расходит-
ся. Если \z\ < R, то точка комплексной плоскости z лежит в круге с
центром в начале координат и с радиусом, равным R; число R называ-
ется радиусом сходимости ряда, а круг | z\ < R — кругом сходимости.
Радиус сходимости может быть равен нулю; тогда ряд сходится
только в одной точке—в начале координат. Может случиться, что
ряд сходится во всей комплексной плоскости; тогда говорят, что
его радиус сходимости равен бесконечности.
Сумма степенного ряда является в круге его сходимости неко-
торой функцией комплексного переменного; такие функции называ-
ются аналитическими.
Степенной ряд
(***)
сходится во всей комплексной плоскости. Это следует из того, что
он сходится при любом действительном значении z = N, а значит,
и внутри любого круга с центром в начале координат.
В точках действительной оси, когда z — x, ряд представляет по-
х
казательную функцию е :
Так как i a = — I, i 3 = — /, i * = l , / 8 = i и т . д . , то
Полагая
198] § 6. ДОПОЛНИТЕЛЬНЫЕ ВОПРОСЫ ТЕОРИИ СТЕПЕННЫХ РЯДОВ 693
сходимость ряда
§ 1. Ряды Фурье
Сложное колебание
Полагая
J
) Функции произвольного периода Т будут рассмотрены ниже, в п. 201.
*) Позднее, в п. 205, роль этих соотношений будет объяснена с более
общей точки зрения.
700 ГЛ. XII. РЯДЫ ФУРЬЕ. ИНТЕГРАЛ ФУРЬЕ [200
(1)
(2)
Рис. 231.
Ряд
где
1
) Особенно велика роль тригонометрических рядов в электротехнике
при изучении периодических несинусоидальных токов.
23 Краткий курс математического
анализа
706 ГЛ. XII. РЯДЫ ФУРЬЕ. ИНТЕГРАЛ ФУРЬЕ [201
где
или
где
6)
Рис. 235.
710 ГЛ. XII. РЯДЫ ФУРЬЕ. ИНТЕГРАЛ ФУРЬЕ [202
Отсюда
Итак,
Рис. 237.
откуда
202] § 1. РЯДЫ ФУРЬЕ 711
Мы имеем
или
Значит,
к " ' -
Рис. 240.
т. е.
При
Далее,
202) § 1. РЯДЫ ФУРЬЕ 713
т. е.
или
Следовательно,
|Sln x\ e 2 _ ± ( i . cos 2л; + - 1 . cos Ах + ... + { ^ ~ cos 2nx + . . . ) .
Поэтому
Отсюда
Тогда
716 ГЛ. XII. РЯДЫ ФУРЬЕ. ИНТЕГРАЛ ФУГЬЕ [204
(•**)
л
Так как ао — —\ f(x)dx, то оно находится по формуле (**) при
— я
л = 0 ; поэтому можно считать, что ао — со.
С учетом введенных обозначений ряд (*) можно записать в виде
я 1 — in «n)
—я
Следовательно,
еЫХ
е'-е-' V / П«
Если мы хотим перейти к обычной форме ряда Фурье, то, как уже го-
ворилось, надо объединить слагаемые, отвечающие индексам/z и — я :
на
3) Система функций 1, cosx, cos2x, . . . , cosnx, . . . будет
ортогональной в интервале [0, я ] . Рекомендуем читателю прове-
рить это самостоятельно.
Пусть теперь f(x)— некоторая функция, определенная в интер-
вале [а, Ь]. Предположим, что ее можно представить в этом ин-
тервале в виде ряда, расположенного по функциям ^ ( . t ) , ФаС*)» • • •
. . . , ty n {x), . . . , ортогональным и нормированным в этом интерва-
ле, т. е.
(**)
Чтобы найти коэффициенты разложения, умножим последователь-
но обе части равенства (**) на функции *фх (л:), ф а (х), . .. , г|)п {х), . . . и
проинтегрируем по интервалу [а, Ь]. При этом мы считаем, что ряд
справа можно интегрировать почленно. В силу соотношений (*)
получим
Рис. 242.
Рис. 243.
(40+66+17 + 2 2 ) - ( 7 5 + 5 5 + 5 0 + 5 1 ) _ 86_ „
&2 = g — —-g 14,d.
Таким образом получаем приближенное выражение функции в ви-
де тригонометрического многочлена второго порядка
/(л:)л;53 + ( 8 , 3 c o s * + 22,3 sin*) — (13,5 cos2дг + 1 4 , 3 sin 2 л ) .
§ 3*. Интеграл Фурье
207*. Интеграл Фурье. В п. 201, 11 мы видели, что разложе-
ние функции f(x), заданной в интервале ( — /, /), в ряд Фурье
имеет вид
(**)
х0 — точка разрыва.
Так как c o s © ( ? — х) = cos oi t cos © x -f- sin со t sin и х, то фор»
мулу (**) можно переписать в виде
726 ГЛ. XII. РЯДЫ ФУРЬЕ. ИНТЕГРАЛ ФУРЬЕ [208
Тогда
В этой формуле мы имеем разложение функции f(x) в бесконечном
интервале (—оо, оо) на гармонические колебания, частоты которых со
непрерывно меняются от 0 до оо.
Когда функция была периодической, ее разложение в ряд Фурье
состояло из отдельных гармоник с частотами со п =—- отличающи-
1С
представится в виде
00
Имеем
I. И н т е г р а л ы от рациональных функций
732 ТАБЛИЦА ИНТЕГРАЛОВ
t /s
S m
x (ax"-\-b) dx,
„ , s .
где m, п, г, s— целые числа,
m -f-1
s > l . Применяется
п х x l n z
56. \ хе dx=e [x" — nx"- + n(n — \)x ~ — . . . + (— 1)" л!] + С,
58.
l
) П. Л. Ч е б ы ш е в (1821 —1894) —великий русский математик. Для
его научной деятельности характерно стремление тесно связать решение ма-
тематических проблем с принципиальными вопросами естествознания и тех-
ники. Работы П. Л. Чебышева оказали большое влияние на развитие сов-
ременной математики вообще, русской — в особенности.
ТАБЛИЦА ИНТЕГРАЛОВ 735
dx, пф\.
ЛИТЕРАТУРА
КУРСЫ АНАЛИТИЧЕСКОЙ ГЕОМЕТРИИ
1. Н. В. Е <Ь и м о в, Краткий курс аналитической геометрии, «Наука», 1965 .
2. И. И. П р и в а л о в, Аналитическая геометрия, «Наука», 1966.
КУРСЫ АНАЛИЗА (более подробные)
3. В. И. С м и р н о в , Курс высшей математики, тт. [ и II, «Наука», 1965,
4. Г. М. Ф и х т е н г о л ь ц, Курс дифференциального и интегрального ис-
числения, тт. 1,11 и I I I , «Наука», 1966.
ЛИТЕРАТУРА ПО НЕКОТОРЫМ ДОПОЛНИТЕЛЬНЫМ
РАЗДЕЛАМ МАТЕМАТИКИ
5. И. Г. А р а м а н о в и ч и В. И. Л е в и н , Уравнения математической
физики, «Наука», 1964.
6. И. Г. А р а м а н о в и ч , Г. Л. Л у н ц и Л. Э. Э л ь с г о л ь ц, Функции
комплексного переменного. Операционное исчисление. Теория устойчи-
вости, «Наука», 1965.
7. Р. С. Г у т е р и Б. В. О в ч и н с к и й , Элементы численного анализа
и математической обработки результатоп опыта, Физматгиз, 1962.
8. 1) Б. П. Д е м и д о в и ч и И. А. М а р о н , Основы вычислительной ма-
тематики, «Наука», 1966.
2) Б. П. Д е м и д о в и ч, И. А. М а р о н, Э. 3. Ш у в а л о в а , Числен-
ные методы анализа, Физматгиз, 1963.
9. Н. В. Е ф и м о в , Квадратичные формы и матрицы, «Наука», 1964.
10. Ф. И. К а р п е л е в и ч и Л. Е. С а д о в с к и й , Элементы линейной
алгебры и линейного программирования, «Наука», 1965.
11. П. И. Р о м а н о в с к и й , Ряды Фурье. Теория поля. Аналитические
и специальные функции. Преобразование Лапласа, «Наука», 1964.
СПРАВОЧНАЯ ЛИТЕРАТУРА
12. А. А и г о, Математика для электро- и радиоинженеров, «Наука», 1965.
13. И. Н. Б р о н ш т е й н и К. А. С е м е и д я е в, Справочник по математи-
ке для студентов втузов, «Наука», 1965.
14. М. Л. С м о л я н с к и й, Таблицы неопределенных интегралов, «Наука»,
1965.
Издательство «ЛАНЬ»
lan@lpbl.spb.ru; www.lanpbl.gpb.ru
192029, Санкт-Петербург, Общественный пер., 5.
Издательство: тел./факс: (812)336-25-10, 336-25-09;
pbl@lpbl.apb.ru; print@lpbl.spb.ru
Торговый отдел: 193029, Санкт-Петербург, ул. Крупской, 13,
тел./факс: (812)567-54-93,
тел.: (812)567-85-78, (812)567-14-45, 567-85-82, 567-85-91;
trade@lanpbl.spb.ru
Филиал в Москве: 109263, Москва, 7-я ул. Текстильщиков, 5,
тел.: (095)178-65-85, 178-57-04; lanmsk@aavt.ru
Филиал в Краснодаре:
350072, Краснодар, ул. Жлобы, 1/1, тел.: (8612)74-10-35; Iankrd98@mail.ru