Analyse de groupe d’un modèle de la plasticité idéale planaire et sur les solutions en termes d’invariants de Riemann pour les systèmes quasilinéaires du premier ordre

Les objets d’étude de cette thèse sont les systèmes d’équations quasilinéaires du premier ordre. Dans une première partie, on fait une analyse du point de vue du groupe de Lie classique des symétries ponctuelles d’un modèle de la plasticité idéale. Les écoulements planaires dans les cas stationnaire et non-stationnaire sont étudiés. Deux nouveaux champs de vecteurs ont été obtenus, complétant ainsi l’algèbre de Lie du cas stationnaire dont les sous-algèbres sont classifiées en classes de conjugaison sous l’action du groupe. Dans le cas non-stationnaire, une classification des algèbres de Lie admissibles selon la force choisie est effectuée. Pour chaque type de force, les champs de vecteurs sont présentés. L’algèbre ayant la dimension la plus élevée possible a été obtenues en considérant les forces monogéniques et elle a été classifiée en classes de conjugaison. La méthode de réduction par symétrie est appliquée pour obtenir des solutions explicites et implicites de plusieurs types parmi lesquelles certaines s’expriment en termes d’une ou deux fonctions arbitraires d’une variable et d’autres en termes de fonctions elliptiques de Jacobi. Plusieurs solutions sont interprétées physiquement pour en déduire la forme de filières d’extrusion réalisables. Dans la seconde partie, on s’intéresse aux solutions s’exprimant en fonction d’invariants de Riemann pour les systèmes quasilinéaires du premier ordre. La méthode des caractéristiques généralisées ainsi qu’une méthode basée sur les symétries conditionnelles pour les invariants de Riemann sont étendues pour être applicables à des systèmes dans leurs régions elliptiques. Leur applicabilité est démontrée par des exemples de la plasticité idéale non-stationnaire pour un flot irrotationnel ainsi que les équations de la mécanique des fluides. Une nouvelle approche basée sur l’introduction de matrices de rotation satisfaisant certaines conditions algébriques est développée. Elle est applicable directement à des systèmes non-homogènes et non-autonomes sans avoir besoin de transformations préalables. Son efficacité est illustrée par des exemples comprenant un système qui régit l’interaction non-linéaire d’ondes et de particules. La solution générale est construite de façon explicite.

Unfolded singularities of analytic differential equations

La thèse est composée d’un chapitre de préliminaires et de deux articles sur le sujet du déploiement de singularités d’équations différentielles ordinaires analytiques dans le plan complexe. L’article Analytic classification of families of linear differential systems unfolding a resonant irregular singularity traite le problème de l’équivalence analytique de familles paramétriques de systèmes linéaires en dimension 2 qui déploient une singularité résonante générique de rang de Poincaré 1 dont la matrice principale est composée d’un seul bloc de Jordan. La question: quand deux telles familles sontelles équivalentes au moyen d’un changement analytique de coordonnées au voisinage d’une singularité? est complètement résolue et l’espace des modules des classes d’équivalence analytiques est décrit en termes d’un ensemble d’invariants formels et d’un invariant analytique, obtenu à partir de la trace de la monodromie. Des déploiements universels sont donnés pour toutes ces singularités. Dans l’article Confluence of singularities of non-linear differential equations via Borel–Laplace transformations on cherche des solutions bornées de systèmes paramétriques des équations non-linéaires de la variété centre de dimension 1 d’une singularité col-noeud déployée dans une famille de champs vectoriels complexes. En général, un système d’ÉDO analytiques avec une singularité double possède une unique solution formelle divergente au voisinage de la singularité, à laquelle on peut associer des vraies solutions sur certains secteurs dans le plan complexe en utilisant les transformations de Borel–Laplace. L’article montre comment généraliser cette méthode et déployer les solutions sectorielles. On construit des solutions de systèmes paramétriques, avec deux singularités régulières déployant une singularité irrégulière double, qui sont bornées sur des domaines «spirals» attachés aux deux points singuliers, et qui, à la limite, convergent vers une paire de solutions sectorielles couvrant un voisinage de la singularité confluente. La méthode apporte une description unifiée pour toutes les valeurs du paramètre.

Semi-algebraic methods for symbolic analysis of complex reaction networks

The identification of chemical mechanism that can exhibit oscillatory phenomena in reaction networks are currently of intense interest. In particular, the parametric question of the existence of Hopf bifurcations has gained increasing popularity due to its relation to the oscillatory behavior around the fixed points. However, the detection of oscillations in high-dimensional systems and systems with constraints by the available symbolic methods has proven to be difficult. The development of new efficient methods are therefore required to tackle the complexity caused by the high-dimensionality and non-linearity of these systems. In this thesis, we mainly present efficient algorithmic methods to detect Hopf bifurcation fixed points in (bio)-chemical reaction networks with symbolic rate constants, thereby yielding information about their oscillatory behavior of the networks. The methods use the representations of the systems on convex coordinates that arise from stoichiometric network analysis. One of the methods called HoCoQ reduces the problem of determining the existence of Hopf bifurcation fixed points to a first-order formula over the ordered field of the reals that can then be solved using computational-logic packages. The second method called HoCaT uses ideas from tropical geometry to formulate a more efficient method that is incomplete in theory but worked very well for the attempted high-dimensional models involving more than 20 chemical species. The instability of reaction networks may lead to the oscillatory behaviour. Therefore, we investigate some criterions for their stability using convex coordinates and quantifier elimination techniques. We also study Muldowney's extension of the classical Bendixson-Dulac criterion for excluding periodic orbits to higher dimensions for polynomial vector fields and we discuss the use of simple conservation constraints and the use of parametric constraints for describing simple convex polytopes on which periodic orbits can be excluded by Muldowney's criteria. All developed algorithms have been integrated into a common software framework called PoCaB (platform to explore bio- chemical reaction networks by algebraic methods) allowing for automated computation workflows from the problem descriptions. PoCaB also contains a database for the algebraic entities computed from the models of chemical reaction networks.

Hyperfunctions and (analytic) hypoellipticity

In this work we discuss the problem of smooth and analytic regularity for hyperfunction solutions to linear partial differential equations with analytic coefficients. In particular we show that some well known ""sum of squares"" operators, which satisfy Hormander`s condition and consequently are hypoelliptic, admit hyperfunction solutions that are not smooth (in particular they are not distributions).

ENERGY OF GLOBAL FRAMES

The energy of a unit vector field X on a closed Riemannian manifold M is defined as the energy of the section into T(1) M determined by X. For odd-dimensional spheres, the energy functional has an infimum for each dimension 2k + 1 which is not attained by any non-singular vector field for k > 1. For k = 1, Hopf vector fields are the unique minima. In this paper we show that for any closed Riemannian manifold, the energy of a frame defined on the manifold, possibly except on a finite subset, admits a lower bound in terms of the total scalar curvature of the manifold. In particular, for odd-dimensional spheres this lower bound is attained by a family of frames defined on the sphere minus one point and consisting of vector fields parallel along geodesics.

Bi-Lipschitz G-triviality and Newton polyhedra, G = R, C, K, R-V, C-V, K-V

In this work we provide estimates for the bi-Lipschitz G-triviality, G = C or K, for a family of map germs satisfying a Lojasiewicz condition. We work with two cases: the class of weighted homogeneous map germs and the class of non-degenerate map germs with respect to some Newton polyhedron. We also consider the bi-Lipschitz triviality for families of map germs defined on an analytic variety V. We give estimates for the bi-Lipschitz G(V)-triviality where G = R,C or K in the weighted homogeneous case. Here we assume that the map germ and the analytic variety are both weighted homogeneous with respect to the same weights. The method applied in this paper is based in the construction of controlled vector fields in the presence of a suitable Lojasiewicz condition. In the last section of this work we compare our results with other results related to this work showing tables with all estimates that we know, including ours.

Divergent diagrams of folds and simultaneous conjugacy of involutions

In this work we show that the smooth classification of divergent diagrams of folds (f(1),..., f(s)) : (R-n, 0) -> (R-n x(...)xR(n), 0) can be reduced to the classification of the s-tuples (p(1)., W) of associated involutions. We apply the result to obtain normal forms when s <= n and {p(1),...,p(s)} is a transversal set of linear involutions. A complete description is given when s = 2 and n >= 2. We also present a brief discussion on applications of our results to the study of discontinuous vector fields and discrete reversible dynamical systems.

Some results on vector bundle monomorphisms

In this paper we use the singularity method of Koschorke [2] to study the question of how many different nonstable homotopy classes of monomorphisms of vector bundles lie in a stable class and the percentage of stable monomorphisms which are not homotopic to stabilized nonstable monomorphisms. Particular attention is paid to tangent vector fields. This work complements some results of Koschorke [3; 4], Libardi-Rossini [7] and Libardi-do Nascimento-Rossini [6].

Reversible equivariant Hopf bifurcation

In this paper we study codimension-one Hopf bifurcation from symmetric equilibrium points in reversible equivariant vector fields. Such bifurcations are characterized by a doubly degenerate pair of purely imaginary eigenvalues of the linearization of the vector field at the equilibrium point. The eigenvalue movements near such a degeneracy typically follow one of three scenarios: splitting (from two pairs of imaginary eigenvalues to a quadruplet on the complex plane), passing (on the imaginary axis), or crossing (a quadruplet crossing the imaginary axis). We give a complete description of the behaviour of reversible periodic orbits in the vicinity of such a bifurcation point. For non-reversible periodic solutions. in the case of Hopf bifurcation with crossing eigenvalues. we obtain a generalization of the equivariant Hopf Theorem.

Periodic orbits for a class of reversible quadratic vector field on R-3

For a class of reversible quadratic vector fields on R-3 we study the periodic orbits that bifurcate from a heteroclinic loop having two singular points at infinity connected by an invariant straight line in the finite part and another straight line at infinity in the local chart U-2. More specifically, we prove that for all n is an element of N, there exists epsilon(n) > 0 such that the reversible quadratic polynomial differential systemx = a(0) + a(1y) + a(3y)(2) + a(4Y)(2) + epsilon(a(2x)(2) + a(3xz)),y = b(1z) + b(3yz) + epsilon b(2xy),z = c(1y) +c(4az)(2) + epsilon c(2xz)in R-3, with a(0) < 0, b(1)c(1) < 0, a(2) < 0, b(2) < a(2), a(4) > 0, c(2) < a(2) and b(3) is not an element of (c(4), 4c(4)), for epsilon is an element of (0, epsilon(n)) has at least n periodic orbits near the heteroclinic loop. (c) 2007 Elsevier B.V. All rights reserved.

Obtaining a light-like planar gauge

In the usual and current understanding of planar gauge choices for Abelian and non-Abelian gauge fields, the external defining vector n(mu), can either be space-like (n(2) < 0) or time-like (n(2) > 0) but not light-like (n(2) = 0). In this work we propose a light-like planar gauge that consists of defining a modified gauge-fixing term, L-GF, whose main characteristic is a two-degree violation of Lorentz covariance arising from the fact that four-dimensional space-time spanned entirely by null vectors as basis necessitates two light-like vectors, namely n(mu) and its dual m(mu), with n(2) = m(2) = 0, n . m not equal 0, say, e.g. normalized to n . m = 2.

Study of Singularities in Nonsmooth Dynamical Systems via Singular Perturbation

In this article we describe some qualitative and geometric aspects of nonsmooth dynamical systems theory around typical singularities. We also establish an interaction between nonsmooth systems and geometric singular perturbation theory. Such systems are represented by discontinuous vector fields on R(l), l >= 2, where their discontinuity set is a codimension one algebraic variety. By means of a regularization process proceeded by a blow-up technique we are able to bring about some results that bridge the space between discontinuous systems and singularly perturbed smooth systems. We also present an analysis of a subclass of discontinuous vector fields that present transient behavior in the 2-dimensional case, and we dedicate a section to providing sufficient conditions in order for our systems to have local asymptotic stability.

QCD phase transitions from relativistic hadron models

The models of translationally invariant infinite nuclear matter in the relativistic mean field models are very interesting and simple, since the nucleon can connect only to a constant vector and scalar meson field. Can one connect these to the complicated phase transitions of QCD? For an affirmative answer to this question, one must consider models where the coupling contstants to the scalar and vector fields depend on density in a nonlinear way, since as such the models are not explicitly chirally invariant. Once this is ensured, indeed one can derive a quark condensate indirectly from the energy density of nuclear matter which goes to zero at large density and temperature. The change to zero condensate indicates a smooth phase transition. © Springer-Verlag 1996.

Necessary conditions of optimality for vector-valued impulsive control problems

A vector-valued impulsive control problem is considered whose dynamics, defined by a differential inclusion, are such that the vector fields associated with the singular term do not satisfy the so-called Frobenius condition. A concept of robust solution based on a new reparametrization procedure is adopted in order to derive necessary conditions of optimality. These conditions are obtained by taking a limit of those for an appropriate sequence of auxiliary standard optimal control problems approximating the original one. An example to illustrate the nature of the new optimality conditions is provided. © 2000 Elsevier Science B.V. All rights reserved.

Consistency between light-front quantization and covariantization for zero modes

In the light-cone gauge choice for Abelian and non-Abelian gauge fields, the vector boson propagator carries in it an additional spurious or unphysical pole intrinsic to the choice requiring a careful mathematical treatment. Research in this field over the years has shown us that mathematical consistency only is not enough to guarantee physically meaningful results. Whatever the prescription invoked to handle such an object, it has to preserve causality in the process. On the other hand, the covariantization technique is a well-suited one to tackle gauge-dependent poles in the Feynman integrals, dispensing the use of ad hoc prescriptions. In this work we show that the covariantization technique in the light-cone gauge is a direct consequence of the canonical quantization of the theory. © World Scientific Publishing Company.