Различия

Показаны различия между двумя версиями страницы.

--- math:gruop:lie:primer2 [2020/09/30 12:12] – root
+++ math:gruop:lie:primer2 [2020/10/01 10:00] (текущий) – root
@@ Строка 1: / Строка 1: @@
-Выпрямим оператор:
+===== Выпрямление оператора =====
+=== 1 проективное преобразование ===
+Выпрямим оператор
 $$X=x^{2}\partial_{x}+xy\partial_{y}.$$
 Для нахождения первого инварианта решим уравнение
@@ Строка 11: / Строка 13: @@
 $$-\frac{1}{\bar{z}}=\bar{x}=\frac{x}{1-ax}=\frac{-\frac{1}{z}}{1-a(-\frac{1}{z})}=-\frac{1}{z+a}$$
 тогда, действительно, $\bar{z}=z+a$ --- паралельный перенос по $z.$
+=== 2 группа Галилея ===
+Из [[primer1|примера 1]] для группы Галилея
+$$\bar{x}=x+ay, \ \ \bar{y}=y.$$
+касательный вектор $\vec{\xi}$ с компонентами
+$\xi^{1}=y,$
+$\xi^{2}=0.$ Тогда
+$$
+X=y\partial_{x}.
+$$
+Раз в операторе нет производной по $y$, то эта переменная является как раз одним инвариантом $y=I$, тогда
+$$
+\frac{dx}{y}=\frac{dz}{1}.
+$$
+Но так как переменная y инвариант и не зависит от $a$, то легко проинтегрируем:
+$$
+\frac xy=z.
+$$
+Тогда, действительно в новых переменных $(z,I)=(z,y)$
+$$\bar z=z+a, \ \ \bar y=y$$
+а оператор
+$$
+X=\partial_{z}
+$$
+будет <<выпрямленным>>.