В.А. Ильин, В.А. Садовничий, Бл.Х. Сендов - Математический анализ (PDF) (1108882), страница 54
Текст из файла (страница 54)
е. при малых значениях )х~ с точностью до членов любой степени и малой величины х. Беря в формулах Маклорена для функций е', э(их, сов х, 1п(1+х), (1+х)' и агс!их остаточный член в форме Пеано, мы получим, что для любого номера п справедливы следующие оценки: е*=-1+ — + — + ... + — +о(х"), х х' хл 1! 2! и! ха ха х' «зи ы гйп х =- х — — + — — — +...
+ ( — 1)" + О(хек+а), 3! 5! 7! (2о+ 1)! хт ха ха хек соах=1 — — + — — + ... +( — 1)" — +о(х'"+'), (6.81) 2! 4! 5! (2л) ! х' «т х' хл 1п (1 + х) = х — + — — — + ... + ( — 1)" — + о (х"), 2 3 4 и (1+х)"=1+ — х + х'+ И 2! и(и — 1) ... (а — л+1) л! хз ха хт ха"+т агс1йх=х — — + — — — + ... +( — 1)" + о (хан+а) 3 5 7 2п+! Приведем примеры использования асимптотических оценок (6.81) .
1'. Привлекая вторую из оценок (6.81), взятую при и=1, вычислим предел х — — +о(ха) — х а!их — х 3! Г ! т 1пп =1ип =1пп ~ — ' — +о(х) ~ = — ° ке х' *о «В 3! ~ 31 * Формулу или оценку, характеризующую поведение функции 1(х) прн к-ч.а (в данном случае при х О), называют асимптотической. 280 Гл. б.
Основные теоремы о лиффереицируемых функциях 2 2' » =1!гп ' к-~О Х«5!П Х Исходя из вида знаменателя, можно заключить, что определяющую роль должны играть члены четвертого порядка относительно х (ибо з!пх=х+о(х)). Пользуясь (6.81), можно записать: х' х' созх=1 — — + — +о(х'), 21 41 (6.82) (6.83) з)п х = х+ о (х), е» 1+а+ ! о(зх) 2 (6.84) х« Значит, при г= — — получим 2 х« х« е = 1 — — + — + о (х'). 2 8 (6.86) Из формул (6.82), (6.83) и (6.86) следует, что х« х« х« х« 1 1 — — + — + о (х') — 1 + — — — — + а (х) 1=1!гп 2 8 2 24 .
12 — 1!гп о »«+ о (х« ) «о 1+а(х) 1 12 о (х') величину . являю «4 (так как при малых х зто выражение положительно); 1 Х« т !п у =' !п ~соз х + — ), Х (5!П Х вЂ” Х) 2 ) хк ! !п ! совх+ — ~ ! !гп 1п у =! Пп 2 т к-»О К"»О Х (5ИИ Х вЂ” Х) Вычислим (Здесь символом а(х) мы обозначили щуюся бесконечно малой при х-5-0.) ! .5 . х!5!их — «! 3'. 1=-1!щ (созх+ — х) . Обозначим через у величину «но 2 ! ! ! «1»!и« вЂ” «! у = (созх+ х ) .
Тогда 1=1!щу. Прологарифмируем у 2 к- О 9 10, Примеры приложений формулы Манлореиа 261 Учтем теперь, что )п(1+а) =к+о(х). Из этой формулы 1п (] + — +о(х') ) = — +о(хз). Таким образом, 24 / 24 «4 1 о (хз) — +о(х ) — +— 1пп ]п у = 1пп 24 — 1ип 24 к' х О х-~о хз х о — — + о (кз) б — — +о(х) 6 1 1=1(пту=е о Отсюда Программа вычислении числа е Система Алгол — БЭСМ6, вариант 10 — 12 — 69 Ьей!п 1п1едег г', с, р, и, гп; !и[снег аггау а, Ь, е [О: 601); вс:=400,' гпагд (39, 60, 39, 10, О, О); е10]:=1; Ь[0]:=1; 1ог г:=1 з1ер 1 ипЯ 601 бо аЯ:=ЬЯ: =еЯ: 0; (ог и: =1 з1ер 1 ипп1 гп до Ьек(п 1ог 1: =0 з1ер 1 ипЯ 600 йо а[1]; -ЬЯ; с: а[0]; 1ог ! =0 з1ер 1 ипп( 600 «(о Ьен1п Ь Я: =с —:и; с: = (с — пХЬ [1]) Х10+а [!+!] епб р: 0 1ог 1:=600 з!ер — 1 ипЯ 0 «(о Ьек!и с: =е Я+Ь[г1+р; р:=0 П с<10 1пеп в [1]: =с е!зе Ье01п е[1]: =с — 10; р: 1 епд епб епб Еог и: =1 з1ер 1 ппП! б е(о Ьек!п оигРи1 ('101', 'хд.', в [0]); 1ег 1: =1 егер 1 йпЯ 590 Йо оюри1 ('«4'.
в Я) епй епи х' х' «з Поскольку созх=1 — + — +о(х'), з[пх=х — +о(х'), 2 24 б хз !и (1+ — + о (хз)) получим 1пп!пу=][гп 24 к з х-+о хз — — -1- о (хз) б Глава 7 ИССЛЕДОВАНИЕ ГРАФИКА ФУНКЦИИ И ОТЫСКАНИЕ ЭКСТРЕМАЛЬНЫХ ЗНАЧЕНИИ В настоящей главе мы применим разработанный в предыдущих двух главах аппарат дифференциального исчисления для исследования графика функции н для отыскания как локальных, так и глобальньгх экстремумов функции. 5 г. ОтыскАние стАциОнАРных тОчек 1.
Признаки монотонности функции. Из предыдущей главы мы уже знаем, что изучение вопроса об участках монотонности дифференцнруемой функции 1(х) сводится к исследованию знака первой производной этой функции, Для удобства сформулируем еще раз найденные нами в предыдущей главе условия монотонности функции.
1'. Для того чтобы дифференцируемая на интервале (а, Ь) функция 1(х) не убывала Гне возрастала) на этом интервале, необходимо и достаточно, чтобы производная Г'(х) этой функции была неотрицательна (неположительна) всюду на этом интервала. 2'. Для того чтобы дифференцируемая на интервале (а, Ь) функция г(х) возрастала (убывала) на интервале (а, Ь), достаточно, чтобы производная ~'(х) была гголожительна (отрицательна) всюду на этом интервале. Найдем участки монотонности функции )'(х) =хг — Зх' — 4. Производная ~'(х) =Зх(х — 2) этой функции положительна при — ьь<х<0, отрицательна при 0<х<2 и положительна при 2< <х<+оо.
Поэтому, согласно сказанному, данная функция 1(х) возрастает на полупрямой ( — оь, 0) убывает на интервале (О, 2) и возрастает на полупрямой (2, +со). График этой функции изображен на рис. 7.1. 2. Отыскание стационарных точек. Напомним- определения локального максимума и локального минимума функции. Пусть функция г(х) определена всюду в некоторои окрестности точки с. Тогда эта функция имеет в точке с локальный максимум (или соответственно локальный минимум), если существует такая окрестность точки с, что для всех точек этой окрестности значение ((с) является наибольшим 1или соответственно наименьшим) среди всех значений г"(х) этой функции. й 1.
Отыскание стационарных точек 263 Локальный максимум и' локальный минимум объединяются общим названием локальный экстре м ум. В $1 предыдущей главы нами было установлено необходимое условие экстремума дифференцируемой в данной точке функции. Это условие имеет следующий вид: если 4ункция у= у =1(х) дифференцируема в данной точке с и имеет в этой й точке локальный экстремум, ! м то у~с) =О. Вместе с тем в $ 1 гл. 6 было указано, что обращение в нуль производной является а только необходимым и н е ! ! является достаточным у с л о н и е м локального экс- ! тремума дифференцируемой в ! данной точке функции.
Так, функция ~~х) =ха имеет производную ('(х) = =Зхт, обращающуюся в нуль а точке х=О, но никакого экстремума в этой точке х=О функция 1(х) =ха не имеет (график этой функции см. на рис. 6.2). Точки, в которых производная !'(х) функции !'(х) обращается в нуль, будем называть с т а ц и о н а р н ы м и точками 4ункции ((х). Каждая стационарная точка — это точка возможного экстре. мума функции.
Однако сделать заключение о том, что в данной стационарной точке на самом деле имеется экстремум, можно лишь на основании дополнительного исследования, для проведения которого мы должны установить достаточные условия экстремума. Такие условия будут установлены в ближайших трех пунктах. 3. Первое достаточное условие экстремума. Теорем а 7,1. Пусть функция ((х) ди4ференцируема всюду в некоторой окрестности точки с, и пусть точка с является стационарной точкой функции ((х). Тогда если в пределах указанной окрестности производная ~'(х) положительна (отрицательна) слева от точки с и отрицательна (положительна) справа от точки с, то функция г(х) имеет в точке с локальный максимум (минимум).
Если же в пределах указанной окрестности точки с производная ~'(х) имеет один и тот же знак слева и справа от точки с, то экстремума в точке с нет. Доказательство. 1) Пусть сначала производная !'(х) в пределах рассматриваемой окрестности положительна (отрица- 264 Гл. 7. Исследование графика фуикиии тельна) слева от с и отрицательна (положительна) справа от с. Требуется доказать, что значение 1(с) является наибольшим (наименьшим) среди всех значений )(х) в рассматриваемой окрестности.
Обозначим через хо любое значение аргумента из рассматриваемой окрестности, отличное от с. Достаточно доказать, что 1(с) — г(хо) )О (<О). Так как функция )(х) дифференцируема всюду в рассматриваемой окрестности точки с, то на сегменте, ограниченном точками с и хо, для функции 7"(х) выполнены все условия теоремы 6.4 Лагранжа. В силу этой теоремы )(с) — ~(хо) =~'(и) (с — хо), (7.1) где $ — некоторое значение аргумента между с и хо. Поскольку производная г'(6) положительна (отрицательна) при х,<с и отрицательна (положительна) при хо)с, правая часть (7.1) положительна (отрицательна). 2) Пусть теперь производная 7"'(х) имеет один и тот же знак слева и справа от с. Обозначая, как и выше, через хо любое значение аргумента, отличное от с, и повторяя проведенные выше рассуждения, мы теперь докажем, что правая часть (7.1) имеет разные знаки при хо<с и при хо>с.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
