Higher differentiability for solutions to a class of obstacle problems

By Michela Eleuteri, Antonia Passarelli di Napoli. Calculus of Variations and Partial Differential Equations, 2018

52 citations recorded by the source corpus.

We establish the higher differentiability of integer and fractional order of the solutions to a class of obstacle problems assuming that the gradient of the obstacle possesses an extra (integer or fractional) differentiability property. We deal with the case in which the solutions to the obstacle problems satisfy a variational inequality of the form ∫Ω⟨A(x,Du),D(φ-u)⟩dx≥0∀φ∈Kψ(Ω)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} \int _{\Omega } \langle \mathcal {A}(x, Du), D(\varphi - u) \rangle \, dx \ge 0 \qquad \forall \varphi \in \mathcal {K}_{\psi }(\Omega ) \end{aligned}$$\end{document}where A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {A}$$\end{document} is a p-harmonic type operator, ψ∈W1,p(Ω)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi \in W^{1,p}(\Omega )$$\end{document} is a fixed function called obstacle and Kψ={w∈W1,p(Ω):w≥ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {K}_{\psi }=\{w \in W^{1,p}(\Omega ): w \ge \psi \,\,$$\end{document} a.e. in Ω}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega \}$$\end{document} is the class of the admissible functions. We prove that an extra differentiability assumption on the gradient of the obstacle transfers to Du with no losses in the natural exponent of integrability, provided the partial map x↦A(x,ξ)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$x\mapsto \mathcal {A}(x,\xi )$$\end{document} possesses a suitable differentiability property measured either in the scale of the Sobolev space W1,n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$W^{1,n}$$\end{document} or in that of the critical Besov–Lipschitz spaces Bnα,qα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$B^\alpha _{\frac{n}{\alpha }, q}$$\end{document}, for a suitable 1≤q≤+∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$1\le q\le +\infty $$\end{document}.

Subfields: Applied Mathematics, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/7aafbb14158829ea543835dcf8d4c89b388390a2