Quantitative stability of the free boundary in the obstacle problem

Connections of harmonic functions with differential equations in higher dimensions (31B35) Free boundary problems for PDEs (35R35) Optimality conditions (49K99)

Abstract: We prove some detailed quantitative stability results for the contact set and the solution of the classical obstacle problem in

m a t h b b R^{n}

(

n g e 2

) under perturbations of the obstacle function, which is also equivalent to studying the variation of the equilibrium measure in classical potential theory under a perturbation of the external field. To do so, working in the setting of the whole space, we examine the evolution of the free boundary

G a m m a^{t}

corresponding to the boundary of the contact set for a family of obstacle functions

h^{t}

. Assuming that

h = h^{t} (x) = h (t, x)

is

C^{k + 1, a l p h a}

in

[- 1, 1] i m e s m a t h b b R^{n}

and that the initial free boundary

G a m m a^{0}

is regular, we prove that

G a m m a^{t}

is twice differentiable in

t

in a small neighborhood of

t = 0

. Moreover, we show that the "normal velocity" and the "normal acceleration" of

G a m m a^{t}

are respectively

C^{k - 1, a l p h a}

and

C^{k - 2, a l p h a}

scalar fields on

G a m m a^{t}

. This is accomplished by deriving equations for these velocity and acceleration and studying the regularity of their solutions via single and double layers estimates from potential theory.

Recommendations

Cites work

Cited in

(17)

This page was built for publication: Quantitative stability of the free boundary in the obstacle problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1635533)