Escolar Documentos
Profissional Documentos
Cultura Documentos
o::
::::>
<
1-
o::
<
::::>
UJ
en
<
...J
o::
::::>
:E
'LL
C. M. HHKOJlbCKHVI
S NIKOLSKI
FRM ULAS
DE CUADRATURA
e )l.o6aBJI0HH0M
Moc1rna HayRa
H. TI.
RopHeifqy1rn
EDITORIAL MIR
MOSC
Impreso en la URSS
lndice
Prlogo a la edicin espaola
1.
2.
3.
4.
wz:
Ha iicrraucKOM H3bIKe
Ha,o;aTeJI&CTBO HayKa
ISBN 5-03-001539-6 (nen.) traduccin al espaol,
K. P. Medkov, 1990
8
18
26
28
34
40
54
64
67
77
95
101
104
108
129
134
140
144
146
149
198
5
226
240
283
292
wr
~B
1 a1
D
);
!/
)lo:C
fig. 2
,J
ll!.
1
.,. .r:
z
fig. 1
~ f(x)dx~qb-a)f(
tb ),
(1.1)
~ f (x) dx ~ ~
(b- a)
[f (a)+ f (b)],
(1.2)
!f=f{.r)
!/
=~
P 2 (x) dx+
(b4 -).
b-a
j\ P 2 (x) dx=6-
ul
); .,.
:e
fig. 3
flb)
J.
X- 2
(1.3)
de segundo grado. Los grficos de estos polinomios representan toda clase de parbolas de segundo orden cuyos
ejes son paralelos al eje Oy.
Ms an, se conoce bien que la frmula de Simpson es
en realidad mejor todava: es exacta no slo para los polinomios de segundo grado, sino tambin para todos los
polinomios
P 3 (x) = a0 + a 1x + a 2x2 + a 3x3
de tercer grado.
En efecto, podemos representar el polimonio P 3 en la
forma
P 3 (x) = P 2 (x) + a 3x3 ,
10
que se llamarn nudos, y planteemos un problema: construir un polinomio de m-simo grado P m (x) que en los
puntos mencionados coincida con la funcin dada f (x).
Se requiere, de este modo, que se verifiquen simultneamente las igualdades
f (xk) = Pm (xk),
= O, 1, .. .,
m.
t (x) dx ~ ~
k=O
~ f (x) dx ~ S
a
p m (x) dx =
o bien
Pk (xk),
(1.5)
k=O
donde
k=O
Pk. -
Q~) (x) =
..
k =O, 1, ... , m.
(1.6)
(xk-x 1)
'
k=O, 1, . . . , m.
En la fig. 4 van expresados esquemticamente los grficos de la funcin f (x) y de su polinomio interpolador
!/
La igualdad aproximada (1.5) determina cierta frmula de cuadratura que es exacta para los polinomios de
grado m.
Muchas frmulas de cuadratura clsicas son de este
origen. Por ejemplo, la frmula de Simpson se obtendr,
si ponemos en (1.5), (1.6) m = 2, x 0 = a, x 1 = (a
b)/2, X2 = b.
No es difcil de ver que, viceversa, si con" ayuda de
distintos puntos prefijados xk del segmento [a, b] y de
los nmeros pi (k = O, 1, ... , m) queda obtenida una
frmula de cuadratura
~ f (x) dx ~ ~ pd (xk),
a
a=:c11
:ft
;r;z
:r:.r
~=b
)lr,Z-
fig. 4
(1.7)
k=O
t (x) ~ k=O
~ o<::i> (x) t (xk),
construida sobre la base de los nudos xk.
En efecto, examinemos, a la par con la frmula (1. 7),
la frmula de cuadratura (1.5), donde los nmeros Pk
se determinan con ayuda de la igualdad (1.6). Ambas fr13
12
2j
(P1t-P.)x~=O,
l=O, 1, ... , m.
(1.8)
k=O
Xi
Xm
xi;:i
X~
x:
(1.5')
k=O
a1 x
donde k (k =O, 1, ... , m) son coeficientes
arbitrarios (incluidos aquellos que son iguales a cero).
14
d-c ~
R(u)du=-b-a
:=: ~
d-c
R ( e +b-a
- - (x-a) ) dX=
PkR
(e+ :-;
(xk-a))
= ~ p~R (x~).
k=O
-a
k=O, 1, ... , m.
X1t=-Xm-k
+ ... + amxm,
k=O
k=O, 1, ... , m,
y en este caso
a
Pm-k =
= ~
-a
-a
Q\::)(u)du=Pk
,,
15
La frmula (1.5) que es exacta para todos los polinomios de grado m puede resultar en realidad exacta para los
polinomios de grado superior a m, como ocurre en el caso
de la frmula de Simpson. Las mejores en este sentido
frmulas de cuadratura son conocidas frmulas de Gauss
que corresponden a tal disposicin de m + 1 nudos x 0 ,
x 1 , : ., Xm, para la cual la frmula de cuadratura resulta ser exacta para todos los polinomios de grado 2m + 1.
El hecho de que tal disposicin de los nudos es posible ser demostrado en el 17. En el 5 se aducen casos particulares de la frmula de Gauss para el segmento (-1, 1].
Indiquemos, adems, las frmulas de cuadratura de
Chbishev que se definen partiendo de la condicin: con
m nudos x1 , x 2 , , Xm la frmula debe ser exacta para
los polinomios de grado m y tener iguales factores de las
ordenadas. En la forma general las frmulas de Chbishev
para el segmento [ -1, 1] se escriben del modo siguiente:
1
~ f (x) dx ~
-1
! ~ f (xk),
(1.9)
k=1
donde los nudos xk se eligen conforme a la condicin estipulada ms arriba. El hecho de que el factor en el segundo miembro de esta frmula de cuadratura es igual a 2/m
proviene de que la frmula ha de ser exacta para f (x) =
1. En el 5 se aducen las primeras cuatro frmulas de
cuadratura de Chbishev para el segmento (-1, 1].
P.L. Chbishev ((19], vol. 111, pgs. 49-62) mostr
que tales frmulas de cuadratura existen par a los casos
en que m = 1, 2, ... , 7, 9 y son simtricas. A consecuencia de esta propiedad, ellas son exactas para la funcin
xm+i con m pares (m = 2, 4, 6), y, por consiguiente, no
slo para los polinomios de grado m, sino tambin para
aquellos de grado m + 1. Resulta que para m = 8 y
m~ 10 la frmula (1.9) ya no existe [3].
La frmula (1.5) puede resultar exacta slo para los
polinomios de grado inferior a m, o bien no exacta para
cualesquier polinomios.
La frmula (1.5) (sin la condicin 1.6), siendo exacta
para los polinomios de m-simo grado, si ella corresponde
a los nudos xk = a + (b - a) k/m (k = O, 1, ... , m)
~ f (x) dx ~ L (!)
(1.11)
se denominar frmula de cudratura definida por los pesos Pk y los nudos xk.
Observemos que la integral definida satisface las
condiciones de aditividad y homogeneidad:
b
16
(1.10)
k=O
~ f (x) dx = ~
cp (x) dx,
Cf (x) dx,
CL (/) = L (Cf).
1
) La informacin ms completa sobre las frmulas de cuadratura mencionadas u otras el lector puede encontrar, por ejemplo,
en las obras de V.L. Goncharov [4], Sh. E. Mikeladze [9], V.I. Krylov [8], I.S. Berezin, N.P. Zidkov (2], N.S. Bajvalov (1].
2
) Si a toda funcin f perteneciente a cierta clase de funciones
se le est puesto en correspondencia, segn una ley determinada,
un nmero L (!), entonces L (!) recibe el nombre de funcional definida en la clase citada de funciones.
2-0864
17
2. Clases de funciones
La diversidad de todas las funciones integrables es
muy amplia. Cuando se analiza un mtodo bien determinado de integracin aproximada de las funciones, resulta imposible indicar de antemano la magnitud con la
que se estima la aproximacin para todas las funciones
integrables en general. Esta estimacin es sencillamente
igual al infinito.
Veamos, por ejemplo, el mtodo de los trapecios. Puede construirse, evidentemente, una funcin que sea igual
a cero en los extremos del segmento [a, b) y tal que la
integral definida de dicha funcin en el segmento dado
sea superior a cualquier nmero prefijado con anticipacin. El error de aproximacin de la integral definida de
tal funcin que se obtiene al utilizar el mtodo de los trapecios (1.2) ser igual a la propia integral y, de este modo,
puede ser tan grande como se quiera.
Este problema se resuelve de tal manera que las estimaciones de la aproximacin se obtienen para unas u
otras clases suficientemente estrechas de funciones integrables. Tales clases de funciones muy difundidas en el anlisis actual son, ante todo, las clases de funciones diferenciables y las clases de funciones que satisfacen las condiciones de Lipschitz.
Podemos analizar, por ejemplo, una clase de funciones denotada mediante W< 1 > (M; a, b) que son continuas
en el segmento [a, b) y tienen en ste una derivada continua a trozos f' (x) 1 ) que satisface en dicho segmento la
desigualdad:
<
18
1)
x 1
satisface la desigualdad
lf"(x)l~M.
(2.1) '
19
' ~..,...-----"
1
O:::;;;; ro (x 2) -
ffi
lm w (6) = O= ro (O).
(2.2)
Ahora, si 6 = 6 1 + 6 2 , donde 6 1 ~ O, 6 2 ~ O, y si
.r', x" son puntos del segmento [a, b], para los cuales
1 x" - x' 1:::;;;; 6, entonces, evidentemente, en el segmento [a, b] existe un punto x 0 tal que para l se verifican simultneamente las desigualdades 1 x' - x 0 1:::;;;;
~ 61 ,
\ x" - x 0 1:::;;;; 6 2 De aqu se deduce
r>
ro ~6) =
:::;;;;
mx
cp (x0 ) 1}:::;;;;
mx
lcp(x")-
1x"-xo1 .;;;62
(2.5)
(2.6)
que deben realizarse para cualesquiera 6', 6 ", que satisfacen las desigualdades O:::;;;; 6':::;;;; 6 ".
De (2.4) y (2.6) se deduce con toda la evidencia la continuidad de ro (6) para todo 6 ~ O.
Observemos que si una funcin cp (x}, continua en el
segmento [a, b], cuenta con el mdulo de continuidad
ro (6), entonces, evidentemente, ella pertenece a la clase
TI w (a, b) = W< 0 >H w (a, b} definida ms arriba.
Las propiedades, an ms convenientes en comparacin
ron las funciones de las clases w<r> H w (a, b}, poseen
funciones analticas.
mx
cp(x'J-cp(x0}1+
mx
1x'-xo1 .,;;61
1x"-x'1 ~6
x"-x'
+ 1cp (x") -
1x"-xo1 ~62
mx
1x'-xo1 .;;;61
(1)
ro (6') =
mx
I X"-X' 1 ~{)
(2.4)
6-+0
~O'
1x"-x'1 ~0"
Son posibles tambin algunas modificaciones de la clasifica1in expuesta. Se puede introducir una clase de funciones
W~~ (M; a, b), definidas en [a, b), que tienen derivada continua
._
21
(~
1 w>(x)1Pdx)1'p,,,;;;M,
p~1.
p = 1,
H '~ (M ; a, b).
l111111<lo
1o
escribiremos
11 <p l\Lp=
!J
lm 11 <p llL ~ M.
p-+00
(2.8)
> (~
fig. 5
de donde
11
lugar de
1,.. .z"
-t
(2.7)
en
!/
en la que el segundo miembro representa el llamado mximo esencial1) 1 <p (x) 1 en el segmento [a, b].
Efectivamente,
b)
W<[> (M; a,
ul
1
a
1
.r0
.r1
1
.rz
Z'J
~z
fig. 6
de donde
(2.9)
p-+00
De (2.8) y (2. 9) se deduce (2. 7). Por eso resulta natural considerar que
W(r) (M; a, b)=W<[> (M; a, b).
00
22
punto del segmento (-1, 1]. Mas, en el caso dado la primera derivada para x = O es discontinua.
Ejemplo 2. Veamos la funcin <p (x) cuyo grfico est
expuesto en la fig. 6 (aqu, x 3 = 'b).
Para que dicha funcin sea unvoca en los puntos x 0 ,
x 1 , x 2 , podemos fijarla en estos puntos igual a cualquier
Ji
1 1
"""'
1 ;:.. .r
ol
.Tp
p1 ,... .r
.rz
:Ct
fig. 8
fig. 7
Mostrremos que en la semirrecta [O, oo) la funcin satisface la condicin de Lipschitz de potencia a con la
constante M = 1. En otras palabras, mostremos que para
!J
cpi(x) =
<p (u)
du +el.
.r
ll
a~x~b.
fig. 9
Si ponemos luego
X
<p2 (x) =
<p 1 (u) du
+C
2,
xit-x~(x 1 -x).
obtendremos la funcin expuesta en la fig. 8 que pertenece a la clase W< 2l (M; a, b), pero no pertenece, evidentemente, a la clase W< 3 l (a, b).
Al repetir este proceso de integracin r veces, obtendre~
mos una funcin de la clase w<r) (M; a, b), donde r es
un nmero entero prefijado de antemano.
24
O~x~
(2.10)
(x 1 /x)-1
u -
1 ='lj) (u),
(x 1 /x-1)
25
!' "'~
I'
(X-a )T-1
(r-1)1
'l\I
<r-1) (a) -
)T-2
(r-2)!
1<u<oo,
f(x)=f(a)
... + (x-a)T-l
(r- 1)!
(r-1)
Rr (x) =
~ (X -
w-l
j(T) (
/<r-1) (t)
(x-a)T-1
(r-1)!
----
xa + (r-2)!
1
\ (x- t)<r-2) <r-n (t) dt =
J
a
26
1 .,.
Kr (u)=
~ (x
(3.2)
ur- 1
O, '
u~O
u:;_ o'.
(3.3)
,p 1 ~
\t
t) dt =
(x-w-1
(r-1)1
,p
Rr (x) =
(3.1)
1)1
3. Frmula, de Taylor
(r
<r-2) (a)-
x-a
='ljJ(u)<1,
U-+OO
X
/p
~ Kr (x-t)
j(r)
(t) dt,
(3.4)
f E w~> (M; a, b)
b
f (x) = Rr (x) =
fp
rn
~ Kr (x -
27
~ f(x)dx~L(f),
(4.1)
+~
m-1
= L}
a
b
L (/)
Pkf (xk),
(4.2)
~ ~
1 _.
__
K,(x-t)f<'>(t)dtdx-
a a
m-1
-1 ----
Pk
k=O
K,(xk-t)f< 7 >(t)dt =
= (r~ 1)1 [~
~ P ,_i(x) dx = L (P r-i>
f<r>(t)
K,(x-t)dxdt-
b m-1
~ ~
(4.4)
J=
a k=O
1
-
(r -
1)1
~[~
(x -
m-1
- .Li
PkKr (xk - t)
w- dx 1
Jf<7> (t) dt =
k=O
m-1
1
(r -
1)1
\ [ (b-t)'
~ PkKr (xk - t)
k=O
]f<
7>
r- 1
R,(x)dx-L(R,)=
k=O
R,(x)dx-L(R 7 )=
F (t) =
7
(r-1)1
[ (b-t)'
- 7-
PkKr (xk - t)
J,
(4.6)
k=O
k=O
b
Rr (x} =
Ir~ rn ~
a
28
LJ
.~
cuestin para
w<r> (M; a, b):
la
funcin
dada
j (x) de
la
clase
~ [W(r>(M; a,
(4.7)
JEW(r)(M; a, b)
sup
b)]=
~ j(x)dx -L(f)I=
a
(4.8)
F.
1) sign u
~ P:~1dx-L(P:~1)=N,
a
1 (u > O),
O (u = O),
-1 (u<O).
31
30
1'
IJ
(4.10)
~ P;_1 dx-L(P;_1)=A.=FO.
~ JF 7 (t)J dt=Mc 77
a
=M
\
,1
,,
sup
/EW(T)(M; a, b)
~ f (x) dx -
>
L (!) 1
f (x) d.r -L
(!) 1
1
1
;+q-=1,
do nde
11Fr11Lq=(
1 ~f(x)dx-L(f)l=oo.
sup
1ew<7 l(M;
a,
b)
( \
f(Tl (t)=
(4.11)
sign Fr (t)
/d.r-L(f)l=I
~ Fr(t)f<7l(t)dt1~
a
mx
a~t~b
1Fr(t)1 \ 1W>(t)1
Ja
dl~M
mx
a~t~b
Fr(t)
J.
sup
32
q-l
(4.13)
1 Fr(t) qdt)1/q.
a, b).
Por consiguiente,
(4.12)
/EWl'.l (M; a, b)
p
1 \ fdx-L(f)l=MllFrllL,
1
1
-+-=1,
p . q
3- 0864
(4.14)
33
>
Para la frmula
c1 =
(4.15)
11 F llL = mx 1F r (t) .
1(1-t)-Ki(; -t)jdt=
o,,;::;1.:;;;1
00
1/2
=~
Al igual que para la clase W< 7 > (M; a, b), se demuestra que
si la frmula de cuadratura (4.8) no es exacta para los polinomios
de grado r - 1, entonces la cota superior que se examin en (4.14)
es igual al infinito.
1(1-- t)-11 dt
+~
o
1/2
C2=
~ 1 (1-;t)2
( ; - t )1
~ fdx-L(f)= ~ F 7 (t)r>(t)dt,
c 1 =~ 1(1-t)-; Ki(-t)-+Ki(1-t)J<lt=
(5.1)
o
1
donde
m-1
F 7 (t) =
11 "
lr-
[ (1-t)7
r
"
L.J
PkKr (xk - t) .
=~
(5.2)
o
1
F 7 (t) J dt =
mx
1ew<7 l(1 ;
1\
o, 1)
f dx- L
(!)
C2 =
1ew<7 l(M; o, 1)
+-t) dt + ~ (
t - ; ) dt =
!.
1/2
1
2K
2 (-t)- 21 K 2 (1-t) 1 dt=
1
1
1 - t 1dt=+ ~ (1-t) t dt="""f2'"
2
o
(1-t) 2
-2-
34
l+-tl dt=
~o J - 2 -
= ~Io
t - t - + / dt=
(1- t)2
(5.3)
-= ~ (
Pongamos
1
1/2
h= O
c7 =
;4 .
1/2
de cuadratura particulares
!'
(1- t) dt =
1/2
.1
5/36,
C2
= 1/81,
C3
= 1/576,
C4
1/2880.
1)
Frmula de Simpson:
ci
2>
c<32> =
1
345600 '
~ rF
(t)q dt
r'q =c;q>.
o
De este modo, e~ = Cr
Ms abajo damos a conocer valores numricos de las
constante~ c~2 > para las frmulas, anteriormente aducidas,
de los rectngulos y trapecios y tambin para la frmula
de Simpson. Estas constantes se han calculado por Yu.
Ya. Dornin.
Frmula de los rectngulos:
ci
2>
11
1-_- = O 289
= - 2 -y3
'
'
c< 2> =
2
0,000464.
P11.f (xk)
k=m
sup
f dx -
/EW~rl(M; -1, 1) -1
fdx-
sup
2 v3o
1)
'
P1if(xh)I=
k= - m
/EW~r>(M; -1, O) -1
Pk/(xk) 1=
k=m
m
sup
+ /EW~r>(M;
sup
O,
jdx-
Pkf(x1i)I+
xk<O
~ f dx-'- ~
o
xk>O
Pk (xk)
I=
= 0,0914.
2sup
/EW~r>(M; O,
36
0,0152,
1)
~ ~
f dx
30
1
=---;;== 0,289.
(5.4)
12
= 0,00203,
-~-
-1
ir
48 lt
~ ~ 517.10-9
C5
c~2 > =
1
1)
f dx-
P11.f(xk)I =
x11,> 0
2
-(r-1)1
"
J\ 1 (1-t)T
r
-.LJ
O
P11.Kr(Xk-t) 1 dt.
(5.5)
xk> O
37
Tabla J l)
Frmula de Chbishev
Valores de~ (W (r) (1; -1,
Nmero de
nudos
1)] =
Frmula
5UP
1 f(r) (x) 1 .:;;; 1
f (x) dx - L (!)
fdx~t(-V:)+t (~)
5 - 2Y-3 =0,511966
3
~ (2 Y-3 -
3)3/2 =
=0,081128
16 V-2 (3 V-2 81
- 43/2= 0. 033389
<5-3V2>=0,3366o4
9 - 4 V-3
108
=0,0191833
f (-a)+ f (a)+
1 -17 -
82] =
= 0,00555819
0,003358
0,0005719
0,0000879
= o. 0251626
=l/ Y-5
- 2' b =.. .V5 ~2
3 V5
V 3V5
f (x),
f 2 (x) = f (x),
1 (x) =
IJ
0,0074074
(b)],
38
ill =
+ 58 V2 -
( 4b - 3)1/2 -
-1
+f
r=5
1 ((8 ,r1
36
V 2 - 11)3/2 + 360 = 0, 0027778
+t(l?)J
S fdxz-1 [f(-b) +
r=4
r=3
\ fdx~2!(0)
-1
- 1
r=2
r=1
-1~ x~ O,
~ X~ 1.
Es evidente que si
aEA, 13EB
a.+~I =sup
aEA
Tabla 2 1 )
segmento [-1, 1]
..,"'
..8~
o
Frmula
::s"'
za
r = 1
r=2
~ fdx:::.: 2! (0)
sup
1 1 f dx - L (f)
1(r) (x) 1,,;;;; 1
r=3
r=4
r=6
r= 5
r=7
r=8
-'l
y--
1
2
jdx:=.:f
(---f) +
5 - 2v3 =0,511966 9
3
~3
9 - 4
V-3
108
=
1135=
= 0,0191833 =fJ,0074074
(V:3)
1
3
V:i- 3)3/2=
= 0,08112!!
-1
+ f
(2
-1
+ 8/ col+ 5/ <VO.S>l
4~5 (1051
-1110-VD>=
= 0,357337
2187 <90
l'U:S-
- 65) 3/2 =
=o. 040545
vo.s
5-6
o. 000009 1 1800
1
1458 X
X (16 (30
V,6-
I5'f50 =
=0,0001958 =0,00006349
- 23)312+
+ 1548VD- 1198] =
= 0,002011
S fdx::::::
0,275993
0,021853
0,00236
-1
2
::::::
k=-2
~-1 = X1 = V15
il-1 = P1 =
18 + f30
,
36
- ~- 2 = x 2 = v15
P-2= P2
- 2f30
35
,
+2f30
35
,
18 - V3o
36
40
Mrmula de Gauss. Para dos nudos las frmulas de Gausg y de Chbishev coinciden.
41
para cp (x) = j (-x) tendremos cp E w~r) (M; O, 1), y viceversa. Adems, por ser simtrica la frmula de cuadratura, tenemos
~ f (x) dx-1
-1
.Li
Pk (xk)
k=1
k=-m
pkcp (xk).
(l-;t)
'ljJ(t) =
42
(1 - t) 2
"
+95
,
(t-a),
a~t~1.
k = 90a - 65,
48+k
c2
; l= ~ [(1-;-1)2
o
c1
[ <1
;t)
2 Vk
--9-'
Cz-C1=
90a-17
--
3)
+; (t-a)J dt-
-t;
(t-a)J dt+
c2
+~
(1~1)2 dt=
=3 ( -(1-c2 ) 3 + (1-c1) 3 ] +
1
5
J=
+g-5 [(cz-a)2-(c1-a)2J+ [ ff-IBaz
K 2 (a-t)ldt = f.
O~t~a,
= 4-yk
n
2+ C1C2 + c22=
! (c1+ c2) -
_ _ 2 yk
9
La funcin bajo el signo de integral, la que se designar con llJ (t), se define mediante las frmulas
(1-t)2
C2
c1
'ljJ(t)=
= (c2 - c1) [ 1-
1)]=2~1
C1+Cz=g
para r = 2.
Esta frmula es simtrica y es en todo caso exacta para los polinomios de primer grado. Por eso, para ella puede aplicarse la igualdad (5.5):
t[W<r>(1; -1,
4+Vk
y, adems, llJ (t) es negativa en el intervalo (c 2 , c1 ) y positiva fuera del mismo. Observemos tambin que
x_ 1 =-a=-Y3!5, x 0 =, x 1 =a=V3!5,
(1 4
~O a+
~-_iQ_
. 81
yk
= 2187 (90a -
! (e~+ c c +e;) J
1 2
)=
-1-- 9a-11
243
4k12
8 ( 90 -.V/ 3 -65
)3/2
--1, 1)1 = 2187
5
~ Xo <X<
<
Xm-1
~1
y de nmeros (pesos)
Po Pi .,
(6.2)
Pm-1
~ f (x) dx,
m-1
L (f) = L (O, 1; f) =
:2j
k=O
p 1d (xh),
(6.3)
1]:
1
~ "~
~ f (x) dx ~ L (/).
(6.4)
13
(6.6)
(6.5)
~ f (x) dx ~ L (s1<,
n-1
k=O
~ f (x) dx ~ ~
donde
m-1
Sk+t; /).
~k
44
b-a
"'"=a+--k
n
'
~h+l
De este modo, (6.4) es la frmula de cuadratura (aproximada) definida por los nudos (6.1) y pesos (6.2).
Supongamos ahora que est dado un segmento arbitrario [a, ~]. Diremos que la frmula de cuadratura
L (a, ~; f)
Pt= Pk (~-a),
(~1u
Sh+i; /).
(6. 7)
Por ejemplo, la frmula de cuadratura complicada para un rectngulo tiene, evidentemente, la expresin si-
11iente:
n-1
~ f (x) dx
a
bn
~ f (x.),
h= O
45
donde
X< =a+ (2k+1) (b
a)
2n
~ f (x) dx ~
a
b2n a
[f (so)+ 2/ (s1)
+ 2/ (62) + ...
+ 4f(x 1) + 2/ (x2) +
+ 4f (x3) + ... + 4f (X2n-1) + f (X2n)},
donde
"'"
x=a + i - b-a
2n ,
i=
O, 1,
. . ,
/EW(r)(1;
'1
J f (x) dx -
LJ L
k=O
(Sk Sk+t; /) ~
(6.11)
(b-a)r+l e M
~r
(6.12)
n-1
~ f (x) dx - ~
a
=~
(6.8)
61i+i
{~
k=O
n-1
L (Sk Sk+t; /) =
k= O
n-1
fdx-L(sk, Sh+t;
n}=
6h
- h~ {~ f(sh+hu)du-L[f(sk+hu)J}=
k= O
O
n- 1 1
F,(t)ldt.
n-1
fdx-L(f)I=~
2n.
~ P P ( x) dx = L (P p),
o
O, 1)
1~
mx
Cr=
(6.9)
h=O O
h=. bna
(6.13)
donde
F T (t)
1
[ (1 - t)7
(r-1)!
r
m
~
k=O
PkKr(xh-t)J.
(6.10)
El smbolo L [f (sh
+ hu).
= f
(s"
+ hu)]
46
~ f dx- ~
"
L (6 10 Sk+t; /)
k=O
(b-a)T+l CrM
nT
~ !* dx- ~
+ hu) =
M sign F r (u),
(6.15)
rno,
entonces hagamos
48
f'
(x) 1 ~M1,
f" (x)
1 ~M2 ,
entonces, sabiendo magnitudes numricas c7 , podemos haciendo uso de la estimacin (6.12) eligir de las frmulas
de cuadratura correspondientes aquella que da la mejor
aproximacin.
Este teorema puede extenderse a la clase Wt> (M; a, b)
del modo siguiente.
P
Teorema 1' . Para toda func in f perteneciente a la clase
wz>
(M;
p
a, b), donde 1
<
<
n-1
fdx-
L(61i - 61i+;
oo,
f)l~(b-a)r+~~l/Pc~q)M'
k= O
1
c~q) = (
=O.
(6.16)
en el segmento [s 11 , Sk+i), donde P r- 1 ,11 (x) es el polinomio de grado r - 1, elegido de una manera: tal que el
segundo miembro de (6.16) tenga en el punto 6k derivadas de hasta el (r - 1)-simo orden inclusive iguales a
los nmeros a 0 , a 1 , , a 7 _ 1 , respectivamente.
Con esto la funcin f * (x) queda completamente definida (por induccin) en el segmento [a, b). Pertenece,
evidentemente, a la clase W<r> (M; a, b}. Pongmosla
en (6.13) y tendremos en cuenta que
dT
dxr Pr-1,h (x}
n-1 1
(6.14)
k=O
<> (611
n- 1
k=O
n-1
Jo
1F 7
(t)
'
(6.17)
49
de Holder:
n-1
1~ f
=I
dx-
L (;k, ;1!+1; !)
I=
k=O
n-1 1
~ ~
hr+l
Demostracin. Las relaciones (6.18) quedan en vigor, si consideramos en ellas que c~ 00 > se define por la igualdad (6.19). Pero,
ahora ya no podemos afirmar que existe la funcin de la clase
wc:> (M; a, b), para la cual la desigualdad se transforma en la
igualdad exacta.
Sin embargo, siempre pueden construirse en los intervalos
(s1, ;1!+1) las funciones k (x) de la clase w<> (Ml n; ;1, S11+1)
de tal manera que el primer miembro de la desigualdad
sn+1
k=O O
n-1
~hr+l ~
k=O
1 Fr
q dt )1 1q ( ~
1 j(T)
~k+l
n-1
= hr+l-l/P4q) ~
k=O
~
s1
n-1Sk+l
k=O ~k
s1
fq)l/q=
k=O
'
(6.18)
_!_+..!.-=1.
p
q
fk
k=O
m-1
~( 1+ ~
1 cp
).
1=
(x) -
f (O)
1~ ffi
(1)
wz>
(x)
(M; a, b)
~ f dx-L (!)'
O
m-1
k=O
m-1
(6.19)
~l(1)(1+~ IPnl).
50
b :-
o,,;;;t,,;;;1
ffi (
e~"")= mx 1 F7 (t)
a)
O 1 Fr qdu) IP
/Pk 1) (b -
k= O
(b-a) 1 /P
~ ""
f1dx-L(s, ;1!+1;
n-1
IP du )1 1p =
(h+hu)
k=O
l
51
<u"
~1,
obtenemos
n-1
'~
fdx-
L(sk, Sh+t;
k=O
a
n-1
!)1~
k=O
=hr+1
(1
+~
k=O
n-t
n-1 1
m- 1
~h ~ w (h)
~ ~ Fr(u)r>(sk+hu)dul=
k=O O
1Pk1) =
n-1 1
k=O
m-1
"
= o.
(6.21)
o
Supongamos ahora que la funcin f pertenece a la clase W<r>H"' (a, b). Apliquemos a ella la transformacin
(6.13). Entonces, teniendo en cuenta (6.21 ), obtenemos
n-1
"'"
~ F T (t) dt
1~ fdx- k=O
~ L (sk, Sk+t; f)I=
du-L[f(sk+hu)JI~
f (sk+hu)
~h ~ 1 ~
"'1
) (b-a)ro (b-a)
b-a
(
=1-\-L.JIPkl
-n-,' h=-n-
k=O
Teorema 3. Si la frmula de .c uadratura (6.4) es exacta
para los polinomios de grado r, entonces para todas las funciones f pertenecientes a la clase w<r>Hw (a, b) tiene lugar,
cuando r ~ 1, una desigualdad
k=O
n-1 1
+ hu)-r>(sk)/du~hr+t ~ ~ JFr(u)Jro(h)du=
k=O
n-1
1~ f dx- k=O
~ L (sk, Sk+1; f) 1~
=(b-ay+tcr )
( b- a)
) (
~(b-ay+1cr
b-a \
n
nr
(6.20)
(vanse (5.1) y 4), obtenida teniendo en cuenta la condicin de que la frmula de cuadratura (6.4) es exacta para
los polinomios de grado r - 1, ponemos en calidad de
f (x) la funcin x 7 , entonces, en vista de que la frmula
52
nr
1 J/<r) (Sk +
Indiquemos que las estimaciones obtenidas en el teorema (1) (como tambin 1', 1 ")son absolutamente exactas
y no pueden ser mejoradas, mientras tanto las obtenidas
en los teoremas 2, 3 no poseen esta propiedad. Estas ltimas pueden ser mejoradas ulteriormente. Sin embargo,
est demostrado [13] que en el sentido del orden ambas ltimas estimaciones no pueden ser mejoradas. Esto significa que, si en la desigualdad (6.20) sustituimos r por un
nmero mayor r 1 , O bien la funcin ro (x), por otra funcin
<> 1 (x), para la cual
, m
) (x)
O
lI
--x-+O
(x) -
'
53
1 ....
Wi
((b-;:ra)/n} '
respectivamente, para
toda f E w<r) X .
X H
1, 2, ...
00 (a, b) y todo n =
Algunas estimaciones exactas para las clases de funciones que satisfacen la condicin de Lipschitz fueron obtenidas por A. Ch. Turetski [18].
7. Estimaciones
para las funciones individuales.
Eleccin de la frmula de cuadratura
En virtud del teorema 1 del prrafo anterior, si aplicamos a la funcin f, perteneciente a la clase w<r> (M;
a, b), la frmula de cuadratura complicada
b
n-1
(7.1)
k=O
que es exacta para los polinomios de grado r - 1, entonces el orden de aproximacin 1 ) con ayuda de esta frmula
es igual a O (n-r). Este resultado da la estimacin de
aproximacin de arriba para toda clase de funciones
w<rl (M; a, b).
El teorema 1 afirma tambin la existencia en la clase
w<r> (M; a, b) de una funcin (dependiente de n), para
la cual el orden de la aproximacin con ayuda de la frmula (7.1) es conseguible. En este prrafo se mostrar que
este fenmeno tiene lugar en cierto sentido para cada funcin (no dependiente de n) de la clase wcr> (M; a, b),
siempre que ella no es polinomio de grado r - 1, y si la
frmula de cuadratura no es exacta para los polinomios
1 ) Se dice que el orden de una magnitud en (n = 1, 2, ... )
es O (n-r) y se escribe en= O (n-r), si existe una constante positiva
e (no dependiente de n) tal que para todo n = 1, 2, ... tiene luga,r
en 1
<
C/nr,
54
y que Sk =a +--k
(k =O, 1, .. ., n -1), les un nun
mero natural que satis/ace las desigualdades ,O < l ~ n,
w (h) es el mdulo de continuidad de la funcin <rl (x) en
el segmento [a, b].
Admitamos, adems, que la frmula de cuadratura (7.1)
es exacta para los polinomios de grado r -1, y x es la constante que se define por la igualdad (vase (6.10))
1
X=~ Fr(t)dt.
(7.2)
o
En estas condiciones tiene lugar la siguiente igualdad
asinttica:
;
!-1
~ f dx- ~
L (sk, Sk+1; /)
k=O
~l
=( b--;:a {x ~ <r>(x)dx+O[rn(h)]},
(7.3)
h=
b-a
n
'
!-1
k=O
~ f dx- ~ L (sk,
1-1
=~
k=O
Sk+1; /) =
~k+l
{~
;k
55
l-1
=h
~ {~ f(sk+hu)du-Llf(sh+hu)J}=
k=O
r>.
Luego,
1-1 1
l-1 1
r=O
(7.4)
~(b-a) ~ iFr(u)idu(J)(h)=(b-a)crw(h)=
o
=o l(J) (h)].
(7.8)
donde
l-1 1
1-1
~o
1-1 1
0'2 =
~ ~
F T (u) lr>
(7.5)
k=O O
Pero,
61
1~
~ -- ..
1-1
f<r) dx-h
r> (sk) 1~
61
k=O
r> (x) -
r> (s1J
1 dx
L( ;,,,
~k+i;
/)
=(b:ar {x ~ j(T)(x)dx+en},
(7.9)
1-1
(b-a)
"'1
l
~ L.J h(J) (h) ~--n-
(7.6)
k=O
por eso
'1
=X r> (x) dx+ 0 ((J) (h)J.
(7.7)
k=O
61
k=O sh
0'1
f dx-
1-1 6k+1
~~ ~
1-1
s1
1- 1
1- 1 sk+1
k=O
k=O ;k
~ ~ (;1i+1 k=O
<r> (x)-j(Tl (f 1 dx ~
n-1
;I!) W
~ ~ (;1!+1 k=O
;k) Wk-+ ,
h-+0,
57
~~"
~h ~ ~
~k
= h,
puesto que
n-1
1 Fr
(u) 1 W/ du
k=O O
~ Cr ~
Xo
(s11+1 -s11)
W11
1~
_,..o,
_,..o.
X=
J Fr (t)dt=rl J F
f<r> (x)
[,
s1
1-1
~ f dx- ~
a
L (sk, Sk+t; f)
k=O
dTtr
(t) (ftrdt=
=( b-;:a r{xc:I>(xo)+eh},
=+ {~
mx
a~x~b
1Xo-611 ~Mh,
.
M =
(x) dx 1~M
donde
f(T)
k= O
c:I> (x) = ~
cr (t) dt
61=
Xo
~ cr> (x) dx = c:I> (x0 )' - ~ f<r> (x) dx = c:I> (x0) +O (h),
a
; 1
(7.10)
!>8
s1
1-1
~ f dx - ~
a
n .... oo
x 0 Ahora
SI
r>
S1+1
El primer sumando de la suma encerrada entre corchet es no es nulo a ciencia cierta, mientras que el segundo
sumando eh tiende a cero cuando n -+ oo. De aqu se
deduce que el primer miembro de (7 .11) tiene el orden
que es estrictamente igual a O (n-r).
El resultado obtenido lleva al siguiente teorema.
Teorema 5. Si una funcin f tiene derivada continua
(x) de orden r que no es igual idnticamente a cero y la
frmula de cuadratura (7 .1) es exacta para los polinomios de
orden r - 1, pero no exacta para los de grado r, entonces
existen una constante positiva c y un punto x 0 en el segmento
[a, b] tales que tiene lugar la desigualdad
~r
(7.12)
k=O
r (x) dx =I= o,
59
."""'
~n
b. Si, en
entonces x 0 < b.
El teorema 5 constituye cierto complemento para el
teorema 1.
La enunciacin del teorema 1 puede ser reforzada. A
saber, tiene lugar el siguiente teorema.
Teorema 6. Si la frmula de cuadratura (7 .1) es exacta para todos los polinomios de grado r - 1, entonces para
cualquier funcin f perteneciente a la clase w<r>(M; a, b)
tiene lugar la desigualdad
n-1
sh+1
"'' 1 j\
LJ
k=O
.
fdx--L(sk-Sk+i;
f)
~ (b-a)'+l
~r c,M
3
(7.1)
sk
Para cerciorarse de la validez de esta afirmacin, debemos analizar una vez ms los clculos (6.13) y (6.14)
que se aducan al demostrar el teorema 1.
El teorema anlogo al teorema 5 que es al mismo
tiempo el corolario del teorema 5 se enuncia del modo
siguiente.
Teorema 7. Si una funcin f tiene derivada continua r>(x) de orden r que no es idnticamente igual a cero y
la frmula de cuadratura (7 .1) es exacta para los polinomios de grado r - 1 y no lo es para los polinomios de r-simo grado, existe una constante positiva c tal que se verifica
la desigualdad
'
n- 1 Sn+t
~ ~ f dx - L (~k' Sk+1; >
k= O
f)I
:r
sk
As pues, queda demostrado que para todas las funciones que tienen en [a, b] derivada continua (o, incluso,
60
1-~ ...
J F,(t)
dt=-;y-
dTtr
J F,(t)(fT
\
dt
s1
1-1
~ fdx- ~ L
O
b-;:a )7 en = o(n-r),
k=O
62
L (f) = ~ Pk (xk)
k=O
r+
X=~ F
~~
..
T (t) dt
o
en las cuestiones tericas de aproximacin por medio de
las frmulas de cuadratura. Ms abajo veremos que las
constantes x tambin pueden desempear un papel esencial en la propia construccin de las frmulas de cuadratura.
Imaginmonos que con el fin de calcular la integral
definida en el segmento [a, b] de cierta funcin f (x) se
ha usado la determinada frmula de cuadratura complicada
(sk, Sk+t; /)
k=O
h=(b-a)/n,
(8.2)
proporciona para todas las funciones f (x) que tienen derivada continua de orden r
1 la aproximacin de orden
O (n-r-1).
En efecto, observemos que
n-1
n-1
k=O
:r
(8.1)
k=O
n-1
~ f (x) dx ~ ~ L
n-1
~ f (x) dx ~ ~
a
...
ek
donde
o< ek <
1.
l:!.k.f
hT
hT
65
n-1
I~ fdx-~ L(sh,
a
Sk+1;
k=O.
=jhr+
n-1 1
1
~ ~ F 7 (u)j< 7 >(6k+hu)du-
1 J
\
x = 31
h=o o
n-1 1
- hr+ 1
~ ~
k=O
h=O
F, (u)
~~!
[ (1- t) 4
4
2
( 1
)
1
3 K4 2 - t - 6 Kd1-t)
1/2
1 \
2--t )3 dt-5
J (i-t) dt J=
du 1 ~
1 [ 1
= 5
jF 7 (u)J
Jj<'>(6,,+hu)-~~/
ldu=
n-1 1
'
~~).
donde
e,=~
hx (~~-~/).d- ~~- 1 /)
(8.3)
~ ~ f (x,
y) dx dy
a e
~ f dx ~ L
o
(f),
~ f dy ~ L1 (f),
(9.1)
don de
m-1
L (f)
-2880 (~;-3
k=O O
- <'> (sk rhek) 1 du~hr+ 1 rhncrKr+t =
(n-r-1)
-- K r+1 r (b- a) erhr+ 1-0
-1
2880.
De este modo, el sumando adicional (8.3) en este caso tiene por expresin
J dt=
\ ( 1
20-3 J
n-1 1
~hr+1~ ~
X1
< .. <
Xm-1
1,
m 1 -1
L1 (f)=
!1
L;
k=O
p,f (y,,),
O~yo<Y1 <
. <Ym 1 -1~1.
67
m 1 -1
~ Pk = j Pi = 1.
k=O
(9.2)
k=O
y) dx dy
~ ~ ~
k=O
O O
(9.3)
la cota superior:
c'=sup 1 ~ cpdx-L(cp),
.. '
4PEml'
f (x, y) dx dy-
O O
k=O
l=O
m-1
+~
~ ~
f (x, y) dx dy-
Pk
(9.4)
f (xk, y) dy-
+~
~ ~
k=O
m-1
Pkf (xk, y) dy
m-1m 1 -1
~ ~ 1 ~ f (x,
I=
O k=O
k=O
1 m-1
O O
1~ ~
fill".
m-1 m 1 -1
=~ ~
l=O
Supongamos ahora que se tienen dos clases de funciones continuas cp = cp (x), definidas en el segmento [O, 1]:
y
=L(O, 1, O, 1; /).
fill'
m- 1 m,-1
~ ~ f (x,
m-1
y)
dx-
Pk (xk, y) 1 dy
k=O
1
1Pk11 ~
k=O
l=O
m 1 -1
f (xk, y) dy-
1~
Pf (xk, Y1)
l=O
m-1
~c'+c" ~
p,. 1
(9.7)
k=O
1
1
~ qidx-L(cp)l~t.
(9.5)
(9.6)
1) Del teorema general del anlisis matemtico sobre la existencia de la cota superior proviene que la cota superior e' existe,
si existe por lo menos un nmero A., para el cual tiene lugar (9.5)
cualquiera que sea <p perteneciente a la clase ml'.
68
o la desigualdad
f (x, y) dx dy-
:~:
PP (x., Y1)
1~
m 1 -1
~e' ~ IP 1+e",
(9.8)
l=O
te frmula de cuadratura
b
~ ~ f (x,
y) dx dy
-1v-1
~ ~ f dx dy- ~ ~
~ L (a, b; e, d; /) =
a e
a e
m-1 m 1 -1
= (b-a) (d-c) ~ ~
b-a
P1tPf (a-t-
L u(/) 1 ~
i=O i=O
m-1 m 1 -1
. k=O
ri1
~ P1iPf (s; +
l=O
+ (ri1+1-ri1) Yz).
Ms abajo se dan algunos teoremas que ofrecen estimaciones de aproximacin de las frmulas de cuadratura construidas de la manera citada.
Teorema 1"". Supongamos que una funcin f (x, y)
tiene derivadas parciales respecto a x de orden r y respecto a
y, de orden s, que satisfacen en el rectngulo a~ x~ b,
e ~ y~ d las desigualdades
ar 1 ~ M'
1 axr
1 as 1
ay ~
N.
J,
~ ~
-1 v-1
Lu(/)=
i=O j=O
( ~i+l
~
1lj+1
~ ~
i=O i=O
)
~ f dx dy-L; (/) =
11j
i=O j=O
fdxdy-
~i
~ ~ f (x, y) dx dy ~ ~ ~ L; 1 (/),
a e
-1 v-1
~ ~
-1 v-1
s;
_, "
IP1il{-v-)
k=O
k=O l=O
+(b-a)x1i, c+(d-c)y1),
..
d-c
m
~(b-a)(d-c) [ crM(--) +Ne.~
(9.9)
O~
~ f (s; +hu,
ri1i
ri1i
+ gv)) 1 ~
o
~
CrMhr,
(9.10)
donde Lu (cp) denota la operacin L que se aplica a la funcin cp, considerada como funcin de u, siendo fijas las
!'estantes variables.
71
Por analoga,
1
b d
1 (
c8 Ng'.
(9.11)
Se debe tener en cuenta que la aplicacin de la desigualdad (4.8) resulta lcita slo a condicin de que las
frmulas (9.1) son exactas para los polinomios de grados
r - 1 y s - 1, respectivamente.
De (9.9)-(9.11) obtendremos (en virtud de la desigualdad (9.7), donde es preciso considerar e' = crMhr, e" =
= csNgs):
b
+Bffi2
~hg~ ~
i=O i=O
'"#flfll
du dv-
o o
1 1
)r
[CrM (-b-a
- +es
+ gv) 1 ~
m-1
"1
LJ IPk IN
d-c
-"-
~ ( 1+ ]
}s]
1
0
rirt- gv))I~
IPkl)wdh),
k= O
i= O j= O
-1v-1
(9.13)
-1 v-1
(d-;c),
~ ~ fdxdy- ~ ~ Lii(f)I ~
(9.12)
-1v-1
,,;; ( 1
(g),
c'=(1+ ~r
k=O
IPkl)w1(h),
c"=(1+ m~r
IPl)w2 (g),
l= O
73
tenemos de (9.9)
b
~ ~
~ ~
f dx dy-
a e
tendremos
L ; (/) 1 ~
i=O i=O
+ B ffi2 (g)) =
1
ffi 1 (h)
+ Bffi2(g),
f (s; +hu, 11 1
donde
= (b-a)
(d-c)
m-1
1 + h~o IPh! ,
B=(b-a)(d-c)(1+
Por analoga,
~~ JpJ)~~0
(9.14)
IPhi
~ ~ f dx dy- ~ ~
a e
-1v-1
:::;;;;hg ~ ~
Lu (/) 1:::;;;;
i =O i=O
1
~ ~
o o
- 1 v- 1
f dx dy-
r (
~ ~
L (/) 1:::;;;;
i = O i=O
:::;;;;(b-a)(d-c)Lcr -b-c
m- 1
)r ffi (-b-a
- ) +
m-1
h~o IPkl)=
- a)
- a )r w ( -b
( -b
- +
(9.15)
k= O
Demostracin. De las condiciones impuestas en la funcin f (x, y) se deduce que la funcin f (Si +hu, 11 +
+ gv) en el cuadrado o:::;;; u, v:::;;;; 1 pertenece segn la
variable u, siendo V fija, a la clase w<r>Hhr
(a, b)
wl, h
donde w1 , h (u) = w1 (hu), y segn la variable v, siendo
(e, d). De este mofija u, pertenece a la clase w<>H
s w2 , g
do, de acuerdo al teorema 3, 6, donde se debe considerar
74
-1v-1
i=O i = O
b
(g)
~ ~
+ gv)) 1:::;;;;
= (b-a) (d-c) [
m- 1
"'1 IPkl
+ es L.J
Cr
(d-c)s
- vffi2 (d
- - c)J
k=O
~ f dx ~ L 2 (/),
c'"= sup
qiE IDI"'
~ <pdx-L2 (<p)
o
m,-1
Z0
k=O
<
Z1
< <
Zm,-1
~ 1.
~ ~ ~ f (x,
y, z) dx dy dz
o o o
m-1m 1 -1m,-1
~ ~
k=O
l=O
t=O
Zt) =
m"'
~ f dx ~ L (/),
f(x, y, z)dxdydz-
o o o
-
k=O l=O
1 1
donde
O O
~ ~
IPkPI
1
Zt)
+c"' ~
k=O
~ IPkPI,
l=O
X2
Xm
~ 1,
sup
~ f dx-L (/)
1,
(10.3)
m-1
k=O
m-1 m 1 -1
<
(10.2)
!EH
t=O
X1
PkPf X
m 1 -1
~ Pf (xk, Yz,
~ ~
k=O 1=0
1
1=0
k=O
76
i~
m-1m 1 -1
m-1 m,-1
Zt)
t=O
f (x, y, z) dx dy-
(10.1)
~ ~ ~
~ ~ ~ ~
De aqu
1
~ f dx-L (/)
sup
JEW~T) (M; 0, 1)
~~
!!!_ ~11
o
donde se ha puesto
Ah.=
(i-W _
r
u; _ _Li
m
f(x) =
,p ~ rn ~ Kr (x -
U1_)
du,
(10.5)
U1_
< uh+t
(10.6)
o~:;>(u)= ~ l..hKr(u-u11.)
h=1
y fijemos nuestra atencin en el caso cuando r = 2. Segn se deduce de la igualdad (10.4), el grfico de la fun-
donde
{
')..,hKr (u -
K 7 (u)=
h.=1
"""t
_Li
h.=1
ur-1,
O,
u~ O,
u<O.
(10.4)
!/
~ f dx - L (!)- ~ F r (t) f
o
(t) dt,
m
-_Li
h= 1
78
f de la clase
PhKr(Xh-t)
w~
r"
UN
.,,_U
fig. 10
rin K 2 (u - uh) representa en este caso una quebrada expuesta en la fig. 10 cuyo ngulo de inclinacin es <p =
-= n/4. Entre tanto, el grfico de la funcin /.,hK 2 (u - uh) representa una quebrada semejante, donde
79
11
2h2Q2
(x-a)
x2
(h2 a2)
- h - =T-ax- 8 - 2 '
1
Q2 (x)=x 2 ---
(10.7)
; h2
1
1 Q2
a-h
x;a )
h
dx=T
J\
1x 2 -
41
h .
dx=T
-1
(10.8)
x-
{l
" ....1 ~
lip
m=t
fig. 11
lit
..
..
.,,
)Ir
lL
a-h
80
x; -Ax-B 1 dx,
h>O,
ax
~h 2 Q 2 (x;), a saber,
+ (h /8
2
- a 2 /2),
(10.9)
Q2 (-1), estos valores coinciden cuando, y slo cuando, h = h 1 . En este caso los coeficientes angulares de las
partes lineales difieren en una magnitud
b - a= 2h.
(10.10)
=
81
"""''
~-~h2=0
+~
v3+2
- r~
v3+2
_r~
u 1 (u-u 1).
(10.11)
k=i, 2, ... , m.
V3 +
-A1u - B% 1 d u =
s
ro~
donde Y1t = A% + B% es la ecuacin del eslabn de la quebrada a<;i. (u) correspondiente al intervalo (u%, u"k+i).
Por otra parte, sea a~~.> (u) una quebrada arbitraria en
la que las abscisas de los vrtices son uh, donde
1,
~ ~2 u~> (u) j du =
1
u.
r~ 2u2 du
uk+J
~
LI
u2
(2)
J1 12
- Um
(u) 1du ~
k=i "'k
uk+l
k= I
uk
~ ~8 +~ ~
4mt 1,
La quebrada a~>* (u), obtenida de este modo y definida en el segmento [O, 1), es precisamente una de las quebradas a~ (u) las cuales tenemos que variar para hallar el
mnimo de la integral (10.5) cuando r = 2. Ms abajo
demostraremos que precisamente esta quebrada a<;i* (u)
reduce al mnimo la integral (10.5) y es la nica quebrada
que posee dicha propiedad.
Um:::;;;Um+l =
82
uk
=6-+2mrom = - 2 - ,
Sea
uk=u 1+2(k-1)h,
~2
u~
u1
V3 rom,
k=I
u!=
*
uk+I
A 1u+B 1 =
~g
+!~
~2 -Aku-Bkldu=
Uk+l; Uk
)3
k= I
m
_ 6
ug
-
+321 LI~
( uk+t-uk ) .
(10.13)
k=I
En este caso la desigualdad que figura entre estas rese convierte en una igualdad estricta slo cuando
J ne iones
l ..
83
en cada uno de los intervalos (u 11 , uk+ 1) los eslabones correspondientes de la quebrada a<;,> (u) realizan la mejor
.aproximacin en media de la parbola u 2 /2.
Con el fin de estimar el segundo miembro de (10.13)
por debajo, hemos de encontrar su mnimo entre todos los
u 0 , u 2 - u 1 , , Um+ 1 - Um posibles que satisfagan la
igualdad
+ k=1
~ (uk+t -uk) =
1.
(10.14)
f dx - L (/) 1 =
~ f dx-L* (/)
wJ 2>(M;
0,1)
Mro;h
-2-
(10.16)
x:
k=1
x:
~ * = A 1 = y3
.
y+ 2 U1* = (2 + lV-3) Wm
"'1
11
Ml3ro
~ fdx-L*(f)=~,
2
mx
(10.17)
/ewt2>(M; 0,1)
(O <
L(f)
1\
1
.. -.....
mx
mx
u0
mn
f (O) =
p~=(2+ Jf3)ffim,
( 10.18)
85
84
__l ._
As pues, si deseramos aprovechar la frmula obtenida para la funcin f (x) que no satisface la condicin
(10. 18), tendramos que desarrollar previamente f (x)
por la frmula de Taylor en el entorno de x = O:
~ f dx ~ ~ Pkf (xk)
-1
k=e-m
~ fdx~ ~
hf(sk),
(10.19)
1)
-1~ X-m
.+ 1 nudos
con 2m
< <
k=-m
k=2.
Xo
< <
Xm~ 1
.( 2 >su~
fEW
(M, -1, 1)
fdx-
-1
k=-m
kf(sk)I =Mw';,..
Demostracin. Si una frmula de cuadratura no es exacta para todos los P 1 (polinomios de grado 1), entonces para ella (vase 4) la cota superior en consideracin es
igual al infinito. Por eso, resulta suficiente examinar toda clase de frmulas de cuadratura del tipo (10.20) que
sean exactas para P 1
Tenemos (f (O) = 01)
~
sup
/iEW~(M;-1,1)
fdx-
-1
xo
De este modo, esta nueva frmula de cuadratura, definida ahora para el segmento [ -1, 1], est obtenida por
simetrizacin de la antigua y adicin de un nudo so =
= O. Con ello 0 est elegido de tal modo que se verifique
(10.20)
h=-m
-1
sup
Pkf(xh)
k=-m
x 1)
P1if(xk)I=
-1
~ f 1 dx- ~
+ /2EW~:(M;
sup
k=-m
~ f 2 dx - ~
xo
I+
k=1
Pk 2 (xk) j ~
~ (xo+i)t(i-xo) 3 Mw~~Mro;..
(10.21)
87
~ ~I
2J
P1i= 1
~ ~
f dx
P1if (xm)
x_ 1
<
f1 (x) = f (x), -1 ~ x~ x1 ,
f2 (x) = f (x), x 1 ~ x~ 1.
Razonando igual que en la demostracin del teorema
Xm~ 1
1nv< 2><M;
1
-1, 1)
~'
f dx-
-1
Xt
j~
fiEW~{(M;-1,x)
f 1 dx-
X, 1)
P1if 1 (xk)
/+
1 ~ f 2 dx-
sup
f2EW~l)(M;
k=-m
-1
P1if(xk)I=
k=-m
-1
sup
~ ~ (x 1 +1) 3 w;,,
y pesos Pk la frmula
x1
(10.25)
(V3+ 2 (2m-1n-1.
Xm=
(10.22)
k=-m
-1
sup
k=-m
-1
1 ~ f dx -
sup
-1, 1).
1
/EW( 2 )(M;-1,1)
k=-m
~ Pkf2(xk)1~
k=2
x1
+ ~ (1 -x
1} 3
w;,,_ 1 =
'ljJ
(x 1 )~ Mx~.
(10.26)
~ f dx ~ ~'
vkf (r,i.),
(10.23)
k=-m
-1
(x1
o bien
donde
k = 1, 2, .. ., m,
vk = 4xm, k = 1, 2, ... , m - 1,
(10.24)
-lJ-k = lJk
Vm
= (4k -2)
= (2
Xm,
+ V3}
+ 1)
(x1
2 w~
+ 1)
+ (1 -
= O,
X} ffim-1
+)
lJt =
88
Wm
x 1 } 2 w~_ 1
Xm,
(1 -
Wm-1-Wm =2Xm
Wm-1 +wm
M
Xm
1 ~ '11-m
< <
'11-1
<
'111
< <
'llm
-< 1
~ f dx~{-u<-1)+4/(0)+f(1)}
vm,
h' Vk=2,
k=-m
la cual ha de verificarse, puesto que nuestra frmula de
cuadratura debe ser exacta para funciones lineales, en
particular, para la funcin f(x)
1.
Los clculos muestran (vase (10.15)) que
-1
==
teniendo presente que r 1 = 2xm, obtenemos las primeras igualdades (10.24). Luego (vase (10.15)),
Vk=4lm_1(1-r 1)=4Xm, k=2, 3, ... ,m-1,
V1i=4rom(1+r 1)=4Xm, k= -(m-1), ... , -1,
Vm
= (2 +
-1
V1=290
k=-m
Vk-
~ V11.=4Xm
k=2
- 3+4
~ /dx~+[f(-1)+2/(0)+/(1)]
-1
con tres nudos. Ella proporciona la medida de aproximac in para la clase W< 2>(M; -1, 1), igual a 1/6 (la constante c 2 = 1/12 para la frmula de los trapecios ms simple
(vase 5) ha de ser duplicada).
El problema examinado (para r = 2) en el caso de
r > 2 arbitrario no est resuelto.
Cuando r = 1, el problema se reduce a la determinacin del mnimo de la integral
1
k=i
~\u-~ A-11.Ki(u-uk),du=~
iu-aiAl(u)idu,
o
91
donde
1,
Kt<u)= { O,
u>O,
Se trata, pues, de Ia mejor aproximacin en media sobre el segmento [O, 11 de la funcin con auyda de las funciones escalonadas a~ (u) con puntos arbitrarios de discontinuidad u1 , u 2 , , um, es decir, de tales funciones que
en cada intervalo (O, u1 ), (u1 , u 2 ), , (um, 1) toman un
valor constante; adems, sobre el intervalo (O, u1 ) este
valor constante es igual a cero. Por consiguiente,
O, O<u<u 1 ,
a;.> (u)= {
ck,
uo
~ 1u-a\.:,>(u)1 du= ~
O
udu+
k=1
~~6+~ ~/u2
+"'L.Jm
A.%= . . _2 ,.
2k
"'
m
t dx ~
~ vkf (sk),
(10.29)
k=-m
-1
si suponemos
u1+ ~ (uk+1-uk)=1.
k=i
92
Uk)2
a condicin de que
u%=
(10.28)
k=i
2 <~:::-~>,+ 1 ,
( 10.27)
k=l
"""2 (2m+1)"
(Uk+l -
k= 1, 2, ... , m,
k=i
~+
2
L.J
k= 1, 2, ... , m,
Pk= 2m+ 1 ,
(Uk+1-Uk) 2 _ _1
4
y, por fin,
du~
ldu =
u%~u~u%+t.
De aqu tenemos
uk
Uk+Uk+l
uk
k=i
1u-ck1
uk+1
_ ug
~ -~
{ __-'!:!!.
Xk=<>-i,
uk+l
O~u~~'.,
2m+1
um+1=1
a~~ (u)=
uk <u< uk+t
o,
u<O.
k = 1, 2, ... , m,
'Vk
= 'V_k = Pk =
2
2m+ 1 ,
-'::i-k
t
*
= '::ik
= Xk,
k= 1, 2, ... , m,
2
'Vo= ')~_L4
'
~o=.
93
~- t
~ Vk=2.
k=-m
~ f dx ~ ~
-1
(10.30)
Pk (xk),
k=- m
m-1
1
(1-t)2
""
L:.J PkKr(xk-t)
lq dt, p-+q-=1,
1
1
k= O
m- 1
m- 1
= 1
y~ PkXlt
k-0
mento [O, 1). Ahora este problema se resuelve emfleando las propiedades de un polinomio (de segundo grado, en e caso dado) que
tiene la mnima desviacin respecto al cero en la mtrica Lp (vase
16).
En la mtrica L 2 el problema semejante fue resuelto por
Yu.Ya. Dornin [5] .
94
~ f (x) dx ~ ~
O
(11.1)
P11.f (k)
k=O
con nudos x11. = k (k =O, 1, ... , m) que dividen el segmento [O, m] en partes iguales. Supongamos esta vez que
las funciones f (x) pertenecen a la clase w~+o (M; O, m)
(vanse los prrafos 2, 4).
Si la frmula de cuadratura (11.1) es exacta para los
polinomios de grado n, entonces tiene lugar, en virtud de
(4.14), la siguiente estimacin exacta
sup
1ewin+1J(M'O
'
1
,m)
JfO fdx-L(/)1m
12
dt
)1'
(11.2)
o
donde
m
1 [ (m :---- t)n+l
n+i
"'1
L'..J PkKn+t (k-t)
J,
k= O
s+i =
~ Pkk 8 ,
s=O, 1, ... , n.
(11.3)
k=O
95
,....
::
~ f (x) dx ~
o
32
26
(11.4)
~ 1 !" (x)
12
dx) 112
~M,
(11.5)
Pm-k
[f (O)+ f (4)]
+23ff(1)+f(3)J+28f(2).
Pk
;!
no es superior a
M
105
= M 0,009524.
(11.6)
+f(3)J+0,92f(2).
(11.7)
El error de aproximacin proporcionado por la frmula (11. 7) para la funcin f (x), que tiene sobre el segmento [O, 4) la derivada f" (x) que satisface la desigualdad (11.5), ya se evala como la magnitud un poco mayor
(M 0,009533) que se diferencia, sin embargo, de la
magnitud (11.6) slo en el 0,1 %.
96
7- 0864
97
Tabla 3
Tabla 3 (continuaci6n)
m 1 c0 A
1 c 1A
c3 A
1 c,A
sup
=
11 /(n+l)
11
=Jmn
mi
Co
1 c,A
L, (0, m),;:;; 1
h=O
1 c A
3
Pm = Cm
Jmn
n=O
~- &: :~
1 1
1 112 =0,083333
21
2 1
2
1 12 = 0 , 166667
3 1
2 1
3
2 l 12=0 ,25
21
11
41
.1
31 18190 =0,000529
31
31
91
11
81 8960 =0,001228
41
211
761
461
11
601 12600 = 0,000873
5 1
1121
3791
2891
73
3121 69888 =0,001045
6 1
551
1921
1321
11
1551 10850 =0,001014
1121
n=3
2 1
11
41
1
31 9072 =0,000110
3 1
31
91
13
81 17920 =
41
2 1
2 1
51
2 1
5
1 12 = 0,416667
51
6 1
2 1
2 1
6
112=0,5
6 11082811144099461222504314304484132900141
41
23491
99321
44301
293921 1102091
768191
o' 000725
6557
72481 36529920 = o' 000179
4
1 12=0,333333
Jmn
n=2
p=C,
Po= co,
1 c,A
61633
1 865681 193912320 - 0,000318
92~12~;720 =
o' 000228
n=i
Tabla 4
1 1
2 1 120 =0,008333
21
10 1
31
11
10
1
1 105 =o' 009524
1
41
11
32
26
28
51
15
43
37
38
41
61
100
1118
l 160=0,00625
J mn
1~0 =0,008333
4~6
Jmn
Desviacin
m c 0 A c,A
c,A
c,A
Jmn
= 0,010965
=0,012340
1106 1104 1 6240
77
4 1 39 1 115 1 92
100 1
n=1
143
H
rn~
=o, 009533
0,10
1
98
7*
99
111111 !1
Tabla 4 (continuacin)
Desviacin
de Jmn respecto a Jmn
en %
~
m c0
c,
c,
Ca!i
5 40
112
98
100
6 40
112
98
100 100
51 43
I 148 I 111 1
Jmn
1 1201
11
103 =0,011
0,32
31
25102 =0,0124
0,49
n=2
79
75610 2
0,001045
;6 =0,001014
77.11
4 1 97 1 412 1 182 I
n=3
10193
567105 =o ,000180
0,04
0,003
112001
0,15
0,06
0,003
1,85
3,52
k=O
donde
,
C,=
(b-a) k
m
100
b-a
X=a+--k
k=O, 1, ... , m,
sup
1 \
(n+!)
fEW L 2
(M: a, b)
11 F n+1 llL,(a,
b)=
b-a )n+2-1/2
( -----,-
11Fn+i11 L (0, m)
2
1i54043
0,000318 1
36288105
31923
0,000228
61329113411 61511310110001
1
10 107
46987
0,000324 1
5 1 81 1 307 I 2121
1 240 1 145152103
1487
0,000236
613311341 67113211001 63105
1
514071152911064 I
correspondientemente
mejor
para
la clase
b) con los nudos fijos xt. Adems, en virtud de la desigualdad (6.17), donde se debe poner n = 1
(n tiene otro sentido all), la estimacin
Wi~+>(M; a,
6135511238 I 85311108110001
1 3001
es
'
m-1
~ f dx ~ ~ ~
O
(12.1)
k=O l=O
101
111
donde P11.z son nmeros dados (los pesos), x11., los puntos
dados que satisfacen la condicin
O~x0 <x 1
~ fdx-L(f)= ~ R 7 dx-L(R 7 )=
<xm-1~1.
m-1
~ fdx~
!, ~
o o
k=O l=O
1
(12.2)
1
\ \ (x-er- 1 dx<r- 1>(t)dt(r-i)I J J
o t
1 m-1
-7 ~
suponiendo
~ ~ A~l)K 7 _z(x11.-t)f<r>(t)dt=
O 11.=0 !=O
P11.z=(r-l-1)1
r!
&: ::i.
J\ J\ K r (x-t)f<r>(t)dtdx-
(r-1)1
-7 ~
~ A~>(r-l-1)!/U>(xk)=L(/),
- 1-
m-1
k=O l=O
o
1
')..,,(!)
=~
o
m-1
"" 1!
xl /U> (O)+ Rr (x) = P r-dx)
f (x) = LJ
!=O
donde (vase (3.4))
+ Rr (x),
Rr(X}=
lr~Hl ~ K 7 (x-t)f<r>(t)dt.
o
_,1__ rn ~
K 7 _(x-t)f<r>(t)dt.
~ ~ 'A~l)K 7 _z(x11.-t)J.
F 7 (t)=fi-[(1-t)7-
r-1
(12.3)
donde
R~l)(x)=
(12.4)
11.=0 !=O
Se ha obtenido una igualdad exacta que expresa la
estimacin de aproximacin de la frmula de cuadratura
para la funcin dada f (x) que tiene en el segmento [O, 1)
la derivada de orden r. Esta igualdad es sumamente anloga a la igualdad correspondiente (4. 7) la cual es su
caso particular cuando p = O, si se toma en consideracin
que rpko = A,<~>. Esta particularidad significa que para
la frmula de cuadratura ms general que se analiza
tambin pueden obtenerse los resultados anlogos a
aquellos que se l:ian expuesto en el 6, 7.
La frmula de cuadratura
o
b
m-1
k=O l=O
103
correspondiente al segmento [a, b) (y semejante a la frmula (12.1)) tiene nudos xk. dispuestos en [a, b) geomtricamente de un modo anlogo a la disposicin sobre
el segmento [O, 1) de los nudos xk de la frmula (12.1).
En lo que se refiere a los pesos Pkl estn relacionados
con Pkl mediante las correlaciones
Pi1 = h 1+1Pkz.
m-1
,.11.11
Sk
=a+
b-;:
k,
(12.5)
k= O
Ym-1
donde p0 , p1 ,
104
Yi
(P1)
<I)
'
(t)
Y1
'
y<Pm-1>
, Pm-l
p(l>(xk)=Yk,
n (X -
m-1
Xk)Pk+l
k=O
de (n
1)-simo grado, lo que es posible slo en el caso
de que Q (x)
o.
Comprobando directamente podemos convencernos de
que el polinomio P (x), que resuelve el problema planteado, puede escribirse en la forma siguiente
m-1 Pk
(13.1)
k= O l = O
donde
{(x-xk) p k+1 } Pk -l
A (x)
Pk1(x)=
l! x-xk
A(x)
)Pk+1-I
m-1
A(x)=
II
(x-xk
(xk)'
(13.2)
)p k + 1 ,
k= O
k=O, 1, .. . ,m-1,
Para convencerse de esto hay que tomar en consideracin que el polinomio Pkl (x) est elegido de una manera
tal que tenga la potencia n y satisfaga las condiciones
donde
m-1 Pk
q>
(a)
(13.4)
1 = cp (x)
~a
Pk
= P (x),
(13.5)
donde
m-1 Pk
(13.6)
a
1 ) Esta frmula tiene carcter un tanto ms general que la
examinada en el 12, donde Po = p1 = ... = Pm-1 = p.
106
~ / dx,..., L 1 (/),
cu~nto
+ P1 + .. + Pm- + m
<p (x)
f (x),...,
(13.8)
= Po
(13.7)