Null controllability of n-dimensional parabolic equations degenerated on partial boundary

Weijia Wu,Yaozhong Hu,Hongli Sun,Donghui Yang
2024-05-01
Abstract:This paper extends the Carleman estimates to high dimensional parabolic equations with highly degenerate symmetric coefficients on a bounded domain of Lipschitz boundary and use these estimates to study the controlla?bility the corresponding equations. Due to the nonsmoothness and degeneracy of boundary, the partial integration by parts in Carleman estimates have no meaning on the degenerate and nonsmooth parts of the boundary. To get around of this difficulty, we construct special weight function, and transform some integral terms in degenerate regions into a non-degenerate ones carefully so that the obtained Carleman estimates can still be used to the controllability problem. Our results includes some well-known works as some special cases as well as some interesting new examples.
Analysis of PDEs,Optimization and Control
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the null controllability problem of high - dimensional parabolic equations with partially degenerate boundaries. Specifically, the paper extends the Carleman estimates to high - dimensional parabolic equations with highly degenerate symmetric coefficients and uses these estimates to study the controllability of the corresponding equations. Due to the non - smoothness and degeneracy of the boundary, some partial integrals are meaningless in the degenerate and non - smooth parts, which brings challenges to the research. To overcome this difficulty, the author constructs special weight functions and carefully converts certain integral terms in the degenerate region into integral terms in the non - degenerate region, so that the obtained Carleman estimates can still be used for the study of the controllability problem. ### Main contributions of the paper: 1. **Allowing the boundary to be Lipschitz conditions**: Different from previous works which require the boundary to be \(C^4\), this paper allows the boundary to be Lipschitz conditions, making the method more general. 2. **Considering degenerate equations in higher dimensions**: This paper is not limited to two - dimensional equations, but considers degenerate equations in higher dimensions (such as \(n\geq3\)), filling the gap in this field. 3. **Partial boundary degeneracy**: This paper allows partial boundary degeneracy, including the case of full - boundary degeneracy in system (1.1) as a special case. 4. **Degeneracy of the control system**: The control system in this paper can be degenerate at all eigenvalues, and the assumptions on \(A(x)\) are very limited, significantly expanding the scope of application of the results. ### Main technical means: - **Carleman estimates**: By constructing special weight functions, convert the integral terms in the degenerate region into integral terms in the non - degenerate region, thus bypassing the problem that some partial integrals are meaningless in the degenerate and non - smooth parts. - **Selection of the control region**: The control region needs to include the entire degenerate boundary as well as the non - \(C^2\) boundary to ensure the validity of the Carleman estimates. ### Specific application examples: 1. **Two - dimensional degenerate parabolic equation**: - Equation form: \[ \begin{cases} \partial_t z-(y^{\alpha_2}\partial_{xx}z + x^{\alpha_1}\partial_{yy}z)=\chi_{\omega_0}g, & \text{in }Q, \\ z(x,y,t) = 0\text{ or }A\nabla z\cdot\nu = 0, & \text{on }\Sigma, \\ z(x,y,0)=z_0(x,y), & \text{in }\Omega, \end{cases} \] - Where \(\alpha_1,\alpha_2\in(0,2)\), \(\Omega=(0,1)\times(0,1)\). 2. **Four - dimensional degenerate parabolic equation**: - Equation form: \[ \begin{cases} \partial_t z-\text{div}(A\nabla z)=\chi_{\omega_0}g, & \text{in }Q, \\ z(x,y,z,w,t) = 0\text{ or }A\nabla z\cdot\nu = 0, & \text{on }\Sigma, \\ z(x,y,z,w,0)=z_0(x,y,z,w), & \text{in }\Omega, \end{cases} \] - Where \(\Omega=(0,1)\times(0,1)\times(0,1)\times(0,1)\), and the form of matrix \(A\) is: \[ A=\begin{pmatrix} y^{\alpha_2}&0&0&0\\