SOBRE LA FORMULA DE GREEN por José L, Massmea Institute de Matemética y Rstadistica ‘Montevideo INTRODUCCION El objeto de esta nota es establecer condiciones de validex para Ia férmula de Green, fie. y) de +g(z,y) dy {[e-b dedy mis generales que las que habitualmente se considera. La gene- ralizacién se hace en dos direcciones: 10. En lo que se refiere a las funciones f y g se climina algunas restricciones impuestas a las derivadas, merced a Ia utilizacién de la integral de Lebesgue. 20. En Jo que se refiere a la curva C que limita el recinto G;, las demostraciones usuales admiten que ella esti contenida en un recinto més amplio G’ en que se cumplen las condiciones de regularided impuestas a las funciones f y g, 0 bien que la curva C_es suficientemente lisa. En nuestra demostraci6n se prescinde de estas restricciones. Suponemos, como es usual cuando se habla de integrales curvilineas, que C es rectificable (*). () Beto no quiere decir que no pueda definiree, para cfertas clases de cur vas no rectificables, un concepto de integral carvilines que conserve las prinei- pales propiedades de la definicién clésica. Por el eontrario, a una tal definiciOn ‘puede Negarse aplicando, precisamente, la £6rmula de Green, tal como To mos, traremos quiz en otra oportunidad. Consideramos, sin embargo, que el principal Snterés de la férmala de Green generalizada que estableceremos eonsiste justar mente en que relaciona los valores de ciertas integrales dobles eon los de 1a integral curvilisea sobre 1a frontera del revinto, entendida esta ‘time en sentido clésico.—170— Este tema ha sido ya tratado por otros autores. Ver on particular W. T. Reid (?) en donde se cita una bibliografia bas- tante extensa. En nuestro trabajo generalizamos los resultados de Reid, dando una demostracién més simple de su teorema prin- cipal (Teorema 2 de nuestro trabajo) y agregando algunos com- plementos (*). EI plan del trabajo es el siguiente: en el § 1 se de- muestra un Lema de cardcter topoldgico que posee interés pro- pio, independiente de su aplicacién a la demostracién de la fr. mula de Green. En el § 2 se demuestra ol teorema principal y en el § 8 se establecen algunos resultados complementarios, ds mostrando la relacién que existe entre nuestro teorema y el de Reid y demostrando algunos corolarios del teorema principal que pueden ser mas cémodos para algunas aplicaciones. § 1. —Dexosreaci6y og UN tExca roPoLserco LEMA. Toda curva simple cerrada C puede aprovimarse uniformemente por medio de poligonales simples interiores, Si Ges rectificable, puede obtenerse la aprozimacién por medio de poligonales de longitud acotada. Dividimos C por medio de los puntos P; en arcos parcia- les C= Pix, de diimetro 0 existe un w>0 tal que | f,fde| . Probemos que el teorema puede aplicarse a nuestras fun- ciones 9.14 Sea E un conjunto abierto cualquiera parcial de (a,b). Divida- mosla parte de Gy quese proyecta en E por medio de rectas para~ Ielas aleje de Jas y en una infinidad numerablederectinguios. Si p<20, elegimos e $sysi. Se ve en soguida que, para @ fijo, la variacién total de g(a,y) est expresada por la serie V, (2) = 20 [gest2 (gas = | evidentemente convergente para 2>0 y , du V4(2) <40 { nd { dx V(x) > 40 |e a 3 Por lo tanto, para @>0, g/y es sumable [iasay=Vaed> 2 a176 — Sea ahora E un conjunto perfecto y no denso sobre el eje y- Definimos #(2,y) poniendo f(,y)=0 si s=0 0 si x es cualquiera e y pertenece a E = Hey)= (6-2) 9 (2, F<) si a0 y (a,b) (a0 esti comprendida entre 4(b—a) 4(b—a) “ae 7" " Por tanto, i [i=-m(B)} _ fy Se Pa] = Tim [id= = |Prdy y f resulta absolutamente continua en Gz. TEOREMA 8. Si, ademds de las hipstesis a) y b) del Teo-—178— rema 2, f', estd acotada inferior 0 superiormente, f', es sumable en G y vale la férmula [3]. Podemos suponer que /’y20, porque si f', car el teorema a la funcién g=f—ky, y si ¥ carlo a g=hy—f. Si definimos ¢,=/', en G, P,=0 en G—G,, la sucesién monétona creciente de funciones positivas , verifica lim [on de dy = — [¢do Zk basta apli- K, basta apli- ¥ la [3] se deduce entonces del Teorema de B. Levi. TEOREMA 4. Sea V(2) la variacién (finita o infinita) de f sobre G.. Si, ademds de las hipétesis a) y b) del Teorema 2 se cumple una de las hipétesis complementarias 4) V(z) es sumable en (a,b); ©) V(z) esté acotada en (a,b), fy es sumable en G y vale la férmula [3}, En la hipdtesis d), siendo V(2) = f |f's|dy, resulta [fifslazay sf V(a) de ¥ Se puede razonar como en la demostracién del Teorema 3. En el caso e) se tendrd andlogamente, si V(c) & Twins, T., Fondamenti dé Caleolo delle Variasions, Volume Primo, 1921, pag. 293, b). ‘4 Vint, G., Sull’integrasione per serie; Rendiconti del Circalo Matematica Palermo, 1907, 1, pag. 147. 5. Peomm, E, The Gaust-Green theorem, ‘Transactions of the American ‘Mathematical Society, 98, 1945, pigs. 44-76,