SearcharxivSearch

arXiv subjects

Cordula Reisch

Publications and source records attributed to Cordula Reisch.

14 recordsLinked to original sources

Multiphase cross-diffusion models for tissue structures: modeling, analysis, numerics

Volume-filling cross-diffusion equations for the components of a tissue structure are formally derived from mass conservation laws and force balances for the interphase pressures and viscous drag forces in a multiphase approach. The equations include Maxwell-Stefan, tumor-growth, thin-film solar cell models as well as novel volume-filling population systems. The Boltzmann and Rao entropy structures are explored. If the drag coefficients are all equal to one, the global-in-time existence of bounded weak solutions, their long-time behavior, and the weak-strong uniqueness of solutions to a regularized system are proved using entropy methods. In the general case, the resulting diffusion matrix is positively stable, ensuring local-in-time existence of solutions. Global-in-time existence of weak solutions is proved if the drag coefficients are sufficiently close to each other. This restriction is explained by the fact that the pressure forces are of degenerate type, while the drag forces are nondegenerate in the volume fractions. Numerical simulations are presented in one space dimension to illustrate the solution behavior beyond the entropy regime.

math.AP

Recent Analytical and Computational Developments on the Advection-Diffusion-Reaction Wildfire Model

Wildfires represent a problem for ecosystems, human activities, and economies, driven by the climate crisis and land-use changes. Predicting wildfire propagation through mathematical modelling is essential for damage mitigation and risk assessment. This paper provides a comprehensive review of a physics-based Advection-Diffusion-Reaction (ADR) model, focusing on the balance between physical accuracy and computational efficiency. We analyze the ability of the ADR model to estimate fire front speed and behaviour and discuss its preliminary mathematical properties. Additionally, we discuss some modelling improvements which enhance the physical realism of the model. Furthermore, we address the challenge of reducing computational costs, emphasizing the need for inexpensive but precise numerical schemes. We report recent findings outlining open challenges in model discretization and technological solutions. All these developments highlight the potential of ADR models as powerful tools for efficient wildfire simulation and risk assessment.

math.AP

Rigorous fast signal diffusion limit and convergence rates with the initial layer effect in a competitive chemotaxis system

We study a chemotaxis system that includes two competitive prey and one predator species in a two-dimensional domain, where the movement of prey (resp. predators) is driven by chemicals secreted by predators (resp. prey), called mutually repulsive (resp. mutually attractive) chemotactic effect. The kinetics for all species are chosen according to the competitive Lotka--Volterra equations for prey and to a Holling type functional response for the predator. Under the biologically relevant scenario that the chemicals diffuse much faster than the individual diffusion of all species and a suitable re-scaling, equations for chemical concentrations are parabolic with slow evolution depending on the relaxation time $0<\varepsilon\ll 1$. The first main result shows the global existence of a unique classical solution to the system for each $\varepsilon$. Second, we study rigorously the so-called fast signal diffusion limit, passing from the system including parabolic equations with the slow evolution of the chemical concentrations to elliptic equations for the chemical concentrations, i.e. the limit as $\varepsilon \to 0$. This explains why elliptic equations can be proposed for chemical concentration instead of parabolic ones with slow evolution. Third, the $L^\infty$-in-time convergence rates for the fast signal diffusion limit are estimated, where the effect of the initial layer is carefully treated. Finally, the differences between the systems with and without the slow evolution, and between the systems with one or two prey, as well as their dynamics, are discussed numerically.

math.AP

Turing instability for nonlocal heterogeneous reaction-diffusion systems: A computer-assisted proof approach

This paper provides a computer-assisted proof for the Turing instability induced by heterogeneous nonlocality in reaction-diffusion systems. Due to the heterogeneity and nonlocality, the linear Fourier analysis gives rise to \textit{strongly coupled} infinite differential systems. By introducing suitable changes of basis as well as the Gershgorin disks theorem for infinite matrices, we first show that all $N$-th Gershgorin disks lie completely on the left half-plane for sufficiently large $N$. For the remaining finitely many disks, a computer-assisted proof shows that if the intensity $δ$ of the nonlocal term is large enough, there is precisely one eigenvalue with positive real part, which proves the Turing instability. Moreover, by detailed study of this eigenvalue as a function of $δ$, we obtain a sharp threshold $δ^*$ which is the bifurcation point for Turing instability.

math.AP

Modeling wildfire dynamics through a physics-based approach incorporating fuel moisture and landscape heterogeneity

Anthropogenic climate change has increased the probability, severity, and duration of heat waves and droughts, subsequently escalating the risk of wildfires. Mathematical and computational models can enhance our understanding of wildfire propagation dynamics. In this work, we present a simplified Advection-Diffusion-Reaction (ADR) model that accounts for the effect of fuel moisture, and also considers wind, local radiation, natural convection and topography. The model explicitly represents fuel moisture effects by means of the apparent calorific capacity method, distinguishing between live and dead fuel moisture content. Using this model, we conduct exploratory simulations and present theoretical insights into various modeling decisions in the context of ADR-based models. We aim to shed light on the interplay between the different modeled mechanisms in wildfire propagation to identify key factors influencing fire spread and to estimate the model's predictive capacity.

physics.flu-dyn

Modeling still matters: a surprising instance of catastrophic floating point errors in mathematical biology and numerical methods for ODEs

We guide the reader on a journey through mathematical modeling and numerical analysis, emphasizing the crucial interplay of both disciplines. Targeting undergraduate students with basic knowledge in dynamical systems and numerical methods for ordinary differential equations, we explore a model from mathematical biology where numerical methods fail badly due to catastrophic floating point errors. We analyze the reasons for this behavior by studying the steady states of the model and use the theory of invariants to develop an alternative model that is suited for numerical simulations. Our story intends to motivate combining analytical and numerical knowledge, even in cases where the world looks fine at first sight. We have set up an online repository containing an interactive notebook with all numerical experiments to make this study fully reproducible and useful for classroom teaching.

math.HO

Towards Model Discovery Using Domain Decomposition and PINNs

We enhance machine learning algorithms for learning model parameters in complex systems represented by ordinary differential equations (ODEs) with domain decomposition methods. The study evaluates the performance of two approaches, namely (vanilla) Physics-Informed Neural Networks (PINNs) and Finite Basis Physics-Informed Neural Networks (FBPINNs), in learning the dynamics of test models with a quasi-stationary longtime behavior. We test the approaches for data sets in different dynamical regions and with varying noise level. As results, we find a better performance for the FBPINN approach compared to the vanilla PINN approach, even in cases with data from only a quasi-stationary time domain with few dynamics.

math.NA

Impact of topography and combustion functions on fire front propagation in an advection-diffusion-reaction model for wildfires

Given the recent increase in wildfires, developing a better understanding of their dynamics is crucial. For this purpose, the advection-diffusion-reaction model has been widely used to study wildfire dynamics. In this study, we introduce the previously unconsidered influence of topography through an additional advective term. Furthermore, we propose a linear term for the combustion function, comparing it with the commonly used Arrhenius law to offer a simpler model for further analysis. Our findings on the model's dynamics are supported by numerical simulations showing the differences of model extensions and approximations.

physics.flu-dyn

Analytical and numerical insights into wildfire dynamics: Exploring the advection-diffusion-reaction model

Understanding the dynamics of wildfire is crucial for developing management and intervention strategies. Mathematical and computational models can be used to improve our understanding of wildfire processes and dynamics. This paper presents a systematic study of a widely used advection-diffusion-reaction wildfire model with non-linear coupling. The importance of single mechanisms is discovered by analysing hierarchical sub-models. Numerical simulations provide further insight into the dynamics. As a result, the influence of wind and model parameters such as the bulk density or the heating value on the wildfire propagation speed and the remaining biomass after the burn are assessed. Linearisation techniques for a reduced model provide surprisingly good estimates for the propagation speed in the full model.

math.DS

Studying wildfire fronts using advection-diffusion-reaction models

In this work, we study the propagation of wildfires using an advection--diffusion--reaction model which also includes convective and radiative heat loss. An existing model is discussed \cite{asensio_2002} and a physically consistent modification of the model is proposed. Using this, the existence of travelling waves (TWs) in the one-dimensional case is investigated. Prior numerical studies reveal the existence of TWs \cite{reisch_2023}. Under the travelling wave ansatz and certain approximation, the model is reduced to a semi-autonomous dynamical system with three unknowns which can be analyzed by a shooting algorithm. It is hypothesized that under mild wind speeds, TWs in both directions exist, and under strong tailwinds only TWs in the direction of wind are possible. The theoretical implications are investigated using both solvers for the PDE models and the shooting algorithm. The results match, and unveil the dependence of the fronts on the parameters consistent with the predictions.

math.AP

Building up a model family for inflammations

The paper presents an approach for overcoming modeling problems of typical life science applications with partly unknown mechanisms and lacking quantitative data: A model family of reaction diffusion equations is built up on a mesoscopic scale and uses classes of feasible functions for reaction and taxis terms. The classes are found by translating biological knowledge into mathematical conditions and the analysis of the models further constrains the classes. Numerical simulations allow comparing single models out of the model family with available qualitative information on the solutions from observations. The method provides insight into a hierarchical order of the mechanisms. The method is applied to the clinics for liver inflammation such as metabolic dysfunction-associated steatohepatitis (MASH) or viral hepatitis where reasons for the chronification of disease are still unclear and time- and space-dependent data is unavailable.

math.DS

Model selection focusing on longtime behavior of differential equations

Modeling biological processes is a highly demanding task because not all processes are fully understood. Mathematical models allow us to test hypotheses about possible mechanisms of biological processes. The mathematical mechanisms oftentimes abstract from the biological micro-scale mechanisms. Experimental parameter calibration is extremely challenging as the connection between abstract and micro-scale mechanisms is unknown. Even if some microscopic parameters can be determined by isolated experiments, the connection to the abstract mathematical model is challenging. We present ideas for overcoming these difficulties by using longtime characteristics of solutions for, first, finding abstract mechanisms covering large-scale observations and, second, determining parameter values for the abstract mechanisms. The parameter values are not directly connected to experimental data but serve as a link between known mechanisms and observations. The framework combines machine learning techniques with the characteristic solution behavior of differential equations. This setting gives insight into challenges by using rare data only that can later be used for partial differential equations.

math.NA

Longterm existence of solutions of a reaction diffusion system with non-local terms modeling an immune response -- an interpretation-orientated proof

This paper shows the global existence and boundedness of solutions of a reaction diffusion system modeling liver infections. The existence proof is presented step by step and the focus lies on the interpretation of intermediate results in the context of liver infections which is modeled. Non-local effects in the dynamics between the virus and the immune system cells coming from the immune response in the lymphs lead to an integro-partial differential equation. While existence theorems for parabolic partial differential equations are textbook examples in the field, the additional integral term requires new approaches to proving the global existence of a solution. This allows to set up an existence proof with a focus on interpretation leading to more insight in the system and in the modeling perspective at the same time. We show the boundedness of the solution in the $L^1(Ω)$- and the $L^2(Ω)$-norms, and use these results to prove the global existence and boundedness of the solution. A core element of the proof is the handling of oppositely acting mechanisms in the reaction term, which occur in all population dynamics models and which results in reaction terms with opposite monotonicity behavior. In the context of modeling liver infections, the boundedness in the $L^\infty(Ω)$-norm has practical relevance: Large immune responses lead to strong inflammations of the liver tissue. Strong inflammations negatively impact the health of an infected person and lead to grave secondary diseases. The gained rough estimates are compared with numerical tests.

math.AP

Sensitivity Analysis for Vehicle Dynamics Models -- An Approach to Model Quality Assessment for Automated Vehicles

Model-based approaches have become increasingly popular in the domain of automated driving. This includes runtime algorithms, such as Model Predictive Control, as well as formal and simulative approaches for the verification of automated vehicle functions. With this trend, the quality of models becomes crucial for automated vehicle safety. Established tools from model theory which can be applied to assure model quality are uncertainty and sensitivity analysis [1]. In this paper, we conduct sensitivity analyses for a single and double track vehicle dynamics model to gain insights about the models' behavior under different operating conditions. We compare the models, point out the most important findings regarding the obtained parameters sensitivities, and provide examples of possible applications of the gained insights.

eess.SY