On the , and - version of the finite element method
[For the entire collection see Zbl 0699.00032.] A new cohomology theory suitable for understanding of nonlinear partial differential equations is presented. This paper is a continuation of the following paper of the author [Differ. geometry and its appl., Proc. Conf., Brno/Czech. 1986, Commun., 235-244 (1987; Zbl 0629.58033)].
We propose a simple method to obtain sharp upper bounds for the interpolation error constants over the given triangular elements. These constants are important for analysis of interpolation error and especially for the error analysis in the Finite Element Method. In our method, interpolation constants are bounded by the product of the solution of corresponding finite dimensional eigenvalue problems and constant which is slightly larger than one. Guaranteed upper bounds for these constants are obtained...
Summary: The -th order variational sequence is the quotient sequence of the De Rham sequence on the th jet prolongation of a fibered manifold, factored through its contact subsequence.In this paper, the first order variational sequence on a fibered manifold with one-dimensional base is considered. A new representation of all quotient spaces as some spaces of (global) forms is given. The factorization procedure is based on a modification of the interior Euler operator, used in the theory of (infinite)...
The global existence of weak solution is proved for the problem of the motion of several rigid bodies in a barotropic compressible fluid, under the influence of gravitational forces.
We study systems of two nonlinear reaction-diffusion partial differential equations undergoing diffusion driven instability. Such systems may have spatially inhomogeneous stationary solutions called Turing patterns. These solutions are typically non-unique and it is not clear how many of them exists. Since there are no analytical results available, we look for the number of distinct stationary solutions numerically. As a typical example, we investigate the reaction-diffusion system designed to model...
The opportunity for verifying the basic principles of quantum theory and possible -deformation appears in quantum cryptography (QC) – a new discipline of physics and information theory.The author, member of the group of cryptology of Praha, presents in this paper the possibility to verify the -deformation of Heisenberg uncertainty relation -deformed QM and possible discretization on the base of a model presented in the fourth section.In the seven sections, the author discusses these problems....
In this contribution we consider elliptic problems of a reaction-diffusion type discretized by the finite element method and study the quality of guaranteed upper bounds of the error. In particular, we concentrate on complementary error bounds whose values are determined by suitable flux reconstructions. We present numerical experiments comparing the performance of the local flux reconstruction of Ainsworth and Vejchodsky [2] and the reconstruction of Braess and Schöberl [5]. We evaluate the efficiency...
In this paper the authors compare two different approaches to the second order absolute differentiation of a fibered manifold (one of them was studied by the authors [Arch. Math., Brno 33, 23-35 (1997; Zbl 0910.53014)]. The main goal is the extension of one approach to connections on functional bundles of all smooth maps between the fibers of two fibered manifolds over the same base (we refer to the book “Natural Operations in Differential Geometry” [Springer, Berlin (1993; Zbl 0782.53013)] I. Kolar,...