Quadrature domains

In the branch of mathematics called potential theory, a quadrature domain in two dimensional real Euclidean space is a domain D (an open connected set) together with a finite subset {z₁, …, z_k} of D such that, for every function u harmonic and integrable over D with respect to area measure, the integral of u with respect to this measure is given by a "quadrature formula"; that is,

${\displaystyle \iint _{D}u\,dxdy=\sum _{j=1}^{k}c_{j}u(z_{j}),}$

where the c_j are nonzero complex constants independent of u.

The most obvious example is when D is a circular disk: here k = 1, z₁ is the center of the circle, and c₁ equals the area of D. That quadrature formula expresses the mean value property of harmonic functions with respect to disks.

It is known that quadrature domains exist for all values of k. There is an analogous definition of quadrature domains in Euclidean space of dimension d larger than 2. There is also an alternative, electrostatic interpretation of quadrature domains: a domain D is a quadrature domain if a uniform distribution of electric charge on D creates the same electrostatic field outside D as does a k-tuple of point charges at the points z₁, …, z_k.

Quadrature domains and numerous generalizations thereof (e.g., replace area measure by length measure on the boundary of D) have in recent years been encountered in various connections such as inverse problems of Newtonian gravitation, Hele-Shaw flows of viscous fluids, and purely mathematical isoperimetric problems, and interest in them seems to be steadily growing. They were the subject of an international conference at the University of California at Santa Barbara in 2003 and the state of the art as of that date can be seen in the proceedings of that conference, published by Birkhäuser Verlag.

References

• Ebenfelt, Peter (2005). Quadrature Domains and Their Applications: The Harold S. Shapiro Anniversary Volume. Birkhäuser. ISBN 3-7643-7145-5. Retrieved 2007-04-11.
• Aharonov, D.; Shapiro, H.S. (1976). "Domains on which analytic functions satisfy quadrature identities". J. Anal. Math. 30: 39–73. doi:10.1007/BF02786704.