Neste trabalho apresentamos um estudo de uma classe de teoremas, que são variações do clássico teorema de Liouville. Este estudo irá mostrar quando uma dada função que satisfaça uma determinada inequação diferencial é constante, mostrando contraexemplos de quando as condições necessárias não são todas satisfeitas. / In this work we present a study of a class of theorems, which are variations of the classical Liouville theorem. This study will show when a given function satisfying a certain differential inequality is constant, showing counterexamples when the necessary conditions are not all satisfied.

Nesta dissertação, com base nos trabalhos [6], [5], provamos a suficiência da condição de divergência (2) para a validade do Princípio do Máximo Forte para (1), sob hipóteses ligeiramente mais gerais que em [2]. / In this dissertation, based on the works [6], [5], we prove the su ciency of the divergence condition (2) for the validity of the Strong Maximum Principle for (1), under slightly more general hypotheses than those assumed in [2].

Neste trabalho apresentamos um estudo de uma classe de teoremas, que são variações do clássico teorema de Liouville. Este estudo irá mostrar quando uma dada função que satisfaça uma determinada inequação diferencial é constante, mostrando contraexemplos de quando as condições necessárias não são todas satisfeitas. / In this work we present a study of a class of theorems, which are variations of the classical Liouville theorem. This study will show when a given function satisfying a certain differential inequality is constant, showing counterexamples when the necessary conditions are not all satisfied.

Neste trabalho apresentamos um estudo de uma classe de teoremas, que são variações do clássico teorema de Liouville. Este estudo irá mostrar quando uma dada função que satisfaça uma determinada inequação diferencial é constante, mostrando contraexemplos de quando as condições necessárias não são todas satisfeitas. / In this work we present a study of a class of theorems, which are variations of the classical Liouville theorem. This study will show when a given function satisfying a certain differential inequality is constant, showing counterexamples when the necessary conditions are not all satisfied.

Nesta dissertação, com base nos trabalhos [6], [5], provamos a suficiência da condição de divergência (2) para a validade do Princípio do Máximo Forte para (1), sob hipóteses ligeiramente mais gerais que em [2]. / In this dissertation, based on the works [6], [5], we prove the su ciency of the divergence condition (2) for the validity of the Strong Maximum Principle for (1), under slightly more general hypotheses than those assumed in [2].

Nesta dissertação, com base nos trabalhos [6], [5], provamos a suficiência da condição de divergência (2) para a validade do Princípio do Máximo Forte para (1), sob hipóteses ligeiramente mais gerais que em [2]. / In this dissertation, based on the works [6], [5], we prove the su ciency of the divergence condition (2) for the validity of the Strong Maximum Principle for (1), under slightly more general hypotheses than those assumed in [2].

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-20T00:22:11Z (GMT). No. of bitstreams: 1 187274.pdf: 1103868 bytes, checksum: 7a4c2f153a37ce6b0e967a8ab40cf70f (MD5)

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2014. / Submitted by Larissa Stefane Vieira Rodrigues (larissarodrigues@bce.unb.br) on 2014-12-09T18:47:41Z No. of bitstreams: 1 2014_RildoRibeiro.pdf: 897496 bytes, checksum: fff64f05d2b072673a9f50403928192f (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2014-12-11T18:19:25Z (GMT) No. of bitstreams: 1 2014_RildoRibeiro.pdf: 897496 bytes, checksum: fff64f05d2b072673a9f50403928192f (MD5) / Made available in DSpace on 2014-12-11T18:19:25Z (GMT). No. of bitstreams: 1 2014_RildoRibeiro.pdf: 897496 bytes, checksum: fff64f05d2b072673a9f50403928192f (MD5) / O presente trabalho tem como objetivo principal instrumentalizar estudantes e professores para a compreensão e a resolução de problemas que possam ser resolvidos usando-se as Equações Diofantinas com duas ou mais incógnitas. Para isso, foram usadas técnicas como os processos de fatoração e o uso de inequações, que são conteúdos estudados pelos professores do Ensino Fundamental e Médio. Utilizou-se, para isso a apresentação de vários problemas resolvidos para servirem de objeto de estudo por professores e alunos. É apresentada, também, uma introdução à Teoria dos Números, para uma melhor compreensão da resolução das Equações Diofantinas Lineares por meio de exemplos lúdicos e didáticos que estimulam o prazer de estudar Matemática. A conclusão desse trabalho enfatiza a importância da interpretação algébrica e geométrica das Equações Diofantinas Lineares. Ressalta ainda, que a introdução à resolução de problemas dessa área não necessita de conhecimentos avançados, podendo, então, ser feito no Ensino Médio, propiciando, assim, ao estudante o desenvolvimento de suas habilidades de raciocínio. _________________________________________________________________________________ ABSTRACT / The main object of the present work aims to equip students and teachers for the understanding and the solution of problems that can be solved by using the Diophantine equations with two or more unknowns. Techniques of factoring and using of inequalities were used as contents studied by teachers in elementary and high school. For this study, it was used the presentation of several issues solved to serve as an object of study for teachers and students. It also presents an introduction to the Theory of Numbers, for a better understanding of the resolution of linear Diophantine equations using it for ludic and educational examples that stimulate the pleasant in mathematics studies. The conclusion of this study emphasizes the importance of algebraic and geometric interpretation of linear Diophantine equations. It also highlights that the introduction of solving problems in this area does not need advanced knowledge, which can be done in high school, allowing students to develop their reasoning skills.

Orientador: Cristiano Torezzan / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-15T15:05:42Z (GMT). No. of bitstreams: 1 Monticeli_AndreRodrigues_M.pdf: 7043231 bytes, checksum: 683696a5c1b284a08a9d19c54647edaa (MD5) Previous issue date: 2010 / Resumo: Neste trabalho abordamos o problema de descrever o conjunto solução de um sistema de inequações lineares. Este problema está fortemente relacionado com o problema clássico da enumeração de vértices de um poliedro. Descrevemos o método de Fourier-Motzkin que pode ser utilizado para eliminar variáveis de um sistema de inequações lineares e projetar a região de solução num espaço de dimensão menor. Mostramos como o problema da enumeração de vértices pode ser convertido em um problema de encontrar o fecho convexo do conjunto de pontos dual ao sistema de inequações lineares, uma vez encontrado um ponto interior factível. Alguns algoritmos para o fecho convexo de um conjunto finito de pontos e também para encontrar um ponto interior factível são estudados. Nosso interesse, além de listar os vértices e as faces é também visualizar a região de solução utilizando um programa computacional. Para tanto propomos um método que constrói a lista dos vértices e faces do poliedro definido por um dado sistema de inequações lineares e grava o resultado num arquivo de texto puro com extensão obj, que é compatível com os principais softwares de visualização gráfica 3D. O método foi implementado no Octave e diversos testes foram feitos, analisando o custo computacional e possíveis dificuldades que podem surgir devido a erros numéricos ou falta de memória / Abstract: In this work we approach the problem of describing the solution of a system of linear inequalities. This problem is closely related to the classical problem known as vertex enumeration. We describe the method of Fourier-Motzkin, that can be used to eliminate variables in a system of linear inequalities, projecting its solution in a lower dimensional space. We show how the vertex enumeration problem can be converted into an equivalent problem of finding the convex hull of a set of dual points, once found a feasible interior point. Some algorithms for convex hull and also for finding a feasible interior point are studied. Our interest is not only to store the vertices and faces but also visualize the correspondent polyhedron using a computer graphics software. In this way we propose a method that stores the polyhedron's vertices and faces and output the results into a plain text _le with extension obj, which is a geometric definition file format that can be opened with all major 3D graphics software. The method was implemented in Octave and several tests were made, analyzing the computational cost and possible difficulties that may arise due to numerical errors or memory requirements / Mestrado / Matematica / Mestre em Matemática

Nesta tese apresentamos duas estratégias para resolver o problema de job-shop flexível com o objetivo de minimizar o makespan. A primeira estratégia utiliza um algoritmo branch and cut (B&C) e a segunda abordagens matheuristics. O algoritmo B&C utiliza novas classes de inequações válidas, originalmente formulada para o problema de job-shop e estendida para o problema em questão. Para que as inequações válidas sejam eficientes, o modelo proposto por Birgin et al, (2014) (A milp model for an extended version of the fexible job shop problem. Optimization Letters, Springer, v. 8, n. 4, 1417-1431), é reformulado (MILP-2). A segunda estratégia utiliza as matheuristcs local branching e diversification, refining and tight-refining. Os experimentos computacionais mostraram que a inclusão dos planos de corte melhoram a relaxação do modelo MILP-2 e a qualidade das soluções. O algoritmo B&C reduziu o gap e o número de nós explorados para uma grande quantidade de instâncias. As abordagens matheuristics tiveram um excelente desempenho. Do total de 59 instâncias analisadas, somente em 3 problemas a resolução do modelo MILP-1 obteve melhores resultados do que as abordagens matheuristcs / This thesis proposes two approaches to solve the flexible job-shop scheduling problem to minimize the makespan. The first strategy uses a branch and cut algorithm (B&C) and the second approach is based on matheuristics. The B&C algorithm uses new classes of valid inequalities, originally formulated for job-shop scheduling problems and extended to the problem at hand. The second approach uses the matheuristics local branching and diversification, refining and tight-refining. For all valid inequalities to be effective, the precedence variable based model proposed by Birgin et al, (2014) (A milp model for an extended version of the fexible job shop problem. Optimization Letters, Springer, v. 8, n. 4, 1417-1431), is reformulated (MILP-2). The computational experiments showed that the inclusion of cutting planes tightened the linear programming relaxations and improved the quality of solutions. B&C algorithm reduced the gap value and the number of nodes explored in a large number of instances. The matheuristics approaches had an excellent performance. From 59 instances analized, MILP-1-Gurobi showed better results than matheuristics approaches in only 3 problems