Initial value theorem