Функции недиагонализируемых матриц
[23/100%]Озеро в замкнутой системе из трёх озёр равного объёма первоначально содержит фунтов загрязняющего вещества. Если вода в системе циркулирует со скоростями (галлонов/сек), указанными на рисунке 7.9.2, найдите количество загрязняющего вещества в каждом озере в момент времени (предполагая непрерывное перемешивание), а затем определите загрязнённость каждого озера в долгосрочной перспективе.
Рисунок 7.9.2
Предположим, что имеет собственные значения с . Объясните, почему -й спектральный проектор задаётся формулой
Спектральное разложение : для с , , и такой, что существуют для каждого ,
Объясните, почему каждый спектральный проектор можно выразить в виде многочлена от .
Если с , объясните, почему
Спектральное разложение : .
При соглашении для , объясните, почему для жорданова блока размера с собственным значением
Функции жордановых блоков: для жорданова блока размера с собственным значением , и для такой, что существуют,
Найдите для .
Для найдите , если .
Объясните, почему каждая невырожденная имеет квадратный корень.
Дайте необходимые и достаточные условия существования , когда вырождена.
Докажите, что если — собственная пара для , то — собственная пара для всякий раз, когда существует. Следует ли отсюда также, что ?
Пусть определена на , и пусть . Приведите пример или объяснение того, почему следующие утверждения не обязательно верны.
подобна .
.
.
Объясните, почему всякий раз, когда существует.
Объясните, почему функция определена на тогда и только тогда, когда определена на , а затем докажите, что . Почему нельзя использовать вместо ?
Используя приём записи для полиномиального тождества , тождественно обращающегося в нуль, так что , установите следующие тождества.
для всех .
для всех и .
для всех .
Покажите, что если , то .
Приведите пример, показывающий, что в общем случае .
Найдите интерполяционный многочлен Эрмита , т.е. многочлен наименьшей степени, совпадающий со значениями и производными в каждом собственном значении вплоть до порядка на единицу меньше его индекса, такой что для .
Теорема Кэли--Гамильтона утверждает, что каждая удовлетворяет своему собственному характеристическому уравнению, и это гарантирует, что () может быть выражена как многочлен от степени не выше . Поскольку всегда является многочленом от , теорема Кэли--Гамильтона гарантирует, что может быть выражена как многочлен от степени не выше . Такой многочлен можно определить всякий раз, когда , существует для каждого , где . Стратегия та же, что использовалась для нахождения интерполяционного многочлена Эрмита, согласованного с индексом собственного значения, за исключением того, что вместо используется . Если мы можем найти многочлен такой, что для каждого
то . Почему? Эти уравнения представляют собой линейную систему с в качестве неизвестных, и по той же причине, что и раньше, решение всегда возможно.
Какие преимущества и недостатки имеет этот подход по сравнению с подходом на основе индекса из упражнения 7.9.15?
Используйте этот метод, чтобы найти многочлен такой, что для . Сравните с упражнением 7.9.15.
Покажите, что если — функция, определённая на
то .
Если , где и — функции, такие что и каждая существует, то . Однако доказывать это простой заменой `` на '' недопустимо. Один из способов доказать, что , — показать, что для типичного жорданова блока, а затем воспользоваться тем, что строится поблочно из жордановых блоков . Проделайте это для жорданова блока --- обобщение на блоки аналогично. То есть пусть , и с помощью упражнения 7.9.17 докажите, что если и каждая существует, то
Докажите, что если — простой замкнутый контур, охватывающий , но не охватывающий остальные собственные значения , то -й спектральный проектор равен
Для проверьте, что для любой невырожденной .
Если — простой замкнутый контур, охватывающий все собственные значения невырожденной матрицы , чему равно значение ?
Функция обращения не определена на вырожденных матрицах, но обобщённая функция обращения
определена на всех квадратных матрицах. Из упражнения 7.9.20 ясно, что если невырожденна, то , так что — естественный способ распространить понятие обращения на вырожденные матрицы. Объясните, почему является дрейзиновской обратной матрицей , а не обязательно псевдообратной Мура--Пенроуза .
Пусть — вырожденная матрица, и пусть — простой замкнутый контур, содержащий все собственные значения , кроме , которое не лежит ни внутри, ни на . Докажите, что
есть дрейзиновская обратная матрица .
Подсказка: теорема Коши--Гурса утверждает, что если функция аналитична во всех точках внутри и на простом замкнутом контуре , то .