Тотожність Бохнера — загальна назва сімейства тотожностей у рімановій геометрії, що пов'язують лапласіани різних типів і кривину. Тотожності, одержувані інтегруванням тотожності Бохнера, іноді називають тотожностями Рейлі.
Формулювання
Нехай — над рімановим многовидом , — відповідний оператор Дірака, і тоді
для будь-якого перерізу .
Позначення
Далі позначає ортонормований репер у точці.
- позначає зв'язність на , і
- так званий лапласіан за зв'язністю.
- — переріз , що визначається як
- де «» позначає множення Кліфорда, і
- — перетворення кривини.
- — оператор Дірака на , тобто
- і лапласіан Ходжа на диференціальних формах
Наслідки
- З тотожності Бохнера для градієнта функції отримуємо таку інтегральну формулу для будь-якого замкнутого многовиду
- ,
- де позначає гесіан .
- Якщо — гармонічна функція, то
- ,
- де позначає градієнт . Зокрема:
- Компактні многовиди з додатною кривиною Річчі не допускають ненульових гармонічних функцій.
- Якщо — гармонічна функція на многовиді з додатною кривиною Річчі, то функція субгармонічна.
- З формули Бохнера випливає, що на компактних многовидах з додатним оператором кривини відсутні гармонічні форми будь-якого степеня, тобто воно є раціонально гомологічною сферою.
- Іншим методом, а саме потоком Річчі, вдалося довести що будь-який з таких многовидів дифеоморфний фактору сфери за скінченною групою.
Примітки
- B. Wilking, C. Böhm. Manifolds with positive curvature operators are space forms // Ann. of Math. (2). — 2008. — Vol. 167, no. 3 (18 July). — P. 1079–1097.
Література
- H. Blaine Lawson, Marie-Louise Michelsohn. Spin geometry. — 1989.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Totozhnist Bohnera zagalna nazva simejstva totozhnostej u rimanovij geometriyi sho pov yazuyut laplasiani riznih tipiv i krivinu Totozhnosti oderzhuvani integruvannyam totozhnosti Bohnera inodi nazivayut totozhnostyami Rejli FormulyuvannyaNehaj S displaystyle S nad rimanovim mnogovidom M displaystyle M D displaystyle D vidpovidnij operator Diraka i todi D 2 ϕ ϕ R ϕ displaystyle D 2 phi nabla nabla phi mathfrak R phi dlya bud yakogo pererizu ϕ M S displaystyle phi colon M to S Poznachennya Dali e i displaystyle e i poznachaye ortonormovanij reper u tochci displaystyle nabla poznachaye zv yaznist na S displaystyle S i ϕ i e i e i ϕ displaystyle nabla nabla phi sum i nabla e i nabla e i phi tak zvanij laplasian za zv yaznistyu R displaystyle mathfrak R pereriz H o m S S displaystyle mathrm Hom S S sho viznachayetsya yak R ϕ 1 2 i j e i e j R e i e k ϕ displaystyle mathfrak R phi tfrac 1 2 cdot sum i j e i e j R e i e k phi de displaystyle poznachaye mnozhennya Kliforda iR X Y X Y Y X X Y displaystyle R X Y nabla X nabla Y nabla Y nabla X nabla X Y dd peretvorennya krivini D displaystyle D operator Diraka na S displaystyle S tobto D ϕ i e i e i ϕ displaystyle D phi sum i e i nabla e i phi i D 2 ϕ D ϕ displaystyle D 2 phi Delta phi laplasian Hodzha na diferencialnih formahNaslidkiZ totozhnosti Bohnera dlya gradiyenta funkciyi u displaystyle u otrimuyemo taku integralnu formulu dlya bud yakogo zamknutogo mnogovidu M D u 2 M H e s s u 2 M Ric u u displaystyle int limits M Delta u 2 int limits M mathrm Hess u 2 int limits M mbox Ric nabla u nabla u de H e s s u displaystyle mathrm Hess u poznachaye gesian u displaystyle u Yaksho u M R displaystyle u colon M rightarrow mathbb R garmonichna funkciya to D 1 2 u 2 2 u 2 Ric u u displaystyle Delta tfrac 1 2 cdot nabla u 2 nabla 2 u 2 mbox Ric nabla u nabla u de u displaystyle nabla u poznachaye gradiyent u displaystyle u Zokrema Kompaktni mnogovidi z dodatnoyu krivinoyu Richchi ne dopuskayut nenulovih garmonichnih funkcij Yaksho u displaystyle u garmonichna funkciya na mnogovidi z dodatnoyu krivinoyu Richchi to funkciya u displaystyle nabla u subgarmonichna Z formuli Bohnera viplivaye sho na kompaktnih mnogovidah z dodatnim operatorom krivini vidsutni garmonichni formi bud yakogo stepenya tobto vono ye racionalno gomologichnoyu sferoyu Inshim metodom a same potokom Richchi vdalosya dovesti sho bud yakij z takih mnogovidiv difeomorfnij faktoru sferi za skinchennoyu grupoyu PrimitkiB Wilking C Bohm Manifolds with positive curvature operators are space forms Ann of Math 2 2008 Vol 167 no 3 18 July P 1079 1097 LiteraturaH Blaine Lawson Marie Louise Michelsohn Spin geometry 1989