Let $(\Omega,\mathcal F, \mathbb P)$ be a probability space on which a Brownian motion $W$ is defined. For each $n\ge 1$, let $U_n:=[1/n,n]$ (resp. $U_\infty:=\mathbb R_+$) and $\mathcal U_n$ (resp. $\mathcal U_\infty$) be the set of progressively measurable (w.r.t. the Brownian filtration) processes $p=(p_t)_{t\ge 0}$ taking values in $U_n$ (resp. $U_\infty$).
Consider the following stochastic control problems: for $t\in [0,1]$ and $x\in [0,1]$,
\begin{eqnarray} v_n(t,x):=\sup_{p\in \mathcal U_n}\mathbb E\left[\int_t^{\min(1,\tau^{p,t,x})}\big(1+\log(p_s)\big)du\right] \\ v_\infty(t,x):=\sup_{p\in \mathcal U_\infty}\mathbb E\left[\int_t^{\min(1,\tau^{p,t,x})}\big(1+\log(p_s)\big)du\right], \end{eqnarray}
where $\tau^{p,t,x}:=\{s\ge t: X^{p,t,x}_s\notin (0,1)\}$ and $dX^{p,t,x}_s=\sqrt{2p_s}dW_s$ for all $s\ge t$ with $X^{p,t,x}_t:=x$.
I have two questions :
- Does the pointwise convergence $v_n\to v_\infty$ hold?
- Does there exist $N$ large enough s.t. $v_n=v_N$ for all $n\ge N$?