(φ,ξ,η,λ)‐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.     

Spatial shape‐preserving interpolation using ν‐splines

We present a global iterative algorithm for constructing spatial G ²continuous interpolating splines, which preserve the shape of the polygonal line that interpolates the given points. Furthermore, the algorithm can handle data exhibiting two kinds of degeneracy, namely, coplanar quadruples and collinear triplets of points. The convergence of the algorithm stems from the asymptotic properties of the curvature, torsion and Frénet frame of splines for large values of the tension parameters, which are thoroughly investigated and presented. The performance of our approach is tested on two data sets, one of synthetic nature and the other of industrial interest.     

Iterative Schemes for Solving Mixed Variational-Like Inequalities

In the present paper, we introduce the concept of -cocoercivity of a map and develop some iterative schemes for finding the approximate solutions of mixed variational-like inequalities. We use the concept of -cocoercivity to prove the convergence of the approximate solutions to the exact solution of mixed variational-like inequalities.     

Controllability and extremality in nonconvex differential inclusions

LetF:[0, T]×R ⁿ 2 ^{R n} be a set-valued map with compact values; let :R ⁿ R ^m be a locally Lipschitzian map,z(t) a given trajectory, andR the reachable set atT of the differential inclusion . We prove sufficient conditions for (z(T))intR and establish necessary conditions in maximum principle form for (z(T))(R). As a consequence of these results, we show that every boundary trajectory is simultaneously a Pontryagin extremal, Lagrangian extremal, and relaxed Lagrangian extremal.The author is grateful to an anonymous referee for his valuable remarks and comments which have helped to improve the paper.The paper was written while the author was visiting the laboratory of Prof. S. Suzuki, Department of Mechanical Engineering, Sophia University, Tokyo, Japan.     

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 θ-Principal Extension and H-Closedness

A type of extensions called the -extention of topological spaces and their -equivalence and -trace systems are introduced, which ultimately characterize H-closed -extensions of a Hausdorff topological space. Also, the notion of -principal extensions is defined. A typical -principal extension consisting of certain grills on a Hausdorff space is constructed, and finally, some characterizations of H-closedness of a Hausdorff space are obtained.AMS Subject Classification (2000) 54D30 54D99     

Spaces over a Category and Assembly Maps in Isomorphism Conjectures in K‐ and L‐Theory

We give a unified approach to the Isomorphism Conjecture of Farrell and Jones on the algebraicKandLtheory of integral group rings and to the Baum–Connes Conjecture on the topologicalKtheory of reducedC*algebras of groups. The approach is through spectra over the orbit category of a discrete groupG.We give several points of view on the assembly map for a family of subgroups and characterize such assembly maps by a universal property generalizing the results of Weiss and Williams to the equivariant setting. The main tools are spaces and spectra over a category and their associated generalized homology and cohomology theories, and homotopy limits.     

A Special Basis of the Space of Meromorphic Sections on Riemann Surfaces

A special choice of basis for meromorphic sections of line bundles, in which all poles lie at the punctures, allows the decomposition of field operators (which are sections of bundles) into modes analogous to the standard decomposition on the sphere. Many of the calculational techniques used on the sphere can be reproduced for higher genus surfaces in this basis.Using this technique, in this paper, we compute a basis of K (the space of meromorphic sections on a Riemann surface, holomorphic away from two fixed points). This basis consists of the sections which have the expected zero or pole order at the two points.AMS Subject Classification (1991): 14H55     

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.     

Existence of ∈-Minima for Vector Optimization Problems

The -generalized minima for vector optimization problems are defined and a sufficient condition for the existence of -generalized minima for vector optimization problems is established.     

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.     

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.     

On vector lattices of elementary Carathéodory functions

In this paper we deal with the vector lattice C(B) of all elementary Carathéodory functions corresponding to a generalized Boolean algebra B.This work was supported by grant VEGA 2/1131/21.     

The local index and the Swan conductor

In this paper we study local indices of systems of p-adic linearly differential equations which arise from p-adic representations of the absolute Galois group of local field of characteristic p with finite monodromy. We show the induction formula of the local index of p-adic differential equations and prove the equality between the local index of differential equations and the Swan conductor of p-adic Galois representations by inductive methods.     

Variational-Like Inequalities with Generalized Monotone Mappings in Banach Spaces

In this paper, we introduce two classes of variational-like inequalities with generalized monotone mappings in Banach spaces. Using the KKM technique, we obtain the existence of solutions for variational-like inequalities with relaxed – monotone mappings in reflexive Banach spaces. We present also the solvability of variational-like inequalities with relaxed – semimonotone mappings in arbitrary Banach spaces by means of the Kakutani-Fan-Glicksberg fixed-point theorem. The results presented in this paper extend and improve the corresponding results of Refs. 1–6.     

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.     

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.     

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.