- Research
- Open access
- Published:

# Finite Fourier transform for solving potential and steady-state temperature problems

*Advances in Difference Equations*
**volume 2018**, Article number: 98 (2018)

## Abstract

The derivation of this paper is devoted to describing the operational properties of the finite Fourier transform method, with the purpose of acquiring a sufficient theory to enable us to follow the solutions of boundary value problems of partial differential equations, which has some applications on potential and steady-state temperature. Numerical calculations show that the present method gives higher accuracy with less computation time than other, traditional methods, like the finite difference method.

## 1 Introduction

Many boundary value problems can be solved by means of integral transformations, such as the Laplace transform function, which transform a differential equation into an algebraic equation in which the boundary conditions are automatically considered. After solving the algebraic equation, one finds the solution of the original equation by means of the inverse transformation. Similarly, partial differential equations are changed into ordinary differential equations by applying these transformations. Two transformations which are particularly useful in solving boundary value problems are the finite Fourier sine and cosine transformations.

The particular transformation discussed in this paper is the finite Fourier transform, which is applicable to equations in which only the even order derivatives (of the function) with respect to transformed variable will be treated. The finite Fourier transform method is one of various analytical techniques in which exact solutions of boundary value problems can be constructed. The transform exists for all bounded, piecewise continuous functions over a finite interval. In recent years, the finite Fourier transform method has been applied to a wide class of boundary value problems in many interesting mathematics, physics, chemistry and engineering areas [1–3]. Many other transforms exist which may be used to solve PDEs [4, 5].

A feature which makes the finite transform a very economical method, is that the inverse transform may be solved only for regions of interest [6–8]. The most widely used methods for the solution of boundary value problems are based on finite differences. These methods require certain assumptions about where the finite difference equals the derivative which by necessity have to be most loosely made on the boundaries. One must form many grid points near the boundary in order for the numerical solution to be accurate. Another feature of the finite Fourier transform method is that it gives the exact solution at the boundary [9].

This paper is written in two parts. Sect. 2 will be devoted to a description of the operational properties of these transformations with the purpose of acquainting the reader with sufficient theory to enable us to follow the solutions of the problems given in Sect. 3, which consists of a group of simple boundary value problems and their solutions.

## 2 Basic definitions

### Definition 1

Let \(F(x)\) be a function that is sectionally continuous in the interval \(0< x<\pi\), the finite Fourier sine and cosine transformations are defined as follows:

The transformations set up a correspondence between functions \(F(x)\) on the interval \(0< x<\pi\) and the sequences \(\{f_{s}(n), f _{c}(n)\}\) called the finite sine transform and finite cosine transform, respectively, of \(F(x)\). From the definition of the transformations it is apparent that they are linear.

### 2.1 Some operational properties

The usefulness of the finite Fourier sine and cosine transformations in solving differential equations is primarily due to the fact that differentiation of \(F(x)\) corresponds to a simple algebraic operation on the transform \(f_{s}(n)\) or \(f_{c}(n)\). If \(F(x)\) is continuous and \(F'(x)\) is sectionally continuous

and hence

Similarly,

If \(F'(x)\) is continuous and \(F''(x)\) is sectionally continuous, we find upon replacing \(F(x)\) by \(F'(x)\) in Eq. (2.3) and making use of Eq. (2.4)

Similarly, by starting with Eq. (2.4) we have

If \(F'''(x)\) is continuous and \(F''''(x)\) is sectionally continuous, we may replace \(F(x)\) by \(F''(x)\) in (2.5) to obtain

In like manner, we can find the sine transform of any even-ordered derivatives of \(F(x)\) in terms of the sine transform of \(F(x)\) and the value of the even-ordered derivatives at the endpoints of the interval. By repeated applications of (2.6) we are able to express the cosine transform of any even-ordered derivative of \(F(x)\) in terms of \(f_{c}(n)\) at the endpoints of the interval. Another useful property of the Fourier transform will now be developed. Let \(F(x)\) be defined in the interval \(0< x<\pi\). Let \(G(x)\) be the even periodic extension of \(F(x)\), then

Breaking the integrand into two integrals, letting \(y=s+k\) in the first and \(y=x-k\) in the second, this can be written as

because of the fact that the integrand is periodic with period 2*π*. Hence \(f_{c}(n)\cos nk=I_{1}+I_{2}+I_{3}+I_{4}\) where

Substituting \(y=-x\) in \(I_{1}\) and \(I_{3}\) we have

Therefore,

Let \(k=\pi\), we get \((-1)^{n}f_{c}(n)=C\{\frac{1}{2}[G(x+\pi)+G(x- \pi)]\}\), but \(G(x+\pi)=G(x-\pi)\) for all *x*, and \(G(\pi-x)=F( \pi-x)\) for all \(0< x<\pi\). Therefore

In a similar manner it can be shown that if \(H(x)\) is the odd periodic extension of \(F(x)\) of period 2*π*; then

### 2.2 Convolution

It is necessary to find the inverse function of the product of two transforms whose inverses are known. To solve this problem, we define the convolution of a function. Let \(P(x)\) be defined on the interval \(-2\pi< x<2\pi\) and let \(Q(x)\) be defined on the interval \(-\pi< x< \pi\). Then the function

is called “the convolution” of *P* and *Q* on the interval \(-\pi< x< \pi\). It can easily be shown that \(\phi(x)\) is an even function if *P* and *Q* are both odd or both even, and is odd if one of these functions is even and the other odd. The importance of convolution is brought out in the following theorem.

### Theorem 2.1

*Let*
\(F(x)\)
*and*
\(G(x)\)
*be two functions sectionally continuous on the interval*
\(0\leq x\leq\pi\). *Let*
\(F_{1}(x)\)
*and*
\(F_{2}(x)\)
*denote the odd and even periodic extensions of*
*F*, *respectively*, *and*
\(G_{1}(x)\)
*and*
\(G_{2}(x)\)
*the odd and even extensions of*
*G*. *Then the products of the transformations of*
*F*
*and*
*G*
*can be written as follows*:

Furthermore, if

then

### Proof

The proof of the theorem will only be illustrated by proving Eqs. (2.15) and (2.19). We have

If we let *S* represent the square bounded by the lines \(\alpha= \mp\pi, \beta= \mp\pi\) (see Fig. 1), we have

In the first integrand let \(\alpha+\beta=x\) and \(\beta=y\), in the second integrand let \(\alpha-\beta=x\) and \(\beta=-y\). The Jacobian of the first transformation is 1; that of the second is −1. So we have

For any fixed \(y (-\pi\leq y \leq\pi)\), the integrands are periodic functions of *x* with period 2*π*, hence the integral over \(T_{1}\) can be replaced by the integral over \(T_{2}\) and the integral over \(T_{3}\) can be replaced by the integral over \(T_{4}\). The resulting integral can be written as

where we have used the fact that \(F_{2}\ast G_{1}\) is an odd function. We have

In the third and fourth integrals replace *ξ* by −*ξ*,

whence by making use of the definitions of the extended functions \(F_{2}\) and \(G_{1}\), Eq. (2.19) follows immediately. □

## 3 Solutions of partial differential equations

Since we will be concerned with functions of two independent variables, it is necessary to comment briefly on the characteristic of the finite Fourier transform of such a function. The finite Fourier sine transformation of \(F(x,t), (0< x<\pi)\) is

If \(\frac{\partial^{n}}{\partial t^{n}}F(x,t)\) exists and is continuous then

All the formulas listed in the tables made for single functions [10] can be extended very easily to the case where *F* is a function of two independent variables. For example

Similar changes must be made in the other formulas in the applications which follow. In all these applications the sine transform, rather than the cosine transform, is used since the boundary conditions include the value of the function at the endpoints of the interval.

### 3.1 Vibrations of a horizontal string with fixed ends

A constant transverse force acts at each point of a string with ends \(x=0\) and \(x=\pi\) fixed; thus we need to solve the problem

subject to the conditions \(Y(0,t)=Y(\pi,t)=0\), and \(Y(x,0)=Y_{t}(x,0)=0\).

Applying the sine transformation to Eq. (3.1) and using the boundary conditions yields the differential equation

which has the solution

In order to satisfy the initial conditions, we choose \(C_{1}=0\) and \(C_{2}=\frac{-f(n)}{a^{2} n^{2}}\). Define \(G(x)\) such that \(G''(x)=F(x), (0< x<\pi)\) and \(G(0)=G(\pi)=0\), we obtain \(\frac{f(n)}{n^{2}}=\frac{S \{G''(x)\}}{n^{2}}=-g(n)\). Therefore

Hence

where \(G(-x)=-G(x)\) and \(G(x+2\pi)=G(x)\).

### 3.2 Transverse vibrations of a beam

If a constant transverse force acts at each point of a beam, the transverse displacements \(Y(x,t)\) satisfy the equation

If the ends, \(x=0\) and \(x=\pi\), are hinged so that *Y* and \(Y_{xx}\) vanish there, and if the initial displacement and velocity are zero, we may find \(Y(x,t)\) by applying the sine transformations to Eq. (3.2) and considering the boundary conditions

Therefore, we obtain

Hence \(y(n,t)=a n^{2} C_{1} \cos an^{2} t -a n^{2} C_{2} \sin an^{2} t\). To satisfy the conditions \(Y(x,0)=Y_{t}(x,0)=0\), we choose \(C_{1}=0; C _{2}=-\frac{f(n)}{a^{2} n^{2}}\). Therefore

If we define \(G(x)\) such that \(G''''(x)=F(x), 0< x<\pi; G(x)=G''(x)=0\) at \(x=0\) and \(x=\pi\). Then \(\frac{f(n)}{ n^{2}}=g(n)\), and so \(y(n,t)=\frac{g(n)}{a^{2}}-\frac{f(n)}{a^{2}n^{2}}\cos a n^{2} t\). Therefore our solution is given as

### 3.3 Applications to problems in heat conduction

### Application 1

As an application, we would like to find the temperature distribution \(U(x,t)\) of a bar 30 centimeters in length after the ends are placed in contact with ice if the sides are insulated and the initial temperature distribution is defined as follows:

The differential equation which \(U(x,t)\) must satisfy is

If we choose a new unit of length such that \(1=30/\pi cm\), the rod becomes *π* units long and the boundary conditions become

Applying the sine transformation to Eqs. (3.3) and (3.4) we obtain \(\frac{d}{\,dt}u(n,t)=-a^{2} n^{2} u(n,t)\), which has the solution \(u(n,t)=C \exp(-a^{2} n^{2} t)\). To determine the constant *C*, we make use of the condition in (3.5), as

For \(n=2k\), we have \(\sin\frac{2k\pi}{2}=0\), therefore \(C_{2k}=0\). While, for \(n=2k+1\), \(\sin\frac{(2k+1)\pi}{2}=(-1)^{k}\), which implies that \(C_{2k+1}=\frac{200 (-1)^{k} \sin\frac{(2k+1)\pi}{2}}{2k+1}\). We arrive at

The temperature distribution \(U(x,t)\) of the rod is given by

The solution of this problem for a bar for which \(a^{2}=0.185\) and \(a^{2}=0.1\) (c.g.s. system) is displayed in Fig. 2. Since the solution is symmetrical about the line \(x=\pi/2 (15 cm)\) the graph extends over only one-half the bar. The constant \(a^{2}\) must be based upon the same unit of measurement as *x*. If its value is known in the c.g.s. system, it must be multiplied by \(\pi^{2}/900\) before being used in this formula.

### Application 2

We seek the temperature \(U(x,t)\) which satisfies the conditions

subject to the boundary conditions

and the initial condition

By means of the sine transformation, the above problem becomes

Hence,

This is an ordinary linear differential equation whose solution is

Since \(t \geq0\), and we wish \(u(n,0)\) to be zero, we may write the answer in the following form:

If we let \(H(t)=\int_{0}^{t} h(\tau)\,d\tau\), and \(\Psi(x,t)=\frac{2}{ \pi}\sum_{n=1}^{\infty}\frac{1-(-1)^{n}}{n} \exp[-n^{2} t] \sin nx\), then

### Application 3

Let \(\theta(x,t)\) be the temperature function that satisfies

subject to the boundary and initial conditions

Application of the sine transformation yields \(\frac{d}{\,dt}\theta(n,t)=-n ^{2} \theta(n,t), \theta(n,0)=\frac{1}{n}\). The solution of the above differential equation is \(\theta(n,t)=\frac{1}{n}\exp[-n^{2}t]\). Hence \(\theta(x,t)=\frac{2}{\pi}\sum_{n=1}^{\infty} \frac{1}{n} \exp[-n^{2} t]\sin nx\).

Let \(U(x,t)\) be a solution of the problem

subject to the boundary and initial conditions

We wish to obtain the function \(U(x,t)\) in terms of \(\theta(x,t)\). The value of the sine transform of \(U(x,t)\) is found by replacing \(\frac{1}{n}\) by \(f(n)\) in the expression for \(\theta(x,t)\), to obtain

If \(F(x)\) is continuous and \(F(0)=F(\pi)=0\), then \(n f(n)=C\{F'(x)\}= \int_{0}^{\pi}F'(\lambda) \cos n \lambda \,d\lambda\). Hence, \(u(n, t)=\int_{0}^{\pi}F'(\lambda)\theta(n,t) \cos n\lambda \,d\lambda\). Since \(\theta(x,t)\) is an odd extension function with period 2*π*, we may rewrite \(u(n,t)\) as

Therefore \(U(x,t)=\frac{1}{2}\int_{0}^{\pi} F'(\lambda)[\theta(x+ \lambda,t)+\theta(x-\lambda,t)]\,d\lambda\).

### Application 4

The preceding application was generalized by Brown [11]. Consider a cylindrical bar of length *π* which has a diameter so small that the variation of the temperature \(F(x,t)\) over every cross section can be neglected. The thermal conductivity of the bar is a function of the time, there is a continuous source of heat along the bar, and the initial temperature at each point of the bar is given by a prescribed function. The rate of loss of heat through the surface at each point is proportional to the temperature at that point. The temperature at the ends, \(x=0\) and \(x=\pi\) are determined by prescribed functions of *t*. The boundary value problem for the temperature function \(F(x,t)\) can be written as

Subject to

The solution of the above boundary value problem can be written as

where \(F_{1}, F_{2}, F_{3}\) and \(F_{4}\) are solutions of the problems:

Problem (3.12) need not be considered as a separate problem, since its solution can be obtained by replacing *x* by \(\pi-x\) and \(C_{3}(t)\) by \(C_{4}(t)\) in the solution of problem (3.11). The finite sine transformation applied to the equations of problems (3.10), (3.11) and (3.13) yields the differential equations

and

Since problem (3.14) and (3.15) are ordinary linear differential equations, their solutions can be found formally. The solution of problem (3.14) is

Since \(t \geq0\) and we wish \(f_{1}(n,0)=0\), this may be written for \(0\leq\tau\leq t\) as follows:

or

Let \(H_{i}(\tau,t)=\int_{\tau}^{t} C_{i}(\lambda)\,d\lambda\), then

By analogy we see that the solution of problem (3.15) is

The solution of the separable differential equation in (3.16) is given by

Since \(f(n,0)=g(n), A=g(n)\). Hence the solution is

By applying the inversion formula to Eqs. (3.17), (3.18) and (3.19), each of the component solutions of \(F(x,t)\) is obtained. However, it will be now be shown that the solution of each of the problems (3.10), (3.11) and (3.13) can be expressed in terms of \(F_{0}(x,t)\), which is the solution of the simple boundary value problem

whose solution as seen from Application 3 is \(f_{0}(n,t)= \frac{1}{n}\exp[-n^{2} t]\). From this equation we obtain the identities

Differentiating the first equation with respect to *τ* we obtain

or

Therefore, we can express \(f_{1}(n,t), f_{2}(n,t)\) and \(f_{4}(n,t)\) as functions of \(f_{0}(n,t)\) as follows:

We observe that \(n f_{0}[n, H_{1}(\tau,t)]\) is the cosine transform of \(\frac{\partial}{\partial\xi}F_{0}[\xi, H_{1}(\tau,t)]\) since \(F_{0}(0,t)=F_{0}(\pi,t)=0\). If, for values of *x* outside the interval \((0, \pi)\), we define \(\frac{\partial F_{0}}{\partial\xi}\) as the even periodic extension and \(P(x,t)\) and \(G(x)\) as the odd periodic extensions of the original period 2*π* functions

The solution \(F_{3}\) of problem (3.12) can be written

Hence the solution of the general temperature problem (Application 4) can be resolved into the solution of the simple temperature problem (Application 3) by the formula

where \(F_{1}, F_{2}, F_{3}\) and \(F_{4}\) are defined above. For verification of the resolution see [11].

## 4 Concluding remarks

Boundary value problems of partial differential equations concerned with temperature as the unknown may be solved by a finite Fourier transform method. The temperature at points other than the boundary, if they should be needed, can be obtained by summing the Fourier coefficients. For potential problems, the temperature at the boundary should be as accurate as possible. The finite Fourier transform method which gives the exact boundary temperature within the computer accuracy is shown to be an extremely powerful mathematical tool for the analysis of boundary value problems of partial differential equations with applications in physics. Also the finite Fourier transform method differs from the usual Fourier transformation method in that the solutions are obtained without performing the inverse Fourier transforms. In principle, the finite Fourier transform method may be extended to analog simulations of heat equations in three space variables, and it may also be a very efficient technique for the solution of multidimensional heat equations.

## References

Maddah, H.A.: Application of finite Fourier transform and similarity approach in a binary system of the diffusion of water in a polymer. J. Mater. Sci. Chem. Eng.

**4**, 20–30 (2016)Kobayashi, K., Ohtani, N., Jung, J.: Solution of two-dimensional diffusion equation by the finite Fourier transformation. J. Nucl. Sci. Eng.

**55**(3), 320–328 (1974) Published online: 13 May 2017Tufa Negero, N.: Fourier transform methods for partial differential equations. Int. J. Partial Differ. Equ.

**2**(3), 44–57 (2014)Leonard, C.J.: Integral transforms for applications to partial differential equations. Grumman Aircraft Engineering Corporation, Research Department Report RE-103, September 1958

Sneddon, I.N.: Fourier Transforms. McGraw-Hill, New York (1951)

Maddah, H.A.: Application of finite Fourier transform and similarity approach in a binary system of the diffusion of water in a polymer. Int. Mater. Sci. Chem. Eng.

**4**, 20–30 (2016)LeVeque, R., LeVeque, R.: Finite Difference Methods for Ordinary and Partial Differential Equations: Steady-State and Time-Dependent Problems. SIAM, Philadelphia (2007)

Butzer, P.L., Nessel, R.J.: 7 Fourier transform methods and second-order partial differential equations. Pure Appl. Math.

**40**, 278–302 (1971)Liban, E.: The application of finite Fourier transforms to analog computer simulation. In: Proceedings of the May 1–3 1962 Spring Joint Computer Conference—AIEE-IRE’62 (Spring), pp. 255–265 ACM, New York (1962). https://doi.org/10.1145/1460833.1460862

Agarwal, R., Donal, R.: Ordinary and Partial Differential Eqtautions with Special Functions, Fourier Series, and Boundary Value Problems. Springer, New York (2009)

Brown, H.K.: Resolution of temperature problems by the use of finite Fourier transformations. Bull. Am. Math. Soc.

**50**, 376–385 (1944)

## Acknowledgements

The author is grateful to the editor and the reviewers for their careful reading and useful comments. This research was partially supported by Jordan University of Science and Technology.

## Author information

### Authors and Affiliations

### Contributions

The author wrote this paper, read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Competing interests

The author declares that he has no competing interest.

## Additional information

### Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Al-Khaled, K. Finite Fourier transform for solving potential and steady-state temperature problems.
*Adv Differ Equ* **2018**, 98 (2018). https://doi.org/10.1186/s13662-018-1552-8

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-018-1552-8