Está en la página 1de 55

<

o::
::::>
1-
<
o::
Q
<
::::>
ü
UJ
Q
en
<
...J
::::>
:E
o::
'ºLL
C. M. HHKOJlbCKHVI S NIKOLSKI
KBAAPATYPHblE ctJOPMY Jlbl
e )l.o6aBJI0HH0M H. TI. RopHeifqy1rn FÓRM ULAS
Moc1rna •HayRa•
DE CUADRATURA

EDITORIAL MIR
MOSCÚ
Traducido del ruso por K. P. Medkov

Impreso en la URSS

lndice
Prólogo a la edición española 7
§ 1.Fórmulas de cuadratura más simples . . . . . . . 8
§ 2.Clases de funciones . . . . . . . . . . . . . . . . 18
§ 3.Fórmula de Taylor . . . . . . . . . . . . . . . . 26
§ 4.Estimación exacta de aproximación de la fórmula de
cuadratura . . . . . . . . . . . . . . . . . . . . 28
§ 5. Constantes numéricas para las fórmulas de cuadra-
tura particulares . . . . . . . . . . . . . . . . . 34
§ 6. Fórmulas de cuadratura complicadas. Estimaciones
de las aproximaciones de arriba para las clases de fun-
ciones . . . . . . . . . . . . . . . . • . . . . . . 40
7. Estimaciones para las funciones individuales. Elec-
ción de la fórmula de cuadratura . . . . . . . . . . 54
§ 8. Constante x. Precisión de la fórmula de cuadratura 64
§ 9. Estimaciones de las fórmulas de cuadratura multidi-
mensionales . . . . . . . . . . . . . . . . . . . . 67
§ 10. Problemas extremales . . . . . . . . . . . . . . . 77
§ 11. Mejor fórmula de cuadratura para la clase wz: 1 (M;

O, m) en el caso de los nudos equidistantes . . . . 95


§ 12. Fórmulas de cuadratura en las cuales figuran valores
de las derivadas de la función . . . . . . . . . . . 101
§ 13. Fórmula de interpolación de Hermite . . . . . . . 104
§ 14. Problema extrema! general . . . . . . . . . . • . . 108
§ 15. Polinomios de Chébishev de desviación mínima del cero 129
§ 16. Polinomios de desviación mínima del cero en la mé-
Ha iicrraucKOM H3bIKe trica Lp . • • . . . • . . . . • . • . . . . . . . 134
§ 17. Polinomios de Legendre. Fórmula de cuadratura de
Gauss . . . . . . . . . . . . . . . . . . . . . . . 140
Bibliografía . . . . . . . . . . . . . . . . . . . . . . . 144
Complemento. Sobre nuevos resultados referentes a los pro-
blemas extremales de la teoría de cuadraturas 146
© Ha,o;aTeJI&CTBO «HayKa»
ISBN 5-02-013786-3 (pyccK.) § C.1. Minimización de la norma de una función polinomial
a trozos . . • . . . . . . . . . • . . . . . . . . 149
ISBN 5-03-001539-6 (nen.) © traducción al español, § C.2. Resultados obtenidos por estimación del resto en
K. P. Medkov, 1990 las funciones que reducen a cero la suma cuadrática 198
5
§ C.3. Fórmulas de cuadratura óptimas con nudos fijos para
la clasewr L2 • • • • • • • • • • • • • • • • • • • 226
§ C.4. Sobre resultados posteriores referentes a los proble-
mas extremales de la teoría de cuadraturas . . . . 240
Bibliografía para el Complemento . 283
lndice alfabético . . . . . . . . . . . . 292
Prólogo a la edición española
En la parte básica del libro se introduce el concepto
de fórmula de cuadratura (aproximación de una integral
definida mediante sumas finitas). Se ofrece en la misma
el método general para obtener estimaciones de las fór-
mulas de cuadratura para diferentes clases de funciones
difere'nciables que se encuentran habitualmente en la prác-
tica. Desde este punto de vista se analiza una serie de
conocidas fórmulas de cuadratura clásicas. Al mismo
tiempo, para ciertas clases de funciones diferenciables se
resuelve el problema de búsqueda de las mejores fórmulas
de cuadratura para dichas clases.
Tal fue el libro en su primera edición (1958, Moscú,
N aúka). Resultó útil para amplios círculos de científi-
cos, ingenieros y técnicos que tratan con cálculos aproxi-
mados. Dio también cierto impulso al desarrollo de las
investigaciones matemáticas puras que tienen por objeto
satisfacer las necesidades del análisis aplicado, especial-
ment e allá, donde surgen problemas de optimización de
la aproximación.
Se hizo natural que en las ediciones posteriores se re-
suman los nuevos resultados esenciales obtenidos por los
matemáticos en este campo.
Es por eso que, a partir de la segunda edición, el li-
bro se acompaña del Complemento de N.P. Korneichuk
quien junto con sus alumnos hizo un aporte considerable
al desarrollo de los problemas extremales de la teoría de
cuadraturas.
El libro se editó cuatro veces en ruso. La primera edi-
ción fue traducida al inglés por dos editoriales (Delhi,
1964; Berkshire, 1966), como también a la lengua romana
(1964, Bucuresti).
Por primera vez el libro se edita en español. Espera-
mos que tendrá éxito también entre los matemáticos e
ingenieros de los países de habla española.

S. Nikolski
7
B son constantes. Con este motivo diremos que nuestra
fórmula de cuadratura aproximada es exacta para cual-
quier función f (x) que representa una función lineal ar-
bitraria.
Hemos examinado la más simple fórmula de cuadratu-
ra de los rectángulos. Un tanto más compleja es la fór- ·
mula de los trapecios. Si se trata de una función positiva
f (x), la fórmula se reduce a que la integral definida se
sustituye por un número que es igual al área del trapecio,
!/ ~B
§ 1. Fórmulas de cuadratura más simples
Supóngase que se pide calcular aproximadamente una
integral definida en el segmento [a, b} de cierta función
continua y positiva f (x).
La expresión aproximada muy simple de la integral
es la magnitud del área del rectángulo en el cual la base

!/
1 a1
D ); )lo:C

fig. 2

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


,J segmentos de las rectas x = a y x = b, y la cuerda AB
1 ll!É.
1
l .,. .r: del gráfico de la función (fig. 2).
a
z De este modo, la fórmula de cuadratura de los trape-
fig. 1 cios representa la siguiente expresión aproximada:
b
es el segmento [a, b} y la altura, la ordenada f ((a + b)/2) ~ f (x) dx ~ ~ (b- a) [f (a)+ f (b)], (1.2)
del gráfico de la función f (x) en el punto medio (a + b)/2 a
del segmento citado (fig. 1).
Hemos obtenido, pues, la aproximada fórmula de cua- que tiene sentido para una función continua arbitraria
dratura o fórmula de integración numérica (no forzosamente positiva).
La fórmula de cuadratura de los trapecios (1.2), al
b
~ f(x)dx~qb-a)f( ªtb ), (1.1)
igual que la fórmula de los rectángulos, es exacta para to-
das las funciones lineales y = Ax + B, cuyos gráficos
a representan toda clase de rectas.
que tiene sentido para cualquier función continua no for- Por fin, examinemos una fórmula de cuadratura más
que es de amplia aplicación en la práctica, a saber, la
zosamente positiva.
Aquí el miembro izquierdo es igual al derecho, si fórmula de Simpson. En el caso de una función positiva
f (x) es una función lineal arbitraria Ax + B, donde A y ella se reduce a que la integral definida se expresa apro-
9
8
ximadamente por el área de una figura limitada por el donde P 2 (x) se define por la igualdad (1.4). Entonces
segmento [a, b] del eje Ox, las rectas x = a, x = by por b b b
la parábola de segundo orden que pasa por los puntos del ~ P 3 (x) dx= ~ P 2 (x}dx+a 3 ~ x3 dx=
a a a
!/ !f=f{.r)
b

=~ P 2 (x) dx+ ª¡ (b4 -é).


a

P ero, ya sabemos que


b

j\ P 2 (x) dx=-
b-a
6-
[ P 2 (a) +4P2 {-a+b
2-
) +P2 (b) J.
a

ul a # ); .,. :e P or otra parte, la magnitud ¡


(b'• - é) puede escribir-
se formalmente del modo siguiente:
fig. 3
ª43 (b4 -a4)=b-6 ª[(a 3x3)x=a+4(aax3) _a+b+(aax 3 )x=bl·
gráfico de la función f (x) que tienen por abscisas a, (a + . X- 2 J
+ b)/2 y b (fig. 3). De aquí proviene la igualdad
Esta fórmula tiene por expresión
b
b
~ f (x) dx ~ b-;;a [Ha)+ 4/ { ªtb ) + flb) J. (1.3) ~ P 3 (x) dx= b6 ª [P 3 (a)+4P3 { ªtb )+P3 (b)J.
a
a
Analizando el procedimiento según el cual se obtiene Hemos examinado tres fórmulas de cuadratura. Las
la fórmula de Simpson podemos deducir directamente que primeras dos de ellas, es decir, las fórmulas de los rectán-
la fórmula es exacta para todos los polinomios gulos y de los trapecios son exactas para los polinomios
de primer grado. La tercera fórmula, la de Simpson, es
+
P 2 (x) = a0 a 1x + a 2x2 (1.4) exacta para los polinomios de tercer grado.
de segundo grado. Los gráficos de estos polinomios re- Nos limitemos a estos ejemplos concretos. Diremos
presentan toda clase de parábolas de segundo orden cuyos solamente que puede construirse una infinidad de fórmulas
ejes son paralelos al eje Oy. de cuadratura que sean exactas para todos los polinomios
Más aún, se conoce bien que la fórmula de Simpson es
en realidad mejor todavía: es exacta no sólo para los poli- Pm (x) =a0 +a 1x+ a 2x 2 + ... + amxm
nomios de segundo grado, sino también para todos los
polinomios de cualquier grado m prefijado de antemano. Para obtener
P 3 (x) = a0 + a 1x + a 2x2 + a 3x3 tales fórmulas pueden servir los clásicos polinomios
interpoladores de Lagrange.
de tercer grado. Definamos en el segmento [a, b] un sistema arbitrario
En efecto, podemos representar el polimonio P 3 en la de m + 1 puntos
forma
P 3 (x) = P 2 (x) + a 3x3 , a:::;;;x0 <x1 < ... <xm:::;;;b,
10 11
presión aproximada de la integral definida en el segmento
que se llamarán nudos, y planteemos un problema: cons- la, b] de una función f (x) puede tomarse la integral defi-
truir un polinomio de m-ésimo grado P m (x) que en los nida en dicho segmento del polinomio Pm (x) que inter-
puntos mencionados coincida con la función dada f (x). pola la función f (x). Como resultado tenemos
Se requiere, de este modo, que se verifiquen simultánea-
h b m b
mente las igualdades
~ t (x) dx ~ ~ p m (x) dx = ~ t (xh) ~ o<:.> (x) dx,
f (xk) = Pm (xk), k = O, 1, .. ., m. a a k=O a
Según se sabe, el polinomio buscado, que lleva el o bien
nombre de Lagrange, será único y se expresará por la si- b m
guiente fórmula: ~ f (x) dx ~ S PkÍ (xk), (1.5)
m a k=O
P m (x) = ~ Q'/:i) (x) f (xk), donde
k=O
b
donde Q~) es un polinomio de grado m: - ..
Pk. - ~ Om(k) (x) dx, k =O, 1, ... , m. (1.6)
Q~) (x) = a
(x-x 0 ) (x-x 1) ... (x-x1<_ 1) (x--,-x11+1) ... (x-xm) La igualdad aproximada (1.5) determina cierta fór-
(xk-xo) (xk-x 1) ••• (xk-xk_ 1) (xk-xk+l) ... (xk-Xm) ' mula de cuadratura que es exacta para los polinomios de
k=O, 1, . . . , m. grado m.
Muchas fórmulas de cuadratura clásicas son de este
En la fig. 4 van expresados esquemáticamente los grá- origen. Por ejemplo, la fórmula de Simpson se obtendrá,
ficos de la función f (x) y de su polinomio interpolador si ponemos en (1.5), (1.6) m = 2, x 0 = a, x 1 = (a +
!/
+ b)/2, X2 = b.
No es difícil de ver que, viceversa, si con" ayuda de
distintos puntos prefijados xk del segmento [a, b] y de
los números pÍi (k = O, 1, ... , m) queda obtenida una
fórmula de cuadratura
b m
~ f (x) dx ~ ~ píd (xk), (1.7)
a k=O
exacta para todos los polinomios P m (x) de grado m, ella
se deduce, según lo mostrado anteriormente, de la corres-
1 1 1 1 1 1 )lr,Z-
pondiente fórmula interpoladora de Lagrange
p a=:c11 :ft ;r;z :r:.r ~=b
m
fig. 4
t (x) ~ k=O
~ o<::i> (x) t (xk),
de Lagrange de cuarto grado que coincide con f (x) en construida sobre la base de los nudos xk.
cinco puntos equidistantes del segmento [a, b]. En efecto, examinemos, a la par con la fórmula (1. 7),
El polinomio interpolador de Lagrange puede servir
la fórmula de cuadratura (1.5), donde los números Pk
para obtener la fórmula de cuadratura que sea exacta para se determinan con ayuda de la igualdad (1.6). Ambas fór-
los polinomios de grado m. Efectivamente, como la ex-
13
12
mulas se definen por un mismo sistema de nudos xk (k = m, entonces R (e + : - ; (x - a) ) será también polinomio
= O, 1, ... , m) y ambas son exactas para los polinomios
de m-ésimo grado. Por eso
de grado m1 ), en particular, para las funciones x 1 (l =
d b
= O, 1, ... , m). De aquí se deduce que han de verificar-
se las igualdades ~ d-c ~
R(u)du=--
b-a
- - (x-a) ) dX=
R ( e +b-a
d-c

m a

2j
k=O
(P1t-Pí.)x~=O,

El determinante del sistema (1.8)


l=O, 1, ... , m. (1.8)
= :=: ~ m

k=O
PkR (e+ :-; (xk-a))
m

= ~ p~R (x~).
k=O
1 1 ... 1 De lo dicho más arriba y de la unicidad de la fórmula
de cuadratura (1.5') que tiene nudos prefijados x:, x~,
Xo Xi • • • Xm
.. . , x~ E [e, d] y que es exacta para los polinomios de
grado m se deduce que si los nudos mencionados satisfa-
xi;:i X~·· • • • x: cen las condiciones b}, satisfarán también las condiciones
a), es decir, los pesos de la fórmula (1.5') se obtienen a
que es nada más que un determinante de Vandermonde partir de los pesos Pk multiplicándolos por (d - c)l(b -
para el sistema de puntos distintos xk (k = O, 1, ... , m), - a).
no es igual a cero, lo que puede ser posible sólo cuando La fórmula
a m
P1t=PÍ<, k=O, 1, ... , m.
~ f(x)dx~ ~ PRf(xk), xhE[-a, a],
Introduzcamos, a la par con (1.5), otra fórmula de cua- -a k=O
dratura
d m se denominará simétrica, si se cumplen las condiciones
~ F (u) du ~ ~ p:F (4) (1.5') Ph=Pm-h• X1t=-Xm-k• k=O, 1, ... , m.
e k=O Observemos que si en la fórmula (1.5), obtenida más
que posee las siguientes propiedades: arriba, el segmento [a, b] tiene de hecho la forma [ - a, a]
y si los nudos xk E [ - a, a] satisfacen la condición de
a) Pk: Pk = (d - e): (b - a) (k =O, 1, ... , m);
simetría: xk = - Xm-k• de aquí se deduce automática-
b} los nudos x: < x: < ... < x~ pertenecen al mente que Ph = Pm-h• es decir, la fórmula (1.5) es si-
segmento [e, d] y lo dividen en la misma razón que los métrica.
nudos xk dividen el segmento [a, b]: En efecto, es fácil compobar que de las condiciones
xk = - Xm-k se deduce que
(x~-c): (x!-c): ... : (x~-c) =
Q~)(-x)=Q~m-k)(x), k=O, 1, ... , m,
=(x0 -a): (xi-a): ... : (xm-a).
y en este caso
La fórmula (1.5') se llamará semejante a la (1.5). a a
Demostremos que las fórmulas semejantes (1.5) y Pm-k = ~ Q~m-h) (x) dx = ~ Q\::)( - x) dx =
(1.5') son exactas simultáneamente para los polinomios
-a -a
de grado m. En efecto, si R (u) es un polinomio de grado a
l) Llamamos polinomio de grado m a una función a0 a1 x + + = ~ Q\::)(u)du=Pk·
+ ... + amxm, donde ªk (k =O, 1, ... , m) son coeficientes -a ,,
arbitrarios (incluidos aquellos que son iguales a cero).
15
14
La fórmula (1.5) que es exacta para todos los polino- <¡uo dividen el segmento [a, b] en partes iguales, se llama
mios de grado m puede resultar en realidad exacta para los /6rmula de cuadratura de Cotes 1 ).
polinomios de grado superior a m, como ocurre en el caso Pongámonos de acuerdo que ulteriórmente cualquier
de la fórmula de Simpson. Las mejores en este sentido expresión de la forma
fórmulas de cuadratura son conocidas fórmulas de Gauss m-1
que corresponden a tal disposición de m + 1 nudos x 0 , L (!) = ~ Pkf (xk),
x 1 , • : ., Xm, para la cual la fórmula de cuadratura resul- k=O
(1.10)
ta ser exacta para todos los polinomios de grado 2m + 1.
El hecho de que tal disposición de los nudos es posible se- donde Pk son números arbitrarios y xk, puntos arbitrarios
rá demostrado en el § 17. En el § 5 se aducen casos parti- pertenecientes al segmento [a, b], se considerará, inde-
culares de la fórmula de Gauss para el segmento (-1, 1]. pendientemente del origen de los números Pk y xk, como
Indiquemos, además, las fórmulas de cuadratura de expresión aproximada de la integral definida de la fun-
Chébishev que se definen partiendo de la condición: con ción f (x) sobre el segmento [a, b] y en esta relación una
igualdad aproximada
m nudos x1 , x 2 , • • • , Xm la fórmula debe ser exacta para
b
los polinomios de grado m y tener iguales factores de las
ordenadas. En la forma general las fórmulas de Chébishev ~ f (x) dx ~ L (!) (1.11)
para el segmento [ -1, 1] se escriben del modo siguiente: a

1 m se denominará fórmula de cudratura definida por los pe-


~ f (x) dx ~
-1
! ~ f (xk),
k=1
(1.9)
sos Pk y los nudos xk.
Observemos que la integral definida satisface las
condiciones de aditividad y homogeneidad:
b b b
donde los nudos xk se eligen conforme a la condición esti-
pulada más arriba. El hecho de que el factor en el segun-
~ [/ (x) + cp (x)] dx = ~ f (x) dx + ~ cp (x) dx,
a a a
do miembro de esta fórmula de cuadratura es igual a 2/m b b
proviene de que la fórmula ha de ser exacta para f (x) =
= 1. En el § 5 se aducen las primeras cuatro fórmulas de C ~ f (x) dx = ~ Cf (x) dx,
cuadratura de Chébishev para el segmento (-1, 1]. a a
P.L. Chébishev ((19], vol. 111, págs. 49-62) mostró
que tales fórmulas de cuadratura existen par a los casos donde f (x), cp (x) son funciones integrables en el segmento
en que m = 1, 2, ... , 7, 9 y son simétricas. A consecuen- [a, b], y C, una constante. A estas mismas propiedades de
cia de esta propiedad, ellas son exactas para la función aditividad y homogeneidad satisface también la funcio-
nal 2 ) (1.10)
xm+i con m pares (m = 2, 4, 6), y, por consiguiente, no
sólo para los polinomios de grado m, sino también para L (! + cp) = L (!) + L (cp), CL (/) = L (Cf).
aquellos de grado m + 1. Resulta que para m = 8 y
m~ 10 la fórmula (1.9) ya no existe [3]. 1
) La información más completa sobre las fórmulas de cuadra-
La fórmula (1.5) puede resultar exacta sólo para los tura mencionadas u otras el lector puede encontrar, por ejemplo,
polinomios de grado inferior a m, o bien no exacta para en las obras de V.L. Goncharov [4], Sh. E. Mikeladze [9], V.I. Kry-
cualesquier polinomios. lov [8], I.S. Berezin, N.P. Zidkov (2], N.S. Bajvalov (1].
) Si a toda función f perteneciente a cierta clase de funciones
2
La fórmula (1.5) (sin la condición 1.6), siendo exacta
para los polinomios de m-ésimo grado, si ella corresponde se le está puesto en correspondencia, según una ley determinada,
un número L (!), entonces L (!) recibe el nombre de funcional de-
a los nudos xk = a + (b - a) k/m (k = O, 1, ... , m) finida en la clase citada de funciones.
16 2-0864
17
§ 2. Clases de funciones <t11f' tienen en él la segunda derivada continua a trozos la
11111 satisface la desigualdad
La diversidad de todas las funciones integrables es
muy amplia. Cuando se analiza un método bien determi- lf"(x)l~M.
nado de integración aproximada de las funciones, resul- Generalizando estas clases llegamos a una clase W<'>
ta imposible indicar de antemano la magnitud con la ( H; a, b), donde r es un número natural. La clase W<'>
que se estima la aproximación para todas las funciones (\!; a, b) está compuesta por las funciones, definidas en
integrables en general. Esta estimación es sencillamente t1l segmento [a, b), que son continuas y tienen derivadas
igual al infinito. continuas de hasta el (r - 1)-ésimo orden inclusive y,
Veamos, por ejemplo, el método de los trapecios. Pue- ndem ás, una derivada continua a trozos de r-ésimo orden
de construirse, evidentemente, una función que sea igual In que en el segmento dado satisface la desigualdad
a cero en los extremos del segmento [a, b) y tal que la
integral definida de dicha función en el segmento dado J/<'> (x) 1~M. (2.1) '
sea superior a cualquier número prefijado con anticipa- P ueden introducirse también las clases intermedias.
ción. El error de aproximación de la integral definida de l'or ejemplo, si O < a~ 1, convengamos en considerar
tal función que se obtiene al utilizar el método de los tra-
pecios (1.2) será igual a la propia integral y, de este modo, que Ir (M; a, b) = W< 0>Hª (M; a, b) denota una clase
puede ser tan grande como se quiera. de funciones j (x) que están definidas en el segmento
Este problema se resuelve de tal manera que las esti- la, b) y que satisfacen para todos los puntos x y x' de di-
maciones de la aproximación se obtienen para unas u cho segmento la desigualdad
otras clases suficientemente estrechas de funciones integra-
bles. Tales clases de funciones muy difundidas en el aná- lf (x)- f (x') 1~M ¡x-x' ¡ª.
lisis actual son, ante todo, las clases de funciones diferen-
ciables y las clases de funciones que satisfacen las condi- En general, si r es un número entero no negativo y si
ciones de Lipschitz. O < a~ 1, podemos definir una clase W<'>Hª (M; a, b)
Podemos analizar, por ejemplo, una clase de funcio- de funciones f (x) dadas en el segmento [a, b] que tiene
nes denotada mediante W< 1 > (M; a, b) que son continuas en éste derivadas continuas de orden r las cuales satisfa-
en el segmento [a, b) y tienen en éste una derivada conti- ren la desigualdad
nua a trozos f' (x) 1 ) que satisface en dicho segmento la
desigualdad: lf<7> (x)-j<'> (x') 1~M ¡x-x' ¡ª.
lf' (x) l~M. para todos los x y x' de [a, b).
Las propiedades diferenciales más convenientes las Además, designemos con W<'>H<a> (a, b) la clase de
posee la clase W< 2 > (M; a, b) de funciones que son conti- tod as las funciones, cada una de las cuales pertenece,
nuas en el segmento junto con sus primeras derivadas y 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 clasificación muy detallada de
a <
Si un segmento [a, b] puede ser dividido mediante puntos
1)
< x 2 < ... < Xn < b en un número finito de segmentos,
x 1
func iones continuas y diferenciables. Al aumentar r +
en cada uno de los cuales la función f (x) tiene derivada continua, f- ex, las propiedades diferenciales de las funciones per-
suele decirse en tal caso que f (x) cuenta sobre [a, b] con una de- t cnecientes a W<'>H<a> (a, b) se mejoran. Si r 1 +cx 1 <
rivada continua a trozos. Aquí se debe tomar en consideración que
en los puntos de partición x1 , x 2 , • •• , xn se supone que existen +
< r 2 cx 2 , entonces W<'.>H<a,) (a, b) será una parte de
solamente las derivadas unilaterales: a la derecha y a la izquierda. la clase w<r,>n<a,) (a, b).
18 ~· 19
' ~..,...-----"

Es útil tener en cuenta la siguiente generalización de 111, b], la cual, es fácil notar, es equivalente a la siguiente
las clases w<r>n<a> (a, b). Se introduce en la consideración 1 rt•lación
una función ro (x) que es continua en el segmento [a, b]
1 y que satisface las condiciones lím w (6) = O= ro (O). (2.4)
6-+0
ro (0) = Ü, O:::;;;; ro (x 2) - ffi (x1):::;;;; ffi (X2 -X1) (2.2)
Ahora, si 6 = 6 1 + 6 2 , donde 6 1 ~ O, 6 2 ~ O, y si
1 con cualesquiera x 1 , x 2 , para los cuales a:::;;;; x 1 :::;;;; x 2 :::;;;; b. .r', x" son puntos del segmento [a, b], para los cuales
La función f (x), dada en el segmento [a, b] pertenece, 1 x" - x' 1:::;;;; 6, entonces, evidentemente, en el seg-
por definición, a la clase W<,.>H w (a, b), si tiene en el seg- mento [a, b] existe un punto x 0 tal que para él se verifi-
mento dado la derivada r>
(x) de orden r que satisface can simultáneamente las desigualdades 1 x' - x 0 1:::;;;;
la desigualdad ~ 61 , \ x" - x 0 1:::;;;; 6 2 • De aquí se deduce
¡¡<r) (x2)-¡<r> (x 1) 1:::;;;;ro (x2 -x1), (2.3)
ro ~6) = máx lfP (x")- cp (x') 1:::;;;;
a:::;;;;x 1 :::;;;;x2 :::;;;;b. I X"-X' 1 ~{)

La clase w<r>n<a> (M; a, b) coincide con la clase :::;;;; máx


1x'-xo1 .;;;61
{ 1qJ (x') - cp (x0 ) 1 + 1cp (x") - cp (x0 ) 1}:::;;;;
w<r>H (a, b), si
(1) 1x"-xo1 ~62

ro (x) = Mx<a>. :::;;;; máx ¡cp(x'J-cp(x0}1+ máx lcp(x")-


1x'-xo1 .,;;61 1x"-xo1 .;;;62
La desigualdad (2.2) para la función Mxª se deduce de -cp (x0) 1 =ro (6 1) +ro (62 ). (2.5)
1 los resultados del ejemplo 3 que se da más abajo en el
presente párrafo. La propiedad de monotonía de la función ro (6) y la
Si en el segmento [a, bl está definida una función con-
tinua arbitraria cp (x), llamemos módulo de su continuidad relación (2.5) pueden ser reunidas en las siguientes dos
en el segmento [a, b], correspondiente al número positivo desigualdades:
dado 6, a una magnitud ro (6) que se determina por la
igualdad
o:::;;;; ro (6")-ro(6'):::;;;;ro (6"-·6'), (2.6)
ro(6)= máx \cp(x")-cp(x')\, que deben realizarse para cualesquiera 6', 6 ", que satis-
1x"-x'1 ~6
facen las desigualdades O:::;;;; 6':::;;;; 6 ".
donde a:::;;;; x', x":::;;;; b. De (2.4) y (2.6) se deduce con toda la evidencia la con-
Así pues, ro (6) es mayor de los números 1 cp (x") - tinuidad de ro (6) para todo 6 ~ O.
- cp (x')I correspondientes a diferentes pares de puntos Observemos que si una función cp (x}, continua en el
x' y~ x" del segmento [a, b] que satisfacen la desigualdad segmento [a, b], cuenta con el módulo de continuidad
1 x" - x' 1:::;;;; 6; ro (6) es una función monótona no de- ro (6), entonces, evidentemente, ella pertenece a la clase
creciente de 6, puesto que si O:::;;;; 6' < 6 ", entonces TI w (a, b) = W< 0 >H w (a, b} definida más arriba.
ro (6') = máx ¡cp (x")- cp (x') 1:::;;;; Las propiedades, aún más convenientes en comparación
1 x"-x' 1 ~O' ron las funciones de las clases w<r> H w (a, b}, poseen
:::;;;; máx \cp (x") - cp (x') 1 =ro (6"). funciones analíticas.
1x"-x'1 ~0"
Son posibles también algunas modificaciones de la clasifica-
De la continuidad de cp (x) en el segmento cerrado [a, b] 1·ión expuesta. Se puede introducir una clase de funciones
se desprende la propiedad de su continuidad uniforme en W~~ (M; a, b), definidas en [a, b), que tienen derivada continua

20 1
21

._
absoluta de orden r - 1 y una derivada ¡<r> (x) de r-ésimo orden, l111111<lo p = 1, escribiremos W<[> (M; a, b) en lugar de
la cual posee la propiedad de q,ue H ¡'~ (M ; a, b).
b
Ejemplo 1. Analicemos la función 1 x 1 en el segmen-
(~ 1 w>(x)1Pdx)1'p,,,;;;M, p~1. 1o [ - 1, 1). Su gráfico viene expuesto en la fig. 5.
a
donde la integral se entiende en el sentido de Lebesgue.
Algunos datos relacionados con estas clases se darán más abajo !/
en petit. En este caso suponemos que el lector conoce las propie-
dades más simples de las funciones integrables (sumables) según
Lebesgue en la p-ésima potencia (véanse, por ejemplo, [14, 17]).
Observemos que si una función cp (x) es medible y está acotada
en el segmento [a, b], tiene lugar una igualdad
b 1 y 1,.. .z"
lím { \ 1 <p (x) 1Pdx) 1/P = supvrai 1 <p (x) 1 = M. (2.7) -t u /
p-+oo ~ a,¡;;;x,¡;;;b
a
en la que el segundo miembro representa el llamado máximo esen- fig. 5
cial1) 1 <p (x) 1 en el segmento [a, b].
Efectivamente, Es continua en el segmento [ -1, 1] y tiene en éste
b
una derivada continua a trozos. En efecto, en el segmento
11 <p l\Lp= ( ~ 1 <p IP dx) 1/p,,,;;; M (b-a)l/P, 1-1, O] la derivada de 1 x 1 es continua e igual a -1
a
!J
de donde
lím 11 <p llL ~ M. (2.8)
p-+00 p

Por otro lado, si E denota el conjunto de puntos del segmento


[a, b], sobre el cual 1 <p (x) 1 > M - 8 (donde 8 > O) y mE, la
medida E, entonces ul 1
a
1
.r0
l
.r1
1
.rz
1 ~z
> (~
Z'J
11 <p \ILp (M-8)P dx) 1/p = (M-8) (mE)l/P,
E
fig. 6
de donde
lím 1\ <p llLp ~ M-8,
p-+00 en todo punto, considerando, como siempre, que para
.r = O la derivada se toma a la izquierda, y para x = - 1,
y, por cuanto 8 es arbitrario, entonces a la derecha. En el segmento [O, 1] es también continua
lím 11 <p llL p ~ M. (2.9) en todo punto e igual a 1. En valor absoluto la derivada
- -
p-+00
de !xi es igual a la unidad en todo el segmento [-1, 1].
De (2.8) y (2. 9) se deduce (2. 7). Por eso resulta natural con- De aquí se deduce que la función 1 x 1 pertenece a la
siderar que clase w(l) (1; -1, 1).
W(r) (M; a, b)=W<[> (M; a, b). No obstante, nuestra función no pertenece a la clase
00
W( 2 > (M; -1, 1), cualquiera que sea el valor de la cons-
1 ) Este es el número menor M que posee la propiedad de que
tante M, puesto que, si fuera así, tendría que contar ne-
el conjunto de todos los x del segmento [a, b], para los cuales cesariamente con la primera derivada continua en todo
1 <p (x) 1 > M, tiene medida O.
23
22
punto del segmento (-1, 1]. Mas, en el caso dado la pri- Ejemplo 3. Examinemos una función xª (O< a~ 1)
mera derivada para x = O es discontinua. en la semirrecta [O, oo ). Su gráfico (para cierto a < 1)
Ejemplo 2. Veamos la función <p (x) cuyo gráfico está está expuesto en la fig. 9.
expuesto en la fig. 6 (aquí, x 3 = 'b).
Para que dicha función sea unívoca en los puntos x 0 , !/
x 1 , x 2 , podemos fijarla en estos puntos igual a cualquier

Ji

ol ~ 1
.Tp
1
:Ct
1
.rz p1 ,... .r
1 1 1 """' 1 J 1 1 ;:.. .r

fig. 8
fig. 7 Mostrremos que en la semirrecta [O, oo) la función sa-
tisface la condición de Lipschitz de potencia a con la
constante M = 1. En otras palabras, mostremos que para
valor, por ejemplo, a la media aritmética calculada sobre
la base de las ordenadas límites derecha e izquierda del !J
gráfico.
Pongamos
X

cpi(x) = ~ <p (u) du +el.


a

Esta función se muestra en la fig. 7. Pertenece a la clase


W< 1l (M; a, b), donde ll .r
l<p (x) 1~M, a~x~b.
fig. 9
Si ponemos luego
todos los x, x 1 que satisfacen las desigualdades O~x~
~ x 1 < oo tiene lugar la desigualdad
X

<p2 (x) = ~ <p 1 (u) du +C 2,


a xi¡t-xª~(x 1 -x)ª. (2.10)
obtendremos la función expuesta en la fig. 8 que pertene-
ce a la clase W< 2l (M; a, b), pero no pertenece, evidente- En efecto, cuando x = O y x = x 1 , la afirmación es
mente, a la clase W< 3 l (a, b). evidente. Sea O< x < x1 • Veamos la relación
Al repetir este proceso de integración r veces, obtendre~
mos una función de la clase w<r) (M; a, b), donde r es xlf-xª (x 1 /x)ª-1 uª - 1 ='lj) (u),
un número entero prefijado de antemano. (x 1 -x)ª (x 1 /x-1)ª

24 25
!' "'~

X
donde 'U = x 1 /x, y, por consiguiente, 1 <u< oo. Es
fácil comprobar que la función 'ljJ (u} posee la siguiente + /p 1 'l\I ~ (x- w-3 /<r-2) (t) dt =
propiedad: a
I'
lím'ljJ(u)=1, 'ljJ'(u)>O, 1<u<oo.
(X-a )T-1 ( )T-2
U-+OO
¡<r-1) (a) - x-a ¡<r-2) (a)-
De aquí se deduce que (r-1)1 (r-2)! ···
1
xª-xª
... - f (a)+ f(x).
1 n ='ljJ(u)<1, 1<u<oo, De aquí obtenemos que para toda función f (x) de la
(x 1 -x)
dase w<r> (M; a, b) es lícita la fórmula de Taylor:
y la desigualdad (2.10) queda demostrada. De este modo,
la función xa. pertenece a la clase n<a.> (1; O, 1) = W< 0 >H<a.> f(x)=f(a) +-x-a-f, (a)+ (x-a)2 f"(a)+ ...
1 '>•
(1; O, 1). Si multiplicamos esta función por el número M
(r-1)
y la integramos r veces con cualesquiera constantes, ele-
gidas de manera sumamente arbitraria, obtendremos una
... + (x-a)T-l
(r- 1)! f (a) +Rr (x) (3.1)

función de la clase w<a.>n<a.> (M; O, 1). <'On el término residual en la forma integral:
X

§ 3. Fórmula, de Taylor Rr (x) = ,p 1 .,. ~ (x -w- ¡<r> (t) dt.


1 (3.2)
a
Examinemos una función f (x} que está definida en el
Introduzcamos en la consideración una función Kr (u)
segmento [a, b] y que tiene en el mismo derivadas conti-
nuas 1 ) de hasta el (r - 1)-ésimo orden inclusive y, ade- que se define mediante las igualdades
más, una derivida continua a trozos de orden r. Dicha ur- 1 u~O

función pertenece, pues, a la clase w<r> (M; a, b) con cierta Kr (u)=


{
O, ' u:;_ o'. (3.3)
constante M.
Obtendremos para tal función la siguiente igualdad , En tal caso la expresión para el término residual R r (x)
aplicando sucesivamente el método de integración por puede ser escrita también en la forma
partes: b
X Rr (x) = ,p 1 ~ \t ~ Kr (x-t) j(r) (t) dt, (3.4)
(r ~ 1)1 ~ (X - w-l j(T) ( t) dt = a
a
puesto que la función K r (x - t) es igual a cero para todo
X
fi jo al variar t desde x hasta b.
¡xa + (r-2)!
.r
(x-w-1 /<r-1) (t) 1 \ (x- t)<r-2) ¡<r-n (t) dt = Convengamos, además, en designar con w~> (M; e, d)
(r-1)1 J In clase de funciones f E w<r> (M; e, d) que satisfacen las
a
= (x-a)T-1 r-1) (a)+ (x-t)T-2 ¡cr-2) (t) ¡t=X + rnndiciones
(r-1)! (r-2)! t=a f (a)= f' (a)= ... = ¡<r- 1> (a)= O.
----
1 ) La fórmula que se obtendrá aquí resulta válida también
para las condiciones más generales, precisamente para la condición
Es evidente que para f E w~> (M; a, b)
que la función f (x) tiene derivada continua absoluta de orden b
r - 1, y, de este modo, tiene casi en todo punto la derivada suma-
ble de orden r. Se debe tener esta observación en cuenta al leer el
f (x) = Rr (x) = fp ~ rn ~ Kr (x - t) ¡<r> (t) dt. (3.5)
Complemento y las partes del libro imprimidas en petit. a

26 27
1 En vista de que nuestra fórmula de- cuadratura es
§ 4. Estimación exacta de aproximación de la exacta para los polinomios de grado r - 1, tenemos
fórmula de cuadratura
1 b ~
Examinemos una fórmula arbitraria de cuadratura
b ~ f (x) dx-L (f) :o-;~ P 7 _ 1 (x) dx-L (P 7 _ 1) +
~ f(x)dx~L(f), (4.1) a
b
a
b
a
m-1 +~ R,(x)dx-L(R 7 )= ~ R,(x)dx-L(R,)=
L (/) = L} Pkf (xk), (4.2) a a
k=O b b
que se define por los pesos prefijados Pk (k = O, 1, ... __ 1 _. ~ ~ K,(x-t)f<'>(t)dtdx-
... , m-1) y los nudos a~ x 0 < x 1 < ... < Xm-i ~ b.
a a
Supondremos que esta fórmula es exacta para todos los
m-1 b
polinomios
p r-1 (x} =ªo+ a1X + ... + ªr-1Xr-1 -1 ---- ~ Pk ~ K,(xk-t)f< 7 >(t)dt =
k=O a
de grado r - 1 (r ~ 1), es decir, para todos los polino- b b
mios de esta índole se cumple la igualdad
b = (r~ 1)1 [~ f<r>(t) ~ K,(x-t)dxdt-
~ P ,_i(x) dx = L (P r-i>· b m-1
a a

1 a
Demos a conocer la expresión exacta para estimar la - ~ ~ Pkf<r> (t) K 7 (xh - t) dt J=
aproximación con ayuda de esta fórmula de cuadratura a k=O
para las funciones de la clase w<•> (M; a, b}. 1 b b
Definamos, pues, una función arbitraria f (x) pertene- - (r - 1)1 ~[~ (x - w- dx -
1
ciente a la clase w<r> (M; a, b}. La función queda definida a t
de este modo sobre el segmento [a, b], tiene en el mismo m-1
derivadas continuas hasta el orden r - 1 inclusive y una
derivada continua a trozos de r-ésimo orden ¡cr> (x) que
- .Li PkKr (xk - t) Jf<7> (t) dt =
k=O
satisface la desigualdad b m-1
¡¡<r> (x)I ~M. , (4.3) -
(r -
1
1)1
\ [ (b-t)'
J ~ PkKr (xk - t) ]f< 7> (t) dt. (4.5)
Desarrollemos esta función por la fórmula de Taylor a k=O
(véase § 3) según las potencias de x - a (a~ x~ b)
con el término residual en la forma (3.4): Así pues, si introducimos en la consideración una fun-
f (x) = P r-1 (x) + Rr (x), rión
m-1
r- 1
P r-1 (x) = ~ (x-;:ia)k f<k> (a}, (4.4) F (t) =
7
1
(r-1)1
[ (b-t)'
- 7-
~
k=O
PkKr (xk - t) J, (4.6)
k=O
b

Rr (x} = Ir~ rn ~ K, (x-· t} ¡<r> (t) dt. obtendremos la siguiente expresión exacta del error de
a
nproximación con ayuda de la fórmula de cuadratura en

28 29

LJ
.~

cuestión para la función dada j (x) de la clase ción con ayuda de la fórmula de cuadratura (4.1) para la
w<r> (M; a, b): clase de funciones W(r) (M; a, b) es igual 1) a
1 b b b

~ j (x) dx-· L (f) = ~ F r (t) j<r> (t) dt. (4.7) ~ [W(r>(M; a, b)]= sup 1 ~ j(x)dx -L(f)I=
u JEW(r)(M; a, b) a
a
b
Para lo que sigue adelante resulta importante tener
en cuenta que la función F r (t) no depende de las funciones
=M ~ JF 7 (t)J dt=Mc 77 (4.10)
a
SUeltaS j de la clase w(T) (a, b), en particular, no depende
de M . Al mismo tiempo la función F r (t) se define por to-
da la clase w<r) (a, b) (por el número r y el segmento donde F r (t) es una función definida por la fórmula (4.6).
La estimación obtenida es exacta suponiendo que no
[a, b]). ~ sabemos nada sobre la función, para la cual se calcula
La fórmula (4. 7) presta una expresión exacta para la
aproximación de la fórmula de cuadratura (4.1) en térmi- aproximadamente la integral , a excepción de que la fun-
nos de la derivada de orden r de la función j (x). En ade- ción citada pertenece a la clase w<r>(M; a , b).
lante dicha fórmula nos servirá de partida para obtener La constante c 7 puede calcularse exactamente o apro-
diferentes estimaciones relacionadas con la aproximación ximadamente con cualquier grado de exactitud, puesto
que ella se da con los pesos Pk y nudos xk que se conocen
de las fórmulas de cuadratura. para cada fórmula de cuadratura concreta. La dificultad
Si se toma en consideración que para la función j
de la clase w(r} (M; a, b) debe cumplirse la desigualdad de calcular la constante c 7 consiste en hallar los puntos
del intervalo (a, b), en los cuales la función F r (t) cambia
(4.3), entonces de signo.
b b 1 Observación. En los razonamientos aducidos más arri-
1 ~ f(x)dx-L(f)\~M ~ ¡F7 (t)J dt=Mc 7 • (4.8) ba se suponía que la fórmula de cuadratura (4.1) es exac-
a a ta para todos los polinomios P 7 _ 1 de grado r - 1. Admi-
tamos ahora que la suposición no es cierta, es decir, exis-
Indiquemos que en este caso el segundo miembro de la F.
te un polinomio P:-1 para el cual
desigualdad no puede ser disminuido, puesto que en la
clase w<r> (M; a, b) existen funciones j, para las cuales b
dicha desigualdad se convierte en una igualdad. Precisa- ~ P;_1 dx-L(P;_1)=A.=FO.
mente este fenómeno tiene lugar para toda función j
a
1 cuya derivada de r-ésimo orden es igual a sign F r (x), es
decir 1 ) ,
Mas, en este caso para el polinomio P;'~.. 1 (x) = ~ P:- 1 (x),
j<r> (x) = M sign F r (x). (4.9)
donde N es un número cualquiera, tiene lugar la igualdad
Para obtener con eficacia cualquier función de esta b
índole, hace falta integrar r veces el segundo miembro de ~ P:~1dx-L(P:~1)=N,
(4. 9), cada vez con constantes arbitrarias de .integración.
a
De aquí se deduce que la estimación exacta de aproxima-
1 ) *SUp» es el signo de la cota superior exacta del conjunto de
Í 1 (u > O),
= números, es decir, del número mínimo que no es superado por
1) sign u l O (u = O),
-1 (u<O). ningún otro número perteneciente al cónjunto.
31
30

1'
\
IJ ,1
y esto demuestra que, cualquiera que sea el número Luego. en lugar de (4.8) podemos escribir ahora, de acuerdo
N > O, tendremos con la desigualdad ele Holder:
,,
b
1 ~ f (x) d.r -L (!) 1 ~JI/(") llLP 11 Fr llLq ~ M JI Fr llLq'
sup 1 ~ f (x) dx - >
L (!) 1 a
/EW(T)(M; a, b) a
1 1
b ¡;+q-=1, (4.12)
>I ~ P~!.1 dx-L (P~!.1) 1>N.
a
do nde
b

11Fr11Lq=( ~ 1 Fr(t) ¡qdt)1/q. (4.13)


El polinomio P :'!.1 (x) tiene derivada de orden r que a
es idénticamente igual a cero y por eso
Además,· para la clase de funciones W{¡ (M; a, b) no podemos
P~~1EW<r>(M; a, b). 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 función
Por consiguiente,
b
b
( \ J Fr (t) l'I dt )- 1/p 1 Fr (t)
1 ~f(x)dx-L(f)l=oo.
f(Tl (t)= J ¡q-l sign Fr (t)
i [W<r) (M; a, b)] = sup
a
1ew<7 l(M; a, b) a
que satisface la condición (4.11). Así pues, el segundo miembro
De este modo, la cota superior ~ [W<r> (M, a, b)] de (4.12) se obtiene para cierta función f perteneciente a la clase
puede equivaler al número Mcr o al infinito, en dependen- W ( 7 )Lp (M; a, b).
Cuando p = 1, es decir, cuando la función f (.r) pertenece
cia de si es exacta o no exacta la fórmula de cuadratura (4.1) a la clase W<[l (M; a, b), tenemos
para los polinomios Pr-i de grado r - 1.
Esta observación fue enunciada por M. Levin (véase b b
Complemento [23)). Indiquemos adicionalmente que esta 1 ~ /d.r-L(f)l=I ~ Fr(t)f<7l(t)dt1~
observación queda lícita también para las fórmulas de a a
cuadratura (12.1), delas cuales se trata en el § 12. b
~ máx 1Fr(t)1 \ 1W>(t)1 dl~M máx 1 Fr(t) J.
Si una función f pertenece a la clase de funciones wZ) (M; a~t~b Ja a~t~b
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 El segundo miembro de esta igualdad es un número mínimo,
desigualdad con el cual ella se verifica para todas las funciones f de la clase
en consideración. Reuniendo ambos resultados obtenidos, llegamos
b a la siguiente igualdad que es válida para la fórmula de cuadratura
11 j(T) llLp = { ~ j(T) (x)P dx) l/p ~ M, p > 1, (4.11) exacta para los polinomios de grado r - 1:
a b

sup 1 \ fdx-L(f)l=MllFrllL,
no es difícil de concluir que· para ella, en el caso de una fórmula /EWl'.°l (M; a, b) ~ q
de cuadratura que sea exacta para los polinomios de grado r - 1, p
todos los razonamientos aducidos en este párrafo, incluido la igual- 1 1
dad (4. 7), quedan en vigor. -+-=1,
p . q (4.14)

32 3- 0864 33
donde 11 F 7 llLq• para p > 1, se define por la igualdad (4 .13), y Para la fórmula
para p = 1 se tiene 1

11 F llL = máx 1F r (t) ¡. (4.15) c1 = ~ 1(1-t)-Ki(; -t)jdt=


00 o,,;::;1.:;;;1 o
1/2 1
Al igual que para la clase W< 7 > (M; a, b), se demuestra que
si la fórmula de cuadratura (4.8) no es exacta para los polinomios
=~
o
1(1-- t)-11 dt +~
1/2
(1- t) dt = !'
de grado r - 1, entonces la cota superior que se examinó en (4.14)
1/2 1
es igual al infinito.
C2= ~ 1 (1-;t)2 ( ; - t )1 dt+ ~ (1--;t)2 dt== ;4 .
o 1/2
§ 5. Constantes numéricas para las fórmulas Fórmula de los trapecios. En este caso m = 2, p 0 =
de cuadratura particulares = p 1 = 1/2, x0 = O, x1 = 1. La fórmula es exacta para
los polinomios de primer grado, por lo cual en el caso da-
En el caso en que a · O, b = 1, tenemos do la teoría es aplicable para r = 1, 2:
1 1 1

~ fdx-L(f)= ~ F 7 (t)r>(t)dt, (5.1) c 1 =~ 1(1-t)-; Ki(-t)-+Ki(1-t)J<lt=


o o o
1 1
donde
m-1 =~ l t - t - + / dt= ~ l+-tl dt=
F 7 (t) = 11 "
lr- [ (1-t)7
r "
L.J PkKr (xk - t) . J (5.2)
o
1/2 1
o
h= O
-= ~ (
o
+-t) dt + ~ ( 1/2
t - ; ) dt = !.
Pongamos

c7 =
1
~ F 7 (t) J dt = máx 1\
1
f dx- L (!) I· (5.3) C2 = ~o J - 2 - (1- t)2
1
2K 2 (-t)- 21 K 2 (1-t) 1 dt=

~
J
o 1ew<7 l(1 ; o, 1)

= ~Io (1-t) 2 1 1
1 - t 1dt=+ ~ (1-t) t dt="""f2'"·
-2-
Se debe tener en cuenta que 2 o
1
Fórmula de Simpson (véase fig. 3). Para esta fórmula
máx 1 ~ f dx-L (f) = Me,. J m = 3, Po = p 2 = 1/6, p 1 = 2/3, x 0 = O, x1 = 1/2, x 2 =
1ew<7 l(M; o, 1) 0 1. Para ella pueden calcularse c1 , c2 , c 3 , c4•
Los cálculos muestran que en el caso dado
Fórmula de los rectángulos (véase fig. 1). Pasa ella
· m = 1, Po = 1, x 0 = 1/2. Es exacta para las funciones C¡ = 5/36, C2 = 1/81, C3 = 1/576, C4 = 1/2880.
lineales, es decir, para los polinomios de primer grado,
por lo cual la teoría expuesta es aplicable a la fórmula La constante numérica c4 para la fórmula de Simpson
M da en muchos libros de matemáticas.
para r = 1, 2.
34
.1 • 35
Fórmulá de Cotes con cuatro nudos (equidistantes) 1) Fórmula de Simpson:
(k = o, 1, 2, 3): ci 2> = 61- =O, 167, c~2 > = ~ = 0,0152,
12 30
Po= p3 = 118, P1 = P2 = 3/8, x,, = k/3.
c<32> = ir = 0,00203,
Es exacta para todos los polinomios de tercer grado y, 48 lt -~-

por eso, para ella existen constantes Cit para k = 1, 2 1


3, 4. En el caso dado e~ = 1/6480 (véase (131) 2 ).
- c~2 > = --~ ~ r.. = 0,000464.
Fórmula de Cotes con cinco nudos (k = O, 1, 2, 3, 4): Observación 1 ). A veces resulta posible simplificar el
Po = p, = 7/90, p 1 = p 3 = 32/90, p 2 . 12/90, X11, = cálculo de las estimaciones. Supongamos que la fórmula
= k/4 (es exacta para los polinomios de quinto grado).
de cuadratura de la forma
Para ella 1· m

C5
1
345600 ' C5
~ ~ 517.10-9 • ~ f dx ~ ~ P11.f (xk)
-1 k=m
La constante c5 fue calculada por P. Pílica (13], y la es simétrica, es decir, satisface las condiciones
c6 , por Yu. Ya. Dorónin. - x_k = xk, P-11. = Pk,
Pongamos, además,
1
y (lxacta pasa Pr-i (polinomios de grado r -1).
( ~ rF T (t)q dt r'q =c;q>. (5.4) En este caso (las explicaciones daremos más abajo)
~ [W<r) (M; --1, 1)) =
o
1 m
De este modo, e~º = Cr·
Más abajo damos a conocer valores numéricos de las - sup 1 ~ f dx - ~ Pk/(xk) 1= '
1ew<7 >(M; -1, 1\ -1 k=m
constante~ c~2 > para las fórmulas, anteriormente aducidas, 1 m
de los rectángulos y trapecios y también para la fórmula
de Simpson. Estas constantes se han calculado por Yu. sup 1 ~ fdx- ~ P1if(xh)I=
/EW~rl(M; -1, 1) -1 k= - m
Ya. Dorónin. o
Fórmula de los rectángulos:
1
= sup 1 ~ jdx- ~ Pkf(x1i)I+
ci 2> =---;;=-
2
= 0,289.
11 3
/EW~r>(M; -1, O) -1 xk<O
1

Fórmula de los trapecios: + /EW~r>(M;


sup
O, 1)
1 ~ f dx-'- ~
o xk>O
PkÍ (xk) I=
1 1
c(2) = - 2 -y3
1-_- = O 289 c< 2> = 2 v3o = 0,0914.
1 ' ' 2
2sup 1 ~ f dx- ~ P11.f(xk)I =
/EW~r>(M; O, 1) O x11,> 0
1) La fórmula de cuadratura (1.5), donde los pesos p11, se definen
por las integrales (1.6) se denomina fórmula de Cotes con m 1 + 1
nudos, siempre que sus nudos a = x 0 < x1 < .. . Xm = b di- 2 J\ 1 (1-t)T
r " P11.Kr(Xk-t) 1 dt. (5.5)
viden el segmento [a, b] en m partes iguales. Cuando m 1 es + -(r-1)1
O
-.LJ
xk> O
impar, la fórmula es exacta para los polinomios no sólo del m-ésimo,
sino también del (m +
1)-ésimo grado: si la escribimos para [-1, 1 ], 1 ) La observación dada pertenece a Yu. Ya. Dorónin [6].
será simétrica y, por tanto, exacta para xm+1 • llamos aquí otra demostración.
2 ) Dicha constante se aduce en [13] con una errata.

37
36
Tabla J l)
Fórmula de Chébishev para el segmento [-1, 1]

Núme-
ro de Fórmula
Valores de~ (W (r) (1; -1, 1)] = 5UP
1 f(r) (x) 1 .:;;; 1
1 1
- 1
f (x) dx - L (!) 1
nudos
r=1 r=2 r=3 r=4 r=5

1 1
\ fdx~2!(0) 3
-·1
1 9 - 4 V-3 1
2 ) fdx~t(-V:)+t (~ª) 5 - 2Y-3 =0,511966 ~ (2 Y-3 - 3)3/2 = 108
ill = 0,0074074
1 3 1

=0,081128 =0,0191833
¡
_vdx:::::: [1 (-l?) +f<O>+ !
1 1 ((8 ,r-
36 1
V 2 - 11)3/2 + 360 = 0, 0027778
<5-3V2>=0,3366o4 16 V-2 (3 V-2 -
3 81
- 4¡3/2= 0. 033389
+ 58 V2 - 82] =
= 0,00555819
+t(l?)J
1
S fdxz-1 [f(-b) + f (-a)+ f (a)+ 1 -¡¡-
17 - (a+ 3b) = 0,261777
( 4b - 3)1/2 -
3 -
0,003358 0,0005719 0,0000879
4
-1 = o. 0251626
+f (b)],

a =l/ Y-5 - 2' b =.. .ÍV5 ~2


3 V5 V · 3V5

1) La tabla está calculada por Yu . Ya. Dorónin. Véase [5] sobre la fór
mul a de Chébishev. La consta nte en la segunda fila de la Tabla parar = 4
fue calculada originalmente por E. Ya. Remez [ 17, 18] . En las mismas obras dio valores exactas de las constantes de la fórmula de Chébishev para
3, 4, 5, 6, 7, 8, 9 nudos, cuando r = 4, 6, 6, 8, 8, 10, 10, respectivamente. La cuarta fila puede ser complementada por una constante correspondiente
a r = 6, igual a 2/42525 = 0,000048.

Aquí W~r> (M, e, d) denota la clase de funciones Es evidente que si f E War>(M; -1, 1), entonces fi E
j E W<r) (M; e, d) tales que f (O) = j' (O) = ... = E W~r> (M; -1, O) y j 2 E W~r> (M;O, 1), y viceversa. Ade-
= p -1> (O) = O. La segunda igualdad de la cadena es '! más, se debe tomar en consideración que si A y B son
cierta, puesto que la fórmula en consideración es exacta conjuntos de números reales tales que de a E A se deduce
para todos los p r -1 (véase § 3). ·I
que - a E A, y de~ E B se deduce que -~ E B; entonces
La tercera igualdad se explica del modo siguiente. tiene lugar la igualdad
Si la función f (x) está definida en el segme~to [-1, 1),
podemos determinar con su ayuda dos funciones: sup ¡a.+~I =sup lcx.I +sup l~I·
aEA, 13EB aEA 13EB

Í1 (x) = f (x), -1~ x~ O, La penúltima igualdad de la cadena se deduce de los


f 2 (x) = f (x), Ü~ X~ 1. siguientes razonamientos. Si f E W~r> (M; -1, O), entonces
3~
38

IJ
Tabla 2 1 )
Fórmulas de Gauss para el segmento [-1, 1]

1
..,"' Valores deicw< 7 >c1; -1, 1)]= sup
J
1 · 1 f dx - L (f)
..8~
o Fórmula
1¡(r) (x) 1,,;;;; 1

·::s"'
za r = 1 1
r=2 r r=3 r=4 r= 5 r=6 r=7 r=8

1 1
1 ~· fdx:::.: 2! (0) 1
3
-'l
1 y-- 5 - 2v3 =0,511966 9 ~3 V:i- 3)3/2= 9 - 4 V-3
2 S jdx:=.:f (---f) + 3
(2

= 0,08112!!
108 = 1135=
= 0,0191833 =fJ,0074074
-1

+ f (V:3)
1
4~5 (1051 -
8
2187 <90 l'U:S-
1 5-6
o. 000009 1 1800
vo.s 1 1
I5'f50 =
3 S fdx:::::;f [5/ (-VO,li)+ 1458 X
-1 =0,0001958 =0,00006349
-1110-VD>= - 65) 3/2 = X (16 (30 Vü,6-
+ 8/ col+ 5/ <VO.S>l = 0,357337 =o. 040545 - 23)312+
+ 1548VD-
- 1198] =
= 0,002011
1
0,021853 0,00236 0,00027 10,000031.81 0,0000053 10,00000110,0000003
4 S fdx:::::: 0,275993
-1
2
:::::: ~ Jlkf (xk) (Po= O)
k=-2

~·-1 = X1 = V15 - 2f30


35 ,

18 + f30
il-1 = P1 = 36 ,

- ~·- 2 = x 2 = v15 +2f30


35 ,

18 - V3o
P-2= P2 36

1) La Tabla fue calculada por Yu. Ya. Dorónin, Véase en § 17 sobre la Mrmula de Gauss. Para dos nudos las fórmulas de Gausg y de Chébishev coinciden.

41
40
para cp (x) = j (-x) tendremos cp E w~r) (M; O, 1), y vi- En el intervalo (O, a) se tienen en total dos ceros de la
ceversa. Además, por ser simétrica la fórmula de cuadra- función 'ljJ (t), iguales a
tura, tenemos 4+Vk
C1 = 9 , C2 = 4-yk
n , k = 90a - 65,
O -1 1 m
~ f (x) dx- .Li PkÍ (xk) = ~ cp (x) dx- .Li pkcp (xk). y, además, llJ (t) es negativa en el intervalo (c 2 , c1 ) y po-
-1 k=-m O k=1 sitiva fuera del mismo. Observemos también que
s 2 Vk
La cota superior del primer miembro de esta igualdad C1+Cz=g• Cz-C1= --9-'
para la clase de f E W~") (M; -1, O) es igual, evidente- 2+ C1C2 + c22= 48+k 90a-17
mente, a la cota superior de su segundo miembro para la c1 -- -
dase de cp E w~r) (M; O, 1). Diremos, además, que si la
fórmula de cuadratura en consideración cuenta con un
Por eso tenemos (5a2 = 3)
nudo x 0 = O, entonces para él Po f (O) = Po cp (O) = O,
+; (t-a)J dt-
c2

puesto que f (O) = cp (O) = O. ; l= ~ [(1-;-1)2


Por fin, la última igualdad se deduce de las igualda- o
des (4.6), (4.10) para a = O, b = 1 que son lícitas en to-
-t;
c1

do caso para f E W~~> (M; O, 1).


Mostremos, a título de ejemplo, cómo se calcula la
- ~ [ <1 ;t) 2
(t-a)J dt+
c2
cota superior & [W<r) (1; -1, 1)1 en el caso de la fórmula a 1
de cuadratura de Gauss con tres nudos: +~ [ (1;t)2 +; (t-a)J dt+ ~ (1~1)2 dt=
q a
x_ 1 =-a=-Y3!5, x 0 =Ü, x 1 =a=V3!5,
P- 1= P1 = 5/9, Po= 8/9
= ! [-(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 =
para r = 2. 1
Esta fórmula es simétrica y es en todo caso exacta pa- =3 ( -(1-c2 ) 3 + (1-c1) 3 ] +
ra los polinomios de primer grado. Por eso, para ella pue-
de aplicarse la igualdad (5.5): +g-5 [(cz-a)2-(c1-a)2J+ [ ff-IBaz
1 5 J=
1 = (c2 - c1) [ 1- ! (c1+ c2) - ~O a+ ! (e~+ c c +e;) J
1 2 =
t[W<r>(1; -1, 1)]=2~1 (l-;t) 2
K 2 (a-t)ldt = f.
o
;
_ _ 2 yk
- 9
(1 - ~-_iQ_
. 81 9 ª -1-- 9üa-11
243
)=
La función bajo el signo de integral, la que se desig- 4 yk 4kª12
nará con llJ (t), se define mediante las fórmulas = 2187 (90a - 65) = 2187 '
y hemos obtenido la estimación
'ljJ(t)=
(1-t)2
? +95 (t-a), O~t~a,
~ ¡w<r > (1; 8 ( 90 -.V/ 3 -65
--1, 1)1 = 2187 · )3/2
5
(1 - t) 2
'ljJ(t) = " , a~t~1. que se aduce en la tabla 2.

42 43
pesos Pk se relacionan a los pesos correspondientes p,.
§ 6. Fórmulas de cuadratura complicadas. como la longitud del segmento [a, M a la unidad, o sea,
Estimaciones de las aproximaciones ·i
si se cumplen las correlaciones
de arriba para las clases de funciones
Prefijemos en el segmento [O, 1] un sistema de puntos XÍt = a+xk (~ - a), PÍt= Pk (~-a),
(nudos) k=O, 1, ... , m-1.
(6.1)
Ü~ Xo <X¡< · · · < Xm-1 ~1
En la práctica, cuando se necesita calcular aproxi-
y de números (pesos) madamente una integral definida
(6.2)
Po• Pi•· · ., Pm-1 h

y compongamos una funcional lineal


~ f (x) dx,
a
m-1
L (f) = L (O, 1; f) = :2j p 1d (xh), (6.3) se procede normalmente de la manera siguiente: se elige
k=O tal o cual fórmula de cuadratura (6.4), por ejemplo, la
donde f es una función arbitraria continua en el segmento fórmula de Simpson, se divide el segmento [a, b] en n
partes iguales mediante los puntos
[O, 1].
Convengamos en considerar que L (!) es una expresión t b-a
aproximada para la integral de f (x) en el segmento [O, "'"=a+--k
n '
(6.6)
1]:
1 yacadaintervaloparcial(s1<,s1<+ 1 ) (k=O, 1, ... , n-1)
~ "~ se le aplica una fórmula de cuadratura semejante a la
~ f (x) dx ~ L (/). (6.4)
(6.4) que corresponde al intervalo (s10 s1<+1 ):
o
~h+l
De este modo, (6.4) es la fórmula de cuadratura (aproxi- ~ f (x) dx ~ L (s1<, Sk+t; /).
mada) definida por los nudos (6.1) y pesos (6.2). ~k
Supongamos ahora que está dado un segmento arbi-
trario [a, ~]. Diremos que la fórmula de cuadratura Como resultado, a partir de la fórmula de cuadratura
(6.4), que se denominará canónica, obtendremos fórmula
13
(6.5) de cuadratura complicada
- ~ f(x) dx ~ L (a, ~; f),
a b n-1

donde ~ f (x) dx ~ ~ L (~1u Sh+i; /). (6. 7)


m-1 a k=O
L (a, ~; f) = :2j p'1d (xí,),
h=O Por ejemplo, la fórmula de cuadratura complicada pa-
ra un rectángulo tiene, evidentemente, la expresión si-
se llama semejante a la fórmula (6.4), y la funcional 11iente:
L (a, ~; f), semejante a la funcional L (f), si el sistema de h n-1
puntos a, x 0 , x 1 , • • • , Xm-i• ~ es geométricamente seme- ~ f (x) dx bn ª ~ f (xí.),
jante al sistema O, x~, x~, ... , x;,, - 1, 1, mientras que los a h= O

44 45
Pongamos, igual que en el § 5,
donde
XÍ< =a+ (2k+1) (b a) k=O, 1, ... , n-1. 1 1

1~ fdx-L(f)I=~
2n
Cr= máx ¡F,(t)ldt. (6.11)
La fórmula de cuadratura complicada de los trapecios /EW(r)(1; O, 1) o O

tiene la forma
b
Teorema 1. Si la fórmula de cuadratur~ (6.4) es exacta
~ f (x) dx ~ b2n a [f (so)+ 2/ (s1) + 2/ (62) + ... para todos los polinomios de grado r - 1, entonces para
cualquier función f, perteneciente a la clase w<r> (M; a, b),
a
tiene lugar la desigualdad
... + 2/ (sn-1) + f (sn)],
b n-1
donde los números Sk se definen por las igualdades (6.6). \ '1 1 (b-a)r+l e M
La fórmula complicada de Simpson tiene por expre- 1 J f (x) dx - LJ L (Sk• Sk+t; /) ~ ~r r • (6.12)
a k=O
sión
b
~ f (x) dx ~ bi:a {! (x0)+ 4f(x 1) + 2/ (x2) + Existe una función f*, dependiente de n y perteneciente
a la clase W<r> (M; a, b), para la cual la desigualdad (6.12)
a
se transforma en una igualdad.
+ 4f (x3) + ... + 4f (X2n-1) + f (X2n)}, Demostración. Teniendo presentes las propiedades de
donde semejanza de la funcional L (sk, Sk+i; /) a la funcional
L (f) y, además, la igualdad (6.9), tenemos (las explica-
x¡=a + i· - b-a
2-
n ,
·
i= O, 1,
. •.• ,
2n. ciones daremos más abajo)
"'"
Es fácil ver que si la fórmula de cuadratura (6.4) es b n-1
exacta para todos los polinomios P P (x) de grado p, ~ f (x) dx - ~ L (Sk• Sk+t; /) =
es decir, si para todos los polinomios P P (x) se verifica a k= O
la igualdad n-1 61i+i
1
(6.8) =~ {~ fdx-L(sk, Sh+t; n}=
, ~ P P ( x) dx = L (P p), k=O 6h
o n-1 1

lo mismo tiene lugar también para la correspondiente - h~ {~ f(sh+hu)du-L[f(sk+hu)J}=


fórmula complicada (6. 7). k= O O
En virtud de (4. 7} tenemos n- 1 1

1 1 = hr+t ~ ~ Fr (u)¡<'> (sk +hu) du,


~ f dx-L (f) = ~ F r (t) f<r) (t) dt, (6.9) h=O O

o o h=. bna· (6.13)


donde
1 [ (1 - t)7
~
m
PkKr(xh-t)J. (6.10)
El símbolo L [f (sh + hu)] denota L (F), donde F (u) =
F T (t) (r-1)! r
k=O
= f (s"
+ hu).
47
46
Si, ahora, la función f pertenece a la clase w<r>(M; a, Entonces, en virtud de (6.15), tendremos
b), entonces
n-1 1 b n- 1
b n-1
1 ~ f dx- ~ L (6 10 Sk+t; /) 1~Jir+1 ~ M ~ !Fr (t)I dt= ~ !* dx- ~ L (611, S11+1; f*) =
k=O O a k=O
" k=O
n-1 1
- (b-a)T+l CrM
nT
(6.14) =hr+t ~ ~ Fr (u) M sign Fr (u) du=
r= O O
lo que demuestra la desigualdad (6.12). 1
Queda por demostrar la posibilidad de construir una
función f* E w<r> (M; a, b}, para la cual la desigualdad = Mhr+ln ~ 1 Fr (u) 1 du = (b-a)~: 1 crM ,
(6.12) se transforma en la igualdad. Sea f k (x) cierta fun- o
ción definida en el segmento [6k, 6k+il que tiene deriva-
da continua a trozos de orden r y que satisface la condición y el teorema queda completamente demostrado.
Si es posible estimar algunas derivadas de la función
¡<¡> (611 + hu) = M sign F r (u), f (x), para la cual deseamos calcular la integral. definida,
(6.15) es decir, si es posible determinar algunas constantes M 1 ,
O< u< 1, k = O, 1, ... , n - 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 función f * (x) ya está definida en el segmento 1 f' (x) 1 ~M1, 1 f" (x) 1 ~M2 ,
rno,6kl y tiene en su extremo 6k derivadas 1 ) iguales a
entonces, sabiendo magnitudes numéricas c7 , podemos ha-
t* (s") = ªº' !~ (sk) = ª•• ... , ¡<¡- 1> (sk) = ªr-1· ciendo uso de la estimación (6.12) eligir de las fórmulas
de cuadratura correspondientes aquella que da la mejor
entonces hagamos aproximación.
f* (x) = Ík (x)+ Pr-t, 11 (x) (6.16)
Este teorema puede extenderse a la clase Wt> (M; a, b)
en el segmento [s 11 , Sk+i), donde P r- 1 ,11 (x) es el polino- del modo siguiente. P
mio de grado r - 1, elegido de una manera: tal que el Teorema 1' . Para toda func ión f perteneciente a la clase
segundo miembro de (6.16) tenga en el punto 6k deriva-
wz>
p
(M; a, b), donde 1 < p < oo, tiene lugar la desigualdad
das de hasta el (r - 1)-ésimo orden inclusive iguales a
b n-1
los números a 0 , a 1 , ••• , a 7 _ 1 , respectivamente.
Con esto la función f * (x) queda completamente defi- 1 ~ fdx- ~ L(61i - 61i+¡; f)l~(b-a)r+~~l/Pc~q)M'
nida (por inducción) en el segmento [a, b). Pertenece, ª k= O
evidentemente, a la clase W<r> (M; a, b}. Pongámosla 1
en (6.13) y tendremos en cuenta que c~q) = ( \ 1F 7 (t) lqdt) 11q, ..!.+_!_=1, (6.17)
dT
Jo ' p q
dxr Pr-1,h (x} =O.
que es exacta en el sentido de que existe una función f* , perteneciente
Aquí y en adelante se considera que la derivada de orden
1)
a la clase indicada, para la cual dicha desigualdad se convierte en
la igualdad.
nulo es igual a la misma función.
4-0864 49
48
Demostración. De (6. 13) se deduce, en virtud de la desigualdad Demostración. Las relaciones (6.18) quedan en vigor, si con-
de Holder: sideramos en ellas que c~ 00 > se define por la igualdad (6.19). Pero,
b n-1 ahora ya no podemos afirmar que existe la función de la clase
wc¡:> (M; a, b), para la cual la desigualdad se transforma en la
1~ f dx- ~ L (;k, ;1!+1; !) I= igualdad exacta.
a k=O Sin embargo, siempre pueden construirse en los intervalos
n-1 1 (s1¡, ;1!+1) las funciones Ík (x) de la clase w<¿> (Ml n; ;1¡, S11+1)
=I hr+l ~ ~
k=O O
Fr (u) j(T) (;k+hu) du 1 ~ de tal manera que el primer miembro de la desigualdad
sn+1
n-1 1 1 1 ~ f1¡dx-L(s¡¡, ;1!+1; tn)J~(b-;:-ªf+ 1 c~00 >M
~hr+l ~ ( ~ 1 Fr ¡q dt )1 1q ( ~ 1 j(T) (h+hu) IP du )1 1p = s1¡
k=O O O
sea tan próximo al segundo como se quiera. Luego, con ayuda de
n-1 ~k+l las funciones fk (x) construimos, al igual como se ha hecho más
= hr+l-l/P4q) ~ ( ~ 1 j(r) (x) 1P dx) l/p ~ arriba, la función t. (x), para la cual el primer miembro de (6.18)
se diferencia del segundo a una magnitud tan pequeña como se
k=O s1¡ quiera.
n-1Sk+l n-1
~hr+l-l/Pc~q)( ~ ~ IW>1Pdx) 11P( ~ fq)l/q=
Teorema 2. Si la fórmula de cuadratura (6.4) es exacta
k=O ~k k=O
para todas las constantes (polinomios de grado nulo), enton-
b
ces para cualquier función f (x) perteneciente a la clase
= hr+l-1/Pnl/qc~q) ( ~ 1j(T) 1Pdx)1/p ~ (b-a)r+l~l/Pc~q)M ' (6.18)
H w (a, b) = W< 0 >H w (a, b) tiene lugar la desigualdad
b n-1

~ ""
a

_!_+..!.-=1.
1~ f dx- ~ L (~1¡, ~n+t; f) 1~
a k=O
p q
m-1

fk
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-
~( 1+ ~ /Pk 1) (b - a) ffi ( b :- ª ).
fagan las desigualdades k= O
Demostración. Admitamos por ahora que la función .
f,[>(;n+hu)= M 1 F 7 (u) ~q- 1 signF7 (u) , f pertenece a la clase H w (O, 1) y supongamos
(b-a) 1 /P O 1 Fr ¡qdu) IP 1
f (x) = f (O) + cp (x).
o
k=O, 1, ... , n-1. Entonces (véase (2.3))
y se construye a continuación la función f * (x), con ayuda de las 1 cp (x) 1= 1 f (x) - f (O) 1~ ffi (1)
funciones fk (x) utilizando el método igual al aplicado más arriba, y debido a que en este caso la fórmula de cuadratura (6.4)
entonces la función obtenida Í• (x) pertenecerá, que es fácil de
comprobar, a la clase w<¿> (M; a, b) y para ella la desigualdad ('S exacta para las constantes, tenemos
1 1 m-1
(6.17) se transformará en la igualdad.
Teorema i ". Para cualquier función f de la clase
tiene lugar la desigualdad (6.17), donde
wz> (M; a, b)
1 ~ f dx-L (!)'
O
=J ~ cp dx- ~ PnCf! (xk)
O k=O
1 ~
m-1
e~"")= máx 1 F7 (t) ¡. (6.19)
o,,;;;t,,;;;1 ~úl(1)(1+~ IPnl).
El segundo miembro de la desigualdad (6.17) no puede ser disminuido. k=O

50 l• 51
Ahora, si la función f pertenece a la clase H"' (a, b), de cuadratura considerada en este teorema es exacta para
entonces, tomando en consideración la relación (6.13) los polinomios de grado r, obtenemos
(sin la última igualdad) y el hecho de que 1

1 f (Sk +hu")-- f (Sk +hu') l ~ro (h (u" - u')) ~ro (h), ~ F T (t) dt
= o. (6.21)
o
O~u' <u" ~1,
Supongamos ahora que la función f pertenece a la cla-
obtenemos se W<r>H"' (a, b). Apliquemos a ella la transformación
b n-1 (6.13). Entonces, teniendo en cuenta (6.21 ), obtenemos
'~ fdx- ~ L(sk, Sh+t; !)1~ b n-t

n-1
a
1
k=O 1~ fdx- k=O
a
~ L (sk, Sk+t; f)I=
~h ~ 1 ~ f (sk+hu) du-L[f(sk+hu)JI~ n-1 1
k=O O =hr+1¡ ~ ~ Fr(u)r>(sk+hu)dul=
n-1 m- 1 k=O O
~h ~ w (h) (1 +~ 1Pk1) = n-1 1

k=O k=O = hr+t I~ ~ F r (u) [¡<7> (Sk +hu)--


m-1 k=O O
( "'1
=1-\-L.JIPkl ) (b-a)ro (b-a)
-n-,' h=-n-· b-a n-1 1

k=O - j(r)Sk)] du J ~hr+t ~ ~ 1F r (u) 1 J/<r) (Sk +


Teorema 3. Si la fórmula de .c uadratura (6.4) es exacta k=O O
"'" "
para los polinomios de grado r, entonces para todas las fun- n-1 1

ciones f pertenecientes a la clase w<r>Hw (a, b) tiene lugar, + hu)-r>(sk)/du~hr+t ~ ~ JFr(u)Jro(h)du=


cuando r ~ 1, una desigualdad k=O O
b n-1
( b- a)
1~ f dx- k=O
a
~ L (sk, Sk+1; f) 1~ =(b-ay+tcr ú)
nr
n

ú) ( b-a \ y el teorema queda demostrado.


~(b-ay+1cr nr
n J (6.20) Indiquemos que las estimaciones obtenidas en el teo-
rema (1) (como también 1', 1 ")son absolutamente exactas
donde Cr .se define mediante la fórmula (6.11). y no pueden ser mejoradas, mientras tanto las obtenidas
Demostración. Si en la igualdad en los teoremas 2, 3 no poseen esta propiedad. Estas últi-
mas pueden ser mejoradas ulteriormente. Sin embargo,
1 1
está demostrado [13] que en el sentido del orden ambas úl-
~ f dx-L (f) = ~ Fr (t) f<r) (t) dt timas estimaciones no pueden ser mejoradas. Esto signi-
o o fica que, si en la desigualdad (6.20) sustituimos r por un
(véanse (5.1) y § 4), obtenida teniendo en cuenta la condi- número mayor r 1 , O· bien la función ro (x), por otra función
<•> 1 (x), para la cual
ción de que la fórmula de cuadratura (6.4) es exacta para
los polinomios de grado r - 1, ponemos en calidad de , m
lI ú)¡ (x)
---
O
f (x) la función x 7 , entonces, en vista de que la fórmula x-+O ú) (x) - '

52 53
entonces, cualquiera que sea la constante A, el primer de grado r. Cualquiera que sea la función f de la clase
w<rl (M; a, b), si ella no es un polinomio de grado r - 1,
miembro de (6.20) no puede ser inferior a A w ((b-a)/n) , ó
nr, el orden de aproximación ofrecido por la fórmula de cua-
dratura (7 .1) es, en cierto sentido, estrictamente igual a
A Wi ((b-;:ra)/n} ' respectivamente, para toda f E w<r) X . O (n-r).
X H 00 (a, b) y todo n = 1, 2, ... Comencemos por demostrar el siguiente teorema.
Algunas estimaciones exactas para las clases de funcio- Teorema 4. Supongamos que la función f (x) tiene en
nes que satisfacen la condición de Lipschitz fueron obte- el segmento [a, b] la derivada continua ¡<rl (x) de orden r,
nidas por A. Ch. Turetski [18]. b-a •
y que Sk =a +--k n
(k =O, 1, .. ., n -1), les un nu-
mero natural que satis/ace las desigualdades ,O < l ~ n,
§ 7. Estimaciones w (h) es el módulo de continuidad de la función ¡<rl (x) en
para las funciones individuales. el segmento [a, b].
Elección de la fórmula de cuadratura Admitamos, además, que la fórmula de cuadratura (7.1)
es exacta para los polinomios de grado r -1, y x es la cons-
En virtud del teorema 1 del párrafo anterior, si apli- tante que se define por la igualdad (véase (6.10))
camos a la función f, perteneciente a la clase w<r> (M; 1
a, b), la fórmula de cuadratura complicada X=~ Fr(t)dt. (7.2)
b n-1 o
~ f dx ~ ~ L (Sk-I• Sk; /), (7.1) En estas condiciones tiene lugar la siguiente igualdad
a k=O asintótica:
1 .... que es exacta para los polinomios de grado r - 1, enton- ;¡ !-1
ces el orden de aproximación 1 ) con ayuda de esta fórmula ~ f dx- ~ L (sk, Sk+1; /) =
es igual a O (n-r). Este resultado da la estimación de a k=O
aproximación de arriba para toda clase de funciones
w<rl (M; a, b).
El teorema 1 afirma también la existencia en la clase
w<r> (M; a, b) de una función (dependiente de n), para
r ~l
=( b--;:a {x ~ ¡<r>(x)dx+O[rn(h)]},
a
(7.3)

la cual el orden de la aproximación con ayuda de la fór- h= b-a


mula (7.1) es conseguible. En este párrafo se mostrará que n '
este fenómeno tiene lugar en cierto sentido para cada fun- donde la constante c que figura en la estimación O [w (h)] ~
ción (no dependiente de n) de la clase wcr> (M; a, b), ~ cw (h), puede ser elegida de una manera tal que no sea
siempre que ella no es polinomio de grado r - 1, y si la dependiente de l y del módulo de continuidad w de la
fórmula de cuadratura no es exacta para los polinomios función ¡cr> (x).
Demostración. Al igual que en (6.13) tenemos
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 ~l !-1
e (no dependiente de n) tal que para todo n = 1, 2, ... tiene luga,r ~ f dx- ~ L (sk, Sk+1; /) =
1 en 1 < C/nr, a k=O
La magnitud en es de orden estrictamente igual a O (n-r), si existen 1-1 ~k+l
constantes positivas C1 , C2 tales que para todo n = 1, 2, ...
tiene lugar =~ {~ fdx-L(sk, Sk+t; n}=
C1 /nr < 1 en 1 < C 2 /nr, k=O ;k

54 55
l-1 1 decir, la magnitud que no depende de l y r>. Luego,
=h ~ {~ f(sk+hu)du-Llf(sh+hu)J}= 1-1 1
k=O
l-1 1
O
0'2 ~h ~ ~ 1 Fr (u) 1 (J) (h) du~
r=O
=hr+1 ~ ~ Fr(~)f<r>(~k+hu)du=hr(a 1 +02 ),
O
(7.4) 1
k=O O ~(b-a) ~ iFr(u)idu(J)(h)=(b-a)crw(h)=
h=(b-a)/n, o
=o l(J) (h)]. (7.8)
donde
Aquí la constante que figura en la estimación O [(J) (h)l
l-1 1 1-1 tampoco depende de l y _f<r>.
0 1= h ~ ~ Fr (u) f<r> (Sk) du = hx ~ j<T> (Sh), De (7.4), (7.5), (7.7), (7.8) se deduce inmediatamente
~oo ~o (7.3), con la particularidad de que la constante que figura
1-1 1 (7.5) en la magnitud O [(J) (h)J, no depende de l y j<r>, puesto que
0'2 = h ~ ~ F T (u) lr> (s,, +hu)- r> (Sk)] du. esta propiedad la poseen las constantes correspondientes
de los segundos miembros de (7. 7) y (7 .8).
k=O O
Observación 1. En el teorema demostrado se ha supuesto que-
Pero, la derivada ¡<r) (x) es continua en [a, b]. Si suponemos que la
función ¡<r> (x) es sólo integrable según Riemann en [a, b], la
igualdad (7 .3) conservará la forma
61 1-1
~ ·-- .. 1~ O
f<r) dx-h ~
k=O
r> (sk) 1~ 61
~ f dx-
1-1

~ L( ;,,, ~k+i; /) =
O k=O
1-1 6k+1
61
~~ ~ 1 r> (x) - r> (s1J 1 dx ~ =(b:ar {x ~ j(T)(x)dx+en}, (7.9)
k=O sh
o
1-1
"'1 l
~ L.J h(J) (h) ~--n-
(b-a) (J) (h) ~ (b- a) (J) (h), (7.6) donde En -+O uniformemente respecto de l cuando h -+O.
En efecto, al designar con wk la oscilación de la función /(r) (.r)'
k=O 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:
por eso
s1 1- 1 1- 1 sk+1

'1 ~ w> dx-h ~ j(r> (;1i) 1~ ~ ~ ¡<r> (x)-j(Tl (fü 1 dx ~


=X í r> (x) dx+ 0 ((J) (h)J.
1 1
0'1 (7.7) O k=O k=O ;k
o 1-1 n-1

~ ~ (;1i+1 - ;I!) W¡¡ ~ ~ (;1!+1 - ;k) Wk-+ Ü,


Como constante que figura en la estimación O [(J) (h)J k=O k=O
puede tomarse en este caso el número 1 x 1 (b - a), es h-+0,

56 57
y en lugar de (7.8), teniendo en cuenta que Sk+i - ~k = h, puesto que
1-1 1 n-1 Xo

1 <12 1 ~h ~ ~ 1 Fr (u) 1 W/¡ du ~ Cr ~ (s11+1 -s11) W11 _,..o, 1~ f(T) (x) dx 1~M 1Xo-611 ~Mh,
k=O O k= O s¡ .
h _,..o.
donde
Esta observación se debe a K .M. Kardashevski.
M = máx 1 f<r> (x) [,
Analicemos la fórmula obtenida (7.3). En su segundo a~x~b

miembro figura la constante x que se define por la igual- Al poner (7.10) en la fórmula (7.3), obtendremos
dad (7 .2) . Si la fórmula de cuadratura en consideración,
:Siendo exacta para los polinomios de (r - 1)-ésimo grado, s1 1-1
ya no es exacta para los polinomios de grado r, será nece-
:Sariamente no exacta para la función xr. Por eso, de con-
~ f dx- ~ L (sk, Sk+t; f) =
a k=O
formidad con la fórmula (6.9), obtenemos
1
\ f
1
\ dTtr
=( b-;:a r{xc:I>(x )+0(h)+O[w(h)]}=
0

X= J Fr (t)dt=rl J F 7 (t) (ftrdt=


o o =( b-;:a r{xc:I>(xo)+eh}, eh-+ O cuando h-+ O. (7.11)

o
=+ {~ 1

tr dt-- L W)} =I= O. El primer sumando de la suma encerrada entre corche-


t es no es nulo a ciencia cierta, mientras que el segundo
Supongamos ahora que está dada una función arbitra- sumando eh tiende a cero cuando n -+ oo. De aquí se
¡ ~~" ria f que tiene derivada continua de orden r y al mismo deduce que el primer miembro de (7 .11) tiene el orden
tiempo no es polinomio de grado r - 1. Es obvio que la que es estrictamente igual a O (n-r).
derivada ¡cr> (x) no es igual idénticamente a cero. Pero, en El resultado obtenido lleva al siguiente teorema.
este caso la integral Teorema 5. Si una función f tiene derivada continua
X r> (x) de orden r que no es igual idénticamente a cero y la
c:I> (x) = ~ ¡cr¡ (t) dt fórmula de cuadratura (7 .1) es exacta para los polinomios de
a orden r - 1, pero no exacta para los de grado r, entonces
en [a, b] tampoco es igual idénticamente a cero. Sea existen una constante positiva c y un punto x 0 en el segmento
.x 0 un punto del segmento [a, b] tal que c:I> (x 0 ) =/= O, y [a, b] tales que tiene lugar la desigualdad
:Supongamos que l es un número natural tal que para él s1 1-1
se verifican las desigualdades
1 ~ f dx - ~ L (6k-1' Sk; f) 1 > ~r (7.12)
61~Xo < S1+1· a k=O

De este modo, les una función den. En este caso lím 61=
n .... oo para todo n = 1, 2, ... , donde l es el número natural
= x 0 • Ahora mayor, para el cual 61~ x 0 •
SI Xo En particular, si
~ ¡cr> (x) dx = c:I> (x0 )' - ~ f<r> (x) dx = c:I> (x0) +O (h), b
a ¡; 1 ~ r (x) dx =I= o,
(7.10) a

!>8 59
podemos considerar l = n, y, de este modo, ~n b. Si, en integrable según Riemann) de orden r, excluidos sólo los
cambio polinomios Pr-i de grado r - 1, la aproximación con
b ayuda de la fórmula de cuadratura (7 .1) tiene el orden
~ f<r> (x) dx =O, que es estrictamente igual a O (n-r). Por consiguiente, si
a una función f (x) tiene derivada de orden superior a r,
sea ella incluso analítica, de todas formas, al aplicar para
entonces x 0 < b. el cálculo de su integral definida la fórmula de cuadratu-
El teorema 5 constituye cierto complemento para el ra (7 .1 ), exacta sólo para los polinomios P r-i (pero no
teorema 1. para P r), no podremos a ciencia cierta obtener el efecto
La enunciación del teorema 1 puede ser reforzada. A mejor en el sentido del orden de aproximación en compa-
saber, tiene lugar el siguiente teorema. ración con aquél que tiene lugar para las funciones que
Teorema 6. Si la fórmula de cuadratura (7 .1) es exac- poseen la derivada discontinua de r-ésimo orden. Por
ta para todos los polinomios de grado r - 1, entonces para ejemplo, por buena que sea una función, siempre que ella
cualquier función f perteneciente a la clase w<r>(M; a, b) no es un polinomio de tercer grado, el orden de aproxima-
tiene lugar la desigualdad · ción de su integral, al aplicar la fórmula complicada de
n-1 sh+1
Simpson, no puede ser a ciencia cierta mejor que O (n-•).
Si la función f (x) tiene en el segmento [a, bl, digamos,
"'' 1 j\
LJ .
fdx--L(sk-Sk+i; f) 1
~ (b-a)'+l
~r c,M • 3
(7.1) la quintá derivada, entonces para que esta propiedad di-
k=O sk ferencial de la función pueda dar un efecto completo en el
sentido del orden de aproximación de la fórmula de cua-
Para cerciorarse de la validez de esta afirmación, de- dratura, hace falta tomar la fórmula de cuadratura que sea
bemos analizar una vez más los cálculos (6.13) y (6.14) exacta pasa todos los polinomios de cuarto grado, por
."""' que se aducían al demostrar el teorema 1.
El teorema · análogo al teorema 5 que es al mismo
ejemplo, la fórmula complicada de Cotes con cinco nu-
dos, o bien la fórmula complicada de Gauss con tres nu-
tiempo el corolario del teorema 5 se enuncia del modo dos (véase § 5).
siguiente. Hemos considerado el caso en que la integral definida
Teorema 7. Si una función f tiene derivada conti- de una función de la clase w<r) (a, b) se calcula aproxima-
nua r>(x) de orden r que no es idénticamente igual a cero y damente con ayuda de una fórmula de cuadratura compli-
la fórmula de cuadratura (7 .1) es exacta para los polino- cada, exacta para los polinomios de grado r -1. Pero pue-
mios de grado r - 1 y no lo es para los polinomios de r-ési- de ocurrir que la función pertenezca a la clase w<r>(a, b),
mo grado, existe una constante positiva c tal que se verifica mientras que la fórmula de cuadratura es exacta para los
la desigualdad ' polinomios de grado p - 1, y, además, r y p son indepen-
n- 1 Sn+t dientes una de la otra. Sir~ p, entonces, como ya hemos
~ ~ f dx - L (~k' Sk+1; >
1 f)I :r aclarado, el orden de aproximación con ayuda de la fór-
mula de cuadratura (7.1) es igual a O (n-P) y este orden no
k= O sk puede ser mejorado para todas las funciones f E w<r) X
x (a, b), a excepción de los polinomios de grado p-1.
para todo n = 1, 2, ...
Trataremos de darnos cuenta qué será en el caso cuan-
Observación 2. En los teoremas 5, 7 puede suponerse la in- do r < p. Ya que la fórmula de cuadratura es exacta pa-
tegrabilidad de ¡<r> (x) según Riemann en lugar de la continuidad ra los polinomios de grado p - 1 de eso se deduce que es
de ¡<r) (x) (véase Observación f) .
también exacta para los polinomios de grado r - 1.
Así pues, queda demostrado que para todas las fun- De este modo, en virtud del teorema 6, podemos afirmar
ciones que tienen en [a, b] derivada continua (o, incluso, que para toda la clase W<r> (M; a; b) de funciones tiene lu-
60 61
gar la estimación (7 .13) que da el orden exacto O (n -r) Se debe tener en cuenta, además, que hemos tratado
de aproximación de la fórmula de cuadratura. Sin embar- aquí el orden de aproximación. El orden de por sí (sin
go, para cada función f de la clase W<'> (M; a, b) este or- conocer la constante que figura en él) nos indica sólo
den es un poco mejor. Esto se ve de la fórmula (7 .3), cómo se porta la aproximación, si aumentamos n hasta
la cual es, evidentemente, aplicable al caso en conside- el infinito. Mas, en los cálculos prácticos hemos de con-
ración. En esta fórmula la constante t entarnos con valores determinados fijos de n. Para la
1 1 estimación real de una aproximación con n fijo el papel
\ f \ dTtr decisivo lo desempeña no sólo si conocemos el orden de
X= J F,(t) dt=-;y- J F,(t)(f¡T dt
aproximación, sino también la constante que figura en
o o
el orden. Expliquemos esto con un ejemplo.
es igual a cero, lo que se deduce de la igualdad básica Si se sabe que dos fórmulas de cuadratura en conside-
(6. 9) y del hecho que, por hipótesis, nuestra fórmula es ración dan los órdenes de aproximación O (n- 2 ) y O (n-''),
exacta para los polinomios de grado p > r - 1. Por eso, esto sólo significa que existen dos constantes positivas
para cada función separada f de la clase w1r>(a, b) tiene C1 y C2 tales que las aproximaciones citadas no superan
lugar la siguiente igualdad C1 n- 2 y C2 n- 4 , respectivamente. Está claro que la segun-
s1 1-1 da estimación es, para n suficientemente grandes, mejor
~ fdx- ~ L (sk, Sk+i; f)=( b-;:a )7 en = o(n-r), que la primera, es decir, existe tal n 0 suficientemente
grande que para todo n > n 0
O k=O
C1n-2 > C2n-4. (7.14)
donde en -+-O uniformemente respecto de l (O~ l~ n).
En ciertos casos esta estimación puede ser reforzada. P ero, cuando n son pequeños, el problema cuál de las mag-
Por ejemplo, si una función f (x) de la clase w<r> (M; a, b) nitudes en consideración es menor depende también de la
1-~ ... tiene discontinuidades de la derivada pr> (x) sólo en los respuesta a qué son iguales C1 y C 2 • Por ejemplo, si C1 =
puntos a 1 , a 2 , • • • , a N• pertenecientes a la totalidad = 0,001 y C2 = 1, entonces paran~ 10 la primera esti-
Sk, y en los segmentos [a, a1 ], [a1 , a 2 ], • •• , [aN, b] mación es mejor que la segunda. Indiquemos que el pro-
tiene derivadas continuas a trozos de orden p, entonces el pio número n 0 , a partir del cual tiene lugar la desigualdad
orden de aproximación de la fórmula de cuadratura (7. 14), depende a su vez del valor de las constantes C1
(7.1) será o (n-P)*). Esto se deduce directamente de la y C2·
desigualdad (7.13) que debe aplicarse a cada uno del nú- De lo dicho se desprende que si necesitamos conocer la
mero finito de segmentos [a, a 1 J, [a1 , a 2 ], • • • , [aN, b]. estimación numérica real de la aproximación de una fór-
En cambio, si los puntos de discontinuidad ak de la deri- mula de cuadratura dada, no podremos evitar el cálculo
vada /<'> se ubican estrictamente dentro de los segmentos de la constante correspondiente de aproximación. Sabe-
[sk, SH1 ], el orden de aproximación para la: función mos de lo anterior (véase (6.12)), que este problema en los
dada ofrecido por la fórmula de cuadratura (7 .1) no será, rasos examinados se reduce al cálculo ·de las constantes
en el caso general, o (n -r). C r definidas por la igualdad (6.11).
Los razonamientos aducidos se deben tomar en consi- A los razonamientos enunciados se añaden en la prác-
deración al elegir tal o cual fórmula de cuadratura cuando tica otras circunstancias bastante importantes. Una
resulta necesario calcular aproximadamente la integral fórmula de cuadratura más exacta resulta ser frecuente-
definida de una función concreta dada. mente más complicada y engorrosa. De este modo, los
eálculos que se hacen ayudándose de ella son mas laborio-
*) Se escribe ªn = o (~n) (n - oo), si lím (an /~n) =O y ~os . Se debe tener en cuenta, además, que prácticamente
n-oo
se dice que an para n - oo es una magnitud de orden superior de l'n muchos casos son conocidos no los valores exactos
pequeñez en comparación con ~n· f (xk ) de la función f (x), sino sus valores aproximados que
62 63
se calculan con ciertos errores. Eso conduce a que las su- lleve a una nueva fórmula de cuadratura que ya ofrece una
mas aproximación de orden O (n-r- 1 ) para las funciones con
m-1 derivada continua 1> (x}. r+
L (f) = ~ PkÍ (xk) Convengamos en considerar, para la comodidad, que
k=O nuestra función f (x) está definida y tiene derivada conti-
o las sumas semejantes para las fórmulas de cuadratura nua de orden r +
1 sobre el segmento [a, e], donde b <
complicadas las sabemos también sólo con una exactitud < c. Esto no limita la generalidad de los razonamientos,
de hasta ciertos errores, los cuales, naturalmente, serán puesto que una función que tiene en [a, b] la derivada
tanto más grandes cuánto más engorrosas sean las fórmu- continua ¡<r+i¡ (x) puede ser siempre prolongada en [a, e]
las de cuadratura elegidas. conservando intacta esta propiedad. Pongamos
~kf = f (sk+1) - f (sk), · ~~! = ~k+d- ~kf,
§ 8. Constante x. Precisión de la fórmula Mf=~l+d-ó.if, ...
de cuadratura y mostremos que la fórmula de cuadratura
b n-1
En el § 7 se ha aclarado el papel de las constantes
1
~ f (x) dx ~ ~ L (sk, Sk+t; /) + hx (~"n- 1 /- ti~- 1 !),
X=~ F T (t) dt
a k=O

o h=(b-a)/n, (8.2)
proporciona para todas las funciones f (x) que tienen deri-
en las cuestiones teóricas de aproximación por medio de vada continua de orden r +
1 la aproximación de orden
~~ .. las fórmulas de cuadratura. Más abajo veremos que las
constantes x también pueden desempeñar un papel esen-
O (n-r-1).
En efecto, observemos que
cial en la propia construcción de las fórmulas de cuadratu-
n-1 n-1
ra.
Imaginémonos que con el fin de calcular la integral ~ Mil=~ (~;;¡~/-M,- 1 f)=ti~- 1 ¡-ó.~-1¡.
definida en el segmento [a, b] de cierta función f (x) se k=O k=O
ha usado la determinada fórmula de cuadratura complica- Además, en virtud del teorema del valor medio, tiene
da lugar la igualdad 1)
b n-1
f:!.T f
~ f (x) dx ~ ~
a k=O
L (Sk, Sk+ 1; f), (8.1) :r = r> (sk + rhe,.),
que es exacta para todos los polinomios de grado r - 1. donde ek satisface las desigualdades o< ek < 1.
Si la función tiene derivada acotada de orden r, entonces, 1 ) Cuando r = 1, es el teorema corriente del valor medio.
como ya sabemos, el orden de aproximación de la fórmu- Admitamos que el teorema es cierto parar - 1, entonces
la (8.1) es igual a O (n-r). Sabemos también que si nues- l:!.k.f l:!.¡;- 1 [f (xk + h)- f (x1i))
tra función tiene realmente una derivada de orden r+ 1, hT hT
esta circunstancia (en el caso de que la fórmula no sea exac- w- > (sk+ (r-1) h0' +h)-j(T-l) (s1i+(r-1) h0') _
1
ta para los polinomios de grado r) de por sí no mejora el h -
orden de aproximación. No obstante, veremos ahora mis-
= j(T> (sk + (r-1) he'+ h0") = j(T) (sk + rh0,.).
mo que puede agregarse al segundo miembro de la igual-
dad aproximada (8.1) una expresión no compleja tal que Aquí, 0<0', 0", 0k<1.

64 5-0864 65
Por eso, debido a la igualdad (6.13), función F r (t), que es igual en los intervalos parciales en
b n-1 el segmento [O, 1], a ciertos polinomios algebraicos cono-
I~ fdx-~ L(sh, Sk+1; f)-hx(~~- 1 f-~~- 1 tl= cidos de grado r.
Ejemplo. Para la fórmula de Simpson. cuando r = 4,
a k=O. la constante se calcula así:
n-1 1

=jhr+ 1 ~ ~ F 7 (u)j< 7 >(6k+hu)du- 1 J


\
1
[ (1- t) 4 2 ( 1 ) 1 J dt=
h=o o x = 31 4 3 K4 2 - t - 6 Kd1-t)
n-1 1 r . o
~ ~ ~~! du 1 ~
1/2 1

2--t )3 dt-5 J (i-t) dt J=


- hr+ 1 F, (u) 1 [ 1 2 \ ( 1 1 \ -1
k=O O = 5 20-3 J 3 2880.
n-1 1 r o o
~hr+1~ ~ jF 7 (u)J Jj<'>(6,,+hu)-~~/ ldu= De este modo, el sumando adicional (8.3) en este caso tie-
h=O O ne por expresión
n-1 1 h
-2880 (~;-3¡ - ~~).
= hr+ 1 ~ ~ 1F r (u) I I ¡<r> (6,, + hu) -
k=O O
+
- ¡<'> (sk rhek) 1 du~hr+ 1 rhncrKr+t = § 9. Estimaciones de las fórmulas
-- K r+1 r (b- a) erhr+ 1-0
- (n-r-1) • de cuadratura multidimensionales

·~ . '
donde
1
En los cálculos aproximados de las integrales múlti-
pl es del tipo
e,=~ 1 Fr (t) 1 dt, Kr+t = máx J j<r+t) (x) j. b d

~ ~ f (x,
a~x~c
o y) dx dy
Nuestra afirmación queda demostrada. a e
Valiéndonos de la fórmula (8.2), podemos en algunos se aplican a menudo fórmulas de cuadratura que pueden
casos precisar el resultado ya obtenido por la fórmula obtenerse de las fórmulas de cuadratura unidimensionales
(8.1). Imaginémonos que, acabados los cálculos según la complicándolas de un modo correspondiente.
fórmula (8.1), se advirtió, por ejemplo, con arreglo al Tomemos como iniciales dos fórmulas de cuadratura
carácter de variación de Md que la función en considera- del tipo (4.1):
ción f (x) tiene derivada menor de orden r 1. En este + 1 1
caso la adición de la expresión hx (M,- 1 f - ~~-·/)
al segundo miembro de (8.1) o de una expresión más có- ~ f dx ~ L (f), ~ f dy ~ L1 (f), (9.1)
moda (que se diferencia de la primera en O (n-r- 1 )) o o
don de
hx (~~-~/).d- ~~- 1 /) (8.3) m-1

puede conllevar a la mayor precisión del resultado apro- L (f) = L; PkÍ (xk), O~xo < X1 < · .. < Xm-1 ~ 1,
h=O
ximado obtenido. m 1 -1
El cálculo del valor exacto de x no representa dificul-
tades algunas. Se reduce a la simple integración de la L1 (f)= L; pí,f (y,,), O~yo<Y1 < ·. · <Ym 1 -1~1.
k=O
66 !1• 67
En todo caso supondremos que las fórmulas (9.1) son Si una función f (x, y), definida en el rectángulo O~ x,
exactas para las constantes, es decir, que se cumplen las y~ 1, posee la propiedad de que para todo y fijo ella
condiciones pertenece, como función de X, a m' , y para todo X fijo
m-1 m 1 -1 pertenece, como función de y, a m "' entonces, en virtud
~ Pk = ¿j PÍi = 1. (9.2) de (9.2), (9.4) y (9.6), la aproximación con ayuda de nuestra
k=O k=O fórmula bidimensional (9.3) satisfará la desigualdad
Si en un cuadrado O~ x, y~ 1 está dada la función
continua f (x, y), entonces para calcular aproximada- 1 1 m-1 m 1 -1
mente su integral definida podemos aplicar en el cuadra-
do citado la siguiente fórmula de cuadratura:
1~ ~
O O
f (x, y) dx dy- ~
k=O
~
l=O
PkPÍf (xk, Yi) I=
1 1 m- 1 m,-1 1 1 1 m-1
~ ~ f (x, y) dx dy ~ ~ ~ PkPÍf (xk, Y1) = =~ ~ f (x, y) dx dy- ~ ~ Pkf (xk, y) dy +
O O k=O l=O O O O k=O
=L(O, 1, O, 1; /). (9.3) m-1 1 m-1m 1 -1

Supongamos ahora que se tienen dos clases de funcio- +~ Pk ~ f (xk, y) dy- ~ ~ PkPÍf (xk, Yi) 1 ~
nes continuas cp = cp (x), definidas en el segmento [O, 1]: k=O O k=O l=O
fill' y fill". 1 1 m-1
Designemos con e' la cota superior:
1
~ ~ 1 ~ f (x, y) dx- ~ PkÍ (xk, y) 1 dy +
O O k=O
c'=sup 1 ~ cpdx-L(cp)¡, (9.4)
·~ .. ' 4PEml' 0
m-1 1 m 1 -1

extendida a todas las funciones cp de la clase fill'. Dicho


+~ 1Pk11 ~ f (xk, y) dy- ~ PÍf (xk, Y1) 1~
k=O O l=O
de otro modo, la constante e' es el número mínimo entre m-1
los números /..., para los cuales se verifican las desigualda-
~c'+c" ~ ¡p,. 1 (9.7)
des k=O
1

1 ~ qidx-L(cp)l~t. (9.5) o la desigualdad


o
para todas las funciones cp de la clase m'. Suponemos que
tal constante finita existe 1 ) para el conjunto dado de fun-
ciones m'.
Análogamente tomemos
¡i f (x, y) dx dy- :~: I P•PÍÍ (x., Y1)

m 1 -1
1~
1
~e' ~ IPÍ 1+e", (9.8)
e"= sup 1 ~ cp dy-Lt(cp) I · (9.6)
l=O
4PEml" 0
1) Del teorema general del análisis matemático sobre la exis-
tencia de la cota superior proviene que la cota superior e' existe, 111 cual se obtiene por razonamientos análogos.
si existe por lo menos un número A., para el cual tiene lugar (9.5) Partiendo de la fórmula (9.3), puede construirse para
cualquiera que sea <p perteneciente a la clase ml'. 1111 rectángulo arbitrario a~ x~ b, e~ y~ d la siguien-

68 69
te fórmula de cuadratura En este caso tenemos
b d b d µ-1v-1

~ ~ f (x, y) dx dy ~ L (a, b; e, d; /) = ~ ~ f dx dy- ~ ~ L u(/) 1 ~


a e a e i=O i=O
m-1 m 1 -1

= (b-a) (d-c) ~ ~ P1tPÍf (a-t- ~(b-a)(d-c) [ crM(-µ-) +Ne.~


m b-a r
IP1il{-v-)
d-c s J,
k=O l=O k=O

+(b-a)x1i, c+(d-c)y1), donde Cr y c 8 son constantes que se definen según la fórmula


que, naturalmente, se llamará semejante a la fórmula de (5.3) para L (/) y L 1 (/), respectivamente.
partida. Demostración. Hagamos h = (b - a)/µ, g = (d -
Por fin, podemos dividir el rectángulo dado en µv - c)/v. Entonces tenemos
µ-1 v-1 µ-1 v-1
rectángulos iguales a;1 (s;~ x~ Si+1• YIJ~ Y~ YIH1) b d
(i = O, 1, ... , µ - 1, j = O, 1, . ,. ., v - 1), donde ~ ~ fdxdy- ~ ~ Lu(/)= ~ ~ x
los puntos s;
y YIJ dividen los segmentos respectivos a e i=O j=O i=O i=O
[a, b] y [e, d] en partes iguales, y a continuación aplicar
la correspondiente fórmula semejante a cada uno de los
X ( ~i+l
~
1lj+1
~ f dx dy-L;¡ (/) =
)

rectángulos aducidos. Como resultado, obtendremos, a


partir de la fórmula (9.3) la siguiente fórmula de cuadratu- ~i 11j

~ hg ~: ~: {I t1(! +hu, ~J +gv) du dv-


ra complicada correspondiente al rectángulo a~ x~

.. _, "
~ b, e~ y~d:
b d µ-1 v-1

~ ~ f (x, y) dx dy ~ ~ ~ L; 1 (/),
1

a e i=O j=O - L (0, 1, 0,1; f(s;+hu, ri 1 +gv))}. (9.9)


m-1 m 1 -1
Lii (/) = (S;+t -s;) (Y11i+1-ri1i) ~ ~ P1iPÍf (s; + La función f (s; + hu, YIJ + gv) tiene en el cuadrado
. k=O l=O O~ u, v~ 1 la derivada parcial respecto a u de orden r
+ (s;+¡ -s;) x1i, ri1 + (ri1+1-ri1) Yz). 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
Más abajo se dan algunos teoremas que ofrecen estima- absoluto N g•. Así pues, la dicha función pertenece como
ciones de aproximación de las fórmulas de cuadratura cons- func ión de u, para cualquier V fijo, a la clase w<r> (Mhr:
truidas de la manera citada. O, 1) y como función de v, para cualquier u fijo, a la clase
Teorema 1"". Supongamos que una función f (x, y) w<•> (N g•; O, 1). Por eso, en virtud de (4.8) tiene lugar la
tiene derivadas parciales respecto a x de orden r y respecto a üesigualdad
y, de orden s, que satisfacen en el rectángulo a~ x~ b, 1
e ~ y~ d las desigualdades
~ f (s; +hu, ri1i + gv) du + Lu (/ (s; +hu, ri1i + gv)) 1 ~
ar¡ 1 ~ M' 1 as¡ 1 o
1 axr ay• ~ N. ~ CrMhr, (9.10)
Admitamos, además, que las fórmulas de cuadratura donde Lu (cp) denota la operación L que se aplica a la fun-
(9.1), definidas por las funcionales L (!),y L 1 (f), son exactas ción cp, considerada como función de u, siendo fijas las
para los polinomios de grados r-1 y s-1, respectivamente. !'estantes variables.
70 71
Por analogía, (9.1) son exactas para las constantes arbitrarias. En este
caso tiene lugar una desigualdad
1 ·.
~ f (s; + ·,;,~, 'llk + gv) dv-Lv (f (s; +hu, 'llk + gv)) 1 ~
b d µ-1v-1

o ~ ~ f dx dy- ~o i~O L;j (f) 1 ~ Aw b;a )+ 1 (


~ c8 Ng'. (9.11)
+Bffi2 (d-;c), (9.13)
Se debe tener en cuenta que la aplicación de la desi-
gualdad (4.8) resulta lícita sólo a condición de que las donde A, B son constantes (véase más abajo (9.14)).
fórmulas (9.1) son exactas para los polinomios de grados Demostración. De las desigualdades (9.12) se deduce
r - 1 y s - 1, respectivamente. que la función f (s; +hu, 'lli +
gv) de u y v en el rectán-
De (9.9)-(9.11) obtendremos (en virtud de la desigual- gulo 0~ U, V~ 1 satisface las desigualdades
dad (9.7), donde es preciso considerar e' = crMhr, e" =
= csNgs): lf(s;+hu', rlJ+gv)-f (s;+hu, 11i+gv)I ~
~ wt(hlu' -- u¡)= w1, h (lu' -ul},
b d µ-1 v-1
+
lf (s; +hu, 11i gv')- f (s; +hu, 'lli+ gv) 1~
~ ~ fdxdy- ~ ~ Lii(f)I ~ ~ w2 (g¡v' -vi)= w2 ,g (lv' -vi).
a e i= O j= O
µ-1v-1 1 1 Por consiguiente, esta función según la variable u
~hg~ ~ ~ ~ f (s; +hu, 'lli+ gv) du dv- pertenece a la clase H w1 .h (O, 1) para cualquier v fija, y
i=O i=O o o según la variable v, pertenece a la clase H w (O, 1) para
'"#flfll cualquier u fija. Por eso, en vista del te;~~ma 2, § 6,
-L (0,1; 0,1; f (S¡ +hu, 'lli + gv) 1 ~ donde se debe considerar a = O, b = 1, n = 1 tienen
lugar las desigualdades
1

,,;; µvhg (c,Mh' +c,Ng' :~: IP•I) ~ (b-a) (d-;-c) x ~


o
f(S¡+hu, ri1 +gv)du-Lu(f(s;+hu, rirt- gv))I~

~ ( 1+ ]
m-1

X [CrM (-b-a )r
µ - +es
"1
LJ IPk IN
· { d-c
-"-
}s] 0
1
IPkl)wdh),
k= O 1

y el teorema queda demostrado.


~ frn;+hu, 11i+gv) dv-L,, (f (s¡+hu, "'li+gv)) 1~
o
· Teorema 2'. Supongamos que una función f (x, y)
satisface en el rectángulo a~x~b, e~ y~d las condiciones

lf(x', y)-f(x, Y)I ~w.(lx'-xj),


(9.12)
,,;; ( 1 + "! IPi1) "'•
1
(g),

lf(x, y')-f(x, Y)l~w2(ly'-yl), y, por consiguiente, en virtud de la desigualdad (9. 7)


én la que se debe considerar

c'=(1+ ·~r c"=(1+ m·~r


donde w1 , w2 son funciones, para las cuales se cumplen las
desigualdades (2.2), y, ademas, las fórmulas de cuadratura
k=O
IPkl)w1(h),
l= O
IPíl)w2 (g),
72
73
tenemos de (9.9) a =O, b = 1, n = 1 y sustituir w1 (x) por hr w1 (hx),
b d µ-1v-1 tendremos
~ ~ f dx dy- ~ ~ L ;¡ (/) 1 ~ 1
a e
:::;;;; µvhg (A 1cu 1 (h)
i=O i=O
+ B ffi2 (g)) = Áffi 1 (h) + Bffi2(g), ~ f (s; +hu, 11 1 + gv) du-Lu (f (s; +hu, 111 + gv)) 1:::;;;;
1
o
donde :::;;;; crhrw 1 (h).
m-1 )
Á= (b-a) (d-c) ( 1 + h~o IPh! , Por analogía,
(9.14) 1

B=(b-a)(d-c)(1+ ~~ JpíJ)~~0
1 1
IPhi· ~
o
f (s; +hu, 11i+ gv) dv- Lv (f (s; +hu, r¡; + gv)) 1:::;;;;
Teorema 3'. Supongamos que una función f (x, y) :::;;;; C8 g 5 W 2 (g)
tiene derivadas parciales de órdenes r (respecto a x, r ~ 1) y
s (respecto a y, s~ 1) que satisfacen en el rectángulo a:::;;; y, por consiguiente, en virtud de la desigualdad (9. 7)
:::;;;; x:::;;;; b, e:::;;;; y:::;;;; d las condiciones suponiendo en ella e' = crhr w1 (h), e" = c 8 g• w2 (g) ob-
tenemos de (9.9)
lf~>(x', Y)-/;>(x, Y)I :::;;;;ffi¡(Jx'-xJ),
lf~s)(x, y')-f~s)(x. y)J:::;;;; ffi2(Jy'-yJ), r
b d µ-1v-1

donde ffi 1 , ffi 2 son funciones que obedecen a las desigualdades


~ ~ f dx dy- ~ ~ Lu (/) 1:::;;;;
" " . . 11111 a e i =O i=O
(2.2). Supongamos, además, que las fórmulas de cuadratura µ-1v-1 1 1
(9.1) son exactas para los polinomios de grados r y s, respec-
tivamente. Entonces :::;;;;hg ~ ~ ~ ~ f (s; + hu, 11¡+ gv) du dv -
i=O i = O o o
b d µ - 1 v- 1
~ ~ f dx dy- ~ ~ L¡¡ (/) 1:::;;;; -L(0,1, 0,1; f(s;+hu, rli+gv))I:::;;;;
a e i = O i=O

:::;;;;(b-a)(d-c)Lcr -b-c
µ- r ( )r ffi (-b-a
1 µ- ) +
:::;;;; µvhg(crhrw 1 (h)+c 5 g•w 2 (g) h~o IPkl)=
m-1

m- 1
"1 IPhl ( -dv
+es L.J - c
-
)sffi2 (-d v-c- )] · (9.15) = (b-a) (d-c) [ Cr ( -bµ a )r w ( -bµ
- - - +
- a)
1
k= O
m- 1
Demostración. De las condiciones impuestas en la fun- "'1 IPkl
+ es L.J (d-c)s ffi2 (d
- - c)J ·
ción f (x, y) se deduce que la función f (Si +hu, 11¡ +
- v-

+ gv) en el cuadrado o:::;;; u, v:::;;;; 1 pertenece según la k=O

variable u, siendo V fija, a la clase w<r>Hhr (a, b)


wl, h Con esto el teorema queda demostrado.
donde w1 , h (u) = w1 (hu), y según la variable v, siendo La extensión de los resultados expuestos al caso de
fija u, pertenece a la clase w<•>H • (e, d). De este mo- tres y mayor número de variables no representa dificul-
s w2 , g
do, de acuerdo al teorema 3, § 6, donde se debe considerar tades algunas. Por ejemplo, en el caso de tres variables,
74 75
a la par con dos ·fórmulas de cuadratura iniciales (9.1) d onde las constantes c', c" se definen, como antes, por
surge la necesidad de tener la tercera: las igualdades (9.4), (9.6) y
1 1

~ f dx ~ L 2 (/), c'"= sup ~ <pdx-L2 (<p)


o qiE IDI"' o
m,-1
L 2 (/} ~. p'í,/ (zk), 0 ~ Z0 < Z1 < ··· < Zm,-1 ~ 1.
k=O § 1O. Problemas extremales
Entonces la fórmula triple de partida tiene por expresión La diversidad de diferentes fórmulas de cuadratura
1 1 1 es infinita. Además, según los requisitos planteados para
~ ~ ~ f (x, y, z) dx dy dz ~ el método de cálculo aproximado de la integral definida
o o o y según la clase de funciones a las cuales el método cita-
m-1m 1 -1m,-1 do se aplica, tal o cual fórmula de cuadratura puede tener
~ ~ ~ ~ PkPíiíf (xk, Yz, Zt) = ventaja, mayor o menor, en comparación con las otras.
k=O l=O t=O
En este párrafo resolvemos un problema extrema! que
conduce, en ciertas circunstancias, a una fórmula de
=L(0,1, 0,1, 01; /). cuadratura que nos da la mejor aproximación.
Para obtener la desigualdad, por analogía con (9. 7), El problema general que contiene, como un caso par-
debemos partir ahora de la condición de que la función t icular, dicho problema consiste en lo siguiente.
f (x, y, z) pertenece según cada una de las variables x, Están dados una clase de funciones H, definidas en el
' " lfÍ 1111!1
y, z por separado a las clases ~', fili"'. m"' segmento [O, 1), y un número natural m. Se pide determinar,
entre todas las fórmulas de cuadratura
Tienen lugar, pues, las siguientes desigualdades:
1
1 1 1

~ ~ ~ f(x, y, z)dxdydz- ~ f dx ~ L (/), (10.1)


o o o o
m-1 m,-1 m,-1 donde
- ~ ~ ~ PkPÍP'íf (xk, Yz, Zt) i~ m
k=O l=O t=O L (/) = ~ Pkf (xk), O ~ X1 < X2 < ... < Xm ~ 1,
1 1 1 m-1m 1 -1 k=1

~ ~ ~ ~ f (x, y, z) dx dy- ~ ~ PkPÍf X (10.2)


O O O k=O 1=0 una fórmula tal que la magnitud de la cota superior
m-1 m,-1 1
1
X (xk, Yz, z)ldz+ ~ ~ IPkPÍI ~ f(xk, Yz, z)dz-
sup 1 ~ f dx-L (/) 1, (10.3)
k=O 1=0 O !EH O
m 1 -1 1 m-1
- ~ Píf (xk, Yz, Zt) ~ c' +c" ~ IPk 1 + extendida a todas las funciones f de la clase H, sea mínima.
t=O k=O De este modo, se trata aquí de elegir en el segmento
m-1 m 1 -1 [0, 1) los nudos Xu x 2 , • • • , Xm de la fórmula y los pesos
+c"' ~ ~ IPkPÍI, p 1 , p 2 , • • • , Pm• de tal manera que la aproximación que
k=O l=O
se ofrece por la fórmula de cuadratura para toda la clase
76 77
de funciones H fuera mejor entre todas las aproximaciones De aquí
posibles. Más abajo resolveremos este problema para la 1
clase de funciones f que poseen en el segmento la segunda
derivada acotada.
sup ~ f dx-L (/)
JEW~T) (M; 0, 1) o
Podremos obtener diferentes modificaciones del pro- 1 m
blema planteado si buscamos una fórmula de cuadratura
que sea mejor en el sentido indicado entre las fórmulas ~~ (i-W _
r
_Li P11.Kr (x11. -t) 1 dt =
cuyos nudos y pesos no son arbitrarios, sino están subor- o h.=1
dinados a unas relaciones determinadas impuestas con
anticipaci~n. !!!_ ~11 u; _ _Lim
')..,hKr (u - U1¡_) du, (10.5)
Comencemos introduciendo en la consideración una o h.=1
clase de funciones W~ (M; a, b), compuesta de todas las donde se ha puesto
funciones de la clase w<r>(M; a, b) que satisfacen la condi-
ción complementaria Ah.= Pm-h+t• uh= 1-xm-h+t• U1¡_ < uh+t· (10.6)
Cuando se trata de la clase W~r> (M; a, b), el problema
f (a)= f' (a)= ... = J<r-1) (a)= O, a:::;;; a~ b.
extrema! planteado más arriba se reduce a la búsqueda
del mínimo de la integral (10.5) entre toda variedad de
Toda función f (x) perteneciente a la clase W~ (M; sistemas de números l..11. y uh (k = 1, 2, ... , m), don-
O, 1) puede ser escrita en forma de la integral (véase de O:::;;; u 1 < u 2 < ... < Um:::;;; 1 y m es fijo.
§ 3): Hagamos
1 m
"""•t f(x) = ,p ~ rn ~ Kr (x - t) j<'> (t) dt, o~:;>(u)= ~ l..hKr(u-u11.)
o h=1

donde y fijemos nuestra atención en el caso cuando r = 2. Se-


ur-1, u~ O,
gún se deduce de la igualdad (10.4), el gráfico de la fun-
{ (10.4)
K 7 (u)= O, u<O. !/

Por eso, independiente de si es exacta o no la fórmula de


cuadratura (10.1) para los polinomios de tales o cuales
grados, razonando igual que en el caso de (4.5), donde ha-
ce falta poner Pr-i (x) =O, llegamos a la igualdad
1 1
~ f dx - L (!)- ~ F r (t) f (t) dt, 0
1 r"
UN
l 1
f
.,,_U

o o
fig. 10
que es válida para todas las funciones f de la clase w~
(M; O, 1), donde
rión K 2 (u - uh) representa en este caso una quebrada ex-
i
Fr(t)=-(r-i)! [
(i - t)7 m
-_Li PhKr(Xh-t) • J puesta en la fig. 10 cuyo ángulo de inclinación es <p =
-= n/4. Entre tanto, el gráfico de la función /.,hK 2 (u -
h= 1 - uh) representa una quebrada semejante, donde
78 79
tg cp = 'A.11,. Es fácil ver luego que el gráfico de la función entre los polinomios de segundo grado x 2 /2 - Ax - B
oh~>(u) representa una quebrada (fig. 11) cuyos vértices con el coeficiente de x 2 igual a 1/2 y las constantes arbi-
tienen por abscisas u 1 , u 2 , ••• , Um· Cabe indicar además trarias A, B, se obtiene para el único polinomio:
que al variar u en el segmento [O, u 0 ], el eslabón corres-
pondiente de la quebrada se ubica en el eje u y que 'A11.
1
2h2Q2
(x-a) x2 (h2 a2)
- h - =T-ax- 8 - 2 '
respresenta el incremento del coeficiente angular de la 1
quebrada al pasar por el vértice de la abscisa u11,. Q2 (x)=x 2 --¡- (10.7)

11 (véase demostración en el § 15). Este mínimo es, pues,


igual a
a+h 1

; h2 ~ 1 Q2 ( x;a ) h
dx=T
3
J\ 1x 2 -
41 1 hª .
dx=T
a-h · -1
(10.8)

Suele decirse que el polinomio ; h 2Q2 ( ª )es el me- x-¡


1 nos desviable del cero en media sobre el intervalo (a - h,
{l lip
« 1
lit
1
..
!
..
1
.,, )Ir lL a +
h) entre los polinomios de segundo grado, donde el
m=t coeficiente de x 2 es igual a 1/2. Se dice también que la par-
fig. 11 te lineal del polinomio ~h 2 Q 2 (x;ª), a saber,
" ....1 ~
En lo demás, nuestra quebrada es arbitraria: a cada ax + (h /8
2 - a 2 /2), (10.9)
quebrada prefijada de antemano del tipo mostrado en tomada con el signo opuesto, hace la mejor aproximación
la fig. 11 le corresponde unívocamente un sistema de- en media de la función x 2/2 sobre el segmento [a - h,
terminado de números 'A11. (y, de esta manera, también de
p11,) y una disposición determinada en el segmento [O, 1)
a +
hl con ayuda de las funciones lineales (polinomios de
primer grado). La magnitud h 3 /4 se denomina mejor apro-
de las abscisas u11. de sus vértices (k = 1, 2, ... , m). ximación en media de la fu~ción x 2/2 sobre el segmento
De lo dicho se deduce que en el caso de r = 2 nuestro
problema extrema! se reduce a determinar entre las que-
[a - h, a +
hl con ayuda de las funciones lineales.
Veamos dos polinomios (10. 7) de menor desviación
bradas del tipo o~~/ (u) una quebrada tal, para la cual la del cero que corresponden a los intervalos (a - h, a h) +
integral (10.5) alcance su mínimo para r = 2. Emplean-
do el lenguaje de la teoría de aproximacion~s, podemos de-
y (b - h1 , b +
h 1 ), donde a +
b = b - h1 • Cuando x =
cir que nuestro problema se ha reducido a la mejor apro- +
= a h = b -h1 , ambos toman los valores -;¡;h 1 2
Q2 (1)
ximación en media (en la métrica L (O, 1) de las funciones
sumables) de la parábola y = u 2 /2 con auyda de las que-
y ;h~Q 2 (-1), respectivamente. Por cuanto Q2 (1) =
bradas del tipo o~> (u) que tienen prefijado de antemano el = Q2 (-1), estos valores coinciden cuando, y sólo cuan-
número de vértices. do, h = h 1 . En este caso los coeficientes angulares de las
Observemos que el mínimo de la integral partes lineales difieren en una magnitud
a+h b - a= 2h. (10.10)
~ 1 x; -Ax-B 1 dx, h>O, Prefijemos ahora un número positivo u 1 y supongamos
a-h que a - h = u 1 , donde h >O. Elijamos h de una manera
80 li-0 864 81
tal que la función lineal A 1u + B 1 , que hace la mejor En virtud de (10.8), (10.12), la magnitud de nuestra
aproximación en media de la parábola y = u 2 /2 sobre el integral, cuando se pone en ella a<;i* (u), es igual a
intervalo (a - h, a + h), se anule cuando u = u 1 • Ya
Jr 12u -am* uf u
que esta función debe tener, como sabemos, la forma 2 (2) 1 2
(10.9), el número buscado h ha de satisfacer la ecuación (u) du = J z-du+
o o
( u 1 +h) u 1 +~- (ui+h) 2 ~-~h2=0 m *
uk+I
8 2 2 8 .

De aquí se deduce que


+~ ~ 1 ~2 -A1u - B% 1 d u =
k=I uk
h=---
2 v3+2 u~ª ro~
}13 u 1 a=u 1 +h= - r~ u1 =-
6-+2mrom = - 2 - ,
s

y la mejor función lineal correspondiente será donde Y1t = A% + B% es la ecuación del eslabón de la que-
v3+2 brada a<;i. (u) correspondiente al intervalo (u%, u"k+i).
A 1u+B 1 = _r~ u 1 (u-u 1). (10.11) Por otra parte, sea a~~.> (u) una quebrada arbitraria en
la que las abscisas de los vértices son uh, donde
Sea
0:::;;; U¡< U2 < ... < Um:::;;;Um+l = 1,
uk=u 1+2(k-1)h, k=i, 2, ... , m.
y supongamos que y = Aku + B1t es la ecuación de una
Definamos en cada uno de los intervalos (uk, uk+i) función lineal que realiza la mejor aproximación en me-
una función lineal A ku + B k que realiza la mejor aproxi- dia de u 2/2 sobre el intervalo (uh, U1t+ 1 ). EntQnces, toman-
"""•'' mación en media de u 2 /2. En virtud de lo dicho anterior- do en consideración (10.8), tenemos
mente, la función A 1 u + B 1 se anula, cuando u = u 1 ;
además, los gráficos de las funciones Aku + Bk (k =
= 1, 2, .. ., m) prolongan continuamente uno el otro en
~ ~2 u~> (u) j du =
1 -

los puntos u 1 , u 2 , .. ., um. De este modo, todos ellos junto o


u. m uk+J
con el segmento [O, u 1 ] del eje u forman una quebrada con- ~
tinua. = r~ 2u2 du + LI J1 12
u2 (2)
- Um (u) 1du ~
Elijamos u = u~ de un modo tal que sea Um+i = 1, o k=i "'k
de aquí hallamos
m uk+l I
u!= V3 rom, ffim = ( V3 + 4mt 1, ~ ~8 +~ ~ ~2 -Aku-Bkldu=
k= I uk
u%=(-V3+4(k-1))rom, k=1, 2, .. ., m+1, m
h* =2rom. (10.12) = ~g +!~ ( Uk+l; Uk )3 =
La quebrada a~>* (u), obtenida de este modo y defini- k= I
da en el segmento [O, 1), es precisamente una de las que- m
bradas a~ (u) las cuales tenemos que variar para hallar el _ 6
- ug +321 LI~ ( uk+t-uk )ª . (10.13)
mínimo de la integral (10.5) cuando r = 2. Más abajo k=I
demostraremos que precisamente esta quebrada a<;i* (u)
reduce al mínimo la integral (10.5) y es la única quebrada En este caso la desigualdad que figura entre estas re-
que posee dicha propiedad. J ne iones se convierte en una igualdad estricta sólo cuando
l .. 83
82
en cada uno de los intervalos (u 11 , uk+ 1) los eslabones co- será la única mejor fórmula para la clase de funciones W~2 '
rrespondientes de la quebrada a<;,> (u) realizan la mejor ( M; O, 1). Dicho de otro modo, tiene lugar la igualdad
.aproximación en media de la parábola u 2 /2. 1
Con el fin de estimar el segundo miembro de (10.13) mín máx 1\ f dx - L (/) 1 =
por debajo, hemos de encontrar su mínimo entre todos los L(f) /ewt2>(M; 0,1) ~
u 0 , u 2 - u 1 , •• • , Um+ 1 - Um posibles que satisfagan la 1
igualdad Mro;h
m
máx ~ f dx-L* (/) - -2- (10.16)
E wJ 2>(M; 0,1) o
u0 + k=1
~ (uk+t -uk) = 1. (10.14)
Vemos pues que la partición del segmento [O, 11
Los cálculos que no representan ninguna dificultad y (O < x~ < x~ < ... < x:i < 1) por medio de los nudos
están basados en los métodos usuales para determinar el x: posee la propiedad de que todos los segmentos de la
extremo relativo muestran que el segundo miembro de partición de izquierda a derecha, partiendo del punto
(10.13) alcanza su mínimo con la condición (10.14) para x = O (donde f (O) = .f' (O) = O!), son iguales a un mismo
el único sistema de valores uk = u: definidos por las número 4ffim, salvo el último segmento que es diferente
igualdades (10.12). (1 - Xm = V3ffim)· Además, los pesos en la fórmula
De este modo, hemos demostrado que (1.15) son iguales a un mismo número (p: = 4ffim,
m k = 1, 2, . .. , m - 1), salvo el único último peso Pm =
a~! (u)=~ 1.:K2 (u-u:) = (2 + V
3) ffim· Estas propiedades de la mejor fórmula
k=1 de cuadratura para la clase W~ (M; O, 1) quedan en vigor
también para las mejores fórmulas más complicadas adop-
.. -..... •es la única quebrada, entre otras quebradas a;~/ (u), que tadas para las clases W~ (M; O, 1) (véase § 14).
Teduce al mínimo la integral (10.5.) Con ello, en virtud Nuestro resultado se ha obtenido para el segmento
-O.e (10.10), (10.11), tenemos [O, 1). Al pasar del segmento [O, 1) a un segmento arbitra-
1.:=A:-A:-1=2h*=4ffim, k=2, 3, ... , m, rio [a, ~] los nudos x:
se transforman, evidentemente, de
un modo semejante, los pesos Pk quedarán aumentados en
~ * = A 1 = y3 l = ~ - a veces, mientras que la estimación exacta de
"'1 y§+ 2 U1* = (2 + lVí-3) Wm·
.
aproximación para la clase será igual a
11 .
Por fin, si tomamos en consideración las sustituciones
~ fdx-L*(f)=~,
Ml3ro 2

(10.6), obtenemos el siguiente resultado. máx 1 (10.17)


ew&2> (M; a, fl) a
Teorema 7. Entre las fórmulas de cuadratura del tipo
(10.1), donde mes un número natural prefijado, una fórmula es decir, quedará aumentada en l3 veces (compárese con
1 m (6.12)).
La mejor fórmula de cuadratura que acabamos de ob-
~ f dx ~ L* (/) = ~ p:f (xk), tener tiene, sin embargo, la deficiencia de que provee la
o k=1
mínima estimación garantizada (indicada más arriba)
determinada por los nudos y pesos M ffi~/2 no para todas las funciones que tienen derivada
segunda acotada, sino sólo para aquellas de éstas que sa-
Xk=4kffim, k=1, 2, . .. , m, ffim=(V3+4mt 1, (10.15) tisfacen la condición inicial
Pk=4ffim, k=1, 2, .. . , m-1, p~=(2+ Jf3)ffim, f (O) = /' (O) =O. ( 10.18)

84 85

__l ._
Así pues, si deseáramos aprovechar la fórmula obteni- Teorema 8. Entre toda clase de fórmulas de cuadratura
da para la función f (x) que no satisface la condición 1 m
(10. 18), tendríamos que desarrollar previamente f (x)
por la fórmula de Taylor en el entorno de x = O: ~ f dx ~ ~ Pkf (xk) (10.20)
-1 h=-m
f (x) = f (O)+ xf' (O)+ (jl (x), con 2m .+ 1 nudos 1)

calcular por separado la integral definida de f (O) + -1~ X-m < ··· < Xo < ··· < Xm~ 1
+ xf' (O) y, a continuación, aplicar nuestra fórmula de y-pesos Pk• donde sólo m es fijo, la fórmula (10.19) es la
cuadratura a qi (x). Sólo en este caso se puede garantizar única mejor fórmula para la clase W( 2) (M; -1, 1). En
la aproximación con estimación M ro~/2 indicada más este caso
arriba. Sin embargo, la fórmula de cuadratura obtenida 1 m
puede servir de base para construir una fórmula nueva
que está privada de la deficiencia aducida y que sería .( 2 >su~ 1 ~ fdx- ~ µkf(sk)I =Mw';,..
mejor para toda la clase W( 2 >(M; O, 1) de funciones. Vea- fEW (M, -1, 1) -1 k=-m
mos una fórmula de cuadratura Demostración. Si una fórmula de cuadratura no es exac-
1 m ta para todos los P 1 (polinomios de grado 1), entonces pa-
~ fdx~ ~ µhf(sk), (10.19) ra ella (véase § 4) la cota superior en consideración es
igual al infinito. Por eso, resulta suficiente examinar to-
-1 k=e-m
da clase de fórmulas de cuadratura del tipo (10.20) que
sean exactas para P 1 •
donde hacemos en virtud de (10.15) Tenemos (f (O) = 01)
•••
~ [W<2> (M; -1, 1)) = ~ [W~20> (M; -1, 1)] =
µk = µ_k = P~ = 4rom, - S-k = Sk =X~= 4krom,
1 m
k=1, 2, ... , m,
= sup 1 ~ fdx- ~ P1if(xk)I=
µo=4ú>m, So=O. /iEW~¿(M;-1,1) -1 k=-m
xo -1
De este modo, esta nueva fórmula de cuadratura, de-
finida ahora para el segmento [ -1, 1], está obtenida por = sup
f1EW\~~(M; -1, xo) -1
j ~ f 1 dx- ~
k=-m
Pkf¡(xh) I+
simetrización de la antigua y adición de un nudo so =
1 m
= O. Con ello µ 0 está elegido de tal modo que se verifique
m
+ /2EW~:(M;
sup
x •• 1)
1
xo
~ f 2 dx - ~
k=1
PkÍ 2 (xk) j ~
~ µk=2.
k=-m ~ (xo+i)ªt(i-xo) 3 Mw~~Mro;.. (10.21)
Debido a esto y a la simetría, la fórmula (10.19) es Las explicaciones a las primerl_l.s tres relaciones de
exacta pasa las funciones 1 y x, y, por consiguiente, para esta cadena (igualdades) son análogas a aquellas que se
cualquier función lineal. Es interesante que µ 0 es igual han aducido al tratar la cadena (5.5). La penúltima co-
a los pesos vecinos µk (k = ± 1, ± 2, ... , ± (m - 1)).
Pero, además de eso, la fórmula (10.19) posee la siguiente 1 ) T .A. Shaidaeva (20) ha extendido este resultado al caso
propiedad notable. de un número arbitrario de nudos no forzosamente impar.
86 87
rrelación (desigualdad} es cierta en virtud del teorema 7 es la mejor, siendo m fijo, para la clase w< 2> (M; -1, 1).
y (10.17). La última correlación se reduce evidentemente, Y, en este caso,
a una igualdad sólo cuando, x 0 = O. Si ahora ponemos 1 m
x 0 = O, llegaremos a que la penúltima correlación se re-
ducirá, en virtud del teorema 7, a una igualdad sólo para sup 1 ~ f dx - ~' v1if (r¡k) l=Mx;,,,
/EW( 2 )(M;-1,1) -1 k=-m (10.25)
la fórmula de cuadratura (10.19), donde se desconoce por
ahora sólo el peso. El último se determina a partir de la Xm= (V3+ 2 (2m-1n-1.
relación
m Demostración. Definamos una fórmula de cuadratura
arbitraria de la forma (10.23) que sea exacta para todos
k=-m
2J P1i= 1 los polinomios del tipo P 1. Supongamos que
f1 (x) = f (x), -1 ~ x~ x1 ,
que ha de verificarse, puesto que la fórmula de cuadratura
buscada es exacta para f (x) = 1. El teorema queda f2 (x) = f (x), x 1 ~ x~ 1.
demostrado. Razonando igual que en la demostración del teorema
En el teorema que sigue se examina el caso par 1>. 8, obtenemos (las explicaciones van más abajo)
Teorema 8'. Entre toda clase de fórmulas de cudratura 1 m

1 m sup 1 ~ f dx- ~' P1if(xk)I=


1nv< 2><M; k=-m
~ ~ ~
-1, 1) -1
f dx P1if (xm) (10.22) Xt -1

~ ·• ~I
-1 k=-m
= sup
fiEW~{(M;-1,x¡)
j~
-1
f 1 dx-
k=-m
~ P1if 1 (xk) /+
con 2m nudos (una virgulilla que acompaña ~ indica que
1 m
el sumando con índice k = O se omite)
+ sup 1 ~ f 2 dx- ~ Pkf2(xk)1~
- h:;;;xm < ... < x_ 1 < x1 < ... < Xm~ 1 f2EW~l)(M; X¡, 1) x1 k=2

y pesos Pk la fórmula ~ ~ (x 1 +1) 3 w;,, + ~ (1 -x 1} 3 w;,,_ 1 = 'ljJ (x 1 )~ Mx~.


(10.26)
1 m
~ f dx ~ ~' vkf (r¡,i.), (10.23)
La derivada de 'ljJ se anula cuando
-1 k=-m (x1 + 1) 2 w~ - (1 - x 1 } 2 w~_ 1 = O,
donde o bien
(x1 + 1) Wm = + (1 - X¡} ffim-1•
-lJ-k = lJk = (4k -2) k = 1, 2, .. ., m,
Xm,
En el interior del segmento [-1, 1) esta ecuación tiene
vk = 4xm, k = 1, 2, ... , m - 1, (10.24) la única solución (correspondiente al signo +)
Vm = (2 + V3} Xm,
Wm-1-Wm =2Xm·
lJt = Wm-1 +wm

· 1) Este teorema está demostrado por T.A. Shaidaeva (20) Para ella 'ljJ" (r¡ 1} > O, por lo cual la función 'ljJ (x)
que aplicó para obtener el método de factores de Lagrange. alcanza en el segmento [ - 1, 1) su único mínimo en el
88 89
punto x1 = r¡ 1 que es igual a El teorema está demostrado.
4Wfu_,Wfu M Ejemplo. Cuando m = 1, la fórmula simétrica de
"i' ( '111 ) = M (Wm-1 + Wm )2 Xm· cuadratura (10.19) tiene por expresión
1
De este modo, en la cadena (10.26) la última relación se
.reduce a una igualdad sólo cuando x1 = r¡ 1 • ~ f dx ~ rod{(2 + V3) f ( -4ro 1)+ 4/ (O)+
Al suponer en la fórmula de cudratura (10.22) x 1 = -1

= r¡ 1 , concluimos que la segunda correlación en la cade-


na (10.26) se reduce a una igualdad (véase teorema 7) só-
+ <2 + Y3> t <4ro1)1.
lo cuando los puntos xk = 'llk (k = 2, 3, ... , m) divi- En este caso la medida de aproximación de esta fórmula
den el segmento [r¡ 1 , 1] observando la misma razón en la para la clase W< 2> (M; -1, 1) es
que los puntos 4 (k - 1) rom-l (k = 2, 3, ... , m) dividen
el segmento [O, 1] y, además, si los puntos xk = 'llk Mro 21 = / r!'f '° ~ 0,045M.
(k = -m, ... , -1) dividen el segmento (-1, r¡¡] ob- - 3+4
servando la misma razón, en la que los puntos -4krom
dividen el segmento (-1, O]. Notemos, para comparar, que la medida de aproximación,
Como resultado, obtenemos el único sistema de nudos correspondiente al segmento (-1, 1], de la fórmula de
Simpson
- 1 ~ '11-m < · ••< '11-1 < '111 < • • •< 'llm -< 1 1

y el único sistema de pesos v_m, .... v_ 1, v2 , pa- •• • vm, ~ f dx~{-u<-1)+4/(0)+f(1)}


ra los cuales todas las relaciones de la cadena (10.26) se -1
reducen a una igualdad. Por consiguiente, el número v 1
se determinará solamente de la correlación 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
m
[O, 1] (véase § 5) ha de multiplicarse por 23 ).
h' Vk=2,
k=-m
Resulta interesante también comparar el resultado
obtenido con la fórmula de los trapecios complicada
la cual ha de verificarse, puesto que nuestra fórmula de
cuadratura debe ser exacta para funciones lineales, en 1
particular, para la función f(x) 1. == ~ /dx~+[f(-1)+2/(0)+/(1)]
Los cálculos muestran (véase (10.15)) que -1

'Ylk -'llk-l = 4rom-l ( 1-r¡1) = 4xm, k = 2, 3, ... , m, con tres nudos. Ella proporciona la medida de aproxima-
'llk-'llk-1=4rom(1+r¡ 1)=4Xm, k= -(m-1), ... , -1, 1; c ión para la clase W< 2>(M; -1, 1), igual a 1/6 (la constan-
te c 2 = 1/12 para la fórmula de los trapecios más simple
teniendo presente que r¡ 1 = 2xm, obtenemos las prime- (véase § 5) ha de ser duplicada).
ras igualdades (10.24). Luego (véase (10.15)), El problema examinado (para r = 2) en el caso de
Vk=4úlm_1(1-r¡ 1)=4Xm, k=2, 3, ... ,m-1, r > 2 arbitrario no está resuelto.
Cuando r = 1, el problema se reduce a la determina-
V1i=4rom(1+r¡ 1)=4Xm, k= -(m-1), ... , -1, ción del mínimo de la integral
Vm = (2 + Y3) (t)m-1 (1- '111) = (2 + Y3) Xm, 1 m 1

V1=2-
-1
h Vk-
m
~ V11.=4Xm•
~\u-~ A-11.Ki(u-uk),du=~ iu-aiAl(u)idu,
k=-m k=2 o k=i o
90 91
donde y la función escalonada extrema! será
1, u>O,
Kt<u)= { O, u<O. o, O~u~~'.,
1

Se trata, pues, de Ia mejor aproximación en media so- a~~ (u)= { __-'!:!!.


, u%~u~u%+t.
bre el segmento [O, 11 de la función con auyda de las fun- 2m+1
ciones escalonadas a~ (u) con puntos arbitrarios de discon- De aquí tenemos
tinuidad u1 , u 2 , ••• , um, es decir, de tales funciones que
en cada intervalo (O, u1 ), (u1 , u 2 ), ••• , (um, 1) toman un A.%= . . _2 ,. , k= 1, 2, ... , m,
valor constante; además, ·sobre el intervalo (O, u1 ) este
valor constante es igual a cero. Por consiguiente, y, por fin,
O, O<u<u 1 , • 2
a¡;.> (u)= { Pk= 2m+ 1 , k= 1, 2, ... , m,
ck, uk <u< uk+t•
• 2k
k=1, 2, ... ,m, um+1=1 Xk=<>-i•, k=1,2, ... ,m.
donde ck, uk (O~ uk~ 1) son constantes arbitrarias.
Es evidente que Se ha obtenido, pues, una fórmula de cuadratura
1 uo m uk+l
~ 1u-a\.:,>(u)1 du= ~ ~ -~ du~
1 m
udu+ 1u-ck1
O · O k=1 uk ~ f dx~ 2m~1 ~ f( 2:~1)' ( 10.27)
, • •¡
o k=l
m uk+1
~~6+~ ~/u-
k=i uk
Uk+Uk+l
2 ldu = 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 aproximación para toda la clase es igual a
_ ug
- 2
+"'L.Jm (Uk+1-Uk) 2 ¿ _ _1
4 """2 (2m+1)" M
(10.28)
k=i 2 (2m+1) ·
La última desigualdad se deduce de la resolución del
problema de búsqueda del mínimo relativo de la función Al igual que en el caso anterior, de esta fórmula puede
obtenerse la fórmula de cuadratura simétrica
~+
2
"'
m
(Uk+l - Uk)2 1 m
2 L.J
k=i
.
~ t dx· ~ ~ vkf (sk), (10.29)
-1 k=-m
a condición de que
m si suponemos
u1+ ~ (uk+1-uk)=1. *
k=i 'Vk = 'V_k = Pk• = 2
2m+ 1 ,
t •
-'::i-k
t
= '::ik = Xk,
El mínimo corresponde a los valores k= 1, 2, ... , m,
u%= 2 <~:::-~>,+ 1 , k = 1, 2, ... , m, 2
'Vo= ')~_L4 ' ~o=Ü.
92 93
El valor de v 0 está elegido en este caso de tal manera que § 11. Mejor fórmula de cuadratura
se verifique para la clase W2~ 1 (M; O, m) en el caso
m
de los nudos equidistantes
~ Vk=2.
k=-m
Veamos, para m natural dado, una fórmula de cuadra-
Así pues, la fórmula de cuadratura (10.29) es exacta tura
para todas las funciones lineales. Ella posee la siguiente m m
propiedad mínima.
Teorem~ 9. Entre las fórmulas de cuadratura de la
~ f (x) dx ~ ~ P11.f (k) (11.1)
O k=O
forma
1 m
con nudos x11. = k (k =O, 1, ... , m) que dividen el seg-
mento [O, m] en partes iguales. Supongamos esta vez que
~ f dx ~ ~ PkÍ (xk), (10.30) las funciones f (x) pertenecen a la clase w~+o (M; O, m)
-1 k=- m (véanse los párrafos 2, 4).
donde mes un número natural prefijado, -1:::;;;; x_m < ... Si la fórmula de cuadratura (11.1) es exacta para los
... < x 0 < ... < Xm :::;;;; 1, la fórmula (10.29) da para polinomios de grado n, entonces tiene lugar, en virtud de
la clase W< 1> (M; -1, 1) la mejor aproximación que es (4.14), la siguiente estimación exacta
igual a M/(2m 1). +
El teorema 9 es un caso particular del teorema 11 que se de-
sup
1ewin+1J(M'O
• ' ,m)
1
JfO fdx-L(/)1-
-
mostrará más abajo.
Se podría enunciar un teorema, similar al 9, para un número m
~- ·•t par de nudos. La formulación y demostración de ella pueden de-
ducirse (para r = 2) del teorema 12 que se demuestra más abajo. = M 11 F n+t llL,(0, m) = M ( ~ 1 F n+dt) 12 dt )1' 2
, (11.2)
El problema examinado puede ser planteado en la métrica o
Lp. Demos a conocer el resultado de T.A. Shaidaeva (20] (concer- donde
niente a esta cuestión) que obtuvo la fórmula 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 li- Fn+t (t) = 1if
1 [ (m :---- t)n+l
n+i -
m
"'1
L'..J PkKn+t (k-t)
J,
neales. De este modo, tomando en consideración todo lo dicho en k= O
el párrafo 4 (en letra gallarda) llegamos a que la resolución de este
problema consiste en determinar el mínimo de la integral y la función K n +1 (u) se define mediante la igualdad (3.3).
1 m-1 A. Sard (22) analizó el problema de búsqueda del mí-
J
\ 1 (1-t)2 "" lq dt, p-+q-=1,
1 1 nimo de la integral que interviene en el segundo miembro
2 L:.J PkKr(xk-t)
de (11.2) al variar los pesos Pk· Este problema se dife-
O k= O
m- 1 m- 1 rencia de los problemas extremales estudiados en el § 10
al variar Pk que satisfacen dos ligaduras~ Pk = 1 y~ PkXlt = ya que en el primero se dan nudos fijos (equidistantes en
k= O k-0 el caso dado) y hacen variar sólo los pesos Pk que satis-
= ; , con un número fijo m de nudos Xk pertenecientes al seg- facen las siguientes ligaduras que· señalan que las corres-
pondientes fórmulas de cuadratura a variar son exactas
mento [O, 1). Ahora este problema se resuelve emfleando las pro- para los polinomios p n (x) de n-ésimo grado:
piedades de un polinomio (de segundo grado, en e caso dado) que
tiene la mínima desviación respecto al cero en la métrica Lp (véase m&+I m
§ 16).
En la métrica L 2 el problema semejante fue resuelto por s+i = ~ Pkk 8 , s=O, 1, ... , n. (11.3)
Yu.Ya. Dorónin [5] . k=O

94 95
Sard mostró también que con m y n naturales dados, para En la Tabla 4 los d.atos numéricos de los resultados (no
los cuales el sistema (11.3) tiene soluciones (con relación todos) de la Tabla 3 son un tanto variados (los pesos están
a Pk}, el problema extremal planteado tiene la solución desplazados) para obtener fórmulas que sean más có-
única. modas en la práctica. La última columna de la Tabla 4
Por consiguiente, en el caso dado entre toda clase de señala los errores (en porcentaje) de aproximación que
sistemas de números Pk (k =O, 1, ... , m) que satisfa- surgen en este caso. Para dos casos en la tabla 4 se adu-
cen la ecuación (11.3) existe el único sistema, para el cen dos variantes posibles de la fórmula de cuadratura
cual el segundo miembro de (11.2) alcanza su mínimo. Re- cambiada.
:mlta natural decir que este sistema define la mejor fór- Ejemplo como usar las tablas 3, 4. Se pide escribir la
mula de cuadratura (11.1) para la clase Wl,~+n (M; O, m) mejor fórmula de cuadratura para la clase W~! (M; O, 4)
con nudos equidistantes fijos (que dividen el segmento con nudos equidistantes en el caso de que m = 4. En tal
.[O, m] en m partes). caso n = 1. De la tabla 3 deducimos que la fórmula que
Sard elaboró, además, el método para obtener los nú- se busca tiene por expresión
meros mencionados Pk correspondientes a la solución 4
extremal y este método permite hallar efectivamente los
valores exactos de dichos números para cada par concreto
~ f (x) dx ~
o
;! [f (O)+ f (4)] +
.dado (m, n), siempre que el problema correspondiente 32 26
tiene solución. +23ff(1)+f(3)J+28f(2). (11.4)
Nos limitamos sólo a reproducir aquí la tabla de los El error de aproximación para la función f (x), que
resultados numéricos finales de Sard [22], acompañándola tiene en el segmento [O, 4) la segunda derivada f" (x)
de las explicaciones correspondientes1 ). que satisface la desigualdad
,....
::
Al emplear las tablas 3, 4 se debe tener en cuenta que
los números Pk (k = O, 1, ... , m) satisfacen la simetría
4

( ~ 1 !" (x) 12 dx) 112 ~M, (11.5)


Pk = Pm-k o
no es superior a
que pudiera ser demostrado en el caso general. Por eso, en
M
las tablas para cada par dado (m, n) se dan sólo los valo-
res de p 0 , p 1 , • • • , P<m+i>; 2 cuando m es impar, y los
105 = M · 0,009524. (11.6)
valores de p 0 , p 1 , • • • , Pm/ 2 +¡, cuando m es par. En lugar de la mejor fórmula exacta (11.4) (para la
Los valores de Pk que se consideran resultan ser nú- clase Wl;! (M; O, 4)) podemos, valiéndonos de la tabla 4,
meros racionales, pero no enteros en el caso general. Para escribir la fórmula de cuadratura que sea próxima a la
no recargar las tablas con números fraccionarios, se elige, mejor. Ella tiene por expresión
para cada par (m, n), un número entero ~ (mínimo común 4
denominador de los números Pk correspondientes al par ~ f (x) dx ~ 0,39 [f (O)+ f (4)) + 1,15 [f (1)+
dtado) y en lugar de Pk fraccionarios se aducen los nú- o
meros enteros Pk~·
Las cotas superiores exactas de las aproximaciones +f(3)J+0,92f(2). (11.7)
que se obtienen de las fórmulas de cuadratura en consi- El error de aproximación proporcionado por la fór-
deración son también números racionales lo que podemos mula (11. 7) para la función f (x), que tiene sobre el seg-
ver en las tablas. mento [O, 4) la derivada f" (x) que satisface la desigual-
dad (11.5), ya se evalúa como la magnitud un poco mayor
1 ) Las tablas 3 y 4 se han tomado del artículo de A. Sard [22). (M · 0,009533) que se diferencia, sin embargo, de la
l,as tablas más detalladas de este tipo véanse en [21). magnitud (11.6) sólo en el 0,1 %.
96 7- 0864 97
Tabla 3 Tabla 3 (continuaci6n)
Mejor fórmula para las clases w~•,+1) (M; O, m) con nudos
equidistantes en el segmento [O, m] m 1 c0 A 1 c 1A 1 c,A c3 A A 1 Jmn
1 1
~ ¡wl_~+ 1 > (1; O, m)] =
n=2
m m

= sup 1 ~ fdx- ~ Phi (k) 1= 21 11 41 1 .1 31 18190 =0,000529


11 /(n+l) 11 L, (0, m),;:;; 1 O h=O
11
p¡=C¡,
31 31 91 1 1 81 8960 =0,001228
=Jmn• Po= co, · · •• Pm = Cm
11
41 211 761 461 1 601 12600 = 0,000873
mi Coá 1 c,A 1 c,A 1 c A
3
1
A 1 Jmn
73
5 1 1121 3791 2891 1 3121 69888 =0,001045
n=O 11
6 1 551 1921 1321 1121 1551 10850 =0,001014
1 1 1 1 1 1 1 2 1 112 =0,083333 n=3
2 1
21 1 1 2 1 1 1 2 1 12 = 0 , 166667 2 1 11 41 1 1 31 9072 =0,000110
3 13
3 1 1 1 2 1 1 1 2 l 12=0 ,25 3 1 31 91 1 1 81 17920 = o' 000725
4 6557
~- ·&: :~ 41 1 1 2 1 2 1 1 2 1 12=0,333333 41 23491 99321 44301 1 72481 36529920 = o' 000179
5 61633
51 1 1 2 1 2 1 1 2 1 12 = 0,416667 51 293921 1102091 768191 1 865681 193912320 - 0,000318

6 1 1 1 2 1 2 1 2 2
6
112=0,5 6 11082811144099461222504314304484132900141 92~12~;720 = o' 000228
1

n=i
Tabla 4
1
2 1 120 =0,008333
Fórmula aproximada para la clase W~n+t) (M; O, m)
1 1 1 1 1 1 1
con nudos equidistantes en el segm~nto [O, m]
1 (fórmula que aproxima los datos de la tabla 3)
21 3 1 10 1 1 1 8 l 160=0,00625
-
J mn Z Jmn
31 4 1 11 1 1 1 10 1 1~0 =0,008333 Desviación

28 1 m c 0 A c,A c,A c,A Jmn deJmn res-


41 11 1 32 1 26 1 •I 1 105 =o' 009524 A
pecto a Jmn
en%
51 15 1 43 1 37 1 1 38 1 4~6 = 0,010965
n=1
41 100 143
1118 1106 1104 1 6240 =0,012340 4 1 39 1 115 1 92 100 1 H rn~ =o, 009533 0,10
61 77
1

98 7* 99
Tabla 4 (continuación) es correspondientemente mejor para la clase
Desviación Wi~+•>(M; a, b) con los nudos fijos xÍt. Además, en vir-
~

de Jmn res- tud de la desigualdad (6.17), donde se debe poner n = 1


m c0 ó c,ó c,ó Ca!i ó Jmn
pecto a Jmn (n tiene otro sentido allí), la estimación
en %
b

5 40 112 98 100
11
103 =0,011 0,32
sup
(n+!)
fEW L 2 (M: a, b)
Ja f dx- Li(f) 1=M11 F n+1 llL,(a, b)
1 \

31
6 40 112 98 100 100 25·102 =0,0124 0,49
está ligada con la estimación (11.2) del modo siguiente:
n=2
79 b-a )n+2-1/2
51 43 I 148 I 111 1 1 1201
756·10 2
0,001045 1 0,04 11 F n+1 llL,(a, b)= ( -----,¡¡- 11Fn+i11 L (0, m)·
2

6135511238 I 85311108110001 ;6 =0,001014


77.º11 1 0,003

n=3 § 12. Fórmulas de cuadratura en las cuales


10193 figuran valores de las derivadas
4 1 97 1 412 1 182 I 1 3001 567·105 =o ,000180 1 0,15
de la función
1i54043
514071152911064 I 112001
36288·105
0,000318 1 0,06
Hasta ahora hemos considerado las fórmulas de cua-
31923 dratura por medio de los cuales se calcula aproximadamen-
111111 !1 61329113411 61511310110001 0,000228 1 0,003
10· 107 te la integral definida de una función, siendo conocidos
46987 los valores de dicha función en los puntos aislados, es
5 1 81 1 307 I 2121 1 240 1 145152·103
0,000324 1 1,85
decir, en los nudos de la fórmula de cuadratura. No obs-
1487 tante, son posibles fórmulas de cuadratura más generales,
613311341 67113211001 63·105 0,000236 1 3,52
en las cuales intervienen tanto los valores de la función,
como también valores de sus derivadas de uno u otro
orden.
Las tablas aducidas 3, 4 se dan para los segmentos Si se saben no sólo los valores de la función f (x) en
[O, m]. Su transición a cualquier otro segmento no repre- los puntos x 0 , x 1 , • • • , Xm del segmento [O, 1), sino tam-
senta dificultades. Así, es fácil ver (véase § 6) que si la bién los valores de sus derivadas de tal o cual orden, es
fórmula (11.1) es la mejor para la clase Wi~+o (M; O, m) natural que al utilizar correctamente todos estos datos,
entre las fórmulas que tienen nudos fijos x1i = k podemos esperar un resultado más exacto que en el caso
(k = O, 1, ... , m), entonces la fórmula semejante cuando se usan solamente los valores de la función.
b m La fórmula de cuadratura en la cual figuran los valo-
res de la función f (x) y de sus derivadas de orden hasta
~ f (x) dx ~ ~ cíd (xí.) = L 1 (f), p inclusive en los puntos x 0 , x 1 , • • • , Xm tiene en el
a k=O caso general la forma siguiente:
donde
, (b-a) k , b-a .1 m-1 p
C¡¡,= m X¡¡=a+--k
m ' ~ f dx ~ ~ ~ p¡¡,¡f< 1> (x1i) = L (f), (12.1)
k=O, 1, ... , m, O k=O l=O

100 101
donde P11.z son números dados (los pesos), x11., los puntos mediante la condición de exactitud),
dados que satisfacen la condición
1 1

O~x0 <x 1 ••• <xm-1~1. ~ fdx-L(f)= ~ R 7 dx-L(R 7 )=


o o
Si la fórmula (12.1) es exacta para los polinomios 1 1
Pr_1 (x) de grado r - 1, es decir, si para ella la desigual- - 1-
dad aproximada se hace exacta al sustituir f por cual-
-
(r-1)1 J\ J\ K r (x-t)f<r>(t)dtdx-
o o
quier polinomio P 7 _ 1 , entonces resulta posible obtener m-1 p 1
para ella el valor exacto del error que se expresa en tér-
minos de la derivada ¡<r> (x) de orden r > p~ -7 ~ k=O l=O
~ A~) ~ Kr-l (xk -t) f<r> (t) dt =
Con este objeto nos será más cómodo esc11ibir nuestra O
fórmula de la manera siguiente: 1 1

1 m-1 p
= 1 \ \ (x-er- 1 dx¡<r- 1>(t)dt-
(r-i)I J J
~ fdx~ !, ~ ~ A~>(r-l-1)!/U>(xk)=L(/), (12.2) 1 m-1
o t
p
O

suponiendo
k=O l=O
-7 ~ ~ ~ A~l)K 7 _z(x11.-t)f<r>(t)dt=
O 11.=0 !=O
P11.z=·(r-l-1)1 ')..,,(!)
1
r! k • =~ Fr (t) j(r) (t) dt, (12.3)
111 &: ::i. Sea dada una función f (x) que tiene en el segmento o
[O, 1) la derivada continua a trozos ¡<r>(x). Desarrollé- donde
mosla de acuerdo con la fórmula de Taylor: m-1 p

r-1 F 7 (t)=fi-[(1-t)7- ~ ~ 'A~l)K 7 _z(x11.-t)J. (12.4)


"" 1!
f (x) = LJ xl /U> (O)+ Rr (x) = P r-dx) + Rr (x), 11.=0 !=O
!=O
Se ha obtenido una igualdad exacta que expresa la
donde (véase (3.4)) estimación de aproximación de la fórmula de cuadratura
1 para la función dada f (x) que tiene en el segmento [O, 1)
Rr(X}= lr~Hl ~ K 7 (x-t)f<r>(t)dt. la derivada de orden r. Esta igualdad es sumamente aná-
o loga a la igualdad correspondiente (4. 7) la cual es su
caso particular cuando p = O, si se toma en consideración
Notemos que la derivada de orden l < r del término que rpko = A,<~>. Esta particularidad significa que para
residual puede ser escrita en la forma siguiente: la fórmula de cuadratura más general que se analiza
también pueden obtenerse los resultados análogos a
1
aquellos que se l:ian expuesto en el § 6, 7.
R~l)(x)= Ir _,1__ rn ~ K 7 _¡(x-t)f<r>(t)dt. La fórmula de cuadratura
o
b m-1 p

Por eso, debido a que la fórmula (12.2) es exacta para ~ f dx ~ ~ ~· PÍizf(l> (xÍi) = L (a, b; f),
P r-l (es decir, los nudos X11. y los pesos A,~> están ligados a k=O l=O
102 103
correspondiente al segmento [a, b) (y semejante a la fór- Planteemos un problema: construir un polinomio
mula (12.1)) tiene nudos xk. dispuestos en [a, b) geo- P (x) de grado n = Po + p1 + ... Pm-i m - 1, + +
métricamente de un modo análogo a la disposición sobre que posea las propiedades
el segmento [O, 1) de los nudos xk de la fórmula (12.1).
En lo que se refiere a los pesos Pkl• están relacionados p(l>(xk)=Ykº, k=O, 1, ... ,m=1,
con Pkl mediante las correlaciones l=O, 1, ... , Pk·
PÍi1 = h 1+1Pkz. El polinomio buscado es el único, pues si admitimos
donde h = b - a es la longitud del segmento [a, b). que existen dos polinomios de este género, la diferencia
Esta correlación presta la posibilidad de introducir el entre ellos denotada por Q (x) ha de satisfacer las igual-
concepto de fórmula de cuadratura complicada dades
b m-1 Q(l>(x11 )=0, k=0,1, ... ,m-1, l=0,1, ... ,ph
~ t dx ~ ~ L (sk, Sk+i; !), Sk =a+ b-;:ª k, (12.5)
y, por consiguiente, los puntos xk deben ser ceros de
a k= O
precisamente de la misma manera como se hizo para la
Q (x) de multiplicidades respectivas Pk +
1. De aquí se
deduce que el polinomio Q (x) de grado n tiene que divi-
fórmula (6. 7). dirse por el polinomio
El teorema 1 queda totalmente en vigor también para
la fórmula (12.5) obtenida de la fórmula (12.2); por su-
puesto, es necesario solamente que por F 7 (t) se entienda
m-1

k=O
n (X - Xk)Pk+l

la función definida mediante la igualdad (12.4). Está


claro que para la fórmula (12.5) obtenida de (12.2) son de (n + 1)-ésimo grado, lo que es posible sólo en el caso
,.11.11¡ válidos también los teoremas 4-7 y todas las conclu-
siones generales del § 7 que se desprenden de los teore-
de que Q (x) = o. e

Comprobando directamente podemos convencernos de


mas citados. que el polinomio P (x), que resuelve el problema plantea-
do, puede escribirse en la forma siguiente
§ 13. Fórmula de interpolación de Hermite
m-1 Pk
Al igual que la fórmula de interpolación de Lagrange P (x) = ~ ~ y~> Pk1 (x), (13.1)
(véase § 1) sirve para obtener las fórmulas de cuadratura k= O l = O
de forma corriente (1.11), la fórmula de interpolación de donde
Hermite puede servir para obtener las fórmulas de cua-
dratura del tipo (12.1) que contienen, a la par con los va- A (x) {(x-xk) p k+1 } Pk -l
Pk1(x)= ( )Pk+1-I A(x) (xk)'
(13.2)
lores de la función a integrar, los valores de sus derivadas l! x-xk
de tal o cual orden. m-1
Prefijemos en un segmento [a, b) los puntos x 0 , x1 , • • • A(x)= II (x-xk )p k + 1 ,
••• , Xm-l y los sistemas de números que les corresponden k= O

Yo, Yo(t), • • ·, y<Po)


o , k=O, 1, .. . ,m-1, l=O, 1, ... ,pk,
Yi
<I) (P1)
Y1, ' • • · • Y1 '
y la expresión {F (x) }~~l denota la suma de términos del
Ym-1• (t) y<Pm-1> desarrollo de la función F (x) en la serie de Taylor dentro
Ym-1• • • '' m-1 ' del entorno de x = a, donde x - a tiene las potencias
donde p0 , p1 , ••• , Pm-l son números naturales prefijados. que no sobrepasan el número natural 'A.
104 105
Para convencerse de esto hay que tomar en considera- donde
ción que el polinomio Pkl (x) está elegido de una manera m-1 Pk
tal que tenga la potencia n y satisfaga las condiciones
L (/) = ~ ~ p~>¡< 1 > (x1i), (13.7)
k=O l=O
1, si k==s, l=i simultáneamente, b
<i> (x s )-
P kl -
{ O, en los demás casos, (13.3) p~>= ~ Pk¡(x) dx. (13.8)
k=O, 1, . .. ,m-1, l=O, 1, ···•Pk· a

Esto se deduce de que Por cu~nto para todo polinomio P (x) de grado n =
= Po + P1 + · .. + Pm- + m
1 - 1 la fórmula de in-
cp(x) {_J_()}(µ) =1+K(x-at+ 1 + . .. , (13.4) t erpolación (13.5) de Hermite se reduce a una identidad,
q> X (a)
la fórmula de cuadratura (13.6) es exacta para todos los
puesto que el µ-ésimo segmento del desarrollo de Taylor polinomios de n-ésimo grado.
de la función (13.4) coincide, evidentemente, con el Viceversa, es fácil notar que si está dada una fórmu-
µ-ésimo segmento del desarrollo correspondiente de la l a de cuadratura
unidad: b

1 ~ / dx,..., L 1 (/),
1 = cp (x) <p (x) • a

A la fórmula (13.1) le corresponde la aproximada donde


•• ~a fórmula de interpolación general de Hermite m-1 Pk
Lt (/) = ~ ~ p~<O¡(l> (xk},
m Pk k=O l=O
f (x),..., ~ ~ f(l> (xk) Pk1 (x) = P (x), (13.5)
de la cual se sabe que es exacta para todos los polinomios
k=O l=O
de n-ésimo grado, entonces sus coeficientes determinan-
que pone en correspondencia a la función dada f (x) el t es p//º coinciden, respectivamente, con los números obte-
polinomio de n-ésimo grado P (x) que satisface las con- nidos más arriba p~> determinados con ayuda de las in-
diciones t egrales (13.8). En efecto, para cualquier polinomio
P (x) de grado no superior a n resulta lícita la igualdad
f(l> (xk) = p(l> (xh}, L (P) = L 1 (P).
k=O, 1, ... ,m-1, l=O, 1, ... ,pk. En particular, si como P (x) tomamos los polinomios
P kz (x) del tipo (13.2), obtenemos, a consecuencia de
Al integrar los miembros izquierdo y derecho de la sus propiedades (13.3):
igualdad aproximada (13.5), obtendremos la fórmula de
cuadratura (aproximada) 1> p~> = L (Pk1) = L 1 (Pkz) = p'f;.º,
b
k=O, 1, ... , m-1, l=O, 1, ... , P1t•
~ f (x) dx,..., L (/}, (13.6)
a lo que era necesario demostrar.
La fórmula de cuadratura (13. 7) contiene, como caso
1 ) Esta fórmula tiene carácter un tanto más general que la particular, la fórmula (12.1) para p1 = p 2 =
examinada en el § 12, donde Po = p1 = ... = Pm-1 = p. · · · = Pm = P·
106 107

También podría gustarte