# Integrals Over Complex Domains

In Complex Analysis texts, one often sees integrals of functions $$f : A \subset \mathbb{C} \to \mathbb{C}$$ along contours $$\gamma : [0,1] \to \mathbb{C}$$.

But I've never seen discussion of integrals of functions $$f : A \subset \mathbb{C} \to \mathbb{C}$$ over domains $$D \subset A$$ in any of these texts.

It seems like it should be possible to define such integrals, so why aren't they discussed in most complex analysis textbooks? Are there any major results about them like, for example, Cauchy's integral formula for contour integrals? Are there any textbooks that do delve into these kinds of integrals?

# Examples

By a contour integral, I mean something like the following: consider the contour $$\gamma : [0,1] \to \mathbb{C}$$ given by $$\gamma(t) = e^{2\pi i t}$$ and the function $$f : \mathbb{C} - \{0\} \to \mathbb{C}$$ given by $$f(z) = \frac{1}{z}$$. The integral of $$f$$ around the contour $$\gamma$$ is $$\int_\gamma f = \int_0^1 f(\gamma(t))\gamma'(t) dt = \int_0^1 \frac{1}{e^{2\pi i t}} \frac{2\pi i e^{2\pi i t}}{1} dt = \int_0^1 2\pi i dt = 2\pi i$$ By an integral over a domain, I mean something like the following: consider the function $$g : \mathbb{C} \to \mathbb{C}$$ given by $$g(z) = z^2$$ and the domain $$D = \{z \in \mathbb{C} : |z| \leq 1\}$$. The integral of $$g$$ over the domain $$D$$ is $$\int_D g d\mu \stackrel{?}{=}$$ where, presumably, $$d\mu$$ is something like the Haar measure on $$\mathbb{C}$$ with $$\mu([0,1]\times[0,1]) = 1$$.

• I don't see the difference between the first and the second category. Maybe an example would help ? – Jean Marie Aug 22 at 13:49
• I'll add one to the question. – Charles Hudgins Aug 22 at 14:23

• Explained why - they appear in specialized topics that are usually not treated in standard texts that do the basics (Rudin,Ahlfors, Conway etc) , but for example if you want to study univalent functions (also called geometric function theory) or if you want to study inner functions for example you will encounter them in important roles. Otherwise they are part of the real theory since there is nothing complex intrinsic to the area element as it contains both $dz, d\bar z$, so you cannot separate the holomorphic part like you can do in line integrals. – Conrad Aug 22 at 18:33