Made available in DSpace on 2015-04-22T22:16:16Z (GMT). No. of bitstreams: 1 Manoel Ricardo.pdf: 483383 bytes, checksum: c45cc5ce5a4dca174bc261b7106c37d5 (MD5) Previous issue date: 2011-06-03 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / In this paper a detailed study is made of accurate estimates for the radius of the ball of convergence of Newton s method and ball uniqueness of solution of equations in Banach spaces, we added an estimate for the radius of the ball of the inverse function theorem. This study follows the ideas discussed in the work of Wang [30, 31]. / Nesta dissertação é feito um estudo detalhado das estimativas exatas para o raio da bola de convergência do método de Newton e da bola de unicidade de solução de equações em espaços de Banach, acrescentamos ainda uma estimativa para o raio da bola do teorema da função inversa. Este estudo segue as idéias abordadas nos trabalhos de Wang [30, 31].

Submitted by Rosivalda Pereira (mrs.pereira@ufma.br) on 2017-05-25T18:35:51Z No. of bitstreams: 1 JoaoBatistaCoelho.pdf: 361466 bytes, checksum: 8dfadcca6698d693f11831f28755fa34 (MD5) / Made available in DSpace on 2017-05-25T18:35:51Z (GMT). No. of bitstreams: 1 JoaoBatistaCoelho.pdf: 361466 bytes, checksum: 8dfadcca6698d693f11831f28755fa34 (MD5) Previous issue date: 2017-04-25 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / In this paper, we discussed the article ”The Semilinear Heat Equation with a Localized Nonlinear Source and Non-Continuous Initial Data”due to Lucas Ferreira and Elder Villamizar-Roa. In this paper they consider the Cauchy problem for the Semilinear Heat Equation with a nonlinear term presenting a nonlinear source centered on a closed region of a spatial domain. Under these conditions, they prove that this problem admits local solution and that this solution depends continuously on the initial data and is positive. / Neste trabalho, dissertamos sobre o artigo “A Semilinear Heat Equation with a Localized Nonlinear Source and Non-continuos Initial Data” devido a Lucas Ferreira e Elder Villamizar-Roa. Neste artigo eles consideram o problema de Cauchy para a Equação do Calor semilinear com um termo não linear apresentando uma fonte não linear centrada em uma região fechada de um domínio espacial. Nestas condições, eles provam que este problema admite solução local e que esta solução depende continuamente dos dados iniciais e é positiva.

Submitted by Rógério Piva (rogeriopiva@gmail.com) on 2017-01-03T10:16:00Z No. of bitstreams: 1 Rogerio Piva Modelos Matematicos e Equações Diferenciais Mestrado Profmat 2016.pdf: 2156240 bytes, checksum: c6d2e8137d779a7c2113b1bffb78fa9a (MD5) / Rejected by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br), reason: Solicitamos que realize uma nova submissão seguindo as orientações abaixo: O texto do trabalho está desconfigurado, por favor verifique o problema e realize uma nova submissão contendo o arquivo correto. on 2017-01-05T17:24:03Z (GMT) / Submitted by Rógério Piva (rogeriopiva@gmail.com) on 2017-01-05T19:41:26Z No. of bitstreams: 2 Rogerio Piva Modelos Matematicos e Equações Diferenciais Mestrado Profmat 2016.pdf: 2156240 bytes, checksum: c6d2e8137d779a7c2113b1bffb78fa9a (MD5) Rogerio Piva Modelos Matematicos e Equações Diferenciais Mestrado Profmat 2016.pdf: 2156232 bytes, checksum: 981b887ef6aad77ddc0c9e32a67e9f77 (MD5) / Approved for entry into archive by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br) on 2017-01-06T18:46:42Z (GMT) No. of bitstreams: 1 piva_r_me_rcla.pdf: 2156240 bytes, checksum: c6d2e8137d779a7c2113b1bffb78fa9a (MD5) / Made available in DSpace on 2017-01-06T18:46:42Z (GMT). No. of bitstreams: 1 piva_r_me_rcla.pdf: 2156240 bytes, checksum: c6d2e8137d779a7c2113b1bffb78fa9a (MD5) Previous issue date: 2016-12-15 / As equações diferenciais ordinárias constituem ferramenta importante na modelagem de alguns problemas, sejam físicos, ecológicos, econômicos, etc. Neste trabalho são apresentados os resultados clássicos de equações diferenciais ordinárias, são realizadas algumas aplicações e finalmente é apresentada na proposta didática para o ensino médio em como a derivada de uma função pode ser calculada de uma forma intuitiva.

Made available in DSpace on 2015-05-15T11:46:01Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 399143 bytes, checksum: c01bd5bd301e4fd9f2f6174b0e8431e0 (MD5) Previous issue date: 2011-09-06 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this work we study the semilinear elliptic equation -u + jujp + f (x) = 0 in Rn, where n - 3, p > n-(n - - 2) and f is a Hölder continuous function. Assuming a growth condition on f at in nity we discuss the existence of classical solution. Furthermore, we prove a comparison principle and as a consequence we obtain results of non-existence and uniqueness of classical solution in a certain class of functions. To get the result of existence, we use the Schauder Fixed Point Theorem. The non-existence and uniqueness of solution is obtained by using the method of sub and supersolution with a priori integral estimates. / Neste trabalho estudamos a equação elíptica semilinear -u + jujp + f (x) = 0 em Rn, onde n - 3, p > n-(n - - 2) e f uma função Hölder contínua. Assumindo alguma condição de crescimento em f no infinito, discutiremos a existência de solução clássica. Além disso, mostraremos um princípio de comparação e como consequência obtemos resultados de não existência e de unicidade de solução clássica em uma certa classe de funções. Para obtermos o resultado de existência, usaremos o Teorema do Ponto Fixo de Schauder. A não existência e unicidade de solução é obtida usando o método de sub e supersolução juntamente com estimativas integrais a priori.

Submitted by Danielle Karla Martins Silva (danielle.martins@ufpe.br) on 2015-03-12T15:54:27Z No. of bitstreams: 2 TESE Felipe Wergete Cruz.pdf: 1009914 bytes, checksum: 93904b7c1cb0d9b863c2e769d303caa4 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-12T15:54:27Z (GMT). No. of bitstreams: 2 TESE Felipe Wergete Cruz.pdf: 1009914 bytes, checksum: 93904b7c1cb0d9b863c2e769d303caa4 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014 / CAPES; CNPq / Estudamos alguns aspectos teóricos das equações que modelam o movimento de fluidos assimétricos (micropolares) incompressíveis com densidade variável. Mais especificamente, obtivemos estimativas de erro, uniformes no tempo, para aproximações semi-Galerkin de soluções. Também estabelecemos a convergência uniforme da solução do problema viscoso para a solução do problema não-viscoso, quando as viscosidades tendem a zero e, por fim, provamos a existência de soluções fortes (e semi-fortes) em domínios tridimensionais ilimitados.

Made available in DSpace on 2014-06-12T18:28:19Z (GMT). No. of bitstreams: 2 arquivo4243_1.pdf: 672080 bytes, checksum: 6deff6a05389ae357d763b61ce1acd73 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Obtivemos a boa-colocação global de soluções pequenas em espaços de Marcinkiewicz L(p1;¥) £L(p2;¥) para um sistema semilinear. Soluções brandas são obtidas em espaços com índices certos para permitir a existência de solução auto-similar. Usando nossas estimativas dos termos de acoplamento não lineares, provamos a unicidade de soluções na classe C([0;¥);Lp1(Rn)£Lp2(Rn)); sem qualquer hipótese de pequenez. Provamos algumas estimativas de decaimento e analisamos o comportamento assintótico das soluções. Estudamos também o problema de Cauchy para a equação da onda semilinear, com dados singulares em espaços de Marcinkiewicz, provando um resultado de boa-colocação local e decaimento próximo de t = 0

[pt] A presente tese defende uma teoria deflacionista de descrições definidas singulares. De acordo com essa teoria, um proferimento de uma frase da forma o F é G expressará simplesmente a proposição geral que pelo menos um F é G. A tese discorre sobre as teorias de descrições definidas de Russell e de Donnellan, com o propósito de mostrar que teorias unitárias (e quantificacionais) de descrições definidas são preferíveis a teorias da ambiguidade. A tese examina os principais argumentos em favor da interpretação semântica do uso referencial e conclui que eles são insatisfatórios. Apoiando-se em considerações gricianas, a tese também defende que teorias deflacionistas de descrições definidas são preferíveis a teorias inflacionistas e que a implicação de unicidade associada a descrições definidas é, em geral, de natureza pragmática. Em particular, a tese defende que há uma versão da teoria deflacionista que é superior àquelas propostas por Szabó e por Ludlow e Segal. A tese conclui que descrições definidas são expressões de quantificação que, pace Russell, não codificam unicidade. / [en] The present thesis puts forward a deflationist theory of singular definite descriptions. According to this theory, an utterance of the F is G only expresses the proposition that at least one F is G. The thesis examines Russells theory of definite descriptions and Donnellans distinction between referential and attributive uses of definite descriptions and argues that Donnellan’s distinction is not at odds with a Russellian (i. e., unitarian and quantificational) approach to definite descriptions. Based on methodological considerations, the thesis claims that it is not necessary to postulate a distintic semantic interpretation for the referential use of definite descriptions and that these are best seen as a kind of pragmatic phenomena. However similar considerations suggest that the implication of uniqueness associated with some uses definite descriptions is not – in general - semantic either. Definite descriptions are quantificational expressions but there are no independent reasons for holding that uniqueness is part of their semantic content. Therefore an utterance of the F is G can be used to communicate that that there is at most one F despite the fact that this is not part of the proposition the utterance expresses.

Orientador: Marta Cilene Gadotti / Resumo: Este trabalho tem por objetivo o estudo da teoria básica sobre as Equações Diferenciais Funcionais com Retardamento. Enunciaremos e provaremos os resultados clássicos sobre existência e unicidade de solução. E iremos estudar a existência de soluções oscilatórias para equações autônomas escalares. / Abstract: This paper aims to study the basic theory about the Delay Differential Equations. We will enunciate and prove the classic results on existence and uniqueness of solution. And we will study the existence of oscillatory solutions for scalar autonomous equations. / Mestre

A caracterização de materiais utilizando a técnica de indentação instrumentada difundiu-se significativamente na última década, devido às melhorias dos instrumentos que permitem ensaios por esta técnica e à necessidade de se fazer ensaios em pequenos volumes de materiais, como, por exemplo, em filmes finos e materiais com superfícies modificadas por tratamentos superficiais. Neste texto, abordou-se a elaboração de um algoritmo que permita o estudo da resposta de indentação de superfícies de diferentes materiais metálicos, durante e após o contato com um indentador agudo, empregando simulações por elementos finitos e análise dimensional. Na obtenção do algoritmo analisaram-se os efeitos da formação de borda (pile-up) ou da retração (sink-in) do material indentado, o coeficiente de atrito indentador-amostra, as deformações elásticas do indentador, a geometria do indentador e a variação experimental. As relações obtidas permitiram identificar uma falta fundamental de relação única entre as propriedades mecânicas e a forma da curva de indentação para curvas com razão d r/dmax>0,9, onde d r é a profundidade residual da indentação e dmax é o deslocamento máximo do indentador durante o ensaio. Da mesma forma, concluiu-se que a relação de Sneddon tem que ser corrigida tanto pela geometria da área de contato indentador-amostra quanto pela razão entre os módulos elásticos do material e do indentador (E/Ei). Como a área de contato indentador-amostra é afetada não só pela geometria do indentador mas também pelo nível de pile-up ou sink-in nos indentadores piramidais, uma relação foi identificada entre o nível de pile-up/sink-in e o fator de correção b da equação de Sneddon para os indentadores Vickers e Berkovich. Adicionalmente, pequenas diferenças foram observadas entre as curvas P-h (onde h é a profundidade de indentação abaixo da superfície original da amostra) e as curvas P-d (onde d é o valor da aproximação mútua entre indentador e amostra durante a indentação) para um mesmo valor de módulo reduzido Er quando a razão E/Ei é grande. Assim, o módulo reduzido pode sobreestimar ou subestimar a rigidez do indentador, dependendo das propriedades do material indentado. As análises neste trabalho permitiram igualmente observar que as principais limitações na obtenção das propriedades elasto-plásticas usando a curva de indentação instrumentada vêm da falta de unicidade, seguida pela geometria do indentador, isto é, diferenças entre o cone equivalente e os piramidais Vickers e Berkovich, assim como desvios em relação à geometria ideal do indentador, o que inclui arredondamento da sua ponta. Quando não há unicidade, sabendo-se informações adicionais à curva P-d, por exemplo, o valor da área residual da indentação ou o módulo elástico, uma solução única das propriedades mecânicas pode ser obtida. Em paralelo, a variação experimental pode limitar de forma significativa a precisão no cálculo das propriedades, enquanto o atrito indentador-amostra e as deformações do indentador têm efeitos menos significativos. Em termos gerais, observa-se que as funções que compõem o algoritmo desenvolvido neste trabalho permitem: (i) predizer as curvas carga-deslocamento (curvas P-d), produto do ensaio de indentação instrumentada, para um conjunto de propriedades elasto-plásticas conhecidas; (ii) identificar quando uma mesma curva P-d pode ser obtida de mais de um conjunto de propriedades do material indentado (iii) calcular as propriedades mecânicas (dureza, módulo elástico, coeficiente de encruamento e limite de escoamento) de um material usando a curva P-d quando d r/dmax<0,8 ou faixas de propriedades de materiais quando d r/dmax>0,8 e (iv) calcular as propriedades mecânicas (dureza, módulo elástico, coeficiente de encruamento e limite de escoamento) de um material usando a curva P-d e a área residual da indentação. / The interest in material characterization using instrumented indentation techniques has significantly increased in the last decade, due to improvements in testing instruments and the need to carry out tests on small volumes of materials, such as thin films or materials with surfaces modified by other surface treatments. This work addresses the development of an algorithm to analyze the indentation response of a group of metallic materials, during and after the contact with a sharp indenter, using finite element simulations and dimensional analysis. The formulation of the algorithm considered the effects of pile-up or sink-in of the indented material around the indentation, the friction coefficient between the indenter and the sample, the elastic deformation of the indenter, and the defects of the indenter tip. An analysis considering algorithm output and experimental variation was also conducted. The results allowed identifying a fundamental lack of unique relationship between the mechanical properties and the shape of the indentation curve for indentation curves with ratio d r/dmax>0,9, where d r is the residual indentation depth and dmax is the maximum indenter displacement in the test. Similarly, results allowed concluding that Sneddons equation requires a correction by both the geometry of the contact area and the ratio between the elastic moduli of the material and the indenter (E/Ei). As the shape of contact area is affected not only by the geometry of the indenter but also by the level of pile-up or sink-in in pyramidal indenters, a relationship was observed between the level of pile-up/sink-in and the correction factor b in the Sneddons equation for Vickers and Berkovich indenters. Additionally, it was found that the deformation of the indenter is not fully incorporated into indentation data analysis by the consideration of a reduced modulus (Er). Small differences between P-h curves (where h is the indentation depth below the original surface) and P-d curves (where d is the indenter/sample mutual approach) were observed for the same Er when the ratio E/Ei is large. Thus, the reduced modulus can overestimate or underestimate the indenter stiffness, depending on the mechanical properties of the indented material. Additionally, the analysis in this work has identified that the most important limitations in mechanical properties estimation using the indentation curve arise from the lack of uniqueness, followed by deviations in indenter geometry, such as differences between equivalent cone and pyramidal Vickers or Berkovich and tip defects. When non-uniqueness is present, unique solution may be obtained with the knowledge of additional information, in conjunction with P-d data, such as the residual indentation area or the elastic modulus. Furthermore, even when a unique solution is available the experimental variation may significantly decrease the accuracy in mechanical properties estimation, whereas friction and indenter deformation have less significant effects. In general, it was observed that the proposed algorithm allows: (i) predicting the load-displacement curves P-d of instrumented indentation tests for a set of known elastic-plastic mechanical properties, (ii) identifying when the same P-d curve can be obtained from more than one set of mechanical properties of the indented material, (iii) calculating the mechanical properties (hardness, elastic modulus, yield stress and strain hardening coefficient) from P-d curves when d r/dmax<0,8 or possible ranges for each mechanical property when d r/dmax>0,8 and (iv) calculating the mechanical properties (hardness, elastic modulus, yield stress and strain hardening coefficient) from P-d curves and the knowledge of the residual indentation area.

Equações diferenciais funcionais em medida podem ser usadas como ferramentas para o estudo de modelos físicos mais próximos da realidade, por exemplo, modelos com fenômeno de \"jump\" e constituem um ramo relativamente novo de equações diferenciais. Embora esse campo tenha se desenvolvido nos últimos anos, a teoria sobre equações diferenciais funcionais em medida é escassa, com algumas classes de equações ainda não pesquisadas. Neste trabalho, vamos explorar as equações diferenciais funcionais neutras em medida com retardo infinito. Usando técnicas conhecidas na literatura, obtemos propriedades qualitativas para sua solução, como existência, unicidade e dependência contínua com relação as condições iniciais. Além disso, estudamos a controlabilidade de um sistema descrito por este tipo de equação. / Measure differential equations is a branch of differential equations area recently discovered that can be used as a tool to study physical models closer to the reality, for example, models with the phenomenon of jump. Although this field has been developed in the recent years, the theory of measure functional differential equations is still scarce, and some classes of these equations have not been described yet. Here, we will explore the neutral measure functional differential equations with infinite delay. Using techniques known in the literature, we obtain qualitative properties of their solutions, such as existence, uniqueness and continuous dependence. In addition, we study controllability for systems described by this type of equation.