Hefer's theorem explained

In several complex variables, Hefer's theorem is a result that represents the difference at two points of a holomorphic function as the sum of the products of the coordinate differences of these two points with other holomorphic functions defined in the Cartesian product of the function's domain.

The theorem bears the name of Hans Hefer. The result was published by Karl Stein and Heinrich Behnke under the name Hans Hefer.^[1] In a footnote in the same article, it is written that Hans Hefer died on the eastern front and that the work was an excerpt from Hefer's dissertation which he defended in 1940.

Statement of the theorem

Let

\Omega\subset \Complex ^{n} be a domain of holomorphy and f:\Omega\mapsto \Complex be a holomorphic function. Then, there exist holomorphic functions g _{1,} … , g _{n} defined on \Omega x \Omega so thatf(z) - f(w) = \sum ^{n} _{j =1} (z _{j-w} _{j)g} _{j(w,z)} holds for every z, w\in \Omega .

The decomposition in the theorem is feasible also on many non-pseudoconvex domains.

Hefer's lemma

The proof of the theorem follows from Hefer's lemma.^{[2] [3]}

Let

\Omega\subset \Complex ^{n} be a domain of holomorphy and f:\Omega\mapsto \Complex be a holomorphic function. Suppose that f is identically zero on the intersection of \Omega with the (N - k) -dimensional complex coordinate space; i.e. f( 0 , … , 0 , z _{k+1} , z _{k,} … , z _{n)\equiv} 0 .Then, there exist holomorphic functions g _{1,} … , g _{n} defined on \Omega so thatf(z) = \sum ^{n} _{j =1} z _{jg} _{j(z)} holds for every z\in \Omega .

Notes and References

1. Zur Funktionentheorie mehrerer Veränderlichen. Über eine Zerlegung analytischer Funktionen und die Weilsche Integraldarstellung. Hans Hefer. Mathematische Annalen. 276–278. 122. 1950–51. 3. 10.1007/BF01342970. 22 October 2024.
2. Web site: Boas . Harold . Math 685 Notes Topics in Several Complex Variables . 22 October 2024.
3. Web site: Several Complex Variables . Wiegerinck . Jan . 23 August 2017 . 22 October 2024.