Birkhoff系统的Hojman定理的几何基础

研究了Birkhoff系统的Hojman定理的几何基础.建立了系统的运动微分方程和Hojman守恒 定理，利用现代微分几何给出了Birkhoff系统的Hojman定理的一个证明. 关键词： Birkhoff系统 Hojman定理 对称性 微分几何     

Integral Representations,Differentiability Properties and Limits at Infinity for Beppo Levi Functions

The first aim in the present paper is to give an integral representation for Beppo Levi functions on R ⁿ. Our integral representation is an extension of Sobolev's integral representation given for infinitely differentiable functions with compact support. As applications, continuity and differentiability properties of Beppo Levi functions are studied.Our second aim in this paper is to study the existence of limits at infinity for Beppo Levi functions. We also consider the existence of fine-type limits at infinity with respect to Bessel capacities, which yields the radial limit result at infinity.     

Mathematical modelling and analytical solution for workpiece temperature in grinding

This paper deals with modelling the workpiece temperature field produced during the grinding process. The proposed model is given in terms of a two-dimensional boundary-value problem where the interdependence among the grinding wheel, the workpiece and the coolant is described by two variable functions in the boundary condition. An explicit integral form solution is constructed using the Laplace and Fourier transforms and the Green’s function method.     

关于局部对称空间中2-调和子流形

本文研究局部对称完备黎曼流形中的紧致2－调和子流形，得到了这类流形第二基本模式长平方的Pinching定理及推广的J．Simons型积分不等式。     

Euler characteristic and related measures for random geometric sets

By an elementary calculation we obtain the exact mean values of Minkowksi functionals for a standard model of percolating sets. In particular, a recurrence theorem for the mean Euler characteristic recently put forward is shown to be incorrect. Related previous mathematical work is mentioned. We also conjecture bounds for the threshold density of continuum percolation, which are associated with the Euler characteristic.     

Symmetries of flat rank two distributions and sub-Riemannian structures

Flat sub-Riemannian structures are local approximations -- nilpotentizations -- of sub-Riemannian structures at regular points. Lie algebras of symmetries of flat maximal growth distributions and sub-Riemannian structures of rank two are computed in dimensions 3, 4, and 5.

     

The effect of construction material, contents and room geometry on the sound field in dwellings at low frequencies

An experimentally validated finite element method is used to model the sound level in rooms at low frequencies. It is demonstrated that the dimensions of rectangular rooms strongly influence the sound pressure level difference. Additional factors were investigated which are not normally considered in the frequency range where diffuse sound field conditions can be assumed. Three effects were investigated: room damping due to wall vibrations, furniture, the effect of small deviations from simple rectangular shapes. It is confirmed by field measurements that the vibrations of masonry walls and floors introduce less damping than surfaces of lightweight construction. Assigning to the FE model a damping equivalent to a surface absorption of 0.02 reproduces the effect of walls of heavyweight construction. Damping equivalent to a surface absorption of 0.15 reproduces the effects of plastered timber-frame walls, floors and ceilings. The work was briefly extended to a room pair built with heavyweight and lightweight material of construction. The modification of the shape of the room frequency response highlights well the effect of material of construction. In-situ and laboratory measurements show that furniture has little effect on steady-state room response below 100 Hz. Modelling a wall recess smaller than 0.5 m improved the agreement between prediction and measurements but the assumption of a simple rectangular room remains appropriate.     

Interpreting Observables in a Quantum World from the Categorial Standpoint

We develop a relativistic perspective on structures of quantum observables, in terms of localization systems of Boolean coordinatizing charts. This perspective implies that the quantum world is comprehended via Boolean reference frames for measurement of observables, pasted together along their overlaps. The scheme is formalized categorically, as an instance of the adjunction concept. The latter is used as a framework for the specification of a categorical equivalence signifying an invariance in the translational code of communication between Boolean localizing contexts and quantum systems. Aspects of the scheme semantics are discussed in relation to logic. The interpretation of coordinatizing localization systems, as structure sheaves, provides the basis for the development of an algebraic differential geometric machinery suited to the quantum regime.     

On Covariant Phase Space and the Variational Bicomplex

The notion of a phase space in classical mechanics is well known. The extension of this concept to field theory however, is a challenging endeavor, and over the years numerous proposals for such a generalization have appeared in the literature. In this paper We review a Hamiltonian formulation of Lagrangian field theory based on an extension to infinite dimensions of J.-M. Souriau's symplectic approach to mechanics. Following G. Zuckerman, we state our results in terms of the modern geometric theory of differential equations and the variational bicomplex. As an elementary example, we construct a phase space for the Monge–Ampere equation.     

Killing spinors on Lorentzian manifolds

The aim of this paper is to describe some results concerning the geometry of Lorentzian manifolds admitting Killing spinors. We prove that there are imaginary Killing spinors on simply connected Lorentzian Einstein–Sasaki manifolds. In the Riemannian case, an odd-dimensional complete simply connected manifold (of dimension n≠7) is Einstein–Sasaki if and only if it admits a non-trivial Killing spinor to . The analogous result does not hold in the Lorentzian case. We give an example of a non-Einstein Lorentzian manifold admitting an imaginary Killing spinor. A Lorentzian manifold admitting a real Killing spinor is at least locally a codimension one warped product with a special warping function. The fiber of the warped product is either a Riemannian manifold with a real or imaginary Killing spinor or with a parallel spinor, or it again is a Lorentzian manifold with a real Killing spinor. Conversely, all warped products of that form admit real Killing spinors.