Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Programa de Mestrado Profissional em Matemática em Rede Nacional, 2016. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2016-08-01T14:28:14Z No. of bitstreams: 1 2016_AnesioAmanciodeAraujo.pdf: 1836184 bytes, checksum: 9857c1137e3cce06b088698dd4b77ea7 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2016-08-02T17:16:56Z (GMT) No. of bitstreams: 1 2016_AnesioAmanciodeAraujo.pdf: 1836184 bytes, checksum: 9857c1137e3cce06b088698dd4b77ea7 (MD5) / Made available in DSpace on 2016-08-02T17:16:56Z (GMT). No. of bitstreams: 1 2016_AnesioAmanciodeAraujo.pdf: 1836184 bytes, checksum: 9857c1137e3cce06b088698dd4b77ea7 (MD5) / Este trabalho trata do Teorema de Pitágoras, um conteúdo de grande importância na Educação Básica. Com o passar dos tempos foi bastante explorado por muitos artistas e admiradores desta ciência. Com ênfase na formação de professores atuantes nesta disciplina, apresenta a história de Pitágoras e algumas demonstrações de seu teorema, as quais foram retiradas do acervo reunido por Elisha Scott Loomis em uma publicação datada de 1940 e, ainda, algumas aplicações que foram dirigidas a um grupo de alunos de uma escola do Ensino Médio. _______________________________________________________________________________________________ ABSTRACT / This work approaches the Pythagorean Theorem, a matter of great importance on Basic Education. Throughout the years, it has been widely explored by many artists and admirers of this science. Emphasizing the formation of the teachers who work with this discipline, it presents the Pythagoras’s history and some demonstrations of his theorem, which were extracted from the collection united by Elisha Scott Loomis in a publication from 1940. Furthermore, it showcases applications that have been addressed to a group a High School students.

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, 2015. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2015-11-20T15:59:18Z No. of bitstreams: 1 2015_JoséCarlosdeOliveiraJunior.pdf: 585340 bytes, checksum: c3c6b263a9844a065ed6941adcc707b8 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2016-05-12T21:17:39Z (GMT) No. of bitstreams: 1 2015_JoséCarlosdeOliveiraJunior.pdf: 585340 bytes, checksum: c3c6b263a9844a065ed6941adcc707b8 (MD5) / Made available in DSpace on 2016-05-12T21:17:39Z (GMT). No. of bitstreams: 1 2015_JoséCarlosdeOliveiraJunior.pdf: 585340 bytes, checksum: c3c6b263a9844a065ed6941adcc707b8 (MD5) / Neste trabalho, consideramos o problema autônomo {(-∆u+V(x)u=f(u) em R^N,@u∈H^1 (R^N)\\{0},)┤ em que N≥3, a função V é não periódica, radialmente simétrica e muda de sinal e a não linearidade f é assintoticamente linear. Além disso, impomos que V possui um limite positivo no infinito e que o espectro do operador L≔-∆+V tem ínfimo negativo. Sob essas condições, baseando-se em interações entre soluções transladadas do problema no infinito associado, é possível mostrar que tal problema satisfaz a geometria do teorema de linking clássico e garantir a existência de uma solução fraca não trivial. Em seguida, estabelecemos a existência de uma solução não trivial para o problema não autônomo {(-∆u+V(x)u=f(x,u) em R^N,@u∈H^1 (R^N)\\{0},)┤ sob hipóteses similares ao problema anterior, admitindo também que f(x,u)=f(|x|,u) dentre outras condições. Aplicamos novamente o teorema de linking para garantir que tal problema possui uma solução não trivial. Por fim, provamos que o problema quasilinear {(-∆u+V(x)u-u∆(u^2)=g(x,u) em R^3,@u∈H^1 (R^3)\\{0},)┤ em que o potencial V muda de sinal, podendo ser não limitado inferiormente, e a não linearidade g(x,u), quando |x|→∞, possui um certo tipo de monotonicidade, possui uma solução não trivial. A existência de tal solução é provada por meio de uma mudança de variável que transforma o problema num problema semilinear, nos permitindo, assim, empregar o teorema do passo da montanha combinado com o lema splitting. / In this work, we consider the autonomous problem {(-∆u+V(x)u=f(u) em R^N,@u∈H^1 (R^N)\\{0},)┤ where N≥3, V is a non-periodic radially symmetric function that changes sign and the nonlinearity f is asymptotically linear. Furthermore, we impose that V has a positive limit at infinity and the spectrum of the operator L≔-∆+V has negative infimum. Under these conditions, employing interaction between translated solutions of the problem at infinity, it is possible to show that such problem satisfies the geometry of the classical linking theorem and garantee the existence of a nontrivial weak solution. After that, we establish the existence of a nontrivial weak solution for the nonautonomous problem {(-∆u+V(x)u=f(x,u) em R^N,@u∈H^1 (R^N)\\{0},)┤ under similar hyphoteses to the previous problem, assuming also that f(x,u)=f(|x|,u) among others conditions. We apply again the classical linking theorem to ensure that such problem possesses a nontrivial weak solution. Finally, we prove that the quasilinear problem {(-∆u+V(x)u-u∆(u^2)=g(x,u) em R^3,@u∈H^1 (R^3)\\{0},)┤ where the potential V changes sign and may be unbounded from below and the nonlinearity g(x,u), as|x|→∞, has a kind of monotonicity, has a nontrivial weak solution. The existence of such solution is proved by means of a change of variables that makes the problem become a semilinear problem and hence allow us apply the mountain pass theorem combined with splitting lemma.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Civil e Ambiental, 2015. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2016-01-28T12:51:43Z No. of bitstreams: 1 2015_VicenteGeraldoOliveiraJunior.pdf: 3174270 bytes, checksum: 5a8301287c4e5a62f8de300077f6ee95 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2016-03-23T12:06:06Z (GMT) No. of bitstreams: 1 2015_VicenteGeraldoOliveiraJunior.pdf: 3174270 bytes, checksum: 5a8301287c4e5a62f8de300077f6ee95 (MD5) / Made available in DSpace on 2016-03-23T12:06:06Z (GMT). No. of bitstreams: 1 2015_VicenteGeraldoOliveiraJunior.pdf: 3174270 bytes, checksum: 5a8301287c4e5a62f8de300077f6ee95 (MD5) / Este trabalho trata sobre a formulação local de métodos sem malha aplicados a problemas da elasticidade plana. A base teórica para o desenvolvimento das formulações fundamenta-se em princípios energéticos variacionais largamente utilizados em teoria das estruturas. A equação dos resíduos ponderados é estabelecia para um subdomínio nodal compacto e arbitrário, podendo ser interpretada como uma forma local do conhecido teorema do trabalho. Este estabelece uma relação de energia entre um campo de tensões estaticamente admissível e um campo de deformações cinematicamente admissível de forma independente, fato que possibilita a criação de diferentes formulações sem a necessidade de malha. Nesta dissertação, os métodos sem malha locais são estabelecidos pela especificação de um campo de deslocamentos cinematicamente admissível. Para a primeira formulação apresentada, define-se um campo de deslocamentos admissíveis associado a um movimento de corpo rígido translacional arbitrário, consequentemente anulando o termo do trabalho interno. Assim, a primeira formulação é função apenas de integrais regulares no contorno do subdomínio nodal, que revela-se como um dos axiomas do princípio de Euler e Cauchy. Já para a segunda formulação apresentada, estabelece-se um campo de deslocamentos admissíveis definido em termos de funções generalizadas, especificamente funções seccionalmente contínuas, cujo objetivo é eliminar a integração do processo de construção da matriz de rigidez. O método dos mínimos quadrados móveis (MMQM) é utilizado para construir a aproximação do campo elástico, em ambas as formulações, a partir dos nós da discretização do domínio. Dois problemas clássicos da teoria da elasticidade são analisados de forma a aferir a acurácia e eficiência das formulações implementadas. Os resultados obtidos neste trabalho apresentam ótima concordância com as soluções analíticas, atestando que a formulação cinemática local constitui uma base teórica confiável e robusta de métodos sem malha, no contexto da teoria das estruturas. / This dissertation is concerned with the formulation of local meshfree methods in elastostatics, for the solution of two-dimensional problems. The formulations are derived in the framework of the theory of structures, where the variational energetic principles have become the theoretical basis of numerical methods. Local meshfree methods are derived through a weighted residual formulation which leads to a local weak form that is the well known work theorem. In an arbitrary local region, the work theorem establishes an energy relationship between a statically-admissible stress field and an independent kinematically-admissible strain field. The independence of the two fields allows the generation of different meshless formulations. In this paper, two new formulations are derived in the set of kinematically-admissible strain fields. In the first formulation, the kinematically-admissible strain field is chosen as the one corresponding to an arbitrary rigid-body displacement; as a consequence, the domain term is canceled out, in the local form of the work theorem, leaving only regular boundary terms. On the other hand, the second formulation defines the kinematically-admissible strain field as a generalized function, generated by a piecewise continuous displacement field which leads to an integration-free formulation. The moving least squares (MLS) approximation of the elastic field is used in this paper to implement both local meshless formulations. Since local regions are independent from each other, the modeling strategy of local meshfree formulations has the possibility of using simultaneously different formulations, conveniently defined, in the same problem. Two problems were analyzed with these techniques, in order to assess the accuracy and efficiency of the formulations. The results obtained in this work are in perfect agreement with those of the analytical solutions. The accuracy and efficiency of the implementations described herein make this a reliable and robust formulation of local meshfree methods, in the framework of the theory of structures.

Orientadora: Sidineia Barrozo / Banca: Northon Canevari Leme Penteado / Banca: Simone Daniela Sartório / Resumo: Este trabalho realiza um estudo sobre o famoso Teorema de Pitágoras, abrangendo algumas demonstrações, aplicações e o desenvolvimento de um objeto de aprendizagem, cujo objetivo é auxiliar, de modo lúdico, na compreensão geométrica do Teorema no ensino básico. Para que as demonstrações sejam melhor compreendidas, será apresentada a parte da teoria da geometria dos triângulos necessária para o entendimento do estudo em questão. Assim, este trabalho será dividido em quatro partes: Um breve histórico; Conceitos de Geometria; Teorema de Pitágoras; Objetos de Aprendizagem. Um breve histórico: apresenta os aspectos losó cos, culturais e históricos que in uenciaram diversas civilizações em decorrência do teorema. Conceitos de Geometria: trata de propriedades e conceitos básicos da geometria, em especial a geometria dos triângulos, essenciais no desenvolvimento desencadeado pela teoria. Teorema de Pitágoras: apresenta demonstrações e resultados do teorema, ou em decorrência deste. Objeto de Aprendizagem: abrange aspectos teóricos e práticos na elaboração de um Objeto de Aprendizagem escrito em Flash / Abstract: This research studies the famous Pythagorean theorem, including some demonstrations, applications and the development of a learning object. The main purpose of this learning object is to help students from basic education with the geometric comprehension of the theorem in a ludic way. The part of the theory of the angles geometry necessary to the understanding of this study will be presented, so the demonstrations can be better understood. This work will be divided in four parts: A brief history; Geometric Concepts; Pythagorean Theorem; Learning Objects. A brief history presents the philosophical, cultural and historical aspects that in uenced many civilizations as a result of the theorem. Geometric Concepts is about the properties and the basic concepts of the geometry, especially the triangle geometry, which is essential to the development unleashed by the theory. Pythagorean Theorem presents demonstrations and results of the theorem or that are resulting from it. Learning Object covers the theoretical and practical aspects in the development of a learning object created in Flash / Mestre

Orientador: Maria Aparecida Viggiani Bicudo / Banca: Fábio Maia Bertato / Banca: Irineu Bicudo / Banca: Orlando de Andrade Figueiredo / Banca: Gustavo Barbosa / Resumo: Apresentamos nesta tese uma proposta de inserção do tema teorema da incompletude de Gödel em cursos de Licenciatura em Matemática. A interrogação norteadora foi: como sentidos e significados do teorema da incompletude de Gödel podem ser atualizados em cursos de Licenciatura em Matemática? Na busca de elaborarmos uma resposta para essa questão, apresentamos o cenário matemático presente à época do surgimento deste teorema, expondo-o como a resposta negativa para o projeto do Formalismo que objetivava formalizar toda a Matemática a partir da aritmética de Peano. Além disso, trazemos no contexto, as outras duas correntes filosóficas, Logicismo e Intuicionismo, e os motivos que impossibilitaram o completamento de seus projetos, que semelhantemente ao Formalismo buscaram fundamentar a Matemática sob outras bases, a saber, a Lógica e os constructos finitistas, respectivamente. Assim, explicitamos que teorema da incompletude de Gödel aparece oferecendo resposta negativa à questão da consistência da aritmética, que era um problema para a Matemática na época, estabelecendo uma barreira intransponível para a demonstração dessa consistência, da qual dependia o sucesso do Formalismo e, consequentemente, a fundamentação completa da Matemática no ideal dos formalistas. Num segundo momento, focamos na demonstração deste teorema expondo-a em duas versões distintas, que para nós se nos mostraram apropriadas para serem trabalhadas em cursos de Licenciatura em Matemática. Uma, como possibilidad... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: In this thesis we present a proposal to insert Gödel's incompleteness theorem in Mathematics Education undergraduate courses. The main research question guiding this investigation is: How can the senses and meanings of Gödel's incompleteness theorem be updated in Mathematics Education undergraduate courses? In answering the research question, we start by presenting the mathematical scenario from the time when the theorem emerged; this scenario proposed a negative response to the project of Formalism, which aimed to formalize all Mathematics based upon Peano's arithmetic. We also describe Logicism and Intuitionism, focusing on reasons that prevented the completion of these two projects which, in similarly to Formalism, were sought to support mathematics under other bases of Logic and finitists constructs. Gödel's incompleteness theorem, which offers a negative answer to the issue of arithmetic consistency, was a problem for Mathematics at that time, as the Mathematical field was passing though the challenge of demonstrating its consistency by depending upon the success of Formalism and upon the Mathematics' rationale grounded in formalists' ideal. We present the proof of Gödel's theorem by focusing on its two different versions, both being accessible and appropriate to be explored in Mathematics Education undergraduate courses. In the first one, the reader will have a chance to follow the details of the proof as developed by Gödel in 1931. The intention here is to expose Gödel' ideas used at the time, as well as to clarify understanding of the proof. In the second one, the reader will be familiarized with another proof that validates the incompleteness theorem, presenting it in its formal version. The intention here is to highlight Gödel's numbering experience and the construction of undecidable sentence, and to present the formal ... (Complete abstract electronic access below) / Doutor

Orientador: Carina Alves / Banca: Marta Cilene Gadotti / Banca: Cristiano Torezzan / Resumo: A procura pela solução de alguns problemas relevantes, ou ainda, de equações, têm sido uma fonte de inspiração para ampliar os conjuntos numéricos. Quanto ao conjunto dos números complexos, um importante resultado é que todo polinômio de grau n (maior ou igual a 1) e com coeficientes complexos tem n raízes complexas. De modo geral, o presente trabalho tem o objetivo de contextualizar algumas aplicações das raízes da unidade na matemática. Apresentamos sua aplicação em um caso particular do Teorema de Dirichlet, na construção de reticulados, cuja utilidade está ligada a problemas de transmissão de sinal, e na história da resolução do Último Teorema de Fermat / Abstract: The search for the solution of some relevant problems, or even of equations, has been a source of inspiration to extend the numerical sets. As for the set of complex numbers, an important result is that every polynomial of degree n (bigger or equal 1) and with complex coefficients has n complex roots. In general, the present work aims to contextualize some applications of the roots of unit in mathematics. We present its application in a particular case of the Dirichlet Theorem, in the construction of lattices, whose utility is linked to signal transmission problems, and in the history of the resolution of the Fermat's Last Theorem / Mestre

Submitted by Alexandre Machado null (alexandre_machado1902@hotmail.com) on 2016-10-13T20:54:02Z No. of bitstreams: 1 Dissertação.Alexandre.Machado.pdf: 4881715 bytes, checksum: ebcbe62b1034b5b2d73983e1e9be4d2e (MD5) / Approved for entry into archive by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br) on 2016-10-19T17:53:23Z (GMT) No. of bitstreams: 1 machado_a_me_prud.pdf: 4881715 bytes, checksum: ebcbe62b1034b5b2d73983e1e9be4d2e (MD5) / Made available in DSpace on 2016-10-19T17:53:23Z (GMT). No. of bitstreams: 1 machado_a_me_prud.pdf: 4881715 bytes, checksum: ebcbe62b1034b5b2d73983e1e9be4d2e (MD5) Previous issue date: 2016-08-31 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O presente trabalho apresenta e prova um resultado sobre a existência e unicidade de um ponto-fixo para contrações locais sem assumir que a família de coeficientes seja uniformemente limitada por um número estritamente menor que a unidade, bem como sem restringir a cardinalidade desta família. Mais importante, mostra como este resultado de ponto-fixo pode ser aplicado a fim de estudar a existência e unicidade de soluções para equações recursivas que aparecem em economia dinâmica.

Orientador: Geraldo Nunes Silva / Banca: Orizon Pereira Ferreira / Banca: Fernando Manuel F. Lobo Pereira / Resumo: O objetivo deste trabalho é o estudo do sistema de controle impulsivo de [Wolenski e šZabi'c 2007] para o caso em que o sistema é dado por uma igualdade e modificado pela adição de dois controles abstratos. Tal estudo foi feito utilizando duas abordagens. Na primeira, reparametrizamos o sistema inicial a partir da função distribuição relacionada à medida atômica e, através da discretização de Euler do sistema reparametrizado, obtemos uma sequência de soluções que converge no gráfico para a solução do sistema original, sob algumas hipóteses. Na segunda abordagem, definimos um novo sistema associado a uma sequência de medidas absolutamente contínuas que converge no gráfico para a medida atômica. A partir desse novo sistema, obtemos uma sequência de soluções com a propriedade de convergência no gráfico da solução do sistema original / Abstract: The aim of this work is to study the impulsive control system of [ Wolenski e šZabic 2007] to the case where system is given by an equality and modified by addition of two abstract controls. The study was done using two approaches. At first, we've reparameterized the initial system from distribution function related to atomic measure and, through Euler's discretization of reparameterized system, we've obtained a sequence of solutions which graph converge to the solution of original system, under some hypothesis. In the second approach, we've defined a new system associated with a sequence of absolutely continuous measures which graph converge to atomic measure. From this new system, we've obtained a sequence of solutions with the graph convergence prop erty of the solution of the original system / Mestre

Made available in DSpace on 2013-08-07T18:52:36Z (GMT). No. of bitstreams: 1 000319835-Texto+Completo-0.pdf: 1326146 bytes, checksum: e75857947d277cd38cab46eaac2be7cd (MD5) Previous issue date: 2004 / This study aims to present an alternative teaching/learning method for the use of pedagogical material in order to better understand algebra by means of Pythagoras’theorem; this may contribute to overcome some teaching difficulties as well as to lead students to connect it to their daily experiencies. This practice has been developed in the form of workshop, a procedure by which the work is realized by cooperative groups using concrete material and exploring daily life situations, intermingling theory and practice. The work has been executed at the Centro Educacional Dom Bosco, in the city of Erechim, RS. The sample was constituted by ten subjects who worked during two months, in a total of sixteen hours, eight meetings of two hours each. Special algebraic activities with Pythagoras’theorem have been designed by using didactic resources and problemsolving activities based on the students reality and experience. The activities were constantly monitored in order to verify the students’ interest, participation, and involvement in the activities: the use of material and the participation in discussions. Two questionnaires have been applied, one at the beginning and another one at the end; they had the purpose to evaluate the learning of the concepts under study during the workshops. A great variety of activities were presented: the socialization of ideas, the comprehension and the discussion of contents, in a constantly challenging atmosphere. After reporting each workshop and analyzing the results obtained through tests and exercises, special comments were made on the interviews, on the conclusions, and on the final considerations where the increase of students during the activities was underlined; so we demonstrate that the work realized has been significant for the development of the content analyzed. / O presente trabalho tem por finalidade apresentar uma alternativa de procedimento no processo ensino-aprendizagem, objetivando proporcionar a utilização de material didático-pedagógico que possibilite uma melhor compreensão do estudo da Álgebra, a partir do Teorema de Pitágoras, contribuindo para a superação das dificuldades no ensino da mesma, bem como possibilitando que o aluno a relacione com o seu cotidiano. Esta prática foi desenvolvida em forma de Ateliês, uma alternativa de ensinoaprendizagem em que o trabalho é feito através de grupos cooperativos, usando materiais concretos e explorando situações do cotidiano, intercalando teoria e prática. O trabalho foi desenvolvido no Centro Educacional Dom, em Erechim/RS, envolvendo cerca de dez alunos, durante dois meses, totalizando oito encontros cada um de duas horas-aula. Foram elaboradas atividades sobre Álgebra e Teorema de Pitágoras, utilizando recursos didático-pedagógicos e situações problemas envolvendo a realidade dos alunos, da escola e do bairro onde ela se localiza. As atividades foram constantemente observadas para verificar o interesse, participação e envolvimento dos alunos no trabalho, no manuseio dos materiais didático-pedagógicos e nas discussões. Ainda aplicaram-se dois questionários, um no início da prática e outro no final, para avaliar a aprendizagem dos conceitos trabalhados durante os ateliês. No decorrer das práticas, oportunizou-se a promoção de experiências variadas, a socialização de idéias, a compreensão dos conteúdos tratados e debates sobre os mesmos, em um ambiente de constantes desafios e satisfações. A pós o relato das observações feitas em cada ateliê, da análise dos resultados obtidos nos testes e exercícios, encontram-se comentários sobre as entrevistas, as conclusões e considerações finais, em que se ressalta o crescimento dos alunos durante a prática, mostrando que o trabalho foi relevante para o desenvolvimento do conteúdo abordado.

Este trabalho apresenta os conceitos envolvidos na definição de um complexo elíptico sobre uma variedade compacta M e desenvolve a teoria de Hodge neste complexo. O principal resultado em questão é o teorema de Hodge. No caso mais simples, dados dois fibrados vetoriais E → M , F → M e um operador diferencial elíptico L : Γ(E) → Γ(F ), agindo nas seções destes fibrados, o teorema de Hodge garante que a dimensão de seu núcleo N(L) é finita e que podemos decompor Γ(E) = N(L) ⊕ Im(L∗), onde Im(L∗) é a imagem da adjunta de L. Para a demonstração apresentada aqui, são empregadas as propriedades dos espaços de Sobolev Hm(E) das seções de E. Certa ênfase é dada na obtenção de propriedades globais a partir de resultados locais. / This work presents concepts involved in the definition of an elliptic complex on a compact manifold M and develops the Hodge theory over this complex. The main result at hand is the Hodge theorem. In the simplest case, given two vector bundles E → M , F → M and an elliptic differential operator L : Γ(E) → Γ(F ), acting on sections of these bundles, the Hodge theorem ensures that the dimension of its kernel N(L) is finite and that we can decompose Γ(E) = N(L) ⊕ Im(L∗), where Im(L∗) is the range of the adjoint of L. In the proof presented here, we employ properties of the Sobolev spaces Hm(E) of sections of E. We give an emphasis to obtaining global properties from local results.