Abstract:A class of optimal control problems governed by semilinear parabolic equations with mixed pointwise constraints is considered. We give some criteria under which the first and second-order optimality conditions are of KKT-type. We then prove that the Lagrange multipliers belong to $L^p$-spaces. Moreover, we show that if the initial value is good enough and boundary $\partial\Omega$ has a property of positive geometric density, then multipliers and optimal solutions are Hölder continuous.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the optimality conditions and the regularity of multipliers in semi - linear parabolic optimal control problems with mixed point constraints. Specifically, the author focuses on how to establish first - order and second - order optimality conditions under specific conditions and prove that the Lagrange multipliers belong to the $L^p$ space. In addition, the Hölder continuity of the multipliers and the optimal solution is also studied when the initial value is good enough and the boundary $\partial\Omega$ has the positive geometric density property.
### Problem Background
Optimal control problems usually involve finding a control function $u\in L^{\infty}(Q)$ and its corresponding state function $y\in L^{\infty}(Q)\cap W^{1,2}(0,T;D,H)$ such that the objective functional
\[J(y,u):=\int_Q L(x,t,y(x,t),u(x,t))dxdt\]
reaches the minimum, while satisfying the following constraint conditions:
1. State equation:
\[\frac{\partial y}{\partial t}+Ay + f(y)=u\quad\text{in}\ Q=\Omega\times(0,T)\]
2. Boundary and initial value conditions:
\[y(x,t) = 0\quad\text{in}\ \Sigma=\Gamma\times(0,T),\quad y(x,0)=y_0(x)\quad\text{in}\ \Omega\]
3. Mixed point constraints:
\[g(x,t,y(x,t),u(x,t))\leq0\quad\text{almost everywhere in}\ (x,t)\in Q\]
### Main Contributions of the Paper
1. **Optimality Conditions**: The author gives some criteria so that the optimality conditions are of the KKT type.
2. **Regularity of Multipliers**: It is proved that the Lagrange multipliers belong to the $L^p$ space.
3. **Hölder Continuity**: When the initial value is good enough and the boundary $\partial\Omega$ has the positive geometric density property, the Hölder continuity of the multipliers and the optimal solution is proved.
### Key Technical Means
- **Embedding Mathematical Programming Problems**: Embed the problem into a specific mathematical programming problem so that the Robinson constraint condition is satisfied.
- **Yosida - Hewitt Theorem**: Use the Yosida - Hewitt theorem to prove that under certain conditions, the Lagrange multipliers belong to the $L^p$ space.
- **Compactness and Weak Convergence**: Through tools such as Aubin's lemma, prove the weak convergence of sequences, thereby verifying the key conditions.
### Conclusion
This paper successfully solves the problems of establishing first - order and second - order optimality conditions and the regularity of multipliers in semi - linear parabolic optimal control problems with mixed point constraints. These results are of great significance for the convergence and error estimation of numerical methods (such as the finite element method).