Science Forums: Matrix Exponential - Science Forums

Jump to content

Welcome to ScienceForums.Net!

Welcome to ScienceForums.Net! We welcome science discussion at all levels — from beginners to researchers, covering topics from biology to computer science, and much more. Registration is fast and free, and allows you to post on the forums, so register now and join the discussions!
  
After you've registered, come in and introduce yourself, or visit the forum index. If you need any help  registering, posting, or if you just have some questions about our site, please feel free to contact us at staff at scienceforums dot net.

  • Start new topics and reply to others
  • Subscribe to topics and forums to get automatic updates
  • Create a ScienceForums.Net Blog!
Guest Message © 2012 DevFuse
Page 1 of 1
  • You cannot start a new topic
  • You cannot reply to this topic

Matrix Exponential On the convergence of the exponential series Rate Topic: -----

#1 gerbil 


Lepton
Hello All,

My question is on the problem of solving the ODE x' = A(t) x (with
x(0) = x0) and A belongs to R(NXN).

During my research I've encountered the question of whether the sum

exp(A(t)) = sum ( I + A(t) + 0.5*(A(t))^2 + ... ) is uniformly
convergenct with respect to t, where t belongs to [0, T] and T is
finite.

One can assumes smooth matrix A(t) and A(t) is invertible.

Moreover, it can be assumed that A(t) is also skew-symmetry if it
helps, and that the limit exp(A(t)) exist and finite for all t.

The question comes from the problem of differentiating exp(A(t)) term
by term. ...


So, is it true that "sum ( I + A(t) + 0.5*(A(t))^2 + ... ) " is uniformly convergent in t?

Best,
Miki


0

#2 DrRocket 


Primate

View Postgerbil, on 7 February 2012 - 12:39 PM, said:

Hello All,

My question is on the problem of solving the ODE x' = A(t) x (with
x(0) = x0) and A belongs to R(NXN).

During my research I've encountered the question of whether the sum

exp(A(t)) = sum ( I + A(t) + 0.5*(A(t))^2 + ... ) is uniformly
convergenct with respect to t, where t belongs to [0, T] and T is
finite.

One can assumes smooth matrix A(t) and A(t) is invertible.

Moreover, it can be assumed that A(t) is also skew-symmetry if it
helps, and that the limit exp(A(t)) exist and finite for all t.

The question comes from the problem of differentiating exp(A(t)) term
by term. ...


So, is it true that "sum ( I + A(t) + 0.5*(A(t))^2 + ... ) " is uniformly convergent in t?

Best,
Miki




So long as the norm of A is bounded on [0,T] (T finite), which it will be if A is a continuous function of t, you will have uniform convergence. This follows from the power series and the fact that  ||A(t)^n|| \le ||A(t)||^n which is true in any Banach algebra. The proof is exactly the same as that in the case that A is a scalar.

This post has been edited by DrRocket: 7 February 2012 - 06:36 PM


You can know the name of a bird in all the languages of the world, but when you're finished, you'll know absolutely nothing whatever about the bird... -- Richard P. Feynman
0

#3 gerbil 


Lepton
Thanks!

Can you refer me to a link / paper or a book that deals with the convergence of exp(A(t)) ?

Thanks,
Miki
0

#4 DrRocket 


Primate

View Postgerbil, on 9 February 2012 - 06:32 AM, said:

Thanks!

Can you refer me to a link / paper or a book that deals with the convergence of exp(A(t)) ?

Thanks,
Miki


Like I said, it is precisely the same proof as in the scalar case.

Try any book on functional analysis. I haven't specifically checked by you ought to be able to find it in the books by Rudin or Yosida. Really any treatment of Banach algebras. But note this is tantamount to killing a fly with a sledge hammer.

You just write down the power series and apply the inequality that I gave your earlier.

You can know the name of a bird in all the languages of the world, but when you're finished, you'll know absolutely nothing whatever about the bird... -- Richard P. Feynman
0

Share this topic:


Page 1 of 1
  • You cannot start a new topic
  • You cannot reply to this topic

1 User(s) are reading this topic
0 members, 1 guests, 0 anonymous users