Rokhlin's inequalities for real algebraic curves and¶an extremal property

Rokhlin's inequalities for real algebraic curves and an extremal property for one of the inequalities are derived via a link cobordism approach. Received: 18 February 1997 / Revised version: 23 September 1998     

Application of Conformal Mappings to Inequalities for Polynomials

Applications of the geometric theory of functions to inequalities for algebraic polynomials are considered. The main attention is paid to constructing a univalent conformal mapping for a given polynomial and to applying the Lebedev and Nehari theorems to this mapping. A new sharp inequality of Bernshtein type for polynomials with restrictions on the growth on a segment or on a circle, inequalities with restrictions on the zeros of the polynomial, and other inequalities are obtained. In particular, classical inequalities by Markov, Bernshtein, and Schur are strengthened. Bibiography: 13 titles.     

Picard and Lefschetz numbers of real algebraic surfaces

Two Picard numbers and two Lefschetz numbers are defined for a real algebraic surface. They are similar to the Picard number and the Lefschetz number of a complex algebraic surface. For these numbers, some estimates and relations in the form of inequalities are proved.Translated fromMatematicheskie Zametki, Vol. 63, No. 6, pp. 847–852, June, 1998.     

数学机械化进展综述（迎接ICM2002特约文章）

本文介绍数学机械化理论,构造性代数几何,构造性微分代数几何,构造性实代数几何,方程求解,与几何自动推理的主要进展及其若干领域的应用,我们还提出了一些待解决的问题。     

On hermitian polynomial optimization

We compare three levels of algebraic certificates for evaluating the maximum modulus of a complex analytic polynomial, on a compact semi-algebraic set. They are obtained as translations of some recently discovered inequalities in operator theory. Although they can be stated in purely algebraic terms, the only known proofs for these decompositions have a transcendental character. Received: 27 June 2005     

Enlargement of the Wiener filtration by an absolutely continuous random variable via Malliavin’s calculus

Summary. The analytic treatment of problems related to the asymptotic behaviour of random dynamical systems generated by stochastic differential equations suffers from the presence of non-adapted random invariant measures. Semimartingale theory becomes accessible if the underlying Wiener filtration is enlarged by the information carried by the orthogonal projectors on the Oseledets spaces of the (linearized) system. We study the corresponding problem of preservation of the semimartingale property and the validity of a priori inequalities between the norms of stochastic integrals in the enlarged filtration and norms of their quadratic variations in case the random element F enlarging the filtration is real valued and possesses an absolutely continuous law. Applying the tools of Malliavin’s calculus, we give smoothness conditions on F under which the semimartingale property is preserved and a priori martingale inequalities are valid. Received: 12 April 1995 / In revised form: 7 March 1996     

Asymptotic behaviour of Betti numbers of real algebraic surfaces

Let be a nonsingular real algebraic surface of degree m in the complex projective space and its real point set in . In the spirit of the sixteenth Hilbert's problem, one can ask for each degree m about the maximal possible value of the Betti number (i=0 or 1). We show that is asymptotically equivalent to for some real number and prove inequalities and . Received: April 26, 2000     

On Decomposition of Algebraic PDE Systems into Simple Subsystems

In this paper we present an algorithmization of the Thomas method for splitting a system of partial differential equations and (possibly) inequalities into triangular subsystems whose Thomas called simple. The splitting algorithm is applicable to systems whose elements are differential polynomials in unknown functions and polynomials in independent variables. Simplicity properties of the subsystems make easier their completion to involution. Our algorithmization uses algebraic Gröbner bases to avoid some unnecessary splittings.     

Differential inequalities for entire functions of finite degree and rational functions with prescribed poles

We establish new differential inequalities for the entire functions of finite degree with a majorant an entire function without zeros in the lower half-plane, for the entire functions with constraints on zeros and, as a consequence, for the rational functions with prescribed poles. All cases of equality in the main results are found. The estimates obtained generalize and strengthen some inequalities by Bernstein, Gardner, and Govil for entire functions of finite degree; by Smirnov, Aziz, and Shah for algebraic polynomials; and by Borwein and Erdelyi, Aziz and Shah, and the others for rational functions.     

Difference Galois theory of linear differential equations

We develop a Galois theory for linear differential equations equipped with the action of an endomorphism. This theory is aimed at studying the difference algebraic relations among the solutions of a linear differential equation. The Galois groups here are linear difference algebraic groups, i.e., matrix groups defined by algebraic difference equations.     

微分周形式与稀疏微分结式

代数周(Chow)形式和代数结式是代数几何的基本概念,同时还是消去理论的强大工具.一个自然的想法是在微分代数几何中发展相应的周形式和结式理论.但是由于微分结构的复杂性,在本文的研究工作之前,微分结式只有部分结果,而微分周形式与稀疏微分结式理论一直没有得到发展.本文的主要结果包括:第一,发展一般(generic)情形的微分相交理论,作为应用,证明一般情形的微分维数猜想.第二,初步建立微分周形式理论.对不可约微分代数簇定义微分周形式并证明其基本性质,特别地,给出微分周形式的Poisson分解公式,引入微分代数簇的主微分次数这一不变量并证明一类微分代数闭链的周簇和周坐标的存在性.作为应用,首次严格定义微分结式,证明其基本性质.第三,初步建立稀疏微分结式理论.引入Laurent微分本性系统的概念,定义稀疏微分结式,证明其基本性质,特别地,引入微分环面簇的概念,给出稀疏微分结式阶数和次数界的估计,并基于此给出计算稀疏微分结式的单指数时间算法.     

Realization theory for differential algebraic input-output systems

The problem considered is that of realization for a given primedifferential input-output system (which generates a prime differentialideal in the differential algebra K(y,u)). It is shown thatstates can always be chosen from within the extension fieldK(y,u: ) rather than from without. The new concept of a faithfulrealization is defined, which is thought to be an importantaddition to realization theory of non-linear differential input-output(IO) control systems. A new definition of observability is presentedwhich differs from previous algebraic definitions, but whichis akin to those given in geometric control theory. Existenceand uniqueness of a minimal differential algebraic realizationfor a given differential IO system are proved. These resultsare also in line with geometric control theory. The paper usesthe tools of differential algebra.     

Real zeros of the zero-dimensional parametric piecewise algebraic variety

The piecewise algebraic variety is the set of all common zeros of multivariate splines. We show that solving a parametric piecewise algebraic variety amounts to solve a finite number of parametric polynomial systems containing strict inequalities. With the regular decomposition of semi-algebraic systems and the partial cylindrical algebraic decomposition method, we give a method to compute the supremum of the number of torsion-free real zeros of a given zero-dimensional parametric piecewise algebraic variety, and to get distributions of the number of real zeros in every n-dimensional cell when the number reaches the supremum. This method also produces corresponding necessary and sufficient conditions for reaching the supremum and its distributions. We also present an algorithm to produce a necessary and sufficient condition for a given zero-dimensional parametric piecewise algebraic variety to have a given number of distinct torsion-free real zeros in every n-cell in the n-complex. This work was supported by National Natural Science Foundation of China (Grant Nos. 10271022, 60373093, 60533060), the Natural Science Foundation of Zhejiang Province (Grant No. Y7080068) and the Foundation of Department of Education of Zhejiang Province (Grant Nos. 20070628 and Y200802999)     

Differential variational inequalities

This paper introduces and studies the class of differential variational inequalities (DVIs) in a finite-dimensional Euclidean space. The DVI provides a powerful modeling paradigm for many applied problems in which dynamics, inequalities, and discontinuities are present; examples of such problems include constrained time-dependent physical systems with unilateral constraints, differential Nash games, and hybrid engineering systems with variable structures. The DVI unifies several mathematical problem classes that include ordinary differential equations (ODEs) with smooth and discontinuous right-hand sides, differential algebraic equations (DAEs), dynamic complementarity systems, and evolutionary variational inequalities. Conditions are presented under which the DVI can be converted, either locally or globally, to an equivalent ODE with a Lipschitz continuous right-hand function. For DVIs that cannot be so converted, we consider their numerical resolution via an Euler time-stepping procedure, which involves the solution of a sequence of finite-dimensional variational inequalities. Borrowing results from differential inclusions (DIs) with upper semicontinuous, closed and convex valued multifunctions, we establish the convergence of such a procedure for solving initial-value DVIs. We also present a class of DVIs for which the theory of DIs is not directly applicable, and yet similar convergence can be established. Finally, we extend the method to a boundary-value DVI and provide conditions for the convergence of the method. The results in this paper pertain exclusively to systems with “index” not exceeding two and which have absolutely continuous solutions. The work of J.-S. Pang is supported by the National Science Foundation under grants CCR-0098013 CCR-0353074, and DMS-0508986, by a Focused Research Group Grant DMS-0139715 to the Johns Hopkins University and DMS-0353016 to Rensselaer Polytechnic Institute, and by the Office of Naval Research under grant N00014-02-1-0286. The work of D. E. Stewart is supported by the National Science Foundation under a Focused Research Group grant DMS-0138708.     

A fractional differential inequality with application

We establish a fractional differential inequality using desingularization techniques combined with some generalizations of algebraic Bihari-type inequalities. We use this inequality to prove global existence and determine the asymptotic behavior of solutions for a family of fractional differential equations.     

Semidefinite programming relaxations for semialgebraic problems

 A hierarchy of convex relaxations for semialgebraic problems is introduced. For questions reducible to a finite number of polynomial equalities and inequalities, it is shown how to construct a complete family of polynomially sized semidefinite programming conditions that prove infeasibility. The main tools employed are a semidefinite programming formulation of the sum of squares decomposition for multivariate polynomials, and some results from real algebraic geometry. The techniques provide a constructive approach for finding bounded degree solutions to the Positivstellensatz, and are illustrated with examples from diverse application fields. Received: May 10, 2001 / Accepted May 2002 Published online: April 10, 2003 Key Words. semidefinite programming – convex optimization – sums of squares – polynomial equations – real algebraic geometry The majority of this research has been carried out while the author was with the Control & Dynamical Systems Department, California Institute of Technology, Pasadena, CA 91125, USA.     

Real J-Curves with Deep Nests on Ruled Surfaces

A new proof of S. Yu. Orevkov's complex orientation formula is presented, which allows one to generalize this formula to J-curves with deep nests on ruled surfaces. In particular, an analog of this formula for separating real algebraic curves in with two nests is obtained. For separating real J-curves with deep nests on ruled surfaces, analogs of the Arnol'd and Rokhlin inequalities are obtained. Bibliography: 17 titles.     

The logarithmic norm. History and modern theory

In his 1958 thesis Stability and Error Bounds, Germund Dahlquist introduced the logarithmic norm in order to derive error bounds in initial value problems, using differential inequalities that distinguished between forward and reverse time integration. Originally defined for matrices, the logarithmic norm can be extended to bounded linear operators, but the extensions to nonlinear maps and unbounded operators have required a functional analytic redefinition of the concept.This compact survey is intended as an elementary, but broad and largely self-contained, introduction to the versatile and powerful modern theory. Its wealth of applications range from the stability theory of IVPs and BVPs, to the solvability of algebraic, nonlinear, operator, and functional equations. In memory of Germund Dahlquist (1925–2005).AMS subject classification (2000) 65L05     

Degree of the divisor of solutions of a differential equation on a projective variety

Using the data schemes from [1] we give a rigorous definition of algebraic differential equations on the complex projective space Pⁿ. For an algebraic subvariety S?Pⁿ, we present an explicit formula for the degree of the divisor of solutions of a differential equation on S and give some examples of applications. We extend the technique and result to the real case.     

Distributional boundary values of harmonic and analytic functions

A theory for distributional boundary values of harmonic and analytic functions is presented. In this analysis there arise several indicators that measure the growth of these functions near the boundaries. An extension of the Phragmén-Lindelöf maximum principle is derived. Furthermore, the algebraic properties of the space of real periodic distributions are studied. By introducing a new product, the harmonic product, the boundary conditions involving harmonic functions are transformed into ordinary differential equations.