Вы находитесь на странице: 1из 8

13.

Экспонента и логарифм

Для завершения доказательства предложения 12.8 нам остается дать одно определение и доказать одно предложение.

Определение 13.1. Ряд называется абсолютно сходящимся , если сходится ряд | |.

Доказанный нами ранее «признак абсолютной сходимости» показы- вает, что абсолютно сходящийся ряд сходится и в обычном смысле.

Предложение 13.2. Пусть

еся ряды. Для всякого N положим

=0

и

=0 | абсолютно сходящи-

= 0 + 1 1 +

0

Если ряды

сходится, причем его сумма равна произведению сумм рядов

=0

и

=0 абсолютно сходятся, то и ряд

=0

=0

и

=0 .

Поскольку ряд для экспоненты абсолютно сходится (мы это устано- вили в процессе доказательства предложения 12.7), из этого предложе- ния, как мы объясняли на предыдущей лекции, вытекает и предложе- ние 12.8.

Доказательство. Положим

=

~

=

=

~

=

=0

=0

lim

→∞

lim

=

~

=

=

~

=

=0

=0

lim

→∞

lim

→∞

=

=0

Нам нужно доказать, что lim = ; поскольку lim = по теореме о пределе произведения, для этого достаточно показать, что

(13.1)

| | = 0

lim

1

Имеем, очевидно,

| | =

+

+

| |

·

| |

(13.2)

так что достаточно показать, что правая часть в (13.2) стремится к нулю при → ∞. Заметим, что если + , то либо [ 2], либо [ 2] (квадратными скобками обозначена целая часть). Поэтому правую часть (13.1) можно оценить так:

+

| | · | |

[ или [

2]

2]

=

0

0

| | · | | −

0

0

[ [

2]

2]

=

~

| | · | | =

~

~

~

[ 2] [ 2]

Теперь заметим, что, в силу абсолютной сходимости рядов

=0

~ ~

и =0 , существуют конечные пределы lim и lim , а

~

~

~

~

[ 2] ) = 0 очевидно ввиду критерия Коши. Аккуратно доказа-

тельство можно провести так: для всякого 0 существует такое ,

значит | и предел lim

. Теперь равенство lim (

~

~

[ 2]

~

что при имеем

то при 1 имеем [ 2] , так что

~

~

~

~

~

. Если теперь 1 2 + 2,

~

~

~

~

~

~

|

[ 2] [ 2] | =

[ 2] [ 2]

Этим завершается доказательство предложения 13.2, а тем самым и

предложения 12.8.

13.2, а тем самым и предложения 12.8. Теперь мы можем доказать

Теперь мы можем доказать основное свойство экспоненты.

Предложение 13.3. Для всякого C имеем

lim

0

exp( + ) exp( )

= exp( )

В этом предложении используется предел в смысле, нам ранее не

встречавшемся: это предел функции из C (или C\{0}) в C. Определяется он дословно так же, как обычный предел функции: в развернутом виде предложение 13.3 означает, что для всякого 0 существует такое 0, что если 0 | | , то

exp( + ) exp( )

2

exp( )

Основные свойства пределов функций комплексного переменного (пре- дел суммы, предел частного и пр.) совпадают со свойствами пределов функций действительного переменного и доказываются дословно так же.

Доказательство. Имеем

exp( + ) exp( )

= exp( ) exp( ) exp( )

= exp( ) exp( ) 1

Стало быть, достаточно показать, что

lim

0

exp( ) 1

= 1

показать, что lim → 0 exp( ) − 1 = 1 Из определения экспоненты

Из определения экспоненты следует, что

exp( ) 1

= 1 +

2! + 2

3!

+ +

( + 1)! +

Поскольку ( + 1)! 2 при 1,

имеем, при | | 2,

2! + 2

3!

+ +

( + 1)!

|

|2! + | |

3!

2

+ +

|

|

( + 1)!

| |

2

+ | | 2

2

2

+ + | 2 |

|

| 2

1 − | | 2

(в правой части мы оценили через сумму бесконечной геометрической прогрессии). Итак,

exp( ) 1

1

|

| 2

1 − | |

2

при | | 2

Поскольку правая часть в этом неравенстве стремится к нулю при 0, левая часть стремится к нулю по теореме о двух милиционерах. Все доказано. Очевидно, что при R имеем exp( ) R. Поэтому из доказанного предложения вытекает такое важное следствие.

Следствие 13.4. Если рассматривать экспоненту как функцию из R в R, то exp ( ) = exp( ) для всех R.

3

Производная экспоненты как функции комплексного переменного пригодится нам на следующей лекции, когда мы будем работать с три- гонометрическими функциями. А пока что перечислим несколько эле- ментарных свойств экспоненты как функции действительного перемен- ного.

Предложение 13.5. (1) exp( ) 0 для всех R. (2) Функция exp монотонно возрастает на всем R. (3) lim + exp( ) = +, lim exp( ) = 0. (4) Функция exp осуществляет биекцию R на (0; +).

Доказательство. (1) То, что exp( ) 0 при 0, очевидно из опре- деления. Далее, ясно, что exp(0) = 1, откуда и из предложения 12.8 вытекает, что exp( ) = 1 exp( ) Если теперь 0, то exp( ) = 1 exp( ) 0, так как 0. (2) Из определения очевидно, что exp( ) 1 при 0. Если теперь 2 1 , то exp( 2 ) exp( 1 ) = exp( 1 )(exp( 2 1 ) 1), и в правой части неравенства стоит произведение двух положительных чисел. (3) Поскольку из определения очевидно, что exp( ) 1+ при 0, первое утверждение очевидно. Второе утверждение следует из первого и тождества exp( ) = 1 exp( ). (4) Это очевидно из (2), (3) и теоремы о промежуточном значении.

о промежуточном значении. Предложение 13.6. Если ∈ Q , то

Предложение 13.6. Если Q, то exp( ) = . В частности, exp(1) = .

Доказательство. Равенство exp(1) = мы установили в лекции 4. Если N, то из предложения 12.8 имеем

(exp(1 )) = exp

1

+ 1

слагаемых

= exp(1) =

откуда exp(1 ) =

exp( ) = при любых Z, N.

С этого момента мы изменим обозначения и будем вместо exp( ) писать (и для действительных, и для произвольных комплексных ). При Q эта запись, как показывает предложение 13.6, согласуется с существующими определениями, а при всех прочих она сама служит определением степени с основанием . Вернемся теперь к предложению 13.5. Из его пунктов (2) и (4) вы- текает следующее.

= 1 . Теперь из предложения 12.8 ясно, что

текает следующее. √ = 1 . Теперь из предложения 12.8 ясно, что 4

4

Предложение-определение 13.7. Натуральным логарифмом дей- ствительного числа числа 0 называется такое число R, что = (обозначение: = ln ). Натуральный логарифм числа 0 существует и единственен. Функция ln является строго возраста- ющей и непрерывной на интервале (0; +).

Доказательство. Существование логарифма следует из теоремы о про- межуточном значении, единственность | из монотонности экспоненты,

непрерывность | из теоремы 12.4.

непрерывность | из теоремы 12.4. Теперь нетрудно вывести

Теперь нетрудно вывести известную формулу для производной на- турального логарифма.

Предложение 13.8. (ln ) = 1 .

Доказательство. Воспользуемся предложением 12.6 (формулой для производной обратной функции):

(ln) ( ) =

1

(exp) (ln ) =

1

exp(ln ) = 1

( ) = 1 (exp) (ln ) = 1 exp(ln ) = 1 Итак, мы построили

Итак, мы построили показательную и логарифмическую функцию с основанием . Переход к произвольному основанию производится уже число формально.

Определение 13.9. Для всяких 0, R положим = ln .

Для всяких 0,

= 1 0 положим log = ln

ln .

Вывод формул для производной степенной функции с произволь- ным показателем, а также логарифмической и показательной функций с произвольным основанием (см. таблицу 1), производится теперь стан- дартным способом с использованием формулы для производной слож- ной функции. Например, производная для функции получается так:

( ) = ( ln ) = ln ( ln ) = ln ln = ln

Прежде чем двигаться дальше, докажем одну важную теорему.

Теорема 13.10. Пусть : [ ; ] R | непрерывная функция. Тогда на отрезке [ ; ] существуют такие точки и , что ( ) ( ) ( ) для всех [ ; ] (иными словами, функция, непрерывная на отрезке, достигает на нем наибольшего и наименьшего значений).

5

Если функция непрерывна не на отрезке, а на открытом интервале, то теорема перестает быть верной. Простейший пример | функция ( ) = на интервале (0; 1).

Доказательство. Достаточно, очевидно, доказать утверждение про наибольшее значение (утверждение про наименьшее значение получит- ся тогда, если заменить на ). Докажем сначала, что ограничена сверху. В самом деле, если это не так, то для всякого N найдется такое [ ; ], что ( ) . По лемме Гейне|Бореля (следствие 9.9) в этой последовательности су- ществует подпоследовательность { }, сходящаяся к некоторой точке . Так как функция непрерывна, имеем lim ( ) = ( ); в частности, последовательность { ( )} сходится и тем самым ограни- чена. С другой стороны, однако, ( ) , а { } | строго возра- стающая последовательность натуральных чисел, и это противоречит ограниченности последовательности { ( )}. Полученное противоре- чие доказывает ограниченность функции . Положим теперь = ([ ; ]) R. По доказанному множество ограничено сверху, так что у него существует верхняя грань; пусть = sup . Тогда существует такая последовательность элементов , что lim = . Пусть = ( ), где [ ; ]. По лемме Гейне| Бореля в последовательности { } существует подпоследовательность { }, сходящаяся к некоторой точке . Так как функция непре- рывна, имеем lim ( ) = ( ); с другой стороны, так как предел подпоследовательности совпадает с пределом последовательности, име- ем lim ( ) = lim = . Стало быть, ( ) = , так что значение функции в точке больше либо равно значений во всех остальных точках. Тем самым в точке достигается наибольшее зна-

чение.

Теперь все готово для того, чтобы обосновать известные из шко- лы правила исследования функции с помощью производной. Начнем с достаточного условия экстремума.

Предложение 13.11 (теорема Ферма). Пусть : ( ; ) R | диффе-

ренцируемая функция. Если ( ; ) | локальный экстремум функции

Доказательство. Пусть, для определенности, | локальный макси- мум. Из определения производной вытекает, что

производной вытекает, что то ( ) = 0 . ( ) = lim →∞ ( +

то ( ) = 0.

( ) =

lim

→∞

( + ) ( )

если lim = 0

6

Если положить = 1 , то дробь в этой формуле будет неположи- тельна при всех (числитель неположителен, знаменатель положите- лен); следовательно, предел также неположителен и ( ) 0. Если же = 1 , то дробь в этой формуле будет неотрицательна при всех (числитель неположителен, знаменатель отрицателен); следовательно, предел также неотрицателен, и ( ) 0. Сопоставляя эти неравенства,

получаем, что ( ) = 0.

получаем, что ( ) = 0. Итак, необходимое условие

Итак, необходимое условие экстремума установлено. Теперь перей- дем к достаточным условиям возрастания и убывания. Первый шаг к этому | следующее предложение, представляющее и самостоятельный интерес.

Предложение 13.12 (теорема Ролля). Пусть функция : [ ; ] R непрерывна на [ ; ] и дифференцируема на ( ; ). Если ( ) = ( ), то существует такая точка ( ; ), что ( ) = 0.

Доказательство. По теореме 13.10 функция достигает на [ ; ] наи- большего и наименьшего значений. Если оба эти значения совпадают с

( ) = ( ), то

постоянна и тем самым ( ) = 0 для всех ( ; ); в

противном случае либо наибольшее, либо наименьшее значение дости- гается в какой-нибудь точке , лежащей внутри отрезка [ ; ], так что

( ) = 0 по теореме Ферма.

], так что ( ) = 0 по теореме Ферма. С помощью несложной манипуляции

С помощью несложной манипуляции теорему Ролля можно усилить следующим образом.

Предложение 13.13 (теорема Лагранжа). Пусть функция : [ ; ] R непрерывна на [ ; ] и дифференцируема на ( ; ). Тогда существует такая точка ( ; ), что

( ) = ( ) ( )

Доказательство. Пусть = + | уравнение прямой, проходящей через точки ( ( )) и ( ( )). Если положить ( ) = ( ) , то ( ) = ( ) = 0, так что функция удовлетворяет условиям теоре- мы Ролля. Следовательно, существует такое ( ; ), что ( ) = 0. Поскольку ( ) = ( ) , имеем ( ) = . Остается заметить, что

= ( ) ( )

по построению.

7

( ) = . Остается заметить, что = ( ) − ( ) − по построению.

Следствие 13.14 (достаточный признак монотонности) . Пусть : ( ; ) R | дифференцируемая функция. Если ( ) 0 для всех ( ; ), то строго возрастает на ( ; ); если ( ) 0 для всех ( ; ), то строго убывает на ( ; ).

Доказательство. Рассмотрим случай положительной производной. Пусть ; покажем, что ( ) ( ). В самом деле, огра- ничение функции на отрезок [ ; ] удовлетворяет условиям теоремы Лагранжа, так что для некоторого ( ; ) имеем

( ) = ( ) ( )

0;

поскольку знаменатель дроби положителен и дробь положительна, по-

ложителен и числитель, так что ( ) ( ), как и утверждалось.

по- ложителен и числитель, так что ( ) ( ), как и утверждалось. 8

8