Coalgebraic representations of distributive lattices with operators

We present a framework for extending Stone's representation theorem for distributive lattices to representation theorems for distributive lattices with operators. We proceed by introducing the definition of algebraic theory of operators over distributive lattices. Each such theory induces a functor on the category of distributive lattices such that its algebras are exactly the distributive lattices with operators in the original theory. We characterize the topological counterpart of these algebras in terms of suitable coalgebras on spectral spaces. We work out some of these coalgebraic representations, including a new representation theorem for distributive lattices with monotone operators.     

Periodic solutions for a Lotka–Volterra mutualism system with several delays

In the present paper, a Lotka–Volterra type mutualism system with several delays is studied. Some new and interesting sufficient conditions are obtained for the global existence of positive periodic solutions of the mutualism system. Our method is based on Mawhin’s coincidence degree and novel estimation techniques for the a priori bounds of unknown solutions. Our results are different from the existing ones such as those in of Yang et al. [F. Yang, D. Jiang, A. Ying, Existence of positive solution of multidelays facultative mutualism system, J. Eng. Math. 3 (2002) 64–68] and Chen et al. [F. Chen, J. Shi, X. Chen, Periodicity in a Lotka–Volterra facultative mutualism system with several delays, J. Eng. Math. 21 (3) (2004) 403–409].     

The convex hull property and topology of hypersurfaces with nonnegative curvature

We prove that, in Euclidean space, any nonnegatively curved, compact, smoothly immersed hypersurface lies outside the convex hull of its boundary, provided the boundary satisfies certain required conditions. This gives a convex hull property, dual to the classical one for surfaces with nonpositive curvature. A version of this result in the nonsmooth category is obtained as well. We show that our boundary conditions determine the topology of the surface up to at most two choices. The proof is based on uniform estimates for radii of convexity of these surfaces under a clipping procedure, a noncollapsing convergence theorem, and a gluing procedure.     

FI代数的滤子

研究FI代数的滤子理论，建立F滤子、P滤子、Q滤子、C滤子之间的联系．     

Effects of vitrification suppression on structure morphology, conductivity and dielectric properties of vanadium phosphate glasses

Vitrification suppression in the (V₂O₅)_1−x (P₂O₅)_x glasses where x=0.10, 0.15, 0.20, and 0.25 was controlled by changing the rate of quenching glasses. The structure variations occurring in the glasses were detected by differential thermal analysis and optical microscope. The results implied the separation and growth of V₂O₅ orthorhombic microcrystal in the samples with x=0.10 and 0.15 whereas other samples did not illustrate remarkable changes in their microstructure. However, in temperature range between 300 and 473 K a semiconducting behavior for all samples appears during the study of electrical conductivity-temperature dependence. A decrease in conductivity values accompanied with some variations in activation energies by reducing quenching rate was observed. The conductivity results suggested that the conduction occurs by the phonon assisted hopping of a small polaron between V⁴⁺ and V⁵⁺ states at relatively higher temperature range above θ_D/2. Whereas at relatively low temperatures the conduction may occur by electron jumping between filled and empty states at Fermi level in the disordered matrix besides polaronic conduction. Reasonable values for the density of localized states, carrier concentration and carrier mobility were estimated and discussed. Also, dielectric constant and dielectric loss were studied as a function of frequency at different temperatures confirming the structure variations in the glass system.     

Analysis of Suzuki, Shanker, and Kumar formulations under strong compressions

A critical analysis of the Suzuki, Shanker, and Kumar formulations is presented by studying different classes of materials under high pressure. A similar trend for all the materials studied in the present work, demonstrates that Suzuki formulation is not capable to yield compression behaviour of solids. The Shanker formulation improves the results obtained by the Suzuki formulation in small compression range (0.9<V/V₀<1). For further compressions Shanker formulation also fails. On the other hand, the Kumar formulation is found to work well for the entire range of pressure. The reasons for the failure of Suzuki and Shanker formulations are discussed.     

Defect clusters in titanium-substituted spinel-related lithium ferrite

The cation distribution in spinel-related titanium-substituted lithium ferrite, Li_0.5+0.5xFe_2.5−1.5xTi_xO₄ has been explored using interatomic potential and ab initio calculations. The results suggest that the cation distribution with Ti⁴⁺ substituting for Fe³⁺ on octahedral B sites and excess Li⁺ substituting for Fe³⁺ on tetrahedral A sites is stabilised by the formation of clusters of two octahedrally coordinated Ti⁴⁺ ions and one tetrahedrally coordinated Li⁺ ion linked through a common oxygen.     

Charge density study under high pressure

The experimental and analytical method of the high-pressure powder experiment at BL10XU, SPring-8, is described. There is no doubt that BL10XU must be one of the most appropriate beam lines for high pressure X-ray diffraction experiment taking advantage of third generation synchrotron source. As an example of the advanced charge density study under high pressure, the structural change of Cs₂Au₂Br₆ by applying pressure is studied by Rietveld/MEM analysis. It reveals that the structural change of Cs₂Au₂Br₆ by applying pressure occurs basically at electron level, such as valence state change and chemical bonding, which may be called the electronic phase transition.     

Partially Classical States of a Boson Field

Employing positive-definiteness arguments we analyse Boson field states, which combine classical and quantum mechanical features (signal and noise), in a constructive manner. Mathematically, they constitute Bauer simplexes within the convex, weak-*-compact state space of the C*-Weyl algebra, defined by a presymplectic test function space (smooth one-Boson wave functions) and are affinely homeomorphic to a state space of a classical field. The regular elements are expressed in terms of weak distributions (probability premeasures) on the dual test function space. The Bauer simplex arising from the bare vacuum is shown to generalize the quantum optical photon field states with positive P-functions.     

Epoxy based coatings on glass: strengthening mechanisms

Glass may be strengthened by epoxy coatings although the strengthening mechanisms remain unclear. Possible strengthening mechanisms are reviewed and are used to analyse strength data for both a solvent based and a water based coating system. The coatings either fill (solvent based coatings), or partially fill (water based coatings) surface cracks and it is shown that closure stresses arising from the thermal expansion mismatch of the coating within these cracks can account for the observed degrees of strengthening. It is also demonstrated that other suggested mechanisms such as flaw healing cannot fully account for the observed degree of strengthening.