Analyticity of Poisson-driven stochastic systems

Let . be a functional of the sample path of a stochastic system driven by a Poisson process with rate . . It is shown in a very general setting that the expectation of .,E. [.], is an analytic function of . under certain moment conditions. Instead of following the straightforward approach of proving that derivatives of arbitrary order exist and that the Taylor series converges to the correct value, a novel approach consisting in a change of measure argument in conjunction with absolute monotonicity is used. Functionals of non-homogeneous Poisson processes and Wiener processes are also considered and applications to light traffic derivatives are briefly discussed.