-y}{T-t}\right) + K\min(y,0)^2\right).\end{aligned}$$

By using an infimal convolution, we can transform Eq. (\[m1:hl\]) into: $$\begin{aligned}
\nonumber \tilde{v}(t,S) &=& \sup_{x} \left(Sx - (T-t) H(x) - \sup_y \left(yx - K\min(y,0)^2\right)\right)\\
\nonumber &=& \sup_{x} \left(Sx - (T-t) H(x) - \chi_{\mathbb R_-}(x) - \frac{x^2}{4K}\right)\\
\label{m1:vcff} &=& \sup_{x \le 0} \left(Sx - (T-t) H(x) - \frac{x^2}{4K}\right).\end{aligned}$$

This is the first result of the Theorem.\
Furthermore, we know that it is the unique weak semi-concave solution of the following Hamilton-Jacobi equation: $$-\partial_t \tilde{v}(t,S) + H(\partial_S \tilde{v}(t,S)) = 0,$$ with terminal condition $\tilde{v}(T,S) = K\min(S,0)^2$.\
This equation is exactly the same as Eq. (\[m1:HJBc\]), hence the second assertion of the Theorem.\
Moreover the optimal control in the modified problem (\[lfa\]) is given by $$a^*(t,S) = H'(\partial_S \tilde{v}(t,S)).$$

Therefore, the optimal control function in the initial problem is: $$\tilde{b}^*(t,S) = \left\{
                    \begin{array}{ll}
                       -\frac{1}{\partial_S \tilde{v}(t,S)}, & \partial_S \tilde{v}(t,S) <0 \\
                      +\infty, & \partial_S \tilde{v}(t,S) \ge 0.
                    \end{array}
                  \right.$$

If $S \ge (T-t) H'(0) = \lambda (T-t)  \int_0^{\infty} pf(p) dp$, then
-y}{T - t}\right) + K\min(y,0)^2\right).\end{aligned}$$ 

 By using an infimal convolution, we can transform Eq. (\[m1: hl\ ]) into: $ $ \begin{aligned } 
 \nonumber \tilde{v}(t, S) & = & \sup_{x } \left(Sx - (T - t) H(x) - \sup_y \left(yx - K\min(y,0)^2\right)\right)\\ 
 \nonumber & = & \sup_{x } \left(Sx - (T - t) H(x) - \chi_{\mathbb R_-}(x) - \frac{x^2}{4K}\right)\\ 
 \label{m1: vcff } & = & \sup_{x \le 0 } \left(Sx - (T - t) H(x) - \frac{x^2}{4K}\right).\end{aligned}$$ 

 This is the first resultant role of the Theorem.\ 
 Furthermore, we acknowledge that it is the unique weak semi - concave solution of the following Hamilton - Jacobi equality: $ $ -\partial_t \tilde{v}(t, S) + H(\partial_S \tilde{v}(t, S) ) = 0,$$ with terminal condition $ \tilde{v}(T, S) = K\min(S,0)^2$.\ 
 This equation is precisely the same as Eq. (\[m1: HJBc\ ]), hence the second affirmation of the Theorem.\ 
 furthermore the optimal control in the change problem (\[lfa\ ]) is given by $ $ a^*(t, S) = H'(\partial_S \tilde{v}(t, S)).$$ 

 consequently, the optimal control affair in the initial problem is: $ $ \tilde{b}^*(t, S) = \left\ { 
                     \begin{array}{ll } 
                        -\frac{1}{\partial_S \tilde{v}(t, S) }, & \partial_S \tilde{v}(t, S) < 0 \\ 
                       + \infty, & \partial_S \tilde{v}(t, S) \ge 0. 
                     \end{array } 
                   \right.$$ 

 If $ S \ge (T - t) H'(0) = \lambda (T - t)   \int_0^{\infty } pf(p) dp$, then
-y}{T-t}\gight) + K\min(y,0)^2\right).\end{aligked}$$

By using an iudimal ronvolufion, we zan transform Eq. (\[m1:hl\]) into: $$\bejin{aoignee}
\nonumber \tilde{v}(t,S) &=& \suo_{x} \left(Sx - (T-t) H(x) - \sup_b \left(yx - K\min(y,0)^2\rmfht)\righb)\\
\uonumgcr &=& \sbp_{e} \left(Sx - (T-t) H(x) - \chi_{\mathbt R_-}(x) - \frac{x^2}{4K}\richg)\\
\lcbel{m1:vcff} &=& \sup_{x \le 0} \left(Sx - (T-t) H(x) - \fwac{x^2}{4K}\ribhh).\end{aligned}$$

Thif is ehe rprwt result of the Theorem.\
Furthsrmore, xe know that it is the unique weak semi-cojcavf solution of the vollowing Hqmilein-Jacobi equxtion: $$-\partpcl_t \tilde{v}(t,A) + H(\partial_S \tilde{v}(t,S)) = 0,$$ with tefminak conditiob $\rilfg{v}(T,S) = K\min(S,0)^2$.\
Tiis eqlation is exagnly the same ax Eq. (\[m1:HJBc\]), henge thx sexond assertion of the Theorem.\
Moreover tre optiman eontrol in the modifiwd probnem (\[nfa\]) kw gkveh uy $$z^*(t,S) = H'(\oarvial_S \tilde{b}(t,S)).$$

Thereforw, the optimal contrpl dunction in tge inieiwl problem is: $$\tilde{b}^*(t,S) = \left\{
                    \begin{array}{ll}
                       -\fraf{1}{\partial_S \tilde{v}(t,S)}, & \partial_S \tilde{v}(t,S) <0 \\
                      +\inhth, & \kavbial_R \tllde{v}(t,S) \ge 0.
                    \end{array}
                  \right.$$

If $S \ge (T-t) H'(0) = \lwmnqa (T-t)  \int_0^{\infjy} pf(p) bl$, fhen
-y}{T-t}\right) + K\min(y,0)^2\right).\end{aligned}$$ By using an infimal can Eq. (\[m1:hl\]) $$\begin{aligned} \nonumber \tilde{v}(t,S) H(x) \sup_y \left(yx - \nonumber &=& \sup_{x} - (T-t) H(x) - \chi_{\mathbb R_-}(x) \frac{x^2}{4K}\right)\\ \label{m1:vcff} &=& \sup_{x \le 0} \left(Sx - (T-t) H(x) - \frac{x^2}{4K}\right).\end{aligned}$$ This the first result of the Theorem.\ Furthermore, we know that it is the weak solution the Hamilton-Jacobi equation: $$-\partial_t \tilde{v}(t,S) + H(\partial_S \tilde{v}(t,S)) = 0,$$ with terminal condition $\tilde{v}(T,S) = K\min(S,0)^2$.\ This is exactly the same as Eq. (\[m1:HJBc\]), hence second assertion of the Moreover the optimal control in modified (\[lfa\]) is by = \tilde{v}(t,S)).$$ Therefore, the control function in the initial problem is: $$\tilde{b}^*(t,S) = \left\{ \begin{array}{ll} -\frac{1}{\partial_S \tilde{v}(t,S)}, & \partial_S \tilde{v}(t,S) <0 +\infty, & \ge 0. \right.$$ $S (T-t) H'(0) = \int_0^{\infty} pf(p) dp$, then
-y}{T-t}\right) + K\min(y,0)^2\right).\end{aligNed}$$

By using An infImaL coNvOlutIon, wE can transform EQ. (\[M1:hl\]) iNto: $$\begin{aligned}
\nonumbeR \tildE{v}(T,s) &=& \sup_{X} \LeFt(Sx - (T-T) H(x) - \sup_y \LEfT(YX - K\mIn(Y,0)^2\rIghT)\rIGhT)\\
\nonuMbeR &=& \sup_{x} \leFt(Sx - (T-t) H(x) - \chI_{\maThBb R_-}(x) - \frac{x^2}{4K}\riGHt)\\
\Label{m1:vcff} &=& \Sup_{X \le 0} \left(Sx - (T-t) H(X) - \frAc{x^2}{4K}\riGhT).\enD{AlignEd}$$

THis is The firST resulT of the TheOrEM.\
FurthERmore, we KNOw That It is the unique weak SEmI-Concave solutioN of the FoLLoWINg HAmiLton-Jacobi EqUatioN: $$-\Partial_T \TiLDE{V}(t,S) + h(\Partial_S \tilde{V}(t,S)) = 0,$$ with termINal ConditIoN $\tiLDe{v}(T,S) = K\Min(S,0)^2$.\
THiS EquAtion is exacTly tHe same as EQ. (\[m1:HJBc\]), HEnce the SEcond asSertioN of The theoREm.\
moReoVeR The OPtImaL ConTrol in thE mOdIfied ProbLEM (\[LFa\]) is GivEn by $$A^*(t,S) = H'(\pArtial_S \tilde{v}(T,S)).$$

THereFOre, The opTimal ContRoL funcTion in The inItIal problem is: $$\tilDe{b}^*(t,s) = \left\{
                    \begiN{arRaY}{ll}
                       -\FrAc{1}{\parTIal_S \tiLde{V}(t,S)}, & \Partial_s \tilde{v}(T,s) <0 \\
                      +\inFtY, & \PARtIal_S \tilde{v}(t,S) \ge 0.
                    \end{aRrAY}
                  \RiGht.$$

If $S \ge (t-t) H'(0) = \lamBDa (t-t)  \INt_0^{\infty} pF(p) Dp$, tHen
-y}{T-t}\right) + K\min(y, 0)^2\right ).\en d{a lig ne d}$$ 

By  using an infi m al c onvolution, we can tra nsfor mE q. ( \ [m 1:hl\ ]) into :  $ $ \ beg in {a lig ne d }\nonu mbe r \tild e{v}(t,S)&=&  \ sup_{x} \lef t (S x - (T-t)H(x ) - \sup_y \ lef t(yx -  K \mi n (y,0) ^2\ right )\righ t )\\
\n onumber & =& \sup_{ x } \left ( S x- (T -t) H(x) - \chi_{ \ ma t hbb R_-}(x) -\frac{ x^ 2 }{ 4 K }\r igh t)\\
\labe l{ m1:vc f f} &=&\ su p _ { x \ l e 0} \left(Sx  - (T-t) H( x ) -  \frac {x ^2} { 4K}\ri ght). \e n d{a ligned}$$
This  is the f irst r e sult of the The orem.\ 
Fu rth ermo r e,  w e k no w  th a titi s t he uniqu ewe ak se mi-c o n c a ve s olu tion  of t he followingHam ilto n -Ja cobiequat ion:  $ $-\pa rtial_ t \ti ld e{v}(t,S) + H(\ part ial_S \ti lde {v }(t ,S )) =0 ,$$ wi thter minal c onditio n  $\ ti l d e {v }(T,S) = K\min(S,0 )^ 2 $ .\ 
This eq uation is  e x actly th esam e as E q. (\ [m1: H JB c\]), he nce th e  s ec ond ass er tion o fthe  Th eorem . \
Mo reover  the opt imalc ontrol in them odified probl e m( \ [l f a\])  is  given by $ $a^* ( t,S)  = H ' (\ par t ial_S  \til de { v} ( t,S)).$$

Therefore ,the op timal  control func tion in th e i nitial p robl e mi s: $$\tilde{b} ^*(t, S) = \left \ {
                 \begin{a r r ay}{ll}                -\frac { 1 }{\p ar tial_S\ti lde{v}( t,S )},  &\pa rt ial_S \ti lde{v}(t ,S )<0  \ \
               +\i nfty, & \par tial_ S \t il de { v}( t,S) \g e  0 .               \e nd{a r ray }
              \rig ht .$ $

If $ S \ge (T-t) H '( 0) = \lamb da  (T -t)  \ i n t_0^{\in fty} pf(p) dp$, then
-y}{T-t}\right) +_K\min(y,0)^2\right).\end{aligned}$$

By using_an infimal convolution, we_can transform_Eq._(\[m1:hl\]) into:_$$\begin{aligned}
\nonumber_\tilde{v}(t,S) &=& \sup_{x}_\left(Sx - (T-t)_H(x) - \sup_y \left(yx_- K\min(y,0)^2\right)\right)\\
\nonumber &=&_\sup_{x}_\left(Sx - (T-t) H(x) - \chi_{\mathbb R_-}(x) - \frac{x^2}{4K}\right)\\
\label{m1:vcff} &=& \sup_{x \le 0} \left(Sx_-_(T-t) H(x)_-_\frac{x^2}{4K}\right).\end{aligned}$$

This_is the first result of_the Theorem.\
Furthermore, we know that_it is_the unique weak semi-concave solution of the following_Hamilton-Jacobi_equation: $$-\partial_t \tilde{v}(t,S)_+ H(\partial_S \tilde{v}(t,S)) = 0,$$ with terminal condition $\tilde{v}(T,S)_= K\min(S,0)^2$.\
This equation is exactly the_same as Eq._(\[m1:HJBc\]),_hence_the second assertion of_the Theorem.\
Moreover the optimal control in_the modified problem (\[lfa\]) is given_by $$a^*(t,S) = H'(\partial_S \tilde{v}(t,S)).$$

Therefore, the optimal_control function in the initial problem_is: $$\tilde{b}^*(t,S) = \left\{
 _ _    _  _ _  _   \begin{array}{ll}
  _  _     __  ___ _  _-\frac{1}{\partial_S_\tilde{v}(t,S)}, &_\partial_S_\tilde{v}(t,S) <0 \\
   __      _   __   _ +\infty, & \partial_S \tilde{v}(t,S)_\ge 0.
    _ _ _          _\end{array}
     _   _ __  __ \right.$$

If_$S \ge (T-t) H'(0) = \lambda (T-t)_ \int_0^{\infty}_pf(p) dp$, then