2014 dxdy logo

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

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




На страницу Пред.  1, 2
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 21:11 
Аватара пользователя
Munin, вот бы Вы про цепи и коцепи рассказали, у Вас всегда такие хорошие объяснения получаются.

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 22:11 
Аватара пользователя
Думаю. Здесь либо трудоёмко, либо, возможно, не получится.

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 22:17 
Аватара пользователя
попробуйте :-)

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 22:35 
Аватара пользователя
Sicker, у Вас получилось доказать, что если любой интеграл от формы равен нулю, то и форма равна нулю?

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 22:39 
Аватара пользователя
ну это очевидно :-)

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 22:47 
А ещё вам очевидно, что такое самосознание

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 22:56 
Аватара пользователя
ага :-)

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 23:02 
Так что это даёт повод считать, что это не обязательно очевидно в среднем. :-)

 
 
 
 Re: Внешний дифференциал
Сообщение05.05.2014, 00:18 
Аватара пользователя
Ладно, я тогда расскажу, как я сам себя в этом убеждаю.

Выберем точку $A$ в $M$, и в её касательном пространстве выберем $p$ линейно независимых векторов $\mathbf e_i,\;i=1..p$. Найдется $p$-мерное подмногообразие $D$, проходящее через $A$, к которому эти векторы будут касательными. В некоторой окрестности $A$$D$) можно построить такую систему координат $u^i,\;i=1..p$, что векторы $\frac{\partial}{\partial u^i}$ координатного базиса в $A$ совпадут с $\mathbf e_i$. И пусть ещё все координаты $u^i$ равны нулю в точке $A$.

Возьмем «координатный параллелепипед» $P(\varepsilon)$ — множество точек той окрестности с координатами $0\leqslant u^i \leqslant \varepsilon$ (где $\varepsilon$ достаточно мало, чтобы точки с такими координатами нашлись). Тогда
$\int\limits_{P(\varepsilon)}\alpha=\alpha(\varepsilon\mathbf e_1, ..., \varepsilon\mathbf e_p)+o(\varepsilon^p)$
Левая часть равна нулю. Переходя к пределу при $\varepsilon\to 0$, получим
$\alpha(\mathbf e_1, ..., \mathbf e_p)=0$

 
 
 
 Re: Внешний дифференциал
Сообщение05.05.2014, 00:37 
Аватара пользователя
Sicker
Между прочим, я вам вопрос задал, а ответа так и не дождался.

 
 
 
 Re: Внешний дифференциал
Сообщение05.05.2014, 00:38 
Аватара пользователя
да, знаю что такое тензоры :-)
я по ним рк писал, в том семе :-)

 
 
 
 Re: Внешний дифференциал
Сообщение05.05.2014, 01:44 
Аватара пользователя
Чё такое рк?

-- 05.05.2014 03:10:14 --

Тогда, внешняя производная (Update: ранее было ошибочно написано "внешнее произведение") - это когда к тензору $T_{ij\ldots p}$ (нужным образом антисимметричному) приписывают ещё дифференцирование, и всё это опять антисимметризуют: $\partial_{[q}T_{ij\ldots p]}.$

Число компонент у такого тензора по мере ранга сначала растёт (когда ранг отдаляется от 0 к $n/2$), а потом уменьшается (когда ранг приближается от $n/2$ к $n$). Между двумя такими тензорами симметричных рангов $k$ и $n-k$ есть дуальность - дуальность Ходжа, или звёздочка Ходжа. Число независимых компонент у них одинаково, только расставлены они по-разному, и превратить один в другой можно символом Леви-Чивиты: $T'^{qr\ldots n}=\tfrac{1}{n!\text{ какой-то}}\varepsilon^{ij\ldots pqr\ldots n}T_{ij\ldots p}$ (нормировочного множителя я не помню и вспоминать не хочу; индексы, разумеется, потом снова спускаются вниз с небес на землю).

Поэтому, внешняя производная сначала делает из малокомпонентной штуки многокомпонентную, а потом постепенно - опять малокомпонентную.

В простейших случаях 1, 2 и 3 измерений операция внешней производной всем хорошо знакома:
$$f(x)\quad\xrightarrow{d}\quad\tfrac{d}{dx}f(x)$$ $$f(x,y)\quad\xrightarrow[\mathrm{grad}]{d}\quad(u,w)=(\tfrac{\partial}{\partial x}f,\tfrac{\partial}{\partial y}f)\quad\xrightarrow[\text{``}\mathrm{rot}\text{''}]{d}\quad\tfrac{\partial}{\partial x}w-\tfrac{\partial}{\partial y}u$$ $$f(x,y,z)\quad\xrightarrow[\mathrm{grad}]{d}\quad\vec{v}=\operatorname{grad}f\quad\xrightarrow[\mathrm{rot}]{d}\quad\vec{u}=\operatorname{rot}\vec{v}\quad\xrightarrow[\mathrm{div}]{d}\quad\rho=\operatorname{div}\vec{u}$$

-- 05.05.2014 03:16:50 --

При этом, видно, что применённая два раза, операция внешнего дифференцирования даёт тождественный ноль (это пишут как $dd=d^2=0$), но если форма была получена не внешней производной от другой формы, то тогда внешняя производная от неё имеет смысл, и может быть ненулевая.

Выражение $\tfrac{\partial}{\partial x}w-\tfrac{\partial}{\partial y}u$ встречается в теореме Грина - аналог теоремы Стокса на плоскости. Если поменять местами компоненты вектора $(u',w')=(w,-u)$ (это означает поворот на 90°), то выражение станет $\tfrac{\partial}{\partial x}u'+\tfrac{\partial}{\partial y}w'=\operatorname{div}(u',w'),$ а теорема Грина - теоремой Гаусса.

 
 
 
 Re: Внешний дифференциал
Сообщение05.05.2014, 02:38 
Аватара пользователя
Некоторый важный момент. Вообще говоря, производная тензора не является тензором. Нужно брать ковариантные производные, и результат зависит от метрики или связности. Но именно с внешней производной антисимметричного тензора такого не происходит; вся "нековариантность" сокращается.

 
 
 [ Сообщений: 28 ]  На страницу Пред.  1, 2


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