Hypernormal form theory: foundations and algorithms

Hypernormal forms (unique normal forms, simplest normal forms) are investigated both from the standpoint of foundational theory and algorithms suitable for use with computer algebra. The Baider theory of the Campbell-Hausdorff group is refined, by a study of its subgroups, to determine the smallest substages into which the hypernormalization process can be divided. This leads to a linear algebra algorithm to compute the generators needed for each substage with the least amount of work. A concrete interpretation of Jan Sanders’ spectral sequence for hypernormal forms is presented. Examples are given, and a proof is given for a little-known theorem of Belitskii expressing the hypernormal form space (in the inner product style) as the kernel of a higher-order differential operator.     

RANDOM EDGE can be exponential on abstract cubes

We prove that RANDOM EDGE, the simplex algorithm that always chooses a random improving edge to proceed on, can take a mildly exponential number of steps in the model of abstract objective functions (introduced by Williamson Hoke [Completely unimodal numberings of a simple polytope, Discrete Appl. Math. 20 (1988) 69-81.] and by Kalai [A simple way to tell a simple polytope from its graph, J. Combin. Theory Ser. A 49(2) (1988) 381-383.] under different names). We define an abstract objective function on the n-dimensional cube for which the algorithm, started at a random vertex, needs at least exp(const·n^1/3) steps with high probability. The best previous lower bound was quadratic. So in order for RANDOM EDGE to succeed in polynomial time, geometry must help.     

Unique continuation along curves and hypersurfaces for second order anisotropic hyperbolic systems with real analytic coefficients

In this paper we prove the following kind of unique continuation property. That is, the zero on each geodesic of the solution in a real analytic hypersurface for second order anisotropic hyperbolic systems with real analytic coefficients can be continued along this curve.

     

Properties of G-martingales with finite variation and the application to G-Sobolev spaces

As is known, if $B={\left(B_t\right)}_{t\in [0,T]}$ is a $G$-Brownian motion, a process of form ${\int }_0^t{\eta }_{s}d{〈B〉}_s?{\int }_0^{t}2G\left({\eta }_s\right)ds$, $\eta \in M_G^1(0,T)$, is a non-increasing $G$-martingale. In this paper, we shall show that a non-increasing $G$-martingale cannot be form of ${\int }_0^t{\eta }_{s}ds$ or ${\int }_0^t{\gamma }_{s}d{〈B〉}_s$, $\eta ,\gamma \in M_G^1(0,T)$, which implies that the decomposition for generalized $G$-Itô processes is unique: For arbitrary $\zeta \in H_G^1(0,T)$, $\eta \in M_G^1(0,T)$ and non-increasing $G$-martingales $K,L$, if ${\int }_0^t{\zeta }_{s}d{B}_s+{\int }_0^t{\eta }_{s}ds+K_t=L_t,t\in [0,T],$then we have $\eta \equiv 0$, $\zeta \equiv 0$ and$K_t=L_t$. As an application, we give a characterization to the $G$-Sobolev spaces introduced in Peng and Song (2015).     

When is a function not flat?

In this paper we prove a unique continuation property for vector valued functions of one variable satisfying certain differential inequality.     

关于Heisenberg群上次Laplace算子的唯一延拓性

在Heisenberg群Hn中对微分不等式|△Hnu|≤C/d(z,t)2ψ|u|的非负解证明了某个唯一延拓性结果.     

Equivalent conditions on periodic feedback stabilization for linear periodic evolution equations

This paper studies the periodic feedback stabilization for a class of linear T  -periodic evolution equations. Several equivalent conditions on the linear periodic feedback stabilization are obtained. These conditions are related to the following subjects: the attainable subspace of the controlled evolution equation under consideration; the unstable subspace (of the evolution equation with the null control) provided by the Kato projection; the Poincaré map associated with the evolution equation with the null control; and two unique continuation properties for the dual equations on different time horizons [0,T]$[0,T]$ and [0,_n0T]$[0,n_{0}T]$ (where _n0$n_0$ is the sum of algebraic multiplicities of distinct unstable eigenvalues of the Poincaré map). It is also proved that a T-periodic controlled evolution equation is linear T-periodic feedback stabilizable if and only if it is linear T-periodic feedback stabilizable with respect to a finite-dimensional subspace. Some applications to heat equations with time-periodic potentials are presented.