局部紧集上的广义向量均衡问题

利用数值化方法和 Browder 不动点定理,得到一类新的广义向量均衡问题解的存在定理,并用于向量变分不等式、向量相补问题和抽象向量优化问题,得到其解的存在定理.     

Normal Vietoris Implies Compactness: A Short Proof

One of the most celebrated results in the theory of hyperspaces says that if the Vietoris topology on the family of all nonempty closed subsets of a given space is normal, then the space is compact (Ivanova-Keesling-Velichko). The known proofs use cardinality arguments and are long. In this paper we present a short proof using known results concerning Hausdorff uniformities.     

Spectra of computable models for Ehrenfeucht theories

We construct an example of a theory with a finite (greater than one) number of isomorphism types of countable models such that its prime and saturated models have computable presentations and there exists a model which lacks in such. Supported by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools via project NSh-4413.2006.1. __________ Translated from Algebra i Logika, Vol. 46, No. 3, pp. 275–289, May–June, 2007.     

New reals: Can live with them,can live without them

We give a self‐contained proof of the preservation theorem for proper countable support iterations known as “tools‐preservation”, “Case A” or “first preservation theorem” in the literature. We do not assume that the forcings add reals. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Asymptotic properties of constrained Markov Decision Processes

We present in this paper several asymptotic properties of constrained Markov Decision Processes (MDPs) with a countable state space. We treat both the discounted and the expected average cost, with unbounded cost. We are interested in (1) the convergence of finite horizon MDPs to the infinite horizon MDP, (2) convergence of MDPs with a truncated state space to the problem with infinite state space, (3) convergence of MDPs as the discount factor goes to a limit. In all these cases we establish the convergence of optimal values and policies. Moreover, based on the optimal policy for the limiting problem, we construct policies which are almost optimal for the other (approximating) problems. Based on the convergence of MDPs with a truncated state space to the problem with infinite state space, we show that an optimal stationary policy exists such that the number of randomisations it uses is less or equal to the number of constraints plus one. We finally apply the results to a dynamic scheduling problem.This work was partially supported by the Chateaubriand fellowship from the French embassy in Israel and by the European Grant BRA-QMIPS of CEC DG XIII     

Countable network weight and multiplication of Borel sets

A space Borel multiplies with a space if each Borel set of is a member of the -algebra in generated by Borel rectangles. We show that a regular space Borel multiplies with every regular space if and only if has a countable network. We give an example of a Hausdorff space with a countable network which fails to Borel multiply with any non-separable metric space. In passing, we obtain a characterization of those spaces which Borel multiply with the space of countable ordinals, and an internal necessary and sufficient condition for to Borel multiply with every metric space.

     

A Singular Limit Problem for Conservation Laws Related to the Camassa–Holm Shallow Water Equation

We consider a shallow water equation of the Camassa–Holm type, which contains nonlinear dispersive effects as well as fourth order dissipative effects. We prove that as the diffusion and dispersion parameters tend to zero, with a condition on the relative balance between these two parameters, smooth solutions of the shallow water equation converge to discontinuous weak solutions of a scalar conservation law. The proof relies on deriving suitable a priori estimates together with an application of the compensated compactness method in the L ^p setting.     

Almost Fuzzy Compactness in L-fuzzy Top ological Spaces

In this paper, the notion of almost fuzzy compactness is defined in L-fuzzy topological spaces by means of inequality, where L is a completely distributive DeMorgan algebra. Its properties are discusse...     

‐Theory for Schrödinger systems

In this article, we study for the ‐realization of the vector‐valued Schrödinger operator . Using a noncommutative version of the Dore–Venni theorem due to Monniaux and Prüss, we prove that the ‐realization of , defined on the intersection of the natural domains of the differential and multiplication operators which form , generates a strongly continuous contraction semigroup on . We also study additional properties of the semigroup such as extension to L¹, positivity, ultracontractivity and prove that the generator has compact resolvent.