Дифференцирование матриц
[26/100%]Используя результат части (c) упражнения 6.2, проверьте, что всякая окрестность точки в является открытым множеством.
Пусть — функция, определённая на множестве , от вектора из переменных, предположим, что множество содержит хотя бы некоторые внутренние точки, и пусть -- произвольная из этих точек. Проверьте, что если раз непрерывно дифференцируема в , то раз непрерывно дифференцируема в каждой точке некоторой окрестности .
Пусть — матрица порядка из переменных, и пусть -- -мерный вектор-столбец, получаемый перестройкой элементов (в виде вектора-столбца). Далее, пусть -- множество значений , и пусть -- соответствующее множество значений (то есть множество, получаемое перестройкой элементов каждой матрицы из в виде вектора-столбца). Проверьте, что -мерный вектор-столбец является внутренней точкой тогда и только тогда, когда он представляет собой перестройку матрицы , являющейся внутренней точкой .
Пусть — функция, областью определения которой является множество в (содержащее хотя бы некоторые внутренние точки). Покажите, что матрица Гессе функции является градиентной матрицей градиентного вектора функции .
Пусть — функция, определённая на множестве , от вектора из переменных, пусть , и пусть -- произвольная внутренняя точка , в которой непрерывно дифференцируема. Покажите, что (для всякого натурального ) непрерывно дифференцируема в и
Сделайте это, опираясь на результат
и, обозначив через (как и ) функцию (определённую на ) от , на результаты о том, что если непрерывно дифференцируема в , то отношение также непрерывно дифференцируемо в , что для всякого натурального непрерывно дифференцируема в любой точке, где непрерывно дифференцируема, и что
Пусть — матрица порядка из функций, определённых на множестве , от вектора из переменных. Пусть -- произвольная внутренняя точка , в которой непрерывно дифференцируема. Покажите, что если идемпотентна во всех точках некоторой окрестности , то (при )
Пусть — функция, определённая на множестве , от вектора из переменных, и пусть -- вектор-столбец размера из функций (определённых на ) от . Пусть -- произвольная внутренняя точка (множества ), в которой и непрерывно дифференцируемы. Покажите, что непрерывно дифференцируема в и что (при )
Пусть — матрица порядка из ``независимых'' переменных, и предположим, что может свободно пробегать всё .
-
Покажите, что для любых постоянных матриц размера и размера
-
Покажите, что для любых - и -мерных векторов-столбцов и
Предположим теперь, что -- симметрическая (но в остальном не ограниченная) матрица (размера ).
-
Покажите, что для любых постоянных матриц размера и размера
где .
-
Покажите, что для любых -мерных векторов-столбцов и
Для части (a)(1) заметьте, что . Для части (a)(2) заметьте, что .
Пусть — матрица порядка из ``независимых'' переменных, и предположим, что может свободно пробегать всё . Покажите, что для любой постоянной матрицы размера
Пусть — симметрическая (но в остальном не ограниченная) матрица переменных порядка . Покажите, что для любой постоянной матрицы порядка
где .
Пусть — матрица порядка из ``независимых'' переменных, и предположим, что может свободно пробегать всё . Покажите, что для
Пусть — матрица порядка из ``независимых'' переменных, и предположим, что может свободно пробегать всё .
Покажите, что для любой постоянной матрицы порядка
Покажите, что для любой постоянной матрицы порядка
Покажите (в частном случае ), что для любой постоянной матрицы порядка
Используя результаты частей (a)-(c), выведите простые формулы для , и (в частном случае ) .
Пусть — матрица порядка . Пусть -- функция от , определённая на множестве , состоящем из некоторых или всех симметрических матриц порядка . Предположим, что для целей дифференцирования следует интерпретировать как функцию от вектора-столбца размерности , элементами которого служат . Предположим далее, что существует функция , областью определения которой является множество не обязательно симметрических матриц, содержащее в качестве собственного подмножества, такая что при , так что -- функция от , а -- функция, получаемая ограничением области определения на . Определим . Пусть -- внутренняя точка , и пусть -- соответствующее значение . Покажите, что если является внутренней точкой и если непрерывно дифференцируема в , то непрерывно дифференцируема в и что (при )
Пусть — вектор размера из функций, определённых на множестве , от вектора из переменных. Пусть -- функция, определённая на множестве , от вектора из переменных. Предположим, что для всякого из , и пусть -- составная функция, определённая (на ) как . Покажите, что если дважды непрерывно дифференцируема во внутренней точке множества и если [при условии, что -- внутренняя точка ] дважды непрерывно дифференцируема в , то дважды непрерывно дифференцируема в и
Пусть — матрица порядка из ``независимых'' переменных (где ), и предположим, что область значений составляет всё . Покажите, что (для всякого натурального ) функция , определённая (на ) формулой , непрерывно дифференцируема при всяком и что
Пусть — матрица порядка из функций, определённых на множестве , от вектора из переменных. Пусть -- произвольная внутренняя точка (множества ), в которой непрерывно дифференцируема. Используя результаты упражнения 13.10, покажите, что
если , то (при )
где и -- произвольные ненулевые -мерные векторы, такие что и , и где [обозначив через алгебраическое дополнение ] -- скаляр, представимый как для любых и , таких что и ; и
если , то (при )
Пусть — матрица порядка из ``независимых'' переменных, пусть -- постоянная матрица порядка , и предположим, что область значений -- это множество , состоящее из некоторых или всех значений , для которых . Покажите, что непрерывно дифференцируема в любой внутренней точке множества и что (при )
Пусть — матрица порядка из ``независимых'' переменных, пусть и -- постоянные матрицы размера и , и предположим, что область значений -- это множество , состоящее из некоторых или всех значений , для которых . Покажите, что непрерывно дифференцируема в любой внутренней точке множества и что (при )
Предположим теперь, что -- симметрическая матрица порядка ; что и -- постоянные матрицы размера и ; что для целей дифференцирования любой функции от эту функцию следует интерпретировать как функцию от вектора-столбца , элементами которого служат ; и что область значений -- это множество , состоящее из некоторых или всех значений , для которых . Покажите, что непрерывно дифференцируема в любой внутренней точке (множества ) и что (при )
где .
Пусть — матрица порядка из функций, определённых на множестве , от вектора из переменных, и пусть и -- постоянные матрицы размера и . Предположим, что -- множество всех значений , для которых невырождена и , или подмножество этого множества. Покажите, что если непрерывно дифференцируема во внутренней точке множества , то непрерывно дифференцируема в и (при )
Пусть и — постоянные матрицы размера и .
Пусть — матрица порядка из ``независимых'' переменных, и предположим, что область значений -- это множество , состоящее из некоторых или всех значений , для которых невырождена и . Используя результат упражнения 15.18, покажите, что непрерывно дифференцируема в любой внутренней точке множества и что (при )
Предположим теперь, что -- симметрическая матрица порядка ; что для целей дифференцирования любой функции от эту функцию следует интерпретировать как функцию от вектора-столбца , элементами которого служат ; и что область значений -- это множество , состоящее из некоторых или всех значений , для которых невырождена и . Используя результат упражнения 15.18, покажите, что непрерывно дифференцируема в любой внутренней точке множества и что (при )
где .
Пусть — матрица порядка из функций, определённых на множестве , от вектора из переменных. Пусть -- произвольная внутренняя точка (множества ), в которой непрерывно дифференцируема. Используя, например, результат части (b) упражнения 13.10, покажите, что если , то
Пусть — матрица порядка из ``независимых'' переменных, и предположим, что область значений -- это множество , состоящее из некоторых или всех значений , для которых невырождена. Покажите, что (если рассматривать элементы как функции от ) непрерывно дифференцируема в любой внутренней точке множества и что (при )
где -- -й столбец, а -- -я строка .
Предположим теперь, что -- симметрическая матрица порядка ; что для целей дифференцирования функции от эту функцию следует интерпретировать как функцию от вектора-столбца , элементами которого служат ; и что область значений -- это множество , состоящее из некоторых или всех значений , для которых невырождена. Покажите, что непрерывно дифференцируема в любой внутренней точке множества и что (при )
(где -- -й столбец ).
Пусть — матрица порядка из ``независимых'' переменных. Предположим, что область значений -- это множество , состоящее из некоторых или всех значений , для которых невырождена, и пусть -- внутренняя точка . Обозначим -й элемент через , -й столбец через , а -ю строку через .
Покажите, что дважды непрерывно дифференцируема в и что (при )
Предположим, что для всякого из . Покажите, что дважды непрерывно дифференцируема в и что (при )
Пусть — матрица порядка из функций, определённых на множестве , от вектора из переменных. Для всякого непустого множества , элементы которого -- целые числа от 1 до включительно, определим . Пусть -- натуральное число, и для пусть -- произвольное целое число от 1 до включительно.
Предположим, что невырождена при всяком из , и обозначим через произвольную внутреннюю точку (множества ), в которой раз непрерывно дифференцируема. Покажите, что раз непрерывно дифференцируема в и что (при )
где -- непустых попарно непересекающихся и в совокупности исчерпывающих подмножеств (и где вторая сумма берётся по всем возможным вариантам выбора ).
Предположим, что при всяком из , и обозначим через произвольную внутреннюю точку (множества ), в которой раз непрерывно дифференцируема. Покажите, что раз непрерывно дифференцируема в и что (при )
где -- непустых попарно непересекающихся и в совокупности исчерпывающих подмножеств с (и где вторая сумма берётся по всем возможным вариантам выбора ).
Пусть — симметрическая матрица порядка , и пусть -- вектор-столбец размерности , элементами которого служат . Определим как множество всех значений , для которых невырождена, а -- как множество всех значений , для которых положительно определена. Покажите, что и являются открытыми множествами.
Пусть — постоянная матрица размера , и пусть -- симметрическая положительно определённая матрица порядка , элементы которой являются функциями, определёнными на множестве , от вектора из переменных. Далее, пусть -- произвольная внутренняя точка (множества ), в которой дважды непрерывно дифференцируема. Покажите, что дважды непрерывно дифференцируема в и что (при )
Пусть — матрица размера , а -- симметрическая положительно определённая матрица порядка , и предположим, что элементы и являются функциями, определёнными на множестве , от вектора из переменных. И пусть -- произвольная внутренняя точка (множества ), в которой и непрерывно дифференцируемы, и предположим, что имеет постоянный ранг в некоторой окрестности . Далее, пусть -- произвольная матрица размера , такая что . Тогда при
Выведите результат (*), используя результат
для получения представления
и затем используя результат