Weighted matrix means and symmetrization procedures

Here we prove the convergence of the Ando–Li–Mathias and Bini–Meini–Poloni procedures for matrix means. Actually it is proved here that for a two-variable function which maps pairs of positive definite matrices to a positive definite matrix and is not greater than the square mean of two positive definite matrices, the Ando–Li–Mathias and Bini–Meini–Poloni procedure converges. In order to be able to set up the Bini–Meini–Poloni procedure, a weighted two-variable matrix mean is also needed. Therefore a definition of a two-variable weighted matrix mean corresponding to every symmetric matrix mean is also given. It is also shown here that most of the properties considered by Ando, Li and Mathias for the n-variable geometric mean hold for all of these n-variable maps that we obtain by this two limiting process for all two-variable matrix means. As a consequence it also follows that the Bini–Meini–Poloni procedure converges cubically for every matrix mean.     

Prooving Identities with Computer-Algebra -- Example: Algebraic Time-Derivative Estimation

For the case of continuous–time systems, this note contributes a detailed proof relating the so–called algebraic approach to time–derivative estimation, as proposed by Fliess and co–workers, to classical results from linear estimation theory. The proof is based on a modern computer–algebra proof technique that, in the main, resorts to the celebrated algorithm by Wilf and Zeilberger in the multisum case. As a result of the proof, the algebraic approach to time–derivative estimation is traced back, equivalently, to state estimation using the reconstructibility Gramian of the dynamic system, here, with respect to a particular nilpotent time–invariant input–free linear system. Additionally, the close relationship of the algebraic approach with least–squares time–derivative estimation is pointed out. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

A bi-Hamiltonian system on the Grassmannian

Considering the recent result that the Poisson–Nijenhuis geometry corresponds to the quantization of the symplectic groupoid integrating a Poisson manifold, we discuss the Poisson–Nijenhuis structure on the Grassmannian defined by the compatible Kirillov–Kostant–Souriau and Bruhat–Poisson structures. The eigenvalues of the Nijenhuis tensor are Gelfand–Tsetlin variables, which, as was proved, are also in involution with respect to the Bruhat–Poisson structure. Moreover, we show that the Stiefel bundle on the Grassmannian admits a bi-Hamiltonian structure.     

Geometric nullstellensatz and symbolic powers on arbitrary varieties

In recent years, a multiplier ideal defined on arbitrary varieties, so called Mather–Jacobian multiplier ideal, has been developed independently by Ein–Ishii–Mustata and de Fernex–Docampo. With this new tool, we have a chance of extending some classical results proved in nonsingular case to arbitrary varieties to establish their general forms. In this paper, we first extend a result of geometric nullstellensatz due to Ein–Lazarsfeld in nonsingular case to any projective varieties. Then we prove a result on comparison of symbolic powers with ordinary powers on any varieties, which extends results of Ein–Lazarsfeld–Smith and Hochster–Huneke.     

On the axiomatic definition of real JB*–triples

In the last twenty years, a theory of real Jordan triples has been developed. In 1994 T. Dang and B. Russo introduced the concept of J*B–triple. These J*B–triples include real C*–algebras and complex JB*–triples. However, concerning J*B–triples, an important problem was left open. Indeed, the question was whether the complexification of a J*B–triple is a complex JB*–triple in some norm extending the original norm. T. Dang and B. Russo solved this problem for commutative J*B–triples. In this paper we characterize those J*B–triples with a unitary element whose complexifications are complex JB*–triples in some norm extending the original one. We actually find a necessary and sufficient new axiom to characterize those J*B–triples with a unitary element which are J*B–algebras in the sense of [1] or real JB*–triples in the sense of [4].     

A Poincaré–Birkhoff–Witt criterion for Koszul operads

The aim of this article is to give a criterion, generalizing the criterion introduced by Priddy for algebras, to prove that an operad is Koszul. We define the notion of Poincaré–Birkhoff–Witt basis in the context of operads. Then we show that an operad having a Poincaré–Birkhoff–Witt basis is Koszul. Besides, we obtain that the Koszul dual operad has also a Poincaré–Birkhoff–Witt basis. We check that the classical examples of Koszul operads (commutative, associative, Lie, Poisson) have a Poincaré–Birkhoff–Witt basis. We also prove by our methods that new operads are Koszul.     

Random attractor for the stochastic Cahn–Hilliard–Navier–Stokes system with small additive noise

The objective of this paper is to study the asymptotic behavior of solutions, in terms of the upper semi-continuous property of random attractor, of the Cahn–Hilliard–Navier–Stokes system with small additive noise. We prove the existence of a random attractor for the Cahn–Hilliard–Navier–Stokes system with small additive noise. Furthermore, we consider the stability of global attractor and prove the random attractor of the Cahn–Hilliard–Navier–Stokes system with small additive noise will convergent to the global attractor of the unperturbed Cahn–Hilliard–Navier–Stokes system when the parameter of the perturbation ε tends to zero.     

An MPCC approach for stochastic Stackelberg–Nash–Cournot equilibrium

In this article, we investigate a Stochastic Stackelberg–Nash–Cournot Equilibrium problem by reformulating it as a Mathematical Program with Complementarity Constraints (MPCC). The complementarity constraints are further reformulated as a system of nonsmooth equations. We characterize the followers’ Nash–Cournot equilibria by studying the implicit solution of a system of equations. We outline numerical methods for the solution of a stochastic Stackelberg–Nash–Cournot Equilibrium problem with finite distribution of market demand scenarios and propose a discretization approach based on implicit numerical integration to deal with stochastic Stackelberg–Nash–Cournot Equilibrium problem with continuous distribution of demand scenarios. Finally, we discuss the two-leader Stochastic Stackelberg–Nash–Cournot Equilibrium problem.     

An inverse problem by eigenvalues of four spectra

Certain parts of the Dirichlet–Dirichlet, Neumann–Dirichlet, Dirichlet–Neumann and Neumann–Neumann spectra are used to find the potential of the Sturm–Liouville equation on a finite interval. This problem possesses a unique solution. Conditions are found necessary and sufficient for four sequences to be the corresponding parts of the four spectra.     

Traveling wave solutions of nonlinear partial differential equations

We propose a simple algebraic method for generating classes of traveling wave solutions for a variety of partial differential equations of current interest in nonlinear science. This procedure applies equally well to equations which may or may not be integrable. We illustrate the method with two distinct classes of models, one with solutions including compactons in a class of models inspired by the Rosenau–Hyman, Rosenau–Pikovsky and Rosenau–Hyman–Staley equations, and the other with solutions including peakons in a system which generalizes the Camassa–Holm, Degasperis–Procesi and Dullin–Gotwald–Holm equations. In both cases, we obtain new classes of solutions not studied before.     

Max–max,max–min,min–max and min–min knapsack problems with a parametric constraint

4OR - Max–max, max–min, min–max and min–min optimization problems with a knapsack-type constraint containing a single numerical parameter are studied. The goal is to present...     

Consistent Riccati Expansion for Integrable Systems

A consistent Riccati expansion (CRE) is proposed for solving nonlinear systems with the help of a Riccati equation. A system having a CRE is then defined to be CRE solvable. The CRE solvability is demonstrated quite universal for various integrable systems including the Korteweg–de Vries, Kadomtsev–Petviashvili, Ablowitz–Kaup–Newell–Segur (and then nonlinear Schrödinger), sine‐Gordon, Sawada–Kotera, Kaup–Kupershmidt, modified asymmetric Nizhnik–Novikov–Veselov, Broer–Kaup, dispersive water wave, and Burgers systems. In addition, it is revealed that many CRE solvable systems share a similar determining equation describing the interactions between a soliton and a cnoidal wave. They have a common nonlocal symmetry expression and they possess a formally universal once Bäcklund transformation.     

Poincaré–Birkhoff–Witt Deformation of Koszul Calabi–Yau Algebras

The Calabi–Yau property of the Poincaré–Birkhoff–Witt deformation of a Koszul Calabi–Yau algebra is characterized. Berger and Taillefer (J Noncommut Geom 1:241–270, 2007, Theorem 3.6) proved that the Poincaré–Birkhoff–Witt deformation of a Calabi–Yau algebra of dimension 3 is Calabi–Yau under some conditions. The main result in this paper generalizes their result to higher dimensional Koszul Calabi–Yau algebras. As corollaries, the necessary and sufficient condition obtained by He et al. (J Algebra 324:1921–1939, 2010) for the universal enveloping algebra, respectively, Sridharan enveloping algebra, of a finite-dimensional Lie algebra to be Calabi–Yau, is derived.     

Multivariable Al–Salam & Carlitz Polynomials Associated with the Type A q–Dunkl Kernel

The Al–Salam & Carlitz polynomials are q–generalizations of the classical Hermite polynomials. Multivariable generalizations of these polynomials are introduced via a generating function involving a multivariable hypergeometric function which is the q–analogue of the type–A Dunkl integral kernel. An eigenoperator is established for these polynomials and this is used to prove orthogonality with respect to a certain Jackson integral inner product. This inner product is normalized by deriving a q–analogue of the Mehta integral, and the corresponding normalization of the multivariable Al–Salam & Carlitz polynomials is derived from a Pieri–type formula. Various other special properties of the polynomials are also presented, including their relationship to the shifted Macdonald polynomials and the big–q Jacobi polynomials.     

Kähler–Einstein metrics along the smooth continuity method

We show that if a Fano manifold M is K-stable with respect to special degenerations equivariant under a compact group of automorphisms, then M admits a Kähler–Einstein metric. This is a strengthening of the solution of the Yau–Tian–Donaldson conjecture for Fano manifolds by Chen–Donaldson–Sun (Int Math Res Not (8):2119–2125, 2014), and can be used to obtain new examples of Kähler–Einstein manifolds. We also give analogous results for twisted Kähler–Einstein metrics and Kahler–Ricci solitons.     

Several logarithmic Caffarelli–Kohn–Nirenberg inequalities and applications

In this paper, based on the Caffarelli–Kohn–Nirenberg inequalities on the Euclidean space and the weighted Hölder inequality, we establish the logarithmic Caffarelli–Kohn–Nirenberg inequalities and parameter type logarithmic Caffarelli–Kohn–Nirenberg inequalities, and give applications for the weighted ultracontractivity of positive strong solutions to a kind of evolution equations. We also prove corresponding logarithmic Caffarelli–Kohn–Nirenberg inequalities and parameter type logarithmic Caffarelli–Kohn–Nirenberg inequalities on the Heisenberg group and related to generalized Baouendi–Grushin vector fields. Some applications are provided.     

Gauss–Bonnet–Chern theorem on moduli space

In this paper, we prove a Gauss–Bonnet–Chern type theorem in full generality for the Chern–Weil forms of Hodge bundles. That is, the Chern–Weil forms compute the corresponding Chern classes. This settles a long standing problem. Second, we apply the result to Calabi–Yau moduli, and proved the corresponding Gauss–Bonnet–Chern type theorem in the setting of Weil–Petersson geometry. As an application of our results in string theory, we prove that the number of flux vacua of type II string compactified on a Calabi–Yau manifold is finite, and their number is bounded by an intrinsic geometric quantity.     

The multi–phase averaging techniques and the modulation theory of the focussing and defocusing nonlinear schrodinger equations

Multi–phase averaging techniques have been applied successfully in the investigations of the modulational and generalized Benjamine–Feir instabilities for the quasi–periodic, N–phase, inverse spectral solutions of KdV [1], sine–Gordon (s–G) [2,3,4], and focussing and defocusing nonlinear Schrodinger equation [5,10], The key is that the multi–phase averagings, as the N–fold integrals, can be transferred to the N–iterated integrals, and therefore, can be evaluated, which is essential in the analysis of PDE perturbations analyzed by the averaging methods. In this paper, the transformations from cerain N–fold integrals to the N–iterated integrals for NLS are developed rigorously, and made to be numerically computable. Those integrals are also closely related to KdV and s–G. As an application, the modulation theory of the modulating N–phuse NLS solutions are Presented, a result given by Forest and Lee in [5,10].     

Study on numerical simulation methods of the railway vehicle-track dynamic interaction

A very efficient numerical simulation method of the railway vehicle–track dynamic interaction is described. When a vehicle runs at high speed on the railway track, contact forces between a wheel and a rail vary dynamically due to the profile irregularities existing on the surface of the rail. A large variation of contact forces causes undesired deteriorations of a track and its substructures. Therefore these dynamic contact forces are of main concern of the railway engineers. However it is very difficult to measure such dynamic contact forces directly. So it is important to develop an appropriate numerical simulation model and identify structural factors having a large influence on the variation of contact forces. When a contact force is expressed by the linearized Hertzian contact spring model, the equation of motions of the system is expressed as a second–order linear time–variant differential equation which has a time–dependent stiffness coefficient. Applying a well–known Newmark direct integration method, a numerical simulation is reduced to solving iteratively a time–variant, large–scale sparse, symmetric positive–definite linear system. In this study, by defining a special vector named a contact point one, it is shown that this time–variant stiffness coefficient can be expressed simply as a product of the contact point vector and its transpose and so the Sherman–Morrison–Woodbury formula applied for updating the inverse of the coefficient matrix. As a result, the execution of numerical simulation can be carried out very efficiently. A comparison of the computational time is given. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Hamiltonian structures for the Ostrovsky–Vakhnenko equation

We obtain a bi-Hamiltonian formulation for the Ostrovsky–Vakhnenko (OV) equation using its higher order symmetry and a new transformation to the Caudrey–Dodd–Gibbon–Sawada–Kotera equation. Central to this derivation is the relation between Hamiltonian structures when dependent and independent variables are transformed.