Abstract:In this paper, we systematically study weak solutions of a linear singular or degenerate parabolic equation in a mixed divergence form and nondivergence form, which arises from the linearized fast diffusion equation and the linearized porous medium equation with the homogeneous Dirichlet boundary condition. We prove the Hölder regularity of their weak solutions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the Hölder regularity of weak solutions of linear singular or degenerate parabolic equations in both mixed - divergence and non - divergence forms. Specifically, the paper focuses on the regularity of weak solutions of such equations that appear in the linearized fast diffusion equation and the linearized porous medium equation with homogeneous Dirichlet boundary conditions.
### Background and Motivation
1. **Equation Background**:
- The form of the equation studied in the paper is:
\[
a \omega^p \partial_t u - D_j(a_{ij} D_i u + d_j u) + b_i D_i u + \omega^p c u + c_0 u = \omega^p f + f_0 - D_i f_i \quad \text{in } \Omega \times (-1, 0]
\]
where \( \Omega \subset \mathbb{R}^n \) is a smooth bounded open set, and \( \omega \) is a smooth function comparable to the distance function \( d(x)=\text{dist}(x,\partial \Omega) \).
- The coefficients \( a, a_{ij}, d_j, b_i, c, c_0, f, f_0, f_i \) in the equation are all functions of \( (x, t) \).
2. **Ellipticity Conditions**:
- Assume that \( (a_{ij}) \) satisfies the ellipticity conditions:
\[
\lambda \leq a(x, t) \leq \Lambda, \quad \lambda |\xi|^2 \leq \sum_{i,j = 1}^n a_{ij}(x, t)\xi_i \xi_j \leq \Lambda |\xi|^2 \quad \forall (x, t)\in \Omega\times[-1, 0], \forall \xi\in \mathbb{R}^n
\]
where \( 0 < \lambda \leq \Lambda <\infty \).
3. **Motivation**:
- The motivation for studying these equations comes from the proof of the optimal regularity of solutions of the linearized fast diffusion equation and the slow diffusion equation (i.e., the porous medium equation). These equations have wide applications in physics and engineering, such as in fluid dynamics and materials science.
### Main Objectives
The main objective of the paper is to prove the Hölder regularity of the weak solutions of the above - mentioned equations on the boundary \( \{x_n = 0\} \). Specifically, the author hopes to prove:
- **Hölder Estimates in Local Time**: Hölder estimates at \( \{x_n = 0\} \) for weak solutions of equation (6) in local time.
- **Hölder Estimates in Global Space - Time**: Global space - time Hölder estimates for weak solutions of equation (6) in the entire region \( B_1^+\times[-1, 0] \).
### Methods and Techniques
- **Weighted Sobolev Spaces**: Introduced the weighted Sobolev spaces \( V^{1,1}_2 \) and \( V^2 \) to define and study weak solutions.
- **Energy Estimates**: Proved the existence and uniqueness of weak solutions by the energy estimation method.
- **De Giorgi Iteration**: Used the De Giorgi iteration method to prove the Hölder regularity of weak solutions.
### Conclusions
Through the above methods and techniques, the paper successfully proved the Hölder regularity of weak solutions of linear singular or degenerate parabolic equations in both mixed - divergence and non - divergence forms, especially the regularity on the boundary \( \{x_n = 0\} \). This result provides an important theoretical basis for understanding the properties of solutions of such equations.