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.

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.

Let E be a real Banach space with a uniformly Gteaux differentiable norm and which possesses uniform normal structure, K a nonempty bounded closed convex subset of E,{T i} i= 1 N a finite family of asymptotically nonexpansive self-mappings on K with common sequence {k n} n= 1[1,),{t n},{s n} be two sequences in (0, 1) such that s n+ t n= 1 (n 1) and f be a contraction on K. Under suitable conditions on the sequences {s n},{t n}, we show the existence of a sequence {x n} satisfying the relation x n=(1 1 k n) x n+ s n k n f (x n)+ t n k n T r n n x n where n= l n N+ r n for some unique integers l n 0 and 1 r n N. Further we prove that {x n} converges strongly to a common fixed point of {T i} i= 1 N, which solves some variational inequality, provided x n T i x n 0 as n for i= 1, 2,, N. As an application, we prove that the iterative process defined by z 0 K, z n+ 1=(1 1 k n) z n+ s n k n f (z n)+ t n k n

In this paper, a degree theory for finite dimensional generalized variational inequalities is built and employed to prove some results on solution existence and solution stability.

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.