Existence and Uniqueness of Solutions to a Class of Nonlinear-Operator-Differential Equations Arising in Automated Spaceship Navigation.

摘要

A proof is given of the existence and uniqueness of the solution to the automatic control problem with a nonlinear state equation of the form y' = f(t,y,u) and nonlinear operator controls u = U(y) acting onto the state function y which satisfies the initial condition y(t) = x(t) for t or = 0.