Von Neumann Categories and Extended L2 Cohomology

In this paper we suggest a new general formalism for studying the L2 invariants of polyhedra and manifolds. First, we examine generality in which one may apply the construction of the extended Abelian category, which was earlier suggested by the author using the ideas of P. Freyd. This leads to the notions of a finite von Neumann category and a trace on such a category. Given a finite von Neumann category, we study the extended L2 homology and cohomology theories with values in the Abelian extension. Any trace on the initial category produces numerical invariants – the von Neumann dimension and the Novikov–Shubin numbers. Thus, we obtain the local versions of the Novikov–Shubin invariants, localized at different traces. In the Abelian case this localization can be made more geometric: we show that any torsion object determines a divisor – a closed subspace of the space of the parameters. The divisors of torsion objects together with the information produced by the local Novikov–Shubin invariants may be used to study multiplicities of intersections of algebraic and analytic varieties (we discuss here only simple examples demonstrating this possibility). We compute explicitly the divisors and the von Neumann dimensions of the extended L2 cohomology in the real analytic situation. We also give general formulae for the extended L2 cohomology of a mapping torus. Finally, we show how one can define a De Rham version of the extended cohomology and prove a De Rhamtype theorem.     

(φ,ξ,η,λ)‐Structures of Parabolic Type

We consider (,,,)structures of parabolic type on hypersurfaces of dual spaces and study the rank of the affinor . We consider almost contact metric structures of parabolic type of the first kind on hypersurfaces of 4dimensional dual metric space. We study the properties of these structures and give examples of normal, integrable, and Sasakian parabolic structures.     

The Brownian loop soup

We define a natural conformally invariant measure on unrooted Brownian loops in the plane and study some of its properties. We relate this measure to a measure on loops rooted at a boundary point of a domain and show how this relation gives a way to chronologically add Brownian loops to simple curves in the plane.Cornell University; Research supported in part by the National Science FoundationUniversité Paris-Sud and IUFMathematics Subject Classification (2000):60J65, 81T40     

An intelligent decision support system for assisting industrial wastewater management

Sustainable economic development requires the inclusion of environmental factors in the decision making procedure. The generic objective of the Environmentally Sensitive Investment System (ESIS) Project is to provide industry and governmental departments or agencies with a tool to assess the technical and economic implications of capital-intensive projects, in response to stated environmental policies. More specifically, the ESIS prototype helps to find wastewater management alternatives that meet given environmental regulatory standards in a technologically sound and cost-efficient manner. The use of this decision support system will enhance the ability of managers and planners to explore the quantitative implications of a wide range of options. ESIS incorporates a combination of artificial intelligence and operations research techniques, database management and visualization tools, integrated under a graphical user interface. The ESIS prototype runs on top-of-the-line personal computers.     

Hulls for Various Kinds of α-Completeness in Archimedean Lattice-Ordered Groups

Within Archimedean -groups, and with an infinite cardinal or , we consider X-hulls where X stands for any of the following classes of -groups: -projectable; laterally -complete; boundedly laterally -complete; conditionally -complete; combinations of the preceding, together with divisibility and/or relative uniform completeness. All these hulls exist, and may be obtained by iterated adjunction of the required extra elements, within the essential hull. When the -groups is relatively -complemented one step in the iteration suffices for several crucial properties. We derive from the above a considerable number of equations involving combinations of these hull operators.     

Global Solutions of Multidimensional Approximate Navier–Stokes Equations of a Viscous Gas

Considering the simplified Navier–Stokes equations for the motion of a viscous gas under the adherence condition, we define a weak solution and prove an existence theorem by means of a priori estimates.     

Resource allocation in the North Sea demersal fisheries: A goal programming approach

The management of a fishery is a complex task generally involving multiple, often conflicting, objectives. These objectives typically include economic, biological and social goals such as improving the income of fishers, reducing the catch of depleted species and maintaining employment.Multicriteria decision making (MCDM) techniques appear wellsuited to such a management problem, allowing compromises between conflicting objectives to be analysed in a structured framework. In comparison to other fields, such as water resource planning, forestry and agriculture, there have been few applications of MCDM to fisheries.In this paper, a goal programming model of the North Sea demersal fishery is presented. The model is used to demonstrate the potential applicability of this type of approach to the analysis and development of fisheries management plans with multiple objectives. Alternative scenarios are considered for the problem, and tradeoffs between given objectives are also highlighted and discussed.     

A Full Characterization of Multipliers for the Strong ϱ-Integral in the Euclidean Space

We study a generalization of the classical Henstock-Kurzweil integral, known as the strong -integral, introduced by Jarník and Kurzweil. Let be the space of all strongly -integrable functions on a multidimensional compact interval E, equipped with the Alexiewicz norm We show that each element in the dual space of can be represented as a strong -integral. Consequently, we prove that fg is strongly -integrable on E for each strongly -integrable function f if and only if g is almost everywhere equal to a function of bounded variation (in the sense of Hardy-Krause) on E.     

About a minimax theorem of Matthies,Strang and Christiansen

We give a new minisup theorem for noncompact strategy sets. Our result is of the type of the Matthies-Strang-Christiansen minimax theorem where the hyperplane should be replaced by any closed convex set. As an application, we derive a slight generalization of the Matthies-Strang-Christiansen minimax theorem.     

Essential spectral radius for Markov semigroups (I): discrete time case

Using two new measures of non-compactness (P) and _w (P) for a positive kernel P on a Polish space E, we obtain a new formula of Nussbaum-Gelfand type for the essential spectral radius r _ess (P) on b. Using that formula we show that different known sufficient conditions for geometric ergodicity such as Doeblins condition, drift condition by means of Lyapunov function, geometric recurrence etc lead to variational formulas of the essential spectral radius. All those can be easily transported on the weighted space b _u . Some related results on L ² () are also obtained, especially in the symmetric case. Moreover we prove that for a strongly Feller and topologically transitive Markov kernel, the large deviation principle of Donsker-Varadhan for occupation measures of the associated Markov process holds if and only if the essential spectral radius is zero; this result allows us to show that the sufficient condition of Donsker-Varadhan for the large deviation principle is in fact necessary. The knowledge of r _ess (P) allows us to estimate eigenvalues of P in L ² in the symmetric case, and to estimate the geometric convergence rate by means of that in the metric of Wasserstein. Applications to different concrete models are provided for illustrating those general results. Mathematics Subject Classification (2000):60J05, 60F10, 47A10, 47D07     

Comparison theorem and estimates for transition probability densities of diffusion processes

We establish several comparison theorems for the transition probability density p _b (x,t,y) of Brownian motion with drift b, and deduce explicit, sharp lower and upper bounds for p _b (x,t,y) in terms of the norms of the vector field b. The main results are obtained through carefully estimating the mixed moments of Bessel processes. All constants are explicit in our lower and upper bounds, which is different from most of the previous estimates, and is important in many applications for example in statistical inferences for diffusion processes.Research partially supported by N.S.F. Grants DMS-0203823, and by Doctoral Program Fundation of the Ministry of Education of China, Grant No. 20020269015. Mathematics Subject Classification (2000):Primary: 60H10, 60H30; Secondary: 35K05     

Start‐up class models in multiple‐class queues with N‐policy

In this paper, we consider multipleclass queueing systems with Npolicy in which the idle server starts service as soon as the number of customers in the startup class reaches threshold N. We consider the cases of FCFS and nonpreemptive priority. We obtain the Laplace–Stieltjes transform of the waiting times of each class of customers. We also show some results for the general behavior of such systems.     

On Generalizations of Ostrowski Inequality and Some Related Results

Some generalizations of the Ostrowski inequality, the Milovanovi-Peari-Fink inequality, the Dragomir-Agarwal inequality and the Hadamard inequality are given.     

On a Positivity Property of the Riemann ξ‐Function

We consider a quantitative version of the positivity condition of the Riemann function. J. C. Lagarias obtained that for >10. The main aim of this paper is to prove the equality for 1.     

On the Completeness and Decidability of the Horn‐Like Fragment of the First‐Order Linear Temporal Logic

We prove the completeness and decidability of the Hornlike sequents, specifically, the socalled D₂sequents (of the firstorder linear temporal logic) considered in the author's paper [Lith. Math. J., 41(3), 266–281 (2001)]. In this paper, with the help of the infinitary calculus G_L, grounded by the author in his earlier papers, for D₂sequents we construct a D₂Sat calculus of the socalled saturated type consisting of decidable deductive procedures replacing the omegarule for the always operator. In the present paper, in order to prove the completeness and decidability of the calculus D₂Sat, we construct the socalled invariant decidable calculus D₂IN. We prove the equivalence of the calculi D₂IN, D₂Sat, and G _L ^** for the socalled saturated D₂sequents. From this equivalence, by reducing an arbitrary D₂sequent to a saturated D₂sequent, and also from the completeness of the G _L ^** calculus and decidability of the invariant calculus D₂IN, we deduce the completeness and decidability of the calculus D₂Sat in the class of D₂sequents.     

Analytic combinatory calculi and the elimination of transitivity

We introduce, in a general setting, an analytic version of standard equational calculi of combinatory logic. Analyticity lies on the one side in the fact that these calculi are characterized by the presence of combinatory introduction rules in place of combinatory axioms, and on the other side in that the transitivity rule proves to be eliminable. Apart from consistency, which follows immediately, we discuss other almost direct consequences of analyticity and the main transitivity elimination theorem; in particular the Church–Rosser and the leftmostreduction theorems for the associated notions of reduction. The last two sections deal with analytic combinatory calculi with the extensionality rule added. Here, as far as the elimination of transitivity is concerned, we have only partial results, which unfortunately do not cover, at present, full CL + Ext. Yet, they are sufficient to prove the decidability of weaker combinatory calculi with extensionality, including e.g. BCK + Ext.Mathematics Subject Classification (2000):03B40, 03F03, 03F07     

On finding curb sets in extensive games

We characterize strategy sets that are closed under rational behavior (curb) in extensive games of perfect information and finite horizon. It is shown that any such game possesses only one minimal curb set, which necessarily includes all its subgame perfect Nash equilibria. Applications of this result are twofold. First, it lessens computational burden while computing minimal curb sets. Second, it implies that the profile of subgame perfect equilibrium strategies is always stochastically stable in a certain class of games.I am grateful to J. Kamphorst, G. van der Laan and X. Tieman, who commented on the earlier versions of the paper. I also thank an anonymous referee and an associate editor for their helpful remarks. The usual disclaimer applies.     

Equilibrium States of Random Economies with Locally Interacting Agents and Solutions to Stochastic Variational Inequalities in 〈L1,L∞〉

We study a stochastic model of an economy with locally interacting agents. The basis of the study is a deterministic model of dynamic economic equilibrium proposed by Polterovich. We generalize Polterovich's theory, in particular, in two respects. We introduce stochastics and consider a version of the model with local interactions between the agents. The structure of the interactions is described in terms of random fields on a directed graph. Equilibrium states of the system are solutions to certain variational inequalities in spaces of random vectors. By analyzing these inequalities, we establish an existence theorem for equilibrium, which generalizes and refines a number of previous results.     

Stability Tests for Two Common Classes of Linear Time‐Delay and Hybrid Systems

The stability of linear timedelay systems with point internal delays is difficult to deal with in practice because of the fact that their characteristic equation is usually of transcendent type rather than of polynomial type. This feature usually causes the system to possess an infinite number of poles. In this paper, stability tests for this class of systems are obtained based either on extensions of classical tests applicable to delayfree systems or on approaches within the framework of twodimensional digital filters. Some of those twodimensional stability tests are also proved to be useful for stability testing of a common class of linear hybrid systems which involve coupled continuous and digital substates after a slightadhoc adaptation of the tests for that situation.     

A Note on π-Engel Conditions

In this paper we show that the weakly -Engel conditions are closely related to the existance of normal -complements; while the -Engel conditions are closely related to the -nilpotent groups.AMS Subject Classification (2000): 20D20