Solution Theory, Variational Formulations, and Functional A Posteriori Error Estimates for General First Order Systems with Applications to Electro-Magneto-Statics and More
AbstractWe prove a comprehensive solution theory using tools from functional analysis, show corresponding variational formulations, and present functional a posteriori error estimates for general l...
We study the rational equivariant homotopy type of a topological space X equipped with an action of the group of integers modulo n . For n = pk (p prime, k a positive integer), we build an algebraic model which gives the rational equivariant homotopy type of X. The homotopical fixed-point set appears in the construction of a model of the fixed-points set. In general, this model is different from G. Triantafillou's model [Ti]. For n = p (p prime), we then give a notion of equivariant formality. We prove that this notion is equivalent to the formalizability of the inclusion of fixed-points set i: XzP -X. Examples and counterexamples of Zp-formal spaces are given.