Таубер, Альфред
Альфред Таубер
- Место рождения
- Пресбург, Королевство Венгрия, Австрийская империя (ныне Братислава, Словакия)
- Место смерти
- Концентрационный лагерь Терезиенштадт, Чехословакия
- Научная сфера
- Математика
- Место работы
-
Венский технический университет
Венский университет
- Научный руководитель
-
- Густав фон Эшерих
- Эмиль Вейр
- Известен как
- Тауберовы теоремы
А́льфред Та́убер (англ. Alfred Tauber; [Нет даты!]) — австрийский математик. Известен вкладом в математический анализ и теорию функций комплексного переменного, а также как создатель важного класса теорем, применяемых в гармоническом анализе и теории чисел[2].
Биография[править]
Родился в Пресбурге (ныне Братислава, Словакия). В 1884 году начал изучать математику в Венском университете. В 1889 году получил степень доктора философии[3][4], а в 1891 году прошёл хабилитацию.
С 1892 по 1908 год работал главным математиком в страховой компании Phönix. В 1908 году стал экстраординарным профессором Венского университета. С 1901 года также являлся почётным профессором Венского технического университета и директором кафедры страховой математики[5]. В 1933 году награждён Большим серебряным почётным знаком «За заслуги перед Австрийской Республикой»[5] и вышел на пенсию в статусе эмерита. Продолжал читать лекции в качестве приват-доцента до 1938 года[3][6]. После Аншлюса был вынужден уйти в отставку[7].
Таубер жил в Вене, а после распада империи — в Австрии. 28–29 июня 1942 года из-за еврейского происхождения был депортирован транспортом IV/2, č. 621 в концентрационный лагерь Терезиенштадт[3][5][8]. Убит 26 июля 1942 года[1][9].
Научная деятельность[править]
Pinl & Dick (1974, p. 202) приводят 35 публикаций в библиографии, приложенной к его некрологу. Поиск в базе данных Jahrbuch über die Fortschritte der Mathematik также выдаёт список из 35 математических работ, написанных им в период с 1891 по 1940 год[10]. Однако Hlawka (2007) цитирует две статьи по актуарной математике, которых нет в этих списках. Библиография работ Таубера, составленная Биндером (1984, с. 163–166), включает 71 запись, но не содержит краткой заметки (Tauber 1895). Точное количество его работ неизвестно.
Согласно Hlawka (2007), научные исследования Таубера делятся на три области: теория функций комплексного переменного и теория потенциала; линейные дифференциальные уравнения и гамма-функция; актуарная математика[3]. Pinl & Dick (1974, p. 202) дают более подробный список тем, включая бесконечные ряды, ряды Фурье, сферические функции, теорию кватернионов, аналитическую и начертательную геометрию[11]. Наиболее важные научные достижения Таубера относятся к первой из его исследовательских областей[12]. Его работы по теории потенциала остались в тени исследований Александра Ляпунова[3].
Тауберовы теоремы[править]
Его самая важная статья опубликована в 1897 году[3]. В этой работе он впервые доказал обратную теорему Абеля[13]. Этот результат стал отправной точкой для многочисленных исследований[3]. Они привели к доказательству и применению подобных теорем для различных методов суммирования. Формулировка этих теорем имеет стандартную структуру: если ряд ∑ an суммируем по заданному методу и удовлетворяет дополнительному «тауберову условию»[14], то он является сходящимся[15]. С 1913 года Г. Х. Харди и Дж. И. Литлвуд использовали термин «тауберовы» для обозначения этого класса теорем[16]. Основными достижениями работы 1897 года являются две теоремы[17][18]:
- Шаблон:EquationRef[19]. Если ряд ∑ an суммируем по Абелю к сумме s, то есть limx→ 1− an x n = s, и если кроме того an = ο(n−1), то ∑ ak сходится к s.
Эта теорема, согласно Korevaar (2004, p. 10)[20], является предшественницей всей тауберовой теории. Условие an = ο(n−1) — это первое тауберово условие, которое позже получило множество обобщений[21]. Используя эту теорему[22], Таубер доказал более общий результат[23]:
- Шаблон:EquationRef[24]. Ряд ∑ an сходится к сумме s тогда и только тогда, когда выполняются два условия:
- ∑ an суммируем по Абелю и
- k ak = ο(n).
Этот результат не является тривиальным следствием Шаблон:EquationNote[25]. Он доказывает точную эквивалентность между обычной сходимостью и суммируемостью по Абелю совместно с тауберовым условием. Chatterji (1984, pp. 169–170) утверждает, что этот результат формулирует необходимое и достаточное условие сходимости ряда. Вторая теорема упоминается реже, так как не имеет глубоких обобщений[26], хотя занимает важное место в теории суммируемости рядов[24][26].
Вклад в теорию преобразования Гильберта[править]
Фредерик В. Кинг (2009, с. 3) пишет, что Таубер внёс ранний вклад в теорию «преобразования Гильберта», предвосхитив работы Гильберта и Харди[27]. В работе Tauber (1891) рассматриваются действительная часть φ и мнимая часть ψ степенного ряда f[28][29]:
где
- z = re iθ , где r — абсолютное значение комплексной переменной,
- ck r k = ak + ibk для каждого натурального числа k[30],
- φ(θ) = akcos(kθ) − bksin(kθ) и ψ(θ) = aksin(kθ) + bkcos(kθ) — тригонометрические ряды и периодические функции.
При условии, что r меньше радиуса сходимости Rf, Таубер доказывает, что φ и ψ удовлетворяют уравнениям:
Предполагая r = Rf, он доказывает, что уравнения выполняются, если φ и ψ абсолютно интегрируемы[31]. Этот результат эквивалентен определению преобразования Гильберта на окружности. Уравнения Шаблон:EquationNote и Шаблон:EquationNote эквивалентны паре преобразований Гильберта[32]:
В заметке (Tauber 1895) Таубер привёл применение этих результатов:
- комплекснозначная непрерывная функция φ(θ) + iψ(θ), определённая на окружности, является граничным значением голоморфной функции, определённой в её открытом круге, тогда и только тогда, когда:
- функция [φ(θ − α) − φ(θ + α)]/α равномерно интегрируема в каждой окрестности точки α = 0, и
- функция ψ(θ) удовлетворяет уравнению.
Публикации[править]
- Tauber, Alfred (1891), "«Über den Zusammenhang des reellen und imaginären Theiles einer Potenzreihe»", Monatshefte für Mathematik und Physik Т. II: 79–118, doi:10.1007/bf01691828, <http://www.literature.at/webinterface/library/ALO-BOOK_V01?objid=12451&page=82&zoom=3&ocr=>.
- Tauber, Alfred (1895), "«Ueber die Werte einer analytischen Function längs einer Kreislinie»", Jahresbericht der Deutschen Mathematiker-Vereinigung Т. 4: 115, <http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN37721857X_0004&DMDID=DMDLOG_0041&LOGID=LOG_0041&PHYSID=PHYS_0122&L=1>. Проверено 16 июля 2014..
- Tauber, Alfred (1897), "«Ein Satz aus der Theorie der unendlichen Reihen»", Monatshefte für Mathematik und Physik Т. VIII: 273–277, doi:10.1007/BF01696278, <http://www.literature.at/viewer.alo?viewmode=overview&olfullscreen=true&objid=12409&page=280>.
- Tauber, Alfred (1898), "«Über einige Sätze der Potentialtheorie»", Monatshefte für Mathematik und Physik Т. IX: 79–118, doi:10.1007/BF01707858, <http://www.literature.at/alo?objid=12410>.
- Tauber, Alfred (1920), "«Über konvergente und asymptotische Darstellung des Integrallogarithmus»", Mathematische Zeitschrift Т. 8 (1–2): 52–62, doi:10.1007/bf01212858, <http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=GDZPPN002365529>.
- Tauber, Alfred (1922), "«Über die Umwandlung von Potenzreihen in Kettenbrüche»", Mathematische Zeitschrift Т. 15: 66–80, doi:10.1007/bf01494383, <http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=GDZPPN002366959>.
Примечания[править]
- ↑ 1,0 1,1 Дата смерти указана в (Sigmund 2004, С. 33) и в записи VIAF Таубера Архивировано из первоисточника 2018-09-18., строка 678: Sigmund (2004, pp. 31–33) также содержит описание событий последних лет жизни Таубера вплоть до дней его депортации.
- ↑ В классификации 2010 года Mathematics Subject Classification есть две записи о тауберовых теоремах: запись 11M45 в разделе «Теория чисел» и запись 40E05 в разделе «Последовательности, ряды, суммируемость».
- ↑ 3,0 3,1 3,2 3,3 3,4 3,5 3,6 (Hlawka 2007).
- ↑ Согласно Hlawka (2007), он написал докторскую диссертацию в 1888 году.
- ↑ 5,0 5,1 5,2 (Pinl & Dick 1974, С. 202–203).
- ↑ Sigmund (2004, p. 2) утверждает, что он был вынужден продолжать вести курс по актуарной математике из-за низкой пенсии.
- ↑ (Sigmund 2004, p. 21 and p. 28).
- ↑ (Fischer et al. 1990, p. 812, footnote 14).
- ↑ Alfred Tauber на geometry.net, дата обращения 18 декабря 2024.
- ↑ См. результаты запроса в Jahrbuch: "au = (TAUBER, A*)".
- ↑ В точных словах авторов: "Unendliche Reihen, Fouriersche Reihen, Kugelfunktionen, Quaternionen,..., Analitische und Darstellende Geometrie" (Pinl & Dick 1974, С. 202).
- ↑ Согласно классификации Главки (2007).
- ↑ См., например, (Hardy 1949, С. 149), (Hlawka 2007), (Korevaar 2004, p. VII, p. 2 and p. 10), (Lune 1986, p. 2, §1.1 "Tauber's first theorem") и (Sigmund 2004, С. 21).
- ↑ См., например, (Hardy 1949, С. 149) и (Korevaar 2004, С. 6).
- ↑ См. (Hardy 1949, С. 149), (Hlawka 2007) и (Lune 1986, p. 2 §1.1 "Tauber's first theorem").
- ↑ См. (Korevaar 2004, С. 2) и (Sigmund 2004, С. 21): Кореваар уточняет, что выражение «тауберовы теоремы» впервые было использовано в краткой заметке (Hardy & Littlewood 1913).
- ↑ См. (Hardy 1949, p. 149 and p. 150), (Korevaar 2004, p. 10 and p. 11) и (Lune 1986, p. 2, §1.1 "Tauber's first theorem" and p. 4, §1.1 "Tauber's second theorem").
- ↑ В следующем описании используется нотация Ландау малое–ο.
- ↑ См., например, (Hardy 1949, С. 149), (Korevaar 2004, С. 10) и (Lune 1986, p. 2, §1.1 "Tauber's first theorem").
- ↑ См. также (Lune 1986, p. 2, §1.1 "Tauber's first theorem") и (Hardy 1949, С. 149): Sigmund (2004, p. 21) неверно приписывает эту роль Шаблон:EquationNote. См. также анализ Chatterji (1984, pp. 169–170 and p. 172).
- ↑ См. (Hardy 1949, С. 149), Chatterji (1984, p. 169 and p. 172) и (Korevaar 2004, С. 6).
- ↑ См. (Chatterji 1984, p. 169 theorem B), (Lune 1986, p. 4, §1.2 "Tauber's second theorem") и замечание Korevaar (2004, p. 11): Hardy (1949, pp. 150–152) доказывает эту теорему, доказывая более общую, включающую интегралы Римана–Стилтьеса.
- ↑ (Chatterji 1984, p. 169 theorem A), (Korevaar 2004, С. 11).
- ↑ 24,0 24,1 См., например, (Hardy 1949, С. 150), (Korevaar 2004, С. 11) и (Lune 1986, p. 4, §1.2 "Tauber's second theorem").
- ↑ Согласно Chatterji (1984, p. 172): см. также доказательства двух теорем, данные Lune (1986, chapter 1, §§1.1–1.2, pp. 2–7).
- ↑ 26,0 26,1 Снова согласно Chatterji (1984, p. 172).
- ↑ По словам Кинга (2009, с. 3), «Оглядываясь назад, возможно, преобразование должно носить имена трёх упомянутых авторов».
- ↑ Представленный анализ близко следует (King 2009, С. 131), который в свою очередь следует (Tauber 1891, С. 79–80).
- ↑ См. также краткое научное сообщение (Tauber 1895).
- ↑ Как отмечает King (2009, p. 131), это нестандартное определение действительной и мнимой части k-го комплексного коэффициента степенного ряда намеренно введено, чтобы скрыть функциональную зависимость φ и ψ от r.
- ↑ Это означает, что φ, ψ ∈ L1.
- ↑ (King 2009, С. 131).
Ссылки[править]
- Джон Дж. О’Коннор и Эдмунд Ф. Робертсон. Таубер, Альфредангл. — биография в архиве MacTutor.
- Таубер, Альфредангл. в проекте «Математическая генеалогия»
Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Таубер, Альфред», расположенная по адресу:
Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?». |
- Персоналии по алфавиту
- Родившиеся 5 ноября
- Родившиеся в 1866 году
- Умершие 26 июля
- Умершие в 1942 году
- Учёные по алфавиту
- Математики Венгрии
- Математики Австро-Венгрии
- Родившиеся в Братиславе
- Выпускники Венского университета
- Преподаватели Венского технического университета
- Преподаватели Венского университета
- Математические аналитики