In the paper presented the methodology of investigation of the controllability of an infinite dimensional second order dynamical systems with damping term. Following this aim spectral theory for linear unbounded operators is involved. In the first part of the paper the problem is stated and the methodology of transforming the second order equation to the set of the first order equations is reminded. Next the theorem on transforming considered infinite dimensional dynamical system to infinite series of finite dimensional systems is proved. Finally the theorem on necessary and sufficient conditions of constrained approximate controllability of considered system is formulated and proved.
PL
W ramach pracy przedstawiono metodykę badania sterowalności nieskończenie wymiarowych układów dynamicznych rzędu drugiego z czynnikiem tłumiącym. Do tego celu wykorzystana została spektralna teoria liniowych operatorów nieograniczonych. W pierwszej części pracy został sformułowany problem i przypomniana została metodyka sprowadzenia rozpatrywanego układu drugiego rzędu do układu równań pierwszego rzędu. Następnie udowodniono twierdzenie o sprowadzeniu wyjściowego układu nieskończenie wymiarowego do nieskończonego ciągu układów skończenie wymiarowych. Na koniec zostało sformułowane i udowodnione twierdzenie podające warunki konieczne i wystarczające aproksymacyjnej sterowalności z ograniczeniami rozpatrywanego układu.
In the paper presented the methodology of investigation of the controllability of an infinite dimensional second order dynamical systems with damping term. Following this aim spectral theory for linear unbounded operators is involved. In the first part of the paper the problem is stated and the methodology of transforming the second order equation to the set of the first order equations is reminded. Next the theorem on transforming considered infinite dimensional dynamical system to infinite series of finite dimensional systems is proved. Finally the theorem on necessary and sufficient conditions of constrained approximate controllability of considered system is formulated and proved.
PL
W ramach pracy przedstawiono metodykę badania sterowalności nieskończenie wymiarowych układów dynamicznych rzędu drugiego z czynnikiem tłumiącym. Do tego celu wykorzystana została spektralna teoria liniowych operatorów nieograniczonych. W pierwszej części pracy został sformułowany problem i przypomniana została metodyka sprowadzenia rozpatrywanego układu drugiego rzędu do układu równań pierwszego rzędu. Następnie udowodniono twierdzenie o sprowadzeniu wyjściowego układu nieskończenie wymiarowego do nieskończonego ciągu układów skończenie wymiarowych. Na koniec zostało sformułowane i udowodnione twierdzenie podające warunki konieczne i wystarczające aproksymacyjnej sterowalności z ograniczeniami rozpatrywanego układu.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.