Suppose $D \subset \Bbb C$ with smooth boundary. Let $f \in C^{1,1}(D)$. Let $\varphi$ be the supremum of all members in the set 


$$\lbrace g \in C^{\infty}(\overline{D})| g \ is \ subharmonic \ and \ g \leq f\rbrace$$


It is known that $\varphi$ is subharmonic in $D$ and harmonic on $E =\lbrace \varphi < f\rbrace$, the complement of the contact set. It is also known that $\varphi$ is C^{1,1}.


Suppose now that $\lbrace f\_t \rbrace$, $t \in(0,1)$ is a smooth family of smooth obstacles. Will the variation of the family $\lbrace \varphi\_t \rbrace$ be at least $C^1$?


If this is too much to ask, then let $\tilde E \subset (0,1)\times D$, be the open? domain for which each $t-$slice $E\_t$ is the set where $\varphi\_t$ will be harmonic. Will the variation of $\lbrace \varphi\_t\rbrace$ be $C^1$ on $\tilde E$?


Any reference or chunk of information will be appreciated.


I don't know almost anything about obstacle problems (but you know this by now :D). There seems to be no obvious reference out there. Can someone recommend something to a grad student who is faimiliar with the Gilbarg and Trudinger stuff but not much more?



variation of the obstacle in the obstacle problem
I am not sure what you mean by $C^1$ variation, but it doesn't seem to be true. Here is an example.


Let $f\_0(x) = |x|^4 - |x|^2$, thus $f$ has a local maximum at the origin, then it turns around and goes to infinity as $|x| \to \infty$. The corresponding $\varphi\_0$ coincides with $f\_0$ outside of a disk and it is constant inside the disk.


Let $f\_t$ be $\min(f\_0(x), 10|x|^4 - t)$, smoothing out the edge. That is $f\_t$ is the same as $f\_0$ outside of a small disk centered at the origin, but it has a smooth peak pointing down at the origin which is being lowered at speed one in $t$.


For $t$ small enough, $\varphi\_t = \varphi\_0$, since one can see directly that $\varphi\_0 \leq f\_t$. Let $T$ be the suppremum of these values of $t$. We will have $f\_T(0) = \varphi\_T(0) = \varphi\_0(0)$. For $t>T$, the origin will be inside the contact set. We will get $\varphi\_t(0) = f\_t(0) = -t$ for $t>T$. So $\varphi\_t(0)$ is not a $C^1$ function of $t$, since it has a corner at $t=T$.


As you say $C^{0,1}$ variation is possible, meaning that $\|\varphi\_t - \varphi\_0\|\_{L^\infty(D)} \leq \|f\_t - f\_0\|\_{L^\infty(D)}$.


You didn't mention anything about boundary conditions, so I assumed the implied boundary condition of your definition which is $\varphi\_t = f\_t$ on $\partial D$.


The typical references for the obtacle problem are either the lecture notes of Caffarelli in the Fermi lectures, or a paper called "The obstacle problem revisited" which can be found online. They contain almost the same material. I believe there is something more about the stability of the free boundary in particular in the PhD thesis of Ivan Blank.


Your statement of the obstacle problem is upside down compared with the usual setting.


