Development and Analysis of Algorithms to Simulate Multi-Component Multi-Phase Porous Flows

科学的目标之一是理解和解释自然现象，以预测和预测结果。数学工具的不断发展，表达了许多基本的自然规律，导致模型具有无与伦比的预测能力。数学模型涉及表达感兴趣的物理过程的复杂方程系统，并形成现代工程和科学的概念基础。这些方程展示了所有的深度，困难，和被建模的物理系统的微妙之处，和复杂的计算方法，需要他们的解决方案。该项目的重点是开发工程师和科学家模拟地质学问题所需的计算工具和软件。推动这项工作的物理问题之一是需要模拟深海床和永久冻土区，那里有大量冻结的甲烷，二氧化碳和其他气体。这些气体从地球深处扩散，被困在永久冻土层、冰川下和深海的寒冷深处，在那里它们可能会冻结。通过地质循环和气候变化预测这些地区的演变状态对于环境建模至关重要。该项目将开发和分析模拟这些区域所需的计算工具和软件，其中多种流体和气体在流动时经历冻结，解冻和溶解。除了技术发展，该项目还将支持教育和培训下一代科学家，以维持这些学科的发现和科学领导地位。拟议的工作围绕着模拟含有多种流体的多孔介质中流动所需的计算工具的开发和分析，这些流体可能联合收割机形成多个相和状态（固体，液体，气体）。混合物和相变的热力学被用来模拟孔隙尺度下流体的性质和状态，这些性质和状态在质量、动量和能量的宏观平衡定律中组成性地出现。该建议的重点是将这些系统的孔隙尺度和连续模型集成到一个一致的框架中，在这个框架中可以利用计算工具来模拟这些复杂的物理问题。 自由能的凸性和均匀性（或熵的平方）以一种微妙的方式进入这些模型，并且对于证明解的稳定性是必不可少的。数值计划将开发，忠实地继承这些重要的属性，此外，凸属性将被利用，以促进强大的算法，解决出现的非线性系统。该奖项反映了NSF的法定使命，并已被认为是值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估的支持。

One of the goals of science is to understand and explain natural phenomena in order to predict and forecast outcomes. The continual development of mathematical tools to express many of the fundamental laws of nature has resulted in models with unparalleled predictive power. Mathematical models involve complex systems of equations expressing the physical processes of interest, and form the conceptual foundation of modern engineering and science. These equations exhibit all of the depth, difficulties, and subtleties of the physical systems being modeled, and sophisticated computational methodologies are required for their solution. This project focuses on the development of computational tools and software that engineers and scientists need to simulate problems arising in geology. One of the physical problems motivating this work is the need to model deep sea beds and permafrost regions where vast quantities of frozen methane, carbon dioxide, and other gases are trapped. These gases diffuse from deep within the earth and get trapped in permafrost, under glaciers, and in the cold depths of the deep ocean where they may freeze. Predicting the evolving state of these regions through geologic cycles and changes in climate is essential for environmental modeling. This project will develop and analyze computational tools and software required to model these regions where multiple fluids and gases undergo freezing, thawing, and dissolution as they flow. In addition to the technological developments, this project will also support the education and training of the next generation of scientists needed to sustain discovery and scientific leadership in these disciplines.The work proposed centers around the development and analysis of computational tools needed to simulate flows in porous media containing multiple fluids, which may combine to form multiple phases and states (solid, liquid, gas). The thermodynamics of mixtures and phase changes is used to model the properties and states of the fluids at the pore scale, which appear constitutively in the macroscopic balance law of mass, momentum, and energy. This proposal focuses on the challenging problem of integrating pore scale and continuum models of these systems into a consistent framework where computational tools can be utilized to simulate these complex physical problems. Convexity and homogeneity of the free energy (or concavity of entropy) enter these models in a subtle way, and are essential for proving stability of solutions. Numerical schemes will be developed that faithfully inherit these important attributes; in addition, convexity properties will be exploited to facilitate robust algorithms for the solution of the nonlinear systems that arise. Development of mathematical tools required to analyze the stability, robustness, convergence, and correctness of these algorithms will be undertaken.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.