A class of variational data assimilation problems on reconstructing the initial-value functions is considered for the models governed by quasilinear evolution equations. The optimality system is reduced to the equation for the control function. The properties of the control equation are studied and the solvability theorems are proved for linear and quasilinear data assimilation problems. The iterative algorithms for solving the problem are formulated and justified.

A class of variational data assimilation problems on reconstructing the initial-value functions is considered for the models governed by quasilinear evolution equations. The optimality system is reduced to the equation for the control function. The properties of the control equation are studied and the solvability theorems are proved for linear and quasilinear data assimilation problems. The iterative algorithms for solving the problem are formulated and justified.

Let $L$ be a parabolic second order differential operator on the domain $\overline{\Pi }=\left[0,T\right]\times ℝ.$ Given a function $\widehat{u}:ℝ\to R$ and $\widehat{x}\>0$ such that the support of $\widehat{u}$ is contained in $(-\infty ,-\widehat{x}]$, we let $\widehat{y}:\overline{\Pi }\to ℝ$ be the solution to the equation:$$L\widehat{y}=0,\widehat{y}{|}_{\left\{0\right\}\times ℝ}=\widehat{u}.$$Given positive bounds $0\<x_0\<x_1,$ we seek a function $u$ with support in $\left[x_0,x_1\right]$ such that the corresponding solution $y$ satisfies:$$y(t,0)=\widehat{y}(t,0)\forall t\in \left[0,T\right].$$We prove in this article that, under some regularity conditions on the coefficients of $L,$ continuous solutions are unique and dense in the sense that $\widehat{y}{|}_{[0,T]\times \left\{0\right\}}$ can be $C^0$-approximated, but an exact solution does not...

Let L be a parabolic second order differential operator on the domain $\overline{\Pi }=\left[0,T\right]\times ℝ.$ Given a function $\widehat{u}:ℝ\to R$ and $\widehat{x}>0$ such that the support of û is contained in $(-\infty ,-\widehat{x}]$, we let $\widehat{y}:\overline{\Pi }\to ℝ$ be the solution to the equation: $$L\widehat{y}=0,\widehat{y}{|}_{\left\{0\right\}\times ℝ}=\widehat{u}.$$ Given positive bounds $0<x_0<x_1,$ we seek a function u with support in $\left[x_0,x_1\right]$ such that the corresponding solution y satisfies: $$y(t,0)=\widehat{y}(t,0)\forall t\in \left[0,T\right].$$ We prove in this article that, under some regularity conditions on the coefficients of L, continuous solutions are unique and dense in the sense that $\widehat{y}{|}_{[0,T]\times \left\{0\right\}}$ can be C0-approximated, but an exact solution...