Desenvolvemos novos resultados da teoria dos espaços FS e DFS (espaços de Fréchet-Schwartz e seus duais) e os empregamos ao estudo da seguinte questão: quando certas propriedades de regularidade de um operador diferencial parcial linear (entre fibrados vetoriais Gevrey sobre uma variedade Gevrey) implicam resolubilidade, no sentido de ultradistribuições, do operador transposto? Estudamos esta questão para uma classe de operadores abstratos que contém os operadores diferenciais parciais lineares com coeficientes Gevrey usuais, mas também certas classes de operadores pseudo-diferenciais em variedades compactas, além de certos tipos de operadores de ordem infinita. Neste contexto, obtemos uma nova demonstração de um resultado global em variedades compactas (em que hipoelipticidade Gevrey global de um operador implica resolubilidade global de seu transposto), assim como alguns resultados no caso não-compacto relacionados à propriedade de não-confinamento de singularidades. Na sequência apresentamos algumas aplicações concretas, em particular para operadores de Hörmander, operadores de força constante e sistemas localmente integráveis de campos vetoriais. Analisamos ainda algumas instâncias de uma conjectura levantada em um artigo recente de F. Malaspina e F. Nicola (2014), a qual afirma que, para certos complexos diferenciais naturalmente associados a estruturas localmente integráveis, resolubilidade local no sentido de ultradistribuições (perto de um ponto, em um grau fixado) implica resolubilidade local no sentido de distribuições. Estabelecemos a validade desta conjectura quando o fibrado estrutural cotangente é gerado pelo diferencial de uma única integral primeira. / We develop new techniques in the setting of FS and DFS spaces (Fréchet-Schwartz spaces and their strong duals) and apply them to the study of the following question: when regularity properties of a general linear differential operator (between Gevrey vector bundles over a Gevrey manifold) imply solvability of its transpose in the sense of ultradistributions? This question is studied for a class of abstract operators that encompasses the usual partial differential operators with Gevrey coefficients, but also some flavors of pseudodifferential operators on compact manifolds and some classes of operators with infinite order. In this setting, we obtain a new proof of a global result on compact manifolds (global Gevrey hypoellipticity of the operator implying global solvability of the transpose), as well as some results in the non-compact case by means of the so-called property of non-confinement of singularities. We then move to some concrete applications, especially for Hörmander operators, operators of constant strength and locally integrable systems of vector fields. We also analyze some instances of a conjecture stated in a recent paper of F. Malaspina and F. Nicola (2014), which asserts that, in differential complexes naturally arising from locally integrable structures, local solvability in the sense of ultradistributions (near a point, in some fixed degree) implies local solvability in the sense of distributions. We establish the validity of the conjecture when the cotangent structure bundle is spanned by the differential of a single first integral.

Seja (R;m) um anel Noetheriano local e R \'CONTÉM\' \'iota IND. 1\' \'CONTÉM\' \'iota IND. 2\' \'CONTÉM ... uma filtração de ideais de R. Podemos então construir a álgebra graduada F(\'\\Im) := \'SOMA DIRETA IND. n > OU = 0 POT. \'iota IND. n / \'m \'iota IND. n\', chamada de fibra especial. Esta tese objetiva a pesquisa deste anel. Investigamos sobre a sua propriedade de ser Gorenstein e a sua regularidade de Castelnuovo-Mumford. Outro objetivo, é generalizarmos o teorema de Risler-Teissier (sobre multiplicidades mistas) para o caso de filtrações de Hilbert / Let (R;m) be a Noetherian local ring and R \'CONTAINS\' \'iota IND. 1\' \'CONTAINS\' \'iota IND. 2\' \'CONTAINS\' ... a filtration of ideals in R. We may then construct the graded algebra F(\\Im) := \'DIRECT SUM\' IND. n > OR = \'0 POT. \'iota\' IND. n / \'m \'iota IND. n\' , which is called fiber cone. This thesis has the goal to research about this graded ring. We investigate its Gorenstein property and its Castelnuovo-Mumford regularity. Another aim is to generalize the Risler-Teissiers theorem (about mixed multiplicities) for the case of Hilbert filtration

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Neste presente trabalho, faremos o estudo de importantes propriedades geomÃtricas e analÃticas de soluÃÃes de equaÃÃes diferenciais parciais elÃpticas totalmente nÃo-lineares do tipo: singulares e degeneradas. O estudo de processos de combustÃo que se degeneram ao longo do conjunto de anulamento da densidade de um gÃs, um caso particular de problemas do tipo "quenching", apresentam em sua modelagem equaÃÃes singulares que estÃo descritas neste trabalho. Nesta primeira parte iremos obter propriedades de uma soluÃÃo minimal, que vÃo desde o controle completo Ãtimo, atà a obtenÃÃo de estimativas de Hausdorff da fronteira livre singular. Por fim, iremos obter a regularidade Ãtima de soluÃÃes de equaÃÃes em que suas propriedades de difusÃo(elipticidade) se deterioram na ordem de uma potÃncia do seu gradiente ao longo do conjunto em que tal taxa de variaÃÃo se anula. / In this work we study important geometric and analytic properties to solutions of fully nonlinear elliptic partial differential equations, both singular and degenerate types. The study of combustion processes that degenerate along the null-set of the density of a gas, a particular case of quenching problems, present in their modeling, equations described in this work. In this first part we obtain properties of a minimal solution, since the complete optimal control until the Hausdorff estimates of the singular free boundary. Ultimately, we obtain the optimal regularity to equation solutions where their diffusion property (elipticity) deterorate in a power of their gradient along the set where such rate of variation nullifies.

nÃo hà / O ordenamento jurÃdico brasileiro, à partir de 1998, permitiu que os entes federativos estados e municÃpios pudessem migrar do Regime Geral de PrevidÃncia (RGPS), capitaneado pelo INSS, para um Regime PrÃprio de PrevidÃncia Social (RPPS) tomando o cuidado para os aportes financeiros necessÃrios para a harmonia do equilÃbrio atuarial de modo a garantir, no futuro, o pagamento dos benefÃcios a quem de direito (massa laboral incluÃda nos regimes previdenciÃrios), de sorte que dos 5.509 municÃpios brasileiros, 1.957 instituÃram os seus RPPS e, 55 municÃpios no Estado do CearÃ, dos 184 existentes. O objetivo principal desta pesquisa foi apurar o resultado atuarial dos RPPS instituÃdos nos municÃpios cearenses por meio de um software construÃdo pelo autor e confrontÃ-lo com o resultado atuarial contido nos Demonstrativos de Resultado das AvaliaÃÃes Atuariais â DRRAÂs. De acordo com os cÃlculos realizados os RPPS municipais cearenses apresentam dÃficit atuarial no montante de R$ 3.361.632.976,77, enquanto o valor do resultado atuarial demonstrados nos DRAAÂs apresentam dÃficit atuarial no valor de R$ 10.344.705.187,76. Em ambas as apuraÃÃes o resultado deficitÃrio tem concentraÃÃo nos municÃpios de Fortaleza, CanindÃ, MaracanaÃ, Juazeiro do Norte e Itapipoca. Na 1. e 2. apuraÃÃo os municÃpios de Amontada e Caucaia se mostraram superavitÃrios, acrescentando-se, tambÃm, que os municÃpios de Cruz e Fortim se revelaram superavitÃrios no cÃlculo realizado pelo autor. O dÃficit atuarial do MunicÃpio de Itapipoca apresentou-se preciso, tanto no cÃlculo formulado pelo autor, quanto no demonstrado no DRRA do ente. Conclui-se que os entes previdenciÃrios deficitÃrios nÃo oferecem sistema de estrutura para o acÃmulo de recursos para o pagamento de compromissos definidos nos planos de benefÃcios. / The Brazilian legal system , starting from 1998 revealed that the federative states and municipalities could migrate from the General Provident Fund Scheme ( RGPS ) , headed by the INSS , for its Own Social Security System ( RPPS ) taking care to financial contributions necessary for the harmony of actuarial balance to ensure in the future payment of benefits to those eligible ( work force included in pension schemes ) , so that the 5,509 Brazilian municipalities, 1,957 have instituted their RPPS and 55 towns in State of Cearà , the existing 184 . The main objective of this research was to determine the actuarial results of RPPS established in municipalities of Cearà through a software built by the author and confront him with the actuarial results contained in the statements of income of the Actuarial Reviews - DRRA 's. According to the calculations the Cearà municipal RPPS present actuarial deficit in the amount of R $ 3,361,632,976.77 , while the value of actuarial results demonstrated in the present DRAA 's actuarial deficit of R $ 10,344,705,187.76 . In both calculations the deficit result has concentration in the cities of Fortaleza, CanindÃ, MaracanaÃ, Juazeiro and Itapipoca. In 1. & 2. calculating the municipalities of Amontada and Caucaia proved surplus, also adding to the towns of Cruz and Fortim, the surplus calculation performed by the author. The actuarial deficit of the municipality of Itapipoca presented itself takes both the calculation made by the author, as in shown in the DRRA one. It is concluded that the pension deficit loved not offer structural system for the accumulation of resources for the payment of obligations defined benefit plans. There is evidence that there is no consistency in the figures to the MPAS during transport of the DRAA 's MPAS is recommending the external control bodies investigate that the reason pointed out the differences.

This work was motivated by the famous Plateau\'s Problem which concerns the existence of a minimizing set of the area functional with prescribed boundary. In order to solve the Plateau\'s Problem, we make use of different theories: the theory of varifolds, currents and locally finite perimeter sets (Caccioppoli sets). Working on the Caccioppoli sets theory, it is straightforward to prove the existence of a minimizing set in some classical problems as the isoperimetric and Plateau\'s problems. If we switch the problem to find the regularity that we can extract of some minimizing set, we come across complicated ideas and tools. Although, the Plateau\'s Problem and other classical problems are well settled. Because of that, we have extensively studied the almost minimizing condition ((; r)-minimizing sets) considered by Maggi ([?]) which subsumes some classical problems. We focused on the regularity theory extracted from this almost minimizing condition. / This work was motivated by the famous Plateau\'s Problem which concerns the existence of a minimizing set of the area functional with prescribed boundary. In order to solve the Plateau\'s Problem, we make use of different theories: the theory of varifolds, currents and locally finite perimeter sets (Caccioppoli sets). Working on the Caccioppoli sets theory, it is straightforward to prove the existence of a minimizing set in some classical problems as the isoperimetric and Plateau\'s problems. If we switch the problem to find the regularity that we can extract of some minimizing set, we come across complicated ideas and tools. Although, the Plateau\'s Problem and other classical problems are well settled. Because of that, we have extensively studied the almost minimizing condition ((; r)-minimizing sets) considered by Maggi ([?]) which subsumes some classical problems. We focused on the regularity theory extracted from this almost minimizing condition.

Esta tese trata das propriedades estruturais e do controle de sistemas lineares singulares sujeitos a saltos Markovianos (SLSSM). Três questões fundamentais são consideradas para esta classe de sistemas. A primeira estabelece condições necessárias para que o sistema seja estocasticamente regular em um período de tempo determinado. A segunda trata da estabilidade exponencial estocástica de SLSSM. Equações de Lyapunov acopladas generalizadas são deduzidas para caracterizar estabilidade deste tipo de sistema. Em virtude da complexidade das soluções numéricas dessas equações, cada equação de Lyapunov do conjunto acoplado está em função de duas variáveis desconhecidas, estamos propondo um algoritmo para resolver este problema. A terceira questão diz respeito à síntese de um regulador para este tipo de sistema singular definida em termos de equações algébricas generalizadas de Riccati acopladas. / This thesis deals with the structural features and with the control of singular linear systems with Markovian jump parameters (SLSMJP). Three fundamental questions are considered to this class of systems. The first provides necessary conditions to characterize stochastic regularity in a determined period of time. The second deals with exponential stability of SLSMJP. Coupled generalized Lyapunov Equations are deduced to check the stability of this class of systems. In virtue of the complexity of the numerical solutions of these equations, there exist two unknown variables for each equation of the set of coupled Lyapunov equations, we are proposing an algorithm to solve this problem. The third question is related with the synthesis of a regulator for this class of singular systems defined in terms of coupled algebraic generalized Riccati equations.

Made available in DSpace on 2016-06-02T20:27:37Z (GMT). No. of bitstreams: 1 1812.pdf: 704233 bytes, checksum: e7fb55b4f8d432fd6e7f5fd034c5fb2e (MD5) Previous issue date: 2008-04-24 / Financiadora de Estudos e Projetos / This work is concerned with a parabolic problem, occuring in population genetics, under a nonlinear Neumann boundary condition with a weight of indefinite sign and a positive parameter. Considering a phase space appropriate to the physical nature intrinsic to the model, it is proved that the parabolic problem generates a nonlinear dynamical system, which is a gradient system. Therefore, its equilibrium solutions play a fundamental role in the long term dynamics. Then the stationary problem is studied under various aspects: it is proved the existence of a weak equilibrium solution using the variational method; it is established the regularity of weak equilibrium solutions by showing that they are classical ones; the bifurcation and stability structures of equilibria are completely determined. Furthermore the behavior of the trace of the nontrivial equilibrium solution when the parameter is large is established. / É estudado neste trabalho um problema parabólico, oriundo de um modelo em genética populacional, com condição de fronteira de Neumann não-linear apresentando um peso com sinal indefinido e um parâmetro positivo. Considerando-se um espaço de fase adequado às questôes de natureza física ligadas ao modelo, prova-se que o problema parabólico determina um sistema dinâmico não-linear, o qual é também um sistema gradiente. Desta forma, as soluções de equilíbrio desempenham um papel fundamental no que se concerne à dinâmica. O problema estacionário é então estudado sob diversos aspectos: é provada a existência de solução de equilíbrio fraca por meio do método variacional; a regularidade de soluções de equilíbrio fracas é estabelecida ao ser mostrado que quaisquer tais soluções são, na verdade, clássicas; as estruturas de bifurcação e estabilidade das soluções de equilíbrio são completamente determinadas, além do comportamento do traço da solução de equilíbrio não-trivial quando o parâmetro é arbitrariamente grande.

Seja (R;m) um anel Noetheriano local e R \'CONTÉM\' \'iota IND. 1\' \'CONTÉM\' \'iota IND. 2\' \'CONTÉM ... uma filtração de ideais de R. Podemos então construir a álgebra graduada F(\'\\Im) := \'SOMA DIRETA IND. n > OU = 0 POT. \'iota IND. n / \'m \'iota IND. n\', chamada de fibra especial. Esta tese objetiva a pesquisa deste anel. Investigamos sobre a sua propriedade de ser Gorenstein e a sua regularidade de Castelnuovo-Mumford. Outro objetivo, é generalizarmos o teorema de Risler-Teissier (sobre multiplicidades mistas) para o caso de filtrações de Hilbert / Let (R;m) be a Noetherian local ring and R \'CONTAINS\' \'iota IND. 1\' \'CONTAINS\' \'iota IND. 2\' \'CONTAINS\' ... a filtration of ideals in R. We may then construct the graded algebra F(\\Im) := \'DIRECT SUM\' IND. n > OR = \'0 POT. \'iota\' IND. n / \'m \'iota IND. n\' , which is called fiber cone. This thesis has the goal to research about this graded ring. We investigate its Gorenstein property and its Castelnuovo-Mumford regularity. Another aim is to generalize the Risler-Teissiers theorem (about mixed multiplicities) for the case of Hilbert filtration

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / David Mumford introduced the concept of regularity of a coherent beam into the projective space in terms of local cohomology, generalizing a classic argument of Castelnuovo. In this dissertation under view of commutative algebra, we will introduce the concept of regularity of finitely generated graduated modules on the ring of polynomials. First, we perform a preliminary study on dimension theory and especially on Hilbert’s function. We also studied the basics of Cohen- Macaulay modules, properties of Betti’s graduated numbers, and the local cohomology functors. In the main chapter, we define the regularity of Castelnuovo-Mumford using the free resolution shifts. Soon after, we show that the definition of regularity can be given in terms of local cohomology, with emphasis on the cases of Artinian and Cohen-Macaulay modules. / David Mumford introduziu o conceito de regularidade de um feixe coerente no espac¸o projetivo em termos de cohomologia local, generalizando um argumento cl´assico de Castelnuovo. Nessa dissertac¸ ˜ao sob a vis˜ao da ´algebra comutativa, introduziremos o conceito de regularidade de m´odulos graduados finitamente gerados sobre o anel de polinˆomios. Primeiramente realizamos um estudo preliminar sobre teoria da dimens˜ao e em especial sobre a func¸ ˜ao de Hilbert. Tamb´em estudamos noc¸ ˜oes b´asicas em m´odulos Cohen-Macaulay, propriedades dos n´umeros graduados de Betti e dos funtores de cohomologia local. No cap´ıtulo principal, definimos a regularidade de Castelnuovo-Mumford utilizando os shifts de resoluc¸ ˜oes livres. Logo ap´os, mostramos que a definic¸ ˜ao de regularidade pode ser dada em termos de cohomologia local, dando ˆenfase aos casos de m´odulos Artinianos e Cohen-Macaulay. / São Cristóvão, SE

Nesta tese abordaremos dois tipos de problemas relacionados aos célebres Teorema da Fibração de Milnor e Teorema da Fibração de Milnor-Lê para o caso real com valores críticos não isolados. Primeiramente, asseguramos fibrações do tipo Milnor-Lê para F : (Xm, 0) &rarr; (Yn, 0), germe de aplicação subanalítico com X e Y espaços subanalíticos sobre C \\ {0} uma curva subanalítica conexa em Y e sobre um subespaço analítico suave W &sub; Y de dimensão p, n &ge; p &ge; 2, sob algumas condições. Em particular, mostramos a existência das fibrações sobre o discriminantes de germe de aplicações subanalíticos, caso esse ainda não estudado na literatura, normalmente o conjunto dos valores críticos são desconsiderados. Finalizando nossa análise da categoria subanalítica, certificamos que existe a fibração de Milnor-Lê para f : (X, 0) &rarr;(Rp, 0), com dimensão de X maior que p &ge; 2, subanalítica e X subanalítico com valores críticos não isolados, definindo d-regularidade. Abordamos estes problemas utilizando resultados de campos de vetores rugosos. Em uma segunda etapa apresentamos um novo critério necessário e suficiente para verificar a importante propriedade de transversalidade de um germe de aplicação real f de classe Cl, l &ge; 1. Fazendo uso também de uma recente ferramenta desenvolvida, a D-regularidade, verificamos condições para a existência das fibrações do germe de aplicação &Psi; F, X : (Cn, 0) &rarr; (C, 0) não holomorfo, dado por &Psi; (z, z&#772;) = &Sigma;nj=1 kjtjzj a<sub<jzj bj, aj, bj &ge; 0 com aj = bj para pelo menos um j e aj &ne; bj para ao menos um j, com j = 1, ... , n. Observamos que &Psi;F, X são polinômios homogêneos pesados mistos com R+ -ação. Consideramos &Psi;F, X : (R2n ,0) &rarr; (R2, 0) germe de aplicação analítico real. Estudamos a topologia dessas fibrações nos reais, constatando que o discriminante tem dimensão 1 e por isso tem ambas as fibrações conhecidas. Por fim exibimos um homeomorfismo entre as fibras dos valores regulares e dos valores críticos. / In this thesis two types of problems related to the famous Milnor Fibration Theorem and Milnor-Lê Fibration Theorem for the real case with non-isolated critical values will be addressed. Primarily, we assure the fibrations of type Milnor-Lê for the germ F : (X, 0) &rarr; (Y, 0) subanalytic with X and Y subanalytic spaces on C \\ {0} a subanalytic connected curve in Y and over a smooth analytical subspace W &sub; Y of dimension p, n &ge p &ge; 2, under some conditions. In particular, we show the existence of the fibrations about the discriminants of subanalytical map-germ, if this not been studied in the literature, usually the set of critical values are disregarded. Finalizing our analysis of this subanalytic category, we certify that there exist the fibrations of type Milnor-Lê to f : (X, 0) &rarr; (Rp, 0), with dimension of X greater than p &ge; 2, subanalytic and X subanalytic with non-isolated critical values, setting d -regularity. We address these problems using results of the rugose vector fields. In a second part, we present a new necessary and sufficient criterion to verify the important transversality property of a real map-germ f of class Cl, l &ge; 1. Using a recent developed tool, D-regularity, we verify conditions for the existence of the fibrations of map-germ &Psi; F, X : (Cn, 0) &rarr; (C, 0) non holomorphic, given by &Psi; (z, z&#772;) = &Sigma;nj=1 kjtjzj ajzb<sup<j, aj, bj &ge; 0 with aj = bj for at least one j and aj &ne; bj for at leeast one j = 1, ..., n. We note that &Psi; F, X are mixed weighted homogeneous polynomials with R+-action. We consider &Psi;F, X : (R2n, 0) &rarr; (R2, 0) real analytic map-germ. We studied the topology of these fibrations, noting that the discriminant has dimension 1 and therefore has both the fibrations known. Lastly we show a homeomorphism between the fibers of the regular values and the critical values for a case special this family.