Results 1  10
of
39
On the Boltzmann equation
 Arch. Rational Mech. Anal
, 1972
"... 1. Introduction Let \Omega ae Rn be a strictly convex domain with C1 boundary and inward normal ~n(x). Consider in \Omega the stationary, nonlinear Boltzmann equation for hard and soft forces with Grad's angular cutoff, ..."
Abstract

Cited by 36 (0 self)
 Add to MetaCart
1. Introduction Let \Omega ae Rn be a strictly convex domain with C1 boundary and inward normal ~n(x). Consider in \Omega the stationary, nonlinear Boltzmann equation for hard and soft forces with Grad's angular cutoff,
A theory of hyperfinite processes: the complete removal of individual uncertainty via exact LLN
, 1998
"... The aim of this paper is to provide a viable measuretheoretic framework for the study of random phenomena involving a large number of economic entities. The work is based on the fact that processes which are measurable with respect to hyperfinite Loeb product spaces capture the limiting behaviors ..."
Abstract

Cited by 20 (10 self)
 Add to MetaCart
The aim of this paper is to provide a viable measuretheoretic framework for the study of random phenomena involving a large number of economic entities. The work is based on the fact that processes which are measurable with respect to hyperfinite Loeb product spaces capture the limiting behaviors of triangular arrays of random variables and thus constitute the `right' class for general stochastic modeling. The primary concern of the paper is to characterize those hyperfinite processes satisfying the exact law of large numbers by using the basic notions of conditional expectation, orthogonality, uncorrelatedness and independence together with some unifying multiplicative properties of random variables. The general structure of the processes is also analyzed via a biorthogonal expansion of the KarhunenLoeve type and via the representation in terms of the simpler hyperfinite Loeb counting spaces. A universality property for atomless Loeb product spaces is formulated to show the abun...
Distributional properties of correspondences on Loeb spaces
 YENENG SUN Journal of Functional Analysis
, 1996
"... We present some regularity properties for the set of distributions induced by the measurable selections of a correspondence over a Loeb space, which include closedness, convexity, compactness, purification, and semicontinuity. We also note that all the properties reported in the main theorems are no ..."
Abstract

Cited by 8 (7 self)
 Add to MetaCart
We present some regularity properties for the set of distributions induced by the measurable selections of a correspondence over a Loeb space, which include closedness, convexity, compactness, purification, and semicontinuity. We also note that all the properties reported in the main theorems are not satisfied by some correspondences on the unit Lebesgue interval. 1996 Academic Press, Inc. 1.
Integration Of Correspondences On Loeb Spaces
 Trans. Am. Math. Soc
, 1997
"... . We study the Bochner and Gel # fand integration of Banach space valued correspondences on a general Loeb space. Though it is well known that the Lyapunov type result on the compactness and convexity of the integral of a correspondence and the Fatou type result on the preservation of upper semi ..."
Abstract

Cited by 8 (6 self)
 Add to MetaCart
. We study the Bochner and Gel # fand integration of Banach space valued correspondences on a general Loeb space. Though it is well known that the Lyapunov type result on the compactness and convexity of the integral of a correspondence and the Fatou type result on the preservation of upper semicontinuity by integration are in general not valid in the setting of an infinite dimensional space, we show that exact versions of these two results hold in the case we study. We also note that our results on a hyperfinite Loeb space capture the nature of the corresponding asymptotic results for the large finite case; but the unit Lebesgue interval fails to provide such a framework. 1. Introduction Since Aumann's seminal work [6] on the integration of a finite dimensional valued correspondence, there have been numerous applications and generalizations of that work. See [4, 12, 20, 29], and [32] for some of the results. The extension of Aumann's theory to an infinite dimensional space h...
Ultraproducts in Analysis
 IN ANALYSIS AND LOGIC, VOLUME 262 OF LONDON MATHEMATICAL SOCIETY LECTURE NOTES
, 2002
"... ..."
Noncooperative games on hyperfinite Loeb spaces
, 1999
"... We present a particular class of measure spaces, hyperfinite Loeb spaces, as a model of situations where individual players are strategically negligible, as in large nonanonymous games, or where information is diffused, as in games with imperfect information. We present results on the existence of ..."
Abstract

Cited by 6 (4 self)
 Add to MetaCart
We present a particular class of measure spaces, hyperfinite Loeb spaces, as a model of situations where individual players are strategically negligible, as in large nonanonymous games, or where information is diffused, as in games with imperfect information. We present results on the existence of Nash equilibria in both kinds of games. Our results cover the case when the action sets are taken to be the unit interval, results now known to be false when they are based on more familiar measure spaces such as the Lebesgue unit interval. We also emphasize three criteria for the modelling of such gametheoretic situations asymptotic implementability, homogeneity and measurabilityand argue for games on hyperfinite Loeb spaces on the basis of these criteria. In particular, we show through explicit examples that a sequence of finite games with an increasing number of players or sample points cannot always be represented by a limit game on a Lebesgue space, and even when it can be so rep...
On the Mechanization of Real Analysis in Isabelle/HOL
"... Our recent, and still ongoing, development of real analysis in Isabelle/HOL is presented and compared, whenever instructive, to the one present in the theorem prover HOL. While most existing mechanizations of analysis only use the classical and approach, ours uses notions from both Nonstandard ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
Our recent, and still ongoing, development of real analysis in Isabelle/HOL is presented and compared, whenever instructive, to the one present in the theorem prover HOL. While most existing mechanizations of analysis only use the classical and approach, ours uses notions from both Nonstandard Analysis and classical analysis. The overall result is an intuitive, yet rigorous, development of real analysis, and a relatively high degree of proof automation in many cases.
Classical Mechanics as Quantum Mechanics with Infinitesimal h
 Phys.Lett.A
, 1995
"... . We develop an approach to the classical limit of quantum theory using the mathematical framework of nonstandard analysis. In this framework infinitesimal quantities have a rigorous meaning, and the quantum mechanical parameter ¯ h can be chosen to be such an infinitesimal. We consider those bounde ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
. We develop an approach to the classical limit of quantum theory using the mathematical framework of nonstandard analysis. In this framework infinitesimal quantities have a rigorous meaning, and the quantum mechanical parameter ¯ h can be chosen to be such an infinitesimal. We consider those bounded observables which are transformed continuously on the standard (noninfinitesimal) scale by the phase space translations. We show that, up to corrections of infinitesimally small norm, such continuous elements form a commutative algebra which is isomorphic to the algebra of classical observables represented by functions on phase space. Commutators of differentiable quantum observables, divided by ¯ h, are infinitesimally close to the Poisson bracket of the corresponding functions. Moreover, the quantum time evolution is infinitesimally close to the classical time evolution. Analogous results are shown for the classical limit of a spin system, in which the halfinteger spin parameter, i.e. t...
The Complete Removal of Individual Uncertainty: Multiple Optimal Choices and Random Exchange Economies
, 1999
"... this paper is to develop some measuretheoretic methods for the study of large economic systems with individualspecific randomness and multiple optimal actions. In particular, for a suitably formulated continuum of correspondences, an exact version of the law of large numbers in distribution is cha ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
this paper is to develop some measuretheoretic methods for the study of large economic systems with individualspecific randomness and multiple optimal actions. In particular, for a suitably formulated continuum of correspondences, an exact version of the law of large numbers in distribution is characterized in terms of almost independence, which leads to several other versions of the law of large numbers in terms of integration of correspondences. Widespread correlation due to multiple optimal actions is also shown to be removable via a redistribution. These results allow the complete removal of individual risks or uncertainty in economic models where nonunique best choices are inevitable. Applications are illustrated through establishing stochastic consistency in general equilibrium models with idiosyncratic shocks in endowments and preferences. In particular, the existence of "global" solutions preserving microscopic independence structure is shown in terms of competitive equilibria for the cases of divisible and indivisible goods as well as in terms of core for a case with indivisible goods where a competitive equilibrium may not exist. An important feature of the idealized equilibrium models considered here is that standard results on measuretheoretic economies are now directly applicable to the case of random economies. Some asymptotic interpretation of the results are also discussed. It is also pointed out that the usual unit interval [0, 1] can be used as an index set in our setting, provided that it is endowed together with some sample space a suitable larger measure structure.
Finite Models of Elementary Recursive Nonstandard Analysis
, 1996
"... This paper provides a new proof of the consistency of a formal system similar to the one presented by Chuaqui and Suppes in [2, 9]. First, a simpler, yet in some respects stronger, system, called Elementary Recursive Nonstandard Analysis (ERNA) will be provided. Indeed, it will be shown that ERN ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
This paper provides a new proof of the consistency of a formal system similar to the one presented by Chuaqui and Suppes in [2, 9]. First, a simpler, yet in some respects stronger, system, called Elementary Recursive Nonstandard Analysis (ERNA) will be provided. Indeed, it will be shown that ERNA proves the main axioms of the Chuaqui and Suppes system. Then a finitary consistency proof of ERNA will be given; in particular, we will show that PRA, the system of primitive recursive arithmetic, which is generally recognized as capturing Hilbert's notion of finitary, proves the consistency of ERNA. From the consistency proof we can extract a constructive method for obtaining finite approximations of models of nonstandard analysis. We present an isomorphism theorem for models that are finite substructures of infinite models. 1 Introduction This paper continues and extends the development of a constructive system of nonstandard analysis begun by Chuaqui and Suppes in [2, 9]. The ...