Stabilized backward in time explicit marching schemes in the numerical computation of ill-posed time-reversed hyperbolic/parabolic systems

ABSTRACT This paper develops stabilized explicit marching difference schemes that can successfully solve a significant but limited class of multidimensional, ill-posed, backward in time problems for coupled hyperbolic/parabolic systems associated with vibrating thermoelastic plates and coupled sound and heat flow. Stabilization is achieved by applying compensating smoothing operators at each time step, to quench the instability. Analysis of convergence is restricted to the transparent case of linear, autonomous, selfadjoint spatial differential operators, and almost best-possible error bounds are obtained for backward in time reconstruction in that class of problems. However, the actual computational schemes can be applied to more general problems, including examples with variable time dependent coefficients, as well as nonlinearities. The stabilized explicit schemes are unconditionally stable, marching forward or backward in time, but the smoothing operation at each step leads to a distortion away from the true solution. This is the stabilization penalty. It is shown that in many problems of interest, that distortion is small enough to allow for useful results. Backward in time continuation is illustrated using pixel images. Such images are associated with highly irregular non smooth intensity data that severely challenge ill-posed reconstruction procedures. Several computational experiments show that efficient FFT-synthesized smoothing operators, based on with real , can be successfully applied in a broad range of problems.

[1]  Coupled sound and heat flow and the method of least squares , 1975 .

[2]  Zhuangyi Liu,et al.  Exponential stability and analyticity of abstract linear thermoelastic systems , 1997 .

[3]  Luc Miller.  On the cost of fast controls for thermoelastic plates , 2007, Asymptot. Anal..

[4]  L. Tébou.  Stabilization of some coupled hyperbolic/parabolic equations , 2010 .

[5]  Assia Benabdallah,et al.  Null controllability of a thermoelastic plate , 2002 .

[6]  R. Triggiani,et al.  Exact/approximate controllability of thermoelastic plates with variable thermal coefficients , 2001 .

[7]  D. Russell.  A General Framework for the Study of Indirect Damping Mechanisms in Elastic Systems , 1993 .

[8]  Sabrina Eberhart,et al.  Methods Of Theoretical Physics , 2016 .

[9]  Tobin A. Driscoll,et al.  Computing Eigenmodes of Elliptic Operators Using Radial Basis Functions , 2003 .

[10]  A. Carasso.  Stabilized Richardson leapfrog scheme in explicit stepwise computation of forward or backward nonlinear parabolic equations , 2017 .

[11]  M. M. Lavrentiev,et al.  Some Improperly Posed Problems of Mathematical Physics , 1967 .

[12]  Backward Uniqueness in Linear Thermoelasticity with Time and Space Variable Coefficients , 2007 .

[13]  I. Babuska,et al.  Finite element-galerkin approximation of the eigenvalues and Eigenvectors of selfadjoint problems , 1989 .

[14]  Elst ter Afm,et al.  Gaussian estimates for second order elliptic operators with boundary conditions , 1995 .

[15]  Karen A. Ames,et al.  Non-Standard and Improperly Posed Problems , 1997 .

[16]  Backward Uniqueness for Thermoelastic Plates with Rotational Forces , 2001 .

[17]  Stability of an abstract system of coupled hyperbolic and parabolic equations , 2013 .

[18]  Vincent Heuveline,et al.  On the computation of a very large number of eigenvalues for selfadjoint elliptic operators by means of multigrid methods , 2003 .

[19]  Zhuangyi Liu,et al.  Semigroups Associated with Dissipative Systems , 1999 .

[20]  S. Agmon,et al.  Properties of Solutions of Ordinary Differential Equations in Banach Space , 2013 .

[21]  Zhuangyi Liu,et al.  A note on the equations of a thermoelastic plate , 1995 .

[22]  V. Pata,et al.  Stability properties of an abstract system with applications to linear thermoelastic plates , 2013 .

[23]  Alfred S. Carasso,et al.  Stable explicit time marching in well-posed or ill-posed nonlinear parabolic equations , 2014 .

[24]  V. Tibullo,et al.  On the Uniqueness in Dynamical Thermoelasticity Backward in Time for Porous Media , 2013 .

[25]  R. J. Knops,et al.  Logarithmic convexity and other techniques applied to problems in continuum mechanics , 1973 .

[26]  A. Carasso.  Stable explicit stepwise marching scheme in ill-posed time-reversed viscous wave equations , 2016 .

[27]  El Maati Ouhabaz.  Gaussian estimates and holomorphy of semigroups , 1995 .

[28]  R. D. Richtmyer,et al.  Difference methods for initial-value problems , 1959 .

[29]  Tobin A. Driscoll,et al.  Computing eigenmodes ofelliptic operators using radial basis functions , 2004 .

[30]  Michele Ciarletta.  ON THE UNIQUENESS AND CONTINUOUS DEPENDENCE OF SOLUTIONS IN DYNAMICAL THERMOELASTICITY BACKWARD IN TIME , 2002 .

[31]  Carl A. Rouse.  A METHOD FOR THE NUMERICAL . CALCULATION OF HYDRODYNAMIC FLOW AND RADIATION DIFFUSION BY IMPLICIT DIFFERENCING , 1961 .

[32]  Irena Lasiecka,et al.  Analyticity, and lack thereof, of thermo-elastic semigroups , 1998 .

[33]  E. Ouhabaz.  GAUSSIAN UPPER BOUNDS FOR HEAT KERNELS OF SECOND-ORDER ELLIPTIC OPERATORS WITH COMPLEX COEFFICIENTS ON ARBITRARY DOMAINS , 2004 .

[34]  D. Aronson,et al.  Bounds for the fundamental solution of a parabolic equation , 1967 .

[35]  S. Chiriţă.  On the final boundary value problems in linear thermoelasticity , 2012 .

[36]  K. Miller.  Least Squares Methods for Ill-Posed Problems with a Prescribed Bound , 1970 .

[37]  Keith Miller.  Logarithmic convexity results for holomorphic semigroups. , 1975 .

[38]  Giovanni P. Galdi,et al.  Stability of solutions of the Navier-Stokes equations backward in time , 1988 .

[39]  Hirofumi Morimoto,et al.  Stability in the wave equation coupled with heat flow , 1962 .

[40]  Alfred S. Carasso.  Reconstructing the past from imprecise knowledge of the present: Effective non-uniqueness in solving parabolic equations backward in time , 2011 .