Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Сандракова Функтсии многикх переменныкх 2015

.pdf
Скачиваний:
2
Добавлен:
12.11.2022
Размер:
1.39 Mб
Скачать

Аналогично, выбрав

P P = OP ={0, x2 },

x2 = x2 0 = x2 ,

 

 

 

 

 

0

 

 

 

 

 

x2 0, получаем

 

 

 

 

 

 

 

 

 

f

 

 

= lim

f (0, x2 ) f (0,0)

=

 

 

 

 

x2

 

 

 

x2

 

 

 

 

O(0,0)

x2 0

 

 

 

 

 

 

 

 

 

 

 

= lim

 

f (0,

x2 ) f (0, 0)

= lim

0 0

= 0 .

 

 

 

x2

 

x2

x2 0

 

 

 

x2 0

 

Следовательно, обе частные производные существуют в точке О (0,0), но функция f (x1 , x2 ) не является дифференцируемой в

точке О (0,0), так как она в этой точке терпит разрыв.

Теорема 1.2 (достаточные условия дифференцируемости).

Если функция f(Р) имеет все частные производные в некоторой окрестности точки Р0, и они непрерывны в самой точке Р0, то функция дифференцируема в этой точке.

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

f (P0 , PP0 ) = f (P ) f (P0 ) =

 

= f (x1 + x1 , x2 +

x2 , ..., xn +

xn ) f (x1 , x2 , ..., xn ) =

 

n

 

 

 

= ( f (x1 ,..., xk 1 , xk

+ xk , xk +1

+ xk +1 ,..., xn + xn )

(1.3)

k =1

 

 

 

f (x1 ,..., xk 1 , xk , xk +1 +

xk +1 ,..., xn + xn )) .

 

Применяем формулу конечных приращений для каждой скобки отдельно:

 

 

 

 

 

f (x1 ,..., xk 1 , xk +

xk ,..., xn

+ xn )

 

 

 

 

 

 

 

 

 

f (x1 ,..., xk , xk +1 +

xk +1 ,..., xn +

xn ) =

 

 

 

 

 

 

= xk (x ,..., x

k 1

, x

k

 

x

k

, x

k +1

+

x

k +1

,..., x

n

+

x

n

)

x

k

=

 

f

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

(P0 )

 

 

 

x

k

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

+ αk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где 0 < θ <1,

α

k

0 .

Подставляем

 

полученный

 

результат

 

 

 

 

 

ρ→0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в (1.3):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

11

 

 

n

f

 

 

 

0

 

 

 

 

 

 

 

k

 

 

 

f =

 

 

(P

 

) + αk

 

 

x

 

,

 

 

x

k

 

 

 

 

k =1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

так как α

0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k ρ→0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Функция f(Р) является дифференцируемой, так как

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

ω(P0 ; P0 P) = αk (P0 ; P0 P) xk

 

 

 

 

k =1

 

 

 

 

 

 

 

 

 

 

 

является o(ρ) при ρ →0 . В самом деле,

 

 

 

 

 

 

lim

ω(P ; P P)

= lim

n

 

α

 

(P ; P P) xk

 

0 0

 

k

0

 

0

 

 

=

 

ρ→0

ρ

 

ρ→0

k =1

 

 

 

 

ρ

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

x

k

 

 

 

 

 

= lim αk (P0 ; P0 P)

 

 

= 0 .

 

 

 

ρ

 

 

 

k =1 ρ→0

 

 

 

 

 

 

 

 

 

 

 

 

Отметим, что выполнение двух необходимых условий дифференцируемости (непрерывность и существование всех частных производных функции f (P) в точке P0 D ) не является достаточ-

ным.

 

 

 

 

 

Пример 1.2. Найти

fx(0, 0) и fy(0,0) , если

f (x, y) = 3 xy . Явля-

ется ли f(x,y) дифференцируемой в О (0,0)?

 

 

Решение. f (x, y) = 3

 

x 3 y является непрерывной как произве-

дение непрерывных функций наD E2 .

Частные производные:

fx(0, 0) = lim

 

f ( x, 0) f (0, 0)

= lim

0 0

= 0 .

 

x

 

x0

 

x0

x

По определению предела х а, х а,

в данном случае х 0,

знаменатель отличен от нуля. Аналогично fy(0,0) = 0. Составим

 

f df

 

( 3

x y 0) (0 x + 0 y)

3

x y

.

ε =

 

=

 

 

=

 

 

ρ

 

x2 + y2

x2

+ y2

 

 

 

 

 

Вопрос о дифференцируемости функции f(x, y) свелся к вопросу о существовании и равенстве нулю предела

lim

ω(ρ)

, ρ =

x2 + y2 .

ρ→0

ρ

 

 

12

Докажем, что предел не существует. Представим х и у в по-

лярной системе координат

x cosϕ,

Тогда

 

 

 

 

 

 

y sin ϕ.

 

 

 

 

lim

ω(P

, P P)

= lim

ρ2/3 3 cos ϕsin ϕ

= = lim

3 cos ϕsin ϕ

,

0

0

 

 

 

ρ

 

ρ1/ 3

x2 + y2 0

ρ

ρ→0

 

ρ→0

 

где ϕ = ϕ(ρ); ϕ – любая функция ρ.

Указанный предел не существует, так как при ϕ= 0 lim ω = 0 , а

ρ→0 ρ

при ϕ ≠ πk lim ω = ∞.2 ρ→0 ρ

Можно доказать, что предел не существует, используя определение по Гейне.

Построим две последовательности точек {Pn} и {Qn}:

P 1;0 0 ; ε(P ) 0;n n n→∞ n n→∞

 

 

1

 

1

 

 

3

 

1 1

 

 

3 n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n n

 

→ +∞.

 

 

 

 

 

 

 

Q

 

;

 

0 ; ε(Q ) =

 

 

=

 

 

 

 

 

 

 

 

n

 

 

 

n→∞

n

 

 

1

 

 

 

2

n→∞

 

n n

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

Пределы значений функций в точках последовательностей различны, следовательно, предел не существует.

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

В данном случае достаточные условия дифференцируемости не были выполнены. Рассмотрим поведение частных производных в окрестности начала координат:

 

3

y

при x 0,

 

 

 

 

 

 

 

fx= 3

3

x2

 

0 при x = 0.

13

Покажем, что fx(0,0) не является непрерывной в точке P0 (0,0) :

 

 

 

 

 

 

 

 

 

1

 

 

n→∞ 0 ; fx(Pn )

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

Pn

 

;0

=

 

 

 

 

 

 

=0

;

 

 

 

 

 

 

 

 

1

2/3

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

1/3

 

 

 

 

 

 

 

 

 

 

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1/3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

(n)

 

Q

 

 

;

 

 

0 ;

(Q ) =

 

 

 

 

 

 

 

 

=

 

 

 

 

→+∞ .

 

n

 

 

n

 

 

n→∞

 

 

x

n

1

 

2/3

 

 

 

3

 

n→∞

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

Предел функции fxне существует в точке (0, 0).

Отметим, что из дифференцируемости функции не следует, что частные производные непрерывны.

Пример 1.3. Показать, что функция

 

2

 

2

 

 

 

 

 

 

1

 

 

 

2

 

2

 

(x

 

+ y

 

) sin

 

 

 

 

 

,

если x

 

+ y

 

0,

 

 

x

2

+ y

2

 

 

f (x, y) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

если x

2

+ y

2

= 0,

 

 

 

 

 

 

0,

 

 

 

 

 

 

 

 

 

1)f (x, y) дифференцируема в (0, 0);

2)fx, fyв окрестности (0, 0), но они разрывны в (0, 0) и не-

ограничены в любой окрестности (0, 0).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Найдем частные производные. В точках x2 + y2

0

fx(x, y) = 2xsin

 

 

1

 

 

+

(x

2

+ y

2

) cos

 

 

 

1

 

 

 

 

 

 

 

 

2x

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

2

+ y

2

 

 

 

 

x

2

+ y

2

 

 

 

2

+ y

2

)

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

= 2x sin

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos

 

 

 

 

 

 

 

 

 

;

 

 

 

 

 

 

x

2

+ y

2

 

(x

2

+ y

2

)

x

2

+ y

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

fy′ = 2 y sin

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

x

2

+ y

2

 

(x

2

+ y

2

)

 

x

2

+ y

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если х = у = 0, то производные ищем по определению:

 

f (

x, 0) f (0, 0)

 

x

2

sin

1

 

 

fx(0,0) = lim

= lim

 

x2

 

= 0 .

 

x

 

 

x

 

 

x0

x0

 

 

 

 

 

14

(Предел произведения бесконечно малой

х и ограниченной функ-

ции sin

1

равен 0). Аналогично

fy(0,0) = 0 . Составим

x2

 

 

 

 

 

 

 

(

x2 +

y2 )sin

1

 

 

 

 

 

f df

 

 

x2 +

y2

 

 

 

 

 

 

 

 

 

 

 

ε =

 

 

=

 

 

 

 

 

 

 

 

 

=

 

 

 

ρ

 

 

 

x2 +

y2

 

 

 

 

 

 

 

 

 

 

 

 

 

= x2 +

y2 sin

 

 

1

 

= ρsin

1

0 .

 

 

 

x2 +

y2

 

 

 

 

 

 

 

 

 

 

 

ρ2

ρ→0

Следовательно, функция дифференцируема в точке (0, 0). Покажем, что частные производные неограничены в любой окрестности точки (0, 0). Составим последовательность точек {Pn (xn ; yn )} , таких, что

 

cos

 

1

 

 

 

 

 

=1;

 

 

 

1

 

 

 

= 2πn .

 

 

 

x 2

 

+ y

2

 

 

x

2

+ y 2

 

 

 

Например:

 

 

 

n

 

 

 

n

 

 

 

 

 

 

n

 

n

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

x =

 

;

y

 

=

 

;

P 0

 

 

 

 

 

n

 

 

 

 

n

2

 

πn

 

 

 

 

 

2

πn

 

 

n

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

fx(Pn ) = fx(xn , yn ) =

 

 

1

 

 

 

 

 

 

 

 

cos 2πn

 

0 2πn

 

 

 

 

 

 

 

sin 2πn

 

 

1

 

=

 

=

 

 

πn

 

 

πn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2πn

 

 

 

 

 

 

 

 

= −2

 

πn →−∞ .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

 

 

 

 

 

fx

 

fyнеограниче-

В окрестности (0, 0) частные производные

и

ны и разрывны.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть функция

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y = f (x1 , x2 , ..., xn ) ;

 

D R1 ,

x = (x1 , x2 , ..., xn ) D Rn

в каждой точке (x1 , x2 , ..., xn ) D имеет частные производные пер-

вого порядка

 

f

( k =1, 2, ..., n ). Тогда частную производную

 

xk

 

f

 

 

 

функции

переменных x1 , x2 , ..., xn по переменной x называют

xk

 

 

 

l

 

 

 

 

 

15

частной производной второго порядка функции f по переменным xk и xl и обозначают

 

 

 

 

 

2 f

 

 

 

или

 

fx′′k xl .

 

 

 

 

xl xk

 

 

Таким образом, по определению

 

 

 

 

 

 

 

 

2 f

 

 

 

 

 

f

 

 

 

 

 

 

 

 

 

=

 

 

 

,

l, k =1, n .

 

 

 

 

 

 

 

 

 

 

 

 

 

l

x

k

 

x

l

x

k

 

x

 

 

 

 

 

 

 

 

 

называют частную производ-

Частной производной порядка m

 

ную первого порядка по какой-либо переменной от любой частной производной порядка (m 1) .

Частную производную по различным переменным называют смешанной частной производной.

Теорема 1.3. Если две смешанные частные производные m-го порядка функции y = f (x1 , x2 , ..., xn ) , отличающиеся лишь поряд-

ком дифференцирования, непрерывны в точке P0 (x01 , x02 , ..., x0n ) , то

их значения в этой точке совпадают.

Функцию, все частные производные которой до некоторого порядка m включительно непрерывны в некоторой точке (или на некотором множестве), называют m раз непрерывно дифференцируемой в этой точке (соответственно на этом множестве).

Согласно определению 1.2 дифференциал первого порядка

функции

y = f (x1 , x2 , ..., xn ) : D R1 в точке P (x1

, x2

, ..., xn ) D

 

0

0

0

0

имеет вид

L(P0 P) = df (P0 ) = A1 x1 + A2 x2 +... + An xn .

Теорема 1.4. Если функция n независимых переменных y = f (x1, x2 , ..., xn ) дифференцируема в точке P0 (x10 , x02 , ..., x0n ) и

df (x10 , x02 , ..., x0n ) = A1dx1 + A2dx2 +... + An dxn

ее дифферециал в этой точке, то в точке P0 (x10 , x02 , ..., x0n ) существуют частные производные функции f, причем

f (x1, x2 , ..., xn )

 

1

f (x1, x2 , ..., xn )

 

 

n

 

 

 

= A , ...,

 

 

= A

 

.

x1

xn

 

 

P0

 

P0

 

 

 

 

 

 

 

 

16

Таким образом, в каждой точке (x1, x2 , ..., xn ) D дифференциал функции f может быть вычислен по формуле (по определению

дифференциала независимой переменной полагают, что dxi = xi , i =1, 2, ..., n )

df = xf1 dx1 + xf2 dx2 +... + xfn dxn .

Вычисленный дифференциал от первого дифференциала при условии, что приращения xi = xi ( i =1, 2, ..., n ) независимых пере-

менных x1 , x2 , ..., xn берутся те же, что и при нахождении первого дифференциала, называется вторым дифференциалом или дифферециалом второго порядка функции y = f (x1 , x2 , ..., xn ) и обознача-

ется d 2 f = d(df ) .

В частности, для функции двух переменных y = f (x, y) запишем

 

d(df ) = d( fx

x + fy

y) = x d( fx) +

y d( fy) =

 

 

 

= x( fxx′′

x + fxy′′ y) + y( fyx′′ x +

fyy′′ y) .

 

Согласно

определению

второго

дифференциала

x = x ,

y =

y , тогда

 

 

 

 

 

d 2 f

= fxx′′(

x)2 + 2 fxy′′

x y + fyy′′( y)2 =

fxx′′dx2 + 2 fxy′′dxdy +

fyy′′dy2 .

Дифференциал порядка m определеяется как первый дифференциал от дифференциала порядка (m 1)

d m f = d(d m1 f ) ,

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

Если ввести оператор дифференциала

d = x1 dx1 + x2 dx2 +... + xn dxn ,

то справедлива операторная формула

 

m

 

1

 

 

 

2

 

 

 

n m

d

 

f =

 

dx

+

 

 

dx

 

+... +

 

 

dx

 

f .

 

1

x

2

 

x

n

 

 

 

x

 

 

 

 

 

 

 

 

 

 

17

2.Неявные функции

2.1.Неявные функции, определяемые одним уравнением

Пусть на области D E2 определена функция

F( x, y) . Рас-

смотрим уравнение

 

 

F(x, y)

= 0 .

(2.1)

Пусть M ={( x, y) : F( x, y) = 0}

– множество всех точек, ко-

ординаты которых удовлетворяют уравнению (2.1).

Пусть X – множество точек x оси Ox , для каждой из которых

существует

y , такое, что упорядоченная пара ( x, y) M , т.е.

 

 

 

 

X ={x; x y : F( x, y) = 0} .

 

 

 

 

Но может случиться, что для некоторой точки

x X y1 ,

y2 ,

такие, что (x, y1 ) M ,

(x, y2 ) M , т.е. F( x, y1 ) = 0,

F( x, y2 ) = 0 .

Пример

2.1. Рассмотрим

 

уравнение

лемнискаты

Бернулли

(рис. 2.1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( x2 + y2 )2

= x2 y2 .

 

 

 

(2.2)

 

 

 

 

 

 

В

этом

случае

множество

 

 

 

 

 

M ={( x, y) : ( x2 + y2 )2 = x2 y2 }

и

 

 

 

 

 

X =[1,1] .

 

 

 

 

 

 

 

 

 

 

 

 

Далее,

для x (1, 0) (0,1)

 

Рис. 2.1

 

y1 , y2 , такие, что (x, y1 )

и (x, y2 )

 

 

удовлетворяют уравнению (2.2).

 

Возьмем

 

точку

P0 ( x0 , y0 ) ,

где

x0 (0,1),

y0 > 0,

и

( x2

+ y2 )2 = x2

y2 . У точки

P ( x , y )

есть такая прямоугольная

0

0

0

0

 

0

0

0

 

 

 

 

 

 

окрестность

Tβ (P0 ) ={(x, y) : | x x0 |,

|

y y0 |,

β > 0} ,

что

x (x0 −β, x0 ) (0, 1)

существует

единственное

y , такое,

что точка ( x, y) Tβ (P0 ) M (см. рис. 2.1), т.е.

 

 

 

 

F( x, y) = ( x2 + y2 )2 ( x2 y2 ) = 0 .

18

Геометрически это означает, что та часть множества М, которая попадает в Tβ (P0 ) , может быть взаимно однозначно спроектирова-

на на ось Ох, т.е. является графиком у = у(х) на (x0 −β, x0 ) .

В этом случае говорят, что уравнение F(x, y) = 0 в прямоуголь-

нике R однозначно разрешимо относительно у как функции от переменной х.

Определение 2.1. Пусть на области D E2 задана функция

F(x, y).

Говорят, что уравнение F(x, y) = 0 в некотором прямоугольнике R D задает y как функцию от х, если X ={x} такое, что для

x X единственное у, такое, что (x, y) R и F(x, y) = 0 , и каж-

дому x X

ставится в соответствие именно то у, для которого

(x, y) R и F(x, y) = 0 .

Говорят

также, что в прямоугольнике R D уравнение

F(x, y) = 0

однозначно разрешимо относительно y = y(x), x X .

Обратимся снова к нашему примеру с лемнискатой Бернулли. Если взять х = 1, или х = –1, или х = 0, то получим нечто другое. Для точек (1, 0), (–1, 0) и (0, 0) не существует прямоугольной окрестности, в которой уравнение (2.2) однозначно разрешимо относительно у, т.е. как ни подбирай прямоугольную окрестность, например, точки P0 (1,0) , множество Tβ (P0 ) M не может быть од-

нозначно отображено на ось Ох, так как там происходит нависание кривой в окрестности точки P0 (1,0) над осью Ох. А в точке O(0,0)

еще более сложная картина. Попробуем разобраться, в чем тут дело.

На две независимые переменные х и у в плоскости Оху мы наложили одну связь F(x, y) = 0 .

Возникают вопросы:

1)всегда ли можно считать, что одна из переменных стала функцией другой;

2)если да, то какая из переменных является функцией другой;

3)как аналитически проверять, что уравнение F(x, y) = 0 явля-

ется однозначно разрешимым, например относительно у как функции от х?

19

Теорема 2.1 (достаточные условия существования, непрерывности и дифференцируемости неявной функции, заданной уравнением F(x, y) = 0 ). Пусть функция F(x, y) определена и диф-

ференцируема в некоторой окрестности точки P0 (x0 , y0 ) и выполняются условия:

1)F (x0 , y0 ) = 0;

2)Fy(x0 , y0 ) 0 .

Тогда существует прямоугольник R ={(x, y) : x (x0 h, x0 +h), y ( y0 H , y0 + H ), h >0, H >0}, такой, что в прямоугольнике R

уравнение F(x,y) = 0

задает функцию y = f (x) , x [x0 h, x0 +h] ,

y(x0 ) = y0 . Функция

y = f (x) непрерывна и дифференцируема на

x [x0 h, x0 +h] .

Замечание 2.1. В теореме 2.1 утверждается, что уравнение (2.1) однозначно разрешимо в окрестности

R ={(x, y) : | x x0 |< h, | y y0 |< H, h > 0, H > 0}

точки (x0 , y0 ) относительно у.

Замечание 2.2. Если в формулировке теоремы 2.1 заменить ус-

ловие Fy(x0 , y0 ) 0

на Fx(x0 , y0 ) 0 , то можно утверждать,

что

уравнение (2.1)

однозначно

разрешимо

в окрестности

R ={(x, y) :| x x0 |< h, | y y0 |< H ,

h >0, H >0}

точки (x0 , y0 )

от-

носительно х.

 

 

 

 

Пример 2.2. Привести примеры, показывающие, что в теореме 2.1 условие Fy(x0 , y0 ) 0 является только достаточным.

Решение. Пусть уравнение (2.1) имеет вид

( y3 x)(x2 + y2 +1) = 0 .

(2.3)

Так как x2 + y2 +1 0 для любых действительных значений х и

у, то уравнение (2.3) эквивалентно

y3 x = 0 , которое явно одно-

значно разрешимо, в том

числе

и в окрестности точки (0, 0)

( y = 3 x) . Но при этом

 

 

 

F (0,0) =(3y2 (x2

+ y2 +1) +( y3 x)2 y) |

= 0 .

y

 

(0,0)

 

20

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]