一类B可微方程的非精确阻尼牛顿法

本文提出了求解一类基于双障碍问题的Ｂ可微方程的非精确阻尼牛顿法,并在一定条件下,证明了该算法的全局收敛性和二阶收敛性。     

Optical bistability outside the rotating wave approximation in mixed species

Optical bistable behavior for a system of inhomogeneously broadened two sorts of two-level atoms in a ring cavity is investigated outside the rotating wave approximation (RWA). The model Maxwell–Bloch equations are treated with Fourier decomposition up to first harmonic. The first harmonic output field component exhibits reversed or mushroom bistability simultaneously with bi- and double-bistability in the fundamental field component. Inhomogeneous broadening and transverse field effects are also considered.     

Fast evaluation of nonlinear functionals of tensor product wavelet expansions

For a nonlinear functional f, and a function u from the span of a set of tensor product interpolets, it is shown how to compute the interpolant of f (u) from the span of this set of tensor product interpolets in linear complexity, assuming that the index set has a certain multiple tree structure. Applications are found in the field of (adaptive) tensor product solution methods for semilinear operator equations by collocation methods, or after transformations between the interpolet and (bi-) orthogonal wavelet bases, by Galerkin methods.     

Vector and matrix apportionment problems and separable convex integer optimization

The problems of (bi-)proportional rounding of a nonnegative vector or matrix, resp., are written as particular separable convex integer minimization problems. Allowing any convex (separable) objective function we use the notions of vector and matrix apportionment problems. As a broader class of problems we consider separable convex integer minimization under linear equality restrictions Ax = b with any totally unimodular coefficient matrix A. By the total unimodularity Fenchel duality applies, despite the integer restrictions of the variables. The biproportional algorithm of Balinski and Demange (Math Program 45:193–210, 1989) is generalized and derives from the dual optimization problem. Also, a primal augmentation algorithm is stated. Finally, for the smaller class of matrix apportionment problems we discuss the alternating scaling algorithm, which is a discrete variant of the well-known Iterative Proportional Fitting procedure.     

Exposed and denting points in duals of operator spaces

We study the extremal structure of the dual unit balls of various operator spaces. Mainly, we show that the classes of [w*-] strongly exposed, [w*-] exposed, and denting points in the dual unit balls of spaces of compact operators between Banach spacesX andY are completely — and in a canonical way — determined by the corresponding classes of points in the unit balls of the (bi-)duals of the factor spacesX andY. Applications to the duality of operator spaces and differentiability properties of the norm in operator spaces are given.     

Forbidden Regions for Shock Formation in Diffusive Systems

We consider an initial-boundary value problem for a nonlinear parabolic system. Using perturbation methods, this problem is reduced to one of considering an evolution equation for the long-time asymptotics of the system. This model can be related to the leading order approximation for a spatially inhomogeneous reaction-diffusion system with time-dependent forcing. The evolution equation yields solutions with steady state shocks. We study some of the subtle effects introduced by time-dependent forcing. Most significant among these effects is the creation of “forbidden regions” where stationary shocks cannot form. Results are presented for bi- and tri-stable one-dimensional models as well as multidimensional systems.     

Isometries of Hilbert -modules

Let and be right, full, Hilbert -modules over the algebras and respectively and let be a linear surjective isometry. Then can be extended to an isometry of the linking algebras. then is a sum of two maps: a (bi-)module map (which is completely isometric and preserves the inner product) and a map that reverses the (bi-)module actions. If (or ) is a factor von Neumann algebra, then every isometry is either a (bi-)module map or reverses the (bi-)module actions.

     

不确定条件下双目标组批生产的交货期设置研究

交货期是调度方法的函数,因而具有不确定性.研究变批量、变批次、变生产能力下,单阶段、双目标有条件相容组批的交货期设置问题,将它转化为订单投放策略和调度模式研究.建立了一个基于目标的双目标订单投放策略数学模型.采用目标序列优先方法进行双目标求解,用两种调度模式求出区间值,进行最优交货期逼近.模式1:松弛掉产品加工约束条件,基于负荷考虑、给出离散生产模式下订单完工率最大的订单排序算法,算法综合考虑了任务紧急程度、可调度性、重要度和流程时间最短四个方面,得到区间的一个端点.模式2是有条件相容的启发式组批调度算法,即通过聚类计算将订单安排问题转化为多队列调度问题,将新来订单的投放转化为某个队列的插单和批量分割问题,不同队列中批的投产顺序由批中优先级最高的订单决定,并在能力约束下进行批量分割计算,得到区间的另一个端点,结合流程可靠性求出区间.实例证明,模式2的交货期设置小,订单完工率和生产率高.     

Cross Product Bialgebras Part II

This is the central article of a series of three papers on cross product bialgebras. We present a universal theory of bialgebra factorizations (or cross product bialgebras) with cocycles and dual cocycles. We also provide an equivalent (co-)modular (co-)cyclic formulation. All known examples as for instance bi- or smash, doublecross and bicross product bialgebras as well as double biproduct bialgebras and bicrossed or cocycle bicross product bialgebras are now united within a single theory. Furthermore our construction yields various novel types of cross product bialgebras.     

Adjunctions of Hom and Tensor as Endofunctors of (Bi-)Module Categories Over Quasi-Hopf Algebras

For a Hopf algebra H over a commutative ring k and a left H-module V, the tensor functors ? ? _k V and V ? _k  ? are known to be left adjoint to some kind of Hom-functors as endofunctors of _H 𝕄. The units and counits of adjunctions, in this case, are formally trivial as in the classical case.

In this paper, we generalize this Hom-tensor adjunction for (bi-)module categories over a quasi-Hopf algebra H and show that these (bi-)module categories are biclosed monoidal. However, the units and counits of adjunctions in these generalized cases are not as trivial as in the Hopf algebra case, and they should be modified in terms of the reassociator and the quasi-antipode. Also, if the H-module V is finitely generated and projective as a k-module, we will obtain a generalized form of adjunction between the tensor functors ? ?V and ? ?V* depending on the reassociator and quasi-antipode of H and describe a natural isomorphism between functors ? ?V* and Hom _k (V, ?) explicitly. Furthermore, we consider the special case V = A being an H-module algebra. In this case, each tensor functor will be a monad and its corresponding right adjoint is a comonad. We describe isomorphisms between the (Eilenberg–Moore) module categories over these monads and the (Eilenberg–Moore) comodule categories over their corresponding comonads explicitly.     

Series solutions of confluent Heun equations in terms of incomplete Gamma-functions

We present a simple systematic algorithm for construction of expansions of the solutions of ordinary differential equations with rational coefficients in terms of mathematical functions having indefinite integral representation. The approach employs an auxiliary equation involving only the derivatives of a solution of the equation under consideration. Using power-series expansions of the solutions of this auxiliary equation, we construct several expansions of the four confluent Heun equations'' solutions in terms of the incomplete Gamma-functions. In the cases of single- and double-confluent Heun equations the coefficients of the expansions obey four-term recurrence relations, while for the bi- and tri-confluent Heun equations the recurrence relations in general involve five terms. Other expansions for which the expansion coefficients obey recurrence relations involving more terms are also possible. The particular cases when these relations reduce to ones involving less number of terms are identified. The conditions for deriving closed-form finite-sum solutions via right-hand side termination of the constructed series are discussed.     

Algorithmic correspondence and canonicity for non-distributive logics

We extend the theory of unified correspondence to a broad class of logics with algebraic semantics given by varieties of normal lattice expansions (LEs), also known as ‘lattices with operators’. Specifically, we introduce a syntactic definition of the class of Sahlqvist formulas and inequalities which applies uniformly to each LE-signature and is given purely in terms of the order-theoretic properties of the algebraic interpretations of the logical connectives. We also introduce the algorithm ALBA, parametric in each LE-setting, which effectively computes first-order correspondents of LE-inequalities, and is guaranteed to succeed on a wide class of inequalities (the so-called inductive inequalities) which significantly extend the Sahlqvist class. Further, we show that every inequality on which ALBA succeeds is canonical. Projecting these results on specific signatures yields state-of-the-art correspondence and canonicity theory for many well known modal expansions of classical and intuitionistic logic and for substructural logics, from classical poly-modal logics to (bi-)intuitionistic modal logics to the Lambek calculus and its extensions, the Lambek-Grishin calculus, orthologic, the logic of (not necessarily distributive) De Morgan lattices, and the multiplicative-additive fragment of linear logic.     

Spatial Dynamics of a Diffusive Predator-prey Model with Leslie-Gower Functional Response and Strong Allee Effect

In this paper, spatial dynamics of a diffusive predator-prey model with Leslie-Gower functional response and strong Allee effect is studied. Firstly, we obtain the critical condition of Hopf bifurcation and Turing bifurcation of the PDE model. Secondly, taking self-diffusion coefficient of the prey as bi- furcation parameter, the amplitude equations are derived by using multi-scale analysis methods. Finally, numerical simulations are carried out to verify our theoretical results. The simulations show that with the decrease of self- diffusion coefficient of the prey, the preys present three pattern structures: spot pattern, mixed pattern, and stripe pattern. We also observe the transi- tion from spot patterns to stripe patterns of the prey by changing the intrinsic growth rate of the predator. Our results reveal that both diffusion and the intrinsic growth rate play important roles in the spatial distribution of species.     

A homogenisation strategy for micromorphic continua based on particle mechanics

Materials with a granular microstructure frequently fail in narrow zones due to strain localisation. Examplarily, one may look at the shear-zone development in dry sand during bi- and triaxial loading, where grains in the shear-zone exhibit large displacements and rotations. Furthermore, localisation is also observed in materials, where the microstructure consists of grains and a binding material, such as for example metal-casting moulds. Here, sand grains are bound together via a polyurethan-based material and macroscopic material failure originates from the deformation and breakage of the binder material. Within a continuum-based modelling approach, these microstructural effects can be accounted for by the consideration of an additional microcontinuum at each material point of the macroscopic body. These extended continuum theories, such as the micromorphic continua and its micropolar and microstrain sub-formulations, assume a characteristic microcontinuum deformation on a lower scale and have been successfully applied in the field of granular media. Exemplarily, in the framework of a micropolar continua, it is possible to contact forces to stresses and couple stresses via an appropriate homogenisation technique. This method includes the introduction of a Representative Elementary Volume (REV) on the mesoscale situated between the particle and the continuum scale. In this contribution, a homogenisation strategy based on a particle-centre-based REV definition is presented that is generally valid for micromorphic and micropolar continua. Therefore, a grain-binder microstructure is investigated, where particle rotations contribute to the micropolar part, while binder deformations yield the additional macromorphic character. Numerical examples are given, where results from discrete-element simulations are locally averaged and show the individual activation of the microcontinuum characteristics in the localised zones. (© 2016 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Notes on (m,n) bi-Γ-ideals in Γ-semigroups

The notions of quasi-ideals of rings and semigroups were introduced by Steinfeld (Acta Math. Acad. Sci. Hung. 4:289–298, 1953 and Publ. Math. (Debr.) 4:262–275, 1956) respectively. The notion of Γ-semigroups was introduced by Sen (Proceeding of International Symposium on Algebra and Its Applications, Decker Publication, New York, 1981). Further the notion of (m,n) ideals of semigroups was introduced by Lajos (Acta Sci. Math. 22:217–222, 1961). Later on (m,n) quasi-ideals and (m,n) bi-ideals were widely studied in various algebraic structures viz. semigroups, rings and near-rings etc. In this paper we have defined (m,n) quasi-Γ-ideal and (m,n) bi-Γ-ideal in Γ-semigroup. Including other results, we have shown that if Q is a minimal (m,n) quasi-Γ-ideal in Γ-semigroup S then intersection of minimal m-left Γ-ideals and minimal n-right Γ-ideals is again a minimal (m,n) quasi-Γ-ideals.     

Interpolating functions

Let X,Y be sets with quasiproximities X_? and Y_? (where A?B is interpreted as “B is a neighborhood of A”). Let f,g:X→Y be a pair of functions such that whenever CY_?D, then f−1[C]X_?g−1[D]. We show that there is then a function h:X→Y such that whenever CY_?D, then f−1[C]X_?h−1[D], h−1[C]X_?h−1[D] and h−1[C]X_?g−1[D]. Since any function h that satisfies h−1[C]X_?h−1[D] whenever CY_?D, is continuous, many classical “sandwich” or “insertion” theorems are corollaries of this result. The paper is written to emphasize the strong similarities between several concepts

•

the posets with auxiliary relations studied in domain theory;

•

quasiproximities and their simplification, Urysohn relations; and

•

the axioms assumed by Katětov and by Lane to originally show some of these results.

Interpolation results are obtained for continuous posets and Scott domains. We also show that (bi-)topological notions such as normality are captured by these order theoretical ideas.     

On the smallest value of the maximal modulus of an algebraic integer

The house of an algebraic integer of degree is the largest modulus of its conjugates. For , we compute the smallest house of degree , say m. As a consequence we improve Matveev's theorem on the lower bound of m We show that, in this range, the conjecture of Schinzel-Zassenhaus is satisfied. The minimal polynomial of any algebraic integer whose house is equal to m is a factor of a bi-, tri- or quadrinomial. The computations use a family of explicit auxiliary functions. These functions depend on generalizations of the integer transfinite diameter of some compact sets in They give better bounds than the classical ones for the coefficients of the minimal polynomial of an algebraic integer whose house is small.

     

On the stability of discrete tripole,quadrupole, Thomson’ vortex triangle and square in a two-layer/homogeneous rotating fluid

A two-layer quasigeostrophic model is considered in the f-plane approximation. The stability of a discrete axisymmetric vortex structure is analyzed for the case when the structure consists of a central vortex of arbitrary intensity Γ and two/three identical peripheral vortices. The identical vortices, each having a unit intensity, are uniformly distributed over a circle of radius R in a single layer. The central vortex lies either in the same or in another layer. The problem has three parameters (R, Γ, α), where α is the difference between layer thicknesses. A limiting case of a homogeneous fluid is also considered.A limiting case of a homogeneous fluid is also considered.The theory of stability of steady-state motions of dynamic systems with a continuous symmetry group G is applied. The two definitions of stability used in the study are Routh stability and G-stability. The Routh stability is the stability of a one-parameter orbit of a steady-state rotation of a vortex multipole, and the G-stability is the stability of a three-parameter invariant set O _G , formed by the orbits of a continuous family of steady-state rotations of a multipole. The problem of Routh stability is reduced to the problem of stability of a family of equilibria of a Hamiltonian system. The quadratic part of the Hamiltonian and the eigenvalues of the linearization matrix are studied analytically.The cases of zero total intensity of a tripole and a quadrupole are studied separately. Also, the Routh stability of a Thomson vortex triangle and square was proved at all possible values of problem parameters. The results of theoretical analysis are sustained by numerical calculations of vortex trajectories.     

On the quiver-theoretical quantum Yang–Baxter equation

Quivers over a fixed base set form a monoidal category with tensor product given by pullback. The quantum Yang–Baxter equation, or more properly the braid equation, is investigated in this setting. A solution of the braid equation in this category is called a “solution” for short. Results of Etingof–Schedler–Soloviev, Lu–Yan–Zhu and Takeuchi on the set-theoretical quantum Yang–Baxter equation are generalized to the context of quivers, with groupoids playing the role of groups. The notion of “braided groupoid” is introduced. Braided groupoids are solutions and are characterized in terms of bijective 1-cocycles. The structure groupoid of a non-degenerate solution is defined; it is shown that it is a braided groupoid. The reduced structure groupoid of a non-degenerate solution is also defined. Non-degenerate solutions are classified in terms of representations of matched pairs of groupoids. By linearization we construct star-triangular face models and realize them as modules over quasitriangular quantum groupoids introduced in papers by M. Aguiar, S. Natale and the author.