Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Rodion Déev ([info]deevrod)
@ 2017-10-29 10:39:00

Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение:awake
Музыка:Ди Курцман -- Череповец

Гессиан
Когда говорят по гессиан, то часто упоминают, что он зависит от выбора координат, а потому каноническим не является -- в отличие-де от комплексного гессиана dd^c, который в силу неких мистических причин определён инвариантно. А может, и не говорят, но я запомнил именно так. На самом деле это неправда.

Для гессиана никаких координат не нужно -- если есть связность \nabla в кокасательном расслоении, то гессиан f -- это просто форма \nabla(df). Это 1-форма с коэффициентами в 1-формах, то есть 2-форма. В силу правила Лейбница (\nabla_u(df))v + \nabla_u(df(v)) = df(\nabla_uv) имеем такое тождество: (\Hess f)(u, v) - (\Hess f)(v, u) = df(\nabla_u(v) - \nabla_v(u)) - \Lie_u\Lie_v(f) + \Lie_v\Lie_u(f) = df(\nabla_u(v) - \nabla_v(u) - [u,v]) = \Lie_{\Tors(u,v)}(f). В частности, если связность без кручения, то гессиан является симметрической 2-формой.

Положительная определённость гессиана \Hess f означает, что для любого ненулевого векторного поля u величина (\Hess f)(u, u) = \Lie_u\Lie_u(f) - \Lie_{\nabla_u(u)} положительна. Значение гессиана в данной точке определяется касательным вектором, а любой вектор в окрестности можно продолжить до киллингова поля. Поэтому из этой формулы следует, что гессиан функции положительно определён тогда и только тогда, когда она выпукла в ограничении на любую геодезическую.

Можно было бы помыслить такие связности и функции, у которых гессиан является кососимметрической 2-формой. Но на самом деле это не очень интересно -- эта функция должна быть аффинной в ограничении на каждую геодезическую, а сама 2-форма получалась бы подстановкой кручения в дифференциал этой формы. Однако, может быть, локально конформно симплектические многообразия, универсальные накрытия которых имеют такой вид, могут быть небезынтересны.

А существование инвариантного комплексного гессиана наверняка происходит из существования (0,1)-связности \bar{\partial}. Не буквально, конечно (иначе бы dd^c была симметрической формой), но думать, как именно, мне лень.



(Читать комментарии)

Добавить комментарий:

Как:
Identity URL: 
имя пользователя:    
Вы должны предварительно войти в LiveJournal.com
 
E-mail для ответов: 
Вы сможете оставлять комментарии, даже если не введете e-mail.
Но вы не сможете получать уведомления об ответах на ваши комментарии!
Внимание: на указанный адрес будет выслано подтверждение.
Имя пользователя:
Пароль:
Тема:
HTML нельзя использовать в теме сообщения
Сообщение:



Обратите внимание! Этот пользователь включил опцию сохранения IP-адресов тех, кто пишет анонимно.