Abstract:We develop couplings of a recent space-time first-order system least-squares (FOSLS) method for parabolic problems and space-time boundary element methods (BEM) for the heat equation to numerically solve a parabolic transmission problem on the full space and a finite time interval. In particular, we demonstrate coercivity of the couplings under certain restrictions and validate our theoretical findings by numerical experiments.
What problem does this paper attempt to address?
This paper attempts to solve the numerical solution of the parabolic transmission problem in the whole space and the finite time interval. Specifically, the author has developed a coupling method of the space - time finite element method (space - time FEM) and the space - time boundary element method (space - time BEM) for solving the parabolic transmission problem involving the heat conduction equation. The following are the main problems and objectives of the paper:
### Research Background and Problem Description
The core problem studied in the paper is the parabolic transmission problem in the following form:
\[
\begin{cases}
\partial_t u-\text{div}_x(A\nabla_x u) = f & \text{in }Q,\\
\partial_t u_{\text{ext}}-\Delta_x u_{\text{ext}} = 0 & \text{in }Q_{\text{ext}},\\
u(0,\cdot)=u_0 & \text{in }\Omega,\\
u_{\text{ext}}(0,\cdot) = 0 & \text{in }\Omega_{\text{ext}},\\
u - u_{\text{ext}}=u_D & \text{on }\Sigma,\\
(A\nabla_x u-\nabla_x u_{\text{ext}})\cdot n_x=\varphi_N & \text{on }\Sigma,\\
u(\cdot,x)\to 0 & \text{as }|x|\to\infty.
\end{cases}
\]
Here, $\Omega\subset\mathbb{R}^d$ is a bounded Lipschitz domain, $\Gamma$ is its boundary, $T>0$ is the given final time, $Q := I\times\Omega$ is the space - time cylinder, $\Sigma := I\times\Gamma$ is its lateral boundary, $\Omega_{\text{ext}}:=\mathbb{R}^d\setminus\Omega$ is the external unbounded domain, and $Q_{\text{ext}} := I\times\Omega_{\text{ext}}$ is the external space - time domain.
### Main Contributions
1. **Development of Coupling Methods**: The author has proposed several coupling methods of space - time FOSLS (first - order system least - squares) methods and space - time BEM for solving the above - mentioned parabolic transmission problem.
2. **Proof of Coercivity**: Under certain restrictive conditions, the author has proved that the variational formulas of these coupling methods are coercive, thus ensuring the uniqueness and stability of the numerical solutions.
3. **Numerical Verification**: The correctness of the theoretical results has been verified through numerical experiments, demonstrating the effectiveness of the proposed methods.
### Method Innovation Points
- **Space - Time Methods**: Different from the traditional time - stepping methods, space - time methods can perform local mesh refinement in both time and space simultaneously and have the potential for parallel computing.
- **Coercivity Analysis**: By introducing an appropriate weighting parameter $\alpha$, it is ensured that the variational formula of the coupling method is coercive, thus ensuring the stability and convergence of the numerical solutions.
### Application Prospects
This method is not only applicable to heat conduction problems but can also be extended to other types of parabolic partial differential equations, such as optimal control problems and parameter - dependent problems. In addition, the coercivity property gives this method an advantage in dealing with nonlinear problems and complex geometries.
In summary, the main purpose of this paper is to develop an effective numerical method for solving the parabolic transmission problem and to verify its effectiveness and stability through rigorous mathematical analysis and numerical experiments.