In this thesis, the numerical solution of time-dependent partial differential equations (PDE) is studied. In particular high-order finite difference methods on Summation-by-parts (SBP) form are analysed and applied to model problems as well as the PDEs governing aerodynamics. The SBP property together with an implementation of boundary conditions called SAT (Simultaneous Approximation Term), yields stability by energy estimates. The first derivative SBP operators were originally derived for Cartesian grids. Since aerodynamic computations are the ultimate goal, the scheme must also be stable on curvilinear grids. We prove that stability on curvilinear grids is only achieved for a subclass of the SBP operators. Furthermore, aerodynamics often requires addition of artificial dissipation and we derive an SBP version. With the SBP-SAT technique it is possible to split the computational domain into a multi-block structure which simplifies grid generation and more complex geometries can be resolved. To resolve extremely complex geometries an unstructured discretisation method must be used. Hence, we have studied a finite volume approximation of the Laplacian. It can be shown to be on SBP form and a new boundary treatment is derived. Based on the Laplacian scheme, we also derive an SBP artificial dissipation for finite volume schemes. We derive a new set of boundary conditions that leads to an energy estimate for the linearised three-dimensional Navier-Stokes equations. The new boundary conditions will be used to construct a stable SBP-SAT discretisation. To obtain an energy estimate for the discrete equation, it is necessary to discretise all the second derivatives by using the first derivative approximation twice. According to previous theory that would imply a degradation of formal accuracy but we present a proof that this is not the case.

The main goal of our thesis is to understand qualitative properties of solutions to the Cauchy problem for the semi-linear wave model with time-dependent speed and dissipation. We greatly benefited from very precise estimates for the corresponding linear problem in order to obtain the global existence (in time) of small data solutions. This reason motivated us to introduce very carefully a complete description for classification of our models: scattering, non-effective, effective, over-damping. We have considered those separately.

In this thesis, we are interested in damped wave models with time-dependent propagation speed and time-dependent damping term both having a time-dependent oscillation term. The main goal of this thesis is to understand the influence of strong time-dependent oscillations on Sobolev solutions to the linear models and consequently, to the semilinear models. Especially, due to the deteriorating influence of oscillations on solutions, a stabilization condition and higher-order regularity of the time-dependent coefficients may compensate 'bad behaviors' arising from oscillations.:1. Introduction 2. The influence of oscillations on linear damped wave equation with time-dependent coefficients 3. Global in time existence results for damped wave models with power nonlinearity 4. Global in time existence results for damped wave models with different power nonlinearities 5. Lp-Lq estimates for wave equations with strong time-dependent oscillations 6. Further research topics A. Basic tools B. List of symbols and abbreviations Bibliography

Cette thèse est essentiellement composée de deux parties traitant des problèmes de Cauchy ou des problèmes périodiques. Dans la première partie, on étudie la stabilité de solutions régulières au voisinage d'états d'équilibre non constants pour un système d'Euler-Maxwell isentropique compressible bipolaire. Par des estimations d'énergie classiques et un argument de récurrence sur l'ordre des dérivées des solutions, on montre l'existence globale et l'unicité des solutions régulières du système lorsque les données initiales sont proches des états d'équilibre. On obtient aussi le comportement asymptotique des solutions quand le temps tend vers l'infini. Dans la deuxième partie, on considère la stabilité en temps long des solutions régulières de systèmes d'Euler-Maxwell et de Navier-Stokes-Maxwell compressibles dans le cas non isentropique lorsque les états d'équilibre sont constants. Grâce à des choix convenables de symétriseurs des systèmes et à des estimations d'énergie, on montre l'existence globale et l'unicité des solutions régulières des systèmes avec données initiales petites. De plus, par le principe de Duhamel et l'outil d'analyse de Fourier, on obtient des taux de décroissance des solutions quand le temps tend vers l'infini. / This thesis is essentially composed of two parts dealing with Cauchy problems and periodic problems. In the first part, we study the stability of smooth solutions near non constant equilibrium states for a two-fluid isentropic compressible Euler-Maxwell system.By classical energy estimates together with an induction argument on the order of the derivatives of solutions, we prove the existence and uniqueness of global solutions to the system when the given initial data are near the equilibrium states. We also obtain the asymptotic behavior of solutions when the time goes to infinity. In the second part, we consider the long time stability of the global smooth solutions for compressible Euler-Maxwell and Navier-Stokes-Maxwell systems in non isentropic case when the equilibrium solutions are constants. With the help of suitable choices of symmetrizers and energy estimates, we prove the existence and uniqueness of global solutions to the systems with given small initial data. Furthermore, using the Duhamel principle and the Fourier analysis tool, we obtain the decay rates of smooth solutions as the time goes to infinity.

The main goal of our thesis is to understand qualitative properties of solutions to the Cauchy problem for the semi-linear wave model with time-dependent speed and dissipation. We greatly benefited from very precise estimates for the corresponding linear problem in order to obtain the global existence (in time) of small data solutions. This reason motivated us to introduce very carefully a complete description for classification of our models: scattering, non-effective, effective, over-damping. We have considered those separately.