|
Descrição |
|
|
-
RONALD CARDOSO BARBOSA
-
RESULTADOS DE ESTABILIDADE E TRATAMENTO NUMÉRICO DE SISTEMAS TERMOELÁSTICOS
-
Data: 06/12/2022
-
Mostrar Resumo
-
Nesta tese consideramos dois problemas termoelásticos distintos. O primeiro trata de um sistema constituído de duas equações da onda conectadas em paralelo e acopladas à equação do calor, governada pela lei de Fourier. O segundo trata de um sistema termoelástico poroso com microtemperatura e sem temperatura, governado pela lei de Lord-Shulman. Para o primeiro problema provamos a boa colocação, o decaimento exponencial do semigrupo e estudamos a sua versão semidiscreta e totalmente discreta usando o método de diferenças finitas. Em diferenças finitas semidiscretas provamos o decaimento exponencial usando o método da energia e no caso totalmente discreto, constatamos o decaimento exponencial através de simulações numéricas que garantem tal comportamento. Já para o segundo problema, provamos a boa colocação, o decaimento exponencial, a falta de decaimento exponencial e o decaimento polinomial do semigrupo dependendo de uma condição entre os coeficientes do sistema.
|
|
|
-
RONALD CARDOSO BARBOSA
-
RESULTADOS DE ESTABILIDADE E TRATAMENTO NUMÉRICO DE SISTEMAS TERMOELÁSTICOS
-
Data: 06/12/2022
-
Mostrar Resumo
-
Nesta tese consideramos dois problemas termoelásticos distintos. O primeiro trata de um sistema constituído de duas equações da onda conectadas em paralelo e acopladas à equação do calor, governada pela lei de Fourier. O segundo trata de um sistema termoelástico poroso com microtemperatura e sem temperatura, governado pela lei de Lord-Shulman. Para o primeiro problema provamos a boa colocação, o decaimento exponencial do semigrupo e estudamos a sua versão semidiscreta e totalmente discreta usando o método de diferenças finitas. Em diferenças finitas semidiscretas provamos o decaimento exponencial usando o método da energia e no caso totalmente discreto, constatamos o decaimento exponencial através de simulações numéricas que garantem tal comportamento. Já para o segundo problema, provamos a boa colocação, o decaimento exponencial, a falta de decaimento exponencial e o decaimento polinomial do semigrupo dependendo de uma condição entre os coeficientes do sistema.
|
|
|
-
GENIVALDO DOS PASSOS CORREA
-
SOBRE SISTEMAS DE EQUAÇÕES DO TIPO SCHRÖDINGER-POISSON
-
Data: 04/11/2022
-
Mostrar Resumo
-
Nesta tese, estudamos a existência de solução não trivial para a seguinte classe de sistemas do tipo Schrödinger - Poisson - epsilon^2 Delta u + V(x) u+ l(x) phi u = g(u) em R^3 e - epsilon^2 Delta phi = l(x) u^2 em R^3, onde, epsilon é um parâmetro real positivo, V, l : R^3 em R são funções mensuráveis e a não linearidade g: R em R é uma função contínua que pode ter crescimento subcrítico, crítico e supercrítico. Supondo adequadas geometrias sobre o potencial V(x) e assumindo que l é não negativa, pertence a L^2 ou l =1, usamos o Método Variacional para mostrar a existência de solução não trivial e não negativa para este sistema, utilizando ferramentas como o Método de Redução de Benci e Fortunato [12] combinado com adaptações do Método de Penalização de Del Pino e Felmer [23] e o Teorema do Passo da Montanha [37, 4].
|
|
|
-
GENIVALDO DOS PASSOS CORREA
-
SOBRE SISTEMAS DE EQUAÇÕES DO TIPO SCHRÖDINGER-POISSON
-
Data: 04/11/2022
-
Mostrar Resumo
-
Nesta tese, estudamos a existência de solução não trivial para a seguinte classe de sistemas do tipo Schrödinger - Poisson - epsilon^2 Delta u + V(x) u+ l(x) phi u = g(u) em R^3 e - epsilon^2 Delta phi = l(x) u^2 em R^3, onde, epsilon é um parâmetro real positivo, V, l : R^3 em R são funções mensuráveis e a não linearidade g: R em R é uma função contínua que pode ter crescimento subcrítico, crítico e supercrítico. Supondo adequadas geometrias sobre o potencial V(x) e assumindo que l é não negativa, pertence a L^2 ou l =1, usamos o Método Variacional para mostrar a existência de solução não trivial e não negativa para este sistema, utilizando ferramentas como o Método de Redução de Benci e Fortunato [12] combinado com adaptações do Método de Penalização de Del Pino e Felmer [23] e o Teorema do Passo da Montanha [37, 4].
|
|
|
-
JOSE LUIZ SOLON SAMPAIO
-
PROPRIEDADES ESPECTRAIS E ESTABILIZAÇÃO DOS SISTEMAS UFLYAND-MINDLIN E SUAS VERSÕES TRUNCADAS
-
Data: 27/06/2022
-
Mostrar Resumo
-
O presente trabalho faremos a análise dos sistemas de Uflyand-Mindlin e de suas versões truncadas, para tal na introdução, baseado no artigo de Hache et al, faremos a dedução do modelo clássico e das versões truncadas: Simplificada, Baseada na Inércia de Inclinação e Modelo de Corte. Já no primeiro capítulo faremos a análise espectral destes modelos, concluindo que a formulação clássica apresenta a inconsistência física denominada de "Segundo Espectro" enquanto que suas versões truncadas não apresentam tal inconsistência. O modo encontrado para a formulação clássica se consistente fisicamente é quando considerarmos a inclusão de um damping do tipo atrito nas segunda e terceira equações. Em seguida demonstraremos que as referidas formulações são bem-postas no sentido de terem soluções fortes e fracas únicas através da técnica de Faedo-Galerkin. Por fim, buscaremos as condições para que estes sistemas tenham o decaimento exponencial da energia através do critério de Routh-Hurwitz. Nestes casos, demonstraremos a necessidade da igualdade de velocidades na formulação clássica, enquanto que no modelo denominado Simplificado, nenhuma condição é necessária. Entretanto, nos outros sistemas truncados a técnica não é adequada, pois não há a garantia da positividade de certos valores o que torna estes casos inconclusivos.
|
|
|
-
JOSE LUIZ SOLON SAMPAIO
-
PROPRIEDADES ESPECTRAIS E ESTABILIZAÇÃO DOS SISTEMAS UFLYAND-MINDLIN E SUAS VERSÕES TRUNCADAS
-
Data: 27/06/2022
-
Mostrar Resumo
-
O presente trabalho faremos a análise dos sistemas de Uflyand-Mindlin e de suas versões truncadas, para tal na introdução, baseado no artigo de Hache et al, faremos a dedução do modelo clássico e das versões truncadas: Simplificada, Baseada na Inércia de Inclinação e Modelo de Corte. Já no primeiro capítulo faremos a análise espectral destes modelos, concluindo que a formulação clássica apresenta a inconsistência física denominada de "Segundo Espectro" enquanto que suas versões truncadas não apresentam tal inconsistência. O modo encontrado para a formulação clássica se consistente fisicamente é quando considerarmos a inclusão de um damping do tipo atrito nas segunda e terceira equações. Em seguida demonstraremos que as referidas formulações são bem-postas no sentido de terem soluções fortes e fracas únicas através da técnica de Faedo-Galerkin. Por fim, buscaremos as condições para que estes sistemas tenham o decaimento exponencial da energia através do critério de Routh-Hurwitz. Nestes casos, demonstraremos a necessidade da igualdade de velocidades na formulação clássica, enquanto que no modelo denominado Simplificado, nenhuma condição é necessária. Entretanto, nos outros sistemas truncados a técnica não é adequada, pois não há a garantia da positividade de certos valores o que torna estes casos inconclusivos.
|
|
|
-
ESTILLAC LINS MACIEL BORGES FILHO
-
ANÁLISE DE PROPRIEDADES DA PROPAGAÇÃO DE SOLUÇÕES DE EQUAÇÕES DE EVOLUÇÃO
-
Data: 20/05/2022
-
Mostrar Resumo
-
Neste trabalho, estuda-se a influência do método de discretização espacial nas propriedades de propagação da energia contida nas soluções de um modelo discreto de evolução. Para tanto, a equação de onda unidimensional é semidiscretizada em malha não uniforme através de uma família parametrizável de métodos de discretização numérica conhecida como esquema-teta, família esta que inclui alguns métodos clássicos como diferenças finitas, elementos finitos padrão e elementos finitos mistos. O sistema discreto resultante é então analisado através de técnicas da Análise Microlocal. O impacto do método de discretização na propagação das ondas é estudado variando o parâmetro do esquema-teta e analisando a alteração resultante na dinâmica do deslocamento da energia das soluções, incluindo o mecanismo que faz com que não haja perda de observabilidade uniforme no modelo discreto quando elementos finitos mistos é utilizado. Simulações numéricas corroboram os resultados teóricos. Adicionalmente, quatro modelos acoplados unidimensionais de vigas planas são estudados através de técnicas semelhantes, obtendo-se resultados satisfatórios.
|
|
|
-
ESTILLAC LINS MACIEL BORGES FILHO
-
ANÁLISE DE PROPRIEDADES DA PROPAGAÇÃO DE SOLUÇÕES DE EQUAÇÕES DE EVOLUÇÃO
-
Data: 20/05/2022
-
Mostrar Resumo
-
Neste trabalho, estuda-se a influência do método de discretização espacial nas propriedades de propagação da energia contida nas soluções de um modelo discreto de evolução. Para tanto, a equação de onda unidimensional é semidiscretizada em malha não uniforme através de uma família parametrizável de métodos de discretização numérica conhecida como esquema-teta, família esta que inclui alguns métodos clássicos como diferenças finitas, elementos finitos padrão e elementos finitos mistos. O sistema discreto resultante é então analisado através de técnicas da Análise Microlocal. O impacto do método de discretização na propagação das ondas é estudado variando o parâmetro do esquema-teta e analisando a alteração resultante na dinâmica do deslocamento da energia das soluções, incluindo o mecanismo que faz com que não haja perda de observabilidade uniforme no modelo discreto quando elementos finitos mistos é utilizado. Simulações numéricas corroboram os resultados teóricos. Adicionalmente, quatro modelos acoplados unidimensionais de vigas planas são estudados através de técnicas semelhantes, obtendo-se resultados satisfatórios.
|
|
|
-
LAILA CONCEICAO FONTINELE
-
EXISTÊNCIA DE SOLUÇÃO POSITIVA PARA UMA CLASSE DE EQUAÇÕES DE SCHRÖDINGER QUASILINEARES EM RN
-
Data: 15/03/2022
-
Mostrar Resumo
-
Usando métodos variacionais, estudamos a existência de solução para o seguinte problema elíptico quasilinear (P), e para o seguinte sistema associado a (P), (S), onde V e W são funções contínuas que pertencem a duas classes de potenciais. No caso escalar, q é uma não linearidade contínua com condição de crescimento subcrítica ou crítica, e no caso do sistema, Q_{u} e Q_{v} denotam derivadas parciais da função Q de classe C^1 e p−homogênea.
|
|
|
-
LAILA CONCEICAO FONTINELE
-
EXISTÊNCIA DE SOLUÇÃO POSITIVA PARA UMA CLASSE DE EQUAÇÕES DE SCHRÖDINGER QUASILINEARES EM RN
-
Data: 15/03/2022
-
Mostrar Resumo
-
Usando métodos variacionais, estudamos a existência de solução para o seguinte problema elíptico quasilinear (P), e para o seguinte sistema associado a (P), (S), onde V e W são funções contínuas que pertencem a duas classes de potenciais. No caso escalar, q é uma não linearidade contínua com condição de crescimento subcrítica ou crítica, e no caso do sistema, Q_{u} e Q_{v} denotam derivadas parciais da função Q de classe C^1 e p−homogênea.
|
|
|
-
TIAGO LEANDRO COELHO COELHO
-
O MÉTODO DE MINIMIZAÇÃO ESFÉRICA E APLICAÇÕES
-
Data: 24/02/2022
-
Mostrar Resumo
-
Neste trabalho, estabeleceremos um método que nos permite encontrar pontos críticos de funcionais diferenciáveis que pertencem a uma classe adequada. A ideia central do que est ́a sendo proposto nesta tese consiste em associar pontos críticos de uma função real de variável real com pontos críticos de um funcional. Como consequência, somos capazes de resolver alguns problemas de equações diferenciais parciais, cujo funcional energia associado pertence à referida classe. Em um primeiro momento, com o objetivo de evidenciar vantagens e desvantagens do método que estabelecemos, resolveremos alguns problemas clássicos, comparando os resultados do nosso método com métodos que são comumente utilizados para solucionar esses problemas. Faremos isso no Capítulo 1. Posteriormente, também utilizaremos esse método para obter dois teoremas de existência, sendo um deles uma versão de um teorema de minimização local e o outro uma versão do Teorema do Passo da Montanha adequada para problemas que não exigem a condição de crescimento de Ambrosetti e Rabinowitz. Esses resultados serão usados para complementar o trabalho de Mawhin, Ward e Willem (ver [21]) no Capítulo 2, o trabalho de Miyagaki e Souto (ver [22]) no Capítulo 3 e o trabalho de Azzollini e Pomponio (ver [8]) no Capítulo 4.
|
|
|
-
GABRIELA COÊLHO RODRIGUES
-
PROBLEMAS ELÍPTICOS QUASILINEARES COM FUNÇÕES PESO E CRESCIMENTO CRÍTICO
-
Data: 28/01/2022
-
Mostrar Resumo
-
Este trabalho é o estudo de algumas classes de problemas elípticos quasilineares com operador p-laplaciano envolvendo funções peso que podem mudar de sinal e crescimento crítico, estando dividido em duas partes. Na primeira parte, estudamos um sistema cuja primeira equação apresenta uma não-linearidade subnatural e a segunda, uma não-linearidade natural. Nas condições impostas, obtemos existência e multiplicidade de soluções não-negativas nos níveis subcrítico e crítico utilizando técnicas variacionais tais como Teorema do Passo da Montanha, Princípio Variacional de Ekeland, resultados de regularidade e Princípio de Máximo. Na segunda parte do trabalho, usamos um método de minimização em conjuntos relacionados à variedade de Nehari para provar a existência de solução que muda de sinal para um problema escalar com crescimento crítico.
|
|
|
-
GABRIELA COÊLHO RODRIGUES
-
PROBLEMAS ELÍPTICOS QUASILINEARES COM FUNÇÕES PESO E CRESCIMENTO CRÍTICO
-
Data: 28/01/2022
-
Mostrar Resumo
-
Este trabalho é o estudo de algumas classes de problemas elípticos quasilineares com operador p-laplaciano envolvendo funções peso que podem mudar de sinal e crescimento crítico, estando dividido em duas partes. Na primeira parte, estudamos um sistema cuja primeira equação apresenta uma não-linearidade subnatural e a segunda, uma não-linearidade natural. Nas condições impostas, obtemos existência e multiplicidade de soluções não-negativas nos níveis subcrítico e crítico utilizando técnicas variacionais tais como Teorema do Passo da Montanha, Princípio Variacional de Ekeland, resultados de regularidade e Princípio de Máximo. Na segunda parte do trabalho, usamos um método de minimização em conjuntos relacionados à variedade de Nehari para provar a existência de solução que muda de sinal para um problema escalar com crescimento crítico.
|
|