Using Double Integral Transform (Laplace-ARA Transform) in Solving Partial Differential Equations

Abstract

The main goal of this research is to present a new approach to double transforms called the double Laplace–ARA transform (DL-ARAT). This new double transform is a novel combination of Laplace and ARA transforms. We present the basic properties of the new approach including existence, linearity and some results related to partial derivatives and the double convolution theorem. To obtain exact solutions, the new double transform is applied to several partial differential equations such as the Klein–Gordon equation, heat equation, wave equation and telegraph equation; each of these equations has great utility in physical applications. In symmetry to other symmetric transforms, we conclude that our new approach is simpler and needs less calculations.

1. Introduction

For solving partial differential equations (PDE)s, integral transforms are considered the most effective technique. Their significance stems from the fact that PDEs can be used to mathematically explain a variety of occurrences in mathematical physics and some other scientific fields [1,2,3,4,5,6,7,8,9,10,11,12,13]. These equations can also be transformed in order to find the exact solutions to PDEs using integral transforms. Because of the strength and simplicity of the transform techniques, scientists and researchers have worked very hard at studying and improving them.

Many integral transforms have been established and implemented to solve partial and integral differential equations; these transforms allow us to obtain the exact solutions of the target equations without needing linearization or discretization; they are applied to transform partial differential equations into ordinary ones, in the case of using single transformation, or into algebraic ones if we use double integral transformation. As examples, we mention Laplace transform [14], Fourier transform [15], Novel transform [16], M-transform [17], Sumudu transform [18], Natural transform [19], Elzaki transform [20], Kamal transform [21], the Aboodh transform [22], ARA transform [23] and ZZ transform [24].

The double transforms have also been widely applied to solving PDEs with unknown functions of two variables, and as a result, double transforms are considered very effective in handling PDEs compared to other numerical approaches [25,26,27,28]. In addition, extensions of the double transform have been developed in the relevant literature, such as the double Laplace transform, double Shehu transform [29], double Kamal transform [30], double Sumudu transform [31,32,33,34,35,36], double Elzaki transform [37], double Laplace–Sumudu transform [38] and ARA–Sumudu transform [39,40]. All these double transforms cited above can be considered special cases of the general double transform by Meddahi et al. [41], but sometimes we need to study special kinds of double transforms and compare them to consider the properties of each one, and decide on the best ones to use in handling new applications.

Recently, Saadeh and others introduced a novel integral transform known as the ARA transform. ARA is a name of the presented transform and it is not an abbreviation, it has novel properties; that is, it can generate many transforms by changing the value of the index $n$, also as introduced in [23], it has a duality to the Laplace transform and has an advantage that allows it to overcome the singularity at $t=0$. For all of these merits, we decided to construct a new combination between the Laplace and ARA transforms, so that we could reap the benefits of these two powerful transforms. We called this new approach the double Laplace–ARA transform.

The main goal of this paper is to introduce a new double transform, namely DL-ARAT. Fundamental properties and theorems of DL-ARAT are presented and proven, and we also compute the values of DL-ARAT for some functions. New relations related to partial derivatives and the double convolution theorem are established and implemented to solve PDEs. The novelty of this work appears in the new combinations between Laplace and ARA transforms, in which the new DL-ARATs have the advantages of the two transforms, the simplicity of Laplace and the applicability of ARA, in handling some singular points that appeared in the equations.

In this research, we studied the nonhomogeneous linear PDE of the following form

$$A{u}_{xx}\left(x, t\right)+B{u}_{xt}\left(x, t\right)+C{u}_{tt}\left(x, t\right)+D{u}_x\left(x, t\right)+E{u}_t\left(x, t\right)+Fu\left(x, t\right)=w\left(x,t\right),$$

with the initial conditions

$$u\left(x, 0\right)=f_1\left(x\right), u_t\left(x, 0\right)=f_2\left(x\right),$$

and the boundary conditions

$$u\left(0, t\right)=g_1\left(t\right), u_x\left(0, t\right)=g_2\left(t\right)),$$

and $u\left(0, 0\right)=\psi$, where $u\left(x, t\right)$ is an unknown function, $w\left(x,t\right)$ is the source term and $A,B,C,D,E,F$and$\psi$ are constants.

A simple formula for the solution of the above equation was established and employed to solve some applications in order to display the efficiency and strength of this new approach.

This article is organized as follows: In Section 2, fundamental concepts and properties of Laplace and ARA transformations are introduced. In Section 3, we introduce the new double transform DL-ARAT, that combines the Laplace and ARA transforms; we also present some properties of the new transform. In Section 4, we introduce the application of DL-ARAT to solve some types of PDEs. In Section 5, some examples are presented and solved using DL-ARAT. Finally, In Section 6, a conclusion is provided.

2. Basic Definitions and Theorems for Laplace and ARA Transforms

In this section, we introduce the basic properties of Laplace and ARA transforms.

2.1. Laplace Transform [14]

Definition 1. 

Let $f\left(x\right)$ be a function of $x$ specified for $x>0$. Then, Laplace transform of $f\left(x\right)$, denoted by $ℒ\left[f\left(x\right)\right]$, is defined by

$$ℒ\left[f\left(x\right)\right]=F\left(v\right)={{\displaystyle \int }}_0^{\infty }{e}^{-vx}f\left(x\right)dx, v>0.$$

(1)

The inverse Laplace transform is provided by

$${ℒ}^{-1}\left[F\left(v\right)\right]=\frac{1}{2\pi i}{{\displaystyle \int }}_{c-i\infty }^{c+i\infty }{e}^{vx}F\left(v\right)dv=f\left(x\right) , x>0 .$$

(2)

Theorem 1. 

(Existence conditions). If $f\left(x\right)$ is a piecewise continuous function on the interval $\left[0,\infty \right)$ and of exponential order $\alpha$, then $ℒ\left[f\left(x\right)\right]$ exists for $Re\left(v\right)>\alpha$ and satisfies

$$\left|f\left(x\right)\right|\le M{e}^{\alpha x},$$

where $Re\left(v\right)>\alpha .$ is positive constant. Then, Laplace transform integral converges absolutely for $Re\left(v\right)>\alpha .$

Proof of Theorem 1. 

Using the definition of Laplace transform, we find

$$\begin{gathered} \left|F\left(v\right)\right|=\left|{{\displaystyle \int }}_0^{\infty }{e}^{-vx}\left[f\left(x\right)\right]dx\right|\le {{\displaystyle \int }}_0^{\infty }{e}^{-vx}\left|f\left(x\right)\right|dx\le M{{\displaystyle \int }}_0^{\infty }{e}^{-\left(v-\alpha \right)x}dx \\ =\frac{M}{v-\alpha }, Re\left(v\right)>\alpha . \end{gathered}$$

Thus, Laplace transform integral converges absolutely for $Re\left(v\right)>\alpha$.

In the following arguments, we present some properties of the Laplace transform.

Assume that $G\left(v\right)=ℒ\left[g\left(x\right)\right]$, $G\left(v\right)=ℒ\left[g\left(x\right)\right]$ and $a,b\in ℛ$. Then

$$ℒ\left[a f\left(x\right)+b g\left(x\right)\right]=a ℒ\left[f\left(x\right)\right]+b ℒ\left[g\left(x\right)\right].$$

(3)

$${ℒ}^{-1}\left[a F\left(v\right)+b G\left(v\right)\right]=a {ℒ}^{-1}\left[F\left(v\right)\right]+b {ℒ}^{-1}\left[G\left(v\right)\right].$$

(4)

$$ℒ\left[x^{\alpha }\right]=\frac{\mathsf{\Gamma }\left(\mathsf{\alpha }+1\right)}{v^{n+1}}, \alpha \ge 0.$$

(5)

$$ℒ\left[e^{ax}\right]=\frac{1}{v-a} ,a\in ℛ$$

(6)

$$ℒ\left[f^{\prime }\left(x\right)\right]=vF\left(v\right)-f\left(0\right).$$

(7)

$$ℒ\left[f^{\left(n\right)}\left(x\right)\right]=v^{n}F\left(v\right)-{\displaystyle \sum }_{k=1}^n{v}^{n-k}{f}^{\left(k-1\right)}\left(0\right).$$

(8)

□

2.2. ARA Transform [23]

Definition 2. 

The ARA integral transform of order $n$ of a continuous function $f\left(t\right)$ on the interval $\left(0, \infty \right)$ is defined as

$${\mathcal{G}}_n\left[f\left(t\right)\right]\left(\mathrm{s}\right)=Q\left(n,s\right)=s{{\displaystyle \int }}_0^{\infty }{t}^{n-1}{e}^{-\mathrm{st}}f\left(t\right)dt, s>0.$$

(9)

Theorem 2. 

(Existence conditions). If the function $f\left(t\right)$ is piecewise continuous in every finite interval $0\le t\le \alpha$ and satisfies

$$\left|t^{n-1}f\left(t\right)\right|\le M{e}^{\alpha t}$$

(10)

where $M$ is positive constant, then the ARA transform exists for all $s>\alpha$.

Proof of Theorem 2. 

Using the definition of ARA transform, we obtain

$$\left|Q\left(n,s\right)\right|=\left|s{{\displaystyle \int }}_0^{\infty }{t}^{n-1}{e}^{-\mathrm{st}}f\left(t\right)dt\right|.$$

Using the property of improper integral, we find

$$\begin{array}{c}\left|Q\left(n,s\right)\right|=\left|s{{\displaystyle \int }}_0^{\mathsf{\beta }}{t}^{n-1}{e}^{-\mathrm{st}}f\left(t\right)dt+s{{\displaystyle \int }}_{\mathsf{\beta }}^{\infty }{t}^{n-1}{e}^{-\mathrm{st}}f\left(t\right)dt\right|\le s\left|{{\displaystyle \int }}_{\mathsf{\beta }}^{\infty }{t}^{n-1}{e}^{-\mathrm{st}}f\left(t\right)dt\right|\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em} \le s{{\displaystyle \int }}_{\mathsf{\beta }}^{\infty }{e}^{-\mathrm{st}}\left|t^{n-1}f\left(t\right)\right|dt\le s{{\displaystyle \int }}_{\mathsf{\beta }}^{\infty }{e}^{-\mathrm{st}}M{e}^{\alpha t}dt\hfill \\ \hspace{1em}\hspace{1em} \hspace{1em}=sM{{\displaystyle \int }}_{\beta }^{\infty }{e}^{-\left(s-\alpha \right)t}dt=\frac{sM}{s-\alpha }{e}^{-\beta \left(s-\alpha \right)}.\hfill \end{array}$$

This improper integral converges for all $s>\alpha$. Thus, ${\mathcal{G}}_{n+1}\left[f\left(t\right)\right]$ exists.

In the following, we state some basic properties of the ARA transform

Assume that $F\left(n,s\right)={\mathcal{G}}_n\left[f\left(t\right)\right]$ and $G\left(n,s\right)={\mathcal{G}}_n\left[g\left(t\right)\right]$ and $a,b\in ℛ$. Then

$${\mathcal{G}}_n\left[a f\left(t\right)+b g\left(t\right)\right]=a {\mathcal{G}}_n\left[f\left(t\right)\right]+b {\mathcal{G}}_n\left[g\left(t\right)\right].$$

(11)

$${\mathcal{G}}_n{}^{-1}\left[a F\left(n,s\right)+b G\left(n,s\right)\right]=a {\mathcal{G}}_n{}^{-1}\left[F\left(n,s\right)\right]+b {\mathcal{G}}_n{}^{-1}\left[G\left(n,s\right)\right].$$

(12)

$${\mathcal{G}}_n\left[t^{\alpha }\right]=\frac{\Gamma \left(\alpha +n\right)}{s^{\alpha +n-1}}, \alpha >0.$$

(13)

$${\mathcal{G}}_n\left[e^{at}\right]=\frac{s\Gamma \left(n\right)}{{\left(s-a\right)}^n}, a\in ℛ$$

(14)

$${\mathcal{G}}_n\left[f^{\left(n\right)}\left(t\right)\right]={\left(-1\right)}^{n-1}s\frac{d^{n-1}}{d{s}^{n-1}}\left(s^{n-1}{\mathcal{G}}_1\left[f\left(t\right)\right]-{{\displaystyle \sum }}_{k=1}^n{s}^{n-k}{f}^{\left(k-1\right)}\left(0\right)\right).$$

(15)

where ${\mathcal{G}}_1\left[f\left(t\right)\right]$ is the ARA transform of order one of a piecewise continuous function $f\left(t\right)$ on $\left[0, \infty \right)$ and it is defined as

$${\mathcal{G}}_1\left[f\left(t\right)\right]\left(\mathrm{s}\right)=F\left(s\right)=s{{\displaystyle \int }}_0^{\infty }{e}^{-\mathrm{s}t}f\left(t\right)dt,s>0.$$

(16)

For simplicity, let us denote ${\mathcal{G}}_1\left[f\left(t\right)\right]$ using $\mathcal{G}\left[f\left(t\right)\right]$.

The above results can be obtained from the definition of Laplace and ARA transforms with simple calculations.□

3. Double Laplace–ARA Transform of Order One (DL-ARAT)

This section introduces a new integral transform, which is a novel combination between the famous Laplace transform and ARA transform denoted by DL-ARAT. We provide the fundamental properties and characteristics including the existence conditions, linearity and the inverse of the proposed new double transform. Moreover, some important properties and results are provided and used to compute the DL-ARAT for some elementary functions. The double convolution theorem and the derivatives properties of the new transform are also presented and illustrated.

Definition 3. 

Let $u\left(x,t\right)$ be continuous function of two positive variables $x$and$t$. Then the DL-ARAT of $u\left(x,t\right)$ is defined as

$${ℒ}_x{\mathcal{G}}_t\left[u\left(x,t\right)\right]=Q\left(v,s\right)=s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(vx+st\right)}u\left(x,t\right)dxdt, v,s>0$$

(17)

provided the integral exists.

Clearly, the DL-ARAT is a linear integral transformation as shown below,

$$\begin{gathered} {ℒ}_x{\mathcal{G}}_t\left[A u\left(x,t\right)+B w\left(x,t\right)\right]=s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(vx+st\right)}\left[A u\left(x,t\right)+B w\left(x,t\right)\right]dxdt \\ =sA{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(vx+st\right)}\left[u\left(x,t\right)\right]dxdt+sB{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(vx+st\right)}\left[w\left(x,t\right)\right]dxdt \\ =A {ℒ}_x{\mathcal{G}}_t\left[ u\left(x,t\right)\right]+B {ℒ}_x{\mathcal{G}}_t\left[ w\left(x,t\right)\right]. \end{gathered}$$

where $A$ and $B$ are constants and ${ℒ}_x{\mathcal{G}}_t\left[u\left(x,t\right)\right],{ℒ}_x{\mathcal{G}}_t\left[ w\left(x,t\right)\right]$ exists.

Additionally, the inverse of the DL-ARAT is found using

$${ℒ}_x^{-1}\left[{\mathcal{G}}_t^{-1}\left[Q\left(v,s\right)\right]\right]=\left(\frac{1}{2\pi i}\right){{\displaystyle \int }}_{c-i\infty }^{c+i\infty }{e}^{vx}dv\left(\frac{1}{2\pi i}\right){{\displaystyle \int }}_{r-i\infty }^{r+i\infty }\frac{e^{st}}{s}Q\left(v,s\right)ds=u\left(x,t\right).$$

(18)

Property 1. 

Let $u\left(x,t\right)=f\left(x\right)g\left(t\right),x>0,t>0$. Then

$${ℒ}_x{\mathcal{G}}_t\left[u\left(x,t\right)\right]={ℒ}_x\left[f\left(x\right)\right]{\mathcal{G}}_t\left[g\left(t\right)\right].$$

Proof of Property 1. 

$$\begin{array}{c}{ℒ}_x{\mathcal{G}}_t\left[u\left(x,t\right)\right]={ℒ}_x{\mathcal{G}}_t\left[f\left(x\right)g\left(t\right)\right]=s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(vx+st\right)}\left[f\left(x\right)g\left(t\right)\right]dxdt \hfill \\ \hspace{1em}\hspace{1em} \hspace{1em}\hspace{1em}={{\displaystyle \int }}_0^{\infty }f\left(x\right)e^{-vx}dx·s{{\displaystyle \int }}_0^{\infty }g\left(t\right)e^{-st}dt \hfill \\ \hspace{1em}\hspace{1em} \hspace{1em}\hspace{1em}={ℒ}_x\left[f\left(x\right)\right]{\mathcal{G}}_t\left[g\left(t\right)\right].\hfill \end{array}$$

□

3.1. DL-ARAT of Some Basic Functions

i.

Let $u\left(x,t\right)=1,x>0,t>0$. Then,

$${ℒ}_x{\mathcal{G}}_t\left[1\right]=s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(vx+st\right)}dxdt={{\displaystyle \int }}_0^{\infty }{e}^{-vx}dx·s{{\displaystyle \int }}_0^{\infty }{e}^{-st}dt={ℒ}_x\left[1\right]{\mathcal{G}}_t\left[1\right]=\frac{1}{v}, Re\left(s\right)>0.$$

ii.

Let $u\left(x,t\right)=x^{\alpha }{t}^{\beta },x>0,t>0$and$\alpha ,\beta$ are constants. Then,

$${ℒ}_x{\mathcal{G}}_t\left[x^{\alpha }{t}^{\beta }\right]=s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(vx+st\right)}\left[x^{\alpha }{t}^{\beta }\right]dxdt={{\displaystyle \int }}_0^{\infty }{e}^{-vx}\left[x^{\alpha }\right]dx·s{{\displaystyle \int }}_0^{\infty }{e}^{-st}\left[t^{\beta }\right]dt={ℒ}_x\left[x^{\alpha }\right]{\mathcal{G}}_t\left[t^{\beta }\right]$$

From Equations (5) and (13), we find

$${ℒ}_x{\mathcal{G}}_t\left[x^{\alpha }{t}^{\beta }\right]={ℒ}_x\left[x^{\alpha }\right]{\mathcal{G}}_t\left[t^{\beta }\right]=\frac{\mathsf{\Gamma }\left(\alpha +1\right)\mathsf{\Gamma }\left(\beta +1\right)}{v^{\alpha +1}\left(s^{\beta }\right)},Re\left(\alpha \right)>-1,Re\left(\beta \right)>-1$$

iii.

Let $u\left(x,t\right)=e^{\alpha x+\beta t},x>0,t>0$and$\alpha ,\beta$ are constants. Then,

$${ℒ}_x{\mathcal{G}}_t\left[e^{\alpha x+\beta t}\right]=s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(vx+st\right)}\left[e^{\alpha x+\beta t}\right]dxdt={{\displaystyle \int }}_0^{\infty }{e}^{-vx}\left[e^{\alpha x}\right]dx·s{{\displaystyle \int }}_0^{\infty }{e}^{-st}\left[e^{\beta t}\right]dt={ℒ}_x\left[e^{\alpha x}\right]{\mathcal{G}}_t\left[e^{\beta t}\right].$$

From Equations (6) and (14), we find

$${ℒ}_x{\mathcal{G}}_t\left[e^{\alpha x+\beta t}\right]=\frac{s}{\left(v-\alpha \right)\left(s-\beta \right) }.$$

Similarly,

$${ℒ}_x{\mathcal{G}}_t\left[e^{i\left(\alpha x+\beta t\right)}\right]=\frac{s}{\left(v-i\alpha \right)\left(s-i\beta \right)}.$$

Using the property of complex analysis, we have

$${ℒ}_x{\mathcal{G}}_t\left[e^{i\left(\alpha x+\beta t\right)}\right]=\frac{s(sv-\alpha \beta )+is(v\beta +s\alpha )}{(v^2+{\alpha }^2)(s^2+{\beta }^2)}.$$

Using Euler’s formulas $\sin x=\frac{e^{ix}-e^{-ix}}{2i}, \cos x=\frac{e^{ix}+e^{-ix}}{2}.$

And the formulas $\sinh x=\frac{e^x-e^{-x}}{2} , \cosh x=\frac{e^x+e^{-x}}{2}.$

Now, we find the DL-ARAT of the following functions

$${ℒ}_x{\mathcal{G}}_t\left[\sin \left(\alpha x+\beta t\right)\right]=\frac{s\left(v\beta +s\alpha \right)}{\left(v^2+{\alpha }^2\right)\left(s^2+{\beta }^2\right)},$$

$${ℒ}_x{\mathcal{G}}_t\left[\cos \left(\alpha x+\beta t\right)\right]=\frac{s\left(sv-\alpha \beta \right)}{\left(v^2+{\alpha }^2\right)\left(s^2+{\beta }^2\right)},$$

$${ℒ}_x{\mathcal{G}}_t\left[\sinh \left(\alpha x+\beta t\right)\right]=\frac{s\left(v\beta +s\alpha \right)}{\left(v^2-{\alpha }^2\right)\left(s^2-{\beta }^2\right)},$$

$${ℒ}_x{\mathcal{G}}_t\left[\cosh \left(\alpha x+\beta t\right)\right]=\frac{s\left(sv+\alpha \beta \right)}{\left(v^2-{\alpha }^2\right)\left(s^2-{\beta }^2\right)},$$

iv.

Let $u\left(x,t\right)=J_0\left(\gimel \sqrt{xt}\right)$, then

${ℒ}_x{\mathcal{G}}_t\left[J_0\left(\gimel \sqrt{xt}\right)\right]=s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(vx+st\right)}\left[J_0\left(\gimel \sqrt{xt}\right)\right]dxdt$

$={{\displaystyle \int }}_0^{\infty }{e}^{-vx}\left[J_0\left(\gimel \sqrt{xt}\right)\right]dx·s{{\displaystyle \int }}_0^{\infty }{e}^{-st}dt=s{{\displaystyle \int }}_0^{\infty }{e}^{-\frac{{\gimel }^2}{4s}t}{e}^{-st}dt.$

From Equation (14), we get ${ℒ}_x{\mathcal{G}}_t\left[J_0\left(\gimel \sqrt{xt}\right)\right]=\frac{4s}{4vs+{\gimel }^2 }$.

3.2. Existence Conditions for DL-ARAT

Let $u\left(x,t\right)$ be function of exponential order $\alpha$ and $\beta$ as $x\to \infty$ and $t\to \infty$. If there exists a positive $N$ such that $\forall x>X$ and $t>T$, we have

$$\left|u\left(x,t\right)\right|\le N{e}^{\alpha x+\beta t}.$$

We can write $u\left(x,t\right)=O\left(e^{\alpha x+\beta t}\right)$ as $x\to \infty$ and $t\to \infty$, $v>\alpha$ and $s>\beta$.

Theorem 3. 

Let $u\left(x,t\right)$ be a continuous function on the region $\left[0,X\right)\times \left[0,T\right)$ of exponential orders $\alpha$ and $\beta$.Then ${ℒ}_x{\mathcal{G}}_t\left[u\left(x,t\right)\right]$ exists for $v$ and $s$ provided $Re\left(v\right)>\alpha$ and $Re\left(s\right)>\beta$.

Proof of Theorem 3. 

Using the definition of DL-ARAT, we get

$$\begin{gathered} \left|Q\left(v,s\right)\right|=\left|s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(vx+st\right)}\left[u\left(x,t\right)\right]dxdt\right|\le s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(vx+st\right)}\left|u\left(x,t\right)\right|dxdt \\ \le N{{\displaystyle \int }}_0^{\infty }{e}^{-\left(v-\alpha \right)x}dx·s{{\displaystyle \int }}_0^{\infty }{e}^{-\left(s-\beta \right)t}dt \\ =\frac{Ns}{\left(v-\alpha \right)\left(s-\beta \right)}, Re\left(v\right)>\alpha \mathrm{and} Re\left(s\right)>\beta . \end{gathered}$$

Thus, ${ℒ}_x{\mathcal{G}}_t\left[u\left(x,t\right)\right]$ exists for $v$ and $s$ provided $Re\left(v\right)>\alpha$ and $Re\left(s\right)>\beta$.□

3.3. Some Theorems of DL-ARAT

Theorem 4. 

(Shifting Property). Let $u\left(x,t\right)$ be a continuous function and ${ℒ}_x{\mathcal{G}}_t\left[u\left(x,t\right)\right]=Q\left(v,s\right)$. Then

$${ℒ}_x{\mathcal{G}}_t\left[e^{\alpha x+\beta t}u\left(x,t\right)\right]=\frac{s}{\left(s-\beta \right)}Q\left(v-\alpha ,s-\beta \right).$$

(19)

Proof of Theorem 4. 

$$\begin{array}{c}{ℒ}_x{\mathcal{G}}_t\left[e^{\alpha x+\beta t}u\left(x,t\right)\right]=s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(v-\alpha \right)x-\left(s-\beta \right)t}\left[u\left(x,t\right)\right]dxdt\hfill \\ =\frac{s}{\left(s-\beta \right)}\left(s-\beta \right){{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(v-\alpha \right)x}{e}^{-\left(s-\beta \right)t}\left[u\left(x,t\right)\right]dxdt\hfill \\ =\frac{s}{\left(s-\beta \right)}Q\left(v-\alpha ,s-\beta \right).\hfill \end{array}$$

□

Theorem 5. 

(Periodic Function). Let ${ℒ}_x{\mathcal{G}}_t\left[u\left(x,t\right)\right]$ exists, where $u\left(x,t\right)$ periodic function of periods $\alpha$ and $\beta$ such that

$$u\left(x+\alpha ,t+\beta \right)=u\left(x,t\right), \forall x,y.$$

Then

$${ℒ}_x{\mathcal{G}}_t\left[u\left(x,t\right)\right]=\frac{1}{\left(1-e^{-\left(v\alpha +s\beta \right)}\right)}\left(s{{\displaystyle \int }}_0^{\mathsf{\alpha }}{{\displaystyle \int }}_0^{\mathsf{\beta }}{e}^{-\left(vx+st\right)}\left(u\left(x,t\right)\right)dxdt\right)$$

(20)

Proof of Theorem 5. 

Using the definition of DL-ARAT, we find

$${ℒ}_x{\mathcal{G}}_t\left[u\left(x,t\right)\right]=s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(vx+st\right)}\left[u\left(x,t\right)\right]dxdt.$$

(21)

Using the property of improper integral, Equation (21) can be written as

$${ℒ}_x{\mathcal{G}}_t\left[u\left(x,t\right)\right]=s{{\displaystyle \int }}_0^{\mathsf{\alpha }}{{\displaystyle \int }}_0^{\mathsf{\beta }}{e}^{-\left(vx+st\right)}\left(u\left(x,t\right)\right)dxdt+s{{\displaystyle \int }}_{\alpha }^{\infty }{{\displaystyle \int }}_{\mathsf{\beta }}^{\infty }{e}^{-\left(vx+st\right)}\left(u\left(x,t\right)\right)dxdt$$

(22)

Putting $x=\alpha +\rho$ and $t=\beta +\tau$ on second integral in Equation (22), we obtain

$$Q\left(v,s\right)=s{{\displaystyle \int }}_0^{\mathsf{\alpha }}{{\displaystyle \int }}_0^{\mathsf{\beta }}{e}^{-\left(vx+st\right)}\left(u\left(x,t\right)\right)dxdt+s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(v\left(\alpha +\rho \right)+s\left(\beta +\tau \right)\right)}\left(u\left(\alpha +\rho ,\beta +\tau \right)\right)d\rho d\tau .$$

(23)

Using the periodicity of the function $u\left(x,t\right)$, Equation (23) can be written as

$$Q\left(v,s\right)=s{{\displaystyle \int }}_0^{\mathsf{\alpha }}{{\displaystyle \int }}_0^{\mathsf{\beta }}{e}^{-\left(vx+st\right)}\left(u\left(x,t\right)\right)dxdt+e^{-\left(v\alpha +s\beta \right)}s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(v\rho +s\tau \right)}\left(u\left(\rho ,\tau \right)\right)d\rho d\tau .$$

(24)

Using the definition of DL-ARAT, we obtain

$$Q\left(v,s\right)=s{{\displaystyle \int }}_0^{\mathsf{\alpha }}{{\displaystyle \int }}_0^{\mathsf{\beta }}{e}^{-\left(vx+st\right)}\left(u\left(x,t\right)\right)dxdt+e^{-\left(v\alpha +s\beta \right)}Q\left(v,s\right).$$

(25)

Thus, Equation (25) can be simplified into

$$Q\left(v,s\right)=\frac{1}{\left(1-e^{-\left(v\alpha +s\beta \right)}\right)}\left(s{{\displaystyle \int }}_0^{\mathsf{\alpha }}{{\displaystyle \int }}_0^{\mathsf{\beta }}{e}^{-\left(vx+st\right)}\left(u\left(x,t\right)\right)dxdt\right).$$

□

Theorem 6. 

(Heaviside Function). Let ${ℒ}_x{\mathcal{G}}_t\left[u\left(x,t\right)\right]$ exists and ${ℒ}_x{\mathcal{G}}_t\left[u\left(x,t\right)\right]=Q\left(v,s\right)$, then

$${ℒ}_x{\mathcal{G}}_t\left[u\left(x-\delta ,t-\epsilon \right)H\left(x-\delta ,t-\epsilon \right)\right]=e^{-v\mathsf{\delta }-s\epsilon }Q\left(v,s\right).$$

(26)

where $H\left(x-\delta ,t-\epsilon \right)$ is the Heaviside unit step function defined as

$$H\left(x-\delta ,t-\epsilon \right)=\{\begin{array}{c}1,x>\delta ,t>\epsilon \\ 0, Ohtherwise\end{array}$$

Proof of Theorem 6. 

Using the definition of DL-ARAT, we find

$$\begin{gathered} {ℒ}_x{\mathcal{G}}_t\left[u\left(x-\delta ,t-\epsilon \right)H\left(x-\delta ,t-\epsilon \right)\right]=s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(vx+st\right)}\left(u\left(x-\delta ,t-\epsilon \right)H\left(x-\delta ,t-\epsilon \right)\right)dxdt \\ =s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(vx+st\right)}\left(u\left(x-\delta ,t-\epsilon \right)\right)dxdt. \end{gathered}$$

(27)

Putting $x-\delta =\rho$ and $t-\epsilon =\tau$ in Equation (27). We obtain

$${ℒ}_x{\mathcal{G}}_t\left[u\left(x-\delta ,t-\epsilon \right)H\left(x-\delta ,t-\epsilon \right)\right]=s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-v\left(\delta +\rho \right)-s\left(\epsilon +\tau \right)}\left(u\left(\rho ,\tau \right)\right)d\rho d\tau .$$

(28)

Thus, Equation (28) can be simplified into

$${ℒ}_x{\mathcal{G}}_t\left[u\left(x-\delta ,t-\epsilon \right)H\left(x-\delta ,t-\epsilon \right)\right]=e^{-v\mathsf{\delta }-s\epsilon }\left(s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-v\mathsf{\rho }-s\tau }\left(u\left(\rho ,\tau \right)\right)d\rho d\tau \right)=e^{-v\mathsf{\delta }-s\epsilon }Q\left(v,s\right).$$

(29)

□

Theorem 7. 

(Convolution Theorem). Let ${ℒ}_x{\mathcal{G}}_t\left[u\left(x,t\right)\right]$ and ${ℒ}_x{\mathcal{G}}_t\left[w\left(x,t\right)\right]$ exists and ${ℒ}_x{\mathcal{G}}_t\left[u\left(x,t\right)\right]=Q\left(v,s\right)$, ${ℒ}_x{\mathcal{G}}_t\left[w\left(x,t\right)\right]=W\left(v,s\right)$, then

$${ℒ}_x{\mathcal{G}}_t\left[u\left(x,t\right)\ast \ast w\left(x,t\right)\right]=\frac{1}{s}Q\left(v,s\right)W\left(v,s\right).$$

(30)

where $u\left(x,t\right)\ast \ast w\left(x,t\right)={{\displaystyle \int }}_0^x{{\displaystyle \int }}_0^{t}u\left(x-\rho ,t-\tau \right)w\left(\rho ,\tau \right)d\rho d\tau$ and the symbol $\ast \ast$ is denotes the double convolution with respect to $x$ and $t$.

Proof of Theorem 7. 

Using the definition of DL-ARAT, we obtain

$$\begin{gathered} {ℒ}_x{\mathcal{G}}_t\left[u\left(x,t\right)\ast \ast w\left(x,t\right)\right]=s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(vx+st\right)}\left[u\left(x,t\right)\ast \ast w\left(x,t\right)\right]dxdt \\ =s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(vx+st\right)}\left({{\displaystyle \int }}_0^x{{\displaystyle \int }}_0^{t}u\left(x-\rho ,t-\tau \right)w\left(\rho ,\tau \right)d\rho d\tau \right)dxdt. \end{gathered}$$

(31)

Using the Heaviside unit step function, Equation (31) can be written as

$${ℒ}_x{\mathcal{G}}_t\left[u\ast \ast w\left(x,t\right)\right]=s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(vx+st\right)}\left({{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }u\left(x-\rho ,t-\tau \right)H\left(x-\rho ,t-\tau \right)w\left(\rho ,\tau \right)d\rho d\tau \right)dxdt.$$

(32)

Thus, Equation (32) can be written as

$$\begin{array}{c}{ℒ}_x{\mathcal{G}}_t\left[u\ast \ast w\left(x,t\right)\right]={{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }w\left(\rho ,\tau \right)d\rho d\tau \left(s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-v\left(x+\rho \right)-s\left(t+\tau \right)}u\left(x-\rho ,t-\tau \right)H\left(x-\rho ,t-\tau \right)\right)dxdt\hfill \\ ={{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }w\left(\rho ,\tau \right)d\rho d\tau \left(e^{-v\rho -s\tau }Q\left(v,s\right)\right)\hfill \\ =Q\left(v,s\right){{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-v\rho -s\tau }w\left(\rho ,\tau \right)d\rho d\tau =\frac{1}{s}Q\left(v,s\right)W\left(v,s\right)\hfill \end{array}$$

□

Theorem 8. 

(Derivatives’ Properties). Let $u\left(x,t\right)$ be a continuous function and ${ℒ}_x{\mathcal{G}}_t\left[u\left(x,t\right)\right]=Q\left(v,s\right)$. Then, we get the following derivatives properties

(a)

$${ℒ}_x{\mathcal{G}}_t\left[\frac{\partial u\left(x,t\right)}{\partial t}\right]=\mathrm{s}Q\left(v,s\right)-\mathrm{s}ℒ\left[u\left(x,0\right)\right]$$

(b)

$$ℒ{ }_x{\mathcal{G}}_t\left[\frac{\partial u\left(x,t\right)}{\partial x}\right]=vQ\left(v,s\right)-\mathcal{G}\left[u\left(0,t\right)\right]$$

(c)

$${ℒ}_x{\mathcal{G}}_t\left[\frac{{\partial }^{2}u\left(x,t\right)}{\partial t^2}\right]=s^{2}Q\left(v,s\right)-s^2ℒ\left[u\left(x,0\right)\right]-sℒ\left[\frac{\partial u\left(x,0\right)}{\partial t}\right]$$

(d)

$${ℒ}_x{\mathcal{G}}_t\left[\frac{{\partial }^{2}u\left(x,t\right)}{\partial x^2}\right]=v^{2}Q\left(v,s\right)-v\mathcal{G}\left[u\left(0,t\right)\right]-\mathcal{G}\left[\frac{\partial u\left(0,t\right)}{\partial x}\right]$$

(e)

$${ℒ}_x{\mathcal{G}}_t\left[\frac{{\partial }^{2}u\left(x,t\right)}{\partial x\partial t}\right]=vsQ\left(v,s\right)-vsℒ\left[u\left(x,0\right)\right]-\mathrm{s}\mathcal{G}\left[u\left(0,t\right)\right]+su\left(0,0\right)$$

Proof of Theorem 8. 

(a)

$${ℒ}_x{\mathcal{G}}_t\left[\frac{\partial u\left(x,t\right)}{\partial t}\right]=s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(st+vx\right)}\left[\frac{\partial u\left(x,t\right)}{\partial t}\right]dxdt={{\displaystyle \int }}_0^{\infty }{e}^{-vx}dx·s{{\displaystyle \int }}_0^{\infty }{e}^{-st}\left(\frac{\partial u\left(x,t\right)}{\partial t}\right)dt.$$

Using the integration by part, we obtain

Let $u=e^{-st} \Rightarrow du=-s{e}^{-st}dt$,

$$dv=\frac{\partial u\left(x,t\right)}{\partial t}dt \Rightarrow v=u\left(x,t\right).$$

Thus,

$$s{{\displaystyle \int }}_0^{\infty }{e}^{-st}\left(\frac{\partial u\left(x,t\right)}{\partial t}\right)dt=s\left(-u\left(x,0\right)+s{{\displaystyle \int }}_0^{\infty }{e}^{-st}u\left(x,t\right)dt\right).$$

$$\therefore {ℒ}_x{\mathcal{G}}_t\left[\frac{\partial u\left(x,t\right)}{\partial t}\right]=\mathrm{s}Q\left(v,s\right)-\mathrm{s}ℒ\left[u\left(x,0\right)\right]$$

(33)

(b)

$${ℒ}_x{\mathcal{G}}_t\left[\frac{\partial u\left(x,t\right)}{\partial x}\right]=s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(st+vx\right)}\left[\frac{\partial u\left(x,t\right)}{\partial x}\right]dxdt=s{{\displaystyle \int }}_0^{\infty }{e}^{-st}dt·{{\displaystyle \int }}_0^{\infty }{e}^{-vx}\left(\frac{\partial u\left(x,t\right)}{\partial x}\right)dx.$$

Using the integration by part, we obtain

Let $u=e^{-vx} \Rightarrow du=-v{e}^{-vx}dx$,

$$dv=\frac{\partial u\left(x,t\right)}{\partial x}dx \Rightarrow v=u\left(x,t\right).$$

Thus,

$${{\displaystyle \int }}_0^{\infty }{e}^{-vx}\left(\frac{\partial u\left(x,t\right)}{\partial x}\right)dx=\left(-u\left(0,t\right)+v{{\displaystyle \int }}_0^{\infty }{e}^{-vx}u\left(x,t\right)dx\right).$$

$$\therefore {ℒ}_x{\mathcal{G}}_t\left[\frac{\partial u\left(x,t\right)}{\partial x}\right]=vQ\left(v,s\right)-\mathcal{G}\left[u\left(0,t\right)\right].$$

(34)

(c)

$${ℒ}_x{\mathcal{G}}_t\left[\frac{{\partial }^{2}u\left(x,t\right)}{\partial t^2}\right]=s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(st+vx\right)}\left[\frac{{\partial }^{2}u\left(x,t\right)}{\partial t^2}\right]dxdt={{\displaystyle \int }}_0^{\infty }{e}^{-vx}dx·s{{\displaystyle \int }}_0^{\infty }{e}^{-st}\left(\frac{{\partial }^{2}u\left(x,t\right)}{\partial t^2}\right)dt.$$

Using the integration by part, we obtain

Let $u=e^{-st} \Rightarrow du=-s{e}^{-st}dt$,

$$dv=\frac{{\partial }^{2}u\left(x,t\right)}{\partial t^2}dt \Rightarrow v=\frac{\partial u\left(x,t\right).}{\partial t}$$

Thus,

$$s{{\displaystyle \int }}_0^{\infty }{e}^{-st}\left(\frac{{\partial }^{2}u\left(x,t\right)}{\partial t^2}\right)dt=s\left(-\frac{\partial u\left(x,0\right)}{\partial t}+s{{\displaystyle \int }}_0^{\infty }{e}^{-st}\left(\frac{\partial u\left(x,t\right)}{\partial t}\right)dt\right).$$

Using Equation (33), we have

$${ℒ}_x{\mathcal{G}}_t\left[\frac{{\partial }^{2}u\left(x,t\right)}{\partial t^2}\right]=s^{2}Q\left(v,s\right)-s^2ℒ\left[u\left(x,0\right)\right]-sℒ\left[\frac{\partial u\left(x,0\right)}{\partial x}\right].$$

(35)

(d)

$${ℒ}_x{\mathcal{G}}_t\left[\frac{{\partial }^{2}u\left(x,t\right)}{\partial x^2}\right]=s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(st+vx\right)}\left[\frac{{\partial }^{2}u\left(x,t\right)}{\partial x^2}\right]dxdt=s{{\displaystyle \int }}_0^{\infty }{e}^{-st}dt·{{\displaystyle \int }}_0^{\infty }{e}^{-vx}\left(\frac{{\partial }^{2}u\left(x,t\right)}{\partial x^2}\right)dx.$$

Using the integration by part, we obtain

Let $u=e^{-vx} \Rightarrow du=-v{e}^{-vx}dx$,

$$dv=\frac{{\partial }^{2}u\left(x,t\right)}{\partial x^2}dx \Rightarrow v=\frac{\partial u\left(x,t\right)}{\partial x}.$$

Thus,

$${{\displaystyle \int }}_0^{\infty }{e}^{-vx}\left(\frac{{\partial }^{2}u\left(x,t\right)}{\partial x^2}\right)dx=\left(-\frac{\partial u\left(0,t\right)}{\partial x}+v{{\displaystyle \int }}_0^{\infty }{e}^{-vx}\left(\frac{\partial u\left(x,t\right)}{\partial x}\right)dx\right).$$

Using Equation (34), we have

$${ℒ}_x{\mathcal{G}}_t\left[\frac{{\partial }^{2}u\left(x,t\right)}{\partial x^2}\right]=v^{2}Q\left(v,s\right)-v\mathcal{G}\left[u\left(0,t\right)\right]-\mathcal{G}\left[\frac{\partial u\left(0,t\right)}{\partial x}\right].$$

(36)

(e)

$${ℒ}_x{\mathcal{G}}_t\left[\frac{{\partial }^{2}u\left(x,t\right)}{\partial x\partial t}\right]=s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(st+vx\right)}\left[\frac{{\partial }^{2}u\left(x,t\right)}{\partial x\partial t}\right]dxdt=s{{\displaystyle \int }}_0^{\infty }{e}^{-st}\left(\frac{{\partial }^{2}u\left(x,t\right)}{\partial x\partial t}\right)dt·{{\displaystyle \int }}_0^{\infty }{e}^{-vx}dx.$$

Using the integration by part, we obtain.

$$s{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(st+vx\right)}\left(\frac{{\partial }^{2}u\left(x,t\right)}{\partial x\partial t}\right)dxdt=\left(-{{\displaystyle \int }}_0^{\infty }{e}^{-st}\left(\frac{\partial u\left(0,t\right)}{\partial t}\right)dt+vs{{\displaystyle \int }}_0^{\infty }{{\displaystyle \int }}_0^{\infty }{e}^{-\left(st+vx\right)}\left(\frac{\partial u\left(x,t\right)}{\partial t}\right)dxdt\right)$$

And, using Equations (7) and (33), we have

$${ℒ}_x{\mathcal{G}}_t\left[\frac{{\partial }^{2}u\left(x,t\right)}{\partial x\partial t}\right]=vsQ\left(v,s\right)-\mathrm{s}\mathcal{G}\left[u\left(0,t\right)\right]-vsℒ\left[u\left(x,0\right)\right]+su\left(0,0\right).$$

□

The previous results of DL-ARAT to some basic functions, some theorems and basic derivatives are summed up in the in

Table 1. DL-ARAT to some basic functions.

$\mathit{u}\left(\mathit{x},\mathit{t}\right)$	${\mathit{ℒ}}_{\mathit{x}}{\mathcal{G}}_{\mathit{t}}\left[\mathit{u}\left(\mathit{x},\mathit{t}\right)\right]=\mathit{Q}\left(\mathit{v},\mathit{s}\right)$
$1$	$\frac{1}{v}$
$x^{\alpha }{t}^{\beta }$	$\frac{\mathsf{\Gamma }\left(\alpha +1\right)\mathsf{\Gamma }\left(\beta +1\right)}{v^{\alpha +1}{s}^{\beta }}, \alpha , \beta >-1$
$e^{\alpha x+\beta t}$	$\frac{s}{\left(v-\alpha \right)\left(s-\beta \right)}$
$\sin \left(\alpha x+\beta t\right)$	$\frac{s\left(v\beta +s\alpha \right)}{\left(v^2+{\alpha }^2\right)\left(s^2+{\beta }^2\right)}$
$\cos \left(\alpha x+\beta t\right)$	$\frac{s\left(sv-\alpha \beta \right)}{\left(v^2+{\alpha }^2\right)\left(s^2+{\beta }^2\right)}$
$\sinh \left(\alpha x+\beta t\right)$	$\frac{s\left(v\beta +s\alpha \right)}{\left(v^2-{\alpha }^2\right)\left(s^2-{\beta }^2\right)}$
$\cosh \left(\alpha x+\beta t\right)$	$\frac{s\left(sv+\alpha \beta \right)}{\left(v^2-{\alpha }^2\right)\left(s^2-{\beta }^2\right)}$
$e^{\alpha x+\beta t}u\left(x,t\right)$	$\frac{s}{\left(s-\beta \right)}Q\left(v-\alpha ,s-\beta \right)$
$u\left(x-\delta ,t-\epsilon \right)H\left(x-\delta ,t-\epsilon \right)$	$e^{-v\mathsf{\delta }-s\epsilon }Q\left(v,s\right)$
$u\left(x,t\right)\ast \ast w\left(x,t\right)$	$\frac{1}{s}Q\left(v,s\right)W\left(v,s\right)$
$u_t\left(x,t\right)$	$\mathrm{s}Q\left(v,s\right)-\mathrm{s}ℒ\left[u\left(x,0\right)\right]$
$u_x\left(x,t\right)$	$vQ\left(v,s\right)-\mathcal{G}\left[u\left(0,t\right)\right]$
$u_{tt}\left(x,t\right)$	$s^{2}Q\left(v,s\right)-s^2ℒ\left[u\left(x,0\right)\right]-sℒ\left[u_t\left(x,0\right)\right]$
$u_{xx}\left(x,t\right)$	$v^{2}Q\left(v,s\right)-v\mathcal{G}\left[u\left(0,t\right)\right]-\mathcal{G}\left[u_x\left(0,t\right)\right]$
$u_{xt}\left(x,t\right)$	$vsQ\left(v,s\right)-\mathrm{s}\mathcal{G}\left[u\left(0,t\right)\right]-vsℒ\left[u\left(x,0\right)\right]+su\left(0,0\right)$

below:

4. Basic Idea of Double Laplace-ARA Transform Method

To illustrate the basic idea of this method for solving partial differential equations, we consider a second order linear partial differential equation in two independent variables $x$ and $t$in its general form given by

$$A{u}_{xx}\left(x, t\right)+B{u}_{xt}\left(x, t\right)+C{u}_{tt}\left(x, t\right)+D{u}_x\left(x, t\right)+E{u}_t\left(x, t\right)+Fu\left(x, t\right)=w\left(x,t\right).$$

(37)

with the initial conditions

$$u\left(x, 0\right)=f_1\left(x\right), u_t\left(x, 0\right)=f_2\left(x\right),$$

(38)

And the boundary conditions

$$u\left(0, t\right)=g_1\left(t\right), u_x\left(0, t\right)=g_2\left(t\right).$$

(39)

And assume that $u\left(0, 0\right)=\psi$, where $u\left(x, t\right)$ is unknown function, $w\left(x,t\right)$ is the source term and $A,B,C,D,E,F$and$\psi$ are constants.

The main idea of this method is to apply the DL-ARAT to Equation (37), Laplace transform to the initial conditions in Equation (38) and ARA transform to the boundary conditions in Equation (39) as the following:

Operating Laplace transform to the initial conditions given in Equation (38) yields

$$ℒ\left[u\left(x, 0\right)\right]=ℒ\left[f_1\left(x\right)\right]=F_1\left(v\right)=F_1, ℒ\left[u_t\left(x, 0\right)\right]=ℒ\left[f_2\left(x\right))\right]=F_2\left(v\right)=F_2$$

ARA transform of the boundary conditions in Equation (39) is given by

$$\mathcal{G}\left[u\left(0, t\right)\right]=\mathcal{G}\left[g_1\left(t\right)\right]=G_1\left(s\right)=G_1, \mathcal{G}\left[u_x\left(0, t\right)\right]=\mathcal{G}\left[g_2\left(t\right)\right]=G_2\left(s\right)=G_2$$

And $W\left(v,s\right)=W={ℒ}_x{\mathcal{G}}_t\left[w\left(x,t\right)\right].$

Now, applying the DL-ARAT on both sides of Equation (37), we find that

$${ℒ}_x{\mathcal{G}}_t\left[A{u}_{xx}\left(x, t\right)+B{u}_{xt}\left(x, t\right)+C{u}_{tt}\left(x, t\right)+D{u}_x\left(x, t\right)+E{u}_t\left(x, t\right)+Fu\left(x, t\right)\right]={ℒ}_x{\mathcal{G}}_t\left[w\left(x,t\right)\right].$$

Using the differentiation property of the DL-ARAT and above conditions, we have

$$\begin{gathered} A\left[v^{2}Q\left(v, s\right)-v{G}_1-G_2\right]+B\left[vsQ\left(v, s\right)-sv{F}_1-s{G}_1+s\psi \right]+C\left[s^{2}Q\left(v, s\right)-s^2{F}_1-s{F}_2\right]+ \\ D\left[vQ\left(v, s\right)-G_1\right]+E\left[sQ\left(v, s\right)-s{F}_1\right]+F\left[Q\left(v, s\right)\right]=W\left(v, s\right) \end{gathered}$$

(40)

Equation (40) can be simplified as follows-

$$Q\left(v, s\right)=\frac{\left(Av+Bs+D\right)G_1+A{G}_2-Bs\psi +\left(Bvs+C{s}^2+Es\right)F_1+Cs{F}_2+W}{A{v}^2+Bvs+C{s}^2+Dv+Es+F}.$$

(41)

Operating with the inverse DL-ARAT on both sides of Equation (41), we obtain

$$u\left(x, t\right)={ℒ}_x^{--1}{\mathcal{G}}_t^{-1}\left[\frac{\left(Av+Bs+D\right)G_1+A{G}_2-Bs\psi +\left(Bvs+C{s}^2+Es\right)F_1+Cs{F}_2+W}{A{v}^2+Bvs+C{s}^2+Dv+Es+F}\right]$$

(42)

where $u\left(x, t\right)$ represents the term arising from the known function $w\left(x,t\right)$ and all conditions.

5. Applications of Double Laplace–ARA Transform in Solving Partial Differential Equations

Many physical phenomena can be modeled by a set of governing equations, several of them begin as partial differential equations. One may encounter PDEs in many branches of sciences such as:

• Quantum mechanics.
• Particle physic.
• Astrophysics.
• Chemistry.
• Biology.
• Environmental science.

The list goes on. Solving these partial differential equations is another challenge. Current mathematics fail to provide a closed solution and more advances are yet to come. Meanwhile, many numerical techniques have been developed for solving PDEs. In this section we introduce the solution of some familiar PDEs such as the wave equation, heat equation, telegraph equation and others. All the following figures of the selected examples were obtained using Mathematica software 13.

Example 1. 

Let us consider the homogeneous wave equation

$$u_{xx}\left(x,t\right)-u_{tt}\left(x,t\right)=0, \mathrm{where} x \mathrm{and} t\ge 0,$$

(43)

with the initial conditions $u\left(x,0\right)=\sin x,u_t\left(x,0\right)=2,$ and the boundary conditions $u\left(0,t\right)=2t,u_x\left(0,t\right)=\cos t.$

Applying Laplace transform to the initial conditions and ARA transform to the boundary conditions, we find

$$F_1=\frac{1}{v^2+1}, F_2=\frac{2}{v}, G_1=\frac{2}{s}, G_2=\frac{s^2}{s^2+1}.$$

By substituting the values of the functions $F_1, F_2, G_1$, $G_2$ and $A=1,C=-1,B=D=E=F=W=\psi =0$ in the general formula in Equation (41), we obtain

$$Q\left(v, s\right)=\frac{\frac{2v}{s}+\frac{s^2}{s^2+1}-\frac{s^2}{v^2+1}-\frac{s}{v}}{v^2-s^2}=\frac{2\left(\frac{v^2-s^2}{vs}\right)+s^2\left(\frac{v^2-s^2}{\left(s^2+1\right)\left(v^2+1\right)}\right)}{v^2-s^2}=\frac{2}{vs}+\frac{s^2}{\left(s^2+1\right)\left(v^2+1\right)}.$$

(44)

Applying the inverse DL-ARAT to Equation (44), then the solution to Equation (43) is

$$u\left(x, t\right)={ℒ}_x^{-1}{\mathcal{G}}_t^{-1}\left[\frac{2}{vs}+\frac{s^2}{\left(s^2+1\right)\left(v^2+1\right)}\right]=2t+\cos t\sin x.$$

The following figure, Figure 1, illustrates the 3D graph of the exact solution of Example 1.

Example 2. 

Let us consider the homogeneous Laplace equation

$$u_{xx}\left(x,t\right)+u_{tt}\left(x,t\right)=0, x \mathrm{and} t>0,$$

(45)

with the initial conditions $u\left(x,0\right)=0, u_t\left(x,0\right)=\cos x,$ and the boundary conditions $u\left(0,t\right)=sinht, u_x\left(0,t\right)=0$.

Applying Laplace transform to the initial conditions and ARA transform to the boundary conditions, we find

$$F_1=0, F_2=\frac{v}{v^2+1}, G_1=\frac{s}{s^2-1}, G_2=0$$

By substituting the values of the functions $F_1, F_2, G_1$, $G_2$and $A=1,C=1,B=D=E=F=\psi =W=0$ in the general formula in Equation (41), we obtain

$$Q\left(v, s\right)=\frac{\frac{vs}{s^2-1}+\frac{sv}{v^2+1}}{v^2+s^2}=\frac{vs\left(\frac{v^2+s^2}{\left(s^2-1\right)\left(v^2+1\right)}\right)}{v^2+s^2}=\frac{vs}{\left(s^2-1\right)\left(v^2+1\right)}.$$

(46)

Now, applying the inverse DL-ARAT to Equation (46), then the solution to Equation (45) is

$$u\left(x, t\right)={ℒ}_x^{-1}{\mathcal{G}}_t^{-1}\left[\frac{vs}{\left(s^2-1\right)\left(v^2+1\right)}\right]=\cos x\sinh t.$$

The following figure, Figure 2, illustrates the 3D graph of the exact solution of Example 2.

Example 3. 

Let us consider the homogeneous telegraph equation

$$u_{xx}\left(x,t\right)=u_{tt}\left(x,t\right)+4u_t\left(x,t\right)+4u\left(x,t\right), x,t\ge 0$$

(47)

with the initial conditions $u\left(x,0\right)=1+e^{2x} ,u_t\left(x,0\right)=-2,$ and the boundary conditions $u\left(0,t\right)=1+e^{-2t} ,u_x\left(0,t\right)=2.$

Applying Laplace transform to the initial conditions and ARA transform to the boundary conditions, we find

$$F_1=\frac{1}{v}+\frac{1}{v-2}, F_2=\frac{-2}{v}, G_1=1+\frac{s}{s+2}, G_2=2.$$

By substituting the values of the functions $F_1, F_2, G_1$, $G_2$and $A=1,C=-1,E=F=-4,B=D=W=\psi =0,$ in the general formula in Equation (41), we obtain

$$Q\left(v, s\right)=\frac{v+\frac{vs}{s+2}+2-\frac{s^2}{v}-\frac{s^2}{v-2}-\frac{2s}{v}-\frac{4s}{v-2}}{v^2-s^2-4s-4}=\frac{\left(v+2-\frac{s^2}{v-2}-\frac{4s}{v-2}\right)+\left(\frac{vs}{s+2}-\frac{s^2}{v}--\frac{2s}{v}\right)}{v^2-s^2-4s-4}$$

(48)

Now, applying inverse DL-ARAT to Equation (48), then the solution to Equation (47) is

$$u\left(x, t\right)={ℒ}_x^{-1}{\mathcal{G}}_t^{-1}\left[\frac{1}{v-2}+\frac{s}{v\left(s+2\right)}\right]=e^{2x}+e^{-2t}.$$

The following figure, Figure 3, illustrates the 3D graph of the exact solution of Example 3.

Example 4. 

Let us consider the nonhomogeneous heat equation

$$u_{xx}\left(x,t\right)-u_t\left(x,t\right)-3u\left(x,t\right)=-3, x \mathrm{and} t\ge 0$$

(49)

with the initial conditions $u\left(x,0\right)=1+\sin x,$ and the boundary conditions $u\left(0,t\right)=1, u_x\left(0,t\right)=e^{-4t}.$

Applying Laplace transform to the initial conditions and ARA transform to the boundary conditions, we find

$$F_1=\frac{1}{v}+\frac{1}{v^2+1}, G_1=1, G_2=\frac{s}{s+4}.$$

By substituting the values of the functions $F_1, G_1$, $G_2$ and $A=1,E=-1,F=-3,B=C=D=\psi =0,W=\frac{3}{v}$ in the general formula in Equation (41), we obtain

$$Q\left(v, s\right)=\frac{v+\frac{s}{s+4}-s\left(\frac{1}{v}+\frac{1}{v^2+1}\right)-\frac{3}{v}}{v^2-s-3}=\frac{\left(v-\frac{s}{v}-\frac{3}{v}\right)+\left(\frac{s}{s+4}-\frac{s}{v^2+1}\right)}{v^2-s-3}=\frac{1}{v}+\frac{s}{\left(s+4\right)\left(v^2+1\right)}$$

(50)

Now, applying the inverse of DL-ARAT to Equation (50), then the solution to Equation (49) is

$$u\left(x, t\right)={ℒ}_x^{-1}{\mathcal{G}}_t^{-1}\left[\frac{1}{v}+\frac{s}{\left(s+4\right)\left(v^2+1\right)}\right]=1+e^{-4t}\sin x.$$

The following figure, Figure 4, illustrates the 3D graph of the exact solution of Example 4.

Example 5. 

Let us consider the Klein–Gordon equation

$$u_{tt}\left(x,t\right)-u\left(x,t\right)=u_{xx}\left(x,t\right)-\cos x\cos t$$

(51)

with the initial conditions $u\left(x,0\right)=\cos x, u_t\left(x,0\right)=0,$ and the boundary conditions $u\left(0,t\right)=\cos \mathrm{t} , u_x\left(0,t\right)=0$.

Applying Laplace transform to the initial conditions and ARA transform to the boundary conditions, we find

$$F_1=\frac{v}{v^2+1},F_2=0,G_1=\frac{s^2}{s^2+1}, G_2=0.$$

By substituting the values of the functions $F_1, F_2 ,G_1$and $G_2$and $A=1,C=-1,F=1,B=D=E=\psi =0,W=\frac{v{s}^2}{\left(s^2+1\right)\left(v^2+1\right)}$ in the general formula in Equation (41), we obtain

$$Q\left(v, s\right)=\frac{\frac{v{s}^2}{s^2+1}-\frac{v{s}^2}{v^2+1}-\frac{v{s}^2}{\left(s^2+1\right)\left(v^2+1\right)}}{v^2-s^2+1}=\frac{v{s}^2}{\left(s^2+1\right)\left(v^2+1\right)}.$$

(52)

Now, applying the inverse DL-ARAT to Equation (52), then the solution to Equation (51) is

$$u\left(x, t\right)={ℒ}_x^{-1}{\mathcal{G}}_t^{-1}\left[\frac{v{s}^2}{\left(s^2+1\right)\left(v^2+1\right)}\right]=\cos x\cos t.$$

The following figure, Figure 5, illustrates the 3D graph of the exact solution of Example 5.

Example 6. 

Let us consider the advection–diffusion equation

$$u_t\left(x,t\right)=u_{xx}\left(x,t\right)-u_x\left(x,t\right), x \mathrm{and} t\ge 0$$

(53)

with the initial conditions $u\left(x,0\right)=x+e^x$, and the boundary conditions $u\left(0,t\right)=1-t ,u_x\left(0,t\right)=2$.

Applying Laplace transform to the initial conditions and ARA transform to the boundary conditions, we find

$$F_1=\frac{1}{v-1}+\frac{1}{v^2}, G_1=1-\frac{1}{s}, G_2=2.$$

By substituting the values of functions $F_1, G_1$, $G_2$and $A=1,D=E=-1,W=F=B=C=\psi =0,$ in the general formula in Equation (41), we obtain

$$Q\left(v, s\right)=\frac{\left(v-1\right)\left(1-\frac{1}{s}\right)+2-s\left(\frac{1}{v-1}+\frac{1}{v^2}\right)}{v^2-v-s}=\frac{1}{v-1}+\frac{1}{sv}-\frac{1}{v^2}.$$

(54)

Now, applying the inverse DL-ARAT to Equation (54), then the solution to Equation (53) is

$$u\left(x, t\right)={ℒ}_x^{-1}{\mathcal{G}}_t^{-1}\left[\frac{1}{v-1}+\frac{1}{sv}-\frac{1}{v^2}\right]=e^x+t-x.$$

The following figure,Figure 6, illustrates the 3D graph of the exact solution of Example 6.

Example 7. 

Let us consider the Goursat equation

$$u_{xt}\left(x,t\right)=4xt-x^2{t}^2+u\left(x,t\right),$$

(55)

with the initial condition> $u\left(x,0\right)=e^x$, boundary the condition $u\left(0,t\right)=e^t$and$u\left(0,0\right)=1.$

Applying Laplace transform to the initial conditions and ARA transform to the boundary conditions, we find

$$F_1=\frac{1}{v-1}, G_1=\frac{s}{s-1}.$$

By substituting the values of the functions $F_1, G_1$and $B=1,F=-1,W=\frac{4}{v^{2}s}-\frac{4}{v^3{s}^2}, A=C=D=E=0,\psi =1,$ in the general form in Equation (41), we obtain

$$Q\left(v, s\right)=\frac{s\left(\frac{s}{s-1}\right)-s-vs\left(\frac{1}{v-1}\right)+\frac{4}{v^{2}s}-\frac{4}{v^3{s}^2}}{sv-1}=\frac{\left(\frac{s^2}{s-1}-s-\frac{vs}{v-1}\right)+\left(\frac{4}{v^{2}s}-\frac{4}{v^3{s}^2}\right)}{sv-1}.$$

(56)

Now, applying the inverse DL-ARAT to Equation (56), then the solution to Equation (55) is

$$u\left(x, t\right)={ℒ}_x^{-1}{\mathcal{G}}_t^{-1}\left[\frac{s}{\left(v-1\right)\left(s-1\right)}+\frac{4}{v^3{s}^2}\right]=e^{x+t}+4x^2{t}^2.$$

The following figure, Figure 7, illustrates the 3D graph of the exact solution of Example 7.

6. Conclusions

In this paper, a new double transform called the DL-ARAT were presented, several properties and theorems related to the linearity, existence, partial derivatives and the double convolution theorem were introduced. The new results were implemented to establish a new formula for solving PDEs, we discussed some numerical examples and get the exact solutions using the new double transform. Applications of the DL-ARAT will be developed in the future and utilized to solve integral equations, PDEs with variable coefficients and the equations appeared during the fluid flow [1,2]. Moreover, we have mentioned here that this new double transform can be combined with one of the iteration numerical methods to solve nonlinear PDEs and equations with variables coefficients, since all integral transforms cannot solve nonlinear problems directly, unless they are combined with iteration methods.

In a general view of what was discussed in [1,2] we find that this research focuses on the same direction with the possibility of using partial differential equations in explaining physical phenomena. Therefore, we recommend that this study be continued using the applications of this method as a future project for solving equations that appear during fluid flow.