Abstract and Applied Analysis
Volume 2013, Issue 1 932578
Research Article
Open Access

A Note on Double Laplace Transform and Telegraphic Equations

Hassan Eltayeb, 

Hassan Eltayeb

Department of Mathematics, College of Science, King Saud University, P.O. Box 2455, Riyadh 11451, Saudi Arabia ksu.edu.sa

Search for more papers by this author
Adem Kiliçman, 

Corresponding Author

Adem Kiliçman

Department of Mathematics and Institute for Mathematical Research, Universiti Putra Malaysia, 43400 Serdang, Selangor, Malaysia upm.edu.my

Search for more papers by this author
First published: 10 February 2013
https://doi.org/10.1155/2013/932578
Citations: 18
Academic Editor: Mustafa Bayram

Abstract

Double Laplace transform is applied to solve general linear telegraph and partial integrodifferential equations. The scheme is tested through some examples, and the results demonstrate reliability and efficiency of the proposed method.

1. Introduction

The wave equation is known as one of three fundamental equations in mathematical physics and occurs in many branches of physics, applied mathematics, and engineering. It is also known that there are two types of these equation: the homogenous equation that has constant coefficient with many classical solutions such as separation of variables [1], the methods of characteristics [2, 3], single Laplace transform, and Fourier transform [4] and nonhomogenous equations with constant coefficient solved by double Laplace transform [5] and operation calculus [6].

In this study, we use double Laplace transform to solve telegraph equation and partial integrodifferential equation. We follow the method that was proposed by Kılıçman and Eltayeb [7] where they extended one-dimensional convolution theorem to two-dimensional case [8].

First of all, we recall the following definitions given by Kılıçman and Gadain [9]. The double Laplace transform is defined by
()
and the first-order partial derivative is defined as follows:
()
Double Laplace transform for second partial derivative with respect to x is given by
()
and double Laplace transform for second partial derivative with respect to t similarly as the previous is given by
()
In a similar manner, the double Laplace transform of a mixed partial derivative can be deduced from a single Laplace transform as
()

Theorem 1. If at the point (p, q) the integral

()
is convergent and the integral
()
is absolutely convergent, then
()
is the Laplace transform of the function
()
and the integral
()
is convergent at the point (p, q).

Proof. See [4].

Next, we study the uniqueness and existences of double Laplace transform. First of all, let f(x, t) be a continuous function on the interval [0, ∞) which is of exponential order, that is, for some a, b ∈ ℝ. Consider
()
In this case, the double Laplace transform of
()
exists for all p > a and s > b and is in fact infinitely differentiable with respect to p > a and s > b. All functions in this study are assumed to be of exponential order. The following theorem shows that f(x, t) can be uniquely recovered from F(p, s).

Theorem 2. Let f(x, t) and g(x, t) be continuous functions defined for x, t ≥ 0 and having Laplace transforms, F(p, s), and G(p, s), respectively. If F(p, s) = G(p, s), then f(x, t) = g(x, t).

Proof. If α and β are sufficiently large, then the integral representation, by

()
for the double inverse Laplace transform, can be used to obtain
()
and the theorem is proven.

Theorem 3. A function f(x, t) which is continuous on [0, ∞) and satisfies the growth condition (11) can be recovered from F(p, s) as

()
where Ψm+n is denoted by (m + n)th mixed partial derivatives of F(p, s), defined by Ψm+n = ∂m+nF(p, s)/∂pm∂sn   for x, t ≥ 0 since the previous theorem obtains f(x, t) in terms of F(p, s).

Of course, the main difficulty in using Theorem 3 for computing the inverse Laplace transform is the repeated symbolic differentiation of F(p, s). However, one can apply Theorem 3 in the next type of examples.

Example 4. Let f(x, t) = e−ax−bt. The Laplace transform is easily found to be as follows:

()
It is also simple to verify that
()
Putting this expression for ∂m+nF(p, s)/∂pm∂sn   into Theorem 3 gives the following:
()
The last limit is easy to evaluate. Take the natural log of both sides, and write the result in the form of −(ln (1 + ax/m)/(1/(m + 1)))−(ln (1 + bt/n)/(1/(n + 1))). L′Hopital′s rule reveals that the indeterminate from approaches −ax − bt. The continuity of the natural logarithm shows that ln (f(x, t)) = −ax − bt; then, f(x, t) = e−ax−bt.

2. Properties of Double Laplace Transform

In this part, we consider some of the properties of the double Laplace Transform that will enable us to find further transform pairs {f(x, t), F(p, s)} without having to compute consider the following.
()
Was first verify (I) as
()
We calculate the integral inside bracket as
()
By substituting, we obtain
()
Second, the right hand side of (II) can be written in the form of
()
The last property, from definition of double Laplace transform
()
so that
()
Owing to the convergence properties of the improper integral involved, we can interchange the operation of differentiation and integration and differentiate with respect to p, s under the integral sign. Thus,
()
which, on carrying out the repeated differentiation with respect to p, s, gives the following:
()

The previous three properties are very useful at the proof of Theorem 3.

Proof of Theorem 3. Let us define the set of functions depending on parameters m, n as

()
where φ(x, t) is any continuous function. Let us denote its Laplace transform as a function of p, s by LxLt[φ(x, t)](p, s). Now, we define the function Ψ(x, t) = f(xx0, tt0), and using property (II), we have
()

We apply property (III) (we must evaluate the m + n mixed partial derivatives of F(p, s) at the points p = m/x and s = n/t) as follows:

()
Let φ(x, t) = e−px−stΨ(x, t). By using (28), we have
()
By using the previous properties (I) and (II) of double Laplace transform, (30), and the definition of Ψ(x, t), we have
()
where . From (31) and (32), with f(x0, t0) = ep+sφ(1,1), we have
()
For any p, s the statement in Theorem 3 is actually just the special case for p = 0  and  s = 0.

Example 5. Find double Laplace transform for a regular generalized function

()
()
where H(x, t) = H(t)⊗H(x) is a Heaviside function, and ⊗ is tensor product. The double Laplace transform with respect to x, t of (1) becomes
()
where γ is Euler′s constant [10]. Thus,
()

Double Laplace transform of (35) with respect to x and t is obtained as follows:

()

Definition 6. A linear continuous function over the space L of test functions is called a distribution of exponential growth. This dual space of L is denoted by L′ [10].

Example 7. Let us find double laplace transform of the function (xα  +  tβ) = H(x) ⊗ H(t)xαtβ, where α, β ≠ −1, −2, … Since (xα + tβ) ∈ L′, then double laplace transform of the function (xα + tβ) = H(x) ⊗ H(t)xαtβ is given by

()
Letting u = px and v = st for p, t > 0, it follows that
()
In particular, if α, β = 0, (40) becomes
()

Consider the general telegraph equation in the following form:
()
with boundary conditions
()
and initial conditions
()
We apply double Laplace transform for (42) and single Laplace transform for (43) and (43). after taking double inverse Laplace transform, we obtain the solution of (42) in the form
()

Here, we assume that the double inverse Laplace transform exists for each term in the right side of (45).

Example 8. Consider the homogeneous telegraph equation given by

()
with boundary conditions
()
and initial conditions
()

Solution 1. By taking double Laplace transform for (46) and single Laplace transform for (47) and (48), we have

()

By using double inverse Laplace transform for (49), we get the solution as follows:

()

In the next example we apply double Laplace transform for nonhomogenous telegraphic equation as follows.

Example 9. Consider the nonhomogenous telegraphic equation denoted by

()
with boundary conditions
()
and initial conditions
()

By taking double Laplace transform for (51) and single Laplace transform for (52) and (53), we have

()

By applying double inverse Laplace transform for (54), we get the solution of (51) in the following form:

()

3. An Application to Partial Integrodifferential Equations

Consider the following partial integrodifferential equation:
()
with boundary conditions
()
and initial conditions
()
By taking double Laplace transform for (56) and single Laplace transform for (57) and (58), we get
()
By applying double inverse Laplace transform for (59), we obtain the solution of (56) in the following form:
()

We provide the double inverse Laplace transform existing for each terms in the right side of (60). In particular, consider the following example.

Example 10. Consider the partial integro-differential equation

()
with conditions
()

By taking double Laplace transform for (61) and single Laplace transform for (62), we have

()
By simplifying (63), we obtain
()

By using double inverse Laplace transform for (64), we obtain the solution of (61) as follows:

()

Acknowledgments

The authors would like to express their sincere thanks and gratitude to the reviewers for their valuable comments and suggestions for the improvement of this paper. The first author gratefully acknowledges that this project was partially supported by the Research Center, College of Science, King Saud University.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.