From Continuous to Fully Discrete Carleman Estimates: A Transfer Principle for Parabolic Schemes

Direct approaches to discrete parabolic Carleman estimates often rely on weighted identities tailored to the discrete operator. We prove an abstract transfer theorem that derives such estimates for fully discrete backward Euler schemes with conforming spatial reconstructions from a continuous Carlem