Proper analytic free maps

This paper concerns analytic free maps. These maps are free analogs of classical analytic functions in several complex variables, and are defined in terms of non-commuting variables amongst which there are no relations - they are free variables. Analytic free maps include vector-valued polynomials in free (non-commuting) variables and form a canonical class of mappings from one non-commutative domain D in say g variables to another non-commutative domain in variables. As a natural extension of the usual notion, an analytic free map is proper if it maps the boundary of D into the boundary of . Assuming that both domains contain 0, we show that if is a proper analytic free map, and f(0)=0, then f is one-to-one. Moreover, if also , then f is invertible and f−1 is also an analytic free map. These conclusions on the map f are the strongest possible without additional assumptions on the domains D and .     

Archimedean operator-theoretic Positivstellensätze

We prove a general archimedean positivstellensatz for hermitian operator-valued polynomials and show that it implies the multivariate Fejer-Riesz theorem of Dritschel-Rovnyak and positivstellensätze of Ambrozie-Vasilescu and Scherer-Hol. We also obtain several generalizations of these and related results. The proof of the main result depends on an extension of the abstract archimedean positivstellensatz for ?-algebras that is interesting in its own right.     

On the solution of a mixed nonlinear integral equation

In this paper, we consider a mixed nonlinear integral equation of the second kind in position and time. The existence of a unique solution of this equation is discussed and proved. A numerical method is used to obtain a system of Harmmerstein integral equations of the second kind in position. Then the modified Toeplitz matrix method, as a numerical method, is used to obtain a nonlinear algebraic system. Many important theorems related to the existence and uniqueness solution to the produced nonlinear algebraic system are derived. The rate of convergence of the total error is discussed. Finally, numerical examples when the kernel of position takes a logarithmic and Carleman forms, are presented and the error estimate, in each case, is calculated.     

Optimal control of harvest and bifurcation of a prey-predator model with stage structure

This paper describes a prey-predator model with stage structure for prey. The adult prey and predator populations are harvested in the proposed system. The dynamic behavior of the model system is discussed. It is observed that singularity induced bifurcation phenomenon is appeared when variation of the economic interest of harvesting is taken into account. State feedback controller is incorporated to stabilize the model system in case of positive economic interest. Harvesting of prey and predator population are used as controls to develop a dynamic framework to investigate the optimal utilization of the resource, sustainability properties of the stock and the resource rent earned from the resource. The Pontryagin’s maximum principle is used to characterize the optimal controls. The optimality system is derived and then solved numerically using an iterative method with Runge-Kutta fourth order scheme. Simulation results show that the optimal control scheme can achieve sustainable ecosystem.     

Regenerative cascade homotopies for solving polynomial systems

A key step in the numerical computation of the irreducible decomposition of a polynomial system is the computation of a witness superset of the solution set. In many problems involving a solution set of a polynomial system, the witness superset contains all the needed information. Sommese and Wampler gave the first numerical method to compute witness supersets, based on dimension-by-dimension slicing of the solution set by generic linear spaces, followed later by the cascade homotopy of Sommese and Verschelde. Recently, the authors of this article introduced a new method, regeneration, to compute solution sets of polynomial systems. Tests showed that combining regeneration with the dimension-by-dimension algorithm was significantly faster than naively combining it with the cascade homotopy. However, in this article, we combine an appropriate randomization of the polynomial system with the regeneration technique to construct a new cascade of homotopies for computing witness supersets. Computational tests give strong evidence that regenerative cascade is superior in practice to previous methods.     

柔性多体系统接触/碰撞动力学的若干关键问题

归纳了柔性多体系统接触/碰撞动力学中的4个关键问题: 接触区域的处理方法、 接触作用的力学模型、 柔性体的运动学描述和约束问题的数值方法. 针对这4个问题, 综述了柔性多体领域和有限元领域的现有方法, 指出了这些方法的优点和不足. 进一步提出了柔性多体系统接触/碰撞问题的发展趋势.     

On the complexity of the Leibniz hierarchy

We prove that the problem of determining whether a finite logical matrix determines an algebraizable logic is complete for EXPTIME. The same result holds for the classes of order algebraizable, weakly algebraizable, equivalential and protoalgebraic logics. Finally, the same problem for the class of truth-equational logic is shown to be hard for EXPTIME.     

On differential–algebraic equations in infinite dimensions

We consider a class of differential–algebraic equations (DAEs) with index zero in an infinite dimensional Hilbert space. We define a space of consistent initial values, which lead to classical continuously differential solutions for the associated DAE. Moreover, we show that for arbitrary initial values we obtain mild solutions for the associated problem. We discuss the asymptotic behaviour of solutions for both problems. In particular, we provide a characterisation for exponential stability and exponential dichotomies in terms of the spectrum of the associated operator pencil.     

Toric cycles in the complement to a complex curve in (C×)2

The amoeba of a complex curve in the 2‐dimensional complex torus is its image under the projection onto the real parts of the logarithmic coordinates. A toric cycle in the complement to a curve is a fiber of this projection over a point in the complement to the amoeba of the curve. We consider amoebas of complex algebraic curves defined by so‐called Harnack polynomials. We prove that toric cycles are homologically independent in the complement to a such curve.     

On a motivic interpretation of primitive,variable and fixed cohomology

If M is a smooth projective variety whose motive is Kimura finite‐dimensional and for which the standard Lefschetz Conjecture B holds, then the motive of M splits off a primitive motive whose cohomology is the primitive cohomology. Under the same hypotheses on M, let X be a smooth complete intersection of ample divisors within M. Then the motive of X is the sum of a variable and a fixed motive inducing the corresponding splitting in cohomology. I also give variants with group actions.