Троттер, Хейл

Хейл Троттер родился 30 мая 1931 года в Кингстоне (Онтарио, Канада)^[2]. Его отец — историк Реджинальд Джордж Троттер, возглавлявший исторический факультет Университета Куинс в Кингстоне, мать — Пруденс Хейл^[3]. Хейл Троттер изучал в Университете Куинс математику, получив степени бакалавра искусств (B.A.) в 1952 году и магистра искусств (M.A.) в 1953 году^[2].

После окончания Университета Куинс Троттер продолжил своё обучение в аспирантуре Принстонского университета, где его научным руководителем был Уильям Феллер^[2]. В 1956 году Троттер защитил диссертацию на тему «Сходимость полугрупп операторов» (англ. Convergence of semi-groups of operators)^[4] и получил степень доктора философии (Ph.D.)^[2].

В 1956—1958 годах Троттер работал в Принстонском университете инструктором по математике. Затем он переехал в Канаду, где в 1958—1960 годах работал в Университете Куинс. После этого он вернулся в Принстонский университет, где работал на должности профессора математики вплоть до своего выхода на пенсию в 2000 году^[2].

Хейл Троттер скончался 17 января 2022 года в своём доме в Принстоне^[2].

Основные научные результаты Хейла Троттера связаны с развитием теории групп, теории узлов и теории чисел^[2].

Троттер является одним из авторов формулы Ли — Троттера — Като для произведений операторов, которую часто называют просто формулой Троттера для произведений (англ. Trotter product formula). Этот результат, имеющий большое значение для различных задач математической физики и функционального анализа^[1], был описан в работе 1959 года «О произведении полугрупп операторов» (англ. On the product of semi-groups of operators)^[5].

Троттер привёл первый пример необратимого узла, а также описал бесконечное семейство необратимых кружевных узлов. Эти результаты были опубликованы им в статье 1963 года, озаглавленной «Необратимые узлы существуют» (англ. Non-invertible knots exist)^[1][6].

Троттер также является одним из авторов комбинаторного алгоритма Штейнгауза — Джонсона — Троттера, используемого для построения полного набора перестановок определённого количества элементов^[1].