Новости    Библиотека    Энциклопедия    Биографии    Карта сайта    Ссылки    О проекте




предыдущая главасодержаниеследующая глава

Рассказ одиннадцатый. Экстремумы функций одного переменного

Когда величина является максимальной или минимальной, в этот момент она не течет ни вперед, ни назад.

И. Ньютон

Этот и следующий рассказы построены одинаково. Они состоят из двух частей. В первой части излагается сам метод решения задач без доказательств, хотя и с некоторыми объяснениями и комментариями. Во второй части проводятся точные определения и некоторые доказательства. Для освоения первой части необходимо владеть лишь следующими понятиями: "предел", "непрерывная функция" и "производная".

1. Здесь будет рассказано о методе отыскания решения таких задач на экстремум функций одного переменного:

(з) f0(х) → min (max), а ≤ х ≤ b.

В (з) а и b могут принимать и бесконечные значения. Таким образом, речь будет идти об экстремумах функции /0 на конечном отрезке, на луче или на совокупности всех вещественных чисел.

Примеры.


Напомним, что (з1) - это формализация задачи Герона, (з2) - формализация планиметрической задачи Кеплера (обе задачи были формализованы в рассказе десятом).

Заметим, что не всякая задача имеет решение. Например, мы уже рассматривали такую задачу без ограничений:


Функция f0(х) ≤ 0, и нет такой точки x̄, где f0(х) = 0.

С другой стороны, если взять точки хn = n, n = 1, 2, ..., то f0n) → 0. Отсюда следует, что максимума в (з3) не существует, т. е. нельзя указать такую точку x̂, что f0(х) ≤ f0(x̂) для всех x.

Итак, максимумы и минимумы существуют не всегда. Однако имеется замечательная теорема Вейерштрасса, которая дает в огромном числе случаев гарантию существования решения.

Теорема Вейерштрасса.Пусть f0(x) - непрерывная функция на конечном отрезке [a, b]. Тогда решения обеих задач

min) f0 (x) → min, а ≤ х ≤ b

и

max)f0 (x) → max, a ≤ x ≤ b

существуют.

Из этой теоремы немедленно следует, что решение задачи (з2) существует. А про (з1) этого сказать пока нельзя, ибо там функция рассматривается на всей прямой, а не на конечном отрезке.

Из теоремы Вейерштрасса выводится такое следствие, которое позволит, в частности, доказать существование и в (з1).

Следствие.Пусть f0 непрерывна на всей прямой. Тогда, если limx→∞ f0(x) = limx→-∞ f0(х) = ∞, решение задачи без ограничений

f0(x) → min

существует.

У нас еще встретятся случаи, когда f0 непрерывна на луче вида а ≤ х < ∞ или а < х < ∞. Следовательно, если в первом случае limx→∞ f0 (х) = ∞, а во втором limx→a f0 (х) = limx→∞ f0 (х) = ∞, то функция f0 достигает своего минимума на соответствующем луче.

Для отыскания решения задачи (з) будем использовать прием, впервые примененный Ферма.

Но сначала напомним одно определение, о котором говорилось в предыдущем рассказе. Пусть функция f0 определена на отрезке а ≤ x ≤ b в х̂ - точка из этого отрезка. Говорят, что точка х̂ доставляет локальный минимум (максимум) в задаче (з), если можно указать такое ε, что для всех точек х из отрезка [а, b], для которых |х - х̂| < ε, выполнено неравенство f0(х) ≥ f0(x̂)(f0(x) ≤ f0(x̂)).

Иногда мы говорим проще: х̂ доставляет локальный экстремум функции f0.

Имеет место

Теорема Ферма.Пусть функция f0 является дифференцируемой в точке х̂. Тогда, если точка х̂ доставляет локальный экстремум (минимум или максимум) этой функции f0, то f0 (х) = 0.

Точки, для которых f'0 (х) = 0, называются стационарными. Стационарные точки совместно с концевыми, точками называются критическими.

Соотношение f'0 (х̂) = 0 является лишь необходимым условием экстремума. Например, для функции f0 (х) = х3 точка х = 0 является стационарной, но ни локального максимума, ни локального минимума не доставляет.

Теорема Ферма позволяет дать следующее правило поиска решений одномерных задач. Разобьем его на 4 этапа.

1 этап - формализация задачи. Требуется привести (разумеется, если это возможно) стоящую перед вами задачу к виду

(з) f0 (x) → min (max), а ≤ х ≤b.

2 этап состоит в выписывании необходимого условия f'0(x) = 0.

3 этап состоит в нахождении всех стационарных точек.

4 этап состоит в переборе всех критических значений функции f0 и выбора минимального (максимального) среди них.

Из теорем Вейерштрасса и Ферма следует, что если функция f0 удовлетворяет на [а, b] теореме Вейерштрасса (или следствиям из нее) и, кроме того, если она дифференцируема во внутренних точках х отрезка [a, b] (когда а <х < b), то описанное правило приведет к решению задачи.

Выделим отдельно следующий факт, которым в основном и будем пользоваться: если отрезок [a, b] конечен, функция f0 непрерывна на [а, b] и дифференцируема во внутренних точках х, а < х < b, то решение находится среди критических точек.

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

Таблица производных
Таблица производных

Кроме этой таблицы, полезно помнить следующие формулы:

7.


И еще одно. Очень часто функции, с которыми нам придется сталкиваться, имеют вид h(x) = f(g(x)). Нужно запомнить и научиться пользоваться следующей формулой для производной сложной функции:

8.

h'(х) = f'(g(x))g'(х).

Пример, h (х) = √(а2 + х2). Здесь h (х) = f(g (x)), где f(u) = √u = u1/2, g(х) = а2 + х2. Пользуясь формулой 1 таблицы и формулами 7 и 8, получаем


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

Рис. 45
Рис. 45

С самим понятием выпуклости мы сталкиваемся еще в школе. Напомним, что фигура называется , выпуклой, если вместе с любыми двумя своими точками она содержит весь отрезок, соединяющий эти точки. Любой треугольник как часть плоскости - выпуклая фигура, среди четырехугольников встречаются и не выпуклые (рис. 45).

Можно дать три равносильных определения выпуклой функции. Приведем их. Функция y = f(x) называется выпуклой, если для любой хорды, соединяющей две точки графика этой функции, ее график в промежуточных точках лежит ниже этой хорды; или: множество точек плоскости, лежащее выше графика функции y = f(х), является выпуклым; или: для любых чисел x1 и х2 и любого α, 0 ≤ α ≤ 1 имеет место следующее неравенство (неравенство Иенсена):

f(αx1 + (1 - α)х2) ≤ αf(x1) + (1 - α)f(х2).

Примеры выпуклых функций доставляют прежде всего линейные функции, функции вида y = bх + с (аффинные) и квадратные трехчлены y = ах2 + bх + с, у которых а > 0. Среди функций y = |х|р выпуклы лишь те, у которых р ≥ 1. Функция √(h2 + х2) выпукла при любых И. Не все выпуклые функции всюду дифференцируемы. Например, функция y = |х| не дифференцируема в нуле. Но если выпуклая функция дифференцируема, то ее производная является возрастающей функцией.

2. В первой части этого рассказа было описано правило решения задач. Это правило нетрудно запомнить, и сразу можно решать задачи. (Что мы и будем делать в тринадцатом рассказе.) Но многим, наверное, захочется все-таки понять, откуда взялось это правило. Об этом и будет рассказано здесь, причем дважды, и вот почему.

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

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

Представьте себе: вы едете по прямолинейному шоссе (рис. 46). В каждый момент времени ваша машина находится на определенном расстоянии от какого-то начального пункта. Таким образом, местоположение машины может быть выражено в каждый заданный момент t одним числом s(t). Получается функция от времени: s(t) есть расстояние от машины до начального пункта в момент времени t.

Рис. 46
Рис. 46

Теперь посмотрим на спидометр. Он показывает скорость. Скорость машины в момент t обозначим v (t). Из курсов физики и математики мы знаем, что скорость - это производная пути по времени:

(Говорят, что лорд Кельвин, один из крупнейших физиков прошлого века, утверждал нечто обратное. Он говорил примерно так: "Не морочьте мне голову с вашей математикой: производная - это скорость"!)

Если скорость в данный момент не равна нулю - пусть для определенности она положительна, как это изображено на рис. 46,-то в следующие моменты мы удалимся от начального пункта на еще большее расстояние, а в предшествующие моменты мы были чуть ближе к начальному пункту. Таким образом, функция расстояния s(t) в данный момент не может иметь ни максимума, ни минимума. И следовательно, в точке максимума или минимума скорость обязана равняться нулю: в этот момент мы, по словам Ньютона, не течем "не вперед, ни назад". Но в этом как раз и состоит теорема Ферма.

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

Итак, что значит: функция f дифференцируема в данной точке х0 (или, что то же, - имеет производную в точке х0)? Если не прибегать к формулам, то можно сказать так: это означает, что функция f(х0 + х) - f(х0) хорошо аппроксимируется линейной функцией. А если точно, это означает следующее.

Определение.Говорят, что функция y = f(х), определенная на отрезке [а, b], содержащем внутри себя точку х0 (а < х0 < b), дифференцируема в точке х0 (или, что то же,- имеет производную в точке х0), если существует такая линейная функция y = kx, что

f(х0 + х) - f(x0) = kx + r(х),

где limx→0 |r(х)|/|х| = 0 (или, как иногда говорят, r(х)/х есть величина бесконечно малая).

Из нашего определения немедленно вытекает, что


и, таким образом, число k, участвующее в определении, определяется однозначно. Оно и называется производной f в точке х0 и обозначается f'(х0).

Геометрический смысл производной состоит в том, что прямая, являющаяся графиком функции y = f'(x0)(x - х0) + f(х0) (проходящая через точку (х0,f(х0)) с угловым коэффициентом, равным производной f'(х0)), является касательной к графику Функции y = f(x) (рис. 47).

Рис. 47
Рис. 47

Пример 1. Квадратный трехчлен y = ах2 + bх + с всюду дифференцируем и его производная в точке х0 равна 2ах0 + b. Проверим это на функции f(х) = х2. Имеем

f(х0 + х) - f(х0) = (х0 + х)2 - x20 = 2х0х + х2Ο.

При этом 2х0х - линейная функция, r(х) = х2, и значит, limx→0 |r(х)|/|х| = limx→0 х2/| х | = 0, т. е. f дифференцируема в х0 и f' (х0) = 2х0.

Из списка, приведенного в п. 1, видно, что элементарные функции ах (а ≠ 0), sin х, cos х, loga х дифференцируемы всюду, где они определены.

Приведем пример функции, которая в некоторой точке не дифференцируема.

Пример 2. Функция y = |х| не дифференцируема в нуле. Действительно, возьмем любую линейную функцию y = kx. Пусть для определенности k ≤ 0. Положим


Значит, limx→0,x≥0 |r(х)|/|х| = 1 + |k| ≠ 0; функция не дифференцируема. Случай k > 0 аналогичен.

Теорема Ферма.Пусть функция f0(х) определена на некотором отрезке [a, b], содержащем внутри себя точку х (а < х̂ < b). Пусть при этом она является дифференцируемой в точке х̂. Тогда, если точка х̂ доставляет локальный экстремум (минимум или максимум) этой функции, f'0 (х̂) = 0.

Точное определение локального экстремума было дано в п. 1.

Доказательство. Предположим, что f'00) = k ≠ 0, и докажем, что х̂ не является локальным экстремумом. Допустим, k > 0. По определению предела из того, что limx→0 |r(х)|/|х| = 0 (где r(х) = f0 (х̂ + х) - f0 (х̂) - kx) следует, что найдется δ > 0 такое, что если |х| < δ, то |r(х)| <(k/2)|х|.

Но тогда для х > 0 r(х) ≥ -k/2 x и следовательно,

f0 (x̂ + х) = f0 (х) + kx + r(х) ≥ f0(х̂) + kx - k/2 х = f0 (х̂) + k/2 x > f0 (x̂),

а для х < 0 r(х) ≤ k/2 x, и следовательно,

f0 (x̂ + х) = f0 (х) + kx + r(х) ≤ f0(х̂) + kx - k/2 х = f0 (х̂) + k/2 x < f0 (x̂),

т. е. слева от х̂ значения f0 меньше f0(х), а справа - больше. Это значит, что х̂ не является ни максимумом, ни минимумом. Теорема доказана.

Геометрический смысл теоремы Ферма: в точке максимума или минимума касательная должна быть горизонтальна. Подчеркнем еще "вычислительный" смысл экстремума, о котором говорит Кеплер (см. эпиграф к шестому рассказу). Возьмем для примера функции f1(x) = x и f2(x) = х2. У первой функции нет экстремума в нуле, а у второй - есть. Если придать приращение аргументу, то в первом случае функция смещается на такую же величину, а во втором - "изменения нечувствительны". Скажем, если х = 0,01 (а это еще можно изобразить на миллиметровой бумаге), то f2(х) = 0,0001, а это уже совершенно "нечувствительно".

Вот так обстоит дело с теоремой Ферма. Некоторые сведения исторического характера мы отложим до четырнадцатого рассказа.

Переходим к теореме Вейерштрасса о существовании экстремума непрерывной функции на конечном отрезке. Вследствие того, что любой отрезок можно перевести в единичный отрезок [0, 1], далее всюду будем рассматривать именно его.

Предварительно докажем следующую лемму о монотонной последовательности чисел.

Лемма. Монотонная последовательность чисел из единичного отрезка имеет предел в этом отрезке.

Иначе говоря, если задана бесконечная последовательность чисел {x1 ..., xn, ...}, обладающих теми свойствами, что, во-первых, они из единичного отрезка, т. е. 0 ≤ хn ≤ 1, n = 1, 2,..., а во-вторых, что они монотонны,- для определенности, пусть они монотонно возрастают, т. е. х1 ≤ х2 ≤ ... ≤ хn ..., то существует число х0 из единичного отрезка (0 ≤ х0 ≤ 1) такое, что limn↓∞ хn = х0.

Прежде чем доказывать лемму, необходимо сказать, что такое число из единичного отрезка. Числа из единичного отрезка представляются бесконечными десятичными дробями 0, n1n2n3 ..., где ni - одно из десяти чисел 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.

Доказательство. Возьмем первые числа после запятой десятичного представления чисел последовательности {х1 ... ..., хn, ...}. Получим (вследствие монотонности нашей последовательности) возрастающую последовательность целых чисел, каждое из которых не меньше нуля и не больше девяти. Какое-то из этих целых чисел, обозначим его n1 должно повториться бесконечное число раз. Возьмем тот наименьший номер N1 когда это целое число встретится у нас впервые. Тогда чисел, больших пи в нашей последовательности уже не встретится, так как если бы нашлось какое-то большее число, то из-за монотонности этой последовательности число далее уже не встретилось бы.

Далее возьмем вторые числа после запятой последовательности {xN1, xN1+1 ...}. Снова получим возрастающую последовательность целых чисел, каждое из которых не меньше нуля и не больше девяти, и снова возьмем число n2, которое встретится бесконечное число раз, и номер N2, когда оно появится впервые. Далее поступаем аналогично. В итоге приходим к десятичной дроби 0, n1n2... Она представляет собой некоторое число х0 из единичного отрезка. Кроме того, у нас возникла последовательность номеров N1 ≤ N2 ≤... ≤ Ns..., где числа ns появляются впервые. Из построения ясно, что для любого n = 1, 2, ... выполнено неравенство

xn ≤ x0 ↔ xn - x0 ≤ 0

С другой стороны, если n ≥ Ns, то

х0 - хn ≤ 10-s.

Написанные соотношения означают, что limn→∑ хn = х0. Лемма доказана.

Теорема Вейерштрасса.Непрерывная функция на конечном отрезке принимает свое максимальное и минимальное значение.

Напомним, что функция y = f(х), определенная на отрезке [а, b], содержащем точку х0 (а ≤ х0 ≤ b ) называется непрерывной в точке х0, если для любого ε > 0 можно указать δ > 0 такое, что из неравенств |х - х0| < δ, а ≤ х ≤ b последует неравенство |f(х) - f(х0)| < ε. Из этого определения сразу следует, что если f непрерывна в точке х0 и {х1, ..., хn, ...} - последовательность, сходящаяся к х0 (limn∞ хn = х0), то последовательность {f(x1), ..., f(хn), ...} сходится к


Функция, непрерывная в каждой точке отрезка, называется непрерывной на отрезке. Говорят, что в точке х0 функция y = f(х), заданная на [a, b] принимает на нем свое максимальное (минимальное) значение, если f(х0) ≥ f(х) (f(х0) ≤ f(х)) для любого х из отрезка [а, b].

Теперь можно перейти к доказательству теоремы Вейерштрасса. Будем доказывать ее для максимума.

Доказательство. Пусть функция y = f(х) определена и непрерывна на единичном отрезке [0, 1]. Возьмем два отрезка Δ1 = [а1, b1] и Δ2 = [а2, b2], содержащиеся в [0, 1]. Мы скажем, что отрезок Δ1 лучше Δ2, если найдется такая точка x̄ из Δ1 что f(х̄) > f(х) для любого х из Δ2.

Разобьем отрезок Δ0 = [0, 1] на два равных отрезка Δ11 = [0, 1/2] и Δ12 = [1/2, 1].

Выберем из отрезков Δ11 и Δ12 лучший; если ни один из них не лучший, возьмем любой из этих отрезков. Левую точку выбранного отрезка Δ1 обозначим x1.

В силу нашего выбора для всякой точки х, не лежащей в Δ1, найдется точка х̄ из Δ1, в которой f(х̄) ≥ f(х).

Действительно, если Δ1 - лучший, то все очевидно, а если он не лучший и точка х̄ не найдется, то это означает, что другой отрезок лучший, что противоречит нашему выбору.

Далее разобьем отрезок Δ1 на два равных отрезка Δ21 и Δ22 и снова выберем либо лучший, либо любой, если лучшего нет. Левую точку выбранного отрезка Δ2 обозначим х2. Снова в силу нашего выбора для всякой точки х̄, не лежащей в Δ2, найдется точка х̄ из Δ2, в которой f(х̄) ≥ f(х) (продумайте).

Далее будем поступать аналогично. В итоге получаем монотонную последовательность {х1, ..., хn, ...} из [0, 1]. По лемме она имеет предел, который обозначим х0. Докажем, что f(x0) ≥ f(x) для всякого х из [0, 1]. Действительно, допустим, что существует точка х̃, в которой f(х̃) > f(х0). Выберем δ столь малым, чтобы |х0 - х̃| > δ и из неравенств |х - х0| < δ, 0 ≤ х ≤ 1 следовало бы, что f(х) < f(x̃).Длины отрезков Δn равны 2-n, а их левые концы хn стремятся к х0. Значит, в какой-то момент весь отрезок Δn окажется внутри интервала (х0 - δ, х0 + δ). Но тогда, с одной стороны, в нем найдется х̄ такое, что f(х̄) ≥ f(х̃), а, с другой стороны (так как |х̄ - х0| < δ), f(х̄) < f(х̃). Пришли к противоречию. Теорема доказана.

Следствие из теоремы (сформулированное в начале рассказа) доказывается совсем просто.

Найдем такое число А, чтобы для |х| ≥ А выполнялось неравенство f0 (х) ≥ f0 (0). По теореме Вейерштрасса найдется точка х0 из отрезка [ - А, А] такая, что f(х0) ≤ f(х) для любого х из отрезка [-А, A]. Ясно, что f(х0) ≤ f(0). Но если |х| > A, то f(x) ≥ f(0) ≥ f(х0). Значит, f(х) ≥ f(х0) для любого х, что и требовалось получить. Два других случая доказываются так же просто.

Таким образом, мы привели доказательство всех фактов, о которых речь шла в п. 1.

предыдущая главасодержаниеследующая глава




ИНТЕРЕСНО:

Зачем математики ищут простые числа с миллионами знаков?

Задача построения новых оснований математики - унивалентные основания

Многомерный математический мир… в вашей голове

В школах Великобритании введут китайские учебники математики

Найдено самое длинное простое число Мерсенна, состоящее из 22 миллионов цифр

Как математик помог биологам совершить важное открытие

Математические модели помогут хирургам

Почему в математике чаще преуспевают юноши

Физики-практики откровенно не любят математику

В индийской рукописи нашли первое в истории упоминание ноля

Вавилонская глиняная табличка оказалась древнейшей «тригонометрической таблицей» в мире

Ученые рассказали о важной роли игр с пальцами в обучении детей математике
Пользовательского поиска

© Злыгостев Алексей Сергеевич, статьи, подборка материалов, оформление, разработка ПО 2001-2018
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'MathemLib.ru: Математическая библиотека'
Рейтинг@Mail.ru