Search results for "Formalism"
showing 10 items of 357 documents
Extracting Formal Models from Normative Texts
2016
Normative texts are documents based on the deontic notions of obligation, permission, and prohibition. Our goal is model such texts using the C-O Diagram formalism, making them amenable to formal analysis, in particular verifying that a text satisfies properties concerning causality of actions and timing constraints. We present an experimental, semi-automatic aid to bridge the gap between a normative text and its formal representation. Our approach uses dependency trees combined with our own rules and heuristics for extracting the relevant components. The resulting tabular data can then be converted into a C-O Diagram.
Geometrical Transformations In The Fraunhofer Plane
1987
A virtual display of the Fraunhofer diffraction pattern is generated solely by illuminating the object with a point source. If this pattern is imaged with an anamorphic system, several linear geometrical transformations can be achieved. Furthermore, a nonsymmetrical Fourier transformer with a variable degree of anamorphic magnification on the Fraunhofer pattern can be implemented.
Calculation of size‐intensive transition moments from the coupled cluster singles and doubles linear response function
1994
Coupled cluster singles and doubles linear response (CCLR) calculations have been carried out for excitation energies and dipole transition strengths for the lowest excitations in LiH, CH+, and C4and the results compared with the results from a CI-like approach to equation of motion coupled cluster (EOMCC). The transition strengths are similar in the two approaches for single molecule calculations on small systems. However, the CCLR approach gives size-intensive dipole transition strengths, while title EOMCC formalism does not. Thus, EOMCC calculations can give unphysically dipole transition strengths, e.g., in EOMCC calculations on a sequence of noninteracting LiH systems we obtained a neg…
Domains of accretive operators in Banach spaces
2016
LetD(A)be the domain of anm-accretive operatorAon a Banach spaceE. We provide sufficient conditions for the closure ofD(A)to be convex and forD(A)to coincide withEitself. Several related results and pertinent examples are also included.
Lagrangians, Hamiltonians and Noether’s Theorem
2015
This chapter is intended to remind the basic notions of the Lagrangian and Hamiltonian formalisms as well as Noether’s theorem. We shall first start with a discrete system with N degrees of freedom, state and prove Noether’s theorem. Afterwards we shall generalize all the previously introduced notions to continuous systems and prove the generic formulation of Noether’s Theorem. Finally we will reproduce a few well known results in Quantum Field Theory.
A natural and rigid model of quantum groups
1992
We introduce a natural (Frechet-Hopf) algebra A containing all generic Jimbo algebras U t (sl(2)) (as dense subalgebras). The Hopf structures on A extend (in a continuous way) the Hopf structures of generic U t (sl(2)). The Universal R-matrices converge in A\(\hat \otimes \)A. Using the (topological) dual of A, we recover the formalism of functions of noncommutative arguments. In addition, we show that all these Hopf structures on A are isomorphic (as bialgebras), and rigid in the category of bialgebras.
Resolvent Estimates for Non-Selfadjoint Operators via Semigroups
2009
We consider a non-selfadjoint h-pseudodifferential operator P in the semiclassical limit (h → 0). If p is the leading symbol, then under suitable assumptions about the behavior of p at infinity, we know that the resolvent (z–P)–1 is uniformly bounded for z in any compact set not intersecting the closure of the range of p. Under a subellipticity condition, we show that the resolvent extends locally inside the range up to a distance \(\mathcal{O}(1)((h\ln \frac{1}{h})^{k/(k + 1)} )\) from certain boundary points, where \(k \in \{ 2,4, \ldots \} \). This is a slight improvement of a result by Dencker, Zworski, and the author, and it was recently obtained by W. Bordeaux Montrieux in a model sit…
Operators in Rigged Hilbert spaces: some spectral properties
2014
A notion of resolvent set for an operator acting in a rigged Hilbert space $\D \subset \H\subset \D^\times$ is proposed. This set depends on a family of intermediate locally convex spaces living between $\D$ and $\D^\times$, called interspaces. Some properties of the resolvent set and of the corresponding multivalued resolvent function are derived and some examples are discussed.
Conformal transformations and weak field limit of scalar-tensor gravity
2013
The weak field limit of scalar tensor theories of gravity is discussed in view of conformal transformations. Specifically, we consider how physical quantities, like gravitational potentials derived in the Newtonian approximation for the same scalar-tensor theory, behave in the Jordan and in the Einstein frame. The approach allows to discriminate features that are invariant under conformal transformations and gives contributions in the debate of selecting the true physical frame. As a particular example, the case of $f(R)$ gravity is considered.
Generalized Einstein-Maxwell field equations in the Palatini formalism
2013
We derive a new set of field equations within the framework of the Palatini formalism.These equations are a natural generalization of the Einstein-Maxwell equations which arise by adding a function $\mathcal{F}(\mathcal{Q})$, with $\mathcal{Q}\equiv F^{\alpha\beta}F_{\alpha\beta}$ to the Palatini Lagrangian $f(R,Q)$.The result we obtain can be viewed as the coupling of gravity with a nonlinear extension of the electromagnetic field.In addition,a new method is introduced to solve the algebraic equation associated to the Ricci tensor.