Abstract
In this paper we extend the results of Caffarelli, Jerison, and Kenig [Ann. of Math. (2)155 (2002)] and Caffarelli and Kenig [Amer. J. Math.120 (1998)] by establishing an almost monotonicity estimate for pairs of continuous functions satisfying u± ≥ 0 Lu± ≥ -1, u+ · u_ = 0 ;in an infinite strip (global version) or a finite parabolic cylinder (localized version), where L is a uniformly parabolic operator Lu = LA,b,cu := div(A(x, s)∇u) + b(x,s) · ∇u + c(x,s)u - δsu with double Dini continuous A and uniformly bounded b and c. We also prove the elliptic counterpart of this estimate.This closes the gap between the known conditions in the literature (both in the elliptic and parabolic case) imposed on u± in order to obtain an almost monotonicity estimate.At the end of the paper, we demonstrate how to use this new almost monotonicity formula to prove the optimal C1,1-regularity in a fairly general class of quasi-linear obstacle-type free boundary problems. © 2010 Wiley Periodicals, Inc.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 271-311 |
| Number of pages | 41 |
| Journal | Communications on Pure and Applied Mathematics |
| Volume | 64 |
| Issue number | 2 |
| DOIs | |
| State | Published - Oct 21 2010 |
| Externally published | Yes |
Bibliographical note
KAUST Repository Item: Exported on 2020-10-01Acknowledged KAUST grant number(s): KUK-I1-007-43
Acknowledgements: N. Matevosyan was partly supported by the WWTF (Wiener Wissenschafts, Forschungs und Technologiefonds) Project No. CI06 003 and by award no. KUK-I1-007-43, made by King Abdullah University of Science and Technology (KAUST).A. Petrosyan was supported in part by National Science Foundation Grant DMS-0701015.
This publication acknowledges KAUST support, but has no KAUST affiliated authors.