Abstract
The purpose of this article is to obtain appropriate tools for solving fractional differential equations that are flexible enough to adapt to different purposes. We thus look for a very general fractional Fourier transform with a phase function which can be appropriately chosen according to the problem you want to face.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and preliminaries
In the current literature, there are many different definitions of fractional Fourier transforms, employed for instance in the fields of optics, sound, or signal processing (see [6]). Nevertheless, these definitions are not always suitable for solving fractional differential equations, similarly as for partial differential equations by means of the classical Fourier transform. Hence, the idea of looking for an integral operator of the form
with a kernel \(K_f(x,\xi )\) depending on a function \(f:{\mathbb {R}}\rightarrow {\mathbb {C}}\) appropriately chosen, so that \({\mathscr {F}}_f\) satisfies properties similar to those of the Fourier or Laplace transforms usually needed for solving partial differential equations. In particular, we require that for all u, v sufficiently regular and \(\xi \in {\mathbb {R}}\)
- (i):
-
\({\mathscr {F}}_f(u*v)(\xi )={\mathscr {F}}_fu(\xi )\cdot {\mathscr {F}}_fv(\xi )\),
- (ii):
-
\({\mathscr {F}}_f({\mathscr {D}}_+^nu)(\xi )=f^n(\xi )\cdot {\mathscr {F}}_fu(\xi ), \quad \forall n\in {\mathbb {R}}^+\),
- (iii):
-
\({\mathscr {F}}_f\) is left-invertible, i.e., there exists \({\mathcal {G}}_f\), such that \({\mathcal {G}}_f\circ {\mathscr {F}}_fu(x)=u(x)\) for all \(x\in {\mathbb {R}}\)
where \({\mathscr {D}}_+^n u\) is the Riemann–Liouville derivative of fractional order n on the half-line, defined by
Definition 1.1
For all real positive n, the Riemann–Liouville fractional integral on the half-line is defined by
where \(\Gamma (n)=\int _0^{+\infty }x^{n-1}e^{-x}\text {d}x\) is the Gamma function. Set \({\mathscr {I}}^0_+u:=u\).
The Riemann–Liouville fractional derivative on the half-line is then defined by
where \({\mathscr {D}}^{\lceil n\rceil }\) is the classical derivative of integer order \(\lceil n\rceil \) (here \(\lceil n\rceil \) is the smallest integer greater than or equal to n).
We refer for instance to [7] for more details about fractional integrals and derivatives.
To understand how to define the kernel function \(K_f(x,\xi )\) and which assumptions to require for the function f or for the space of functions where the operator \({\mathscr {F}}_f\) acts (assumptions on u in (1.1)), let us first formally impose condition (ii) for \(n=1\), that is
Assuming that u and \(K_f(\cdot ,\xi )\) are sufficiently regular, so that we can integrate by parts, and assuming, moreover, that \(x\mapsto u(x)K_f(x,\xi )\) vanishes for \(x\rightarrow \pm \infty \), we have that
which is equal to
if the kernel \(K_f\) satisfies the differential equation
whose general solution is of the form
for some function \(g:{\mathbb {R}}\rightarrow {\mathbb {C}}\).
Remark 1.2
If \(g(\xi )\equiv 1\) and \(f(\xi )=i\xi \), we get the kernel of the classical Fourier transform
which is defined for u in \(L^1({\mathbb {R}})\) and, in particular, in the Schwartz class of rapidly decreasing functions
with standard extensions to other classes of functions such as \(L^2({\mathbb {R}})\) or the space \({\mathscr {S}}'({\mathbb {R}})\) of tempered distributions.
We shall then assume \(u\in {\mathscr {S}}({\mathbb {R}})\) in the following.
Remark 1.3
Condition \(g(\xi )\equiv 1\) is necessary to obtain property (i) for \(u,v\in {\mathscr {S}}({\mathbb {R}})\) and a phase function of the form \(i f(\xi )\) for a real-valued function f. Indeed, applying Fubini’s Theorem, we have that
This is equal to
only for \(g(\xi )\equiv 1\) (we clearly exclude \(g(\xi )\equiv 0\)).
Remark 1.4
Iterating (1.2) recursively, we get (it is trivial for \(n=0\))
2 General fractional Fourier transforms
By all the considerations of Sect. 1, we now define the following:
Definition 2.1
Let \(f:{\mathbb {R}}\rightarrow {\mathbb {R}}\) be a \(C^\infty \) function with polynomial growth, i.e., such that for all \(n\in {\mathbb {N}}\), there exists \(k\in {\mathbb {N}}\) and \(c_n>0\) which satisfies
and
for some \(\alpha >0\).
Then, we consider on \({\mathscr {S}}({\mathbb {R}})\) the integral operator \({\mathscr {F}}_f\) defined by
Proposition 2.2
Let f and \({\mathscr {F}}_f\) be as in Definition 2.1. Then, \({\mathscr {F}}_f\) is a well-defined operator
Proof
Clearly, \({\mathscr {F}}_f\) is well defined on \({\mathscr {S}}({\mathbb {R}})\), since \(f(\xi )\) is real valued, and hence, the integral (2.3) is convergent for \(u\in {\mathscr {S}}({\mathbb {R}})\).
Moreover, the operator \({\mathscr {F}}_f\) can be related to the classical Fourier transform by
It is well known that \({\mathscr {F}}u\in {\mathscr {S}}({\mathbb {R}})\) for \(u\in {\mathscr {S}}({\mathbb {R}})\) and therefore \(({\mathscr {F}}u)\circ f\in {\mathscr {S}}({\mathbb {R}})\) by the assumptions (2.1)–(2.2) on f. \(\square \)
By (1.3) with \(g(\xi )\equiv 1\), we already proved that \({\mathscr {F}}_f\) satisfies property (i):
Theorem 2.3
Let \({\mathscr {F}}_f\) be the integral transform defined in (2.3). Then
Moreover, \({\mathscr {F}}_f\) satisfies property (ii) for \(n\in {\mathbb {N}}\) by (1.4). To prove (ii) for real positive orders of fractional derivatives, we first need some remarks and lemmas.
Remark 2.4
The Gamma function \(\Gamma :{\mathbb {C}}\rightarrow {\mathbb {R}}\) is defined in general on the half complex plane \(\{z\in {\mathbb {C}}: \textrm{Re}z>0\}\) by
The integral is indeed convergent at infinity for all \(z\in {\mathbb {C}}\) because of the factor \(\text {e}^{-x}\), and it is convergent for \(0<x<1\) if \(\textrm{Re}z>0\), since \(|\text {e}^{-x}x^{z-1}|\le x^{\textrm{Re}z-1}\).
We shall also need the following (see [7, (7.5)] or [3] for more details):
Lemma 2.5
Let \(0<\textrm{Re}z<1\) and \(a\in {\mathbb {C}}\setminus \{0\}\) with \(\textrm{Re}a\ge 0\). Then
Let us now prove:
Lemma 2.6
If \(0<n<1\) and \(u\in {\mathscr {S}}({\mathbb {R}})\), then for all \(\xi \in {\mathbb {R}}\) with \(f(\xi )\ne 0\), we have that
Proof
Let us first express the Riemann–Liouville integral via a convolution product
where \(\chi _{(0,+\infty )}(t)\) is the characteristic function of the half-line \((0,+\infty )\), that is
Let us now remark that to prove (1.3), we did not really need \(u,v\in {\mathscr {S}}({\mathbb {R}})\). Property (i) holds also for \(u\in {\mathscr {S}}({\mathbb {R}})\) and \(v(t)=t^{n-1}\chi _{(0,+\infty )}(t)\in {\mathscr {S}}'({\mathbb {R}})\). We thus obtain
We can now apply Lemma 2.5 with \(z=n\in (0,1)\) and \(a=if(\xi )\) (hence, \(\textrm{Re}a=0\)) and obtain that
\(\square \)
Theorem 2.7
Let \(n\in {\mathbb {R}}^+\setminus {\mathbb {N}}\) and \(u\in {\mathscr {S}}({\mathbb {R}})\). Then, for all \(\xi \in {\mathbb {R}}\) with \(f(\xi )\ne 0\), we have that
Proof
By Definition 1.1, Remark 1.4, and Lemma 2.6, for \(0<\lceil n\rceil -n<1\), we have that
\(\square \)
From Remark 1.4 and Theorem 2.7, we finally have property (ii):
Corollary 2.8
Let \(n\in {\mathbb {R}}^+\) and \(u\in {\mathscr {S}}({\mathbb {R}})\). Then, for all \(\xi \in {\mathbb {R}}\) with \(f(\xi )\ne 0\), we have that
Let us now prove property (iii):
Theorem 2.9
Let f be as in Definition 2.1. Then, \({\mathscr {F}}_f\) admits a left inverse operator given by
i.e., \({\mathcal {G}}_f({\mathscr {F}}_f\,u)=u\) for all \(u\in {\mathscr {S}}({\mathbb {R}})\).
Proof
Let us first remark that by the assumptions on f in Definition 2.1, the derivative \(f'(\xi )\) has polynomial growth, and hence, \(v(\xi )f'(\xi )\in L^1({\mathbb {R}})\) and \({\mathcal {G}}_f\) is well defined, being \(f(\xi )\) real valued.
Moreover, \({\mathscr {F}}_f u\in {\mathscr {S}}({\mathbb {R}})\) for \(u\in {\mathscr {S}}({\mathbb {R}})\) by Proposition 2.2 and, therefore, \({\mathcal {G}}_f({\mathscr {F}}_fu)\) is also well defined
By the assumption (2.2) on f, we have that \(f(\xi )\rightarrow +\infty \) for \(\xi \rightarrow +\infty \) and \(f(\xi )\rightarrow -\infty \) for \(\xi \rightarrow -\infty \). It follows that we can consider the change of variables \(y=f(\xi )\) and obtain:
by the inversion formula for the classical Fourier transform. \(\square \)
Let us now prove other useful properties of \({\mathscr {F}}_f\).
Proposition 2.10
Let \(u\in {\mathscr {S}}({\mathbb {R}})\) and \(h\in {\mathbb {R}}\). Then, for all \(\xi \in {\mathbb {R}}\), we have that
Proof
By the change of variables \(s=x-h\), we have
\(\square \)
Proposition 2.11
Let \(u\in {\mathscr {S}}({\mathbb {R}})\) and \(\lambda >0\). Then, for all \(\xi \in {\mathbb {R}}\), we have that
Proof
By the change of variables \(s=\lambda x\), we have
\(\square \)
Proposition 2.12
Let \(u\in {\mathscr {S}}({\mathbb {R}})\) and \(n\in {\mathbb {N}}\setminus \{0\}\). Then, for all \(\xi \in {\mathbb {R}}\), we have that
where
Proof
Since \(({\mathscr {F}}_fu)(\xi )=({\mathscr {F}}u)(f(\xi ))=(({\mathscr {F}}u)\circ f)(\xi )\), the proof follows from the analogous one for the classical Fourier transform \({\mathscr {F}}\):
Note that we could differentiate under the integral sign, since \(u\in {\mathscr {S}}({\mathbb {R}})\).
Let us now compute the nth derivative of the composite function \(\text {e}^{-ixf(\xi )}\) by means of the Faà di Bruno formula
with \(\varphi (y)=\text {e}^{-ixy}\)
Substituting into (2.8), we get
for \(h(\xi )\) defined as in (2.7). \(\square \)
Remark 2.13
The assumptions considered in this section of rapidly decreasing functions u in the domain of \({\mathscr {F}}_f\) for a function f with polynomial growth may be modified in such a way that all the integrals converge.
3 An example of application
In this section, we shall apply the results of Sect. 2 to solve a linear partial differential equation of fractional order (similar to a diffusion-type fractional differential equation considered in [4, Sect. 5]), where the Riemann–Liouville fractional derivatives and the Caputo fractional derivatives are involved. We shall work again in the Schwartz class \({\mathscr {S}}\) for the sake of simplicity, but more general spaces may be considered.
Let us first introduce the Caputo fractional derivatives. These are related to the Riemann–Liouville fractional integrals and derivatives on an interval [a, b] for \(n\in {\mathbb {R}}^+\)
The Caputo fractional derivative of order \(n\in {\mathbb {R}}^+\) can be defined by (there are other equivalent formulations, see [2, Thm. 3.1])
If \(a=0\), we denote \({\mathscr {I}}^n_0={\mathscr {I}}^n\) and \({\mathscr {D}}^n_{*0}={\mathscr {D}}^n_*\).
For a function of two variables u(x, t), we denote by \({\mathscr {D}}^\alpha _{+,x}u(x,t)\) its Riemann–Liouville fractional derivative of order \(\alpha \in {\mathbb {R}}^+\) on the half-line with respect to the x-variable and by \({\mathscr {D}}^\beta _{*,t}u(x,t)\) its Caputo fractional derivative of order \(\beta \in {\mathbb {R}}^+\) (for \(a=0\)) with respect to the t-variable.
Let us then consider the following fractional Cauchy problem, for \(\alpha ,\beta \in {\mathbb {R}}^+\):
for given \(g_j\in {\mathscr {S}}({\mathbb {R}})\), \(0\le j\le \lceil \beta \rceil -1\).
To solve the Cauchy problem (3.1), we shall also make use of the Laplace operator, defined for \(u\in {\mathscr {S}}({\mathbb {R}})\) by
We refer, for instance, to [1] or [8] for the Laplace transform on more general spaces of functions, or for further details (the Laplace transform will be then defined for \(\textrm{Re}s>\alpha \), where \(\alpha \) is the abscissa of convergence and depends on the function u). We recall here some basic properties of the Laplace transform. If \(u,v\in {\mathscr {S}}({\mathbb {R}})\) with support in \([0,+\infty )\), the convolution operator takes the form
and for all \(s\in {\mathbb {C}}\) with \(\textrm{Re}s>0\)
Moreover, the following relation between integer-order differentiation and Laplace transform is well known, for all \(s\in {\mathbb {C}}\) with \(\textrm{Re}s>0\) (cf. [1, 8]):
A similar formula holds also for the Caputo fractional derivative (cf. [2])
Proposition 3.1
Let \(n\in {\mathbb {R}}^+\) and \(u\in {\mathscr {S}}({\mathbb {R}})\). Then, for all \(s\in {\mathbb {C}}\) with \(\textrm{Re}s>0\)
Proof
From (2.6), (3.2), (2.5), and (3.3), we get for \(n\in {\mathbb {R}}^+\setminus {\mathbb {N}}\)
\(\square \)
We are now ready to solve the Cauchy problem (3.1). Assume that \(u\in {\mathscr {S}}({\mathbb {R}}^2)\) and choose any f as in Definition 2.1, so that \({\mathscr {F}}_f\) satisfies all properties (i)–(iii) of Sect. 2. Applying \({\mathscr {F}}_f\) to both sides of the given equation, by Theorem 2.7, we have
Applying now the Laplace transform to both sides of (3.4), we have, for \(s\in {\mathbb {C}}\) with \(\textrm{Re}s>0\)
by Proposition 3.1. Therefore
Here, we follow [4] (cf. also [2]) to invert the Laplace transform: the Mittag–Leffler function
is an entire function of z, related to the Laplace transform by
Substituting in (3.5) for \(\gamma =\beta \), \(\delta =k+1\), and \(\lambda =(if(\xi ))^\alpha \), we have, for \(x\in {\mathbb {R}}\) and \(t>0\) (cf. [1])
Applying \({\mathcal {G}}_f\) to both sides of (3.6), by Theorem 2.9, we finally obtain the solution of the Cauchy problem (3.1)
for \(x\in {\mathbb {R}}\) and \(t>0\).
Example 3.2
Let us consider the fractional Cauchy problem (3.1) for \(\alpha =\frac{1}{3}\) and \(\beta =\frac{1}{2}\)
Note that \(\lceil \beta \rceil =1\), and from (3.7), we get the solution
Choosing \(f(\xi )=\xi ^3\), we have that
where \(\textrm{erfc}(z)\) is the complementary error function defined by
Taking for instance
we have that \({{\hat{g}}}_0(\xi )=\sqrt{2\pi }e^{-\xi ^2/2}\), and hence, \({\mathscr {F}}_f(g_0)(\xi )=\sqrt{2\pi }e^{-\frac{1}{2} f^2(\xi )}=\sqrt{2\pi }e^{-\frac{1}{2} \xi ^6}\). Substituting it into (3.9), together with (3.10), we finally get the solution
4 Conclusions
We have considered a very general fractional Fourier transform
for any smooth real phase function \(f(\xi )\) with polynomial growth satisfying
for some \(\alpha >0\), and studied its properties useful for applications to fractional differential equations, such as its left inverse transform or its behavior with respect to convolution, translations, dilatations, and the Riemann–Liouville fractional derivatives and integrals.
This approach has the advantage of the large freedom in the choice of the phase function \(f(\xi )\), easily adaptable to different problems. Example 3.2 shows that for a fractional differential equation as in (3.8)–(3.11), the choice of \(f(\xi )=\xi ^3\) gives rise to the solution (3.12) by a straightforward calculation.
Further developments could be achieved by looking for an integral transform similar to (4.1) suitable for the Grünwald–Letnikov fractional derivative, in view of numerical approximations useful for applications.
Data availability
Not applicable.
References
Barozzi, G.C.: Matematica per l’Ingegneria dell’Informazione. Zanichelli, Italy (2004)
Diethelm, K.: The Analysis of Fractional Differential Equations, vol. 2004. Lecture Notes in Mathematics. Springer, Berlin (2010)
Franceschi, J.: A Study of Fractional Calculus Applicability to System Identification and Modeling for Control Design Purposes. Tesi di Laurea Magistrale in Matematica, Università degli Studi di Ferrara, Italy (Double Title with the “Master en Investigaciòn Matemàtica” of the Universitat de València and the Universitat Politècnica de València, Spain) (2021)
Kilbas, A.A.; Luchko, Y.F.; Martínez, H.; Trujillo, J.J.: Fractional Fourier transform in the framework of fractional calculus operators. Integr. Transforms Spec. Funct. 21, 779–795 (2010)
Luchko, Y.F.; Martínez, H.; Trujillo, J.J.: Fractional Fourier transform and some of its applications. Fract. Calc. Appl. Anal. 11(4), 457–470 (2008)
Ozaktas, H.; Zalevsky, Z.; Kutay, M.: The Fractional Fourier Transform with Applications in Optics and Signal Processing. Wiley, New Jersey (2001)
Samko, S.G.; Kilbas, A.A.; Marichev, O.I.: Fractional Integrals and Derivatives. Gordon and Breach Science Publishing, USA (2017)
Widder, D.V.: The Laplace Transform. Princeton University Press, Princeton (1941)
Acknowledgements
The first author is member of the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM) and is supported by the Projects FAR 2019, FAR 2020, and FAR 2021 (University of Ferrara). The second author is member of the Gruppo Nazionale per la Fisica Matematica (GNFM) of the Istituto Nazionale di Alta Matematica (INdAM) and is supported by the MUR-PRIN2020 Project No. 2020JLWP23 “Integrated mathematical approaches to socio-epidemiological dynamic”.
Funding
Chiara Boiti was partially funded by the grants FAR 2019, FAR 2020, and FAR 2021, from the University of Ferrara (Italy). Jonathan Franceschi was partially funded by the grant MUR-PRIN2020 under Project No. 2020JLWP23 “Integrated mathematical approaches to socio-epidemiological dynamic”, from the Ministero dell’Università e della Ricerca (Italy).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that there is no conflict of interest.
Informed consent
Not applicable.
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 licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Boiti, C., Franceschi, J. Integral transforms suitable for solving fractional differential equations. Arab. J. Math. 13, 79–89 (2024). https://doi.org/10.1007/s40065-023-00445-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40065-023-00445-w