<t>QuoteYes, your factorization seems fine to me. Here is an alternative pde proof: Let u(t,lambda,r) = your orig. expectation. It solves u_t = L1 u + L2 u - (lambda + r) u on (t,T) where L's are the respective process generators and u(T,lambda,r)=1. But the solution ansatz u = u1(t,lambda) u2(t,r) ...