Стахлс теоремасы - Википедия - Stahls theorem

Жылы матрицалық талдау Шталь теоремасы - бұл арнайы матрицалық функциялар үшін Лаплас түрлендірулеріне қатысты Герберт Шталдың 2011 жылы дәлелдеген теоремасы.[1] Ол 1975 жылы Дэниел Бессис, Пьер Мусса және Марсель Вилланилердің Бессис-Мусса-Виллани (BMV) болжамдары ретінде пайда болды.[2] 2004 жылы Эллиотт Х.Либ және Роберт Сайрингер BMV болжамының екі маңызды реформациясын берді.[3] 2015 жылы Александр Еременко Шталь теоремасының оңайлатылған дәлелін келтірді.[4]

Теореманың тұжырымы

Келіңіздер белгілеу із а матрица. Егер A және B болып табылады n × n Эрмициан матрицалары және B болып табылады оң жартылай шексіз, анықтаңыз (т) = , барлығы үшін т Then 0. Содан кейін ретінде ұсынылуы мүмкін Лапластың өзгеруі теріс емес Борель өлшемі μ қосулы . Басқаша айтқанда, барлығы үшін т ≥ 0,

(т) = , кейбір теріс емес өлшемдер үшін μ байланысты A және B.[5]

Әдебиеттер тізімі

  1. ^ Сталь, Герберт Р. (2013). «BMV болжамының дәлелі». Acta Mathematica. 211 (2): 255–290. arXiv:1107.4875. дои:10.1007 / s11511-013-0104-z.
  2. ^ Бессис, Д .; Мусса, П .; Виллани, М. (1975). «Кванттық статистикалық механикадағы функционалдық интегралдарға монотонды конвергенциялы вариациялық жуықтаулар». Математикалық физика журналы. 16 (11): 2318–2325. Бибкод:1975JMP .... 16.2318B. дои:10.1063/1.522463.
  3. ^ Либ, Эллиотт; Сайрингер, Роберт (2004). «Бессис-Мусса-Виллани болжамының баламалы түрлері». Статистикалық физика журналы. 115 (1–2): 185–190. arXiv:math-ph / 0210027. Бибкод:2004JSP ... 115..185L. дои:10.1023 / B: JOSS.0000019811.15510.27.
  4. ^ Еременко, А. (2015). «Герберт Шталдың BMV болжамының дәлелі». Сборник: Математика. 206 (1): 87–92. arXiv:1312.6003. Бибкод:2015SbMat.206 ... 87E. дои:10.1070 / SM2015v206n01ABEH004447.
  5. ^ Кливаз, Фабиен (2016). Шталь теоремасы (BMV-тің болжамымен): оның дәлелі бойынша түсініктер мен интуиция. Операторлар теориясы: жетістіктер және қолданбалар. 254. 107–117 беттер. arXiv:1702.06403. дои:10.1007/978-3-319-29992-1_6. ISBN  978-3-319-29990-7. ISSN  0255-0156.