Quickest detection of a hidden target and extremal surfaces

preprint2014arXivOpen access

Abstract

Let Z=(Zt)t≥0Z=(Z_t)_{t\ge0} be a regular diffusion process started at 00, let ℓ\ell be an independent random variable with a strictly increasing and continuous distribution function FF, and let τℓ=inf⁡{t≥0∣Zt=ℓ}τ_{\ell}=\inf\{t\ge0\vert Z_t=\ell\} be the first entry time of ZZ at the level ℓ\ell. We show that the quickest detection problem inf⁡τ[P(τ<τℓ)+cE(τ−τℓ)+]\inf_τ\bigl[\mathsf{P}(τ<τ_{\ell})+c\mathsf{E}(τ-τ_{\ell})^+\bigr] is equivalent to the (three-dimensional) optimal stopping problem sup⁡τE[Rτ−∫0τc(Rt) dt],\sup_τ\mathsf{E}\biggl[R_τ-\int _0^τc(R_t)\,dt\biggr], where R=S−IR=S-I is the range process of X=2F(Z)−1X=2F(Z)-1 (i.e., the difference between the running maximum and the running minimum of XX ) and c(r)=crc(r)=cr with c>0c>0. Solving the latter problem we find that the following stopping time is optimal: τ∗=inf⁡{t≥0∣f∗(It,St)≤Xt≤g∗(It,St)},τ_*=\inf \bigl\{t\ge0\vert f_*(I_t,S_t)\le X_t\le g_*(I_t,S_t)\bigr\}, where the surfaces f∗f_* and g∗g_* can be characterised as extremal solutions to a couple of first-order nonlinear PDEs expressed in terms of the infinitesimal characteristics of XX and cc. This is done by extending the arguments associated with the maximality principle [Ann. Probab. 26 (1998) 1614-1640] to the three-dimensional setting of the present problem and disclosing the general structure of the solution that is valid in all particular cases. The key arguments developed in the proof should be applicable in similar multi-dimensional settings.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.