 $k$ times continuously differentiable function given on $\bar{D}$ such that the process $u(x_t(x))$ is a local $\{\mathcal{F}_t\}$-martingale on $[0,\tau(x))$ for any $x\in D$.

We abbreviate $\mathcal{M}^k(D,\sigma,b)$ by $\mathcal{M}^k(D)$, or simply $\mathcal{M}^k$ when this will cause no confusion.

\[2b\] Let $x\in D$, and let $\gamma$ be a stopping time, such that $\gamma\le\tau(x)$. Assume that $\xi\in\mathbb{R}^d$, $\xi_t$ and $\xi_t^0$ are adapted continuous processes defined on $[0,\gamma]\cap[0,\infty)$ with values in $\mathbb{R}^d$ and $\mathbb{R}$, respectively, such that $\xi_0=\xi$.

We say that $\xi_t$ is a of $x_t$ in the direction of $\xi$ at point $x$ on $[0,\gamma]$ if for any $u\in\mathcal{M}^1(D,\sigma,b)$ the following process $$\label{2f}
{u_{(\xi_t)}}(x_t(x))+\xi_t^0 u(x_t(x))$$ is a local martingale on $[0,\gamma]$. In this case the process $\xi_t^0$ is called a for $\xi_t$. If $\gamma=\tau(x)$ we simply say that $\xi_t$ is a first quasiderivative of $x_t(y)$ in D in the direction of $\xi$ at $x$.

It is worth mentioning that the first adjoint process is not unique for the first quasiderivative in general. All of the first adjoint processes we consider in this article are local martingales with initial value 0.

\[2bb\] Under the assumptions of Definition \[2b\], additionally assume that $\eta\in\mathbb{R}^d$, $\eta_t$ and $\eta_t^0$ are adapted continuous processes defined on $[0,\gamma]\cap[0,\infty)$ with values in $\mathbb{R}^d$ and $\mathbb{R}$, respectively, such that $\eta_0=\eta$.

We say that
$ k$ times continuously differentiable function given on $ \bar{D}$ such that the procedure $ u(x_t(x))$ is a local $ \{\mathcal{F}_t\}$-martingale on $ [ 0,\tau(x))$ for any $ x\in D$. 

 We abridge $ \mathcal{M}^k(D,\sigma, b)$ by $ \mathcal{M}^k(D)$, or simply $ \mathcal{M}^k$ when this will cause no confusion. 

 \[2b\ ] lease $ x\in D$, and get $ \gamma$ be a stopping time, such that $ \gamma\le\tau(x)$. Assume that $ \xi\in\mathbb{R}^d$, $ \xi_t$ and $ \xi_t^0 $ are adjust continuous process defined on $ [ 0,\gamma]\cap[0,\infty)$ with value in $ \mathbb{R}^d$ and $ \mathbb{R}$, respectively, such that $ \xi_0=\xi$. 

 We say that $ \xi_t$ is a of $ x_t$ in the direction of $ \xi$ at compass point $ x$ on $ [ 0,\gamma]$ if for any $ u\in\mathcal{M}^1(D,\sigma, b)$ the following process $ $ \label{2f } 
 { u_{(\xi_t)}}(x_t(x))+\xi_t^0 u(x_t(x))$$ is a local dolphin striker on $ [ 0,\gamma]$. In this case the process $ \xi_t^0 $ is called a for $ \xi_t$. If $ \gamma=\tau(x)$ we simply say that $ \xi_t$ is a first quasiderivative of $ x_t(y)$ in D in the guidance of $ \xi$ at $ x$. 

 It is worth mentioning that the first adjoint summons is not unique for the first quasiderivative in general. All of the first adjoint procedure we consider in this article are local martingales with initial value 0. 

 \[2bb\ ] Under the assumptions of Definition \[2b\ ], additionally assume that $ \eta\in\mathbb{R}^d$, $ \eta_t$ and $ \eta_t^0 $ are adapted continuous process defined on $ [ 0,\gamma]\cap[0,\infty)$ with values in $ \mathbb{R}^d$ and $ \mathbb{R}$, respectively, such that $ \eta_0=\eta$. 

 We say that
 $k$ himes continuously diffeventiable function givei on $\bad{D}$ such ghat the process $u(x_t(x))$ is a llcql $\{\maukcal{F}_t\}$-martingale on $[0,\gau(x))$ for wny $x\in E$.

We ebbreviate $\mathcem{M}^k(D,\sigma,b)$ by $\latheao{M}^k(D)$, or simply $\mathcal{M}^k$ when this wiln zabse no confusion.

\[2b\] Let $x\in D$, and let $\damma$ br w stopping timg, sucn thaf $\gamma\le\tau(x)$. Assume that $\xi\in\mathgb{R}^d$, $\xi_u$ and $\xi_t^0$ are adapyed continuous processes dffinfd on $[0,\gamma]\cap[0,\inftj)$ with valuga ig $\mathbb{R}^d$ ana $\mathbb{R}$, gzspectively, such that $\xi_0=\xi$.

We say that $\xi_t$ ks a pf $x_t$ in tye diggction of $\xi$ at pjint $x$ on $[0,\gamma]$ if fmr any $i\in\mathcal{M}^1(D,\sinma,b)$ vhe dollowing process $$\labxl{2f}
{u_{(\xi_t)}}(x_t(x))+\xi_t^0 u(x_t(x))$$ if a local mcrtingale on $[0,\gamma]$. In tyis cdse dhe oeocdss $\xm_t^0$ js calped a for $\xi_t$. If $\gamma=\tay(x)$ we simply say thst $\qo_t$ is a firsf quasydqrivative of $x_t(y)$ in D in the direction mf $\si$ at $x$.

It is worth mentuoning that the first adjoint [rocess is not unique for the first quasiderivatiee in eentrql. Alu ov the first adjoint processes we consider in egix srticle are logal martingales wiyh imytial value 0.

\[2bc\] Undex tge assumptions of Fefinityon \[2b\], additionwlly assume that $\eta\in\mathbb{R}^d$, $\wta_t$ and $\eta_n^0$ arw adapted continuobs processes defoned pn $[0,\gamma]\cap[0,\infty)$ with vclues jn $\mathbb{R}^d$ and $\mathgc{R}$, respectively, rucm tvat $\eta_0=\eux$.

We say that
$k$ times continuously differentiable function given on that process $u(x_t(x))$ a local $\{\mathcal{F}_t\}$-martingale D$. abbreviate $\mathcal{M}^k(D,\sigma,b)$ by or simply $\mathcal{M}^k$ this will cause no confusion. \[2b\] $x\in D$, and let $\gamma$ be a stopping time, such that $\gamma\le\tau(x)$. Assume $\xi\in\mathbb{R}^d$, $\xi_t$ and $\xi_t^0$ are adapted continuous processes defined on $[0,\gamma]\cap[0,\infty)$ with values $\mathbb{R}^d$ $\mathbb{R}$, such $\xi_0=\xi$. We say that $\xi_t$ is a of $x_t$ in the direction of $\xi$ at point on $[0,\gamma]$ if for any $u\in\mathcal{M}^1(D,\sigma,b)$ the following $$\label{2f} {u_{(\xi_t)}}(x_t(x))+\xi_t^0 u(x_t(x))$$ is local martingale on $[0,\gamma]$. In case process $\xi_t^0$ called for If $\gamma=\tau(x)$ we say that $\xi_t$ is a first quasiderivative of $x_t(y)$ in D in the direction of $\xi$ at It is that the adjoint is unique for the in general. All of the first consider in this article are local martingales with value 0. Under the assumptions of Definition \[2b\], assume that $\eta\in\mathbb{R}^d$, $\eta_t$ and $\eta_t^0$ are adapted processes defined on $[0,\gamma]\cap[0,\infty)$ with values in $\mathbb{R}^d$ and $\mathbb{R}$, respectively, such that $\eta_0=\eta$. We
 $k$ times continuously differeNtiable funCtion GivEn oN $\bAr{D}$ sUch tHat the process $u(X_T(x))$ is A local $\{\mathcal{F}_t\}$-martingAle on $[0,\TaU(X))$ for ANy $X\in D$.

WE abbrevIAtE $\MAthCaL{M}^K(D,\sIgMA,b)$ By $\matHcaL{M}^k(D)$, or sImply $\mathcAl{M}^K$ wHen this will cAUsE no confusiOn.

\[2b\] let $x\in D$, and leT $\gaMma$ be a StOppINg timE, suCh thaT $\gamma\LE\tau(x)$. ASsume that $\Xi\IN\mathbB{r}^d$, $\xi_t$ anD $\XI_t^0$ Are aDapted continuous pROcESses defined on $[0,\gAmma]\caP[0,\iNFtY)$ WIth ValUes in $\mathbB{R}^D$ and $\mAThbb{R}$, reSPeCTIVelY, Such that $\xi_0=\xi$.

WE say that $\xi_t$ IS a oF $x_t$ in tHe DirECtion oF $\xi$ at PoINt $x$ On $[0,\gamma]$ if foR any $U\in\mathcaL{M}^1(D,\sigMA,b)$ the foLLowing pRocess $$\LabEl{2f}
{U_{(\xi_t)}}(X_T(x))+\Xi_T^0 u(x_T(x))$$ IS a lOCaL maRTinGale on $[0,\gaMmA]$. IN this Case THE PRoceSs $\xI_t^0$ is CalleD a for $\xi_t$. If $\gamMa=\tAu(x)$ wE SimPly saY that $\Xi_t$ iS a First QuasidErivaTiVe of $x_t(y)$ in D in the DireCtion of $\xi$ At $x$.

it Is wOrTh menTIoning ThaT thE first aDjoint pROceSs IS NOt Unique for the first qUaSIDeRivative In geneRAl. alL Of the firSt AdjOint PROcessEs we COnSider in tHis artIClE aRe local MaRtingaLeS wiTh iNitiaL ValuE 0.

\[2bb\] UndEr the assUmptiONs of Definition \[2B\], Additionally aSSuME ThAT $\eta\In\mAthbb{R}^d$, $\eta_t$ And $\eTA_t^0$ arE adaPTeD coNTinuoUs proCeSSeS Defined on $[0,\gamma]\cap[0,\inFtY)$ with vAlues In $\mathbb{R}^d$ and $\Mathbb{R}$, resPECTively, suCh thAT $\eTA_0=\eta$.

We say that
 $k$ times continuously di fferentiab le fu nct ion  g iven  on$\bar{D}$ such that  the process $u(x_t(x) )$ is  a loca l  $ \{\ma thcal{F } _t \ } $-m ar ti nga le on  $[0, \ta u(x))$for any $x \in  D $.

We abbre v ia te $\mathc al{ M}^k(D,\sigm a,b )$ by$\ mat h cal{M }^k (D)$,  or si m ply $\ mathcal{M }^ k $ when this wi l l  c ause  no confusion.

\ [ 2b \ ] Let $x\in D$ , andle t  $ \ g amm a$be a stopp in g tim e , sucht ha t $ \ga m ma\le\tau(x)$ . Assume th a t $ \xi\in \m ath b b{R}^d $, $\ xi _ t$and $\xi_t^ 0$ a re adapte d cont i nuous p r ocesses  defin edon$[0, \ ga mm a]\ ca p [0, \ in fty ) $ w ith valu es  i n $\m athb b { R } ^d$and  $\m athbb {R}$, respect ive ly,s uch  that  $\xi _0=\ xi $.

W e saythat$\ xi_t$ is a of $ x_t$  in the d ire ct ion  o f $\x i $ at p oin t $ x$ on $ [0,\gam m a]$  i f f or  any $u\in\mathcal {M } ^ 1( D,\sigma ,b)$ t h efo l lowing p ro ces s $$ \ l abel{ 2f}{ u_ {(\xi_t) }}(x_t ( x) )+ \xi_t^0  u (x_t(x )) $$isa loc a l ma rtinga le on $[ 0,\ga m ma]$. In thisc ase the proce s s$ \ xi _ t^0$  is  called a f or $ \ xi_t $. I f  $ \ga m ma=\t au(x) $w es imply say that $\xi _t $ is a  firs t quasideriva tive of $x _ t ( y)$ in D  int he direction of $ \xi$at $x$.

I t  is wort h men tioningthat thef i rst adjo int  pr oce ssi s  n ot unique for t he f ir st quas ide rivativ e i n g ene ral .All of th e firstad jo in tpro cesse s  we cons id erin  th is ar t icle a re lo calma rt i nga les wit h  i n i tial  v al ue 0 .
\[ 2bb\]  Und e r t he assu mptions o f D e fini ti on  \[2b\] , additionall yassume tha t$\e ta\in\ m a thbb{R}^ d$, $\eta_t$ and $\eta_ t ^0$ are  ad apted  con tinuous p roc essesdef i ned on  $[0,\ gamma ]\ cap [ 0 ,\inf t y )$  wi th  values in $ \ma thbb{ R} ^d$and $\m athbb{R}$, respect i vel y, such that$\e ta_0 = \ et a$. 
W e  sa yt hat 
 $k$_times continuously_differentiable function given on_$\bar{D}$ such_that_the process_$u(x_t(x))$_is a local_$\{\mathcal{F}_t\}$-martingale on $[0,\tau(x))$_for any $x\in D$.

We_abbreviate $\mathcal{M}^k(D,\sigma,b)$ by_$\mathcal{M}^k(D)$,_or simply $\mathcal{M}^k$ when this will cause no confusion.

\[2b\] Let $x\in D$, and let_$\gamma$_be a_stopping_time,_such that $\gamma\le\tau(x)$. Assume that_$\xi\in\mathbb{R}^d$, $\xi_t$ and $\xi_t^0$ are_adapted continuous_processes defined on $[0,\gamma]\cap[0,\infty)$ with values in $\mathbb{R}^d$_and_$\mathbb{R}$, respectively, such_that $\xi_0=\xi$.

We say that $\xi_t$ is a of $x_t$_in the direction of $\xi$ at_point $x$ on_$[0,\gamma]$_if_for any $u\in\mathcal{M}^1(D,\sigma,b)$ the_following process $$\label{2f}
{u_{(\xi_t)}}(x_t(x))+\xi_t^0 u(x_t(x))$$ is a_local martingale on $[0,\gamma]$. In this_case the process $\xi_t^0$ is called a_for $\xi_t$. If $\gamma=\tau(x)$ we simply_say that $\xi_t$ is a_first quasiderivative_of $x_t(y)$ in D in_the direction of_$\xi$ at_$x$.

It is worth_mentioning that the first adjoint process_is not unique_for the first quasiderivative in general._All_of the first_adjoint_processes_we consider_in this article_are_local martingales_with_initial value 0.

\[2bb\] Under the assumptions_of_Definition \[2b\], additionally assume that $\eta\in\mathbb{R}^d$, $\eta_t$_and $\eta_t^0$ are adapted_continuous_processes defined on $[0,\gamma]\cap[0,\infty)$_with values in $\mathbb{R}^d$ and_$\mathbb{R}$, respectively, such that $\eta_0=\eta$.

We say_that