PROPIEDADES DE LA TRANSFORMADA

1.- La transformada inversa de LaPlace es un operador R-Lineal :

L1 F1 F2 ( t ) L1 ( F1 ) ( t ) L1 ( F2 ) ( t )

DEMOSTRACIN :

Admitimos que la transformada es un operador R-Lineal.

L f g L ( f ) L ( g ) ,

La demostracin es segn la definicin :

L f g ( s) e s t [ f ( t ) g (t )] dt e s t f (t ) dt e s t g (t ) dt
0 0 0

e s t f (t ) dt e s t g (t ) dt L( f )( s) L( g )( s)
0 0

Hacemos un cambio de notacin :

L( f ) F L( g ) G
L( f g )( s) L( f )( s) L( g )( s) F ( s) G ( s)

Aplicamos la transformada inversa a los dos miembros y nos queda :

L1 ( L( f g )( s))(t ) L1 [ F ( s) G ( s)](t ) Hacemos clculos :

f g L1 [ F ( s) G ( s)](t ) Hacemos el cambio de notacin :

L( f ) F f L1 F
Se sustituye :
L( g ) G g L1G
L1 ( F )(t ) L1 (G )( t ) L1 [ F ( s) G ( s)]( t )

2.- CAMBIO DE ESCALA :

1 1 t
L1 ( F ( Ks))( t ) L (F)
K K
Partimos del cambio en forma directa :

Sea g:[0, ) una funcin tal que :

g (t ) f ( at ) con a>0
1 s
L( g )( s) L( f ) Se dice que g es un cambio de escala de f
a a

DEMOSTRACIN :

1

*
L( g )( s) e
0
s t
g ( t )dt e
0
s t
f ( at ) dt Hacemos el siguiente cambio de variable :
u
du * s du 1 s au 1 s
at u dt e a
f (u) e f (u)du L( f )
a 0
a a0 a a
Si t 0 u 0
t u

Realizamos ahora el siguiente cambio de notacin : L( f ) = F

1 s
Tenemos L( f (at ))( s) L( f ) Aplicamos la transformada inversa en ambos
a a
miembros :

1 s 1 s
L1 ( L( f (at ))( s))( t ) L1 L( f ) (t ) f ( at ) L1 F (t )
a a a a

Hacemos un nuevo cambio : 1/a = K

t
f KL1 F Ks ( t ) Deshacemos el cambio de notacin L(f) = F f = L-1 (F)(t)
K
y sustituimos :

1 1 t
L1 ( F ( Ks))( t ) L (F)
K K

3.- PROPIEDAD DE TRASLACIN.

L1 ( F ( s a ))( t ) e a t L1 ( F )(t )
Partimos del cambio en forma directa. La propiedad de traslacin nos da :
L( e at
f )( s) L ( f )( s a )

DEMOSTRACIN :

L(e f )( s) e
at s t
e f ( t ) dt e ( s a ) t f ( t ) dt L( f )( s a )
at

0 0
Hacemos un cambio de notacin : L(f) = F. Nos queda
L( e f )( s) L( f )( s a ) F ( s a ) Aplicamos la transformada inversa a los dos
at

miembros de la igualdad.
L1 ( L(e a t f )( s))( t ) L1 ( F ( s a ))( t ) e a t f (t ) L1 ( F ( s a ))(t ) Deshacemos el
cambio f = L-1(F) e a t L1 ( F )( t ) L1 ( F ( s a ))( t )

4.- MULTIPLICACIN POR T.

dKF
L1 ( t ) ( 1) K t K L1 ( F )(t )
ds K

2
DEMOSTRACIN :
Partimos del comportamiento de la transformada de la multiplicacin por t.
K
K d
L(t f )( s) ( 1)
k
[ L( f )( s)] . La demostracin es :
ds K

L( f )( s) e s t f (t )dt Derivamos con respecto a s :

0

d
[ L( f )( s)] ( t ) e s t f ( t )dt t e s t f (t ) dt L( f t )( s) Porque derivar respecto
ds 0 0

de s es equivalente a derivar parcialmente dentro.

d
L( f t )( s) [ L ( f )( s)]
ds
Realizamos la demostracin por induccin :

d
K 1 [ L( f )( s)] L( f t )( s)
ds
d
L( f t )( s) [ L( f )( s)]
ds

Por la hiptesis de induccin : Caso K-1

d K 1
K 1 L ( t K 1 f )( s) ( 1) K 1 [ L ( f )( s)]
ds K 1

En el caso general, para K

d d d K 1
K L( t f )( s) L( t t
K K 1
f )( s) L(t f )( s) ( 1)
K 1 K 1
K 1
[ L( f )( s)]
ds ds ds
dK
( 1) K [ L( f )( s)]
ds K
Hacemos el cambio de notacin L(f) = F

dK dK
L( t K f )( s) ( 1) K [ L ( f )( s )] ; L ( t K
f )( s ) ( 1) K
F ( s)
ds K ds K
Aplicamos la transformada inversa a los dos miembros de la igualdad :
dK
L1 ( L( t K f )( s))(t ) L1 ( 1) K K F
( s) ( t )
ds

Si operamos :
dK
t K f L1 ( 1) K K F ( s) (t )
ds
Deshacemos el cambio de notacin : L(f) = F f = L-1F

3
 dK
t K L1 ( F ( s)) L1 ( 1) K K F ( s) (t ) Como K ( 1) K ( 1) K y tenemos :
ds

dK
t ( 1)
K K
L ( F ( s)) L K F ( s) ( t ) ( 1) K t K L1 ( F ( s))
1 1

ds

L1 F (t )
5.- L1

s
F ( u ) du

( t )
t

DEMOSTRACIN :
Partimos del comportamiento de la transformada ante la divisin por t.

1 f (t )
L f ( s) L( f )(u) siempre que lim sea finito.
t s
t 0 t
Lo demostramos :

f (t ) s t f (t ) est *
L ( s) e dt f (t )dt
t 0
t 0
t

e u t e u t e s t est
Hacemos e u t
du u lim
s s u t t t
* u t
e du f (t )dt Aplicamos Fubini (intercambiamos el orden de
0 s

integracin)

e u t f (t )dt du L( f )(u)du Hacemos el cambio de notacin L(f) = F

s 0 s

f (t ) f (t )
L
t
( s) s L( f )(u)du L t ( s) F (u)du
s

Aplicamos transformada inversa a los dos miembros :

1 f (t )
L L ( s) ( t ) L F (u)du (t )
1
t s
f (t )
L F (u)du (t )
1
t s
Deshacemos el cambio anterior : L(f) = F f = L-1F
F (t )
L F ( u) du ( t ) L1
1

s t

7.- COMPORTAMIENTO ANTE EL OPERADOR DERIVADA.

DEMOSTRACIN :
Si f es una funcin de clase C k y D es el operador derivada respecto de t, se tiene
que :

4
 K 1
L( D K f )( s) s K L( f )( s) s j D K 1 j f (0)
j 0

L( D f )( s) s L( f )( s) D K 1 f (0) s D K 2 f (0) s K 2 Df (0) s K 1 f ( 0)

K K

En particular : L( f )( s) sL ( f )( s) f (0)
DEMOSTRACIN :

d df d2 f d n) f
Sea D Df f (t ) D 2 f 2 f (t ) D n) f n) f n) (t )
dt dt dt dt
K 1
L( D K f )( s) s K L( f )( s) s j D K 1 j f (0) Lo demostramos por induccin sobre
j 0

K:
Para K=1

L( Df )( s) L( f )( s) sL( f )( s) f (0) L( f )( s) e s t f (t )dt Integramos por

0
partes :
u e s t du s e s t dt dv f (t )dt v f (t )

e s t f (t ) 0 s e s t f (t )dt f (0) s e s t f ( t )dt sL( f )( s) f ( 0)

0 0

Hiptesis de induccin : suponemos cierta la frmula para K-1

K 2
L( D K 1
f )( s) s K 1
L( f )( s) s j D K 2 j f (0)
j 0

Para el caso general, hacemos el cambio g D K 1 f ; D K f Dg g

L( D K f )( s) L( g )( s) sL( g )( s) g (0)
D K 1 f g
Hemos hecho
D K f Dg g

Deshacemos el cambio, donde pone g ponemos D K 1 f

K 2
L ( D K f )( s) sL ( D K 1 f )( s) D K 1 f ( 0) s s K 1 L ( f )( s) s j D K 2 j f (0) D K 1 f ( 0)
j0
K 2
s K L ( f )( s) s j D K 2 j f ( 0) D K 1 f (0)
j0

Esto es lo que he obtenido aplicando la hiptesis de induccin. Tenemos que ver

si es igual o no a lo que tenemos en la definicin dada en el enunciado, o sea, si
K 2
L( D K f )( s) sL( D K 1 f )( s) D K 1 f (0) s s K 1 L( f )( s) s j D K 2 j f ( 0) D K 1 f (0)
j 0
K 1 K 2
s K L( f )( s) s j D K 1 j f (0) s K L( f )( s) s j 1 D K 2 j f ( 0) D K 1 f (0)
j 0 j 0

Vemos que lo que incluyen ambos sumatorios no son iguales por lo que tenemos
que manipular el de la segunda expresin para ver si la podemos dejar igual a la primera.
K 2

Tenemos s j 1
D K 2 j f ( 0) D K 1 f (0) .
j 0

Llamamos j+1 = i j = i-1 Si j = 0 i = 1 Si j = K-2 = K-2+1 = K-1.

5
La expresin anterior nos queda :
K 1
s K L( f )( s) s i D K 1 i f (0) D K 1 f (0) Vemos que todava no son iguales :
i 1
K 1
sD i K 1 i
f (0) D K 1
f (0) s i D K 1i f (0)
i 0
Introduciendo el ltimo trmino en el sumatorio tenemos :
K 1
L( D K f )( s) s K L( f )( s) s i D K 1i f (0)
i0

8.- L1 ( F G ) L1 ( F ) L1 (G)

DEMOSTRACIN :

Partimos de la transformada de LaPlace del producto de convolucin que es el

producto de las trasformadas, es decir :
L( f g ) L( f ) L( g )
El producto de convolucin de dos funciones se define :
t

( f g )( t ) f (u) g (t u) du
0

En general, ste producto est definido en el intervalo ( , )

t

( f g )( t ) f (u) g (t u) du

en nuestro caso se reduce a : f (u) g (t u) du
0

suponiendo que f y g se prolongan por cero para valores negativos de las variables, es
decir :
f (t ) g (t ) 0 si t 0

( f g )( t ) f (u) g (t u) du

La separamos en tres partes :
0 t

f (u) g ( t u) du f (u) g (t u) du f (u) g (t u) du
0 t

Analizamos dnde vara u e cada integral :

1.- u ( ,0) u 0 f (u) 0 por el convenio que dice que las funciones se prologan
0

por cero para valores negativos de la variable : f (u) g (t u) du 0

2.- u (t , ) u t (t u) 0 g (t u) 0 por la misma razn que en el caso anterior

f (u) g (t u) du 0
t
t

Por lo que nos queda que : ( f g )(t ) f (u) g(t u) du

0

El producto de convolucin est definido por f (u) g (t u) du

expresin

doblemente impropia (hay que hacer un doble lmite por pertenecer al intervalo ( , )
), esto se convierte en una expresin finita y convergente, porque se integra e un
t

intervalo finito f (u) g (t u) du

0

Nos ha quedado la siguiente expresin :

t

( f g )(t ) f (u) g (t u) du f (u) g (t u) du

0

Demostramos la frmula :

L( f g )( s) e s t ( f g )( t ) dt = (se puede alargar la funcin, porque en el intervalo

0
( ,0) se anula por convenio)


s t
e

s t
( f g )(t ) dt e

s t
f (u) g (t u)du dt

f (u) e g (t u)dt du

Primero hemos puesto el valor del producto de convolucin y despus hemos aplicado
Fubini.

Ahora hacemos el cambio : t - u = v t = u + v Si t = - , v = - Si t = , v =

dt = dv

s u
s u s v
f ( u) e g (v )dv du f (u) e e g (v )dv du


s v
e s v g ( v ) dv du
f ( u) e

s u
e g (v )dv du

f (u) e

s u




****
0

**** e

s v
g (v )dv e

s v
g (v )dv e s v g ( v ) dv 0 L ( g )( s)
0

f ( u) e

s u
L( g )( s) du L( g )( s) f ( u) e s u du

**
0

** e s u f (u)du

e s u f (u)du e s u f (u)du 0 L( f )( s)
0

L ( g )( s) L( f )( s)
L( f g )( s) L( f )( s) L( g )( s)
Hacemos el cambio L(f)(s) = F y L(g)(s) = G L( f g )( s) F G
Aplicamos la transformada inversa : L1 ( L( f g )( s))(t ) L1 ( F G )
f g L1 ( F G ) Deshacemos los cambios f = L-1F g = L-1G

L1 ( F G ) L1 ( F ) L1 (G)

7
9.- TRANSFORMADA DE LAPLACE DE UNA FUNCIN PERIDICA.

Si f(t) es una funcin peridica de periodo T, se tiene que

T
1
L( f )( s)
1 e s T e0
s t
f (t )dt

DEMOSTRACIN :
Si f es una funcin peridica de periodo T, esto quiere decir, f( t + T) = f(t).
Siempre que se le sume a la funcin un mltiplo entero de periodo, la funcin no vara.
Consideramos la condicin de periodicidad f( t + T) = f(t), f( t + nT) = f(t) con
n.
El objetivo es calcular la transformada de LaPlace con stas caracterstica. Por
definicin, la transformada vale :

L f ( s) e s t f (t ) dt Dividimos el intervalo (0, ) en infinitos intervalos de longitud

0
T 2T 3T

T: e
0
s t
f (t ) dt e
T
s t
f (t ) dt e s t f (t ) dt Hemos obtenido una serie de
2T

infinitos trminos que valen lo mismo entre s.

La exponencial no es peridica y tenemos que hacer una transformacin para
pasar del intervalo [T,2T] a [0,T].
Efectuamos un cambio de variable :
t = u +T u = t -T du = dt Si t = T t = u +T u = 0
Si t = 2T 2t = u +T u = T
El cambio en la expresin queda :
2T T T T

e s t
f (t ) dt e s ( u T )
f (u T ) du e s u
e s T
f (u T ) du e s T
e s u
f ( u T ) du
T 0 0 0
T

Hacemos I e s u f (t ) dt
0

Hemos obtenido que la segunda integral vale e s T I

Vemos que el segundo miembro de la serie lo hemos cambiado por otro trmino
que va multiplicado por un factor. El factor es debido a que la exponencial no es
peridica.
Hacemos otro cambio de variable para pasar del intervalo [2T,3T] al [0,T] .
Cambio de variable : u = t -2T t = u +2T
Si t = 2T u = 0 Si t = 3T u = T
3T T T T

e s t f (t ) dt e s ( u 2 T ) f (u 2T ) du e s u e s2 T f (u 2T ) du e s2 T e s u f (u) du
2T 0 0 0
T 3T

I e s u f (t ) dt e s2 T I e s t
f ( t ) dt
0 2T

Se procede igual en todos los trmino y nos queda una serie de la siguiente forma :

L( f )( s) e s t f (t )dt I Ie s T Ie 2 s T ..... I (1 e s T e 2 s T ...)

0

1
Hemos obtenido una serie geomtrica de primer trmino a1 y de razn r e s T 1
est

8
 a1 1
La serie es convergente. La suma de la serie vale :
1 r 1 e s T
T
1
L( f )( s)
1 e s T e
0
s t
f (t )dt

Esta es la frmula de la trasformada de una funcin peridica. La transformada

converge siempre y no hay ningn sitio donde sea impropia.

TEOREMA DEL VALOR INICIAL

lim f (t ) lim sL( f )(s)

t 0 s

Suponemos que se puede aplicar la frmula de la derivada

L ( f )( s) e s t f (t ) dt sL ( f )( s) f (0)
0

Hacemos el lmite cuando s y suponemos que todo converge.

0 lim ( sL( f )( s)) f (0)

lim e s t
f ( t ) dt lim ( sL ( f )( s)) f ( 0) ;
s 0 s s

0 por ser convergente

f (0) lim sL( f )( s) Suponemos que f es una funcin continua, por ser derivable en
s
la suposicin inicial. Slo est definida para valores positivos de la variable.

lim f (t ) lim sL( f )(s)

t 0 s
TEOREMA DEL VALOR FINAL.

lim f (t ) lim sL( f )(s)

t s 0
Suponemos que se puede aplicar la frmula de la derivada.

L ( f )( s) e s t f (t ) dt sL ( f )( s) f (0)
0

Hacemos el lmite cuando s0.

lim e s t f (t )dt lim ( sL( f )( s) f (0)) ;

s 0 s 0
f (t ) lim sL( f )( s) f (0)
s 0
0 0

f (t ) lim sL( f )(s) f (0)

0
s 0
Aplicamos la regla de Barrow.

9
 f () f (0) lim sL( f )( s) f (0) f () lim s L( f )( s)
s 0 s 0

lim f (t ) lim s L( f )( s)
t s 0

MTODO DE ADAMS-BASHFORT DE ORDEN 2

Correspondiente al caso r = 1 ; el algoritmo se obtiene aplicando la expresin :

tn 1

y n 1 y n P (t )dt
tn
1 siendo P1(x) el polinomio de interpolacin de Newton asociado a

los puntos (t n ,f n) , (t n-1 ,f n-1)

f n f n 1
As pues P1 (t ) f n (t t n ) . As pues si integramos este polinomio :
h
tn 1
f n f n 1
f
tn
n
h
( t t n ) dt (por las propiedades de la integral)

tn 1 tn 1 t
f n f n 1 f f n 1 ( t t n ) 2
n 1

(t t n )dt f n t tnn 1 n f n t n 1 t n
t
f n dt
tn tn
h h 2 tn
f n f n 1 ( t n 1 t n ) 2 ( t n t n ) 2
h
h 2 2

donde h es la longitud de paso entre un instante t n y t n+1 , es decir t n+1 - t n = h , por lo

que la expresin queda :
t t t
f n f n 1 f n f n 1 (t t n ) 2 f n f n 1 h 2
n 1 n 1 n 1

n t h n t
t
f dt ( t t n ) dt f t
n 1
f n h
t
n n
h 2 t
n
h 2
n

2 2
f nh f h f h f h 3 1 h
f nh n 1 f n h n n 1 f n h h f n 1 3 f n f n 1
2h 2h 2 2 2 2 2
Con esto , el mtodo de Adams - Bashfort de orden 2 queda :
tn 1
h
y n 1 y n P1 (t ) dt y n 3 f n f n 1
2

tn

MTODO DE ADAMS-BASHFORT DE ORDEN 3

Correspondiente al caso r = 2 ; El algoritmo se obtiene aplicando la expresin

tn 1

y n 1 y n P (t )dt
tn
2 siendo P2(x) el polinomio de interpolacin de Newton asociado a

los puntos (t n ,f n) , (t n-1 ,f n-1) , (t n-2 ,f n-2)

f f n 1 f 2 f n 1 f n 2
As pues P2 (t ) f n n (t t n ) n (t t n )(t t n 1 ) .
h 2h 2

10
 Si integramos este polinomio y sustituimos en la frmula primera, llegamos a
obtener el mtodo de Adams - Bashfort de orden 3. Para integrar ste polinomio
utilizaremos el mtodo de Simpson compuesto.
ba
n par h
2h

h n 1 m
I f (a ) 2 f ( x 2 j ) 4 f ( x 2 j 1) f (b)
3 j 1 j 1
tn 1
t n 1 t n
P (t )dt
2
6
P2 (t n ) 4 Pn (m) P2 (t n1 )
tn

P2 (tn) = fn

f n f n 1 f 2 f n 1 f n 2
P2 (t ) f n (t t n ) n (t t n )(t t n 1 )
h 2h 2
f f n 1 f 2 f n 1 f n 2
fn n h n h 2 h 3 f n 3 f n 1 f n 2
h 2h 2

f n f n 1 f 2 f n 1 f n 2
P2 (m) f n (m t n ) n (m t n )(m t n 1 )
h 2h 2
f f n 1 h f n 2 f n 1 f n 2 h 3h 15 f n 10 f n 1 3 f n 2
fn n
h 2 2h 2 2 2 8
tn 1
h 15 f n 10 f n 1 3 f n 2
t P2 (t )dt SIMPSON 6 f n 8
3 f n 3 f n 1 f n 2

n

h 2 f n f n 10 f n 1 3 f n 2 6 f n 6 f n 1 2 f n 2 h

6 2 12 23 f n 16 f n 1 5 f n 2

PREDICTOR - CORRECTOR

Obtener un mtodo predictor - corrector que de como frmula predictora un

mtodo multipaso con p = 3 y r = 2, y como frmula del tipo :
tn 1

y n 1 y n 2 P (t )dt
tn 2
1

SOLUCIN :

11
 tn 1

Sabemos que la frmula de prediccin es de la forma : y n 1 y n p P (t )dt

tn p
r

donde Pr (t) es el polinomio de interpolacin asociado a los puntos (t n ,f n) , (t n-1 ,f n-1) ,

(t n-2 ,f n-2) ...., donde la notacin que estamos utilizando es :
y = f(t ,y) t0, t1, ....., t n
y(t0) = y0 y0, y1, ....., yn fn = f(tn ,yn)

Calculamos la frmula predictora para p = 3 y r = 2. Sustituyendo estos valores

en la frmula predictora nos queda :
tn 1

y n 1 y n 3 P (t )dt
tn 3
2 , donde P2 (t) es el polinomio asociado a los puntos (t n ,f n) ,

(t n-1 ,f n-1) , (t n-2 ,f n-2). Calculamos dicho polinomio mediante el mtodo de Newton
quedando :
f f n 1
P2 ( t ) P1 ( t ) u(t t n )(t t n 1 ) f n n (t t n ) u( t t n )(t t n 1 )
h
Newton nos dice que el nuevo punto vale :
f f n 1
f n2 f n n (t n 2 t n ) a (t n 2 t n )(t n 2 t n 1 )
h
Sustituyendo lo que vale cada intervalo en trminos de h nos queda :
f n f n 1
f n2 f n ( 2h) a ( 2h)( h) f n 2( f n f n 1 ) a 2h 2 ;
h
f n 2 f n 2 f n 1
a
2h 2
Sustituimos el valor de a en la frmula de P2(t) y nos queda :

f n f n 1 f f n 2 f n 1
P2 (t ) f n (t t n ) n 2 (t t n )(t t n 1 )
h 2h 2
Sustituyendo el valor del polinomio en la frmula predictora nos queda :
t n 1
f n f n 1 f n 2 f n 2 f n 1
yn 1 yn 3 fn
t n3
h
(t t n )
2h 2 (t t n )(t t n 1 ) dt

Calculando el valor de la integral por el mtodo de Simpson, el cual nos dice que :
b
ba
f ( x)dx 6

f (a ) 4 ( Punto medio) f (b)
a

Aplicando sta frmula a nuestro caso nos queda que la longitud del intervalo es 4h, por
tanto :

4h
y n 1 y n 3
6
P2 (t n3 ) 4 P2 (t n 1 ) P(t n 1 )
Calculamos lo que vale el polinomio en cada uno de los puntos y nos queda :
f f n 1 f f n 2 f n 1
P2 (t n 3 ) f n n (t n 3 t n 1 ) n 2 (t n 3 t n )( t n 3 t n 1 )
h 2h 2

12
Ponindolo en trminos de h y simplificando nos queda :
f f n 1 f f n 2 f n 1
P2 (t n 3 ) f n n ( 3h) n 2 ( 3h)( 2h)
h 2h 2
f n 3( f n f n 1 ) 3( f n 2 f n 2 f n 1 ) 3 f n 2 3 f n 1 f n

Calculamos ahora lo que vale el polinomio en el punto medio :

f f n 1 f f n 1
P2 (t n 1 ) f n n (t n 1 t n ) 0 f n n ( h) f n 1
h h

El polinomio en el otro extremo vale :

f f n 1 f f n 2 f n 1
P2 (t n 1 ) f n n ( t n 1 t n ) n 2 ( t n 1 t n )(t n 1 t n 1 )
h 2h 2
Sustituyendo en trminos de h y simplificando nos queda :
f f n 1 f f n 2 f n 1
P2 (t n 1 ) f n n (h) n 2 2 (2h 2 ) 3 f n 3 f n 1 f n 2
h 2h

Sustituyendo todos los coeficientes calculados en la frmula predictora nos queda que :
4h
y n 1 y n 3
6

3 f n 2 3 f n 1 f n 4 f n 1 3 f n 3 f n 1 f n 2
4h
yn3
6

4 f n 2 2 f n 1 4 f n
Sacando factor comn y simplificando nos queda :
4h
y n 1 , 0 y n 3
3

2 f n 2 f n 1 2 f n
Calculamos ahora la frmula correctora. El enunciado nos dice que tiene que ser
tn 1

de la forma : y n 1 y n 2 P (t )dt , donde P (t) es el polinomio de interpolacin

tn 2
1 1

asociado a la tabla :
tn+1 tn
fn+1 , 0 fn

Calculando el polinomio de interpolacin nos queda :

f n 1 ,0 f n
P1 ( t ) f n 1 ,0 ( t t n 1 )
h
Justificamos esto :
Si calculamos dicho polinomio por Newton tendremos :

P1 ( t ) f n 1 , 0 a (t t n 1 ) , donde el nuevo punto vale :

f n 1 , 0 f n
f n f n 1 , 0 a ( t t n 1 ) f n 1 , 0 ah ; a
h
Sustituyendo el valor de a en la frmula de Newton nos queda que :
f n 1 , 0 f n
P1 ( t ) f n 1 , 0 ( t t n 1 )
h
Metiendo el polinomio dentro de la frmula correctora nos queda :
tn 1
f n 1 , 0 f n
y n 1 y n 2 f n 1, 0 (t t n ) dt
tn 2
h

13
Calculando sta integral por el mtodo del trapecio que nos dice :
b
ba
f ( x)dx 2
f (a ) f (b)
a

Aplicado a nuestro caso nos queda que el intervalo nuestro es de longitud 3h

Por tanto :
3h
y n 1 y n 2
2
P(t n2 ) P(t n1 )
Calculamos lo que vale el polinomio en los extremos :
f n 1, 0 f n f n 1 , 0 f n
P ( t n 2 ) f n 1, 0 ( t n 2 t n 1 ) f n 1, 0 ( 3h) 2 f n1, 0 3 f n
h h

En el otro extremo ser : P(t n 1 ) f n 1 , 0 0

y n 1 y n 2
3h
2

2 f n 1 , 0 3 f n f n 1 , 0 Simplificando queda :

y n 1 y n 2
3h
2

3 f n f n 1 , 0
Por lo que el mtodo predictor - corrector pedido son las expresiones :
4h
y n 1 , 0 y n 3
3

2 f n 2 f n 1 2 f n
y n 1 y n 2
3h
2

3 f n f n 1 , 0

TEOREMA DE SCHWARZ
Sea f: 2 una funcin con derivadas parciales de 2 orden continuas, entonces:

2 f 2 f

xy yx

DEMOSTRACION:
Por reduccin al absurdo.
- Hiptesis adicional:
2 f 2 f
Existe un pto (x0, y0) tal que ( x0 , y 0 ) ( x0 , y 0 )
xy yx

14
 Si son distintas significa que una ser mayor que la otra por lo que vamos a
2 f 2 f
suponer que ( x0 , y 0 ) ( x 0 , y 0 ) o sea
xy yx
2 f 2 f
( x0 , y 0 ) ( x 0 , y 0 ) 0 a)
xy yx

La hiptesis dice que las funciones son continuas, y hay una propiedad que dice que si
una funcin es continua no se anula en un punto, tampoco lo hace en un entorno
Construimos un cuadrado contenido en [a,b]X[c,d]
d
2 f 2 f
Si la funcin a) es positiva entonces: ( ( x0 , y 0 ) ( x 0 , y 0 )) dy 0
c
xy yx
Vamos a demostrar que esto es falso con lo que sera falsa la hiptesis adicional
Para demostrar que esto es falso demostraremos que:
d d
2 f 2 f
(
c
xy
)dy (
c
yx
) dy Usando la regla de derivacin bajo el signo integral

d d
f
( x)
c
f ( x, y )dy Entonces la derivada de ( x ) ' ( x ) es: ' ( x) xy dy
c

Entonces:
df f
d d

c x y
( dy dy f ( x, y ) cd
x c y x

Por convenio Como se integra respecto de y
Queda una funcin en x

Aplicando la regla de Barrow que dice:

Sea f una funcin continua en [a,b]

Sea F una primitiva de f F ' f
b

Entonces: f (t )dt F (b) F (a)

a

Podemos concluir:

f ( x, d ) f ( x, c) f ( x, d ) f ( x, c)
x x x
Calculamos ahora la integral
d d d
2 f f f f f
c yx dy c y x dy Barrow x ( x, y ) c x ( x, d ) x ( x, c)
Como vemos que ambos resultados son iguales significa que la hiptesis adicional es
falsa con lo que mediante el th. de Schawrz demostramos que el orden de derivacin no
influye con lo que:
2 f 2 f

xy yx

15
16