Alfred Tauber

From testwiki
Jump to navigation Jump to search

Template:Short description Template:Distinguish Template:Infobox scientist

Alfred Tauber (5 November 1866 – 26 July 1942)[1] was a mathematician, known for his contribution to mathematical analysis and to the theory of functions of a complex variable: he is the eponym of an important class of theorems with applications ranging from mathematical and harmonic analysis to number theory.[2] He was born in Austria-Hungary, lived in Vienna, Austria after the dissolution of the empire, and was deported and murdered for being Jewish when the Theresienstadt concentration camp was emptied of Jews in 1942.[3]

Life and academic career

Born in Pressburg, Kingdom of Hungary, Austrian Empire (now Bratislava, Slovakia), he began studying mathematics at Vienna University in 1884, obtained his Ph.D. in 1889,[4][5] and his habilitation in 1891. Starting from 1892, he worked as chief mathematician at the Phönix insurance company until 1908, when he became an a.o. professor at the University of Vienna, though, already from 1901, he had been honorary professor at TU Vienna and director of its insurance mathematics chair.[6] In 1933, he was awarded the Grand Decoration of Honour in Silver for Services to the Republic of Austria,[6] and retired as emeritus extraordinary professor. However, he continued lecturing as a privatdozent until 1938,[4][7] when he was forced to resign as a consequence of the "Anschluss".[8] On 28–29 June 1942, he was deported with transport IV/2, č. 621 to Theresienstadt,[4][6][9] where he was murdered on 26 July 1942.[10]

Work

Template:Harvtxt list 35 publications in the bibliography appended to his obituary, and also a search performed on the "Jahrbuch über die Fortschritte der Mathematik" database results in a list 35 mathematical works authored by him, spanning a period of time from 1891 to 1940.[11] However, Template:Harvtxt cites two papers on actuarial mathematics which do not appear in these two bibliographical lists and [[#Template:Harvid|Binder's bibliography of Tauber's works (1984]], pp. 163–166), while listing 71 entries including the ones in the bibliography of Template:Harvtxt and the two cited by Hlawka, does not includes the short note Template:Harv so the exact number of his works is not known. According to Template:Harvtxt, his scientific research can be divided into three areas: the first one comprises his work on the theory of functions of a complex variable and on potential theory, the second one includes works on linear differential equations and on the Gamma function, while the last one includes his contributions to actuarial science.[4] Template:Harvtxt give a more detailed list of research topics Tauber worked on, though it is restricted to mathematical analysis and geometric topics: some of them are infinite series, Fourier series, spherical harmonics, the theory of quaternions, analytic and descriptive geometry.[12] Tauber's most important scientific contributions belong to the first of his research areas,[13] even if his work on potential theory has been overshadowed by the one of Aleksandr Lyapunov.[4]

Tauberian theorems

His most important article is Template:Harv.[4] In this paper, he succeeded in proving a converse to Abel's theorem for the first time:[14] this result was the starting point of numerous investigations,[4] leading to the proof and to applications of several theorems of such kind for various summability methods. The statement of these theorems has a standard structure: if a series Template:Math is summable according to a given summability method and satisfies an additional condition, called "Tauberian condition",[15] then it is a convergent series.[16] Starting from 1913 onward, G. H. Hardy and J. E. Littlewood used the term Tauberian to identify this class of theorems.[17] Describing with a little more detail [[#Template:Harvid|Tauber's 1897 work]], it can be said that his main achievements are the following two theorems:[18][19]

Template:EquationRef.[20] If the series Template:Math is Abel summable to sum Template:Mvar, i.e. Template:Math, and if Template:Math, then Template:Math converges to Template:Mvar.

This theorem is, according to Template:Harvtxt,[21] the forerunner of all Tauberian theory: the condition Template:Math is the first Tauberian condition, which later had many profound generalizations.[22] In the remaining part of his paper, by using the theorem above,[23] Tauber proved the following, more general result:[24]

Template:EquationRef.[25] The series Template:Math converges to sum Template:Mvar if and only if the two following conditions are satisfied:
  1. Template:Math is Abel summable and
  2. Template:Math.

This result is not a trivial consequence of Template:EquationNote.[26] The greater generality of this result with respect to the former one is due to the fact it proves the exact equivalence between ordinary convergence on one side and Abel summability (condition 1) jointly with Tauberian condition (condition 2) on the other. Template:Harvtxt claims that this latter result must have appeared to Tauber much more complete and satisfying respect to the Template:EquationNote as it states a necessary and sufficient condition for the convergence of a series while the former one was simply a stepping stone to it: the only reason why Tauber's second theorem is not mentioned very often seems to be that it has no profound generalization as the first one has,[27] though it has its rightful place in all detailed developments of summability of series.[25][27]

Contributions to the theory of Hilbert transform

Template:Harvs writes that Tauber contributed at an early stage to theory of the now called "Hilbert transform", anticipating with his contribution the works of Hilbert and Hardy in such a way that the transform should perhaps bear their three names.[28] Precisely, Template:Harvtxt considers the real part Template:Math and imaginary part Template:Math of a power series Template:Math,[29][30]

f(z)=k=1+ckzk=φ(θ)+iψ(θ)

where

Under the hypothesis that Template:Math is less than the convergence radius Template:Math of the power series Template:Math, Tauber proves that Template:Math and Template:Math satisfy the two following equations:

Template:EquationRefφ(θ)=12π0π{ψ(θ+ϕ)ψ(θϕ)}cot(ϕ2)dϕ
Template:EquationRefψ(θ)=12π0π{φ(θ+ϕ)φ(θϕ)}cot(ϕ2)dϕ

Assuming then Template:Math, he is also able to prove that the above equations still hold if Template:Math and Template:Math are only absolutely integrable:[32] this result is equivalent to defining the Hilbert transform on the circle since, after some calculations exploiting the periodicity of the functions involved, it can be proved that Template:EquationNote and Template:EquationNote are equivalent to the following pair of Hilbert transforms:[33]

φ(θ)=12πππψ(ϕ)cot(θϕ2)dϕψ(θ)=12πππφ(ϕ)cot(θϕ2)dϕ

Finally, it is perhaps worth pointing out an application of the results of Template:Harv, given (without proof) by Tauber himself in the short research announce Template:Harv:

the complex valued continuous function Template:Math defined on a given circle is the boundary value of a holomorphic function defined in its open disk if and only if the two following conditions are satisfied
  1. the function Template:Math is uniformly integrable in every neighborhood of the point Template:Math, and
  2. the function Template:Math satisfies Template:EquationNote.

Selected publications

See also

Notes

Template:Reflist

References

Template:Refbegin

Biographical and general references

Scientific references

Template:Refend

Template:Authority control

  1. Cite error: Invalid <ref> tag; no text was provided for refs named death
  2. The 2010 Mathematics Subject Classification has two entries on Tauberian theorems: the entry 11M45, belonging to the "Number theory" area, and the entry 40E05, belonging to the "Sequences, series, summability" area.
  3. Alfred Tauber at geometry.net, accessed 18 Dec 2024.
  4. 4.0 4.1 4.2 4.3 4.4 4.5 4.6 Template:Harv.
  5. According to Template:Harvtxt, he wrote his doctoral dissertation in 1888.
  6. 6.0 6.1 6.2 Template:Harv.
  7. Template:Harvtxt states that he was forced to keep holding his course on actuarial mathematics by his low pension.
  8. Template:Harv.
  9. Template:Harv.
  10. Cite error: Invalid <ref> tag; no text was provided for refs named death.date
  11. See the results of Jahrbuch query: "au = (TAUBER, A*)".
  12. In the exact authors' words, "Unendliche Reihen, Fouriersche Reihen, Kugelfunktionen, Quaternionen,..., Analitische und Darstellende Geometrie" Template:Harv.
  13. According to [[#Template:Harvid|Hlawka's classification (2007]]).
  14. See for example Template:Harv, Template:Harv, Template:Harv, Template:Harv and Template:Harv.
  15. See for example Template:Harv and Template:Harv.
  16. See Template:Harv, Template:Harv and Template:Harv.
  17. See Template:Harv and Template:Harv: Korevaar precises that the locution "Tauberian theorems" was first used in the short note Template:Harv.
  18. See Template:Harv, Template:Harv and Template:Harv.
  19. The [[Big O notation#Little-o notation|Landau little–Template:Mvar notation]] is used in the following description.
  20. See for example Template:Harv, Template:Harv and Template:Harv.
  21. See also Template:Harv and Template:Harv: Template:Harvtxt incorrectly attributes this role to Template:EquationNote. See also the analysis by Template:Harvtxt.
  22. See Template:Harv, Template:Harvtxt and Template:Harv.
  23. See Template:Harv, Template:Harv and the remark by Template:Harvtxt: Template:Harvtxt proves this theorem by proving a more general one involving Riemann–Stieltjes integrals.
  24. Template:Harv, Template:Harv.
  25. 25.0 25.1 See for example Template:Harv, Template:Harv and Template:Harv.
  26. According to Template:Harvtxt: see also the proofs of the two theorems given by Template:Harvtxt.
  27. 27.0 27.1 Again according to Template:Harvtxt.
  28. In [[#Template:Harvid|King's words (2009]], p.3), "In hindsight, perhaps the transform should bear the names of the three aforementioned authors".
  29. The analysis presented closely follows Template:Harv, which in turn follows Template:Harv.
  30. See also the short research announce Template:Harv.
  31. As Template:Harvtxt notes, this non-standard definition of the real and imaginary part of the Template:Mathth complex coefficient of a power series is purposefully introduced in order to hidden ("suppress") the functional dependence of Template:Math and Template:Math on Template:Math.
  32. This means that Template:MathTemplate:MathTemplate:Math.
  33. Template:Harv.