The Feynman maps introduced first by Truman are examined. The domain considered here consists of the Fresnel-integrable functions in the sense of Albeverio and Hoegh-Krohn; extensions to wider classes of functions will be studied in the following paper. The original definition of the F-maps is slightly modified: we start from the underlying measures on the Hilbert space of paths in order to avoid use of improper integrals. Some new properties of the F-maps are derived. In particular, the dominated convergence theorem is shown to be not valid for the F₁-map (or Feynman integral); this fact is of a certain importance for the classical limit of quantum mechanics.

Consider an unstable quantum system that has been found undecayed at an instant s and denote by R(t,s) the rate of its regeneration into an original (undecayed) state at a later instant t+s. It is proved that the reduced evolution is a semigroup, i.e., there is no regeneration at all, provided R(t,s)1/2 can be estimated by a sufficiently regular function that is nondecreasing in s and has zero derivative with respect to t at t=0 for every s. This generalizes the theorem of Misra and Sinha [Helv. Phys. Acta 45, 619 (1972)] in a different direction than in a recent paper by Nishioka [J. Math. Phys. 29, 1860 (1988)].

Properties of the subset of polygonal paths in the Hilbert space of paths referring to a<i>d</i>-dimensional quantum-mechanical system are examined. The results are used to discuss various types of polygonal-path approximations appearing in the functional-integration theory. The uniform approximation is applied to extend the definition of the Feynman maps from our previous paper and to prove consistency of this extension. Relations of the extended<i>F</i> _<i>i</i> map to the Wiener integral are given.

A BDDC (Balancing Domain Decomposition by Constraints) algorithm is developed and analyzed for a staggered discontinuous Galerkin (DG) finite element approximation of second order scalar elliptic problems. On a quite irregular subdomain partition, an optimal condition number bound is proved for two-dimensional problems. In addition, a sub-optimal but scalable condition number bound is obtained for three-dimensional problems. These bounds are shown to be independent of coefficient jumps in the subdomain partition. Numerical results are also included to show the performance of the algorithm.

In this paper, a class of FETI-DP preconditioners is developed for a fast solution of the linear system arising from staggered discontinuous Galerkin discretization of the two-dimensional Stokes equations. The discretization has been recently developed and has the distinctive advantages that it is optimally convergent and has a good local conservation property. In order to efficiently solve the linear system, two kinds of FETI-DP preconditioners, namely, lumped and Dirichlet preconditioners, are considered and analyzed. Scalable bounds C (H/h) and C (1+ log (H/h)) 2 are proved for the lumped and Dirichlet preconditioners, respectively, with the constant C depending on the infsup constant of the discrete spaces but independent of any mesh parameters. Here H/h stands for the number of elements across each subdomain. Numerical results are presented to confirm the theoretical estimates.