2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Подобрать базис для полей форм
Сообщение09.11.2008, 03:06 
В некоторой области $U$ в $R^n$ заданы поля симетричных форм $H$, $Q$. $H$ в каждой точке положительно определена. В каждой точке можно выбрать ортогональный относительно $H$ базис, в котором $Q$ имеет диагональный вид.

Верно ли, что в некоторой окресности каждой точки можно задать поля $e_1, ... ,e_n$ которые в каждой точке образуют базис с подобными свойствами?

Интуитивно кажется, что верно. Но доказывать через теорему о неявной функции не получается. Например если в некоторой точке $Q = k \cdot H$, то в ней подойдет любой ортогональный базис, а в соседних - возможно далеко не каждый. Что делать?

 
 
 
 
Сообщение09.11.2008, 08:16 
Аватара пользователя
none в сообщении #156884 писал(а):
В каждой точке можно выбрать ортогональный относительно $H$ базис, в котором $Q$ имеет диагональный вид.

none в сообщении #156884 писал(а):
Верно ли, что в некоторой окресности каждой точки можно задать поля $e_1, ... ,e_n$ которые в каждой точке образуют базис с подобными свойствами?
Разве второе утверждение не является немедленным следствием первого?

 
 
 
 
Сообщение09.11.2008, 11:17 
не является. По идее требуется, чтобы эти поля менялись непрерывно.

Если в данной точке спектр $Q$ (обобщённый, т.е. относительно $H$) невырожден, то наверняка можно. В точках вырождения -- хрен его знает, вовсе не уверен.

 
 
 
 
Сообщение09.11.2008, 11:21 
Аватара пользователя
ewert в сообщении #156907 писал(а):
По идее требуется, чтобы эти поля менялись непрерывно.
Так это только Ваши домыслы.... Я же отвечал точно на заданный вопрос.

 
 
 
 
Сообщение09.11.2008, 13:38 
Brukvalub писал(а):
ewert в сообщении #156907 писал(а):
По идее требуется, чтобы эти поля менялись непрерывно.
Так это только Ваши домыслы.... Я же отвечал точно на заданный вопрос.


Ну естественно предполагалась некоторая гладкость. Например $C^1$

 
 
 
 
Сообщение09.11.2008, 14:29 
Если поля предполагаются гладкими, то уже для одна форма совсем необязательно будет диагонализируема гладким преобразованием. Пусть форма - метрика на области. Для $n=2$ локально это возможно - конформные координаты, а при $n\ge3$ уже нет. Можно добиться того, чтобы в точке матрица была единичная, а ее первые производные равны нулю. Это называется нормальные координаты. На большее, чтобы, скажем, вторые производные в точке обращались в нуль, параметров уже не хватает.

 
 
 [ Сообщений: 6 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group