Kurant_R__Robbins_G_-_Chto_takoe_matematika_-_2015
.pdf
490 |
МАТЕМАТИЧЕСКИЙ АНАЛИЗ |
гл. VIII |
|
|
|
законом движения (т. е. связать кинематические и динамические элементы); приравнивая два различных выражения вектора, мы получим систему трех дифференциальных уравнений
mx′′ = |
−kx |
, |
|
(x2 + y2 + z2)3/2 |
|
my′′ = |
−ky |
, |
|
(x2 + y2 + z2)3/2 |
|
mz′′ = |
−kz |
|
|
(x2 + y2 + z2)3/2 |
|
с тремя неизвестными функциями x(t), y(t), z(t). Эту систему можно решить, и тогда обнаружится, что в полном согласии с кеплеровскими эмпирическими наблюдениями орбита планеты есть коническое сечение с Солнцем в одном из фокусов, что площади, описываемые в равные промежутки времени радиусом-вектором, проведенным от Солнца к планете, равны между собой и что квадраты периодов полного обращения двух планет вокруг Солнца пропорциональны кубам их расстояний от Солнца. Доказательство этих утверждений мы вынуждены опустить.
Задача о колебательном движении предоставляет более элементарную иллюстрацию метода Ньютона. Предположим, что мы имеем частицу, движущуюся по прямой линии, по оси x, и связанную с началом координат силой упругости, что можно, например, осуществить с помощью пружины или резинки.
Если частица выведена из положения равновесия (в начале координат) и помещена в некоторую точку с координатой x, то сила потянет ее назад. Мы предположим, что эта сила пропорциональна растяжению x; так как она направлена к началу координат, то представится в виде −k2x, где −k2 — отрицательный множитель пропорциональности, выражающий силу упругости пружины или резинки.
Мы предположим, далее, что налицо имеется трение, замедляющее движение, и что это трение пропорционально скорости x′ частицы с коэффициентом пропорциональности, равным −r. Тогда результирующая сила в любой момент времени выразится через −k2x − rx′, и, пользуясь общим принципом Ньютона, мы приходим к уравнению mx′′ = −k2x − rx′, или
mx′′ + rx′ + k2x = 0.
А это — не что иное, как рассмотренное выше дифференциальное уравнение (11) затухающих колебаний. Предыдущий простой пример имеет большое значение, так как многие колебания механических или электрических систем могут быть математически записаны с помощью именно этого дифференциального уравнения. Здесь мы имеем типичный пример того, как отвлеченная математическая формулировка одним ударом обнажает
492 |
ДОПОЛНЕНИЕ |
гл. VIII |
|
|
|
Упражнения. 1) Постройте (т. е. запишите с помощью конкретных аналитических выражений) функцию f(x), график которой есть половина правильного шестиугольника.
2) Где расположены угловые точки графика
f(x) = (x + |x|) + 21 |
n“x − 21 |
” + |
˛x − |
12 |
˛o |
+ |
41 n“x − |
41 ” + |
˛x − |
41 |
˛o? |
||||
|
|
|
|
|
˛ |
|
˛ |
|
|
|
|
|
˛ |
|
˛ |
|
|
|
|
|
˛ |
|
˛ |
|
|
|
|
|
˛ |
|
˛ |
Каковы точки разрыва производной f′(x)?
В качестве простого примера недифференцируемости уже иного типа
приведем функцию
y = f(x) = x sin x1 ,
получаемую посредством умножения функции sin x1 (см. стр. 310) на мно-
житель x; положим, по определению, что f(x) = 0 при x = 0. Эта функция, график которой для положительных значений переменного x изображен на рис. 285, непрерывна в каждой точке. График колеблется бесконечно часто в окрестности точки x = 0, причем «волны» становятся бесконечно малыми, если мы приближаемся к нулю. Наклон этих волн дается формулой
f′(x) = sin x1 − x1 cos x1
(пусть читатель проверит это в качестве упражнения); при стремлении x к нулю этот наклон колеблется между все возрастающими положительной и отрицательной границами. Мы можем сделать попытку найти производную в точке x = 0, переходя к пределу при h → 0 в разностном отношении
f(0 + h) − f(0) |
|
h sin |
1 |
|
|
1 |
|
= |
h |
|
= sin |
. |
|||
h |
|
|
|
||||
h |
|
|
|
|
h |
||
Но при h → 0 это разностное отношение колеблется между −1 и +1 и не стремится ни к какому пределу, следовательно, функция не может быть продифференцирована в точке x = 0.
Эти примеры указывают на трудности, внутренне присущие самому вопросу. Вейерштрасс удивительно ярко проиллюстрировал положение вещей, построив непрерывную функцию, график которой не имеет производной ни в одной точке. В то время как дифференцируемость влечет за собой непрерывность, непрерывность, как показывает этот пример, отнюдь не влечет за собой дифференцируемости; в самом деле, функция Вейерштрасса всюду непрерывна, а вместе с тем нигде не дифференцируема. На практике трудности такого рода не встретятся. Обычно встречающиеся кривые являются «гладкими» (за исключением разве только отдельных изолированных точек), т. е. дифференцирование не только возможно, но даже сама производная является непрерывной. Что же в таком случае
§ 1 |
ВОПРОСЫ ПРИНЦИПИАЛЬНОГО ПОРЯДКА |
|
|
493 |
||
может нам помешать просто сделать оговорку, что никакие «патологиче- |
||||||
ские» явления не будут фигурировать в задачах, подлежащих нашему рас- |
||||||
смотрению? Именно так и поступают в анализе те, кому приходится иметь |
||||||
дело только с дифференцируемыми функциями. В главе VIII мы провели |
||||||
дифференцирование обширного класса функций и тем самым доказали их |
||||||
дифференцируемость. |
|
|
|
|
|
|
Поскольку |
дифференцируемость |
y |
|
|
|
|
функции не есть логическая неиз- |
|
|
|
|
|
|
бежность, она — с математической |
|
|
|
|
|
|
точки зрения — должна быть или |
|
|
|
|
|
|
постулирована, или доказана. В та- |
|
|
|
|
|
|
ком случае само понятие касатель- |
|
|
|
|
|
|
ной или направления кривой (перво- |
|
|
|
|
|
|
начальный источник идеи производ- |
|
|
|
|
|
|
ной) ставится в зависимость от чисто |
|
|
|
|
|
|
аналитического определения произ- |
|
|
|
|
|
|
водной: если функция y = f(x) диф- |
O |
|
|
|
x |
|
ференцируема, т. е. если разностное |
|
|
|
|||
|
|
|
|
|
||
отношение f(x + h) − f(x) имеет един- |
|
|
|
|
|
|
|
h |
|
|
|
|
|
ственный предел f′(x) при стремле- |
|
|
|
1 |
|
|
нии h к нулю с обеих сторон, то |
Рис. 285. y |
= |
x sin |
|
||
принято говорить, что соответствую- |
|
x |
|
|||
|
|
|
|
|
||
щая кривая имеет касательную с наклоном f′(x). Таким образом, наивная |
||||||
позиция Ферма, Лейбница и Ньютона в современном анализе вывернута |
||||||
наоборот — в интересах логической стройности. |
|
|
|
|
||
Упражнения. 1) Покажите, что непрерывная функция, определенная форму- |
||||||
лой f(x) = x2 sin |
1 и добавочным условием f(0) = 0, дифференцируема в точке |
|||||
x = 0. |
x |
|
|
|
|
|
|
|
|
|
|
|
|
2) Покажите, что функция arctg 1 разрывна при x = 0, что функция x arctg |
1 |
|||||
|
x |
|
|
|
|
x |
непрерывна в этой точке, но не имеет в ней производной, и что функция x2 arctg |
1 |
|||||
|
|
|
|
|
|
x |
дифференцируема при x = 0. (В двух последних примерах следует положить зна- |
||||||
чение функций при x = 0 равным нулю.) |
|
|
|
|
|
|
2. Интеграл. Аналогично и положение с интегралом от непрерывной |
||||||
функции f(x). Вместо того чтобы «площадь под кривой» принимать как |
||||||
величину, объективно существующую и которую a posteriori можно выра- |
||||||
зить с помощью предела последовательности конечных сумм, этот предел |
||||||
в анализе принимают в качестве определения интеграла. Эта концепция |
||||||
интеграла образует первичную основу, из которой затем выводится понятие |
||||||
площади. Мы вынуждены стать на эту точку зрения вследствие сознания |
||||||
494 |
ДОПОЛНЕНИЕ |
гл. VIII |
|
|
|
того, что геометрическая интуиция обладает известной расплывчатостью, когда она применяется к таким общим аналитическим понятиям, как непрерывная функция. Мы начнем с построения суммы
|
n |
n |
|
|
|
Xj |
Xj |
|
|
|
Sn = |
f(vj)(xj − xj−1) = |
f(vj) xj, |
(1) |
|
=1 |
=1 |
|
|
где |
x0 = a, x1, . . . , xn = b — точки деления |
промежутка |
интегрирова- |
|
ния, |
xj = xj − xj−1 — приращение переменной x, или длина j-го частного |
|||
промежутка, а vj — произвольное значение переменного x в этом частном промежутке, т. е. xj−1 6 vj 6 xj (мы можем взять, например, vj = xj или
vj = xj−1.)
Далее, мы образуем последовательность подобных сумм, в которых число n частных промежутков возрастает, причем длина максимального частного промежутка стремится к нулю. Тогда справедливо следующее основное положение: сумма Sn, составленная для данной непрерывной функции f(x), стремится к некоторому определенному пределу A, не зависящему от способа разбиения промежутка интегрирования и от выбора
точек vj. По определению, этот предел есть интеграл A = Rb f(x)dx. Ко-
a
нечно, существование этого предела должно быть аналитически доказано, если мы не хотим ссылаться на интуитивное геометрическое представление площади. Это доказательство приводится в каждом руководстве анализа, учитывающем требования математической строгости.
Сравнение дифференцирования и интегрирования приводит нас к следующему противопоставлению. Свойство дифференцируемости, несомненно, налагает ограничительное условие на класс всех непрерывных функций; вместе с тем фактическое выполнение операции дифференцирования сводится на практике к процедурам, основанным лишь на нескольких простых правилах. В противоположность этому каждая непрерывная функция без исключения интегрируема, так как обладает интегралом между любыми двумя данными пределами. Однако прямое вычисление интегралов, понимаемых как пределы сумм, даже в случае самых простых функций, вообще говоря, дело очень трудное. Но тут-то и оказывается, что основная теорема анализа во многих случаях становится решающим орудием при осуществлении интегрирования. И все же для большей части функций, в том числе даже для некоторых совершенно элементарных, интегрирование не дает простых явных выражений, и числовые выкладки для интегралов требуют более продвинутых методов.
3. Другие приложения понятия интеграла. Работа. Длина кривой.
Оторвав аналитическое представление интеграла от его первоначальной геометрической интерпретации, мы встречаемся с целым рядом других, не
§ 1 |
ВОПРОСЫ ПРИНЦИПИАЛЬНОГО ПОРЯДКА |
495 |
|
|
|
менее важных интерпретаций и приложений этого основного понятия. Например, в механике интеграл может быть интерпретирован как выражение работы. Достаточно будет разъяснить это на следующем простом примере. Предположим, что некоторая масса движется по оси x под влиянием силы, направленной вдоль этой оси. Будем считать, что вся масса сосредоточена в одной точке с координатой x и что сила задана как функция этой точки f(x), причем знак функции f(x) указывает на направление силы. Если сила постоянна и передвигает массу из точки a в точку b, то работа, произведенная ею, равна произведению величины силы f на пройденный массой путь: (b − a)f. Но если сила меняется вместе с изменением x, то придется определять общую произведенную работу с помощью предельного процесса (подобно тому, как мы прежде определяли скорость). Для этой цели мы разобьем промежуток от a до b, как и прежде, на мелкие частные промежутки точками x0 = a, x1, x2, . . . , xn = b; затем предположим, что в каждом частном промежутке сила остается постоянной и равной, скажем, величине f(xn), истинному значению силы в конечной точке, и вычислим работу, соответствующую такой «ступенчатой» силе:
n
Xn
Sn = f(xn) xn.
=1
Если мы теперь, как раньше, станем уменьшать промежутки деления, заставляя n неограниченно расти, мы увидим, что сумма будет стремиться к
интегралу
Zb
f(x)dx.
a
Таким образом, работа, совершаемая непрерывно меняющейся силой, определена с помощью интеграла.
Вчастности, рассмотрим массу m, связанную с началом координат x = 0 упругой пружиной. Сила f(x), согласно рассуждению на стр. 490,
будет пропорциональна x,
f(x) = −k2x,
где k2 — положительная постоянная. Тогда работа, совершенная этой силой при перемещении массы m из начала координат в точку b, выразится интегралом
Zb
(−k2x)dx = −k2 b22 ,
a
а работа, которую мы сами должны затратить при растяжении пружины до точки b, равна +k2 b22 .
496 |
ДОПОЛНЕНИЕ |
гл. VIII |
|
|
|
Другое приложение общего понятия интеграла — это вычисление длины дуги кривой. Предположим, что рассматриваемая часть кривой представ-
лена функцией y = f(x), производная которой f′(x) = dydx также непрерыв-
ная функция. Для того чтобы определить длину, мы будем действовать точно так, как если бы нам надо было измерить длину кривой для практических целей при помощи линейки с делениями. Впишем в дугу AB ломаную линию с n маленькими сторонами, измерим общую длину (периметр) Ln этой ломаной и станем рассматривать эту длину как некоторое приближение; заставим n возрастать, а наибольшую из сторон ломаной — стремиться к нулю; тогда мы получим в качестве длины дуги AB следующий предел:
L = lim Ln.
(В главе VI этим же способом была получена длина окружности как предел периметра вписанного правильного n-угольника.) Можно доказать, что для достаточно гладких кривых этот предел существует и не зависит от того, каким образом выбирается последовательность вписанных ломаных. Те кривые, для которых это имеет место, называются спрямляемыми. Всякая «порядочная» кривая, встречающаяся в теории или ее приложениях,
|
|
|
|
|
|
|
оказывается спрямляемой, и мы не |
|
|
|
|
|
|
|
станем углубляться в исследование |
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
«патологических» случаев. Доста- |
|
|
|
|
|
|
|
точно будет показать, что дуга AB |
|
|
|
|
|
|
|
для функции y = f(x) с непрерыв- |
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
ной производной f′(x) имеет дли- |
|
|
|
|
|
|
|
ну L в указанном смысле и что |
|
|
|
|
|
|
|
длина L может быть выражена с |
|
|
|
|
|
|
|
помощью интеграла. |
|
|
|
|
|
|
|
С этой целью обозначим абс- |
|
|
|
|
|
|
|
|
|
x1 |
x2 |
|
x циссы точек A и B соответственно |
|||
|
Рис. 286. К определению длины дуги |
|
через a и b, затем разобьем про- |
||||
|
|
межуток от a до b, как и прежде, |
|||||
|
|
|
|
|
|
|
|
|
|
|
xj = xj − xj−1 |
|
|
точками a = x0, x1, x2, . . . , xn = b |
|
с разностями |
и рассмотрим ломаную линию с вершинами |
||||||
(xj, yj = f(xj)), расположенными над точками деления. Длина одной из сторон ломаной выразится формулой
p(xj − xj−1)2 + (yj − yj−1)2 = p xj2 + yj2 = xj · r |
|
|
|
|
||||||||||
1 + xj |
. |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
yj |
2 |
|
Отсюда для общей длины ломаной линии получается выражение |
|
|
||||||||||||
|
Ln = |
r |
|
|
|
|
||||||||
|
1 + |
xj |
xj. |
|
|
|||||||||
|
n |
|
yj |
|
2 |
|
|
|
|
|
|
|||
|
j=1 |
|
|
|
|
|
|
|
||||||
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
§ 1 ВОПРОСЫ ПРИНЦИПИАЛЬНОГО ПОРЯДКА 497
Если заставить теперь n стремиться к бесконечности, то разностное отно-
шение |
yj |
будет стремиться к производной |
dy |
= f′(x), и мы получим для |
|||
xj |
dx |
||||||
длины L интегральное выражение |
|
|
|
||||
|
|
L = Zb p |
|
dx. |
|
||
|
|
1 + [f′(x)]2 |
(2) |
||||
a
Не вдаваясь в дальнейшие подробности этих теоретических рассуждений, мы сделаем два дополнительных замечания. Во-первых, если точку B считать подвижной точкой на данной кривой с абсциссой x, то L = L(x) становится функцией переменного x, и, согласно основной теореме, мы
имеем формулу
L′(x) = dLdx = p1 + [f′(x)]2,
которую часто приходится применять. Во-вторых, хотя формула (2) и дает «общее» решение задачи нахождения длины дуги, все же она редко позволяет найти явное выражение этой длины в отдельных частных случаях. В самом деле, чтобы получить числовое значение длины дуги, мы должны подставить данную функцию f(x), или, точнее, f′(x), в формулу (2) и тогда осуществить фактическое интегрирование полученного выражения. Но здесь возникают, вообще говоря, непреодолимые трудности, если мы ограничим себя областью элементарных функций, рассмотренных в этой книге.
Укажем небольшое число случаев, для которых интегрирование возможно. |
|||||||||||||||
Функция |
|
|
|
y = f(x) = √ |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
1 − x2 |
|
|
|
|
|
|||||
имеет графиком единичный круг; для нее мы получаем |
|
|
|
|
|||||||||||
|
dy |
|
|
x |
|
|
|
|
|
1 |
|
||||
|
|
|
|
|
p1 + [f′(x)]2 |
|
|||||||||
f′(x) = |
|
= − |
√ |
|
|
, |
откуда |
= |
√ |
|
; |
||||
dx |
|
|
|
||||||||||||
1 − x2 |
1 − x2 |
||||||||||||||
следовательно, длина дуги окружности выражается интегралом |
|
||||||||||||||
|
|
Za |
b |
|
|
|
|
|
|
|
|
|
|||
|
|
|
√ |
dx |
= arcsin b − arcsin a. |
|
|
|
|
||||||
|
|
|
|
|
|
|
|
||||||||
|
|
|
1 − x2 |
|
|
|
|
||||||||
Для случая параболы y = x2 мы имеем f′(x) = 2x, а длина дуги от x = 0 до x = b равна
Zb √1 + 4x2 dx.
a
Для кривой y = ln sin x мы имеем f′(x) = ctg x, и длина дуги выражается
498 |
ДОПОЛНЕНИЕ |
гл. VIII |
|
|
|
интегралом
Zb p
1 + ctg2 x dx.
a
Мы удовольствуемся лишь простым написанием этих интегральных выражений. Их можно было бы вычислить, применяя несколько более развитую технику интегрирования, чем та, которая имеется в нашем распоряжении, но мы не пойдем дальше в этом направлении.
§2. Порядки возрастания
1.Показательная функция и степени переменного x. В математи-
ке мы постоянно встречаемся с последовательностями чисел an, которые имеют бесконечный предел. Часто бывает нужно сравнить такую после-
довательность с другой последовательностью, например, чисел bn, тоже стремящихся к бесконечности, но, может быть, «быстрее», чем последовательность чисел an. Уточним это понятие: мы скажем, что bn стремится
кбесконечности быстрее, чем an, или bn имеет более высокий порядок
возрастания, чем an, если отношение an (в котором как числитель, так bn
и знаменатель стремятся к бесконечности) стремится к нулю при возрастании n. Например, последовательность bn = n2 стремится к бесконечности быстрее, чем последовательность an = n, а эта последовательность, в свою очередь, быстрее, чем последовательность cn = √n, так как
|
|
|
an |
|
|
n |
1 |
|
cn |
|
√ |
|
1 |
|
||||
|
|
|
|
|
→ 0, |
n |
→ 0. |
|||||||||||
|
|
|
|
|
= |
|
|
= |
|
|
= |
|
= √ |
|
||||
|
|
|
bn |
n2 |
n |
an |
n |
|||||||||||
|
|
|
|
n |
||||||||||||||
Ясно, что ns |
стремится к бесконечности быстрее чем nr (при s > r > 0), |
|||||||||||||||||
так как |
nr |
1 |
|
→ |
0. |
|
|
|
|
|
|
|
|
|
|
|
||
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
ns |
ns−r |
|
|
|
|
|
|
|
|
|
|
|
||||||
Если отношение |
|
an |
стремится к некоторой конечной постоянной c, |
|||||||||||||||
|
|
|
|
|
|
|
bn |
|
|
|
|
|
|
|
|
|
|
|
отличной от нуля, то мы говорим, что обе последовательности an и bn
стремятся к бесконечности с одинаковой скоростью или что они имеют одинаковый порядок возрастания. Так, например, an = n2 и bn = = 2n2 + n имеют один и тот же порядок возрастания, потому что
an |
|
n2 |
1 |
|
|
→ |
1 |
. |
|
|
= |
|
= |
|
|
|
|
||
bn |
2n2 + n |
2 + |
1 |
|
2 |
||||
|
|
n |
|
|
|||||
|
|
|
|
|
|
|
|
||
Могла бы возникнуть мысль, что возрастание любой последовательности an с бесконечным пределом может быть «измерено» с помощью степеней ns так же, как любой отрезок может быть измерен с помощью линейки с делениями. Стоило бы только для этого найти подходящую
§ 2 ПОРЯДКИ ВОЗРАСТАНИЯ 499
степень ns с тем же порядком возрастания, что и an, т. е. такую, что отношение anns стремится к некоторой конечной, отличной от нуля постоянной. Но
совершенно замечательным является то обстоятельство, что осуществить это отнюдь не всегда возможно — хотя бы потому, что показательная функция an при a > 1 (например, en) стремится к бесконечности быстрее, чем какая бы то ни было степень ns, как бы велик ни был показатель s; с другой стороны, функция ln n стремится к бесконечности медленнее, чем какая бы то ни было степень ns, как бы
мал ни был положительный показатель s. Другими словами, мы имеем |
||||
соотношения |
ns |
|
||
|
|
|||
и |
an → 0 |
(1) |
||
ln n |
→ 0 |
(2) |
||
|
||||
|
ns |
|||
при n → ∞. Заметим, что показатель степени s — не обязательно целое число; он может быть любым фиксированным положительным числом.
Для того чтобы доказать соотношение (1), мы упростим наше утверждение тем, что извлечем из соотношения (1) корень степени s; ясно, что вместе с корнем стремится к нулю и подкоренное выражение. Итак, нам остается только доказать, что
|
|
|
|
|
n |
→ |
0 |
|
|
|
|
|
n |
||
|
|
|
|
a s |
|
||
при возрастании n. Пусть |
1 |
; так как по предположению a больше |
|||||
b = a s |
|||||||
|
|
1 |
также больше 1. Можно написать |
||||
единицы, то и b и √b = b 2 |
|||||||
|
|
|
1 |
|
= 1 + q, |
||
|
|
|
b 2 |
||||
где q положительно. Теперь, в силу неравенства (6) на стр. 40,
n |
= (1 + q)n > |
1 + nq > nq, |
||||||
b 2 |
||||||||
так что |
|
n |
|
|
|
|
|
|
|
|
a s = bn > n2q2, |
||||||
и следовательно, |
|
n |
|
n |
|
1 |
|
|
|
|
< |
= |
. |
||||
|
|
n |
|
2 2 |
2 |
|||
|
|
a s |
|
n q |
|
nq |
||
Так как выражение справа стремится к нулю при n → ∞, доказательство закончено.
Нужно заметить, что соотношение
xs |
→ 0 |
(3) |
ax |
