Computations and Stability of the Fukui Invariant

T. Fukui introduced an invariant for the blow-analytic equivalence of real singularities. For a nondegenerate analytic function (germ) f, he discovered a formula for computing the one-dimensional invariant, denoted by A(f) := A ₁(f). We find a formula for A(f) for any f (real or complex, degenerate or not). We then define, and characterise, various notions of stability of A(f), using the formula. For real analytic f, the Fukui invariant with sign is defined, and computed by a similar formula. In the case where f is an analytic function of two complex variables, A(f) can also be computed using the tree-model of f.     

Arc-analytic roots of analytic functions are Lipschitz

Let be an arc-analytic function (i.e., analytic on every analytic arc) and assume that for some integer the function is real analytic. We prove that is locally Lipschitz; even if is less than the multiplicity of . We show that the result fails if is only a , arc-analytic function (even blow-analytic), . We also give an example of a non-Lipschitz arc-analytic solution of a polynomial equation , where are real analytic functions.

     

Scalarization of Henig Proper Efficient Points in a Normed Space

In a general normed space equipped with the order induced by a closed convex cone with a base, using a family of continuous monotone Minkowski functionals and a family of continuous norms, we obtain scalar characterizations of Henig proper efficient points of a general set and a bounded set, respectively. Moreover, we give a scalar characterization of a superefficient point of a set in a normed space equipped with the order induced by a closed convex cone with a bounded base.     

On arithmetic Macaulayfication of Noetherian rings

The Rees algebra is the homogeneous coordinate ring of a blowing-up. The present paper gives a necessary and sufficient condition for a Noetherian local ring to have a Cohen-Macaulay Rees algebra: A Noetherian local ring has a Cohen-Macaulay Rees algebra if and only if it is unmixed and all the formal fibers of it are Cohen-Macaulay. As a consequence of it, we characterize a homomorphic image of a Cohen-Macaulay local ring. For non-local rings, this paper gives only a sufficient condition. By using it, however, we obtain the affirmative answer to Sharp's conjecture. That is, a Noetherian ring having a dualizing complex is a homomorphic image of a finite-dimensional Gorenstein ring.

     

覆盖数不超过3的图上渡河问题

1000多年前,英国著名学者Alcuin曾提出一个古老的渡河问题,即狼、羊和卷心菜的渡河问题。2006年,Prisner把该问题推广到任意的冲突图上,考虑了一类情况更一般的渡河运输问题。所谓冲突图是指一个图G=(V,E),这里V代表某些物品的集合,V中的两个点有边连结当且仅当这两个点是冲突的,即在无人监管的情况下不允许留在一起的点。图G=(V,E)的一个可行运输方案是指在保证不发生任何冲突的前提下,把V的点所代表的物品全部摆渡到河对岸的一个运输方案。图G的Alcuin数定义为它存在可行运输方案时所需船的最小容量。本文讨论了覆盖数不超过3的连通图的Alcuin数,给出了该类图Alcuin数的完全刻画。     

Slice theorem and orbit type stratification in infinite dimensions

We establish a general slice theorem for the action of a locally convex Lie group on a locally convex manifold, which generalizes the classical slice theorem of Palais to infinite dimensions. We discuss two important settings under which the assumptions of this theorem are fulfilled. First, using Glöckner's inverse function theorem, we show that the linear action of a compact Lie group on a Fréchet space admits a slice. Second, using the Nash–Moser theorem, we establish a slice theorem for the tame action of a tame Fréchet Lie group on a tame Fréchet manifold. For this purpose, we develop the concept of a graded Riemannian metric, which allows the construction of a path-length metric compatible with the manifold topology and of a local addition. Finally, generalizing a classical result in finite dimensions, we prove that the existence of a slice implies that the decomposition of the manifold into orbit types of the group action is a stratification.     

An algebraic index theorem for orbifolds

Using the concept of a twisted trace density on a cyclic groupoid, a trace is constructed on a formal deformation quantization of a symplectic orbifold. An algebraic index theorem for orbifolds follows as a consequence of a local Riemann-Roch theorem for such densities. In the case of a reduced orbifold, this proves a conjecture by Fedosov, Schulze, and Tarkhanov. Finally, it is shown how the Kawasaki index theorem for elliptic operators on orbifolds follows from this algebraic index theorem.     

Two-Dimensional Regular Shock Reflection for the Pressure Gradient System of Conservation Laws

We establish the existence of a global solution to a regular reflection of a shock hitting a ramp for the pressure gradient system of equations. The set-up of the reflection is the same as that of Mach＇s experiment for the compressible Euler system, i.e., a straight shock hitting a ramp. We assume that the angle of the ramp is close to 90 degrees. The solution has a reflected bow shock wave, called the diffraction of the planar shock at the compressive corner, which is mathematically regarded as a free boundary in the self-similar variable plane. The pressure gradient system of three equations is a subsystem, and an approximation, of the full Euler system, and we offer a couple of derivations.     

Global asymptotic properties of an SEIRS model with multiple infectious stages

The paper presents a rigorous mathematical analysis of a deterministic model, which uses a standard incidence function, for the transmission dynamics of a communicable disease with an arbitrary number of distinct infectious stages. It is shown, using a linear Lyapunov function, that the model has a globally-asymptotically stable disease-free equilibrium whenever the associated reproduction threshold is less than unity. Further, the model has a unique endemic equilibrium when the threshold exceeds unity. The equilibrium is shown to be locally-asymptotically stable, for a special case, using a Krasnoselskii sub-linearity trick. Finally, a non-linear Lyapunov function is used to show the global asymptotic stability of the endemic equilibrium (for the special case). Numerical simulation results, using parameter values relevant to the transmission dynamics of influenza, are presented to illustrate some of the main theoretical results.