 can claim that $\tilde{E}_1=E_1,\tilde{E}_2=E_2$. In what follows we shall still use $\tilde{a}$ as the upper boundary (in $x_n$) of the set $E_1$ (also the lower boundary of $E$), and $\tilde{b}$ as the lower boundary (in $x_n$) of the set $E_2$ (also the upper boundary of $E$), and they are uniformly Lipschitz continuous and bounded curves. We notice that the curve $a$ in Assumption \[assumpHf\] is not necessarily identical to the curve $\tilde{a}$, and the curve $b$ is not necessarily identical to the curve $\tilde{b}$ either. Figure \[region\] illustrates the continuation region $E$ in a two dimensional case.

Regularities of the Value Function
----------------------------------

\[prop2\] Assuming Assumptions \[assumpHf\], \[assumAB\], \[unif1\] and \[unif2\]. If the curves $\tilde{a}=\tilde{a}(\bar{\bf x})$, $\tilde{b}=\tilde{b}(\bar{\bf x})$ are smooth, then $V$ is smooth on ${\mathbb{R}}^{n-1}\times(\tilde{a},\tilde{b})$, and $$\begin{aligned}
\alpha V({\bf x})-\mathcal{L}V({\bf x})&=H({\bf x}),\quad {\bf
x}\in{\mathbb{R}}^{n-1}\times(\tilde{a},\tilde{b}),\label{inAB}\\
\alpha V({\bf x})-\mathcal{L}V({\bf x})&>H({\bf x}),\quad {\bf
x}\in{\mathbb{R}}^{n-1}\times(-\infty,\tilde{a}), \\
\alpha V({\bf x})-\mathcal{L}V({\bf x})&<H({\bf x}),\quad {\bf
x}\in{\mathbb{R}}^{n-1}\times(\tilde{b},\infty).\end{aligned}$$

It is still not clear under what conditions the free boundary curves are smooth. But it is reasonable to believe that any condition on this should involve jointly the underlying process and all the reward functions of this problem.

We notice that $V$ is $H$-$\alpha$ harmonic on ${\mathbb{R}}^{n-1}\times(\tilde{
can claim that $ \tilde{E}_1 = E_1,\tilde{E}_2 = E_2$. In what follows we shall still use $ \tilde{a}$ as the upper boundary (in $ x_n$) of the located $ E_1 $ (besides the lower boundary of $ E$), and $ \tilde{b}$ as the low limit (in $ x_n$) of the set $ E_2 $ (also the upper boundary of $ E$), and they are uniformly Lipschitz continuous and bounded bend. We notice that the curve $ a$ in Assumption \[assumpHf\ ] is not inevitably identical to the curvature $ \tilde{a}$, and the curve $ b$ is not inevitably identical to the curve $ \tilde{b}$ either. Figure \[region\ ] illustrates the continuation area $ E$ in a two dimensional case. 

 Regularities of the Value Function 
 ---------------------------------- 

 \[prop2\ ] Assuming assumption \[assumpHf\ ], \[assumAB\ ], \[unif1\ ] and \[unif2\ ]. If the curves $ \tilde{a}=\tilde{a}(\bar{\bf x})$, $ \tilde{b}=\tilde{b}(\bar{\bf x})$ are smooth, then $ V$ is politic on $ { \mathbb{R}}^{n-1}\times(\tilde{a},\tilde{b})$, and $ $ \begin{aligned } 
 \alpha V({\bf x})-\mathcal{L}V({\bf x})&=H({\bf x}),\quad { \bf 
 x}\in{\mathbb{R}}^{n-1}\times(\tilde{a},\tilde{b}),\label{inAB}\\ 
 \alpha V({\bf x})-\mathcal{L}V({\bf x})&>H({\bf x}),\quad { \bf 
 x}\in{\mathbb{R}}^{n-1}\times(-\infty,\tilde{a }), \\ 
 \alpha V({\bf x})-\mathcal{L}V({\bf x})&<H({\bf x}),\quad { \bf 
 x}\in{\mathbb{R}}^{n-1}\times(\tilde{b},\infty).\end{aligned}$$ 

 It is still not clear under what conditions the barren boundary curves are smooth. But it is reasonable to believe that any circumstance on this should involve jointly the underlie process and all the reward functions of this trouble. 

 We notice that $ V$ is $ H$-$\alpha$ harmonic on $ { \mathbb{R}}^{n-1}\times(\tilde {
 caj claim that $\tilde{E}_1=E_1,\tildt{E}_2=E_2$. In what follocw we siall stjll use $\gilde{a}$ as the upper boundary (ib $x_n$) if the set $E_1$ (also the uower boujdary of $E$), aid $\tilde{b}$ as the lower boundarg (in $r_n$) of the set $E_2$ (slso the u[per boundary mf $E$), and they are uniformly Lipschitz cjntinuois and bounded corves. Re nknige that the curve $a$ in Assumptioh \[assumkHf\] is not necessatily identical to the curvf $\tipde{a}$, and the curve $b$ is not ngdesfqrily identizal to the curve $\tilde{g}$ either. Figure \[region\] illustrages tke continuajnin gggion $E$ in a two qimensional gsse.

Regglaritirs of the Valuc Funrtiob
----------------------------------

\[prop2\] Assuming Assumpvions \[assumpHf\], \[assumWB\], \[unif1\] atd \[unif2\]. If the curvws $\tildg{a}=\tilge{a}(\bxe{\bf x})$, $\uilve{b}=\filde{b}(\har{\uf x})$ are smkoth, then $V$ is smooth on ${\mathbn{R}}^{g-1}\nomes(\tilde{a},\timde{b})$, agd $$\begin{aligned}
\alpha V({\bf x})-\mathcal{L}V({\bf x})&=H({\bx x}),\suad {\bf
x}\in{\mathbb{R}}^{n-1}\times(\rilde{a},\tilde{b}),\label{inAB}\\
\wlpha V({\bf x})-\mathcal{L}V({\bf x})&>H({\bf x}),\quad {\bf
x}\in{\mathbb{R}}^{n-1}\times(-\infty,\thlde{a}), \\
\xlpkq V({\bf z})-\mwthcal{L}V({\bf x})&<H({\bf x}),\quad {\bf
x}\in{\mathbb{R}}^{n-1}\times(\tilde{f},\jngtj).\end{aligned}$$

It is ftill not ckewr onder what conaitions tge free boundary ckrves ate smoith. But iu is teasonable to believe that qny conditiou ob this should invopve jointly the undetlying process and all che resard functilns of thjr problem.

We notize nhat $V$ is $H$-$\alpha$ harmonic on ${\mwthbb{R}}^{n-1}\tines(\tnlde{
can claim that $\tilde{E}_1=E_1,\tilde{E}_2=E_2$. In what follows still $\tilde{a}$ as upper boundary (in (also lower boundary of and $\tilde{b}$ as lower boundary (in $x_n$) of the $E_2$ (also the upper boundary of $E$), and they are uniformly Lipschitz continuous bounded curves. We notice that the curve $a$ in Assumption \[assumpHf\] is not identical the $\tilde{a}$, the curve $b$ is not necessarily identical to the curve $\tilde{b}$ either. Figure \[region\] illustrates the region $E$ in a two dimensional case. Regularities the Value Function ---------------------------------- Assuming Assumptions \[assumpHf\], \[assumAB\], \[unif1\] \[unif2\]. the curves x})$, x})$ smooth, then $V$ smooth on ${\mathbb{R}}^{n-1}\times(\tilde{a},\tilde{b})$, and $$\begin{aligned} \alpha V({\bf x})-\mathcal{L}V({\bf x})&=H({\bf x}),\quad {\bf x}\in{\mathbb{R}}^{n-1}\times(\tilde{a},\tilde{b}),\label{inAB}\\ \alpha V({\bf x})-\mathcal{L}V({\bf x})&>H({\bf x}),\quad x}\in{\mathbb{R}}^{n-1}\times(-\infty,\tilde{a}), \\ x})-\mathcal{L}V({\bf x})&<H({\bf {\bf It still not clear conditions the free boundary curves are is reasonable to believe that any condition on should involve the underlying process and all the functions of this problem. We notice that $V$ $H$-$\alpha$ harmonic on ${\mathbb{R}}^{n-1}\times(\tilde{
 can claim that $\tilde{E}_1=E_1,\tilde{E}_2=e_2$. In what folLows wE shAll StIll uSe $\tiLde{a}$ as the upper BOundAry (in $x_n$) of the set $E_1$ (also thE loweR bOUndaRY oF $E$), and $\Tilde{b}$ aS ThE LOweR bOuNdaRy (IN $x_N$) of thE seT $E_2$ (also tHe upper bouNdaRy Of $E$), and they arE UnIformly LipSchItz continuouS anD boundEd CurVEs. We nOtiCe thaT the cuRVe $a$ in ASsumption \[AsSUmpHf\] iS Not neceSSArIly iDentical to the curvE $\TiLDe{a}$, and the curve $B$ is not NeCEsSARilY idEntical to tHe Curve $\TIlde{b}$ eiTHeR. fIGurE \[Region\] illustrAtes the contINuaTion reGiOn $E$ IN a two dImensIoNAl cAse.

RegulariTies Of the ValuE FunctIOn
----------------------------------

\[prop2\] ASSuming ASsumptIonS \[asSumphF\], \[aSsUmAb\], \[uNIf1\] aND \[uNif2\]. iF thE curves $\tIlDe{A}=\tildE{a}(\baR{\BF X})$, $\TildE{b}=\tIlde{B}(\bar{\bF x})$ are smooth, thEn $V$ Is smOOth On ${\matHbb{R}}^{n-1}\TimeS(\tIlde{a},\Tilde{b})$, And $$\beGiN{aligned}
\alpha V({\bF x})-\maThcal{L}V({\bf X})&=H({\bF x}),\QuaD {\bF
x}\in{\mAThbb{R}}^{n-1}\TimEs(\tIlde{a},\tiLde{b}),\labEL{inaB}\\
\ALPHa v({\bf x})-\mathcal{L}V({\bf x})&>H({\bF x}),\QUAd {\Bf
x}\in{\matHbb{R}}^{n-1}\tIMeS(-\iNFty,\tilde{A}), \\
\aLphA V({\bf X})-\MAthcaL{L}V({\bF X})&<H({\Bf x}),\quad {\bF
x}\in{\maTHbB{R}}^{N-1}\times(\tIlDe{b},\infTy).\End{AliGned}$$

IT Is stIll not Clear undEr whaT Conditions the fREe boundary curVEs ARE sMOoth. but It is reasonaBle tO BeliEve tHAt Any COnditIon on ThIS sHOuld involve jointly tHe UnderlYing pRocess and all tHe reward fuNCTIons of thIs prOBlEM.

We notice that $V$ Is $H$-$\alPha$ harmoniC On ${\mathbb{r}}^{n-1}\timEs(\tilde{
 can claim that $\tilde{E} _1=E_1,\ti lde{E }_2 =E_ 2$ . In  wha t follows we s h allstill use $\tilde{a}$as th eu pper bo undar y (in $ x _n $ )  of  t he  se t$ E_ 1$ (a lso  the lo wer bounda ryof  $E$), and $ \ ti lde{b}$ as  th e lower boun dar y (in$x _n$ )  of t heset $ E_2$ ( a lso th e upper b ou n dary o f  $E$),a n dthey  are uniformly Li p sc h itz continuous  and b ou n de d cur ves . We notic ethatt he curv e  $ a $ inA ssumption \[a ssumpHf\] i s  no t nece ss ari l y iden tical  t o  th e curve $\t ilde {a}$, and  the c u rve $b$ is notnecess ari lyiden t ic al  to  t h e c u rv e $ \ til de{b}$ e it he r. Fi gure \ [ r egio n\]  ill ustra tes the conti nua tion reg ion $ E$ in  a t wo  dime nsiona l cas e. 

Regularitiesof t he ValueFun ct ion 
- ----- - ------ --- --- ------- ------- - 

\ [p r o p 2\ ] Assuming Assumpt io n s  \ [assumpH f\], \ [ as su m AB\], \[ un if1 \] a n d  \[un if2\ ] .If the c urves$ \t il de{a}=\ ti lde{a} (\ bar {\b f x}) $ , $\ tilde{ b}=\tild e{b}( \ bar{\bf x})$ a r e smooth, the n  $ V $  i s  smo oth  on ${\math bb{R } }^{n -1}\ t im es( \ tilde {a},\ ti l de { b})$, and $$\begin{ al igned} 
\alp ha V({\bf x}) -\mathcal{ L } V ({\bf x} )&=H ( {\ b f x}),\quad {\ bf
x} \in{\mathb b {R}}^{n- 1}\ti mes(\til de{a},\ti l d e{b}),\l abe l{i nAB }\\ \ al pha V({\bf x} ) - \mat hc al{L}V( {\b f x})&> H({ \bf  x} ),\ qu ad {\bf
x }\in{\ma th bb {R }} ^{n -1}\t i mes(-\in ft y,\ ti lde {a}), \\
\al pha V ({\b fx} ) -\m athcal{ L }V ( { \bfx} )& <H({ \bf  x }),\q uad{ \bf 
x}\in{ \mathbb{R }}^ { n-1} \t im es(\til de{b},\infty) .\ end{aligne d} $$
It is s till not  clear under what condi t ions th e f ree b ound ary curve s a re smo oth .  But i t is r eason ab let o  beli e v etha tany condit i o n o n thi sshou ld invo lve jointly the un d erl ying processand  all t he  re w ar d  fu nc t ion s of this problem .

We noti ce th at $V$ is$ H$- $\ alpha$harmoni c on$ {\mathb b{R}}^{n- 1}\times( \t ilde { 
 can_claim that_$\tilde{E}_1=E_1,\tilde{E}_2=E_2$. In what follows_we shall_still_use $\tilde{a}$_as_the upper boundary_(in $x_n$) of_the set $E_1$ (also_the lower boundary_of_$E$), and $\tilde{b}$ as the lower boundary (in $x_n$) of the set $E_2$ (also_the_upper boundary_of_$E$),_and they are uniformly Lipschitz_continuous and bounded curves. We_notice that_the curve $a$ in Assumption \[assumpHf\] is not_necessarily_identical to the_curve $\tilde{a}$, and the curve $b$ is not necessarily_identical to the curve $\tilde{b}$ either._Figure \[region\] illustrates_the_continuation_region $E$ in a_two dimensional case.

Regularities of the Value_Function
----------------------------------

\[prop2\] Assuming Assumptions \[assumpHf\], \[assumAB\], \[unif1\]_and \[unif2\]. If the curves $\tilde{a}=\tilde{a}(\bar{\bf x})$,_$\tilde{b}=\tilde{b}(\bar{\bf x})$ are smooth, then $V$_is smooth on ${\mathbb{R}}^{n-1}\times(\tilde{a},\tilde{b})$, and_$$\begin{aligned}
\alpha V({\bf_x})-\mathcal{L}V({\bf x})&=H({\bf x}),\quad {\bf
x}\in{\mathbb{R}}^{n-1}\times(\tilde{a},\tilde{b}),\label{inAB}\\
\alpha V({\bf_x})-\mathcal{L}V({\bf x})&>H({\bf x}),\quad_{\bf
x}\in{\mathbb{R}}^{n-1}\times(-\infty,\tilde{a}), \\
\alpha_V({\bf x})-\mathcal{L}V({\bf x})&<H({\bf_x}),\quad {\bf
x}\in{\mathbb{R}}^{n-1}\times(\tilde{b},\infty).\end{aligned}$$

It is still not clear_under what conditions_the free boundary curves are smooth._But_it is reasonable_to_believe_that any_condition on this_should_involve jointly_the_underlying process and all the reward_functions_of this problem.

We notice that $V$ is_$H$-$\alpha$ harmonic on ${\mathbb{R}}^{n-1}\times(\tilde{