Hypernormal form theory: foundations and algorithms

Hypernormal forms (unique normal forms, simplest normal forms) are investigated both from the standpoint of foundational theory and algorithms suitable for use with computer algebra. The Baider theory of the Campbell-Hausdorff group is refined, by a study of its subgroups, to determine the smallest substages into which the hypernormalization process can be divided. This leads to a linear algebra algorithm to compute the generators needed for each substage with the least amount of work. A concrete interpretation of Jan Sanders’ spectral sequence for hypernormal forms is presented. Examples are given, and a proof is given for a little-known theorem of Belitskii expressing the hypernormal form space (in the inner product style) as the kernel of a higher-order differential operator.     

Skew-Hermitian Triangular Splitting Iteration Methods for Non-Hermitian Positive Definite Linear Systems of Strong Skew-Hermitian Parts

By further generalizing the skew-symmetric triangular splitting iteration method studied by Krukier, Chikina and Belokon (Applied Numerical Mathematics, 41 (2002), pp. 89–105), in this paper, we present a new iteration scheme, called the modified skew-Hermitian triangular splitting iteration method, for solving the strongly non-Hermitian systems of linear equations with positive definite coefficient matrices. We discuss the convergence property and the optimal parameters of this new method in depth. Moreover, when it is applied to precondition the Krylov subspace methods like GMRES, the preconditioning property of the modified skew-Hermitian triangular splitting iteration is analyzed in detail. Numerical results show that, as both solver and preconditioner, the modified skew-Hermitian triangular splitting iteration method is very effective for solving large sparse positive definite systems of linear equations of strong skew-Hermitian parts.     

Equilibrium in Queueing Systems with Complementary Products

We study a model of a queueing system with two complementary products/services. In our model, there is one M/M/1 system and another facility that provides instantaneous service. The two services are complementary and the customer has no benefit from obtaining just one of them. We investigate the model under various price structures and ownership assumptions.AMS subject classification: 90B22, 91A10The authors are equal in their contribution to this paper. This paper is submitted by the first author to the Tokyo Institute of Technology as partial fulfillment of the requirements for the Ph.D. program in the Department of Value and Decision Sciences, and the order of names was chosen in compliance with program conditions. This research was supported by the Israel Science Foundation (grant No. 237/02).     

T 1 theorem for Besov spaces on nonhomogeneous spaces

Suppose μ is a Radon measure on ℝ ^d , which may be non doubling. The only condition assumed on μ is a growth condition, namely, there is a constant C₀>0 such that for all x∈supp(μ) and r>0, μ(B(x, r))⪯C₀rⁿ, where 0<n⪯d. We prove T1 theorem for non doubling measures with weak kernel conditions. Our approach yields new results for kernels satisfying weakened regularity conditions, while recovering previously known Tolsa’s results. We also prove T1 theorem for Besov spaces on nonhomogeneous spaces with weak kernel conditions given in [7].     

Generalized lattice model of liquid state and its relation to Ginzburg–Landau theory

Basic principles of the generalized lattice model of multicomponent condensed systems are formulated. Short-range parts of interatomic interactions are taken into account by means of the geometric constraints method. Long-range parts of the interactions are taken into account in mean field approximation. The expression for Helmholtz free energy is obtained. A system of integral equations for the equilibrium distributions of components is derived. The asymptotic properties of its solutions are investigated. Moment expansion of interatomic interactions and localization of integral terms in free energy is obtained. A Ginzburg–Landau-like functional of free energy is derived.     

LocalH-theorem for a kinetic variational theory

A localH-theorem is derived for a recently proposed extension of Enskog kinetic theory to a dense model fluid composed of particles with interactions extending beyond a hard core.On leave from: Katedra Fizyki, Uniwersytetu Szczecinskiego, 70-451 Szczecin, Poland.     

A Triangle Inequality for Measurement

We introduce the triangle inequality for measurement. This is a property that when satisfied by a measurement enables one to construct a metric on the set of elements with measure zero that yields the relative Scott topology. The naturality of this construction permits a categorical solution to the model problem in domain theory for locally compact metric spaces. The first time such a solution has been achieved.     

Substructuring preconditioners for saddle-point problems arising from Maxwell's equations in three dimensions

This paper is concerned with the saddle-point problems arising from edge element discretizations of Maxwell's equations in a general three dimensional nonconvex polyhedral domain. A new augmented technique is first introduced to transform the problems into equivalent augmented saddle-point systems so that they can be solved by some existing preconditioned iterative methods. Then some substructuring preconditioners are proposed, with very simple coarse solvers, for the augmented saddle-point systems. With the preconditioners, the condition numbers of the preconditioned systems are nearly optimal; namely, they grow only as the logarithm of the ratio between the subdomain diameter and the finite element mesh size.

     

164Lu的三轴超形变核态的理论计算

用三维TRS(totalrouthiansurface)自洽理论对奇奇核164Lu的位能面进行了计算,计算结果与实验上得到的ε2=0.38基本一致,从而从理论上确认了164Lu是三轴超形变核,并且指出了存在三轴超形变带的两个组态. Total routhian surface in~(164)Lu nuclei is calculated according to the three dimensional Total Routhian Surface (TRS) theory. The result of the calculation is in agreement with the experiment. At the same time, two TSD bands could be assigned to the configuration(π\(1/2), α=1/2)(ν\(5/2), α=1/2), (π\(1/2), α=1/2)(ν\(3/2), α=-1/2).     

The mesa problem for Neumann boundary value problem

In this paper, we study the singular limit of the Porous Medium equation u_t=Δu^m+g(x,u), as m→∞, in a bounded domain with Neumann boundary condition.