arXiv subjects

Timo Koch

Publications and source records attributed to Timo Koch.

16 recordsLinked to original sources

arXiv2025

On a robust inf-sup condition for the Stokes problem in slender domains -- with application to preconditioning

We identify a norm on the pressure variable in the Stokes equation that allows us to prove a continuous inf-sup condition with a constant independent of the domain's aspect ratio. This is in contrast to the standard inf-sup constant, which breaks down as the aspect ratio increases. We further apply our result to construct robust operator preconditioners for the Stokes problem in slender domains. Several numerical examples illustrate the theory.

math.NA↗

arXiv2025

Viscous adhesion in vibrated sheets: elastohydrodynamics with inertia and compressibility effects

Inspired by recent experiments demonstrating that vibrating elastic sheets can function as seemingly contactless suction cups, we investigate the elastohydrodynamic hovering of a thin elastic sheet vibrating near a rigid substrate. Previous theoretical work suggests that the hovering height results from a balance between the active forcing that triggers the vibrations, the bending forces associated with the sheet's deformation, the viscous lubrication flow between the sheet and the substrate, and the sheet's weight. Here, we extend this analysis beyond the asymptotic regime of weak forcing and explore the regime of strong forcing through numerical simulations. We further quantify the influence of fluid inertia and compressibility on the equilibrium hovering height and the maximum load that can be supported. Both effects are found to introduce repulsive contributions to the net force on the sheet, which can significantly reduce its adhesive strength. Beyond providing insights into soft contactless grippers and swimming near surfaces, our analysis is relevant to the elastohydrodynamics of squeeze films and near-field acoustic levitation.

physics.flu-dyn↗

arXiv2025

Benchmarking CO$_2$ Storage Simulations: Results from the 11th Society of Petroleum Engineers Comparative Solution Project

The 11th Society of Petroleum Engineers Comparative Solution Project (shortened SPE11 herein) benchmarked simulation tools for geological carbon dioxide (CO$_2$) storage. A total of 45 groups from leading research institutions and industry across the globe signed up to participate, with 18 ultimately contributing valid results that were included in the comparative study reported here. This paper summarizes the SPE11. A comprehensive introduction and qualitative discussion of the submitted data are provided, together with an overview of online resources for accessing the full depth of data. A global metric for analyzing the relative distance between submissions is proposed and used to conduct a quantitative analysis of the submissions. This analysis attempts to statistically resolve the key aspects influencing the variability between submissions. The study shows that the major qualitative variation between the submitted results is related to thermal effects, dissolution-driven convective mixing, and resolution of facies discontinuities. Moreover, a strong dependence on grid resolution is observed across all three versions of the SPE11. However, our quantitative analysis suggests that the observed variations are predominantly influenced by factors not documented in the technical responses provided by the participants. We therefore identify that unreported variations due to human choices within the process of setting up, conducting, and reporting on the simulations underlying each SPE11 submission are at least as impactful as the computational choices reported.

physics.geo-ph↗

arXiv2025

The Distributed and Unified Numerics Environment (DUNE), Version 2.10

Version 2.10 of the Distributed and Unified Numerics Environment DUNE introduces a range of enhancements across its core and extension modules, with a continued emphasis on modern C++ integration and improved usability. This release extends support for C++20 features, particularly concepts, through comprehensive refinements in dune-common and dune-grid, enabling safer and more expressive generic programming paradigms. A notable advancement is the improved support for curved geometries, including new geometry implementations and a more flexible interface. Data structures have been modernized through native support for std::mdspan and std::mdarray, performance improvements in sparse matrices, and tools for visualization of matrix patterns. The build system has been restructured towards a modern CMake workflow, emphasizing target-based configuration and improved automation. Furthermore, new local finite elements have been introduced to broaden numerical capabilities. The release also brings updates across DUNE extensions, as well as improvements to infrastructure and module-level components.

cs.MS↗

arXiv2025

Hovering of an actively driven fluid-lubricated foil

Inspired by recent experimental observations of a harmonically excited elastic foil hovering near a wall while supporting substantial weight, we develop a theoretical framework that describes the underlying physical effects. Using elastohydrodynamic lubrication theory, we quantify how the dynamic deformation of the soft foil couples to the viscous fluid flow in the intervening gap. Our analysis shows that the soft foil rectifies the reversible forcing, breaking time-reversal symmetry; the relative spatial support of the forcing determines whether the sheet is attracted to or repelled from the wall. A simple scaling law predicts the time-averaged equilibrium hovering height and the maximum weight the sheet can sustain before detaching from the surface. Numerical simulations of the governing equation corroborate our theoretical predictions, are in qualitative agreement with experiments, and might explain the behavior of organisms while providing design principles for soft robotics.

physics.flu-dyn↗

arXiv2024

Putting Language into Context Using Smartphone-Based Keyboard Logging

While the study of language as typed on smartphones offers valuable insights, existing data collection methods often fall short in providing contextual information and ensuring user privacy. We present a privacy-respectful approach - context-enriched keyboard logging - that allows for the extraction of contextual information on the user's input motive, which is meaningful for linguistics, psychology, and behavioral sciences. In particular, with our approach, we enable distinguishing language contents by their channel (i.e., comments, messaging, search inputs). Filtering by channel allows for better pre-selection of data, which is in the interest of researchers and improves users' privacy. We demonstrate our approach on a large-scale six-month user study (N=624) of language use in smartphone interactions in the wild. Finally, we highlight the implications for research on language use in human-computer interaction and interdisciplinary contexts.

cs.HC↗

arXiv2023

Stable and locally mass- and momentum-conservative control-volume finite-element schemes for the Stokes problem

We introduce new control-volume finite-element discretization schemes suitable for solving the Stokes problem. Within a common framework, we present different approaches for constructing such schemes. The first and most established strategy employs a non-overlapping partitioning into control volumes. The second represents a new idea by splitting into two sets of control volumes, the first set yielding a partition of the domain and the second containing the remaining overlapping control volumes required for stability. The third represents a hybrid approach where finite volumes are combined with finite elements based on a hierarchical splitting of the ansatz space. All approaches are based on typical finite element function spaces but yield locally mass and momentum conservative discretization schemes that can be interpreted as finite volume schemes. We apply all strategies to the inf-sub stable MINI finite-element pair. Various test cases, including convergence tests and the numerical observation of the boundedness of the number of preconditioned Krylov solver iterations, as well as more complex scenarios of flow around obstacles or through a three-dimensional vessel bifurcation, demonstrate the stability and robustness of the schemes.

math.NA↗

arXiv2023

A sustainable infrastructure concept for improved accessibility, reusability, and archival of research software

Research software is an integral part of most research today and it is widely accepted that research software artifacts should be accessible and reproducible. However, the sustainable archival of research software artifacts is an ongoing effort. We identify research software artifacts as snapshots of the current state of research and an integral part of a sustainable cycle of software development, research, and publication. We develop requirements and recommendations to improve the archival, access, and reuse of research software artifacts based on installable, configurable, extensible research software, and sustainable public open-access infrastructure. The described goal is to enable the reuse and exploration of research software beyond published research results, in parallel with reproducibility efforts, and in line with the FAIR principles for data and software. Research software artifacts can be reused in varying scenarios. To this end, we design a multi-modal representation concept supporting multiple reuse scenarios. We identify types of research software artifacts that can be viewed as different modes of the same software-based research result, for example, installation-free configurable browser-based apps to containerized environments, descriptions in journal publications and software documentation, or source code with installation instructions. We discuss how the sustainability and reuse of research software are enhanced or enabled by a suitable archive infrastructure. Finally, at the example of a pilot project at the University of Stuttgart, Germany -- a collaborative effort between research software developers and infrastructure providers -- we outline practical challenges and experiences

cs.SE↗

arXiv2021

Robust monolithic solvers for the Stokes-Darcy problem with the Darcy equation in primal form

We construct mesh-independent and parameter-robust monolithic solvers for the coupled primal Stokes-Darcy problem. Three different formulations and their discretizations in terms of conforming and non-conforming finite element methods and finite volume methods are considered. In each case, robust preconditioners are derived using a unified theoretical framework. In particular, the suggested preconditioners utilize operators in fractional Sobolev spaces. Numerical experiments demonstrate the parameter-robustness of the proposed solvers.

math.NA↗

arXiv2021

Projection-based resolved interface mixed-dimension method for embedded tubular network systems

We present a flexible discretization technique for computational models of thin tubular networks embedded in a bulk domain, for example a porous medium. These systems occur in the simulation of fluid flow in vascularized biological tissue, root water and nutrient uptake in soil, hydrological or petroleum wells in rock formations, or heat transport in micro-cooling devices. The key processes, such as heat and mass transfer, are usually dominated by the exchange between the network system and the embedding domain. By explicitly resolving the interface between these domains with the computational mesh, we can accurately describe these processes. The network is efficiently described by a network of line segments. Coupling terms are evaluated by projection of the interface variables. The new method is naturally applicable for nonlinear and time-dependent problems and can therefore be used as a reference method in the development of novel implicit interface 1D-3D methods and in the design of verification benchmarks for embedded tubular network methods. Implicit interface, not resolving the bulk-network interface explicitly have proven to be very efficient but have only been mathematically analyzed for linear elliptic problems so far. Using two application scenarios, fluid perfusion of vascularized tissue and root water uptake from soil, we investigate the effect of some common modeling assumptions of implicit interface methods numerically.

cs.CE↗

arXiv2021

Nonlinear mixed-dimension model for embedded tubular networks with application to root water uptake

We present a numerical scheme for the solution of nonlinear mixed-dimensional PDEs describing coupled processes in embedded tubular network system in exchange with a bulk domain. Such problems arise in various biological and technical applications such as in the modeling of root-water uptake, heat exchangers, or geothermal wells. The nonlinearity appears in form of solution-dependent parameters such as pressure-dependent permeability or temperature-dependent thermal conductivity. We derive and analyse a numerical scheme based on distributing the bulk-network coupling source term by a smoothing kernel with local support. By the use of local analytical solutions, interface unknowns and fluxes at the bulk-network interface can be accurately reconstructed from coarsely resolved numerical solutions in the bulk domain. Numerical examples give confidence in the robustness of the method and show the results in comparison to previously published methods. The new method outperforms these existing methods in accuracy and efficiency. In a root water uptake scenario, we accurately estimate the transpiration rate using only a few thousand 3D mesh cells and a structured cube grid whereas other state-of-the-art numerical schemes require millions of cells and local grid refinement to reach comparable accuracy.

cs.CE↗

arXiv2019

DuMu$^\text{x}$ 3 -- an open-source simulator for solving flow and transport problems in porous media with a focus on model coupling

We present version 3 of the open-source simulator for flow and transport processes in porous media DuMu$^\text{x}$. DuMu$^\text{x}$ is based on the modular C++ framework Dune (Distributed and Unified Numerics Environment) and is developed as a research code with a focus on modularity and reusability. We describe recent efforts in improving the transparency and efficiency of the development process and community-building, as well as efforts towards quality assurance and reproducible research. In addition to a major redesign of many simulation components in order to facilitate setting up complex simulations in DuMu$^\text{x}$, version 3 introduces a more consistent abstraction of finite volume schemes. Finally, the new framework for multi-domain simulations is described, and three numerical examples demonstrate its flexibility.

cs.CE↗

arXiv2019

A new and consistent well model for one-phase flow in anisotropic porous media using a distributed source model

A new well model for one-phase flow in anisotropic porous media is introduced, where the mass exchange between well and a porous medium is modeled by spatially distributed source terms over a small neighborhood region. To this end, we first present a compact derivation of the exact analytical solution for an arbitrarily oriented, infinite well cylinder in an infinite porous medium with anisotropic permeability tensor in R3 , for constant well pressure and a given injection rate, using a conformal map. The analytical solution motivates the choice of a kernel function to distribute the sources. The presented model is independent from the discretization method and the choice of computational grids. In numerical experiments, the new well model is shown to be consistent and robust with respect to rotation of the well axis, rotation of the permeability tensor, and different anisotropy ratios. Finally, a comparison with a Peaceman-type well model suggests that the new scheme leads to an increased accuracy for injection (and production) rates for arbitrarily-oriented pressure-controlled wells.

cs.CE↗

arXiv2019

Modeling tissue perfusion in terms of 1d-3d embedded mixed-dimension coupled problems with distributed sources

We present a new method for modeling tissue perfusion on the capillary scale. The microvasculature is represented by a network of one-dimensional vessel segments embedded in the extra-vascular space. Vascular and extra-vascular space exchange fluid over the vessel walls. This exchange is modeled by distributed sources using smooth kernel functions for the extra-vascular domain. It is shown that the proposed method may significantly improve the approximation of the exchange flux, in comparison with existing methods for mixed-dimension embedded problems. Furthermore, the method exhibits better convergence rates of the relevant quantities due to the increased regularity of the extra-vascular pressure solution. Numerical experiments with a vascular network from the rat cortex show that the error in the approximation of the exchange flux for coarse grid resolution may be decreased by a factor of $3$. This may open the way for computing on larger network domains, where a fine grid resolution cannot be achieved in practical simulations due to constraints in computational resources, for example in the context of uncertainty quantification.

physics.comp-ph↗

arXiv2018

Hybrid models for simulating blood flow in microvascular networks

In this paper, we are concerned with the simulation of blood flow in microvascular networks and the surrounding tissue. To reduce the computational complexity of this issue, the network structures are modeled by a one-dimensional graph, whose location in space is determined by the centerlines of the three-dimensional vessels. The surrounding tissue is considered as a homogeneous porous medium. Darcy's equation is used to simulate flow in the extra-vascular space, where the mass exchange with the blood vessels is accounted for by means of line source terms. However, this model reduction approach still causes high computational costs, in particular, when larger parts of an organ have to be simulated. This observation motivates the consideration of a further model reduction step. Thereby, we homogenize the fine scale structures of the microvascular networks resulting in a new hybrid approach modeling the fine scale structures as a heterogeneous porous medium and the flow in the larger vessels by one-dimensional flow equations. Both modeling approaches are compared with respect to mass fluxes and averaged pressures. The simulations have been performed on a microvascular network that has been extracted from the cortex of a rat brain.

math.NA↗

arXiv2015

The Dune FoamGrid implementation for surface and network grids

We present FoamGrid, a new implementation of the DUNE grid interface. FoamGrid implements one- and two-dimensional grids in a physical space of arbitrary dimension, which allows for grids for curved domains. Even more, the grids are not expected to have a manifold structure, i.e., more than two elements can share a common facet. This makes FoamGrid the grid data structure of choice for simulating structures such as foams, discrete fracture networks, or network flow problems. FoamGrid implements adaptive non-conforming refinement with element parametrizations. As an additional feature it allows removal and addition of elements in an existing grid, which makes FoamGrid suitable for network growth problems. We show how to use FoamGrid, with particular attention to the extensions of the grid interface needed to handle non-manifold topology and grid growth. Three numerical examples demonstrate the possibilities offered by FoamGrid.

cs.MS↗