- •Глава 1. Функции нескольких переменных
- •1. Предварительные определения
- •2. Открытые и замкнутые множества
- •3. Предел функции нескольких переменных
- •4. Функции, непрерывные в точке
- •5. Функции, непрерывные на множестве
- •6. Частные производные
- •7. Производная сложной функции
- •8. Производные высших порядков
- •9. Оператор Лапласа
- •10. Неявные функции
- •11. Формула Тейлора для функций нескольких переменных
- •12. Экстремумы функций нескольких переменных
- •Глава 2. Функциональные последовательности и ряды
- •1. Поточечная и равномерная сходимость.
- •2. Функциональные ряды.
- •3. Признаки Абеля и Дирихле
- •4. Свойства равномерно сходящихся последовательностей и рядов.
- •5. Степенные ряды
- •6. Ряд Тейлора
- •Исторические сведения
- •Абель
- •Адамар
- •Д’Аламбер
- •Больцано
- •Вейерштрасс
- •Дирихле
- •Коши
- •Лаплас
- •Лейбниц
- •Ньютон
- •Сильвестр
- •Тейлор
Глава 1 |
19 |
Функции нескольких переменных |
||
|
|
|
|
|
ç |
|
|
|
è |
|
|
|
|
|
Докажем теперь замкнутость множества X . Для этого нужно док а- зать, что это множество содержит все свои предельные точки. Предположим, что {xk }+∞k=1 — последовательность точек множества X , сходящаяся к
некоторой точке a n . В силу условия 2) , эта последовательность содержит подпоследовательность, сходящуюся к некоторой точке множества X . Но любая подпоследовательность сходящейся последовательности {xk }+∞k=1 сходится к точке a . Следовательно, a X .
Теорема доказана.
Пусть x1 , x2 , …, xn — функции, определенные и непрерывные на некотором отрезке [a,b]. Множество точек
L ={(x1(t), x2 (t), , xn (t)) :t [α,β]}
пространства n называется непрерывной кривой в этом пространстве.
Точки a = (x1(α), x2 (α), , xn (α)) и b = (x1(β), x2 (β), , xn (β)) называются
концами кривой L . Говорят, что кривая L соединяет точки a и b. ОПРЕДЕЛЕНИЕ. Множество M n называется связным, если для
любых точек a , b M существует непрерывная кривая, соединяющая эти точки и целиком лежащая в множестве M .
ОПРЕДЕЛЕНИЕ. Областью в пространстве n называется открытое связное множество.
ОПРЕДЕЛЕНИЕ. Замыкание G области G n называется замкнутой областью.
3. Предел функции нескольких переменных
Пусть X n — некоторое непустое множество. Будем рассматривать числовые функции, определенные на множестве X , то есть отобра-
Глава 1 |
20 |
Функции нескольких переменных |
||
|
|
|
|
|
ç |
|
|
|
è |
|
|
|
|
|
жения |
f : X → . Множество X называется областью определения функ- |
|
ции f |
. Значение функции f в точке |
|
|
x = (x1, x2, , xn ) |
|
обозначается через f (x) или через |
f (x1, x2, , xn ). |
|
ОПРЕДЕЛЕНИЕ. Пусть функция |
f определена на множестве X , и точ- |
ка a является предельной для этого множества. Число A называется пределом функции f по множеству X при x → a , если по любому ε > 0 найдется такое δ > 0, что для всех x X , удовлетворяющих условию
0 <| x − a | <δ ,
выполняется неравенство | f (x) − A |<ε .
Число A из приведенного определения находится однозначно. Мы
будем обозначать его следующим образом: lim f |
(x) или просто lim f (x) , |
||
|
|
x→a, |
x→a |
|
|
x X |
|
если область определения функции |
f ясна из контекста. Используется |
||
также следующая запись. Если a = (a1,a2, ,an ) , |
то lim f (x) обозначается |
||
|
|
|
x→a |
так: |
|
|
|
lim f (x1, x2, , xn ). |
|
||
x1→a1 |
|
|
|
x2 |
→a2 |
|
|
......... |
|
|
|
xn |
→an |
|
|
На рассматриваемый |
случай |
переносятся |
все свойства пределов |
функций одной переменной. В частности, имеют место следующие два утверждения, доказательства которых совершенно аналогичны случаю одной переменной.
ТЕОРЕМА 3 (КРИТЕРИЙ КОШИ СУЩЕСТВОВАНИЯ ПРЕДЕЛА ФУНКЦИИ).
Предположим, что функция f определена на множестве X , и точка a
является предельной для этого множества. Следующие условия эквивалентны:
Глава 1 |
21 |
Функции нескольких переменных |
||
|
|
|
|
|
ç |
|
|
|
è |
|
|
|
|
|
1) существует lim f (x) ; |
|
|
|
|
|
|
|
|
x→a, |
|
|
|
|
|
|
|
|
x X |
|
|
|
|
|
|
x , |
x , |
2) для любого ε > 0 найдется такое δ > 0, что для любых |
||||||||
удовлетворяющих условиям x , |
x X , |
0 |
<| x − a |<δ , |
0 <| x |
|
− a |<δ |
′ |
′′ |
|
выпол- |
|||||||
′ |
′′ |
|
′ |
′′ |
|
|
|
|
няется неравенство | f (x ) − f (x ) |<ε . |
|
|
|
|
|
|
|
|
′ |
′′ |
|
|
|
|
|
|
|
ЗАМЕЧАНИЕ. Условие x , |
x X , |
0 |
<| x − a |<δ , |
0 <| x |
|
− a |<δ |
могут |
|
′ |
′′ |
|
′ |
|
′′ |
|
|
|
быть записаны следующим образом: x′, |
x′′ X ∩Uδ′ (a) . |
|
|
|
|
УПРАЖНЕНИЕ. Доказать, что условие 2) равносильно следующему:
для любого ε > 0 найдется такая выколотая окрестность U′(a), что для любых x′, x′′, удовлетворяющих условию x′, x′′ X ∩U′(a) выполняется неравенство | f (x′) − f (x′′) |<ε .
Аналогично случаю функций одной переменной вводится понятие функций, ограниченных сверху или снизу, и «просто» ограниченных функций.
ТЕОРЕМА 4. Предположим, что функция f определена на множестве X , точка a является предельной для этого множества и существует
lim f (x)
x→a, x X
Тогда существует такое δ > 0, что функция f ограничена на множест-
ве X ∩Uδ′ (a).
Это стандартное утверждение о локальной ограниченности функции в окрестности точки a , и мы опускаем его доказательство.
4. Функции, непрерывные в точке
Предположим, что функция f определена на множестве X n и точка a X является предельной точкой множества X .
Глава 1 |
22 |
Функции нескольких переменных |
||
|
|
|
|
|
ç |
|
|
|
è |
|
|
|
|
|
ОПРЕДЕЛЕНИЕ. Говорят, что функция f непрерывна в точке a , если
lim f (x) = f (a).
x→a, x X
Переформулируем это определение. По любому ε > 0 найдется та-
кое δ > 0, что для всех x X , удовлетворяющих условию | x − a |<δ выполняется неравенство | f (x) − f (a) |<ε .
ЗАМЕЧАНИЕ. Определение непрерывности может быть переформулировано в терминах окрестностей. По любому ε > 0 найдется такая окре-
стность U (a) , что для всех x X ∩U (a) выполняется неравенство
| f (x) − f (a) |<ε .
Мы не будем приводить свойства непрерывных функций нескольких переменных, аналогичные свойствам функций одной переменной (если две функции непрерывны в некоторой точке, то их сумма, разность и произведение также непрерывны в этой точке и т.д.).
Остановимся только на вопросе о непрерывности сложной функции.
ТЕОРЕМА 5. Предположим, что
1)функция f определена на некотором множестве X n и непрерывна в предельной точке a = (a1,a2, ,an ) множества X ;
2)функции g1(t), g2 (t), …, gn (t) определены на некотором множе-
стве T m и каждая из них непрерывна в предельной точке b T множества T ;
3) для любой точки t T выполняется соотношение
(g1(t), g2 (t), , gn (t)) X .
Тогда сложная функция
z = f (g1(t), g2 (t), , gn (t))
определенная, в силу условия 3), на множестве T , непрерывна в точке b.