Forward equation of a piecewise-deterministic Markov process
ID: forward-equation-of-a-piecewise-deterministic-markov-process
If the destination transition kernel has probability density function , the formal adjoint operator of is . Multiply by a smooth compactly supported test function, use integration by parts on transport and Fubini's theorem on the jump gain to prove the formula when the integrals are finite. The general formulation is for probability measures . A deterministic initial value leaves positive no-jump atomic mass at finite times, so a full smooth density cannot be assumed for that initialization.
New to topics? Read the docs here!