A local monotonicity formula for an inhomogenous singular perturbation problem and applications

In this paper we prove a local monotonicity formula for solutions to an inhomogeneous singularly perturbed diffusion problem of interest in combustion. This type of monotonicity formula has proved to be very useful for the study of the regularity of limits u of solutions of the singular perturbation problem and of ∂{u > 0}, in the global homogeneous case. As a consequence of this formula we prove that u has an asymptotic development at every point in ∂{u > 0} where there is a nonhorizontal tangent ball. These kind of developments have been essential for the proof of the regularity of ∂{u > 0} for Bernoulli and Stefan free boundary problems. We also present applications of our results to the study of the regularity of ∂{u > 0} in the stationary case including, in particular, its regularity in the case of energy minimizers. We present as well a regularity result for traveling waves of a combustion model that relies on our monotonicity formula and its consequences.The fact that our results hold for the inhomogeneous problem allows a very wide applicability. Indeed, they may be applied to problems with nonlocal diffusion and/or transport. The research of the authors was partially supported by Fundación Antorchas Project 13900-5, Universidad de Buenos Aires grant X052, ANPCyT PICT No 03-13719, CONICET PIP 5478. The authors are members of CONICET.