Well-posedness and discretization for a class of models for mixed-dimensional problems with high-dimensional gap

In this work, we show the underlying mathematical structure of mixed-dimensional models arising from the composition of graphs and continuous domains. Such models are becoming popular in applications, in particular, to model the human vasculature. We first discuss the model equations in the strong form, which describes the conservation of mass and Darcy's law in the continuum and network as well as the coupling between them. By introducing proper scaling, we propose a weak form that avoids degeneracy. Well-posedness of the weak form is shown through standard Babu\v ska--Brezzi theory. We also develop the mixed formulation finite-element method and prove its well-posedness. A mass-lumping technique is introduced to derive the two-point flux approximation (TPFA) type discretization as well, due to its importance in applications. Based on the Babu\v ska--Brezzi theory, error estimates can be obtained for both the finite-element scheme and the TPFA scheme. We also discuss efficient linear solvers for discrete problems. Finally, we present some numerical examples to verify the theoretical results and demonstrate the robustness of our proposed discretization schemes.acceptedVersio

Discretizations & Efficient Linear Solvers for Problems Related to Fluid Flow

Numerical solutions to fluid flow problems involve solving the linear systems arising from the discretization of the Stokes equation or a variant of it, which often have a saddle point structure and are difficult to solve. Geometric multigrid is a parallelizable method that can efficiently solve these linear systems especially for a large number of unknowns. We consider two approaches to solve these linear systems using geometric multigrid: First, we use a block preconditioner and apply geometric multigrid as in inner solver to the velocity block only. We develop deal.II tutorial step-56 to compare the use of geometric multigrid to other popular alternatives. This method is found to be competitive in serial computations in terms of performance and memory usage. Second, we design a special smoother to apply multigrid to the whole linear system. This smoother is analyzed as a Schwarz method using conforming and inf-sup stable discretization spaces. The resulting method is found to be competitive to a similar multigrid method using non-conforming finite elements that were studied by Kanschat and Mao. This approach has the potential to be superior to the first approach. Finally, expanding on the research done by Dannberg and Heister, we explore the analysis of a three-field Stokes formulation that is used to describe melt migration in the earth\u27s mantle. Multiple discretizations were studied to find the best one to use in the ASPECT software package. We also explore improvements to ASPECT\u27s linear solvers for this formulation utilizing block preconditioners and algebraic multigrid