В.А. Ильин, Э.Г. Позняк - Основы математического анализа (DJVU) (1108889), страница 110
Текст из файла (страница 110)
Согласно указанной теореме для .:побой точки М из достаточно маюй е-окрестпости точки Ме па отрезке ЛХоМ найдется точка ЛХ такая, что справедлива формула ШМ) = ХХ(ЛХе) + р~(хь — хь) ~ 1И). (14.67) ь=л Заметим теперь, что поскольку точка Х лежит между точками Мо и ЛХ. а р — расстояпие между точками ЛХе и ЛХ, то р(Я, Мо) ( р, и потому из (14.66~) вытекает, что — 1Х) = о(рв). Подставляя последп1ою оценку в 114.67) и учитывая, что Л(ЛХо) = О, получим., что и ( ) (Х)~~ь а=1 1в Так как )хь — хт ( ( 2 1х; — тч)э = р. то окоп чагельпо полу1=1 чим, что Х11ЛХ) = о(Р' ). Ипдукция завершена.,'1емма 2 доказана.
Д о к а з а т е л ь с т в о т е о р е м ы 14.15* легко проводится с помощью лемм 1 и 2. В самом деле. выше уже отмечалось, что для доказательства теоремы 14.15* достаточно установить, что при выполнении условий этой теоремы для функции 114.60) справедлива оценка Лв.~ ~1ЛХ) = о1йл). В силу леммы 1 сама функция 114.60) и все ее частные п1юизводпые по л1обым переменным:г,1..гз„....
х„, до порядка н включи гельно обрап~влются в ну и, в точке ЛХо. Но тогда в силу леммы 2 для функции (14.60) справедлива оценка Лез 11М) = о(р"). Теорема 14.15* доказана. 'й 6. Локальный экстремум функции т, переменных 1. Понятие экстремума функции т переменных. Необходимые условия локального экстремума. Пусть функция ва перемеш1ых и = Х1ЛХ) = Х1хм хз,..., х.,„,) определеа а о па в пекоторой окрестности точки ЛХо1хм хз.., . х,в) пространства Е'", бз32 гл. сс эь нкцнн ннсколькнх пиинмннных Оиределентсе 1. Будем говорить.
что с«Эгстскцсся и = «(ЛХ) имеетвтпоскеМо локалг ньсй максимум (локальн ьс й .и и н и м у м), если найдется спакая б-окрестноспсь точки Ио, в пределах котпорот1 значение «'(ЛХо) являепсся ноибольтиилс (нпименьшим) среди всех значений «(М) энтой функции. Определение х. Будем говорить, чтпо функция и = «(ЛХ) имеепс в тоске Мо л о к и л ь н ы й э к с тп р е м у м. еслсс, она имеет, в этой спочеке. либо локальный максимум, либо локальтсьсй минимум. Установим пеобходимьсе условия локального экстремума функции и = «(И), обладшошей в данной точке ЛХсс частными производными первого порядка по всем переменным.
Докажеьс следующее у т в е р ж д е н и е: если функция о а и = «'(ЛХ) = «'(тс, ха,..., хтв) пбладатп в пспчке Мо(хс, сгг., .. о ...,х„п) чохтпиеыми просыводнылмс, первого порядкп тсо всели переметшым хс, хз,., ., стоп и имела в отпой точке локальный экстремум. то все "састтньсе производные тсервого тсорядка обрасцаютпся в пючке Мо в нуль, т,. е. стсуаведгсссвьс Этавентпва: — (ЛХо) = Π—., (ЛХо) = О., -,, (Мо) = О (14 68) Д о к аз а т е л ь с т в о. Установим справедливость первого равенства (14,68). Фнксируеьт у функции и = «(хс, хг,..., х„п) аргументы хть хз...., хт, положив их равными соответствукь о а щим координатам точки Л1о, т. е.
положив хо = сев., хз = сев, ... о о хсо хпс . П1)и этом мы полу сим с)п ссксси!0 и «(х с ссг о ...,хп,) одной перемешюй хс. Производная этой функции ода ной переменной в точке хс =.тс совпадает с частной производной дхс тасс как функция пс пс1зсмепссых и = «(М) имеет локалысый экстремум в точке ЛХо, то указанная функция одной перемена ной и = «(гссхг,....сгт) имеет локальной экстремум в точке хс =сгс, и поэтому (в сносу результатов п.
2 с) 7 гл. 8) производная этой функции одной переменной в точке хс = сес, совпадающая дсс с частной произвотной —,(Ио), равна пулсо. йгс Первое равенство (14.68) доказано. Остальные равенства (14.68) доказывасотся аналогично. Подчеркнем, что равенства (14.68) (т. е. обращение в пуль в данной точке Ио всех частных производных первого порядка) являются липп необходимыми и не являются достаточными условиями локального экстремума функции и = «(М) в точке сосо. локальный экстгпмим 533 дсс~ ъс„= с)ЛХо) дх с +, ' (сссХо) дст:г +... +, (ЛХо) дхссс, то из равенств (14.68) вытекает, что ири любых дх) „дхг,..., дх,в справедливо рави)ство ди/ла) — — О.
2. Достаточные условии локального экстремума. При формулировке достаточных ус,ювий .,юкальпого экстремума функции нс перемеапых и = ДЛХ) важную роль будет играть второй дифференциал этой функции в обследуемой точке ЛХо. В п. 2 3 5 этой главы мы убедились в том. что для с:тучая, когда ар) умсвгы:гс, хг,..., хи, два раза дифференцируемой функции сс, = Х(хттдгг,... „се,„) )тали)отса лссоо стезввисимыми пе1кв ъачшыми, либо листе)с)сьсхссс функциями некоторых независимых перемеппых, второй дифферспшсал этой функции в данной точке ЛХо представляет собой квадратичную форму отпосительпо дифференциалов аргументов санхо),сдхг,...,с)х,в с"телующего вида; вс св с1 сс.~зс„= ~> ~ ись сХх; Йхсв г, с=т ь=т (14.69) где с)сь = иьг = .
УХО). д и дх, дхс (14.70) Наттриьсер, у функции двух переменных и, = стцтс обе частные дл ди производпыс —, и — обращаются в нуль в точке ЛХо(0.0), ио ди ду пикакого экстремума в этой точке Мо(0,0) указзштая функция пе имеет, ибо эта функция и =. ху равна пулю в самой точке ЛХо(0., О), а в как угодно малой о-окресттностти этой то'тки прииимает как положительные, так и отрицательные значения, Точки, в которых обращаются в пу.,сь все частные производш те первого порядка функции и = Х(ЛХ)., пазываются т о ч к ими возможпого экстремума эсойфункции.
В каждой точке возможного экс трех)ума у функции и, = Х(М) могкет быть локальный экстремум, одпако наличие этого экстремума можпо установить лишь с помощью,)остаточных условий локального экстремума, выясвепик) которых будет посвящшт след)нос)тай пу тткт. Из доказанпого вы)не утверждения вытекает и другая форма необходимых условий локального экстремума: если сХ)уннцссл и — )(ЛХ) дсссХЛ1)ерсснцссрдеми в и)вине ЛХо и изсесессс в >ссиис сионист локально)и, вне)врез)ум, твв дссффс)рссн; циил.
с)а)~ми эттсвб сХ)утснцсссс в стсоике Мо ривеп нулю тоисс)дестветто относительно дс)Янрессциигсс)в незивисимых иеременных Йхзт. дог,..., дх,„,. В самом деле, поскольку о84 Г:1. 11 Эт ПКПИИ НИСКОЛЬКНХ ПИРИМКННЫХ Для фслрм)оплрслвклл достаточных условий локального экстрсл— мума нам понадобятся некоторые сведения нз теории квадратичных форм, которые мы для удобства читателя приводим ниже ).
Квадратичная форма относительно переменных 6.1, 62, ... ; 6т т т Ф(61, 62...., 6„п) = ~~с ~~с а,с.йлйь (14. 71) яазывается п о л о ж и т е л ь н о о и р е д е л е и н о й (отрицательно определенной), еглидля любых значений 61, 62.. 6п,, одновременно не равных нулю, эта форма принимает строго псьтожительньле (строго отрицательные) зпа сепия Квадратичная 111ормгл (14.71) лгазывается з п а к о о п р е д ел е н н о й, если она является либо пололсительно определенной, либо отрицательно определеннолл. Квадратичная форма (14.71) называется з н а к о и е р ем е н н о й, если она припп:чает как строго положительные, так и строго отрицательные зна гения. Квесдрати*план форма (14.71) ~аз~~ае~с~ к в а з и з н а к оо и р е д е л с н н ой, если она принимает либо тольлсо неотрицательные..плбо только неположительные значения,но при этом обращается в нуль для значений 61. 62, ..., 6по одновременно не равных нулю.
Сформулируем так называемый «сритслйппй Спльслеспс)т знакоопределенностн квадратичной формы ). Назовем .мапцлпссе11 каас)7лапспчпос1 форлсьс (14.71) следуюплунл матрицу: сп1 а12 а1т с121 а22 ... 122т (14. 72) Слгвл Слт2 ° ° Сгтп~ Если все элементы матрицы А удовлетворянлт условию агй = алл (1 = — 1, 2,..., ПС4 6 = 1, 2,..., ЛГ1), ГО уКаэалщая Матраца называется с: и м м е т р и ч н о й. 1с гс Вс:е приводимые здегь определения и узвержденпя можно найзи, например, в книге: Ильин В.А.. Позняк Э.П Линейная алгебра. — Хлл Наука, 1978.
") Дж. Сильвестр — английский математик (1814-1897). локальный нкстнимьм 535 Нааствеьт ! л а в н ы и и ь! и н о р а 31 и снмхютри !ной матрицы (14.72) следуюн!ие определители: йт! й12 ас;! й21 й22 й23 тс31 сл32 тс33 а!! й!2 2 ал ! агг Ас =а!,, и! 1 а12 ° ° СЛ1т а21 а22 ... агт Атсс = ат! Ссасг ' ' ' асили Критерии С!тл!ьвесттртт фстрь!улируетси в виде сь!ад!кинах двух утверждений: 1'. Для итого чпсобьс, квйд?инни'исая форми (14.71) с силслстнйртнисст .мапйтцсй (14.72) являлась тсолкистлпсстльтсо сирс!деленной, необходтсмо и доспситочтсо. чпсобьс все глйатаые ми!сары матрицы (14.72) бьсли ттолоьчтсспселтсы, т. е, 'пйобьс были стс)хлввдливы нероьвенстна А1) О, Аг ) О, ..., Ап, ) О. 2'.
Для, того чтобы каидралттчтсая форма (14.71) с симмет,— рссчтсой матрицсй (14.72) явтлялась опсрицительссо определенной, тсеобходимо и дослсйсйочтсо, чтнобы зтсикп глав!!ах миноров митртлцы (14.72) чередовались, пртсчем зтсик А! бьсл отйрицаснслен, т,. е. 'пнобы бьыя, стс)лссведлтлвьс не?хсвеистнй Ас <О; Аг>0 Аз<0; А!>О, Тенстрь мы подготовлены к тому, чтобы сформулировать и доказать теорему, устанавливаюшукс достаточные ус!повии локального вист))емума. Теорема 14.16. Пуспсь фуиьция т, тсерелстсиые и = Х(л)Х) = ф(тс, х2,..., х„ь) один раз д!лфффферетсцтл?стрел!а, в тсекопсорой о о с отресансости точки ЛХа(хс, хг,....
хи) и два риза, дифференцируема в самой точке ЛХа. Пус!тнтч кроме тпого, т!!очка ЛХа являет; ся тйо'чкой возлахлтнииго экстремума, футскцьис и = ф(М)„ттс. е. дтл(чть = О. Тогда, если тиарой даффе)теисцнал (14.69)т (14.70) тсрттдспсссвляетсс собой, полозы!тселлисо определсиисун! (отйрьилитнельно а!Оседав!гипсу!о) кссслд?тссттстс~стсуто фтл)сму слтн псс?темесстаыа! дхт, Йхт...., дхи,. псо функция тл = Х(М) тс.,с!ест в точь е Мв ,ссоксласьтсьстй лс!стс!смум (линк!льный лсйкснлц)м). Балт! отсе в!по?сои днфференптлал (14.69), (14.?0) представляет с!обой знакоперемтс ную каадрапначнуто форму, та футскцпя и = Х (М) ссе тл лсстслттс локального зкстрелсуми в точке ЛХв.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
