TY - JOUR

T1 - Almost monotonicity formulas for elliptic and parabolic operators with variable coefficients

AU - Matevosyan, Norayr

AU - Petrosyan, Arshak

N1 - KAUST Repository Item: Exported on 2020-10-01
Acknowledged 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.

PY - 2010/10/21

Y1 - 2010/10/21

N2 - 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.

AB - 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.

UR - http://hdl.handle.net/10754/597493

UR - http://doi.wiley.com/10.1002/cpa.20349

UR - http://www.scopus.com/inward/record.url?scp=78449244357&partnerID=8YFLogxK

U2 - 10.1002/cpa.20349

DO - 10.1002/cpa.20349

M3 - Article

VL - 64

SP - 271

EP - 311

JO - Communications on Pure and Applied Mathematics

JF - Communications on Pure and Applied Mathematics

SN - 0010-3640

IS - 2

ER -