Abstract
The numerical method of lines is a technique for solving partial differential equations by discretising in all but one dimension. In this paper the solution of the approximate problem is extended outside the domain using the boundary condition. This leads to functional differential-algebraic equations. Sufficient conditions for the well-posedness, stability and convergence of the resulting method of lines are given.
Similar content being viewed by others
1 Introduction
The method of lines (MOL) is a computational approach for solving PDE problems of the form
The numerical solution process proceeds in two steps:
-
1.
Space semi-discretization (using, for example, finite differences).
-
2.
The resulting system of semi-discrete ordinary differential equations (ODE’s) is integrated in time.
From the numerous literature concerning the numerical method of lines for classical differential equations we mention the monographs [8, 25, 27]. MOL for nonlinear parabolic functional differential equations with initial boundary conditions of the Dirichlet type are investigated in [30], where the error estimates implying the convergence of MOL on a rectangular domain is given. Shakeri and Dehghan [24] present two forms of MOL for one-dimensional nonlocal hyperbolic partial differential equation. MOL is used in [4] to obtain numerical solutions to a quasilinear parabolic inverse problem. Parabolic inverse problems can be reduced to a system of ODE’s by fourth order compact scheme (see [18]).
The aim of the paper is to construct a method of lines for nonlinear parabolic functional differential equations with general initial boundary conditions and with a non-rectangular domain. To deal with a cylindrical domain, we can proceed in several ways. For instance, we can consider the polar coordinate system, like in [25, 27] or the Cartesian coordinate system. In the later case we have at least two possibilities. We can add extra points either at the boundary of the domain (see [14, 17]), or outside the domain (see [19]). In this paper we consider the second possibility. In our scheme we obtain additional points using the reflection with respect to the boundary. We extend the solution of the approximate problem outside the domain by a transformation generated by the boundary condition. This leads to differential-algebraic equations (DAE). The theoretical analysis of DAE’s and some appropriate numerical methods for initial and boundary value problems can be found in [3, 15]. In [6] the authors study numerical solutions of DAE’s. Soltaniana et al. [26] present a homotopy perturbation method to solve DAE’s. The numerical solution of DAE’s by the Rosenbroch one-stage scheme with complex coefficients are investigated in [2]. However, there are considered systems which depend only on present time. Equations with aftereffects of various kinds (such as delays) are called functional differential equations (FDE) The theory of FDE’s can be found in [7]. Semiexplicit numerical methods of the Rosenbroch type for functional differential-algebraic equations in the whole space were studied in [10]. In [13] the authors, on the basis of Newton’s method, propose a fast quasilinearization numerical scheme, coupled with Rothe’s method, for fully nonlinear parabolic equations. Comparison theorems for ODE and DAE systems are investigated in [11].
We admit some advantages of such scheme:
-
1.
Simplicity of description and implementation.
-
2.
No need to multiply cases.
-
3.
No need to look for the nearest points.
-
4.
No need to approximate boundary conditions.
-
5.
A universal interpolation pattern and the values of \(u\) in the grid points outside the domain \(Q\).
The new approach is applicable for \(n\)-dimensional spatial variables, even though the numerical experiments are implemented for a two-dimensional spatial case. The weak point of the proposed method is a limitation on the boundary of the area of the spatial variable. Namely, we assume that the domain \(\Omega \) is bounded, convex with the boundary of class \(C^{2+\alpha },\ 0<\alpha <1\). We require this assumption to construct a suitably regular extension of the functions beyond the domain \(Q\). Fakhar-Izadi and Dehghan [5] deal with irregular domains for a weakly parabolic partial integro-differential equation. They propose a spectral method to find numerical solutions. It seems that spectral methods are more time consuming compared with methods on regular meshes which obey a kind of maximum principle.
Our technique may be used in many physical problems such as chemical reaction [9] and heat conduction [22], where a flow across the boundary surface is proportional to the difference between the surrounding density and the density inside surface. In these papers authors consider complex approximate methods, exclusively for the differential equations without any delay. In the article [23] one examines non-linearities and delays with Robin boundary conditions. In our paper we deal with difference schemes for functional differential equations with Robin boundary conditions, which is a much wider class that delays. We can also use our technique to a quasilinear parabolic system of PDE’s, more precisely in the chemotaxis model considered in [29]. Recent advances in computational mathematical biology confirm our interest in theoretical investigations, compare: [16]. If the domain is not convex, as it often happens in real-world applications (chemotaxis, reaction-diffusion etc.), it is still possible to use our techniques by means of some smooth mappings which transform an irregular domain to a disc. For instance, a bean-shape region can be just projected to a disc.
The paper is organized in the following way. In Sect. 2 we set up the notation and terminology. Section 3 contains auxiliary lemmas. In Sect. 4 our main results are stated and proved. In the last section numerical experiments are presented.
2 Formulation of the problem
Let \(\Omega \subset \mathbb {R}^n\) be a bounded, convex domain with boundary \(\partial \Omega \) of class \(C^{2+\alpha }\). Write
where \(T>0\) and \(T_0\in \mathbb {R}_+=[0,+\infty )\). For a function \(u:Q_0\cup Q \rightarrow \mathbb {R}\) and for \(t\in [0,T]\) we define a function \(u_{t} :Q_0 \rightarrow \mathbb {R}\) by
For any metric spaces \(X\) and \(Y\) we denote by \(C(X,Y)\) the space of all continuous functions defined on \(X\) and taking values in \(Y\). In the case \(Y=\mathbb {R}\) we write \(C(X)\).
Given \(f:Q\times C(Q_0)\times \mathbb {R}^n\rightarrow \mathbb {R},\ a_{ij}:Q \rightarrow \mathbb {R},\beta :[0,T]\times \partial \Omega \rightarrow [0,+\infty )\), \(\psi :Q_0\rightarrow \mathbb {R}\), we consider the functional differential equation
with the initial boundary conditions
where \(n=n(x)\) is the unit outward normal on \(\partial \Omega \).
Equation (1) with a particular right hand side can be interpreted as a reaction-diffusion equation, which is widely used as a model describing various physical, chemical and biological problems, see [1, 16, 20]. Note that the right hand side of the equation contains a functional variable. Therefore, we can also consider differential equation with deviated variables or differential integral equations, as it is shown in our examples 1 and 2.
We transform the boundary condition (2) by considering an extension of a function \(u\) outside \(\tilde{Q}:=Q_0\cup Q\). Set \(R(x) = x\) for \(x\in \Omega \) and
Given \(u:\tilde{Q} \rightarrow \mathbb {R}\) and denoting \(r(x) = 2R(x)-x,\) we extend \(u\) to the set \([-T_0,T]\times \mathbb {R}^n\) by
For any smooth function \(u\) this extension implies boundary condition (2) on \([0,T]\times \partial \Omega \). If \(\beta \equiv 0\), then this extension is a mirror reflection with respect to the boundary \(\partial \Omega \), generated by Neumann’s conditions.
3 Discretization
We construct a regular mesh on \(\mathbb {R}^n\) in the following way. Let \(h=(h_1,\ldots ,h_n)\), \(h_i > 0\) be the steps of the mesh. For \(m\in \mathbb {Z}^n,\) \( m=(m_1,\ldots ,m_n),\) we denote nodal points in the following way: \(x^{(m)} = (m_1h_1,\ldots ,m_nh_n)\). Write \(\mathbb {R}_{h}^{n} = \{x^{(m)}: m\in \mathbb {Z}^n\}\), \(\Omega _h = \Omega \cap \mathbb {R}_{h}^{n}\) and
Denote \(\tilde{\Omega }_h =\Omega _h^{*}\cup \Omega _h\). Let \(p^{*}\) be the number of all nodal points of \(\Omega _h^{*}\) and \(p\)—the number of all nodal points of \(\Omega _{h}\). Set \(P=p^{*}+p\), see Fig. 1. For any spaces \(X\) and \(Y\) we denote by \({}^XY\) the class of all functions defined on \(X\) and taking values in \(Y\). Difference operators for spatial variables are defined in the following way. Write \(J=\{(i,j):\ i,j=1,\ldots ,n,\ i\ne j\}.\) Suppose that we have two disjoint sets \(J_+,\ J_- \subset J\) such that \(J_+\cup J_- = J\) and \((i,j)\in J_+\) if \((j,i)\in J_+\). Given \(u:[-T_0,T] \rightarrow {}^{\tilde{\Omega }_h}\mathbb {R}\) and \(m\in \mathbb {Z}^n\). Write
The difference operators \(\delta ^{(2)} = [\delta _{ij}]_{i,j=1,\ldots ,n},\) are defined in the following way:
and
Let us consider the interpolating operator
\(\mathcal {J}_h:C(Q_{0.h}\cup Q_{h}\cup Q_h^{*})\rightarrow C(conv(Q_{0.h}\cup Q_{h}\cup Q_h^{*}))\) defined by
where \(x^{(m)}\le x \le x^{(m+\mathbf 1 )}\), \(\mathbf 1 :=(1,\ldots ,1)\),
In [12] (page 85) we find another extrapolation method. It is easy to see that \(\mathcal {J}_h[u] \in C(conv(Q_{0.h}\cup Q_{h}\cup Q_h^{*}))\) and the norm of \(\mathcal {J}_h\) is equal to \(1\).
Consider the differential-difference equations
for \((t,x^{(m)})\in [0,T]\times \Omega _{h}\), the algebraic equations
for \((t,x^{(m)})\in [-T_0,T]\times \Omega _h^{*}\), and with the initial condition
for \((t,x^{(m)})\in [-T_0,0]\times \Omega _{h}.\)
The method of lines (5)–(7) can be written as the abstract differential-algebraic problem
with the initial condition
\(\mathbf K \) is generated by \([a_{ij}]\) and \(\partial _{q_j}f\), while \(\varphi _h\) by \(f\). The choice is not unique. Here one can choose \(K\) dependent on \(a_{ij}\) for the components with the indices not greater than \(p\) and \(\varphi _h(t,\mathbf u _t)\) dependent on \(f\).
\(\mathbf {Assumption}\ \mathbf {A} [\sigma ]\)
-
\(\sigma :[0,T]\times \mathbb {R}_+\rightarrow \mathbb {R}_+\) is continuous non-decreasing in the second variable, \(\sigma (t,0) = 0\), and the only maximal solution \(\omega (\cdot ;\gamma ,\tilde{\gamma })\) to the Cauchy problem
$$\begin{aligned} \omega '(t) = \sigma (t,\omega (t))+\tilde{\gamma },\quad \omega (t) = \gamma \ \mathrm for t\in [-T_0,0] \end{aligned}$$(10)tends to zero as \(\tilde{\gamma },\ \gamma \rightarrow 0\).
In particular \(\omega '(t) =\sigma (t,\omega (t)),\ \omega (t)= 0\) for \(t\in [-T_0,0]\) implies \(\omega (\cdot ;0,0)\equiv 0\).
Assumption A[K]
-
K \(:[0,T]\rightarrow M_{P\times P}\) is bounded and continuous,
-
\(k_{i1}+\ldots +k_{iP}= 0\) for each \(i=1,\ldots ,P\),
-
\(k_{ij}\ge 0\) for \(i\ne j\), \(i,j=1,\ldots ,P\),
-
the matrix \(\mathbf K \) is DA-irreducible (i.e. \(k_{i1}+\ldots +k_{ip}>0\) for \(i>p\)).
Assumption A[C] The initial function \(\psi _h\in C([-T_0,0],\mathbb {R}^P)\) satisfies the consistency condition
Lemma 1
Suppose that \(\mathbf {A[K], A[\sigma ]}\) is satisfied and \(\tilde{\varphi }\) is bounded and continuous. Then problem
with the initial condition \(z(t) = \psi _h(t)\) on \([-T_0,0]\) has exactly one solution \(\mathbf z :[-T_0,T]\rightarrow \mathbb {R}^P\) provided that the initial data satisfy the consistency condition A[C].
Proof
Problem (11) can be written in the following form
with the initial conditions \(z_D = (\psi _h)_D, \quad z_A = (\psi _h)_A.\) From DA-irreducibility of the matrix \(K\) it follows that \(det(K_4)\ne 0\). Hence
Therefore
In this theorem we only consider the case when the right hand side is dependent only on \(t\). Hence from the boundedness, DA-irreducibility and continuity of \(K\) there exist a unique solution of problem (12) (see [28] Thm VII). The component \(z_A\) is uniquely determined by \(z_D\). The consistency condition A[C] guarantees the continuity of the solution.
Lemma 2
Suppose that \(\mathbf {A[\sigma ], A[K], A[C]}\) are satisfied and \(\left| {g_{i}(t,\xi )}\right| \le \sigma (t,\Vert \xi \Vert )\) for \(i\le p\) and \(g_{i}(t,\xi ) = 0\) for \(i>p\). Then
where \(\mathbf z \) is a solution of
with the initial condition (9) and \(\gamma = \Vert \psi _h\Vert \) \(\tilde{\gamma } = \Vert \tilde{\Gamma }\Vert \).
Proof
If \(\tilde{\gamma },\ \gamma \equiv 0\), then according to [11] \(z\equiv 0\). If we assume that \(\tilde{\gamma },\ \gamma \ge 0\) then we consider the comparison system
where \(\left| z_i\right| \le \frac{x_i}{B_i}\), \(C_K = \mathop {\sup }\limits _{p+1\le i\le P}\left( \mathop {\sum }\limits _{l=1}^pk_{il}\right) ^{-1}\) and \(B_i\) is the solution of the ODE
Proceeding analogously like in [11] we have \(x_i = x_1\frac{B_i}{B_1},\ i=2,\ldots ,P\) and
It follows from the comparison principle for ODE’s that
which completes the proof.
The following lemma is crucial in the proof of Theorem 1.
Lemma 3
Suppose that \(\mathbf {A[\sigma ], A[K], A[C]}\) are satisfied and
and \(\varphi _{i.h}(t,w) = 0\) for \(i=p+1,\ldots ,P\). Then there exists exactly one solution of problem (8,9).
Proof
Consider an iterative method, which starts from a prescribed function \(\mathbf u _0\in C([-T_0,T],\mathbb {R}^P)\) satisfying (8) with some error \(\tilde{\Gamma }(t)\) and \(\tilde{\gamma } = \Vert \tilde{\Gamma }\Vert \). Now we consider the linear system of equations for each \(k=0,1,\ldots \)
with the initial condition (9). It follows from Lemma 1 that there is exactly one solution of the above problem. Applying Lemma 2 to the differences \(\mathbf u _{k+l} - \mathbf u _k\) for \(k,\ l \in {\mathbb {N}}\) we conclude that \(\{\mathbf{u }_k\}_{k\in {\mathbb {N}}}\) is the Cauchy sequence.
4 Stability and convergence
We are now in position to state our main stability and convergence result for the MOL corresponding to (1, 2, 3). We need the following assumptions on the functions \(f\), \(\beta \), \(a_{ij},\) and the steps \(h\) of the mesh.
Assumption A
-
\(f:Q\times C(Q_0)\times \mathbb {R}^n\rightarrow \mathbb {R}\) is continuous in \(t, w, q\), the same property have the derivatives \(\partial _{q_j}f\) and they are bounded,
-
\(a_{ij}:Q\rightarrow \mathbb {R}\) are bounded and continuous in \(t\) for \(i,j\in \{1,\ldots ,n\}\),
-
\(\partial _{q_j}f\), \(a_{ij}\) and steps \(h\) satisfy the relations (CFL)
$$\begin{aligned} \begin{array}{c} \displaystyle -\frac{h_j}{2}\left| {\partial _{q_j}f}\right| +a_{jj} -\sum _{l\ne j}\frac{h_j}{h_l}\left| {a_{jl}}\right| \ge 0 \\ \displaystyle a_{ij}\left( t,x^{(m)}\right) \le \,0\ \mathrm for \ (i,j)\in J_-,\quad a_{ij}\left( t,x^{(m)}\right) \ge 0\ \mathrm for \ (i,j)\in J_+, \end{array} \end{aligned}$$ -
\(\left| {f(t,x,\bar{w},q) - f(t,x,w,q)}\right| \le \sigma (t,\Vert \bar{w}-w\Vert ),\) \(\left| {f(t,x,0,0)}\right| \le M_f,\)
-
\(\beta \) is a bounded, continuous function such that \(\beta \ge 0\).
Theorem 1
Suppose that \(\mathbf {A[\sigma ], A}\) are satisfied. Then there exists exactly one solution \(u:[T_0,T]\rightarrow {}^{\tilde{\Omega }_h}\mathbb {R}\) of problem (5–7).
Proof
Consider the iterative method. We choose an arbitrary function \(\mathbf u _0\in C([-T_0,T],\mathbb {R}^P)\). Consider the ODE system
with the initial and boundary conditions (6)–(7).
We apply the Hadamard mean value theorem to the difference
We have
where
We substitute the formulas for \(\delta ,\ \delta ^{(2)}\) in the above equation. The matrix \(\mathbf K \) consists of elements which are linear combinations of \(a_{ij}\) and \(\partial _{q_j}f\).
According to Lemma 2 we show that the matrix \(\mathbf K \) satisfies all conditions of A[K]. Put
It follows from assumption A that
and
Since \(\mathcal {J}_h[u]\) is a convex combination of \(u(t,x^{(m)})\) and
first two conditions of \(\mathbf A[K] \) are satisfied. Note that at least one coefficient in \(\mathcal {J}_h\) is positive. Thus last two conditions of \(\mathbf A[K] \) are satisfied. It follows from Lemma 1 that there is exactly one solution of problem (13).
Next we analyse the difference \(\mathbf u _{k+l}-\mathbf u _k\) for \(k,l\in \mathbb {N}\). Put \(\Delta _lu = \mathbf u _{k+l}-\mathbf u _k\). We have
We apply the Hadamard mean value theorem
where
Applying Lemma 2 we have
where
uniformly on \([0,\tilde{T}]\), for each \(\tilde{T} \in (0,T)\) (see [21]). We conclude that \(\{\mathbf{u }_k\}_{k\in {\mathbb {N}}}\) is the Cauchy sequence.
Theorem 2
Suppose that \(\mathbf {A[\sigma ]}\), A are satisfied and
-
\(u\) is a solution of (1,2,3) and \(\tilde{u}\) is a solution of (5,6,7) such that
$$\begin{aligned}&\left| {u^{(m)}(t)-\tilde{u}^{(m)}(t)}\right| \le \gamma _h\ \mathrm on \ [-T_0,0]\times \tilde{\Omega }_{h},\\&\left| u^{(m)}(t)-\tilde{u}^{(m)}(t)\right| \le \gamma ^{*}_h(t)\ \mathrm on \ (t,x)\in [0,T]\times \Omega _h^{*}. \end{aligned}$$
Then there is \(\omega _h:[-T_0,T]\rightarrow \mathbb {R}_+\) such that
Remark 1
We assume that \(\mathrm{{sign}} \ a_{ij}\) is constant. One can omit this assumption by considering \(J_-, J_+\) as sets which depend on \(x^{(m)}\).
Proof
(Theorem 2) Let \(\Gamma _h : Q_h \rightarrow \mathbb {R}\) be defined by the relation
It follows that there is \(\tilde{\gamma }_h\) such that
From the definition of \(\mathcal {J}_h\) we have
Applying the Hadamard mean value theorem we have
where
Hence the above equation can be written in the following form
where
According to Lemma 2 we show that the matrix \(\mathbf K \) satisfies all conditions of A[K].
Put
It follows from assumption A that
and
Since \(\mathcal {J}_h[u]\) is a convex combination of \(u(t,x^{(m)})\) and
first two conditions of \(\mathbf A[K] \) are satisfied. Note that at least one coefficient in \(\mathcal {J}_h\) is positive. Thus last two conditions of \(\mathbf A[K] \) are satisfied. The conclusion in (14) can be seen by observing that the function \(\omega :[-T_0,T]\times H\rightarrow \mathbb {R}_+\) is a solution of the Cauchy problem
5 Numerical examples
We apply the results presented in Sect. 3 to a differential equation with deviated variables and to a differential integral problem. We consider our numerical examples on the cylinder \([0,T]\times B_1,\) where \(B_1\) is the unit ball centered at \((0,0)\).
Example 1
Consider the differential integral problem
with initial and boundary conditions
The solution of the above problem is known, \(u(t,x,y) = \cos (t(x^2+y^2+1))\).
In Table 1 we give experimental values of the maximal error \(\varepsilon _{max}\) for \(h_0 = 0.01\) and \(h_1=h_2=0.125\), where \((h_0,h_1,h_2)\) are steps of the mesh with respect to \((t,x,y)\).
Example 2
Consider the differential equation with deviated variables
with initial and boundary conditions
The solution of the above problem is known, \(u = e^{-t(x^2+y^2)}\).
In Table 2 we give experimental values of the maximal error for \(h_0 = 0.01\) and \(h_1=h_2=0.125\), where \((h_0,h_1,h_2)\) are steps of the mesh with respect to \((t,x,y)\).
The above examples are carried out for two-dimensional spatial variables. This is done only for our convenience of implementation. The theory presented in our paper is not limited with respect to the dimension of spatial variables. Both coefficients of the derivatives of the unknown function and the functions appearing on the right hand side of the equation and the initial and the boundary conditions satisfy the assumptions imposed in our paper. The computed results have been compared with the exact solution to show the required accuracy of the method. The computation time is \(0.38\)sec for the first example, and \(24.82\) s for the second example. The presented experiments illustrate the convergence of the proposed method.
References
Abdulla, U.G.: On the dirichlet problem for reaction-diffusion equations in non-smooth domains. Nonlinear Anal. 47, 765–776 (2001)
Al’shin, A.B., Al’shina, E.A., Kalitkin, N.N., Koryagina, A.B.: Numerical solution of superstiff differential-algebraic systems. Dokl. Math. 73(3), 460–464 (2006)
Ascher, U.M., Petzold, L.R.: Computer methods for ordinary differential equations and differential-algebraic equations. SIAM (1998)
Dehghan, M., Shakeri, F.: Method of lines solutions of the parabolic inverse problem with an overspecification at a point. Numer. Algorithms 50, 417–437 (2009)
Fakhar-Izadi, F., Dehghan, M.: Space-time spectral method for a weakly singular parabolic partial integro-differential equation on irregular domains. Comput. Math. Appl. 67, 1884–1904 (2014)
Hairer, E., Wanner, G.: Solving ordinary differential equation. In: Stiff and differential-algebraic problems. Springer, Berlin (Mir Moscow 2 (1999)) (1996)
Hale, J.K., Verduyn Lunel, S.M.: Introduction to Functional Differential Equations. Springer, New York (1993)
Hundsdorfer, W., Verwer, J.G.: Numerical solution of time-dependent advection-diffusion-reaction equations. Springer, Berlin (2003)
Incropera, F.P., DeWitt, D.P.: Fundamentals of heat and mass transfer. John Wiley (2007)
Lekomtsev, A.V., Pimenov, V.G.: A semiexplicit method for numerical solution of functional differential algebraic equations. Russ Math 53(5), 54–58 (2009)
Leszczyński, H.: Comparison ODE theorems related to the method of lines. J. Appl. Anal. 17(1), 137–154 (2011)
Kamont, Z.: Hyperbolic functional differential inequalities and applications. Kluwer Academic Publishers, Dordrecht (1999)
Koleva, M.N., Vulkov, L.G.: Quasilinearization numerical scheme for fully nonlinear parabolic problems with applications in models of mathematical finance. Math. Comput. Model. 57(9–10), 2564–2575 (2013)
Kropielnicka, K.: Implicit difference methods for parabolic FDE on cylindrical domains. Dynam. Syst. Appl. 19(3–4), 557–576 (2010)
Kunkel, P., Mehrmann, V.: Differential-algebraic equations: analysis and numerical solution, European Mathematical Society (2006)
Mittal, R.C., Jiwari, R.: A higher order numerical scheme for some nonlinear differential equations. Models in biology. Int. J. Comput. Meth. Eng. Sci. Mech. 12(3), 134–140 (2011)
Mitchell, A.R., Griffiths, D.F.: The finite difference method in partial differential equations. Wiley, New York (1980)
Mohebbia, A., Dehghan, M.: High-order scheme for determination of a control parameter in an inverse problem from the over-specified data. Comput. Phy. Commun. 181, 1947–1954 (2010)
Morton, K.W., Mayers, D.F.: Numerical solution of partial differential equations. Cambridge University Press, Cambridge (1994)
Murray, J.D.: Mathematical biology. Springer, Berlin (1993)
Netka, M.: Differential difference inequalities related to parabolic functional differential equations. Opuscula Math. 30(1), 95–115 (2010)
Papac, J., Helgadottir, A., Ratsch, C., Gibou, F.: A level set approach for diffusion and Stefan-type problems with Robin boundary conditions on quadtree/octree adaptive Cartesian grids. J. Comput. Phys. 233, 241–261 (2013)
Pao, C.V.: Nonlinear parabolic and elliptic equations. Plenum Press, New York (1992)
Shakeri, F., Dehghan, M.: The method of lines for solution of the one-dimensional wave equation subject to an integral conservation condition. Comput. Math. Appl. 56, 2175–2188 (2008)
Schiesser, W.E.: The numerical method of lines. Integration of partial differential equations. Academic Press Inc., San Diego (1991)
Soltaniana, F., Dehghanb, M., Karbassia, S.M.: Solution of the differential algebraic equations via homotopy perturbation method and their engineering applications. Int. J. Comput. Math. 87, 1950–1974 (2010)
Vande Wouwer, A., Saucez, Ph, Schiesser, W.E.: Adaptive method of lines. Capman & Hall/CRC, USA (2001)
Walter, W.: Ordinary differential equations. Springer, New York (1998)
Wrzosek, D.: Global attractor for a chemotaxis model with prevention of overcrowding. Nonlinear Anal. Theory Methods Appl. 59(8), 1293–1310 (2004)
Zubik-Kowal, B.: The method of lines for parabolic differential-functional equations. IMA J. Numer. Anal. 17(1), 103–123 (1997)
Acknowledgments
The authors would like to thank the anonymous referees for their valuable coments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Leszczyński, H., Matusik, M. Method of lines for parabolic functional differential equations on cylindrical domains. Calcolo 53, 67–82 (2016). https://doi.org/10.1007/s10092-015-0137-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10092-015-0137-0