Displaying similar documents to “Implicit difference inequalities corresponding to first-order partial differential functional equations.”

Comparison of explicit and implicit difference schemes for parabolic functional differential equations

Zdzisław Kamont, Karolina Kropielnicka (2012)

Annales Polonici Mathematici

Similarity:

Initial-boundary value problems of Dirichlet type for parabolic functional differential equations are considered. Explicit difference schemes of Euler type and implicit difference methods are investigated. The following theoretical aspects of the methods are presented. Sufficient conditions for the convergence of approximate solutions are given and comparisons of the methods are presented. It is proved that the assumptions on the regularity of the given functions are the same for both...

Generalized method of lines for first order partial functional differential equations

W. Czernous (2006)

Annales Polonici Mathematici

Similarity:

Classical solutions of initial boundary value problems are approximated by solutions of associated differential difference problems. A method of lines for an unknown function for the original problem and for its partial derivatives with respect to spatial variables is constructed. A complete convergence analysis for the method is given. A stability result is proved by using differential inequalities with nonlinear estimates of the Perron type for the given operators. ...

Implicit difference schemes for mixed problems related to parabolic functional differential equations

Milena Netka (2011)

Annales Polonici Mathematici

Similarity:

Solutions of initial boundary value problems for parabolic functional differential equations are approximated by solutions of implicit difference schemes. The existence and uniqueness of approximate solutions is proved. The proof of the stability is based on a comparison technique with nonlinear estimates of the Perron type for given operators. It is shown that the new methods are considerably better than the explicit difference schemes. Numerical examples are presented.

A new conservative finite difference scheme for Boussinesq paradigm equation

Natalia Kolkovska, Milena Dimova (2012)

Open Mathematics

Similarity:

A family of nonlinear conservative finite difference schemes for the multidimensional Boussinesq Paradigm Equation is considered. A second order of convergence and a preservation of the discrete energy for this approach are proved. Existence and boundedness of the discrete solution on an appropriate time interval are established. The schemes have been numerically tested on the models of the propagation of a soliton and the interaction of two solitons. The numerical experiments demonstrate...

Difference of Function on Vector Space over F

Kenichi Arai, Ken Wakabayashi, Hiroyuki Okazaki (2014)

Formalized Mathematics

Similarity:

In [11], the definitions of forward difference, backward difference, and central difference as difference operations for functions on R were formalized. However, the definitions of forward difference, backward difference, and central difference for functions on vector spaces over F have not been formalized. In cryptology, these definitions are very important in evaluating the security of cryptographic systems [3], [10]. Differential cryptanalysis [4] that undertakes a general purpose...

Implicit difference methods for nonlinear first order partial functional differential systems

Elżbieta Puźniakowska-Gałuch (2010)

Applicationes Mathematicae

Similarity:

Initial problems for nonlinear hyperbolic functional differential systems are considered. Classical solutions are approximated by solutions of suitable quasilinear systems of difference functional equations. The numerical methods used are difference schemes which are implicit with respect to the time variable. Theorems on convergence of difference schemes and error estimates of approximate solutions are presented. The proof of the stability is based on a comparison technique with nonlinear...