Efficient Computation of Heat Distribution of Processed Materials under Laser Irradiation

Abstract

In this paper, a solution is provided to solve the heat conduction equation in the three-dimensional cylinder region, where the laser intensity of the material irradiation surface is expressed as a Gaussian distribution. Based on the symmetry of heat distribution, firstly, the form of the heat equation in the common rectangular coordinate system is changed to another form in the two-dimensional cylindrical coordinate system. Secondly, the ADI with the backward Euler method and with Crank–Nicolson method are established to discretize the model in the cylindrical coordinate system, after which the simulation results are obtained, where the first kind of boundary value condition is used to verify the accuracy of these two algorithms. Then, the above two methods are used to solve the model with the third kind of boundary value condition. Finally, the comparison is performed with the results obtained by the MATLAB’s PDETOOL, which shows that the solution is more feasible and efficient.

1. Introduction

In the fields of advanced equipment manufacturing for example aerospace and new energy, hard and brittle materials such as beryllium, fused silica, and diamond are widely used to manufacture products and devices. Generally, when machining (drilling or cutting) brittle and hard materials, it is pretty easy to cause damage on the processed material. Therefore, at present, laser is commonly used to irradiate the surface of the processed material, after which the processed materials obtain heat through the interaction between light and itself, and the processing quality is significantly improved by heating and modification. In order to find the optimal laser intensity and distribution, it is necessary to calculate the propagation state of light and heat in three-dimensional object. Common numerical methods are the finite element method (FEM) and the finite difference method (FDM) [1,2], but they all require large amounts of computation.

For the purpose, some numerical methods had been proposed [3,4,5,6,7,8,9,10,11,12,13,14], such as the alternating direction implicit (ADI) finite-difference time-domain method (FDTD) and its convolution perfect matching layer (CPML). The implementation of the ADI-FDTD and its CPML is divided into three steps. Firstly, transform the finite difference time domain method in the traditional three-dimensional cylindrical coordinate system into a matrix expression. Secondly, matrix expression of ADI-FDTD method in three-dimensional cylindrical coordinate system is proposed by matrix transformation. Finally, the influence parameters of the marching layer are added to the method in the form of auxiliary variables.

The existing methods directly give a three-dimensional cylindrical coordinate model in the electromagnetic environment, combined with the unconditionally stable ADI algorithm. However, we propose a three-dimensional heat conduction model of laser processing in the rectangular coordinate system, which is then discretely transformed, simplified, and solved in three steps. Firstly, a three-dimensional heat conduction model in a rectangular coordinate system is developed, and it is transformed into a three-dimensional heat conduction model in the cylindrical coordinate system. Secondly, since the heat conduction discussed in this article is irrelevant with the angle in the cylindrical coordinate system, the three-dimensional problem in cylindrical coordinates is simplified to a two-dimensional problem. Finally, we use the backward Euler method and Crank–Nicolson method, combined with the unconditionally stable ADI method for discretization.

In order to solve this problem, we first develop the heat conduction equation and boundary conditions. According to the characteristics of laser beam, the heat conduction equation solving problem in three-dimensional rectangular coordinate system is transformed into the heat conduction equation solving problem in two-dimensional cylindrical coordinate system by using cylindrical coordinate transformation. Finally, an alternate implicit scheme algorithm is constructed. In conclusion, the heat conduction distribution can be solved quickly and stably, which provides an effective calculation method for the optimization of related parameter.

2. Mathematical Model

The problem model discussed in this article is first proposed in a rectangular coordinate system, and then converted to a corresponding cylindrical coordinate system for discretization and solution. The significance of this chapter is to give the origin of the cylindrical coordinate equation model in the article and connect it to the original equation model in the rectangular coordinate system.

Suppose $\mathsf{\Omega }$ is a cylinder with the origin of the coordinates as the center, then the model of the problem for three-dimensional heat conduction is as follows:

$$\frac{\partial \widehat{T}}{\partial t}=\nabla \left(\alpha ·\nabla \widehat{T}\right)+f,\left(x,y,z\right)\in \mathsf{\Omega },t\in \left(0,T_e\right],$$

(1)

$$\widehat{T}\left(x,y,z,0\right)=\phi \left(x,y,z\right),0\le x\le X,y^2+z^2\le R^2,$$

(2)

where $\alpha \ge 0$.

Boundary value conditions of the first kind are:

$$\begin{array}{l}{\left.\widehat{T}\right|}_{S_1}=k\left(y,z,t\right),S_1=\left\{\left.\left(x,y,z\right)\right|x=0,y^2+z^2\le R^2\right\},\\ {\left.\widehat{T}\right|}_{S_2}=l\left(x,t\right),S_2=\left\{\left.\left(x,y,z\right)\right|0<x<X,y^2+z^2=R^2\right\},\\ {\left.\widehat{T}\right|}_{S_3}=g\left(y,z,t\right),S_3=\left\{\left.\left(x,y,z\right)\right|x=X,y^2+z^2\le R^2\right\}.\end{array}$$

(3)

Boundary value conditions of the third kind are:

$$\begin{array}{l}{\left.\kappa \left(\nabla \widehat{T}·n\right)\right|}_{\mathsf{\Gamma }}=\beta q\left(\sqrt{y^2+z^2}\right),\mathsf{\Gamma }=\left\{\left.\left(y,z\right)\right|x=0,\sqrt{y^2+z^2}\le d\right\},\\ {\left.\widehat{T}\right|}_{S_4}=293 \mathrm{K}\left(20 °\mathrm{C}\right),S_4=\left\{\left.\left(y,z\right)\right|x=0,d<\sqrt{y^2+z^2}\le R\right\},\\ {\left.\kappa \left(\nabla \widehat{T}·n\right)\right|}_S={\left.H\left(\widehat{T}-T_a\right)\right|}_S,S=\left\{\left.\left(x,y,z\right)\right|\partial \mathsf{\Omega }\backslash \left\{x=0,y^2+z^2\le R^2\right\}\right\},\end{array}$$

(4)

where $\mathsf{\Gamma }$ is the laser irradiation area, $d$ is the laser radius, $\beta$ is the material’s absorption rate of laser energy, $H$ is the heat dissipation coefficient, and $T_a$ is the initial environmental temperature, as shown in Figure 1.

Consider the problem model under the column coordinates and make the following coordinate transformation:

$$\left\{\begin{array}{l}x=x,\\ y=r·\cos \theta ,\\ z=r·\sin \theta ,\end{array}\right.\hspace{1em}\left(0\le \theta \le 2\pi \right).$$

(5)

Then, Equation (1) is transformed into the following form:

$$\frac{\partial T}{\partial t}=\alpha ·\left(\frac{{\partial }^{2}T}{\partial r^2}+\frac{1}{r^2}·\frac{{\partial }^{2}T}{\partial {\theta }^2}+\frac{1}{r}·\frac{\partial T}{\partial r}+\frac{{\partial }^{2}T}{\partial x^2}\right)+f,$$

(6)

where $\widehat{T}\left(x,y,z,t\right)=T\left(x,r,t\right)$.

When the temperature distribution $T$ is independent of the $\theta$, Equation (6) is transformed into the simpler form:

$$\frac{\partial T}{\partial t}=\alpha ·\left(\frac{{\partial }^{2}T}{\partial r^2}+\frac{1}{r}·\frac{\partial T}{\partial r}+\frac{{\partial }^{2}T}{\partial x^2}\right)+f.$$

(7)

Transforming Equation (1) into Equation (7) is equivalent to transforming three-dimensional problems into two-dimensional problems. Compared with the direct solution of three-dimensional problems, we have simplified the problem, saved time, and improved the efficiency.

Consider the transformed two-dimensional problem model as follows:

$$\frac{\partial T}{\partial t}=\alpha ·\left(\frac{{\partial }^{2}T}{\partial r^2}+\frac{1}{r}·\frac{\partial T}{\partial r}+\frac{{\partial }^{2}T}{\partial x^2}\right)+f,0\le x\le X,0<r\le R,0<t\le T_e,$$

(8)

$$T\left(x,r,0\right)=\phi \left(x,r\right),0\le x\le X,0<r\le R.$$

(9)

Boundary value conditions of the first kind are as follows:

$$\begin{array}{l}T\left(0,r,t\right)={\varphi }_1(r,t),T\left(X,r,t\right)={\varphi }_2(r,t),\\ T\left(x,0,t\right)={\theta }_1\left(x,t\right),T\left(x,R,t\right)={\theta }_2\left(x,t\right).\end{array}$$

(10)

Boundary value conditions of the third kind are as follows:

$$\begin{array}{l}{\left.\kappa \left(\nabla T·n\right)\right|}_{x=0}=\beta q\left(r\right),r\in \mathsf{\Gamma },\\ {\left.\kappa \left(\nabla T·n\right)\right|}_{x=X}=H\left(T-T_a\right),0<r\le R,\\ {\left.\kappa \left(\nabla T·n\right)\right|}_{r=R}=H\left(T-T_a\right),0<x\le X,\\ \kappa {\left.\frac{\partial T}{\partial r}\right|}_{r=0}=0,0<x\le X.\end{array}$$

(11)

The alternate direction implicit format (abbreviated as ADI format) is an unconditionally stable format which can be solved by the catch-up method. This method is also called the P-R method, which was proposed by Peaceman and Rachford in 1955, and will be used to calculate the matrix form under the column coordinate.

3. Establishment of Differential Approximation

In the case of $X=R$, the space step is set to be $h=\left(X-0\right)/M,$ and the time step is set to be $\tau =\left(T_e-0\right)/N.$ Where $M$ and $N$ are positive integers, we have $x_i=0+i·h$, $0\le i\le M$, $r_j=0+j·h,0<j\le M,$ and $t_k=0+k·\tau ,1\le k\le N.$ So we get a grid subdivision of the interval, and $\left(x_i,r_j,t_k\right)$ is a node.

3.1. Difference Scheme for the Backward Euler Method

At node $\left(x_i,r_j,t_{k+1}\right)$, Equation (8) is considered as:

$$\frac{\partial T\left(x_i,r_j,t_{k+1}\right)}{\partial t}=\alpha ·\left(\frac{{\partial }^{2}T\left(x_i,r_j,t_{k+1}\right)}{\partial r^2}+\frac{1}{r_j}·\frac{\partial T\left(x_i,r_j,t_{k+1}\right)}{\partial r}+\frac{{\partial }^{2}T\left(x_i,r_j,t_{k+1}\right)}{\partial x^2}\right)+f\left(x_i,r_j,t_{k+1}\right),$$

(12)

$$1\le i,j\le M-1,1\le k\le N-1.$$

Using the backward Euler method to discretize Equation (12), we obtain [2]:

$$\begin{array}{cc}\frac{T\left(x_i,r_j,t_{k+1}\right)-T\left(x_i,r_j,t_k\right)}{\tau }\approx \alpha ·\hfill & \left(\begin{array}{c}\frac{T\left(x_{i-1},r_j,t_{k+1}\right)-2T\left(x_i,r_j,t_{k+1}\right)+T\left(x_{i+1},r_j,t_{k+1}\right)}{h^2}\hfill \\ +\frac{T\left(x_i,r_{j-1},t_{k+1}\right)-2T\left(x_i,r_j,t_{k+1}\right)+T\left(x_i,r_{j+1},t_{k+1}\right)}{h^2}\hfill \\ +\frac{1}{r_j}·\frac{T\left(x_i,r_{j+1},t_{k+1}\right)-T\left(x_i,r_{j-1},t_{k+1}\right)}{2h}+{R^{\left(1\right)}}_{i,j,k}\hfill \end{array}\right)\\ & \hspace{1em}+f\left(x_i,r_j,t_{k+1}\right)\hfill \end{array}$$

(13)

where the total truncation error is as follow:

$$\begin{array}{ll}{R^{\left(1\right)}}_{i,j,k}=& \frac{{\partial }^{2}T\left(x_i,r_j,t_{k+1}\right)}{\partial t^2}·\frac{\tau }{2}-\frac{1}{r_j}·\frac{{\partial }^{3}T\left(x_i,r_j,t_{k+1}\right)}{\partial r^3}·\frac{h^2}{6}-\frac{{\partial }^{4}T\left(x_i,r_j,t_{k+1}\right)}{\partial x^4}·\frac{h^2}{12}\\ & -\frac{{\partial }^{4}T\left(x_i,r_j,t_{k+1}\right)}{\partial r^4}·\frac{h^2}{12}+\cdots =\mathrm{O}\left(\tau +h^2\right).\end{array}$$

(14)

The difference equation can be obtained by replacing the exact solution $T\left(x_i,r_j,t_{k+1}\right)$ with an approximate numerical solution $T_{i,j}^{k+1}$ and discarding the truncation error ${R^{\left(1\right)}}_{i,j,k}$:

$$\begin{array}{l}\frac{T_{i,j}^{k+1}-T_{i,j}^k}{\tau }=\alpha ·\left(\frac{T_{i-1,j}^{k+1}-2T_{i,j}^{k+1}+T_{i+1,j}^{k+1}}{h^2}+\frac{T_{i,j-1}^{k+1}-2T_{i,j}^{k+1}+T_{i,j+1}^{k+1}}{h^2}+\frac{1}{r_j}·\frac{T_{i,j+1}^{k+1}-T_{i,j-1}^{k+1}}{2h}\right)+f_{i,j}^{k+1}.\\ \end{array}$$

(15)

3.2. Difference Scheme for Crank–Nicolson Method

Let $f=0$, and at node $\left(x_i,r_j,t_{k+1/2}\right)$, homogeneous form of Equation (8) is considered as the following form:

$$\frac{\partial T\left(x_i,r_j,t_{k+1/2}\right)}{\partial t}=\alpha ·\left(\frac{{\partial }^{2}T\left(x_i,r_j,t_{k+1/2}\right)}{\partial r^2}+\frac{1}{r_j}·\frac{\partial T\left(x_i,r_j,t_{k+1/2}\right)}{\partial r}+\frac{{\partial }^{2}T\left(x_i,r_j,t_{k+1/2}\right)}{\partial x^2}\right),$$

(16)

$$1\le i,j\le M-1,1\le k\le N-1.$$

Using Crank–Nicolson method to discretize Equation (16), we obtain [2]:

$$\frac{T\left(x_i,r_j,t_{k+1}\right)-T\left(x_i,r_j,t_k\right)}{\tau }\approx \frac{\alpha }{2}·\left(\begin{array}{c}\frac{T\left(x_{i-1},r_j,t_{k+1}\right)-2T\left(x_i,r_j,t_{k+1}\right)+T\left(x_{i+1},r_j,t_{k+1}\right)}{h^2}\hfill \\ +\frac{T\left(x_{i-1},r_j,t_k\right)-2T\left(x_i,r_j,t_k\right)+T\left(x_{i+1},r_j,t_k\right)}{h^2}\hfill \\ +\frac{T\left(x_i,r_{j-1},t_{k+1}\right)-2T\left(x_i,r_j,t_{k+1}\right)+T\left(x_i,r_{j+1},t_{k+1}\right)}{h^2}\hfill \\ +\frac{T\left(x_i,r_{j-1},t_{k+1}\right)-2T\left(x_i,r_j,t_{k+1}\right)+T\left(x_i,r_{j+1},t_{k+1}\right)}{h^2}\hfill \\ +\frac{1}{r_j}·\frac{T\left(x_i,r_{j+1},t_{k+1}\right)-T\left(x_i,r_{j-1},t_{k+1}\right)}{2h}\hfill \\ +\frac{1}{r_j}·\frac{T\left(x_i,r_{j+1},t_k\right)-T\left(x_i,r_{j-1},t_k\right)}{2h}\hfill \end{array}\right)+{R^{\left(2\right)}}_{i,j,k},$$

(17)

where the total truncation error is:

$$\begin{array}{cc}\hfill {R^{\left(2\right)}}_{i,j,k}& =\frac{{\tau }^2}{24}·\frac{{\partial }^{3}T\left(x_i,r_j,t_{k+1/2}\right)}{\partial t^3}-\frac{\alpha {\tau }^2}{8}\frac{{\partial }^{4}T\left(x_i,r_j,t_{k+1/2}\right)}{\partial x^2\partial t^2}-\frac{\alpha h^2}{12}·\frac{{\partial }^{4}T\left(x_i,r_j,t_{k+1/2}\right)}{\partial x^4}\hfill \\ & -\frac{\alpha {\tau }^2}{8}·\frac{{\partial }^{4}T\left(x_i,r_j,t_{k+1/2}\right)}{\partial r^2\partial t^2}-\frac{\alpha h^2}{12}·\frac{{\partial }^{4}T\left(x_i,r_j,t_{k+1/2}\right)}{\partial r^4}-\frac{\alpha {\tau }^2}{8}·\frac{1}{r_j}·\frac{{\partial }^{3}T\left(x_i,r_j,t_{k+1/2}\right)}{\partial r\partial t^2}\hfill \\ & -\frac{\alpha h^2}{6}·\frac{1}{r_j}·\frac{{\partial }^{3}T\left(x_i,r_j,t_{k+1/2}\right)}{\partial r^3}+\cdots =O\left({\tau }^2+h^2\right).\hfill \end{array}$$

(18)

The difference equation is obtained by replacing the exact solution $T\left(x_i,r_j,t_{k+1}\right)$ with a numerical solution $T_{i,j}^{k+1}$ and discarding the truncation error ${R^{\left(2\right)}}_{i,j,k}$:

$$\frac{T_{i,j}^{k+1}-T_{i,j}^k}{\tau }=\frac{\alpha }{2}·\left(\begin{array}{l}\frac{T_{i-1,j}^{k+1}-2T_{i,j}^{k+1}+T_{i+1,j}^{k+1}}{h^2}+\frac{T_{i-1,j}^k-2T_{i,j}^k+T_{i+1,j}^k}{h^2}+\frac{T_{i,j-1}^{k+1}-2T_{i,j}^{k+1}+T_{i,j+1}^{k+1}}{h^2}\\ +\frac{T_{i,j-1}^k-2T_{i,j}^k+T_{i,j+1}^k}{h^2}+\frac{1}{r_j}·\left(\frac{T_{i,j+1}^{k+1}-T_{i,j-1}^{k+1}}{2h}+\frac{T_{i,j+1}^k-T_{i,j-1}^k}{2h}\right)\end{array}\right).$$

(19)

3.3. Difference Scheme for the First Kind of Boundary Value

3.3.1. Difference Scheme for ADI with the Backward Euler Method

The difference scheme can be obtained by synthesizing the initial value condition and the boundary value condition as follows:

$$\frac{T_{i,j}^{k+1}-T_{i,j}^k}{\tau }=\alpha ·\left(\frac{T_{i-1,j}^{k+1}-2T_{i,j}^{k+1}+T_{i+1,j}^{k+1}}{h^2}+\frac{T_{i,j-1}^{k+1}-2T_{i,j}^{k+1}+T_{i,j+1}^{k+1}}{h^2}+\frac{1}{r_j}·\frac{T_{i,j+1}^{k+1}-T_{i,j-1}^{k+1}}{2h}\right)+f_{i,j}^{k+1},$$

(20)

$$1\le i,j\le M-1,1\le k\le N-1,$$

$$\begin{array}{l}T\left(x,r,0\right)=\phi \left(x,r\right),0\le x\le X,0<r\le R,\\ T\left(0,r,t\right)={\varphi }_1(r,t),T\left(X,r,t\right)={\varphi }_2(r,t),\\ T\left(x,0,t\right)={\theta }_1\left(x,t\right),T\left(x,R,t\right)={\theta }_2\left(x,t\right).\end{array}$$

(21)

Denote:

$${\delta }_x^2{T}_{i,j}^k=\frac{T_{i-1,j}^k-2T_{i,j}^k+T_{i+1,j}^k}{h^2},{\delta }_r^2{T}_{i,j}^k=\frac{T_{i,j-1}^k-2T_{i,j}^k+T_{i,j+1}^k}{h^2},{\delta }_r{T}_{i,j}^k=\frac{T_{i,j+1}^k-T_{i,j-1}^k}{2h}.$$

(22)

The difference equation is written as:

$$\begin{array}{c}\frac{T_{i,j}^{k+1}-T_{i,j}^k}{\tau }=\alpha ·\left({\delta }_x^2{T}_{i,j}^{k+1}+{\delta }_r^2{T}_{i,j}^{k+1}+\frac{1}{r_j}{\delta }_r{T}_{i,j}^{k+1}\right)+f_{i,j}^{k+1},\\ 1\le i,j\le M-1,1\le k\le N-1.\end{array}$$

(23)

There exists a normal number $C_1$ independent of $h$ and $\tau$ that causes the total truncation error:

$$\max \left|{R^{\left(1\right)}}_{i,j,k}\right|=C_1\left(\tau +h^2\right).$$

(24)

In Equation (23), adding the minor term ${\alpha }^2{\tau }^2{\delta }_x^2\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\left(T_{i,j}^{k+1}-T_{i,j}^k\right)$ leads to:

$$\left(I-\alpha \tau {\delta }_x^2\right)\left(I-\alpha \tau \left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^{k+1}=\left(I+{\alpha }^2{\tau }^2{\delta }_x^2\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^k+\tau ·f_{i,j}^{k+1}.$$

(25)

To facilitate the calculation, the transition layer variable $T_{i,j}^{k+1/2}$ is introduced, and the above equation becomes:

$$\begin{array}{c}\left(I-\alpha \tau {\delta }_x^2\right)T_{i,j}^{k+1/2}=\left(I+{\alpha }^2{\tau }^2{\delta }_x^2\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^k+\tau ·f_{i,j}^{k+1},\\ \left(I-\alpha \tau \left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^{k+1}=T_{i,j}^{k+1/2}.\end{array}$$

(26)

Denote $\widehat{r}=\frac{\alpha ·\tau }{h^2}$ and ${\widehat{r}}_2=\frac{\alpha ·\tau }{2h},$ then the vector form of the above two equations is:

$$\begin{array}{cc}\hfill -\widehat{r}{T}_{i-1,j}^{k+1/2}+\left(1+2\widehat{r}\right)T_{i,j}^{k+1/2}-\widehat{r}{T}_{i+1,j}^{k+1/2}=& \left({\widehat{r}}^2-\frac{\widehat{r}·{\widehat{r}}_2}{r_j}\right)T_{i-1,j-1}^k-2{\widehat{r}}^2{T}_{i-1,j}^k+\left({\widehat{r}}^2+\frac{\widehat{r}·{\widehat{r}}_2}{r_j}\right)T_{i-1,j+1}^k\hfill \\ & +\left(-2{\widehat{r}}^2+\frac{2\widehat{r}·{\widehat{r}}_2}{r_j}\right)T_{i,j-1}^k+\left(1+4{\widehat{r}}^2\right)T_{i,j}^k+\left(-2{\widehat{r}}^2-\frac{2\widehat{r}·{\widehat{r}}_2}{r_j}\right)T_{i,j+1}^k\hfill \\ & +\left({\widehat{r}}^2-\frac{\widehat{r}·{\widehat{r}}_2}{r_j}\right)T_{i+1,j-1}^k-2{\widehat{r}}^2{T}_{i+1,j}^k+\left({\widehat{r}}^2+\frac{\widehat{r}·{\widehat{r}}_2}{r_j}\right)T_{i+1,j+1}^k+\tau ·f_{i,j}^{k+1},\hfill \end{array}$$

(27)

$$\left(-\widehat{r}+\frac{{\widehat{r}}_2}{r_j}\right)T_{i,j-1}^{k+1}+\left(1+2\widehat{r}\right)T_{i,j}^{k+1}+\left(-\widehat{r}-\frac{{\widehat{r}}_2}{r_j}\right)T_{i,j+1}^{k+1}=T_{i,j}^{k+1/2},$$

(28)

$$1\le i,j\le M-1,1\le k\le N-1.$$

Denote ${\overline{T}}_i={\left[T_{i,1},T_{i,2},\cdots ,T_{i,M-2},T_{i,M-1}\right]}^T,{\overline{f}}_i={\left[f_{i,1},f_{i,2},\cdots ,f_{i,M-2},f_{i,M-1}\right]}^T,0\le i\le M,$ then we have:

$$\left[\begin{array}{ccccc}C& D& & & \\ D& C& D& & \\ & \ddots & \ddots & \ddots & \\ & & D& C& D\\ & & & D& C\end{array}\right]{\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^{k+\frac{1}{2}}=\left[\begin{array}{ccccc}B& A& & & \\ A& B& A& & \\ & \ddots & \ddots & \ddots & \\ & & A& B& A\\ & & & A& B\end{array}\right]{\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^k+\left[\begin{array}{c}{\overline{F}}_1+A{{\overline{T}}^k}_0-D{{\overline{T}}_0}^{k+1/2}\\ {\overline{F}}_2\\ ⋮\\ {\overline{F}}_{M-2}\\ {\overline{F}}_{M-1}+A{{\overline{T}}^k}_M-D{{\overline{T}}_M}^{k+1/2}\end{array}\right],$$

(29)

$$\left[\begin{array}{ccccc}Q& & & & \\ & Q& & & \\ & & \ddots & & \\ & & & Q& \\ & & & & Q\end{array}\right]{\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^{k+1}={\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^{k+1/2}-\left[\begin{array}{c}{\overline{g}}_1\\ {\overline{g}}_2\\ ⋮\\ {\overline{g}}_{M-2}\\ {\overline{g}}_{M-1}\end{array}\right].$$

(30)

Denote $b_1\left(j\right)=\widehat{r}+\frac{{\widehat{r}}_2}{r_j}=\left(1+\frac{1}{2j}\right)·\widehat{r},b_2\left(j\right)=\widehat{r}-\frac{{\widehat{r}}_2}{r_j}=\left(1-\frac{1}{2j}\right)·\widehat{r},$ then we have:

$$D={\left[\begin{array}{ccccc}-\widehat{r}& & & & \\ & -\widehat{r}& & & \\ & & \ddots & & \\ & & & -\widehat{r}& \\ & & & & -\widehat{r}\end{array}\right]}_{(M-1)\times (M-1)},C={\left[\begin{array}{ccccc}1+2\widehat{r}& & & & \\ & 1+2\widehat{r}& & & \\ & & \ddots & & \\ & & & 1+2\widehat{r}& \\ & & & & 1+2\widehat{r}\end{array}\right]}_{(M-1)\times (M-1)},$$

(31)

$$A={\left[\begin{array}{ccccc}-2{\widehat{r}}^2& \widehat{r}{b}_1\left(1\right)& & & \\ \widehat{r}{b}_2\left(2\right)& -2{\widehat{r}}^2& \widehat{r}{b}_1\left(2\right)& & \\ & \ddots & \ddots & \ddots & \\ & & \widehat{r}{b}_2\left(M-2\right)& -2{\widehat{r}}^2& \widehat{r}{b}_1\left(M-2\right)\\ & & & \widehat{r}{b}_2\left(M-1\right)& -2{\widehat{r}}^2\end{array}\right]}_{\left(M-1\right)\times \left(M-1\right)},$$

(32)

$$B={\left[\begin{array}{ccccc}1+4{\widehat{r}}^2& -2\widehat{r}{b}_1\left(1\right)& & & \\ -2\widehat{r}{b}_2\left(2\right)& 1+4{\widehat{r}}^2& -2\widehat{r}{b}_1\left(2\right)& & \\ & \ddots & \ddots & \ddots & \\ & & -2\widehat{r}{b}_2\left(M-2\right)& 1+4{\widehat{r}}^2& -2\widehat{r}{b}_1\left(M-2\right)\\ & & & -2\widehat{r}{b}_2\left(M-1\right)& 1+4{\widehat{r}}^2\end{array}\right]}_{\left(M-1\right)\times \left(M-1\right)},$$

(33)

$$Q={\left[\begin{array}{ccccc}1+2\widehat{r}& -b_1\left(1\right)& & & \\ -b_2\left(2\right)& 1+2\widehat{r}& -b_1\left(2\right)& & \\ & \ddots & \ddots & \ddots & \\ & & -b_2\left(M-2\right)& 1+2\widehat{r}& -b_1\left(M-2\right)\\ & & & -b_2\left(M-1\right)& 1+2\widehat{r}\end{array}\right]}_{\left(M-1\right)\times \left(M-1\right)},$$

(34)

$${\overline{F}}_i={\left[\begin{array}{c}\widehat{r}{b}_2\left(1\right)T_{i-1,0}^k-2\widehat{r}{b}_2\left(1\right)T_{i,0}^k+\widehat{r}{b}_2\left(1\right)T_{i+1,0}^k\\ 0\\ ⋮\\ 0\\ \widehat{r}{b}_1\left(M-1\right)T_{i-1,M}^k-2\widehat{r}{b}_1\left(M-1\right)T_{i,M}^k+\widehat{r}{b}_1\left(M-1\right)T_{i+1,M}^k\end{array}\right]}_{\left(M-1\right)\times 1}+\tau ·{\overline{f}}_i^{k+1},$$

(35)

$${\overline{g}}_i={\left[-b_2\left(1\right)T_{i,0}^{k+1},0,\dots ,0,-b_1\left(M-1\right)T_{i,M}^{k+1}\right]}^T{}_{\left(M-1\right)\times 1},$$

(36)

$$1\le i\le M-1,1\le k\le N-1.$$

The transition layer variable ${\overline{T}}_0^{k+1/2},{\overline{T}}_M^{k+1/2}$ should satisfy:

$$\begin{array}{l}\left(I-\tau \left({\delta }_y^2+\frac{1}{r_j}{\delta }_y\right)\right)T_{0,j}^{k+1}=T_{0,j}^{k+1/2},1\le j\le M-1,\\ \left(I-\tau \left({\delta }_y^2+\frac{1}{r_j}{\delta }_y\right)\right)T_{M,j}^{k+1}=T_{M,j}^{k+1/2},1\le j\le M-1.\end{array}$$

(37)

There exists a normal number $C_2$, independent of $h$ and $\tau$, so that the minor term is:

$$\max \left|{\alpha }^2{\tau }^2{\delta }_x^2\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\left(T_{i,j}^{k+1}-T_{i,j}^k\right)\right|\le C_2\tau .$$

(38)

Therefore, Equations (24) and (38), show that a normal number $C$ is independent of $h$ and $\tau$, so the total error $R$ of difference schemes for ADI with the backward Euler method of the first kind of boundary value is:

$$\max \left|R\right|=C\left(\tau +h^2\right).$$

(39)

3.3.2. Difference Scheme for ADI with Crank–Nicolson Method

The difference scheme is obtained by synthesizing the initial value condition and the boundary value condition:

$$\frac{T_{i,j}^{k+1}-T_{i,j}^k}{\tau }=\frac{\alpha }{2}·\left(\begin{array}{l}\frac{T_{i-1,j}^{k+1}-2T_{i,j}^{k+1}+T_{i+1,j}^{k+1}}{h^2}+\frac{T_{i-1,j}^k-2T_{i,j}^k+T_{i+1,j}^k}{h^2}+\frac{T_{i,j-1}^{k+1}-2T_{i,j}^{k+1}+T_{i,j+1}^{k+1}}{h^2}\\ +\frac{T_{i,j-1}^k-2T_{i,j}^k+T_{i,j+1}^k}{h^2}+\frac{1}{r_j}·\left(\frac{T_{i,j+1}^{k+1}-T_{i,j-1}^{k+1}}{2h}+\frac{T_{i,j+1}^k-T_{i,j-1}^k}{2h}\right)\end{array}\right),$$

(40)

$$1\le i,j\le M-1,1\le k\le N-1,$$

$$\begin{array}{l}T\left(x,r,0\right)=\phi \left(x,r\right),0\le x\le X,0<r\le R,\\ T\left(0,r,t\right)={\varphi }_1(r,t),T\left(X,r,t\right)={\varphi }_2(r,t),\\ T\left(x,0,t\right)={\theta }_1\left(x,t\right),T\left(x,R,t\right)={\theta }_2\left(x,t\right).\end{array}$$

(41)

Denote:

$${\delta }_x^2{T}_{i,j}^k=\frac{T_{i-1,j}^k-2T_{i,j}^k+T_{i+1,j}^k}{h^2},{\delta }_r^2{T}_{i,j}^k=\frac{T_{i,j-1}^k-2T_{i,j}^k+T_{i,j+1}^k}{h^2},{\delta }_r{T}_{i,j}^k=\frac{T_{i,j+1}^k-T_{i,j-1}^k}{2h}.$$

(42)

The difference equation is written as:

There exists a normal number $C_1^{\prime }$ independent of $h$ and $\tau$ that causes the total truncation error:

$$\begin{array}{c}\frac{T_{i,j}^{k+1}-T_{i,j}^k}{\tau }=\frac{\alpha }{2}·\left({\delta }_x^2{T}_{i,j}^{k+1}+{\delta }_x^2{T}_{i,j}^k+{\delta }_r^2{T}_{i,j}^{k+1}+{\delta }_r^2{T}_{i,j}^k+\frac{1}{r_j}\left({\delta }_r{T}_{i,j}^{k+1}+{\delta }_r{T}_{i,j}^k\right)\right),\\ 1\le i,j\le M-1,1\le k\le N-1.\end{array}$$

(43)

$$\max \left|{R^{\left(2\right)}}_{i,j,k}\right|=C_1^{\prime }\left({\tau }^2+h^2\right).$$

(44)

In Equation (43), adding the minor term ${\alpha }^2·\frac{{\tau }^2}{4}·{\delta }_x^2\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\left(T_{i,j}^{k+1}-T_{i,j}^k\right)$ leads to:

$$\left(I-\frac{\alpha \tau }{2}{\delta }_x^2\right)\left(I-\frac{\alpha \tau }{2}\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^{k+1}=\left(I+\frac{\alpha \tau }{2}{\delta }_x^2\right)\left(I+\frac{\alpha \tau }{2}\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^k.$$

(45)

To facilitate the calculation, the transition layer variable $T_{i,j}^{k+1/2}$ is introduced, and the above equation becomes:

$$\begin{array}{l}\left(I-\frac{\alpha \tau }{2}{\delta }_x^2\right)T_{i,j}^{k+1/2}=\left(I+\frac{\alpha \tau }{2}\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^k,\\ \left(I-\frac{\alpha \tau }{2}\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^{k+1}=\left(I+\frac{\alpha \tau }{2}{\delta }_x^2\right)T_{i,j}^{k+1/2}.\end{array}$$

(46)

Denote $\widehat{r}=\frac{\alpha ·\tau }{h^2}$, then the vector forms of the above two equations are as follows:

$$\begin{array}{l}-\frac{\widehat{r}}{2}{T}_{i-1,j}^{k+1/2}+\left(1+\widehat{r}\right)T_{i,j}^{k+1/2}-\frac{\widehat{r}}{2}{T}_{i+1,j}^{k+1/2}=\left(\frac{\widehat{r}}{2}-\frac{\widehat{r}}{4·j}\right)T_{i,j-1}^k+\left(1-\widehat{r}\right)T_{i,j}^k+\left(\frac{\widehat{r}}{2}+\frac{\widehat{r}}{4·j}\right)T_{i,j+1}^k,\\ \left(-\frac{\widehat{r}}{2}+\frac{\widehat{r}}{4·j}\right)T_{i,j-1}^{k+1}+\left(1+\widehat{r}\right)T_{i,j}^{k+1}+\left(-\frac{\widehat{r}}{2}-\frac{\widehat{r}}{4·j}\right)T_{i,j+1}^{k+1}=\frac{\widehat{r}}{2}{T}_{i-1,j}^{k+1/2}+\left(1-\widehat{r}\right)T_{i,j}^{k+1/2}+\frac{\widehat{r}}{2}{T}_{i+1,j}^{k+1/2},\end{array}$$

(47)

$$1\le i\le M-1,1\le k\le N-1.$$

Denote ${\overline{T}}_i={\left[T_{i,1},T_{i,2},\cdots ,T_{i,M-2},T_{i,M-1}\right]}^T,0\le i\le M,$ then we derive following forms:

$$\left[\begin{array}{ccccc}E& S& & & \\ S& E& S& & \\ & \ddots & \ddots & \ddots & \\ & & S& E& S\\ & & & S& E\end{array}\right]{\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^{k+\frac{1}{2}}=\left[\begin{array}{ccccc}V& & & & \\ & V& & & \\ & & \ddots & & \\ & & & V& \\ & & & & V\end{array}\right]{\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^k+\left[\begin{array}{c}-S{{\overline{T}}_0}^{k+1/2}+{\overline{\omega }}_1\\ {\overline{\omega }}_2\\ ⋮\\ {\overline{\omega }}_{M-2}\\ -S{{\overline{T}}_M}^{k+1/2}+{\overline{\omega }}_{M-1}\end{array}\right],$$

(48)

$$\left[\begin{array}{ccccc}G& & & & \\ & G& & & \\ & & \ddots & & \\ & & & G& \\ & & & & G\end{array}\right]{\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^{k+1}=\left[\begin{array}{ccccc}W& L& & & \\ L& W& L& & \\ & \ddots & \ddots & \ddots & \\ & & L& W& L\\ & & & L& W\end{array}\right]{\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^{k+\frac{1}{2}}+\left[\begin{array}{c}L{{\overline{T}}_0}^{k+1/2}-{\overline{e}}_1\\ -{\overline{e}}_2\\ ⋮\\ -{\overline{e}}_{M-2}\\ L{{\overline{T}}_M}^{k+1/2}-{\overline{e}}_{M-1}\end{array}\right].$$

(49)

Denote $b_1\left(j\right)=\widehat{r}+\frac{{\widehat{r}}_2}{r_j}=\left(1+\frac{1}{2j}\right)·\widehat{r},b_2\left(j\right)=\widehat{r}-\frac{{\widehat{r}}_2}{r_j}=\left(1-\frac{1}{2j}\right)·\widehat{r},$ then we get:

$$S={\left[\begin{array}{ccccc}-\frac{\widehat{r}}{2}& & & & \\ & -\frac{\widehat{r}}{2}& & & \\ & & \ddots & & \\ & & & -\frac{\widehat{r}}{2}& \\ & & & & -\frac{\widehat{r}}{2}\end{array}\right]}_{\left(M-1\right)\times \left(M-1\right)},L={\left[\begin{array}{ccccc}\frac{\widehat{r}}{2}& & & & \\ & \frac{\widehat{r}}{2}& & & \\ & & \ddots & & \\ & & & \frac{\widehat{r}}{2}& \\ & & & & \frac{\widehat{r}}{2}\end{array}\right]}_{\left(M-1\right)\times \left(M-1\right)},$$

(50)

$$E={\left[\begin{array}{ccccc}1+\widehat{r}& & & & \\ & 1+\widehat{r}& & & \\ & & \ddots & & \\ & & & 1+\widehat{r}& \\ & & & & 1+\widehat{r}\end{array}\right]}_{\left(M-1\right)\times \left(M-1\right)},W={\left[\begin{array}{ccccc}1-\widehat{r}& & & & \\ & 1-\widehat{r}& & & \\ & & \ddots & & \\ & & & 1-\widehat{r}& \\ & & & & 1-\widehat{r}\end{array}\right]}_{\left(M-1\right)\times \left(M-1\right)},$$

(51)

$$V={\left[\begin{array}{ccccc}1-\widehat{r}& \frac{b_1\left(1\right)}{2}& & & \\ \frac{b_2\left(2\right)}{2}& 1-\widehat{r}& \frac{b_1\left(2\right)}{2}& & \\ & \ddots & \ddots & \ddots & \\ & & \frac{b_2\left(M-2\right)}{2}& 1-\widehat{r}& \frac{b_1\left(M-2\right)}{2}\\ & & & \frac{b_2\left(M-1\right)}{2}& 1-\widehat{r}\end{array}\right]}_{\left(M-1\right)\times \left(M-1\right)},$$

(52)

$$G={\left[\begin{array}{ccccc}1+\widehat{r}& -\frac{b_1\left(1\right)}{2}& & & \\ -\frac{b_2\left(2\right)}{2}& 1+\widehat{r}& -\frac{b_1\left(2\right)}{2}& & \\ & \ddots & \ddots & \ddots & \\ & & -\frac{b_2\left(M-2\right)}{2}& 1+\widehat{r}& -\frac{b_1\left(M-2\right)}{2}\\ & & & -\frac{b_2\left(M-1\right)}{2}& 1+\widehat{r}\end{array}\right]}_{\left(M-1\right)\times \left(M-1\right)},$$

(53)

$$\begin{gathered} {\overline{\omega }}_i={\left[\frac{b_2\left(1\right)}{2}{T}_{i,0}^k,0,\cdots ,0,\frac{b_1\left(M-1\right)}{2}{T}_{i,M}^k\right]}^T{}_{\left(M-1\right)\times 1}, \\ {\overline{e}}_i={\left[-\frac{b_2\left(1\right)}{2}{T}_{i,0}^{k+1},0,\cdots ,0,-\frac{b_1\left(M-1\right)}{2}{T}_{i,M}^{k+1}\right]}^T{}_{\left(M-1\right)\times 1}, \end{gathered}$$

(54)

$$1\le i\le M-1,1\le k\le N-1.$$

The transition layer variable ${\overline{T}}_0^{k+1/2},{\overline{T}}_M^{k+1/2}$ should satisfy:

$$\begin{array}{l}{\overline{T}}_0^{k+1/2}=\frac{1}{2}·\left(I-\frac{\alpha \tau }{2}\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right){\overline{T}}_0^{k+1}+\frac{1}{2}·\left(I+\frac{\alpha \tau }{2}\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right){\overline{T}}_0^k,1\le j\le M-1,\\ {\overline{T}}_M^{k+1/2}=\frac{1}{2}·\left(I-\frac{\alpha \tau }{2}\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right){\overline{T}}_M^{k+1}+\frac{1}{2}·\left(I+\frac{\alpha \tau }{2}\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right){\overline{T}}_M^k,1\le j\le M-1.\end{array}$$

(55)

There exists a normal number $C_2^{\prime }$, independent of $h$ and $\tau$, so the minor term is:

$$\max \left|{\alpha }^2·\frac{{\tau }^2}{4}·{\delta }_x^2\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\left(T_{i,j}^{k+1}-T_{i,j}^k\right)\right|\le C_2^{\prime }{\tau }^2.$$

(56)

Therefore, Equations (44) and (56), demonstrate that the normal number $C^{\prime }$ is independent of $h$ and $\tau$, so the total error $R^{(1)}$ of difference schemes for ADI with Crank–Nicolson method of the first kind of boundary value is:

$$\max \left|R^{(1)}\right|=C^{\prime }\left({\tau }^2+h^2\right).$$

(57)

3.4. Difference Scheme for the Third Kind of Boundary Value

3.4.1. Difference Scheme for ADI with the Backward Euler Method

Based on the initial value condition, the boundary value condition and Equation (25), the difference scheme is obtained:

$$\left(I-\alpha \tau {\delta }_x^2\right)\left(I-\alpha \tau \left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^{k+1}=\left(I+{\alpha }^2{\tau }^2{\delta }_x^2\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^k+\tau ·f_{i,j}^{k+1},$$

(58)

$$1\le i,j\le M-1,1\le k\le N-1,$$

$$T\left(x,r,0\right)=\phi \left(x,r\right),0\le x\le X,0<r\le R,$$

(59)

$$\begin{array}{l}{\left.\kappa \left(\nabla T·n\right)\right|}_{x=0}=\beta q\left(r\right),r\in \mathsf{\Gamma },\\ {\left.\kappa \left(\nabla T·n\right)\right|}_{x=X}=H\left(T-T_a\right),0<r\le R,\\ {\left.\kappa \left(\nabla T·n\right)\right|}_{r=R}=H\left(T-T_a\right),0<x\le X,\\ \kappa {\left.\frac{\partial T}{\partial r}\right|}_{r=0}=0,0<x\le X.\end{array}$$

(60)

It is the same as the difference scheme under the boundary values of the first kind, and finally discretized into the corresponding ADI scheme. Therefore, the rest are consistent, except that boundary value of the third type enjoys a separate center discretization, and that the approaches to process discrete ADI scheme for $i=1$ and $i=M-1$ in the inner point vary widely. Therefore, only the discretization of the third type of boundary value and the processing mode of the discrete ADI format when $i=1$ and $i=M-1$ are discussed.

According to Equation (39), the total error $R$ of the internal point is:

$$\max \left|R\right|=C\left(\tau +h^2\right).$$

(61)

For $-\kappa {\left.\frac{\partial T}{\partial x}\right|}_{x=0}=\beta q\left(r\right),r\in \mathsf{\Gamma }$, it is discretized as the center at $x=0$,

$$\kappa \frac{{\widehat{T}}_{1,j}^k-T_{1,j}^k}{2h}=\beta q\left(r_j\right),0\le j\le M,$$

(62)

where ${\widehat{T}}_{1,j}^k$ is the virtual symmetric point of $T_{1,j}^k$ about $x=0$, and is estimated to be [3]:

$$T_{0,j}^k\approx \frac{{\widehat{T}}_{1,j}^k+T_{1,j}^k}{2},0\le j\le M.$$

(63)

According to Equations (62) and (63), we obtain:

$$T_{0,j}^k=T_{1,j}^k+\frac{\beta hq\left(r_j\right)}{\kappa },0\le j\le M.$$

For $\kappa {\left.\frac{\partial T}{\partial x}\right|}_{x=X}=H\left(T-T_a\right),0<r\le R$, it is discretized as the center at $x=X$,

$$\kappa \frac{{\widehat{T}}_{M-1,j}^k-T_{M-1,j}^k}{2h}=H{\left.\left(T-T_a\right)\right|}_{x=X},0\le j\le M,$$

(64)

where ${\widehat{T}}_{M-1,j}^k$ is the virtual symmetric point of ${\widehat{T}}_{M-1,j}^k$ about $x=X$, and is estimated to be [3]:

$$T_{M,j}^k\approx \frac{{\widehat{T}}_{M-1,j}^k+T_{M-1,j}^k}{2},0\le j\le M,$$

(65)

$${\left.T\right|}_{x=X}\approx \frac{{\widehat{T}}_{M-1,j}^k+T_{M-1,j}^k}{2},0\le j\le M.$$

(66)

According to Equations (64)–(66), we have:

$$T_{M,j}^k=\frac{\kappa }{\kappa -hH}{T}_{M-1,j}^k-\frac{hH}{\kappa -hH}{T}_a,0\le j\le M.$$

For $-\kappa {\left.\frac{\partial T}{\partial r}\right|}_{r=R}=H\left(T-T_a\right),0<x\le X$, it is discretized as the center at $r=R$,

$$\kappa \frac{T_{i,M-1}^k-{\widehat{T}}_{i,M-1}^k}{2h}=H{\left.\left(T-T_a\right)\right|}_{r=R},0\le i\le M,$$

(67)

where ${\widehat{T}}_{i,M-1}^k$ is the virtual symmetric point of $T_{i,M-1}^k$ about $r=R$, and is estimated to be [3]:

$$T_{i,M}^k\approx \frac{T_{i,M-1}^k+{\widehat{T}}_{i,M-1}^k}{2},0\le i\le M,$$

(68)

$${\left.T\right|}_{r=R}\approx \frac{T_{i,M-1}^k+{\widehat{T}}_{i,M-1}^k}{2},0\le i\le M.$$

(69)

According to Equations (67)–(69), we have:

$$T_{i,M}^k=\frac{\kappa }{\kappa +hH}{T}_{i,M-1}^k+\frac{hH}{\kappa +hH}{T}_a,0\le i\le M.$$

For $\kappa {\left.\frac{\partial T}{\partial r}\right|}_{r=0}=0,0<x\le X$, it is discretized as the center at $r=0$,

$$\kappa \frac{T_{i,1}^k-{\widehat{T}}_{i,1}^k}{2h}=0,0\le i\le M,$$

(70)

where ${\widehat{T}}_{i,1}^k$ is the virtual symmetric point of $T_{i,1}^k$ about $r=0$, and is estimated to be [3]:

$$T_{i,0}^k\approx \frac{T_{i,1}^k+{\widehat{T}}_{i,1}^k}{2},0\le i\le M.$$

(71)

According to Equations (70) and (71), we have:

$$T_{i,0}^k=T_{i,1}^k,0\le i\le M.$$

If $i=1$, the vector form of ADI with the backward Euler format is:

$$\begin{array}{cc}\hfill -\widehat{r}{T}_{0,j}^{k+1/2}+\left(1+2\widehat{r}\right)T_{1,j}^{k+1/2}-\widehat{r}{T}_{2,j}^{k+1/2}=& \left({\widehat{r}}^2-\frac{\widehat{r}·{\widehat{r}}_2}{r_j}\right)T_{0,j-1}^k-2{\widehat{r}}^2{T}_{0,j}^k+\left({\widehat{r}}^2+\frac{\widehat{r}·{\widehat{r}}_2}{r_j}\right)T_{0,j+1}^k\hfill \\ & +\left(-2{\widehat{r}}^2+\frac{2\widehat{r}·{\widehat{r}}_2}{r_j}\right)T_{1,j-1}^k+\left(1+4{\widehat{r}}^2\right)T_{1,j}^k+\left(-2{\widehat{r}}^2-\frac{2\widehat{r}·{\widehat{r}}_2}{r_j}\right)T_{1,j+1}^k\hfill \\ & +\left({\widehat{r}}^2-\frac{\widehat{r}·{\widehat{r}}_2}{r_j}\right)T_{2,j-1}^k-2{\widehat{r}}^2{T}_{2,j}^k+\left({\widehat{r}}^2+\frac{\widehat{r}·{\widehat{r}}_2}{r_j}\right)T_{2,j+1}^k+\tau ·f_{1,j}^{k+1},\hfill \end{array}$$

(72)

$$\left(-\widehat{r}+\frac{{\widehat{r}}_2}{r_j}\right)T_{1,j-1}^{k+1}+\left(1+2\widehat{r}\right)T_{1,j}^{k+1}+\left(-\widehat{r}-\frac{{\widehat{r}}_2}{r_j}\right)T_{1,j+1}^{k+1}=T_{1,j}^{k+1/2}.$$

The third kind of boundary discrete $T_{0,j}^k,T_{M,j}^k,T_{i,M}^k,T_{i,0}^k,0\le i,j\le M$ are substituted into the above two equations to obtain the final discrete format for $i=1$. The processing method for $i=M-1$ performs the same as the one when $i=1$. Therefore, the final matrix form of the difference scheme for the third kind of boundary value is:

$$\begin{array}{c}\left[\begin{array}{ccccc}C& D& & & \\ D& C& D& & \\ & \ddots & \ddots & \ddots & \\ & & D& C& D\\ & & & D& C\end{array}\right]{\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^{k+\frac{1}{2}}+\left[\begin{array}{ccccc}D& & & & \\ & 0& & & \\ & & \ddots & & \\ & & & 0& \\ & & & & \frac{\kappa }{\kappa -hH}·D\end{array}\right]{\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^{k+\frac{1}{2}}\hfill \\ =\left[\begin{array}{ccccc}B& A& & & \\ A& B& A& & \\ & \ddots & \ddots & \ddots & \\ & & A& B& A\\ & & & A& B\end{array}\right]{\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^k+\left[\begin{array}{c}{\overline{F}}_1+A\left({{\overline{T}}^k}_1+\overline{W}\right)-D\overline{W}\\ {\overline{F}}_2\\ ⋮\\ {\overline{F}}_{M-2}\\ {\overline{F}}_{M-1}+A\left(\frac{\kappa }{\kappa -hH}·{\overline{T}}_{M-1}^k-\frac{hH}{\kappa -hH}{T}_a·I\right)-D·\left(-\frac{hH}{\kappa -hH}{T}_a·I\right)\end{array}\right],\hfill \end{array}$$

(73)

$$\left[\begin{array}{ccccc}Q& & & & \\ & Q& & & \\ & & \ddots & & \\ & & & Q& \\ & & & & Q\end{array}\right]{\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^{k+1}+\left[\begin{array}{ccccc}QQ& & & & \\ & QQ& & & \\ & & \ddots & & \\ & & & QQ& \\ & & & & QQ\end{array}\right]{\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^{k+1}={\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^{k+1/2}-\left[\begin{array}{c}\overline{g}g\\ \overline{g}g\\ ⋮\\ \overline{g}g\\ \overline{g}g\end{array}\right],$$

(74)

where,

$$\overline{W}={\left[\frac{\beta hq\left(r_1\right)}{\kappa },\frac{\beta hq\left(r_2\right)}{\kappa },\cdots ,\frac{\beta hq\left(r_{M-1}\right)}{\kappa }\right]}^T,$$

(75)

$$\overline{g}\overline{g}={\left[0,0,\cdots ,0,-b_1\left(M-1\right)·\frac{hH}{\kappa +hH}{T}_a\right]}^T{}_{\left(M-1\right)\times 1},I={\left[1,1,\cdots ,1,1\right]}^T{}_{(m-1)\times 1},$$

(76)

$$QQ={\left[\begin{array}{ccccc}-b_2\left(1\right)& & & & \\ & 0& & & \\ & & \ddots & & \\ & & & 0& \\ & & & & -b_1\left(M-1\right)·\frac{\kappa }{\kappa +hH}\end{array}\right]}_{(m-1)\times (m-1)}.$$

(77)

The other matrices, $A,B,C,D,\overline{T},\overline{F}$, and $Q$ are the same as the case of the first kind of boundary value.

The discretization of the third kind of boundary value is all the central difference quotient discretization, so there exists a normal number $C_3$ independent of $h$ and $\tau$, so that the total error $R_{bz}$ of boundary value discretization be:

$$\max \left|R_{bz}\right|=C_3{h}^2.$$

(78)

Therefore, Equations (61) and (78) represent that the normal number $C_4$ is independent of $h$ and $\tau$, so the total error $R_1$ of difference schemes for ADI with the backward Euler method of the third kind of boundary value is:

$$\max \left|R_1\right|=C_4\left(\tau +h^2\right).$$

(79)

3.4.2. Difference Scheme for ADI with Crank–Nicolson Method

Based on the initial value condition, the boundary value condition and Equation (45), the difference scheme is obtained:

$$\begin{array}{c}\left(I-\frac{\alpha \tau }{2}{\delta }_x^2\right)\left(I-\frac{\alpha \tau }{2}\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^{k+1}=\left(I+\frac{\alpha \tau }{2}{\delta }_x^2\right)\left(I+\frac{\alpha \tau }{2}\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^k.\\ 1\le i,j\le M-1,1\le k\le N-1,\end{array}$$

(80)

$$T\left(x,r,0\right)=\phi \left(x,r\right),0\le x\le X,0<r\le R,$$

(81)

$$\begin{array}{l}{\left.\kappa \left(\nabla T·n\right)\right|}_{x=0}=\beta q\left(r\right),r\in \mathsf{\Gamma },\\ {\left.\kappa \left(\nabla T·n\right)\right|}_{x=X}=H\left(T-T_a\right),0<r\le R,\\ {\left.\kappa \left(\nabla T·n\right)\right|}_{r=R}=H\left(T-T_a\right),0<x\le X,\\ \kappa {\left.\frac{\partial T}{\partial r}\right|}_{r=0}=0,0<x\le X.\end{array}$$

(82)

The discrete processing of interior points and boundary values is the same as that of ADI with the backward Euler method for the third kind of boundary value. Therefore, the final matrix form of the difference scheme for the third kind of boundary value is:

$$\begin{array}{c}\left[\begin{array}{ccccc}E& S& & & \\ S& E& S& & \\ & \ddots & \ddots & \ddots & \\ & & S& E& S\\ & & & S& E\end{array}\right]{\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^{k+\frac{1}{2}}+\left[\begin{array}{ccccc}S& & & & \\ & 0& & & \\ & & \ddots & & \\ & & & 0& \\ & & & & \frac{\kappa }{\kappa -hH}·S\end{array}\right]{\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^{k+\frac{1}{2}}\hfill \\ =\left[\begin{array}{ccccc}V& & & & \\ & V& & & \\ & & \ddots & & \\ & & & V& \\ & & & & V\end{array}\right]{\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^k+\left[\begin{array}{c}-S\overline{W}+{\overline{\omega }}_1\\ {\overline{\omega }}_2\\ ⋮\\ {\overline{\omega }}_{M-2}\\ -S\left(-\frac{hH}{\kappa -hH}{T}_a·I\right)+{\overline{\omega }}_{M-1}\end{array}\right],\hfill \end{array}$$

(83)

$$\begin{array}{c}\left[\begin{array}{ccccc}G& & & & \\ & G& & & \\ & & \ddots & & \\ & & & G& \\ & & & & G\end{array}\right]{\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^{k+1}+\left[\begin{array}{ccccc}GG& & & & \\ & GG& & & \\ & & \ddots & & \\ & & & GG& \\ & & & & GG\end{array}\right]{\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^{k+1}\hfill \\ =\left[\begin{array}{ccccc}W& L& & & \\ L& W& L& & \\ & \ddots & \ddots & \ddots & \\ & & L& W& L\\ & & & L& W\end{array}\right]{\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^{k+\frac{1}{2}}+\left[\begin{array}{ccccc}L& & & & \\ & 0& & & \\ & & \ddots & & \\ & & & 0& \\ & & & & \frac{\kappa }{\kappa -hH}·L\end{array}\right]{\left[\begin{array}{c}{\overline{T}}_1\\ {\overline{T}}_2\\ ⋮\\ {\overline{T}}_{M-2}\\ {\overline{T}}_{M-1}\end{array}\right]}^{k+\frac{1}{2}}+\left[\begin{array}{c}L\overline{W}-\overline{\theta }\\ -\overline{\theta }\\ ⋮\\ -\overline{\theta }\\ L\left(-\frac{hH}{\kappa -hH}{T}_a·I\right)-\overline{\theta }\end{array}\right],\hfill \end{array}$$

(84)

where,

$$GG={\left[\begin{array}{ccccc}\frac{-b_2\left(1\right)}{2}& & & & \\ & 0& & & \\ & & \ddots & & \\ & & & 0& \\ & & & & \frac{\kappa }{\kappa +hH}·\frac{-b_1\left(M-1\right)}{2}\end{array}\right]}_{\left(M-1\right)\times \left(M-1\right)},$$

(85)

$$\overline{W}={\left[\frac{\beta hq\left(r_1\right)}{\kappa },\frac{\beta hq\left(r_2\right)}{\kappa },\cdots ,\frac{\beta hq\left(r_{M-1}\right)}{\kappa }\right]}^T,\overline{\theta }={\left[0,0,\cdots ,0,\frac{-b_1\left(M-1\right)}{2}·\frac{hH}{\kappa +hH}{T}_a\right]}^T{}_{\left(M-1\right)\times 1}.$$

(86)

The other matrices, $S,E,V,G,W,L,\overline{T}$, and $\overline{\omega }$ are the same as the case of the first kind of boundary value.

Therefore, Equations (57) and (78) show that the normal number $C_4^{\prime }$ is independent of $h$ and $\tau$, so the total error $R_1^{(1)}$ of difference schemes for ADI with Crank–Nicolson method of the third kind of boundary value is:

$$\max \left|R_1^{(1)}\right|=C_4^{\prime }\left({\tau }^2+h^2\right).$$

(87)

4. Stability and Convergence of Difference Scheme Solutions

4.1. Stability of Difference Scheme Solutions

The following will prove that ADI format with the backward Euler method and ADI format with Crank–Nicolson method are unconditionally $L^2$ stable whether for the first kind of boundary value or the third kind of boundary value.

Definition 1.

A function$v\left(x\right)$is defined on$\left(-\infty ,+\infty \right)$. If${\displaystyle {\int }_{-\infty }^{+\infty }{\left|v\left(x\right)\right|}^2\mathrm{d}x}<\infty ,$then there exists:

$$v\left(x\right)=\frac{1}{2\pi }{\displaystyle {\int }_{-\infty }^{+\infty }{\displaystyle {\int }_{-\infty }^{+\infty }v\left(\epsilon \right)e^{-i\lambda \left(\epsilon -x\right)}\mathrm{d}\epsilon }}\mathrm{d}\lambda ,$$

(88)

where $i=\sqrt{-1}$is an imaginary unit and the above transformation is called the Fourier transform.

Definition 2.

The$L^2$module refers to the Euclidean module, and the$L^2$stable refers to the stability under the second norm [2].

Theorem 1.

The difference Equation (25) under the first kind of the boundary value and the boundary value of the third kind is unconditionally$L^2$stable.

Proof. 

From the total error $R$ of the differential format for the first kind of boundary value and the total error $R_1$ of the differential format for the third kind of boundary value, the total error is $O\left(\tau +h^2\right)$. □

Let $\lambda =\frac{\alpha ·\tau }{h^2}$ be the grid ratio and use the Fourier method to analyze the stability of Equation (25):

$$\left(I-\alpha \tau {\delta }_x^2\right)\left(I-\alpha \tau \left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^{k+1}=\left(I+{\alpha }^2{\tau }^2{\delta }_x^2\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^k+\tau ·f_{i,j}^{k+1}.$$

(89)

Since the stability of homogeneous equations and non-homogeneous equations are consistent, the stability of homogeneous equations can be discussed. The difference equation of ADI with the backward Euler method corresponding to the homogeneous equation is:

$$\left(I-\alpha \tau {\delta }_x^2\right)\left(I-\alpha \tau \left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^{k+1}=\left(I+{\alpha }^2{\tau }^2{\delta }_x^2\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^k.$$

(90)

Substituting $T_{j,l}^k=v^k{e}^{i{k}_{1}jh}{e}^{i{k}_{2}lh}$ and $e^{i\theta }=\cos \theta +i\sin \theta$ into the Equation (90), we get $v^{k+1}=\widehat{G}(\tau ,k)v^k,$ where the growth factor $\widehat{G}\left(\tau ,k\right)$ is represented as:

$$\widehat{G}\left(\tau ,k\right)=\frac{\left(1+\frac{4\alpha \tau }{h^2}{\sin }^2\frac{k_{1}h}{2}·\frac{4\alpha \tau }{h^2}{\sin }^2\frac{k_{2}h}{2}\right)+i\left(-\frac{4\alpha \tau }{h^2}{\sin }^2\frac{k_{1}h}{2}·\frac{\alpha \tau }{h·r_j}\sin \left(k_{2}h\right)\right)}{\left(1+\frac{4\alpha \tau }{h^2}{\sin }^2\frac{k_{1}h}{2}\right)\left(1+\frac{4\alpha \tau }{h^2}{\sin }^2\frac{k_{2}h}{2}\right)+i\left(-\left(1+\frac{4\alpha \tau }{h^2}{\sin }^2\frac{k_{1}h}{2}\right)·\frac{\alpha \tau }{h·r_j}\sin \left(k_{2}h\right)\right)},$$

(91)

then,

$$\left|\widehat{G}\left(\tau ,k\right)\right|=\frac{\sqrt{{\left(1+\frac{4\alpha \tau }{h^2}{\sin }^2\frac{k_{1}h}{2}·\frac{4\alpha \tau }{h^2}{\sin }^2\frac{k_{2}h}{2}\right)}^2+{\left(-\frac{4\alpha \tau }{h^2}{\sin }^2\frac{k_{1}h}{2}·\frac{\alpha \tau }{h·r_j}\sin \left(k_{2}h\right)\right)}^2}}{\sqrt{{\left(1+\frac{4\alpha \tau }{h^2}{\sin }^2\frac{k_{1}h}{2}\right)}^2·{\left(1+\frac{4\alpha \tau }{h^2}{\sin }^2\frac{k_{2}h}{2}\right)}^2+{\left(-\left(1+\frac{4\alpha \tau }{h^2}{\sin }^2\frac{k_{1}h}{2}\right)·\frac{\alpha \tau }{h·r_j}\sin \left(k_{2}h\right)\right)}^2}},$$

(92)

where $k=\left(k_1,k_2\right)$. Obviously, $\left|\widehat{G}\left(\tau ,k\right)\right|\le 1$ means that the difference scheme Equation (90) is unconditionally $L^2$ stable. Therefore, the difference Equation (25) is unconditionally $L^2$ stable.

Theorem 2.

The difference Equation (45) for the first kind of the boundary value and the third kind of boundary value is unconditionally$L^2$stable.

Proof. 

From the total error $R^{(1)}$ of the differential format for the first kind of the boundary value and the total error $R_1^{(1)}$ of the differential format for the third kind of the boundary value, the total error is $O\left({\tau }^2+h^2\right)$. □

Let $\lambda =\frac{\alpha ·\tau }{h^2}$ be the grid ratio and use the Fourier method to analyze the stability of Equation (45):

$$\left(I-\frac{\alpha \tau }{2}{\delta }_x^2\right)\left(I-\frac{\alpha \tau }{2}\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^{k+1}=\left(I+\frac{\alpha \tau }{2}{\delta }_x^2\right)\left(I+\frac{\alpha \tau }{2}\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^k.$$

(93)

Substituting $T_{j,l}^k=v^k{e}^{i{k}_{1}jh}{e}^{i{k}_{2}lh}$ and $e^{i\theta }=\cos \theta +i\sin \theta$ into Equation (45), we get $v^{k+1}=\widehat{G}\left(\tau ,k\right)v^k,$ where the growth factor $\widehat{G}\left(\tau ,k\right)$ of Equation (45) is as the following form:

$$\widehat{G}\left(\tau ,k\right)=\frac{\left(1-2\frac{\alpha \tau }{h^2}{\sin }^2\frac{k_{1}h}{2}\right)\left(1-2\frac{\alpha \tau }{h^2}{\sin }^2\frac{k_{2}h}{2}\right)+i\left(\left(1-2\frac{\alpha \tau }{h^2}{\sin }^2\frac{k_{1}h}{2}\right)·\frac{\alpha \tau }{2h·r_j}\sin \left(k_{2}h\right)\right)}{\left(1+2\frac{\alpha \tau }{h^2}{\sin }^2\frac{k_{1}h}{2}\right)\left(1+2\frac{\alpha \tau }{h^2}{\sin }^2\frac{k_{2}h}{2}\right)+i\left(-\left(1+2\frac{\alpha \tau }{h^2}{\sin }^2\frac{k_{1}h}{2}\right)·\frac{\alpha \tau }{2h·r_j}\sin \left(k_{2}h\right)\right)},$$

(94)

then,

$$\left|\widehat{G}\left(\tau ,k\right)\right|=\frac{\sqrt{{\left(1-2\frac{\alpha \tau }{h^2}{\sin }^2\frac{k_{1}h}{2}\right)}^2·{\left(1-2\frac{\alpha \tau }{h^2}{\sin }^2\frac{k_{2}h}{2}\right)}^2+{\left(\left(1-2\frac{\alpha \tau }{h^2}{\sin }^2\frac{k_{1}h}{2}\right)·\frac{\alpha \tau }{2h·r_j}\sin \left(k_{2}h\right)\right)}^2}}{\sqrt{{\left(1+2\frac{\alpha \tau }{h^2}{\sin }^2\frac{k_{1}h}{2}\right)}^2·{\left(1+2\frac{\alpha \tau }{h^2}{\sin }^2\frac{k_{2}h}{2}\right)}^2+{\left(-\left(1+2\frac{\alpha \tau }{h^2}{\sin }^2\frac{k_{1}h}{2}\right)·\frac{\alpha \tau }{2h·r_j}\sin \left(k_{2}h\right)\right)}^2}},$$

(95)

where $k=\left(k_1,k_2\right)$. Obviously, $\left|\widehat{G}\left(\tau ,k\right)\right|\le 1$ means that the difference scheme Equation (45) is unconditionally $L^2$ stable.

4.2. Convergence of Difference Scheme Solutions

The following will prove that ADI format with the backward Euler method and ADI format with Crank–Nicolson method are convergent whether for the first kind of boundary value or the third kind of boundary value.

Definition 3.

For a sufficiently smooth function$u$, if the time step and the space step both approach 0, the truncation error of the difference equation approaches 0 for each node, it is said that the difference equation approximates the differential equation, that is, the difference equation is consistent with differential equations [2].

Theorem 3.

If the difference equation satisfies the consistency condition and is stable according to the initial value, the difference solution converges to the solution of the original equation [2].

Theorem 4.

The difference Equation (25) in the case of boundary value of the first kind and boundary value of the third kind is consistent.

Proof. 

The consistency of the difference equation can be proved by the Taylor expansion method. □

For the difference scheme Equation (25):

$$\left(I-\alpha \tau {\delta }_x^2\right)\left(I-\alpha \tau \left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^{k+1}=\left(I+{\alpha }^2{\tau }^2{\delta }_x^2\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^k+\tau ·f_{i,j}^{k+1},$$

(96)

$T_{i,j}^k$ is expanded at node $\left(x_i,r_j,t_{k+1}\right)$ for $t$, $T_{i-1,j}^{k+1},T_{i+1,j}^{k+1}$ and $T_{i-1,j}^k,T_{i+1,j}^k$ are expanded at node $\left(x_i,r_j,t_{k+1}\right)$ and $\left(x_i,r_j,t_k\right)$ for $x$, respectively,$T_{i,j-1}^{k+1},T_{i,j+1}^{k+1}$ and $T_{i,j-1}^k,T_{i,j+1}^k$ are expanded at node $\left(x_i,r_j,t_{k+1}\right)$ and $\left(x_i,r_j,t_k\right)$ for $r$, respectively. We have obtained:

$$\begin{array}{c}{\left[\frac{\partial T}{\partial t}-\alpha ·\left(\frac{{\partial }^{2}T}{\partial r^2}+\frac{1}{r}·\frac{\partial T}{\partial r}+\frac{{\partial }^{2}T}{\partial x^2}\right)-f\right]}_{i,j}^{k+1}=\hfill \\ \hspace{1em}{\left[-\frac{\tau }{2}·\frac{{\partial }^{2}T}{\partial t^2}+\alpha ·\left(\frac{h^2}{12}·\frac{{\partial }^{4}T}{\partial x^4}+\frac{h^2}{12}·\frac{{\partial }^{4}T}{\partial r^4}+\frac{1}{r}·\frac{h^2}{6}·\frac{{\partial }^{3}T}{\partial r^3}\right)+o\left(\tau +h^2\right)\right]}_{i,j}^{k+1}\hfill \\ \hspace{1em}-{\alpha }^2{\tau }^2{\left[\left(\frac{{\partial }^{2}T}{\partial x^2}+\frac{h^2}{12}·\frac{{\partial }^{4}T}{\partial x^4}\right)\left(\frac{{\partial }^{2}T}{\partial r^2}+\frac{h^2}{12}·\frac{{\partial }^{4}T}{\partial r^4}+\frac{1}{r}·\frac{\partial T}{\partial r}+\frac{1}{r}·\frac{h^2}{6}·\frac{{\partial }^{3}T}{\partial r^3}\right)\right]}_{i,j}^{k+1}\hfill \\ \hspace{1em}+{\alpha }^2{\tau }^2{\left[\left(\frac{{\partial }^{2}T}{\partial x^2}+\frac{h^2}{12}·\frac{{\partial }^{4}T}{\partial x^4}\right)\left(\frac{{\partial }^{2}T}{\partial r^2}+\frac{h^2}{12}·\frac{{\partial }^{4}T}{\partial r^4}+\frac{1}{r}·\frac{\partial T}{\partial r}+\frac{1}{r}·\frac{h^2}{6}·\frac{{\partial }^{3}T}{\partial r^3}\right)\right]}_{i,j}^k.\hfill \end{array}$$

(97)

In the above equation, when $h,\tau \to 0$, all the terms at the right-hand side of the above equation are close to 0, and the difference equation approaches to the original differential equation. Therefore, the difference Equation (25) is consistent with the original equation.

Theorem 5.

The difference Equation (25) in the case of boundary value of the first kind and the third kind of boundary value is convergent.

Proof. 

Order error is $O\left(\tau +h^2\right)$, and according to Theorems 3, 4, and 1, the difference scheme Equation (25) in the case of boundary value of the first kind and the third kind of boundary value is convergent. □

Theorem 6.

The difference scheme Equation (45) in the case of the first kind of boundary value and the third kind of boundary value is consistent.

Proof. 

The consistency of the difference equation can be proved by the Taylor expansion method. □

For the difference Equation (45):

$$\left(I-\frac{\alpha \tau }{2}{\delta }_x^2\right)\left(I-\frac{\alpha \tau }{2}\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^{k+1}=\left(I+\frac{\alpha \tau }{2}{\delta }_x^2\right)\left(I+\frac{\alpha \tau }{2}\left({\delta }_r^2+\frac{1}{r_j}{\delta }_r\right)\right)T_{i,j}^k,$$

(98)

$T_{i,j}^k$ and $T_{i,j}^{k+1}$ is expanded at node $\left(x_i,r_j,t_{k+1}\right)$ for $t$, $T_{i-1,j}^{k+1},T_{i+1,j}^{k+1}$ and $T_{i-1,j}^k,T_{i+1,j}^k$ are expanded at node $\left(x_i,r_j,t_{k+1}\right)$ and $\left(x_i,r_j,t_k\right)$ for $x$, respectively, $T_{i,j-1}^{k+1},T_{i,j+1}^{k+1}$ and $T_{i,j-1}^k,T_{i,j+1}^k$ are expanded at node $\left(x_i,r_j,t_{k+1}\right)$ and $\left(x_i,r_j,t_k\right)$ for $r$, respectively. We have obtained:

$$\begin{array}{c}{\left[\frac{\partial T}{\partial t}-\alpha ·\left(\frac{{\partial }^{2}T}{\partial r^2}+\frac{1}{r}·\frac{\partial T}{\partial r}+\frac{{\partial }^{2}T}{\partial x^2}\right)\right]}_{i,j}^{k+1/2}=\hfill \\ \hspace{1em}{\left[-\frac{{\tau }^2}{24}·\frac{{\partial }^{3}T}{\partial t^3}+\alpha ·\left(\begin{array}{c}\frac{{\tau }^2}{8}·\frac{{\partial }^{4}T}{\partial x^2\partial t^2}+\frac{h^2}{12}·\frac{{\partial }^{4}T}{\partial x^4}+\frac{{\tau }^2}{8}·\frac{{\partial }^{4}T}{\partial r^2\partial t^2}+\frac{h^2}{12}·\frac{{\partial }^{4}T}{\partial r^4}\hfill \\ +\frac{1}{r}·\left(\frac{{\tau }^2}{8}·\frac{{\partial }^{3}T}{\partial r\partial t^2}+\frac{h^2}{6}·\frac{{\partial }^{3}T}{\partial r^3}\right)\hfill \end{array}\right)+o\left({\tau }^2+h^2\right)\right]}_{i,j}^{k+1/2}\hfill \\ \hspace{1em}-\frac{{\alpha }^2{\tau }^2}{4}·{\left[\left(\frac{{\partial }^{2}T}{\partial x^2}+\frac{h^2}{12}·\frac{{\partial }^{4}T}{\partial x^4}\right)\left(\frac{{\partial }^{2}T}{\partial r^2}+\frac{h^2}{12}·\frac{{\partial }^{4}T}{\partial r^4}+\frac{1}{r}·\frac{\partial T}{\partial r}+\frac{1}{r}·\frac{h^2}{6}·\frac{{\partial }^{3}T}{\partial r^3}\right)\right]}_{i,j}^{k+1}\hfill \\ \hspace{1em}+\frac{{\alpha }^2{\tau }^2}{4}·{\left[\left(\frac{{\partial }^{2}T}{\partial x^2}+\frac{h^2}{12}·\frac{{\partial }^{4}T}{\partial x^4}\right)\left(\frac{{\partial }^{2}T}{\partial r^2}+\frac{h^2}{12}·\frac{{\partial }^{4}T}{\partial r^4}+\frac{1}{r}·\frac{\partial T}{\partial r}+\frac{1}{r}·\frac{h^2}{6}·\frac{{\partial }^{3}T}{\partial r^3}\right)\right]}_{i,j}^k.\hfill \end{array}$$

(99)

In the above equation, when $h,\tau \to 0$, all the terms at the right-hand side of the above equation are close to 0, and the difference equation approaches to the original differential equation. Therefore, the difference Equation (45) is consistent with the original equation.

Theorem 7.

The difference Equation (45) in the case of the first kind of boundary value and the third kind of boundary value is convergent.

Proof. 

Order error is $O\left({\tau }^2+h^2\right)$, and according to theorems 3, 6, and 2, the difference scheme Equation (45) in the case of the first kind of boundary value and the third kind of boundary value is convergent. □

5. Examples

5.1. Verification of Convergence of Algorithm

5.1.1. Example of ADI with the Backward Euler Method

Using the difference scheme for ADI with the backward Euler method of the first kind of boundary value to solve the following definite solution problems, we can verify the convergence of the algorithm.

Example 1.

$$\frac{\partial T}{\partial \mathrm{t}}=\frac{{\partial }^{2}T}{\partial r^2}+\frac{1}{r}·\frac{\partial T}{\partial r}+\frac{{\partial }^{2}T}{\partial x^2}-\left(1+\frac{1}{r}\right)·e^{\left(x+r+t\right)},0\le x\le 1,0<r\le 1,$$

(100)

$$T\left(x,r,0\right)=e^{\left(x+r\right)},$$

(101)

$$\begin{array}{l}T\left(0,r,t\right)=e^{\left(r+t\right)},T\left(1,r,t\right)=e^{\left(1+r+t\right)},\\ T\left(x,0,t\right)=e^{\left(x+t\right)},T\left(x,1,t\right)=e^{\left(x+1+t\right)},\end{array}$$

(102)

the exact solution of the above fixed solution problem is $T\left(x,r,t\right)=e^{\left(x+r+t\right)}$.

Space interval $\left[0,1\right]$ is uniformly divided into $M$ blocks. Denote $h=h_1=h_2=1/M$, $x_i=0+ih$, $r_j=0+jh$, $0\le i\le M,0<j\le M.$ Time interval $\left[0,1\right]$ is uniformly divided into $N$ blocks. Denote $\tau =1/N,t_k=0+k\tau ,1\le k\le N$, and call $\left(x_i,r_j,t_k\right)$ as a network node.

The calculation formula of the maximum error $E_{\infty }\left(h,\tau \right)$ of the numerical solution is given by:

$$E_{\infty }\left(h,\tau \right)=\underset{\begin{array}{l}0\le i,j\le M\\ 0\le k\le N\end{array}}{\max }\left|T\left(x_i,r_j,t_k\right)-T_{i,j}^k\right|.$$

(103)

The absolute error is the absolute value of the distinction between the exact solution and numerical solution.

Table 1. Numerical solution, exact solution, and absolute error at some nodes $\left(\mathit{h} = 1/32, \mathit{\tau } = 1/512\right)$.

$(\mathit{x},\mathit{r},\mathit{t})$	Numerical Solution	Exact Solution	Absolute Error
(0.25,0.25,0.25)	2.1172881	2.1170000	2.881 × 10−4
(0.25,0.75,0.25)	3.4905527	3.4903430	2.097 × 10−4
(0.75,0.75,0.25)	5.7548814	5.7546027	2.787 × 10−4
(0.25,0.25,0.50)	2.7186570	2.7182818	3.752 × 10−4
(0.25,0.75,0.50)	4.4819608	4.4816891	2.717 × 10−4
(0.75,0.75,0.50)	7.3894165	7.3890561	3.604 × 10−4
(0.25,0.25,0.75)	3.4908248	3.4903430	4.818 × 10−4
(0.25,0.75,0.75)	5.7549516	5.7546027	3.489 × 10−4
(0.75,0.75,0.75)	9.4881986	9.4877358	4.628 × 10−4
(0.25,0.25,1.00)	4.4823077	4.4816891	6.186 × 10−4
(0.25,0.75,1.00)	7.3895041	7.3890561	4.480 × 10−4
(0.75,0.75,1.00)	12.1830881	12.1824940	5.941 × 10−4

shows the numerical solution, the exact solution, and the absolute error at some nodes when $h=1/32$ and $\tau =1/512$.

Table 2. The maximum error $E_{\infty }\left(h,\tau \right)$ corresponding to the asynchronous step length, where * means null.

$\mathit{h}$	$\mathit{\tau }$	${\mathit{E}}_{\mathit{\infty }}\left(\mathit{h},\mathit{\tau }\right)$	${\mathit{E}}_{\mathit{\infty }}\left(2\mathit{h},4\mathit{\tau }\right)/{\mathit{E}}_{\mathit{\infty }}\left(\mathit{h},\mathit{\tau }\right)$
1/16	1/32	8.7000E-03	*
1/32	1/128	2.6000E-03	3.35
1/64	1/512	6.7742E-04	3.84
1/128	1/2048	1.7223E-04	3.93

shows the maximum error of the numerical solution when the asynchronous step length is taken. It performs that when the space step is reduced to 1/2 and the time step is reduced to 1/4, the maximum error is approximately reduced by about 3/4.

Figure 2 shows the three-dimensional image of the approximate solution of the difference equation when $h=1/64$ and $\tau =1/2048$.

Figure 3 shows the numerical solutions obtained by PDETOOL of MATLAB.

Compare the longitudinal section and the cross section of Figure 2 and Figure 3. If the similarity is high, it means that the numerical solution obtained by the algorithm is basically consistent with the numerical solution given by PDETOOL of MATLAB. It shows that the algorithm is more accurate.

Figure 4 shows the longitudinal section contrast between Figure 2 and Figure 3.

Figure 5 shows the cross-sectional contrast between Figure 2 and Figure 3.

It shows from Figure 2, Figure 3, Figure 4 and Figure 5 that the numerical solution obtained by the ADI with the backward Euler method for the first kind of boundary value is in good agreement with the numerical solution given by the PDETOOL of MATLAB in the same environment.

From the comparison of the Table 1 and Table 2 and Figure 2, Figure 3, Figure 4 and Figure 5 of this example, it shows that the ADI with the backward Euler method enjoys a better convergence.

5.1.2. Example of ADI with Crank–Nicolson Method

Using the difference scheme for ADI with Crank–Nicolson method of the first kind of boundary value to solve the following definite solution problems, we verify the convergence of the algorithm.

Example 2.

$$\frac{\partial T}{\partial \mathrm{t}}=\frac{{\partial }^{2}T}{\partial r^2}+\frac{1}{r}·\frac{\partial T}{\partial r}+\frac{{\partial }^{2}T}{\partial x^2},1\le x\le 2,1\le r\le 2,$$

(104)

$$T\left(x,r,0\right)=e^x+\ln r,$$

(105)

$$\begin{array}{l}T\left(1,r,t\right)=e^{1+t}+\ln r,T\left(2,r,t\right)=e^{2+t}+\ln r,\\ T\left(x,1,t\right)=e^{x+t},T\left(x,2,t\right)=e^{x+t}+\ln 2,\end{array}$$

(106)

the exact solution of the above fixed solution problem is $T\left(x,r,t\right)=e^{x+t}+\ln r$.

Space interval $\left[1,2\right]$ is uniformly divided into $M$ blocks. Denote $h=h_1=h_2=1/M$, $x_i=1+ih$, $r_j=1+jh$, $0\le i,j\le M.$ Time interval $\left[0,1\right]$ is uniformly divided into $N$ blocks. Denote $\tau =1/N,t_k=0+k\tau ,1\le k\le N$, and call $\left(x_i,r_j,t_k\right)$ as a network node.

The calculation formula of the maximum error $E_{\infty }\left(h,\tau \right)$ of the numerical solution is given by:

$$E_{\infty }\left(h,\tau \right)=\underset{\begin{array}{l}0\le i,j\le M\\ 0\le k\le N\end{array}}{\max }\left|T\left(x_i,r_j,t_k\right)-T_{i,j}^k\right|.$$

(107)

Table 3. Numerical solution, exact solution, and absolute error at some nodes $\left(\mathit{h}=1/32, \mathit{\tau }=1/64\right)$.

$(\mathit{x},\mathit{r},\mathit{t})$	Numerical Solution	Exact Solution	Absolute Error
(0.25,0.25,0.25)	4.7048536	4.7048326	2.100 × 10−5
(0.25,0.75,0.25)	5.0413253	5.0413049	2.040 × 10−5
(0.75,0.75,0.25)	7.9486993	7.9486719	2.740 × 10−5
(0.25,0.25,0.50)	5.9777740	5.9777462	2.780 × 10−5
(0.25,0.75,0.50)	6.3142452	6.3142185	2.670 × 10−5
(0.75,0.75,0.50)	10.0473873	10.0473516	3.570 × 10−5
(0.25,0.25,0.75)	7.6122360	7.6121997	3.630 × 10−5
(0.25,0.75,0.75)	7.9487066	7.9486719	3.470 × 10−5
(0.75,0.75,0.75)	12.7421559	12.7421097	4.620 × 10−5
(0.25,0.25,1.00)	9.7109269	9.7108794	4.750 × 10−5
(0.25,0.75,1.00)	10.0473965	10.0473516	4.490 × 10−5
(0.75,0.75,1.00)	16.2023073	16.2022477	5.960 × 10−5

shows the numerical solution, the exact solution, and the absolute error at some nodes when $h=1/32$ and $\tau =1/64$.

Table 4. The maximum error $E_{\infty }\left(h,\tau \right)$ corresponding to the asynchronous step length, where * means null.

$\mathit{h}$	$\mathit{\tau }$	${\mathit{E}}_{\mathit{\infty }}\left(\mathit{h},\mathit{\tau }\right)$	${\mathit{E}}_{\mathit{\infty }}\left(2\mathit{h},2\mathit{\tau }\right)/{\mathit{E}}_{\mathit{\infty }}\left(\mathit{h},\mathit{\tau }\right)$
1/8	1/16	1.4000E-03	*
1/16	1/32	3.4836E-04	4.02
1/32	1/64	8.7437E-05	3.98
1/64	1/128	2.1908E-05	3.99

shows the maximum error of the numerical solution when the asynchronous step length is taken. It represents that when the space step is reduced to 1/2 and the time step is decreased to 1/2, the maximum error is approximately dropped to about 3/4.

Figure 6 shows the three-dimensional image of the approximate solution of the difference equation when $h=1/64$ and $\tau =1/128$.

Figure 7 shows the numerical solutions obtained by PDETOOL of MATLAB.

Compare the longitudinal section and the cross section of Figure 6 and Figure 7. If the comparison is highly similar, the numerical solution obtained by the algorithm is basically consistent with the numerical solution given by PDETOOL of MATLAB, which shows that the algorithm is much accurate.

Figure 8 shows the longitudinal section contrast between Figure 6 and Figure 7.

Figure 9 shows the cross-sectional contrast between Figure 6 and Figure 7.

From Figure 6, Figure 7, Figure 8 and Figure 9, the numerical solution obtained by the ADI with Crank–Nicolson method for the first kind of boundary value is in good agreement with the numerical solution given by the PDETOOL of MATLAB in the same environment.

Corresponding to the comparison in the Table 3 and Table 4 and Figure 6, Figure 7, Figure 8 and Figure 9 that the ADI with Crank–Nicolson method has better convergence.

5.2. Laser Machining Simulation

We now use the difference scheme of the third kind of boundary value to solve the laser machining problem.

Example 3.

Let a laser beam irradiate the surface of the material vertically under the ambient temperature of $293 \mathrm{K}\left(20 °\mathrm{C}\right)$. For simplicity, we consider that the input of laser energy acts on the material surface in the form of Gaussian heat flux. In this way, the center of the laser can reach the heat peak, and the temperature of the material boundary tends to the initial temperature. Therefore, the laser radius is equal to the material radius.

Table 5. The thermal property parameters of 316 stainless steel.

Density	$\rho$	$8000\mathrm{kg}/{\mathrm{m}}^3$
Specific heat capacity	$c$	$500\mathrm{J}/\left(\mathrm{kg}·\mathrm{K}\right)$
Coefficient of thermal conductivity	$\kappa$	$21.5\mathrm{W}/\left(\mathrm{m}·\mathrm{K}\right)$
Melting point		$1673\mathrm{K}$
The parameters are set to the initial temperature	$T_0$	$293\mathrm{K}\left(20°\mathrm{C}\right)$
The initial ambient temperature	$T_a$	$293\mathrm{K}$
The laser radius	$R$	$0.001\mathrm{m}$
The material thickness	$X$	$0.001\mathrm{m}$
The material surface radius	$R$	$0.001\mathrm{m}$
The material’s absorption rate of laser energy	$\beta$	$1$
The laser power	$P$	$200\mathrm{W}$

shows the thermal property parameters of 316 stainless steel.

• The input of laser energy acts on the material surface in the form of Gaussian heat flux, specifically:

  $$\beta q\left(r\right)=\beta ·\frac{8P}{\pi ·R^2}{e}^{-\frac{8r^2}{R^2}}.$$

  (108)
• In the laser irradiation area $\mathsf{\Gamma }$, the moving laser beam is loaded through the boundary conditions of the surface heat source:

  $${\left.\kappa \left(\nabla T·n\right)\right|}_S=\beta q\left(r\right),S\in \mathsf{\Gamma },x=0.$$

  (109)
• The boundary outside the laser irradiation area $\mathsf{\Gamma }$ is in contact with air, and the boundary conditions are as following:

  $${\left.\kappa \left(\nabla T·n\right)\right|}_S={\left.H\left(T-T_a\right)\right|}_S,S=\left\{\left.\left(x,r\right)\right|\partial \mathsf{\Omega }\backslash \left\{x=0,r\le R\right\}\right\}.$$

  (110)
• The initial temperature of the substrate is the ambient temperature, that is, the initial conditions of the substrate are:

  $$T\left(x,r,0\right)=T_a.$$

  (111)

Cylindrical coordinates should be adopted to this three-dimensional problem. Since the temperature distribution along the depth is symmetric after the laser beam irradiates the surface of the material, it can be converted into a two-dimensional problem with coordinates $\left(r,x\right)$. The heat conduction format in cylindrical coordinates is rewritten as:

$$\frac{\partial T}{\partial t}=\alpha ·\left(\frac{{\partial }^{2}T}{\partial r^2}+\frac{1}{r}·\frac{\partial T}{\partial r}+\frac{{\partial }^{2}T}{\partial x^2}\right)+f,0\le x\le X,0<r\le R,0<t,$$

(112)

$${\left.T\left(x,r\right)\right|}_{t=0}=T_a,$$

(113)

$$\begin{array}{l}{\left.\kappa \left(\nabla T·n\right)\right|}_{x=0}=\beta q\left(r\right),r\in \mathsf{\Gamma },{\left.\kappa \left(\nabla T·n\right)\right|}_{x=X}=H\left(T-T_a\right),0<r\le R,\\ {\left.\kappa \left(\nabla T·n\right)\right|}_{r=R}=H\left(T-T_a\right),0<x\le X,\kappa {\left.\frac{\partial T}{\partial r}\right|}_{r=0}=0,0<x\le X.\end{array}$$

(114)

where $\alpha =\frac{\kappa }{\rho c}$ is the thermal diffusivity.

Using ADI with the backward Euler method and ADI with Crank–Nicolson method to solve the problem on MATLAB, we can obtain Figure 10 and Figure 11.

Figure 10 shows the numerical solutions of difference equations by ADI with the backward Euler method when $h=0.001/100$, $\tau =0.01/1000$ and $H=1.5$.

Figure 11 shows the numerical solutions of difference equations by ADI with Crank-Nicolson method when $h=0.001/100$, $\tau =0.01/500$ and $H=1.5$.

The laser source is a function of $r$, and the temperature is symmetrically distributed along the radius of the material. Therefore, the temperature becomes lower in the $x$ direction, distributed along the laser source function in the $r$ direction.

Table 6. The maximum error, $E_{\infty }\left(h,\tau \right)$, and the maximum relative error corresponding to the asynchronous step length.

$\mathit{h}$	$\mathit{\tau }$	${\mathit{E}}_{\mathit{\infty }}\left(\mathit{h},\mathit{\tau }\right)$	Maximum Relative Error
1/50	1/1000	8.6134	0.0188
1/50	1/2000	4.0032	0.0081
1/50	1/3000	2.6143	0.0052
1/50	1/4000	1.9412	0.0038
1/100	1/1000	27.8724	0.0702
1/100	1/2000	10.0051	0.0284
1/100	1/3000	5.8613	0.0157
1/100	1/4000	4.1185	0.0107

is the maximum error and the maximum relative error between the numerical solutions of the ADI with the backward Euler method and the exact solutions of ADI with Crank–Nicolson method when the asynchronous step length is taken.

The maximum relative error is the maximum error divided by the corresponding exact solution.

From Table 6, when $\tau /h$ gets smaller, the maximum error and the maximum relative error of the two algorithms gets smaller. The smaller $\tau /h^2$, the less the maximum error and the maximum relative error of the two algorithms when $\tau /h$ comes the same.

Use the PDETOOL of MATLAB to simulate Example 3. The results are shown in Figure 12.

The approximate solution in Figure 10 and Figure 11 is compared with the cross and the longitudinal sections of the numerical solution in Figure 12, as shown in Figure 13 and Figure 14.

Figure 13 shows the longitudinal section contrast among Figure 10, Figure 11 and Figure 12.

Figure 14 shows the cross-sectional contrast among Figure 10, Figure 11 and Figure 12.

From Figure 10, Figure 11, Figure 12, Figure 13 and Figure 14, both numerical solutions obtained by the ADI with the backward Euler method and with Crank–Nicolson method for the third kind of boundary value are in good agreement with the numerical solutions given by the PDETOOL of MATLAB in the same environment within a certain small error, which shows that these methods are feasible and effective in laser processing.

Example 4.

To be compared with Example 3, we take the laser radius as$0.0008\mathrm{m}$so that the laser radius is smaller than the material radius under the same environmental conditions.

(1)

In the laser irradiation surface, we have:

$$\begin{array}{l}{\left.\kappa \left(\nabla T·n\right)\right|}_S=\beta \widehat{q}\left(r\right),S\in \mathsf{\Gamma },x=0,\\ {\left.T\right|}_S=293K,S=\left\{\left.\left(x,r\right)\right|x=0,0.0008<r\le R\right\}.\end{array}$$

(115)

(2)

The input of laser energy acts on the material surface in the form of Gaussian heat flux, specifically:

$$\beta \widehat{q}\left(r\right)=\beta ·\frac{8P}{\pi ·R^2}{e}^{-\frac{40r^2}{R^2}}.$$

(116)

Other parameters and environmental conditions behavior the same as Example 3.

Using the ADI with Crank–Nicolson method to solve the problem on MATLAB, we can obtain Figure 15.

Figure 15 shows the numerical solutions of difference equations by ADI with Crank-Nicolson method when $h=0.001/100$, $\tau =0.01/500$ and $H=1.5$.

Use the PDETOOL of MATLAB to simulate Example 4. The results are shown in Figure 16.

From the results of Figure 15 and Figure 16, it shows the correctness of the algorithm.

We consider combining the $\beta \widehat{q}\left(r\right)$ of Example 4 and the rest of the environmental conditions of Example 3 to form a new problem. This new problem and Example 4 vary from the laser irradiation area. Using ADI with Crank–Nicolson method to solve this new problem on MATLAB, we can attain Figure 17.

Figure 17 shows the numerical solutions of difference equations by ADI with Crank-Nicolson method when $h=0.001/100$, $\tau =0.01/500$ and $H=1.5$.

From Figure 15 and Figure 17, the maximum error and the maximum relative error obviously appear on the boundary. Since the maximum error and the maximum relative error respectively is 8.5667 K and 0.0284, and the melting point of the material is relatively high, the temperature distinction in the interior point is negligible in Figure 15 and Figure 17.

6. Conclusions

In this article, the effective computation of the heat distribution of the material is studied when the laser beam is irradiated on the section of the cylinder material, where the laser beam is expressed as a Gaussian distribution. The mathematical model—three-dimensional heat conduction equation, is converted into a two-dimensional parabolic equation. Based on the symmetry of the heat distribution, the three-dimensional equation in the rectangular coordinate system can be changed to the simplified two-dimensional equation in the cylindrical coordinate system, which raises the work efficiency, but also saves the storage space.

Subsequently, to solve the simplified equation, the unconditionally stable ADI scheme is developed with the classic backward Euler method or Crank–Nicolson method in the cylindrical coordinate system, and then the simulation results are obtained, where the first kind of boundary value condition or the third kind of boundary value condition is considered. Further, these two methods have been proved to be unconditionally $L^2$ stable and convergent, and their accuracies are verified by Examples 1 and 2. Examples 3 and 4 demonstrate that these two methods are feasible, stable, and efficient to solve the laser processing problem model. Example 4 also verifies that under certain conditions and errors, the entire laser irradiation can be used to replace the partial laser irradiation, thereby simplifying the boundary heat dissipation problem.

Comparison between the results obtained by these two methods and the results obtained by PDETOOL of MATLAB in each example, shows that our results are more convincing, and our treatment has two advantages. Firstly, self-programming can use different methods to discretize distinct problems, which improves the flexibility of the algorithm, saves running space and time and raises efficiency. Secondly, in the absence of an exact solution, our approach can check whether the algorithm is correct or not by comparing with the numerical solution of PDETOOL.

The three-dimensional heat conduction problem model of the article is also universal. The material irradiated by the laser is not necessarily cylindrical. As long as a circle is set at the center of the laser spot, the problem model in this article is still applicable. The only difference is the processing of the boundary, that is, the expression and discretization of the boundary conditions may need to be processed separately.