Propomos uma idealização da situação em que uma macromolécula é ionizada em um solvente. Neste modelo a área da superfície da molécula é suposta ser grande com respeito a seu diâmetro. A molécula é considerada como um dielétrico com uma distribuição de cargas em sua superfície. Utilizando as condições de transmissão, a distribuição de Boltzmann no solvente e resultados recentes sobre espaços de Sobolev no contexto de espaços métricos, bem como de integração sobre superfícies irregulares, o problema é formulado em forma variacional. Resultados clássicos do cálculo de variações permitem a resolução analítica do problema.

Neste trabalho, consideramos um problema de valor inicial e de fronteira, semelhante ao sistema de equações de Navier-Stokes, que descreve o movimento de um meio granular com densidade constante. Utilizando o método de Galerkin: provamos a existência de soluções fracas em espaços de Sobolev. / In this work, we consider an initial-boundary value problem similar to the Navier-Stokes system of equations describing the motion of a granulated medium with constant density. We prove, using Galerkin method, the existence of weak solutions in Sobolev spaces.

Propomos uma idealização da situação em que uma macromolécula é ionizada em um solvente. Neste modelo a área da superfície da molécula é suposta ser grande com respeito a seu diâmetro. A molécula é considerada como um dielétrico com uma distribuição de cargas em sua superfície. Utilizando as condições de transmissão, a distribuição de Boltzmann no solvente e resultados recentes sobre espaços de Sobolev no contexto de espaços métricos, bem como de integração sobre superfícies irregulares, o problema é formulado em forma variacional. Resultados clássicos do cálculo de variações permitem a resolução analítica do problema.

Propomos uma idealização da situação em que uma macromolécula é ionizada em um solvente. Neste modelo a área da superfície da molécula é suposta ser grande com respeito a seu diâmetro. A molécula é considerada como um dielétrico com uma distribuição de cargas em sua superfície. Utilizando as condições de transmissão, a distribuição de Boltzmann no solvente e resultados recentes sobre espaços de Sobolev no contexto de espaços métricos, bem como de integração sobre superfícies irregulares, o problema é formulado em forma variacional. Resultados clássicos do cálculo de variações permitem a resolução analítica do problema.

Neste trabalho, consideramos um problema de valor inicial e de fronteira, semelhante ao sistema de equações de Navier-Stokes, que descreve o movimento de um meio granular com densidade constante. Utilizando o método de Galerkin: provamos a existência de soluções fracas em espaços de Sobolev. / In this work, we consider an initial-boundary value problem similar to the Navier-Stokes system of equations describing the motion of a granulated medium with constant density. We prove, using Galerkin method, the existence of weak solutions in Sobolev spaces.

Neste trabalho, consideramos um problema de valor inicial e de fronteira, semelhante ao sistema de equações de Navier-Stokes, que descreve o movimento de um meio granular com densidade constante. Utilizando o método de Galerkin: provamos a existência de soluções fracas em espaços de Sobolev. / In this work, we consider an initial-boundary value problem similar to the Navier-Stokes system of equations describing the motion of a granulated medium with constant density. We prove, using Galerkin method, the existence of weak solutions in Sobolev spaces.

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.

No presente trabalho procurou-se estudar o Problema de Dirichlet, enxergando-o através de sua formulação variacional. Para tal, introduzimos os espaços de Sobolev e uma série de suas propriedades. Após, estudamos a formulação fraca do problema, onde, na busca pela existência e uni cidade de sua solução, estudamos o funcional que surge naturalmente. Finalmente, usando esses resultados, apresentamos a formulação variacional do referido problema, para fecharmos o trabalho com um estudo de caso, onde a solução existe e é única. / In the present work sought to study the Problem of Dirichlet, in a variational formulation view. To this end, we introduced the spaces of Sobolev, and a number of its properties. After we studied the weak formulation of the problem, where in the search for the existence and uniqueness of its solution, we studied the way that comes naturally. Finally, using these results, we present the variational formulation of the problem, to dose the work with a case study where the solution exists and is unique.

No presente trabalho procurou-se estudar o Problema de Dirichlet, enxergando-o através de sua formulação variacional. Para tal, introduzimos os espaços de Sobolev e uma série de suas propriedades. Após, estudamos a formulação fraca do problema, onde, na busca pela existência e uni cidade de sua solução, estudamos o funcional que surge naturalmente. Finalmente, usando esses resultados, apresentamos a formulação variacional do referido problema, para fecharmos o trabalho com um estudo de caso, onde a solução existe e é única. / In the present work sought to study the Problem of Dirichlet, in a variational formulation view. To this end, we introduced the spaces of Sobolev, and a number of its properties. After we studied the weak formulation of the problem, where in the search for the existence and uniqueness of its solution, we studied the way that comes naturally. Finally, using these results, we present the variational formulation of the problem, to dose the work with a case study where the solution exists and is unique.

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.