Назад СССР in Maple Вперёд

ФУНКЦИЯ  ДВУХ ПЕРЕМЕННЫХ

Задача 4 :: Исследовать на экстремум функцию z = `+`(`*`(y, `*`(sqrt(x))), `-`(`*`(2, `*`(`^`(y, 2)))), `-`(x), `*`(14, `*`(y)))

2D-Function 

Функция определена, непрерывна и дифференцируема в правой полуплоскости xy,

что вытекает из условия существования действительных значений sqrt(x) . 

z = `+`(`*`(y, `*`(`^`(x, `/`(1, 2)))), `-`(`*`(2, `*`(`^`(y, 2)))), `-`(x), `*`(14, `*`(y)))

Найдём частные производные первого порядка: 

Diff(`+`(`*`(y, `*`(`^`(x, `/`(1, 2)))), `-`(`*`(2, `*`(`^`(y, 2)))), `-`(x), `*`(14, `*`(y))), x) = `+`(`/`(`*`(`/`(1, 2), `*`(y)), `*`(`^`(x, `/`(1, 2)))), `-`(1))

Diff(`+`(`*`(y, `*`(`^`(x, `/`(1, 2)))), `-`(`*`(2, `*`(`^`(y, 2)))), `-`(x), `*`(14, `*`(y))), y) = `+`(`*`(`^`(x, `/`(1, 2))), `-`(`*`(4, `*`(y))), 14)

Diff(z, x) = `+`(`/`(`*`(`/`(1, 2), `*`(y)), `*`(`^`(x, `/`(1, 2)))), `-`(1))

Diff(z, y) = `+`(`*`(`^`(x, `/`(1, 2))), `-`(`*`(4, `*`(y))), 14)

Стационарные точки находим из системы:  

{`+`(`/`(`*`(`/`(1, 2), `*`(y)), `*`(`^`(x, `/`(1, 2)))), `-`(1)) = 0, `+`(`*`(`^`(x, `/`(1, 2))), `-`(`*`(4, `*`(y))), 14) = 0}

piecewise(`+`(`/`(`*`(`/`(1, 2), `*`(y)), `*`(`^`(x, `/`(1, 2)))), `-`(1)) = 0, 1, `+`(`*`(`^`(x, `/`(1, 2))), `-`(`*`(4, `*`(y))), 14) = 0, 2)

Решим её подстановкой: 

piecewise(y = `+`(`*`(2, `*`(`^`(x, `/`(1, 2))))), 1, `+`(`*`(`^`(x, `/`(1, 2))), `-`(`*`(4, `*`(y))), 14) = 0, 2)

piecewise(y = `+`(`*`(2, `*`(`^`(x, `/`(1, 2))))), 1, `+`(`-`(`*`(7, `*`(`^`(x, `/`(1, 2))))), 14) = 0, 2)

Корень второго уравнения: x[1] = 4

Значение ординаты: y[1] = 4

Исследуемая функция имеет одну cтационарную точку: A(4, 4)

Найдём частные производные второго порядка: 

Diff(z, x, x) = `+`(`-`(`/`(`*`(`/`(1, 4), `*`(y)), `*`(`^`(x, `/`(3, 2)))))), Diff(z, y, y) = -4, Diff(z, x, y) = `+`(`/`(`*`(`/`(1, 2)), `*`(`^`(x, `/`(1, 2)))))

Понадобится значение выражения
`and`(Delta[A] = LinearAlgebra:-Determinant(Matrix(%id = 4586298818)), LinearAlgebra:-Determinant(Matrix(%id = 4586298818)) = `+`(`*`(Diff(z, x, x), `*`(Diff(z, y, y))), `-`(`*`(`^`(Diff(z, y, x), 2))...,
вычисленное в стационарной точке.
 

Для точки А имеем: 

z[xx] = -`/`(1, 8), z[xy] = `/`(1, 4), z[yy] = -4

`and`(Delta[A] = LinearAlgebra:-Determinant(Matrix(%id = 4586289218)), `and`(LinearAlgebra:-Determinant(Matrix(%id = 4586289218)) = `+`(`/`(1, 2), -`/`(1, 16)), `and`(`+`(`/`(1, 2), -`/`(1, 16)) = `/`... Delta[A] = `/`(7, 16)

Т.к. в точке A величина Delta[A] положительна, то в ней функция имеет экстремум. 

Поскольку в точке A величина отрицательна, то здесь -  максимум. 

z[max] = 28

Проиллюстрируем поведение функции вблизи точки A (см.рисунок): 

Проверка 

Результат выполнения команд minimize 

`+`(17, `*`(5, `*`(`^`(3, `/`(1, 2))))), {[{x = 3, y = 5}, `+`(17, `*`(5, `*`(`^`(3, `/`(1, 2)))))]}

и maximize 

`+`(`*`(4, `*`(`^`(4, `/`(1, 2)))), 20), {[{x = 4, y = 4}, `+`(`*`(4, `*`(`^`(4, `/`(1, 2)))), 20)]}

качественно подтверждает сделанные выводы. 

Disclaimer:
This web site has been independently produced and is not affiliated with Maplesoft,
or their web site at www.maplesoft.com.