Redes de mapas acoplados em sistemas biológicos de reação-difusão

Em modelos em que a distribuição espacial da população não é con- siderada, isto é, quando se supõe que haja uma homogeneidade espacial, e se estuda a evolução temporal do sistema, há uma única variável independente: o tempo. Caso a população seja constituída de duas espécies, do tipo parasitóide-hospedeiro, e a variável independente tempo for considerada discreta, teremos um sistema de equações a diferenças, como por exemplo o modelo de Nicholson-Bailey cujas soluções são apresentadas neste trabalho. Populações espacialmente distribuídas, em um espaço de natureza discreta, juntamente com a dinâmica vital em tempo discreto, têm o seu comportamento estudado através de redes de mapas acoplados. Após estudar o modelo de Hassell (dinâmica vital de Nicholson-Bailey com movimentação por difusão) e o modelo planta-herbívoro com movimentação por taxia, deduzimos e simulamos um modelo incluindo movimentação por taxia, difusão e convecção. É também apresentado neste trabalho, um paralelo entre estes modelos de redes de mapas acoplados e aqueles com as equações diferenciais correspondentes.

Estimativa do comportamento de máquinas assíncronas sujeitas a afundamentos de tensão

Os afundamentos de tensão são reduções de curta duração entre o 10% a 90% da magnitude de tensão eficaz. Usualmente, estes afundamentos são associados com falhas no sistema de energia elétrica, mas podem ser causados pela elevada corrente de partida de motores de indução ou energização de transformadores. Apesar de sua curta duração, tais eventos podem causar sérios problemas para alguns equipamentos. As conseqüências dos afundamentos de tensão sobre a máquina assíncrona são: perda de velocidade durante o afundamento e picos de corrente e de conjugado que aparecem na queda de tensão e no instante de restabelecimento. Este estudo visa analisar o comportamento da máquina assíncrona diante de afundamentos de tensão e as características destes, devido à influência do motor assíncrono como carga. Enfocando-se neste ponto, é que foram considerados diferentes tipos de afundamentos devido a diferentes falhas, que produziram quedas de tensão nos terminais da máquina assíncrona com variações na magnitude e no argumento de tensão. As simulações foram realizadas aplicando um método numérico tradicional e um método simplificado, o método simplificado lineariza as equações diferenciais elétricas da máquina assíncrona considerando a velocidade mecânica constante, para o cálculo dos transitórios elétricos no início da queda de tensão e no restabelecimento da mesma. Os transitórios obtidos pelo método numérico tradicional (Runge Kutta quarta ordem) e o método simplificado foram comparados, para verificar a precisão deste método com respeito ao numérico tradicional, concluindo-se, que o método simplificado poderá aplicar-se em máquinas de baixo escorregamento e elevada constante de inércia. Além disso, foram realizados experimentos, submetendo o sistema a diferentes quedas de tensão, considerando diferentes magnitudes e durações no afundamento.

Métodos numéricos para a integração das equações da cinética pontual de um reator nuclear

As equações da cinétiica pontual de um reator nuclear térmico são integradas numericamente, utilizando um método matricial de continuação analitica. Essas equações são essencialmente não-negativas e possuem um autovalor dominante vinculado à reatividade do sistema. Também, descrevem-se os métodos de Hansen e Porsching.

Existência de soluções para equações elípticas semilineares com crescimento singular crítico

Neste trabalho estudamos uma equação diferencial parcial elíptica semilinear contendo uma singularidade e um termo de crescimento crítico. A existência de soluções depende da dimensão do espaço e do coeficiente da singularidade. Através da caracterização variacional e com o uso de seqüências de Palais-Smale provamos que o problema possui soluções não triviais.

Solução de equações intervalares

Este trabalho trata do tipo de dado intervalar e da importância da especificação de uma semântica para garantir a correção e a interpretação coerente de resultados gerados, tais como de soluções de equações envolvendo este tipo de dado. Para tanto, realiza um estudo comparativo das semânticas de envoltória intervalar de reais e de número-intervalo, procurando identificar a influência de cada uma sobre definições fundamentais, tais como as das operações aritméticas e a do tipo de solução encontrado. Uma vez caracterizadas as semânticas associadas ao tipo de dado intervalar, o trabalho apresenta resultados que permitem mapear algebricamente a operação de multiplicação de números-intervalo tanto na representação de extremo inferior e extremo superior como na representação por ponto médio e diâmetro. Com base nesses resultados apresenta os mapeamentos das expressões algébricas que definem as potências positivas inteiras tanto para a semântica de número-intervalo como para a de envoltória de reais. Conjugando os resultados obtidos com a semântica de número-intervalo, o trabalho apresenta procedimentos algorítmicos para a determinação de dois tipos de soluções de equações intervalares: solução própria, a obtida diretamente a partir da relação de igualdade estrutural algébrica entre intervalos, e envoltória intervalar de soluções reais, normalmente referenciada como a solução intervalar usual. Exemplos são apresentados para a validação dos procedimentos, bem como para a discussão do significado de cada tipo de solução sob o enfoque semântico.

Cálculo da complexidade exata de algoritmos do tipo divisão-e-conquista através das equações características

A equação de complexidade de um algoritmo pode ser expressa em termos de uma equação de recorrência. A partir destas equações obtém-se uma expressão assintótica para a complexidade, provada por indução. Neste trabalho, propõem-se um esquema de solução de equações de recorrência usando equações características que são resolvidas através de um "software" de computação simbólica, resultando em uma expressão algébrica exata para a complexidade. O objetivo é obter uma forma geral de calcular a complexidade de um algoritmo desenvolvido pelo método Divisão-e-Conquista.

Uma metodologia unificada no domínio tempo para sistemas concentrados, discretos e distribuídos

A resposta impulso é utilizada como ferramenta padrão no estudo direto de sistemas concentrados, discretos e distribuídos de ordem arbitrária. Esta abordagem leva ao desenvolvimento de uma plataforma unificada para a obtenção de respostas dinâmicas. Em particular, as respostas forçadas dos sistemas são decompostas na soma de uma resposta permanente e de uma resposta livre induzida pelos valores iniciais da resposta permanente. A teoria desenvolve-se de maneira geral e direta para sistemas de n-ésima ordem, introduzindo-se a base dinâmica gerada pela resposta impulso na forma padrão e normalizada, sem utilizar-se a formulação de estado, através da qual reduz-se um sistema de ordem superior para um sistema de primeira ordem. Considerou-se sistemas de primeira ordem a fim de acompanhar-se os muitos resultados apresentados na literatura através da formulação de espaço de estado. Os métodos para o cálculo da resposta impulso foram classificados em espectrais, não espectrais e numéricos. A ênfase é dada aos métodos não espectrais, pois a resposta impulso admite uma fórmula fechada que requer o uso de três equações características do tipo algébrica, diferencial e em diferenças Realizou-se simulações numéricas onde foram apresentados modelos vibratórios clássicos e não clássicos. Os sistemas considerados foram sistemas do tipo concentrado, discreto e distribuído. Os resultados da decomposição da resposta dinâmica de sistemas concentrados diante de cargas harmônicas e não harmônicas foram apresentados em detalhe. A decomposição para o caso discreto foi desenvolvida utilizando-se os esquemas de integração numérica de Adams-Basforth, Strömer e Numerov. Para sistemas distribuídos, foi considerado o modelo de Euler-Bernoulli com força axial, sujeito a entradas oscilatórias com amplitude triangular, pulso e harmônica. As soluções permanentes foram calculadas com o uso da função de Green espacial. A resposta impulso foi aproximada com o uso do método espectral.

Derivação e solução de equações modelo da dinâmica de gases rarefeitos

Neste trabalho, duas equações modedlo na área da dinâmica de gases rarefeitos, são derivadas a partir de algumas soluções exatas da equação linearizada de Boltzmann homogênea e não homogênea. Em adição, uma versão analítca do método de ordenadas discretas é usado para resolver problemas clássicos nesta área, descritos pelo "Modelo S". Resultados numéricos são apresentados para os problemas de fluxo de Couette, fluxo de Poiseuille, "Creep" Térmico, Deslizamento Térmico e problema de Kramers.

Estimativas do erro nas aproximações de Galerkin para as equações de Navier-Stokes

Neste trabalho são provadas algumas estimativas de erro em espaços para as aproximações de Galerkin para a solução do sistema de equações de Navier-Stokes. Mostra-se que o erro decresce em proporção inversa aos autovalores do operador de Stokes.

Solução analítica das equações difusivas da teoria geral de perturbação pelo método da transformada de Laplace

Neste trabalho, apresentamos uma solução analítica para as equações difusivas unidimensionais da Teoria Geral de Perturbação em uma placa heterogênea, isto é, apresentamos as soluções analíticas para os problemas de autovalor para o fluxo de nêutrons e para o fluxo adjunto de nêutrons, para o cálculo do fator de multiplicação efetivo (keff), para o problema de fonte fixa e para o problema de função auxiliar. Resolvemos todos os problemas mencionados aplicando a Transformada de Laplace em uma placa heterogênea considerando um modelo de dois grupos de energia e realizamos a inversão de Laplace do fluxo transformado analiticamente através da técnica da expansão de Heaviside. Conhecendo o fluxo de nêutrons, exceto pelas constantes de integração, aplicamos as condições de contorno e de interface e resolvemos as equações algébricas homogêneas para o fator de multiplicação efetivo pelo método da bissecção. Obtemos o fluxo de nêutrons através da avaliação das constantes de integração para uma potência prescrita. Exemplificamos a metodologia proposta para uma placa com duas regiões e comparamos os resultados obtidos com os existentes na literatura.

Solução da equação advectivo-difusiva utilizando regras para manipulação de exponenciais de operadores diferenciais e simetrias de Lie : aplicações em engenharia ambiental

Vários métodos analíticos, numéricos e híbridos podem ser utilizados na solução de problemas de difusão e difusão-advecção. O objetivo deste trabalho é apresentar dois métodos analíticos para obtenção de soluções em forma fechada da equação advectivo-difusiva em coordenadas cartesianas que descreve problemas de dispersão de poluentes na água e na atmosfera. Um deles é baseado em regras de manipulação de exponenciais de operadores diferenciais, e o outro consiste na aplicação de simetrias de Lie admitidas por uma equação diferencial parcial linear. Desenvolvem-se regras para manipulação de exponenciais de operadores diferenciais de segunda ordem com coeficientes constantes e para operadores advectivo-difusivos. Nos casos em que essas regras não podem ser aplicadas utiliza-se uma formulação para a obtenção de simetrias de Lie, admitidas por uma equação diferencial, via mapeamento. Define-se um operador diferencial com a propriedade de transformar soluções analíticas de uma dada equação diferencial em novas soluções analíticas da mesma equação. Nas aplicações referentes à dispersão de poluentes na água, resolve-se a equação advectivo-difusiva bidimensional com coeficientes variáveis, realizando uma mudança de variáveis de modo a reescrevê-la em termos do potencial velocidade e da função corrente correspondentes ao respectivo escoamento potencial, estendendo a solução para domínios de contornos arbitrários Na aplicação referente ao problema de dispersão de poluentes na atmosfera, realiza-se uma mudança de variáveis de modo a obter uma equação diferencial parcial com coeficientes constantes na qual se possam aplicar as regras de manipulação de exponenciais de operadores diferenciais. Os resultados numéricos obtidos são comparados com dados disponíveis na literatura. Diversas vantagens da aplicação das formulações apresentadas podem ser citadas, a saber, o aumento da velocidade de processamento, permitindo a obtenção de solução em tempo real; a redução da quantidade de memória requerida na realização de operações necessárias para a obtenção da solução analítica; a possibilidade de dispensar a discretização do domínio em algumas situações.

Equações de advecção-difusão: propriedades e comportamento assintótico

Neste trabalho, examinamos em detalhe resultados recentes apresentados em [Zingano, 1999], [Zingano, 2004], [Zingano, 1996a] [T. Hagstrom, 2004] sobre o comportamento de soluções para equações (escalares) de ad vecção-difusão nãolineares, da forma Ut + div(f(u)) = div(A(u)V'u), x E ]Rn, t > O correspondentes a estados iniciais u(., O) E LI(]Rn) n DXJ(JRn).Aqui, A(u) E ]Rn é uniformemente positiva definida para todos os valores de u em questão, e f( u) = (f1(u),..., fn(u)) corresponde ao fluxo advectivo, com A, f suaves. Entre os vários resultados, tem-se em particular os limites assintóticos . !!. (I_l) Iml (47rÀ)~ 11mt2 p Ilu(" t)IILP(JRn) = (4 À)!!. - , t-++oo 7r 2 P para cada 1 :::;P :::;00, uniformemente em p, bem como lim t~(l-i) Ilu(" t) - u(',t)IILP(JRn) = O, t-++oo 1:::; p:::; 00 para duas soluçõesu(', t), u(', t) quaisquer correspondentesa estados iniciais u(', O),u(', O)E LI (]Rn) n Loo(]Rn) com a mesma massa, isto é, r u(x, O)dx = r u(x,O)dx JJRn JJRn Outra propriedade fundamental, válida em dimensão n ;:::2, é lim t%(l-~) Ilu(" t) - v(', t) IILP(JRn) = O t-++oo para cada 1 :::;p :::; 00, se v(', t) é solução da equação de advecção-difusão linear Vt + f (O) . V'v= div(A(O)V'v), x E ]Rn, t > O, com u(', O),v(', O) E U(]Rn) n Loo(JRn) tendo a mesma massa. Outros resultados de interesse são também discutidos.

Resultantes, equações polinomiais e o teorema de Bezout

A presente dissertação aborda uma técnica para determinar as soluções de sistemas de equações polinomiais. Esta técnica que é puramente algébrica, interliga tópicos da Matemática, como a Geometria Algébrica e a Álgebra Computacional. Mais especificamente, estudamos a teoria de Resultantes e suas aplicações. Começamos com a motivação de encontrar as raízes comuns de dois polinômios a uma variável, em seguida é estendida para o caso mais geral de várias variáveis. Estudamos detalhadamente como obter fórmulas para o cálculo do Resultante, como por exemplo a fórmula de Macaulay e de Poisson. A técnica para resolver sistemas de equações polinomiais é então apresentada. Terminamos apresentando uma prova de um caso particular do Teorema de Bezout, como aplicação da teoria de Resultantes. Este teorema é muito importante, pois fornece um número de soluções de um sistema de equações polinomiais.

Alguns aspectos numéricos e teóricos das equações de Navier-Stokes na modelagem do escoamento em torno de um vórtice

Neste trabalho desenvolvemos uma metodologia numérica para a solução do escoamento em torno de um vórtice. Como a análise completa deste tipo de fluxo não é uma tarefa fácil, simplificações quanto ao escoamento e ao método numérico são necessárias. Também investigamos o comportamento das soluções das equações governantes (Navier-Stokes) quando o tempo tende ao infinito. Nesse sentido, dividimos este trabalho em duas partes: uma numérica e outra analítica. Com o intuito de resolver numericamente o problema, adotamos o método de diferenças finitas baseado na formulação incompressível das equações governantes. O método numérico para integrar essas equações é baseado no esquema de Runge- Kutta com três estágios. Os resultados numéricos são obtidos para cinco planos bidimensionais de um vórtice com números de Reynolds variando entre 1000 e 10000. Na parte analítica estudamos taxas de decaimento das soluções das equações de Navier-Stokes quando os dados iniciais são conhecidos. Também estimamos as taxas de decaimento para algumas derivadas das soluções na norma L2 e comparamos com as taxas correspondentes da solução da equação do calor.

Alguns resultados para equação do calor e equações de advecção-difusão

Neste trabalho, são obtidas diversas propriedades (em especial, referentes ao comportamento ao t -+ +00) das soluções u(', t) da equação linear do calor, Ut = div(AV'u), x E JRn, t > O onde A E JRnxné uma matriz constante simétrica e positiva definida, correspondentes a estados iniciais p-somáveis, i.e., u(x, O) = uo(x), Uo E LP(JRn), onde 1 :::;p < 00. Em particular, é examinado o comportamento de Ilu(., t)IILP(lRn) ao t -+ +00, mostrando-se que Ilu(., t)IILl(lRn)-+ Ikn u(x, O)dXI quando p = 1, e Ilu(-' t)IILP(lRn)-+ O quando p > 1. São analisadas, também, as taxas de decaimento e o comportamento assintótico das soluções u(', t) de equações de advecção-difusão da forma Ut + divf(u) = div(A(u)V'u), x E JRn, t > O correspondentes a estados iniciais p-somáveis e limitados, i.e., u(x, O)= uo(x), u(', O) E LP(JRn) n LOO(JRn), onde 1 :::;p :::; 2. Novamente, é examinado o comportamento de Ilu(" t)IILP(lRn)ao t -+ +00, mostrando-se que Ilu(., t)IILl(lRn)-+ Ikn u(x, O)dxl quando p = 1, e Ilu(" t)IILP(lRn)-+ O quando p > 1. Várias outras propriedades importantes são também discutidas, seguindo principalmente [Silva, 2003], [Crandall e Tartar, 1980], [Hagstrom et al., 2003], [Zingano, 1999], [Zingano, 2004a], [Zingano, 2004b].