1. Introduction
Fractional differential equations (FDEs), with extensive applications across a wide class of problems that appear in many fields of the applied sciences, have recently been studied in various research areas. In the literature, it is possible to find some extensions of differential equations to fractional differential equations, for example, the fractional Biswas–Milovic model, the fractional Riccati differential equation, the time-fractional
equation, the time–fractional
equation, etc. [
1,
2,
3,
4]. A widely used class of FDEs is represented by linear and nonlinear boundary value problems of fractional order (FBVPs), and a lot of these models are defined on unlimited domains.
Recently, it has been demonstrated that mathematical problems describing the boundary layer flow of viscous fluid are well-modeled by fractional derivatives. The time–space-dependent fractional boundary layer flow of Maxwell fluid on an unsteady stretching surface is studied by Chen et al. [
5].
Recently, the Lie symmetry analysis has been applied to the nonlinear space-fractional boundary layer equation by Pan et al. [
6]. Mohammadein et al. [
7] found a similarity solution for a viscous fluid flow on an infinite vertical plate with a fractional laminar boundary layer by means of fractional power series technique, and, recently, in [
8], artificial boundary conditions on an unlimited domain were considered.
In fluid mechanics, the classical Sakiadis problem [
9,
10] is considered a variant of the well-known Blasius model [
11], with the boundary layer flow in a quiescent fluid. The main aspect of this problem is to provide the fluid motion via a moving flat plate. In this context, a large number of research studies deal with this problem in the classical formulation [
12,
13,
14], but no study has been performed for its fractional formulation. In this paper, starting from the classical Prandtl boundary layer equations for a Newtonian fluid and following the recently proposed theories, we propose a fractional version of the boundary layer Sakiadis model in terms of the fractional Caputo derivative. The fractional derivative allows for the modeling of some anomalous diffusion processes, and it is very efficient at describing certain real-world phenomena, especially when the dynamic is affected by the structure inherent to the system. Furthermore, the Caputo definition of the fractional derivative enables the definition of an initial value problem whose initial conditions are given in terms of the field variable and its integer-order derivatives. This is in agreement with the clear physical meaning of most of the processes that arise in the real world.
The governing nonlinear fractional partial differential equations are reduced to a fractional ordinary differential equation by means of the extended Lie symmetry analysis for FDEs with Caputo or Riemann–Liouville derivatives, developed by [
15,
16,
17] and applied in [
18,
19]. The classical numerical approach to solving the fractional ordinary differential equation is not applicable, and, therefore, some new techniques are needed. Thus, the resulting fractional ordinary differential equation has been solved numerically by means of a finite difference method implemented on quasi-uniform meshes for FBVPs. The Caputo derivative is approximated by a suitable variant of the well-known L1 formula, and then a finite difference operator is found. Next, we consider a smooth, strictly monotonic function to build a quasi-uniform map, and then we implement, on the original semi-infinite domain, an implicit finite difference method defined on a quasi-uniform grid that permits requiring the given asymptotic boundary conditions exactly. The obtained numerical results show the reliability of the proposed fractional formulation of the Sakiadis model, and the numerical advantage of the used approach is to solve the FBVP defined on a semi-infinite interval by using a stencil built such that the boundary conditions are exactly assigned at infinity. The paper is structured as follows. In
Section 2, we present the derivation of the fractional Sakiadis model, the Lie Group analysis, the Lie transformation of the variables and the reduced fractional ordinary differential model. In
Section 3, we show the numerical method and results, and, in
Section 4, we offer our concluding remarks.
2. Derivation of the Fractional Sakiadis Model
In order to derive the fractional formulation of the mathematical model, the object of this study, we follow the theory recently proposed in [
20]. We derive the fractional Sakiadis model from the classical Prandtl boundary layer equations, which are of particular interest since they are considered a simplification of the original Navier–Stokes equations and describe various physical problems of fluid mechanics. In particular, in the equation of the moment, we replace the second derivative of integer order with a fractional-order Caputo derivative and proceed using the Lie symmetry analysis that allows us to reduce the fractional partial differential equations to a fractional ordinary differential one.
The system of boundary layer equations for a planar steady flow of liquid with constant coefficients of the kinematic viscosity
and density
has the form
and is known as the Prandtl model [
21,
22]. The flow is two dimensional where the
x-axis is along the plane of the moving plate and the
y-axis is normal to it.
and
are velocity components, and
and
are the components of the pressure gradient in the
x- and
y-directions.
In this paper, we consider the problem with the surface moving continuously at a constant velocity
U. We neglect the pressure gradient as it is sufficiently small that it can be assumed to be equal to zero. We propose a model obtained by replacing, in the equation of the moment of the classical model, the second derivative of integer order
with a fractional
-order Caputo derivative [
23,
24,
25]
defined as follows
Thus, we obtain the following fractional formulation of the model for the laminar boundary layer flow on a semi-infinite flat plate
subject to the boundary conditions
with
as the constant surface velocity.
By defining the stream function
such that
we obtain the
-order nonlinear fractional partial differential equation (FPDE)
where
The boundary conditions become
In the next section, we perform the Lie Group analysis for Equation (
4) and for boundary conditions (
5), which will allow us to obtain a transformation of the variables that reduces the above fractional partial differential equation into a fractional ordinary differential model.
Lie Symmetry Method
In this section, we briefly recall the Lie Symmetry theory for FDEs involving the Caputo derivative, developed in [
16,
17]. We consider an FPDE of
-order (
),
where
is the Caputo derivative with respect to
x or
y. According to the theory, the invertible transformations of the variables
and
u, represented as
which depend on a continuous parameter
a, are one parameter Lie point symmetry transformations of Equation (
6) if Equation (
6) preserves its form in the new variables
and
U. The set
G of all such transformations forms a
continuous group, defined as the group admitted by Equation (
6). By expanding (
7) in a Taylor series around
, we obtain the infinitesimal transformations
where
,
and
, the infinitesimals, are given by
and the corresponding infinitesimal operator of the group
G is
The infinitesimals
,
and
are obtained by solving the invariance condition:
where the
is the
-order prolongation of operator (
8) acting on (
6), given by
where
,
,
,
and
are the extended infinitesimals given by well-known recursion relations [
26], whereas
is a new extended infinitesimal with, as in the classical theory, a recursion form [
15,
16,
17].
Invariance condition (
9) is a linear FDE for the unknown infinitesimals
,
and
. Splitting the coefficients of all derivatives of
u, including the fractional ones
, we obtain an overdetermined set of linear differential equations (determining equations) for the infinitesimals, which (by integration) leads us to find the generators of the Lie point symmetries admitted by Equation (
6). When boundary value conditions are assigned to model (
6), in accordance with the invariance principle [
26], the invariance with respect to the operator
of the assigned boundary conditions must be satisfied.
Now, we determine the Lie symmetries of Equation (
4). Invariance condition (
9) applied to Equation (
4) reads as
and the extended fractional infinitesimal reads as [
15,
16,
17,
27]
As usual, we introduce the generalized Leibnitz rule to simplify the extended infinitesimal
, assuming
to be linear in
u. After combining sums and factorizing, and neglecting terms of higher powers of the group parameter
a, with the support of the computer algebra software Wolfram Mathematica v.12 (Wolfram Research, Inc., Champaign, IL, USA), we obtain
The obtained infinitesimals satisfy, in accordance with the extension of the Lie symmetry method to FPDEs [
16,
17], the following invariance condition to conserve the structure of the fractional derivative:
The invariance of the boundary value conditions on
of stream function (
5) reads as
which leads to obtaining
and, to simplify the calculations, we neglect the
x-translation, setting
, which may be included again in the solution by replaying
. The transformation is
In terms of the new variables,
and
, the Caputo derivative
reads as
Finally, by using the above relation and transformation (
13), Equation (
4) is reduced to the following fractional ordinary differential equation
with
and the boundary conditions given by
where we set
. Equation (
14) with boundary conditions (
15) is the fractional formulation of classical Sakiadis equation for
for a continuous flat surface. However, Equation (
14) is the same as the well-known Blasius one, but the boundary conditions are different. As a consequence, the solution to Equation (
14) with (
15) will be different from the Blasius solution for the flat plate of a finite length.
In the next section, we find the numerical solution to fractional boundary value problems (
14) and (
15) by means of a finite difference method.
3. Numerical Method and Results
In this section, in order to solve fractional model (
14), subject to boundary conditions (
15), we implement the recently proposed finite difference method that is able to impose the given asymptotic boundary conditions exactly. An analysis of the stability, consistency and convergence properties of the proposed method is conducted in the paper [
20]. In order to develop the numerical method, we first discretize the infinite domain by a quasi-uniform grid, and then we define suitable approximation formulas for the field variable, its first derivative and its fractional derivative.
In order to discretize the infinite domain, we propose the following map,
, with
,
with
as the control parameter that, by a uniform distribution of the grid points
in
, defines a quasi-uniform distribution of the grid points
for
. In this way, we use a map in order to discretize the infinite domain by a finite number of intervals, where the last interval is of infinity length since the last node is placed at infinity:
. Moreover, we define the mesh points,
, internal to the single interval, as follows
The main features of the proposed mesh discretization are:
- (1)
The last interval is an infinite one;
- (2)
The last point ;
- (3)
The mid-point of the last infinite interval is finite.
Now, we need to define the approximations of a scalar function
, its first derivative
and the Caputo derivative
at mid-points of the grid
. To approximate the function and its first derivative with respect to
, we use the following finite difference discretization formulas [
28]
where
and the grid points
, with
and
, are defined by (
17).
In order to integrate the Caputo derivative
, we propose a suitable modification of the following classical well-known L1 formula, [
29], evaluated at the mesh point
,
by evaluating it at the mesh mid-point
and not at the mesh point
, as follows
where the first derivative
is approximated by (19). By using
and
, with
, as the numerical approximations of the function
at the mesh points
and
,
and
, respectively, we obtain
where
being
As usual, we write FBVPs (
14) and (
15) as a system of fractional nonlinear ordinary differential equations, and, by setting
,
and
and using formulas (
18)–(
20) for
, for
, we have
for
, where
and where the boundary conditions read as
Additionally,
,
and
In the proposed finite difference formulas, (
18)–(
20), used to construct the finite difference method in (
21), the value of the solution at infinity, denoted as
, appears instead of the infinity grid point
, which, in general, cannot be used from the numerical point of view. In this way, the boundary conditions at infinity are assigned in a natural way.
As usual, the FBVP is reformulated as an equivalent fractional initial value problem (FIVP). By setting the missing initial condition,
, we define an equation that is solved by means of the shooting implemented with the secant method. Setting two suitable values,
and
, the FIVP is solved numerically with a fixed tolerance
.
Figure 1 shows the numerical solution obtained with
grid points.
In
Table 1, we report the initial missing value for
at the point
for different values of
. We find that
for the missing initial conditions
at the point
for
. The missing value, calculated by Sakiadis [
10], is
.
In
Figure 2, we show the numerical solution obtained for
and the numerical solution for
obtained by using the Matlab solver ode23s, implemented via the shooting approach on a truncated boundary of the length
. It is important to note that, in the literature, the benchmark values of the missing initial condition
exist only for
. Then, to validate the fractional formulation of the proposed model and perform a comparison, we can only show how the numerical solution of the fractional model for
tends to the numerical solution of the classical model. Therefore, we can assert that the proposed model represents a reliable fractional formulation of the classical Sakiadis flow.
We can conclude that the proposed method, implemented on the logarithmic map, proves to be a reliable and efficient tool for solving the Sakiadis problem. The quasi-uniform distribution of grid points allows the solution to be approximated with a higher accuracy. The grid is denser at the beginning of the process where the solution shows a particular behavior.