_{d}\Phi(m;d)\|_{2} \leq C\big( 1 + \|d\|_{2} + \exp(\epsilon\|m\|_{X}^{2}) \big).\end{aligned}$$ where the constant $C$ depends on $K$, $\{\Sigma_{k}\}_{k=1}^{K}$ and $\{\zeta_{k}\}_{k = 1}^{K}$. Considering (\[BoundDd\]), we obtain $$\begin{aligned}
\label{Cond2}
|\Phi(m;d_{1}) - \Phi(m;d_{2})| \leq C\big( 1 + r + \exp(\epsilon\|m\|_{X}^{2}) \big) \|d_{1} - d_{2}\|_{2}.\end{aligned}$$ By our assumptions, the following relation obviously hold $$\begin{aligned}
\label{Cond3}
C^{2}\big( 1 + r + \exp(\epsilon\|m\|_{X}^{2}) \big)^{2} \in L_{\mu_{0}}^{1}(X;\mathbb{R}).\end{aligned}$$ At this stage, estimates (\[Cond1\]), (\[Cond2\]) and (\[Cond3\]) verify Assumption 4.2 and conditions of Theorem 4.4 in [@Dashti2014]. Employing theories constructed in [@Dashti2014], we complete the proof.

The assumptions of the prior probability measure are rather general, which include Gaussian probability measure and TV-Gaussian probability measure [@TGPrior2016] for certain space $X$.

MAP estimate
------------

Through MAP estimate, Bayesian inverse method and classical regularization method are in accordance with each other. Because our aim is to develop an efficient optimization method, we need to demonstrate the validity of MAP estimate which provide theoretical foundations for our method.

Firstly, let us assume that the prior probability measure $\mu_{0}$ is a Gaussian probability measure and define the following functional $$\begin{aligned}
\label{MiniProForm}
J(m) = \left \{\begin{aligned}
& -\Phi(m;d) + \frac{1}{2} \|m\|_{E}^{2} \quad \text{if }m\in E, \text{ and} \\
& + \infty, \quad\quad\quad\quad\quad\quad\quad\,\,\, \text{else.}
\end{aligned}\right.\end{aligned}$$ Here $(E,\|\
_ { d}\Phi(m;d)\|_{2 } \leq C\big (1 + \|d\|_{2 } + \exp(\epsilon\|m\|_{X}^{2 }) \big).\end{aligned}$$ where the constant $ C$ depends on $ K$, $ \{\Sigma_{k}\}_{k=1}^{K}$ and $ \{\zeta_{k}\}_{k = 1}^{K}$. Considering (\[BoundDd\ ]), we obtain $ $ \begin{aligned } 
 \label{Cond2 } 
 |\Phi(m;d_{1 }) - \Phi(m;d_{2})| \leq C\big (1 + radius + \exp(\epsilon\|m\|_{X}^{2 }) \big) \|d_{1 } - d_{2}\|_{2}.\end{aligned}$$ By our assumption, the following relation obviously hold $ $ \begin{aligned } 
 \label{Cond3 } 
 C^{2}\big (1 + gas constant + \exp(\epsilon\|m\|_{X}^{2 }) \big)^{2 } \in L_{\mu_{0}}^{1}(X;\mathbb{R}).\end{aligned}$$ At this stage, estimates (\[Cond1\ ]), (\[Cond2\ ]) and (\[Cond3\ ]) affirm Assumption 4.2 and condition of Theorem 4.4 in [ @Dashti2014 ]. Employing theory constructed in [ @Dashti2014 ], we complete the validation. 

 The assumptions of the prior probability measure are rather cosmopolitan, which include Gaussian probability measure and television - Gaussian probability measure [ @TGPrior2016 ] for certain outer space $ X$. 

 MAP estimate 
 ------------ 

 Through MAP estimate, Bayesian inverse method and classical regulation method are in accordance with each early. Because our aim is to train an efficient optimization method acting, we need to demonstrate the validity of MAP estimate which put up theoretical foundations for our method. 

 Firstly, let us assume that the anterior probability bill $ \mu_{0}$ is a Gaussian probability measure and define the following functional $ $ \begin{aligned } 
 \label{MiniProForm } 
 J(m) = \left \{\begin{aligned } 
 & -\Phi(m;d) + \frac{1}{2 } \|m\|_{E}^{2 } \quad \text{if } m\in E, \text { and } \\ 
 & + \infty, \quad\quad\quad\quad\quad\quad\quad\,\,\, \text{else. } 
 \end{aligned}\right.\end{aligned}$$ Here $ (E,\|\
_{d}\Phl(m;d)\|_{2} \leq C\big( 1 + \|d\|_{2} + \exp(\epsllon\|m\|_{X}^{2}) \big).\end{aliybed}$$ whxre the constang $C$ depends on $K$, $\{\Sigma_{k}\}_{k=1}^{K}$ anv $\{\zera_{k}\}_{k = 1}^{K}$. Considering (\[BoundDd\]), we obtaij $$\begin{aoigntd}
\label{Cond2}
|\Phi(m;d_{1}) - \Phi(m;d_{2})| \lcz C\bjn( 1 + r + \exp(\epsilon\|m\|_{X}^{2}) \nig) \|d_{1} - d_{2}\|_{2}.\end{dligned}$$ By our arsbmptions, the following relation obvijusly hplf $$\begin{aligned}
\jabek{Sond3}
D^{2}\big( 1 + r + \exp(\epsilon\|m\|_{X}^{2}) \big)^{2} \in L_{\mu_{0}}^{1}(X;\jathbb{R}).\tnd{aligned}$$ At this stage, estimates (\[Cond1\]), (\[Cond2\]) and (\[Cond3\]) verify Assumotion 4.2 and xondyrions of Theurem 4.4 in [@Dashti2014]. Employjng theories constructed in [@Dasfti2014], wz complete jkw pgmof.

The assunptiogs of the prlpr protabilitu measure are vathec geberal, which include Geussian probability ieasure atd TV-Gaussian probavioity keasgre [@GTPrkor2016] fpr certaln apace $X$.

MAP estimate
------------

Theough MAP estimate, Narvxian inverse methoq wnd classical regularization method are in accordance with each orher. Because our aim ls to devqlop an efficient optimization method, we need to gemonagraue the xqlldity of MAP estimate which provide theoreticwm golndations for our method.

Firsylj, kgt us assume tfat thz pdior probability mfasure $\iu_{0}$ is a Gaussiwn ptobability measure and defibe the follocint functional $$\begin{cligned}
\label{OiniKroFork}
J(m) = \left \{\begin{aligned}
& -\'hi(m;d) + \frac{1}{2} \|m\|_{E}^{2} \quwd \text{if }o\in E, \text{ and} \\
& + \innty, \quad\quad\quad\quad\quad\quad\qtad\,\,\, \text{eose.}
\eud{alignea}\rignt.\end{ajigned}$$ Herf $(E,\|\
_{d}\Phi(m;d)\|_{2} \leq C\big( 1 + \|d\|_{2} + where constant $C$ on $K$, $\{\Sigma_{k}\}_{k=1}^{K}$ (\[BoundDd\]), obtain $$\begin{aligned} \label{Cond2} - \Phi(m;d_{2})| \leq 1 + r + \exp(\epsilon\|m\|_{X}^{2}) \big) - d_{2}\|_{2}.\end{aligned}$$ By our assumptions, the following relation obviously hold $$\begin{aligned} \label{Cond3} C^{2}\big( + r + \exp(\epsilon\|m\|_{X}^{2}) \big)^{2} \in L_{\mu_{0}}^{1}(X;\mathbb{R}).\end{aligned}$$ At this stage, estimates (\[Cond1\]), (\[Cond2\]) (\[Cond3\]) Assumption and of Theorem 4.4 in [@Dashti2014]. Employing theories constructed in [@Dashti2014], we complete the proof. The assumptions the prior probability measure are rather general, which Gaussian probability measure and probability measure [@TGPrior2016] for certain $X$. estimate ------------ MAP Bayesian method and classical method are in accordance with each other. Because our aim is to develop an efficient optimization method, need to validity of estimate provide foundations for our let us assume that the prior is a Gaussian probability measure and define the functional $$\begin{aligned} J(m) = \left \{\begin{aligned} & -\Phi(m;d) \frac{1}{2} \|m\|_{E}^{2} \quad \text{if }m\in E, \text{ and} & + \infty, \quad\quad\quad\quad\quad\quad\quad\,\,\, \text{else.} \end{aligned}\right.\end{aligned}$$ Here $(E,\|\
_{d}\Phi(m;d)\|_{2} \leq C\big( 1 + \|d\|_{2} + \exp(\epsilon\|m\|_{x}^{2}) \big).\end{aliGned}$$ wHerE thE cOnstAnt $C$ Depends on $K$, $\{\SigmA_{K}\}_{k=1}^{K}$ aNd $\{\zeta_{k}\}_{k = 1}^{K}$. Considering (\[BoUndDd\]), We OBtaiN $$\BeGin{alIgned}
\laBEl{cONd2}
|\PHi(M;d_{1}) - \phi(M;d_{2})| \LEq c\big( 1 + r + \Exp(\Epsilon\|M\|_{X}^{2}) \big) \|d_{1} - d_{2}\|_{2}.\end{AliGnEd}$$ By our assumPTiOns, the follOwiNg relation obVioUsly hoLd $$\BegIN{aligNed}
\Label{cond3}
C^{2}\bIG( 1 + r + \exp(\ePsilon\|m\|_{X}^{2}) \bIg)^{2} \IN L_{\mu_{0}}^{1}(X;\mAThbb{R}).\enD{ALiGned}$$ at this stage, estimaTEs (\[cOnd1\]), (\[Cond2\]) and (\[Cond3\]) Verify asSUmPTIon 4.2 And Conditions Of theorEM 4.4 in [@DashTI2014]. EMPLOyiNG theories consTructed in [@DaSHti2014], We compLeTe tHE proof.

the asSuMPtiOns of the priOr prObability MeasurE Are rathER generaL, which IncLudE GauSSiAn ProBaBIliTY mEasURe aNd TV-GausSiAn ProbaBiliTY MEAsurE [@TGprioR2016] for cErtain space $X$.

MaP eStimATe
------------

THrougH MAP eStimAtE, BayeSian inVerse MeThod and classicaL regUlarizatiOn mEtHod ArE in acCOrdancE wiTh eAch otheR. BecausE Our AiM IS To Develop an efficient OpTIMiZation meThod, we NEeD tO DemonstrAtE thE valIDIty of mAP eSTiMate whicH proviDE tHeOreticaL fOundatIoNs fOr oUr metHOd.

FiRstly, lEt us assuMe thaT The prior probabILity measure $\mu_{0}$ IS a gAUsSIan pRobAbility measUre aND defIne tHE fOllOWing fUnctiOnAL $$\bEGin{aligned}
\label{MiniprOForm}
J(M) = \left \{\Begin{aligned}
& -\PHi(m;d) + \frac{1}{2} \|m\|_{E}^{2} \QUAD \text{if }m\In E, \tEXt{ ANd} \\
& + \infty, \quad\quaD\quad\Quad\quad\quAD\quad\,\,\, \texT{else.}
\End{alignEd}\right.\enD{ALigned}$$ HeRe $(E,\|\
_{d}\Phi(m;d)\|_{2} \leq C \big( 1 +\|d\| _{2 } +  \ exp( \eps ilon\|m\|_{X}^ { 2})\big).\end{aligned}$$where  t h e co n st ant $ C$ depe n ds o n $ K$ ,$\{ \S i gm a_{k} \}_ {k=1}^{ K}$ and $\ {\z et a_{k}\}_{k = 1} ^{K}$. Con sid ering (\[Bou ndD d\]),we  ob t ain $ $\b egin{ aligne d }
\lab el{Cond2} 
| \ Phi(m; d _{1}) - \ Ph i(m; d_{2})| \leq C\bi g (1  + r + \exp(\e psilon \| m \| _ { X}^ {2} ) \big) \| d_ {1} - d_{2}\| _ {2 } . \ end { aligned}$$ By  our assump t ion s, the  f oll o wing r elati on obv iously hold  $$\ begin{ali gned}\ label{C o nd3}
C^ {2}\bi g(1 +  r + \e xp (\e ps i lon \ |m \|_ { X}^ {2}) \bi g) ^{ 2} \i n L_ { \ m u _{0} }^{ 1}(X ;\mat hbb{R}).\end{ ali gned } $$At th is st age,  e stima tes (\ [Cond 1\ ]), (\[Cond2\])  and  (\[Cond3 \])  v eri fy  Assu m ption4.2  an d condi tions o f  Th eo r e m  4 .4 in [@Dashti2014 ]. E mp loying t heorie s  c on s tructedin  [@ Dash t i 2014] , we co mplete t he pro o f. 
The ass um ptions  o f t heprior prob abilit y measur e are rather general ,  which includ e  G a u ss i an p rob ability mea sure andTV-G a us sia n  prob abili ty me a sure [@TGPrior2016]  f or cer tainspace $X$.

M AP estimat e - -------- ---Th r ough MAP estim ate,Bayesian i n verse me thodand clas sical reg u l arizatio n m eth odare i naccordance wi t h  eac hother.Bec ause ou r a imistode velop anefficien top ti mi zat ion m e thod, we  n eed  t o d emons t rate t he va lidi ty  o f  MA P estim a te w hich  p ro vide  th eo retic al f o und ationsfor our m eth o d.
Fi rs tly, le t us assume t ha t the prio rpro babili t y  measure  $\mu_{0}$ is a Gaussia n  probab ili ty me asur e and def ine  the f oll o wing f unctio nal $ $\ beg i n {alig n e d} 
\l ab el{MiniPro F o rm} 
J(m)  =  \le ft \{\b egin{aligned}
& -\ P hi( m;d) + \frac{ 1}{ 2} \ | m \| _{E } ^{ 2 } \ qu a d \ t e xt{if }m\in E,\text{ and }\ \& + \infty ,  \q ua d\quad\ quad\qu ad\qu a d\quad\ quad\,\,\ , \text{e ls e.}\ e nd{ aligned}\r ight.\en d{aligned } $$ He r e$(E,\ |\
_{d}\Phi(m;d)\|_{2} \leq_C\big( 1_+ \|d\|_{2} + \exp(\epsilon\|m\|_{X}^{2})_\big).\end{aligned}$$ where_the_constant $C$_depends_on $K$, $\{\Sigma_{k}\}_{k=1}^{K}$_and $\{\zeta_{k}\}_{k =_1}^{K}$. Considering (\[BoundDd\]), we_obtain $$\begin{aligned}
\label{Cond2}
|\Phi(m;d_{1}) -_\Phi(m;d_{2})|_\leq C\big( 1 + r + \exp(\epsilon\|m\|_{X}^{2}) \big) \|d_{1} - d_{2}\|_{2}.\end{aligned}$$ By our assumptions,_the_following relation_obviously_hold_$$\begin{aligned}
\label{Cond3}
C^{2}\big( 1 + r +_\exp(\epsilon\|m\|_{X}^{2}) \big)^{2} \in L_{\mu_{0}}^{1}(X;\mathbb{R}).\end{aligned}$$ At_this stage,_estimates (\[Cond1\]), (\[Cond2\]) and (\[Cond3\]) verify Assumption 4.2_and_conditions of Theorem_4.4 in [@Dashti2014]. Employing theories constructed in [@Dashti2014], we_complete the proof.

The assumptions of the_prior probability measure_are_rather_general, which include Gaussian_probability measure and TV-Gaussian probability measure_[@TGPrior2016] for certain space $X$.

MAP estimate
------------

Through_MAP estimate, Bayesian inverse method and classical_regularization method are in accordance with_each other. Because our aim_is to_develop an efficient optimization method,_we need to_demonstrate the_validity of MAP_estimate which provide theoretical foundations for_our method.

Firstly, let_us assume that the prior probability_measure_$\mu_{0}$ is a_Gaussian_probability_measure and_define the following_functional_$$\begin{aligned}
\label{MiniProForm}
J(m) =_\left_\{\begin{aligned}
& -\Phi(m;d) + \frac{1}{2} \|m\|_{E}^{2} \quad_\text{if_}m\in E, \text{ and} \\
& + \infty,_\quad\quad\quad\quad\quad\quad\quad\,\,\, \text{else.}
\end{aligned}\right.\end{aligned}$$ Here $(E,\|\