Non-involutive constrained systems and Hamilton-Jacobi formalism

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Involutive constrained systems and Hamilton-Jacobi formalism

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Free Resolutions from Involutive Bases

We show that the theory of involutive bases can be combined with discrete algebraic Morse Theory. For a graded k[x0 ...,xn]-module M, this yields a free resolution G, which in general is not minimal. We see that G is isomorphic to the resolution induced by an involutive basis. It is possible to identify involutive bases inside the resolution G. The shape of G is given by a concrete description. Regarding the differential dG, several rules are established for its computation, which are based on the fact that in the computation of dG certain patterns appear at several positions. In particular, it is possible to compute the constants independent of the remainder of the differential. This allows us, starting from G, to determine the Betti numbers of M without computing a minimal free resolution: Thus we obtain a new algorithm to compute Betti numbers. This algorithm has been implemented in CoCoALib by Mario Albert. This way, in comparison to some other computer algebra system, Betti numbers can be computed faster in most of the examples we have considered. For Veronese subrings S(d), we have found a Pommaret basis, which yields new proofs for some known properties of these rings. Via the theoretical statements found for G, we can identify some generators of modules in G where no constants appear. As a direct consequence, some non-vanishing Betti numbers of S(d) can be given. Finally, we give a proof of the Hyperplane Restriction Theorem with the help of Pommaret bases. This part is largely independent of the other parts of this work.

On Vessiot's Theory of Partial Differential Equations

The object of research presented here is Vessiot's theory of partial differential equations: for a given differential equation one constructs a distribution both tangential to the differential equation and contained within the contact distribution of the jet bundle. Then within it, one seeks n-dimensional subdistributions which are transversal to the base manifold, the integral distributions. These consist of integral elements, and these again shall be adapted so that they make a subdistribution which closes under the Lie-bracket. This then is called a flat Vessiot connection. Solutions to the differential equation may be regarded as integral manifolds of these distributions. In the first part of the thesis, I give a survey of the present state of the formal theory of partial differential equations: one regards differential equations as fibred submanifolds in a suitable jet bundle and considers formal integrability and the stronger notion of involutivity of differential equations for analyzing their solvability. An arbitrary system may (locally) be represented in reduced Cartan normal form. This leads to a natural description of its geometric symbol. The Vessiot distribution now can be split into the direct sum of the symbol and a horizontal complement (which is not unique). The n-dimensional subdistributions which close under the Lie bracket and are transversal to the base manifold are the sought tangential approximations for the solutions of the differential equation. It is now possible to show their existence by analyzing the structure equations. Vessiot's theory is now based on a rigorous foundation. Furthermore, the relation between Vessiot's approach and the crucial notions of the formal theory (like formal integrability and involutivity of differential equations) is clarified. The possible obstructions to involution of a differential equation are deduced explicitly. In the second part of the thesis it is shown that Vessiot's approach for the construction of the wanted distributions step by step succeeds if, and only if, the given system is involutive. Firstly, an existence theorem for integral distributions is proven. Then an existence theorem for flat Vessiot connections is shown. The differential-geometric structure of the basic systems is analyzed and simplified, as compared to those of other approaches, in particular the structure equations which are considered for the proofs of the existence theorems: here, they are a set of linear equations and an involutive system of differential equations. The definition of integral elements given here links Vessiot theory and the dual Cartan-Kähler theory of exterior systems. The analysis of the structure equations not only yields theoretical insight but also produces an algorithm which can be used to derive the coefficients of the vector fields, which span the integral distributions, explicitly. Therefore implementing the algorithm in the computer algebra system MuPAD now is possible.

Global analytic regularity for structures of co-rank one

We consider real analytic involutive structures V, of co-rank one, defined on a real analytic paracompact orientable manifold M. To each such structure we associate certain connected subsets of M which we call the level sets of V. We prove that analytic regularity propagates along them. With a further assumption on the level sets of V we characterize the global analytic hypoellipticity of a differential operator naturally associated to V. As an application we study a case of tube structures.

Características de portadores de pterígio na região de Botucatu

OBJETIVO: Avaliar as características dos portadores de pterígio na região de Botucatu (SP). MÉTODOS: Portadores de pterígio foram avaliados quanto à idade, sexo, profissão, queixas e características da lesão (primário ou recidivado, tamanho, carnoso ou involutivo). Os dados foram submetidos à avaliação estatística. RESULTADOS: Cerca de metade dos portadores eram do sexo feminino, a maioria com idade superior a 40 anos, que procuraram o tratamento com queixa do efeito anti-estético da lesão. A maioria das lesões era primária (77,08%), grau 2 (69,6%) e do tipo carnoso (86,7%). Pterígio grau 4 esteve presente em 1,4% dos pacientes. CONCLUSÃO: Observou-se maior freqüência de portadores de pterígio entre mulheres, acima dos 40 anos e portadoras de pterígio primário, grau 2 e carnoso. A cegueira por pterígio ainda está presente em nosso meio.

Análise do cultivo de fibroblastos de pterígios primários e recidivados e da cápsula de Tenon normal

OBJETIVO: Avaliar a atividade proliferativa dos fibroblastos da cápsula de Tenon, provenientes de explantes de pterígios primários e recidivados e da conjuntiva normal. MÉTODOS: Foi realizado estudo prospectivo, randomizado, avaliando-se 43 peças cirúrgicas, produto da exérese de 30 pterígios primários e 13 recidivados, além de fragmentos da cápsula de Tenon normal, obtida dos próprios portadores de pterígio. Foram avaliadas a taxa de proliferação, migração e confluência, analisadas segundo dados dos portadores como: idade, localização da lesão, tipo de lesão (tamanho, involutivo ou carnoso), primário ou recidivado. Os dados obtidos foram submetidos à análise estatística. RESULTADOS: Dentre os 30 pterígios primários cultivados, 70% migraram e proliferaram e 60% chegaram à confluência. A migração, proliferação e confluência iniciaram-se mais precocemente nas culturas de fibroblastos provenientes de pterígios em comparação àquelas provenientes da Tenon normal. Os pterígios recidivados apresentaram migração mais precoce que os primários. Não houve diferença estatisticamente significativa quanto ao início da migração, proliferação e confluência entre os pterígios carnosos ou involutivos, assim como entre os pterígios de graus I-II e os de graus III-IV. CONCLUSÃO: O cultivo celular de fibroblastos de pterígios é mais viável que o de Tenon normal. A migração, proliferação e confluência diferem em pterígios primários e recidivados. Pterígios carnosos e involutivos são semelhantes em cultura, assim como não existe diferença entre os pterígios segundo o tamanho da lesão.

General relativity in two dimensions: A Hamilton-Jacobi analysis

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Two-dimensional background field gravity: A Hamilton-Jacobi analysis

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

BFFT formalism applied to the minimal chiral Schwinger model

We consider the minimal chiral Schwinger model, by embedding the gauge non-invariant formulation into a gauge theory following the Batalin-Fradkin-Fradkina-Tyutin point of view. Within the BFFT procedure, the second-class constraints are converted into strongly involutive first-class ones, leading to an extended gauge-invariant formulation. We also show that, like the standard chiral model, in the minimal chiral model the Wess-Zumino action can be obtained by performing a q-number gauge transformation into the effective gauge non-invariant action.

Topologically massive yang-mills field on the null-plane: A hamilton-jacobi approach

Non-abelian gauge theories are super-renormalizable in 2+1 dimensions and suffer from infrared divergences. These divergences can be avoided by adding a Chern-Simons term, i.e., building a Topologically Massive Theory. In this sense, we are interested in the study of the Topologically Massive Yang-Mills theory on the Null-Plane. Since this is a gauge theory, we need to analyze its constraint structure which is done with the Hamilton-Jacobi formalism. We are able to find the complete set of Hamiltonian densities, and build the Generalized Brackets of the theory. With the GB we obtain a set of involutive Hamiltonian densities, generators of the evolution of the system. © 2010 American Institute of Physics.

Hamilton-Jacobi formalism to Podolsky electromagnetic theory on the null-plane

In this work we develop the Hamilton - Jacobi formalism to study the Podolsky electromagnetic theory on the null-plane coordinates. We calculate the generators of the Podolsky theory and check the integrability conditions. Appropriate boundary conditions are introduced to assure uniqueness of the Green functions associated to the differential operators. Non-involutive constraints in the Hamilton-Jacobi formalism are eliminated by constructing their respective generalized brackets. © 2013 American Institute of Physics.

Estudo clássico completo do formalismo de Hamilton-Jacobi

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Estudo sobre a teoria de vínculos de Hamilton-Jacobi

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Globally solvable systems of complex vector fields

We consider a class of involutive systems of n smooth vector fields on the n + 1 dimensional torus. We obtain a complete characterization for the global solvability of this class in terms of Liouville forms and of the connectedness of all sublevel and superlevel sets of the primitive of a certain 1-form in the minimal covering space.