An inverse problem for a parabolic integrodifferential model in the theory of combustion (Q2464299)

Let \(A:{\mathcal D}(A)\subset X\to X\) be a linear closed operator generating an analytical semigroup \(\{e^{tA}\}_{t\geq 0}\) of linear bounded operators from \(X\) into itself and let \(B:{\mathcal D}(B)\subset X\to X\) be a linear bounded operator from \({\mathcal D}(A)\), endowed with the graph-norm, into \(X\). \noindent The author is concerned with the following identification problem (IP) in a Banach space \(X\): determine a number \(\tau\in (0,T]\) and a pair of functions \(u\in W^{2,p}(0,\tau;X)\cap W^{1,p}(0,\tau;{\mathcal D}(A))\) and \(k\in L^p(0,\tau;{\mathbb R})\), \(p\in (1,+\infty)\), satisfying \[ u'(t)=Au(t)+k*Bu(t)+f(u(t))+\Phi_0[u'(t)]f_0,\qquad t\in (0,\tau), \] subject to the initial condition \[ u(0)=u_0, \] and to the additional one \[ \Phi[u(t)]=g(t),\qquad t\in (0,\tau). \] The data are assumed to possess the following properties: (i) \(f\in C^1(Y;X)\), with \({\mathcal D}(A)\subset Y \subset X\), and \(f'\) is Lipschitz continuous on all the bounded subsets of \(Y\); (ii) \(u_0\in {\mathcal D}(A)\), \(f_0\in X\); (iii) \(\Phi_0\) and \(\Phi\) are linear bounded functionals in \(X\); (iv) \(g\in W^{2,p}(0,\tau;{\mathbb R})\) and \(g(0)=\Phi[u_0]\). Under the following additional conditions (v) \(\Phi_0[f_0]\neq 0\), (vi) \(\Phi[Bu_0]+(1-\Phi_0[f_0])^{-1}\Phi[f_0]\Phi_0[Bu_0]\neq 0\), (vii) \(g'(0)=\Phi[v_0]\), where \(v_0=Au_0+f(u_0)+(1-\Phi_0[f_0])^{-1}[Au_0+f(u_0)]f_0\), the author can prove both the local in time existence of a solution \((u,k)\) to problem (IP) and the global in time uniqueness of the solution \((u,k)\). Such an abstract result is applied to the identification of the kernel \(k\) in the following parabolic problem related to a gaseous fuel model in combustion theory: \[ D_tu(t,x)=\Delta u(t,x) + \int_0^t k(t-s)\Delta u(s,x)\,ds + e^{u(t,x)} + \int_\Omega D_tu(t,x)\,dx, \quad (t,x)\in (0,\tau)\times \Omega, \] \[ u(0,x)=u_0(x),\quad x\in \Omega \] \[ D_nu(t,x) = 0,\quad \text{ on\;}\partial \Omega, \] \[ \int_\Omega \varphi(x)u(t,x)\,dx=g(t),\quad t\in (0,\tau), \] \(\Omega \subset {\mathbb R}^3\) being a bounded (smooth) domain and \(D_n\) denoting the outward normal derivative on \(\partial \Omega\).