Greens Theorem

The Gauss theorem is also known as the divergence theorem. Green s theorem, and Ostrogradsky s theorem [36]. In particular, the vector form of Gauss s theorem is normally referred to as the divergence theorem [18]. 

When the curve in question is non-trigonal, and not a smooth plane quintic, this gives a new proof of Torelli s theorem. Green s proof relies on a subtle theorem by Kempf [K] which asserts that, when C is not hyperrelliptic, the Kodaira-Spencer map ... 

After the application of Green s theorem to the second order term in Equation (2.81) we get the weak form of the residual statement as... 

The described application of Green s theorem which results in the derivation of the weak statements is an essential step in the formulation of robu.st U-V-P and penalty schemes for non-Newtonian flow problems. 

Papanastasiou et al. (1992) suggested that in order to generate realistic solutions for Navier-Stokes equations the exit conditions should be kept free (i.e. no outflow conditions should be imposed). In this approach application of Green s theorem to the equations corresponding to the exit boundary nodes is avoided. This is eqvrivalent to imposing no exit conditions if elements with... 

In Equation (4.12) the discretization of velocity and pressure is based on different shape functions (i.e. NjJ = l,n and Mil= l,m where, in general, mweight function used in the continuity equation is selected as -Mi to retain the symmetry of the discretized equations. After application of Green s theorem to the second-order velocity derivatives (to reduce inter-element continuity requirement) and the pressure terms (to maintain the consistency of the formulation) and algebraic manipulations the working equations of the U-V-P scheme are obtained as... 

It is evident that application of Green s theorem cannot eliminate second-order derivatives of the shape functions in the set of working equations of the least-sc[uares scheme. Therefore, direct application of these equations should, in general, be in conjunction with C continuous Hermite elements (Petera and Nassehi, 1993 Petera and Pittman, 1994). However, various techniques are available that make the use of elements in these schemes possible. For example, Bell and Surana (1994) developed a method in which the flow model equations are cast into a set of auxiliary first-order differentia] equations. They used this approach to construct a least-sciuares scheme for non-Newtonian flow equations based on equal-order C° continuous, p-version hierarchical elements. 

The last teim in the right-hand side of Equation (4.143) represents boundary line integrals. These result from the application of Green s theorem to... 

Note that Green s theorem in the plane expressed as... 

Using Theorem 1.26, we can consider the Green formulae in domains with regular boundaries, which are useful in the sequel. 

Let us consider again, and now solve, the necklace problem that was mentioned in the discussion of De Bruijn s Theorem, namely, to enumerate necklaces of six beads of two colors, red and green, where the two colors can be interchanged. We shall ask only for the total number, and can therefore use a simpler (unweighted) form of the power group enumeration theorem which gives as the required number the expression... 

The proof of this theorem follows directly from Green s theorem7 which we omit. This theorem is often useful when one wishes to be sure that an instability does not lead to the occurrence of oscillations. For examples see Minorsky.6... 

Green, C.C., Application of Theorem proving to problem solving. Proc. Int. Joint Conf. Art. Intell. 1st, Washington, DC, 1969, pp. 219-239 (1969). 

This relationship is called the second Green s formula and it represents Gauss s theorem when the vector X is given by Equation (1.98). In particular, letting ij/ — constant we obtain the first Green s formula ... 

As we already know a determination of the function G q, p) satisfying all these conditions represents a solution of the boundary value problem and in accordance with the theorem of uniqueness these conditions uniquely define the function G q, p). In general, a solution of this problem is a complicated task, but there are exceptions, including the important case of the plane surface Sq, when it is very simple to find the Green s function. Let us introduce the point s, which is the mirror reflection of the point p with respect to the plane of the earth s surface, Fig. 1.10, and consider the function G (p, q,. s) equal to... 

---