Local exact controllability to the trajectories of the 1-D Kuramoto-Sivashinsky equation

We are concerned with the boundary controllability to the trajectories of the Kuramoto-Sivashinsky equation. By using a Carleman estimate, we obtain the null controllability of the linearized equation around a given solution. From a local inversion theorem we get the local controllability to the trajectories of the nonlinear system.     

Exact controllability of infinite dimensional systems persists under small perturbations

This paper studies the concept of controllability for infinite-dimensional linear control systems in Banach spaces. First, we prove that the set of admissible control operators for the semigroup generator is unchanged if we perturb the generator by the Desch–Schappacher perturbations. Second we show that exact controllability is not changed by such perturbations.     

Point Evaluation and Hardy Space on a Homogeneous Tree

We consider stationary multiscale systems as defined by Basseville, Benveniste, Nikoukhah and Willsky. We show that there are deep analogies with the discrete time non stationary setting as developed by the first author, Dewilde and Dym. Following these analogies we define a point evaluation with values in a C*–algebra and the corresponding “Hardy space” in which Cauchy’s formula holds. This point evaluation is used to define in this context the counterpart of classical notions such as Blaschke factors.     

On the global null controllability of a Navier-Stokes system with Navier slip boundary conditions

In this paper, we deal with a two-dimensional Navier-Stokes system in a rectangle with Navier slip boundary conditions on the horizontal sides. We establish the global null controllability of the system by controlling the normal component and the vorticity of the velocity on the vertical sides. The linearized control system around zero is controllable but one does not know how to deduce global controllability results for the nonlinear system. Our proof uses the return method together with a local exact controllability result by Fursikov and Imanuvilov.     

Global boundary controllability of the Saint-Venant system for sloped canals with friction

We consider a sloped canal with friction that is governed by the Saint-Venant system with source term. We show that starting sufficiently close to a stationary constant subcritical initial state, we can control the system in finite time to a state in a C¹$C^1$ neighbourhood of any other stationary constant subcritical state by boundary control at the ends of the canal in such a way that during the process the system state remains continuously differentiable.     

Quadratic obstructions to small-time local controllability for scalar-input systems

We consider nonlinear finite-dimensional scalar-input control systems in the vicinity of an equilibrium.When the linearized system is controllable, the nonlinear system is smoothly small-time locally controllable: whatever $m>0$ and $T>0$, the state can reach a whole neighborhood of the equilibrium at time T with controls arbitrary small in $C^m$-norm.When the linearized system is not controllable, we prove that: either the state is constrained to live within a smooth strict manifold, up to a cubic residual, or the quadratic order adds a signed drift with respect to it. This drift holds along a Lie bracket of length $(2k+1)$, is quantified in terms of an $H^{?k}$-norm of the control, holds for controls small in $W^{2k,\infty }$-norm and these spaces are optimal. Our proof requires only $C^3$ regularity of the vector field.This work underlines the importance of the norm used in the smallness assumption on the control, even in finite dimension.     

Weak equivalence for shifts of finite type

We derive a computable set of necessary and sufficient conditions for the existence of a homomorphism from one shift of finite type to another. Also we consider an equivalence relation on subshifts, called weak equivalence, which was introduced and studied by Beal and Perrin. We classify arbitrary shifts of finite type up to weak equivalence.     

Rational congruence for uniform multiplicative designs

A multiplicative design is a family ofn subsets of ann-set whose incidence matrixA satisfiesA ^T A=D+ ^T where is a positive real vector andD is a positive diagonal matrix. This is a generalization of-designs where is a constant vector and of (v, k, )-designs whereD is additionally required to be scalar. In a uniform design we only require thatD be scalar, so the equation isA ^T A=dI+ ^T .One of the basic results on (v, k, )-designs is the Bruck-Ryser-Chowla Theorem which says thatk– must be a square ifv is even and thatz ²=(k–)x ²+y ²(–1)^(v–1)/2 must have a nontrivial integral solution ifv is odd. This can be proved with or without reference to the theory of rational congruences.The purpose of this paper is to investigate the implications of the theory of rational congruences for the existence of uniform multiplicative designs. The Hass-Minkowski Theorem provides the main line of attack. The main result gives a finite set of equations, suitable for programming on a computer, which must be satisfied if there is a rational matrix satisfying the equationA ^T A=dI+ ^T for a uniform design.     

Generalized Cauchy functional equation and characterizations of inner product spaces

Summary Using a generalized Cauchy functional equation we show that some well-known characterizations of inner product spaces, such as those of Jordan—von Neumann, Johnson, and Rassias, can be proved without use of the triangle inequality.     

On the congruence modularity conjecture

A new condition of compatibility with projections, applicable to some Maltsev filters, is defined and shown to hold, among others, for the filter of congruence-modular varieties. As a consequence, it is shown that there exist no simple counterexamples (in a specified sense) to the modularity conjecture. This paper is dedicated to Walter Taylor. Received November 5, 2005; accepted in final form April 3, 2006.     

Semi-Harmonicity,Integral Means and Euler Type Vector Fields

The Dirichlet product of functions on a semi-Riemann domain and generalized Euler vector fields, which include the radial, -Euler, and the -Neumann vector fields, are introduced. The integral means and the harmonic residues of functions on a Riemann domain are studied. The notion of semi-harmonicity of functions on a complex space is introduced. It is shown that, on a Riemann domain, the semi-harmonicity of a locally integrable function is characterized by local mean-value properties as well as by weak harmonicity. In particular, the Weyl’s Lemma is extended to a Riemann domain. Supports by Minnesota State University, Mankato and the Grant “Globale Methoden in der komplexen Geometrie” of the German research society DFG are gratefully acknowledged.     

On causality in commutant lifting theorem. I

Two functionals (A) and for an operatorA were introduced in [11] for the study of causality in commutant lifting theory. In this paper we give sufficient and necessary conditions for in a special case. We prove that in this case , and we show by some examples related to nonlinear system control that is the best constant in our inequality.