7.9

Функции недиагонализируемых матриц

[23/100%]
Показать
LaTeX
Задача 7.9.1

Озеро ii в замкнутой системе из трёх озёр равного объёма VV первоначально содержит cic_i фунтов загрязняющего вещества. Если вода в системе циркулирует со скоростями (галлонов/сек), указанными на рисунке 7.9.2, найдите количество загрязняющего вещества в каждом озере в момент времени t>0t>0 (предполагая непрерывное перемешивание), а затем определите загрязнённость каждого озера в долгосрочной перспективе.

Рисунок 7.9.2Рисунок 7.9.2

?
Задача 7.9.2

Предположим, что A∈Cn×n\mathbf{A} \in \mathbb {C}^{n \times n} имеет собственные значения λi\lambda_i с index⁡(λi)=ki\operatorname {index}(\lambda_i)=k_i. Объясните, почему ii-й спектральный проектор задаётся формулой

Gi=fi(A),гдеfi(z)={1при z=λi,0иначе. \mathbf{G}_i = f_i(\mathbf{A}), \quad \text{где} \quad f_i(z) = \begin{cases} 1 & \text{при } z=\lambda _i, \\ 0 & \text{иначе.} \end{cases}

Спектральное разложение f(A)f(\mathbf{A}): для A\mathbf{A} с σ(A)={λ1,…,λs}\sigma (\mathbf{A}) = \left\{ \lambda_1, \ldots , \lambda_s\right\}, ki=index⁡(λi)k_i = \operatorname {index}(\lambda_i), и ff такой, что f(λi),f′(λi),…,f(ki−1)(λi)f(\lambda_i), f'(\lambda_i), \ldots , f^{(k_i-1)}(\lambda_i) существуют для каждого λi\lambda_i,

f(A)=∑i=1s∑j=0ki−1f(j)(λi)j!(A−λiI)jGi. f(\mathbf{A}) = \sum _{i=1}^s \sum _{j=0}^{k_i-1} \frac{f^{(j)}(\lambda _i)}{j!}(\mathbf{A}-\lambda _i\mathbf{I})^j\mathbf{G}_i.
?
Задача 7.9.3

Объясните, почему каждый спектральный проектор Gi\mathbf{G}_i можно выразить в виде многочлена от A\mathbf{A}.

?
Задача 7.9.4

Если σ(An×n)={λ1,λ2,…,λs}\sigma (\mathbf{A}_{n\times n}) = \left\{ \lambda_1, \lambda_2, \ldots , \lambda_s\right\} с ki=index⁡(λi)k_i = \operatorname {index}(\lambda_i), объясните, почему

Ak=∑i=1s∑j=0ki−1(kj)λik−j(A−λiI)jGi. \mathbf{A}^k = \sum _{i=1}^s \sum _{j=0}^{k_i-1} \binom {k}{j}\lambda _i^{k-j}(\mathbf{A}-\lambda _i\mathbf{I})^j\mathbf{G}_i.

Спектральное разложение f(A)f(\mathbf{A}): f(A)=∑i=1s∑j=0ki−1f(j)(λi)j!(A−λiI)jGif(\mathbf{A}) = \sum_{i=1}^s \sum_{j=0}^{k_i-1} \dfrac {f^{(j)}(\lambda_i)}{j!}(\mathbf{A}-\lambda_i\mathbf{I})^j\mathbf{G}_i.

?
Задача 7.9.5

При соглашении (kj)=0\binom {k}{j} = 0 для j>kj>k, объясните, почему для жорданова блока размера k×kk\times k с собственным значением λ\lambda

(λ1⋱⋱⋱1λ) ⁣ ⁣k=(λk(k1)λk−1(k2)λk−2⋯(km−1)λk−m+1λk(k1)λk−1⋱⋮⋱⋱(k2)λk−2λk(k1)λk−1λk)m×m. \begin{pmatrix} \lambda & 1 & & \\ & \ddots & \ddots & \\ & & \ddots & 1 \\ & & & \lambda \end{pmatrix}^{\! \! k} = \begin{pmatrix} \lambda ^k & \binom {k}{1}\lambda ^{k-1} & \binom {k}{2}\lambda ^{k-2} & \cdots & \binom {k}{m-1}\lambda ^{k-m+1} \\ & \lambda ^k & \binom {k}{1}\lambda ^{k-1} & \ddots & \vdots \\ & & \ddots & \ddots & \binom {k}{2}\lambda ^{k-2} \\ & & & \lambda ^k & \binom {k}{1}\lambda ^{k-1} \\ & & & & \lambda ^k \end{pmatrix}_{m\times m}.

Функции жордановых блоков: для жорданова блока J⋆\mathbf{J}_{\star } размера k×kk\times k с собственным значением λ\lambda, и для ff такой, что f(λ),f′(λ),…,f(k−1)(λ)f(\lambda ), f'(\lambda ), \ldots , f^{(k-1)}(\lambda ) существуют,

f(J⋆)=(f(λ)f′(λ)f”(λ)2!⋯f(k−1)(λ)(k−1)!f(λ)f′(λ)⋱⋮⋱⋱f”(λ)2!f(λ)f′(λ)f(λ)). f(\mathbf{J}_{\star }) = \begin{pmatrix} f(\lambda ) & f'(\lambda ) & \dfrac {f”(\lambda )}{2!} & \cdots & \dfrac {f^{(k-1)}(\lambda )}{(k-1)!} \\ & f(\lambda ) & f'(\lambda ) & \ddots & \vdots \\ & & \ddots & \ddots & \dfrac {f”(\lambda )}{2!} \\ & & & f(\lambda ) & f'(\lambda ) \\ & & & & f(\lambda ) \end{pmatrix}.
?
Задача 7.9.6

Найдите eAe^{\mathbf{A}} для A=(628−22−2002)\mathbf{A} = \begin{pmatrix} 6 & 2 & 8 \\ -2 & 2 & -2 \\ 0 & 0 & 2 \end{pmatrix}.

?
Задача 7.9.7

Для f(z)=z−14f(z) = \sqrt[4]{z-1} найдите f(A)f(\mathbf{A}), если A=(−3−8−95119−1−21)\mathbf{A} = \begin{pmatrix} -3 & -8 & -9 \\ 5 & 11 & 9 \\ -1 & -2 & 1 \end{pmatrix}.

?
Задача 7.9.8
?
(a)

Объясните, почему каждая невырожденная A∈Cn×n\mathbf{A} \in \mathbb {C}^{n \times n} имеет квадратный корень.

(b)

Дайте необходимые и достаточные условия существования A\sqrt{\mathbf{A}}, когда A\mathbf{A} вырождена.

Задача 7.9.9

Докажите, что если (λ,x→)(\lambda , \overrightarrow {x}) — собственная пара для A\mathbf{A}, то (f(λ),x→)(f(\lambda ), \overrightarrow {x}) — собственная пара для f(A)f(\mathbf{A}) всякий раз, когда f(A)f(\mathbf{A}) существует. Следует ли отсюда также, что alg mult⁡A(λ)=alg mult⁡f(A)(f(λ))\operatorname {alg\ mult}_{\mathbf{A}}(\lambda ) = \operatorname {alg\ mult}_{f(\mathbf{A})}(f(\lambda ))?

?
Задача 7.9.10

Пусть ff определена на A\mathbf{A}, и пусть λ∈σ(A)\lambda \in \sigma (\mathbf{A}). Приведите пример или объяснение того, почему следующие утверждения не обязательно верны.

?
(a)

f(A)f(\mathbf{A}) подобна A\mathbf{A}.

(b)

geo mult⁡A(λ)=geo mult⁡f(A)(f(λ))\operatorname {geo\ mult}_{\mathbf{A}}(\lambda ) = \operatorname {geo\ mult}_{f(\mathbf{A})}(f(\lambda )).

(c)

index⁡A(λ)=index⁡f(A)(f(λ))\operatorname {index}_{\mathbf{A}}(\lambda ) = \operatorname {index}_{f(\mathbf{A})}(f(\lambda )).

Задача 7.9.11

Объясните, почему Af(A)=f(A)A\mathbf{A}f(\mathbf{A}) = f(\mathbf{A})\mathbf{A} всякий раз, когда f(A)f(\mathbf{A}) существует.

?
Задача 7.9.12

Объясните, почему функция ff определена на A∈Cn×n\mathbf{A} \in \mathbb {C}^{n \times n} тогда и только тогда, когда ff определена на AT\mathbf{A}^T, а затем докажите, что f(AT)=f(A)Tf(\mathbf{A}^T) = f(\mathbf{A})^T. Почему нельзя использовать ( ⋅ )∗(\, \cdot \, )^{*} вместо ( ⋅ )T(\, \cdot \, )^T?

?
Задача 7.9.13

Используя приём записи h(z)=p(f1(z),f2(z))h(z) = p(f_1(z), f_2(z)) для полиномиального тождества pp, тождественно обращающегося в нуль, так что h(A)=p(f1(A),f2(A))=0h(\mathbf{A}) = p(f_1(\mathbf{A}), f_2(\mathbf{A})) = \mathbf{0}, установите следующие тождества.

?
(a)

eAe−A=Ie^{\mathbf{A}}e^{-\mathbf{A}} = \mathbf{I} для всех A∈Cn×n\mathbf{A} \in \mathbb {C}^{n \times n}.

(b)

eαA=(eA)αe^{\alpha \mathbf{A}} = \bigl(e^{\mathbf{A}}\bigr)^{\alpha } для всех α∈C\alpha \in \mathbb {C} и A∈Cn×n\mathbf{A} \in \mathbb {C}^{n \times n}.

(c)

eiA=cos⁡A+isin⁡Ae^{i\mathbf{A}} = \cos \mathbf{A} + i\sin \mathbf{A} для всех A∈Cn×n\mathbf{A} \in \mathbb {C}^{n \times n}.

Задача 7.9.14
?
(a)

Покажите, что если AB=BA\mathbf{A}\mathbf{B} = \mathbf{B}\mathbf{A}, то eA+B=eAeBe^{\mathbf{A}+\mathbf{B}} = e^{\mathbf{A}}e^{\mathbf{B}}.

(b)

Приведите пример, показывающий, что в общем случае eA+B≠eAeBe^{\mathbf{A}+\mathbf{B}} \ne e^{\mathbf{A}}e^{\mathbf{B}}.

Задача 7.9.15

Найдите интерполяционный многочлен Эрмита p(z)p(z), т.е. многочлен наименьшей степени, совпадающий со значениями и производными ff в каждом собственном значении вплоть до порядка на единицу меньше его индекса, такой что p(A)=eAp(\mathbf{A}) = e^{\mathbf{A}} для A=(321−3−2−1−3−2−1)\mathbf{A} = \begin{pmatrix} 3 & 2 & 1 \\ -3 & -2 & -1 \\ -3 & -2 & -1 \end{pmatrix}.

?
Задача 7.9.16

Теорема Кэли--Гамильтона утверждает, что каждая A∈Cn×n\mathbf{A} \in \mathbb {C}^{n \times n} удовлетворяет своему собственному характеристическому уравнению, и это гарантирует, что An+j\mathbf{A}^{n+j} (j=0,1,2,…j=0,1,2,\ldots) может быть выражена как многочлен от A\mathbf{A} степени не выше n−1n-1. Поскольку f(A)f(\mathbf{A}) всегда является многочленом от A\mathbf{A}, теорема Кэли--Гамильтона гарантирует, что f(A)f(\mathbf{A}) может быть выражена как многочлен от A\mathbf{A} степени не выше n−1n-1. Такой многочлен можно определить всякий раз, когда f(j)(λi)f^{(j)}(\lambda_i), j=0,1,…,ai−1j=0,1,\ldots ,a_i-1 существует для каждого λi∈σ(A)\lambda_i \in \sigma (\mathbf{A}), где ai=alg mult⁡(λi)a_i = \operatorname {alg\ mult}(\lambda_i). Стратегия та же, что использовалась для нахождения интерполяционного многочлена Эрмита, согласованного с индексом собственного значения, за исключением того, что вместо kik_i используется aia_i. Если мы можем найти многочлен p(z)=α0+α1z+⋯+αn−1zn−1p(z) = \alpha_0+\alpha_1 z+\cdots +\alpha_{n-1}z^{n-1} такой, что для каждого λi∈σ(A)\lambda_i \in \sigma (\mathbf{A})

p(λi)=f(λi),p′(λi)=f′(λi),…,p(ai−1)(λi)=f(ai−1)(λi), p(\lambda _i) = f(\lambda _i), \quad p'(\lambda _i) = f'(\lambda _i), \quad \ldots , \quad p^{(a_i-1)}(\lambda _i) = f^{(a_i-1)}(\lambda _i),

то p(A)=f(A)p(\mathbf{A}) = f(\mathbf{A}). Почему? Эти уравнения представляют собой линейную систему n×nn\times n с αi\alpha_i в качестве неизвестных, и по той же причине, что и раньше, решение всегда возможно.

?
(a)

Какие преимущества и недостатки имеет этот подход по сравнению с подходом на основе индекса из упражнения 7.9.15?

(b)

Используйте этот метод, чтобы найти многочлен p(z)p(z) такой, что p(A)=eAp(\mathbf{A}) = e^{\mathbf{A}} для A=(321−3−2−1−3−2−1)\mathbf{A} = \begin{pmatrix} 3 & 2 & 1 \\ -3 & -2 & -1 \\ -3 & -2 & -1 \end{pmatrix}. Сравните с упражнением 7.9.15.

Задача 7.9.17

Покажите, что если ff — функция, определённая на

A=(αβγ0αβ00α)=αI+βN+γN2,гдеN=(010001000), \mathbf{A} = \begin{pmatrix} \alpha & \beta & \gamma \\ 0 & \alpha & \beta \\ 0 & 0 & \alpha \end{pmatrix} = \alpha \mathbf{I}+\beta \mathbf{N}+\gamma \mathbf{N}^2, \quad \text{где} \quad \mathbf{N} = \begin{pmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{pmatrix},

то f(A)=f(α)I+βf′(α)N+(γf′(α)+β2f”(α)2!)N2f(\mathbf{A}) = f(\alpha )\mathbf{I} + \beta f'(\alpha )\mathbf{N} + \left(\gamma f'(\alpha ) + \dfrac {\beta^2 f”(\alpha )}{2!}\right)\mathbf{N}^2.

?
Задача 7.9.18

Если h(z)=f(g(z))h(z) = f(g(z)), где ff и gg — функции, такие что g(A)g(\mathbf{A}) и f(g(A))f(g(\mathbf{A})) каждая существует, то h(A)=f(g(A))h(\mathbf{A}) = f(g(\mathbf{A})). Однако доказывать это простой заменой ``zz на A\mathbf{A}'' недопустимо. Один из способов доказать, что h(A)=f(g(A))h(\mathbf{A}) = f(g(\mathbf{A})), — показать, что h(J⋆)=f(g(J⋆))h(\mathbf{J}_{\star }) = f(g(\mathbf{J}_{\star })) для типичного жорданова блока, а затем воспользоваться тем, что f(A)=Pf(J)P−1f(\mathbf{A}) = \mathbf{P}f(\mathbf{J})\mathbf{P}^{-1} строится поблочно из жордановых блоков J\mathbf{J}. Проделайте это для жорданова блока 3×33\times 3 --- обобщение на блоки k×kk\times k аналогично. То есть пусть h(z)=f(g(z))h(z) = f(g(z)), и с помощью упражнения 7.9.17 докажите, что если g(J⋆)g(\mathbf{J}_{\star }) и f(g(J⋆))f(g(\mathbf{J}_{\star })) каждая существует, то

h(J⋆)=f(g(J⋆))для J⋆=(λ100λ100λ). h(\mathbf{J}_{\star }) = f\bigl(g(\mathbf{J}_{\star })\bigr) \quad \text{для } \mathbf{J}_{\star } = \begin{pmatrix} \lambda & 1 & 0 \\ 0 & \lambda & 1 \\ 0 & 0 & \lambda \end{pmatrix}.
?
Задача 7.9.19

Докажите, что если Γi\Gamma_i — простой замкнутый контур, охватывающий λi∈σ(A)\lambda_i \in \sigma (\mathbf{A}), но не охватывающий остальные собственные значения A\mathbf{A}, то ii-й спектральный проектор равен

Gi=12πi∮Γi(ξI−A)−1 dξ=12πi∮ΓiR(ξ) dξ. \mathbf{G}_i = \frac{1}{2\pi i}\oint _{\Gamma _i} (\xi \mathbf{I}-\mathbf{A})^{-1}\, d\xi = \frac{1}{2\pi i}\oint _{\Gamma _i} \mathbf{R}(\xi )\, d\xi .
?
Задача 7.9.20

Для f(z)=z−1f(z) = z^{-1} проверьте, что f(A)=A−1f(\mathbf{A}) = \mathbf{A}^{-1} для любой невырожденной A\mathbf{A}.

?
Задача 7.9.21

Если Γ\Gamma — простой замкнутый контур, охватывающий все собственные значения невырожденной матрицы A\mathbf{A}, чему равно значение 12πi∮Γξ−1(ξI−A)−1 dξ\dfrac {1}{2\pi i}\oint_{\Gamma } \xi^{-1}(\xi \mathbf{I}-\mathbf{A})^{-1}\, d\xi?

?
Задача 7.9.22

Функция обращения f(z)=z−1f(z) = z^{-1} не определена на вырожденных матрицах, но обобщённая функция обращения

g(z)={z−1если z≠0,0если z=0, g(z) = \begin{cases} z^{-1} & \text{если } z \ne 0, \\ 0 & \text{если } z = 0, \end{cases}

определена на всех квадратных матрицах. Из упражнения 7.9.20 ясно, что если A\mathbf{A} невырожденна, то g(A)=A−1g(\mathbf{A}) = \mathbf{A}^{-1}, так что g(A)g(\mathbf{A}) — естественный способ распространить понятие обращения на вырожденные матрицы. Объясните, почему g(A)=ADg(\mathbf{A}) = \mathbf{A}^D является дрейзиновской обратной матрицей A\mathbf{A}, а не обязательно псевдообратной Мура--Пенроуза A†\mathbf{A}^{\dagger }.

?
Задача 7.9.23

Пусть A\mathbf{A} — вырожденная матрица, и пусть Γ\Gamma — простой замкнутый контур, содержащий все собственные значения A\mathbf{A}, кроме λ1=0\lambda_1=0, которое не лежит ни внутри, ни на Γ\Gamma. Докажите, что

12πi∮Γξ−1(ξI−A)−1 dξ=AD \frac{1}{2\pi i}\oint _{\Gamma } \xi ^{-1}(\xi \mathbf{I}-\mathbf{A})^{-1}\, d\xi = \mathbf{A}^D

есть дрейзиновская обратная матрица A\mathbf{A}.

?
Примечание.
?

Подсказка: теорема Коши--Гурса утверждает, что если функция ff аналитична во всех точках внутри и на простом замкнутом контуре Γ\Gamma, то ∮Γf(z) dz=0\oint_{\Gamma } f(z)\, dz = 0.