Ильин_ Позняк - Основы математичемкого анализа. Часть 1 (1111798), страница 109
Текст из файла (страница 109)
Лх>с>) была, и Раз дссффауанЦиРУглсой в !почка 0 0 0 Мо[х!.хг,...,<гп,), достипгочно, чтс>бы вса сс частные производные и-гс> порядки бьсли непрерывными в точка ЛХо. Справедливость э~ого у тве(»кдс.ни>1 выт<!к!1<гт и;! О<и>ед<!ленин диффсц>енцируемос:ти функции и теоремы 14.10 о достаточных условиях дифференцируемости.
Теорема 11.13. Пусть функц<ся, и = ф(х,у) двиэюды д<сффаранц<срусми в точка Мо(хо, уо). Тогда в этой точка частньгс (2(,(2) >11>с>извс>днма („и фу„, равны.. Д о к а ! а т е л ь с т в о. Так как функция и = 1(х., у) дважды дифференцируема в точке ЛХо[.хо. Уо), то частные производные Д и ~„' определены в некоторой окрестности точки Мо и представляют собой дифференцирус>х!ые функции в этой точи<!. Рас>сх!о П>им вг 0>ажение Ф = У [хо + 6: Уо + 6) — Х [!со + 6, Уо) — ф [!хо, Уо + 6) + Х [и>о, Уо): (14.38) где 6 "любое столь ма:п>е число, !то точка ЛХ(х>о+ 6,, уо+ 6) на:<одится в указанной окрес!нос! и го тки Мо. Выражение Ф можно рассматривать как нрпр«с«ение С'.<<С> =- <р(<хе + 6) — <С>(хО) диффер<гнцируемой на сегменте [схо„хо+6) функции <р[х) = Х(х> уо+ + И,) — Х (х, уо) олнои переменной;г.
Поэтому по формуле Пагранжа. обозна !ая через д некоторое число из интервала () ( д ( 1, 17* 616 ФУНКНИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ Г:!. 1! можем записать Ф = яс» = р'(хо+ 021) >1 = [«г(хо+ 06; уо+ 6) — «, (хо+ О!И уо)]11 = =- О>(>о+06;Уо+6) — «>(>о Уо)] — [«>(хо+0»,уо) — «,'(хо,уо)])6. (14.39) Так как частная производная «, является дифференцируекшй в тОчкР ЛХО !]>упкцией, то [«,.,,'(хо + 06: Уо + )1) — «'.(хо: Уо)] = = «х>~(хо, Уо)06+ «х~(хоц!2о)11+ О>0» + А»: [«г(х>о + О»,:Уо) «я(хо Уо)] «хк (хо: Уо)06-1- О20>1 где г>1, >01 и оя бесконечно малые прп 6 — > О функции.
ПодстаВляя найдРнныР Выра>кРни51 для [«,'(:го + 06; Уо + )1) —,1'в(:1:о. Уо)] и [Д(хо + 06., уо) — Д(хо; уо)] в формулу (14.39), получим Ф = [«ф(хо:уо) +о]6; (14.40) где о = О>0+ >О! — ОВО бесконечно мец>ая при 6 — > 0 функция. С другой стороны. выражение Ф, определяемое (14.38), ъ!ожно РассматуиВЯть как НРИРЯ1цение .'ЦР = !)>(Уо + 6) — !!>(Уо) Лиф!]>еренцируеъи>й на сегменте [УО,УО+ 6] функции 1(>(у) = «(хО + +6, у) — «(хо, у).
Применяя формулу Пагранжа и учитывая дифференцируемость частной производной «,', в точке ЛХо, мы получим совершенно аналогично предыдущему следун>щее выражение для Ф: Ф = [«©„) (51:о., уо) т Я4> ., (14.41) где Д бесконечно малая при 6 — > 0 функция, Приравнивая правые части соотношений (14.40) и (14.41) и сокращая обе части полученно>-о равенства на 6, найдем. >то «го (хо, уо) + с! = 2 . - . .
. !2) ,. = «р, (хгв уо) +,3. Так кяк г> и >3 бесконечно мяльн; при 6 — > 0 фУнкцпи, го из поспеднего Равепствв с>п дУет. что «,, (хо. Уо) = (2) !я) = «,, (хо, уо). Теорема доказана. 3 а м е ч а н и е. Теорехш 14.13 утверждает, что в данной точке ЛХо(хо, уо) имеет место равенство «,„= «ог, если в этой (Я) !2! точке диффереицируемы «,'. и «,'. Из диффсренцируемо! ти «.', и В точке ЛХо Выт!>ка>г1' сущестВОВаниР В а!ПОЙ шочке нссх !астных производных второго порядка,. Однако равенство «,» 62) !'2) икгеет место и при у! чОВНН сущРстВОВяния >!ишь прОизВОдн1!х «ху и «~г, но при дополнительном требовании непрерывности (2) !2) 1 б П1'ОИЗВОДПЫЕ И ДИФФЕРЕНЦИАЛЫ ВЫСШИХ ПОРЯДКОВ 517 этих производных в рассматриваемой точке. Именно, справедливо (ледун>(ц(з('. Ттв(71>ждени(г.
Л77сть в неко(нора(1 окресппноспт, гггочк>г( Л>ХО(>7>О> (ХО) функцогх 'и — Х(х> *(7) г(меегп "(асгпньи'. 7(РО(гзе(гдг(ыс Хх, Ху, ~агу ., Хух . Пгдспггч (2) (2) кРоме того, 7(Хгогкзоодгеые ~ху и ~ух неиРсРьш|(ы, в точке МЕО. (2) (2) (2) (2) 'Холода в оо(ой точке Ххг = Хуо . Для доказательства восполгнуг моя выражс вием Ф., определенным соотношением (14.38). Из (14.39) вытекаег, 'гго Ф пре„(с>виляет собой умноженнуго на Ь разность значений функции ф (х, у) в точках (хо + фЬ, уо + Ь) и (хо Ф йЬ.уо) Применяя к гной разности формулу Лагранжа коне шых приращений по переменной у на сегменге ]уо, уо -(- Ь], полу'гим Ф = 7'(."„'(хо+у)г,ус+ д~)г)7>г, гт(е О < дг < 1. В силу непрерывности Х,„в кочке АХо(хо, уо), из последнего равенства понг л>"(аем Ф = ~Х;„'(хг>, уо) -г- о(7>) ~Ь, где н(7>) — > О при Ь вЂ” > О.
С другой стороны, эта >ке величина Ф представляет собой умноженную на Ь разность значений функции ф>(х, у) в точках (хо + Ь, уо -г- йгЬ) и (хо, Уо+д>7>). ПРименка к этой Разнос>и фоРмглУ ЛагРанжа конечных пРиращений по переменной х на г:егменге (хо, а'о-(-Ь] и учигывая неггрерывнг>сть (7! (цт в точке ЬХо(хо, уо), получим Ф = (7'я~, (хо, Уо) Ф Д(7>)1 7>, где д(Ь) — > О при Ь вЂ” > О. Приравнивая последние два выражения для Ф и рассуждая так же, как и в конце доказательства теоремы 14.13, мы убедимся в справедливосги нужно~о нам равенства Х,гг (хо,, уо) = Х„(то, уо). Докажем теперь теорему о независимости значения любой смешаяной гастной произвочной и-го порядка от порядка, в котором производятся последовательные диффере>щиров(шия.
Теорема 14.14. Пуслпь фупкипя и = 7(хг, хг,, х„,) и раз дифферснцпруема в елочке ЬХо(хг, х,.....г„,). 1огда в стоп глочкс влечение любой смегиаяной час>в>>ой производной п-ео порядка не зависпт от порядка, в котором производятся последовательные дпфферснцпрованпя.
Д о к а з а т е л ь с т и о. Очевидно, достагочно доказать независимость значения любой и-й г>ьгегггшшой производной от порядка проведения двух последовательных дифференцировааяй. Иными с>авами, достаточно доказать равенспю дхь, ...дхн,дхн...дхч дх,„...дх,„д:г,,, ...дх„' (14.42) бэ18 Г:1. 11 ЭУНКН14Н НКСКОЛЬКИХ НКРКМКННЫХ де†~ ь и 1 асс мотрим функцию . Эта функция представляет собой двадл,, ...дх, жды дифференцируемую функцию переменыык ха и хп э, . Поэтому, в силу теоремы 14.13, дьы длзь Отсюда и вытекает справедливость равенсэ ва (14.42). Теорема доказана.
Отметим. что в <илучае и, ргсз .1ифференцируемой в точке ЛХа функции и = 1'(х1, хэ,..., хю) ткэбукз ее част(сую производную п,-го порядка можно записать в виде д и де 'дх, е дх",„"' гДН о1,ов,...,енп Целые числа, Удовлетво1>ЯК~И1ие Утщовинм 0 ( сн ( пэ о1 + ая +...
+ еиа =. я. 2. Дифференциалы высших порядков. Выпи-. мы исполь:зовнли для обозначения дифференциалов аргументов функции и — ('(х1, хэ,...,х,л) и для обозначения дифферен- циала самой этой функции символы г(х1, с(хэ,...,г1хю и с1п со- ответственно. Теперь нам придется использовать ддя обозначения диф- ференциалов аргументов указанной функции и дифференциа- ла самой этой функции и другие символы.
В частности, мы будем обо погнать дифференциалы аргументов функппи и у (х1, хя,,, .. худ) и дифференциал самой этой функции симво- лами Лх1. Лхэ,..., Лхсп и би соответственно. В этих обозначениях ипвариынтнос по форхп1 выражение для первого диффереш1иала этой функции (14.20) (см. и. 5 8 4) будет иметь вид дв - да- ди би = —,. бх ~ + — б:гв +... + — Бхю. дс1 дхе дх,„, Возвращаясь к прежним обозначениям, рассмотрим выраже- ние (11.20) для первого дифференциала дифференцируетюй в даННОй ТОЧКЕ М(ХЫГя,....
Хп,) фуНКцИИ и. = 1(Х1, Ха,.... Хю): г)п = с1зн + с(ха+... + г)хп,. (14. 20) х~ хе х Предположим, гто величина, стоящая в правой части (14.20), представляет собой функция> аргументов х1,.га,,, ., хю, диффе- ренцируемузо в данной точке М(хыхз,....хю). Для этого до- статочно потребовать, чтобы функция и = 1"(х1.хя.,...хп,) бы- ла два 1эазы дне)к))е1)ен|н41зуемы в данноЙ то ~ке М(х ~ . хэ,.... хсл), а тргу;и'.Нты х1, ха,..., х„являлись лицо ти.зависимыми пе1зе- менными., либо два ра:за дифференцируемыми функциями неко- торых независимых переменных.
5 б ш оизводпык и диеекгкициллы высших погядков бИ Прп этих предположениях мы можем рассмотреть дифференциал )и б(ди) = б ~~) — "' дхь в — — ! от величины (14.20). Определение 1. 3~а'сснпс б(с)и) днффсренипили от гсес)ваго дифферснцаило, (14.20), взятое при бх! = дх), Бхз = дхг, ..., бх,, = дсспо назьсс)истс!я в т о р ы м сд и ф ф е р сс и; ц и а л о лл фйнкцсгсс, 11 =.- ф(х),хз,,.,,хт) (в данной точке М(х), хз,.... х„,)) и обсжничистся самос)лолл сМ и. Итак. Но определению ) )в ~(дсс) дх) = дх!.
~ ~д' дх дхи Лт! = дт) дх -дсе, я=! дт = дх.„, Лх,„= дх, Дифференциал дои ли)бого порядка и введем п о и н д у к- ц и и. Предположим, что уже введен дифференциал да и поряд- ка и, — 1 и что функция и = ф(;г),хз,...,хп,) и, раз лиффе- ренцируема в данной точке Ы(х!.ха,...,хои), а ее аргументы Х).Ха,...,Хп, ЯВЛЯН)тСЯ ЛНСИ) НЕЗаВИСИМЫМИ ПС!РЕМЕННЫМИ, ЛИ- бо и, раз дифференцируемыми функцпямн некоторых независи- МЫХ ПЕРЕМЕННЫХ 11, ХЗ...., Хсм Определение и. Зна !ение. б(дл !и) дифференциала от, (и.— — 1)-го диффс!ренциидси сУД и, взятое 1)ут Бх! = дх), бха = сьхз, ..., бх„, = дхпо низывистся п;лс д и ф ф е р с н- ц )л а л о м фюункцсссс, и = ф(х!.,хг,х„а) (в данной пючке ЛХ(сх), ха,...,х„„,)) и обозначаео!ея самса)лом д" и. Итак, пО Опредс!лени1О сКвп = Б(дв и) дх, л7,": дт: 6х„, = дх„, При вычислении второго и последующих дифференциалов приходит!'я гу1цс'.ствс!Нно ралли ат1* два случая: 1) случай, кс)- 1Да аР!тсмс нтъ1 сс 1, ха.., ., х)сс 1!Вл1!ютсис независизсыми пеиех1ен- НЫМИ; 2) СЛУЧай, КОГДа аРГУМЕНтЫ Х), ХЗ,..., Хто ЯВЛЯ1ОтСЯ СООт- ) Символ ( ~ с, -дю обозна)ает, что в выражении, заключенном в г= ) 4)игурные скобки, следует положить дх! .=.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
