Thèse (M.Sc.)--Université Laval, 2009. / Bibliogr.: f. [102]-106. Publié aussi en version électronique dans la Collection Mémoires et thèses électroniques.

Thèse de doctorat : Mathématiques : Lille 1 : 2002. / N° d'ordre (Lille) : 3112. Bibliogr. p. 101-103.

Tableau d’honneur de la Faculté des études supérieures et postdoctorales, 2008-2009 / Ce mémoire présente dans un langage moderne la théorie de l'intégration en termes finis. Le grand mathématicien J. Liouville l'initia et bien d'autres la poursuivirent, il fallut pourtant attendre deux articles de R. H. Risch, à la fin des années soixante pour connaitre enfin un algorithme intégrant explicitement les fonctions élémentaires. La méthode a été développée, raffinée et étendue au cours des décennies qui suivirent. Notre approche emprunte principalement aux articles et aux autres écrits de M. Bronstein (1963- 2005). Nous détaillons ces nouveaux algorithmes, notamment dans le cas des fonctions élémentaires transcendantes. Ils ont tous été programmés et testés dans le langage Maple Il.0. Nous avons tenté de rendre le contenu vivant, insistant sur l'apport historique et la source des découvertes. Ce mémoire n'est qu'une facette d'un objectif plus, large qui consistait à explorer l'ensemble du calcul formel ("Computer Algebra"). / [Théorème de Liouville]

.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Dans ce mémoire, nous élaborons des méthodes pour analyser le comportement de fonctions sur les corps finis. Après avoir étudié d'une façon personnalisée la distribution des valeurs de certaines truncations naturelles de fonctions transcendantes sur Fp, nous incluons la démonstration de W. M. Schmidt de l'hypothèse de Riemann sur les corps finis, puis une démonstration du théorème de Kurepa-Barsky-Benzaghou et nous concluons avec une preuve du théorème de Thue pour mettre en évidence la puissance et le champ d'applications de la méthode élémentaire de Thue-Stepanov.

Dans cette thèse, nous proposons de nouveaux résultats de systèmes superintégrables séparables en coordonnées polaires. Dans un premier temps, nous présentons une classification complète de tous les systèmes superintégrables séparables en coordonnées polaires qui admettent une intégrale du mouvement d'ordre trois. Des potentiels s'exprimant en terme de la sixième transcendante de Painlevé et de la fonction elliptique de Weierstrass sont présentés. Ensuite, nous introduisons une famille infinie de systèmes classiques et quantiques intégrables et exactement résolubles en coordonnées polaires. Cette famille s'exprime en terme d'un paramètre k. Le spectre d'énergie et les fonctions d'onde des systèmes quantiques sont présentés. Une conjecture postulant la superintégrabilité de ces systèmes est formulée et est vérifiée pour k=1,2,3,4. L'ordre des intégrales du mouvement proposées est 2k où k ∈ ℕ. La structure algébrique de la famille de systèmes quantiques est formulée en terme d'une algèbre cachée où le nombre de générateurs dépend du paramètre k. Une généralisation quasi-exactement résoluble et intégrable de la famille de potentiels est proposée. Finalement, les trajectoires classiques de la famille de systèmes sont calculées pour tous les cas rationnels k ∈ ℚ. Celles-ci s'expriment en terme des polynômes de Chebyshev. Les courbes associées aux trajectoires sont présentées pour les premiers cas k=1, 2, 3, 4, 1/2, 1/3 et 3/2 et les trajectoires bornées sont fermées et périodiques dans l'espace des phases. Ainsi, les résultats obtenus viennent renforcer la possible véracité de la conjecture. / In this thesis, we propose new superintegrable systems separable in polar coordinates. After the introduction, in chapter 2, we present a complete classification of all separable systems in polar coordinates which admit a third order integral in addtion to the second order one responsible for the separation of variables. New potentials expressed in terms of the sixth Painlevé transcendent and of the Weierstrass elliptic function are obtained. In chapter 3 we introduce an infinite family of integrable and exactly sovable classical and quantum systems separable in polar coordinates. This family is described in term of a parameter k. The energy spectrum and the wave functions of the quantum systems are obtained. A conjecture postulating the superintegrability of these systems is formulated and is verified for the first cases k = 1,2,3,4. The order of the integrals is 2k where k ∈ ℕ. The algebraic structure of the family of quantum systems is formulated in term of a hidden algebra where the number of generators depends on the parameter k. A quasi-exactly solvable and integrable generalization of the family of potentials is proposed. Finally in chapter 4, the classical trajectories of the family of systems are calculated for all the rational cases k ∈ ℚ. Those are expressed in term of Chebyshev polynomials. We plot the curves associated with the trajectories for k=1,2,3,4,1/2, 1/3 and 3/2. The bounded curves are closed and periodic in the two dimensional phase space. Those results obtained reinforce the possible veracity of the conjecture.

No description available.

Dans cette thèse, nous proposons de nouveaux résultats de systèmes superintégrables séparables en coordonnées polaires. Dans un premier temps, nous présentons une classification complète de tous les systèmes superintégrables séparables en coordonnées polaires qui admettent une intégrale du mouvement d'ordre trois. Des potentiels s'exprimant en terme de la sixième transcendante de Painlevé et de la fonction elliptique de Weierstrass sont présentés. Ensuite, nous introduisons une famille infinie de systèmes classiques et quantiques intégrables et exactement résolubles en coordonnées polaires. Cette famille s'exprime en terme d'un paramètre k. Le spectre d'énergie et les fonctions d'onde des systèmes quantiques sont présentés. Une conjecture postulant la superintégrabilité de ces systèmes est formulée et est vérifiée pour k=1,2,3,4. L'ordre des intégrales du mouvement proposées est 2k où k ∈ ℕ. La structure algébrique de la famille de systèmes quantiques est formulée en terme d'une algèbre cachée où le nombre de générateurs dépend du paramètre k. Une généralisation quasi-exactement résoluble et intégrable de la famille de potentiels est proposée. Finalement, les trajectoires classiques de la famille de systèmes sont calculées pour tous les cas rationnels k ∈ ℚ. Celles-ci s'expriment en terme des polynômes de Chebyshev. Les courbes associées aux trajectoires sont présentées pour les premiers cas k=1, 2, 3, 4, 1/2, 1/3 et 3/2 et les trajectoires bornées sont fermées et périodiques dans l'espace des phases. Ainsi, les résultats obtenus viennent renforcer la possible véracité de la conjecture. / In this thesis, we propose new superintegrable systems separable in polar coordinates. After the introduction, in chapter 2, we present a complete classification of all separable systems in polar coordinates which admit a third order integral in addtion to the second order one responsible for the separation of variables. New potentials expressed in terms of the sixth Painlevé transcendent and of the Weierstrass elliptic function are obtained. In chapter 3 we introduce an infinite family of integrable and exactly sovable classical and quantum systems separable in polar coordinates. This family is described in term of a parameter k. The energy spectrum and the wave functions of the quantum systems are obtained. A conjecture postulating the superintegrability of these systems is formulated and is verified for the first cases k = 1,2,3,4. The order of the integrals is 2k where k ∈ ℕ. The algebraic structure of the family of quantum systems is formulated in term of a hidden algebra where the number of generators depends on the parameter k. A quasi-exactly solvable and integrable generalization of the family of potentials is proposed. Finally in chapter 4, the classical trajectories of the family of systems are calculated for all the rational cases k ∈ ℚ. Those are expressed in term of Chebyshev polynomials. We plot the curves associated with the trajectories for k=1,2,3,4,1/2, 1/3 and 3/2. The bounded curves are closed and periodic in the two dimensional phase space. Those results obtained reinforce the possible veracity of the conjecture.