Formal Asymptotic Expansions and Their Rigorous Verifications

Xinfu Chen
Department of Mathematics
University of Pittsburgh

Abstract: In this talk I will discuss a method of formal asymptotic expansion used to derive free boundary problems from interfacial dynamics of continuum models. Then, I present a method to verify rigorously the formal expansion.