 At about the same time, he established the "Carleman formulae" in complex analysis, which reconstruct an analytic function in a domain from its values on a subset of the boundary.He also proved a generalisation of Jensen's formula, now called the Jensen–Carleman formula.In the 1930s, independently of John von Neumann, he discovered the mean ergodic theorem.