O'Reilly logo

Topics in Matrix Analysis by Charles R. Johnson, Roger A. Horn

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

image

Proof: The differentiability and domain assumptions are sufficient to define the primary matrix functions f(tA) (for t in a neighborhood of t0) and f′(t0A). Let A have Jordan canonical form A = SJS−1, where J has the form (6.2.5). Then

image

so it suffices to prove (6.2.35) in the special case of a single Jordan block.

    Let Jk(λ) be one of the Jordan blocks in the Jordan canonical form of A, so f(t) is at least k-times differentiable at t = t0λ and is at least (k − 1)-times differentiable in a neighborhood of t0λ. For t ≠ 0, let St ≡ diag(1, 1/t

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required