Sequential testing problems for Poisson processes

We present the explicit solution of the Bayesian problem of sequential testing of two simple hypotheses about the intensity of an observed Poisson process. The method of proof consists of reducing the initial problem to a free-boundary differential-difference Stephan problem and solving the latter by use of the principles of smooth and continuous fit. A rigorous proof of the optimality of the Wald's sequential probability ratio test in the variational formulation of the problem is obtained as a consequence of the solution of the Bayesian problem.