In this thesis we study the spaces of Gevrey functions and ultradistributions, focusing primarily on the properties reflected on their Fourier-Laplace transforms. In particular, we study the Paley-Wiener Theorems for compactly supported Gevrey functions and compactly supported Gevrey ultradistributions.

Nesse trabalho estudamos as classes de Gevrey e as ultradistribuições em grupos de Lie compactos, que é a generalização natural do toro no contexto de análise de Fourier. Para tal utilizamos a teoria de vetores Gevrey. Fazemos a caracterização dessas classes via o comportamento da transformada de Fourier como em [DR14], utilizando o operador de Laplace-Beltrami associado à uma métrica específica. Por final fazemos uma aplicação dessa caracterização em um problema de hipoelipticidade global como em [GW73]. / In this work we study the Gevrey class of functions and ultrudistribuitions on compact Lie groups, which is the most natural generalization of the torus in the context of Fourier analysis. For such we used the theory of Gevrey vectors. We get a characterization of such class by the behaviour of the Fourier transform, as in [DR14], using the Laplace-Beltrami operator associated to a specific metric. At the end we give an aplication of this characterization in a global hypoellipticity problem as in [GW73].

Thesis (doctoral)--Technische Universiteit Eindhoven, 1989. / Includes indexes. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (p. 117-120).

Nous considérons dans cette thèse le problème de Cauchy pour des systèmes d'EDP quasilinéaires, du premier ordre. Dans le cas initialement elliptique, c'est-à-dire un spectre non-réel pour le symbole principal du système à t=0, nous prouvons un résultat d'instabilité au sens d'Hadamard. La preuve est basée sur la construction d'une famille de solutions présentant une croissance exponentielle en temps et fréquence. Cette famille invalide la régularité Hölder du flot, partant d'espaces de Gevrey vers L². Nous prouvons un résultat analogue pour différents cas de transition de l'hyperbolique vers l'elliptique, avec une restriction possible sur l'indice Gevrey pour lequel l'instabilité est observée. Dans un second temps, nous considérons le cas faiblement hyperbolique et semilinéaire. Grâce à des estimations d'énergie dans les espaces de Gevrey et à la construction d'un symétriseur adapté, nous prouvons le caractère localement bien-posé pour un tel système. Pour ce faire, nous utilisons et démontrons aussi un résultat d'action d'opérateurs pseudo-différentiels dont le symbole possède une régularité Gevrey dans la variable d'espace. / We consider the Cauchy problem for first-order, quasilinear systems of PDEs. In the initially elliptic case, that is when the principal symbol of the system has nonreal spectrum at time t=0, we prove an instability result in the sense of Hadamard. The proof is based on the construction of a family of exact solutions which exhib an exponential growth, both in time and frequency. That family leads to a defect of Hölder regularity of the flow, starting from evrey spaces to L² space. We prove analogous results for some cases of transition from hyperbolicity to ellipticity, with a potential restriction on the Gevrey index for which we may observe the instability. In a second time, we consider weakly hyperbolic systems. Thanks to an energy estimate in Gevrey spaces and the construction of a suitable symetriser, we prove local well-posedness for such a system. In doing so we use and prove a result on actions of pseudo-differential operators whose symbols have Gevrey regularity in the spatial variable

Dans cette thèse on étudie des équations de la mécanique des fluides. On considère deux modèles : les équations de Navier-Stokes équation dans R3 en présence d'une force extérieure, et l'équation de Prandtl dans le demi plan. Pour le système de Navier-Stokes, on s'intéresse à l'existence locale en temps, l'unicité, le comportement global en temps et des critères d'explosion. Pour l'équation de Prandtl dans le demi plan, on s'intéresse à la régularité Gevrey. Le manuscrit est constitué de quatre chapitres. Dans le premier chapitre, on introduit quelques concepts de base sur les équations de la mécanique des fluides et on rappelle le sens physique des deux modèles précédents ainsi que quelques résultats mathématiques. Ensuite on énonce brièvement nos principaux résultats et les motivations. Enfin on mentionne quelques problèmes ouverts. Le second chapitre est consacré au problème de Cauchy pour les équations de Navier-Stokes dans R3 en présence d'une petite force extérieure, peu régulière. On démontre l'existence locale en temps pour ce système pour toute donnée initiale appartenant à un espace de Besov critique avec régularité négative. On obtient de plus trois résultats d'unicité pour ces solutions. Enfin on étudie le comportement en temps grand et la stabilité de solutions a priori globales. Le troisième chapitre traite d'un critère d'explosion pour les équations de Navier-Stokes avec une force extérieure indépendante du temps. On met en place une décomposition en profils pour les équations de Navier-Stokes forcées. Cette décomposition permet de faire un lien entre les équations forcées et non forcées, ce qui permet de traduire une information d'explosion de la solution non forcée vers la solution forcée. Dans le Chapitre 4 on étudie l'effet régularisant Gevrey de la solution locale en temps de l'équation de Prandtl dans le demi plan. Il est bien connu que l'équation de couche limite de Prandtl est instable pour des données initiales générales, et bien posée dans des espaces de Sobolev pour des données initiales monotones. Sous une hypothèse de monotonie de la vitesse tangentielle du flot, on démontre la régularité Gevrey pour la solution de l'équation de Prandtl dans le demi plan pour des données initiales dans un espace de Sobolev. / This thesis deals with equations of fluid dynamics. We consider the following two models: one is the Navier-Stokes equation in R3 with an external force, the other one is the Prandtl equation on the half plane. For the Navier-Stokes system, we focus on the local in time existence, uniqueness, long-time behavior and blowup criterion. For the Prandtl equation on the half-plane, we consider the Gevrey regularity. This thesis consists in four chapters. In the first chapter, we introduce some background on equations of fluid dynamics and recall the physical meaning of the above two models as well as some well-known mathematical results. Next, we state our main results and motivations briefly. At last we mention some open problems. The second chapter is devoted to the Cauchy problem for the Navier-Stokes equation equipped with a small rough external force in R3. We show the local in time existence for this system for any initial data belonging to a critical Besov space with negative regularity. Moreover we obtain three kinds of uniqueness results for the above solutions. Finally, we study the long-time behavior and stability of priori global solutions.The third chapter deals with a blow-up criterion for the Navier-Stokes equation with a time independent external force. We develop a profile decomposition for the forced Navier-Stokes equation. The decomposition enables us to connect the forced and the unforced equations, which provides the blow-up information from the unforced solution to the forced solution. In Chapter 4, we study the Gevrey smoothing effect of the local in time solution to the Prandtl equation in the half plane. It is well-known that the Prandtl boundary layer equation is unstable for general initial data, and is well-posed in Sobolev spaces for monotonic initial data. Under a monotonicity assumption on the tangential velocity of the outflow, we prove Gevrey regularity for the solution to Prandtl equation in the half plane with initial data belonging to some Sobolev space.

Cette thèse a pour objet l'étude d'équations fonctionnelles analytiques. Elle se divise en deux parties. La première, purement mathématique, concerne l'étude des équations aux q-différences et des équations voisines. Plus précisement, nous établissons des théorèmes d'indices et de croissance des solutions entières pour les équations mixtes différentielles-q-différences, généralisant les résultats connus dans le cadre des équations différentielles d'une part, des équations aux q-différences d'autre part. Par ailleurs, nous obtenons des théorèmes d'indices pour les développements en séries de q-factorielles, q-analogues des séries de factorielles. La seconde partie de cette thèse concerne la multisommation des séries formelles solutions d'équations différentielles linéaires algébriques. La théorie et la méthode des transformées de Laplace itérées nous donne une méthode effective permettant de sommer ces séries formelles. Le travail consiste à réaliser les algorithmes formels et numériques en créant les primitives informatiques nécessaires, en coordination avec le travail méné par d'autres équipes du groupe de travail CATHODE (Computer Algebra Tools for Handling Ordinary Differential Equations, projet européen Esprit).

Ce mémoire composé de quatre chapitres, réunit des résultats sur l'existence, l'unicité et la régularité des solutions des Equations Primitives (EPs) des océans et de l'atmosphère, en dimension deux et trois d'espace (Chapitres 1--3), ainsi qu'une étude sur le comportement asymptotique des EPs quand le nombre de Rossby tend vers zero (Chapitre 4) ; les conditions aux limites sont de type périodique dans tous les cas.<br /><br />Dans le premier chapitre, on considère les EPs de l'océan en dimension deux d'espace (écoulement tridimensionnel indépendant de la variable y). On montre d'abord l'existence globale en temps d'une solution faible ainsi que l'existence et l'unicité d'une solution forte. Puis, on prouve l'existence d'une solution plus régulière (jusqu' à la régularité C-infini).<br /><br />Dans le deuxième chapitre on montre, pour un modèle semblable à celui du premier chapitre que, pour une force analytique en temps à valeurs dans un espace du type de Gevrey, et une donnée initiale dans un espace de Sobolev convenable, les solutions des EPs appartiennent, sur un certain intervalle de temps, à un espace de Gevrey.<br /><br />Le troisième chapitre est dans la continuité naturelle des deux premiers chapitres. On considère ici les EPs en dimension trois d'espace et on étudie la régularité du type de Sobolev et du type de Gevrey pour les solutions.<br /><br />Le dernier chapitre de la thèse est dédié à l'étude du comportement asymptotique des EPs (sous la forme introduite au premier chapitre), quand le nombre de Rossby tend vers zero. On arrive ici a "moyenner" la solution exacte très oscillante quand le nombre de Rossby est petit, en utilisant une méthode de renormalisation.

The paper is devoted to the construction of the exponential function of a matrix pseudo-differential operator which do not satisfy any of the known theorems (see, Sec.8 Ch.VIII and Sec.2 Ch.XI of [17]). The applications to the construction of the fundamental solution for the Cauchy problem for the hyperbolic operators with the characteristics of variable multiplicity are given, too.

Cette thèse a pour objet d'étudier l'influence de la discrétisation d'une équation différentielle sur les variétés stables et instables dans deux exemples concrets : l'équation logistique et l'équation du pendule. L'équation logistique est équivalente à un système qui admet deux points selles A et B. Il est connu que la variété stable en A coïncide avec la variété instable en B. En améliorant des résultats antérieures de A. Fruchard et R. Schäfke, nous montrons que les deux variétés ne coïncident plus pour l'équation discrétisée. La démonstration est basée sur une modification d'une approche développée par R. Schäfke et H. Volkmer. Nous construisons d'abord une solution formelle à coefficients polynomiaux. Ensuite, nous donnons une approximation asymptotique des coefficients de la solution formelle. Ces estimations nous permettent d'obtenir une quasi-solution c'est à dire une fonction qui vérifie l'équation aux différences avec une erreur exponentiellement petite, puis de déterminer le comportement asymptotique de la distance entre les deux variétés. Pour conclure, nous démontrons qu'une constante alpha dans le terme dominant de la distance entre les variétés n'est pas nulle et nous donnons une approximation précise de cette constante. La deuxième partie de cette thèse est consacrée à une étude analogue concernant l'équation du pendule et de sa discrétisation (Application standard). Des résultats similaires ont été obtenus par Lazutkin et al., mais la preuve que nous avons utilisée est complètement différente. Ce cas est plus difficile que le précédent parce qu'il s'agit d'une équation du second ordre.

Dans ce travail nous démontrons un théorème de simplification uniforme concernant les équations différentielles ordinaires du second ordre singulièrement perturbées au voisinage d’un point dégénéré, appelé point tournant. Il s’agit d’une version analytique d’un résultat formel dû à Hanson et Russell, qui généralise un théorème connu de Sibuya. Pour traiter ce problème, nous utilisons les développements asymptotiques combinés Gevrey introduits par Fruchard et Schäfke. Dans une première partie nous rappelons les définitions et théorèmes principaux de cette récente théorie. Nous établissons trois résultats généraux que nous utilisons ensuite dans la seconde partie de ce manuscrit pour démontrer le théorème principal de réduction analytique annoncé. Enfin nous considérons des équations différentielles ordinaires d’ordre supérieur à deux, singulièrement perturbées à point tournant, et nous démontrons un théorème de réduction analytique. / In this thesis we prove a theorem of uniform simplification for second order and singularly perturbed differential equations in a full neighborhood of a degenerate point, called a turning point. This is an analytic version of a formal result due to Hanson and Russell, which generalizes a well known theorem of Sibuya. To solve this problem we use the Gevrey composite asymptotic expansions introduced by Fruchard and Schäfke. In the first part we recall the main definitions and theorems of this recent theory. We establish three general results used in the second part of this thesis to prove the main theorem of analytic reduction. Finally we consider ordinary differential equations of order greater than two, which are singularly perturbed and have a turning point, and we prove a theorem of analytic reduction.