1990 - Nikolski - Fórmulas de Cuadratura

<
o::
::::>
<
1-
o::
<
::::>
UJ
en
<
...J
o::
::::>
:E
'LL
C. M. HHKOJlbCKHVI
S NIKOLSKI
KBAAPATYPHblE ctJOPMY Jlbl
FRM ULAS
DE CUADRATURA
e )l.o6aBJI0HH0M
Moc1rna HayRa
H. TI.
RopHeifqy1rn
EDITORIAL MIR
MOSC
Traducido del ruso por K. P. Medkov
Impreso en la URSS
lndice
Prlogo a la edicin espaola
Frmulas de cuadratura ms simples . . . . . . .

Clases de funciones . . . . . . . . . . . . . . . .
Frmula de Taylor . . . . . . . . . . . . . . . .
Estimacin exacta de aproximacin de la frmula de
cuadratura . . . . . . . . . . . . . . . . . . . .
5. Constantes numricas para las frmulas de cuadratura particulares . . . . . . . . . . . . . . . . .
6. Frmulas de cuadratura complicadas. Estimaciones
de las aproximaciones de arriba para las clases de funciones . . . . . . . . . . . . . . . . . . . . . .
7. Estimaciones para las funciones individuales. Eleccin de la frmula de cuadratura . . . . . . . . . .
8. Constante x. Precisin de la frmula de cuadratura
9. Estimaciones de las frmulas de cuadratura multidimensionales . . . . . . . . . . . . . . . . . . . .
10. Problemas extremales . . . . . . . . . . . . . . .
1 (M;
11. Mejor frmula de cuadratura para la clase
O, m) en el caso de los nudos equidistantes . . . .
12. Frmulas de cuadratura en las cuales figuran valores
de las derivadas de la funcin . . . . . . . . . . .
13. Frmula de interpolacin de Hermite . . . . . . .
14. Problema extrema! general . . . . . . . . . . . .
15. Polinomios de Chbishev de desviacin mnima del cero
16. Polinomios de desviacin mnima del cero en la mtrica Lp . . . . . . . . . . . . . . . .
17. Polinomios de Legendre. Frmula de cuadratura de
Gauss . . . . . . . . . . . . . . . . . . . . . . .
Bibliografa . . . . . . . . . . . . . . . . . . . . . . .
Complemento. Sobre nuevos resultados referentes a los problemas extremales de la teora de cuadraturas
C.1. Minimizacin de la norma de una funcin polinomial
a trozos . . . . . . . . . . . . . . . . . . .
C.2. Resultados obtenidos por estimacin del resto en
las funciones que reducen a cero la suma cuadrtica
1.
2.
3.
4.
wz:
Ha iicrraucKOM H3bIKe
Ha,o;aTeJI&CTBO HayKa
ISBN 5-03-001539-6 (nen.) traduccin al espaol,
ISBN 5-02-013786-3 (pyccK.)
K. P. Medkov, 1990
8
18
26
28
34
40
54
64
67
77
95
101
104
108
129
134
140
144
146
149
198
5
C.3. Frmulas de cuadratura ptimas con nudos fijos para

la clase
L2
C.4. Sobre resultados posteriores referentes a los proble-
226
mas extremales de la teora de cuadraturas . . . .

.
Bibliografa para el Complemento
lndice alfabtico . . . . . . . . .
.
.
.
240
283
292
wr
Prlogo a la edicin espaola

En la parte bsica del libro se introduce el concepto
de frmula de cuadratura (aproximacin de una integral
definida mediante sumas finitas). Se ofrece en la misma
el mtodo general para obtener estimaciones de las frmulas de cuadratura para diferentes clases de funciones
difere'nciables que se encuentran habitualmente en la prctica. Desde este punto de vista se analiza una serie de
conocidas frmulas de cuadratura clsicas. Al mismo
tiempo, para ciertas clases de funciones diferenciables se
resuelve el problema de bsqueda de las mejores frmulas
de cuadratura para dichas clases.
Tal fue el libro en su primera edicin (1958, Mosc,
N aka). Result til para amplios crculos de cientficos, ingenieros y tcnicos que tratan con clculos aproximados. Dio tambin cierto impulso al desarrollo de las
investigaciones matemticas puras que tienen por objeto
satisfacer las necesidades del anlisis aplicado, especialment e all, donde surgen problemas de optimizacin de
la aproximacin.
Se hizo natural que en las ediciones posteriores se resuman los nuevos resultados esenciales obtenidos por los
matemticos en este campo.
Es por eso que, a partir de la segunda edicin, el libro se acompaa del Complemento de N.P. Korneichuk
quien junto con sus alumnos hizo un aporte considerable
al desarrollo de los problemas extremales de la teora de
cuadraturas.
El libro se edit cuatro veces en ruso. La primera edicin fue traducida al ingls por dos editoriales (Delhi,
1964; Berkshire, 1966), como tambin a la lengua romana
(1964, Bucuresti).
Por primera vez el libro se edita en espaol. Esperamos que tendr xito tambin entre los matemticos e
ingenieros de los pases de habla espaola.
S. Nikolski
7
B son constantes. Con este motivo diremos que nuestra

frmula de cuadratura aproximada es exacta para cualquier funcin f (x) que representa una funcin lineal arbitraria.
Hemos examinado la ms simple frmula de cuadratura de los rectngulos. Un tanto ms compleja es la fr-
mula de los trapecios. Si se trata de una funcin positiva
f (x), la frmula se reduce a que la integral definida se
sustituye por un nmero que es igual al rea del trapecio,
!/
~B
1 a1
D
);
1. Frmulas de cuadratura ms simples

Supngase que se pide calcular aproximadamente una
integral definida en el segmento [a, b} de cierta funcin
continua y positiva f (x).
La expresin aproximada muy simple de la integral
es la magnitud del rea del rectngulo en el cual la base
!/
)lo:C
fig. 2
,J
ll!.
1
de cuyos lados sirven el segmento [a, b} del eje Ox, los

segmentos de las rectas x = a y x = b, y la cuerda AB
del grfico de la funcin (fig. 2).
De este modo, la frmula de cuadratura de los trapecios representa la siguiente expresin aproximada:
.,. .r:
z
fig. 1
es el segmento [a, b} y la altura, la ordenada f ((a + b)/2)

del grfico de la funcin f (x) en el punto medio (a + b)/2
del segmento citado (fig. 1).
Hemos obtenido, pues, la aproximada frmula de cuadratura o frmula de integracin numrica
b
~ f(x)dx~qb-a)f(
tb ),
(1.1)
que tiene sentido para cualquier funcin continua no forzosamente positiva.

Aqu el miembro izquierdo es igual al derecho, si
f (x) es una funcin lineal arbitraria Ax + B, donde A y
8
~ f (x) dx ~ ~
(b- a)
[f (a)+ f (b)],
(1.2)
que tiene sentido para una funcin continua arbitraria

(no forzosamente positiva).
La frmula de cuadratura de los trapecios (1.2), al
igual que la frmula de los rectngulos, es exacta para todas las funciones lineales y = Ax + B, cuyos grficos
representan toda clase de rectas.
Por fin, examinemos una frmula de cuadratura ms
que es de amplia aplicacin en la prctica, a saber, la
frmula de Simpson. En el caso de una funcin positiva
ella se reduce a que la integral definida se expresa apro9
ximadamente por el rea de una figura limitada por el

segmento [a, b] del eje Ox, las rectas x = a, x = by por
la parbola de segundo orden que pasa por los puntos del
donde P 2 (x) se define por la igualdad (1.4). Entonces

b
~ P 3 (x) dx= ~ P 2 (x}dx+a 3 ~ x3 dx=

a
!f=f{.r)
!/
=~
P 2 (x) dx+
(b4 -).
P ero, ya sabemos que

b
b-a
j\ P 2 (x) dx=6-
ul
); .,.
:e
P or otra parte, la magnitud

(b' - ) puede escribirse formalmente del modo siguiente:
fig. 3
grfico de la funcin f (x) que tienen por abscisas a, (a

+ b)/2 y b (fig. 3).
Esta frmula tiene por expresin
b
~ f (x) dx ~ b-;;a [Ha)+ 4/ { tb ) +
flb)
J.
43 (b4 -a4)=b-6 [(a 3x3)x=a+4(aax3) _a+b+(aax 3 )x=bl

.
X- 2
De aqu proviene la igualdad

b
(1.3)
Analizando el procedimiento segn el cual se obtiene

la frmula de Simpson podemos deducir directamente que
la frmula es exacta para todos los polinomios
P 2 (x) = a0 a 1x + a 2x2
(1.4)
de segundo grado. Los grficos de estos polinomios representan toda clase de parbolas de segundo orden cuyos
ejes son paralelos al eje Oy.
Ms an, se conoce bien que la frmula de Simpson es
en realidad mejor todava: es exacta no slo para los polinomios de segundo grado, sino tambin para todos los
polinomios
P 3 (x) = a0 + a 1x + a 2x2 + a 3x3
de tercer grado.
En efecto, podemos representar el polimonio P 3 en la
forma
P 3 (x) = P 2 (x) + a 3x3 ,
10
[ P 2 (a) +4P2 {-a+b

) +P2 (b) J.
2-
~ P 3 (x) dx= b6 [P 3 (a)+4P3 { tb )+P3 (b)J.

a
Hemos examinado tres frmulas de cuadratura. Las

primeras dos de ellas, es decir, las frmulas de los rectngulos y de los trapecios son exactas para los polinomios
de primer grado. La tercera frmula, la de Simpson, es
exacta para los polinomios de tercer grado.
Nos limitemos a estos ejemplos concretos. Diremos
solamente que puede construirse una infinidad de frmulas
de cuadratura que sean exactas para todos los polinomios
Pm (x) =a0 +a 1x+ a 2x 2 + ... + amxm
de cualquier grado m prefijado de antemano. Para obtener

tales frmulas pueden servir los clsicos polinomios
interpoladores de Lagrange.
Definamos en el segmento [a, b] un sistema arbitrario
de m + 1 puntos
a:::;;;x0 <x1 < ... <xm:::;;;b,
11
que se llamarn nudos, y planteemos un problema: construir un polinomio de m-simo grado P m (x) que en los
puntos mencionados coincida con la funcin dada f (x).
Se requiere, de este modo, que se verifiquen simultneamente las igualdades
f (xk) = Pm (xk),
= O, 1, .. .,
presin aproximada de la integral definida en el segmento

la, b] de una funcin f (x) puede tomarse la integral definida en dicho segmento del polinomio Pm (x) que interpola la funcin f (x). Como resultado tenemos
m.
Segn se sabe, el polinomio buscado, que lleva el

nombre de Lagrange, ser nico y se expresar por la siguiente frmula:
t (x) dx ~ ~
t (xh) ~ o<:.> (x) dx,
k=O
~ f (x) dx ~ S
a
P m (x) = ~ Q'/:i) (x) f (xk),
p m (x) dx =
o bien
Pk (xk),
(1.5)
k=O
donde
k=O
donde Q~) es un polinomio de grado m:
Pk. -
Q~) (x) =
..
Om(k) (x) dx,
k =O, 1, ... , m.
(1.6)
(x-x 0 ) (x-x 1) ... (x-x1<_ 1) (x--,-x11+1) ... (x-xm)

(xk-xo)
(xk-x 1)
(xk-xk_ 1) (xk-xk+l) ... (xk-Xm)
'
k=O, 1, . . . , m.
En la fig. 4 van expresados esquemticamente los grficos de la funcin f (x) y de su polinomio interpolador
!/
La igualdad aproximada (1.5) determina cierta frmula de cuadratura que es exacta para los polinomios de
grado m.
Muchas frmulas de cuadratura clsicas son de este
origen. Por ejemplo, la frmula de Simpson se obtendr,
si ponemos en (1.5), (1.6) m = 2, x 0 = a, x 1 = (a
b)/2, X2 = b.
No es difcil de ver que, viceversa, si con" ayuda de
distintos puntos prefijados xk del segmento [a, b] y de
los nmeros pi (k = O, 1, ... , m) queda obtenida una
frmula de cuadratura
~ f (x) dx ~ ~ pd (xk),
a
a=:c11
:ft
;r;z
:r:.r
~=b
)lr,Z-
fig. 4
de Lagrange de cuarto grado que coincide con f (x) en

cinco puntos equidistantes del segmento [a, b].
El polinomio interpolador de Lagrange puede servir
para obtener la frmula de cuadratura que sea exacta para
los polinomios de grado m. Efectivamente, como la ex-
(1.7)
k=O
exacta para todos los polinomios P m (x) de grado m, ella

se deduce, segn lo mostrado anteriormente, de la correspondiente frmula interpoladora de Lagrange
m
t (x) ~ k=O
~ o<::i> (x) t (xk),
construida sobre la base de los nudos xk.
En efecto, examinemos, a la par con la frmula (1. 7),
la frmula de cuadratura (1.5), donde los nmeros Pk
se determinan con ayuda de la igualdad (1.6). Ambas fr13
12
mulas se definen por un mismo sistema de nudos xk (k =

= O, 1, ... , m) y ambas son exactas para los polinomios
de grado m1 ), en particular, para las funciones x 1 (l =
= O, 1, ... , m). De aqu se deduce que han de verificarse las igualdades
m
2j
(P1t-P.)x~=O,
l=O, 1, ... , m.
(1.8)
k=O
Xi
Xm
xi;:i
X~
x:
que es nada ms que un determinante de Vandermonde

para el sistema de puntos distintos xk (k = O, 1, ... , m),
no es igual a cero, lo que puede ser posible slo cuando
P1t=P<, k=O, 1, ... , m.
Introduzcamos, a la par con (1.5), otra frmula de cuadratura
d
~ F (u) du ~ ~ p:F (4)

e
(1.5')
k=O
que posee las siguientes propiedades:

a) Pk: Pk = (d - e): (b - a)
(k =O, 1, ... , m);
b} los nudos x: < x: < ... < x~ pertenecen al

segmento [e, d] y lo dividen en la misma razn que los
nudos xk dividen el segmento [a, b]:
(x!-c): ... : (x~-c) =
=(x0 -a): (xi-a): ... : (xm-a).
(x~-c):
l) Llamamos polinomio de grado m a una funcin a0
a1 x
donde k (k =O, 1, ... , m) son coeficientes
arbitrarios (incluidos aquellos que son iguales a cero).
14
d-c ~
R(u)du=-b-a
:=: ~
d-c
R ( e +b-a
- - (x-a) ) dX=
PkR
(e+ :-;
(xk-a))
= ~ p~R (x~).
k=O
De lo dicho ms arriba y de la unicidad de la frmula

de cuadratura (1.5') que tiene nudos prefijados x:, x~,
.. . , x~ E [e, d] y que es exacta para los polinomios de
grado m se deduce que si los nudos mencionados satisfacen las condiciones b}, satisfarn tambin las condiciones
a), es decir, los pesos de la frmula (1.5') se obtienen a
partir de los pesos Pk multiplicndolos por (d - c)l(b - a).
La frmula
a
~ f(x)dx~ ~ PRf(xk), xhE[-a, a],

k=O
-a
se denominar simtrica, si se cumplen las condiciones

Ph=Pm-h
k=O, 1, ... , m.
X1t=-Xm-k
Observemos que si en la frmula (1.5), obtenida ms

arriba, el segmento [a, b] tiene de hecho la forma [ - a, a]
y si los nudos xk E [ - a, a] satisfacen la condicin de
simetra: xk = - Xm-k de aqu se deduce automticamente que Ph = Pm-h es decir, la frmula (1.5) es simtrica.
En efecto, es fcil compobar que de las condiciones
xk = - Xm-k se deduce que
Q~)(-x)=Q~m-k)(x),
La frmula (1.5') se llamar semejante a la (1.5).

Demostremos que las frmulas semejantes (1.5) y
(1.5') son exactas simultneamente para los polinomios
de grado m. En efecto, si R (u) es un polinomio de grado
+ ... + amxm,
k=O
El determinante del sistema (1.8)

1 1 ... 1
Xo
m, entonces R (e + : - ; (x - a) ) ser tambin polinomio

de m-simo grado. Por eso
k=O, 1, ... , m,
y en este caso
a
Pm-k =
~ Q~m-h) (x) dx = ~ Q\::)( - x) dx =

-a
a
= ~
-a
-a
Q\::)(u)du=Pk
,,
15
La frmula (1.5) que es exacta para todos los polinomios de grado m puede resultar en realidad exacta para los
polinomios de grado superior a m, como ocurre en el caso
de la frmula de Simpson. Las mejores en este sentido
frmulas de cuadratura son conocidas frmulas de Gauss
que corresponden a tal disposicin de m + 1 nudos x 0 ,
x 1 , : ., Xm, para la cual la frmula de cuadratura resulta ser exacta para todos los polinomios de grado 2m + 1.
El hecho de que tal disposicin de los nudos es posible ser demostrado en el 17. En el 5 se aducen casos particulares de la frmula de Gauss para el segmento (-1, 1].
Indiquemos, adems, las frmulas de cuadratura de
Chbishev que se definen partiendo de la condicin: con
m nudos x1 , x 2 , , Xm la frmula debe ser exacta para
los polinomios de grado m y tener iguales factores de las
ordenadas. En la forma general las frmulas de Chbishev
para el segmento [ -1, 1] se escriben del modo siguiente:
1
~ f (x) dx ~
-1
! ~ f (xk),
(1.9)
k=1
donde los nudos xk se eligen conforme a la condicin estipulada ms arriba. El hecho de que el factor en el segundo miembro de esta frmula de cuadratura es igual a 2/m
proviene de que la frmula ha de ser exacta para f (x) =
1. En el 5 se aducen las primeras cuatro frmulas de
cuadratura de Chbishev para el segmento (-1, 1].
P.L. Chbishev ((19], vol. 111, pgs. 49-62) mostr
que tales frmulas de cuadratura existen par a los casos
en que m = 1, 2, ... , 7, 9 y son simtricas. A consecuencia de esta propiedad, ellas son exactas para la funcin
xm+i con m pares (m = 2, 4, 6), y, por consiguiente, no
slo para los polinomios de grado m, sino tambin para
aquellos de grado m + 1. Resulta que para m = 8 y
m~ 10 la frmula (1.9) ya no existe [3].
La frmula (1.5) puede resultar exacta slo para los
polinomios de grado inferior a m, o bien no exacta para
cualesquier polinomios.
La frmula (1.5) (sin la condicin 1.6), siendo exacta
para los polinomios de m-simo grado, si ella corresponde
a los nudos xk = a + (b - a) k/m (k = O, 1, ... , m)
<uo dividen el segmento [a, b] en partes iguales, se llama

/6rmula de cuadratura de Cotes 1 ).
Pongmonos de acuerdo que ulterirmente cualquier
expresin de la forma
m-1
L (!) = ~ Pkf (xk),
donde Pk son nmeros arbitrarios y xk, puntos arbitrarios

pertenecientes al segmento [a, b], se considerar, independientemente del origen de los nmeros Pk y xk, como
expresin aproximada de la integral definida de la funcin f (x) sobre el segmento [a, b] y en esta relacin una
igualdad aproximada
b
~ f (x) dx ~ L (!)
(1.11)
se denominar frmula de cudratura definida por los pesos Pk y los nudos xk.
Observemos que la integral definida satisface las
condiciones de aditividad y homogeneidad:
b
~ [/ (x) + cp (x)] dx = ~ f (x) dx + ~
16
(1.10)
k=O
~ f (x) dx = ~
cp (x) dx,
Cf (x) dx,
donde f (x), cp (x) son funciones integrables en el segmento

[a, b], y C, una constante. A estas mismas propiedades de
aditividad y homogeneidad satisface tambin la funcional 2 ) (1.10)
L (! + cp) = L (!) + L (cp),
CL (/) = L (Cf).
1
) La informacin ms completa sobre las frmulas de cuadratura mencionadas u otras el lector puede encontrar, por ejemplo,
en las obras de V.L. Goncharov [4], Sh. E. Mikeladze [9], V.I. Krylov [8], I.S. Berezin, N.P. Zidkov (2], N.S. Bajvalov (1].
2
) Si a toda funcin f perteneciente a cierta clase de funciones
se le est puesto en correspondencia, segn una ley determinada,
un nmero L (!), entonces L (!) recibe el nombre de funcional definida en la clase citada de funciones.
2-0864
17
2. Clases de funciones
La diversidad de todas las funciones integrables es
muy amplia. Cuando se analiza un mtodo bien determinado de integracin aproximada de las funciones, resulta imposible indicar de antemano la magnitud con la
que se estima la aproximacin para todas las funciones
integrables en general. Esta estimacin es sencillamente
igual al infinito.
Veamos, por ejemplo, el mtodo de los trapecios. Puede construirse, evidentemente, una funcin que sea igual
a cero en los extremos del segmento [a, b) y tal que la
integral definida de dicha funcin en el segmento dado
sea superior a cualquier nmero prefijado con anticipacin. El error de aproximacin de la integral definida de
tal funcin que se obtiene al utilizar el mtodo de los trapecios (1.2) ser igual a la propia integral y, de este modo,
puede ser tan grande como se quiera.
Este problema se resuelve de tal manera que las estimaciones de la aproximacin se obtienen para unas u
otras clases suficientemente estrechas de funciones integrables. Tales clases de funciones muy difundidas en el anlisis actual son, ante todo, las clases de funciones diferenciables y las clases de funciones que satisfacen las condiciones de Lipschitz.
Podemos analizar, por ejemplo, una clase de funciones denotada mediante W< 1 > (M; a, b) que son continuas
en el segmento [a, b) y tienen en ste una derivada continua a trozos f' (x) 1 ) que satisface en dicho segmento la
desigualdad:
lf' (x) l~M.

Las propiedades diferenciales ms convenientes las
posee la clase W< 2 > (M; a, b) de funciones que son continuas en el segmento junto con sus primeras derivadas y
Si un segmento [a, b] puede ser dividido mediante puntos
< x 2 < ... < Xn < b en un nmero finito de segmentos,
en cada uno de los cuales la funcin f (x) tiene derivada continua,
suele decirse en tal caso que f (x) cuenta sobre [a, b] con una derivada continua a trozos. Aqu se debe tomar en consideracin que
en los puntos de particin x1 , x 2 , , xn se supone que existen
solamente las derivadas unilaterales: a la derecha y a la izquierda.
a
<
18
1)
x 1
<t11f' tienen en l la segunda derivada continua a trozos la

11111
satisface la desigualdad
lf"(x)l~M.
Generalizando estas clases llegamos a una clase W<'>

( H; a, b), donde r es un nmero natural. La clase W<'>
(\!; a, b) est compuesta por las funciones, definidas en
t1l segmento [a, b), que son continuas y tienen derivadas
continuas de hasta el (r - 1)-simo orden inclusive y,
ndem s, una derivada continua a trozos de r-simo orden
In que en el segmento dado satisface la desigualdad
J/<'> (x) 1~M.
(2.1) '
P ueden introducirse tambin las clases intermedias.

l'or ejemplo, si O < a~ 1, convengamos en considerar
que Ir (M; a, b) = W< 0>H (M; a, b) denota una clase
de funciones j (x) que estn definidas en el segmento
la, b) y que satisfacen para todos los puntos x y x' de dicho segmento la desigualdad
lf (x)- f (x') 1~M x-x' .

En general, si r es un nmero entero no negativo y si
O < a~ 1, podemos definir una clase W<'>H (M; a, b)
de funciones f (x) dadas en el segmento [a, b] que tiene
en ste derivadas continuas de orden r las cuales satisfaren la desigualdad
lf<7> (x)-j<'> (x') 1~M x-x' .

para todos los x y x' de [a, b).
Adems, designemos con W<'>H<a> (a, b) la clase de
tod as las funciones, cada una de las cuales pertenece,
para cierto M, a la clase W<'>H<>(M; a, b).
Las clases W<'>H<a> (a, b) introducidas de la manera
indicada constituyen una clasificacin muy detallada de
func iones continuas y diferenciables. Al aumentar r
f- ex, las propiedades diferenciales de las funciones pert cnecientes a W<'>H<a> (a, b) se mejoran. Si r 1
cx 1 <
< r 2 cx 2 , entonces W<'.>H<a,) (a, b) ser una parte de
la clase w<r,>n<a,) (a, b).
19
' ~..,...-----"
1
Es til tener en cuenta la siguiente generalizacin de

las clases w<r>n<a> (a, b). Se introduce en la consideracin
una funcin ro (x) que es continua en el segmento [a, b]
y que satisface las condiciones
ro (0) = ,
O:::;;;; ro (x 2) -
ffi
(x1):::;;;; ffi (X2 -X1)
lm w (6) = O= ro (O).
(2.2)
Ahora, si 6 = 6 1 + 6 2 , donde 6 1 ~ O, 6 2 ~ O, y si
.r', x" son puntos del segmento [a, b], para los cuales
1 x" - x' 1:::;;;; 6, entonces, evidentemente, en el segmento [a, b] existe un punto x 0 tal que para l se verifican simultneamente las desigualdades 1 x' - x 0 1:::;;;;
~ 61 ,
\ x" - x 0 1:::;;;; 6 2 De aqu se deduce
r>
ro ~6) =
a:::;;;;x 1 :::;;;;x2 :::;;;;b.

:::;;;;
:::;;;;
:::;;;;
mx
cp (x0 ) 1}:::;;;;
mx
lcp(x")-
1x"-xo1 .;;;62
-cp (x0) 1 =ro (6 1) +ro (62 ).
(2.5)
La propiedad de monotona de la funcin ro (6) y la

relacin (2.5) pueden ser reunidas en las siguientes dos
desigualdades:
o:::;;;; ro (6")-ro(6'):::;;;;ro (6"-6'),
(2.6)
que deben realizarse para cualesquiera 6', 6 ", que satisfacen las desigualdades O:::;;;; 6':::;;;; 6 ".
De (2.4) y (2.6) se deduce con toda la evidencia la continuidad de ro (6) para todo 6 ~ O.
Observemos que si una funcin cp (x}, continua en el
segmento [a, b], cuenta con el mdulo de continuidad
ro (6), entonces, evidentemente, ella pertenece a la clase
TI w (a, b) = W< 0 >H w (a, b} definida ms arriba.
Las propiedades, an ms convenientes en comparacin
ron las funciones de las clases w<r> H w (a, b}, poseen
funciones analticas.
donde a:::;;;; x', x":::;;;; b.

As pues, ro (6) es mayor de los nmeros 1 cp (x") - cp (x')I correspondientes a diferentes pares de puntos
x' y~ x" del segmento [a, b] que satisfacen la desigualdad
1 x" - x' 1:::;;;; 6; ro (6) es una funcin montona no decreciente de 6, puesto que si O:::;;;; 6' < 6 ", entonces
cp (x")- cp (x') 1:::;;;;
mx
cp(x'J-cp(x0}1+
mx
1x'-xo1 .,;;61
1x"-x'1 ~6
x"-x'
+ 1cp (x") -
1x"-xo1 ~62
La desigualdad (2.2) para la funcin Mx se deduce de

los resultados del ejemplo 3 que se da ms abajo en el
presente prrafo.
Si en el segmento [a, bl est definida una funcin continua arbitraria cp (x), llamemos mdulo de su continuidad
en el segmento [a, b], correspondiente al nmero positivo
dado 6, a una magnitud ro (6) que se determina por la
igualdad
ro(6)=
mx
\cp(x")-cp(x')\,
lfP (x")- cp (x') 1:::;;;;
{ 1qJ (x') - cp (x0 ) 1
mx
1x'-xo1 .;;;61
(1)
ro (6') =
mx
I X"-X' 1 ~{)
La clase w<r>n<a> (M; a, b) coincide con la clase

w<r>H (a, b), si
ro (x) = Mx<a>.
1
(2.4)
6-+0
con cualesquiera x 1 , x 2 , para los cuales a:::;;;; x 1 :::;;;; x 2 :::;;;; b.

La funcin f (x), dada en el segmento [a, b] pertenece,
por definicin, a la clase W<,.>H w (a, b), si tiene en el segmento dado la derivada
(x) de orden r que satisface
la desigualdad
<r) (x2)-<r> (x 1) 1:::;;;;ro (x2 -x1),
(2.3)
111, b], la cual, es fcil notar, es equivalente a la siguiente

rtlacin
~O'
\cp (x") - cp (x') 1 =ro (6").
1x"-x'1 ~0"
Son posibles tambin algunas modificaciones de la clasifica1in expuesta. Se puede introducir una clase de funciones
W~~ (M; a, b), definidas en [a, b), que tienen derivada continua
De la continuidad de cp (x) en el segmento cerrado [a, b]

se desprende la propiedad de su continuidad uniforme en
20
._
21
absoluta de orden r - 1 y una derivada <r> (x) de r-simo orden,

la cual posee la propiedad de q,ue
b
(~
1 w>(x)1Pdx)1'p,,,;;;M,
p~1.
p = 1,
H '~ (M ; a, b).
l111111<lo
1o
escribiremos
11 <p l\Lp=
1 <p IP dx) 1/p,,,;;; M (b-a)l/P,
Es continua en el segmento [ -1, 1] y tiene en ste

una derivada continua a trozos. En efecto, en el segmento
1-1, O] la derivada de 1 x 1 es continua e igual a -1
!J
lm 11 M - 8 (donde 8 > O) y mE, la
medida E, entonces
 (~
fig. 5
de donde
11
lugar de
1,.. .z"
-t
(2.7)
en
!/
en la que el segundo miembro representa el llamado mximo esencial1) 1 <p (x) 1 en el segmento [a, b].
Efectivamente,
b)
Ejemplo 1. Analicemos la funcin 1 x 1 en el segmen[ - 1, 1). Su grfico viene expuesto en la fig. 5.
donde la integral se entiende en el sentido de Lebesgue.

Algunos datos relacionados con estas clases se darn ms abajo
en petit. En este caso suponemos que el lector conoce las propiedades ms simples de las funciones integrables (sumables) segn
Lebesgue en la p-sima potencia (vanse, por ejemplo, [14, 17]).
Observemos que si una funcin cp (x) es medible y est acotada
en el segmento [a, b], tiene lugar una igualdad
lm { \ 1 (M; a,
(M-8)P dx) 1/p = (M-8) (mE)l/P,
ul
1
a
1
.r0
.r1
1
.rz
Z'J
~z
fig. 6
de donde
lm 1\ (M; a, b).
00
1 ) Este es el nmero menor M que posee la propiedad de que

el conjunto de todos los x del segmento [a, b], para los cuales
1 M, tiene medida O.
22
en todo punto, considerando, como siempre, que para

.r = O la derivada se toma a la izquierda, y para x = - 1,
a la derecha. En el segmento [O, 1] es tambin continua
en todo punto e igual a 1. En valor absoluto la derivada
de !xi es igual a la unidad en todo el segmento [-1, 1].
De aqu se deduce que la funcin 1 x 1 pertenece a la
clase w(l) (1; -1, 1).
No obstante, nuestra funcin no pertenece a la clase
W( 2 > (M; -1, 1), cualquiera que sea el valor de la constante M, puesto que, si fuera as, tendra que contar necesariamente con la primera derivada continua en todo
23
punto del segmento (-1, 1]. Mas, en el caso dado la primera derivada para x = O es discontinua.
Ejemplo 2. Veamos la funcin <p (x) cuyo grfico est
expuesto en la fig. 6 (aqu, x 3 = 'b).
Para que dicha funcin sea unvoca en los puntos x 0 ,
x 1 , x 2 , podemos fijarla en estos puntos igual a cualquier
Ejemplo 3. Examinemos una funcin x (O< a~ 1)

en la semirrecta [O, oo ). Su grfico (para cierto a < 1)
est expuesto en la fig. 9.
!/
Ji
1 1
"""'
1 ;:.. .r
ol
.Tp
p1 ,... .r
.rz
:Ct
fig. 8
fig. 7
valor, por ejemplo, a la media aritmtica calculada sobre

la base de las ordenadas lmites derecha e izquierda del
grfico.
Pongamos
Mostrremos que en la semirrecta [O, oo) la funcin satisface la condicin de Lipschitz de potencia a con la
constante M = 1. En otras palabras, mostremos que para
!J
cpi(x) =
<p (u)
du +el.
Esta funcin se muestra en la fig. 7. Pertenece a la clase

W< 1l (M; a, b), donde
l<p (x) 1~M,
.r
ll
a~x~b.
fig. 9
Si ponemos luego
X
<p2 (x) =
<p 1 (u) du
+C
todos los x, x 1 que satisfacen las desigualdades

~ x 1 < oo tiene lugar la desigualdad
2,
xit-x~(x 1 -x).
obtendremos la funcin expuesta en la fig. 8 que pertenece a la clase W< 2l (M; a, b), pero no pertenece, evidentemente, a la clase W< 3 l (a, b).
Al repetir este proceso de integracin r veces, obtendre~
mos una funcin de la clase w<r) (M; a, b), donde r es
un nmero entero prefijado de antemano.
24
O~x~
(2.10)
En efecto, cuando x = O y x = x 1 , la afirmacin es

evidente. Sea O< x < x1 Veamos la relacin
xlf-x
(x 1 -x)
(x 1 /x)-1
u -
1 ='lj) (u),
(x 1 /x-1)
25
!' "'~
I'
donde 'U = x 1 /x, y, por consiguiente, 1 <u< oo. Es

fcil comprobar que la funcin 'ljJ (u} posee la siguiente
propiedad:
lm'ljJ(u)=1, 'ljJ'(u)>O, 1<u<oo.
(X-a )T-1
(r-1)1
De aqu se deduce que

x-x
1
(x 1 -x)
~ (x- w-3 /<r-2) (t) dt =
'l\I
<r-1) (a) -
)T-2
(r-2)!
1<u<oo,
y la desigualdad (2.10) queda demostrada. De este modo,

la funcin xa. pertenece a la clase n<a.> (1; O, 1) = W< 0 >H<a.>
(1; O, 1). Si multiplicamos esta funcin por el nmero M
y la integramos r veces con cualesquiera constantes, elegidas de manera sumamente arbitraria, obtendremos una
funcin de la clase w<a.>n<a.> (M; O, 1).
f(x)=f(a)
+-x-a-f, (a)+ (x-a)2 f"(a)+ ...

'>
... + (x-a)T-l
(r- 1)!
(r-1)
Rr (x) =
Examinemos una funcin f (x} que est definida en el

segmento [a, b] y que tiene en el mismo derivadas continuas 1 ) de hasta el (r - 1)-simo orden inclusive y, adems, una derivida continua a trozos de orden r. Dicha
funcin pertenece, pues, a la clase w<r> (M; a, b) con cierta
constante M.
Obtendremos para tal funcin la siguiente igualdad ,
aplicando sucesivamente el mtodo de integracin por
partes:
~ (X -
w-l
j(T) (
/<r-1) (t)
(x-a)T-1
(r-1)!
----
xa + (r-2)!
1
\ (x- t)<r-2) <r-n (t) dt =
J
a
r-1) (a)+ (x-t)T-2

cr-2) (t) t=X +
(r-2)!
t=a
1 ) La frmula que se obtendr aqu resulta vlida tambin

para las condiciones ms generales, precisamente para la condicin
que la funcin f (x) tiene derivada continua absoluta de orden
r - 1, y, de este modo, tiene casi en todo punto la derivada sumable de orden r. Se debe tener esta observacin en cuenta al leer el
Complemento y las partes del libro imprimidas en petit.
26
1 .,.
Kr (u)=
~ (x
-w- <r> (t) dt.

1
(3.2)
ur- 1
O, '
u~O
u:;_ o'.
(3.3)
En tal caso la expresin para el trmino residual R r (x)

puede ser escrita tambin en la forma
b
,p 1 ~
\t
t) dt =
(x-w-1
(r-1)1
,p
Introduzcamos en la consideracin una funcin Kr (u)

que se define mediante las igualdades
Rr (x) =
(3.1)
1)1
(a) +Rr (x)
<'On el trmino residual en la forma integral:
3. Frmula, de Taylor
De aqu obtenemos que para toda funcin f (x) de la

dase w<r> (M; a, b) es lcita la frmula de Taylor:
(r
<r-2) (a)-
x-a
... - f (a)+ f(x).
='ljJ(u)<1,
U-+OO
X
/p
~ Kr (x-t)
j(r)
(t) dt,
(3.4)
puesto que la funcin K r (x - t) es igual a cero para todo

fi jo al variar t desde x hasta b.
Convengamos, adems, en designar con w~> (M; e, d)
In clase de funciones f E w<r> (M; e, d) que satisfacen las
rnndiciones
f (a)= f' (a)= ... = <r- 1> (a)= O.
.r
Es evidente que para
f E w~> (M; a, b)
b
f (x) = Rr (x) =
fp
rn
~ Kr (x -
t) <r> (t) dt. (3.5)
27
En vista de que nuestra frmula de- cuadratura es

exacta para los polinomios de grado r - 1, tenemos
4. Estimacin exacta de aproximacin de la

frmula de cuadratura
1
~ f (x) dx-L (f) :o-;~ P 7 _ 1 (x) dx-L (P 7 _ 1) +
~ f(x)dx~L(f),
(4.1)
+~
m-1
= L}
a
b
L (/)
Examinemos una frmula arbitraria de cuadratura
Pkf (xk),
(4.2)
~ ~
1 _.
__
K,(x-t)f<'>(t)dtdx-
a a
m-1
-1 ----
Pk
k=O
K,(xk-t)f< 7 >(t)dt =
= (r~ 1)1 [~
~ P ,_i(x) dx = L (P r-i>
f<r>(t)
K,(x-t)dxdt-
b m-1
Demos a conocer la expresin exacta para estimar la

aproximacin con ayuda de esta frmula de cuadratura
para las funciones de la clase w<> (M; a, b}.
Definamos, pues, una funcin arbitraria f (x) perteneciente a la clase w<r> (M; a, b}. La funcin queda definida
de este modo sobre el segmento [a, b], tiene en el mismo
derivadas continuas hasta el orden r - 1 inclusive y una
derivada continua a trozos de r-simo orden cr> (x) que
satisface la desigualdad
<r> (x)I ~M.
, (4.3)
Desarrollemos esta funcin por la frmula de Taylor
(vase 3) segn las potencias de x - a (a~ x~ b)
con el trmino residual en la forma (3.4):
f (x) = P r-1 (x) + Rr (x),
~ ~
Pkf<r> (t) K 7 (xh - t) dt
(4.4)
J=
a k=O
1
-
(r -
1)1
~[~
(x -
m-1
- .Li
PkKr (xk - t)
w- dx 1
Jf<7> (t) dt =
k=O
m-1
1
(r -
1)1
\ [ (b-t)'
~ PkKr (xk - t)
k=O
]f<
7>
(t) dt. (4.5)
As pues, si introducimos en la consideracin una funrin

m-1
r- 1
P r-1 (x) = ~ (x-;:ia)k f<k> (a},
R,(x)dx-L(R,)=
k=O
que se define por los pesos prefijados Pk (k = O, 1, ...

... , m-1) y los nudos a~ x 0 < x 1 < ... < Xm-i ~ b.
Supondremos que esta frmula es exacta para todos los
polinomios
p r-1 (x} =o+ a1X + ... + r-1Xr-1
de grado r - 1 (r ~ 1), es decir, para todos los polinomios de esta ndole se cumple la igualdad
R,(x)dx-L(R 7 )=
F (t) =
7
(r-1)1
[ (b-t)'
- 7-
PkKr (xk - t)
J,
(4.6)
k=O
k=O
b
Rr (x} =
Ir~ rn ~
a
28
LJ
K, (x- t} <r> (t) dt.
obtendremos la siguiente expresin exacta del error de

nproximacin con ayuda de la frmula de cuadratura en
29
.~
cuestin para
w<r> (M; a, b):
la
funcin
dada
j (x) de
la
cin con ayuda de la frmula de cuadratura (4.1) para la

clase de funciones W(r) (M; a, b) es igual 1) a
clase
~ j (x) dx- L (f) = ~ F r (t) j<r> (t) dt.
~ [W(r>(M; a,
(4.7)
JEW(r)(M; a, b)
sup
b)]=
~ j(x)dx -L(f)I=
a
Para lo que sigue adelante resulta importante tener

en cuenta que la funcin F r (t) no depende de las funciones
SUeltaS j de la clase w(T) (a, b), en particular, no depende
de M . Al mismo tiempo la funcin F r (t) se define por toda la clase w<r) (a, b) (por el nmero r y el segmento
[a, b]).
~
La frmula (4. 7) presta una expresin exacta para la
aproximacin de la frmula de cuadratura (4.1) en trminos de la derivada de orden r de la funcin j (x). En adelante dicha frmula nos servir de partida para obtener
diferentes estimaciones relacionadas con la aproximacin
de las frmulas de cuadratura.
Si se toma en consideracin que para la funcin j
de la clase w(r} (M; a, b) debe cumplirse la desigualdad
(4.3), entonces
b
~ f(x)dx-L(f)\~M ~ F7 (t)J dt=Mc 7
(4.8)
Indiquemos que en este caso el segundo miembro de la

desigualdad no puede ser disminuido, puesto que en la
clase w<r> (M; a, b) existen funciones j, para las cuales
dicha desigualdad se convierte en una igualdad. Precisamente este fenmeno tiene lugar para toda funcin j
cuya derivada de r-simo orden es igual a sign F r (x), es
decir 1 ) ,
(4.9)
j<r> (x) = M sign F r (x).
F.
1) sign u
donde F r (t) es una funcin definida por la frmula (4.6).

La estimacin obtenida es exacta suponiendo que no
sabemos nada sobre la funcin, para la cual se calcula
aproximadamente la integral , a excepcin de que la funcin citada pertenece a la clase w<r>(M; a , b).
La constante c 7 puede calcularse exactamente o aproximadamente con cualquier grado de exactitud, puesto
que ella se da con los pesos Pk y nudos xk que se conocen
para cada frmula de cuadratura concreta. La dificultad
de calcular la constante c 7 consiste en hallar los puntos
del intervalo (a, b), en los cuales la funcin F r (t) cambia
de signo.
Observacin. En los razonamientos aducidos ms arriba se supona que la frmula de cuadratura (4.1) es exacta para todos los polinomios P 7 _ 1 de grado r - 1. Admitamos ahora que la suposicin no es cierta, es decir, existe un polinomio P:-1 para el cual
b
Mas, en este caso para el polinomio P;'~.. 1 (x) = ~ P:- 1 (x),

donde N es un nmero cualquiera, tiene lugar la igualdad
b
~ P:~1dx-L(P:~1)=N,
a
1 ) *SUp es el signo de la cota superior exacta del conjunto de

nmeros, es decir, del nmero mnimo que no es superado por
ningn otro nmero perteneciente al cnjunto.
1 (u > O),
O (u = O),
-1 (u<O).
31
30
1'
IJ
(4.10)
~ P;_1 dx-L(P;_1)=A.=FO.
Para obtener con eficacia cualquier funcin de esta

ndole, hace falta integrar r veces el segundo miembro de
(4. 9), cada vez con constantes arbitrarias de .integracin.
De aqu se deduce que la estimacin exacta de aproxima-
~ JF 7 (t)J dt=Mc 77
a
=M
\
,1
y esto demuestra que, cualquiera que sea el nmero

N > O, tendremos
Luego. en lugar de (4.8) podemos escribir ahora, de acuerdo

con la desigualdad ele Holder:
,,
sup
/EW(T)(M; a, b)
~ f (x) dx -
>
L (!) 1
f (x) d.r -L
(!) 1
~JI/(") llLP 11 Fr llLq ~ M JI Fr llLq'
1
1
;+q-=1,
>I ~ P~!.1 dx-L (P~!.1) 1>N.
do nde
11Fr11Lq=(
El polinomio P :'!.1 (x) tiene derivada de orden r que

es idnticamente igual a cero y por eso
P~~1EW<r>(M;
1 ~f(x)dx-L(f)l=oo.
sup
1ew<7 l(M;
a,
b)
( \
f(Tl (t)=
De este modo, la cota superior ~ [W<r> (M, a, b)]

puede equivaler al nmero Mcr o al infinito, en dependencia de si es exacta o no exacta la frmula de cuadratura (4.1)
para los polinomios Pr-i de grado r - 1.
Esta observacin fue enunciada por M. Levin (vase
Complemento [23)). Indiquemos adicionalmente que esta
observacin queda lcita tambin para las frmulas de
cuadratura (12.1), delas cuales se trata en el 12.
Si una funcin f pertenece a la clase de funciones wZ) (M;
a, b) que tienen en (a, b] la derivada continua absolut a de ~rden
r-1 y la derivada /(r) (x) de orden r, para la cual se verifica la
desigualdad
b
(4.11)
Fr (t) l'I dt )- 1/p 1 Fr (t)
sign Fr (t)
que satisface la condicin (4.11). As pues, el segundo miembro

de (4.12) se obtiene para cierta funcin f perteneciente a la clase
W ( 7 )Lp (M; a, b).
Cuando p = 1, es decir, cuando la funcin f (.r) pertenece
a la clase W<[l (M; a, b), tenemos
b
/d.r-L(f)l=I
~ Fr(t)f<7l(t)dt1~
a
mx
a~t~b
1Fr(t)1 \ 1W>(t)1
Ja
dl~M
mx
a~t~b
Fr(t)
J.
El segundo miembro de esta igualdad es un nmero mnimo,

con el cual ella se verifica para todas las funciones f de la clase
en consideracin. Reuniendo ambos resultados obtenidos, llegamos
a la siguiente igualdad que es vlida para la frmula de cuadratura
exacta para los polinomios de grado r - 1:
b
sup
no es difcil de concluir que para ella, en el caso de una frmula

de cuadratura que sea exacta para los polinomios de grado r - 1,
todos los razonamientos aducidos en este prrafo, incluido la igualdad (4. 7), quedan en vigor.
32
q-l
11 j(T) llLp = { ~ j(T) (x)P dx) l/p ~ M, p > 1,
(4.13)
1 Fr(t) qdt)1/q.
[W<r) (M; a, b)] =
Adems, para la clase de funciones W{ (M; a, b) no podemos

disminuir la constante que figura en el segGndo miembro de (4 .12),
pues en virtud de la propiedad conocida de la desigualdad de
Holder, el segundo miembro en (4.12) se obtiene para la funcin
a, b).
Por consiguiente,
(4.12)
/EWl'.l (M; a, b)
p
1 \ fdx-L(f)l=MllFrllL,
1
1
-+-=1,
p . q
3- 0864
(4.14)
33
donde 11 F 7 llLq para p

para p = 1 se tiene
>
Para la frmula
1, se define por la igualdad (4 .13), y
c1 =
(4.15)
11 F llL = mx 1F r (t) .
1(1-t)-Ki(; -t)jdt=
o,,;::;1.:;;;1
00
1/2
=~
Al igual que para la clase W< 7 > (M; a, b), se demuestra que
si la frmula de cuadratura (4.8) no es exacta para los polinomios
de grado r - 1, entonces la cota superior que se examin en (4.14)
es igual al infinito.
1(1-- t)-11 dt
+~
o
1/2
C2=
~ 1 (1-;t)2
( ; - t )1
dt+ ~ (1--;t)2 dt==
5. Constantes numricas para las frmulas
= p 1 = 1/2, x0 = O, x1 = 1. La frmula es exacta para

los polinomios de primer grado, por lo cual en el caso dado la teora es aplicable para r = 1, 2:
En el caso en que a O, b = 1, tenemos

1
~ fdx-L(f)= ~ F 7 (t)r>(t)dt,
c 1 =~ 1(1-t)-; Ki(-t)-+Ki(1-t)J<lt=
(5.1)
o
1
donde
m-1
F 7 (t) =
11 "
lr-
[ (1-t)7
r
"
L.J
PkKr (xk - t) .
=~
(5.2)
o
1
F 7 (t) J dt =
mx
1ew<7 l(1 ;
1\
o, 1)
f dx- L
(!)
C2 =
1ew<7 l(M; o, 1)
~ f dx-L (f) = Me,.

J
+-t) dt + ~ (
t - ; ) dt =
!.
1/2
1
2K
2 (-t)- 21 K 2 (1-t) 1 dt=
1
1
1 - t 1dt=+ ~ (1-t) t dt="""f2'"
2
o
(1-t) 2
-2-
= 3, Po = p 2 = 1/6, p 1 = 2/3, x 0 = O, x1 = 1/2, x 2 =

1. Para ella pueden calcularse c1 , c2 , c 3 , c4
Los clculos muestran que en el caso dado
Frmula de los rectngulos (vase fig. 1). Pasa ella
m = 1, Po = 1, x 0 = 1/2. Es exacta para las funciones
34
l+-tl dt=
Frmula de Simpson (vase fig. 3). Para esta frmula
lineales, es decir, para los polinomios de primer grado,

por lo cual la teora expuesta es aplicable a la frmula
para r = 1, 2.
~o J - 2 -
= ~Io
t - t - + / dt=
(1- t)2
(5.3)
Se debe tener en cuenta que

mx
-= ~ (
Pongamos
1
1/2
h= O
c7 =
;4 .
1/2
Frmula de los trapecios. En este caso m = 2, p 0 =
de cuadratura particulares
!'
(1- t) dt =
1/2
.1
5/36,
C2
= 1/81,
C3
= 1/576,
C4
1/2880.
La constante numrica c4 para la frmula de Simpson

da en muchos libros de matemticas.
35
Frmul de Cotes con cuatro nudos (equidistantes)

(k = o, 1, 2, 3):
1)
Frmula de Simpson:
ci
2>
Po= p3 = 118, P1 = P2 = 3/8, x,, = k/3.
c<32> =
Es exacta para todos los polinomios de tercer grado y,

por eso, para ella existen constantes Cit para k = 1, 2 1
3, 4. En el caso dado e~ = 1/6480 (vase (131) 2 ).
Frmula de Cotes con cinco nudos (k = O, 1, 2, 3, 4):
Po = p, = 7/90, p 1 = p 3 = 32/90, p 2 . 12/90, X11, =
= k/4 (es exacta para los polinomios de quinto grado).
Para ella
C5
1
345600 '
~ rF
(t)q dt
r'q =c;q>.
o
De este modo, e~ = Cr
Ms abajo damos a conocer valores numricos de las
constante~ c~2 > para las frmulas, anteriormente aducidas,
de los rectngulos y trapecios y tambin para la frmula
de Simpson. Estas constantes se han calculado por Yu.
Ya. Dornin.
Frmula de los rectngulos:
ci
2>
11
1-_- = O 289
= - 2 -y3
'
'
c< 2> =
2
0,000464.
P11.f (xk)
k=m
es simtrica, es decir, satisface las condiciones

- x_k = xk, P-11. = Pk,
y (lxacta pasa Pr-i (polinomios de grado r -1).
En este caso (las explicaciones daremos ms abajo)

~ [W<r) (M; --1, 1)) =
m
sup
f dx -
1ew<7 >(M; -1, 1\ -1
/EW~rl(M; -1, 1) -1
fdx-
sup
2 v3o
1)
'
P1if(xh)I=
k= - m
/EW~r>(M; -1, O) -1
Pk/(xk) 1=
k=m
m
sup
+ /EW~r>(M;
sup
O,
jdx-
Pkf(x1i)I+
xk<O
~ f dx-'- ~
o
xk>O
Pk (xk)
I=
= 0,0914.
2sup
La frmula de cuadratura (1.5), donde los pesos p11, se definen

por las integrales (1.6) se denomina frmula de Cotes con m
1
nudos, siempre que sus nudos a = x 0 < x1 < .. . Xm = b dividen el segmento [a, b] en m partes iguales. Cuando m
1 es
impar, la frmula es exacta para los polinomios no slo del m-simo,
sino tambin del (m
1)-simo grado: si la escribimos para [-1, 1 ],
ser simtrica y, por tanto, exacta para xm+1
2 ) Dicha constante se aduce en [13] con una errata.
/EW~r>(M; O,
36
0,0152,
1)
~ ~
f dx
Frmula de los trapecios:

c(2)
30
1
=---;;== 0,289.
Observacin 1 ). A veces resulta posible simplificar el

clculo de las estimaciones. Supongamos que la frmula
de cuadratura de la forma
(5.4)
12
= 0,00203,
-~-
-1
La constante c5 fue calculada por P. Plica (13], y la

c6 , por Yu. Ya. Dornin.
Pongamos, adems,
(
ir
48 lt
c~2 > = --~ ~ r..
~ ~ 517.10-9
C5
c~2 > =
= 61- =O, 167,
1
1)
f dx-
P11.f(xk)I =
x11,> 0
2
-(r-1)1
"
J\ 1 (1-t)T
r
-.LJ
O
P11.Kr(Xk-t) 1 dt.
(5.5)
xk> O
1 ) La observacin dada pertenece a Yu. Ya. Dornin [6].

llamos aqu otra demostracin.
37
Tabla J l)
para el segmento [-1, 1]
Frmula de Chbishev
Valores de~ (W (r) (1; -1,
Nmero de
nudos
1)] =
Frmula
5UP
1 f(r) (x) 1 .:;;; 1
f (x) dx - L (!)
fdx~t(-V:)+t (~)
5 - 2Y-3 =0,511966
3
_vdx:::::: [1 (-l?) +f<O>+ !
~ (2 Y-3 -
3)3/2 =
=0,081128
16 V-2 (3 V-2 81
- 43/2= 0. 033389
<5-3V2>=0,3366o4
9 - 4 V-3
108
=0,0191833
f (-a)+ f (a)+
1 -17 -
82] =
= 0,00555819
0,003358
0,0005719
0,0000879
= o. 0251626
=l/ Y-5
- 2' b =.. .V5 ~2
3 V5
V 3V5
Aqu W~r> (M, e, d) denota la clase de funciones

j E W<r) (M; e, d) tales que f (O) = j' (O) = ... =
= p -1> (O) = O. La segunda igualdad de la cadena es
cierta, puesto que la frmula en consideracin es exacta
para todos los p r -1 (vase 3).
La tercera igualdad se explica del modo siguiente.
Si la funcin f (x) est definida en el segme~to [-1, 1),
podemos determinar con su ayuda dos funciones:
f (x),
f 2 (x) = f (x),
1 (x) =
IJ
0,0074074
(b)],
mul a de Chbishev. La consta nte en la segunda fila de la Tabla parar = 4

obras dio valores exactas de las constantes de la frmula de Chbishev para
La cuarta fila puede ser complementada por una constante correspondiente
1) La tabla est calculada por Yu . Ya. Dornin. Vase [5] sobre la fr

fue calculada originalmente por E. Ya. Remez [ 17, 18] . En las mismas
3, 4, 5, 6, 7, 8, 9 nudos, cuando r = 4, 6, 6, 8, 8, 10, 10, respectivamente.
a r = 6, igual a 2/42525 = 0,000048.
38
ill =
+ 58 V2 -
( 4b - 3)1/2 -
(a+ 3b) = 0,261777
-1
+f
r=5
1 ((8 ,r1
36
V 2 - 11)3/2 + 360 = 0, 0027778
+t(l?)J
S fdxz-1 [f(-b) +
r=4
r=3
\ fdx~2!(0)
-1
- 1
r=2
r=1
-1~ x~ O,
~ X~ 1.
Es evidente que si
f E War>(M; -1, 1), entonces fi E
E W~r> (M; -1, O) y j 2 E W~r> (M;O, 1), y viceversa. Ade'!
ms, se debe tomar en consideracin que si A y B son

conjuntos de nmeros reales tales que de a E A se deduce
que - a E A, y de~ E B se deduce que -~ E B; entonces
tiene lugar la igualdad
sup
aEA, 13EB
a.+~I =sup
aEA
lcx.I +sup l~I

13EB
La penltima igualdad de la cadena se deduce de los

siguientes razonamientos. Si f E W~r> (M; -1, O), entonces
3~
Tabla 2 1 )
segmento [-1, 1]
Frmulas de Gauss para el
..,"'
Valores deicw< 7 >c1; -1, 1)]=
..8~
o
Frmula
::s"'
za
r = 1
r=2
~ fdx:::.: 2! (0)
sup
1 1 f dx - L (f)
1(r) (x) 1,,;;;; 1
r=3
r=4
r=6
r= 5
r=7
r=8
-'l
y--
1
2
jdx:=.:f
(---f) +
5 - 2v3 =0,511966 9
3
~3
9 - 4
V-3
108
=
1135=
= 0,0191833 =fJ,0074074
(V:3)
1
3
V:i- 3)3/2=
= 0,08112!!
-1
+ f
(2
fdx:::::;f [5/ (-VO,li)+
-1
+ 8/ col+ 5/ <VO.S>l
4~5 (1051
-1110-VD>=
= 0,357337
2187 <90
l'U:S-
- 65) 3/2 =
=o. 040545
vo.s
5-6
o. 000009 1 1800
1
1458 X
X (16 (30
V,6-
I5'f50 =
=0,0001958 =0,00006349
- 23)312+
+ 1548VD- 1198] =
= 0,002011
S fdx::::::
0,275993
0,021853
0,00236
0,00027 10,000031.81 0,0000053 10,00000110,0000003
-1
2
::::::
Jlkf (xk) (Po= O)
k=-2
~-1 = X1 = V15
il-1 = P1 =
18 + f30
,
36
- ~- 2 = x 2 = v15
P-2= P2
- 2f30
35
,
+2f30
35
,
18 - V3o
36
1) La Tabla fue calculada por Yu. Ya. Dornin, Vase en 17 sobre la
40
Mrmula de Gauss. Para dos nudos las frmulas de Gausg y de Chbishev coinciden.
41
para cp (x) = j (-x) tendremos cp E w~r) (M; O, 1), y viceversa. Adems, por ser simtrica la frmula de cuadratura, tenemos
En el intervalo (O, a) se tienen en total dos ceros de la

funcin 'ljJ (t), iguales a
C1
~ f (x) dx-1
-1
.Li
Pk (xk)
k=1
= ~ cp (x) dx- .Li
k=-m
pkcp (xk).
P- 1= P1 = 5/9, Po= 8/9
(l-;t)
'ljJ(t) =
42
(1 - t) 2
"
+95
,
(t-a),
a~t~1.
k = 90a - 65,
48+k
c2
; l= ~ [(1-;-1)2
o
c1
[ <1
;t)
2 Vk
--9-'
Cz-C1=
Por eso tenemos (5a2
90a-17
--
3)
+; (t-a)J dt-
-t;
(t-a)J dt+
c2
+~
[ (1;t)2 +; (t-a)J dt+ ~
(1~1)2 dt=
! [-(1-t) 3 Ji2 +(1-t)31~~-(1-t)31~1-(1-t) 3 i!J+

+ 158 [(t-- a)2 g2 -
(t- a)2 I~! + (t- a)2 l~1J
=3 ( -(1-c2 ) 3 + (1-c1) 3 ] +
1
5
J=
+g-5 [(cz-a)2-(c1-a)2J+ [ ff-IBaz
K 2 (a-t)ldt = f.
O~t~a,
= 4-yk
n
2+ C1C2 + c22=
! (c1+ c2) -
_ _ 2 yk
9
La funcin bajo el signo de integral, la que se designar con llJ (t), se define mediante las frmulas
(1-t)2
C2
c1
'ljJ(t)=
= (c2 - c1) [ 1-
1)]=2~1
C1+Cz=g
para r = 2.
Esta frmula es simtrica y es en todo caso exacta para los polinomios de primer grado. Por eso, para ella puede aplicarse la igualdad (5.5):
t[W<r>(1; -1,
4+Vk
y, adems, llJ (t) es negativa en el intervalo (c 2 , c1 ) y positiva fuera del mismo. Observemos tambin que
La cota superior del primer miembro de esta igualdad

para la clase de f E W~") (M; -1, O) es igual, evidentemente, a la cota superior de su segundo miembro para la
dase de cp E w~r) (M; O, 1). Diremos, adems, que si la
frmula de cuadratura en consideracin cuenta con un
nudo x 0 = O, entonces para l Po f (O) = Po cp (O) = O,
puesto que f (O) = cp (O) = O.
Por fin, la ltima igualdad se deduce de las igualdades (4.6), (4.10) para a = O, b = 1 que son lcitas en todo caso para f E W~~> (M; O, 1).
Mostremos, a ttulo de ejemplo, cmo se calcula la
cota superior & [W<r) (1; -1, 1)1 en el caso de la frmula
de cuadratura de Gauss con tres nudos:
x_ 1 =-a=-Y3!5, x 0 =, x 1 =a=V3!5,
(1 4
~O a+
~-_iQ_
. 81
yk
= 2187 (90a -
! (e~+ c c +e;) J
1 2
)=
-1-- 9a-11
243
4k12
65) = 2187 '
y hemos obtenido la estimacin

~
w<r > (1;
8 ( 90 -.V/ 3 -65
)3/2
--1, 1)1 = 2187
5
que se aduce en la tabla 2.

43
6. Frmulas de cuadratura complicadas.
Estimaciones de las aproximaciones

de arriba para las clases de funciones
pesos Pk se relacionan a los pesos correspondientes p,.

como la longitud del segmento [a, M a la unidad, o sea,
si se cumplen las correlaciones
Xt = a+xk (~ - a),
Prefijemos en el segmento [O, 1] un sistema de puntos

(nudos)
(6.1)
~ Xo <X<
<
Xm-1
~1
k=O, 1, ... , m-1.

En la prctica, cuando se necesita calcular aproximadamente una integral definida
y de nmeros (pesos)
Po Pi .,
(6.2)
Pm-1
~ f (x) dx,
y compongamos una funcional lineal
m-1
L (f) = L (O, 1; f) =
:2j
k=O
p 1d (xh),
(6.3)
donde f es una funcin arbitraria continua en el segmento

[O, 1].
Convengamos en considerar que L (!) es una expresin
aproximada para la integral de f (x) en el segmento [O,
1]:
1
~ "~
~ f (x) dx ~ L (/).
(6.4)
se procede normalmente de la manera siguiente: se elige

tal o cual frmula de cuadratura (6.4), por ejemplo, la
frmula de Simpson, se divide el segmento [a, b] en n
partes iguales mediante los puntos
13
- ~ f(x) dx ~ L (a, ~; f),
(6.6)
yacadaintervaloparcial(s1<,s1<+ 1 ) (k=O, 1, ... , n-1)

se le aplica una frmula de cuadratura semejante a la
(6.4) que corresponde al intervalo (s10 s1<+1 ):
(6.5)
~ f (x) dx ~ L (s1<,
Como resultado, a partir de la frmula de cuadratura

(6.4), que se denominar cannica, obtendremos frmula
de cuadratura complicada
b
n-1
k=O
~ f (x) dx ~ ~
donde
m-1
= :2j p'1d (x,),

h=O
se llama semejante a la frmula (6.4), y la funcional

L (a, ~; f), semejante a la funcional L (f), si el sistema de
puntos a, x 0 , x 1 , , Xm-i ~ es geomtricamente semejante al sistema O, x~, x~, ... , x;,, - 1, 1, mientras que los
Sk+t; /).
~k
44
b-a
"'"=a+--k
n
'
~h+l
De este modo, (6.4) es la frmula de cuadratura (aproximada) definida por los nudos (6.1) y pesos (6.2).
Supongamos ahora que est dado un segmento arbitrario [a, ~]. Diremos que la frmula de cuadratura
L (a, ~; f)
Pt= Pk (~-a),
(~1u
Sh+i; /).
(6. 7)
Por ejemplo, la frmula de cuadratura complicada para un rectngulo tiene, evidentemente, la expresin si-
11iente:
n-1
~ f (x) dx
a
bn
~ f (x.),
h= O
45
Pongamos, igual que en el 5,
donde
X< =a+ (2k+1) (b
k=O, 1, ... , n-1.
a)
2n
~ f (x) dx ~
a
b2n a
[f (so)+ 2/ (s1)
+ 2/ (62) + ...
... + 2/ (sn-1) + f (sn)],
donde los nmeros Sk se definen por las igualdades (6.6).

La frmula complicada de Simpson tiene por expresin
b
+ 4f(x 1) + 2/ (x2) +
+ 4f (x3) + ... + 4f (X2n-1) + f (X2n)},
~ f (x) dx ~ bi:a {! (x0)

a
donde
"'"
x=a + i - b-a
2n ,
i=
O, 1,
. . ,
/EW(r)(1;
'1
J f (x) dx -
LJ L
k=O
(Sk Sk+t; /) ~
(6.11)
(b-a)r+l e M
~r
(6.12)
n-1
~ f (x) dx - ~
a
=~
(6.8)
61i+i
{~
k=O
n-1
L (Sk Sk+t; /) =
k= O
n-1
fdx-L(sk, Sh+t;
n}=
6h
- h~ {~ f(sh+hu)du-L[f(sk+hu)J}=
lo mismo tiene lugar tambin para la correspondiente

frmula complicada (6. 7).
En virtud de (4. 7} tenemos
k= O
O
n- 1 1
= hr+t ~ ~ Fr (u)<'> (sk +hu) du,
~ f dx-L (f) = ~ F r (t) f<r) (t) dt,
F,(t)ldt.
n-1
fdx-L(f)I=~
Existe una funcin f*, dependiente de n y perteneciente

a la clase W<r> (M; a, b), para la cual la desigualdad (6.12)
se transforma en una igualdad.
Demostracin. Teniendo presentes las propiedades de
semejanza de la funcional L (sk, Sk+i; /) a la funcional
L (f) y, adems, la igualdad (6.9), tenemos (las explicaciones daremos ms abajo)
2n.
~ P P ( x) dx = L (P p),
o
O, 1)
Teorema 1. Si la frmula de cuadratur~ (6.4) es exacta

para todos los polinomios de grado r - 1, entonces para
cualquier funcin f, perteneciente a la clase w<r> (M; a, b),
tiene lugar la desigualdad
Es fcil ver que si la frmula de cuadratura (6.4) es

exacta para todos los polinomios P P (x) de grado p,
es decir, si para todos los polinomios P P (x) se verifica
la igualdad
1~
mx
Cr=
La frmula de cuadratura complicada de los trapecios

tiene la forma
(6.9)
h=O O
h=. bna
(6.13)
donde
F T (t)
1
[ (1 - t)7
(r-1)!
r
m
~
k=O
PkKr(xh-t)J.
(6.10)
El smbolo L [f (sh
+ hu).
= f
(s"
+ hu)]
denota L (F), donde F (u) =

47
46
Si, ahora, la funcin

b), entonces
n-1
f pertenece a la clase w<r>(M; a,
~ f dx- ~
"
L (6 10 Sk+t; /)
k=O
(b-a)T+l CrM
nT
~ !* dx- ~
+ hu) =
M sign F r (u),
(6.15)
=hr+t ~ ~ Fr (u) M sign Fr (u) du=

r= O O
rno,
... , <- 1> (sk) = r-1
entonces hagamos
48
f'
(x) 1 ~M1,
f" (x)
1 ~M2 ,
entonces, sabiendo magnitudes numricas c7 , podemos haciendo uso de la estimacin (6.12) eligir de las frmulas
de cuadratura correspondientes aquella que da la mejor
aproximacin.
Este teorema puede extenderse a la clase Wt> (M; a, b)
del modo siguiente.
P
Teorema 1' . Para toda func in f perteneciente a la clase
wz>
(M;
p
a, b), donde 1
<
<
n-1
fdx-
L(61i - 61i+;
oo,
f)l~(b-a)r+~~l/Pc~q)M'
k= O
1
c~q) = (
=O.
Aqu y en adelante se considera que la derivada de orden

nulo es igual a la misma funcin.
1)
(6.16)
en el segmento [s 11 , Sk+i), donde P r- 1 ,11 (x) es el polinomio de grado r - 1, elegido de una manera: tal que el
segundo miembro de (6.16) tenga en el punto 6k derivadas de hasta el (r - 1)-simo orden inclusive iguales a
los nmeros a 0 , a 1 , , a 7 _ 1 , respectivamente.
Con esto la funcin f * (x) queda completamente definida (por induccin) en el segmento [a, b). Pertenece,
evidentemente, a la clase W<r> (M; a, b}. Pongmosla
en (6.13) y tendremos en cuenta que
dT
dxr Pr-1,h (x}
Mhr+ln ~ 1 Fr (u) 1 du = (b-a)~: 1 crM ,

o
y el teorema queda completamente demostrado.

Si es posible estimar algunas derivadas de la funcin
f (x), para la cual deseamos calcular la integral. definida,
es decir, si es posible determinar algunas constantes M 1 ,
M 2 , , para las cuales tienen lugar en el segmento
[a, b) las desigualdades
Pongamos f * (x) = f 0 (x) en el segmento 16 0 , 611.

Si la funcin f * (x) ya est definida en el segmento
6kl y tiene en su extremo 6k derivadas 1 ) iguales a
f* (x) = k (x)+ Pr-t, 11 (x)
n-1 1
(6.14)
O< u< 1, k = O, 1, ... , n - 1.
t* (s") = ' !~ (sk) =
L (611, S11+1; f*)
k=O
lo que demuestra la desigualdad (6.12).

Queda por demostrar la posibilidad de construir una
funcin f* E w<r> (M; a, b}, para la cual la desigualdad
(6.12) se transforma en la igualdad. Sea f k (x) cierta funcin definida en el segmento [6k, 6k+il que tiene derivada continua a trozos de orden r y que satisface la condicin
<> (611
n- 1
1~Jir+1 ~ M ~ !Fr (t)I dt=
k=O
n-1
Entonces, en virtud de (6.15), tendremos
Jo
1F 7
(t)
lqdt) 11q, ..!.+_!_=1,
'
(6.17)
que es exacta en el sentido de que existe una funcin f* , perteneciente

a la clase indicada, para la cual dicha desigualdad se convierte en
la igualdad.
4-0864
49
Demostracin. De (6. 13) se deduce, en virtud de la desigualdad
de Holder:
n-1
1~ f
=I
dx-
L (;k, ;1!+1; !)
I=
k=O
n-1 1
~ ~
hr+l
Fr (u) j(T) (;k+hu) du 1
Demostracin. Las relaciones (6.18) quedan en vigor, si consideramos en ellas que c~ 00 > se define por la igualdad (6.19). Pero,
ahora ya no podemos afirmar que existe la funcin de la clase
wc:> (M; a, b), para la cual la desigualdad se transforma en la
igualdad exacta.
Sin embargo, siempre pueden construirse en los intervalos
(s1, ;1!+1) las funciones k (x) de la clase w<> (Ml n; ;1, S11+1)
de tal manera que el primer miembro de la desigualdad
sn+1
k=O O
n-1
~hr+l ~
k=O
1 Fr
q dt )1 1q ( ~
1 j(T)
~k+l
n-1
= hr+l-l/P4q) ~
k=O
~
s1
1 j(r) (x) 1P dx) l/p
n-1Sk+l
k=O ~k
s1
fq)l/q=
k=O
hr+l-1/Pnl/qc~q) ( ~ 1j(T) 1Pdx)1/p ~ (b-a)r+l~l/Pc~q)M
'
(6.18)
Teorema 2. Si la frmula de cuadratura (6.4) es exacta

para todas las constantes (polinomios de grado nulo), entonces para cualquier funcin f (x) perteneciente a la clase
H w (a, b) = W< 0 >H w (a, b) tiene lugar la desigualdad
n-1
1~ f dx- ~ L (~1, ~n+t; f) 1~
_!_+..!.-=1.
p
q
fk
k=O
m-1
~( 1+ ~
Por otra parte, si en el segmento [h, h +il las funciones

(x) se definen de tal manera que sus derivadas de orden r satis-
f,[>(;n+hu)= M 1 F 7 (u) ~q- 1 signF7 (u)

1
y se construye a continuacin la funcin f * (x), con ayuda de las

funciones fk (x) utilizando el mtodo igual al aplicado ms arriba,
entonces la funcin obtenida (x) pertenecer, que es fcil de
comprobar, a la clase w<> (M; a, b) y para ella la desigualdad
1 cp
).
1=
(x) -
f (O)
1~ ffi
(1)
exacta para las constantes, tenemos

1
wz>
(x)
y debido a que en este caso la frmula de cuadratura (6.4)

('S
(M; a, b)
~ f dx-L (!)'
O
m-1
k=O
=J ~ cp dx- ~ PnCf! (xk)
m-1
(6.19)
~l(1)(1+~ IPnl).
El segundo miembro de la desigualdad (6.17) no puede ser disminuido.
50
b :-
Entonces (vase (2.3))
k=O, 1, ... , n-1.
o,,;;;t,,;;;1
ffi (
f pertenece a la clase H w (O, 1) y supongamos

f (x) = f (O) + cp (x).
e~"")= mx 1 F7 (t)
a)
Demostracin. Admitamos por ahora que la funcin .
O 1 Fr qdu) IP
(6.17) se transformar en la igualdad.

Teorema i ". Para cualquier funcin f de la clase
tiene lugar la desigualdad (6.17), donde
/Pk 1) (b -
k= O
fagan las desigualdades
(b-a) 1 /P
tn)J~(b-;:-f+ 1 c~00 >M
sea tan prximo al segundo como se quiera. Luego, con ayuda de

las funciones fk (x) construimos, al igual como se ha hecho ms
arriba, la funcin t. (x), para la cual el primer miembro de (6.18)
se diferencia del segundo a una magnitud tan pequea como se
quiera.
~ ""
f1dx-L(s, ;1!+1;
n-1
~hr+l-l/Pc~q)( ~ ~ IW>1Pdx) 11P( ~

=
IP du )1 1p =
(h+hu)
k=O
l
51
Ahora, si la funcin f pertenece a la clase H"' (a, b),

entonces, tomando en consideracin la relacin (6.13)
(sin la ltima igualdad) y el hecho de que
1 f (Sk +hu")-- f (Sk +hu') l ~ro (h (u" - u')) ~ro (h),
O~u'
<u"
~1,
obtenemos
n-1
'~
fdx-
L(sk, Sh+t;
k=O
a
n-1
!)1~
k=O
=hr+1
(1
+~
k=O
n-t
n-1 1
m- 1
~h ~ w (h)
~ ~ Fr(u)r>(sk+hu)dul=
k=O O
1Pk1) =
n-1 1
= hr+t I~ ~ F r (u) [<7> (Sk +hu)--
k=O
m-1
"
= o.
(6.21)
o
Supongamos ahora que la funcin f pertenece a la clase W<r>H"' (a, b). Apliquemos a ella la transformacin
(6.13). Entonces, teniendo en cuenta (6.21 ), obtenemos
n-1
"'"
~ F T (t) dt
1~ fdx- k=O
~ L (sk, Sk+t; f)I=
du-L[f(sk+hu)JI~
f (sk+hu)
~h ~ 1 ~
de cuadratura considerada en este teorema es exacta para

los polinomios de grado r, obtenemos
"'1
) (b-a)ro (b-a)
b-a
(
=1-\-L.JIPkl
-n-,' h=-n-
k=O
Teorema 3. Si la frmula de .c uadratura (6.4) es exacta
para los polinomios de grado r, entonces para todas las funciones f pertenecientes a la clase w<r>Hw (a, b) tiene lugar,
cuando r ~ 1, una desigualdad
k=O
n-1 1
- j(r)Sk)] du J ~hr+t ~ ~ 1F r (u)

k=O O
n-1 1
+ hu)-r>(sk)/du~hr+t ~ ~ JFr(u)Jro(h)du=
k=O
n-1
1~ f dx- k=O
~ L (sk, Sk+1; f) 1~
=(b-ay+tcr )
( b- a)
) (
~(b-ay+1cr
b-a \
n
nr
(6.20)
~ f dx-L (f) = ~ Fr (t) f<r) (t) dt

o
(vanse (5.1) y 4), obtenida teniendo en cuenta la condicin de que la frmula de cuadratura (6.4) es exacta para
los polinomios de grado r - 1, ponemos en calidad de
f (x) la funcin x 7 , entonces, en vista de que la frmula
52
nr
y el teorema queda demostrado.
donde Cr .se define mediante la frmula (6.11).

Demostracin. Si en la igualdad
1
1 J/<r) (Sk +
Indiquemos que las estimaciones obtenidas en el teorema (1) (como tambin 1', 1 ")son absolutamente exactas
y no pueden ser mejoradas, mientras tanto las obtenidas
en los teoremas 2, 3 no poseen esta propiedad. Estas ltimas pueden ser mejoradas ulteriormente. Sin embargo,
est demostrado [13] que en el sentido del orden ambas ltimas estimaciones no pueden ser mejoradas. Esto significa que, si en la desigualdad (6.20) sustituimos r por un
nmero mayor r 1 , O bien la funcin ro (x), por otra funcin
<> 1 (x), para la cual
, m
) (x)
O
lI
--x-+O
(x) -
'
53
1 ....
entonces, cualquiera que sea la constante A, el primer

miembro de (6.20) no puede ser inferior a A w ((b-a)/n) ,
nr,
Wi
((b-;:ra)/n} '
respectivamente, para
toda f E w<r) X .
X H
1, 2, ...
00 (a, b) y todo n =
Algunas estimaciones exactas para las clases de funciones que satisfacen la condicin de Lipschitz fueron obtenidas por A. Ch. Turetski [18].
7. Estimaciones
para las funciones individuales.
Eleccin de la frmula de cuadratura
En virtud del teorema 1 del prrafo anterior, si aplicamos a la funcin f, perteneciente a la clase w<r> (M;
a, b), la frmula de cuadratura complicada
b
n-1
~ f dx ~ ~ L (Sk-I Sk; /),

a
(7.1)
k=O
que es exacta para los polinomios de grado r - 1, entonces el orden de aproximacin 1 ) con ayuda de esta frmula
es igual a O (n-r). Este resultado da la estimacin de
aproximacin de arriba para toda clase de funciones
w<rl (M; a, b).
El teorema 1 afirma tambin la existencia en la clase
w<r> (M; a, b) de una funcin (dependiente de n), para
la cual el orden de la aproximacin con ayuda de la frmula (7.1) es conseguible. En este prrafo se mostrar que
este fenmeno tiene lugar en cierto sentido para cada funcin (no dependiente de n) de la clase wcr> (M; a, b),
siempre que ella no es polinomio de grado r - 1, y si la
frmula de cuadratura no es exacta para los polinomios
1 ) Se dice que el orden de una magnitud en (n = 1, 2, ... )
es O (n-r) y se escribe en= O (n-r), si existe una constante positiva
e (no dependiente de n) tal que para todo n = 1, 2, ... tiene luga,r
en 1
<
C/nr,
La magnitud en es de orden estrictamente igual a O (n-r), si existen

constantes positivas C1 , C2 tales que para todo n = 1, 2, ...
tiene lugar
C1 /nr < 1 en 1 < C 2 /nr,
54
de grado r. Cualquiera que sea la funcin f de la clase

w<rl (M; a, b), si ella no es un polinomio de grado r - 1,
el orden de aproximacin ofrecido por la frmula de cuadratura (7 .1) es, en cierto sentido, estrictamente igual a
O (n-r).
Comencemos por demostrar el siguiente teorema.
Teorema 4. Supongamos que la funcin f (x) tiene en
el segmento [a, b] la derivada continua <rl (x) de orden r,
b-a
y que Sk =a +--k
(k =O, 1, .. ., n -1), les un nun
mero natural que satis/ace las desigualdades ,O < l ~ n,
w (h) es el mdulo de continuidad de la funcin <rl (x) en
el segmento [a, b].
Admitamos, adems, que la frmula de cuadratura (7.1)
es exacta para los polinomios de grado r -1, y x es la constante que se define por la igualdad (vase (6.10))
1
X=~ Fr(t)dt.
(7.2)
o
En estas condiciones tiene lugar la siguiente igualdad
asinttica:
;
!-1
~ f dx- ~
L (sk, Sk+1; /)
k=O
~l
=( b--;:a {x ~ <r>(x)dx+O[rn(h)]},
(7.3)
h=
b-a
n
'
donde la constante c que figura en la estimacin O [w (h)] ~

~ cw (h), puede ser elegida de una manera tal que no sea
dependiente de l y del mdulo de continuidad w de la
funcin cr> (x).
Demostracin. Al igual que en (6.13) tenemos
~l
!-1
k=O
~ f dx- ~ L (sk,
1-1
=~
k=O
Sk+1; /) =
~k+l
{~
fdx-L(sk, Sk+t; n}=
;k
55
l-1
=h
decir, la magnitud que no depende de l y
~ {~ f(sk+hu)du-Llf(sh+hu)J}=
k=O
r>.
Luego,
1-1 1
0'2 ~h ~ ~ 1 Fr (u) 1 (J) (h) du~
l-1 1
=hr+1 ~ ~ Fr(~)f<r>(~k+hu)du=hr(a 1 +02 ),

k=O O
h=(b-a)/n,
r=O
(7.4)
~(b-a) ~ iFr(u)idu(J)(h)=(b-a)crw(h)=
o
=o l(J) (h)].
(7.8)
donde
l-1 1
1-1
0 1= h ~ ~ Fr (u) f<r> (Sk) du = hx ~ j<T> (Sh),

~oo
~o
1-1 1
0'2 =
~ ~
F T (u) lr>
(7.5)
(s,, +hu)- r> (Sk)] du.
k=O O
Aqu la constante que figura en la estimacin O [(J) (h)l

tampoco depende de l y _f<r>.
De (7.4), (7.5), (7.7), (7.8) se deduce inmediatamente
(7.3), con la particularidad de que la constante que figura
en la magnitud O [(J) (h)J, no depende de l y j<r>, puesto que
esta propiedad la poseen las constantes correspondientes
de los segundos miembros de (7. 7) y (7 .8).
Observacin 1. En el teorema demostrado se ha supuesto quela derivada <r) (x) es continua en [a, b]. Si suponemos que la
funcin <r> (x) es slo integrable segn Riemann en [a, b], la
igualdad (7 .3) conservar la forma
Pero,
61
1~
~ -- ..
1-1
f<r) dx-h
r> (sk) 1~
61
k=O
r> (x) -
r> (s1J
1 dx
L( ;,,,
~k+i;
/)
=(b:ar {x ~ j(T)(x)dx+en},
(7.9)
1-1
(b-a)
"'1
l
~ L.J h(J) (h) ~--n-
(J) (h) ~ (b- a) (J) (h),
(7.6)
k=O
por eso
'1
=X r> (x) dx+ 0 ((J) (h)J.
(7.7)
Como constante que figura en la estimacin O [(J) (h)J

puede tomarse en este caso el nmero 1 x 1 (b - a), es
56
k=O
61
k=O sh
0'1
f dx-
1-1 6k+1
~~ ~
1-1
donde En -+O uniformemente respecto de l cuando h -+O.

En efecto, al designar con wk la oscilacin de la funcin /(r) (.r)'
en el segmento ;k, f.+1], es decir, la diferencia entre las cotas
exactas superior e inferior en dicho segmento, en lugar de (7 .6)
tendremos:
s1
1- 1
1- 1 sk+1
k=O
k=O ;k
~ w> dx-h ~ j(r> (;1i) 1~ ~ ~

1-1
~ ~ (;1i+1 k=O
<r> (x)-j(Tl (f 1 dx ~
n-1
;I!) W
~ ~ (;1!+1 k=O
;k) Wk-+ ,
h-+0,
57
~~"
y en lugar de (7.8), teniendo en cuenta que Sk+i 1-1 1

1 <12 1
~h ~ ~
~k
= h,
puesto que
n-1
1 Fr
(u) 1 W/ du
k=O O
~ Cr ~
Xo
(s11+1 -s11)
W11
1~
_,..o,
_,..o.
X=
J Fr (t)dt=rl J F
f<r> (x)
[,
Al poner (7.10) en la frmula (7.3), obtendremos
s1
1-1
~ f dx- ~
a
L (sk, Sk+t; f)
k=O
=( b-;:a r{xc:I>(x )+0(h)+O[w(h)]}=
dTtr
(t) (ftrdt=
=( b-;:a r{xc:I>(xo)+eh},
=+ {~
mx
a~x~b
1Xo-611 ~Mh,
.
M =
Analicemos la frmula obtenida (7.3). En su segundo

miembro figura la constante x que se define por la igualdad (7 .2) . Si la frmula de cuadratura en consideracin,
:Siendo exacta para los polinomios de (r - 1)-simo grado,
ya no es exacta para los polinomios de grado r, ser nece:Sariamente no exacta para la funcin xr. Por eso, de conformidad con la frmula (6.9), obtenemos
1
(x) dx 1~M
donde
Esta observacin se debe a K .M. Kardashevski.
f(T)
k= O
eh-+ O cuando h-+ O. (7.11)
tr dt-- L W)} =I= O.

o
Supongamos ahora que est dada una funcin arbitraria f que tiene derivada continua de orden r y al mismo
tiempo no es polinomio de grado r - 1. Es obvio que la
derivada cr> (x) no es igual idnticamente a cero. Pero, en
este caso la integral
X
c:I> (x) = ~
cr (t) dt
en [a, b] tampoco es igual idnticamente a cero. Sea

.x 0 un punto del segmento [a, b] tal que c:I> (x 0 ) =/= O, y
:Supongamos que l es un nmero natural tal que para l
se verifican las desigualdades
61~Xo <
61=
Xo
~ cr> (x) dx = c:I> (x0 )' - ~ f<r> (x) dx = c:I> (x0) +O (h),
a
; 1
(7.10)
!>8
s1
1-1
~ f dx - ~
a
n .... oo
x 0 Ahora
SI
r>
S1+1
De este modo, les una funcin den. En este caso lm

=
El primer sumando de la suma encerrada entre corchet es no es nulo a ciencia cierta, mientras que el segundo
sumando eh tiende a cero cuando n -+ oo. De aqu se
deduce que el primer miembro de (7 .11) tiene el orden
que es estrictamente igual a O (n-r).
El resultado obtenido lleva al siguiente teorema.
Teorema 5. Si una funcin f tiene derivada continua
(x) de orden r que no es igual idnticamente a cero y la
frmula de cuadratura (7 .1) es exacta para los polinomios de
orden r - 1, pero no exacta para los de grado r, entonces
existen una constante positiva c y un punto x 0 en el segmento
[a, b] tales que tiene lugar la desigualdad
L (6k-1' Sk; f) 1 >
~r
(7.12)
k=O
para todo n = 1, 2, ... , donde l es el nmero natural

mayor, para el cual 61~ x 0
En particular, si
b
r (x) dx =I= o,
59
."""'
podemos considerar l = n, y, de este modo,

cambio
~n
b. Si, en
~ f<r> (x) dx =O,

a
entonces x 0 < b.
El teorema 5 constituye cierto complemento para el
teorema 1.
La enunciacin del teorema 1 puede ser reforzada. A
saber, tiene lugar el siguiente teorema.
Teorema 6. Si la frmula de cuadratura (7 .1) es exacta para todos los polinomios de grado r - 1, entonces para
cualquier funcin f perteneciente a la clase w<r>(M; a, b)
n-1
sh+1
"'' 1 j\
LJ
k=O
.
fdx--L(sk-Sk+i;
f)
~ (b-a)'+l
~r c,M
3
(7.1)
sk
Para cerciorarse de la validez de esta afirmacin, debemos analizar una vez ms los clculos (6.13) y (6.14)
que se aducan al demostrar el teorema 1.
El teorema anlogo al teorema 5 que es al mismo
tiempo el corolario del teorema 5 se enuncia del modo
siguiente.
Teorema 7. Si una funcin f tiene derivada continua r>(x) de orden r que no es idnticamente igual a cero y
la frmula de cuadratura (7 .1) es exacta para los polinomios de grado r - 1 y no lo es para los polinomios de r-simo grado, existe una constante positiva c tal que se verifica
la desigualdad
'
n- 1 Sn+t
~ ~ f dx - L (~k' Sk+1; >
k= O
f)I
:r
sk
para todo n = 1, 2, ...

Observacin 2. En los teoremas 5, 7 puede suponerse la integrabilidad de <r> (x) segn Riemann en lugar de la continuidad
de <r) (x) (vase Observacin f) .
As pues, queda demostrado que para todas las funciones que tienen en [a, b] derivada continua (o, incluso,
60
integrable segn Riemann) de orden r, excluidos slo los

polinomios Pr-i de grado r - 1, la aproximacin con
ayuda de la frmula de cuadratura (7 .1) tiene el orden
que es estrictamente igual a O (n-r). Por consiguiente, si
una funcin f (x) tiene derivada de orden superior a r,
sea ella incluso analtica, de todas formas, al aplicar para
el clculo de su integral definida la frmula de cuadratura (7 .1 ), exacta slo para los polinomios P r-i (pero no
para P r), no podremos a ciencia cierta obtener el efecto
mejor en el sentido del orden de aproximacin en comparacin con aqul que tiene lugar para las funciones que
poseen la derivada discontinua de r-simo orden. Por
ejemplo, por buena que sea una funcin, siempre que ella
no es un polinomio de tercer grado, el orden de aproximacin de su integral, al aplicar la frmula complicada de
Simpson, no puede ser a ciencia cierta mejor que O (n-).
Si la funcin f (x) tiene en el segmento [a, bl, digamos,
la quint derivada, entonces para que esta propiedad diferencial de la funcin pueda dar un efecto completo en el
sentido del orden de aproximacin de la frmula de cuadratura, hace falta tomar la frmula de cuadratura que sea
exacta pasa todos los polinomios de cuarto grado, por
ejemplo, la frmula complicada de Cotes con cinco nudos, o bien la frmula complicada de Gauss con tres nudos (vase 5).
Hemos considerado el caso en que la integral definida
de una funcin de la clase w<r) (a, b) se calcula aproximadamente con ayuda de una frmula de cuadratura complicada, exacta para los polinomios de grado r -1. Pero puede ocurrir que la funcin pertenezca a la clase w<r>(a, b),
mientras que la frmula de cuadratura es exacta para los
polinomios de grado p - 1, y, adems, r y p son independientes una de la otra. Sir~ p, entonces, como ya hemos
aclarado, el orden de aproximacin con ayuda de la frmula de cuadratura (7.1) es igual a O (n-P) y este orden no
puede ser mejorado para todas las funciones f E w<r) X
x (a, b), a excepcin de los polinomios de grado p-1.
Trataremos de darnos cuenta qu ser en el caso cuando r < p. Ya que la frmula de cuadratura es exacta para los polinomios de grado p - 1 de eso se deduce que es
tambin exacta para los polinomios de grado r - 1.
De este modo, en virtud del teorema 6, podemos afirmar
que para toda la clase W<r> (M; a; b) de funciones tiene lu61
1-~ ...
gar la estimacin (7 .13) que da el orden exacto O (n -r)

de aproximacin de la frmula de cuadratura. Sin embargo, para cada funcin f de la clase W<'> (M; a, b) este orden es un poco mejor. Esto se ve de la frmula (7 .3),
la cual es, evidentemente, aplicable al caso en consideracin. En esta frmula la constante
1
X=
J F,(t)
dt=-;y-
dTtr
J F,(t)(fT
\
dt
es igual a cero, lo que se deduce de la igualdad bsica

(6. 9) y del hecho que, por hiptesis, nuestra frmula es
exacta para los polinomios de grado p > r - 1. Por eso,
para cada funcin separada f de la clase w1r>(a, b) tiene
lugar la siguiente igualdad
s1
1-1
~ fdx- ~ L
O
(sk, Sk+i; f)=(
b-;:a )7 en = o(n-r),
k=O
donde en -+-O uniformemente respecto de l (O~ l~ n).

En ciertos casos esta estimacin puede ser reforzada.
Por ejemplo, si una funcin f (x) de la clase w<r> (M; a, b)
tiene discontinuidades de la derivada pr> (x) slo en los
puntos a 1 , a 2 , , a N pertenecientes a la totalidad
Sk, y en los segmentos [a, a1 ], [a1 , a 2 ], , [aN, b]
tiene derivadas continuas a trozos de orden p, entonces el
orden de aproximacin de la frmula de cuadratura
(7.1) ser o (n-P)*). Esto se deduce directamente de la
desigualdad (7.13) que debe aplicarse a cada uno del nmero finito de segmentos [a, a 1 J, [a1 , a 2 ], , [aN, b].
En cambio, si los puntos de discontinuidad ak de la derivada /<'> se ubican estrictamente dentro de los segmentos
[sk, SH1 ], el orden de aproximacin para la: funcin
dada ofrecido por la frmula de cuadratura (7 .1) no ser,
en el caso general, o (n -r).
Los razonamientos aducidos se deben tomar en consideracin al elegir tal o cual frmula de cuadratura cuando
resulta necesario calcular aproximadamente la integral
definida de una funcin concreta dada.
*) Se escribe n = o (~n) (n -
oo), si lm (an /~n) =O y

n-oo
se dice que an para n - oo es una magnitud de orden superior de

pequeez en comparacin con ~n
62
Se debe tener en cuenta, adems, que hemos tratado

aqu el orden de aproximacin. El orden de por s (sin
conocer la constante que figura en l) nos indica slo
cmo se porta la aproximacin, si aumentamos n hasta
el infinito. Mas, en los clculos prcticos hemos de cont entarnos con valores determinados fijos de n. Para la
estimacin real de una aproximacin con n fijo el papel
decisivo lo desempea no slo si conocemos el orden de
aproximacin, sino tambin la constante que figura en
el orden. Expliquemos esto con un ejemplo.
Si se sabe que dos frmulas de cuadratura en consideracin dan los rdenes de aproximacin O (n- 2 ) y O (n-''),
esto slo significa que existen dos constantes positivas
C1 y C2 tales que las aproximaciones citadas no superan
C1 n- 2 y C2 n- 4 , respectivamente. Est claro que la segunda estimacin es, para n suficientemente grandes, mejor
que la primera, es decir, existe tal n 0 suficientemente
grande que para todo n > n 0
C1n-2 > C2n-4.
(7.14)
P ero, cuando n son pequeos, el problema cul de las magnitudes en consideracin es menor depende tambin de la
respuesta a qu son iguales C1 y C 2 Por ejemplo, si C1 =
= 0,001 y C2 = 1, entonces paran~ 10 la primera estimacin es mejor que la segunda. Indiquemos que el propio nmero n 0 , a partir del cual tiene lugar la desigualdad
(7. 14), depende a su vez del valor de las constantes C1
y C2
De lo dicho se desprende que si necesitamos conocer la
estimacin numrica real de la aproximacin de una frmula de cuadratura dada, no podremos evitar el clculo
de la constante correspondiente de aproximacin. Sabemos de lo anterior (vase (6.12)), que este problema en los
rasos examinados se reduce al clculo de las constantes
C r definidas por la igualdad (6.11).
A los razonamientos enunciados se aaden en la prctica otras circunstancias bastante importantes. Una
frmula de cuadratura ms exacta resulta ser frecuentemente ms complicada y engorrosa. De este modo, los
elculos que se hacen ayudndose de ella son mas laborio~os . Se debe tener en cuenta, adems, que prcticamente
l'n muchos casos son conocidos no los valores exactos
f (xk ) de la funcin f (x), sino sus valores aproximados que
63
se calculan con ciertos errores. Eso conduce a que las sumas

m-1
L (f) = ~ Pk (xk)
k=O
o las sumas semejantes para las frmulas de cuadratura

complicadas las sabemos tambin slo con una exactitud
de hasta ciertos errores, los cuales, naturalmente, sern
tanto ms grandes cunto ms engorrosas sean las frmulas de cuadratura elegidas.
lleve a una nueva frmula de cuadratura que ya ofrece una

aproximacin de orden O (n-r- 1 ) para las funciones con
1> (x}.
derivada continua
Convengamos en considerar, para la comodidad, que
nuestra funcin f (x) est definida y tiene derivada continua de orden r
1 sobre el segmento [a, e], donde b <
< c. Esto no limita la generalidad de los razonamientos,
puesto que una funcin que tiene en [a, b] la derivada
continua <r+i (x) puede ser siempre prolongada en [a, e]
conservando intacta esta propiedad. Pongamos
r+
~kf = f (sk+1) - f (sk), ~~! = ~k+d- ~kf,

Mf=~l+d-.if,
8. Constante x. Precisin de la frmula

de cuadratura
y mostremos que la frmula de cuadratura
En el 7 se ha aclarado el papel de las constantes

1
X=~ F
~~
..
T (t) dt
o
en las cuestiones tericas de aproximacin por medio de
las frmulas de cuadratura. Ms abajo veremos que las
constantes x tambin pueden desempear un papel esencial en la propia construccin de las frmulas de cuadratura.
Imaginmonos que con el fin de calcular la integral
definida en el segmento [a, b] de cierta funcin f (x) se
ha usado la determinada frmula de cuadratura complicada
L (Sk, Sk+ 1; f),
(sk, Sk+t; /)
+ hx (~"n- 1 /- ti~- 1 !),
k=O
h=(b-a)/n,
(8.2)
proporciona para todas las funciones f (x) que tienen derivada continua de orden r
1 la aproximacin de orden
O (n-r-1).
En efecto, observemos que
n-1
n-1
~ Mil=~ (~;;~/-M,- 1 f)=ti~- 1 -.~-1.

k=O
k=O
Adems, en virtud del teorema del valor medio, tiene

lugar la igualdad 1)
f:!.T f
:r
(8.1)
k=O
que es exacta para todos los polinomios de grado r - 1.

Si la funcin tiene derivada acotada de orden r, entonces,
como ya sabemos, el orden de aproximacin de la frmula (8.1) es igual a O (n-r). Sabemos tambin que si nuestra funcin tiene realmente una derivada de orden r+ 1,
esta circunstancia (en el caso de que la frmula no sea exacta para los polinomios de grado r) de por s no mejora el
orden de aproximacin. No obstante, veremos ahora mismo que puede agregarse al segundo miembro de la igualdad aproximada (8.1) una expresin no compleja tal que
64
n-1
~ f (x) dx ~ ~ L
n-1
~ f (x) dx ~ ~
a
...
ek
donde
r> (sk + rhe,.),
satisface las desigualdades
o< ek <
1.
1 ) Cuando r = 1, es el teorema corriente del valor medio.

Admitamos que el teorema es cierto parar - 1, entonces
l:!.k.f
l:!.;- 1 [f (xk + h)- f (x1i))
hT
hT
w- > (sk+ (r-1) h0' +h)-j(T-l) (s1i+(r-1) h0') _

1
= j(T> (sk + (r-1) he'+ h0") = j(T) (sk + rh0,.).
Aqu, 0<0', 0", 0k<1.

5-0864
65
Por eso, debido a la igualdad (6.13),

b
n-1
I~ fdx-~ L(sh,
a
Sk+1;
f)-hx(~~- 1 f-~~- 1 tl=
k=O.
=jhr+
n-1 1
1
~ ~ F 7 (u)j< 7 >(6k+hu)du-
1 J
\
x = 31
h=o o
n-1 1
- hr+ 1
~ ~
k=O
h=O
F, (u)
~~!
[ (1- t) 4
4
2
( 1
)
1
3 K4 2 - t - 6 Kd1-t)
1/2
1 \
2--t )3 dt-5
J (i-t) dt J=
du 1 ~
1 [ 1
= 5
jF 7 (u)J
Jj<'>(6,,+hu)-~~/
ldu=
n-1 1
'
~~).
9. Estimaciones de las frmulas

de cuadratura multidimensionales
donde
En los clculos aproximados de las integrales mltipl es del tipo
e,=~
1 Fr (t) 1 dt, Kr+t = mx J j<r+t) (x) j.

a~x~c
o
Nuestra afirmacin queda demostrada.
Valindonos de la frmula (8.2), podemos en algunos
casos precisar el resultado ya obtenido por la frmula
(8.1). Imaginmonos que, acabados los clculos segn la
frmula (8.1), se advirti, por ejemplo, con arreglo al
carcter de variacin de Md que la funcin en consideracin f (x) tiene derivada menor de orden r
1. En este
caso la adicin de la expresin hx (M,- 1 f - ~~-/)
al segundo miembro de (8.1) o de una expresin ms cmoda (que se diferencia de la primera en O (n-r- 1 ))
hx (~~-~/).d- ~~- 1 /)
(8.3)
~ ~ f (x,
y) dx dy
a e
se aplican a menudo frmulas de cuadratura que pueden

obtenerse de las frmulas de cuadratura unidimensionales
complicndolas de un modo correspondiente.
Tomemos como iniciales dos frmulas de cuadratura
del tipo (4.1):
1
~ f dx ~ L
o
(f),
~ f dy ~ L1 (f),
(9.1)
don de
m-1
L (f)
puede conllevar a la mayor precisin del resultado aproximado obtenido.

El clculo del valor exacto de x no representa dificultades algunas. Se reduce a la simple integracin de la
66
-2880 (~;-3
k=O O
- <'> (sk rhek) 1 du~hr+ 1 rhncrKr+t =
(n-r-1)
-- K r+1 r (b- a) erhr+ 1-0
-1
2880.
De este modo, el sumando adicional (8.3) en este caso tiene por expresin
= hr+ 1 ~ ~ 1F r (u) I I <r> (6,, + hu) -
J dt=
\ ( 1
20-3 J
n-1 1
~hr+1~ ~
funcin F r (t), que es igual en los intervalos parciales en

el segmento [O, 1], a ciertos polinomios algebraicos conocidos de grado r.
Ejemplo. Para la frmula de Simpson. cuando r = 4,
la constante se calcula as:
= L; Pk (xk), O~xo <

h=O
X1
< .. <
Xm-1
1,
m 1 -1
L1 (f)=
!1
L;
k=O
p,f (y,,),
O~yo<Y1 <
. <Ym 1 -1~1.
67
En todo caso supondremos que las frmulas (9.1) son

exactas para las constantes, es decir, que se cumplen las
condiciones
m-1
m 1 -1
~ Pk = j Pi = 1.
k=O
(9.2)
k=O
Si en un cuadrado O~ x, y~ 1 est dada la funcin

continua f (x, y), entonces para calcular aproximadamente su integral definida podemos aplicar en el cuadrado citado la siguiente frmula de cuadratura:
1
y) dx dy
~ ~ ~
k=O
O O
(9.3)
la cota superior:
c'=sup 1 ~ cpdx-L(cp),
.. '
4PEml'
f (x, y) dx dy-
O O
k=O
l=O
m-1
+~
~ ~
f (x, y) dx dy-
Pk
(9.4)
f (xk, y) dy-
extendida a todas las funciones cp de la clase fill'. Dicho

de otro modo, la constante e' es el nmero mnimo entre
los nmeros /..., para los cuales se verifican las desigualdades
+~
~ ~
k=O
m-1
Pkf (xk, y) dy
m-1m 1 -1
~ ~ 1 ~ f (x,
I=
O k=O
k=O
PkPf (xk, Yi)
1 m-1
O O
1~ ~
fill".
Designemos con e'
m-1 m 1 -1
=~ ~
l=O
Supongamos ahora que se tienen dos clases de funciones continuas cp = cp (x), definidas en el segmento [O, 1]:
y
PkPf (xk, Y1) =
=L(O, 1, O, 1; /).
fill'
m- 1 m,-1
~ ~ f (x,
Si una funcin f (x, y), definida en el rectngulo O~ x,

1, posee la propiedad de que para todo y fijo ella
pertenece, como funcin de X, a m' , y para todo X fijo
pertenece, como funcin de y, a m "' entonces, en virtud
de (9.2), (9.4) y (9.6), la aproximacin con ayuda de nuestra
frmula bidimensional (9.3) satisfar la desigualdad
y~
m-1
y)
dx-
Pk (xk, y) 1 dy
k=O
1
1Pk11 ~
k=O
PkPf (xk, Yi) 1 ~
l=O
m 1 -1
f (xk, y) dy-
1~
Pf (xk, Y1)
l=O
m-1
~c'+c" ~
p,. 1
(9.7)
k=O
1
1
~ qidx-L(cp)l~t.
(9.5)
para todas las funciones cp de la clase m'. Suponemos que

tal constante finita existe 1 ) para el conjunto dado de funciones m'.
Anlogamente tomemos
1
e"= sup 1 ~ cp dy-Lt(cp) I

4PEml"
(9.6)
1) Del teorema general del anlisis matemtico sobre la existencia de la cota superior proviene que la cota superior e' existe,
si existe por lo menos un nmero A., para el cual tiene lugar (9.5)
cualquiera que sea <p perteneciente a la clase ml'.
68
o la desigualdad
f (x, y) dx dy-
:~:
PP (x., Y1)
1~
m 1 -1
~e' ~ IP 1+e",
(9.8)
l=O
111 cual se obtiene por razonamientos anlogos.

Partiendo de la frmula (9.3), puede construirse para
1111 rectngulo arbitrario a~ x~ b, e~ y~ d la siguien69
En este caso tenemos
te frmula de cuadratura
b
~ ~ f (x,
y) dx dy
-1v-1
~ ~ f dx dy- ~ ~
~ L (a, b; e, d; /) =
a e
a e
m-1 m 1 -1
= (b-a) (d-c) ~ ~
b-a
P1tPf (a-t-
L u(/) 1 ~
i=O i=O
que, naturalmente, se llamar semejante a la frmula de

partida.
Por fin, podemos dividir el rectngulo dado en v
rectngulos iguales a;1 (s;~ x~ Si+1 YIJ~ Y~ YIH1)
(i = O, 1, ... , - 1,
j = O, 1, . ,. ., v - 1),
donde
los puntos
y YIJ dividen los segmentos respectivos
[a, b] y [e, d] en partes iguales, y a continuacin aplicar
la correspondiente frmula semejante a cada uno de los
rectngulos aducidos. Como resultado, obtendremos, a
partir de la frmula (9.3) la siguiente frmula de cuadratura complicada correspondiente al rectngulo a~ x~
~ b, e~ y~d:
b
m-1 m 1 -1
+ (s;+ -s;) x1i,
. k=O
ri1
~ P1iPf (s; +
l=O
+ (ri1+1-ri1) Yz).
Ms abajo se dan algunos teoremas que ofrecen estimaciones de aproximacin de las frmulas de cuadratura construidas de la manera citada.
Teorema 1"". Supongamos que una funcin f (x, y)
tiene derivadas parciales respecto a x de orden r y respecto a
y, de orden s, que satisfacen en el rectngulo a~ x~ b,
e ~ y~ d las desigualdades
ar 1 ~ M'
1 axr
1 as 1
ay ~
N.
Admitamos, adems, que las frmulas de cuadratura

(9.1), definidas por las funcionales L (!),y L 1 (f), son exactas
para los polinomios de grados r-1 y s-1, respectivamente.
70
J,
~ ~
-1 v-1
Lu(/)=
i=O j=O
( ~i+l
~
1lj+1
~ ~
i=O i=O
)
~ f dx dy-L; (/) =
11j
~ hg ~: ~: {I t1(! +hu, ~J +gv) du dv1
- L (0, 1, 0,1; f(s;+hu, ri 1 +gv))}.
i=O j=O
Lii (/) = (S;+t -s;) (Y11i+1-ri1i) ~
fdxdy-
~i
~ ~ f (x, y) dx dy ~ ~ ~ L; 1 (/),
a e
-1 v-1
~ ~
-1 v-1
donde Cr y c 8 son constantes que se definen segn la frmula

(5.3) para L (/) y L 1 (/), respectivamente.
Demostracin. Hagamos h = (b - a)/, g = (d - c)/v. Entonces tenemos
s;
_, "
IP1il{-v-)
k=O
k=O l=O
+(b-a)x1i, c+(d-c)y1),
..
d-c
m
~(b-a)(d-c) [ crM(--) +Ne.~
(9.9)
La funcin f (s; + hu, YIJ + gv) tiene en el cuadrado

u, v~ 1 la derivada parcial respecto a u de orden r
que no es superior en su valor absoluto a Mhr y derivada
parcial respecto a v de orden s que no supera en su valor
absoluto N g. As pues, la dicha funcin pertenece como
func in de u, para cualquier V fijo, a la clase w<r> (Mhr:
O, 1) y como funcin de v, para cualquier u fijo, a la clase
w<> (N g; O, 1). Por eso, en virtud de (4.8) tiene lugar la
esigualdad
O~
~ f (s; +hu,
ri1i
+ gv) du + Lu (/ (s; +hu,
ri1i
+ gv)) 1 ~
o
~
CrMhr,
(9.10)
donde Lu (cp) denota la operacin L que se aplica a la funcin cp, considerada como funcin de u, siendo fijas las
!'estantes variables.
71
Por analoga,
1
(9.1) son exactas para las constantes arbitrarias. En este

caso tiene lugar una desigualdad
~ f (s; + ,;,~, 'llk + gv) dv-Lv (f (s; +hu, 'llk + gv)) 1 ~
b d
~ ~ f dx dy- ~o i~O L;j (f) 1 ~ Aw b;a )+
1 (
c8 Ng'.
(9.11)
Se debe tener en cuenta que la aplicacin de la desigualdad (4.8) resulta lcita slo a condicin de que las
frmulas (9.1) son exactas para los polinomios de grados
r - 1 y s - 1, respectivamente.
De (9.9)-(9.11) obtendremos (en virtud de la desigualdad (9.7), donde es preciso considerar e' = crMhr, e" =
= csNgs):
b
+Bffi2
~hg~ ~
i=O i=O
'"#flfll
du dv-
o o
-L (0,1; 0,1; f (S +hu, 'lli
,,;; vhg (c,Mh' +c,Ng'

X
Por consiguiente, esta funcin segn la variable u

pertenece a la clase H w1 .h (O, 1) para cualquier v fija, y
segn la variable v, pertenece a la clase H w (O, 1) para
cualquier u fija. Por eso, en vista del te;~~ma 2, 6,
donde se debe considerar a = O, b = 1, n = 1 tienen
lugar las desigualdades
1 1
~ ~ f (s; +hu, 'lli+ gv)
)r
[CrM (-b-a
- +es
+ gv) 1 ~
:~: IPI) ~ (b-a) (d-;-c) x
m-1
"1
LJ IPk IN
d-c
-"-
f(S+hu, ri1 +gv)du-Lu(f(s;+hu,
~ ( 1+ ]
}s]
1
0
rirt- gv))I~
IPkl)wdh),
k= O
y el teorema queda demostrado.

Teorema 2'. Supongamos que una funcin f (x, y)
satisface en el rectngulo a~x~b, e~ y~d las condiciones
lf(x', y)-f(x, Y)I ~w.(lx'-xj),

lf(x, y')-f(x, Y)l~w2(ly'-yl),
i= O j= O
-1v-1
(9.13)
lf(s;+hu', rlJ+gv)-f (s;+hu, 11i+gv)I ~

~ wt(hlu' -- u)= w1, h (lu' -ul},
lf (s; +hu, 11i gv')- f (s; +hu, 'lli+ gv) 1~
~ w2 (gv' -vi)= w2 ,g (lv' -vi).
-1 v-1
(d-;c),
donde A, B son constantes (vase ms abajo (9.14)).

Demostracin. De las desigualdades (9.12) se deduce
que la funcin f (s;
hu, 'lli
gv) de u y v en el rectngulo 0~ U, V~ 1 satisface las desigualdades
~ ~ fdxdy- ~ ~ Lii(f)I ~
(9.12)
donde w1 , w2 son funciones, para las cuales se cumplen las

desigualdades (2.2), y, ademas, las frmulas de cuadratura
72
-1v-1
frn;+hu, 11i+gv) dv-L,, (f (s+hu, "'li+gv)) 1~
,,;; ( 1
"! IPi1) "'

1
(g),
y, por consiguiente, en virtud de la desigualdad (9. 7)

n la que se debe considerar
c'=(1+ ~r
k=O
IPkl)w1(h),
c"=(1+ m~r
IPl)w2 (g),
l= O
73
tenemos de (9.9)
b
a =O, b = 1, n = 1 y sustituir w1 (x) por hr w1 (hx),

-1v-1
~ ~
~ ~
f dx dy-
a e
tendremos
L ; (/) 1 ~
i=O i=O
:::;;;; vhg (A 1cu 1 (h)
+ B ffi2 (g)) =
1
ffi 1 (h)
+ Bffi2(g),
f (s; +hu, 11 1
+ gv) du-Lu (f (s; +hu,
donde
:::;;;; crhrw 1 (h).
= (b-a)
(d-c)
m-1
1 + h~o IPh! ,
B=(b-a)(d-c)(1+
Por analoga,
~~ JpJ)~~0
(9.14)
IPhi
lf~>(x', Y)-/;>(x, Y)I :::;;;;ffi(Jx'-xJ),

lf~s)(x, y')-f~s)(x. y)J:::;;;; ffi2(Jy'-yJ),
f (s; +hu, 11i+ gv) dv- Lv (f (s; +hu, r;

:::;;;; C8 g 5 W 2
~ ~ f dx dy- ~ ~
a e
-1v-1
:::;;;;hg ~ ~
Lu (/) 1:::;;;;
i =O i=O
1
~ ~
f (s; + hu, 11+ gv) du dv -
o o
- 1 v- 1
f dx dy-
r (
~ ~
-L(0,1, 0,1; f(s;+hu, rli+gv))I:::;;;;
L (/) 1:::;;;;
i = O i=O
:::;;;;(b-a)(d-c)Lcr -b-c
m- 1
"1 IPhl ( -dv

- c
+es L.J
-
)r ffi (-b-a
- ) +
m-1
)sffi2 (-d v-c- )]
h~o IPkl)=
- a)
- a )r w ( -b
( -b
- +
:::;;;; vhg(crhrw 1 (h)+c 5 gw 2 (g)
(9.15)
k= O
Demostracin. De las condiciones impuestas en la funcin f (x, y) se deduce que la funcin f (Si +hu, 11 +
+ gv) en el cuadrado o:::;;; u, v:::;;;; 1 pertenece segn la
variable u, siendo V fija, a la clase w<r>Hhr
(a, b)
wl, h
donde w1 , h (u) = w1 (hu), y segn la variable v, siendo
(e, d). De este mofija u, pertenece a la clase w<>H
s w2 , g
do, de acuerdo al teorema 3, 6, donde se debe considerar
74
-1v-1
i=O i = O
b
(g)
y, por consiguiente, en virtud de la desigualdad (9. 7)

suponiendo en ella e' = crhr w1 (h), e" = c 8 g w2 (g) obtenemos de (9.9)
b
donde ffi 1 , ffi 2 son funciones que obedecen a las desigualdades

(2.2). Supongamos, adems, que las frmulas de cuadratura
(9.1) son exactas para los polinomios de grados r y s, respectivamente. Entonces
~ ~
+ gv)) 1:::;;;;
Teorema 3'. Supongamos que una funcin f (x, y)

tiene derivadas parciales de rdenes r (respecto a x, r ~ 1) y
s (respecto a y, s~ 1) que satisfacen en el rectngulo a:::;;;
:::;;;; x:::;;;; b, e:::;;;; y:::;;;; d las condiciones
" " . . 11111
111 + gv)) 1:::;;;;
= (b-a) (d-c) [
m- 1
"'1 IPkl
+ es L.J
Cr
(d-c)s
- vffi2 (d
- - c)J
k=O
Con esto el teorema queda demostrado.

La extensin de los resultados expuestos al caso de
tres y mayor nmero de variables no representa dificultades algunas. Por ejemplo, en el caso de tres variables,
75
a la par con dos frmulas de cuadratura iniciales (9.1)

surge la necesidad de tener la tercera:
d onde las constantes c', c" se definen, como antes, por

las igualdades (9.4), (9.6) y
1
~ f dx ~ L 2 (/),
c'"= sup
qiE IDI"'
~ <pdx-L2 (<p)
o
m,-1
L 2 (/} ~. p',/ (zk), 0 ~
Z0
k=O
<
Z1
< <
Zm,-1
~ 1.
Entonces la frmula triple de partida tiene por expresin

1
~ ~ ~ f (x,
y, z) dx dy dz
o o o
m-1m 1 -1m,-1
~ ~
k=O
~ PkPif (xk, Yz,
l=O
t=O
Zt) =
=L(0,1, 0,1, 01; /).
' " lf 1111!1
Para obtener la desigualdad, por analoga con (9. 7),

debemos partir ahora de la condicin de que la funcin
f (x, y, z) pertenece segn cada una de las variables x,
y, z por separado a las clases ~',
fili"'.
Tienen lugar, pues, las siguientes desigualdades:
m"'
~ f dx ~ L (/),
f(x, y, z)dxdydz-
o o o
-
k=O l=O
1 1
donde
~ PkPP'f (xk, Yz,
O O
~ ~
IPkPI
1
Zt)
f(xk, Yz, z)dz-
+c"' ~
k=O
~ IPkPI,
l=O
X2
< ... <
Xm
~ 1,
una frmula tal que la magnitud de la cota superior

1
sup
~ f dx-L (/)
1,
(10.3)
m-1
k=O
m-1 m 1 -1
<
(10.2)
!EH
~ c' +c" ~ IPk 1 +
t=O
X1
PkPf X
m 1 -1
~ Pf (xk, Yz,
~ ~
L (/) = ~ Pkf (xk), O ~

k=1
k=O 1=0
1
1=0
k=O
76
i~
m-1m 1 -1
m-1 m,-1
Zt)
t=O
f (x, y, z) dx dy-
X (xk, Yz, z)ldz+
(10.1)
m-1 m,-1 m,-1
La diversidad de diferentes frmulas de cuadratura

es infinita. Adems, segn los requisitos planteados para
el mtodo de clculo aproximado de la integral definida
y segn la clase de funciones a las cuales el mtodo citado se aplica, tal o cual frmula de cuadratura puede tener
ventaja, mayor o menor, en comparacin con las otras.
En este prrafo resolvemos un problema extrema! que
conduce, en ciertas circunstancias, a una frmula de
cuadratura que nos da la mejor aproximacin.
El problema general que contiene, como un caso part icular, dicho problema consiste en lo siguiente.
Estn dados una clase de funciones H, definidas en el
segmento [O, 1), y un nmero natural m. Se pide determinar,
entre todas las frmulas de cuadratura
~ ~ ~
~ ~ ~ ~
1O. Problemas extremales
extendida a todas las funciones f de la clase H, sea mnima.

De este modo, se trata aqu de elegir en el segmento
[0, 1) los nudos Xu x 2 , , Xm de la frmula y los pesos
p 1 , p 2 , , Pm de tal manera que la aproximacin que
se ofrece por la frmula de cuadratura para toda la clase
77
de funciones H fuera mejor entre todas las aproximaciones

posibles. Ms abajo resolveremos este problema para la
clase de funciones f que poseen en el segmento la segunda
derivada acotada.
Podremos obtener diferentes modificaciones del problema planteado si buscamos una frmula de cuadratura
que sea mejor en el sentido indicado entre las frmulas
cuyos nudos y pesos no son arbitrarios, sino estn subordinados a unas relaciones determinadas impuestas con
anticipaci~n.
Comencemos introduciendo en la consideracin una

clase de funciones W~ (M; a, b), compuesta de todas las
funciones de la clase w<r>(M; a, b) que satisfacen la condicin complementaria
f (a)= f' (a)= ... =
J<r-1) (a)= O, a:::;;; a~ b.
Toda funcin f (x) perteneciente a la clase W~ (M;

O, 1) puede ser escrita en forma de la integral (vase
3):
De aqu
1
~ f dx-L (/)
sup
JEW~T) (M; 0, 1)
~~
!!!_ ~11
o
donde se ha puesto
Ah.=
(i-W _
r
u; _ _Li
m
f(x) =
,p ~ rn ~ Kr (x -
U1_)
du,
(10.5)
U1_
< uh+t
(10.6)
Cuando se trata de la clase W~r> (M; a, b), el problema

extrema! planteado ms arriba se reduce a la bsqueda
del mnimo de la integral (10.5) entre toda variedad de
sistemas de nmeros l..11. y uh (k = 1, 2, ... , m), donde O:::;;; u 1 (u)= ~ l..hKr(u-u11.)
t) j<'> (t) dt,
h=1
y fijemos nuestra atencin en el caso cuando r = 2. Segn se deduce de la igualdad (10.4), el grfico de la fun-
donde
{
')..,hKr (u -
Pm-h+t uh= 1-xm-h+t
K 7 (u)=
P11.Kr (x11. -t) 1 dt =
h.=1
"""t
_Li
h.=1
ur-1,
O,
u~ O,
u<O.
(10.4)
!/
Por eso, independiente de si es exacta o no la frmula de

cuadratura (10.1) para los polinomios de tales o cuales
grados, razonando igual que en el caso de (4.5), donde hace falta poner Pr-i (x) =O, llegamos a la igualdad
1
~ f dx - L (!)- ~ F r (t) f
o
(t) dt,
que es vlida para todas las funciones

(M; O, 1), donde
i
(i - t)7
Fr(t)=-(r-i)! [
m
-_Li
h= 1
78
f de la clase
PhKr(Xh-t)
w~
r"
UN
.,,_U
fig. 10
rin K 2 (u - uh) representa en este caso una quebrada expuesta en la fig. 10 cuyo ngulo de inclinacin es (u) representa una quebrada (fig. 11) cuyos vrtices
tienen por abscisas u 1 , u 2 , , Um Cabe indicar adems
que al variar u en el segmento [O, u 0 ], el eslabn correspondiente de la quebrada se ubica en el eje u y que 'A11.
respresenta el incremento del coeficiente angular de la
quebrada al pasar por el vrtice de la abscisa u11,.
11
entre los polinomios de segundo grado x 2 /2 - Ax - B

con el coeficiente de x 2 igual a 1/2 y las constantes arbitrarias A, B, se obtiene para el nico polinomio:
1
2h2Q2
(x-a)
x2
(h2 a2)
- h - =T-ax- 8 - 2 '
1
Q2 (x)=x 2 ---
(10.7)
(vase demostracin en el 15). Este mnimo es, pues,

igual a
a+h
; h2
1
1 Q2
a-h
x;a )
h
dx=T
J\
1x 2 -
41
h .
dx=T
-1
(10.8)
x-
{l
" ....1 ~
lip
m=t
)es el meSuele decirse que el polinomio ; h 2Q2 (

nos desviable del cero en media sobre el intervalo (a - h,
a
h) entre los polinomios de segundo grado, donde el
coeficiente de x 2 es igual a 1/2. Se dice tambin que la par-
fig. 11
te lineal del polinomio
lit
..
..
.,,
)Ir
lL
En lo dems, nuestra quebrada es arbitraria: a cada

quebrada prefijada de antemano del tipo mostrado en
la fig. 11 le corresponde unvocamente un sistema determinado de nmeros 'A11. (y, de esta manera, tambin de
p11,) y una disposicin determinada en el segmento [O, 1)
de las abscisas u11. de sus vrtices (k = 1, 2, ... , m).
De lo dicho se deduce que en el caso de r = 2 nuestro
problema extrema! se reduce a determinar entre las quebradas del tipo o~~/ (u) una quebrada tal, para la cual la
integral (10.5) alcance su mnimo para r = 2. Empleando el lenguaje de la teora de aproximacion~s, podemos decir que nuestro problema se ha reducido a la mejor aproximacin en media (en la mtrica L (O, 1) de las funciones
sumables) de la parbola y = u 2 /2 con auyda de las quebradas del tipo o~> (u) que tienen prefijado de antemano el
nmero de vrtices.
Observemos que el mnimo de la integral
a+h
a-h
80
x; -Ax-B 1 dx,
h>O,
ax
~h 2 Q 2 (x;), a saber,
+ (h /8
2
- a 2 /2),
(10.9)
tomada con el signo opuesto, hace la mejor aproximacin

en media de la funcin x 2/2 sobre el segmento [a - h,
a
hl con ayuda de las funciones lineales (polinomios de
primer grado). La magnitud h 3 /4 se denomina mejor aproximacin en media de la fu~cin x 2/2 sobre el segmento
[a - h, a
hl con ayuda de las funciones lineales.
Veamos dos polinomios (10. 7) de menor desviacin
del cero que corresponden a los intervalos (a - h, a
h)
y (b - h1 , b
h 1 ), donde a
b = b - h1 Cuando x =
1 2
= a h = b -h1 , ambos toman los valores -;;h
Q2 (1)
;h~Q 2 (-1), respectivamente. Por cuanto Q2 (1) =
Q2 (-1), estos valores coinciden cuando, y slo cuando, h = h 1 . En este caso los coeficientes angulares de las
partes lineales difieren en una magnitud
b - a= 2h.
(10.10)
=
Prefijemos ahora un nmero positivo u 1 y supongamos

que a - h = u 1 , donde h >O. Elijamos h de una manera
li-0 864
81
"""''
tal que la funcin lineal A 1u + B 1 , que hace la mejor

aproximacin en media de la parbola y = u 2 /2 sobre el
intervalo (a - h, a + h), se anule cuando u = u 1 Ya
que esta funcin debe tener, como sabemos, la forma
(10.9), el nmero buscado h ha de satisfacer la ecuacin
( u 1 +h) u 1 +~- (ui+h) 2
8
~-~h2=0
En virtud de (10.8), (10.12), la magnitud de nuestra

integral, cuando se pone en ella a<;i* (u), es igual a
(2)
1
uf u
Jr 12u -am*
(u) du = J z-du+
2
+~
v3+2
- r~
v3+2
_r~
u 1 (u-u 1).
(10.11)
k=i, 2, ... , m.
Definamos en cada uno de los intervalos (uk, uk+i)

una funcin lineal A ku + B k que realiza la mejor aproximacin en media de u 2 /2. En virtud de lo dicho anteriormente, la funcin A 1 u + B 1 se anula, cuando u = u 1 ;
adems, los grficos de las funciones Aku + Bk (k =
= 1, 2, .. ., m) prolongan continuamente uno el otro en
los puntos u 1 , u 2 , .. ., um. De este modo, todos ellos junto
con el segmento [O, u 1 ] del eje u forman una quebrada continua.
Elijamos u = u~ de un modo tal que sea Um+i = 1,
de aqu hallamos
ffim = (
V3 +
-A1u - B% 1 d u =
s
ro~
donde Y1t = A% + B% es la ecuacin del eslabn de la quebrada a<;i. (u) correspondiente al intervalo (u%, u"k+i).
Por otra parte, sea a~~.> (u) una quebrada arbitraria en
la que las abscisas de los vrtices son uh, donde
0:::;;; U< U2 < ... <
1,
~ ~2 u~> (u) j du =
1
u.
r~ 2u2 du
uk+J
~
LI
u2
(2)
J1 12
- Um
(u) 1du ~
k=i "'k
uk+l
k= I
uk
~ ~8 +~ ~
4mt 1,
La quebrada a~>* (u), obtenida de este modo y definida en el segmento [O, 1), es precisamente una de las quebradas a~ (u) las cuales tenemos que variar para hallar el
mnimo de la integral (10.5) cuando r = 2. Ms abajo
demostraremos que precisamente esta quebrada a<;i* (u)
reduce al mnimo la integral (10.5) y es la nica quebrada
que posee dicha propiedad.
Um:::;;;Um+l =
y supongamos que y = Aku + B1t es la ecuacin de una

funcin lineal que realiza la mejor aproximacin en media de u 2/2 sobre el intervalo (uh, U1t+ 1 ). EntQnces, tomando en consideracin (10.8), tenemos
u%=(-V3+4(k-1))rom, k=1, 2, .. ., m+1,

h* =2rom.
(10.12)
82
uk
=6-+2mrom = - 2 - ,
Sea
uk=u 1+2(k-1)h,
~2
u~
u1
y la mejor funcin lineal correspondiente ser
V3 rom,
k=I
h=--}13 u 1 a=u 1 +h=
u!=
*
uk+I
De aqu se deduce que
A 1u+B 1 =
~g
+!~
~2 -Aku-Bkldu=
Uk+l; Uk
)3
k= I
m
_ 6
ug
-
+321 LI~
( uk+t-uk ) .
(10.13)
k=I
En este caso la desigualdad que figura entre estas rese convierte en una igualdad estricta slo cuando
J ne iones
l ..
83
ser la nica mejor frmula para la clase de funciones W~2 '

( M; O, 1). Dicho de otro modo, tiene lugar la igualdad
en cada uno de los intervalos (u 11 , uk+ 1) los eslabones correspondientes de la quebrada a<;,> (u) realizan la mejor
.aproximacin en media de la parbola u 2 /2.
Con el fin de estimar el segundo miembro de (10.13)
por debajo, hemos de encontrar su mnimo entre todos los
u 0 , u 2 - u 1 , , Um+ 1 - Um posibles que satisfagan la
igualdad
+ k=1
~ (uk+t -uk) =
1.
(10.14)
f dx - L (/) 1 =
~ f dx-L* (/)
wJ 2>(M;
0,1)
Mro;h
-2-
(10.16)
x:
k=1
es la nica quebrada, entre otras quebradas a;~/ (u), que

Teduce al mnimo la integral (10.5.) Con ello, en virtud
-O.e (10.10), (10.11), tenemos
x:
1.:=A:-A:-1=2h*=4ffim, k=2, 3, ... , m,
~ * = A 1 = y3
.
y+ 2 U1* = (2 + lV-3) Wm
"'1
11
Por fin, si tomamos en consideracin las sustituciones

(10.6), obtenemos el siguiente resultado.
Teorema 7. Entre las frmulas de cuadratura del tipo
(10.1), donde mes un nmero natural prefijado, una frmula
Ml3ro
~ fdx-L*(f)=~,
2
mx
ew&2> (M; a, fl)
(10.17)
es decir, quedar aumentada en l3 veces (comprese con

(6.12)).
La mejor frmula de cuadratura que acabamos de obtener tiene, sin embargo, la deficiencia de que provee la
mnima estimacin garantizada (indicada ms arriba)
M ffi~/2 no para todas las funciones que tienen derivada
segunda acotada, sino slo para aquellas de stas que satisfacen la condicin inicial
~ f dx ~ L* (/) = ~ p:f (xk),

k=1
determinada por los nudos y pesos

Xk=4kffim, k=1, 2, . .. , m, ffim=(V3+4mt 1, (10.15)
Pk=4ffim, k=1, 2, .. . , m-1,
Vemos pues que la particin del segmento [O, 11

x~ < x~ < ... < x:i < 1) por medio de los nudos
posee la propiedad de que todos los segmentos de la
particin de izquierda a derecha, partiendo del punto
x = O (donde f (O) = .f' (O) = O!), son iguales a un mismo
nmero 4ffim, salvo el ltimo segmento que es diferente
(1 - Xm = V3ffim) Adems, los pesos en la frmula
(1.15) son iguales a un mismo nmero (p: = 4ffim,
k = 1, 2, . .. , m - 1), salvo el nico ltimo peso Pm =
= (2 +
3) ffim Estas propiedades de la mejor frmula
de cuadratura para la clase W~ (M; O, 1) quedan en vigor
tambin para las mejores frmulas ms complicadas adoptadas para las clases W~ (M; O, 1) (vase 14).
Nuestro resultado se ha obtenido para el segmento
[O, 1). Al pasar del segmento [O, 1) a un segmento arbitrario [a, ~] los nudos
se transforman, evidentemente, de
un modo semejante, los pesos Pk quedarn aumentados en
l = ~ - a veces, mientras que la estimacin exacta de
aproximacin para la clase ser igual a
/ewt2>(M; 0,1)
(O <
a~! (u)=~ 1.:K2 (u-u:)
L(f)
1\
1
Los clculos que no representan ninguna dificultad y

estn basados en los mtodos usuales para determinar el
extremo relativo muestran que el segundo miembro de
(10.13) alcanza su mnimo con la condicin (10.14) para
el nico sistema de valores uk = u: definidos por las
igualdades (10.12).
De este modo, hemos demostrado que
.. -.....
mx
mx
u0
mn
f (O) =
p~=(2+ Jf3)ffim,
/' (O) =O.
( 10.18)
85
84
__l ._
As pues, si deseramos aprovechar la frmula obtenida para la funcin f (x) que no satisface la condicin
(10. 18), tendramos que desarrollar previamente f (x)
por la frmula de Taylor en el entorno de x = O:
Teorema 8. Entre toda clase de frmulas de cuadratura

m
~ f dx ~ ~ Pkf (xk)
f (x) = f (O)+ xf' (O)+ (jl (x),
-1
k=e-m
~ fdx~ ~
hf(sk),
(10.19)
donde hacemos en virtud de (10.15)
k = _k = P~ = 4rom, - S-k = Sk =X~= 4krom,

k=1, 2, ... , m,
o=4>m, So=O.
1)
-1~ X-m
calcular por separado la integral definida de f (O)

xf' (O) y, a continuacin, aplicar nuestra frmula de
cuadratura a qi (x). Slo en este caso se puede garantizar
la aproximacin con estimacin M ro~/2 indicada ms
arriba. Sin embargo, la frmula de cuadratura obtenida
puede servir de base para construir una frmula nueva
que est privada de la deficiencia aducida y que sera
mejor para toda la clase W( 2 >(M; O, 1) de funciones. Veamos una frmula de cuadratura
.+ 1 nudos
con 2m
< <
k=-m
k=2.
Debido a esto y a la simetra, la frmula (10.19) es

exacta pasa las funciones 1 y x, y, por consiguiente, para
cualquier funcin lineal. Es interesante que 0 es igual
a los pesos vecinos k (k = 1, 2, ... , (m - 1)).
Pero, adems de eso, la frmula (10.19) posee la siguiente
propiedad notable.
86
Xo
< <
Xm~ 1
y-pesos Pk donde slo m es fijo, la frmula (10.19) es la

nica mejor frmula para la clase W( 2) (M; -1, 1). En
este caso
m
.( 2 >su~
fEW
(M, -1, 1)
fdx-
-1
k=-m
kf(sk)I =Mw';,..
Demostracin. Si una frmula de cuadratura no es exacta para todos los P 1 (polinomios de grado 1), entonces para ella (vase 4) la cota superior en consideracin es
igual al infinito. Por eso, resulta suficiente examinar toda clase de frmulas de cuadratura del tipo (10.20) que
sean exactas para P 1
Tenemos (f (O) = 01)
~
[W<2> (M; -1, 1)) = ~ [W~20> (M; -1, 1)] =

m
sup
/iEW~(M;-1,1)
fdx-
-1
xo
De este modo, esta nueva frmula de cuadratura, definida ahora para el segmento [ -1, 1], est obtenida por
simetrizacin de la antigua y adicin de un nudo so =
= O. Con ello 0 est elegido de tal modo que se verifique
(10.20)
h=-m
-1
sup
Pkf(xh)
k=-m
x 1)
P1if(xk)I=
-1
~ f 1 dx- ~
f1EW\~~(M; -1, xo) -1
+ /2EW~:(M;
sup
k=-m
~ f 2 dx - ~
xo
I+
k=1
Pk 2 (xk) j ~
~ (xo+i)t(i-xo) 3 Mw~~Mro;..
(10.21)
Las explicaciones a las primerl_l.s tres relaciones de

esta cadena (igualdades) son anlogas a aquellas que se
han aducido al tratar la cadena (5.5). La penltima co1 ) T .A. Shaidaeva (20) ha extendido este resultado al caso
de un nmero arbitrario de nudos no forzosamente impar.
87
~ ~I
rrelacin (desigualdad} es cierta en virtud del teorema 7

y (10.17). La ltima correlacin se reduce evidentemente,
a una igualdad slo cuando, x 0 = O. Si ahora ponemos
x 0 = O, llegaremos a que la penltima correlacin se reducir, en virtud del teorema 7, a una igualdad slo para
la frmula de cuadratura (10.19), donde se desconoce por
ahora slo el peso. El ltimo se determina a partir de la
relacin
2J
P1i= 1
que ha de verificarse, puesto que la frmula de cuadratura

buscada es exacta para f (x) = 1. El teorema queda
demostrado.
En el teorema que sigue se examina el caso par 1>.
Teorema 8'. Entre toda clase de frmulas de cudratura
1
~ ~
f dx
P1if (xm)
< ... <
x_ 1
<
f1 (x) = f (x), -1 ~ x~ x1 ,
f2 (x) = f (x), x 1 ~ x~ 1.
Razonando igual que en la demostracin del teorema
8, obtenemos (las explicaciones van ms abajo)
< ... <
Xm~ 1
1nv< 2><M;
1
-1, 1)
~'
f dx-
-1
Xt
j~
fiEW~{(M;-1,x)
f 1 dx-
X, 1)
P1if 1 (xk)
/+
1 ~ f 2 dx-
sup
f2EW~l)(M;
k=-m
-1
P1if(xk)I=
k=-m
-1
sup
~ ~ (x 1 +1) 3 w;,,
y pesos Pk la frmula
x1
(10.25)
(V3+ 2 (2m-1n-1.
Xm=
(10.22)
con 2m nudos (una virgulilla que acompaa ~ indica que

el sumando con ndice k = O se omite)
- h:;;;xm
~' v1if (rk) l=Mx;,,,
k=-m
-1
sup
k=-m
-1
1 ~ f dx -
sup
-1, 1).
1
/EW( 2 )(M;-1,1)
w< 2> (M;
Demostracin. Definamos una frmula de cuadratura

arbitraria de la forma (10.23) que sea exacta para todos
los polinomios del tipo P 1. Supongamos que
k=-m
es la mejor, siendo m fijo, para la clase

Y, en este caso,
~ Pkf2(xk)1~
k=2
x1
+ ~ (1 -x
1} 3
w;,,_ 1 =
'ljJ
(x 1 )~ Mx~.
(10.26)
~ f dx ~ ~'
vkf (r,i.),
(10.23)
k=-m
-1
(x1
o bien
donde
k = 1, 2, .. ., m,
vk = 4xm, k = 1, 2, ... , m - 1,
(10.24)
-lJ-k = lJk
Vm
= (4k -2)
= (2
Xm,
+ V3}
La derivada de 'ljJ se anula cuando
+ 1)
(x1
2 w~
+ 1)
+ (1 -
= O,
X} ffim-1
+)
lJt =
88
Wm
x 1 } 2 w~_ 1
En el interior del segmento [-1, 1) esta ecuacin tiene

la nica solucin (correspondiente al signo
Xm,
1) Este teorema est demostrado por T.A. Shaidaeva (20)

que aplic para obtener el mtodo de factores de Lagrange.
(1 -
Wm-1-Wm =2Xm
Wm-1 +wm
Para ella 'ljJ" (r 1} > O, por lo cual la funcin 'ljJ (x)

alcanza en el segmento [ - 1, 1) su nico mnimo en el
89
punto x1 = r 1 que es igual a

4Wfu_,Wfu
"i' ( '111 ) = M (Wm-1 + Wm )2
El teorema est demostrado.

Cuando m = 1, la frmula simtrica de
cuadratura (10.19) tiene por expresin
Ejemplo.
M
Xm
De este modo, en la cadena (10.26) la ltima relacin se

.reduce a una igualdad slo cuando x1 = r 1
Al suponer en la frmula de cudratura (10.22) x 1 =
= r 1 , concluimos que la segunda correlacin en la cadena (10.26) se reduce a una igualdad (vase teorema 7) slo cuando los puntos xk = 'llk (k = 2, 3, ... , m) dividen el segmento [r 1 , 1] observando la misma razn en la
que los puntos 4 (k - 1) rom-l (k = 2, 3, ... , m) dividen
el segmento [O, 1] y, adems, si los puntos xk = 'llk
(k = -m, ... , -1) dividen el segmento (-1, r] observando la misma razn, en la que los puntos -4krom
dividen el segmento (-1, O].
Como resultado, obtenemos el nico sistema de nudos
-
1 ~ '11-m
< <
'11-1
<
'111
< <
y el nico sistema de pesos v_m, .... v_ 1, v2 ,
'llm
-< 1
para los cuales todas las relaciones de la cadena (10.26) se

reducen a una igualdad. Por consiguiente, el nmero v 1
se determinar solamente de la correlacin
~ f dx ~ rod{(2 + V3) f ( -4ro 1)+ 4/ (O)+

-1
+ <2 + Y3> t <4ro1)1.

En este caso la medida de aproximacin de esta frmula
para la clase W< 2> (M; -1, 1) es
Mro 21 = /
Notemos, para comparar, que la medida de aproximacin,

correspondiente al segmento (-1, 1], de la frmula de
Simpson
1
~ f dx~{-u<-1)+4/(0)+f(1)}
vm,
h' Vk=2,
k=-m
la cual ha de verificarse, puesto que nuestra frmula de
cuadratura debe ser exacta para funciones lineales, en
particular, para la funcin f(x)
1.
Los clculos muestran (vase (10.15)) que
-1
para la misma clase W< 2>(M; -1, 1) es igual a 8M/81 ~

~ 0,10M (la constante c 2 = 1/81 para el segmento
[O, 1] (vase 5) ha de multiplicarse por 23 ).
Resulta interesante tambin comparar el resultado
obtenido con la frmula de los trapecios complicada
1
==
'Ylk -'llk-l = 4rom-l ( 1-r1) = 4xm, k = 2, 3, ... , m,

'llk-'llk-1=4rom(1+r 1)=4Xm, k= -(m-1), ... , -1, 1;
teniendo presente que r 1 = 2xm, obtenemos las primeras igualdades (10.24). Luego (vase (10.15)),
Vk=4lm_1(1-r 1)=4Xm, k=2, 3, ... ,m-1,
V1i=4rom(1+r 1)=4Xm, k= -(m-1), ... , -1,
Vm
= (2 +
Y3) (t)m-1 (1- '111) = (2 + Y3) Xm,

m
-1
V1=290
k=-m
Vk-
~ V11.=4Xm
k=2
r!'f ' ~ 0,045M.
- 3+4
~ /dx~+[f(-1)+2/(0)+/(1)]
-1
con tres nudos. Ella proporciona la medida de aproximac in para la clase W< 2>(M; -1, 1), igual a 1/6 (la constante c 2 = 1/12 para la frmula de los trapecios ms simple
(vase 5) ha de ser duplicada).
El problema examinado (para r = 2) en el caso de
r > 2 arbitrario no est resuelto.
Cuando r = 1, el problema se reduce a la determinacin del mnimo de la integral
1
k=i
~\u-~ A-11.Ki(u-uk),du=~
iu-aiAl(u)idu,
o
91
donde
1,
Kt<u)= { O,
y la funcin escalonada extrema! ser
u>O,
Se trata, pues, de Ia mejor aproximacin en media sobre el segmento [O, 11 de la funcin con auyda de las funciones escalonadas a~ (u) con puntos arbitrarios de discontinuidad u1 , u 2 , , um, es decir, de tales funciones que
en cada intervalo (O, u1 ), (u1 , u 2 ), , (um, 1) toman un
valor constante; adems, sobre el intervalo (O, u1 ) este
valor constante es igual a cero. Por consiguiente,
O, O<u (u)= {
ck,
uo
~ 1u-a\.:,>(u)1 du= ~
O
udu+
k=1
~~6+~ ~/u2
+"'L.Jm
A.%= . . _2 ,.
2k
"'
m
~ f dx~ 2m~1 ~ f( 2:~1)'
la cual posee la propiedad de que con m natural dado ser

la mejor para la clase de funciones W~(M; O, 1). La
medida de su aproximacin para toda la clase es igual a
M
2 (2m+1)
t dx ~
~ vkf (sk),
(10.29)
k=-m
-1
si suponemos
u1+ ~ (uk+1-uk)=1.
k=i
El mnimo corresponde a los valores
92
Uk)2
a condicin de que
u%=
(10.28)
Al igual que en el caso anterior, de esta frmula puede

obtenerse la frmula de cuadratura simtrica
k=i
2 <~:::-~>,+ 1 ,
( 10.27)
k=l
"""2 (2m+1)"
(Uk+l -
k=1,2, ... ,m.
La ltima desigualdad se deduce de la resolucin del

problema de bsqueda del mnimo relativo de la funcin
2
k= 1, 2, ... , m,
Se ha obtenido, pues, una frmula de cuadratura
k=i
~+
2
L.J
k= 1, 2, ... , m,
Pk= 2m+ 1 ,
(Uk+1-Uk) 2 _ _1
4
y, por fin,
du~
ldu =
u%~u~u%+t.
De aqu tenemos
uk
Uk+Uk+l
uk
k=i
1u-ck1
uk+1
_ ug
~ -~
{ __-'!:!!.
Xk=<>-i,
uk+l
O~u~~'.,
2m+1
um+1=1
donde ck, uk (O~ uk~ 1) son constantes arbitrarias.

Es evidente que
1
a~~ (u)=
uk <u< uk+t
k=1, 2, ... ,m,
o,
u<O.
k = 1, 2, ... , m,
'Vk
= 'V_k = Pk =
2
2m+ 1 ,
-'::i-k
t
*
= '::ik
= Xk,
k= 1, 2, ... , m,
2
'Vo= ')~_L4
'
~o=.
93
~- t
El valor de v 0 est elegido en este caso de tal manera que

se verifique
m
~ Vk=2.
k=-m
As pues, la frmula de cuadratura (10.29) es exacta

para todas las funciones lineales. Ella posee la siguiente
propiedad mnima.
Teorem~ 9. Entre las frmulas de cuadratura de la
forma
m
~ f dx ~ ~
-1
(10.30)
Pk (xk),
k=- m
donde mes un nmero natural prefijado, -1:::;;;; x_m < ...

... < x 0 < ... < Xm :::;;;; 1, la frmula (10.29) da para
la clase W< 1> (M; -1, 1) la mejor aproximacin que es
igual a M/(2m
1).
El teorema 9 es un caso particular del teorema 11 que se demostrar ms abajo.

Se podra enunciar un teorema, similar al 9, para un nmero
par de nudos. La formulacin y demostracin de ella pueden deducirse (para r = 2) del teorema 12 que se demuestra ms abajo.
El problema examinado puede ser planteado en la mtrica
Lp. Demos a conocer el resultado de T.A. Shaidaeva (20] (concerniente a esta cuestin) que obtuvo la frmula de cuadratura del
tipo (10.1) que resulta ser mejor para la clase W~l (M; O, 1) entre
toda clase de tales funciones, exactas para toda/las funciones lineales. De este modo, tomando en consideracin todo lo dicho en
el prrafo 4 (en letra gallarda) llegamos a que la resolucin de este
problema consiste en determinar el mnimo de la integral
1
m-1
1
(1-t)2
""
L:.J PkKr(xk-t)
lq dt, p-+q-=1,
1
1
k= O
m- 1
al variar Pk que satisfacen dos ligaduras~ Pk

k= O
= ; , con un nmero fijo
m- 1
= 1
y~ PkXlt
k-0
de nudos Xk pertenecientes al seg-
mento [O, 1). Ahora este problema se resuelve emfleando las propiedades de un polinomio (de segundo grado, en e caso dado) que
tiene la mnima desviacin respecto al cero en la mtrica Lp (vase
16).
En la mtrica L 2 el problema semejante fue resuelto por
Yu.Ya. Dornin [5] .
94
11. Mejor frmula de cuadratura

para la clase W2~ 1 (M; O, m) en el caso
de los nudos equidistantes
Veamos, para m natural dado, una frmula de cuadratura
m
~ f (x) dx ~ ~
O
(11.1)
P11.f (k)
k=O
con nudos x11. = k (k =O, 1, ... , m) que dividen el segmento [O, m] en partes iguales. Supongamos esta vez que
las funciones f (x) pertenecen a la clase w~+o (M; O, m)
(vanse los prrafos 2, 4).
Si la frmula de cuadratura (11.1) es exacta para los
polinomios de grado n, entonces tiene lugar, en virtud de
(4.14), la siguiente estimacin exacta
sup
1ewin+1J(M'O
'
1
,m)
JfO fdx-L(/)1m
= M 11 F n+t llL,(0, m) = M ( ~ 1 F n+dt)
12
dt
)1'
(11.2)
o
donde
m
1 [ (m :---- t)n+l
Fn+t (t) = 1if
n+i
"'1
L'..J PkKn+t (k-t)
J,
k= O
y la funcin K n +1 (u) se define mediante la igualdad (3.3).

A. Sard (22) analiz el problema de bsqueda del mnimo de la integral que interviene en el segundo miembro
de (11.2) al variar los pesos Pk Este problema se diferencia de los problemas extremales estudiados en el 10
ya que en el primero se dan nudos fijos (equidistantes en
el caso dado) y hacen variar slo los pesos Pk que satisfacen las siguientes ligaduras que sealan que las correspondientes frmulas de cuadratura a variar son exactas
para los polinomios p n (x) de n-simo grado:
m&+I
s+i =
~ Pkk 8 ,
s=O, 1, ... , n.
(11.3)
k=O
95
,....
::
Sard mostr tambin que con m y n naturales dados, para

los cuales el sistema (11.3) tiene soluciones (con relacin
a Pk}, el problema extremal planteado tiene la solucin
nica.
Por consiguiente, en el caso dado entre toda clase de
sistemas de nmeros Pk (k =O, 1, ... , m) que satisfacen la ecuacin (11.3) existe el nico sistema, para el
cual el segundo miembro de (11.2) alcanza su mnimo. Re:mlta natural decir que este sistema define la mejor frmula de cuadratura (11.1) para la clase Wl,~+n (M; O, m)
con nudos equidistantes fijos (que dividen el segmento
.[O, m] en m partes).
Sard elabor, adems, el mtodo para obtener los nmeros mencionados Pk correspondientes a la solucin
extremal y este mtodo permite hallar efectivamente los
valores exactos de dichos nmeros para cada par concreto
.dado (m, n), siempre que el problema correspondiente
tiene solucin.
Nos limitamos slo a reproducir aqu la tabla de los
resultados numricos finales de Sard [22], acompandola
de las explicaciones correspondientes1 ).
Al emplear las tablas 3, 4 se debe tener en cuenta que
los nmeros Pk (k = O, 1, ... , m) satisfacen la simetra
En la Tabla 4 los d.atos numricos de los resultados (no

todos) de la Tabla 3 son un tanto variados (los pesos estn
desplazados) para obtener frmulas que sean ms cmodas en la prctica. La ltima columna de la Tabla 4
seala los errores (en porcentaje) de aproximacin que
surgen en este caso. Para dos casos en la tabla 4 se aducen dos variantes posibles de la frmula de cuadratura
cambiada.
Ejemplo como usar las tablas 3, 4. Se pide escribir la
mejor frmula de cuadratura para la clase W~! (M; O, 4)
con nudos equidistantes en el caso de que m = 4. En tal
caso n = 1. De la tabla 3 deducimos que la frmula que
se busca tiene por expresin
4
~ f (x) dx ~
o
32
26
(11.4)
El error de aproximacin para la funcin f (x), que

tiene en el segmento [O, 4) la segunda derivada f" (x)
que satisface la desigualdad
4
~ 1 !" (x)
12
dx) 112
~M,
(11.5)
Pm-k
que pudiera ser demostrado en el caso general. Por eso, en

las tablas para cada par dado (m, n) se dan slo los valores de p 0 , p 1 , , P<m+i>; 2 cuando m es impar, y los
valores de p 0 , p 1 , , Pm/ 2 +, cuando m es par.
Los valores de Pk que se consideran resultan ser nmeros racionales, pero no enteros en el caso general. Para
no recargar las tablas con nmeros fraccionarios, se elige,
para cada par (m, n), un nmero entero ~ (mnimo comn
denominador de los nmeros Pk correspondientes al par
dtado) y en lugar de Pk fraccionarios se aducen los nmeros enteros Pk~
Las cotas superiores exactas de las aproximaciones
que se obtienen de las frmulas de cuadratura en consideracin son tambin nmeros racionales lo que podemos
ver en las tablas.
[f (O)+ f (4)]
+23ff(1)+f(3)J+28f(2).
Pk
;!
no es superior a
M
105
= M 0,009524.
(11.6)
En lugar de la mejor frmula exacta (11.4) (para la

clase Wl;! (M; O, 4)) podemos, valindonos de la tabla 4,
escribir la frmula de cuadratura que sea prxima a la
mejor. Ella tiene por expresin
4
~ f (x) dx ~ 0,39 [f (O)+ f (4)) + 1,15 [f (1)+

o
1 ) Las tablas 3 y 4 se han tomado del artculo de A. Sard [22).

l,as tablas ms detalladas de este tipo vanse en [21).
+f(3)J+0,92f(2).
(11.7)
El error de aproximacin proporcionado por la frmula (11. 7) para la funcin f (x), que tiene sobre el segmento [O, 4) la derivada f" (x) que satisface la desigualdad (11.5), ya se evala como la magnitud un poco mayor
(M 0,009533) que se diferencia, sin embargo, de la
magnitud (11.6) slo en el 0,1 %.
96
7- 0864
97
Tabla 3
Mejor frmula para las clases w~,+1) (M; O, m) con nudos

equidistantes en el segmento [O, m]
Tabla 3 (continuaci6n)
m 1 c0 A
1 c 1A
c3 A
1 c,A
~ wl_~+ 1 > (1; O, m)] =
sup
=
11 /(n+l)
11
=Jmn
mi
Co
1 c,A
L, (0, m),;:;; 1
h=O
~ fdx- ~ Phi (k) 1=

1 c A
3
Pm = Cm
Jmn
n=O
~- &: :~
1 1
1 112 =0,083333
21
2 1
2
1 12 = 0 , 166667
3 1
2 1
3
2 l 12=0 ,25
21
11
41
.1
31 18190 =0,000529
31
31
91
11
81 8960 =0,001228
41
211
761
461
11
601 12600 = 0,000873
5 1
1121
3791
2891
73
3121 69888 =0,001045
6 1
551
1921
1321
11
1551 10850 =0,001014
1121
n=3
2 1
11
41
1
31 9072 =0,000110
3 1
31
91
13
81 17920 =
41
2 1
2 1
51
2 1
5
1 12 = 0,416667
51
6 1
2 1
2 1
6
112=0,5
6 11082811144099461222504314304484132900141
41
23491
99321
44301
293921 1102091
768191
o' 000725
6557
72481 36529920 = o' 000179
4
1 12=0,333333
Jmn
n=2
p=C,
Po= co,
1 c,A
61633
1 865681 193912320 - 0,000318
92~12~;720 =
o' 000228
n=i
Tabla 4
1 1
2 1 120 =0,008333
21
10 1
31
11
10
1
1 105 =o' 009524
1
41
11
32
26
28
51
15
43
37
38
41
61
100
1118
Frmula aproximada para la clase W~n+t) (M; O, m)

con nudos equidistantes en el segm~nto [O, m]
(frmula que aproxima los datos de la tabla 3)
l 160=0,00625
J mn
1~0 =0,008333
4~6
Jmn
Desviacin
m c 0 A c,A
c,A
c,A
Jmn
= 0,010965
=0,012340
1106 1104 1 6240
77
4 1 39 1 115 1 92
100 1
n=1
143
H
rn~
=o, 009533
deJmn respecto a Jmn

en%
0,10
1
98
7*
99
111111 !1
Tabla 4 (continuacin)
Desviacin
de Jmn respecto a Jmn
en %
~
m c0
c,
c,
Ca!i
5 40
112
98
100
6 40
112
98
100 100
51 43
I 148 I 111 1
Jmn
1 1201
11
103 =0,011
0,32
31
25102 =0,0124
0,49
n=2
79
75610 2
0,001045
;6 =0,001014
77.11
4 1 97 1 412 1 182 I
n=3
10193
567105 =o ,000180
0,04
0,003
112001
0,15
0,06
0,003
1,85
3,52
Las tablas aducidas 3, 4 se dan para los segmentos

[O, m]. Su transicin a cualquier otro segmento no repre-
senta dificultades. As, es fcil ver (vase 6) que si la

frmula (11.1) es la mejor para la clase Wi~+o (M; O, m)
entre las frmulas que tienen nudos fijos x1i = k
(k = O, 1, ... , m), entonces la frmula semejante
m
~ f (x) dx ~ ~ cd (x.) = L 1 (f),

a
k=O
donde
,
C,=
(b-a) k
m
100
b-a
X=a+--k
k=O, 1, ... , m,
sup
Ja f dx- Li(f) 1=M11 F n+1 llL,(a, b)
1 \
(n+!)
fEW L 2
(M: a, b)
11 F n+1 llL,(a,
b)=
b-a )n+2-1/2
( -----,-
11Fn+i11 L (0, m)
2
12. Frmulas de cuadratura en las cuales
1i54043
0,000318 1
36288105
31923
0,000228
61329113411 61511310110001
1
10 107
46987
0,000324 1
5 1 81 1 307 I 2121
1 240 1 145152103
1487
0,000236
613311341 67113211001 63105
1
514071152911064 I
correspondientemente
mejor
para
la clase
b) con los nudos fijos xt. Adems, en virtud de la desigualdad (6.17), donde se debe poner n = 1
(n tiene otro sentido all), la estimacin
Wi~+>(M; a,
est ligada con la estimacin (11.2) del modo siguiente:
6135511238 I 85311108110001
1 3001
es
figuran valores de las derivadas

de la funcin
Hasta ahora hemos considerado las frmulas de cuadratura por medio de los cuales se calcula aproximadamente la integral definida de una funcin, siendo conocidos
los valores de dicha funcin en los puntos aislados, es
decir, en los nudos de la frmula de cuadratura. No obstante, son posibles frmulas de cuadratura ms generales,
en las cuales intervienen tanto los valores de la funcin,
como tambin valores de sus derivadas de uno u otro
orden.
Si se saben no slo los valores de la funcin f (x) en
los puntos x 0 , x 1 , , Xm del segmento [O, 1), sino tambin los valores de sus derivadas de tal o cual orden, es
natural que al utilizar correctamente todos estos datos,
podemos esperar un resultado ms exacto que en el caso
cuando se usan solamente los valores de la funcin.
La frmula de cuadratura en la cual figuran los valores de la funcin f (x) y de sus derivadas de orden hasta
p inclusive en los puntos x 0 , x 1 , , Xm tiene en el
caso general la forma siguiente:
.1
'
m-1
~ f dx ~ ~ ~
O
p,f< 1> (x1i) = L (f),
(12.1)
k=O l=O
101
111
donde P11.z son nmeros dados (los pesos), x11., los puntos
dados que satisfacen la condicin
mediante la condicin de exactitud),

1
O~x0 <x 1
~ fdx-L(f)= ~ R 7 dx-L(R 7 )=
<xm-1~1.
Si la frmula (12.1) es exacta para los polinomios

Pr_1 (x) de grado r - 1, es decir, si para ella la desigualdad aproximada se hace exacta al sustituir f por cualquier polinomio P 7 _ 1 , entonces resulta posible obtener
para ella el valor exacto del error que se expresa en trminos de la derivada <r> (x) de orden r > p~
Con este objeto nos ser ms cmodo esc11ibir nuestra
frmula de la manera siguiente:
1
m-1
~ fdx~
!, ~
o o
~ A~) ~ Kr-l (xk -t) f<r> (t) dt =
k=O l=O
1
(12.2)
1
\ \ (x-er- 1 dx<r- 1>(t)dt(r-i)I J J
o t
1 m-1
-7 ~
suponiendo
~ ~ A~l)K 7 _z(x11.-t)f<r>(t)dt=
O 11.=0 !=O
P11.z=(r-l-1)1
r!
Sea dada una funcin
&: ::i.
J\ J\ K r (x-t)f<r>(t)dtdx-
(r-1)1
-7 ~
~ A~>(r-l-1)!/U>(xk)=L(/),
- 1-
m-1
k=O l=O
o
1
')..,,(!)
=~
f (x) que tiene en el segmento
[O, 1) la derivada continua a trozos <r>(x). Desarroll-
o
m-1
"" 1!
xl /U> (O)+ Rr (x) = P r-dx)
f (x) = LJ
!=O
donde (vase (3.4))
+ Rr (x),
Rr(X}=
lr~Hl ~ K 7 (x-t)f<r>(t)dt.
o
Notemos que la derivada de orden l < r del trmino

residual puede ser escrita en la forma siguiente:
1
Ir
_,1__ rn ~
K 7 _(x-t)f<r>(t)dt.
~ ~ 'A~l)K 7 _z(x11.-t)J.
F 7 (t)=fi-[(1-t)7-
r-1
(12.3)
donde
mosla de acuerdo con la frmula de Taylor:
R~l)(x)=
Fr (t) j(r) (t) dt,
(12.4)
11.=0 !=O
Se ha obtenido una igualdad exacta que expresa la
estimacin de aproximacin de la frmula de cuadratura
para la funcin dada f (x) que tiene en el segmento [O, 1)
la derivada de orden r. Esta igualdad es sumamente anloga a la igualdad correspondiente (4. 7) la cual es su
caso particular cuando p = O, si se toma en consideracin
que rpko = A,<~>. Esta particularidad significa que para
la frmula de cuadratura ms general que se analiza
tambin pueden obtenerse los resultados anlogos a
aquellos que se l:ian expuesto en el 6, 7.
La frmula de cuadratura
o
b
Por eso, debido a que la frmula (12.2) es exacta para

P r-l (es decir, los nudos X11. y los pesos A,~> estn ligados
102
m-1
~ f dx ~ ~ ~ Pizf(l> (xi) = L (a, b; f),

a
k=O l=O
103
correspondiente al segmento [a, b) (y semejante a la frmula (12.1)) tiene nudos xk. dispuestos en [a, b) geomtricamente de un modo anlogo a la disposicin sobre
el segmento [O, 1) de los nudos xk de la frmula (12.1).
En lo que se refiere a los pesos Pkl estn relacionados
con Pkl mediante las correlaciones
Planteemos un problema: construir un polinomio

P (x) de grado n = Po + p1 + ...
Pm-i
m - 1,
que posea las propiedades
Pi1 = h 1+1Pkz.
El polinomio buscado es el nico, pues si admitimos

que existen dos polinomios de este gnero, la diferencia
entre ellos denotada por Q (x) ha de satisfacer las igualdades
Q(l>(x11 )=0, k=0,1, ... ,m-1, l=0,1, ... ,ph
donde h = b - a es la longitud del segmento [a, b).

Esta correlacin presta la posibilidad de introducir el
concepto de frmula de cuadratura complicada
b
m-1
~ t dx ~ ~ L (sk, Sk+i; !),

a
,.11.11
Sk
=a+
b-;:
k,
(12.5)
k= O
precisamente de la misma manera como se hizo para la

frmula (6. 7).
El teorema 1 queda totalmente en vigor tambin para
la frmula (12.5) obtenida de la frmula (12.2); por supuesto, es necesario solamente que por F 7 (t) se entienda
la funcin definida mediante la igualdad (12.4). Est
claro que para la frmula (12.5) obtenida de (12.2) son
vlidos tambin los teoremas 4-7 y todas las conclusiones generales del 7 que se desprenden de los teoremas citados.
13. Frmula de interpolacin de Hermite

Al igual que la frmula de interpolacin de Lagrange
(vase 1) sirve para obtener las frmulas de cuadratura
de forma corriente (1.11), la frmula de interpolacin de
Hermite puede servir para obtener las frmulas de cuadratura del tipo (12.1) que contienen, a la par con los valores de la funcin a integrar, los valores de sus derivadas
de tal o cual orden.
Prefijemos en un segmento [a, b) los puntos x 0 , x1 ,
, Xm-l y los sistemas de nmeros que les corresponden
Yo, Yo(t), , y<Po)
o ,
Y1,
Ym-1
donde p0 , p1 ,
104
Yi
(P1)
<I)
'
(t)
Y1
'
y<Pm-1>
Ym-1 '' m-1 '
, Pm-l
son nmeros naturales prefijados.
k=O, 1, ... ,m=1,

l=O, 1, ... , Pk
p(l>(xk)=Yk,
y, por consiguiente, los puntos xk deben ser ceros de

Q (x) de multiplicidades respectivas Pk
1. De aqu se
deduce que el polinomio Q (x) de grado n tiene que dividirse por el polinomio
n (X -
m-1
Xk)Pk+l
k=O
de (n
1)-simo grado, lo que es posible slo en el caso
de que Q (x)
o.
Comprobando directamente podemos convencernos de
que el polinomio P (x), que resuelve el problema planteado, puede escribirse en la forma siguiente
m-1 Pk
(x) = ~ ~ y~> Pk1 (x),
(13.1)
k= O l = O
donde
{(x-xk) p k+1 } Pk -l
A (x)
Pk1(x)=
l! x-xk
A(x)
)Pk+1-I
m-1
A(x)=
II
(x-xk
(xk)'
(13.2)
)p k + 1 ,
k= O
k=O, 1, .. . ,m-1,
l=O, 1, ... ,pk,
y la expresin {F (x) }~~l denota la suma de trminos del

desarrollo de la funcin F (x) en la serie de Taylor dentro
del entorno de x = a, donde x - a tiene las potencias
que no sobrepasan el nmero natural 'A.
105
Para convencerse de esto hay que tomar en consideracin que el polinomio Pkl (x) est elegido de una manera
tal que tenga la potencia n y satisfaga las condiciones
donde
m-1 Pk
L (/) = ~ ~ p~>< 1 > (x1i),

k=O l=O
1, si k==s, l=i simultneamente,

{
 (x s )P kl
O, en los dems casos,
(13.3)
k=O, 1, . .. ,m-1, l=O, 1, Pk
Esto se deduce de que
p~>= ~ Pk(x) dx.
q>
para todo polinomio P (x) de grado n =

- 1 la frmula de in1
t erpolacin (13.5) de Hermite se reduce a una identidad,
la frmula de cuadratura (13.6) es exacta para todos los
polinomios de n-simo grado.
Viceversa, es fcil notar que si est dada una frmul a de cuadratura
Por
(a)
(13.4)
puesto que el -simo segmento del desarrollo de Taylor

de la funcin (13.4) coincide, evidentemente, con el
-simo segmento del desarrollo correspondiente de la
unidad:
1 = cp (x)
~a
Pk
= P (x),
(13.5)
Al integrar los miembros izquierdo y derecho de la

igualdad aproximada (13.5), obtendremos la frmula de
cuadratura (aproximada) 1>
b
~ f (x) dx,..., L (/},
donde
m-1 Pk
Lt (/) = ~ ~ p~<O(l> (xk},

k=O l=O
que pone en correspondencia a la funcin dada f (x) el

polinomio de n-simo grado P (x) que satisface las condiciones
f(l> (xk) = p(l> (xh},
k=O, 1, ... ,m-1, l=O, 1, ... ,pk.
de la cual se sabe que es exacta para todos los polinomios

de n-simo grado, entonces sus coeficientes determinant es p// coinciden, respectivamente, con los nmeros obtenidos ms arriba p~> determinados con ayuda de las int egrales (13.8). En efecto, para cualquier polinomio
P (x) de grado no superior a n resulta lcita la igualdad
L (P) = L 1 (P).
En particular, si como P (x) tomamos los polinomios
P kz (x) del tipo (13.2), obtenemos, a consecuencia de
sus propiedades (13.3):
p~> = L (Pk1) = L 1 (Pkz) = p'f;.,
k=O, 1, ... , m-1, l=O, 1, ... , P1t
(13.6)
a
1 ) Esta frmula tiene carcter un tanto ms general que la
examinada en el 12, donde Po = p1 = ... = Pm-1 = p.
106
~ / dx,..., L 1 (/),
~ ~ f(l> (xk) Pk1 (x)

k=O l=O
cu~nto
+ P1 + .. + Pm- + m
<p (x)
A la frmula (13.1) le corresponde la aproximada

frmula de interpolacin general de Hermite
f (x),...,
(13.8)
= Po
cp(x) {_J_()}() =1+K(x-at+ 1 + . .. ,
(13.7)
lo que era necesario demostrar.

La frmula de cuadratura (13. 7) contiene, como caso
particular, la frmula (12.1) para p1 = p 2 =
= Pm = P
107

1990 - Nikolski - Fórmulas de Cuadratura

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

1990 - Nikolski - Fórmulas de Cuadratura

Загружено:

Авторское право:

Доступные форматы

<

KBAAPATYPHblE ctJOPMY Jlbl

Traducido del ruso por K. P. Medkov

Frmulas de cuadratura ms simples . . . . . . .

ISBN 5-02-013786-3 (pyccK.)

C.3. Frmulas de cuadratura ptimas con nudos fijos para

mas extremales de la teora de cuadraturas . . . .

Prlogo a la edicin espaola

B son constantes. Con este motivo diremos que nuestra

1. Frmulas de cuadratura ms simples

de cuyos lados sirven el segmento [a, b} del eje Ox, los

es el segmento [a, b} y la altura, la ordenada f ((a + b)/2)

que tiene sentido para cualquier funcin continua no forzosamente positiva.

que tiene sentido para una funcin continua arbitraria

ximadamente por el rea de una figura limitada por el

donde P 2 (x) se define por la igualdad (1.4). Entonces

~ P 3 (x) dx= ~ P 2 (x}dx+a 3 ~ x3 dx=

P ero, ya sabemos que

P or otra parte, la magnitud

grfico de la funcin f (x) que tienen por abscisas a, (a

~ f (x) dx ~ b-;;a [Ha)+ 4/ { tb ) +

43 (b4 -a4)=b-6 [(a 3x3)x=a+4(aax3) _a+b+(aax 3 )x=bl

De aqu proviene la igualdad

Analizando el procedimiento segn el cual se obtiene

[ P 2 (a) +4P2 {-a+b

~ P 3 (x) dx= b6 [P 3 (a)+4P3 { tb )+P3 (b)J.

Hemos examinado tres frmulas de cuadratura. Las

de cualquier grado m prefijado de antemano. Para obtener

presin aproximada de la integral definida en el segmento

Segn se sabe, el polinomio buscado, que lleva el

t (xh) ~ o<:.> (x) dx,

P m (x) = ~ Q'/:i) (x) f (xk),

donde Q~) es un polinomio de grado m:

Om(k) (x) dx,

(x-x 0 ) (x-x 1) ... (x-x1<_ 1) (x--,-x11+1) ... (x-xm)

(xk-xk_ 1) (xk-xk+l) ... (xk-Xm)

de Lagrange de cuarto grado que coincide con f (x) en

exacta para todos los polinomios P m (x) de grado m, ella

mulas se definen por un mismo sistema de nudos xk (k =

que es nada ms que un determinante de Vandermonde

~ F (u) du ~ ~ p:F (4)

que posee las siguientes propiedades:

(k =O, 1, ... , m);

b} los nudos x: < x: < ... < x~ pertenecen al

l) Llamamos polinomio de grado m a una funcin a0

De lo dicho ms arriba y de la unicidad de la frmula

~ f(x)dx~ ~ PRf(xk), xhE[-a, a],

se denominar simtrica, si se cumplen las condiciones

Observemos que si en la frmula (1.5), obtenida ms

La frmula (1.5') se llamar semejante a la (1.5).

El determinante del sistema (1.8)

m, entonces R (e + : - ; (x - a) ) ser tambin polinomio

~ Q~m-h) (x) dx = ~ Q\::)( - x) dx =

<uo dividen el segmento [a, b] en partes iguales, se llama

L (!) = ~ Pkf (xk),

donde Pk son nmeros arbitrarios y xk, puntos arbitrarios

~ [/ (x) + cp (x)] dx = ~ f (x) dx + ~

donde f (x), cp (x) son funciones integrables en el segmento

lf' (x) l~M.

<t11f' tienen en l la segunda derivada continua a trozos la

Generalizando estas clases llegamos a una clase W<'>

J/<'> (x) 1~M.

P ueden introducirse tambin las clases intermedias.

lf (x)- f (x') 1~M x-x' .