FMP5 (957139)

Файл №957139 FMP5 (Теория по ФНП (определения, доказательства, формулы))FMP5 (957139)2013-09-28СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

50


2.9. Касательная плоскость и нормаль. Поверхности уровня

Определение 2.19. Гиперповерхность в пространстве - это множество точек, удовлетворяющих уравнению

, или (1)

, (1а)

где - числовая функция векторного аргумента.

Уже знакомые нам примеры гиперповерхностей - линейное многообразие ( -мерная гиперплоскость), задаваемое уравнением

, где

- постоянный вектор (вектор «нормали»), - вещественная константа; и гиперповерхность второго порядка, задаваемая уравнением (1) из п. 1.18.

Дальше, ради краткости, будем говорить, просто «поверхность», «плоскость», какова бы ни была размерность пространства.

Пусть точка принадлежит поверхности (1), и пусть функция непрерывно дифференцируема в некоторой окрестности этой точки.

Определение 2.20. Касательная плоскость к поверхности, задаваемой уравнением (1), в точке - это плоскость, проходящая через точку , нормалью к которой служит вектор градиента функции в данной точке.

Определение 2.21. Нормаль к поверхности (1) в точке - это прямая, проходящая через точку , направляющим вектором которой является вектор градиента функции в точке .

Из определений сразу следует, что касательная плоскость в точке задается уравнением:

(3)

а нормаль в точке может быть определена параметрическим уравнением

(4)

Уравнение (3) может быть переписано в координатной форме:

(5)

Параметрическое уравнение (4) прямой, как известно из курса аналитической геометрии, можно переписать в виде системы канонических уравнений:

(6)

При определенных условиях уравнение (1) определяет в некоторой окрестности точки неявную функцию

(7)

Тогда, если и выполнены все условия теоремы 2.6, уравнение (5) может быть преобразовано к виду

(8)

Коэффициенты в сумме, стоящей в правой части уравнения (8), являются ни чем иным, как производными функции (7) в точке . Тогда, переобозначая , запишем (8) в векторной форме:

, (9)

где

Уравнение (9) дает приращение «вдоль касательной»: его правая часть есть первый дифференциал неявной функции (7) в точке . Это позволяет нам понять геометрический смысл первого дифференциала: первый дифференциал функции в точке есть приращение, взятое вдоль касательной к поверхности, определяющей функцию, в данной точке.

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

Мы провели рассуждения для неявной функции, определенной уравнением (1). Если же функция вида (7) задана явно, то это частный случай рассмотренного, ибо тогда можно положить

,

и , а .

Заметим, что приведенное аналитическое определение касательной плоскости, в одномерном случае сводящееся к известному определению касательной к кривой на плоскости, допускает как раз в этом простейшем случае содержательную, «наивную» геометрическую мотивировку. Исходя из обычного «школьного» понимания производной как «предела отношения приращения функции к приращению аргумента при стремлении последнего к нулю» - , - мы получаем такую «картинку»: чем меньше приращение , тем ближе «секущая» подходит к «касательной» (см. рис. 2.12), где касательная понимается «наивно геометрически» (как касательная к окружности в школьной геометрии).




Рис. 2.11

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

Поверхности уровня

Определение 2.22. Поверхностью уровня числовой функции

(10)

называется поверхность, определяемая уравнением

(11)

для произвольной фиксированной числовой константы .

В случае функции двух переменных естественно говорить о линии уровня.

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

,

причем при гипербола вырождается в пару прямых , а при получаем семейство сопряженных гипербол, т.е. гипербол с фокусами на оси ординат.

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

Касательная плоскость к поверхности (11) в точке задается, как следует из проведенного выше анализа, уравнением

Это значит, что градиент функции в точке нормален («перпендикулярен») поверхности уровня, проходящей через данную точку (см. рис. 2.13).


Ñf Ñf

а) б)

Рис. 2.13

Случай, изображенный на рис. 2.13 (а) соответствует тому, что «движение» вдоль касательной к линии уровня есть движение в направлении возрастания функции. На рис. 2.13 (б) представлена противоположная ситуация. Какие еще ситуации возможны в подобном случае?

2.10. Дифференциалы высших порядков

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

Коль скоро первый дифференциал функции , как было замечено в п. 2.5, есть функция точки

, (1)

можно поставить вопрос об ее дифференцируемости. Предполагая условия дифференцируемости выполненными, найдем первый дифференциал от выражения (1). Вычисляя этот дифференциал, мы, во-первых, используем формулу для дифференциала произведения двух функций: (это предлагается доказать читателю); во-вторых, мы считаем приращения независимых переменных не зависящими от точки . Это предположение разумно, если рассматривать указанные переменные действительно как независимые - тогда в любой точке приращения переменных могут быть выбраны как угодно. Заметим, что отказ от этого предположения, т.е. рассмотрение переменных как функций, в свою очередь зависящих от некоторых переменных, существенно меняет получаемый результат (свойство инвариантности формы перестает выполнятся).

Дифференцируем (1):

(2)

Так как (согласно нашему второму предположению) все , то получаем:

(3)

Внутренняя сумма в (3) есть первый дифференциал частной производной . Выражение (3) называется дифференциалом второго порядка (или вторым дифференциалом) функции в точке и обозначается . Его можно записать несколько проще:

(4)

Коэффициенты в двойной сумме (4) - это всевозможные частные производные второго порядка вида , вычисленные в текущей точке (указание на которую мы будем часто опускать). Эти производные обычно записываются в виде:

.

Вторые производные образуют квадратную матрицу -ого порядка, называемую матрицей Гессе функции . Как и матрица Якоби, матрица Гессе есть функция точки. В общем случае матрица Гессе не является симметричной, т.е. в общем случае значение второй производной зависит от порядка дифференцирования: . Но имеет место следующее утверждение, известное под названием леммы Шварца:

Утверждение 2.11 (лемма Шварца). Если производные непрерывны в некоторой окрестности точки , то .

Доказательство опускается.

Итак, в случае непрерывности «смешанных» производных второго порядка их значение не зависит от порядка дифференцирования, и матрица Гессе симметрична. В дальнейшем, как правило, мы предполагаем, что условия леммы Шварца выполняются. Тогда второй дифференциал можно рассматривать как квадратичную форму от приращений независимых переменных, матрицей которой является матрица Гессе.

(По умолчанию, напомним, считается фиксированным канонический базис пространства ).

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

(5)

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

Дифференциалы третьего и более высоких порядков могут быть далее определены согласно формуле:

Характеристики

Тип файла документ

Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.

Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.

Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.

Список файлов ответов (шпаргалок)

Свежие статьи
Популярно сейчас
Зачем заказывать выполнение своего задания, если оно уже было выполнено много много раз? Его можно просто купить или даже скачать бесплатно на СтудИзбе. Найдите нужный учебный материал у нас!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6367
Авторов
на СтудИзбе
310
Средний доход
с одного платного файла
Обучение Подробнее