Perturbation theory for nonlinear feedback control systems and spencer-goldschmidt integrability of linear partial differential equations

This paper aims to develop the differential-geometric and Lie-theoretic foundations of perturbation theory for control systems, extending the classical methods of Poincaré from the differential equation-dynamical system level where they are traditionally considered, to the situation where the element of control is added. It will be guided by general geometric principles of the theory of differential systems, seeking approximate solutions of the feedback linearization equations for nonlinear affine control systems. In this study, certain algebraic problems of compatibility of prolonged differential systems are encountered. The methods developed by D. C. Spencer and H. Goldschmidt for studying over-determined systems of partial differential equations are needed. Work in the direction of applying theio theory is presented.Supported by grants from the Ames Research Center of NASA and the Applied Mathematics and Systems Research Programs of the National Science Foundation     

Existence of solitary wave solutions for the nonlinear Klein-Gordon equation coupled with Born-Infeld theory with critical Sobolev exponent

In this paper, we prove the existence of solutions for the nonlinear Klein-Gordon equation coupled with Born-Infeld theory under the electrostatic solitary wave ansatz by using variational methods.     

Coupled systems of nonlinear wave equations and finite-dimensional lie algebras I

We study coupled systems of nonlinear wave equations from the point of view of their formal Darboux integrability. By making use of Vessiot's geometric theory of differential equations, it is possible to associate to each system of nonlinear wave equations a module of vector fields on the second-order jet bundle — the Vessiot distribution. By imposing certain conditions of the structure of the Vessiot distributions, we identify the so-called separable Vessiot distributions. By expressing the separable Vessiot distributions in a basis of singular vector fields, we show that there are, at most, 27 equivalence classes of such distributions. Of these, 14 classes are associated with Darboux integrable nonlinear systems. We take one of these Darboux integrable classes and show that it is in correspondence with the class of six-dimensional simply transitive Lie algebras. Finally, this later result is used to reduce the problem of constructing exact general solutions of the nonlinear wave equations understudy to the integration of Lie systems. These systems were first discovered by Sophus Lie as the most general class of ordinary differential equations which admit nonlinear superposition principles.     

Multiple positive solutions for nonlinear periodic problems

We consider a nonlinear periodic equation driven by the scalar p-Laplacian and with a Caratheodory asymptotically (p−1)-linear nonlinearity. Using variational methods coupled with suitable truncation techniques, we show that the problem has at least two positive solutions. For the semilinear case (p=2), using Morse theory we show that the problem has three distinct positive solutions.     

Nonlinear feedback control and systems of partial differential equations

Finding an equivalence between two feedback control systems is treated as a problem in the theory of partial differential equation systems. The mathematical aim is to embed the Jakubzyk-Respondek, Hunt-Meyer-Su work on feedback linearization in the general theory of differential systems due to Lie, Cartan, Vessiot, Spencer, and Goldschmidt. We do this by using the functor taking control systems into differential systems, and studying the equivalence invariants of such differential systems. After discussing the general case, attention is focussed on the special situation of most immediate practical importance, the theory of feedback linearization. In this case, the general system for feedback equivalence becomes a system of linear partial differential equations. Conditions are found that the general solution of this system may be described in terms of a Frobenius system and certain differential-algebraic operations.This work was supported by grant from the Ames Research Center of NASA and the Applied Mathematics Program of the National Science Foundation.     

Lightlike surfaces of spacelike curves in de Sitter 3-space

The Lorentzian space form with the positive curvature is called de Sitter space which is an important subject in the theory of relativity. In this paper we consider spacelike curves in de Sitter 3-space. We define the notion of lightlike surfaces of spacelike curves in de Sitter 3-space. We investigate the geometric meanings of the singularities of such surfaces. Work partially supported by Grant-in-Aid for formation of COE. ‘Mathematics of Nonlinear Structure via Singularities’     

Invariants for feedback equivalence and Cauchy characteristic multifoliations of nonlinear control systems

Linearization of a nonlinear feedback control system under nonlinear feedback is treated as a problem of equivalence-under the Lie pseudogroup of feedback transformations-of distributions on the product manifold of the state and control variables. The new feature of this paper is that it introduces the Cauchy characteristic sub-distributions of these distributions and their derived distributions. These Cauchy characteristic distributions are involutive and nested, hence define a Multifoliate Structure. A necessary condition for feedback equivalence of two nonlinear control systems is that these multifoliations be transformed under the feedback pseudogroup. For linear systems, this Cauchy characteristic multifoliate structuee is readily computed in terms of the (A, B)-matrix that defines the linear system. Assuming that the conditions for local feedback linearization are satisfied, the existence of a global feedback linearizing transformation is dependent on computing an element of the first cohomology group of the space with coefficients in the sheaf of groupoid of infinitesimal feedback automorphisms of the linear system. The theorem quoted above about the Cauchy characteristic multifoliations provides some information about this groupoid. It is computed explicitly and directly for control systems with one- or two-state dimensions. Finally, these Cauchy characteristic sub-distributions must inevitably play a role in the numerical or symbolic computational analysis of the Hunt-Su partial differential equations for the feedback-linearizing transformation.Senior Research Associate of the National Research Council at the Ames Research Center of NASA.     

Limit cycles near hyperbolas in quadratic systems

In this paper we introduce the notion of infinity strip and strip of hyperbolas as organizing centers of limit cycles in polynomial differential systems on the plane. We study a strip of hyperbolas occurring in some quadratic systems. We deal with the cyclicity of the degenerate graphics DI2a from the programme, set up in [F. Dumortier, R. Roussarie, C. Rousseau, Hilbert's 16th problem for quadratic vector fields, J. Differential Equations 110 (1994) 86-133], to solve the finiteness part of Hilbert's 16th problem for quadratic systems. Techniques from geometric singular perturbation theory are combined with the use of the Bautin ideal. We also rely on the theory of Darboux integrability.     

Applications of proximal calculus to fixed point theory on Riemannian manifolds

We prove a general form of a fixed point theorem for mappings from a Riemannian manifold into itself which are obtained as perturbations of a given mapping by means of general operations which in particular include the cases of sum (when a Lie group structure is given on the manifold) and composition. In order to prove our main result we develop a theory of proximal calculus in the setting of Riemannian manifolds.     

The linear and nonlinear diffusion of the competitive Lotka–Volterra model

This paper has studied the effects of linear and nonlinear diffusion of the competitive Lotka–Volterra model, and has investigated how the linear and nonlinear diffusions lead from the extinction of one species to the persistence or global asymptotic stability of all species. This research has important implications in the design of nature reserves.     

An asymptotic derivation of weakly nonlinear ray theory

Using a method of expansion similar to Chapman-Enskog expansion, a new formal perturbation scheme based on high frequency approximation has been constructed. The scheme leads to an eikonal equation in which the leading order amplitude appears. The transport equation for the amplitude has been deduced with an errorO(ε²) where ε is the small parameter appearing in the high frequency approximation. On a length scale over which Choquet-Bruhat’s theory is valid, this theory reduces to the former. The theory is valid on a much larger length scale and the leading order terms give the weakly nonlinear ray theory (WNLRT) of Prasad, which has been very successful in giving physically realistic results and also in showing that the caustic of a linear theory is resolved when nonlinear effects are included. The weak shock ray theory with infinite system of compatibility conditions also follows from this theory.     

Proto-derivative formulas for basic subgradient mappings in mathematical programming

Subgradient mappings associated with various convex and nonconvex functions are a vehicle for stating optimality conditions, and their proto-differentiability plays a role therefore in the sensitivity analysis of solutions to problems of optimization. Examples of special interest are the subgradients of the max of finitely manyC ² functions, and the subgradients of the indicator of a set defined by finitely manyC ² constraints satisfying a basic constraint qualification. In both cases the function has a property called full amenability, so the general theory of existence and calculus of proto-derivatives of subgradient mappings associated with fully amenable functions is applicable. This paper works out the details for such examples. A formula of Auslender and Cominetti in the case of a max function is improved in particular.This work was supported in part by the Natural Sciences and Engineering Research Council of Canada under grant OGP41983 for the first author and by the National Science Foundation under grant DMS-9200303 for the second author.     

Generic equi-centro-affine differential geometry of plane curves

We study the equi-centro-affine invariants of plane curves from the view point of the singularity theory of smooth functions. We define the notion of the equi-centro-affine pre-evolute and pre-curve and establish the relationship between singularities of these objects and geometric invariants of plane curves.     

Periodic solutions of a class of second order non-autonomous Hamiltonian systems

Some existence theorems are obtained for periodic solutions of non-autonomous second order systems by using the least action principle and minimax methods in critical point theory. Our results extend and improve many previously known results.     

Bifurcations of traveling wave solutions for Zhiber–Shabat equation

In this paper, we investigate the dynamical behavior of traveling wave solutions in the Zhiber–Shabat equation by using the bifurcation theory and the method of phase portraits analysis. As a result, we obtain the conditions under which smooth and non-smooth traveling wave solutions exist, and give some exact explicit solutions for some special cases.     

Invariant tori for a reversible oscillator with a nonlinear damping and periodic forcing term

In this paper, the boundedness of all solutions of the oscillator

x^″+f(x,x^′)+ω²x+?(x)=p(t)$x^{″}+f(x,x^{\prime })+{\omega }^{2}x+?(x)=p(t)$

Theorem about existence and uniqueness of continuous solution of nonlocal problem for nonlinear hyperbolic equation

The aim of the paper is to give a theorem about the existence and uniqueness of the continuous solution of a non-linear differential hyperbolic problem with a nonlocal condition in a bounded domain. The Banach theorem about the fixed point is used to prove the existence and uniqueness of the problem considered. The results obtained in this paper can be applied in the theory of elasticity with better effect than the analogous known result with the classical initial condition.     

A GEOMETRIC SPLITTING AND THE C∞ STABILITY OF MAPS FROM SEMIANALYTIC SETS

Abstract

John Mather has proved that infinitesimal stability implies stability for proper maps in the category of smooth manifolds. This result gives a computable algebraic criterion for stability. In this paper it is shown that there is an extension of Mather's result when the range is only assumed to be a compact semianalytic set of some real Euclidean space—this class of spaces is an obvious maximal candidate for which computations can be carried out using only classical polynomial algebra. The proof depends on a splitting theorem for the restriction map from the smooth functions on a Euclidean space to those on a closed subset and is proved by an algebraic-geometric method derived from the work of B. Malgrange. No knowledge of functional analysis is assumed although an alternative analytic method for proving the main result is also indicated. Only simple applications are given (mostly to functions defined locally in the neighbourhood of an isolated hypersurface singularity of the type studied by J. Milnor and others) since the author intends to publish a fairly comprehensive study of stability (smooth and C°) of smooth maps on closed semianalytic sets.