A posteriori error estimation with finite element methods of lines for one-dimensional parabolic systems

Summary Consider the solution of one-dimensional linear initial-boundary value problems by a finite element method of lines using a piecewiseP ^th -degree polynomial basis. A posteriori estimates of the discretization error are obtained as the solutions of either local parabolic or local elliptic finite element problems using piecewise polynomial corrections of degreep+1 that vanish at element ends. Error estimates computed in this manner are shown to converge in energy under mesh refinement to the exact finite element discretization error. Computational results indicate that the error estimates are robust over a wide range of mesh spacings and polynomial degrees and are, furthermore, applicable in situations that are not supported by the analysis.This research was partially supported by the U.S. Air Force Office of Scientific Research, Air Force Systems Command, USAF, under Grant Number AFOSR 90-0194; by the U.S. Army Research Office under Contract Number DAAL03-91-G-0215; and by the National Science Foundation under Institutional Infrastructure Grant Number CDA-8805910     

On the Moments of Overflow and Freed Carried Traffic for the GI/M/C/0 System

In circuit-switched networks call streams are characterized by their mean and peakedness (two-moment method). The GI/M/C/0 system is used to model a single link, where the GI-stream is determined by fitting moments appropriately. For the moments of the overflow traffic of a GI/M/C/0 system there are efficient numerical algorithms available. However, for the moments of the freed carried traffic, defined as the moments of a virtual link of infinite capacity to which the process of calls accepted by the link (carried arrival process) is virtually directed and where the virtual calls get fresh exponential i.i.d. holding times, only complex numerical algorithms are available. This is the reason why the concept of the freed carried traffic is not used. The main result of this paper is a numerically stable and efficient algorithm for computing the moments of freed carried traffic, in particular an explicit formula for its peakedness. This result offers a unified handling of both overflow and carried traffics in networks. Furthermore, some refined characteristics for the overflow and freed carried streams are derived.     

Fundamental groups of the complements of certain plane non-tame torus sextics

The moduli space of torus sextics with the configuration of singularities {A₂+A₅+2E₆} has two connected components. We compute the fundamental groups π₁(CP²−C) for sextics C in both components and study their differences.     

On a conjecture of Cox and Katz

This note shows that a certain toric quotient of the quintic Calabi-Yau threefold in provides a counterexample to a recent conjecture of Cox and Katz concerning nef cones of toric hypersurfaces. Received: 8 February 2001; in final form: 17 September 2001 / Published online: 1 February 2002     

Coxeter complexes and graph-associahedra

Given a graph Γ, we construct a simple, convex polytope, dubbed graph-associahedra, whose face poset is based on the connected subgraphs of Γ. This provides a natural generalization of the Stasheff associahedron and the Bott-Taubes cyclohedron. Moreover, we show that for any simplicial Coxeter system, the minimal blow-ups of its associated Coxeter complex has a tiling by graph-associahedra. The geometric and combinatorial properties of the complex as well as of the polyhedra are given. These spaces are natural generalizations of the Deligne-Knudsen-Mumford compactification of the real moduli space of curves.     

On Some Integral Equations in Hilbert Space with an Application to the Theory of Elasticity

A Volterra type integral equation in a Hilbert space with an additional linear operator L and a spectral parameter depending on time is considered. If the parameter does not belong to the spectrum of L unconditional solvability of the considered problem is proved. In the case where the initial value of the parameter coincides with some isolated point of the spectrum of the operator L sufficient conditions for solvability are established. The obtained results are applied to the partial integral equations associated with a contact problem of the theory of elasticity.     

A study of the fluorescent properties of spin-coated sodium salicylate thin films

Thin films of sodium salicylate were deposited by spin coating from a solution prepared by dissolving sodium salicylate in methanol. The films were characterized by X-ray photoelectron spectroscopy, X-ray diffraction, scanning electron microscopy, UV-visible spectroscopy and spectrofluorometry. The films were crystalline with a strong blue fluorescence peak at an emission wavelength of 419.3 nm. The influence of solution concentration, spin speed and annealing temperature on the fluorescence intensity was studied. Optimum results were obtained with a solution whose concentration was 2.5 M. It was found that lower spin speed resulted in higher fluorescence intensity. Moreover, the fluorescence intensity decreased as the annealing temperature was increased. The durability of the films over a period of 30 days was also investigated, and films annealed at higher temperatures were found to be less degraded with time.     

Syntactic characterization of closure under connected limits

Summary We give a syntactic characterization of (finitary) theories whose categories of models are closed under the formation of connected limits (respectively the formation of pullbacks and substructures) in the category of all structures. They are also those theories whose consistent extensions by new atomic facts admit in each component an initial structure (respectively an initial term structure), and also thoseT for whichM(T) is locally finitely multi-presentable in a canonical way. We also show that these two properties of theories are nonuniform.     

Nielsen realization for 3-manifolds containing two-sided projective planes

For compact irreducible sufficiently large 3-manifolds containing 2-sided projective planes, we consider the following Realization Problem: Given a finite subgroup of the outer automorphism group of the fundamental group, is there a finite group of homeomorphisms, which induces this subgroup? Received: 16 November 1999; in final form: 18 January 2001 / Published online: 8 November 2002     

Long Abelian ideals

We study Abelian ideals of a Borel subalgebra consisting of long roots. It is shown that methods of Cellini and Papi can be extended to this situation. A uniform expression for the number of long Abelian ideals is given. We also show that there is a one-to-one correspondence between the long Abelian ideals and B-stable commutative subalgebras in the little adjoint representation of the Langlands dual Lie algebra.