New results on the parametric stability of nonlinear systems

In this paper, we derive some new results on the parametric stability of nonlinear systems. Explicitly, we derive a necessary and sufficient condition for a nonlinear system to be locally parametrically exponentially stable at an equilibrium point. We also derive a necessary condition for the nonlinear system to be locally parametrically asymptotically stable at an equilibrium point. Next, we derive some new results on the parametric stability of discrete-time nonlinear systems. As in the continuous case, we derive a necessary and sufficient condition for a discrete-time nonlinear system to be locally parametrically exponentially stable at an equilibrium point. We also derive a necessary condition for the discrete-time nonlinear system to be locally parametrically asymptotically stable at an equilibrium point. We illustrate our results with some classical examples from the bifurcation theory.     

Weakly nonlinear boundary-value problem in a special critical case

We investigate the problem of the determination of conditions for the existence of solutions of weakly nonlinear Noetherian boundary-value problems for systems of ordinary differential equations and the construction of these solutions. We consider the special critical case where the equation for finding the generating solution of a weakly nonlinear Noetherian boundary-value problem turns into an identity. We improve the classification of critical cases and construct an iterative algorithm for finding solutions of weakly nonlinear Noetherian boundary-value problems in the special critical case.     

Coherent States for Systems of L 2-Supercritical Nonlinear Schrödinger Equations

We consider the propagation of wave packets for a nonlinear Schrödinger equation, with a matrix-valued potential, in the semi-classical limit. For a matrix-valued potential, Strichartz estimates are available under long range assumptions. Under these assumptions, for an initial coherent state polarized along an eigenvector, we prove that the wave function remains in the same eigenspace, at leading order, in a scaling such that nonlinear effects cannot be neglected. We also prove a nonlinear superposition principle for these nonlinear wave packets.     

Nonlinear semidefinite programming: sensitivity, convergence, and an application in passive reduced-order modeling

We consider the solution of nonlinear programs with nonlinear semidefiniteness constraints. The need for an efficient exploitation of the cone of positive semidefinite matrices makes the solution of such nonlinear semidefinite programs more complicated than the solution of standard nonlinear programs. This paper studies a sequential semidefinite programming (SSP) method, which is a generalization of the well-known sequential quadratic programming method for standard nonlinear programs. We present a sensitivity result for nonlinear semidefinite programs, and then based on this result, we give a self-contained proof of local quadratic convergence of the SSP method. We also describe a class of nonlinear semidefinite programs that arise in passive reduced-order modeling, and we report results of some numerical experiments with the SSP method applied to problems in that class.     

Reduced order observer design for discrete-time nonlinear systems

This work is a geometric study of reduced order observer design for discrete-time nonlinear systems. Our reduced order observer design is applicable for Lyapunov stable discrete-time nonlinear systems with a linear output equation and is a generalization of Luenberger’s reduced order observer design for linear systems. We establish the error convergence for the reduced order estimator for discrete-time nonlinear systems using the center manifold theory for maps. We illustrate our reduced order observer construction for discrete-time nonlinear systems with an example.     

On the Stochastic Wave Equation with Nonlinear Damping

We discuss an initial boundary value problem for the stochastic wave equation with nonlinear damping. We establish the existence and uniqueness of a solution. Our method for the existence of pathwise solutions consists of regularization of the equation and data, the Galerkin approximation and an elementary measure-theoretic argument. We also prove the existence of an invariant measure when the equation has pure nonlinear damping.     

Degree Theory for Second Order Nonlinear Elliptic Operators and its Applications

We introduce, along the lines of [4], an integer valued degree for second order fully nonlinear elliptic operators which is invariant under homotopy within elliptic operators. We also give some applications to the bifurcation problem for nonlinear elliptic equations. Applications to the existence of solutions of certain fully nonlinear elliptic equations on compact manifolds can be found in [7].     

Blow-up solutions of second-order differential inequalities with a nonlinear memory term

We consider the Cauchy problem for second-order nonlinear ordinary differential inequalities with a nonlinear memory term. We obtain blow-up results under some conditions on the initial data. We also give an application to a semilinear hyperbolic equation in a bounded domain.     

A Posteriori Error Estimates for Axisymmetric and Nonlinear Problems

We propose and examine the primal and dual finite element method for solving an axially symmetric elliptic problem with mixed boundary conditions. We derive an a posteriori error estimate and generalize the method used for a nonlinear elliptic problem. Finally, an a posteriori error estimate for a nonlinear parabolic problem based on the concept of hierarchical finite element basis functions is introduced.     

A tau method for nonlinear dynamical systems

In this work we present a new Tau method for the solution of nonlinear systems of differential equations which are linear in the derivative of highest order and polynomial in the remaining. We avoid the linearization of the problem by associating to it a nonlinear algebraic system and combine a forward substitution with the Tau method. We develop an adaptive step by step version of this alternative nonlinear tau method and we apply it to several nonlinear dynamical systems.     

Solvability of a nonlinear model Boltzmann equation in the problem of a plane shock wave

We consider a nonlinear system of integral equations describing the structure of a plane shock wave. Based on physical reasoning, we propose an iterative method for constructing an approximate solution of this system. The problem reduces to studying decoupled scalar nonlinear and linear integral equations for the gas temperature, density, and velocity. We formulate a theorem on the existence of a positive bounded solution of a nonlinear equation of the Uryson type. We also prove theorems on the existence and uniqueness of bounded positive solutions for linear integral equations in the space L ₁[?r, r] for all finite r < +∞. For a more general nonlinear integral equation, we prove a theorem on the existence of a positive solution and also find a lower bound and an integral upper bound for the constructed solution.     

A hierarchy of relaxations for nonlinear convex generalized disjunctive programming

We propose a framework to generate alternative mixed-integer nonlinear programming formulations for disjunctive convex programs that lead to stronger relaxations. We extend the concept of “basic steps” defined for disjunctive linear programs to the nonlinear case. A basic step is an operation that takes a disjunctive set to another with fewer number of conjuncts. We show that the strength of the relaxations increases as the number of conjuncts decreases, leading to a hierarchy of relaxations. We prove that the tightest of these relaxations, allows in theory the solution of the disjunctive convex program as a nonlinear programming problem. We present a methodology to guide the generation of strong relaxations without incurring an exponential increase of the size of the reformulated mixed-integer program. Finally, we apply the theory developed to improve the computational efficiency of solution methods for nonlinear convex generalized disjunctive programs (GDP). This methodology is validated through a set of numerical examples.     

Blow-up of the solution of a nonlinear system of equations with positive energy

We consider the Dirichlet problem for a nonlinear system of equations, continuing our study of nonlinear hyperbolic equations and systems of equations with an arbitrarily large positive energy. We use a modified Levine method to prove the blow-up.     

Periodic solutions of nonlinear hyperbolic evolution systems

We shall deal with the periodic problem for nonlinear perturbations of abstract hyperbolic evolution equations generating an evolution system of contractions. We prove an averaging principle for the translation operator associated with the nonlinear evolution system, expressed in terms of the topological degree. The abstract results shall be applied to the damped hyperbolic partial differential equation.     

On the Existence of Local Smooth Solutions of Systems of Nonlinear Functional Equations with Deviations Dependent on Unknown Functions

We obtain conditions for the existence of a local differentiable solution of a system of nonlinear functional equations with nonlinear deviations of an argument.     

Exactly Solvable Model for Nonlinear Pulse Propagation in Optical Fibers

The nonlinear Schrödinger (NLS) equation is a fundamental model for the nonlinear propagation of light pulses in optical fibers. We consider an integrable generalization of the NLS equation, which was first derived by means of bi-Hamiltonian methods in [ 1 ]. The purpose of the present paper is threefold: (a) We show how this generalized NLS equation arises as a model for nonlinear pulse propagation in monomode optical fibers when certain higher-order nonlinear effects are taken into account; (b) We show that the equation is equivalent, up to a simple change of variables, to the first negative member of the integrable hierarchy associated with the derivative NLS equation; (c) We analyze traveling-wave solutions.     

Multisplitting Iteration Schemes for Solving a Class of Nonlinear Complementarity Problems

We consider several synchronous and asynchronous multisplitting iteration schemes for solving aclass of nonlinear complementarity problems with the system matrix being an H-matrix.We establish theconvergence theorems for the schemes.The numerical experiments show that the schemes are efficient forsolving the class of nonlinear complementarity problems.     

Developing the eikonal method in nonlinear electrodynamics based on the geometrization principle

We derive the eikonal equation for an electromagnetic wave propagating in an external electromagnetic field according to the laws of nonlinear electrodynamics. Based on Logunov’s geometrization principle, we determine the metric tensors of the effective Riemannian spaces for the Born-Infeld electrodynamics, nonlinear Heisenberg-Euler electrodynamics, and a parameterized post-Maxwellian electrodynamics. We analyze the main properties of these nonlinear electrodynamics. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 150, No. 1, pp. 112–117, January, 2007.