P. Dall'Aglio,C. Leone
Abstract:We give a definition for Obstacle Problems with measure data and general obstacles. For such problems we prove existence and uniqueness of solutions and consistency with the classical theory of Variational Inequalities. Continuous dependence with respect to data is discussed.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about Obstacle Problems with Measure Data. Specifically, the authors aim to provide a definition for obstacle problems with measure data and general obstacles, and prove the existence and uniqueness of solutions to such problems. In addition, they also discuss the continuous dependence of solutions on data and ensure consistency with the classical variational inequality theory.
### Specific description of the problem
1. **Define the obstacle problem**:
- The authors define the obstacle problem with measure data and general obstacles.
2. **Existence and uniqueness**:
- For the linear differential operator \( A \), the existence and uniqueness of solutions to the obstacle problem with measure data are proved.
3. **Stability results**:
- The continuous dependence of solutions on data, that is, how solutions change when input data changes, is discussed.
4. **Consistency with classical theory**:
- Ensure that the newly defined obstacle problem is consistent with the classical variational inequality theory.
### Mathematical background
- **Spaces and operators**:
- Let \( \Omega \) be a bounded regular open set in \( \mathbb{R}^N \).
- \( A(u)=-\text{div}(A(x)\nabla u) \) is a linear elliptic operator with \( L^\infty(\Omega) \) coefficients, satisfying
\[
a_{ij}\in L^\infty(\Omega),\quad \sum a_{ij}(x)\xi_i\xi_j\geq \gamma |\xi|^2,\quad \forall \xi\in \mathbb{R}^N,\text{ a.e. in }\Omega.
\]
- **Capacity theory**:
- Use capacity theory to deal with the case of thin obstacles. The capacity is defined as
\[
\text{cap}(E,\Omega)=\inf\left\{\|z\|_{H^1_0(\Omega)}:z\in H^1_0(\Omega),z\geq 1\text{ a.e. in a neighborhood of }E\right\}.
\]
- **Variational inequality**:
- For any given data \( F\in H^{-1}(\Omega) \), consider the following variational inequality:
\[
\begin{cases}
\langle Au,v - u\rangle\geq\langle F,v - u\rangle&\forall v\in K_\psi(\Omega)\cap H^1_0(\Omega)\\
u\in K_\psi(\Omega)\cap H^1_0(\Omega)
\end{cases}
\]
- where \( K_\psi(\Omega)=\{z\text{ quasi continuous}:z\geq \psi\text{ q.e. in }\Omega\}\).
Through these definitions and methods, the authors successfully solve the obstacle problem with measure data and ensure its consistency with the classical theory.