December 22, 2016

Generally speaking, Green's theorem states the connection between the line integral of two vector fields on an edge of a domain and the double integral of a linear combination of the vector fields' partial derivatives over the interior of the domain. The discrete Green's theorem resembles Green's theorem in the sense that it also states the connection between (discrete) summation of values of a function over a domain's edge, and the double integral of a linear combination of the function's derivative over the interior of the domain. The theorem allows us to efficiently calculate a function's double integral in a "generalized rectangular domain", that is, a domain that consists of a union of rectangles with sides parallel to the axes. The formulation of the theorem is as follows: let ... be an integrable function, and suppose that its local antiderivative, ... , was pre-calculated. Then in order to calculate the function's double integral over a generalized rectangular domain ... , only a few arithmetical operations are required: ... , where the summation ... is over the domain's corners and ... is a parameter that is determined according to the corner's type (see the Details section). In the above graph, we are given an arbitrary integrable function ... and a domain ... over which it is defined, for which the discrete Green's theorem states that ... . In this Demonstration, you can choose any of the vertices ... , ... , ... , ... , ... , ... , ... , ... , ... for the linear combination; this will help to give an intuitive understanding of the formula. The darker the color of a region (green or red), the more times it is being covered by the linear combination's matching double integrals.