Добірка наукової літератури з теми "Equation canonique"

Le problème de la construction d'enveloppes d'holomorphie globales ou d'enveloppes polynomialement convexes n'a été que très peu abordé et peu d'exemples explicites sont connus. Il semble donc qu'il soit intéressant de se limiter d'abord au calcul d'enveloppes d'ensembles homogènes, par l'action d'un groupe agissant par transformations holomorphes. C'est le cas des sphères unité de Cn, des polytores par exemple. En s'inspirant des actions de groupes discutés par Ehrenpreis [2] ou par Hua [3], nous considérons ici l'action des groupes SU(2) et U(2) sur C3 identifié à l'ensemble des matrices symétriques complexes 2 × 2. L'action de SU(2) sur C3 est en fait l'action canonique de SU(2) sur une famille de quadriques dégénérant vers la quadrique singulière lorsque A tends vers 0. L'étude des orbites est équivalente à l'étude des équations de Cauchy Riemann sur SU(2), invariantes à gauche. Le spectre de l'algèbre des fonctions annulant une telle équation sur SU(2), qui sont invariantes par l'application antipodale est alors un domaine d'holomorphie de l'une de ces quadriques qui est d'ailleurs topologiquement non trivial.

Cette thèse est consacrée à l'étude spectrale de l'opérateur solution canonique du dbar en liaison avec les opérateurs de Hankel dans le cas de plusieurs variables complexes.
Dans un premier temps, on étudie les propriétés spectrales de l'opérateur solution canonique du dbar restreint aux (0,1)-formes à coefficients holomorphes. Nous donnons des conditions nécessaires et suffisantes, pour que l'opérateur solution canonique du dbar soit borné, compact et appartienne à la p-ème classe de Schatten, et ce dans le cas d'une ou plusieurs variables et pour toute une classe d'espaces de Hilbert contenant des espaces de Hilbert de fonctions holomorphes classiques comme des espaces de Bergman à poids, des espaces de Fock, des espaces de Sobolev de fonctions holomorphes, des espaces de Hardy-Sobolev, l'espace de Hardy ou l'espace invariant de Moebius.


Dans un second temps, on s'intéresse à l'existence d'un opérateur de Hankel défini sur un espace de Hilbert de fonctions holomorphes, de symbole antiholomorphe non trivial dans une classe de Schatten donnée et on cherche à étudier le rapport entre la croissance d'une fonction f et la taille des valeurs singulières de l'opérateur de Hankel induit par f-bar.
Dans ce travail, on considère les grands opérateurs de Hankel de symbole antiholomorphe définis sur l'espace de Hardy du disque unité de C, l'espace de Dirichlet ou des espaces de Sobolev de fonctions holomorphes sur le disque unité de C. On donne d'abord une condition nécessaire et suffisante sur p pour que la p-ème classe de Schatten contienne un opérateur de Hankel de symbole antiholomorphe non trivial. Ensuite, on caractérise les fonctions f pour lesquelles l'opérateur de Hankel de symbole f-bar est un opérateur de Hilbert-Schmidt. En outre, on établit des conditions nécessaires sur f pour que l'opérateur induit par f-bar soit un opérateur borné, compact et appartienne à la p-ème classe de Schatten, excepté dans le cas de l'espace de Dirichlet.

La théorie des dynamiques adaptatives est une branche de la biologie de l'évolution qui étudie les liens entre Écologie et Évolution. Les hypothèses biologiques qui définissent son cadre sont celles de mutations rares et petites et de grande population asexuée. Les modèles de dynamiques adaptatives décrivent la population au niveau des individus, lesquels sont caractérisés par leurs phénotypes, et visent à étudier l'influence des mécanismes d'hérédité, de mutation et de sélection sur l'évolution à long terme de la population. Le succès de cette théorie vient notamment de sa capacité à fournir une description de l'évolution à long terme du phénotype dominant dans la population comme solution de "l'Équation Canonique des Dynamiques Adaptatives'' dirigée par un gradient de fitness, où la fitness décrit la possibilité d'invasions mutantes, et est construite à partir de paramètres écologiques. Deux approches mathématiques principales portant sur l'équation canonique ont été développées à ce jour: une approche basée sur des EDP et une approche stochastique. Malgré son succès, l'approche stochastique est critiquée par des biologistes puisqu'elle est basée sur une hypothèse non-réaliste de mutations trop rares. Le but de cette thèse est de corriger cette controverse biologique en proposant des modèles probabilistes plus réalistes. Plus précisément, le but est de s'intéresser mathématiquement, sous une double asymptotique de grande population et de petites mutations, aux conséquences d'une nouvelle hypothèse biologique de mutations fréquentes sur l'équation canonique. Il s'agit de déterminer, à partir d'un modèle stochastique individu-centré, le comportement en temps long du trait phénotypique moyen de la population. La question que l'on se pose se reformule en une analyse asymptotique lent-rapide agissant sur deux échelles de temps éco-évolutives. Une échelle lente correspondant à la dynamique du trait moyen et une rapide correspondant à la dynamique d'évolution de la distribution recentrée et dilatée des traits. Cette analyse asymptotique lent-rapide repose sur des techniques de moyennisation. Cette méthode requiert d'identifier et de caractériser le comportement asymptotique de la composante rapide et que cette dernière possède des propriétés d'ergodicité. Plus précisément, le comportement en temps long de la composante rapide est non-classique et correspond à celui d'une diffusion à valeurs mesures originale qui s'interprète comme un processus de Fleming-Viot recentré que l'on caractérise comme l'unique solution d'un certain problème de martingale. Une partie de ces résultats repose sur une relation de dualité portant sur ce processus non-classique et nécessite des conditions de moments sur les données initiales. Au moyen de techniques de couplage et de la correspondance entre les processus particulaires de Moran et les généalogies de Kingman, on établit que le processus de Fleming-Viot recentré satisfait une propriété d'ergodicité avec résultat de convergence exponentielle en variation totale. La mise en œuvre des méthodes de moyennisation, inspirée par Kurtz, est fondée sur des arguments de compacité-unicité. L'idée consiste à prouver la compacité des lois du couple constitué de la composante lente et de la mesure d'occupation de la composante rapide puis d'établir un problème de martingale pour tous points d'accumulation de la famille des lois de ce couple. La dernière étape consiste à identifier ces points d'accumulation. Cette méthode requiert notamment l'introduction de temps d'arrêt pour contrôler les moments de la composante rapide et de prouver qu'ils tendent vers l'infini à l'aide d'arguments de grandes déviations, de réduire le problème posé initialement sur la droite réelle au cas du tore afin de prouver la compacité, d'identifier la limite de la composante rapide en adaptant un argument basé sur la dualité de Dawson, d'identifier la limite de la composante lente puis de passer du tore à la droite réelle
Adaptive dynamics theory is a branch of evolutionary biology which studies the links between ecology and evolution. The biological assumptions that define its framework are those of rare and small mutations and large asexual populations. Adaptive dynamics models describe the population at the level of individuals, which are characterised by their phenotypes, and aim to study the influence of heredity, mutation and selection mechanisms on the long term evolution of the population. The success of this theory comes in particular from its ability to provide a description of the long term evolution of the dominant phenotype in the population as a solution to the “Canonical Equation of Adaptive Dynamics” driven by a fitness gradient, where fitness describes the possibility of mutant invasions, and is constructed from ecological parameters. Two main mathematical approaches to the canonical equation have been developed so far: an approach based on PDEs and a stochastic approach. Despite its success, the stochastic approach is criticised by biologists as it is based on a non-realistic assumption of too rare mutations. The goal of this thesis is to correct this biological controversy by proposing more realistic probabilistic models. More precisely, the aim is to investigate mathematically, under a double asymptotic of large population and small mutations, the consequences of a new biological assumption of frequent mutations on the canonical equation. The goal is to determine, from a stochastic individual-based model, the long term behaviour of the mean phenotypic trait of the population. The question we ask is reformulated into a slow-fast asymptotic analysis acting on two eco-evolutionary time scales. A slow scale corresponding to the dynamics of the mean trait, and a fast scale corresponding to the evolutionary dynamics of the centred and dilated distribution of traits. This slow-fast asymptotic analysis is based on averaging techniques. This method requires the identification and characterisation of the asymptotic behaviour of the fast component and that the latter has ergodicity properties. More precisely, the long time behaviour of the fast component is non-classical and corresponds to that of an original measure-valued diffusion which is interpreted as a centered Fleming-Viot process that is characterised as the unique solution of a certain martingale problem. Part of these results is based on a duality relation on this non-classical process and requires moment conditions on the initial data. Using coupling techniques and the correspondence between Moran's particle processes and Kingman's genealogies, we establish that the centered Fleming-Viot process satisfies an ergodicity property with exponential convergence result in total variation. The implementation of averaging methods, inspired by Kurtz, is based on compactness-uniqueness arguments. The idea is to prove the compactness of the laws of the couple made up of the slow component and the occupation measure of the fast component and then to establish a martingale problem for all accumulation points of the family of laws of this couple. The last step is to identify these accumulation points. This method requires in particular the introduction of stopping times to control the moments of the fast component and to prove that they tend to infinity using large deviation arguments, to reduce the problem initially posed on the real line to the torus case in order to prove compactness, to identify the limit of the fast component by adapting an argument based on Dawson duality, to identify the limit of the slow component and then to move from the torus to the real line

Soit $M$ une variété projective lisse. Soit $\mathscr{F}$ une filtration holomorphe sur $M$, c'est à dire une filtration d'un fibré vectoriel holomorphe $\mathcal{F}$ induite par des sous-fibrés. Nous introduisons une notion de Gieseker stabilité pour de tels objets puis donnons une condition analytique équivalente en terme de métriques sur $\mathcal{F}$, dites équilibrées au sens de S.K. Donaldson, provenant d'une construction de la Théorie des Invariants Géométriques. Si le fibré $\mathcal{F}$ peut être muni d'une métrique $h$ solution de l'équation $\boldsymbol{\tau}$-Hermite-Einstein étudiée par \'lvarez-C\'{o}nsul et Garc\'a-Prada:
$$\sqrt\Lambda F_h = \sum_i \widetilde_i\pi^_$$
alors nous prouvons que la suite de métriques équilibrées existe, converge et sa limite est, à un changement conforme, solution de l'équation précédente. De ce résultat nous déduisons, par réduction dimensionnelle, un théorème d'approximation dans le cas des équations Vortex de Bradlow ainsi que leurs généralisations aux équations couplées Vortex.

Dans la première partie de cette thèse, nous étudions les équations différentielles algébriques (en abrégé EDA) linéaires et les systèmes de contrôles linéaires associés (en abrégé SCEDA). Les problèmes traités et les résultats obtenus sont résumés comme suit : 1. Relations géométriques entre les EDA linéaires et les systèmes de contrôles génériques SCEDO. Nous introduisons une méthode, appelée explicitation, pour associer un SCEDO à n'importe quel EDA linéaire. L'explicitation d'une EDA est une classe des SCEDO, précisément un SCEDO défini, à un changement de coordonnées près, une transformation de bouclage près et une injection de sortie près. Puis nous comparons les « suites de Wong » d'une EDA avec les espaces invariants de son explicitation. Nous prouvons que la forme canonique de Kronecker FCK d'une EDA linéaire et la forme canonique de Morse FCM d'un SCEDO, ont une correspondance une à une et que leurs invariants sont liés. De plus, nous définissons l'équivalence interne de deux EDA et montrons sa particularité par rapport à l'équivalence externe en examinant les relations avec la régularité interne, i.e., l'existence et l'unicité de solutions. 2. Transformation d'un SCEDA linéaire vers sa forme canonique via la méthode d'explicitation avec des variables de driving. Nous étudions les relations entre la forme canonique par bouclage FCFB d'un SCEDA proposée dans la littérature et la forme canonique de Morse pour les SCEDO. Premièrement, dans le but de relier SCEDA avec les SCEDO, nous utilisons une méthode appelée explicitation (avec des variables de driving). Cette méthode attache à une classe de SCEDO avec deux types d'entrées (le contrôle original et le vecteur des variables de driving) à un SCEDA donné. D'autre part, pour un SCEDO linéaire classique (sans variable de driving) nous proposons une forme de Morse triangulaire FMT pour modifier la construction de la FCM. Basé sur la FMT nous proposons une forme étendue FMT et une forme étendue de FCM pour les SCEDO avec deux types d'entrées. Finalement, un algorithme est donné pour transformer un SCEDA dans sa FCFB. Cet algorithme est construit sur la FCM d'un SCEDO donné par la procédure d'explicitation. Un exemple numérique illustre la structure et l'efficacité de l'algorithme. Pour les EDA non linéaires et les SCEDA (quasi linéaires) nous étudions les problèmes suivants : 3. Explicitations, analyse externe et interne et formes normales des EDA non linéaires. Nous généralisons les deux procédures d'explicitation (avec ou sans variables de driving) dans le cas des EDA non linéaires. L'objectif de ces deux méthodes est d'associer un SCEDO non linéaire à une EDA non linéaire telle que nous puissions l'analyser à l'aide de la théorie des EDO non linéaires. Nous comparons les différences de l'équivalence interne et externe des EDA non linéaires en étudiant leurs relations avec l'existence et l'unicité d'une solution (régularité interne). Puis nous montrons que l'analyse interne des EDA non linéaire est liée à la dynamique nulle en théorie classique du contrôle non linéaire. De plus, nous montrons les relations des EDAS de forme purement semi-explicite avec les 2 procédures d'explicitations. Finalement, une généralisation de la forme de Weierstrass non linéaire FW basée sur la dynamique nulle d'un SCEDO non linéaire donné par la méthode d'explicitation est proposée
In the first part of this thesis, we study linear differential-algebraic equations (shortly, DAEs) and linear control systems given by DAEs (shortly, DAECSs). The discussed problems and obtained results are summarized as follows. 1. Geometric connections between linear DAEs and linear ODE control systems ODECSs. We propose a procedure, named explicitation, to associate a linear ODECS to any linear DAE. The explicitation of a DAE is a class of ODECSs, or more precisely, an ODECS defined up to a coordinates change, a feedback transformation and an output injection. Then we compare the Wong sequences of a DAE with invariant subspaces of its explicitation. We prove that the basic canonical forms, the Kronecker canonical form KCF of linear DAEs and the Morse canonical form MCF of ODECSs, have a perfect correspondence and their invariants (indices and subspaces) are related. Furthermore, we define the internal equivalence of two DAEs and show its difference with the external equivalence by discussing their relations with internal regularity, i.e., the existence and uniqueness of solutions. 2. Transform a linear DAECS into its feedback canonical form via the explicitation with driving variables. We study connections between the feedback canonical form FBCF of DAE control systems DAECSs proposed in the literature and the famous Morse canonical form MCF of ODECSs. In order to connect DAECSs with ODECSs, we use a procedure named explicitation (with driving variables). This procedure attaches a class of ODECSs with two kinds of inputs (the original control input and the vector of driving variables) to a given DAECS. On the other hand, for classical linear ODECSs (without driving variables), we propose a Morse triangular form MTF to modify the construction of the classical MCF. Based on the MTF, we propose an extended MTF and an extended MCF for ODECSs with two kinds of inputs. Finally, an algorithm is proposed to transform a given DAECS into its FBCF. This algorithm is based on the extended MCF of an ODECS given by the explication procedure. Finally, a numerical example is given to show the structure and efficiency of the proposed algorithm. For nonlinear DAEs and DAECSs (of quasi-linear form), we study the following problems: 3. Explicitations, external and internal analysis, and normal forms of nonlinear DAEs. We generalize the two explicitation procedures (with or without driving variable) proposed in the linear case for nonlinear DAEs of quasi-linear form. The purpose of these two explicitation procedures is to associate a nonlinear ODECS to any nonlinear DAE such that we can use the classical nonlinear ODE control theory to analyze nonlinear DAEs. We discuss differences of internal and external equivalence of nonlinear DAEs by showing their relations with the existence and uniqueness of solutions (internal regularity). Then we show that the internal analysis of nonlinear DAEs is closely related to the zero dynamics in the classical nonlinear control theory. Moreover, we show relations of DAEs of pure semi-explicit form with the two explicitation procedures. Furthermore, a nonlinear generalization of the Weierstrass form WE is proposed based on the zero dynamics of a nonlinear ODECS given by the explicitation procedure

Cette these se divise en deux parties independantes. La premiere partie concerne diverses realisations geometriques de groupes quantiques affines de type a. Dans un premier travail les constructions de ginzburg et vasserot de l'algebre affine quantique de type a et de ses representations irreductibles de dimension finie sont etendues au cas ou le parametre quantique q est une racine de l'unite. Nous etudions l'algebre de hall du carquois affine de type a et sa base canonique. Nous obtenons une description complete de la structure de cette algebre en terme de la base canonique et de la base canonique duale. Nous utilisons cette description pour demontrer une conjecture de varagnolo et vasserot sur les bases canoniques des espaces de fock. La deuxieme partie de cette these concerne l'equation de yang-baxter dynamique, introduite par felder. Dans un premier travail, nous etendons au cadre dynamique la classification de belavin et drinfeld des solutions de l'equation de yang-baxter classique pour les algebres de lie simples. Dans un second travail, nous donnons une interpretation des r-matrices dynamiques classifiees precedemment en termes d'operateurs d'entrelacement entre produit tensoriels de modules de verma et de modules simples. Ensuite nous donnons une construction explicite de quantifications de ces r-matrices dynamiques, basee sur une generalisation des travaux de arnaudon, buffenoir ragoucy et roche. En particulier nous apportons une solution complete au probleme de quantifier les r-matrices classiques (non dynamiques) de belavin et drinfeld. Enfin nous interpretons ces r-matrices quantiques dynamiques en termes d'operateurs d'entrelacement entre produits tensoriels de modules de verma et de modules simples pour les

Dans la première partie de cette thèse, on formule deux méthodes pour le calcul d'une décomposition polyadique canonique avec facteurs matriciels linéairement structurés (tels que des facteurs de Toeplitz ou en bande): un algorithme de moindres carrés alternés contraint (CALS) et une solution algébrique dans le cas où tous les facteurs sont circulants. Des versions exacte et approchée de la première méthode sont étudiées. La deuxième méthode fait appel à la transformée de Fourier multidimensionnelle du tenseur considéré, ce qui conduit à la résolution d'un système d'équations monomiales homogènes. Nos simulations montrent que la combinaison de ces approches fournit un estimateur statistiquement efficace, ce qui reste vrai pour d'autres combinaisons de CALS dans des scénarios impliquant des facteurs non-circulants. La seconde partie de la thèse porte sur la récupération de tenseurs de rang faible et, en particulier, sur le problème de reconstruction tensorielle (TC). On propose un algorithme efficace, noté SeMPIHT, qui emploie des projections séquentiellement optimales par mode comme opérateur de seuillage dur. Une borne de performance est dérivée sous des conditions d'isométrie restreinte habituelles, ce qui fournit des bornes d'échantillonnage sous-optimales. Cependant, nos simulations suggèrent que SeMPIHT obéit à des bornes optimales pour des mesures Gaussiennes. Des heuristiques de sélection du pas et d'augmentation graduelle du rang sont aussi élaborées dans le but d'améliorer sa performance. On propose aussi un schéma d'imputation pour TC basé sur un seuillage doux du coeur du modèle de Tucker et son utilité est illustrée avec des données réelles de trafic routier
In the first part of this thesis, we formulate two methods for computing a canonical polyadic decomposition having linearly structured matrix factors (such as, e.g., Toeplitz or banded factors): a general constrained alternating least squares (CALS) algorithm and an algebraic solution for the case where all factors are circulant. Exact and approximate versions of the former method are studied. The latter method relies on a multidimensional discrete-time Fourier transform of the target tensor, which leads to a system of homogeneous monomial equations whose resolution provides the desired circulant factors. Our simulations show that combining these approaches yields a statistically efficient estimator, which is also true for other combinations of CALS in scenarios involving non-circulant factors. The second part of the thesis concerns low-rank tensor recovery (LRTR) and, in particular, the tensor completion (TC) problem. We propose an efficient algorithm, called SeMPIHT, employing sequentially optimal modal projections as its hard thresholding operator. Then, a performance bound is derived under usual restricted isometry conditions, which however yield suboptimal sampling bounds. Yet, our simulations suggest SeMPIHT obeys optimal sampling bounds for Gaussian measurements. Step size selection and gradual rank increase heuristics are also elaborated in order to improve performance. We also devise an imputation scheme for TC based on soft thresholding of a Tucker model core and illustrate its utility in completing real-world road traffic data acquired by an intelligent transportation