Search results for "Theorem"
showing 10 items of 1250 documents
Radon-Nikodym derivatives of finitely additive interval measures taking values in a Banach space with basis
2011
Let X be a Banach space with a Schauder basis {en}, and let Φ(I)= ∑n en ∫I fn(t)dt be a finitely additive interval measure on the unit interval [0, 1], where the integrals are taken in the sense of Henstock–Kurzweil. Necessary and sufficient conditions are given for Φ to be the indefinite integral of a Henstock–Kurzweil–Pettis (or Henstock, or variational Henstock) integrable function f:[0, 1] → X.
Crystal nuclei in melts: A Monte Carlo simulation of a model for attractive colloids
2015
As a model for a suspension of hard-sphere like colloidal particles where small nonadsorbing dissolved polymers create a depletion attraction, we introduce an effective colloid-colloid potential closely related to the Asakura-Oosawa model but that does not have any discontinuities. In simulations, this model straightforwardly allows the calculation of the pressure from the Virial formula, and the phase transition in the bulk from the liquid to crystalline solid can be accurately located from a study where a stable coexistence of a crystalline slab with a surrounding liquid phase occurs. For this model, crystalline nuclei surrounded by fluid are studied both by identifying the crystal-fluid …
Realism, metamathematics, and the unpublished essays
1995
This initial chapter is divided into two sections. The first is devoted to a brief exposition of the intuitive essence and the philosophical motivation of Godel’s main metamathematical results, namely his completeness theorem for elementary logic (1930) and his incompleteness theorems for arithmetic (1931). Thereafter some discussion of the different ways to confront the relationship between those results and Godel’s philosophical realism in logic and mathematics is offered. Thus, mathematical realism will be successively regarded as (i) a philosophical consequence of those results; (ii) a heuristic principle which leads to them; (iii) a philosophical hypothesis which is “verified” by them.…
Deduction theorems within RM and its extensions
1999
AbstractIn [13], M. Tokarz specified some infinite family of consequence operations among all ones associated with the relevant logic RM or with the extensions of RM and proved that each of them admits a deduction theorem scheme. In this paper, we show that the family is complete in a sense that if C is a consequence operation with CRM ≤ C and C admits a deduction theorem scheme, then C is equal to a consequence operation specified in [13]. In algebraic terms, this means that the only quasivarieties of Sugihara algebras with the relative congruence extension property are the quasivarieties corresponding, via the algebraization process, to the consequence operations specified in [13].
Minimal coupling in presence of non-metricity and torsion
2020
We deal with the question of what it means to define a minimal coupling prescription in presence of torsion and/or non-metricity, carefully explaining while the naive substitution $\partial\to\na$ introduces extra couplings between the matter fields and the connection that can be regarded as non-minimal in presence of torsion and/or non-metricity. We will also investigate whether minimal coupling prescriptions at the level of the action (MCPL) or at the level of field equations (MCPF) lead to different dynamics. To that end, we will first write the Euler-Lagrange equations for matter fields in terms of the covariant derivatives of a general non-Riemannian space, and derivate the form of the…
Generation of Frames
2004
It is well known that, given a generic frame, there exists a unique frame operator which satisfies, together with its adjoint, a double operator inequality. In this paper we start considering the inverse problem, that is how to associate a frame to certain operators satisfying the same kind of inequality. The main motivation of our analysis is the possibility of using frame theory in the discussion of some aspects of the quantum time evolution, both for open and for closed physical systems.
Many-Body Quantum Dynamics from the Density
2013
We present a local control scheme to construct the external potential v that, for a given initial state, produces a prescribed time-dependent density in an interacting quantum many-body system. This numerical method is efficient and stable even for large and rapid density variations irrespective of the initial state and the interactions. It can at the same time be used to answer fundamental v-representability questions in density functional theory. In particular, in the absence of interactions, it allows us to construct the exact time-dependent Kohn-Sham potential for arbitrary initial states. We illustrate the method in a correlated one-dimensional two-electron system with different intera…
Analytic solutions and Singularity formation for the Peakon b--Family equations
2012
This paper deals with the well-posedness of the b-family equation in analytic function spaces. Using the Abstract Cauchy-Kowalewski theorem we prove that the b-family equation admits, locally in time, a unique analytic solution. Moreover, if the initial data is real analytic and it belongs to H s with s>3/2, and the momentum density u 0-u 0, xx does not change sign, we prove that the solution stays analytic globally in time, for b≥1. Using pseudospectral numerical methods, we study, also, the singularity formation for the b-family equations with the singularity tracking method. This method allows us to follow the process of the singularity formation in the complex plane as the singularity a…
The Mechanics of Rigid Bodies
1990
The theory of rigid bodies is a particularly important part of general mechanics. Firstly, next to the spherically symmetric mass distributions that we studied in Sect. 1.30, the top is the simplest example of a body with finite extension. Secondly, its dynamics is a particularly beautiful model case to which one can apply the general principles of canonical mechanics and where one can study the consequences of the various space symmetries in an especially transparent manner.
Quantum effects in the capture of charged particles by dipolar polarizable symmetric top molecules. I. General axially nonadiabatic channel treatment
2013
The rate coefficients for capture of charged particles by dipolar polarizable symmetric top molecules in the quantum collision regime are calculated within an axially nonadiabatic channel approach. It uses the adiabatic approximation with respect to rotational transitions of the target within first-order charge-dipole interaction and takes into account the gyroscopic effect that decouples the intrinsic angular momentum from the collision axis. The results are valid for a wide range of collision energies (from single-wave capture to the classical limit) and dipole moments (from the Vogt-Wannier and fly-wheel to the adiabatic channel limit).