Equações integrais via teoria de domínios: problemas direto e inverso
Autor(a) principal: | |
---|---|
Data de Publicação: | 2008 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da UERJ |
Texto Completo: | http://www.bdtd.uerj.br/handle/1/13661 |
Resumo: | We present a study in Domain Theory of integral equations of the form f (x) = h(x)+g Z b(x) a(x) g(x, y, f (y))dy for a0 ≤ a(x) ≤ b(x) ≤ b0 with h, a, b defined for x ∈ [a0,b0] and g defined for x, y ∈ [a0,b0], in which the right-hand side defines a contraction on the metric space of continuous realvalued functions on [a0,b0]. The starting point of this work is to revisit Interval Analysis in Domain Theory for the initial-value problem in ordinary differential equations where a solution is expressed as a fixed point of the Picard operator. With the set of real numbers interpreted as the interval domain, real-valued functions are extended to work in the space of interval-valued functions of the real variable domain. In particular, the vector field is extended in the second argument. Under these conditions, for the first time Fredholm and Volterra integral equations have solutions expressed as fixed points of a contraction mapping in terms of the splitting on interval-valued functions of the real variable domain. The measurement for interval-valued functions of the real variable domain is considered where we can asssess the convergence properties of the interval integral operator by means of the informatic derivative. The proposed techniques are applied to more general methods in ordinary differencial equations (ODEs) and partial differential equations (PDEs). For the first time, an algorithm is proposed to provide solutions to the inverse problem for Odinary Differential Equation where, given a function f , it is found a vector field v that defines a Picard operator which maps the solution f as close as possible to itself, such that the ODE f ′(x) = v(x, f (x)) admits f as either an exact or, as closely as desired, an approximate solution. |
id |
UERJ_94dc4ae6fece14ee1707472484d04a51 |
---|---|
oai_identifier_str |
oai:www.bdtd.uerj.br:1/13661 |
network_acronym_str |
UERJ |
network_name_str |
Biblioteca Digital de Teses e Dissertações da UERJ |
repository_id_str |
2903 |
spelling |
Muylaert Filho, Juarez Assumpçãohttp://lattes.cnpq.br/1662968574140519Pereira, Luis Felipe Fereshttp://lattes.cnpq.br/5415588200464028Lima, Priscila Machado Vieirahttp://lattes.cnpq.br/2704717555047499Duarte, Carlos Henrique Cabralhttp://lattes.cnpq.br/1348173907649819Oliveira, Luiz Nelio Henderson Guedes dehttp://lattes.cnpq.br/0543546857869709França, Felipe Maia Galvãohttp://lattes.cnpq.br/1097952760431187http://lattes.cnpq.br/7411232749346212Espósito Júnior, Antônio2021-01-07T14:37:31Z2009-01-202008-07-23ESPÓSITO JÚNIOR, Antônio. Equações integrais via teoria de domínios: problemas direto e inverso. 2008. 137 f. Tese (Doutorado em Modelagem Computacional) - Universidade do Estado do Rio de Janeiro, Nova Friburgo, 2008.http://www.bdtd.uerj.br/handle/1/13661We present a study in Domain Theory of integral equations of the form f (x) = h(x)+g Z b(x) a(x) g(x, y, f (y))dy for a0 ≤ a(x) ≤ b(x) ≤ b0 with h, a, b defined for x ∈ [a0,b0] and g defined for x, y ∈ [a0,b0], in which the right-hand side defines a contraction on the metric space of continuous realvalued functions on [a0,b0]. The starting point of this work is to revisit Interval Analysis in Domain Theory for the initial-value problem in ordinary differential equations where a solution is expressed as a fixed point of the Picard operator. With the set of real numbers interpreted as the interval domain, real-valued functions are extended to work in the space of interval-valued functions of the real variable domain. In particular, the vector field is extended in the second argument. Under these conditions, for the first time Fredholm and Volterra integral equations have solutions expressed as fixed points of a contraction mapping in terms of the splitting on interval-valued functions of the real variable domain. The measurement for interval-valued functions of the real variable domain is considered where we can asssess the convergence properties of the interval integral operator by means of the informatic derivative. The proposed techniques are applied to more general methods in ordinary differencial equations (ODEs) and partial differential equations (PDEs). For the first time, an algorithm is proposed to provide solutions to the inverse problem for Odinary Differential Equation where, given a function f , it is found a vector field v that defines a Picard operator which maps the solution f as close as possible to itself, such that the ODE f ′(x) = v(x, f (x)) admits f as either an exact or, as closely as desired, an approximate solution.Apresenta-se um estudo em Teoria de Domínios das equações integrais da forma geral f (x) = h(x)+g Z b(x) a(x) g(x, y, f (y))dy com h, a e b definidas para x ∈ [a0,b0], a0 ≤a(x)≤b(x)≤b0 e g definida para x, y ∈ [a0,b0], cujo lado direito define uma contração sobre o espaço métrico de funções reais contínuas limitadas. O ponto de partida desse trabalho é a reescrita da Análise Intervalar para Teoria de Domínios do problema de valor incial em equações diferenciais ordinárias que possuem solução como ponto fixo do operador de Picard. Com o conjunto dos números reais interpretados pelo Domínio Intervalar, as funções reais são estendidas para operarem no domínio de funçoes intervalares de variável real. Em particular, faz-se a extensão canônica do campo vetorial em relação à segunda variável. Nesse contexto, pela primeira vez tem-se o estudo das equações integrais de Fredholm e Volterra sobre o domínio de funções intervalares de variável real definida pelo operador integral intervalar com a participação da extensão canônica de g em relação à terceira variável. Adicionando ao domínio de funções intervalares sua função medição, efetua-se a análise da convergência do operador intervalar de Fredholm e Volterra em Teoria de Domínios com o cálculo da sua derivada informática em relação à medição no seu ponto fixo. Com a representação das funções intervalares em função passo constante a partir da partição do intervalo [a0,b0], reescrevese o algoritmo da Análise Intervalar em Teoria de Domínios com a introdução do cálculo da aproximação da extensão canônica de g e com o comprimento do intervalo da partição tendendo para zero. Estende-se essa abordagem mais completa do estudo das equações integrais na resolução de problemas de valores iniciais e valor de contorno em equações diferenciais ordinárias e parciais. Uma vez que para uma pequena variação do campo vetorial v ou do valor inicial y0 da equação diferencial f ′(x) = v(x, f (x)) com a condição inicial f (x0) = y0, pode-se ter uma solução tão próxima da solução f da equação quanto possível, formaliza-se pela primeira vez em Teoria de Domínios um algoritmo na resolução do problema inverso em que, conhecendo a função f , determina-se uma equação diferencial ordinária com o cálculo de um campo vetorial v tal que o operador de Picard associado mapeia f tão próxima quanto possível a ela mesma.Submitted by Boris Flegr (boris@uerj.br) on 2021-01-07T14:37:31Z No. of bitstreams: 1 Tese Antonio Esposito Junior BDTD.pdf: 1158968 bytes, checksum: e707cfc8205a3cc2da4126ca3a3c37f7 (MD5)Made available in DSpace on 2021-01-07T14:37:31Z (GMT). No. of bitstreams: 1 Tese Antonio Esposito Junior BDTD.pdf: 1158968 bytes, checksum: e707cfc8205a3cc2da4126ca3a3c37f7 (MD5) Previous issue date: 2008-07-23application/pdfporUniversidade do Estado do Rio de JaneiroPrograma de Pós-Graduação em Modelagem ComputacionalUERJBRCentro de Tecnologia e Ciências::Instituto PolitécnicoIntegral equationsSet theoryInterval analysis (Mathematics)Inverse problems (Differential equations)Domain theoryInterval domainFunction measurementSplittingInterval integral operatorInterval extensionInformatic derivativeEquações integraisTeoria dos conjuntosAnálise de intervalos (Matemática)Problemas inversos (Equações diferenciais)Teoria de domíniosDomínio intervalarSeparaçãoFunção mediçãoOperador integral intervalarExtensão canônicaDerivada informáticaCNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA::MATEMATICA APLICADAEquações integrais via teoria de domínios: problemas direto e inversoIntegral equations in domain theory: problems direct and inverseinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UERJinstname:Universidade do Estado do Rio de Janeiro (UERJ)instacron:UERJORIGINALTese Antonio Esposito Junior BDTD.pdfapplication/pdf1158968http://www.bdtd.uerj.br/bitstream/1/13661/1/Tese+Antonio+Esposito+Junior+BDTD.pdfe707cfc8205a3cc2da4126ca3a3c37f7MD511/136612024-02-27 15:26:52.5oai:www.bdtd.uerj.br:1/13661Biblioteca Digital de Teses e Dissertaçõeshttp://www.bdtd.uerj.br/PUBhttps://www.bdtd.uerj.br:8443/oai/requestbdtd.suporte@uerj.bropendoar:29032024-02-27T18:26:52Biblioteca Digital de Teses e Dissertações da UERJ - Universidade do Estado do Rio de Janeiro (UERJ)false |
dc.title.por.fl_str_mv |
Equações integrais via teoria de domínios: problemas direto e inverso |
dc.title.alternative.eng.fl_str_mv |
Integral equations in domain theory: problems direct and inverse |
title |
Equações integrais via teoria de domínios: problemas direto e inverso |
spellingShingle |
Equações integrais via teoria de domínios: problemas direto e inverso Espósito Júnior, Antônio Integral equations Set theory Interval analysis (Mathematics) Inverse problems (Differential equations) Domain theory Interval domain Function measurement Splitting Interval integral operator Interval extension Informatic derivative Equações integrais Teoria dos conjuntos Análise de intervalos (Matemática) Problemas inversos (Equações diferenciais) Teoria de domínios Domínio intervalar Separação Função medição Operador integral intervalar Extensão canônica Derivada informática CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA::MATEMATICA APLICADA |
title_short |
Equações integrais via teoria de domínios: problemas direto e inverso |
title_full |
Equações integrais via teoria de domínios: problemas direto e inverso |
title_fullStr |
Equações integrais via teoria de domínios: problemas direto e inverso |
title_full_unstemmed |
Equações integrais via teoria de domínios: problemas direto e inverso |
title_sort |
Equações integrais via teoria de domínios: problemas direto e inverso |
author |
Espósito Júnior, Antônio |
author_facet |
Espósito Júnior, Antônio |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
Muylaert Filho, Juarez Assumpção |
dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/1662968574140519 |
dc.contributor.referee1.fl_str_mv |
Pereira, Luis Felipe Feres |
dc.contributor.referee1Lattes.fl_str_mv |
http://lattes.cnpq.br/5415588200464028 |
dc.contributor.referee2.fl_str_mv |
Lima, Priscila Machado Vieira |
dc.contributor.referee2Lattes.fl_str_mv |
http://lattes.cnpq.br/2704717555047499 |
dc.contributor.referee3.fl_str_mv |
Duarte, Carlos Henrique Cabral |
dc.contributor.referee3Lattes.fl_str_mv |
http://lattes.cnpq.br/1348173907649819 |
dc.contributor.referee4.fl_str_mv |
Oliveira, Luiz Nelio Henderson Guedes de |
dc.contributor.referee4Lattes.fl_str_mv |
http://lattes.cnpq.br/0543546857869709 |
dc.contributor.referee5.fl_str_mv |
França, Felipe Maia Galvão |
dc.contributor.referee5Lattes.fl_str_mv |
http://lattes.cnpq.br/1097952760431187 |
dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/7411232749346212 |
dc.contributor.author.fl_str_mv |
Espósito Júnior, Antônio |
contributor_str_mv |
Muylaert Filho, Juarez Assumpção Pereira, Luis Felipe Feres Lima, Priscila Machado Vieira Duarte, Carlos Henrique Cabral Oliveira, Luiz Nelio Henderson Guedes de França, Felipe Maia Galvão |
dc.subject.eng.fl_str_mv |
Integral equations Set theory Interval analysis (Mathematics) Inverse problems (Differential equations) Domain theory Interval domain Function measurement Splitting Interval integral operator Interval extension Informatic derivative |
topic |
Integral equations Set theory Interval analysis (Mathematics) Inverse problems (Differential equations) Domain theory Interval domain Function measurement Splitting Interval integral operator Interval extension Informatic derivative Equações integrais Teoria dos conjuntos Análise de intervalos (Matemática) Problemas inversos (Equações diferenciais) Teoria de domínios Domínio intervalar Separação Função medição Operador integral intervalar Extensão canônica Derivada informática CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA::MATEMATICA APLICADA |
dc.subject.por.fl_str_mv |
Equações integrais Teoria dos conjuntos Análise de intervalos (Matemática) Problemas inversos (Equações diferenciais) Teoria de domínios Domínio intervalar Separação Função medição Operador integral intervalar Extensão canônica Derivada informática |
dc.subject.cnpq.fl_str_mv |
CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA::MATEMATICA APLICADA |
description |
We present a study in Domain Theory of integral equations of the form f (x) = h(x)+g Z b(x) a(x) g(x, y, f (y))dy for a0 ≤ a(x) ≤ b(x) ≤ b0 with h, a, b defined for x ∈ [a0,b0] and g defined for x, y ∈ [a0,b0], in which the right-hand side defines a contraction on the metric space of continuous realvalued functions on [a0,b0]. The starting point of this work is to revisit Interval Analysis in Domain Theory for the initial-value problem in ordinary differential equations where a solution is expressed as a fixed point of the Picard operator. With the set of real numbers interpreted as the interval domain, real-valued functions are extended to work in the space of interval-valued functions of the real variable domain. In particular, the vector field is extended in the second argument. Under these conditions, for the first time Fredholm and Volterra integral equations have solutions expressed as fixed points of a contraction mapping in terms of the splitting on interval-valued functions of the real variable domain. The measurement for interval-valued functions of the real variable domain is considered where we can asssess the convergence properties of the interval integral operator by means of the informatic derivative. The proposed techniques are applied to more general methods in ordinary differencial equations (ODEs) and partial differential equations (PDEs). For the first time, an algorithm is proposed to provide solutions to the inverse problem for Odinary Differential Equation where, given a function f , it is found a vector field v that defines a Picard operator which maps the solution f as close as possible to itself, such that the ODE f ′(x) = v(x, f (x)) admits f as either an exact or, as closely as desired, an approximate solution. |
publishDate |
2008 |
dc.date.issued.fl_str_mv |
2008-07-23 |
dc.date.available.fl_str_mv |
2009-01-20 |
dc.date.accessioned.fl_str_mv |
2021-01-07T14:37:31Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.citation.fl_str_mv |
ESPÓSITO JÚNIOR, Antônio. Equações integrais via teoria de domínios: problemas direto e inverso. 2008. 137 f. Tese (Doutorado em Modelagem Computacional) - Universidade do Estado do Rio de Janeiro, Nova Friburgo, 2008. |
dc.identifier.uri.fl_str_mv |
http://www.bdtd.uerj.br/handle/1/13661 |
identifier_str_mv |
ESPÓSITO JÚNIOR, Antônio. Equações integrais via teoria de domínios: problemas direto e inverso. 2008. 137 f. Tese (Doutorado em Modelagem Computacional) - Universidade do Estado do Rio de Janeiro, Nova Friburgo, 2008. |
url |
http://www.bdtd.uerj.br/handle/1/13661 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidade do Estado do Rio de Janeiro |
dc.publisher.program.fl_str_mv |
Programa de Pós-Graduação em Modelagem Computacional |
dc.publisher.initials.fl_str_mv |
UERJ |
dc.publisher.country.fl_str_mv |
BR |
dc.publisher.department.fl_str_mv |
Centro de Tecnologia e Ciências::Instituto Politécnico |
publisher.none.fl_str_mv |
Universidade do Estado do Rio de Janeiro |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da UERJ instname:Universidade do Estado do Rio de Janeiro (UERJ) instacron:UERJ |
instname_str |
Universidade do Estado do Rio de Janeiro (UERJ) |
instacron_str |
UERJ |
institution |
UERJ |
reponame_str |
Biblioteca Digital de Teses e Dissertações da UERJ |
collection |
Biblioteca Digital de Teses e Dissertações da UERJ |
bitstream.url.fl_str_mv |
http://www.bdtd.uerj.br/bitstream/1/13661/1/Tese+Antonio+Esposito+Junior+BDTD.pdf |
bitstream.checksum.fl_str_mv |
e707cfc8205a3cc2da4126ca3a3c37f7 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UERJ - Universidade do Estado do Rio de Janeiro (UERJ) |
repository.mail.fl_str_mv |
bdtd.suporte@uerj.br |
_version_ |
1792352323267198976 |