Abstract:This paper considers the existence of a global-in-time strong solution to the heat equations in the two half spaces $\mathbb{R}^3_+(=\mathbb{R}^2 \times (0,\infty))$, $\mathbb{R}^3_-(= \mathbb{R}^2 \times (-\infty ,0))$, and the interface $\mathbb{R}^2 \times \{ 0 \} (\cong \mathbb{R}^2)$. We introduce and study some function spaces in the two half spaces and the interface. We apply our function spaces and the maximal $L^p$-regularity for Hilbert space-valued functions to show the existence of a strong solution to our heat equations. The key idea of constructing strong solutions to our system is to make use of nice properties of the heat semigroups and kernels for $\mathbb{R}^3_+$, $\mathbb{R}^3_{-}$, and $\mathbb{R}^2$. In Appendix, we derive our heat equations in the two half spaces and the interface from an energetic point of view.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the existence of global - time strong solutions to the heat equation on two half - spaces $\mathbb{R}^3_+$ and $\mathbb{R}^3_-$ and their interface $\mathbb{R}^2\times\{0\}$. Specifically, the paper focuses on the following heat equation system:
\[
\begin{cases}
\alpha_A\frac{\partial\theta_A}{\partial t}=\kappa_A\Delta\theta_A & \text{in }\mathbb{R}^3_+\times(0, T),\\
\alpha_B\frac{\partial\theta_B}{\partial t}=\kappa_B\Delta\theta_B & \text{in }\mathbb{R}^3_-\times(0, T),\\
\alpha_S\frac{\partial\theta_S}{\partial t}=\kappa_S\Delta_h\theta_S+\kappa_A\gamma_+[\frac{\partial\theta_A}{\partial x_3}]-\kappa_B\gamma_-[\frac{\partial\theta_B}{\partial x_3}] & \text{in }\mathbb{R}^2\times(0, T),\\
\gamma_+[\theta_A]=\gamma_-[\theta_B]=\theta_S & \text{in }\mathbb{R}^2\times(0, T),
\end{cases}
\]
where:
- $\theta_A$, $\theta_B$ and $\theta_S$ represent the temperatures on $\mathbb{R}^3_+$, $\mathbb{R}^3_-$ and $\mathbb{R}^2$ respectively.
- $\alpha_A$, $\alpha_B$ and $\alpha_S$ are given positive constants, representing the heat diffusion coefficients on $\mathbb{R}^3_+$, $\mathbb{R}^3_-$ and $\mathbb{R}^2$ respectively.
- $\kappa_A$, $\kappa_B$ and $\kappa_S$ are given positive constants, representing the thermal conductivities on $\mathbb{R}^3_+$, $\mathbb{R}^3_-$ and $\mathbb{R}^2$ respectively.
- $\gamma_+$ and $\gamma_-$ are trace operators, defined as:
\[
\gamma_+[\cdot]:W^{1,2}(\mathbb{R}^3_+)\to L^2(\mathbb{R}^2)\quad\text{and}\quad\gamma_-[\cdot]:W^{1,2}(\mathbb{R}^3_-)\to L^2(\mathbb{R}^2).
\]
The main purpose of the paper is to introduce and study these function spaces, and apply these function spaces and the maximal $L^p$-regularity of Hilbert - space - valued functions to prove the existence of global - time strong solutions to the above heat equation system. In addition, the paper also explores the properties of these solutions and the energy conservation relations.