The inverse first passage time problem for killed Brownian motion

The classical inverse first passage time problem asks whether, for a Brownian motion (Bt)t.0 and a positive random variable ., there exists a barrier b:.+.. such that .{Bs>b(s),0.s.t}=.{.>t} , for all t.0 . We study a variant of the inverse first passage time problem for killed Brownian motion. We show that if .>0 is a killing rate parameter and ..(..,0] is the indicator of the set (..,0] then, under certain compatibility assumptions, there exists a unique continuous function b:.+.. such that ..[...t0..(..,0](Bs.b(s))ds]=.{.>t} holds for all t.0. This is a significant improvement of a result of the first two authors (Ann. Appl. Probab. 24 (2014) 1.33). The main difficulty arises because ..(..,0] is discontinuous. We associate a semilinear parabolic partial differential equation (PDE) coupled with an integral constraint to this version of the inverse first passage time problem. We prove the existence and uniqueness of weak solutions to this constrained PDE system. In addition, we use the recent Feynman.Kac representation results of Glau (Finance Stoch. 20 (2016) 1021.1059) to prove that the weak solutions give the correct probabilistic interpretation.