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.

A paralelização de métodos de resolução de sistemas de equações lineares e não lineares é uma atividade que tem concentrado várias pesquisas nos últimos anos. Isto porque, os sistemas de equações estão presentes em diversos problemas da computação cientí ca, especialmente naqueles que empregam equações diferenciais parciais (EDPs) que modelam fenômenos físicos, e que precisam ser discretizadas para serem tratadas computacionalmente. O processo de discretização resulta em sistemas de equações que necessitam ser resolvidos a cada passo de tempo. Em geral, esses sistemas têm como características a esparsidade e um grande número de incógnitas. Devido ao porte desses sistemas é necessária uma grande quantidade de memória e velocidade de processamento, sendo adequado o uso de computação de alto desempenho na obtenção da solução dos mesmos. Dentro desse contexto, é feito neste trabalho um estudo sobre o uso de métodos de decomposição de domínio na resolução de sistemas de equações em paralelo. Esses métodos baseiam-se no particionamento do domínio computacional em subdomínios, de modo que a solução global do problema é obtida pela combinação apropriada das soluções de cada subdomínio. Uma vez que diferentes subdomínios podem ser tratados independentemente, tais métodos são atrativos para ambientes paralelos. Mais especi camente, foram implementados e analisados neste trabalho, três diferentes métodos de decomposição de domínio. Dois desses com sobreposição entre os subdomínios, e um sem sobreposição. Dentre os métodos com sobreposição foram estudados os métodos aditivo de Schwarz e multiplicativo de Schwarz. Já dentre os métodos sem sobreposição optou-se pelo método do complemento de Schur. Todas as implementações foram desenvolvidas para serem executadas em clusters de PCs multiprocessados e estão incorporadas ao modelo HIDRA, que é um modelo computacional paralelo multifísica desenvolvido no Grupo de Matemática da Computação e Processamento de Alto Desempenho (GMCPAD) para a simulação do escoamento e do transporte de substâncias em corpos de águas.

Seja C uma curva quártica plana lisa sobre o corpo k = C, K seu corpo de funções racionais e P um ponto de C. Neste trabalho estudamos a extensão de corpos K/Kp gerada pela projeção πP : C ! P1. Calculamos seu fecho de Galois Lp e caracterizamos topologicamente o modelo não singular de Lp . No caso em que K/Kp é de Galois apresentamos equações que definem C. Estimamos também o número de pontos P da quártica tais que K/KP é de Galois. / Let C be a smooth plane quartic curve over the field k = C, let K be its rational function field and let P be a point in C. In this work we study the field extension K/Kp generated by the projection πP : C ! P1. We calculate its Galois closure Lp and characterize topologically the smooth model of Lp . In the case where K/Kp is Galoisian we give defining equations for C. We estimate the number of points P of the quartic such that K/Lp is Galoisian.

Neste trabalho mostraremos a existência de solução para um problema semilinear elíptico com singularidade na fronteira. Estudamos problemas do tipo ∆u = k(x)f(u), sendo as funções k e u sujeitas a certas condições que serão apresentadas ao longo do texto. O problema é resolvido usando as ideias do método de sub e supersolução adaptadas ao problema. / In this master thesis we show the existence of solution for a semilinear elliptic problem with singularity at the boundary. We study problems such as ∆u = k(x)f(u), where the fucntions k and u are assumed to satisfy certain conditions that we present througout the text. The problem is solved using the ideas of the method of sub and supersolution adapted to the problem.

Seja C uma curva quártica plana lisa sobre o corpo k = C, K seu corpo de funções racionais e P um ponto de C. Neste trabalho estudamos a extensão de corpos K/Kp gerada pela projeção πP : C ! P1. Calculamos seu fecho de Galois Lp e caracterizamos topologicamente o modelo não singular de Lp . No caso em que K/Kp é de Galois apresentamos equações que definem C. Estimamos também o número de pontos P da quártica tais que K/KP é de Galois. / Let C be a smooth plane quartic curve over the field k = C, let K be its rational function field and let P be a point in C. In this work we study the field extension K/Kp generated by the projection πP : C ! P1. We calculate its Galois closure Lp and characterize topologically the smooth model of Lp . In the case where K/Kp is Galoisian we give defining equations for C. We estimate the number of points P of the quartic such that K/Lp is Galoisian.

Neste trabalho mostraremos a existência de solução para um problema semilinear elíptico com singularidade na fronteira. Estudamos problemas do tipo ∆u = k(x)f(u), sendo as funções k e u sujeitas a certas condições que serão apresentadas ao longo do texto. O problema é resolvido usando as ideias do método de sub e supersolução adaptadas ao problema. / In this master thesis we show the existence of solution for a semilinear elliptic problem with singularity at the boundary. We study problems such as ∆u = k(x)f(u), where the fucntions k and u are assumed to satisfy certain conditions that we present througout the text. The problem is solved using the ideas of the method of sub and supersolution adapted to the problem.

A paralelização de métodos de resolução de sistemas de equações lineares e não lineares é uma atividade que tem concentrado várias pesquisas nos últimos anos. Isto porque, os sistemas de equações estão presentes em diversos problemas da computação cientí ca, especialmente naqueles que empregam equações diferenciais parciais (EDPs) que modelam fenômenos físicos, e que precisam ser discretizadas para serem tratadas computacionalmente. O processo de discretização resulta em sistemas de equações que necessitam ser resolvidos a cada passo de tempo. Em geral, esses sistemas têm como características a esparsidade e um grande número de incógnitas. Devido ao porte desses sistemas é necessária uma grande quantidade de memória e velocidade de processamento, sendo adequado o uso de computação de alto desempenho na obtenção da solução dos mesmos. Dentro desse contexto, é feito neste trabalho um estudo sobre o uso de métodos de decomposição de domínio na resolução de sistemas de equações em paralelo. Esses métodos baseiam-se no particionamento do domínio computacional em subdomínios, de modo que a solução global do problema é obtida pela combinação apropriada das soluções de cada subdomínio. Uma vez que diferentes subdomínios podem ser tratados independentemente, tais métodos são atrativos para ambientes paralelos. Mais especi camente, foram implementados e analisados neste trabalho, três diferentes métodos de decomposição de domínio. Dois desses com sobreposição entre os subdomínios, e um sem sobreposição. Dentre os métodos com sobreposição foram estudados os métodos aditivo de Schwarz e multiplicativo de Schwarz. Já dentre os métodos sem sobreposição optou-se pelo método do complemento de Schur. Todas as implementações foram desenvolvidas para serem executadas em clusters de PCs multiprocessados e estão incorporadas ao modelo HIDRA, que é um modelo computacional paralelo multifísica desenvolvido no Grupo de Matemática da Computação e Processamento de Alto Desempenho (GMCPAD) para a simulação do escoamento e do transporte de substâncias em corpos de águas.

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.

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.

Seja C uma curva quártica plana lisa sobre o corpo k = C, K seu corpo de funções racionais e P um ponto de C. Neste trabalho estudamos a extensão de corpos K/Kp gerada pela projeção πP : C ! P1. Calculamos seu fecho de Galois Lp e caracterizamos topologicamente o modelo não singular de Lp . No caso em que K/Kp é de Galois apresentamos equações que definem C. Estimamos também o número de pontos P da quártica tais que K/KP é de Galois. / Let C be a smooth plane quartic curve over the field k = C, let K be its rational function field and let P be a point in C. In this work we study the field extension K/Kp generated by the projection πP : C ! P1. We calculate its Galois closure Lp and characterize topologically the smooth model of Lp . In the case where K/Kp is Galoisian we give defining equations for C. We estimate the number of points P of the quartic such that K/Lp is Galoisian.