Domain Decomposition Methods for Uncertainty Quantification
Total Page:16
File Type:pdf, Size:1020Kb
Domain Decomposition Methods for Uncertainty Quantification A thesis submitted to the Faculty of Graduate and Postdoctoral Affairs in partial fulfillment of the requirements for the degree Doctor of Philosophy by Waad Subber Department of Civil and Environmental Engineering Carleton University Ottawa-Carleton Institute of Civil and Environmental Engineering November 2012 ©2012 - Waad Subber Library and Archives Bibliotheque et Canada Archives Canada Published Heritage Direction du 1+1 Branch Patrimoine de I'edition 395 Wellington Street 395, rue Wellington Ottawa ON K1A0N4 Ottawa ON K1A 0N4 Canada Canada Your file Votre reference ISBN: 978-0-494-94227-7 Our file Notre reference ISBN: 978-0-494-94227-7 NOTICE: AVIS: The author has granted a non L'auteur a accorde une licence non exclusive exclusive license allowing Library and permettant a la Bibliotheque et Archives Archives Canada to reproduce, Canada de reproduire, publier, archiver, publish, archive, preserve, conserve, sauvegarder, conserver, transmettre au public communicate to the public by par telecommunication ou par I'lnternet, preter, telecommunication or on the Internet, distribuer et vendre des theses partout dans le loan, distrbute and sell theses monde, a des fins commerciales ou autres, sur worldwide, for commercial or non support microforme, papier, electronique et/ou commercial purposes, in microform, autres formats. paper, electronic and/or any other formats. The author retains copyright L'auteur conserve la propriete du droit d'auteur ownership and moral rights in this et des droits moraux qui protege cette these. Ni thesis. Neither the thesis nor la these ni des extraits substantiels de celle-ci substantial extracts from it may be ne doivent etre imprimes ou autrement printed or otherwise reproduced reproduits sans son autorisation. without the author's permission. In compliance with the Canadian Conformement a la loi canadienne sur la Privacy Act some supporting forms protection de la vie privee, quelques may have been removed from this formulaires secondaires ont ete enleves de thesis. cette these. While these forms may be included Bien que ces formulaires aient inclus dans in the document page count, their la pagination, il n'y aura aucun contenu removal does not represent any loss manquant. of content from the thesis. Canada Abstract In conjunction with modern high performance computing platforms, domain decom position methods permit computational simulations of physical and engineering systems using extremely high resolution numerical models. Such numerical models substantially reduce discretization error. In realistic simulations of numerous physical and engineer ing systems, it is however necessary to quantify confidence in numerical simulations for their acceptability as reliable alternatives to field experiments. The spectral stochastic fi nite element method is a popular computational tool for uncertainty quantification in many engineering systems of practical interest. For large-scale engineering systems, the spectral stochastic finite element method becomes computationally challenging as the size of the resulting algebraic linear system grows rapidly with the spatial mesh resolution and the order of the stochastic dimension. To address this issue, domain decomposition methods are described for uncertainty quantification of large- scale engineering systems. The math ematical framework is based on non-overlapping domain decomposition in the geometric space and functional expansion along the stochastic dimension. For numerical illustrations, two-dimensional and three-dimensional flow through porous media and elasticity problems with spatially varying non-Gaussian material properties are considered. The parallel per formance of the algorithms are investigated with respect to the mesh size, subdomain size, fixed problem size per subdomain, level of uncertainty and the order of stochastic dimen sion. For a fixed mesh resolution, the probabilistic domain decomposition techniques can not reduce the total solution time beyond a certain number of processors due to hardware related issues such as latency and bandwidth of the communication network. To fully ex ploit the massively parallel computers, parallelization is exploited in temporal dimension for uncertain dynamical systems. In particular, a probabilistic version of a parallel time integration scheme is developed to simulate the trajectories of a noisy non-linear dynam ical system described by stochastic differential equations. The numerical experiments are performed on a Linux cluster using MPI and PETSc parallel libraries. Dedicated to the living memory o f my beloved Mother. “Finding a good preconditioner to solve a given sparse linear system is often viewed as a combination of art and science.” Yousef Saad, Iterative methods for sparse linear systems, 2003. v Acknowledgments I would like to express my sincere gratitude and appreciation to my thesis advisor Pro fessor Abhijit Sarkar for his continued guidance and support throughout this research. Without his assistance and inspiration, I could not reach this far. I am very grateful to him for introducing me to the world of Uncertainty Quantification and High Performance Com puting. I would like to deeply thank my friend and colleague Mohammad Khalil for the invaluable discussions, support and encouragement during the course of this study. I sin cerely thank Professor John Goldak who has profoundly contributed to my knowledge and understanding of the finite element method. I am grateful to Professor Dominique Poirel for given me the opportunity to learn the fundamentals of computational fluid dynamics. Furthermore, I would like to thank Professor Heng Khoo and Professor Edward Sherwood for their helpful discussions and support throughout my graduate studies. Thanks and grati tude are also due to my fellow graduate students and friends especially Anton Matachniouk and Amin Fereidooni with whom I had wonderful times. Very special thanks to our Gradu ate Administrator Mrs. Payal Chadha for continuous and kind support during my graduate career. Finally, I would like to extend my gratitude and appreciation to my family who I am indebted forever for their support and encouragement in all of my accomplishments. Citations Chapter 3 closely follows the following references: 1. A. Toselli and O. Widlund. Domain Decomposition Methods - Algorithms and The ory, volume 34 of Springer Series in Computational Mathematics. Springer, Berlin, 2005. 2. B. Smith, P. Bjorstad, and W. Gropp. Domain Decomposition: Parallel Multilevel Methods for Elliptic Partial Differential Equations. Cambridge University Press, New York, 1996. 3. T. Mathew. Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations. Number 61 in Lecture Notes in Computational Science and Engineering. Springer, Berlin, 2008. 4. A. Quarteroni and A. Valli. Domain Decomposition Methods for Partial Differential Equations. Numerical Mathematics and Scientific Computation. Oxford University Press, USA, 1999. Chapters 4 and 5 are closely based on the following references: 1. W. Subber and A. Sarkar. Domain decomposition method of stochastic PDEs: An iterative solution technique using one-level parallel preconditioner. 2012. Submitted to Journal of Probabilistic Engineering Mechanics. 2. W. Subber and A. Sarkar. Domain decomposition of stochastic PDEs: A novel pre conditioner and its parallel performance. In High Performance Computing Sympo sium, volume 5976 of Lecture Notes in Computer Science, pages 251268. Springer, 2010. 3. W. Subber, H. Monajemi, M. Khalil, and A. Sarkar. A scalable parallel uncertainty analysis and data assimilation framework applied to some hydraulic problems. In International Symposium on Uncertainties in Hydrologic and Hydraulic. Montreal, Canada, 2008. Chapter 6 is closely based on the following references: 1. W. Subber and A. Sarkar. A domain decomposition method of stochastic PDEs: An iterative solution techniques using a two-level scalable preconditioner. 2012. Submitted to Journal of Computational Physics. 2. W. Subber and A. Sarkar. Domain decomposition methods of stochastic PDEs: A two-level scalable preconditioner. Journal of Physics: Conference Series, 341(1), 2012. vii viii Chapter 7 is closely based on the following references: 1. W. Subber and A. Sarkar. Primal and dual-primal iterative substructuring methods of stochastic PDEs. Journal o f Physics: Conference Series, 256(1), 2010. 2. W. Subber and A. Sarkar. Domain decomposition methods of stochastic PDEs. In The Twentieth International Conference on Domain Decomposition Methods (DD20). California, USA, 2011. Accepted. Chapter 8 is closely based on the following references: 1. W. Subber and A. Sarkar. Dual-primal domain decomposition method for uncertainty quantification. 2012. To be Submitted to Journal of Computer Methods in Applied Mechanics and Engineering. 2. W. Subber and A. Sarkar. Primal and dual-primal iterative substructuring methods of stochastic PDEs. Journal of Physics: Conference Series, 256(1), 2010. 3. W. Subber and A. Sarkar. Domain decomposition methods of stochastic PDEs. In The Twentieth International Conference on Domain Decomposition Methods (DD20). California, USA, 2011. Accepted. Chapter 9 is closely based on the following references: 1. W. Subber and A. Sarkar. Domain decomposition method of stochastic PDEs: An iterative solution technique using one-level parallel preconditioner. 2012. Submitted to Journal of Probabilistic Engineering Mechanics.