Solution of the problem of Plateau
Solution of the problem of Plateau
复制标题
DOI:
10.1090/s0002-9947-1931-1501590-9
复制
发表时间:
1931
影响因子:
1.3
通讯作者:
J. Douglas
中科院分区:
文献类型:
--
作者:
J. Douglas
ion being made, in case the representation g is improper of the first kind, of the values of 0, at most denumerably infinite in number, where gi(0) is discontinuous. (19.9) rests on the fact (whose proof is trivial) that if fi(m)(t) tends uniformly to the continuous fi(t) when m-* oo, then if tm -t as m-> oo, we have lim fi(m) (t) =fi(t) for m-> oo . The assertion is now easily proved that if (19.10) Xi= =WFi(w) This content downloaded from 157.55.39.128 on Mon, 18 Jul 2016 05:43:48 UTC All use subject to http://about.jstor.org/terms 304 JESSE DOUGLAS [January are the harmonic functions determined by gi(O), then (19.1 1) Z1F 2 (w) = 0, t= 1 so that the surface (19.10) is minimal. For consider (18.2) without the factor w: (in)' 1 2eiG (19.12) F1 (w) = 2 i9 2gi(m) 6)dO. Since all the polygons P(m) are contained in a finite region of space, the functions gi(m)(0) are uniformly bounded; and if w is any fixed point interior to the unit circle, the denominator (eiO -W)2 remains superior in absolute value to a fixed positive quantity when ei0 describes C. Therefore the integrand in (19.12) remains uniformly bounded during the limit process (19.9); consequently the limit of the integral is equal to the integral of the limit: (19 .13) lim Fi (w) = Fi (w) . M-n+00 It is evident that in case g is improper of the first kind this result is not affected by the circumstance that the points of discontinuity of g,(G) are not considered in the limit relation (19.9), since these points, being at most denumerably infinite in number, form a set of zero measure. The result (19.11) now follows from (19.13) and the subsistence of (19.5) for every m. 20. The minimal surface is bounded by r. To show that the minimal surface whose existence is proved in the preceding section is bounded by r, we must prove that the representation (19.8) of r is proper. That it cannot be improper of the second kind is proved in ?18, which, being based on the relation (19.11), applies here with full validity. We cannot however apply the argument of ?17 to prove that (19.8) cannot be improper of the first kind. For although we would still have for a g of this kind A (g) = + so, it would not be true in the case of a general Jordan contour that A (g) sometimes takes finite values. We therefore use the following argument, based on the relation (19.11), to obtain the desired result. Suppose that under g the point P of C corresponds to the arc Q'Q" of r. Since r is a Jordan curve, Q' and Q" are distinct: and if ai denote the co6rdinates of Q', bi of Q", the distance Q'Q" or I with (20.1) 12 = (b.ai)2 i-a1 is not equal to zero. This content downloaded from 157.55.39.128 on Mon, 18 Jul 2016 05:43:48 UTC All use subject to http://about.jstor.org/terms 1931] THE PROBLEM OF PLATEAU 305 There is no loss of generality in supposing P to be at w = 1, for this may be achieved by a rotation of the unit circle, which changes nothing essential.