Abstract
Fourth order extended Fisher Kolmogorov reaction diffusion equation has been solved numerically using a hybrid technique. The temporal direction has been discretized using Crank Nicolson technique. The space direction has been split into second order equation using twice continuously differentiable function. The space splitting results into a system of equations with linear heat equation and non linear reaction diffusion equation. Quintic Hermite interpolating polynomials have been implemented to discretize the space direction which gives a system of collocation equations to be solved numerically. The hybrid technique ensures the fourth order convergence in space and second order in time direction. Unconditional stability has been obtained by plotting the eigen values of the matrix of iterations. Travelling wave behaviour of dependent variable has been obtained and the computed numerical values are shown by surfaces and curves for analyzing the behaviour of the numerical solution in both space and time directions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Different forms of non-linear PDEs like advection–diffusion, reaction–diffusion or many more have been modelled and analyzed corresponding to some real-life phenomenon or scientific processes so far [2, 4, 16, 24, 34, 44]. Non-linear reaction diffusion equations having fourth order derivative terms, frame problems in the vast category of fields under science and engineering. These equations occur in both the form of ordinary differential equation (ODE) and partial differential equation (PDE). The wide applications of these problems have made it the topic of research worldwide since long ago. In [62] a non-linear PDE modelling the under-ground water flow problem, which is a serious problem for the living-beings has been considered. In [59] a non-linear PDE modelling the propagation of optic pulses in optic fibers has been solved analytically. Applications of various non-linear partial differential equations and non availability of the compact form of solution in most of the cases, demands an efficient technique for analysing the phenomenon. Earlier, non-linear PDEs have been treated numerically as well as analytically [1, 38] to study the solution behaviour of these problems. Various forms of non-linear reaction–diffusion equations having vast field of applications has been studied so far [14, 35, 42, 66]. Extended Fisher Kolmogorov (EFK) equation is an example of such type of reaction diffusion equation involving linear diffusion term and non-linear logistic term f(u). Consider the general form of non-linear reaction diffusion fourth order parabolic partial differential equation.
with \(\varepsilon > 0\) and f(u) as a non-linear polynomial function of u.
Initially, \(u(\zeta ,0)\)= \(u_0 (\zeta )\) \(\zeta \in (a, b).\)
The boundary conditions are defined as:
where, \(g_1(t), g_2(t), g_3(t)\) and \(g_4(t)\) are continuous functions of t and \(f(u) = u-u^m, \ m > 1.\) For \(f(u)=u-u^3,\) the Eq. (1) is introduced as Extended Fisher–Kolmogorov (EFK) equation with perturbation parameter \(0 \le \varepsilon \le 1.\) For \(\varepsilon = 0,\) Eq. (1) is standard Fisher–Kolmogorov equation given by Fisher and Kolmogorov which models complex biological processes in gene theory [6, 28]. The requirement \(\varepsilon > 0\) is chosen for stability of Eq. (1) at short wavelength [23]. Various physical phenomenon like pattern formation due to propagating fronts [23, 64], spatial temporal chaos in bi-stable systems [19], chemical waves [27], transition of phase and propagation of fronts near a Lipschitz point [33, 67], instabilities in liquid crystals [18, 67], propagating waves in reaction–diffusion systems [29, 55] have been framed by Eq. (1) which approaches the amplitude near certain degenerate points [57]. Also, in [56], the transition from periodic patterns by Ginzburg–Landau equation to the multi-bump solutions predicted by EFK equation has been discussed. Periodicity, chaotic, stationary behavior, uniqueness of the solution and existence of kinks, travelling wave solutions etc. have also been considered [22, 47, 49,50,51, 57, 63].
In literature, non-linear parabolic PDEs have been analyzed by different numerical techniques [9, 53]. Various elliptic non-linear second order PDEs having compact form of solution have been treated with generalized finite difference method given in [30]. Due to the complex nature, compact form of solution exists only for some non-linear higher order PDEs. Complexity of the equation enhances the requirement of numerical techniques. EFK equation has been analyzed by variational method for investigating the nature of saddle-focus equilibria connections [36]. Topological shooting method has been applied for the existence of kinks and analyzing their properties [48]. Numerically, it has been implemented with the differential quadrature method [13, 54], orthogonal cubic spline collocation method [21], quintic B- spline collocation method [46], mixed finite element method [65], quintic trigonometric differential quadrature method [7], finite element method [20], Galerkin approximation technique [31], compact difference method [37] etc. Quasi-Exact solution has been obtained in [39]. Local radial basis function, finite difference method [25] has also been implemented for numerical solution of EFK equation.
In present study collocation method with Hermite splines has been discussed. Collocation technique is basically a three-step process
-
1.
Suitable choice of the finite degree polynomial lying in finite dimensional space for the discretization process.
-
2.
Suitable choice of collocation points for space discretization.
-
3.
Making that polynomial solution to satisfy the equation at the collocation points.
In the present study, a hybrid Crank–Nicolson quintic Hermite spline method accomplished by the reduction of the order of the aforementioned differential equation has been considered. The considered mesh is uniform in both space and time directions. This technique improves the efficiency of collocation technique in approximation by interpolating the function and its derivatives up-to second order at nodal points. Quintic Hermite splines are simple, smooth, easy to implement and can be implemented to the variety of boundary value problems having high order and high degree of non-linearity. Travelling wave behaviour has been analysed with different values of various parameters and the non-linear function f(u). Quintic Hermite splines (QHS) provide super convergence up to fourth order in spatial direction and Crank–Nicolson scheme is second order convergent. Earlier, the technique has been applied to second order, singularly perturbed non-linear partial differential equations [8, 11, 12]. The computational work for the approximation of fully discrete system is comparatively easy to program.
The paper is fabricated by the introduction of EFK equation in Sect. 1. Second order splitting method has been explained briefly under Sect. 2. Hybrid quintic Hermite spline collocation method has been elaborated in Sect. 3 whereas in Sect. 4 stability analysis has been discussed. The existence of error bounds and convergence analysis has been discussed in Sect. 5. The application of QHS with Crank Nicolson scheme has been discussed in Sect. 6 and the conclusions of the entire study is given in Sect. 7.
2 Second order splitting of EFK equation
Fourth order non-linear equations involve concerned differential equation and four constraints. To apply any numerical technique, these constraints play an important role to discretize the equation. Quintic Hermite splines by construction involve the discretized form of the differential equation at collocation points and two constraints at the boundary of the interpolating polynomial. Therefore, to apply quintic Hermite splines on fourth order differential equation, it must be split into second order differential equation by introducing second order continuously differentiable function to reduce the number of constraints to two for each interpolating polynomial.
Theorem 2.1
[5] Any Hermite interpolation problem of any order \(n \in N\) is applicable on two point boundary value problems.
Consider the non-linear EFK type Eq. (1). For the implementation of proposed technique, a twice continuously differentiable function \(v(\zeta , t)\) has been introduced such that:
On substitution [26], the induced coupled system of differential equations is obtained as under:
with \(f(u)=u-u^m,\) subject to the following initial and boundary conditions:
Hence, a fourth order equation has been reduced to a system of equations with one equation is linear and another is semi-linear. This splitting of non-linear EFK equation gives a semi-linear parabolic equation in two function u and v.
3 Hybrid quintic hermite spline collocation method
The hybrid technique consists of discretization using time and space semi-discretizing techniques. This two-step process has been implemented to the second order coupled system of singularly perturbed PDEs:
3.1 Time discretization
For discretization in time direction, the Crank–Nicolson scheme has been followed as a special case of weighted finite difference scheme [60]. This Crank–Nicolson scheme is based on the concept of nearest neighbourhood points to analyse the behaviour without any jump in time direction [15]. For implementation of the technique to the reduced coupled system for EFK equation, let \( v^{n+1}\) and \(u^{n+1}\) be the approximating polynomial function at time step \(t_{n+1}.\) Also, let \(\Delta t = T/M,\ \ M > 0\) then \( t_n = n \Delta t\) for \(n= 0, 1, 2,\ldots , M.\) The semi-discretized form of the coupled system follows as:
with corresponding boundary conditions are given by Eqs. (6) and (7), respectively. For any function F,
3.2 Space discretization
Let \( \Pi : a = \zeta _0< \zeta _1< \zeta _2< \cdots <\zeta _n = b ,\) \(\zeta _i^\prime s \in I\) be the partition of the domain \(I = [a, b]\) and let \(h_i = \zeta _{i+1} - \zeta _i\) and \( I_i\) denotes \([\zeta _i , \zeta _{i+1}].\) Corresponding to each subinterval \( I_i,\) six collocation points have been taken including two boundary or node points. Collocation points are the roots of shifted Legendre polynomial of order six which are not equidistant to the average and the details of these collocation points is given elsewhere [10].
In space direction, the quintic Hermite interpolating polynomials \(P_i(\eta ), \bar{P_i}(\eta )\) and \(\bar{\bar{P_i}}(\eta )\) are introduced to approximate the trial function within each partition \(I_i\) of the domain. The approximate function is considered as:
where \(P_i(\zeta )\) interpolates the function \(u(\zeta )\) at the nodal points of the sub-interval \( I_i\) and \(\bar{P_i}(\zeta ),\) \(\bar{\bar{P_i}}(\zeta )\) interpolates slope and curvature at the nodal points, respectively.
![](http://media.springernature.com/lw456/springer-static/image/art%3A10.1007%2Fs40065-024-00459-y/MediaObjects/40065_2024_459_Equ12_HTML.png)
To apply orthogonal collocation, within each subinterval \(I_i\) a new variable \(\omega \) is introduced such that \(\omega = \frac{(\zeta -\zeta _i)}{h_i}\) , where \(\omega \) varies from 0 to 1 as \(\zeta \) varies from \(\zeta _i\) to \(\zeta _{i+1}.\) This transformation reduces the polynomial structure Eq. (12) to the tabular form presented in Table 1. The quintic Hermite polynomials are presented on the interval \([\zeta _i, \zeta _{i+1}]\) in Table 1 and the values of Hermite splines and its derivatives are presented in Table 2 at \(\omega = 0\) and 1. The approximating function at each time level \(t_{n+1}\) within each sub-interval is taken as
The next step is the choice of collocation points. It plays an important role in Hermite collocation. Zeros of orthogonal polynomials are taken as the collocation points such as Jacobi polynomials. Legendre and Chebyshev polynomials are special cases of Jacobi polynomials. In the present study, zeros of shifted Legendre polynomials have been taken as collocation points.
After semi-discretization of the aforementioned equation for \(f(u)=u-u^m,\) coupled system of equations on using Eq. (10) in (9) and (8) is defined as:
The quasi linearisation of \(f(u)=u^m-u\) has been taken with Taylor series approximation given in [41, 58] as:
Again using finite difference approximation i.e.
This implies,
At \(t=t_n\)
Using Eq. (19) omitting the second order truncation term, one gets the following coupled system of equations:
and rearranging the terms, the following coupled system of equations is obtained:
For space discretization, consider the different approximations \(u^{n+1}\) and \(v^{n+1}\) for u and v, respectively as:
\(u^{n+1}=\sum _{i=1}^6 c_i^{n+1} H_i (\omega )\) and \( v^{n+1}=\sum _{i=1}^6 d_i^{n+1} H_i (\omega ),\) \(0 \le \omega \le 1.\)
The approximate solution lies in each subinterval \(I_i,\) of \(\Pi ,\) where \(H_i (\omega )\) are quintic Hermite splines defined over the interval [0, 1]. The system of collocation equations obtained after discretization are explained hereunder:
where, \(r = 1, 2, 3,\ldots , N. \ j = 1, 2, 3, 4.\) \(c_i\) and \(d_i\) are unknown coefficients and the constant parameters are defined as:
Total number of variables are \(8N+4\) and the collocation equations are 8N. The extra four variables are computed from the boundary conditions. Again, in compact form, the system of EFK equation can be written as:
this implies
where L and J are \(8N \times 8N\) diagonal dominated matrices with each block \({\textbf {L}}_r \) and \( {\textbf {J}}_r\) for \(r = 2,\ldots , N-1\) of order \(8\times 12.\) Due to boundary constraints \({\textbf {L}}_1,\ \ {\textbf {L}}_N \ \text {and}\ {\textbf {J}}_1,\ {\textbf {J}}_N\) are of order \(8 \times 10.\) \(y^{n+1} \ is \ 8N\times 1\) column matrix. \({\textbf {f}}^n\) contains the non-linear term \(\Delta t[\sum _{i=1}^6 c_{4(r-1)+i}^n H_i (\omega _j )]^m/2\) and the non-homogenous boundary data. The fully discretized algebraic system of Eq. (27) is solved using the MATLAB software.
Computationally, each block \({\textbf {L}}_r \) and \({\textbf {J}}_r \) also contains sub-blocks of order \(2 \times 2\) having the structure as
where \(i=1,2,3,4\) and \(j=1,2,\ldots ,6\) except for the case of \(r=1\ \text {and}\ N\) then \(j=1,2,3,4,5\) due to known boundary data.
4 Stability analysis
For any numerical technique involving iterations for analysing transient partial differential equations, stability is one of the most important concept to be considered for ensuring the control over the errors. Otherwise, the accumulation of errors at one stage may overwhelm the solution.
The stability of the proposed numerical algorithm of hybrid nature is completely stored in the component matrices of \([{\textbf {L}}^{-1}{} {\textbf {J}}]\) which improves the initial solution at each iteration.
The component matrices \({\textbf {L}}\) and \({\textbf {J}}\) both depends on the perturbation parameters, grid sizes towards both space and time directions and the Hermite splines adopted for approximation.
Let \(\lambda \) be the eigen value of the matrix \([{\textbf {L}}^{-1}{} {\textbf {J}}].\) It is observed computationally that the magnitude of eigen values of matrix \([{\textbf {L}}^{-1}{} {\textbf {J}}]\) are bounded by unity. The behaviour of eigenvalues is shown in Figs. 1 and 2 for \(N=128\) and \(N=50\) corresponding to \(\varepsilon =0.0001\) and \(\varepsilon =0.1,\) respectively (Fig. 3).
It is observed that the imaginary part of eigen values is zero and the real part of eigen values is less than unity, i.e., \(\mid \lambda \mid \le 1\) which signifies the stability of the proposed iterative technique by Lax–Richtmyer definition for stability.
NOTE: u has been considered as locally constant \(\eta \) (say) for the quasi linearization of the non-linear term. The implemented technique comprises both the operators \({\mathcal {F}}\) and \({\mathcal {T}}\) operate on both u and v i.e. \({\mathcal {F}}_{u,v}\) and \({\mathcal {T}}_{u,v}\) simultaneously and thus approximating two set of values at each iteration at the chosen collocation points for the two approximate solutions \(\widetilde{u}\) and \(\widetilde{v}.\) Thus, the iterative scheme at each time step, approximate a function consisting of two component functions u and v i.e. \({\textbf {U}} = \left\{ u, v\right\} \) using the different Hermite interpolating polynomial function i.e. \({\textbf {H}}=\left\{ \bar{H}_1, \bar{H}_2\right\} .\) Since, u is bounded, hence operators can be linearised by considering \(\eta \) as the maximum bound of \((u^{m-1})^n,\) where \((u^{m-1})^n= u(t_n)^{m-1}\)
For Crank–Nicolson scheme, the operators are represented as:
\({\mathcal {F}}_{u,v}(\omega _i)=P_1(u^j(\omega _i),v^j(\omega _i))\) and \( {\mathcal {T}}_{u,v}(\omega _i)=P_2(u^j(\omega _i),v^j(\omega _i)) \),
where,
The matrix notation for the parameters and collocation equations can be written as:
where \(y^j\) contains the coefficients of Hermite polynomials.
Let \(\widetilde{{\textbf {U}}}\ =\lbrace \widetilde{u} , \widetilde{v}\rbrace \) be the approximation of \({\textbf {U}}= \lbrace u, v \rbrace \) and \({\textbf {H}}=\left\{ \bar{H}_1, \bar{H}_2\right\} \) be the Hermite approximation to the function \({\textbf {U}}= \lbrace u, v \rbrace .\) These functions have two component functions and are defined on \(C^{6} [a, b].\)
5 Convergence analysis
Lemma 5.1
[17, 40] For Crank–Nicolson scheme, local truncation error \(e_{n+1}\) estimate and global truncation error \(E_{n+1}\) estimate are of \({\mathcal {O}}(\Delta t)^3\) and \({\mathcal {O}}(\Delta t)^2,\) respectively, i.e.
Theorem 5.2
[40] Let \(U(\zeta ,t)\) be the function such that \(\pounds U=0\) and \(U\le C,\) C being an arbitrary constant then \(U_t\) is also bounded by some constant C.
Lemma 5.3
[61] Let \(u(\zeta , 0)\) be the positive continuous initial solution of non-linear reaction–diffusion equation with \( 0 \le u(\zeta , 0)\le 1\) then the bounds for solution \(u(\zeta , t)\) remains constant with time.
Through out the paper C denotes the generic constant.
Theorem 5.4
[43] If any Hermite interpolation problem based on at the most two distinct points has a unique solution in \(\Omega \) then any Hermite interpolation problem has a unique solution in \(\Omega .\) This implies any Hermite interpolation problem has a unique solution in the polynomial space \(P_n\) of degree n on I.
Theorem 5.5
[43] The univariate Hermite interpolating polynomials are regular for any set of nodes. Moreover, Hermite interpolating polynomials are regular for any nodal set as well as for any choice of derivatives to be interpolated.
Theorem 5.6
[43] Let \(\bar{\mathcal {H}}\) be the space of all Hermite interpolating polynomials of order 5 defined on [0 1]. Then the Hermite splines of order 5 are bounded with upper bound unity. Moreover, \(\sum _{i=1}^{6}\mid H_i(\zeta )\mid \le 6,\) for all \(0 \le \zeta \le 1.\)
Theorem 5.7
[32, 52] Suppose H \(\in H_{\Delta \zeta }^{2q}(\zeta )\) be the piecewise Hermite spline of degree \(2q-1\) over the subinterval \([\zeta _i, \zeta _{i+1}]\) approximating \({\textbf {U}}\) \(\in C^{2q}[\)a, b] then \(\mid \mid {\textbf {H}}^{(r)}-{\textbf {U}}^{(r)}\mid \mid _\infty \le O(h^{2q-r)}, r=1,2,\ldots , q-1.\)
Proof
Let us define a function
where both the sets \(\lbrace \varphi _{ji}(\zeta )\rbrace \) and \(\lbrace \psi _{ji\ }(\zeta )\rbrace \) are of total 2q polynomial members, each of degree \(2q-1\) satisfying
where \(\zeta _k\) is the node point \(i= 1, 2, 3, 4,\ldots , q\) and at node points \({\textbf {H}}(\zeta )\) satisfies
for \(r = 0, 1, 2,\ldots , q-1\) and \({\textbf {H}}^{(r)}(\zeta _i)=\left\{ {\bar{H}}^{(r)}(\zeta _i),\bar{\bar{H}}^{(r)}(\zeta _i)\right\} \) and \({\textbf {U}}^{(r)}(\zeta _i) = \left\{ u^{(r)}(\zeta _i),v^{(r)}(\zeta _i)\right\} \) with
considering above Eq. (32) and Rolle’s theorem, \({\textbf {H}}^{(r)}(\zeta )\ - {\textbf {U}}^{(r)}(\zeta )\) has \(r+2\) zeros in \([\zeta _1, \zeta _2]\)
Let us define a function \({{\textbf {D}}}(\zeta )=\left\{ D_1(\zeta ),D_2(\zeta )\right\} \) on domain having the collection \(z_i^{\prime }\) s glued with \(\vartheta \), as its zeroes such that
for \(r = 0, 1, 2,\ldots , q-1,\) where \({{\textbf {S}}}(\zeta )\) is defined as a polynomial function of degree \(2q-r\) having \(z_i^{\prime } s\) as single zeroes except \(z_1\) and \(z_2 \) of equal multiplicity and \(\vartheta \) is any arbitrary point of domain \([\zeta _1, \zeta _2]\) differ from \(z_i^{\prime } s\).
For any r, \({{\textbf {D}}}\)(\(\zeta \)) has \(r+3\) zeros, the degree of polynomial \({{\textbf {S}}}\)(\(\zeta \)) decreases as r increases.
Combine Eq. (31), Eq. (32) and Rolle’s theorem, it is ready that \((q-r-1)\)th order derivative of \({{\textbf {D}}}\)(\(\zeta \)) has a total of \(q+2\) zeroes.
This assures the existence of a real \(\xi \in [a, b]\) (say) such that
since maximum of \(\mid (\zeta -\zeta _1)(\zeta -\zeta _2)\mid \ is\ (\zeta _2-\zeta _1)^2/2^2\) and \(\vartheta \) is arbitrary point in \([\zeta _1, \zeta _2],\) one gets
for \(h= \zeta _{i+1}-\zeta _i\) and \(\alpha _r=\frac{||u^{(2q)}(\xi )||}{2^{2q-[r]}(2m-r)!}\)\(r=0, 1, 2,\ldots ,q-1\) and [r] = r + 1 for r odd, otherwise [r] = r. \(\square \)
For \(q = 2\) Theorem 5.7 gives error bounds for cubic Hermite splines and for \(q = 3\) Theorem 5.7 gives error bounds for quintic Hermite splines.
Theorem 5.8
Let \(\bar{{\textbf {U}}}(\zeta )\) be the approximate solution of the function \({\textbf {U}}(\zeta )\) defined on [a, b] such that \({\textbf {U}}(\zeta ) \in C^6[a, b]\) and \({\textbf {H}}(\zeta )\) be the quintic Hermite splines interpolate of \({\textbf {U}}(\zeta ).\) Then the error estimate \(\mid \mid {\textbf {U}}-\bar{{\textbf {U}}}\mid \mid \) is defined by :
Proof
Let \( \bar{U}_1(\zeta )\) and \(\bar{U}_2(\zeta )\) be the appropriate approximating functions defined by Theorem 5.4, with \(\bar{{\textbf {U}}}= \left\{ \bar{U}_1, \bar{U}_2\right\} ,\) corresponding to the uniform grid in space direction with nodal gap h. Let \({\textbf {H}}(\zeta )=\{\bar{H}(\zeta ), \bar{\bar{H}}(\zeta )\}\) be the quintic Hermite spline approximating \({\textbf {U}}(\zeta )=\{u(\zeta ), v(\zeta )\}.\) \(\bar{H}(\zeta )\) be the quintic Hermite spline of \(u(\zeta )\) and \(\bar{\bar{H}}(\zeta )\) be the quintic Hermite spline of \(v(\zeta ).\) Now,
Using Theorem 5.7, one gets
and
Now, consider:
where \( {\mathcal {F}} {\textbf {H}}(\zeta _i) = P_{1}(\zeta _i)\) and \({\mathcal {T}} {\textbf {H}}(\zeta _i) = P_{2}(\zeta _i)\) are the fully discretized explicit form of differential problem mentioned in Sect. 4.
Equation (42) has been obtained using the above equation and again, using
its compact matrix representation
This implies, using Eqs. (43) and (27), one gets
Again, L is non-singular and boundedness of Hermite splines by unity implies that
where C is some arbitrary constant. Now,
From Eqs. (44), (45) and (46) one derives
Moving towards the error bounds of
Equation (48) is obtained using Eq. (47) and boundedness of \(H_i(\zeta )\) by 1. Similarly,
Combining the above results in Eqs. (48) and (49), one gets
now,
using Theorem 5.7 and Eq. (50)
\(\square \)
Theorem 5.9
Let \(\bar{{\textbf {U}}}(\zeta , t)\) be the approximate solution of the function \({\textbf {U}}(\zeta , t)\) defined on \([a, b]\times (0, T]\) such that \({\textbf {U}}(\zeta , t) \in C^6[a, b]\) and \({\textbf {H}}(\zeta )\) be the quintic Hermite splines interpolate of \({\textbf {U}}(\zeta , t)\) with Crank Nicolson scheme in time direction. Then the error estimate \(\mid \mid {\textbf {U}}-\bar{{\textbf {U}}}\mid \mid _\infty \) is defined by :
Proof
Directly from Theorem 5.8 and Lemma 5.1. \(\square \)
5.1 Parameter uniform rate of convergence
For the problems,where exact solution not known, nodal error is estimated by using the following formula:
Maximum nodal error has been calculated by
Maximum \(\varepsilon \)—uniform nodal error has been calculated by
And the parameter \(\varepsilon \)—uniform rate of convergence has been evaluated by using double mesh principle [45]
6 Results and discussion
In this part of manuscript, various fourth order EFK type equation with different non-linear function f(u) has been investigated by the proposed technique. Solution behaviour has been analysed with respect to the different parameters of the technique and the perturbation parameter. The numerical results are presented in the form of graphs and tables. \(L_2\)- norm, \(L_\infty \)-norm and Global relative error (GRE) has been computed as-
where \(u(\zeta ,t)\) denotes the approximate solution and \(\tilde{u}(\zeta , t)\) denotes the analytic solution. For computation of \(L_2\)-norm and \(L_\infty \)-norm for error, function \( u(\zeta ,t)\) has been replaced by the error.
Example 6.1
Consider the EFK equation with initial and the boundary conditions defined as:
The problem has been analyzed for two cases, first when the equation is homogenous and second when it has a non-homogenous part
\(f(\zeta ,t)=\exp (-t)sin(\pi \zeta )(\exp (-2t)sin^2(\pi \zeta )+\pi ^2+\pi ^4-2).\) For non-homogenous case i.e. \(f(\zeta ,t)\ne 0\) perturbation parameter \(\varepsilon =1\) has been considered.
In first case, \(\Delta t = 0.01\) and N = 100. which is quite less than as considered in [7] with \(\varepsilon \) is taken to be 0.0001 and 0.1. Numerical profile of \(u(\zeta , t)\) and \(v(\zeta , t)\) has been shown graphically in Figs. 3 and 4 for \(\varepsilon \) = 0.1 and 0.0001 respectively. Stable solution profile of EFK is shown for both \(\varepsilon \) = 0.0001 and \(\varepsilon \) = 0.1. The solution \(u(\zeta , t)\) moves to zero at 40th time step with \(\Delta t\) = 0.01. The effect of perturbation parameter has been studied and shown in Table 3.
In second case, the analytic form of solution is \(u(\zeta ,t)=\exp (-t)sin(\pi \zeta )\) and the initial function has been taken as \(u(\zeta ,0)=sin(\pi \zeta ).\) The solution behaviour and the error profile has been depicted in the Fig. 5. The non-homogenous part delays the stable state value in comparison to the homogenous case. \(L_2\)-norm, \(L_\infty \)-norm and GRE at different time level with respect to \(\Delta t\) = 0.01 and \(\Delta t\) = 0.001 has been reported in Table 4. The effect of \(\Delta t\) and h on \(L_2\)-norm, \(L_\infty \)-norm and GRE has been studied in Table 5. At different time level, step size and \(\Delta t,\) a comparison of \(L_\infty \)-norm has been given in Table 6 with the results available in [3]. Again the behaviour of absolute error at some node points corresponding to different time levels has been reported in Table 7.
Example 6.2
Consider EFK equation with Gaussian initial condition
-
(a)
u(\(\zeta \), 0) = \(10^{-3}\exp (-\zeta ^2)\)\(\zeta \in \) [− a, a] with boundary conditions
\(u(-a, t) = 1\ \ \ \ \ u (a, t) = 1 ,\ \ \)
\(u_{\zeta \zeta } (-a, t)=0\ \ \ \ \ \ u_{\zeta \zeta }(a, t)=0 .\)
-
(b)
\(u(\zeta , 0) = -10^{-3}\exp (-\zeta ^2) \)\(\zeta \in \) [− a, a] and boundary conditions
\(u (-a, t) = -1 \ \ \ \ \ \ \ u (a, t) = -1,\)
\(u_{\zeta \zeta } (-a,t)=0\ \ \ \ \ \ u_{\zeta \zeta }(a, t)=0.\)
For case (a), computations for \(\Delta t = 0.01,\) \(N= 50,\) and \(\varepsilon = 0.0001\) has been considered. Corresponding to different time steps, up-to \(T=5,\) for the domain \([-4, 4]\) and up to \(T=8\) for the spatial domain \([-10, 10],\) the numerical profiles are shown in Fig. 6. With the passage of time, the solution decays to the stable state boundary value 1. With the change in domain from \([-4, 4]\) to \([-10, 10],\) the behaviour of \(u(\zeta ,t)\) delays in the stable state value 1 with increments in the path length for the solution waves at different time. When the initial function is \(u(\zeta , 0) = \exp (-\zeta ^2)\) the solution moves to the stable state faster.
Case(b) In this case, \(\Delta \)t = 0.01, \(N= 50\) and \(\varepsilon \) = 0.0001 has been taken. Corresponding to different values of time, up-to \(T=5\) for the domain \([-4, 4]\) and up to \(T=8\) for the domain \([-10, 10],\) the behavior of computed values at the node points has been shown in Fig. 7. In this case also, the solution moves towards the stable state boundary value \(-1\) as the time progresses. For both the cases Examples 6.2(a) and 6.2(b) with change in domain, \(L_2\)-norm gets effected as compared to \(L_\infty \)-norm signifying the delay in stable state as shown in Tables 8 and 9.
Example 6.3
Consider the Eq. (1) for non-linear function f(u) as Fisher’s reaction–diffusion type function:
with initial and boundary conditions \(u(\zeta ,0)=(1+exp(\frac{\zeta }{\sqrt{6}}))^{-2} ,\)
With \(\Delta \)t = 0.01 up to \(t=5\) and \(N= 50.\) It has been observed that for different values of perturbation parameter the solution wave profile remained same. Corresponding to the different bounded domains with \(\varepsilon \) = 1 the computed solution has been reported in Fig. 8. It is observed that for the domain \([-4,4],\) the solution approaches the stable state and attains stable value 1. For the domain \([-10, 10]\) an uplifting wave at right boundary has been observed within same time range. While for the domain \([-30, 30],\) the solution behaviour is wavy like a fluid falling down an inclined plane. The effect of domain on the wave behaviour at any time can also be observed from \(L_2\)-norm and \(L_\infty \)-norm along the row in Table 10.
Example 6.4
Consider the EFK equation
with initial and boundary conditions are defined as:
(a) u(\(\zeta ,\) 0) = \(\zeta ^2 (1-\zeta )^2 ,\) (b) u(\(\zeta ,\) 0) = \(\zeta ^3 (1-\zeta )^3 ,\)
\( u(0,t)=0 \ \ \ \ \ \ \ \ \ \ u(1, t)=0 ,\)
\(u_{\zeta \zeta } (0, t)=0\ \ \ \ \ \ \ \ u_{\zeta \zeta } (1, t) = 0 .\)
With \(\Delta \)t = 0.01, \(N= 50\) and \(\varepsilon \) = 0.01, 0.1 and 1. For initial condition (a) the behaviour of solution profile corresponding to different time steps and different values of \(\varepsilon \) has been shown in Fig. 9. For initial condition (b) with \(\varepsilon =0.1\) and with \(\varepsilon =0.01\) the behavior of solution profile \(u(\zeta , t)\) and \(v(\zeta , t)\) corresponding to different time steps has been shown in Fig. 10a, b, c and d, respectively.
For \(\varepsilon \) = 0.01 the solution profile moves to stable state value uniformly, but with a slight increment in the value of perturbation parameter the solution approaches to its stable state with alternating waves having different amplitudes, one with a slight oscillation. Further, when \(\varepsilon \) = 1, the stable state value has been attained but again the waves’ behaviour is alternating, one oscillatory wave with above the stable state and another oscillatory wave below the stable state value. It is observed from the Table 11 that the perturbation parameter effects the nature of waves as compared to the technique parameters for both space and time discretization. Parameter uniform rate of convergence of order one for Example 6.4(b) has been reported in Table 12 with \(\Delta t = 10^{-3}.\)
Example 6.5
Consider the fourth order differential equation
For \(\alpha =24,\) \(\beta = -2\) and \(\kappa = -2\) and \(\gamma =1\) the exact form of solution of Eq. (55) is
The absolute error has been shown in Fig. 11. There is no major improvement in the error as time step decreases from \(\Delta t=0.01\) to \(\Delta t=0.001\) with \(N=50\) as in Table 13. The effect of time on the \(L_2\) norm and \(L_\infty \) norm can be observed along the column of Table 13. Again, the effect of perturbation parameters on \(L_2\)-norm, \(L_\infty \)-norm and GRE has been studied in Table 14. It is observed that the increment in the non-linearity of polynomial f(u) does not effect the approximation efficiency and accuracy. Parameter uniform rate of convergence of order two has been reported in Table 15 with \(\Delta t = 10^{-2}.\)
Example 6.6
Consider the fourth order differential equation having bistable cubic non-linearity
with the initial and boundary conditions
For \(\varepsilon =1\) and \(\alpha =1\) and \(-1,\) the travelling wave configuration has been observed. For \(\varepsilon =1\) the travelling wave have a constant phase but as \(\gamma \) decreases i.e. for \(\varepsilon =0\) the wave configuration has some phase turning point as can be observed from the Fig. 12 which shows the boundary layer effect due to perturbation parameter \(\varepsilon .\) It has also been observed that for positive \(\alpha \) the solution profile has decreasing nature while for negative \(\alpha \) the wave profile is increasing with time, can be observed along the column in Tables 16 and 17. The effect of perturbation parameter can be observed from any row of the Tables 16 and 17 for both the cases \(\alpha =1\) and \(\alpha =-1.\)
7 Conclusions and discussion
The proposed technique has been implemented to various forms of fourth order semi-linear dissipative, reaction–diffusion equations which are analysed with fairly known initial functions. Travelling wave behaviour propagating in reaction–diffusion dissipative media has been studied using the proposed hybrid technique. For problems having exact form of solution the error in the form of \(L_2\) norm and \(L_\infty \) norm has been reported in tables. These equations have mono-stable and bi-stable non-linearity.
Error analysis shows that the hybrid technique is significantly effective for higher order problems with higher degree of non-linearity.
The equations exhibited wave behaviour and the effect of perturbation parameter has been studied. In Example 3 non-linear fourth order problem with Fisher equation type non-linearity has been considered. Effect of the bounded domain on the wave behaviour has also been observed. In Example 6 fourth order equation with bi-stable cubic non-linearity has been considered. The effect of perturbation parameter \(\varepsilon \) and the parameter \(\alpha \) has been studied. Both the equations model the problems in population dynamics. These mono-stable and bi-stable non-linear problems have travelling wave configurations. Parameter Uniform convergence rate has been studied for analysing the effect of perturbation parameter \(\varepsilon \) and the rate of convergence in certain cases found to be greater than 1.
Data availability statement
Not applicable.
References
Abbasbandy, S.: Numerical solution of non-linear Klein–Gordon equations by variational iteration method. Int. J. Numer. Methods Eng. 70(7), 876–881 (2007)
Abbasbandy, S.; Asady, B.: Newton’s method for solving fuzzy nonlinear equations. Appl. Math. Comput. 159(2), 349–356 (2004)
Abbaszadeh, M.; Dehghan, M.; Khodadadian, A.; Heitzinger, C.: Error analysis of interpolating element free Galerkin method to solve non-linear extended Fisher–Kolmogorov equation. Comput. Math. Appl. 80(1), 247–262 (2020)
Abo-Dahab, S.M.; Abdelhafez, M.A.; Mebarek-Oudina, F.; Bilal, S.M.: MHD Casson nanofluid flow over nonlinearly heated porous medium in presence of extending surface effect with suction/injection. Indian J. Phys. 95(12), 2703–2717 (2021)
Alba-Fernández, V.; Ibáñez-Pérez, M.J.; Jiménez-Gamero, M.D.: A bootstrap algorithm for the two-sample problem using trigonometric Hermite spline interpolation. Commun. Nonlinear Sci. Numer. Simul. 9(2), 275–286 (2004)
Aronson, D.G.; Weinberger, H.F.: Multidimensional nonlinear diffusion arising in population genetics. Adv. Math. 30(1), 33–76 (1978)
Arora, G.; Joshi, V.: Simulation of generalized nonlinear fourth order partial differential equation with quintic trigonometric differential quadrature method. Math. Models Comput. Simul. 11(6), 1059–1083 (2019)
Arora, S.; Kaur, I.: An efficient scheme for numerical solution of Burgers? Equation using quintic Hermite interpolating polynomials. Arab. J. Math. 5(1), 23–34 (2016)
Arora, U.; Karaa, S.; Mohanty, R.K.: A new stable variable mesh method for 1-D non-linear parabolic partial differential equations. Appl. Math. Comput. 181(2), 1423–1430 (2006)
Arora, S.; Dhaliwal, S.S.; Kukreja, V.K.: Computationally efficient technique for weight functions and effect of orthogonal polynomials on the average. Appl. Math. Comput. 186(1), 623–631 (2007)
Arora, S.; Kaur, I.; Tilahun, W.: An exploration of quintic Hermite splines to solve Burgers? equation. Arab. J. Math. 9(1), 19–36 (2020)
Arora, S.; Jain, R.; Kukreja, V.K.: Solution of Benjamin–Bona–Mahony–Burgers equation using collocation method with quintic Hermite splines. Appl. Numer. Math. 154, 1–16 (2020)
Başhan, A.; Ucar, Y.; Yağmurlu, N.M.; Esen, A.: Numerical solutions for the fourth order extended Fisher-Kolmogorov equation with high accuracy by differential quadrature method. Sigma J. Eng. Nat. Sci. 9(3), 273–284 (2018)
Belmonte-Beitia, J.; Calvo, G.F.; Perez-Garcia, V.M.: Effective particle methods for Fisher–Kolmogorov equations: theory and applications to brain tumor dynamics. Commun. Nonlinear Sci. Numer. Simul. 19(9), 3267–3283 (2014)
Bhal, S.K.; Danumjaya, P.; Fairweather, G.: The Crank–Nicolson orthogonal spline collocation method for one-dimensional parabolic problems with interfaces. J. Comput. Appl. Math. 383, 113–119 (2021)
Clark, V.; Meyer, J.C.: On two-signed solutions to a second order semi-linear parabolic partial differential equation with non-Lipschitz nonlinearity. J. Differ. Equ. 269(2), 1401–1431 (2020)
Clavero, C.; Jorge, J.C.; Lisbona, F.: A uniformly convergent scheme on a nonuniform mesh for convection–diffusion parabolic problems. J. Comput. Appl. Math. 154(2), 415–429 (2003)
Coullet, P.; Huerre, P.: New Trends in Nonlinear Dynamics and Pattern-Forming Phenomena: The Geometry of Nonequilibrium, vol. 237. Springer Science & Business Media, Berlin (2012)
Coullet, P.; Elphick, C.; Repaux, D.: Nature of spatial chaos. Phys. Rev. Lett. 58(5), 431 (1987)
Danumjaya, P.; Pani, A.K.: Finite element methods for the extended Fisher–Kolmogorov equation. Research Report: IMG-RR-2002-3, Industrial Mathematics Group, Department of Mathematics, IIT, Bombay(2002)
Danumjaya, P.; Pani, A.K.: Orthogonal cubic spline collocation method for the extended Fisher–Kolmogorov equation. J. Comput. Appl. Math. 174(1), 101–117 (2005)
Danumjaya, P.; Pani, A.K.: Numerical methods for the extended Fisher–Kolmogorov (EFK) equation. Int. J. Numer. Anal. Model. 3(2), 186–210 (2006)
Dee, G.T.; Van Saarloos, W.: Bistable systems with propagating fronts leading to pattern formation. Phys. Rev. Lett. 60(25), 2641 (1988)
Dehghan, M.; Hooshyarfarzin, B.; Abbaszadeh, M.: Numerical simulation based on a combination of finite-element method and proper orthogonal decomposition to prevent the groundwater contamination. Eng. Comput. 38(4), 3445–3461 (2022)
Dehghan, M.; Shafieeabyaneh, N.: Local radial basis function-finite-difference method to simulate some models in the nonlinear wave phenomena: regularized long-wave and extended Fisher–Kolmogorov equations. Eng. Comput. 37(2), 1159–1179 (2021)
Elliott, C.M.; French, D.A.; Milner, F.A.: A second order splitting method for the Cahn–Hilliard equation. Numerische Mathematik 54(5), 575–590 (1989)
Field, R.J.: Oscillations and Traveling Waves in Chemical Systems. Wiley, New York (1985)
Fisher, R.A.: The wave of advance of advantageous genes. Ann. Eugen. 7(4), 355–369 (1937)
Focant, S.; Gallay, Th.: Existence and stability of propagating fronts for an autocatalytic reaction–diffusion system. Phys. D: Nonlinear Phenom. 120(3–4), 346–368 (1998)
Gavete, L.; Ureña, F.; Benito, J.J.; García, A.; Ureña, M.; Salete, E.: Solving second order non-linear elliptic partial differential equations using generalized finite difference method. J. Comput. Appl. Math. 318, 378–387 (2017)
Gudi, T.; Gupta, H.S.: A fully discrete C0 interior penalty Galerkin approximation of the extended Fisher–Kolmogorov equation. J. Comput. Appl. Math. 247, 1–16 (2013)
Hall, C.A.: On error bounds for spline interpolation. J. Approx. Theory 1(2), 209–218 (1968)
Hornreich, R.M.; Luban, M.; Shtrikman, S.: Critical behavior at the onset of \(\vec{k}\)-space instability on the \(\lambda \) line. Phys. Rev. Lett. 35(25), 1678 (1975)
Jaiswal, S.; Chopra, M.; Das, S.: Numerical solution of non-linear partial differential equation for porous media using operational matrices. Math. Comput. Simul. 160, 138–154 (2019)
Kaliappan, P.: An exact solution for travelling waves of \(u_t= Du_{xx}+ u-u^k\). Phys. D: Nonlinear Phenom. 11(3), 368–374 (1984)
Kalies, W.D.; Kwapisz, J.; VanderVorst, R.C.A.M.: Homotopy classes for stable connections between Hamiltonian saddle-focus equilibria. Commun. Math. Phys. 193(2), 337–371 (1998)
Kaur, D.; Mohanty, R.K.: Two-level implicit high order method based on half-step discretization for 1D unsteady biharmonic problems of first kind. Appl. Numer. Math. 139, 1–14 (2019)
Knibb, D.; Scraton, R.E.: A collocation method for the numerical solution of non-linear parabolic partial differential equations. IMA J. Appl. Math. 22(3), 305–315 (1978)
Kudryashov, N.A.: Quasi-exact solutions of the dissipative Kuramoto–Sivashinsky equation. Appl. Math. Comput. 219(17), 9213–9218 (2013)
Kumar, D.; Kadalbajoo, M.K.: A parameter-uniform numerical method for time-dependent singularly perturbed differential-difference equations. Appl. Math. Model. 35(6), 2805–2819 (2011)
Majeed, A.; Kamran, M.; Abbas, M.; Singh, J.: An efficient numerical technique for solving time-fractional generalized Fisher’s equation. Front. Phys. 8, 293 (2020)
Mansour, M.B.A.: Traveling wave patterns in nonlinear reaction–diffusion equations. J. Math. Chem. 48(3), 558–565 (2010)
Mazure, M.L.: On the Hermite interpolation. Comptes Rendus Mathematique 340(2), 177–180 (2005)
Mebarek-Oudina, F.: Convective heat transfer of Titania nanofluids of different base fluids in cylindrical annulus with discrete heat source. Heat Transf. Asian Res. 48(1), 135–147 (2019)
Miller, J.J.H.; O’riordan, E.; Shishkin, G.I.: Fitted Numerical Methods for Singular Perturbation Problems: Error Estimates in the Maximum Norm for Linear Problems in One and Two Dimensions. World Scientific, Singapore (1996)
Mittal, R.C.; Dahiya, S.: A study of quintic B-spline based differential quadrature method for a class of semi-linear Fisher–Kolmogorov equations. Alex. Eng. J. 55(3), 2893–2899 (2016)
Peletier, L.A.; Troy, W.C.: Spatial patterns described by the extended Fisher–Kolmogorov (EFK) equation: kinks. Differ. Integral Equ. 8(6), 1279–1304 (1995)
Peletier, L.A.; Troy, W.C.: A topological shooting method and the existence of kinks of the extended Fisher–Kolmogorov equation. Topol. Methods Nonlinear Anal. 6(2), 331–355 (1995)
Peletier, L.A.; Troy, W.C.: Chaotic spatial patterns described by the extended Fisher–Kolmogorov equation. J. Differ. Equ. 129(2), 458–508 (1996)
Peletier, L.A.; Troy, W.C.: Spatial patterns described by the extended Fisher–Kolmogorov equation: periodic solutions. SIAM J. Math. Anal. 28(6), 1317–1353 (1997)
Peletier, L.A.; Troy, W.C.; Van der Vorst, R.C.A.M.: Stationary solutions of a fourth order nonlinear diffusion equation. Differ. Equ. 31(2), 301–314 (1995)
Prenter, P.M.: Splines and Variational Methods. Wiley, New York (1975)
Rajan, M.P.; Reddy, G.D.: A generalized regularization scheme for solving singularly perturbed parabolic PDEs. Partial Differ. Equ. Appl. Math. 5, 100270 (2022)
Rohila, R.; Mittal, R.C.: A numerical study of two-dimensional coupled systems and higher order partial differential equations. Asian Eur. J. Math. 12(05), 1950071 (2019)
Rottschäfer, V.: Multi-bump patterns by a normal form approach. Discret. Contin. Dyn. Syst. B 1(3), 363 (2001)
Rottschäfer, V.; Doelman, A.: On the transition from the Ginzburg–Landau equation to the extended Fisher–Kolmogorov equation. Phys. D: Nonlinear Phenom. 118(3–4), 261–292 (1998)
Rottschäfer, V.; Wayne, C.E.: Existence and stability of traveling fronts in the extended Fisher–Kolmogorov equation. J. Differ. Equ. 176(2), 532–560 (2001)
Rubin, S.G.; Graves, R.A.: A Cubic Spline Approximation for Problems in Fluid Mechanics. National Aeronautics and Space Administration, Washington, D.C. (1975)
Samir, I.; Badra, N.; Seadawy, A.R.; Ahmed, H.M.; Arnous, A.H.: Exact wave solutions of the fourth order non-linear partial differential equation of optical fiber pulses by using different methods. Optik 230, 166313 (2021)
Sousa, E.; Li, C.: A weighted finite difference method for the fractional diffusion equation based on the Riemann–Liouville derivative. Appl. Numer. Math. 90, 22–37 (2015)
Stokes, A.N.: Nonlinear diffusion waveshapes generated by possibly finite initial disturbances. J. Math. Anal. Appl. 61(2), 370–381 (1977)
Valentin, C.; Couenne, F.; Jallut, C.; Choubert, J.M.; Tayakout-Fayolle, M.: Dynamic modeling of a batch sludge settling column by partial differential non linear equations with a moving interface. IFAC-PapersOnLine 54(3), 13–18 (2021)
van den Berg, J.B.: Uniqueness of solutions for the extended Fisher–Kolmogorov equation. Comptes Rendus de l’Académie des Sciences-Series I-Mathematics 326(4), 447–452 (1998)
Van Saarloos, W.: Dynamical velocity selection: marginal stability. Phys. Rev. Lett. 58(24), 2571 (1987)
Wang, J.; Li, H.; He, S.; Gao, W.; Liu, Y.: A new linearized Crank–Nicolson mixed element scheme for the extended Fisher–Kolmogorov equation. Sci. World J. 2013, 1–11 (2013). https://doi.org/10.1155/2013/756281
Zhou, Q.; Ekici, M.; Sonmezoglu, A.; Manafian, J.; Khaleghizadeh, S.; Mirzazadeh, M.: Exact solitary wave solutions to the generalized Fisher equation. Optik 127(24), 12085–12092 (2016)
Zimmermann, W.: Propagating fronts near a Lifshitz point. Phys. Rev. Lett. 66(11), 1546 (1991)
Acknowledgements
The Authors are thankful to the reviewers for their valuable comments.
Funding
The authors declare that no funds, grants, or other support were received during the preparation of this manuscript.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Author contributions
Priyanka Priyanka and Shelly Arora contributed to conceptualization and methodology of the manuscript. Saroj Sahani and Fateh Mebarek-Oudina contributed to the preparation and editing of the manuscript.
Conflict of interest
The authors have no relevant financial or non-financial interests to disclose.
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
Priyanka, P., Mebarek-Oudina, F., Sahani, S. et al. Travelling wave solution of fourth order reaction diffusion equation using hybrid quintic hermite splines collocation technique. Arab. J. Math. 13, 341–367 (2024). https://doi.org/10.1007/s40065-024-00459-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40065-024-00459-y