Videolibrary
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Video Library
Archive
Most viewed videos

Search
RSS
New in collection






International youth conference "Geometry & Control"
April 14, 2014 17:35, Moscow, Steklov Mathematical Institute of RAS
 


Differential Invariants of Feedback Transformations for Quasi-Harmonic Oscillation Equations

Dmitry Gritsenkoa, Oleg Kiriukhinb

a Lomonosov Moscow State University, Moscow, Russia
b University of Chicago Booth School of Business, Chicago, Illinois, USA
Video records:
Flash Video 102.6 Mb
Flash Video 613.6 Mb
MP4 375.7 Mb
Supplementary materials:
Adobe PDF 381.5 Kb
Adobe PDF 72.2 Kb

Number of views:
This page:300
Video files:71
Materials:92

Dmitry Gritsenko, Oleg Kiriukhin



Abstract: The classification problem for a control-parameter-dependent second-order differential equations is considered. The algebra of the differential invariants with respect to Lie pseudo-group of feedback transformations is calculated. The equivalence problem for a control-parameter-dependent quasi-harmonic oscillation equation is solved. Some canonical forms of this equation are constructed.
Consider the problems of equivalence and classification for the differential equation:
$$ \tag{1} \frac{d^{2}y}{d x^{2}}+f(y,u)=0, $$
with respect to the feedback transformations [1]:
$$ \tag{2} \varphi\colon (x,y,u)\longmapsto (X(x,y),Y(x,y),U(u)), $$
where the function$f(y,u)$ is smooth. Here $u$ is a scalar control parameter. We will call an equation of form (1) {control-parameter-dependent quasi-harmonic oscillator equation} (QHO).
$ $
Definition. Operator
$$ \tag{3} \nabla = M\frac{d}{dy} + N\frac{d}{du} $$
is called $G$-invariant differentiation if it commutes with every element of any prolongation of Lie algebra $\mathcal{G}$, where $M$ and $N$ are the functions on the jet space.
$ $
Theorem. Differential operators
\begin{align} \tag{4} \nabla_1 = \frac{z}{z_{y}} \frac{d}{dy}, \\ \tag{5} \nabla_2 = \frac{z}{z_{u}} \frac{d}{du} \end{align}
are $G$-invariant differentiations.
$ $
Theorem. Functions
$$ J_{21} =\frac{z_{yy}z}{z_y^2},\quad J_{22} =\frac{z_{yu}z}{z_{y}z_u} $$
form a complete set of the basic second-order differential invariants, i.e.any other second-order differential invariants are the functions of $J_{21}$ and $J_{22}$.
$ $
Theorem. Quasi-harmonic oscillation equation differential invariants algebra is generated by second-order differential invariants $J_{21}$, $J_{22}$ and invariant differentiations $\nabla_1$ and $\nabla_2$. This algebra separates regular orbits.
$ $
Let us call an equation $\mathcal{E}_f$ regular, if
$$ dJ_{21}(f)\wedge dJ_{22}(f)\neq 0. $$
Here $J(f)$ is the value of the differential invariant $J$ on the function $f = f(y,u)$.
$ $
Theorem. Suppose that the functions $f$ and $g$ are real-analytical. Two regular equations $\mathcal{E}_f$ and $\mathcal{E}_g$ are locally $G$-equivalent if and only if the functions $\Phi_{if}$ and $\Phi_{ig}$ identically equal ($i=1,2,3$) and 3-jets of the functions $f$ and $g$ belong to the same connection component.

Supplementary materials: slides.pdf (381.5 Kb) , abstract.pdf (72.2 Kb)

Language: English

References
  1. A. G. Kushner, V. V. Lychagin, Petrov Invariants for 1-D Control Hamiltonian Systems. // Global and Stochastic Analysis. 2012. 2, 2. 241–264.
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024