This note is devoted to continuity results of the time derivative of the solution to the one-dimensional parabolic obstacle problem with variable coefficients. It applies to the smooth fit principle in numerical analysis and in financial mathematics. It relies on various tools for the study of free boundary problems: blow-up method, monotonicity formulae, Liouville's results.
We prove that the spatial gradient of (variational) solutions to parabolic obstacle problems of p-Laplacian type enjoys the same regularity of the data and of the derivatives of the obstacle in the scale of Lorentz spaces.
In this paper we establish the exact growth of the solution of the singular quasilinear p-parabolic obstacle problem near the free boundary from which we deduce its porosity.
We study the regularity of solutions to the obstacle problem for the parabolic biharmonic equation. We analyze the problem via an implicit time discretization, and we prove some regularity properties of the solution.
We consider a two obstacle problem for the parabolic biharmonic equation in a bounded domain. We prove long time existence of solutions via an implicit time discretization scheme, and we investigate the regularity properties of solutions.
In a wide class of the so called Obstacle Problems of parabolic type it is shown how to improve the optimal regularity of the solution and as a consequence how to obtain space-time regularity of the corresponding free boundary.
We prove the natural weighted Calderón and Zygmund estimates for solutions to elliptic and parabolic obstacle problems in nondivergence form with discontinuous coefficients and irregular obstacles. We also obtain Morrey regularity results for the Hessian of the solutions and Hölder continuity of the gradient of the solutions.
In this paper we study a parabolic version of the fractional obstacle problem, proving almost optimal regularity for the solution. This problem is motivated by an American option model proposed by Menton which introduces, into the theory of option evaluation, discontinuous paths in the dynamics of the stock's prices.
We study nonlinear parabolic PDEs with Orlicz-type growth conditions. The main result gives the existence of a unique solution to the obstacle problem related to these equations. To achieve this we show the boundedness of weak solutions and that a uniformly bounded sequence of weak supersolutions converges to a weak supersolution. Moreover, we prove that if the obstacle is continuous, so is the solution.
The global equi-continuity estimate on $L^p$-viscosity solutions of parabolic bilateral obstacle problems with unbounded ingredients is established when obstacles are merely continuous. The existence of $L^p$-viscosity solutions is established via an approximation of given data. The local Hölder continuity estimate on the space derivative of $L^p$-viscosity solutions is shown when the obstacles belong to $C^{1, β}$, and $p>n+2$.
In this paper, we study almost minimizers for the parabolic thin obstacle (or Signorini) problem with zero obstacle. We establish their $H^{σ,σ/2}$-regularity for every $0<σ<1$, as well as $H^{β,β/2}$-regularity of their spatial gradients on the either side of the thin space for some $0<β<1$. A similar result is also obtained for almost minimizers for the Signorini problem with variable Hölder coefficients.
We prove $C^{1, α}$ regularity (in the parabolic sense) for the viscosity solution of a boundary obstacle problem with a fully nonlinear parabolic equation in the interior. Following the method which was first introduced for the harmonic case by L. Caffarelli in 1979, we extend the results of I. Athanasopoulos (1982) who studied the linear parabolic case and the results of E. Milakis and L. Silvestre (2008) who treated the fully nonlinear elliptic case.
We consider a system of seminlinear parabolic variational inequalities with time-dependent convex obstacles. We prove the existence and uniqueness of its solution. We also provide a stochastic representation of the solution and show that it can be approximated by the penalization method. Our proofs are based upon probabilistic methods from the theory of Markov processes and the theory of backward stochastic differential equations.
In the class of the so called non-dynamic Fractional Obstacle Problems of parabolic type, it is shown how to obtain higher regularity as well as optimal regularity of the space derivatives of the solution. Furthermore, at free boundary points of positive parabolic density, it is proven that the time derivative of the solution is Hölder continuous. Finally, at regular free boundary points, space-time regularity of the corresponding free boundary is obtained for any fraction $s\in(0,1)$.
We study the free boundary of solutions to the parabolic obstacle problem with fully nonlinear diffusion. We show that the free boundary splits into a regular and a singular part: near regular points the free boundary is $C^\infty$ in space and time. Furthermore, we prove that the set of singular points is locally covered by a Lipschitz manifold of dimension $n-1$ which is also $\varepsilon$-flat in space, for any $\varepsilon>0$.
We study the singular set in the thin obstacle problem for degenerate parabolic equations with weight $|y|^a$ for $a \in (-1,1)$. Such problem arises as the local extension of the obstacle problem for the fractional heat operator $(\partial_t - Δ_x)^s$ for $s \in (0,1)$. Our main result establishes the complete structure and regularity of the singular set of the free boundary. To achieve it, we prove Almgren-Poon, Weiss, and Monneau type monotonicity formulas which generalize those for the case of the heat equation ($a=0$).
We study the parabolic obstacle problem $$\lap u-u_t=fχ_{\{u>0\}}, \quad u\geq 0,\quad f\in L^p \quad \mbox{with}\quad f(0)=1$$ and obtain two monotonicity formulae, one that applies for general free boundary points and one for singular free boundary points. These are used to prove a second order Taylor expansion at singular points (under a pointwise Dini condition), with an estimate of the error (under a pointwise double Dini condition). Moreover, under the assumption that $f$ is Dini continuous, we prove that the set of regular points is locally a (parabolic) $C^1$-surface and that the set o…
The paper is concerned with functional type a posteriori estimates for the initial boundary value problem for a parabolic partial differential equation with an obstacle. We deduce a guaranteed and computable bound of the distance between the exact minimizer and any function from the admissible (energy) class of functions. Applications to the analysis of modeling errors caused by data implification are discussed. An important case of time incremental approximations is specially studied. Numerical examples presented in the last section show how the estimates work in practice.
We study the regularity of the free boundary in the parabolic obstacle problem for the fractional Laplacian $(-Δ)^s$ (and more general integro-differential operators) in the regime $s>\frac{1}{2}$. We prove that once the free boundary is $C^1$ it is actually $C^{2,α}$. To do so, we establish a boundary Harnack inequality in $C^1$ and $C^{1,α}$ (moving) domains, providing that the quotient of two solutions of the linear equation, that vanish on the boundary, is as smooth as the boundary. As a consequence of our results we also establish for the first time optimal regularity of such solutions to…
We consider various versions of the obstacle and thin-obstacle problems, we interpret them as variational inequalities, with non-smooth constraint, and prove that they satisfy a new constrained Lojasiewicz inequality. The difficulty lies in the fact that, since the constraint is non-analytic, the pioneering method of L. Simon (Ann. of Math. 118(3), 1983) does not apply and we have to exploit a better understanding on the constraint itself. We then apply this inequality to two associated problems. First we combine it with an abstract result on parabolic variational inequalities, to prove the co…
We study the parabolic free boundary problem of obstacle type $$ \lap u-\frac{\partial u}{\partial t}= fχ_{u\ne 0}. $$ Under the condition that $f=Hv$ for some function $v$ with bounded second order spatial derivatives and bounded first order time derivative, we establish the same regularity for the solution $u$. Both the regularity and the assumptions are optimal. Using this result and assuming that $f$ is Dini continuous, we prove that the free boundary is, near so called low energy points, a $C^1$ graph. Our result completes the theory for this type of problems for the heat operator.
We study the regularity of the viscosity solution to the fully nonlinear parabolic thin obstacle problem. In particular, we prove that the solution is local $H^{1+α}$ on each side of the smooth obstacle, for some small $α>0.$ Following the method which was first introduced for the harmonic case by Caffarelli in 1979, we extend the results of Fernández-Real (2016) who treated the fully nonlinear elliptic case. Our results also extend those of Chatzigeorgiou (2019) in two ways. First, we do not assume solutions nor operators to be symmetric. Second, our estimates are local, in the sense that do …
We study the regularity of the solution of the double obstacle problem form for fully non linear parabolic and elliptic operators. We show that when the obstacles are sufficiently regular the solution is $C^{1,α}$ in the interior for both the parabolic and the elliptic cases.
In this paper we continue the study initiated in [FGN] concerning the obstacle problem for a class of parabolic non-divergence operators structured on a set of vector fields X = {X_1,...,X_q} in R^n with C^1-coefficients satisfying Hörmander's finite rank condition, i.e., the rank of Lie{X_1,...,X_q} equals n at every point in R^n. In [FGN] we proved, under appropriate assumptions on the operator and the obstacle, the existence and uniqueness of strong solutions to a general obstacle problem. The main result of this paper is that we establish further regularity, in the interior as well as at t…
The parabolic obstacle problem for the fractional Laplacian naturally arises in American option models when the assets prices are driven by pure jump Lévy processes. In this paper we study the regularity of the free boundary. Our main result establishes that, when $s>\frac12$, the free boundary is a $C^{1,α}$ graph in $x$ and $t$ near any regular free boundary point $(x_0,t_0)\in \partial\{u>φ\}$. Furthermore, we also prove that solutions $u$ are $C^{1+s}$ in $x$ and $t$ near such points, with a precise expansion of the form \[u(x,t)-φ(x)=c_0\bigl((x-x_0)\cdot e+a(t-t_0)\bigr)_+^{1+s}+o\bigl(|…
We prove the existence of a unique viscosity solution to certain systems of fully nonlinear parabolic partial differential equations with interconnected obstacles in the setting of Neumann boundary conditions. The method of proof builds on the classical viscosity solution technique adapted to the setting of interconnected obstacles and construction of explicit viscosity sub- and supersolutions as bounds for Perron's method. Our motivation stems from so called optimal switching problems on bounded domains.
In this paper we study the existence, the optimal regularity of solutions, and the regularity of the free boundary near the so-called \emph{regular points} in a thin obstacle problem that arises as the local extension of the obstacle problem for the fractional heat operator $(\partial_t - Δ_x)^s$ for $s \in (0,1)$. Our regularity estimates are completely local in nature. This aspect is of crucial importance in our forthcoming work on the blowup analysis of the free boundary, including the study of the singular set. Our approach is based on first establishing the boundedness of the time-derivat…
We consider the Cauchy problem for semilinear parabolic equation in divergence form with obstacle. We show that under natural conditions on the right-hand side of the eqution and mild conditions on the obstacle a unique continuous solution of the problem admits a stochastic representation in terms of reflected backward stochastic differential equations. We derive also some regularity properties of so- lutions and prove useful approximation results.
We consider the obstacle problem with two irregular reflecting barriers for the Cauchy-Dirichlet problem for semilinear parabolic equations with measure data. We prove the existence and uniqueness of renormalized solutions of the problem and well as results on approximation of the solutions by the penaliztion method. In the proofs we use probabilistic methods of the theory of Markov processes and the theory of backward stochastic differential equations.
In this paper, we develop a viscosity method for Homogenization of Nonlinear Parabolic Equations constrained by highly oscillating obstacles or Dirichlet data in perforated domains. The Dirichlet data on the perforated domain can be considered as a constraint or an obstacle. Homogenization of nonlinear eigen value problems has been also considered to control the degeneracy of the Porous medium equation in perforated domains. For the simplicity, we consider obstacles that consist of cylindrical columns distributed periodically and perforated domains with punctured balls. If the decay rate of th…
We show that signed weak solutions to parabolic obstacle problems with porous medium type structure are locally Hölder continuous, provided that the obstacle is Hölder continuous.
This paper is concerned with resolvent estimates on the real axis for the Helmholtz equation posed in the exterior of a bounded obstacle with Dirichlet boundary conditions when the obstacle is trapping. There are two resolvent estimates for this situation currently in the literature: (i) in the case of elliptic trapping the general "worst case" bound of exponential growth applies, and examples show that this growth can be realised through some sequence of wavenumbers, (ii) in the prototypical case of hyperbolic trapping where the Helmholtz equation is posed in the exterior of two strictly conv…
We consider a parabolic obstacle problem for Euler's elastic energy of graphs with fixed ends. We show global existence, well-posedness and subconvergence provided that the obstacle and the initial datum are suitably 'small'. For symmetric cone obstacles we can improve the subconvergence to convergence. Qualitative aspects such as energy dissipation, coincidence with the obstacle and time regularity are also examined.
We study the pointwise regularity of solutions to parabolic equations. As a first result, we prove that if the modulus of mean oscillation of $Δu -u_t$ at the origin is Dini (in $L^p$ average), then the origin is a Lebesgue point of continuity (still in $L^p$ average) for $D^2 u$ and $\dd_t u$. We extend this pointwise regularity result to the parabolic obstacle problem with Dini right hand side. In particular, we prove that the solution to the obstacle problem has, at regular points of the free boundary, a Taylor expansion up to order two in space and one in time (in the $L^p$ average). Moreo…
We show that the quotient of two caloric functions which vanish on a portion of an $H^{k+ α}$ regular slit is $H^{k+ α}$ at the slit, for $k \geq 2$. In the case $k=1$, we show that the quotient is in $H^{1+α}$ if the slit is assumed to be space-time $C^{1, α}$ regular. This can be thought of as a parabolic analogue of a recent important result in [DSS14a], whose ideas inspired us. As an application, we show that the free boundary near a regular point of the parabolic thin obstacle problem studied in [DGPT] with zero obstacle is $C^{\infty}$ regular in space and time.
We prove existence and uniqueness of stochastic representations for solutions to elliptic and parabolic boundary value and obstacle problems associated with a degenerate Markov diffusion process. In particular, our article focuses on the Heston stochastic volatility process, which is widely used as an asset price model in mathematical finance and a paradigm for a degenerate diffusion process where the degeneracy in the diffusion coefficient is proportional to the square root of the distance to the boundary of the half-plane. The generator of this process with killing, called the elliptic Hesto…
We consider a model for the propagation of a driven interface through a random field of obstacles. The evolution equation, commonly referred to as the Quenched Edwards-Wilkinson model, is a semilinear parabolic equation with a constant driving term and random nonlinearity to model the influence of the obstacle field. For the case of isolated obstacles centered on lattice points and admitting a random strength with exponential tails, we show that the interface propagates with a finite velocity for sufficiently large driving force. The proof consists of a discretization of the evolution equation…
In this paper, we review some results over the last 10-15 years on elliptic and parabolic equations with discontinuous coefficients. We begin with an approach given by N. V. Krylov to parabolic equations in the whole space with VMO$_x$ coefficients. We then discuss some subsequent development including elliptic and parabolic equations with coefficients which are allowed to be merely measurable in one or two space directions, weighted $L_p$ estimates with Muckenhoupt ($A_p$) weights, non-local elliptic and parabolic equations, as well as fully nonlinear elliptic and parabolic equations.
This work is devoted to the strong unique continuation problem for second order parabolic equations with nonsmooth coefficients. Introduction and bibliography have been revised.
This paper is devoted to a proof of optimal regularity, near the initial state, for weak solutions to the two-phase parabolic obstacle problem. The approach used here is general enough to allow us to consider the initial data belonging to the class $C^{1,1}$.
We find minimal regularity conditions on the coefficients of a parabolic operator, ensuring that no nontrivial solution tends to zero faster than any exponential.
We establish two-sided Gaussian bounds for fundamental solutions of general non-divergence form parabolic operators with Hölder continuous coefficients. The result we obtain is essentially based on parametrix method.
We consider an oblique derivative problem in a wedge for nondivergence parabolic equations with discontinuous in $t$ coefficients. We obtain weighted coercive estimates of solutions in anisotropic Sobolev spaces.
We consider the Cauchy problem for semilinear parabolic equation in divergence form with obstacle. We show that under natural conditions on the right-hand side of the equation and mild conditions on the obstacle the problem has a unique solution and we provide its stochastic representation in terms of reflected backward stochastic differential equations. We prove also regularity properties and approximation results for solutions of the problem.
We obtain Calderón-Zygmund type estimates for parabolic equations with Orlicz growth, where nonlinearities involved in the equations may be discontinuous for the space and time variables. In addition, we consider parabolic systems with the Uhlenbeck structure.
For a family of second-order parabolic systems with bounded measurable, rapidly oscillating and time-dependent periodic coefficients, we investigate the sharp convergence rates of weak solutions in $L^2$. Both initial-Dirichlet and initial-Neumann problems are studied.
We consider time fractional parabolic equations in both divergence and non-divergence form when the leading coefficients $a^{ij}$ are measurable functions of $(t,x_1)$ except for $a^{11}$ which is a measurable function of either $t$ or $x_1$. We obtain the solvability in Sobolev spaces of the equations in the whole space, on a half space, or on a partially bounded domain. The proofs use a level set argument, a scaling argument, and embeddings in fractional parabolic Sobolev spaces for which we give a direct and elementary proof.