8,345 research outputs found
Application of symbolic computations to the constitutive modeling of structural materials
In applications involving elevated temperatures, the derivation of mathematical expressions (constitutive equations) describing the material behavior can be quite time consuming, involved and error-prone. Therefore intelligent application of symbolic systems to faciliate this tedious process can be of significant benefit. Presented here is a problem oriented, self contained symbolic expert system, named SDICE, which is capable of efficiently deriving potential based constitutive models in analytical form. This package, running under DOE MACSYMA, has the following features: (1) potential differentiation (chain rule), (2) tensor computations (utilizing index notation) including both algebraic and calculus; (3) efficient solution of sparse systems of equations; (4) automatic expression substitution and simplification; (5) back substitution of invariant and tensorial relations; (6) the ability to form the Jacobian and Hessian matrix; and (7) a relational data base. Limited aspects of invariant theory were also incorporated into SDICE due to the utilization of potentials as a starting point and the desire for these potentials to be frame invariant (objective). The uniqueness of SDICE resides in its ability to manipulate expressions in a general yet pre-defined order and simplify expressions so as to limit expression growth. Results are displayed, when applicable, utilizing index notation. SDICE was designed to aid and complement the human constitutive model developer. A number of examples are utilized to illustrate the various features contained within SDICE. It is expected that this symbolic package can and will provide a significant incentive to the development of new constitutive theories
Conservation laws for systems of extended bodies in the first post-Newtonian approximation.
The general form of the global conservation laws for -body systems in the
first post-Newtonian approximation of general relativity is considered. Our
approach applies to the motion of an isolated system of arbitrarily
composed and shaped, weakly self-gravitating, rotating, deformable bodies and
uses a framework recently introduced by Damour, Soffel and Xu (DSX). We succeed
in showing that seven of the first integrals of the system (total mass-energy,
total dipole mass moment and total linear momentum) can be broken up into a sum
of contributions which can be entirely expressed in terms of the basic
quantities entering the DSX framework: namely, the relativistic individual
multipole moments of the bodies, the relativistic tidal moments experienced by
each body, and the positions and orientations with respect to the global
coordinate system of the local reference frames attached to each body. On the
other hand, the total angular momentum of the system does not seem to be
expressible in such a form due to the unavoidable presence of irreducible
nonlinear gravitational effects.Comment: 18 pages, Revte
Electromagnetic Potential in Pre-Metric Electrodynamics: Causal Structure, Propagators and Quantization
An axiomatic approach to electrodynamics reveals that Maxwell electrodynamics
is just one instance of a variety of theories for which the name
electrodynamics is justified. They all have in common that their fundamental
input are Maxwell's equations (or ) and
and a constitutive law H = # F which relates the field
strength two-form and the excitation two-form . A local and linear
constitutive law defines what is called local and linear pre-metric
electrodynamics whose best known application are the effective description of
electrodynamics inside media including, e.g., birefringence. We analyze the
classical theory of the electromagnetic potential before we use methods
familiar from mathematical quantum field theory in curved spacetimes to
quantize it in a locally covariant way. Our analysis of the classical theory
contains the derivation of retarded and advanced propagators, the analysis of
the causal structure on the basis of the constitutive law (instead of a metric)
and a discussion of the classical phase space. This classical analysis sets the
stage for the construction of the quantum field algebra and quantum states.
Here one sees, among other things, that a microlocal spectrum condition can be
formulated in this more general setting.Comment: 34 pages, references added, update to published version, title
updated to published versio
A Frobenius Algebraic Analysis for Parasitic Gaps
The interpretation of parasitic gaps is an ostensible case of non-linearity
in natural language composition. Existing categorial analyses, both in the
typelogical and in the combinatory traditions, rely on explicit forms of
syntactic copying. We identify two types of parasitic gapping where the
duplication of semantic content can be confined to the lexicon. Parasitic gaps
in adjuncts are analysed as forms of generalized coordination with a
polymorphic type schema for the head of the adjunct phrase. For parasitic gaps
affecting arguments of the same predicate, the polymorphism is associated with
the lexical item that introduces the primary gap. Our analysis is formulated in
terms of Lambek calculus extended with structural control modalities. A
compositional translation relates syntactic types and derivations to the
interpreting compact closed category of finite dimensional vector spaces and
linear maps with Frobenius algebras over it. When interpreted over the
necessary semantic spaces, the Frobenius algebras provide the tools to model
the proposed instances of lexical polymorphism.Comment: SemSpace 2019, to appear in Journal of Applied Logic
- …