Spelling suggestions: "subject:"equation dess ondas."" "subject:"equation deus ondas.""
21 |
Etude d'une équation non linéaire, non dispersive et complètement integrable et de ses perturbationsPocovnicu, Oana 29 September 2011 (has links) (PDF)
On étudie dans cette thèse l'équation de Szegö sur la droite réelle ainsi que ses perturbations. Cette équation a été introduite il y a quelques années par Gérard et Grellier comme modèle mathématique d'une équation non linéaire totalement non dispersive.L'équation de Szegöapparait naturellement dans l'étude de l'équation de Schrödinger non linéaire (NLS) danscertaines situations sur-critiques où l'on constate un manque de dispersion, par exemplelorsque l'on considère NLS sur le groupe de Heisenberg. Par conséquent, une des motivationsde cette thèse est d'établir des résultats concernant l'équation de Szegö qui pourrontéventuellement être utilisés dans le contexte de l'équation de Schrödinger non linéaire.Le premier résultat de cette thèse est la classification des solitons de l'équation de Szegö.On montre que ce sont tous des fonctions rationnelles ayant un unique pôle qui est simple.De plus, on prouve que les solitons sont orbitalement stables.La propriété la plus remarquable de l'équation de Szegö est le fait qu'elle est complètement intégrable, ce qui permet notamment d'établir une formule explicite de sa solution.Comme applications de cette formule, on obtient les trois résultats suivants. (A) On montreque les solutions fonctions rationnelles génériques se décomposent en une somme de solitonset d'un reste qui est petit lorsque le temps tend vers l'infini. (B) On met en évidence unexemple de solution non générique dont les grandes normes de Sobolev tendent vers l'infiniavec le temps. (C) On détermine des coordonnées action-angle généralisées lorsque l'on restreintl'équation de Szegö à une sous-variété de dimension finie. En particulier, on en déduitqu'une grande partie des trajectoires de cette équation sont des spirales autour de cylindrestoroïdaux.Comme l'équation de Szegö est complètement intégrable, il est ensuite naturel d'étudierses perturbations et d'établir de nouvelles propriétés pour celles-ci à partir des résultatsconnus pour l'équation de Szegö. Une des perturbations de l'équation de Szegö est une équation desondes non linéaire (NLW) de donnée bien préparée.On prouve que si la donnée initiale de NLW est petite et à support dans l'ensemble desfréquences positives, la solution de NLW est alors approximée pour un temps long par lasolution de l'équation de Szegö. Autrement dit, on démontre ainsi que l'équation de Szegöest la première approximation de NLW. On construit ensuite une solution de NLW dont lesgrandes normes de Sobolev augmentent (relativement à la norme de la donnée initiale).Sur le tore T, Gérard et Grellier ont démontré un résultat analogue d'approximation deNLW. On améliore ce résultat en trouvant une approximation plus fine, de deuxième ordre.Dans une dernière partie, on s'intéresse à l'équation de Szegö perturbée par un potentielmultiplicatif petit. On étudie l'interaction de ce potentiel avec les solitons. Plus précisément,on montre que, si la donnée initiale est celle d'un soliton pour l'équation non perturbée, lasolution de l'équation perturbée garde la forme d'un soliton sur un long temps. De plus, ondéduit la dynamique effective, i.e. les équations différentielles satisfaites par les paramètresdu soliton.
|
22 |
Modélisation mathématique du poumon humainChristine, Vannier 09 July 2009 (has links) (PDF)
Nous nous intéressons à certains problèmes théoriques posés par la modélisation du poumon humain comme arbre bronchique plongé dans le parenchyme pulmonaire. L'arbre bronchique est représenté par un arbre dyadique résistif à 23 générations dans lequel un écoulement de Stokes a lieu. La loi de Poiseuille relie ainsi le débit dans chaque bronche au saut de pression à ses extrémités. Cet arbre est ensuite plongé dans un milieu visco-élastique modélisant le parenchyme. Le processus de ventilation est alors assuré par des pressions négatives, dues à une contraction du diaphragme, au niveau des alvéoles permettant l'inspiration. La première partie est consacrée à l'introduction d'un modèle d'arbre infini obtenu en faisant tendre le nombre de générations vers l'infini. Des théorèmes de trace permettent alors de modéliser le processus de ventilation comme un opérateur Dirichlet-Neumann, qui associe au champ de pression sur l'ensemble des bouts de l'arbre infini le continuum de débit sortant. La seconde partie est dédiée à l'étude de modèles du parenchyme pulmonaire. La complexité du parenchyme, milieu visco-élastique, provient de la présence de l'arbre qui relie toutes les alvéoles entre elles. Des phénomènes de dissipation non locaux sont ainsi observés dus aux couplage de toutes les sorties. Nous étudions tout d'abord un modèle monodimensionnel du parenchyme mettant en jeu une équation de type onde avec des effets non locaux. En particulier nous détaillons l'étude du comportement en temps long. Enfin, nous proposon l'ébauche d'un modèle du parenchyme en dimension supérieure prenant en compte à la fois le caractère élastique du tissu ainsi que la présence de l'arbre résistif.
|
23 |
Maximal regularity for non-autonomous evolution equations / Régularité maximale des équations d’évolution non-autonomesAchache, Mahdi 05 March 2018 (has links)
Cette thèse est dédiée a l''etude de certaines propriétés des équations d' évolutions non-autonomes $u'(t)+A(t)u(t)=f(t), u(0)=x.$ Il s'agit précisément de la propriété de la régularité maximale $L^p$: étant donnée $fin L^{p}(0,tau;H)$, montrer l'existence et unicité de la solution $u in W^{1,p}(0,tau;H)$. Ce problème a 'et'e intensivement étudie dans le cas autonome, i.e., $A(t)=A$ pour tout $t$. Dans le cas non-autonome, le problème a été considéré par J.L.Lions en 1960. Nous montrons divers résultats qui étendent tout ce qui est connu sur ce problème. On suppose ici que la famille des opérateurs $(mathcal{A}(t))_{tin [0,tau]}$ est associée à des formes quasi-coercives, non autonomes $(fra(t))_{t in [0,tau]}.$ Nous considérons également le problème de régularité maximale pour les d'ordre 2 (équations des ondes). Plusieurs exemples et applications sont considérés. / This Thesis is devoted to certain properties of non-autonomous evolution equations $u'(t)+A(t)u(t)=f(t), u(0)=x.$ More precisely, we are interested in the maximal $L^p$-regularity: given $fin L^{p}(0,tau;H),$ prove existence and uniqueness of the solution $u in W^{1,p}(0,tau;H)$. This problem was intensively studied in the autonomous cas, i.e., $A(t)=A$ for all $t.$ In the non-autonomous cas, the problem was considered by J.L.Lions in 1960. We prove serval results which extend all previously known ones on this problem. Here we assume that the familly of the operators $(mathcal{A}(t))_{tin [0,tau]}$ is associated with quasi-coercive, non-autonomous forms $(fra(t))_{t in [0,tau]}.$ We also consider the problem of maximal regularity for second order equations (the wave equation). Serval examples and applications are given in this Thesis.
|
24 |
Etude d'une équation non linéaire, non dispersive et complètement integrable et de ses perturbations / Study of a nonlinear, non-dispersive, completely integrable equation and its perturbationsPocovnicu, Oana 29 September 2011 (has links)
On étudie dans cette thèse l'équation de Szegö sur la droite réelle ainsi que ses perturbations. Cette équation a été introduite il y a quelques années par Gérard et Grellier comme modèle mathématique d'une équation non linéaire totalement non dispersive.L'équation de Szegöapparait naturellement dans l'étude de l'équation de Schrödinger non linéaire (NLS) danscertaines situations sur-critiques où l'on constate un manque de dispersion, par exemplelorsque l'on considère NLS sur le groupe de Heisenberg. Par conséquent, une des motivationsde cette thèse est d'établir des résultats concernant l'équation de Szegö qui pourrontéventuellement être utilisés dans le contexte de l'équation de Schrödinger non linéaire.Le premier résultat de cette thèse est la classification des solitons de l'équation de Szegö.On montre que ce sont tous des fonctions rationnelles ayant un unique pôle qui est simple.De plus, on prouve que les solitons sont orbitalement stables.La propriété la plus remarquable de l'équation de Szegö est le fait qu'elle est complètement intégrable, ce qui permet notamment d'établir une formule explicite de sa solution.Comme applications de cette formule, on obtient les trois résultats suivants. (A) On montreque les solutions fonctions rationnelles génériques se décomposent en une somme de solitonset d'un reste qui est petit lorsque le temps tend vers l'infini. (B) On met en évidence unexemple de solution non générique dont les grandes normes de Sobolev tendent vers l'infiniavec le temps. (C) On détermine des coordonnées action-angle généralisées lorsque l'on restreintl'équation de Szegö à une sous-variété de dimension finie. En particulier, on en déduitqu'une grande partie des trajectoires de cette équation sont des spirales autour de cylindrestoroïdaux.Comme l'équation de Szegö est complètement intégrable, il est ensuite naturel d'étudierses perturbations et d'établir de nouvelles propriétés pour celles-ci à partir des résultatsconnus pour l'équation de Szegö. Une des perturbations de l'équation de Szegö est une équation desondes non linéaire (NLW) de donnée bien préparée.On prouve que si la donnée initiale de NLW est petite et à support dans l'ensemble desfréquences positives, la solution de NLW est alors approximée pour un temps long par lasolution de l'équation de Szegö. Autrement dit, on démontre ainsi que l'équation de Szegöest la première approximation de NLW. On construit ensuite une solution de NLW dont lesgrandes normes de Sobolev augmentent (relativement à la norme de la donnée initiale).Sur le tore T, Gérard et Grellier ont démontré un résultat analogue d'approximation deNLW. On améliore ce résultat en trouvant une approximation plus fine, de deuxième ordre.Dans une dernière partie, on s'intéresse à l'équation de Szegö perturbée par un potentielmultiplicatif petit. On étudie l'interaction de ce potentiel avec les solitons. Plus précisément,on montre que, si la donnée initiale est celle d'un soliton pour l'équation non perturbée, lasolution de l'équation perturbée garde la forme d'un soliton sur un long temps. De plus, ondéduit la dynamique effective, i.e. les équations différentielles satisfaites par les paramètresdu soliton. / In this Ph.D. thesis, we study the Szegö equation on the real lineas well as its perturbations.It was recently introduced by Gérard and Grellier as a toy model of a non-lineartotally non dispersive equation. The Szegö equation appears naturally in the study of thenon-linear Schrödinger equation (NLS) in super-critical situations where dispersion lacks,for example, when one considers NLS on the Heisenberg group. Consequently, one of themotivations of this Ph.D. thesis is fi nding new results for the Szegö equation in hope thatthey could be eventually used in the context of the non-linear Schrödinger equation.Our first result is a classification of the solitons of the Szegö equation. We show thatthey are all rational functions with one simple pole. In addition, we prove the orbitalstability of solitons.The Szegö equation has the remarkable property of being completely integrable. Thisallows us to find an explicit formula for solutions. We obtain three applications of thisformula. (A) We prove soliton resolution for solutions which are generic rational functions.(B) We construct an example of non-generic solution whose high Sobolev norms grow toinfinity over time. (C) We find generalized action-angle variables when restricting the Szegöequation to a finite dimensional sub-manifold. In particular, this yields that most of thetrajectories of the Szegö equation are spirals around toroidal cylinders.Since the Szegö equation is completely integrable, it is natural to study its perturbationsand deduce new properties of such perturbations from the known results for the Szegöequation. One perturbation of the Szegö equation is a non-linear wave equation(NLW) with small initial data.We prove that the Szegö equation is the first order approximation of NLW. More precisely,if an initial condition of NLW is small and supported only on non-negative frequencies, thenthe corresponding solution can be approximated by the solution of the Szegö equation, fora long time. We then construct a solution of NLW whose high Sobolev norms grow.On the torus T, Gérard and Grellier proved an analogous first order approximationresult for NLW. By considerning the second order approximation, we obtain an improvedresult with a smaller error.Lastly, we consider the Szegö equation perturbed by a small multiplicative potential.We study the interaction of this potential with solitons. More precisely, we show that, if theinitial condition is that of a soliton for the unperturbed Szegö equation, then the solutionpreserves the shape of a soliton for a long time. In addition, we prescribe the effectivedynamics, i.e. we derive the differential equations satisfied by the parameters of the soliton.
|
25 |
Stabilisation et asymptotique spectrale de l’équation des ondes amorties vectorielle / Stabilization and spectral asymptotics of the vectorial damped wave equationKlein, Guillaume 12 December 2018 (has links)
Dans cette thèse nous considérons l’équation des ondes amorties vectorielle sur une variété riemannienne compacte, lisse et sans bord. L’amortisseur est ici une fonction lisse allant de la variété dans l’espace des matrices hermitiennes de taille n. Les solutions de cette équation sont donc à valeurs vectorielles. Nous commençons dans un premier temps par calculer le meilleur taux de décroissance exponentiel de l’énergie en fonction du terme d’amortissement. Ceci nous permet d’obtenir une condition nécessaire et suffisante la stabilisation forte de l’équation des ondes amorties vectorielle. Nous mettons aussi en évidence l’apparition d’un phénomène de sur-amortissement haute fréquence qui n’existait pas dans le cas scalaire. Dans un second temps nous nous intéressons à la répartition asymptotique des fréquences propres de l’équation des ondes amorties vectorielle. Nous démontrons que, à un sous ensemble de densité nulle près, l’ensemble des fréquences propres est contenu dans une bande parallèle à l’axe imaginaire. La largeur de cette bande est déterminée par les exposants de Lyapunov d’un système dynamique défini à partir du coefficient d’amortissement. / In this thesis we are considering the vectorial damped wave equation on a compact and smooth Riemannian manifold without boundary. The damping term is a smooth function from the manifold to the space of Hermitian matrices of size n. The solutions of this équation are thus vectorial. We start by computing the best exponential energy decay rate of the solutions in terms of the damping term. This allows us to deduce a sufficient and necessary condition for strong stabilization of the vectorial damped wave equation. We also show the appearance of a new phenomenon of high-frequency overdamping that did not exists in the scalar case. In the second half of the thesis we look at the asymptotic distribution of eigenfrequencies of the vectorial damped wave equation. Were show that, up to a null density subset, all the eigenfrequencies are in a strip parallel to the imaginary axis. The width of this strip is determined by the Lyapunov exponents of a dynamical system defined from the damping term.
|
26 |
Contributions à la modélisation mathématique et à l'algorithmique parallèle pour l'optimisation d'un propagateur d'ondes élastiques en milieu anisotrope / Contributions to the mathematical modeling and to the parallel algorithmic for the optimization of an elastic wave propagator in anisotropic mediaBoillot, Lionel 12 December 2014 (has links)
La méthode d’imagerie la plus répandue dans l’industrie pétrolière est la RTM (Reverse Time Migration) qui repose sur la simulation de la propagation des ondes dans le sous-sol. Nous nous sommes concentrés sur un propagateur d'ondes élastiques 3D en milieu anisotrope de type TTI (Tilted Transverse Isotropic). Nous avons directement travaillé dans le code de recherche de Total DIVA (Depth Imaging Velocity Analysis), basé sur une discrétisation par la méthode de Galerkin Discontinue et le schéma Leap-Frog, et développé pour le calcul parallèle intensif – HPC (High Performance Computing). Nous avons ciblé plus particulièrement deux contributions possibles qui, si elles supposent des compétences très différentes, ont la même finalité : réduire les coûts de calculs requis pour la simulation. D'une part, les conditions aux limites classiques de type PML (Perfectly Matched Layers) ne sont pas stables dans des milieux TTI. Nous avons proposé de formuler une CLA (Conditions aux Limites Absorbantes) stable dans des milieux anisotropes. La méthode de construction repose sur les propriétés des courbes de lenteur, ce qui donne à notre approche un caractère original. D'autre part, le parallélisme initial, basé sur une décomposition de domaine et des communications par passage de messages à l'aide de la bibliothèque MPI, conduit à un déséquilibrage de charge qui détériore son efficacité parallèle. Nous avons corrigé cela en remplaçant le paradigme parallélisme par l'utilisation de la programmation à base de tâches sur support d'exécution. Cette thèse a été réalisée dans le cadre de l'action de recherche DIP (Depth Imaging Partnership) qui lie la compagnie pétrolière Total et Inria. / The most common method of Seismic Imaging is the RTM (Reverse Time Migration) which depends on wave propagation simulations in the subsurface. We focused on a 3D elastic wave propagator in anisotropic media, more precisely TTI (Tilted Transverse Isotropic). We directly worked in the Total code DIVA (Depth Imaging Velocity Analysis) which is based on a discretization by the Discontinuous Galerkin method and the Leap-Frog scheme, and developed for intensive parallel computing – HPC (High Performance Computing). We choose to especially target two contributions. Although they required very different skills, they share the same goal: to reduce the computational cost of the simulation. On one hand, classical boundary conditions like PML (Perfectly Matched Layers) are unstable in TTI media. We have proposed a formulation of a stable ABC (Absorbing Boundary Condition) in anisotropic media. The technique is based on slowness curve properties, giving to our approach an original side. On the other hand, the initial parallelism, which is based on a domain decomposition and communications by message passing through the MPI library, leads to load-imbalance and so poor parallel efficiency. We have fixed this issue by replacing the paradigm for parallelism by the use of task-based programming through runtime system. This PhD thesis have been done in the framework of the research action DIP (Depth Imaging Partnership) between the Total oil company and Inria.
|
27 |
Optimization and parallelization of the boundary element method for the wave equation in time domain / Optimisation et parallèlisation de la méthode des élements frontières pour l’équation des ondes dans le domaine temporelBramas, Bérenger 15 February 2016 (has links)
La méthode des éléments frontières pour l’équation des ondes (BEM) est utilisée en acoustique eten électromagnétisme pour simuler la propagation d’une onde avec une discrétisation en temps(TD). Elle permet d’obtenir un résultat pour plusieurs fréquences à partir d’une seule résolution.Dans cette thèse, nous nous intéressons à l’implémentation efficace d’un simulateur TD-BEM sousdifférents angles. Nous décrivons le contexte de notre étude et la formulation utilisée qui s’exprimesous la forme d’un système linéaire composé de plusieurs matrices d’interactions/convolutions.Ce système est naturellement calculé en utilisant l’opérateur matrice/vecteur creux (SpMV). Nousavons travaillé sur la limite du SpMV en étudiant la permutation des matrices et le comportementde notre implémentation aidé par la vectorisation sur CPU et avec une approche par bloc surGPU. Nous montrons que cet opérateur n’est pas approprié pour notre problème et nous proposonsde changer l’ordre de calcul afin d’obtenir une matrice avec une structure particulière.Cette nouvelle structure est appelée une matrice tranche et se calcule à l’aide d’un opérateur spécifique.Nous décrivons des implémentations optimisées sur architectures modernes du calculhaute-performance. Le simulateur résultant est parallélisé avec une approche hybride (mémoirespartagées/distribuées) sur des noeuds hétérogènes, et se base sur une nouvelle heuristique pouréquilibrer le travail entre les processeurs. Cette approche matricielle a une complexité quadratiquesi bien que nous avons étudié son accélération par la méthode des multipoles rapides (FMM). Nousavons tout d’abord travaillé sur la parallélisation de l’algorithme de la FMM en utilisant différentsparadigmes et nous montrons comment les moteurs d’exécution sont adaptés pour relâcher le potentielde la FMM. Enfin, nous présentons des résultats préliminaires d’un simulateur TD-BEMaccéléré par FMM . / The time-domain BEM for the wave equation in acoustics and electromagnetism is used to simulatethe propagation of a wave with a discretization in time. It allows to obtain several frequencydomainresults with one solve. In this thesis, we investigate the implementation of an efficientTD-BEM solver using different approaches. We describe the context of our study and the TD-BEMformulation expressed as a sparse linear system composed of multiple interaction/convolutionmatrices. This system is naturally computed using the sparse matrix-vector product (SpMV). Wework on the limits of the SpMV kernel by looking at the matrix reordering and the behavior of ourSpMV kernels using vectorization (SIMD) on CPUs and an advanced blocking-layout on NvidiaGPUs. We show that this operator is not appropriate for our problem, and we then propose toreorder the original computation to get a special matrix structure. This new structure is called aslice matrix and is computed with a custom matrix/vector product operator. We present an optimizedimplementation of this operator on CPUs and Nvidia GPUs for which we describe advancedblocking schemes. The resulting solver is parallelized with a hybrid strategy above heterogeneousnodes and relies on a new heuristic to balance the work among the processing units. Due tothe quadratic complexity of this matrix approach, we study the use of the fast multipole method(FMM) for our time-domain BEM solver. We investigate the parallelization of the general FMMalgorithm using several paradigms in both shared and distributed memory, and we explain howmodern runtime systems are well-suited to express the FMM computation. Finally, we investigatethe implementation and the parametrization of an FMM kernel specific to our TD-BEM, and weprovide preliminary results.
|
28 |
Analyse harmonique et équation de Schrödinger associées au laplacien de Dunkl trigonométriqueAyadi, Fatma 19 December 2011 (has links) (PDF)
l'équation de Schrödinger associée au laplacien de Dunkl trigonométrique unidimensionnel . Cette étude commence par des estimations optimales du noyau de la chaleur et de Schrödinger. A l'aide de ces résultats, ainsi que les outils d'analyse harmonique dévellopée dans le chapitre 2, on montre des éstimées de type Strichartz qui permettent de trouver des conditions d'admissibilité pour des équations de Schrödinger semi-linéaires.
|
29 |
Quelques problèmes de contrôle d'équations aux dérivées partielles : inégalités spectrales, systèmes couplés et limites singulièresLéautaud, Matthieu 22 June 2011 (has links) (PDF)
Dans cette thèse, on s'intéresse à la contrôlabilité de différentes équations aux dérivées partielles. La première partie est consacrée à la méthode de Lebeau-Robbiano pour le contrôle des équations paraboliques linéaires. On étend tout d'abord cette méthode à des opérateurs elliptiques non-autoadjoints, montrant une inégalité spectrale ainsi que la contrôlabilité de l'équation parabolique associée. On prouve ensuite ces deux propriétés pour un modèle de transmission à travers une interface, pour lequel la condition de transmission implique une diffusion tangentielle. La preuve repose sur une inégalité de Carleman, uniforme par rapport au petit paramètre représentant l'épaisseur de l'interface. Dans la deuxième partie, on analyse les propriétés de certains systèmes d'équations aux dérivées partielles linéaires couplées par des termes d'ordre zéro. Après avoir étudié la stabilisation de deux équations d'ondes, dont une seulement est amortie, on montre la contrôlabilité en temps grand d'un système similaire au moyen d'un seul contrôle, sous des conditions géométriques optimales sur les zones de contrôle et de couplage. Par des méthodes d'analyse microlocale, on obtient de plus la contrôlabilité de systèmes d'ondes en cascade, ainsi que l'expression exacte du temps minimal de contrôle. On déduit de ces résultats la contrôlabilité des systèmes paraboliques associés, dans des situations où les zones de contrôle et de couplage sont disjointes. Enfin, dans la troisième partie, on étudie la contrôlabilité uniforme de perturbations visqueuses de lois de conservation scalaires, dans la limite de viscosité évanescente. On montre la contrôlabilité exacte globale aux états constants au moyen de contrôles uniformément bornés lorsque la viscosité tend vers zéro.
|
30 |
ÉQUATION DES ONDES SUR LES ESPACES SYMÉTRIQUES RIEMANNIENS DE TYPE NON COMPACT.Hassani, Ali 06 June 2011 (has links) (PDF)
Ce mémoire porte sur l'étude des équations d'évolution sur des variétés à coubure non nulle, plus particulièrement l'équation des ondes sur les espaces symétriques riemanniens de type non compact. Des propriétés de dispersion des solutions du problème de Cauchy homogène sont démontrées. Ces propriétés sont ensuite utilisées pour établir des estimations dites estimations de Strichartz. L'examen de ces estimées permet de déduire que le problème de Cauchy non linéaire avec des non-linéarités de type puissance est globalement bien posé pour des données initiales petites et localement bien posé pour des données arbitraires. Après un chapitre introductif dédié aux définitions, propriétés algébriques et géométriques des espaces symétriques et à quelques aspects élémentaires d'analyse harmonique sphérique sur ces espaces, un article est présenté : Wave equation on Riemannian symmetric spaces. Cet article contient nos résultats principaux. Dans le dernier chapitre nous présentons en détail deux problèmes ouverts qui prolongent nos travaux. Il s'agit respectivement d'établir le lien entre le comportement asymptotique des estimées et les orbites nilpotentes, et l'étude de l'équation des ondes pour les formes différentielles sur les espaces symétriques.
|
Page generated in 0.1599 seconds