1. Introduction
Integral transforms are elegant and powerful tools for solving differential equations by transforming the differential problems into simpler ones (see the literature [1] [2]). With integral transforms, not only we can solve differential equations, but also, we can study in detail the spectral properties of various types of ordinary and partial differential operators. This area of study is called Spectral analysis of differential operators. One of the most popular and ubiquitous integral transforms in the mathematical world is the Fourier transform where the Kernel function is the
. The Fourier transform is a useful and powerful tool for tackling differential problems arising from engineering, and it is also very critical to fields such as signal processing, wavelet theory, telecommunications, etc. There are various works in the literature with regards to the integral Fourier transform ([3]-[11]). In our article, we focus on the modified Fourier transform or exponential transform where the Kernel function is
, where
. The work is motivated by articles [12]-[14]. More explicitly, we obtain various bounds in modulus of modified Fourier transforms for particularly defined complex Fourier numbers and have some assumptions on the function
in terms of its integrability properties.
Similar work has been done and submitted [15], when
. Other available literature is mentioned here ([16]-[18]). Based on the obtained inequalities (Theorem 1 - Theorem 15), we proceed to obtain corollaries assuming that the kernel function is
, where
is the so-called Euler-Mascheroni constant. The estimates we obtain, reveal that we can bound the modulus of the Fourier transformed quantities by the 2-norm of the function
times some other quantities where at the right hand side, the Riemann zeta function appears for positive integers.
2. Preliminaries
Before proceeding to obtain the various inequalities, we make some assumptions for the function
. The assumptions are the following:
:
, where
. Also, the function
belongs to the class of continuous functions and it has continuous derivative. The space
denotes the continuity of the function
and
is the space for the continuity of the function
. Another assumption for the function
is that it belongs to the space of square integrable functions with finite
norm. More precisely, the
function space is defined as:
.
The complex exponential transform, is an integral transform defined as
where
is the Kernel function, with
.
With regards to the novelty of the work, the following should be considered: In many cases the function
could be a function such that when trying to calculate the integral transform explicitly in closed form, then it becomes a difficult task. Instead, estimates are obtained in modulus, and these estimates can be used to define the bounds of the spectrum. Examples will be provided.
Theorem 1. For
,
, the following estimate holds
(1)
where
.
Proof.
by using the Schwarz-Cauchy inequality.
Theorem 2. For
,
, the following estimate holds
(2)
where
.
Proof.
by employing the Schwarz-Cauchy inequality.
Theorem 3. For
,
, the following estimate holds
(3)
Proof.
by employing the triangle inequality, and exploiting the estimates (1) and (2).
Theorem 4. For
,
, the following estimate holds
(4)
where
,
.
Proof.
by employing the inequalities (1) and (2).
Theorem 5. The following estimate holds
(5)
under the restrictions
Proof.
by employing the Schwarz-Cauchy inequality and De Moivre’s theorem.
Theorem 6. For
,
,
, the following bound holds
(6)
Proof.
using the Schwarz-Cauchy inequality.
Theorem 7. For
,
,
, the following bound holds
(7)
Proof.
by employing Schwarz-Cauchy inequality.
Theorem 8. For
,
, the following estimate holds
(8)
Proof.
using integration by parts, the triangle inequality, the Schwarz-Cauchy inequality and the bound (1).
Theorem 9. For
,
, the following estimate holds
(9)
Proof.
using integration by parts, the triangle inequality, the Schwarz-Cauchy inequality and the bound (2).
Theorem 10. For
,
, the following inequality holds
(10)
Proof.
by employing the triangle inequality and the estimates (8), (9).
Theorem 11. For
,
, the following inequality holds
(11)
Proof.
by doing integration by parts, applying the triangle inequality and making use of the estimates (8) and (9).
Theorem 12. The following estimate holds
(12)
under the restrictions
Proof.
Integrating by parts, using De Moivre’s theorem, applying the triangle inequality and employing the estimate (5).
Theorem 13. For
,
,
, the following bound holds
(13)
Proof.
by integration by parts, using the triangle inequality and employing the inequality (6).
Theorem 14. For
,
,
, the following bound holds
(14)
Proof.
by integration by parts, using the triangle inequality and employing the inequality (7).
Theorem 15. Let
. For
,
,
, the following inequality holds
(15)
Proof.
using integration by parts, the triangle inequality, and the properties of gamma function.
3. Corollaries
In the following section, we provide corollaries stemming from the Theorems 1 - 15. To derive the bounds, we inject
, where
is the Euler Mascheroni constant and we use the mathematical relationship
, (Gourdon and Sebah 2003, p. 3) where
is the Riemann-zeta function. The kernel function in this case is
.
Corollary 1. For
,
, the following estimate holds
Corollary 2. For
,
, the following estimate holds
Corollary 3. For
,
, the following estimate holds
Corollary 4. For
,
, the following estimate holds
Corollary 5. The following estimate holds
under the restrictions
Corollary 6. For
,
,
, the following bound holds
.
Corollary 7. For
,
,
, the following bound holds
Corollary 8. For
,
, the following estimate holds
Corollary 9. For
,
, the following estimate holds
Corollary 10. For
,
, the following inequality holds
Corollary 11. For
,
, the following inequality holds
Corollary 12. The following estimate holds
under the restrictions
Corollary 13. For
,
,
, the following bound holds
Corollary 14. For
,
,
, the following bound holds
Corollary 15. Let
. For
,
,
, the following inequality holds
4. Conclusion
In this article, we derived estimates for the modulus of the modified Fourier transform of
for specifically defined Fourier numbers, and estimates for the function
. Additionally, we have obtained estimates when the kernel function is of the form
where
is the Euler-Mascheroni constant. We have observed then that the bounds obtained have at the right-hand side, terms of the Riemann zeta function, using the formula
.
5. Examples and Illustrations
Figure 1. The right hand side of estimate (1).
Figure 2. The right hand side of estimate (2).
Figure 3. The right hand side of estimate (3) taking the imaginary and real part of Fourier variable to be equal.
Figure 4. The right hand side of estimate (4) taking the imaginary and real part of Fourier variable to be equal.
In this section, we provide some examples with illustrations for a few theorems. The function that we use for testing is
. All the graphs that follow are the right hand sides of estimates (1) up to (4) as functions of the parameter a that appears in the kernel function and the real-imaginary parts of the Fourier variable, see Figures 1-4. For the last two figures (Figure 3 and Figure 4) we take that the imaginary and real parts of the Fourier variable are identical. All the plots have been derived using MatLab software package. Similar graphical depiction can be done for all the theorems, however, we exhibit a selected number of cases.