extensa° natural continua dos mÉtodos de runge … · 2018. 9. 19. · a professora neide maria...

100
"EXTENSA° NATURAL CONTINUA DOS MÉTODOS DE RUNGE-KUTTA PARA EQUAÇOES INTEGRAIS DE VOLTERRA DE SEGUNDA ESPÉCIE E SUAS APLICAÇOES" JOSÉ 'LUIZ DE SOUZA ORIENTADORA: Profa. Dra. Neide Maria Bertoldi Franco Dissertação apresentada ao Instituto de Ciências Matemáticas de São Carlos da Universidade de São Paulo para obtenção do título de Mestre na área de Ciências de Computação e Matemática Computacional. SÃO CARLOS 1992

Upload: others

Post on 08-Mar-2021

2 views

Category:

Documents


0 download

TRANSCRIPT

"EXTENSA° NATURAL CONTINUA DOS MÉTODOS

DE RUNGE-KUTTA PARA EQUAÇOES INTEGRAIS

DE VOLTERRA DE SEGUNDA ESPÉCIE E SUAS

APLICAÇOES"

JOSÉ 'LUIZ DE SOUZA

ORIENTADORA: Profa. Dra. Neide Maria Bertoldi Franco

Dissertação apresentada ao Instituto de

Ciências Matemáticas de São Carlos da

Universidade de São Paulo para obtenção

do título de Mestre na área de Ciências

de Computação e Matemática Computacional.

SÃO CARLOS

1992

Em homenagem aos meus pais, que tanto contribuiram para a minha existência.

AGRADECIMENTOS

A Professora Neide Maria Bertoldi Franco, orien-tadora deste trabalho, pela paciência, apoio, incentivo e su-gestões dadas. Pela amizade dedicada, sincera e franca.

Aos Professores Aldenice Brito Pereira, Messias Meneguette Junior e Neide Maria Bertoldi Franco por terem gen-tilmente concordado em participar como membrosda Banca Exami-nadora.

Aos Professores Alagacone Sri Ranga, Arnaldo Si-mal do Nascimento, José Alberto Cuminato, Marcos Nereu Arena-les, Marielza Jorge Favaro e Neide Maria Bertoldi Franco, pe-los ensinamentos durante os cursos de Pós-Graduação.

Ao amigo, Professor Janey Antonio Daccah e aos Amigos e Professores da UNESP - Bauru, em especial ao Profes-sor Valdemir Garcia Ferreira, pela sempre pronta colaboração.

Ao Professor Luiz Carlos Canêo, que sempre nos proporcionou dedicação e amizade.

UNESP, pelo estímulo e viabilização desta re- alidade.

NATURAL CONTINUOUS EKTENSIONS OF RUNGE-KUTTA METHODS FOR VOL-TKRRA INTEGRAL EQUATIONS OF THE SECOND KIND AND THEIR APPLICA-TIONS

José Luiz de Souza

Adviser: Profa. Neide Maria Bertoldi Franco

Al3STRACr

The mean pourpose of this work is to study the structure of Runge-Kutta methods for Volterra Integral Equa-tions. This has been developped for many years in a classical way. This matter will be treated in a very recent fashion, which needs Theory of Graphs, becoming the task of getting Volterra-Runge-Kutta coefficents very easy. Also, it is inclu-ded the so called Natural Continuous Extensions of the same method, in order to show that, it is possible to build suffi-cient high order piecewise polynomial functions, which allow to extend the approximation at the grid points, to the whole interval of integration.

RESUMO

O principal propósito deste trabalho é estudar a estrutura dos métodos de Runge-Kutta para Equações Integrais de Volterra. Isto tem sido desenvolvido de forma tradicional durante vários anos. Este assunto será tratado com uma roupa-gem bem atual, a qual necessita da Teoria de Grafos, tornando assim mais fácil a tarefa de obtenção dos coeficientes de Vol-terra-Runge-Kutta. Também estão incluidas as Extensões Natu-rais Continuas do mesmo método, de modo a mostrar que é possí-vel construir funções polinomiais contínuas por partes, de or-dem suficientemente elevada, as quais permitem estender a a-proximação nos pontos da malha para todo intervalo de integra-ção.

NATURAL CONTINUOUS EXTENSIONS OF RUNGE-KUTTA HETHODS POR VOL-TERRA INTEGRAL EQUATIONS OF THE SECOND KIND PAND TREIR APPLICA-TIONS

José Luiz de Souza

Adviser: Profa. Neide Maria Bertoldi Franco

ABSTRACT

The mean pourpose of this work is to study the structure of Runge-Kutta methods for Volterra Integral Equa-tions. This has been developped for many years in a classical way. This matter will be treated in a very recent fashion, which needs Theory of Graphs, becoming the task of getting Volterra-Runge-Kutta coefficents very easy. Also, it is inclu-ded the so called Natural Continuous Extensions of the same method, in order to show that, it is possible to build suffi-cient high order piecewise polynomial functions, which allow to extend the approximation at the grid points, to the whole interval of integration.

CAPITULO I

CONCEITOS MATEMÁTICOS BÁSICOS

Serão mostrados neste Capitulo, algumas defini-ções, notações e resultados matemáticos básicos, importantes, usados no decorrer do presente trabalho.

1.1 - EQUAÇOES INTEGRAIS DE VOLTERRA - [JERRY - 85]

São denominadas Equações Integrais de Volterra (EIV) as equações na forma:

(1.1.1) Xy(x) = g(x) fk(x,s,y(s))ds, O 5 x05 e x X,

xo onde y:[x0 ,X] --4 R" é a função incógnita, X e Z um parâmetro, g:[xo ,X} e k:AXR"--4 R", A = {(x,$):xo s x 5 X}, su- ficientemente diferenciáveis. A função k é denominada núcleo e contém a funçã5 incógnita.

A EIV é de la. espécie se X = O e de 2a. espé- cie se X O.

Quando g(x) E O a EIV é dita homogênea e quan-do k(x,s,y(s)) = k(x,$)y(s) a EIV é linear.

São inúmeros os problemas de áreas tais como: Física, Biologia, Crescimento Populacional, Controle Automáti-co, etc..., que poderiam ser citados, para os quais, o modela-mento matemático leva à uma EIV.

1.2 - ALGUNS RESULTADOS DA ANÁLISE COMBINATÓRIA

Teorema 1.2.1 - [LIPSCHUTZ - 72] - Se n e p são números intei-ros comnkpkOonde,

(1.2.1) n! ( IP P!(n -

então:

n! n r!p! p !' j=1

(1.2.4) n,

(1.2.2)

e

;

- combinados

(;)

P)

68]

=

-

n -

fn + p p +

Chama-se a pl,

+ 1). 1

coeficiente pz , ..., e, p ,

o

multino- o número

(1.2.3) i=0

Definição 1.2.1 [LIU miai de n elementos, real obtido por:

onde os p. são inteiros não negativos.

O coeficiente multinomial representa o número de n-permutações de n objetos não necessariamente todos dis-tintos. Especificamente estes, são agrupados em pi objetos do 12 tipo, p2 objetos do 22 tipo e,... 'k objetos do k-ésimo ti-po.

1_3 - RESULTADOS DA ANÁLISE MATEMÁTICA

Teorema 1.3.1 - [PISKUNOV - 83] - Se f e g são -func8es de R em R e de classe Cfl , então a n-ésima derivada da função produto f(x)g(x) em relação à x é dado por:

(1.3.1) p. =12

n-9) (x)g' > (x),

COM

(f(x)g(x))'°'= f(x)g(x), f'°> (x) = f(x) e

g""(x) = g(x). o

A fórmula (1.3.1) é denominada la. Fórmula de Leibniz.

provar que: 1

(4.4.29) jerwmde - r4ptt)+1,

O para O 5 p(t) 5 p-I e „min{q-i,p-p(t)-a} então des- de que em (4.4.14) d = q (assim, para p(t) q+1, tem-se p-p(t)-1 5 q-1), também se estará provando (4.4.14). Além do mais, (4.4.10) e (4.4.29) implicam em (4.4.12). Na verdade. neste caso, para p(t) 5 q o polinômio w(e)(t) - e(t) de grau menor ou igual a q, está no núcleo doe q+1 funcionais linear-mente independentes sobre n e assim, ele deve ser identica-mente nulo. Para se provar (4.4.29), considere uma P-Arvore t e VA, tal que o 5 p(t)5 p-L e um inteiro r, COM O 5 r

nnn{q-1,p-p(t)-1}..

Multiplicando (4.4.8) por erde e integrando para e e [0,1], vem:

1 1 1

ferw(e)(t)de = ler (e)wi (t)]de =Djer w, (e)dejwi. (t),

t1 O O • = 1=10 r+I

Vx n=1

ECATA,w,(t), onde é usada a

segunda equação de (4.4.28). Assim,

+

(4.4.30) jerw(e)(t)de = o

[ (AT) W] • 41 - r+1,nY: L L n=1 i=1

(t).

Para n = 42”..,r+s, define-se a P-Arvore t := [ [... [t]...]] e VA com p(t) = p(t) + n p,

n la a a

n vezes ou seja a P-Arvore:

77

t = [t] 1 a t= [t 2 a I

t= [t 3 n a n-1

Assim,

W(tn) = P(t) 4- n)...(p(t) 4" ZW(t) 1:)rt!,X)"I":r31j1

j=1 1=1

p

m=1 n=1 x=1 z=1

M 4- W(t ) — (P n p(t)! !Z [Gx -)wi t )1(i. ( t )

=1 usando (4.2.23).

Assim, assumindo que o método (4.1.2) tem ordem p, devemos ter W(t) = 1 e portanto:

(4.4.31) ):[(AT);] twt(t) _ (p((ãtVr)t.

i=1 Substituindo esta expressão em (4.4.30), vem:

1 r+1 lerW(0)(t)de =yjik. p(t)!

r+1,n (p(t) n)!

O n=I

1 p(t)+T41 '

e isto completa a prova. e

4.5 - APROXIMAÇOES PARA A CAUDA

Tal como em [HARIER - 83], [HOUWEN - 80] e [HOUWEN - 81], diferentes tipos de aproximações numéricas para a cauda F (x) têm sido propostas. Estas basicamente, podem ser divididas em duas classes de métodos: Estendidos e Mistos. Aqui, será apresentado um novo tipo de aproximação para Fn(x), distinto daquele dado por (3.1.8), usando para tal, as ENCe

usando (4.4.25),

78