Parabolic differential equations and lyapunov like functions.
Nonlinear parabolic differential equation stability, boundedness and uniqueness of solutions obtained by Liapunov direct method
SEARCH · Engineering Papers
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Nonlinear parabolic differential equation stability, boundedness and uniqueness of solutions obtained by Liapunov direct method
Motion near collision singularity in perturbed two body problem, applying method to boundedness proof for Sperling cluster energy
The abstract theory presented shows how the theory of dissipative systems of ordinary differential equations can be extended to include a wide class of functional and partial differential equations. Since the basic hypotheses are all in terms of boundedness, finding sufficient conditions in terms of Liapunov functions was not difficult. Work is being undertaken to solve some nontrivial examples to illustrate how the theory can applied.
This investigation focused attention on the fact that the synthesis of adaptive control systems has often been discussed in the framework of idealizations which may represent over simplifications. A condition for boundedness of the tracking error has been derived for the case in which incomplete adaption and disturbance are present. When using Parks' design it is shown that instability of the adaptive gains can result due to the presence of disturbance. The theory has been applied to a nontrivial example in order to illustrate the concepts involved.
The method used by Drazin to investigate the stability of unbounded, viscous, homogeneous, parallel shear flow to small wavenumber disturbances is extended to study the effect of thermal stratification on the stability of unbounded jets and shear layers. By this method the stability characteristics of continuous profiles are inferred from the stability characteristics of discontinuous profiles. The characteristic value problem for discontinuous jet and shear layers is posed by the requirement that the solutions of the governing differential equation satisfy the matching conditions and boundedness conditions for layers that extend to infinity. The analysis leads to a characteristic determinant which is required to vanish for the characteristic values of the parameters: the Reynolds number, the wavenumber, and the wave speed. The stabilizing effect of the thermal stratification as parameterized by the Richardson number was found to be most stabilizing for small wavenumber (large-scale) disturbances.
A theory is presented that shows how the concept of dissipative systems of ordinary differential equations can be extended to include a broad class of functional and partial differential equations, such as retarded functional differential equations and parabolic partial differential equations. Since the basic hypotheses are all in terms of boundedness, finding sufficient conditions in terms of Liapunov functions would not be too difficult.
Review of the development of gradient techniques and their application to aircraft optimal performance computations in the vertical plane of flight. Results obtained using the method of gradients are presented for attitude- and throttle-control programs which extremize the fuel, range, and time performance indices subject to various trajectory and control constraints, including boundedness of engine throttle control. A penalty function treatment of state inequality constraints which generally appear in aircraft performance problems is outlined. Numerical results for maximum-range, minimum-fuel, and minimum-time climb paths for a hypothetical supersonic turbojet interceptor are presented and discussed. In addition, minimum-fuel climb paths subject to various levels of ground overpressure intensity constraint are indicated for a representative supersonic transport. A variant of the Gel'fand-Tsetlin 'method of ravines' is reviewed, and two possibilities for further development of continuous gradient processes are cited - namely, a projection version of conjugate gradients and a curvilinear search.
For perturbed nonlinear systems, a norm, other than the supremum norm, is introduced on some spaces of continuous functions. This makes possible the study of new types of behavior. A study is presented on a perturbed nonlinear differential equation defined on a half line, and the existence of a family of solutions with special boundedness properties is established. The ideas developed are applied to the study of integral manifolds, and examples are given.
Simple mechanical linkages are often unable to cope with the many control problems associated with high performance aircraft maneuvering over a wide flight envelope. One procedure for retaining uniform handling qualities over such an envelope is to implement a digital adaptive controller. Towards such an implementation an explicit adaptive controller, which makes direct use of online parameter identification, has been developed and applied to the linearized equations of motion for a typical fighter aircraft. The system is composed of an online weighted least squares identifier, a Kalman state filter, and a single stage real model following control law. The corresponding control gains are readily adjustable in accordance with parameter changes to ensure asymptotic stability if the conditions for perfect model following are satisfied and stability in the sense of boundedness otherwise.
An explicit adaptive controller, which makes direct use of on-line parameter identification, has been developed and applied to both the linearized and nonlinear equations of motion for the F-8 aircraft. This controller is composed of an on-line weighted least squares parameter identifier, a Kalman state filter, and a real model following control law designed using single-stage performance indices. The corresponding control gains are readily adjustable in accordance with parameter changes to ensure asymptotic stability if the conditions of perfect model following are satisfied, and stability in the sense of boundedness otherwise. Simulation experiments with realistic measurement noise indicate that the controller was effective in compensating for parameter variations and capable of rapid recovery from a set of erroneous initial parameter estimates which defined a set of destabilizing gains.
The Lax-Friedrichs scheme, approximating the scalar, genuinely nonlinear conservation law u sub t + f sub x (u) = 0 where f(u) is, say, strictly convex double dot f dot a sub asterisk 0 is studied. The divided differences of the numerical solution at time t do not exceed 2 (t dot a sub asterisk) to the -1. This one-sided Lipschitz boundedness is in complete agreement with the corresponding estimate one has in the differential case; in particular, it is independent of the initial amplitude in sharp contrast to liner problems. It guarantees the entropy compactness of the scheme in this case, as well as providing a quantitive insight into the large-time behavior of the numerical computation.
The Kreiss Matrix Theorem asserts the uniform equivalence over all N x N matrices of power boundedness and a certain resolvent estimate. It is shown that the ratio of the constants in these two conditions grows linearly with N, and the optimal proportionality factor is obtained up to a factor of 2. Analogous results are also given for the related problem involving matrix exponentials. The proofs make use of a lemma that may be of independent interest, which bounds the arch length of the image of a circle in the complex plane under a rational function.
The Kreisselmeier discrete adaptive observer is analyzed for the case in which the observer order is less than that of the plant. The state and parameter estimates from the observer are compared to the states and parameters for an arbitrary reduced-order model (ROM) of the plant, where the observer and ROM are of equal dimension. Conditions sufficient for ultimate boundedness of the observation errors are given, and expressions for the error bounds are derived.
The Lax-Friedrichs scheme, approximating the scalar, genuinely nonlinear conservation law u sub t + f sub x (u) = O where f(u) is, say, strictly double dot f dot a sub asterisk O is studied. The divided differences of the numerical solution at time t do not exceed 2 (t dot a sub asterisk) to the -1. This one-sided Lipschitz boundedness is in complete agreement with the corresponding estimate one has in the differential case; in particular, it is independent of the initial amplitude in sharp contrast to linear problems. It guarantees the entropy compactness of the scheme in this case, as well as providing a quantitative insight into the large-time behavior of the numerical computation.
The Navier-Stokes equations can be viewed as an incompletely elliptic perturbation of the Euler equations. By using the entropy function for the Euler equations as a measure of energy for the Navier-Stokes equations, it was possible to obtain nonlinear energy estimates for the mixed initial boundary value problem. These estimates are used to derive boundary conditions which guarantee L2 boundedness even when the Reynolds number tends to infinity. Finally, a new difference scheme for modelling the Navier-Stokes equations in multidimensions for which it is possible to obtain discrete energy estimates exactly analogous to those we obtained for the differential equation was proposed.
Three analytic consequences of the nonlinear Jeffcott equations are examined. The primary application of these analyses is directed toward understanding the excessive vibrations recorded in the Liquid Oxygen (LOX) pump of the Space Shuttle Main Engine (SSME) during hot firing ground testing. The first task is to provide bounds on the coefficients of the equations which delimit the two cases of numerical solution as a circle or an annulus. The second task examines the mathematical generalization to multiple forcing functions, which includes the special problems of mass imbalance, side force, rubbing, and combination of these forces. Finally, stability and boundedness of the steady-state solutions is discussed and related to the corresponding linear problem.
Physical solutions to convex scalar conservation laws satisfy a one-sided Lipschitz condition (OSLC) that enforces both the entropy condition and their variation boundedness. Consistency with this condition is therefore desirable for a numerical scheme and was proved for both the Godunov and the Lax-Friedrichs scheme--also, in a weakened version, for the Roe scheme, all of them being only first order accurate. A new, fully second order scheme is introduced here, which is consistent with the OSLC. The modified equation is considered and shows interesting features. Another second order scheme is then considered and numerical results are discussed.
This note investigates the closed-loop stability of linear, time-invariant systems controlled by linear-quadratic-Gaussian (LQG) type controllers, when the actuators have nonlinearities. The nonlinearities N(sigma) are assumed to violate the standard LQ robustness condition either for values of sigma away from sigma = 0, or in a neighborhood of sigma = 0. The cases with an exponentially stable state estimator, and an estimator with ultimately bounded estimation error are considered, and expressions are obtained for the regions of attraction and ultimate boundedness.