Интегрирование и матрицы
[16/63%]Рассмотрим матрицу над
Найдите
Затем вычислите коммутатор .
Рассмотрим аналитическую функцию , , и матрицу
Вычислите , применяя интегральную теорему Коши.
Пусть — матрица над . Если не является собственным значением , то матрица обратима, а именно резольвента
Пусть — собственные значения . Для , где — любая положительная постоянная, большая всех , резольвента может быть разложена в виде
Вычислите
Пусть — векторное пространство всех комплексных матриц . Пусть . Тогда , где обозначает транспонирование. Определим гауссову меру на формулой
где обозначает меру Лебега на . Пространство Фока состоит из всех целых функций на , интегрируемых с квадратом относительно гауссовой меры . Со скалярным произведением
получаем гильбертово пространство. Покажите, что это гильбертово пространство обладает воспроизводящим ядром . Это означает непрерывную функцию такую, что
для всех и .
Пусть — положительно определённая матрица над , т.е. для всех . Вычислите
Пусть — унитарная матрица размера , т.е.. Собственные значения матрицы лежат на единичной окружности, то есть могут быть записаны в виде , . Функция называется класс-функцией, если симметрична по всем своим переменным. Вейль предложил явную формулу для усреднения класс-функций по круговому унитарному ансамблю
Таким образом, мы интегрируем функцию по , параметризуя группу углами и используя формулу Вейля для преобразования интеграла в -кратный интеграл по . По определению мера Хаара инвариантна относительно , где — произвольная унитарная матрица размера . Матрица всегда может быть диагонализована унитарной матрицей, т.е.
где — унитарная матрица размера . Таким образом, интеграл по можно записать как интеграл по элементам матрицы и по собственным фазам . Поскольку мера инвариантна относительно унитарных преобразований, интеграл по элементам матрицы можно вычислить непосредственно, оставив интеграл по собственным фазам. Покажите, что для класс-функции справедливо
Пусть — положительно определённая матрица размера над . Пусть и — вектор-столбцы в . Вычислите
Заметим, что
Пусть — положительно определённая матрица размера над , т.е.все её собственные значения, которые вещественны, положительны. Также . Рассмотрим аналитическую функцию
Вычислите преобразование Фурье функции . Преобразование Фурье определяется как
где и . Обратное преобразование Фурье задаётся формулой
где . При имеем
Пусть — матрица размера . Пусть . Предположим, что
и . Тогда имеем
Вычислите левую и правую части (1) для матрицы .
Рассмотрим дифференцируемое многообразие
Покажите, что матрица
унитарна. Покажите, что эта матрица является элементом .
Рассмотрим параметры с , , . Покажите, что
является параметризацией. Тогда матрица, приведённая в (i), принимает вид
и
Пусть с , , . Покажите, что
где , , а в остальных случаях .
Рассмотрим поле метрического тензора
Используя параметризацию, покажите, что
Рассмотрим три дифференциальные 1-формы , , , определённые как
Покажите, что .
Покажите, что
т.е., , .
Пусть , — матрицы размера над . Пусть . Покажите, что
Умножьте обе стороны слева на и продифференцируйте по .
Пусть . Рассмотрим матрицу размера , элементы которой гладко зависят от . Тогда справедливо тождество
Пусть и
Вычислите правые части этих тождеств.
Пусть , — положительно определённые матрицы. Тогда справедливо интегральное представление ()
Пусть
Вычислите левую и правую части интегрального представления.
Рассмотрим матрицы
Найдите коммутатор . Обсудите. При каком условии ?
Пусть () — многочлены Лежандра
Покажите, что бесконечномерная матрица
где , имеет вид
Заметьте, что эта матрица не симметрична. Матрицу можно рассматривать как линейный оператор в гильбертовом пространстве . Верно ли, что ?
Пусть , , — положительно определённые матрицы размера . Тогда (неравенство Либа)
Пусть
Вычислите левую и правую части неравенства.
Покажите, что достаточным условием равенства является коммутативность , , . Однако это условие не является необходимым.