RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления





Для просмотра файлов Вам могут потребоваться






Международная молодежная конференция «Геометрия и управление»
14 апреля 2014 г. 17:00, г. Москва, МИАН
 


Classification of Binary Forms with Control Parameter

Pavel Bibikov

Institute of Control Sciences RAS, Moscow, Russia
Видеозаписи:
Flash Video 173.4 Mb
Flash Video 1,038.4 Mb
MP4 173.4 Mb
Материалы:
Adobe PDF 498.6 Kb
Adobe PDF 86.1 Kb

Количество просмотров:
Эта страница:152
Видеофайлы:78
Материалы:76

Pavel Bibikov


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке

Аннотация: The aim of the talk is to classify binary forms, whose coefficients depend on control parameter, with respect to the action of some pseudogroup. We solve this problem in two steps. Firstly, we consider the action of our pseudogroup on the infinite prolongation of the differential Euler equation and find differential invariant algebra of this action. Secondly, using methods from geometric theory of differential equations, we prove that three dependencies between basic differential invariants and their invariant derivatives uniquely define the equivalent class of binary forms with control parameter.
Let us consider the space $V_n(u)$ of binary forms, whose coefficients depend on the control parameter:
$$ f(x,y;u)=\sum\limits_{i=0}^n a_i(u)x^iy^{n-i}, \quad where $a_i$ are holomorphic functions. $$

The pseudogroup $G:=\mathrm{SL}_2\leftthreetimes (\mathcal{F}(u)\times \mathrm{T}(u))$ acts on the space $V_n(u)$ in the following way:
1) “semisimple part” $\mathrm{SL}_2$ acts by linear transformations of the coordinates $(x,y)$:
$$ \mathrm{SL}_2\ni A\colon ( \begin{matrix} x
y \end{matrix})\mapsto A^{-1}( \begin{matrix} x
y \end{matrix}); $$
2) “functional part” $\mathcal{F}(u)$ acts by holomorphic transformations of the control parameter: $u\mapsto \varphi(u)$;
3) “torus” $\mathrm{T}(u)$ acts by multiplications on the holomorphic functions on the control parameter: $f\mapsto \lambda(u) f$.
Consider space $\mathbb{C}^3$ with coordinates $(x,y,u)$ and $k$-jet space $J^k$ of functions on it (all necessary definitions and facts can be found in [1]). Denote by $(x,y,u,h, h_x,h_y,h_u,\ldots)$ the coordinates in $k$-jet space.
Binary forms with control parameter can be considered as solutions of the Euler differential equation
$$ \mathcal{E}:=\{x h_x+y h_y=nh\}\subset J^1$$
(see also [2]). The action of the pseudogroup $G$ on 0-jet space $J^0$ prolongs to the action on all prolongations $\mathcal{E}^{(k-1)}\subset J^k$ (see [1]).
$ $
Definition 1. Differential invariant of the action of pseudogroup $G$ of order $k$ is $G$-invariant function on manifold $\mathcal{E}^{(k-1)}$, which is polynomial in derivatives $h_\sigma$, $h^{-1}$ and $(h_xh_{yu}-h_yh_{xu})^{-1}$ (see Theorem 1).
$ $
Remark. Function $h_xh_{yu}-h_yh_{xu}$ is “total Poisson bracket” $\{h, h_u\}$. Hence this function is a differential semi–invariant of pseudogroup $G$ (see [3]).
$ $
Definition 2. Invariant derivative is a combination of total derivatives, which commutes with the action of group $G$.
$ $
Theorem 1. Differential invariant algebra of the action of pseudogroup $G$ on the manifold $\mathcal{E}^{(\infty)}$ is freely generated by differential invariant
$$ H:=\frac{h_{xx}h_{yy}-h^2_{xy}}{h^2}$$
of order 2 and by invariant derivatives
$$\nabla_1:=\frac{h_y}{h}D_x-\frac{h_x}{h}D_y \quad and \quad \nabla_2:=\frac{h^2}{h_xh_{yu}-h_yh_{xu}}\cdot D_u $$
(where $D_x$, $D_y$, $D_u$ are total derivative operators with respect to variables $x$, $y$, $u$ correspondingly).
$ $
Definition 3. Binary form $f\in V_n(u)$ is said to be regular, if the restrictions of the invariants $H$, $H_1$ and $H_2$ on form $f$ are functionally independent in points of some domain $\Omega\subset \mathbb{C}^3$ (here indexes denote the corresponding invariant derivatives $\nabla_1$ and $\nabla_2$).
$ $
Consider the regular binary form $f$. Then the restrictions of invariants $H_{11}$, $H_{12}$ and $H_{22}$ on form $f$ can be extended through the restrictions of the invariants $H$, $H_1$ and $H_2$ on $f$:
$$ H_{11}=A(H,H_1,H_2), \;\;H_{12}=B(H,H_1,H_2), \;\;H_{22}=C(H,H_1,H_2). $$

The triple $(A,B,C)$ is said to be triple of dependencies of form $f$.
$ $
Theorem 2. Two regular binary forms $f$ and $\widetilde{f}$ with control parameters are $G$-equivalent iff the triples of dependencies coincide:
$$ (A,B,C)=(\widetilde{A},\widetilde{B},\widetilde{C}). $$

$ $
The author is supported by RFBR, grand mol_a-14-01-31045.

Материалы: slides.pdf (498.6 Kb), abstract.pdf (86.1 Kb)

Язык доклада: английский

Список литературы
  1. Alekseevskii D., Vinogradov A., Lychagin V. Basic ideas and concepts of differential geometry. VINITI, vol. 28, 1988. English translation in Geometry I. Encycl. Math. Sci., 28, 1991.
  2. Bibikov P.V., Lychagin V.V. $\mathrm{GL}_2(\mathbb{C})$-orbits of binary rational forms // Lobachevskii Journal of Mathematics. 2011. Vol. 32, No. 1. P. 95–102.  mathscinet
  3. Kushner A. G., Lychagin V. V. Petrov Invariants for 1-$D$ Control Hamiltonian Systems // Global and Stochastic Analysis. 2012. Vol. 2, No. 1. P. 241–264.


ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017