Time-Fractional Heat Conduction in Two Joint Half-Planes

Abstract

The heat conduction equations with Caputo fractional derivative are considered in two joint half-planes under the conditions of perfect thermal contact. The fundamental solution to the Cauchy problem as well as the fundamental solution to the source problem are examined. The Fourier and Laplace transforms are employed. The Fourier transforms are inverted analytically, whereas the Laplace transform is inverted numerically using the Gaver–Stehfest method. We give a graphical representation of the numerical results.

1. Introduction

The conventional theory of heat conduction starts from the Fourier law and, coupled with the energy conservation law, implies the conventional parabolic heat conduction equation. In bodies exhibiting complex features, the usual Fourier law and heat conduction equation are not precise enough, and nonstandard theories, in which these equations are substituted by extended (nonlocal) equations, are elaborated.

Time nonlocal equations give an account of memory. Gurtin and Pipkin [1] suggested the general relation between the heat flux vector $\mathbf{q}$ and the temperature gradient:

$$\mathbf{q}=-k{\int }_0^{\infty }K\left(\tau \right)\mathrm{grad}T(t-\tau )\mathrm{d}\tau .$$

(1)

In Equation (1), k can be treated as the generalized thermal conductivity, T denotes temperature, t stands for time, and $K\left(\tau \right)$ is the weight function.

Nigmatullin [2,3] proposed a similar version of Equation (1):

$$\mathbf{q}=-k{\int }_0^{t}K(t-\tau )\mathrm{grad}T\left(\tau \right)\mathrm{d}\tau ,$$

(2)

and obtained for temperature the equation with memory:

$${\displaystyle \frac{\partial T}{\partial t}}=a{\int }_0^{t}K(t-\tau )\Delta T\left(\tau \right)\mathrm{d}\tau .$$

(3)

In Equation (3), a can be treated as the generalized thermal diffusivity coefficient.

Different choices of the weight function $K(t-\tau )$ (“full sclerosis”, “short-tail” memory, “middle-tail” memory, “long-tail” memory, and “full memory”) were analized in [4,5,6,7,8].

Though different time nonlocal generalizations of the Fourier law have a long history, they still attract the attention of researchers (see, for example, Reference [9], and the extensive discussion in [10]).

Fractional calculus (the theory of integrals and derivatives of non-integer order) has a large number of uses in engineering, geophysics, physics, geology, chemistry, rheology, biology, finance, and medicine (see [11,12,13,14,15,16,17,18,19,20,21], among many others).

Equation (2), written with the “long-tail” power kernel [4,5,6,7,8], can be represented in terms of fractional calculus:

$$\mathbf{q}\left(t\right)=-k{D}_{RL}^{1-\alpha }\mathrm{grad}T\left(t\right),0<\alpha \le 1,$$

(4)

$$\mathbf{q}\left(t\right)=-k{I}^{\alpha -1}\mathrm{grad}T\left(t\right),1<\alpha \le 2.$$

(5)

In Equations (4) and (5), $I^{\alpha }f\left(t\right)$ and $D_{RL}^{\alpha }f\left(t\right)$ are the Riemann–Liouville fractional integral and derivative of the order $\alpha$ [22,23,24]:

$$I^{\alpha }f\left(t\right)={\displaystyle \frac{1}{\Gamma \left(\alpha \right)}}{\int }_0^t{(t-\tau )}^{\alpha -1}f\left(\tau \right)\mathrm{d}\tau ,\alpha >0,$$

(6)

$$D_{RL}^{\alpha }f\left(t\right)={\displaystyle \frac{{\mathrm{d}}^m}{\mathrm{d}{t}^m}}\left[{\displaystyle \frac{1}{\Gamma (m-\alpha )}}{\int }_0^t{(t-\tau )}^{m-\alpha -1}f\left(\tau \right)\mathrm{d}\tau \right],m-1<\alpha <m.$$

(7)

In Equations (6) and (7), $\Gamma \left(\alpha \right)$ denotes the Gamma function.

It should be emphasized that in fractional calculus, there is no sharp boundary between integrals and derivatives. This is why some authors [11,22] do not use a separate notation for the fractional integral $I^{\alpha }f\left(t\right)$, which is designated as $D_{RL}^{-\alpha }f\left(t\right)$ with $\alpha >0$. Making use of this notation, Equations (4) and (5) can be depicted as one time-nonlocal relation:

$$\mathbf{q}\left(t\right)=-k{D}_{RL}^{1-\alpha }\mathrm{grad}T\left(t\right),0<\alpha \le 2.$$

(8)

Coupled with the law of conservation of energy, the constitutive relation (8) implies the time fractional heat conduction equation:

$${\displaystyle \frac{{\partial }^{\alpha }T}{\partial t^{\alpha }}}=a\Delta T,0<\alpha \le 2,$$

(9)

with the Caputo fractional derivative:

$${\displaystyle \frac{{\mathrm{d}}^{\alpha }f\left(t\right)}{\mathrm{d}{t}^{\alpha }}}={\displaystyle \frac{1}{\Gamma (m-\alpha )}}{\int }_0^t{(t-\tau )}^{m-\alpha -1}{\displaystyle \frac{{\mathrm{d}}^{m}f\left(\tau \right)}{\mathrm{d}{\tau }^m}}\mathrm{d}\tau ,m-1<\alpha <m.$$

(10)

The interested reader can find the details of obtaining the time fractional heat conduction Equation (9) from the constitutive relation (8) in [25].

Equations (4) and (9) for $0<\alpha <1$ describe the so-called subdiffusion (slow diffusion), which is characterized by the mean-squared displacement $\langle x^2\rangle \sim t^{\alpha }$.

Recall the rules of the Laplace transform of fractional integrals and derivatives [22,23,24]:

$$\mathcal{L}\left\{I^{\alpha }f\left(t\right)\right\}={\displaystyle \frac{1}{s^{\alpha }}}{f}^{*}\left(s\right),$$

(11)

$$\mathcal{L}\left\{{\mathrm{D}}_{RL}^{\alpha }f\left(t\right)\right\}=s^{\alpha }{f}^{*}\left(s\right)-\sum _{k=0}^{m-1}{D}^k{I}^{m-\alpha }f\left(0^{+}\right)s^{m-1-k},m-1<\alpha <m,$$

(12)

$$\mathcal{L}\left\{{\displaystyle \frac{{\mathrm{d}}^{\alpha }f\left(t\right)}{\mathrm{d}{t}^{\alpha }}}\right\}=s^{\alpha }{f}^{*}\left(s\right)-\sum _{k=0}^{m-1}{f}^{\left(k\right)}\left(0^{+}\right)s^{\alpha -1-k},m-1<\alpha <m.$$

(13)

In Equations (11)–(13), the asterisk marks the transform, and s stands for the Laplace transform variable.

A variety of boundary conditions for the time fractional heat conduction equation were analyzed in [8,20,26,27]. If the surfaces of two bodies are in perfect thermal contact, the temperatures at their joint boundary S and the heat fluxes through this boundary are the same for both bodies, and we arrive at the following boundary conditions:

$$T_1{|}_S=T_2{|}_S,$$

(14)

$$k_1{D}_{RL}^{1-\alpha }{\displaystyle \frac{\partial T_1}{\partial n}}{|}_S=k_2{D}_{RL}^{1-\beta }{\displaystyle \frac{\partial T_2}{\partial n}}{|}_S,0<\alpha \le 2,0<\beta \le 2,$$

(15)

where subscripts 1 and 2 mark bodies 1 and 2, respectively, and n is the common normal at the joint surface. In Equation (15), it is assumed that in the general case, the heat conduction in one of the bodies is described by the equation with the Caputo derivative of the order $\alpha$, whereas in the second body, the process is governed by the equation with the Caputo derivative of the order $\beta$.

In previous publications [27,28,29], the problems of fractional heat conduction in composed bodies were investigated for one spatial coordinate. In the present paper, heat conduction with the Caputo fractional derivative is considered in two joint half-planes under the conditions of perfect thermal contact in the case of two spatial coordinates. The fundamental solutions to the Cauchy and source problems are studied. The Fourier and Laplace transforms are employed. The Fourier transforms are inverted analytically, and the Laplace transform is inverted numerically, employing the Gaver–Stehfest method [30,31,32,33]. The interested reader is also referred to the recent paper [34] on numerical inversion of the Laplace transform for solving fractional deifferenetial equations, where additional references can be found.

2. The Fundamental Solution to the Cauchy Problem

Consider the time fractional heat conduction equations in two half-planes:

$$\begin{array}{c}{\displaystyle \frac{{\partial }^{\alpha }{T}_1(x,y,t)}{\partial t^{\alpha }}}=a_1\left[{\displaystyle \frac{{\partial }^2{T}_1(x,y,t)}{\partial x^2}}+{\displaystyle \frac{{\partial }^2{T}_1(x,y,t)}{\partial y^2}}\right],\hfill \\ 0<x<\infty ,-\infty <y<\infty ,0<t<\infty ,0<\alpha \le 2,\hfill \end{array}$$

(16)

$$\begin{array}{c}{\displaystyle \frac{{\partial }^{\beta }{T}_2(x,y,t)}{\partial t^{\beta }}}=a_2\left[{\displaystyle \frac{{\partial }^2{T}_2(x,y,t)}{\partial x^2}}+{\displaystyle \frac{{\partial }^2{T}_2(x,y,t)}{\partial y^2}}\right],\hfill \\ -\infty <x<0,-\infty <y<\infty ,0<t<\infty ,0<\beta \le 2.\end{array}$$

(17)

We assume the initial conditions:

$$\begin{array}{cc}\hfill t=0:& T_1(x,y,t)=p_0\delta \left(x-l\right)\delta \left(y\right),0<x<\infty ,-\infty <y<\infty ,0<\alpha \le 2,\hfill \end{array}$$

(18)

$$\begin{array}{cc}\hfill t=0:& {\displaystyle \frac{\partial T_1(x,y,t)}{\partial t}}=0,0<x<\infty ,-\infty <y<\infty ,1<\alpha \le 2,\hfill \end{array}$$

(19)

$$\begin{array}{cc}\hfill t=0:& T_2(x,y,t)=0,-\infty <x<0,-\infty <y<\infty ,0<\beta \le 2,\hfill \end{array}$$

(20)

$$\begin{array}{cc}\hfill t=0:& {\displaystyle \frac{\partial T_2(x,y,t)}{\partial t}}=0,-\infty <x<0,-\infty <y<\infty ,1<\beta \le 2,\hfill \end{array}$$

(21)

and the conditions of perfect thermal contact:

$$\begin{array}{cc}\hfill x=0:& T_1(x,y,t)=T_2(x,y,t),-\infty <y<\infty ,0<t<\infty ,0<\alpha \le 2,0<\beta \le 2,\hfill \\ \hfill x=0:& k_1{D}_{RL}^{1-\alpha }{\displaystyle \frac{\partial T_1(x,y,t)}{\partial x}}=k_2{D}_{RL}^{1-\beta }{\displaystyle \frac{\partial T_2(x,y,t)}{\partial x}},\hfill \end{array}$$

(22)

$$\begin{array}{c}-\infty <y<\infty ,0<t<\infty ,0<\alpha \le 2,0<\beta \le 2.\hfill \end{array}$$

(23)

The temperatures should also satisfy the zero conditions at infinity:

$$\begin{array}{cc}\hfill \underset{x\to \infty }{lim}{T}_1\left(x,y,t\right)=0,& \underset{y\to \pm \infty }{lim}{T}_1\left(x,y,t\right)=0,\hfill \end{array}$$

(24)

$$\begin{array}{cc}\hfill \underset{x\to -\infty }{lim}{T}_2\left(x,y,t\right)=0,& \underset{y\to \pm \infty }{lim}{T}_2\left(x,y,t\right)=0,\hfill \end{array}$$

(25)

$$\begin{array}{cc}\hfill \underset{t\to \infty }{lim}{T}_1\left(x,y,t\right)=0,& \underset{t\to \infty }{lim}{T}_2\left(x,y,t\right)=0.\hfill \end{array}$$

(26)

We introduce the unknown function:

$$\phi \left(y,t\right)=k_1{D}_{RL}^{1-\alpha }{\displaystyle \frac{\partial T_1(x,y,t)}{\partial x}}{|}_{x=0}=k_2{D}_{RL}^{1-\beta }{\displaystyle \frac{\partial T_2(x,y,t)}{\partial x}}{|}_{x=0}.$$

(27)

In the subsequent text, we employ the following cos-Fourier transforms with respect to the coordinate x: for $x>0$:

$${\mathcal{F}}_c\left\{f\left(x\right)\right\}=\tilde{f}\left(\xi \right)={\int }_0^{\infty }f\left(x\right)cos\left(x\xi \right)\mathrm{d}x,$$

(28)

$${\mathcal{F}}_c^{-1}\left\{\tilde{f}\left(\xi \right)\right\}=f\left(x\right)={\displaystyle \frac{2}{\pi }}{\int }_0^{\infty }\tilde{f}\left(\xi \right)cos\left(x\xi \right)\mathrm{d}\xi ,$$

(29)

$${\mathcal{F}}_c\left\{{\displaystyle \frac{{\mathrm{d}}^{2}f\left(x\right)}{\mathrm{d}{x}^2}}\right\}=-{\xi }^2\tilde{f}\left(\xi \right)-{\displaystyle \frac{\mathrm{d}f\left(x\right)}{\mathrm{d}x}}{|}_{x=0^{+}},$$

(30)

and for $x<0$:

$${\mathcal{F}}_c\left\{f\left(x\right)\right\}=\tilde{f}\left(\xi \right)={\int }_{-\infty }^{0}f\left(x\right)cos\left(x\xi \right)\mathrm{d}x,$$

(31)

$${\mathcal{F}}_c^{-1}\left\{\tilde{f}\left(\xi \right)\right\}=f\left(x\right)={\displaystyle \frac{2}{\pi }}{\int }_{-\infty }^0\tilde{f}\left(\xi \right)cos\left(x\xi \right)\mathrm{d}\xi ,$$

(32)

$${\mathcal{F}}_c\left\{{\displaystyle \frac{{\mathrm{d}}^{2}f\left(x\right)}{\mathrm{d}{x}^2}}\right\}=-{\xi }^2\tilde{f}\left(\xi \right)+{\displaystyle \frac{\mathrm{d}f\left(x\right)}{\mathrm{d}x}}{|}_{x=0^{-}}.$$

(33)

Applying to the initial boundary value problem (16)–(27) the Laplace transform with respect to time t, the exponential Fourier transform with respect to the coordinate y, and the foregoing cos-Fourier transforms with respect to the coordinate x, in the transform domain we get is:

$${\tilde{\tilde{T}}}_1^{*}\left(\xi ,\eta ,s\right)={\displaystyle \frac{p_0}{\sqrt{2\pi }}}cos\left(l\xi \right){\displaystyle \frac{s^{\alpha -1}}{s^{\alpha }+a_1\left({\xi }^2+{\eta }^2\right)}}-{\displaystyle \frac{a_1}{k_1}}{\tilde{\phi }}^{*}\left(\eta ,s\right){\displaystyle \frac{s^{\alpha -1}}{s^{\alpha }+a_1\left({\xi }^2+{\eta }^2\right)}},$$

(34)

$${\tilde{\tilde{T}}}_2^{*}\left(\xi ,\eta ,s\right)={\displaystyle \frac{a_2}{k_2}}{\tilde{\phi }}^{*}\left(\eta ,s\right){\displaystyle \frac{s^{\beta -1}}{s^{\beta }+a_2\left({\xi }^2+{\eta }^2\right)}}.$$

(35)

All the Fourier transforms are marked by the tilde, $\xi$ denotes the cos-Fourier transform variable, and $\eta$ stands for the exponential Fourier transform variable.

Inversion of the cos-Fourier transforms with taking into account the integral below [35]:

$${\int }_0^{\infty }{\displaystyle \frac{1}{{\xi }^2+c^2}}cos\left(x\xi \right)\mathrm{d}\xi ={\displaystyle \frac{\pi }{2c}}exp\left(-c\left|x\right|\right),c>0,$$

(36)

gives:

$$\begin{array}{cc}{\tilde{T}}_1^{*}\left(x,\eta ,s\right)\hfill & ={\displaystyle \frac{p_0}{\sqrt{2\pi }}}{\displaystyle \frac{s^{\alpha -1}}{2a_1}}{\displaystyle \frac{1}{\sqrt{{\eta }^2+s^{\alpha }/a_1}}}\left\{exp\left[-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\alpha }}{a_1}}}\left(x+l\right)\right]+exp\left[-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\alpha }}{a_1}}}\left|x-l\right|\right]\right\}\hfill \\ & -{\displaystyle \frac{s^{\alpha -1}}{k_1}}{\tilde{\phi }}^{*}\left(\eta ,s\right){\displaystyle \frac{1}{\sqrt{{\eta }^2+s^{\alpha }/a_1}}}exp\left(-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\alpha }}{a_1}}}x\right),x>0,\hfill \end{array}$$

(37)

$${\tilde{T}}_2^{*}\left(x,\eta ,s\right)={\displaystyle \frac{s^{\beta -1}}{k_2}}{\tilde{\phi }}^{*}\left(\eta ,s\right){\displaystyle \frac{1}{\sqrt{{\eta }^2+s^{\beta }/a_2}}}exp\left(-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\beta }}{a_2}}}\left|x\right|\right),x<0.$$

(38)

The perfect thermal contact boundary condition (19) written in the transform domain:

$${\tilde{T}}_1^{*}(0,\eta ,s)={\tilde{T}}_2^{*}(0,\eta ,s)$$

(39)

makes it possible to determine the function: ${\tilde{\phi }}^{*}\left(\eta ,s\right)$:

$${\tilde{\phi }}^{*}\left(\eta ,s\right)={\displaystyle \frac{p_0{k}_1{k}_2}{\sqrt{2\pi }{a}_1}}{\displaystyle \frac{\sqrt{{\eta }^2+s^{\beta }/a_2}}{s^{\beta -\alpha }{k}_1\sqrt{{\eta }^2+s^{\alpha }/a_1}+k_2\sqrt{{\eta }^2+s^{\beta }/a_2}}}exp\left(-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\alpha }}{a_1}}}l\right),$$

(40)

and obtain the expressions for temperatures:

$$\begin{array}{cc}{\tilde{T}}_1^{*}\left(x,\eta ,s\right)\hfill & ={\displaystyle \frac{p_0}{\sqrt{2\pi }{a}_1}}{\displaystyle \frac{s^{\alpha -1}}{\sqrt{{\eta }^2+s^{\alpha }/a_1}}}\{{\displaystyle \frac{1}{2}}exp\left[-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\alpha }}{a_1}}}\left(x+l\right)\right]\hfill \\ & +{\displaystyle \frac{1}{2}}exp\left[-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\alpha }}{a_1}}}|x-l|\right]\hfill \\ & -\frac{k_2\sqrt{{\eta }^2+s^{\beta }/a_2}}{s^{\beta -\alpha }{k}_1\sqrt{{\eta }^2+s^{\alpha }/a_1}+k_2\sqrt{{\eta }^2+s^{\beta }/a_2}}exp\left[-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\alpha }}{a_1}}}(x+l)\right]\},x>0,\hfill \end{array}$$

(41)

$$\begin{array}{cc}{\tilde{T}}_2^{*}\left(x,\eta ,s\right)\hfill & ={\displaystyle \frac{p_0}{\sqrt{2\pi }{a}_1}}{\displaystyle \frac{k_1{s}^{\beta -1}}{s^{\beta -\alpha }{k}_1\sqrt{{\eta }^2+s^{\alpha }/a_1}+k_2\sqrt{{\eta }^2+s^{\beta }/a_2}}}\hfill \\ & \times exp\left(-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\beta }}{a_2}}}\left|x\right|-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\alpha }}{a_1}}}l\right),x<0.\hfill \end{array}$$

(42)

The inverse transforms give:

$$\begin{array}{c}{T}_1\left(x,y,t\right)={\displaystyle \frac{p_0}{2\pi a_1}}{\mathcal{L}}^{-1}\langle {\int }_{-\infty }^{\infty }{\displaystyle \frac{s^{\alpha -1}}{\sqrt{{\eta }^2+s^{\alpha }/a_1}}}\{{\displaystyle \frac{1}{2}}exp\left[-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\alpha }}{a_1}}}\left(x+l\right)\right]\hfill \\ +{\displaystyle \frac{1}{2}}exp\left[-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\alpha }}{a_1}}}|x-l|\right]\hfill \\ -{\displaystyle \frac{k_2\sqrt{{\eta }^2+s^{\beta }/a_2}}{s^{\beta -\alpha }{k}_1\sqrt{{\eta }^2+s^{\alpha }/a_1}+k_2\sqrt{{\eta }^2+s^{\beta }/a_2}}}exp\left[-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\alpha }}{a_1}}}(x+l)\right]\}cos\left(y\eta \right)\mathrm{d}\eta \rangle ,x>0,\hfill \end{array}$$

(43)

$$\begin{array}{cc}{T}_2\left(x,y,t\right)\hfill & ={\displaystyle \frac{p_0{k}_1}{2\pi a_1}}{\mathcal{L}}^{-1}\{{\int }_{-\infty }^{\infty }{\displaystyle \frac{s^{\beta -1}}{s^{\beta -\alpha }{k}_1\sqrt{{\eta }^2+s^{\alpha }/a_1}+k_2\sqrt{{\eta }^2+s^{\beta }/a_2}}}\hfill \\ & \times exp\left(-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\beta }}{a_2}}}\left|x\right|-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\alpha }}{a_1}}}l\right)cos\left(y\eta \right)\mathrm{d}\eta \},x<0.\end{array}$$

(44)

Temperatures in joint half-planes are presented in Figure 1, Figure 2, Figure 3, Figure 4, Figure 5 and Figure 6 for varied combinations of parameters. Calculations have been carried out with the following nondimensional quantities:

$$\overline{x}={\displaystyle \frac{x}{l}},\overline{y}={\displaystyle \frac{y}{l}},\kappa ={\displaystyle \frac{\sqrt{a_1}{t}_0^{\alpha /2}}{l}},\overline{T}={\displaystyle \frac{a_1{t}_0^{\alpha }}{p_0}}T,$$

(45)

where $t_0$ is the characteristic time of the process. In all the figures, the values $\alpha =\beta =0.5$ and $\kappa =1$ have been taken.

3. The Fundamental Solution to the Source Problem

Next, we consider the time fractional heat conduction equation with the source term in the domain $x>0$:

$$\begin{array}{c}{\displaystyle \frac{{\partial }^{\alpha }{T}_1(x,y,t)}{\partial t^{\alpha }}}=a_1\left[{\displaystyle \frac{{\partial }^2{T}_1(x,y,t)}{\partial x^2}}+{\displaystyle \frac{{\partial }^2{T}_1(x,y,t)}{\partial y^2}}\right]+g_0\delta \left(x-l\right)\delta \left(y\right)\delta \left(t\right),\hfill \\ 0<x<\infty ,-\infty <y<\infty ,0<t<\infty ,0<\alpha \le 2,\hfill \end{array}$$

(46)

and the corresponding equation in the region $x<0$:

$$\begin{array}{c}{\displaystyle \frac{{\partial }^{\beta }{T}_2(x,y,t)}{\partial t^{\beta }}}=a_2\left[{\displaystyle \frac{{\partial }^2{T}_2(x,y,t)}{\partial x^2}}+{\displaystyle \frac{{\partial }^2{T}_2(x,y,t)}{\partial y^2}}\right],\hfill \\ -\infty <x<0,-\infty <y<\infty ,0<t<\infty ,0<\beta \le 2.\hfill \end{array}$$

(47)

We assume the zero initial conditions:

$$\begin{array}{cc}\hfill t=0:& T_1(x,y,t)=0,0<x<\infty ,-\infty <y<\infty ,0<\alpha \le 2,\hfill \end{array}$$

(48)

$$\begin{array}{cc}\hfill t=0:& {\displaystyle \frac{\partial T_1(x,y,t)}{\partial t}}=0,0<x<\infty ,-\infty <y<\infty ,1<\alpha \le 2,\hfill \end{array}$$

(49)

$$\begin{array}{cc}\hfill t=0:& T_2(x,y,t)=0,-\infty <x<0,-\infty <y<\infty ,0<\beta \le 2,\hfill \end{array}$$

(50)

$$\begin{array}{cc}\hfill t=0:& {\displaystyle \frac{\partial T_2(x,y,t)}{\partial t}}=0,-\infty <x<0,-\infty <y<\infty ,1<\beta \le 2,\hfill \end{array}$$

(51)

and the conditions of perfect thermal contact at the joint boundary:

$$\begin{array}{cc}\hfill x=0:& T_1(x,y,t)=T_2(x,y,t),-\infty <y<\infty ,0<t<\infty ,0<\alpha \le 2,0<\beta \le 2,\hfill \\ \hfill x=0:& k_1{D}_{RL}^{1-\alpha }{\displaystyle \frac{\partial T_1(x,y,t)}{\partial x}}=k_2{D}_{RL}^{1-\beta }{\displaystyle \frac{\partial T_2(x,y,t)}{\partial x}},\hfill \end{array}$$

(52)

$$\begin{array}{c}-\infty <y<\infty ,0<t<\infty ,0<\alpha \le 2,0<\beta \le 2.\hfill \end{array}$$

(53)

Using the integral transform technique, we finally obtain:

$$\begin{array}{c}{T}_1\left(x,y,t\right)={\displaystyle \frac{g_0}{2\pi a_1}}{\mathcal{L}}^{-1}\langle {\int }_{-\infty }^{\infty }{\displaystyle \frac{1}{\sqrt{{\eta }^2+s^{\alpha }/a_1}}}\{{\displaystyle \frac{1}{2}}exp\left[-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\alpha }}{a_1}}}\left(x+l\right)\right]\hfill \\ +{\displaystyle \frac{1}{2}}exp\left[-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\alpha }}{a_1}}}|x-l|\right]\hfill \\ -{\displaystyle \frac{k_2\sqrt{{\eta }^2+s^{\beta }/a_2}}{s^{\beta -\alpha }{k}_1\sqrt{{\eta }^2+s^{\alpha }/a_1}+k_2\sqrt{{\eta }^2+s^{\beta }/a_2}}}exp\left[-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\alpha }}{a_1}}}(x+l)\right]\}cos\left(y\eta \right)\mathrm{d}\eta \rangle ,x>0,\hfill \end{array}$$

(54)

$$\begin{array}{cc}{T}_2\left(x,y,t\right)\hfill & ={\displaystyle \frac{g_0{k}_1}{2\pi a_1}}{\mathcal{L}}^{-1}\{{\int }_{-\infty }^{\infty }{\displaystyle \frac{s^{\beta -\alpha }}{s^{\beta -\alpha }{k}_1\sqrt{{\eta }^2+s^{\alpha }/a_1}+k_2\sqrt{{\eta }^2+s^{\beta }/a_2}}}\hfill \\ & \times exp\left(-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\beta }}{a_2}}}\left|x\right|-\sqrt{{\eta }^2+{\displaystyle \frac{s^{\alpha }}{a_1}}}l\right)cos\left(y\eta \right)\mathrm{d}\eta \},x<0.\hfill \end{array}$$

(55)

The numerical results according to Equations (54) and (55) with $\alpha =\beta =0.5$, $\kappa =1$ are presented in Figure 7, Figure 8, Figure 9, Figure 10, Figure 11 and Figure 12. The nondimensional temperature is introduced as:

$$\overline{T}={\displaystyle \frac{a_1{t}_0}{g_0}},$$

(56)

while other nondimensional quantities are the same as in Equation (45).

4. Conclusions

We studied the heat conduction equations with the Caputo fractional derivatives in two joint half-planes under conditions of perfect thermal contact (the equality of temperatures and heat fluxes at the contact surface). It should be emphasized that due to the constitutive Equation (8), the proper boundary conditions should be stated in terms of the heat fluxes, not in terms of the normal derivatives of temperature alone. Introducing the auxiliary function $\varphi (x,t)$ allows us to use the cos-Fourier transforms in two contact regions. The fundamental solutions permit obtaining various solutions to the Cauchy and source problems in the convolution form.