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

DOI10.1016/J.PHYSD.2007.07.012MaRDI QIDQ2464299zbMATH OpenOpenAlexFDO

Publication date 12 December 2007

Published in Physica D (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.physd.2007.07.012

Banach space combustion theory global in time uniqueness inverse problems linear parabolic integrodifferential equations local in time existence unknown memory kernels

Mathematics Subject Classification ID

Integro-partial differential equations (45K05) Abstract integral equations, integral equations in abstract spaces (45N05) Inverse problems for integral equations (45Q05) Combustion (80A25)

Review text

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\).

Recommendations

Cites work

Cited in

(24)

This page was built for publication: An inverse problem for a parabolic integrodifferential model in the theory of combustion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2464299)