1 |
Equations aux différences et scission de séparatricesSellama, Hocine 07 December 2007 (has links) (PDF)
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.
|
2 |
Q-discrete Painlevé equation and associated linear problemShi, Yang 12 July 2010 (has links) (PDF)
Cette thèse est une étude analytique d'équations de Painlevé discrètes(q-discrete Painlevé equations), utilisant le système linéaire associé, dont les équations de Painlevé sont une déformation iso-monodromique. Les équations de Painlevé ont été mises en évidence au début du XXieme siècle, dans une recherche systématique d'équations différentielles ayant des solutions n'ayant pas de singularités dépendant des conditions initiales autres que des pôles. La motivation était de généraliser les fonctions spéciales, tout en contraignant suffisamment le problème. L' idée a été empruntée aux travaux de Sophie Kowalesvki, une contribution fondamentale dans le domaine des systèmes intégrables. Les équations de Painlevé apparaissent aujourd'hui dans un certain nombre de problèmes de physique théorique, dont, pour ne citer que les plus fameux les fonctions de corrélation du modèle d'Ising, et les modèles de mécanique statistique liés aux théories conformes. Un développement apporté par ces résultats venus de la physique théorique est l'émergence de versions discrètes de ces équations. Il est donc particulièrement intéressant de produire de nouvelles solutions de ces équations, puisque la description complète des solutions n'est pas encore disponible. Nous avons surtout étudié les solutions particulières d'un analogue discret de la seconde équation de Painlevé, en utilisant le système linéaire associé construit avec des matrices 2x2. Il est bien connu que, comme leur limites continues, les analogues discrets des équations de Painlevé, admettent, pour des valeurs particulières des paramètres, des solutions particulières rationnelles ou données par des fonctions q-hypergéométriques. Les solutions particulières connues ont des structures de déterminants tout à fait remarquables, et qui peuvent être vues de deux manières différentes. La première fait appel fait appel au ''formalisme bilinéaire'' et est de nature algébrique. La seconde utilise le fait que les équations de Painlevé apparaissent comme la condition de compatibilité d'un système linéaire associé. En examinant ce système linéaire, on peut extraire une information utile sur les équations non-linéaires. En fait ceci permet de mettre en évidence la structure de déterminant des solutions particulières des équations de Painlevé. Pour les équations discrètes, la forme en déterminant des solutions particulières a été déduite par l'approche algébrique. On a montré qu'elles ont une structure similaire à leurs analogues différentiels,modulo quelques différences qui restent à expliquer. Nous avons adopté l'approche analytique et développé la méthode correspondante pour les équations discrètes. Nous avons utilisé le problème linéaire associé à l'équation q-PII, donné en terme de matrices 2x2. Notre résultat majeur est la construction explicite de la forme déterminantale des solutions particulières rationelles et q-hypergéometriques de l'équation q-PII. Ce qui est particulièrement remarquable dans notre méthode est qu'elle utilise l'analyse linéaire q-discrete ''élémentaire'', et est donc très accessible.
|
3 |
Analyse et commande modulaires de réseaux de lois de bilan en dimension infinie / Modular analysis and control of notworks of balance laws in infinite dimensionBou Saba, David 26 November 2018 (has links)
Les réseaux de lois de bilan sont définis par l'interconnexion, via des conditions aux bords, de modules élémentaires individuellement caractérisés par la conservation de certaines quantités. Des applications industrielles se trouvent dans les réseaux de lignes de transmission électriques (réseaux HVDC), hydrauliques et pneumatiques (réseaux de distribution du gaz, de l'eau et du fuel). La thèse se concentre sur l'analyse modulaire et la commande au bord d'une ligne élémentaire représentée par un système de lois de bilan en dimension infinie, où la dynamique de la ligne est prise en considération au moyen d'équations aux dérivées partielles hyperboliques linéaires du premier ordre et couplées deux à deux. Cette dynamique permet de modéliser d'une manière rigoureuse les phénomènes de transport et les vitesses finies de propagation, aspects normalement négligés dans le régime transitoire. Les développements de ces travaux sont des outils d'analyse qui testent la stabilité du système, et de commande au bord pour la stabilisation autour d'un point d'équilibre. Dans la partie analyse, nous considérons un système de lois de bilan avec des couplages statiques aux bords et anti-diagonaux à l’intérieur du domaine. Nous proposons des conditions suffisantes de stabilité, tant explicites en termes des coefficients du système, que numériques par la construction d'un algorithme. La méthode se base sur la reformulation du problème en une analyse, dans le domaine fréquentiel, d'un système à retard obtenu en appliquant une transformation backstepping au système de départ. Dans le travail de stabilisation, un couplage avec des dynamiques décrites par des équations différentielles ordinaires (EDO) aux deux bords des EDP est considéré. Nous développons une transformation backstepping (bornée et inversible) et une loi de commande qui, à la fois stabilise les EDP à l'intérieur du domaine et la dynamique des EDO, et élimine les couplages qui peuvent potentiellement mener à l’instabilité. L'efficacité de la loi de commande est illustrée par une simulation numérique. / Networks of balance laws are defined by the interconnection, via boundary conditions, of elementary modules individually characterized by the conservation of physical quantities. Industrial applications of such networks can be found in electric (HVDC networks), hydraulic and pneumatic (gas, water and oil distribution) transmission lines. The thesis is focused on modular analysis and boundary control of an elementary line represented by a system of balance laws in infinite dimension, where the dynamics of the line is taken into consideration by means of first order two by two coupled linear hyperbolic partial differential equations. This representation allows to rigorously model the transport phenomena and finite propagation speed, aspects usually neglected in transient regime. The developments of this work are analysis tools that test the stability, as well as boundary control for the stabilization around an equilibrium point. In the analysis section, we consider a system of balance laws with static boundary conditions and anti-diagonal in-domain couplings. We propose sufficient stability conditions, explicit in terms of the system coefficients, and numerical by constructing an algorithm. The method is based on reformulating the analysis problem as an analysis of a delay system in the frequency domain, obtained by applying a backstepping transform to the original system. In the stabilization work, couplings with dynamic boundary conditions, described by ordinary differential equations (ODE), at both boundaries of the PDEs are considered. We develop a backstepping (bounded and invertible) transform and a control law that at the same time, stabilizes the PDEs inside the domain and the ODE dynamics, and eliminates the couplings that are a potential source of instability. The effectiveness of the control law is illustrated by a numerical simulation.
|
4 |
Equations aux différences partielles définies sur des graphes pour le traitement d'images et de donnéesTa, Vinh Thong 02 December 2009 (has links) (PDF)
Cette thèse s'intéresse aux traitements d'images et de données non uniformes en utilisant le formalisme des équations aux différences partielles définies sur des graphes pondérés. Nous exploitons ce formalisme afin de transcrire et d'adapter des modèles définis dans le domaine continu vers des formulations discrètes. Les modèles continus considérés dans ce manuscrit proviennent du domaine du traitement des images et sont définis comme des modèles variationnels ou des approches basées sur des équations aux dérivées partielles. Nous nous sommes intéressés à des modèles de régularisation, à la morphologie mathématique et à l'équation eikonale. Afin de transcrire ces modèles définis dans le domaine continu vers des formulations discrètes, nous avons introduit une large famille de nouveaux opérateurs différentiels discrets définis sur des graphes pondérés: différences pondérées, gradients discrets, p-Laplacien. Ces opérateurs permettent de redéfinir les modèles continus considérés dans un cadre discret mais également de proposer un formalisme général permettant de considérer de nombreux problèmes liées aux traitements des images et, plus généralement, de données arbitraires. A partir des modèles discrets de régularisation, de morphologie mathématique et de l'équation eikonale, nous montrons dans ce manuscrit les potentialités de notre formalisme pour des applications telles que le filtrage, la simplification, la segmentation, le regroupement et la classification d'images et de données. Notre formalisme unifie également les traitements locaux et non locaux basés sur des patchs. Nous avons généralisé l'utilisation de ce type de configuration dans les problématiques considérées et montré la supériorité de ces schémas dans le contexte du traitement des images. Notre formalisme est basé sur des graphes pondérés. Cela nous permet d'étendre les modèles définis dans le domaine continu aux traitements de n'importe quel type de donnée pouvant être représenté par cette structure (par exemple des images, des collections d'images, des nuages de points, des variétés, des bases de données, etc.). Finalement, ces travaux de thèse permettent d'envisager de nombreuses pistes de recherche tant dans le domaine du traitement des images que dans des domaines tels que celui de l'apprentissage ou de la fouille de données.
|
Page generated in 0.1604 seconds