Билеты (версия для шпор), страница 7
Описание файла
Документ из архива "Билеты (версия для шпор)", который расположен в категории "". Всё это находится в предмете "математический анализ" из 1 семестр, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Онлайн просмотр документа "Билеты (версия для шпор)"
Текст 7 страницы из документа "Билеты (версия для шпор)"
25. Формула Тейлора с остаточным членом в форме Пеано. Т. Пусть п ≥ 1 ‒ целое число, u = f (М) = f (х1, ..., хт) задана и (п ‒ 1) раз диф‒ма в ε‒окрестности М0 (х1°, ..., хт°) и п раз диф‒ма в М0. Тогда для точки М из ε ‒ окрестности М0 :
где ρ ‒ расстояние ρ (М0, М), о (ρn) ‒ бесконечно малая при ρ →0 (при М → М0) ф‒я более высокого порядка малости, чем ρn. З. В более подробной записи:
В правой части (2) ‒ сумма многочлена степени п от т переменных х1, ..., хт и остаточного члена о (ρn). Обозначим:
Теорема будет доказана, если установить, что при выполнении условий теоремы Rn+1(М) = о (ρn) . Л1. Если f (М) = f (х1, ..., хт) п раз диф-ма в М0 (х1°, ..., хт°), то как сама ф-я Rn+1(М), определяемая равенством (3), так и все ее частные производные по переменным х1, ..., хт до порядка п включительно обращаются в 0 в точке М0. Док‒во. При п = 1 функция (3) :
и R2 (М0) = 0, (М0) = 0 (i = 1, ..., т) проверяются элементарно. Далее по индукции. Пусть лемма справедлива для некоторого п ≥ 1. Пусть f (М) (п + 1) раз диф-ма в точке М0 и
Rn+2 (М0) = 0, т.к. в (4) каждая (хi - хi° ) = 0 в точке М0. Надо доказать, что для i = 1, ..., т ф-я (М) и все ее частные производные до п включительно обращаются в 0 в М0, для этого в силу индуктивного предположения достаточно доказать, что (М) определяется равенством типа (3):
Т.к. все хi (i = 1, ..., т) равноправны и входят в (4) симметрично, то достаточно доказать (5) для i = 1:
Из (4) => для док-ва (6) достаточно убедиться: для k = 1, .... п + 1 при фиксированных х2, х3, ..., хт
Т.к. при дифференцировании по х1 переменные х2, x3, ..., хт фиксированы, то величину
при дифференцировании по х1 можно рассматривать как постоянную. Т.к. символы , ..., используются для образования частных производных функции f в фиксированной М0, то при дифференцировании по х1 указанные символы также нужно рассматривать как постоянные величины => для док-ва (7) достаточно убедиться в справедливости равенства
Дифференцируя ф-ю по х1 как сложную и учитывая независимость от х1 символов D и , получим (8). Л2. Пусть R (М) = R (х1, ..., хт) ‒ функция, удовлетворяющая : 1) R (М) п раз дифференцируема в точке М0 (х1°, ..., хт°), 2) сама функция R(М) и все ее частные производные по из переменных х1, .... хт до порядка п включительно обращаются в 0 в точке М0. Тогда для функции R (М) справедлива оценка R (М) = о (ρn) (9) где ρ - расстояние ρ (М0, М). Док‒во. При п = 1 утверждение леммы вытекает из условия дифф-сти ф-и R(М) в М0 :
Учитывая, что R (М0) = 0, (М0) = 0 для k = 1, ..., m, получим: R(М) = о (ρ). Дальше по индукции. Пусть Л2 справедлива для некоторого п ≥ 1 и R(М) удовлетворяет требованиям Л2 для п +1 => (М ) удовлетворяет требованиям Л2 для n =>
Т.к. п ≥ 1, то п + 1 ≥ 2 и R(М), удовлетворяющая требованиям Л2 для п + 1, хотя бы 1 раз дифф-ма в окрестности М0 => выполнены условия разложения по формуле Тейлора с остаточным членом в форме Лагранжа для п = 0, т.е для М из достаточно малой ε ‒окрестности М0 на отрезке М0М Ǝ N :
N лежит между М0 и М и ρ = ρ (М0, М) => ρ (М0, N ) ≤ ρ => из (10) =>
Док‒во теоремы. В силу Л1 сама функция (3) и все ее частные производные по переменным х1, ..., хт до порядка п включительно обращаются в 0 в точке М0. Но тогда в силу Л2 для функции (3) справедлива оценка Rn+1(М) = о (ρn). | 26. Экстремум функции нескольких переменных. и = f (М) определена в некоторой окрестности М0 (х1°, ..., хт°) пр‒ва Е т. О1. Ф‒я и = f (М) имеет в М0 локальный максимум (минимум), если Ǝ ε ‒ окрестность М0, в пределах которой значение f (М0) является наибольшим (наименьшим) среди всех значений ф‒и. О2. Ф‒я и = f (М) имеет в М0 локальный экстремум, если она имеет в М0 либо локальный максимум, либо локальный минимум. У1 (необходимое условие экстремума). Если и = f (М) обладает в М0 (х1°, ..., хт°) частными производными 1‒го порядка по всем х1, ..., хт и имеет в М0 локальный экстремум, то:
Док‒во. У f (х1, ..., хт) зафиксировать: х2 = x2°, ..., хm = xm° => получим ф‒ю 1 переменной х1. Ее производная в х1 = x1° совпадает с (М0). Т.к. функция т переменных имеет локальный экстремум в М0, то ф‒я 1 переменной имеет локальной экстремум в х1 = x1° => ее производная в этой точке =0. Остальные равенства аналогично. У1*. Если и = f (М) дифф‒ма в М0 и имеет в М0 локальный экстремум, то дифференциал dи|M0 ≡ 0 относительно дифференциалов независимых переменных dx1, …, dxm . (т.к.
то из (1) => при dx1, …, dxm справедливо dи|M0 = 0). Если х1, .... хт 2 раза дифф‒мой ф‒и ‒ независимые переменные или линейные ф‒и некоторых независимых переменных, то 2‒ой дифференциал этой ф‒и в данной М0 является квадратичной формой относительно дифференциалов аргументов dx1, …, dxm :
Т(достаточные условия локального экстремума). Пусть функция и = f (М) = f (х1, ..., хт) 1 раз дифф‒ма в некоторой окрестности М0 (х1°, ..., хт°) и 2 раза дифф-ма в самой М0. Пусть М0 ‒ точка возможного экстремума, т. е. = 0. Тогда, если 2‒й дифференциал (2) является положительно (отрицательно) определенной КФ от переменных dx1, …, dxm , то и = f (М) имеет в М0 локальный минимум (максимум). Если 2‒й дифф-ал (2) ‒ знакопере‒менная КФ, то и = f (М) не имеет локального экстремума в М0. Док‒во. 1) Пусть 2‒й дифференциал (2) ‒ положительно определенная КФ от dx1, …, dxm. Разложим и = f (М) в окрестности М0 по формуле Тейлора с остаточным членом в форме Пеано при п = 2
где dxk = хk ‒ xk° в выражения для и , а ρ :
М0 ‒ точка возможного экстремума => = 0 => полагая в (2) dxk = хk ‒ xk°, (3) примет вид:
Если для малых ρ правая часть (5) > 0, то в малой окрестности М0 : f (М) ‒ f (М0) > 0 => и = f (М) имеет в М0 локальный минимум. Пусть hi = (хk ‒ xk°) / ρ , i = 1, ..., т => из (4) : | hi | ≤ 1, h12 +…+ hm2 = 1 (6) (5) можно переписать:
КФ Ф = ‒ функция, определенная и непрерывная на поверхности единичной сферы (6), являющейся замкнутым и ограни‒ченным мн‒вом. По 2‒й Т Вейерштрасса эта ф‒я достигает на этом мн‒ве своей ТНГ μ, и из положительной определенности КФ Ф и из того, что h1, ..., hт, удовлетворяющие (6), ≠ 0 одновременно => ТНГ μ>0 Т.к. бесконечно малая при ρ → 0 функция α (ρ) при всех малых ρ : | α (ρ) | < μ, то вся правая часть (5) > 0 при этих ρ, т. е. при всех М, достаточно близких к М0 => и = f (М) имеет в М0 локальный минимум. 2) Доп. св‒во: если КФ Ф (h1, ..., hт) = знакопере‒менна, то Ǝ 2 совокупности переменных (h1', ..., hт' ) и (h1'', ..., hт'' ):
причем , (8) Из определения знакопеременной КФ => Ǝ 2 совокупности (t1', ..., tт' ) и (t1'', ..., tт''), состоящие из чисел, одновременно ≠ 0, и такие, что , . Положив
и учитывая, что из определения КФ =>
получим неравенства (8), из (9) => (7). Доп. свойство доказано. Зафиксируем 2 совокупности (h1', ..., hт' ) и (h1'', ..., hт'' ), удовлетво‒ряющие (7) и (8), и докажем, что для ρ > 0 найдутся М' (x1', ..., xт' ) и М" (x1'', ..., xт'' ) пр‒ва Е т : ρ (М', М0) = ρ (М", М0) = ρ, причем
Положив для ρ > 0 и для всех i : удовлетворим соотношениям (10), причем в силу (7) справедливы:
Беря в точках М' и М" для и = f (М) разложение в окрестности М0 по формуле Тейлора с остаточным членом в форме Пеано, получим вместо (5) разложения, справедливые для всех достаточно малых ρ > 0:
Для точки М" все ан‒но. Учитывая (8) и что , не зависят от ρ и ρ (М', М0)= ρ (М", М0) = ρ, получим из (11), что для как угодно малого ρ >0 : f (М ') > f (М0) и f (М") < f (М0) => отсутствие экстремума в М0. З. Требование ≥ 0 ( ≤ 0) является необходимым условием локального минимума (максимума) в М0 дважды дифференцируемой в этой точке ф‒и и = f (М). Пусть f (М) имеет в М0 локальный минимум, но условие ≥ 0 не выполнено => Ǝ h1, .... hт :
Функция F (t) = f (x1° + th1, …, xm° + thm), определенная при всех t, достаточно малых по модулю, обязана иметь локальный минимум в точке t = 0, чему противоречит < 0 Утверждение. Пусть ф‒я двух переменных и = f (х, у) 1 раз дифф‒ма в окрестности М0 (х°, у°) и 2 раза дифф‒ма в самой М0 и пусть М0 ‒ точка возможного экстремума. Тогда, если в М0 выполнено условие а11а22 ‒ a212 > 0, то и = f (х, у) имеет в М0 локальный экстремум (максимум при а11 < 0 и минимум при а11 > 0). Если а11а22 ‒ a212 < 0 в М0 , то и = f (х, у) не имеет в М0 локального экстремума. | 27. Теорема о существовании и дифф-сти неявно заданной ф-и. Если переменная и является по смыслу задачи ф‒ей аргументов х, у, ..., но задается уравнением F (и, х, у, ...) = 0, то ф-я и задана неявно. R ‒ пр‒во переменных (и, х, у, ...), R' ‒ пр‒во переменных (х, у, ...) Т. Пусть F (и, х, у) дифф‒ма в некоторой окрестности М0 (и°, х°, у°) R, причем непрерывна в М0. Тогда, если в М0 ф‒я F обращается в 0, а не обращается в 0, то для достаточно малого ε > 0 Ǝ такая окрестность М '0 (х°, у°) R', что в пределах этой окрестности Ǝ ! ф‒я и = φ (х, у), которая удовлетворяет | и ‒ и° | < ε и является решением уравнения F (и, х, у, ...) = 0, (1) причем и = φ (х, у) непрерывна и дифф‒ма в этой окрестности М '0. Док‒во. 1. Докажем, что для достаточно малого ε > 0 в окрестности М '0 (х°, у°) Ǝ ! и = φ (х, у), удовлетворяющая | и ‒ и° | < ε и являющаяся решением (1). Уравнение (1) определяет в R некоторую поверхность S. F (М0) = 0 => М0 S. Геометрически однозначная разрешимость (1) относительно и : часть S, близкая к М0, однозначно проектируется на Оху. Пусть > 0 в М0 => из непрерывности в М0 и из теоремы об устойчивости знака непрерывной ф‒и => Ǝ окрестность М0 , в пределах которой > 0 . Пусть эта окрестность ‒ шар Ω достаточно малого радиуса с центром в М0. Фиксируем ε > 0 столь малым, чтобы М1 (и° ‒ ε, х°, у°) и М2 (и°+ ε, х°, у°) были внутри Ω. Рассмотрим F (и, х°, у°) переменной и на [и° ‒ ε, и° + ε]. Геометрически: рассматриваем ф‒ю 3 переменных F (и, х, у) вдоль отрезка М1М2 . Т.к. (и, х°, у°) > 0 на [и° ‒ ε, и° + ε], то F (и, х°, у°) возрастает на этом сегменте => т.к. F = 0 при и = и° , то F (M1) < 0, F (M2) > 0. Рассмотрим F (и° ‒ ε, х, у) и F (и° + ε, х, у) 2 переменных х и у (ф‒ю F (и, х, у) на 2 плоскостях, параллельных Оху, 1‒я проходит через М1, а 2‒я ‒ через М2). F (M1) < 0, F (M2) > 0 и F (и, х, у) непре‒рывна всюду в шаре Ω, то по Т об устойчивости знака непрерывной ф‒и на этих плоскостях Ǝ окрестности М1 и М2, в пределах которых F сохраняет те же знаки, что и в М1 и М2. Эти окрестности взять в виде открытых квадратов с центрами в М1 и М2 и с малой стороной 2δ.
Возьмем δ столь малым, чтобы оба квадрата лежали внутри Ω => точка пр‒ва (и, х, у) c координатами:
будет лежать внутри Ω. Геометрически (3) ‒ открытый прямоугольный параллелепипед П с центром в М0 со сторонами = 2ε, 2δ и 2δ и параллельными осям координат и, х, у. Т.к. П лежит внутри Ω, то всюду в П: > 0. Из (2) => F (и, х, у) < 0 на нижнем основании П и F (и, х, у) > 0 ‒ на верхнем. Докажем, что (1) однозначно разрешимо относительно и, если F (и, х, у) рассматривать лишь для значений и, х, у, лежащих внутри П. Пусть М ' (х, у) ‒ точка R', координаты которой удовлетворяют (4) => М ' (х, у) лежит внутри квадрата с центром в М '0 (х°, у°) и со сторо‒нами 2δ. Надо доказать, что для координат х, у точки М' Ǝ ! число и из [и° ‒ ε, и° + ε]: F (и, х, у ) = 0. (Геометрически: прямая, парал‒лельная оси и и пересекающая П, пересекает S внутри П в только 1 раз.) Зафиксировав х и у, удовлетворяющие (4), рассмотрим F (и, х, у) аргу‒мента и на [и° ‒ ε, и° + ε], т. е. ф‒ю F (и, х, у) на отрезке М '1 М '2, где М '1 и М '2 ‒точки пересечения прямой, проходящей через М ' (х, у) и па‒раллельной Оu, с основаниями П. (и, х, у) > 0 на [и°‒ ε, и°+ ε], => F (и, х, у) возрастает на этом сегменте (на отрезке М '1 М '2) => из F (M '1) < 0, F (M '2) > 0 => внутри [и° ‒ ε, и° + ε] Ǝ 1 значение и : F (и, х, у ) = 0 (внутри отрезка М '1 М '2 Ǝ ! точка М S.) Пусть и = φ (х, у) символизирует то правило, посредством которого каждой М ' (х, у) из окрестности (4) ставится в соответствие единствен‒ное число и из [и° ‒ ε, и° + ε], для которого F (и, х, у ) = 0 => в окрестности (4) Ǝ ! ф‒я и = φ (х, у), удовлетворяющая | и ‒ и° | < ε и являющаяся решением (1). 2. Докажем, что и = φ (х, у) непрерывна в М ' (х, у) окрестности (4). Т.к. для М ' (х, у) из окрестности (4) выполнены те же условия, что и для М '0 (х°, у°) (т.е. точке М ' (х, у) из окрестности (4) соответствует М (и, х, у) R : F (и, х, у ) = 0 в М, дифф‒ма в некоторой окрестности М и имеет в этой окрестности ≠0 частную производную), то достаточно доказать непрерывность и = φ (х, у) лишь в М '0 (х°, у°). Надо доказать, что для ε > 0 Ǝ δ > 0 : для х и у, удовлетворяющих (4), справедливо | и ‒ и° | < ε, где и = φ (х, у), и° = φ (х°, у°). Если взять в качестве ε то число, которое выбрано при рассмотрении п. 1, то суще‒ствование δ обеспечивается неравенствами (3). В рассуждениях п. 1 ε > 0 можно взять как угодно малым => непрерывность и = φ (х, у) . Условие непрерывности и = φ (х, у) в М '0 (х°, у°) в разностной форме : Δu → 0 при Δх → 0 и Δy → 0. 3. Докажем дифф‒сть и = φ (х, у) в М ' (х, у) окрестности (4). В силу замечания из п. 2 достаточно доказать дифф‒сть в М '0 (х°, у°). Т.к. F (u°, х°, у°) = 0 и F (u°+ Δu, х°+ Δх, у°+ Δy) = 0, то полное приращение ΔF функции F (и, х, у) в точке М0 (u°, х°, у°) соответству‒ющее приращениям аргументов Δu, Δх и Δy, равно 0. Но из дифф‒сти F (и, х, у) в точке М0 (u°, х°, у°) :
, и берутся в М0 (u°, х°, у°), α, β и γ → 0 при Δu → 0, Δх → 0 и Δy→0 Из разностной формы условия непрерывности и = φ (х, у) в М '0 (х°, у°) : Δu → 0 при Δх → 0 и Δy → 0 => из Δх → 0 и Δy → 0 => α, β и γ → 0. По условию теоремы ≠ 0 в М0. Т.к. γ → 0 при Δх → 0 и Δy → 0, то при достаточно малых Δх и Δy выражение не обращается в 0 => (5) можно на него поделить :
По теореме о предельном значении частного двух функций :
где μ и ν→ 0 при Δх → 0 и Δy → 0. Из (6) и (7) =>
(8) доказывает дифф‒сть и = φ (х, у) в М'0 (х°, у°). | 28. Теорема о разрешимости системы функциональных ур-ний. Пусть т функций
ищутся как решение системы т функциональных уравнений
Решение системы (2) ‒ это совокупность т ф‒й (1) таких, что при их подстановке в (2) все уравнения системы обращаются в тождества. Это решение называется непрерывным и дифф‒мым в области D изменения х1, ..., хп, если каждая из ф‒й (2) непрерывна и дифф‒ма в D. R ‒ пр‒во (т + п) переменных и1, ..., ит, х1, ..., хп, R' ‒ пр‒во п переменных х1, ..., хп. Из частных производных функций F1, …, Fm составим определитель Якоби (якобиан) :
Т. Пусть т функций
дифф‒мы в некоторой окрестности М0 (и1°, ..., ит°, х1°, ..., хп°) R, причем их частные производные по и1, ..., ит непрерывны в М0. Тогда, если в М0 все ф‒и (4) = 0, а якобиан ≠ 0, то для достаточно малых ε1 > 0, ..., εт > 0 Ǝ окрестность М '0 (х1°, ..., хп°) R', что в пределах этой окрестности Ǝ ! т функций (1), которые удовлетворяют условиям | и1 ‒ и1° | < ε1, …, | иm ‒ иm° | < εm и являются решением системы (2), причем это решение непрерывно и дифф‒мо в указанной окрестности М '0. Док‒во. По индукции. При т = 1 это теорема о существовании и дифф‒сти неявно заданной ф‒и. Пусть теорема справедлива для системы т ‒ 1 уравнений, докажем для системы т уравнений. Т.к.
≠ 0 в М0, то хотя бы 1 из его миноров (т ‒ 1)‒го порядка ≠ 0 в М0, например, минор, стоящий в левом верхнем углу => по предполо‒жению индукции, первые т ‒ 1 уравнений (2) разрешимы относи‒тельно и1, ..., ит‒1 => для малых ε1 > 0, ..., εт > 0 Ǝ такая окрестность М''0 (ит°, х1°, ..., хп°) пр‒ва R'' переменных (ит, х1, ..., хп), что в пределах этой окрестности определены т ‒ 1 функций
которые | и1 ‒ и1° | < ε1, …, | иm‒1 ‒ иm‒1° | < εm‒1 и являются единственным непрерывным и дифф‒мым решением системы первых т ‒ 1 уравнений (2). Подставим (4) в левую часть последнего уравнения из (2) => она превращается в функцию Ψ, зависящую только от ит, х1, ..., хп
Т.о., последнее из уравнений (2) приводит к уравнению
В силу (5) Ψ (ит, х1 ..., хп) ‒ сложная ф‒я своих аргументов => по теореме о дифф‒сти сложной ф‒и, Ψ (ит, х1 ..., хп) дифф‒ма в некоторой окрестности М0'' (ит°, х1°, ..., хп°) R". Из (5) и последнего из уравнений (2) => Ψ (ит°, х1°, ..., хп°) = 0 => чтобы доказать, что к (6) применима теорема о существовании и дифф‒сти неявно заданной ф‒и и это уравнение разрешимо относительно ит , достаточно установить, что ≠ 0 и непрерывна в М0''. Под‒ставим в 1-ые т ‒ 1 уравнений (2) ф‒ии (4) и продифф‒ем по ит :
………………………………………………….
Продифф‒ем (5) по ит :
Умножим (71) ‒ (7т) на соответствующие алгебраические дополне‒ния Δ1, .... Δm элементов последнего столбца якобиана (3) и сложим
Т.к. сумма произведений эл‒тов данного столбца определителя на соотв‒щие алгебраические дополнения элементов этого (другого) столбца = определителю (0), то каждая [ ] = 0, а ( )= якобиану (3) =>
Δ ‒ якобиан (3), Δт ‒ алгебраическое дополнение последнего элемента последнего столбца, которое совпадает с левым верхним минором и, по предположению, ≠ 0 в М0. Поделим (8) на Δm :
Формула (9), справедливая в М0'', доказывает непрерывность в М0'', т.к Δ и Δm состоят из частных производных функций (4) по и1, ..., ит , непрерывных в М0. Из (9) => ≠ 0 в М0'' (т.к. Δ ≠ 0 в М0). Т.о., к (6) можно применить теорему о существовании и дифф‒сти неявно заданной ф‒и: для дост-но малого εт > 0 Ǝ окрестность М'0 (х1°, ..., хп°) R', что всюду в ее пределах определена ф‒я
которая удовлетворяет | иm ‒ иm° | < εm и является единственным непрерывным и дифф‒мым решением уравнения (6). Имея в виду, что ф‒и (4) являются решениями первых т ‒ 1 уравнений (2) при ит, х1 ..., хп из окрестности М0'', и вставляя (10) в (4), получим функции, зависящие только от х1, ..., хп:
По теореме о дифф‒сти сложной функции каждая из φ1, ..., φm‒1 дифф‒ма в окрестности М '0 (х1°, ..., хп°). Т.о., доказано: т функций
удовлетворяют в окрестности М '0 условиям | и1 ‒ и1° | < ε1, …, | иm ‒ иm° | < εm и являются при наличии этих условий единственным непрерывным и дифф‒мым в некоторой окрестности М '0 (х1°, ..., хп°) решением системы (2). Осталось доказать, что функции (11) являются единственным решением системы (2). Пусть кроме ф‒й (11), существуют еще т функций
также являющихся решением системы (2) и удовлетворяющих | 1 ‒ и1° | < ε1, …, | m ‒ иm° | < εm . Тогда, в силу предположения индукции, первые (т ‒ 1) функций (11) являются при заданном ит = т единственным и дифференцируемым решением системы первых (т ‒ 1) уравнений (2). Но при заданном ит единственное решение системы первых (т ‒ 1) уравнений (2) дается равенствами (4). Т.о., справедливы
где Ф1, ..., Фт‒1 ‒ те же функции, что и (4) => из последнего уравнения (2) и соотношения (5) => т ‒ единственное решение уравнения (6), т. е. т = ит => из (4') и (4) => 1 = и1, ..., т‒1 = ит‒1. |