Quasi-implication algebras,Part I: Elementary theory

Quasi-implication algebras (QIA's) are intended to generalize orthomodular lattices (OML's) in the same way that implication algebras (J. C. Abbott) generalize Boolean lattices. A QIA is defined to be a setQ together with a binary operation → satisfying the following conditions (a→b is denotedab). (Q1) $$\left( {ab} \right)a = a$$ (Q2) $$\left( {ab} \right)\left( {ac} \right) = \left( {ba} \right)\left( {bc} \right)$$ (Q3) $$\left( {\left( {ab} \right)\left( {ba} \right)} \right)a = \left( {\left( {ba} \right)\left( {ab} \right)} \right)b$$ Every OML induces a QIA, wherea → b=a ^⊥?(a?b). On the other hand, every QIA induces a join semi-lattice with a greatest element 1, where 1=aa,a≤b iffab=1, anda?b=((ab)(ba))a. A bounded QIA is defined to be a QIA with a least element 0 (w.r.t.≤). The QIA associated with any OML is bounded, the zero elements being the same. Conversely, every bounded QIA induces an OML, wherea ^⊥=a0, anda?b=((ab)(a0))0. The relationC of compatibility is defined so thataCb iffa≤ba, and it is shown that every compatible sub-QIA of a QIA is an implication algebra.     

On bilevel programming,Part I: General nonlinear cases

This paper is concerned with general nonlinear nonconvex bilevel programming problems (BLPP). We derive necessary and sufficient conditions at a local solution and investigate the stability and sensitivity analysis at a local solution in the BLPP. We then explore an approach in which a bundle method is used in the upper-level problem with subgradient information from the lower-level problem. Two algorithms are proposed to solve the general nonlinear BLPP and are shown to converge to regular points of the BLPP under appropriate conditions. The theoretical analysis conducted in this paper seems to indicate that a sensitivity-based approach is rather promising for solving general nonlinear BLPP.This research is sponsored by the Office of Naval Research under contract N00014-89-J-1537.     

MARM Processes Part I: General Theory

This paper introduces a new class of real vector-valued stochastic processes, called MARM (Multivariate Autoregressive Modular) processes, which generalizes the class of (univariate) ARM (Autoregressive Modular) processes. Like ARM processes, the key advantage of MARM processes is their ability to fit a strong statistical signature consisting of first-order and second-order statistics. More precisely, MARM processes exactly fit an arbitrary multi-dimensional marginal distribution and approximately fit a set of leading autocorrelations and cross-correlations. This capability appears to render the MARM modeling methodology unique in its ability to fit a multivariate model to such a class of strong statistical signatures. The paper describes the construction of two flavors of MARM processes, MARM ⁺ and MARM ^? , studies the statistics of MARM processes (transition structure and second order statistics), and devises MARM-based fitting and forecasting algorithms providing point estimators and confidence intervals. The efficacy of the MARM fitting and forecasting methodology will be illustrated on real-life data in a companion paper.     

The thermodynamic limit of quantum Coulomb systems Part I. General theory

This article is the first in a series dealing with the thermodynamic properties of quantum Coulomb systems.In this first part, we consider a general real-valued function E defined on all bounded open sets of R³. Our aim is to give sufficient conditions such that E has a thermodynamic limit. This means that the limit E(Ωn)|Ωn|⁻¹ exists for all ‘regular enough’ sequence Ωn with growing volume, |Ωn|→∞, and is independent of the considered sequence.The sufficient conditions presented in our work all have a clear physical interpretation. In the next paper, we show that the free energies of many different quantum Coulomb systems satisfy these assumptions, hence have a thermodynamic limit.     

Weighted norm inequalities, off-diagonal estimates and elliptic operators. Part I: General operator theory and weights

This is the first part of a series of four articles. In this work, we are interested in weighted norm estimates. We put the emphasis on two results of different nature: one is based on a good-λ inequality with two parameters and the other uses Calderón-Zygmund decomposition. These results apply well to singular “non-integral” operators and their commutators with bounded mean oscillation functions. Singular means that they are of order 0, “non-integral” that they do not have an integral representation by a kernel with size estimates, even rough, so that they may not be bounded on all Lp spaces for 1<p<∞. Pointwise estimates are then replaced by appropriate localized Lp-Lq estimates. We obtain weighted Lp estimates for a range of p that is different from (1,∞) and isolate the right class of weights. In particular, we prove an extrapolation theorem “à la Rubio de Francia” for such a class and thus vector-valued estimates.     

Generalized Watson transforms I: General theory

This paper introduces two main concepts, called a generalized Watson transform and a generalized skew-Watson transform, which extend the notion of a Watson transform from its classical setting in one variable to higher dimensional and noncommutative situations. Several construction theorems are proved which provide necessary and sufficient conditions for an operator on a Hilbert space to be a generalized Watson transform or a generalized skew-Watson transform. Later papers in this series will treat applications of the theory to infinite-dimensional representation theory and integral operators on higher dimensional spaces.

     

General theory of wavemaker,I. theoretical results

A general theory of the wavemaker is presented based on a recent formulation of the water wave equations by Hui and Tenti. It exploits the fact that the free surface is a surface of constant pressure in order to make the surface boundary conditions linear and to be evaluated at a fixed boundary. The main features of the present theory are as follows: First, it applies to any weakly nonlinear wavemaker. Second, the full initial-boundary value problem is solved, thus including the transient effects in contrast to the classical approaches. Third, the finite amplitude (weakly nonlinear) effects are explicitly calculated. Finally, it is notable from a mathematical standpoint that the complicated second-order problem can be transformed to the form of the linear problem, and can therefore be solved by identical techniques.

---

Résumé Nous présentons une étude théorique générale des batteurs à houle fondée sur une formulation récente des équations d'un fluide parfait, pesant et incompressible, par Hui and Tenti, dans laquelle la pression est une variable indépendante et la condition aux limites à la surface libre devient une condition linéaire portant sur une frontière fixe. Cette théorie est applicable à un batteur quelconque, et nous résolvons le problème de Cauchy en incorporant les effets transitoires, contrairement aux travaux classiques. En particulier nous calculons explicitement les corrections nonlinéaires du second ordre, ce qui est notable du point de vue mathématique parce que nous pouvons ramener la forme du problème du second ordre à celle du premier ordre.

---

---

This work was supported in part by the Natural Sciences and Engineering Research Council of Canada through grants to G. Tenti and W. H. Hui.     

Spectral measures,I: General theory in a topological vector space

Part I of this paper is devoted to the general theory of spectral measures in topological vector spaces. We extend the Hilbert space theory to this setting and generalize the notion of spectral measure in some useful ways to provide a framework for Part II, etc.     

Semistability of switched dynamical systems,Part I: Linear system theory

This paper develops semistability and uniform semistability analysis results for switched linear systems. Semistability is the property whereby the solutions of a dynamical system converge to Lyapunov stable equilibrium points determined by the system’s initial conditions. Since solutions to switched systems are a function of the system’s initial conditions as well as the switching signals, uniformity here refers to the convergence rate of the multiple solutions as the switching signal evolves over a given switching set. The main results of the paper involve sufficient conditions for semistability and uniform semistability using multiple Lyapunov functions and sufficient regularity assumptions on the class of switching signals considered.     

Deformation theory of objects in homotopy and derived categories I: General theory

This is the first paper in a series. We develop a general deformation theory of objects in homotopy and derived categories of DG categories. Namely, for a DG module E over a DG category we define four deformation functors Defh(E), coDefh(E), Def(E), coDef(E). The first two functors describe the deformations (and co-deformations) of E in the homotopy category, and the last two - in the derived category. We study their properties and relations. These functors are defined on the category of artinian (not necessarily commutative) DG algebras.     

Fractional perfect b-matching polytopes I: General theory

The fractional perfect b-matching polytope of an undirected graph G is the polytope of all assignments of nonnegative real numbers to the edges of G such that the sum of the numbers over all edges incident to any vertex v   is a prescribed nonnegative number _bv$b_v$. General theorems which provide conditions for nonemptiness, give a formula for the dimension, and characterize the vertices, edges and face lattices of such polytopes are obtained. Many of these results are expressed in terms of certain spanning subgraphs of G which are associated with subsets or elements of the polytope. For example, it is shown that an element u of the fractional perfect b-matching polytope of G is a vertex of the polytope if and only if each component of the graph of u either is acyclic or else contains exactly one cycle with that cycle having odd length, where the graph of u is defined to be the spanning subgraph of G whose edges are those at which u is positive.     

Generalized geometric programming applied to problems of optimal control: Part I,theory

A modification to the formulation in Ref. 1 is given.     

Partially finite convex programming,Part I: Quasi relative interiors and duality theory

We study convex programs that involve the minimization of a convex function over a convex subset of a topological vector space, subject to a finite number of linear inequalities. We develop the notion of the quasi relative interior of a convex set, an extension of the relative interior in finite dimensions. We use this idea in a constraint qualification for a fundamental Fenchel duality result, and then deduce duality results for these problems despite the almost invariable failure of the standard Slater condition. Part II of this work studies applications to more concrete models, whose dual problems are often finite-dimensional and computationally tractable.     

On parallel solution of linear elasticity problems: Part I: theory

The discretized linear elasticity problem is solved by the preconditioned conjugate gradient (pcg) method. Mainly we consider the linear isotropic case but we also comment on the more general linear orthotropic problem. The preconditioner is based on the separate displacement component (sdc) part of the equations of elasticity. The preconditioning system consists of two or three subsystems (in two or three dimensions) also called inner systems, each of which is solved by the incomplete factorization pcg-method, i.e., we perform inner iterations. A finite element discretization and node numbering giving a high degree of partial parallelism with equal processor load for the solution of these systems by the MIC(0) pcg method is presented. In general, the incomplete factorization requires an M-matrix. This property is studied for the elasticity problem. The rate of convergence of the pcg-method is analysed for different preconditionings based on the sdc-part of the elasticity equations. In the following two parts of this trilogy we will focus more on parallelism and implementation aspects. © 1998 John Wiley & Sons, Ltd.