The Stability of Boundary Conditions
Date: July 19th (Friday)
Time: 16:50-17:10
Abstract
The question of whether boundary conditions in an initial-boundary value problem
for a partial differential equation or for a finite-difference equation are stable or not can be
reduced to a quantifier elimination problem with many equalities. This talk will show how
to do the reduction and explore some techniques for solving such problems.
Such stability problems are critical part of developing stable boundary conditions for
higher-order discretizations of partial differential equations.
