Linear matrix inequality representation of sets

This article concerns the question, Which subsets of ?^m can be represented with linear matrix inequalities (LMIs)? This gives some perspective on the scope and limitations of one of the most powerful techniques commonly used in control theory. Also, before having much hope of representing engineering problems as LMIs by automatic methods, one needs a good idea of which problems can and cannot be represented by LMIs. Little is currently known about such problems. In this article we give a necessary condition that we call “rigid convexity,” which must hold for a set ?? ? ?^m in order for ?? to have an LMI representation. Rigid convexity is proved to be necessary and sufficient when m = 2. This settles a question formally stated by Pablo Parrilo and Berndt Sturmfels in [15]. As shown by Lewis, Parillo, and Ramana [11], our main result also establishes (in the case of three variables) a 1958 conjecture by Peter Lax on hyperbolic polynomials. © 2006 Wiley Periodicals, Inc.     

Boundedness and Dissipativity of Truncated Rotations on Uniform Planar Lattices

The finiteness of computer arithmetic can lead to some dramatic differences between the behaviour of a continuous dynamical system and a computer simulation. A thorough rigorous theoretical analysis of what may or what does happen is usually extremely difficult and to date little has been done even in relatively simple contexts. The comparative behaviour of a rotation mapping in the plane and on a uniform lattice in the plane is one such example. Simulations show that the rounding operator applied to a planar rotation mapping more or less preserves the qualitative behaviour of the original mapping, whereas the application of the truncation operator to a planar rotation can lead to quite different dynamical features. In this paper a theoretical justification of the properties of the planar rotation mappings under truncation to a, uniform integer lattice is provided, in particular properties of boundedness and dissipativity are investigated.     

Laser induced air breakdown using 0.355, 0.532, and 1.06 µm radiation

Studies of breakdown threshold intensity for air at various pressures in the range of 24–760 torr using 0.355, 0.532 and 1.06 μm radiation are reported. We observep ^−0.8 scaling ofI _th at 1.06 μm and a weak scaling ofp ^−0.4 at 0.532 and 0.355 μm radiation. Strong dependence of breakdown spot size on laser power but weak dependence on air pressure is observed.     

Elevation of the glass transition temperature in flexible‐chain semicrystalline polymers

In the idealized two‐phase model of a semicrystalline polymer, the amorphous intercrystalline layers are considered to have the same properties as the fully‐amorphous polymer. In reality, these thin intercrystalline layers can be substantially influenced by the presence of the crystals, as individual polymer molecules traverse both crystalline and amorphous phases. In polymers with rigid backbone units, such as poly(etheretherketone), PEEK, previous work has shown this coupling to be particularly severe; the glass transition temperature (T_g) can be elevated by tens of degrees celsius, with the magnitude of the elevation correlating directly with the thinness of the amorphous layer. However, this connection has not been explored for flexible‐chain polymers, such as those formed from vinyl‐type monomers. Here, we examine T_g in both isotactic polystyrene (iPS) and syndiotactic polystyrene (sPS), crystallized under conditions that produce a range of amorphous layer thicknesses. T_g is indeed shown to be elevated relative to fully‐amorphous iPS and sPS, by an amount that correlates with the thinness of the amorphous layer; the magnitude of the effect is severalfold less than that in PEEK, consistent with the minimum lengths of polymer chain required to make a fold in the different cases. © 2007 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 45: 1198–1204, 2007     

Dynamics on the Virasoro group, 2D gravity and hidden symmetries

We derive the action of 2D gravity from the two-cocycle of the Virasoro group by using a previously introduced method for constructing a dynamical system from a Lie group. A natural construction and explanation of the hidden SL(2, )-Kac-Moody symmetry, of general applicability, is provided. We also show how the proper quantization goes beyond the ordinary co-adjoint orbit method, and the possible connection with the Poisson-Lie groups.     

TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II

We proved in the first part [1] that plane geometry over Pythagorean fields is axiomatizable by quantifier-free axioms in a language with three individual constants, one binary and three ternary operation symbols. In this paper we prove that two of these operation symbols are superfluous.     

Polynomial-time approximation schemes for packing and piercing fat objects

We consider two problems: given a collection of n fat objects in a fixed dimension, (1) ( packing) find the maximum subcollection of pairwise disjoint objects, and (2) ( piercing) find the minimum point set that intersects every object. Recently, Erlebach, Jansen, and Seidel gave a polynomial-time approximation scheme (PTAS) for the packing problem, based on a shifted hierarchical subdivision method. Using shifted quadtrees, we describe a similar algorithm for packing but with a smaller time bound. Erlebach et al.'s algorithm requires polynomial space. We describe a different algorithm, based on geometric separators, that requires only linear space. This algorithm can also be applied to piercing, yielding the first PTAS for that problem.     

Coupled lubrication and Stokes flow finite elements

A method is developed for performing a local reduction of the governing physics for fluid problems with domains that contain a combination of narrow and non‐narrow regions, and the computational accuracy and performance of the method are measured. In the narrow regions of the domain, where the fluid is assumed to have no inertia and the domain height and curvature are assumed small, lubrication, or Reynolds, theory is used locally to reduce the two‐dimensional Navier–Stokes equations to the one‐dimensional Reynolds equation while retaining a high degree of accuracy in the overall solution. The Reynolds equation is coupled to the governing momentum and mass equations of the non‐narrow region with boundary conditions on the mass and momentum flux. The localized reduction technique, termed ‘stitching,’ is demonstrated on Stokes flow for various geometries of the hydrodynamic journal bearing—a non‐trivial test problem for which a known analytical solution is available. The computational advantage of the coupled Stokes–Reynolds method is illustrated on an industrially applicable fully‐flooded deformable‐roll coating example. The examples in this paper are limited to two‐dimensional Stokes flow, but extension to three‐dimensional and Navier–Stokes flow is possible. Copyright © 2003 John Wiley & Sons, Ltd.