This thesis centers on the development and analysis of numerical multiscale methods for multiscale problems arising in steady heat conduction, heat transfer and wave propagation in heterogeneous media. In a multiscale problem several scales interact with each other to form a system which has variations over a wide range of scales. A direct numerical simulation of such problems requires resolving the small scales over a computational domain, typically much larger than the microscopic scales. This demands a tremendous computational cost. We develop and analyse multiscale methods based on the heterogeneous multiscale methods (HMM) framework, which captures the macroscopic variations in the solution at a cost much lower than traditional numerical recipes. HMM assumes that there is a macro and a micro model which describes the problem. The micro model is accurate but computationally expensive to solve. The macro model is inexpensive but incomplete as it lacks certain parameter values. These are upscaled by solving the micro model locally in small parts of the domain. The accuracy of the method is then linked to how accurately this upscaling procedure captures the right macroscopic effects. In this thesis we analyse the upscaling error of existing multiscale methods and also propose a micro model which significantly reduces the upscaling error invarious settings. In papers I and IV we give an analysis of a finite difference HMM (FD-HMM) for approximating the effective solutions of multiscale wave equations over long time scales. In particular, we consider time scales T^ε = O(ε−k ), k =1, 2, where ε represents the size of the microstructures in the medium. In this setting, waves exhibit non-trivial behaviour which do not appear over short time scales. We use new analytical tools to prove that the FD-HMM accurately captures the long time effects. We first, in Paper I, consider T^ε =O(ε−2 ) and analyze the accuracy of FD-HMM in a one-dimensional periodicsetting. The core analytical ideas are quasi-polynomial solutions of periodic problems and local time averages of solutions of periodic wave equations.The analysis naturally reveals the role of consistency in HMM for high order approximation of effective quantities over long time scales. Next, in paperIV, we consider T^ε = O(ε−1 ) and use the tools in a multi-dimensional settingto analyze the accuracy of the FD-HMM in locally-periodic media where fast and slow variations are allowed at the same time. Moreover, in papers II and III we propose new multiscale methods which substantially improve the upscaling error in multiscale elliptic, parabolic and hyperbolic partial differential equations. In paper II we first propose a FD-HMM for solving elliptic homogenization problems. The strategy is to use the wave equation as the micro model even if the macro problem is of elliptic type. Next in paper III, we use this idea in a finite element HMM setting and generalize the approach to parabolic and hyperbolic problems. In a spatially fully discrete a priori error analysis we prove that the upscaling error can be made arbitrarily small for periodic media, even if we do not know the exact period of the oscillations in the media. / <p>QC 20150216</p> / Multiscale methods for wave propagation