Spelling suggestions: "subject:"equations aux dérivés partielle"" "subject:"equations aux dérivés partiellement""
101 |
Existence non existence et multiplicité d'ondes stationnaires normalisées pour quelques équations non linéaires elliptiquesLuo, Tingjian 18 December 2013 (has links) (PDF)
Dans cette thèse, nous étudions l'existence, non existence et multiplicité des ondes stationnairesavec les normes prescrites pour deux types d'équations aux dérivées partiellesnon linéaires elliptiques découlant de différents modèles physiques. La stabilité orbitale desondes stationnaires est également étudiée dans certains cas. Les principales méthodes denos preuves sont des arguments variationnels. Les solutions sont obtenues comme pointscritiques de fonctionnelle associée sur une contrainte.La thèse se compose de sept chapitres. Le Chapitre 1 est l'introduction de la thèse. Dansles Chapitres 2 à 4, nous étudions une classe d'équations de Schrödinger-Poisson-Slaternon linéaires. Nous établissons dans le Chapitre 2 des résultats optimaux non existencede solutions d'énergie minimale ayant une norme L2 prescrite. Dans le Chapitre 3, nousmontrons un résultat d'existence de solutions L2 normalisées, dans une cas où la fonctionnelleassociée n'est pas bornée inférieurement sur la contrainte. Nos solutions sonttrouvées comme des points de selle de la fonctionnelle, mais ils correspondent à des solutionsd'énergée minimale. Nous montrons également que les ondes stationnaires associéessont orbitalement instables. Ici, puisque nos points critiques présumés ne sont pas desminimiseurs globaux, il n'est pas possible d'utiliser de façon systématique les méthodesde compacité par concentration développées par P. L. Lions. Ensuite, dans le Chapitre4, nous montrons que sous les hypothèses du Chapitre 3, il existe une infinité de solutionsayant une norme L2 prescrite. Dans les deux chapitres suivants, nous étudions uneclasse d'équations de Schrödinger quasi-linéaires. Des résultats optimaux non existence desolutions d'énergie minimale sont donnés dans le Chapitre 5. Dans le Chapitre 6, nousprouvons l'existence de deux solutions positives ayant une norme donnée. L'une d'elles,relativement à la contrainte L2, est de type point selle. L'autre est un minimum, soit localou global. Le fait que la fonctionnelle naturelle associée à cette équation n'est pas biendéfinie nécessite l'utilisation d'une méthode de perturbation pour obtenir ces deux pointscritiques. Enfin, au Chapitre 7, nous mentionnons quelques questions que cette thèse asoulevées.
|
102 |
Méthode de type Galerkin discontinu en maillages multi-éléments (et non-conformes) pour la résolution numérique des équations de Maxwell instationnairesDurochat, Clément 30 January 2013 (has links) (PDF)
Cette thèse porte sur l'étude d'une méthode de type Galerkin discontinu en domaine temporel (GDDT), afin de résoudre numériquement les équations de Maxwell instationnaires sur des maillages hybrides tétraédriques/hexaédriques en 3D (triangulaires/quadrangulaires en 2D) et non-conformes, que l'on note méthode GDDT-PpQk. Comme dans différents travaux déjà réalisés sur plusieurs méthodes hybrides (par exemple des combinaisons entre des méthodes Volumes Finis et Différences Finies, Éléments Finis et Différences Finies, etc.), notre objectif principal est de mailler des objets ayant une géométrie complexe à l'aide de tétraèdres, pour obtenir une précision optimale, et de mailler le reste du domaine (le vide environnant) à l'aide d'hexaèdres impliquant un gain en terme de mémoire et de temps de calcul. Dans la méthode GDDT considérée, nous utilisons des schémas de discrétisation spatiale basés sur une interpolation polynomiale nodale, d'ordre arbitraire, pour approximer le champ électromagnétique. Nous utilisons un flux centré pour approcher les intégrales de surface et un schéma d'intégration en temps de type saute-mouton d'ordre deux ou d'ordre quatre. Après avoir introduit le contexte historique et physique des équations de Maxwell, nous présentons les étapes détaillées de la méthode GDDT-PpQk. Nous réalisons ensuite une analyse de stabilité L2 théorique, en montrant que cette méthode conserve une énergie discrète et en exhibant une condition suffisante de stabilité de type CFL sur le pas de temps, ainsi que l'analyse de convergence en h (théorique également), conduisant à un estimateur d'erreur a-priori. Ensuite, nous menons une étude numérique complète en 2D (ondes TMz), pour différents cas tests, des maillages hybrides et non-conformes, et pour des milieux de propagation homogènes ou hétérogènes. Nous faisons enfin de même pour la mise en oeuvre en 3D, avec des simulations réalistes, comme par exemple la propagation d'une onde électromagnétique dans un modèle hétérogène de tête humaine. Nous montrons alors la cohérence entre les résultats mathématiques et numériques de cette méthode GDDT-PpQk, ainsi que ses apports en termes de précision et de temps de calcul.
|
103 |
Modèles d'impédance généralisée en diffraction inverseChaulet, Nicolas 27 November 2012 (has links) (PDF)
Le but général de cette thèse est d'exploiter des modélisations asymptotiques pour la résolution de problèmes de diffraction inverse en électromagnétisme. Nous nous intéressons plus particulièrement au cas des conditions d'impédance généralisée qui modélisent notamment des matériaux fortement absorbants ou des revêtements de faible épaisseur. L'expression "impédance généralisée" signifie que la condition au bord fait intervenir un opérateur surfacique. Les conditions dites d'impédance classique entrent dans cette famille de conditions aux bord, dans ce cas, l'opérateur surfacique se réduit à la multiplication par une fonction. Dans le cadre des problèmes inverses, l'utilisation de modèles approchés permet de simplifier aussi bien la résolution numérique que l'analyse mathématique. De nombreux travaux ont été menés en diffraction inverse sur l'utilisation d'une condition d'impédance classique, nous les avons étendus pour des opérateurs surfaciques plus complexes faisant intervenir des dérivées tangentielles. Une partie importante de la thèse est consacrée à la mise en oeuvre des méthodes d'optimisation pour retrouver un obstacle ainsi que les paramètres définissant l'opérateur d'impédance. Nous présentons en particulier un calcul de dérivée de forme dans le cas où les équations de l'électromagnétisme se simplifient en une équation scalaire, nous étendons ensuite ce calcul aux équations de Maxwell vectorielles. Des exemples numériques de reconstruction de forme et de paramètres d'impédance viennent illustrer l'applicabilité des méthodes d'optimisation à notre problème inverse. Afin de compléter cette étude, nous avons utilisé une méthode qualitative - la méthode de factorisation - pour identifier un objet diffractant caractérisé par une condition d'impédance généralisée. Enfin, en relation avec les méthodes qualitatives, nous nous sommes penché sur l'utilisation des valeurs propres de transmission associées au problème de diffraction par des couches minces pour obtenir des informations sur la couche. Dans ce but, nous avons calculé et justifié le développement asymptotique de la première valeur propre de transmission intérieure par rapport à la faible épaisseur du revêtement. Ce développement donne une manière simple de calculer l'épaisseur du revêtement à partir du champ diffracté pour plusieurs fréquences.
|
104 |
Mouvements par courbure moyenne et méthode de champs de phaseBretin, Elie 21 April 2009 (has links) (PDF)
Cette thèse s'intéresse aux méthodes de champs de phase pour l'approximation de mouvements par courbure moyenne. En particulier, nous proposons de nouveaux modèles pour prendre en compte des contraintes de volumes, des tensions de surfaces anisotropes et des angles de contact au bord du domaine d'évolution.
|
105 |
Observateurs en dimension infinie. Application à l'étude de quelques problèmes inverseHaine, Ghislain 22 October 2012 (has links) (PDF)
Dans un grand nombre d'applications modernes, on est amené à estimer l'état initial (ou final) d'un système infini-dimensionnel (typiquement un système gouverné par une Équation aux Dérivées Partielles (EDP) d'évolution) à partir de la connaissance partielle du système sur un intervalle de temps limité. Un champ d'applications dans lequel apparaît fréquemment ce type de problème d'identification est celui de la médecine. Ainsi, la détection de tumeurs par tomographie thermo-acoustique peut se ramener à des problèmes de reconstruction de données initiales. D'autres méthodes nécessitent l'identification d'un terme source, qui, sous certaines hypothèses, peut également se réécrire sous la forme d'un problème de reconstruction de données initiales. On s'intéresse dans cette thèse à la reconstruction de la donnée initiale d'un système d'évolution, en travaillant autant que possible sur le système infini-dimensionnel, à l'aide du nouvel algorithme développé par Ramdani, Tucsnak et Weiss (Automatica 2010). Nous abordons en particulier l'analyse numérique de l'algorithme dans le cadre des équations de Schrödinger et des ondes avec observation interne. Nous étudions les espaces fonctionnels adéquats pour son utilisation dans les équations de Maxwell, avec observations interne et frontière. Enfin, nous tentons d'étendre le cadre d'application de cet algorithme lorsque le système initial est perturbé ou que le problème inverse n'est plus bien posé, avec application à la tomographie thermo-acoustique.
|
106 |
Quelques contributions à l'analyse mathématique et numérique d'équations cinétiques collisionnellesRey, Thomas 21 September 2012 (has links) (PDF)
Cette thèse est dédiée à l'étude mathématique et numérique d'une classe d'équations cinétiques collisionnelles, de type équation de Boltzmann. Nous avons porté un intérêt tout particulier à l'équation des milieux (ou gaz) granulaires, initialement introduite dans la littérature physique pour décrire le comportement hors équilibre de matériaux composés d'un grand nombre de grains, ou particules, non nécessairement microscopiques, et interagissant par des collisions dissipant l'énergie cinétique. Ces modèles se sont révélés avoir une structure mathématique très riche. Cette thèse se structure en trois partie pouvant être lues de manière indépendante, mais néanmoins en rapport avec des équations cinétiques collisionnelles en général, et l'équation des milieux granulaires en particulier. La première partie est dédiée à l'étude mathématique du comportement asymptotique de certaines équations cinétiques collisionnelles dans un cadre homogène en espace. Nous y montrons des résultats de type explosion et convergence vers la solution autosimilaire avec calcul explicite des taux, pour des opérateurs de type Boltzmann, grâce à l'utilisation (entre autre) d'une nouvelle méthode de changement de variables dépendant directement de la solution de l'équation considérée. En particulier, nous démontrons que pour un modèle de gaz granulaire - dit anormal - il est possible d'observer une explosion en temps fini. Dans la deuxième partie, orientée analyse numérique et calcul scientifique, nous nous intéressons développement et à l'étude de méthodes spectrales pour la résolution de problèmes multi-échelles, issus de la théorie des équations cinétiques collisionnelles. Les méthodes de changement de variables tiennent aussi une place importante dans cette partie, et permettent d'observer numériquement des phénomènes non triviaux qui apparaissent lors de l'étude de gaz granulaires, comme la création d'amas de matière ou la caractérisation précise du retour vers l'équilibre. La troisième et dernière partie est dédiée à l'étude spectrale de l'opérateur des milieux granulaires avec bain thermique, linéarisé au voisinage d'un équilibre homogène en espace, afin d'établir des résultats de type stabilité et convergence vers une limite hydrodynamique. Ce travail est en fait la généralisation d'un résultat célèbre dans la théorie de l'équation de Boltzmann, dû à R. Ellis et M. Pinsky, et établissant rigoureusement la première limite hydrodynamique vers les équations d'Euler compressibles linéaires puis Navier-Stokes de cette équation.
|
107 |
Stabilisation polynomiale et contrôlabilité exacte des équations des ondes par des contrôles indirects et dynamiquesToufayli, Laila 18 January 2013 (has links) (PDF)
La thèse est portée essentiellement sur la stabilisation et la contrôlabilité de deux équations des ondes moyennant un seul contrôle agissant sur le bord du domaine. Dans le cas du contrôle dynamique, le contrôle est introduit dans le système par une équation différentielle agissant sur le bord. C'est en effet un système hybride. Le contrôle peut être aussi applique directement sur le bord d'une équation, c'est le cas du contrôle indirecte mais non borne. La nature du système ainsi coupledépend du couplage des équations, et ceci donne divers résultats par la stabilisation (exponentielle et polynomiale) et la contrôlabilité exacte (espace contrôlable). Des nouvelles inégalités d'énergie permettent de mettre en oeuvre la Méthode fréquentielle et la Méthode d'Unicité de Hilbert.
|
108 |
Inégalités d'Ingham et schémas semi-lagrangiens pour l'équation de VlasovMehrenberger, Michel 05 October 2012 (has links) (PDF)
Dans une première partie, on rassemble plusieurs résultats en théorie du contrôle autour des inégalités d'Ingham, généralisations de l'égalité de Parseval, qui inter- viennent pour montrer l'observabilité, la contrôlabilité ou la stabilisation frontière ou interne de l'équation des ondes ou d'équations similaires dans certains cas parti- culiers. On s'intéresse dans un premier temps à l'optimalité de ce type d'inégalités en généralisant un résultat précédent au cas vectoriel. On développe ensuite un théo- rème de type Ingham adapté pour traiter le cas d'une géométrie cartésienne. Enfin, on donne des résultats d'observabilité dans le cas d'approximations numériques. Dans une seconde partie, on présente les méthodes semi-Lagrangiennes qui sont composées essentiellement de deux ingrédients : calcul des caractéristiques le long desquelles la fonction de distribution est constante et étape d'interpolation. On ana- lyse des schémas d'ordre élevé en temps pour le système de Vlasov-Poisson 1D×1D, basés sur le splitting directionnel, qui est une succession d'étapes de transport li- néaire. On étudie alors les méthodes semi-Lagrangiennes dans ce cas particulier et on fait le lien entre différentes formulations. On obtient également un théorème de convergence pour le système de Vlasov-Poisson dans ce cadre, qui reste valable pour des petits déplacements. On développe ensuite ce type de méthodes dans un cadre plus général, en se basant sur le splitting uni-dimensionnel conservatif, avec une variante de type Galerkin discontinu. Dans une dernière partie, on étudie l'opérateur de gyromoyenne qui intervient en physique des plasmas pour prendre en compte des corrections de rayon de Larmor fini. Enfin, on discute de la problématique de la divergence discrète nulle qui donne une compatibilité entre le calcul du champ et la méthode numérique de transport.
|
109 |
Assimilation de données et méthodes adjointes pour la géophysiqueVidard, Arthur 13 December 2012 (has links) (PDF)
Les modèles mathématiques sont importants pour la compréhension de la dynamique de l'atmosphère et de l'océan. Mais si ils étaient notre seule source d'information aucune prévision ne serait possible faute, notamment au manque de la connaissance d'une condition initiale cohérente. On dispose également d'observations de ces systèmes en nombre de plus en plus important, notamment grâce aux nombreux satellites d'observation qui croisent maintenant au large de notre planète. Ces observations sont souvent indirectes et incomplètes, et de ce fait ne fournissent pas non plus, à elles seules, une connaissance approfondie de l'état du milieu considéré. Et pour finir, on dispose de statistiques sur les champs des variables atmosphériques, leur variabilité, leur cohérence en temps et en espace. Je présente donc, dans ce document, des méthodes permettant de combiner tout ou partie de ces informations afin d'améliorer la prévision et la connaissance du fonctionnement de ces systèmes. Ces méthodes se basent le plus souvent sur une théorie mathématique solide, mais les appliquer dans un contexte réaliste n'est pas toujours chose aisée. C'est pourquoi on gardera le souci d'accompagner les développements que nous effectuons jusqu'à des applications opérationnelles ou quasi opérationnelles afin de démontrer la faisabilité de ceux ci.
|
110 |
Modèle fractionnaire pour la sous-diffusion : version stochastique et edpRakotonasy, Solonjaka Hiarintsoa 06 December 2012 (has links) (PDF)
Ce travail a pour but de proposer des outils visant 'a comparer des résultats exp'erimentaux avec des modèles pour la dispersion de traceur en milieu poreux, dans le cadre de la dispersion anormale.Le "Mobile Immobile Model" (MIM) a été à l'origine d'importants progrès dans la description du transport en milieu poreux, surtout dans les milieux naturels. Ce modèle généralise l'quation d'advection-dispersion (ADE) e nsupposant que les particules de fluide, comme de solut'e, peuvent ˆetre immo-bilis'ees (en relation avec la matrice solide) puis relˆachées, le piégeage et le relargage suivant de plus une cin'etique d'ordre un. Récemment, une version stochastique de ce modèle a 'eté proposée. Malgré de nombreux succès pendant plus de trois décades, le MIM reste incapable de repr'esenter l''evolutionde la concentration d'un traceur dans certains milieux poreux insaturés. Eneffet, on observe souvent que la concentration peut d'ecroˆıtre comme unepuissance du temps, en particulier aux grands temps. Ceci est incompatible avec la version originale du MIM. En supposant une cinétique de piégeage-relargage diff'erente, certains auteurs ont propos'e une version fractionnaire,le "fractal MIM" (fMIM). C'est une classe d''equations aux d'eriv'ees par-tielles (e.d.p.) qui ont la particularit'e de contenir un op'erateur int'egral li'e'a la variable temps. Les solutions de cette classe d'e.d.p. se comportentasymptotiquement comme des puissances du temps, comme d'ailleurs cellesde l''equation de Fokker-Planck fractionnaire (FFPE). Notre travail fait partie d'un projet incluant des exp'eriences de tra¸cageet de vélocimétrie par R'esistance Magn'etique Nucl'eaire (RMN) en milieuporeux insatur'e. Comme le MIM, le fMIM fait partie des mod'eles ser-vant 'a interpréter de telles exp'eriences. Sa version "e.d.p." est adapt'eeaux grandeurs mesur'ees lors d'exp'eriences de tra¸cage, mais est peu utile pour la vélocimétrie RMN. En effet, cette technique mesure la statistiquedes d'eplacements des mol'ecules excit'ees, entre deux instants fixés. Plus précisément, elle mesure la fonction caractéristique (transform'ee de Fourier) de ces d'eplacements. Notre travail propose un outil d'analyse pour ces expériences: il s'agit d'une expression exacte de la fonction caract'eristiquedes d'eplacements de la version stochastique du mod'ele fMIM, sans oublier les MIM et FFPE. Ces processus sont obtenus 'a partir du mouvement Brown-ien (plus un terme convectif) par des changement de temps aléatoires. Ondit aussi que ces processus sont des mouvement Browniens, subordonnéspar des changements de temps qui sont eux-mˆeme les inverses de processusde L'evy non d'ecroissants (les subordinateurs). Les subordinateurs associés aux modèles fMIM et FFPE sont des processus stables, les subordinateursassoci'es au MIM sont des processus de Poisson composites. Des résultatsexp'erimenatux tr'es r'ecents on sugg'er'e d''elargir ceci 'a des vols de L'evy (plusg'en'eraux que le mouvement Brownien) subordonnés aussi.Le lien entre les e.d.p. fractionnaires et les mod'eles stochastiques pourla sous-diffusion a fait l'objet de nombreux travaux. Nous contribuons 'ad'etailler ce lien en faisant apparaˆıtre les flux de solut'e, en insistant sur une situation peu 'etudiée: nous examinons le cas o'u la cinétique de piégeage-relargage n'est pas la mˆeme dans tout le milieu. En supposant deux cinétiques diff'erentes dans deux sous-domaines, nous obtenons une version du fMIMavec un opérateur intégro-diff'erentiel li'e au temps, mais dépendant de la position.Ces r'esultats sont obtenus au moyen de raisonnements, et sont illustrés par des simulations utilisant la discrétisation d'intégrales fractionnaires etd'e.d.p. ainsi que la méthode de Monte Carlo. Ces simulations sont en quelque sorte des preuves numériques. Les outils sur lesquels elles s'appuient sont présentés aussi.
|
Page generated in 0.1428 seconds