Difinitas 01

INTRODUCCIN AL CLCULO EN DIFERENCIAS FINITAS CARLOS S.
CHINEA
1
Introduccin al Clculo de Diferencias
Finitas

00. Las diferencias finitas y el clculo diferencial

El Clculo IntegroDiferencial ha sido durante el siglo XX una eficaz herramienta en
el estudio, anlisis y modelizacin de acontecimientos y avatares de la Fsica
Terica y de la Fsica Experimental, de la Tcnica y de la Ingeniera. Como su
nombre nos puede indicar, es un clculo basado en diferencias (clculo diferencial)
o en sumaciones indefinidas (clculo integral), cuando los parmetros que
establecen la amplitud de las diferencias y de las sumas tienden a anularse, a
hacerse infinitamente pequeos, al lmite cero.

La construccin de diferencias finitas de valores funcionales, de las frmulas de su
aplicacin a sumas, productos, cocientes, etc., de funciones reales o complejas es,
sin duda, de una gran importancia a la hora de dar el paso al lmite cero que
convierte los clculos en diferencias en clculo diferencial, o las sumaciones
indefinidas en clculo integral.

En estas notas pretendemos, por tanto, previsualizar las reglas del clculo
diferencial actuando con operaciones en diferencias finitas y sumaciones indefinidas
como previa preparacin al paso al lmite cero. Para facilitar los clculos usaremos
los operadores en diferencias clsicos y sus correspondientes inversos para las
sumaciones indefinidas.

01. Operadores de diferencias finitas. Definiciones

Supongamos una funcin real de variable real f(x) que toma valores discretos en x
y en puntos de la recta real situados a distancia mltiplo de un intervalo h
constante:

x, x+h, x+2h, ..., x+nh, ....

esto es, toma los valores

INTRODUCCIN AL CLCULO EN DIFERENCIAS FINITAS CARLOS S. CHINEA
2
f(x), f(x+h), f(x+2h), ..., f(x+nh), ...

Se definen las diferencias entre valores consecutivos de la funcin de la forma
siguiente:

diferencia progresiva: f(x+h)-f(x)

diferencia regresiva: f(x)-f(x-h)

diferencia centralizada: f(x+1/2h)-f(x-1/2h)

Se definen los siguientes operadores para las diferencias:

Operador diferencia progresiva: ) ( ) ( ) ( x f h x f x f + =

Operador diferencia regresiva: ) ( ) ( ) ( h x f x f x f + =

Operador diferencia central: )
2
1
( )
2
1
( ) ( h x f h x f x f + =

Es til, adems, para realizar operaciones, considerar los operadores siguiente e
identidad:

Operador siguiente: ) ( ) ( h x f x Sf + =

3
Operador identidad: ) ( ) ( x f x If =

Se pueden generalizar estas expresiones para la aplicacin reiterada de cada
operador:

Operador de k-
sima diferencia
progresiva:

) ( ) ( ) (
1 1
x f h x f x f
k k k
+ =

) ( ) (
0
x f x f =

Operador de k-
sima diferencia
regresiva:

) ( ) ( ) (
1 1
h x f x f x f
k k k
=

) ( ) (
0
x f x f =

Operador de k-
sima diferencia
centralizada:

)
2
1
( )
2
1
( ) (
1 1
h x f h x f x f
k k k
+ =

) ( ) (
0
x f x f =

Operador
siguiente:

) ( ) (
1
h x f S x f S
K k
+ =

) ( ) (
0
x f x f S =

Operador
identidad:

) ( ) (
1
x f I x f I
K k
=

02. Linealidad de los operadores en diferencias finitas

02.1. Las condiciones de linealidad:

Teorema 01.

Se verifican las siguientes propiedades

1)
=
=
=
0
0
0
c
c
c
const c
4
2)
=
=
=
) ( )) ( (
) ( )) ( (
) ( )) ( (
x f c x cf
x f c x cf
x f c x cf

3)
+ = +
+ = +
+ = +
) ( ) ( )) ( ) ( (
) ( ) ( )) ( ) ( (
) ( ) ( )) ( ) ( (
2 1 2 1
2 1 2 1
2 1 2 1
x f x f x f x f
x f x f x f x f
x f x f x f x f

4)
+ = +
+ = +
+ = +
) ( ) ( )) ( ) ( (
) ( ) ( )) ( ) ( (
) ( ) ( )) ( ) ( (
2 2 1 1 2 2 1 1
2 2 1 1 2 2 1 1
2 2 1 1 2 2 1 1
x f c x f c x f c x f c

Demostracin:

1) Es obvio, al ser constante la funcin a la que se aplica el operador.

2) Calculamos en cada uno de los casos, que son anlogos:

( ) ( ) ) ( . ) ( ) ( . ) ( . ) ( . ) ( . x f c x f h x f c x f c h x f c x f c = + = + =

( ) ( ) ) ( . ) ( ) ( . ) ( . ) ( . ) ( . x f c h x f x f c h x f c x f c x f c = = =

( ) ) ( . )
2
1
( )
2
1
( . )
2
1
( . )
2
1
( . ) ( . x f c h x f h x f c h x f c h x f c x f c =
|
.
|
\
|
+ = + =

3) Tambin resultan ser anlogos:

) ( ) ( )) ( ) ( (
)) ( ) ( ( )) ( ) ( ( )) ( ) ( ( )) ( ) ( (
2 1 2 2
1 1 2 1 2 1 2 1
x f x f x f h x f
x f h x f x f x f h x f h x f x f x f
+ = + +
+ + = + + + + = +

) ( ) ( )) ( ) ( (
)) ( ) ( ( )) ( ) ( ( )) ( ) ( ( )) ( ) ( (
2 1 2 2
1 1 2 1 2 1 2 1
x f x f h x f x f
h x f x f h x f h x f x f x f x f x f
+ = +
+ = + + = +

) ( ) ( ))
2
1
( )
2
1
( ( ))
2
1
( )
2
1
( (
))
2
1
( )
2
1
( ( ))
2
1
( )
2
1
( ( )) ( ) ( (
2 1 2 2 1 1
2 1 2 1 2 1
x f x f h x f h x f h x f h x f
h x f h x f h x f h x f x f x f
+ = + + + + =
= + + + + = +

4) Esta propiedad, que equivale a las dos anteriores, se obtienen por aplicacin
directa de ambas:

( ) ( ) ( ) ( ) ( ) ) ( . ) ( . ) ( ) ( ) ( ) (
2 1 1 2 1 1 2 2 1 1
x f c x f c x f c x f c x f c x f c + = + = +

( ) ( ) ( ) ( ) ( ) ) ( . ) ( . ) ( ) ( ) ( ) (
2 1 1 2 1 1 2 2 1 1

( ) ( ) ( ) ( ) ( ) ) ( . ) ( . ) ( ) ( ) ( ) (
2 1 1 2 1 1 2 2 1 1

5
todas estas propiedades las verifican tambin, trivialmente, los operadores
siguiente e identidad:

) ( ( . ) ( ( . )) ( ) ( (
) ( ( . ) ( ( . )) ( ) ( (
2 2 1 1 2 2 1 1
2 2 1 1 2 2 1 1
x f I c x f I c x f c x f c I
x f S c x f S c x f c x f c s
+ = +
+ = +

02.2. El conjunto de los operadores lineales. Estructura algebraica:

Estas propiedades definen la linealidad de estos operadores. Si llamamos al
conjunto de todos los operadores lineales y es F el dominio de funciones sobre el
que actan, se cumplen, en definitiva, las propiedades:

( ) F x f x f x Lf x Lf x f x f L L
F x f R c x cLf x cf L L
+ = +
=
) ( ), ( ), ( ) ( ) ( ) ( ,
) ( , ), ( )) ( ( ,
2 1 2 1 2 1

O bien, equivalentemente:

( ) ( ) ( ) R c c F x f x f L x f L c x f L c x f c x f c L + = +
2 1 2 1 2 2 1 1 2 2 1 1
, , ) ( ), ( , , ) ( . ) ( . ) ( ) (

En el conjunto de todos los operadores lineales sobre un dominio F de funciones,
pueden en general definirse leyes de composicin interna que confieren a
estructura algebraica. Bsicamente, suma y composicin de operadores y producto
de un nmero real por un operador:

Operacin de suma de operadores:

( ) F x f x f L x f L x f L L L L + = + ) ( ), ( ) ( ) ( , ,
2 1 2 1 2 1

Producto de operadores:

( ) ( ) F x f x f L L x f oL L L L = ) ( , ) ( ) ( , ,
2 1 2 1 2 1

Producto de un nmero real por un operador:

( ) F x f x Lf c x f L c R c L = ) ( , ) ( ) ( ) ( , ,

La suma de operadores confiere al conjunto estructura de grupo conmutativo.

( ) abeliano grupo + ,

Respecto a las dos leyes, suma y producto de operadores, es un anillo con
elemento unidad.

( ) unidad elemento con anillo o , ,+

Si consideramos el producto de un nmero real por un operador, resulta ser un
espacio vectorial sobre el cuerpo de los nmeros reales.

( ) R sobre vectorial espacio R ,. ,+

6
Finalmente, con respecto a todas las operaciones la estructura que presenta el
conjunto de todos los operadores lineales es la estructura de lgebra sobre R.

( ) R sobre ebra a R o lg ,. , ,+

Los operadores en diferencias, al ser lineales, son elementos del conjunto , y por
consiguiente tiene sentido hablar de su suma, resta, etc., pudiendo establecer las
relaciones entre ellos y sus operadores inversos que, como veremos, tambin son
lineales.

03. Propiedades de la aplicacin de los operadores en diferencias finitas

03.1. Producto y cociente de funciones

Teorema 02:

Se verifican los siguientes resultados:

( )
( )
( ) ) ( ).
2
1
( ) ( ).
2
1
( ) ( ). (
) ( ). ( ) ( ). ( ) ( ). (
) ( ). ( ) ( ). ( ) ( ). (
1 2 2 1 2 1
1 2 2 1 2 1
1 2 2 1 2 1
x f h x f x f h x f x f x f
x f h x f x f x f x f x f
x f x f x f h x f x f x f
+ + =
+ =
+ + =

Demostracin:

( )
| | | |
) ( ). ( ) ( ). (
) ( ) ( ) ( ) ( ) ( ). ( ) ( ). ( ) ( ). (
) ( ). ( ) ( ). ( ) ( ). ( ) ( ). ( ) ( ). (
1 2 2 1
1 1 2 2 2 1 2 1 2 1
2 1 2 1 2 1 2 1 2 1
x f x f x f h x f
x f h x f x f x f h x f h x f x f x f x f h x f
x f h x f h x f h x f x f x f h x f h x f x f x f
+ + =
= + + + + = + +
+ + + + = + + =

( )
| | | |
) ( ). ( ) ( ). (
) ( ) ( ) ( ) ( ) ( ). ( ) ( ). ( ) ( ). (
) ( ). ( ) ( ). ( ) ( ). ( ) ( ). ( ) ( ). (
1 2 2 1
1 1 2 2 2 1 2 1 2 1
2 1 2 1 2 1 2 1 2 1
x f h x f x f x f
h x f x f h x f h x f x f x f h x f h x f h x f x f
h x f x f x f x f h x f h x f x f x f x f x f
+ =
= + = +
+ = =

( )
) ( ).
2
1
( ) ( ).
2
1
(
)
2
1
( )
2
1
( )
2
1
( )
2
1
( )
2
1
( )
2
1
(
)
2
1
( ).
2
1
( )
2
1
( ).
2
1
( )
2
1
( ).
2
1
(
)
2
1
( ).
2
1
( )
2
1
( ).
2
1
( )
2
1
( ).
2
1
( ) ( ). (
1 2 2 1
1 1 2 2 2 1
2 1 2 1 2 1
2 1 2 1 2 1 2 1
x f h x f x f h x f
h x f h x f h x f h x f h x f h x f
h x f h x f h x f h x f h x f h x f
h x f h x f h x f h x f h x f h x f x f x f
+ + =
=
(
+ +
(
+ + =
= + + +
+ + = + + =

7
Teorema 03:

Se verifican las relaciones siguientes:

)
2
1
( ).
2
1
(
) ( ).
2
1
( ) ( ).
2
1
(
) (
) (
) ( ). (
) ( ). ( ) ( ). (
) (
) (
) ( ). (
) ( ). ( ) ( ). (
) (
) (
2 2
2 1 1 2
2
1
2 2
2 1 1 2
2
1
2 2
2 1 1 2
2
1
h x f h x f
x f h x f x f h x f
x f
x f
h x f x f
x f h x f x f h x f
x f
x f
h x f x f
x f x f x f x f
x f
x f
+

=
|
|
.
|
\
|

=
|
|
.
|
\
|
+

=
|
|
.
|
\
|

Demostracin:

| | | |
) ( ). (
) ( ). ( ) ( ). (
) ( ). (
) ( ) ( ). ( ) ( ) ( ). (
) ( ). (
) ( ). ( ) ( ). ( ) ( ). ( ) ( ). (
) (
) (
) (
) (
) (
) (
2 2
2 1 1 2
2 2
2 2 1 1 1 2
2 2
2 1 2 1 2 1 2 1
2
1
2
1
2
1
h x f x f
x f x f x f x f
h x f x f
x f h x f x f x f h x f x f
h x f x f
x f x f h x f x f x f x f x f h x f
x f
x f
h x f
h x f
x f
x f
+

=
+
+ +
=
=
+
+ + +
=
+
+
=
|
|
.
|
\
|

| | | |
) ( ). (
) ( ). ( ) ( ). (
) ( ). (
) ( ) ( ) ( ) ( ) ( ). (
) ( ). (
) ( ). ( ) ( ). (
) (
) (
) (
) (
) (
) (
2 2
2 1 1 2
2 2
2 2 1 1 1 2
2 2
1 2 1 2
2
1
2
1
2
1
h x f x f
x f h x f x f h x f
h x f x f
h x f x f h x f h x f x f h x f
h x f x f
h x f x f x f h x f
h x f
h x f
x f
x f
x f
x f

=
=

=
=
=
|
|
.
|
\
|

)
2
1
( ).
2
1
(
) ( ).
2
1
( ) ( ).
2
1
(
)
2
1
(
)
2
1
(
)
2
1
(
)
2
1
(
) (
) (
2 2
2 1 1 2
2
1
2
1
2
1
h x f h x f
x f h x f x f h x f
h x f
h x f
h x f
h x f
x f
x f
+

=
+
+
=
|
|
.
|
\
|

03.2. Funcin factorial

Recordemos la definicin de la funcin factorial de orden n e intervalo h:

) ). 1 ( ).....( 2 ).( .(
) (
h n x h x h x x x
n
= , 1
) 0 (
= x

si la funcin factorial es de intervalo 1 ser:

)) 1 ( )...( 2 ).( 1 .(
) (
= n x x x x x
n

si, finalmente, se trata del factorial del mismo nmero n, con intervalo 1, se
obtiene la forma elemental del factorial:
8

1 . 2 )... 2 )( 1 ( )) 1 ( )....( 2 )( 1 ( !
) (
= = = n n n n n n n n n n
n
, 1 0 ! 0
) 0 (
= =

Teorema 04:

Se verifican los siguientes bloques de relaciones:

a)
=
=
=
) 1 ( ) (
) 1 ( ) (
) 1 ( ) (
)
2
1
.(
) .(
.
n n
n n
n n
h x nh x
h x nh x
x nh x
b)
=
=
=
n n n
n n n
n n n
h n x
h n x
h n x
. !
. !
. !
) (
) (
) (
c)
> =
> =
> =
n r si x
n r si x
n r si x
n r
n
n r
, 0
, 0
, 0
) (
) (
) (

Demostracin:

Tengamos en cuenta, que, por definicin de funcin factorial, es:

) ) 2 ( ).( ) 3 ( )...( .( ). ( ) (
) (
h n x h n x h x x h x h x
n
+ = +
) ).( ) 1 ( ).....( 2 ).( ( ) (
) (
nh x h n x h x h x h x
n
=
)
2
) 3 2 (
).(
2
5 2
)...(
2
3
).(
2
).(
2
( )
2
(
) (
h n
x h
n
x
h
x
h
x
h
x
h
x
n

+ = +
)
2
) 1 2 (
).(
2
3 2
)...(
2
5
).(
2
3
).(
2
( )
2
(
) (
h n
x h
n
x
h
x
h
x
h
x
h
x
n

=

Por tanto, las diferencias finitas indicadas son:

a) Aplicando la definicin en cada caso:

| |
) 1 (
) ( ) ( ) (
. . ) ) 2 ( )...( .( . ) ) 1 ( ( ) (
) ) 1 ( ).( ) 2 ( )...( 2 ).( .(
) ) 2 ( ).( ) 3 ( )...( .( ). ( ) (
= + =
=
+ = + =
n
n n n
x h n h n x h x x h n x h x
h n x h n x h x h x x
h n x h n x h x x h x x h x x

| |
) 1 (
) ( ) ( ) (
) .( . ) ) 1 ( )....( 2 )( ( ) (
) ).( ) 1 ( ).....( 2 ).( (
) ) 1 ( )...( 2 ).( .( ) (
= =
=
= =
n
n n n
h x h n h n x h x h x nh x x
nh x h n x h x h x
h n x h x h x x h x x x

) 1 (
) (
)
2
.( ) ) 2 (
2
)...(
2
3
).(
2
.(
)
2
) 3 2 (
).(
2
5 2
)...(
2
3
).(
2
( )
2
1 2
( )
2
(
)
2
) 1 2 (
).(
2
3 2
)...(
2
5
).(
2
3
).(
2
(
)
2
) 3 2 (
).(
2
5 2
)...(
2
3
).(
2
).(
2
(
= =
=

+ =
=
+ =
n
n
h
x nh h n
h
x
h
x
h
x nh
h n
x h
n
x
h
x
h
x h
n
x
h
x
h n
x h
n
x
h
x
h
x
h
x
h n
x h
n
x
h
x
h
x
h
x x

b) Aplicando reiteradamente cada operador:

9
n n n
h n h h h n h n nh x !. 1 . 2 ..... ) 2 .( ) 1 .(
) (
= =
n n n
h n h h h n h n nh x !. 1 . 2 ..... ) 2 .( ) 1 .(
) (
= =
n n n
h n h h h n h n nh x !. 1 . 2 ..... ) 2 .( ) 1 .(
) (
= =

c) Es obvio, por lo anterior.

03.3. Funcin exponencial

Teorema 05:

Se verifican las relaciones:

2
). 1 (
) 1 (
) 1 (
h
h x x
h x x
h x x
a a a a
a a a
a a a
=
=
=

Demostracin:

2 2 2 2 2
) 1 ( ) (
) 1 (
) 1 (
h h x h h x h x h x x
h x h x x x
h x x h x x
a a a a a a a a a
a a a a a
a a a a a
+

+
= = =
= =
= =

03.4. Funcin logaritmo

Teorema 06:

Se verifican:
2
2
log log
log log
log log
h x
h x
x
h x
x
x
x
h x
x
+
=

=
+
=

Demostracin:

2
2
log ) 2 log( ) 2 log( log
log ) log( log log
log log ) log( log
h x
h x
h x h x x
h x
x
h x x x
x
h x
x h x x
+
= + =

= =
+
= + =

10
03.5. Funciones trigonomtricas

Teorema 07:

) 2 ( ). cos( 2
) 2 ( ). 2 cos( 2
) 2 ( ). 2 cos( 2
h sen x senx
h sen h x senx
h sen h x senx
=
=
+ =

) 2 ( ). ( 2 cos
) 2 ( ). 2 ( 2 cos
) 2 ( ). 2 ( 2 cos
h sen x sen x
h sen h x sen x
h sen h x sen x
=
=
+ =

Demostracin:

Teniendo en cuenta las frmulas trigonomtricas para la diferencia de senos y
la diferencia de cosenos:

|
.
|
\
|
|
.
|
\
| +
=
|
.
|
\
|
|
.
|
\
| +
=
2
.
2
. 2 cos cos
2
.
2
cos . 2
B A
sen
B A
sen B A
B A
sen
B A
senB senA

Se tiene:
) 2 ( ). 2 cos( . 2
2
.
2
2
cos . 2 ) ( h sen h x
x h x
sen
h x
senx h x sen senx + =
|
.
|
\
| +
|
.
|
\
| +
= + =

) 2 ( ). 2 cos( . 2
2
.
2
2
cos . 2 ) ( h sen h x
h x x
sen
h x
h x sen senx senx =
|
.
|
\
| +
|
.
|
\
|
= =

( ) ) 2 ( ). cos( . 2
2
2 2
. cos . 2 ) 2 ( ) 2 ( h sen x
h x h x
sen x h x sen h x sen senx =
|
.
|
\
| + +
= + =
( ) ( ) ( ) 2 . 2 . 2 cos cos cos h sen h x sen x h x x + = + =

( ) ( ) ( ) ( ) 2 . 2 . 2 cos cos cos h sen h x sen h x x x = =

( ) ( ) ( ) ( ) 2 . . 2 2 cos 2 cos cos h sen x sen h x h x x = + =

11

04. Los operadores inversos. Sumacin indefinida

04.1. Definiciones:

Se define el operador sumacin indefinida como inverso del operador diferencia
finita:

I o I o I o = = =
1 1 1
, ,
o sea:

Si ) ( ) ( ) ( ) ( )) ( ( ) ( ) ( ) (
1 1 1
x f x If x f o x f x F x F x f = = = = =

Si ) ( ) ( ) ( ) ( )) ( ( ) ( ) ( ) (
1 1 1

Si ) ( ) ( ) ( ) ( )) ( ( ) ( ) ( ) (
1 1 1

04.2. Propiedades:

Teorema 08:

Si llamamos ) (x al conjunto de todas las funciones peridicas de periodo h, es
decir, { } { } 0 ) ( / ) ( 0 ) ( ) ( / ) ( ) ( = = = + = x p x p x p h x p x p x , se verifica:

a) ) ( ) ( ), (
1
x P x p x p x h + =

b) ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
1 1
x x p x G x F x G x f x F x f = = =

c) ) ( ) ( ), (
). 1 (
) 1 (
) ( 1
x x p siendo x p
h n
x
x
n
n
+
+
=
+

d) ( ) ) ( ) ( ) ( ) (
2
1
2 1
1
1 2 1 1
1

+ = +

e) | | | | ) ( ). ( ) ( ). ( ) ( ). (
1 2
1
2 1 2 1
1
x f h x f x f x f x f x f + =

(frmula de sumacin por
partes)

Demostracin:

a) ) ( 0 ) ( )) ( (
1
x p x h h x h x x p x x p x + = = + + = + = +

b) ) ( ) ( ) ( ) ( 0 ) ( ) ( ) ( ) ( )) ( ) ( ( x x p x G x F x f x f x G x F x G x F = = = =

c) = +
+
= +
|
|
.
|
\
|
+
=
|
|
.
|
\
|
+
+
+
+ +
0
). 1 (
1
) (
). 1 (
) (
). 1 (
) 1 (
) 1 ( ) 1 (
n
n n
x
h n
x p
h n
x
x p
h n
x

) (
). 1 ( ). 1 (
). 1 (
) 1 (
) ( 1 ) (
) (
x p
h n
x
x x
h n
hx n
n
n n
n
+
+
= =
+
+
=
+

12
d) ( ) + = + = +

) ( ) ( ) ( ) ( ) ( ) (
2 2 1 1 2
1
2 1
1
1 2
1
2 1
1
1
x f c x f c x f c x f c x f c x f c
( ) ) ( ) ( ) ( ) (
2
1
2 1
1
1 2 2 1 1
1

+ = +

e) ( ) = + + = ) ( ). ( ) ( ). ( ) ( ). ( ) ( ). (
2 1 1 2 2 1 2 1
x f x f x f h x f x f x f x f x f

| | | | | | + + = + + =

) ( ). ( ) ( ). ( ) ( ). ( ) ( ). (
1 2
1
2 1
1
1 2 2 1
1
x f h x f x f x f x f h x f x f x f

| | | | ) ( ). ( ) ( ). ( ) ( ). (
1 2
1
2 1 2 1
1

05. Relaciones entre los operadores en diferencias finitas

Cada uno de los operadores en diferencias finitas, , , , pueden ser
expresados en funcin de los restantes de forma sencilla. Para ello veamos el
siguiente teorema.

Teorema 09

Se verifican las siguientes relaciones:

a) ( ) ( )
2 2
1
2 2

+ +
+ = = + =

I I I I S
b) ( ) ( )
2 2
1
2 2

+ +
= = =

I I I I S
c) ( ) ( )
2 2
1 1
2 2

+ +
= + = =

I I I S I
d) ( ) ( ) 2
1
2
1
2
1
2
1

= + = = I I S S

Demostracin:

a) Aplicando la definicin de cada uno de los operadores:

I S
I S x f I S x f x Sf x f h x f x f
+ =
= = = + = ) ( ) ( ) ( ) ( ) ( ) ( ) (

( )
1 1
1 1 1
) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (

= =
= = = =
I S I S
S I x f S I x f S x If h x f x f x f

0 ) 2 (
2
) ( ) ( ) ( )
2
( )
2
( ) (
2 2
2
2
2
1
2
1
2
1
2
1
2
1
2
1
2
1
= + +
+
=
= =
|
|
.
|
\
|
= = + =

I S S
S
I S S
S
I S
S S
x f S S x f S x f S
h
x f
h
x f x f

y al resolver esta ecuacin de segundo grado:

( )
2 2 2 2
2 4 2
2 2 4 2
2
4 4 4 2

+ +
+ =
+ +
+ =
+ + + +
= I I I I S
13

b) Resulta obvio, desde los resultados del apartado a) anterior.

c) Se tiene, de a):
1
= S I . Y tambin
1
) (

+ = + = I I I S

Y siendo
( )
( )
( )
( ) ( )
( )
( ) ( )
( )
2 2
2
2
2
2
2 2
2 2 2 2
2 2
2 2
1
2 2
2 2
2 2
2 2
2 2 2 2
2 2
2 2
1
2 2
+ =
|
.
|
\
|

+
+
=
=
|
.
|
\
|

+
+ |
.
|
\
|

+ +
+
=
=
+ +
+
=
+ +
+ =

I I
I I
I I
I I I I
I I
I I
S I I S

Lo cual nos muestra, de paso, que
1
S es la segunda solucin de la ecuacin de
segundo grado anterior.

Finalmente obtenemos la expresin buscada para el operador :

( )
2 2
2
1
2 2

+ +
= =

I S I

d) de a) y b):

2
1
2
1
= S S

( ) ( ) ( )
( ) ( )
( )
( ) 2
1
2
1
2
1
2
1
2
1
1
2
1
1
2
1
2
1
2
1
) ( . ) (
+ =
+
+
=
|
.
|
\
|
+
+ =
|
.
|
\
|
+
+
+ =
=
|
.
|
\
|
+
+ = + + = = =
I
I
I
I
I
I
I I
I
I
I
I I A I I I S I S S S

( ) ( ) 2
1
2
1
1 1
2
1
2
1
2
1
. ) ( ) (

= = = = I I S I S S S

06. El paso del clculo en diferencias finitas al clculo diferencial

Obviamente, el lector de estas notas habr observado analogas entre las
frmulas de las diferencias finitas y las del clculo diferencial e integral (por
ejemplo, derivada de un cociente o la frmula de integracin por partes).
Vamos a intentar, de todos modos, visualizar estas analogas. Puede utilizarse
uno cualquiera de los operadores en diferencias, por ejemplo, el operador
diferencia progresiva.

14
1) Derivada de una funcin en un punto x:

h
x f
h
h
x f h x f
h
dx
x df
x f
) (
0
lim
) ( ) (
0
lim
) (
) ( '

=
+
= =

Aparece, pues, la relacin entre la derivada y el operador diferencia:

h
x f
h
x f
) (
0
lim ) ( '

=

2) Combinacin lineal de funciones:

( ) ) ( ' ) ( ' ) ( ) (
2 1
'
2 1
x g c x f c x g c x f c + = +

Diferencia finita:

( ) ) ( ) ( ) ( ) (
2 1 2 1
x g c x f c x g c x f c + = + (Teorema 01_4))

3) Producto y cociente de funciones:

| | ) ( ' ). ( ) ( ). ( ' ) ( ). (
'
x g x f x g x f x g x f + =

) (
) ( ). ( ' ) ( ). ( '
) (
) (
2
'
x g
x f x g x g x f
x g
x f
=
(

Diferencia finita:

( ) ) ( ). ( ) ( ). ( ) ( ). ( x f x g x g h x f x g x f + + = (Teorema 02)

) ( ). (
) ( ). ( ) ( ). (
) (
) (
h x g x g
x f x g x g x f
x g
x f
+

=
(
(Teorema 03)

4) Potencias:

( )
1
. '

=
n n
x n x

Diferencia finita (de la funcin factorial):

) 1 ( ) (
. .

=
n n
x h n x (Teorema 04_a))

5) Exponenciales:

( ) Lna a a
x x
.
'
=

15
Diferencia finita:

) 1 ( =
h x x
a a a (Teorema 05)

6) Logaritmos:

( )
x
x
1
log
'
=
Diferencia finita:

x
h x
x
+
= log log (Teorema 06)

7) Senos y cosenos:
x senx cos )' ( =

(cosx)=-senx

Diferencia finita:

( )
2
).
2
cos( . 2
h
sen
h
x senx + = (Teorema 07)

)
2
( ).
2
( . 2 cos
h
sen
h
x sen x + = (Teorema 07)

8) Primitiva de una constante:

+ = ) ( . const K k cx dx c
Sumacin finita:

) ) ( ( ) (
1
h en peridica x p x p cx ch + =
(Teor 08_a))

9) Diferencia de dos primitivas de la misma funcin:

) ( ) ( ) (
). ( ) (
). ( ) (
const K K x G x F
dx x f x G
dx x f x F
=
=
=

Sumacin finita:

) ) ( ) ( ) ( ) (
) ( ) (
) ( ) (
1
1
h en peridica x p x p x G x F
x f x G
x f x F
=
)
`
=
=
(Teor 08_b))

10) Primitiva de una potencia:

+
+
=
+
) (
1
1
.
1
const K K x
n
dx x
n n

16
Sumacin finita:

) ) ( ) (
). 1 (
1
) 1 ( ) ( 1
h en peridica x p x p x
h n
x
n n
+
+
=
+
(Teor 08_c))

11) Primitiva de una combinacin lineal de funciones:

( )

+ = + dx x f c dx x f c dx x f c x f c ). ( ). ( . ) ( ) (
2 2 1 1 2 2 1 1

Sumacin finita:

( ) ) ( ) ( ) ( ) (
2
1
2 1
1
1 2 1 1
1

+ = + (Teor 08_d))

12) Frmula de integracin por partes:

= ) ( ). ( ) ( ). ( ) ( ). (
1 2 2 1 2 1
x df x f x f x f x df x f

Sumacin finita:

| | | | ) ( ). ( ) ( ). ( ) ( ). (
1 2
1
2 1 2 1
1

(Teor 08_e))

07. Bibliografa

APOSTOL, T.M., Calculus, editorial Revert, Barcelona, 1999

BURDEN, R.L.-FAIRES, J.D., Anlisis Numrico, Thomson Internacional, Mexico,
1998

DOU, A. Ecuaciones diferenciales ordinarias, editorial Dossat, Madrid, 1970

HENRICI, P. Elementos de anlisis numrico, editorial Trillas, Mexico, 1972

KINCAID, D.-CHENEY, W., Anlisis numrico: las matemticas del clculo cientfico,
Addison-Wesley Iberoamericana, 1994.

MURRAY R.S., Calculus of finite difference and difference equations, editorial Mc
Graw-Hill, 1988

SCHEID, F., Anlisis numrico, editorial Mc Graw-Hill, Mexico, 1990

STOER, B., Introduction to Numerical Analysis, editorial Springer- Verlag, Berlin,
1993

Difinitas 01

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Difinitas 01

Cargado por

Copyright:

Formatos disponibles

INTRODUCCIN AL CLCULO EN DIFERENCIAS FINITAS CARLOS S.

También podría gustarte