京都大学 / 新制・課程博士 / 博士(情報学) / 甲第23587号 / 情博第781号 / 新制||情||133(附属図書館) / 京都大学大学院情報学研究科数理工学専攻 / (主査)教授 矢ヶ崎 一幸, 教授 梅野 健, 准教授 柴山 允瑠 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM

Seja L um campo vetorial complexo não singular definido em um aberto do plano. Treves provou que se L é localmente resolúvel então L é localmente integrável. Para campos planares hipoelíticos, vale uma propriedade adicional, a saber, toda integral primeira (restrita a um aberto suficientemente pequeno) é uma aplicação injetiva (e aberta); isto, por sua vez, implica que toda solução da equação homogênea Lu = 0 é localmente da forma u = h 0 Z, com h holomorfa, sendo Z uma integral primeira do campo. O problema central de interesse desta dissertação é a questão global correspondente, ou seja, a exisatência de integrais primeiras globais injetoras e a representação dde soluções globais por composições da integral primeira com uma função holomorfa / Let L be a nonsingular complex vector field defined on an open subset of the plane. Treves proved that if L is locally solvable then L is locally integrable. For hypoelliptic planar vector fields an additional property holds, namely, every first integral (restricted to a sufficiently small open set) is an injective (and open) mapping; this, on its turn, implies that each solution of the homogeneous equation Lu = 0 is locally of the form u = h Z, where h is holomorphic and Z is a first integral of the vector eld. The central problem of interest in this work is the corresponding global question, that is, the existence of global, injective first integrals and the representation of global solutions as compositions of the first integral with a holomorphic function

Seja L um campo vetorial complexo não singular definido em um aberto do plano. Treves provou que se L é localmente resolúvel então L é localmente integrável. Para campos planares hipoelíticos, vale uma propriedade adicional, a saber, toda integral primeira (restrita a um aberto suficientemente pequeno) é uma aplicação injetiva (e aberta); isto, por sua vez, implica que toda solução da equação homogênea Lu = 0 é localmente da forma u = h 0 Z, com h holomorfa, sendo Z uma integral primeira do campo. O problema central de interesse desta dissertação é a questão global correspondente, ou seja, a exisatência de integrais primeiras globais injetoras e a representação dde soluções globais por composições da integral primeira com uma função holomorfa / Let L be a nonsingular complex vector field defined on an open subset of the plane. Treves proved that if L is locally solvable then L is locally integrable. For hypoelliptic planar vector fields an additional property holds, namely, every first integral (restricted to a sufficiently small open set) is an injective (and open) mapping; this, on its turn, implies that each solution of the homogeneous equation Lu = 0 is locally of the form u = h Z, where h is holomorphic and Z is a first integral of the vector eld. The central problem of interest in this work is the corresponding global question, that is, the existence of global, injective first integrals and the representation of global solutions as compositions of the first integral with a holomorphic function

Integrable systems arise in nonlinear processes and, both in their classical and quantum version, have many applications in various fields of mathematics and physics, which makes them a very active research area. In this thesis, the problem of integrability of multidimensional equations, especially in three dimensions (3D), is explored. We investigate systems of differential, differential-difference and discrete equations, which are studied via a novel approach that was developed over the last few years. This approach, is essentially a perturbation technique based on the so called method of dispersive deformations of hydrodynamic reductions . This method is used to classify a variety of differential equations, including soliton equations and scalar higher-order quasilinear PDEs. As part of this research, the method is extended to differential-difference equations and consequently to purely discrete equations. The passage to discrete equations is important, since, in the case of multidimensional systems, there exist very few integrability criteria. Complete lists of various classes of integrable equations in three dimensions are provided, as well as partial results related to the theory of dispersive shock waves. A new definition of integrability, based on hydrodynamic reductions, is used throughout, which is a natural analogue of the generalized hodograph transform in higher dimensions. The definition is also justified by the fact that Lax pairs the most well-known integrability criteria are given for all classification results obtained.

The integrability of an m-component system of hydrodynamic type, Ut = v(u)ux, by the generalized hodograph method requires the diagonalizability of the m x m matrix v(u). The diagonalizability is known to be equivalent to the vanishing of the corresponding Haantjes tensor. This idea is applied to hydrodynamic chains - infinite-component systems of hydrodynamic type for which the 00 x 00 matrix v(u) is 'sufficiently sparse'. For such 'sparse' systems the Haantjes tensor is well-defined, and the calculation of its components involves only a finite number of summations. The calculation of the Haantjes tensor is done by using Mathematica to perform symbolic calculations. Certain conservative and Hamiltonian hydrodynamic chains are classified by setting Haantjes tensor equal to zero and solving the resulting system of equations. It is shown that the vanishing of the Haantjes tensor is a necessary condition for a hydrodynamic chain to possess an infinity of semi-Hamiltonian hydrodynamic reductions, thus providing an easy-to-verify necessary condition for the integrability of such sysyems. In the cases of the Hamiltonian hydrodynamic chains we were able to first construct one extra conservation law and later a generating function for conservation laws, thus establishing the integrability.

The purpose of this paper is to investigate the integrability, measurability, and summability of certain set functions. The paper is divided into four chapters. The first chapter contains basic definitions and preliminary remarks about set functions and absolute continuity. In Chapter i, the integrability of bounded set functions is investigated. The chapter culminates with a theorem that characterizes the transmission of the integrability of a real function of n bounded set functions. In Chapter III, measurability is defined and a characterization of the transmission of measurability by a function of n variables is provided, In Chapter IV, summability is defined and the summability of set functions is investigated, Included is a characterization of the transmission of summability by a function of n variables.

Esta dissertação de mestrado consiste de uma revisão sobre teorias quânticas de campos integráveis em duas dimensões, explorando tanto aspectos clássicos como aspectos quânticos dessas teorias munidas de infinitas cargas conservadas. Em nível clássico, consideramos uma teoria de supercampos escalares em duas dimensões com superpotencial arbitrário. Através da imposição da não produção de partículas a nível-árvore, restringimos a forma das interações adimissíveis, recuperando uma extensão supersimétrica do modelo de sinh-Gordon, o qual é provado ser integrável não somente através da obtenção do conjunto infinito de cargas conservadas, mas também através de S-matrix bootstrap. Ainda no nível clássico também mostramos uma profunda relação entre as Toda theories e os conformal minimal models, a qual se estende para nível quântico onde obtemos uma família de fluxos de renormalização entre os unitary conformal minimal models conhecida como staircase model. / This master thesis is an overview of integrability in two-dimensional field theories. We explore both classical and quantum aspects of these theories which are characterized by infinitely many conserved charges. At the classical level, we consider a theory of scalar superfields in two dimensions with arbitrary superpotential. By imposing no particle production in tree-level scattering, we constrain the form of the admissible interactions, recovering a supersymmetric extension of the sinh-Gordon model. This model is proven to be integrable not only by explicitly finding the infinite set of conserved charges but also via the S-matrix bootstrap. We also show a deep relation between Affine Toda theories and conformal minimal models, that extends to the quantum level, where we find a family of integrable renormalization group flows between the unitary conformal minimal models, known as the staircase model.

Submitted by VICTOR CESAR COSTA ALVES null (victorc@ift.unesp.br) on 2017-03-24T17:06:35Z No. of bitstreams: 1 document.pdf: 511663 bytes, checksum: 1bf722030b47e34e0031fc461efd9f67 (MD5) / Approved for entry into archive by Luiz Galeffi (luizgaleffi@gmail.com) on 2017-03-24T20:35:37Z (GMT) No. of bitstreams: 1 alves_vcc_me_ift.pdf: 511663 bytes, checksum: 1bf722030b47e34e0031fc461efd9f67 (MD5) / Made available in DSpace on 2017-03-24T20:35:37Z (GMT). No. of bitstreams: 1 alves_vcc_me_ift.pdf: 511663 bytes, checksum: 1bf722030b47e34e0031fc461efd9f67 (MD5) Previous issue date: 2017-02-21 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O presente trabalho trata de um abordagem de aplicações em física dos métodos matemáticos de integrabilidade de Painlevé, por outro lado também aborda o formalismo de hierarquias integráveis e o modelo de 2M-bosons onde são usados métodos de equações diferenciais bem como um método para soluções usando aproximantes de Padé. / The current work aims at applications of mathematical methods of Painlevé integrability in physics, on the other side it also approaches the integrable hierarchies formalism and the 2M-bose model where differential equations methods are used as well as a method for solutions using Padé approximants.

Orientador: Abraham Hirsz Zimerman / Abstract: The current work aims at applications of mathematical methods of Painlevé integrability in physics, on the other side it also approaches the integrable hierarchies formalism and the 2M-bose model where differential equations methods are used as well as a method for solutions using Padé approximants. / Resumo: O presente trabalho trata de um abordagem de aplicações em física dos métodos matemáticos de integrabilidade de Painlevé, por outro lado também aborda o formalismo de hierarquias integráveis e o modelo de 2M-bosons onde são usados métodos de equações diferenciais bem como um método para soluções usando aproximantes de Padé. / Mestre

We study the cause of the signature over finite fields of integrability in two dimensional discrete dynamical systems by using theory from algebraic geometry. In particular the theory of elliptic curves is used to prove the major result of the thesis: that all birational maps that preserve an elliptic curve necessarily act on that elliptic curve as addition under the associated group law. Our result generalises special cases previously given in the literature. We apply this theorem to the specific cases when the ground fields are finite fields of prime order and the function field $mathbb{C}(t)$. In the former case, this yields an explanation of the aforementioned signature over finite fields of integrability. In the latter case we arrive at an analogue of the Arnol'd-Liouville theorem. Other results that are related to this approach to integrability are also proven and their consequences considered in examples. Of particular importance are two separate items: (i) we define a generalization of integrability called mixing and examine its relation to integrability; and (ii) we use the concept of rotation number to study differences and similarities between birational integrable maps that preserve the same foliation. The final chapter is given over to considering the existence of the signature of reversibility in higher (three and four) dimensional maps. A conjecture regarding the distribution of periodic orbits generated by such maps when considered over finite fields is given along with numerical evidence to support the conjecture.