-
A stochastic Galerkin method for optimal Dirichlet boundary control problems with uncertain data
Authors:
Max Winkler,
Hamdullah Yücel
Abstract:
The paper deals with a stochastic Galerkin approximation of elliptic Dirichlet boundary control problems with random input data. The expectation of a tracking cost functional with the deterministic constrained control is minimized. Error estimates are derived for the control variable in $L^2(\partial \mathcal D)$-norm and state variable in $L^2(Ω\times\mathcal D)$-norm. To solve large linear syste…
▽ More
The paper deals with a stochastic Galerkin approximation of elliptic Dirichlet boundary control problems with random input data. The expectation of a tracking cost functional with the deterministic constrained control is minimized. Error estimates are derived for the control variable in $L^2(\partial \mathcal D)$-norm and state variable in $L^2(Ω\times\mathcal D)$-norm. To solve large linear systems, appropriate preconditioners are proposed for both unconstrained and constrained scenarios. To illustrate the validity and efficiency of the proposed approaches, some numerical experiments are performed.
△ Less
Submitted 13 June, 2025;
originally announced June 2025.
-
Physics-Informed DeepONets for drift-diffusion on metric graphs: simulation and parameter identification
Authors:
Jan Blechschmidt,
Tom-Christian Riemer,
Max Winkler,
Martin Stoll,
Jan-F. Pietschmann
Abstract:
We develop a novel physics informed deep learning approach for solving nonlinear drift-diffusion equations on metric graphs. These models represent an important model class with a large number of applications in areas ranging from transport in biological cells to the motion of human crowds. While traditional numerical schemes require a large amount of tailoring, especially in the case of model des…
▽ More
We develop a novel physics informed deep learning approach for solving nonlinear drift-diffusion equations on metric graphs. These models represent an important model class with a large number of applications in areas ranging from transport in biological cells to the motion of human crowds. While traditional numerical schemes require a large amount of tailoring, especially in the case of model design or parameter identification problems, physics informed deep operator networks (DeepONet) have emerged as a versatile tool for the solution of partial differential equations with the particular advantage that they easily incorporate parameter identification questions. We here present an approach where we first learn three DeepONet models for representative inflow, inner and outflow edges, resp., and then subsequently couple these models for the solution of the drift-diffusion metric graph problem by relying on an edge-based domain decomposition approach. We illustrate that our framework is applicable for the accurate evaluation of graph-coupled physics models and is well suited for solving optimization or inverse problems on these coupled networks.
△ Less
Submitted 7 May, 2025;
originally announced May 2025.
-
Large-data solutions in one-dimensional thermoviscoelasticity involving temperature-dependent viscosities
Authors:
Michael Winkler
Abstract:
An initial-boundary value problem for \[
\left\{ \begin{array}{ll}
u_{tt} = \big(γ(Θ) u_{xt}\big)_x + au_{xx} - \big(f(Θ)\big)_x,
\qquad & x\inΩ, \ t>0, \\[1mm]
Θ_t = Θ_{xx} + γ(Θ) u_{xt}^2 - f(Θ) u_{xt},
\qquad & x\inΩ, \ t>0,
\end{array} \right. \] is considered in an open bounded real interval $Ω$.
Under the assumption that $γ\in C^0([0,\infty))$ and $f\in C^0([0,\infty))$ are suc…
▽ More
An initial-boundary value problem for \[
\left\{ \begin{array}{ll}
u_{tt} = \big(γ(Θ) u_{xt}\big)_x + au_{xx} - \big(f(Θ)\big)_x,
\qquad & x\inΩ, \ t>0, \\[1mm]
Θ_t = Θ_{xx} + γ(Θ) u_{xt}^2 - f(Θ) u_{xt},
\qquad & x\inΩ, \ t>0,
\end{array} \right. \] is considered in an open bounded real interval $Ω$.
Under the assumption that $γ\in C^0([0,\infty))$ and $f\in C^0([0,\infty))$ are such that $f(0)=0$, and $k_γ\le γ\le K_γ$ as well as \[
|f(ξ)| \le K_f \cdot (ξ+1)^α
\qquad \mbox{for all } ξ\ge 0 \] with some $k_γ>0, K_γ>0, K_f>0$ and $α<\frac{3}{2}$, for all suitably regular initial data of arbitrary size a statement on global existence of a global weak solution is derived.
△ Less
Submitted 29 April, 2025;
originally announced April 2025.
-
Large-data regular solutions in a one-dimensional thermoviscoelastic evolution problem involving temperature-dependent viscosities
Authors:
Michael Winkler
Abstract:
The model \[
\left\{ \begin{array}{l}
u_{tt} = \big(γ(Θ) u_{xt}\big)_x + au_{xx} - \big(f(Θ)\big)_x, \\[1mm]
Θ_t = Θ_{xx} + γ(Θ) u_{xt}^2 - f(Θ) u_{xt},
\end{array} \right. \] for thermoviscoelastic evolution in one-dimensional Kelvin-Voigt materials is considered.
By means of an approach based on maximal Sobolev regularity theory of scalar parabolic equations, it is shown that if…
▽ More
The model \[
\left\{ \begin{array}{l}
u_{tt} = \big(γ(Θ) u_{xt}\big)_x + au_{xx} - \big(f(Θ)\big)_x, \\[1mm]
Θ_t = Θ_{xx} + γ(Θ) u_{xt}^2 - f(Θ) u_{xt},
\end{array} \right. \] for thermoviscoelastic evolution in one-dimensional Kelvin-Voigt materials is considered.
By means of an approach based on maximal Sobolev regularity theory of scalar parabolic equations, it is shown that if $γ_0>0$ is fixed, then there exists $δ=δ(γ_0)>0$ with the property that for suitably regular initial data of arbitrary size an associated initial-boundary value problem posed in an open bounded interval admits a global classical solution whenever $γ\in C^2([0,\infty))$ and $f\in C^2([0,\infty))$ are such that $f(0)=0$ and $|f(ξ)| \le K_f \cdot (ξ+1)^α$ for all $ξ\ge 0$ and some $K_f>0$ and $α<\frac{3}{2}$, and that \[
γ_0 \le γ(ξ) \le γ_0 + δ
\qquad \mbox{for all } ξ\ge 0. \] This is supplemented by a statement on global existence of certain strong solutions, particularly continuous in both components, under weaker conditions on the initial data.
△ Less
Submitted 29 April, 2025;
originally announced April 2025.
-
Computing adjoint mismatch of linear maps
Authors:
Jonas Bresch,
Dirk A. Lorenz,
Felix Schneppe,
Maximilian Winkler
Abstract:
This paper considers the problem of detecting adjoint mismatch for two linear maps. To clarify, this means that we aim to calculate the operator norm for the difference of two linear maps, where for one we only have a black-box implementation for the evaluation of the map, and for the other we only have a black-box for the evaluation of the adjoint map. We give two stochastic algorithms for which…
▽ More
This paper considers the problem of detecting adjoint mismatch for two linear maps. To clarify, this means that we aim to calculate the operator norm for the difference of two linear maps, where for one we only have a black-box implementation for the evaluation of the map, and for the other we only have a black-box for the evaluation of the adjoint map. We give two stochastic algorithms for which we prove the almost sure convergence to the operator norm. The algorithm is a random search method for a generalization of the Rayleigh quotient and uses optimal step sizes. Additionally, a convergence analysis is done for the corresponding singular vector and the respective eigenvalue equation.
△ Less
Submitted 27 March, 2025;
originally announced March 2025.
-
Chemotaxis-consumption interaction: Solvability and asymptotics in general high-dimensional domains
Authors:
Johannes Lankeit,
Michael Winkler
Abstract:
The basic chemotaxis-consumption model \[
u_t = Δu - \nabla \cdot(u\nabla v),\qquad\qquad v_t = Δv - uv \] is considered in general, possibly non-convex bounded domains of arbitrary spatial dimension. Global existence of weak solutions is shown, along with eventual smoothness of solutions and their stabilization in the large time limit.
The basic chemotaxis-consumption model \[
u_t = Δu - \nabla \cdot(u\nabla v),\qquad\qquad v_t = Δv - uv \] is considered in general, possibly non-convex bounded domains of arbitrary spatial dimension. Global existence of weak solutions is shown, along with eventual smoothness of solutions and their stabilization in the large time limit.
△ Less
Submitted 24 February, 2025;
originally announced February 2025.
-
Mathematical modeling and analysis of a tumor invasion problem with angiogenesis and taxis cascade
Authors:
Christina Surulescu,
Michael Winkler
Abstract:
We propose a mathematical model for tumor invasion supported by angiogenesis and interactions with the surrounding tissue. For the model deduction we employ a multiscale approach starting from lower scales and obtaining by an informal parabolic upscaling a system of reaction-diffusion-taxis equations with a so-called 'taxis cascade', where one species is performing taxis towards a signal whose pro…
▽ More
We propose a mathematical model for tumor invasion supported by angiogenesis and interactions with the surrounding tissue. For the model deduction we employ a multiscale approach starting from lower scales and obtaining by an informal parabolic upscaling a system of reaction-diffusion-taxis equations with a so-called 'taxis cascade', where one species is performing taxis towards a signal whose production/decay is controled by the other, for which it also serves as a tactic cue. We prove global existence and uniqueness of solutions to the obtained PDE-ODE system and perform numerical simulations to illustrate the behavior of solutions.
△ Less
Submitted 5 December, 2024;
originally announced December 2024.
-
A model for heat generation by acoustic waves in piezoelectric materials: Global large-data solutions
Authors:
Leander Claes,
Johannes Lankeit,
Michael Winkler
Abstract:
A model for the generation of heat due to mechanical losses during acoustic wave propagation in a solid is considered in a Kelvin-Voigt type framework. In contrast to previous studies on related thermoviscoelastic models, in line with recent experimental findings the present manuscript focuses on situations in which elastic parameters depend on temperature. Despite an apparent loss of mathematical…
▽ More
A model for the generation of heat due to mechanical losses during acoustic wave propagation in a solid is considered in a Kelvin-Voigt type framework. In contrast to previous studies on related thermoviscoelastic models, in line with recent experimental findings the present manuscript focuses on situations in which elastic parameters depend on temperature. Despite an apparent loss of mathematically favorable structural properties thereby encountered, in the framework of a suitably generalized concept of solvability a result on global existence of solutions is derived under mild assumptions which, in particular, do not involve any smallness condition on the initial data.
△ Less
Submitted 22 November, 2024;
originally announced November 2024.
-
A switch in dimension dependence of critical blow-up exponents in a Keller-Segel system involving indirect signal production
Authors:
Youshan Tao,
Michael Winkler
Abstract:
In bounded $n$-dimensional domains with $n\ge 3$, this manuscript considers an initial-boundary problem for a quasilinear chemotaxis system with indirect attractant production, as arising, inter alia, in the modeling of effects due to phenotypical heterogeneity in microbial populations. Under the assumption that the rates $D$ and $S$ of diffusion and cross-diffusion are suitably regular functions…
▽ More
In bounded $n$-dimensional domains with $n\ge 3$, this manuscript considers an initial-boundary problem for a quasilinear chemotaxis system with indirect attractant production, as arising, inter alia, in the modeling of effects due to phenotypical heterogeneity in microbial populations. Under the assumption that the rates $D$ and $S$ of diffusion and cross-diffusion are suitably regular functions of the population density, essentially exhibiting asymptotic behavior of the form \[
D(ξ) \simeq ξ^{m-1}
\quad \mbox{and} \quad
S(ξ) \simeq ξ^σ,
\qquad ξ\simeq \infty, \] the identity \[
σ=m-1+\frac{4}{n}
\qquad \qquad (n\ge 3), \] is shown to determine a critical line for the occurrence of blow-up. This considerably differs from low-dimensional cases, in which the relation \[
σ=m+\frac{2}{n}
\qquad \qquad (n\le 2) \] is known to play a correspondingly pivotal role.
△ Less
Submitted 10 November, 2024;
originally announced November 2024.
-
Matrix-free stochastic calculation of operator norms without using adjoints
Authors:
Jonas Bresch,
Dirk A. Lorenz,
Felix Schneppe,
Maximilian Winkler
Abstract:
This paper considers the problem of computing the operator norm of a linear map between finite dimensional Hilbert spaces when only evaluations of the linear map are available and under restrictive storage assumptions. We propose a stochastic method of random search type to maximize the Rayleigh quotient and employ an exact line search in the random search directions. Moreover, we show that the pr…
▽ More
This paper considers the problem of computing the operator norm of a linear map between finite dimensional Hilbert spaces when only evaluations of the linear map are available and under restrictive storage assumptions. We propose a stochastic method of random search type to maximize the Rayleigh quotient and employ an exact line search in the random search directions. Moreover, we show that the proposed algorithm converges to the global maximum (the operator norm) almost surely, show a sublinear convergence behavior for the corresponding eigenvector and eigenvalue equation, and illustrate the performance of the method with numerical experiments.
△ Less
Submitted 26 June, 2025; v1 submitted 10 October, 2024;
originally announced October 2024.
-
On inertial Levenberg-Marquardt type methods for solving nonlinear ill-posed operator equations
Authors:
Antonio Leitão,
Joel C. Rabelo,
Dirk A. Lorenz,
Maximilian Winkler
Abstract:
In these notes we propose and analyze an inertial type method for obtaining stable approximate solutions to nonlinear ill-posed operator equations. The method is based on the Levenberg-Marquardt (LM) iteration. The main obtained results are: monotonicity and convergence for exact data, stability and semi-convergence for noisy data. Regarding numerical experiments we consider: i) a parameter identi…
▽ More
In these notes we propose and analyze an inertial type method for obtaining stable approximate solutions to nonlinear ill-posed operator equations. The method is based on the Levenberg-Marquardt (LM) iteration. The main obtained results are: monotonicity and convergence for exact data, stability and semi-convergence for noisy data. Regarding numerical experiments we consider: i) a parameter identification problem in elliptic PDEs, ii) a parameter identification problem in machine learning; the computational efficiency of the proposed method is compared with canonical implementations of the LM method.
△ Less
Submitted 11 June, 2024;
originally announced June 2024.
-
$L^\infty$ blow-up in the Jordan-Moore-Gibson-Thompson equation
Authors:
Vanja Nikolić,
Michael Winkler
Abstract:
The Jordan-Moore-Gibson-Thompson equation
\[
τu_{ttt} + αu_{tt} = βΔu_t + γΔu + (f(u))_{tt} \] is considered in a smoothly bounded domain $Ω\subset\mathbb{R}^n$ with $n\leq 3$, where $τ>0,β>0,γ>0$, and $α\in\mathbb{R}$.
Firstly, it is seen that under the assumption that $f\in C^3(\mathbb{R})$ is such that $f(0)=0$, gradient blow-up phenomena cannot occur in the sense that for any appropriate…
▽ More
The Jordan-Moore-Gibson-Thompson equation
\[
τu_{ttt} + αu_{tt} = βΔu_t + γΔu + (f(u))_{tt} \] is considered in a smoothly bounded domain $Ω\subset\mathbb{R}^n$ with $n\leq 3$, where $τ>0,β>0,γ>0$, and $α\in\mathbb{R}$.
Firstly, it is seen that under the assumption that $f\in C^3(\mathbb{R})$ is such that $f(0)=0$, gradient blow-up phenomena cannot occur in the sense that for any appropriately regular initial data, within a suitable framework of strong solvability, an associated Dirichlet type initial-boundary value problem admits a unique solution $u$ on a maximal time interval $(0,T_{max})$ which is such that \[
\mbox{if $T_{max}<\infty$, then } \limsup_{t\nearrow T_{max}} \|u(\cdot,t)\|_{L^\infty(Ω)}=\infty. \] This is used to, secondly, make sure that if additionally $f$ is convex and grows superlinearly in the sense that \[
f''\ge 0
\mbox{ on $\mathbb{R}$,}
\qquad
\frac{f(ξ)}ξ \to +\infty
\mbox{ as $ξ\to +\infty$}
\qquad \mbox{and} \qquad
\int_{ξ_0}^\infty \frac{dξ}{f(ξ)} < \infty
\mbox{ for some $ξ_0>0$,} \] then for some initial data the above solution must undergo some finite-time $L^\infty$ blow-up in the style described above.
△ Less
Submitted 8 June, 2024; v1 submitted 2 February, 2024;
originally announced February 2024.
-
Uniform $L^p$ estimates for solutions to the inhomogeneous 2D Navier-Stokes equations and application to a chemotaxis-fluid system with local sensing
Authors:
Mario Fuest,
Michael Winkler
Abstract:
The chemotaxis-Navier-Stokes system \begin{equation*}\label{1} \left\{ \begin{array}{rcl} n_t+u\cdot\nabla n &=& Δ\big(n c^{-α} \big), \\[1mm] c_t+ u\cdot\nabla c &=& Δc -nc,\\[1mm] u_t + (u\cdot\nabla) u &=&Δu+\nabla P + n\nablaΦ, \qquad \nabla\cdot u=0, \end{array} \right. \end{equation*} modelling the behavior of aerobic bacteria in a fluid drop, is considered in a smoothly bounded domain…
▽ More
The chemotaxis-Navier-Stokes system \begin{equation*}\label{1} \left\{ \begin{array}{rcl} n_t+u\cdot\nabla n &=& Δ\big(n c^{-α} \big), \\[1mm] c_t+ u\cdot\nabla c &=& Δc -nc,\\[1mm] u_t + (u\cdot\nabla) u &=&Δu+\nabla P + n\nablaΦ, \qquad \nabla\cdot u=0, \end{array} \right. \end{equation*} modelling the behavior of aerobic bacteria in a fluid drop, is considered in a smoothly bounded domain $Ω\subset \mathbb R^2$. For all $α> 0$ and all sufficiently regular $Φ$, we construct global classical solutions and thereby extend recent results for the fluid-free analogue to the system coupled to a Navier-Stokes system.
As a crucial new challenge, our analysis requires a priori estimates for $u$ at a point in the proof when knowledge about $n$ is essentially limited to the observation that the mass is conserved. To overcome this problem, we also prove new uniform-in-time $L^p$ estimates for solutions to the inhomogeneous Navier-Stokes equations merely depending on the space-time $L^2$ norm of the force term raised to an arbitrary small power.
△ Less
Submitted 18 January, 2024;
originally announced January 2024.
-
A strongly degenerate migration-consumption model in domains of arbitrary dimension
Authors:
Michael Winkler
Abstract:
In a smoothly bounded convex domain $Ω\subset R^n$ with $n\ge 1$, a no-flux initial-boundary value problem for \[
\left\{ \begin{array}{l}
u_t=Δ\big(uφ(v)\big),
v_t=Δv-uv,
\end{array} \right. \] is considered under the assumption that near the origin, the function $φ$ suitably generalizes the prototype given by \[
φ(ξ)=ξ^α,
\qquad ξ\in [0,ξ_0]. \] By means of separate approaches, it is…
▽ More
In a smoothly bounded convex domain $Ω\subset R^n$ with $n\ge 1$, a no-flux initial-boundary value problem for \[
\left\{ \begin{array}{l}
u_t=Δ\big(uφ(v)\big),
v_t=Δv-uv,
\end{array} \right. \] is considered under the assumption that near the origin, the function $φ$ suitably generalizes the prototype given by \[
φ(ξ)=ξ^α,
\qquad ξ\in [0,ξ_0]. \] By means of separate approaches, it is shown that in both cases $α\in (0,1)$ and $α\in [1,2]$ some global weak solutions exist which, inter alia, satisfy $C(T):= {\rm esssup} {}_{t\in (0,T)} \int_Ωu(\cdot,t)\ln u(\cdot,t) < \infty$ for all $T>0$, with $\sup_{T>0} C(T)<\infty$ if $α\in [1,2]$.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs
Authors:
Mark Turner,
Antonia Chmiela,
Thorsten Koch,
Michael Winkler
Abstract:
A standard tool for modelling real-world optimisation problems is mixed-integer programming (MIP). However, for many of these problems, information about the relationships between variables is either incomplete or highly complex, making it difficult or even impossible to model the problem directly. To overcome these hurdles, machine learning (ML) predictors are often used to represent these relati…
▽ More
A standard tool for modelling real-world optimisation problems is mixed-integer programming (MIP). However, for many of these problems, information about the relationships between variables is either incomplete or highly complex, making it difficult or even impossible to model the problem directly. To overcome these hurdles, machine learning (ML) predictors are often used to represent these relationships and are then embedded in the MIP as surrogate models. Due to the large amount of available ML frameworks and the complexity of many ML predictors, formulating such predictors into MIPs is a highly non-trivial task. In this paper, we introduce PySCIPOpt-ML, an open-source tool for the automatic formulation and embedding of trained ML predictors into MIPs. By directly interfacing with a broad range of commonly used ML frameworks and an open-source MIP solver, PySCIPOpt-ML provides a way to easily integrate ML constraints into optimisation problems. Alongside PySCIPOpt-ML, we introduce, SurrogateLIB, a library of MIP instances with embedded ML constraints, and present computational results over SurrogateLIB, providing intuition on the scale of ML predictors that can be practically embedded. The project is available at https://github.com/Opt-Mucca/PySCIPOpt-ML.
△ Less
Submitted 23 May, 2024; v1 submitted 13 December, 2023;
originally announced December 2023.
-
Stability vs. instability of singular steady states in the parabolic-elliptic Keller-Segel system on $\mathbb R^n$
Authors:
Francesca Colasuonno,
Michael Winkler
Abstract:
The Cauchy problem in $\mathbb R^n$ is considered for \begin{eqnarray*} \left\{ \begin{array}{l}
u_t = Δu - \nabla \cdot (u\nabla v),\\ 0 = Δv + u. \end{array} \right. \end{eqnarray*} For each $n\ge 10$, a statement on stability and attractiveness of the singular steady state given by \[ u_\star(x):=\frac{2(n-2)}{|x|^2},\qquad x\in\mathbb R^n\setminus\{0\}, \] is derived within classes of nonneg…
▽ More
The Cauchy problem in $\mathbb R^n$ is considered for \begin{eqnarray*} \left\{ \begin{array}{l}
u_t = Δu - \nabla \cdot (u\nabla v),\\ 0 = Δv + u. \end{array} \right. \end{eqnarray*} For each $n\ge 10$, a statement on stability and attractiveness of the singular steady state given by \[ u_\star(x):=\frac{2(n-2)}{|x|^2},\qquad x\in\mathbb R^n\setminus\{0\}, \] is derived within classes of nonnegative radial solutions emanating from initial data less concentrated than $u_\star$. In particular, for any such $n$ it is shown that infinite-time blow-up occurs for all radial initial data which are less concentrated than $u_\star$ and satisfy \[ u_0(x) \ge \frac{2(n-2)}{|x|^2} - \frac{C}{|x|^{2+θ}}\qquad \mbox{for all } x\in \mathbb R^n\setminus B_1(0) \] with some $C>0$ and some $θ>\frac{n-2+\sqrt{(n-2)(n-10)}}{2}$.
This is complemented by a result which, in the case when $3\le n \le 9$, asserts instability of $u_\star$ as well as the existence of a bounded absorbing set for all radial trajectories initially less concentrated than $u_\star$.
In particular, previous knowledge on stability properties of $u_\star$, as having been gained for $n\ge 11$ in [24], is thereby extended to any dimension $n\ge 3$.
△ Less
Submitted 27 September, 2023;
originally announced September 2023.
-
Minimal error momentum Bregman-Kaczmarz
Authors:
Dirk A. Lorenz,
Maximilian Winkler
Abstract:
The Bregman-Kaczmarz method is an iterative method which can solve strongly convex problems with linear constraints and uses only one or a selected number of rows of the system matrix in each iteration, thereby making it amenable for large-scale systems. To speed up convergence, we investigate acceleration by heavy ball momentum in the so-called dual update. Heavy ball acceleration of the Kaczmarz…
▽ More
The Bregman-Kaczmarz method is an iterative method which can solve strongly convex problems with linear constraints and uses only one or a selected number of rows of the system matrix in each iteration, thereby making it amenable for large-scale systems. To speed up convergence, we investigate acceleration by heavy ball momentum in the so-called dual update. Heavy ball acceleration of the Kaczmarz method with constant parameters has turned out to be difficult to analyze, in particular no accelerated convergence for the L2-error of the iterates has been proven to the best of our knowledge. Here we propose a way to adaptively choose the momentum parameter by a minimal-error principle similar to a recently proposed method for the standard randomized Kaczmarz method. The momentum parameter can be chosen to exactly minimize the error in the next iterate or to minimize a relaxed version of the minimal error principle. The former choice leads to a theoretically optimal step while the latter is cheaper to compute. We prove improved convergence results compared to the non-accelerated method. Numerical experiments show that the proposed methods can accelerate convergence in practice, also for matrices which arise from applications such as computational tomography.
△ Less
Submitted 28 July, 2023;
originally announced July 2023.
-
Depleting the signal: Analysis of chemotaxis-consumption models -- A survey
Authors:
Johannes Lankeit,
Michael Winkler
Abstract:
We give an overview of analytical results concerned with chemotaxis systems where the signal is absorbed. We recall results on existence and properties of solutions for the prototypical chemotaxis-consumption model and various variants and review more recent findings on its ability to support the emergence of spatial structures.
We give an overview of analytical results concerned with chemotaxis systems where the signal is absorbed. We recall results on existence and properties of solutions for the prototypical chemotaxis-consumption model and various variants and review more recent findings on its ability to support the emergence of spatial structures.
△ Less
Submitted 5 April, 2023;
originally announced April 2023.
-
A Bregman-Kaczmarz method for nonlinear systems of equations
Authors:
Robert Gower,
Dirk A. Lorenz,
Maximilian Winkler
Abstract:
We propose a new randomized method for solving systems of nonlinear equations, which can find sparse solutions or solutions under certain simple constraints. The scheme only takes gradients of component functions and uses Bregman projections onto the solution space of a Newton equation. In the special case of euclidean projections, the method is known as nonlinear Kaczmarz method. Furthermore, if…
▽ More
We propose a new randomized method for solving systems of nonlinear equations, which can find sparse solutions or solutions under certain simple constraints. The scheme only takes gradients of component functions and uses Bregman projections onto the solution space of a Newton equation. In the special case of euclidean projections, the method is known as nonlinear Kaczmarz method. Furthermore, if the component functions are nonnegative, we are in the setting of optimization under the interpolation assumption and the method reduces to SGD with the recently proposed stochastic Polyak step size. For general Bregman projections, our method is a stochastic mirror descent with a novel adaptive step size. We prove that in the convex setting each iteration of our method results in a smaller Bregman distance to exact solutions as compared to the standard Polyak step. Our generalization to Bregman projections comes with the price that a convex one-dimensional optimization problem needs to be solved in each iteration. This can typically be done with globalized Newton iterations. Convergence is proved in two classical settings of nonlinearity: for convex nonnegative functions and locally for functions which fulfill the tangential cone condition. Finally, we show examples in which the proposed method outperforms similar methods with the same memory requirements.
△ Less
Submitted 23 February, 2024; v1 submitted 15 March, 2023;
originally announced March 2023.
-
A free boundary model for transport induced neurite growth
Authors:
Greta Marino,
Jan-Frederik Pietschmann,
Max Winkler
Abstract:
We introduce a free boundary model to example the effect of vesicle transport onto neurite growth. It consists of systems of drift-diffusion equations describing the evolution of the density of antero- and retrograde vesicles in each neurite coupled to reservoirs located at the soma and the growth cones of the neurites, respectively. The model allows for a change of neurite length depending on the…
▽ More
We introduce a free boundary model to example the effect of vesicle transport onto neurite growth. It consists of systems of drift-diffusion equations describing the evolution of the density of antero- and retrograde vesicles in each neurite coupled to reservoirs located at the soma and the growth cones of the neurites, respectively. The model allows for a change of neurite length depending on the vesicle concentration in the growth cones. After establishing existence and uniqueness for the time-dependent problem, we briefly comment on possible types of stationary solutions. Finally, we provide numerical studies on biologically relevant scales using a finite volume scheme. We illustrate the capability of the model to reproduce cycles of extension and retraction.
△ Less
Submitted 1 February, 2023;
originally announced February 2023.
-
Numerical investigation of agent controlled pedestrian dynamics using a structure preserving finite volume scheme
Authors:
Jan-Frederik Pietschmann,
Ailyn Stötzner,
Max Winkler
Abstract:
We provide a numerical realisation of an optimal control problem for pedestrian motion with agents that was analysed in Herzog, Pietschmann, Winkler: "Optimal Control of Hughes' Model for Pedestrian Flow via Local Attraction.", arXiv 2011.03580, 2020. The model consists of a regularized variant of Hughes' model for pedestrian dynamics coupled to ordinary differential equations that describe the mo…
▽ More
We provide a numerical realisation of an optimal control problem for pedestrian motion with agents that was analysed in Herzog, Pietschmann, Winkler: "Optimal Control of Hughes' Model for Pedestrian Flow via Local Attraction.", arXiv 2011.03580, 2020. The model consists of a regularized variant of Hughes' model for pedestrian dynamics coupled to ordinary differential equations that describe the motion of agents which are able to influence the crowd via attractive forces. We devise a finite volume scheme that preserves the box constraints that are inherent in the model and discuss some of its properties. We apply our scheme to an objective functional tailored to the case of an evacuation scenario. Finally, numerical simulations for several practically relevant geometries are performed.
△ Less
Submitted 6 January, 2023;
originally announced January 2023.
-
Phenotype switching in chemotaxis aggregation models controls the spontaneous emergence of large densities
Authors:
Kevin J Painter,
Michael Winkler
Abstract:
We consider a phenotype-switching chemotaxis model for aggregation, in which a chemotactic population is capable of switching back and forth between a chemotaxing state (performing chemotactic movement) and a secreting state (producing the attractant). We show that the switching rate provides a powerful mechanism for controlling the densities of spontaneously emerging aggregates. Specifically, in…
▽ More
We consider a phenotype-switching chemotaxis model for aggregation, in which a chemotactic population is capable of switching back and forth between a chemotaxing state (performing chemotactic movement) and a secreting state (producing the attractant). We show that the switching rate provides a powerful mechanism for controlling the densities of spontaneously emerging aggregates. Specifically, in two- and three-dimensional settings it is shown that when both switching rates coincide and are suitably large, then the densities of both the chemotaxing and the secreting population will exceed any prescribed level at some points in the considered domain. This is complemented by two results asserting the absence of such aggregation phenomena in corresponding scenarios in which one of the switching rates remains within some bounded interval.
△ Less
Submitted 10 October, 2022;
originally announced October 2022.
-
A quantitative strong parabolic maximum principle and application to a taxis-type migration-consumption model involving signal-dependent degenerate diffusion
Authors:
Michael Winkler
Abstract:
The taxis-type migration-consumption model accounting for signal-dependent motilities, as given by \[
u_t = Δ\big(uφ(v)\big),
v_t = Δv-uv,
\qquad (*) \] is considered for suitably smooth functions $φ:[0,\infty)\to R$ which are such that $φ>0$ on $(0,\infty)$, but that in addition $φ(0)=0$ with $φ'(0)>0$.
In order to appropriately cope with the diffusion degeneracies thereby included, this…
▽ More
The taxis-type migration-consumption model accounting for signal-dependent motilities, as given by \[
u_t = Δ\big(uφ(v)\big),
v_t = Δv-uv,
\qquad (*) \] is considered for suitably smooth functions $φ:[0,\infty)\to R$ which are such that $φ>0$ on $(0,\infty)$, but that in addition $φ(0)=0$ with $φ'(0)>0$.
In order to appropriately cope with the diffusion degeneracies thereby included, this study separately examines the Neumann problem for the linear equation \[
V_t = ΔV + \nabla\cdot \big( a(x,t)V\big) + b(x,t)V \] and establishes a statement on how pointwise positive lower bounds for nonnegative solutions depend on the supremum and the mass of the initial data, and on integrability features of $a$ and $b$.
This is thereafter used as a key tool in the derivation of a result on global existence of solutions to (*), smooth and classical for positive times, under the mere assumption that the suitably regular initial data be nonnegative in both components. Apart from that, these solutions are seen to stabilize toward some equilibrium, and as a qualitative effect genuinely due to degeneracy in diffusion, a criterion on initial smallness of the second component is identified as sufficient for this limit state to be spatially nonconstant.
△ Less
Submitted 26 September, 2022;
originally announced September 2022.
-
Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities
Authors:
Genglin Li,
Michael Winkler
Abstract:
We consider the Keller-Segel-type migration-consumption system involving signal-dependent motilities, $$\left\{ \begin{array}{l}
u_t = Δ\big(uφ(v)\big), \\[1mm]
v_t = Δv-uv,
\end{array} \right.
\qquad \qquad$$ in smoothly bounded domains $Ω\subset\mathbb{R}^n$, $n\ge 1$. Under the assumption that $φ\in C^1([0,\infty))$ is positive on $[0,\infty)$, and for nonnegative initial data from…
▽ More
We consider the Keller-Segel-type migration-consumption system involving signal-dependent motilities, $$\left\{ \begin{array}{l}
u_t = Δ\big(uφ(v)\big), \\[1mm]
v_t = Δv-uv,
\end{array} \right.
\qquad \qquad$$ in smoothly bounded domains $Ω\subset\mathbb{R}^n$, $n\ge 1$. Under the assumption that $φ\in C^1([0,\infty))$ is positive on $[0,\infty)$, and for nonnegative initial data from $(C^0(\overlineΩ))^\star \times L^\infty(Ω)$, previous literature has provided results on global existence of certain very weak solutions with possibly quite poor regularity properties, and on large time stabilization toward semitrivial equilibria with respect to the topology in $(W^{1,2}(Ω))^\star \times L^\infty(Ω)$.
The present study reveals that solutions in fact enjoy significantly stronger regularity features when $0<φ\in C^3([0,\infty))$ and the initial data belong to $(W^{1,\infty}(Ω))^2$: It is firstly shown, namely, that then in the case $n\le 2$ an associated no-flux initial-boundary value problem even admits a global classical solution, and that each of these solutions smoothly stabilizes in the sense that as $t\to\infty$ we have $$ \begin{align*}
u(\cdot,t) \to \frac{1}{|Ω|}\int_Ωu_0
\qquad \text{ and } \qquad
v(\cdot,t)\to 0
\qquad \qquad (\star) \end{align*}$$ even with respect to the norm in $L^\infty(Ω)$ in both components.
In the case when $n\ge 3$, secondly, some genuine weak solutions are found to exist globally, inter alia satisfying $\nabla u\in L^\frac{4}{3}_{loc}(\overlineΩ\times [0,\infty);\mathbb{R}^n)$. In the particular three-dimensional setting, any such solution is seen to become eventually smooth and to satisfy ($\star$).
△ Less
Submitted 27 June, 2022;
originally announced June 2022.
-
Relaxation in a Keller-Segel-consumption system involving signal-dependent motilities
Authors:
Genglin Li,
Michael Winkler
Abstract:
Two relaxation features of the migration-consumption chemotaxis system involving signal-dependent motilities,
$$ \left\{ \begin{array}{l}
u_t = Δ\big(uφ(v)\big), \\[1mm]
v_t = Δv-uv,
\end{array} \right.
\qquad \qquad (\star)$$ are studied in smoothly bounded domains $Ω\subset\mathbb{R}^n$, $n\ge 1$: It is shown that if $φ\in C^0([0,\infty))$ is positive on $[0,\infty)$, then for any init…
▽ More
Two relaxation features of the migration-consumption chemotaxis system involving signal-dependent motilities,
$$ \left\{ \begin{array}{l}
u_t = Δ\big(uφ(v)\big), \\[1mm]
v_t = Δv-uv,
\end{array} \right.
\qquad \qquad (\star)$$ are studied in smoothly bounded domains $Ω\subset\mathbb{R}^n$, $n\ge 1$: It is shown that if $φ\in C^0([0,\infty))$ is positive on $[0,\infty)$, then for any initial data $(u_0,v_0)$ belonging to the space $(C^0(\overlineΩ))^\star\times L^\infty(Ω)$ an associated no-flux type initial-boundary value problem admits a global very weak solution. Beyond this initial relaxation property, it is seen that under the additional hypotheses that $φ\in C^1([0,\infty))$ and $n\le 3$, each of these solutions stabilizes toward a semi-trivial spatially homogeneous steady state in the large time limit.
By thus applying to irregular and partially even measure-type initial data of arbitrary size, this firstly extends previous results on global solvability in ($\star$) which have been restricted to initial data not only considerably more regular but also suitably small. Secondly, this reveals a significant difference between the large time behavior in ($\star$) and that in related degenerate counterparts involving functions $φ$ with $φ(0)=0$, about which, namely, it is known that some solutions may asymptotically approach nonhomogeneous states.
△ Less
Submitted 27 June, 2022;
originally announced June 2022.
-
A comparison of PINN approaches for drift-diffusion equations on metric graphs
Authors:
Jan Blechschmidt,
Jan-Frederik Pietschman,
Tom-Christian Riemer,
Martin Stoll,
Max Winkler
Abstract:
In this paper we focus on comparing machine learning approaches for quantum graphs, which are metric graphs, i.e., graphs with dedicated edge lengths, and an associated differential operator. In our case the differential equation is a drift-diffusion model. Computational methods for quantum graphs require a careful discretization of the differential operator that also incorporates the node conditi…
▽ More
In this paper we focus on comparing machine learning approaches for quantum graphs, which are metric graphs, i.e., graphs with dedicated edge lengths, and an associated differential operator. In our case the differential equation is a drift-diffusion model. Computational methods for quantum graphs require a careful discretization of the differential operator that also incorporates the node conditions, in our case Kirchhoff-Neumann conditions. Traditional numerical schemes are rather mature but have to be tailored manually when the differential equation becomes the constraint in an optimization problem. Recently, physics informed neural networks (PINNs) have emerged as a versatile tool for the solution of partial differential equations from a range of applications. They offer flexibility to solve parameter identification or optimization problems by only slightly changing the problem formulation used for the forward simulation. We compare several PINN approaches for solving the drift-diffusion on the metric graph.
△ Less
Submitted 15 May, 2022;
originally announced May 2022.
-
Adaptive Cut Selection in Mixed-Integer Linear Programming
Authors:
Mark Turner,
Thorsten Koch,
Felipe Serrano,
Michael Winkler
Abstract:
Cutting plane selection is a subroutine used in all modern mixed-integer linear programming solvers with the goal of selecting a subset of generated cuts that induce optimal solver performance. These solvers have millions of parameter combinations, and so are excellent candidates for parameter tuning. Cut selection scoring rules are usually weighted sums of different measurements, where the weight…
▽ More
Cutting plane selection is a subroutine used in all modern mixed-integer linear programming solvers with the goal of selecting a subset of generated cuts that induce optimal solver performance. These solvers have millions of parameter combinations, and so are excellent candidates for parameter tuning. Cut selection scoring rules are usually weighted sums of different measurements, where the weights are parameters. We present a parametric family of mixed-integer linear programs together with infinitely many family-wide valid cuts. Some of these cuts can induce integer optimal solutions directly after being applied, while others fail to do so even if an infinite amount are applied. We show for a specific cut selection rule, that any finite grid search of the parameter space will always miss all parameter values, which select integer optimal inducing cuts in an infinite amount of our problems. We propose a variation on the design of existing graph convolutional neural networks, adapting them to learn cut selection rule parameters. We present a reinforcement learning framework for selecting cuts, and train our design using said framework over MIPLIB 2017 and a neural network verification data set. Our framework and design show that adaptive cut selection does substantially improve performance over a diverse set of instances, but that finding a single function describing such a rule is difficult. Code for reproducing all experiments is available at https://github.com/Opt-Mucca/Adaptive-Cutsel-MILP.
△ Less
Submitted 23 February, 2023; v1 submitted 22 February, 2022;
originally announced February 2022.
-
Weak solutions to triangular cross diffusion systems modeling chemotaxis with local sensing
Authors:
Laurent Desvillettes,
Philippe Laurençot,
Ariane Trescases,
Michael Winkler
Abstract:
New estimates and global existence results are provided for a class of systems of cross diffusion equations arising from the modeling of chemotaxis with local sensing, possibly featuring a growth term of logistic-type as well. For sublinear non-increasing motility functions, convergence to the spatially homogeneous steady state is shown, a dedicated Lyapunov functional being constructed for that p…
▽ More
New estimates and global existence results are provided for a class of systems of cross diffusion equations arising from the modeling of chemotaxis with local sensing, possibly featuring a growth term of logistic-type as well. For sublinear non-increasing motility functions, convergence to the spatially homogeneous steady state is shown, a dedicated Lyapunov functional being constructed for that purpose.
△ Less
Submitted 21 February, 2022;
originally announced February 2022.
-
Extended Randomized Kaczmarz Method for Sparse Least Squares and Impulsive Noise Problems
Authors:
Frank Schöpfer,
Dirk A Lorenz,
Lionel Tondji,
Maximilian Winkler
Abstract:
The Extended Randomized Kaczmarz method is a well known iterative scheme which can find the Moore-Penrose inverse solution of a possibly inconsistent linear system and requires only one additional column of the system matrix in each iteration in comparison with the standard randomized Kaczmarz method. Also, the Sparse Randomized Kaczmarz method has been shown to converge linearly to a sparse solut…
▽ More
The Extended Randomized Kaczmarz method is a well known iterative scheme which can find the Moore-Penrose inverse solution of a possibly inconsistent linear system and requires only one additional column of the system matrix in each iteration in comparison with the standard randomized Kaczmarz method. Also, the Sparse Randomized Kaczmarz method has been shown to converge linearly to a sparse solution of a consistent linear system. Here, we combine both ideas and propose an Extended Sparse Randomized Kaczmarz method. We show linear expected convergence to a sparse least squares solution in the sense that an extended variant of the regularized basis pursuit problem is solved. Moreover, we generalize the additional step in the method and prove convergence to a more abstract optimization problem. We demonstrate numerically that our method can find sparse least squares solutions of real and complex systems if the noise is concentrated in the complement of the range of the system matrix and that our generalization can handle impulsive noise.
△ Less
Submitted 20 July, 2022; v1 submitted 21 January, 2022;
originally announced January 2022.
-
Global existence in reaction-diffusion systems with mass control under relaxed assumptions merely referring to cross-absorptive effects
Authors:
Johannes Lankeit,
Michael Winkler
Abstract:
We introduce a generalized concept of solutions for reaction-diffusion systems and prove their global existence. The only restriction on the reaction function beyond regularity, quasipositivity and mass control is special in that it merely controls the growth of cross-absorptive terms. The result covers nonlinear diffusion and does not rely on an entropy estimate.
We introduce a generalized concept of solutions for reaction-diffusion systems and prove their global existence. The only restriction on the reaction function beyond regularity, quasipositivity and mass control is special in that it merely controls the growth of cross-absorptive terms. The result covers nonlinear diffusion and does not rely on an entropy estimate.
△ Less
Submitted 2 August, 2021;
originally announced August 2021.
-
Aperiodic Sets of Prototiles Extracted From the Penrose Rhomb Tiling
Authors:
Mike Winkler
Abstract:
We present aperiodic sets of prototiles whose shapes are based on the well-known Penrose rhomb tiling. Some decorated prototiles lead to an exact Penrose rhomb tiling without any matching rules. We also give an approximate solution to an aperiodic monotile that tessellates the plane (including five types of gaps) only in a nonperiodic way.
We present aperiodic sets of prototiles whose shapes are based on the well-known Penrose rhomb tiling. Some decorated prototiles lead to an exact Penrose rhomb tiling without any matching rules. We also give an approximate solution to an aperiodic monotile that tessellates the plane (including five types of gaps) only in a nonperiodic way.
△ Less
Submitted 11 August, 2021; v1 submitted 13 June, 2021;
originally announced June 2021.
-
Radial solutions to a chemotaxis-consumption model involving prescribed signal concentrations on the boundary
Authors:
Johannes Lankeit,
Michael Winkler
Abstract:
The chemotaxis system
\begin{align*} u_t &= Δu - \nabla \cdot (u\nabla v), \\ v_t &= Δv - uv,
\end{align*} is considered under the boundary conditions $\frac{\partial u}{\partialν}- u\frac{\partial v}{\partialν}=0$ and $v=v_\star$ on $\partialΩ$, where $Ω\subset\mathbb{R}^n$ is a ball and $v_\star$ is a given positive constant.
In the setting of radially symmetric and suitably regular initia…
▽ More
The chemotaxis system
\begin{align*} u_t &= Δu - \nabla \cdot (u\nabla v), \\ v_t &= Δv - uv,
\end{align*} is considered under the boundary conditions $\frac{\partial u}{\partialν}- u\frac{\partial v}{\partialν}=0$ and $v=v_\star$ on $\partialΩ$, where $Ω\subset\mathbb{R}^n$ is a ball and $v_\star$ is a given positive constant.
In the setting of radially symmetric and suitably regular initial data, a result on global existence of bounded classical solutions is derived in the case $n=2$, while global weak solutions are constructed when $n\in \{3,4,5\}$. This is achieved by analyzing an energy-type inequality reminiscent of global structures previously observed in related homogeneous Neumann problems. Ill-signed boundary integrals newly appearing therein are controlled by means of spatially localized smoothing arguments revealing higher order regularity features outside the spatial origin.
Additionally, unique classical solvability in the corresponding stationary problem is asserted, even in nonradial frameworks.
△ Less
Submitted 12 March, 2021;
originally announced March 2021.
-
A double critical mass phenomenon in a no-flux-Dirichlet Keller-Segel system
Authors:
Jan Fuhrmann,
Johannes Lankeit,
Michael Winkler
Abstract:
Derived from a biophysical model for the motion of a crawling cell, the system \[(*)~\begin{cases}u_t=Δu-\nabla\cdot(u\nabla v)\\0=Δv-kv+u\end{cases}\] is investigated in a finite domain $Ω\subset\mathbb{R}^n$, $n\geq2$, with $k\geq0$. While a comprehensive literature is available for cases with $(*)$ describing chemotaxis systems and hence being accompanied by homogeneous Neumann-type boundary co…
▽ More
Derived from a biophysical model for the motion of a crawling cell, the system \[(*)~\begin{cases}u_t=Δu-\nabla\cdot(u\nabla v)\\0=Δv-kv+u\end{cases}\] is investigated in a finite domain $Ω\subset\mathbb{R}^n$, $n\geq2$, with $k\geq0$. While a comprehensive literature is available for cases with $(*)$ describing chemotaxis systems and hence being accompanied by homogeneous Neumann-type boundary conditions, the presently considered modeling context, besides yet requiring the flux $\partial_νu-u\partial_νv$ to vanish on $\partialΩ$, inherently involves homogeneous Dirichlet conditions for the attractant $v$, which in the current setting corresponds to the cell's cytoskeleton being free of pressure at the boundary.
This modification in the boundary setting is shown to go along with a substantial change with respect to the potential to support the emergence of singular structures: It is, inter alia, revealed that in contexts of radial solutions in balls there exist two critical mass levels, distinct from each other whenever $k>0$ or $n\geq3$, that separate ranges within which (i) all solutions are global in time and remain bounded, (ii) both global bounded and exploding solutions exist, or (iii) all nontrivial solutions blow up in finite time. While critical mass phenomena distinguishing between regimes of type (i) and (ii) belong to the well-understood characteristics of $(*)$ when posed under classical no-flux boundary conditions in planar domains, the discovery of a distinct secondary critical mass level related to the occurrence of (iii) seems to have no nearby precedent.
In the planar case with the domain being a disk, the analytical results are supplemented with some numerical illustrations, and it is discussed how the findings can be interpreted biophysically for the situation of a cell on a flat substrate.
△ Less
Submitted 17 January, 2021;
originally announced January 2021.
-
Optimal Control of Hughes' Model for Pedestrian Flow via Local Attraction
Authors:
Roland Herzog,
Jan-Frederik Pietschmann,
Max Winkler
Abstract:
We discuss the control of a human crowd whose dynamics is governed by a regularized version of Hughes' model, cf. Hughes: A continuum theory for the flow of pedestrians. Transportation research part B: methodological, 36 (2002). We assume that a finite number of agents act on the crowd and try to optimize their paths in a given time interval. The objective functional can be general and it can corr…
▽ More
We discuss the control of a human crowd whose dynamics is governed by a regularized version of Hughes' model, cf. Hughes: A continuum theory for the flow of pedestrians. Transportation research part B: methodological, 36 (2002). We assume that a finite number of agents act on the crowd and try to optimize their paths in a given time interval. The objective functional can be general and it can correspond, for instance, to the desire for fast evacuation or to maintain a single group of individuals. We provide an existence result for the forward model, study differentiability properties of the control-to-state map, establish the existence of a globally optimal control and formulate optimality conditions.
△ Less
Submitted 6 November, 2020;
originally announced November 2020.
-
A critical blow-up exponent for flux limitation in a Keller-Segel system
Authors:
Michael Winkler
Abstract:
The parabolic-elliptic cross-diffusion system \[
\left\{ \begin{array}{l}
u_t = Δu - \nabla \cdot \Big(uf(|\nabla v|^2) \nabla v \Big), \\[1mm]
0 = Δv - μ+ u,
\qquad \int_Ωv=0,
\qquad
μ:=\frac{1}{|Ω|} \int_Ωu dx,
\end{array} \right. \] is considered along with homogeneous Neumann-type boundary conditions in a smoothly bounded domain $Ω\subset R^n$, $n\ge 1$, where $f$ generalizes the…
▽ More
The parabolic-elliptic cross-diffusion system \[
\left\{ \begin{array}{l}
u_t = Δu - \nabla \cdot \Big(uf(|\nabla v|^2) \nabla v \Big), \\[1mm]
0 = Δv - μ+ u,
\qquad \int_Ωv=0,
\qquad
μ:=\frac{1}{|Ω|} \int_Ωu dx,
\end{array} \right. \] is considered along with homogeneous Neumann-type boundary conditions in a smoothly bounded domain $Ω\subset R^n$, $n\ge 1$, where $f$ generalizes the prototype given by \[
f(ξ) = (1+ξ)^{-α},
\qquad ξ\ge 0,
\qquad \mbox{for all } ξ\ge 0, \] with $α\in R$.
In this framework, the main results assert that if $n\ge 2$, $Ω$ is a ball and \[
α<\frac{n-2}{2(n-1)}, \] then throughout a considerably large set of radially symmetric initial data, an associated initial value problem admits solutions blowing up in finite time with respect to the $L^\infty$ norm of their first components.
This is complemented by a second statement which ensures that in general and not necessarily symmetric settings, if either $n=1$ and $α\in R$ is arbitrary, or $n\ge 2$ and $α>\frac{n-2}{2(n-1)}$, then any explosion is ruled out in the sense that for arbitrary nonnegative and continuous initial data, a global bounded classical solution exists.
△ Less
Submitted 4 October, 2020;
originally announced October 2020.
-
Conditional estimates in three-dimensional chemotaxis-Stokes systems and application to a Keller-Segel-fluid model accounting for gradient-dependent flux limitation
Authors:
Michael Winkler
Abstract:
This manuscript deals with the three-dimensional version of a flux-limited Keller-Segel system coupled to the incompressible Stokes equations through transport and buoyancy.
The main goal consists in verifying that within a certain parameter regime, known as being optimal therefor in some fluid-free simplification, a feature of blow-up prevention by suitably strong flux limitation persists also…
▽ More
This manuscript deals with the three-dimensional version of a flux-limited Keller-Segel system coupled to the incompressible Stokes equations through transport and buoyancy.
The main goal consists in verifying that within a certain parameter regime, known as being optimal therefor in some fluid-free simplification, a feature of blow-up prevention by suitably strong flux limitation persists also in the framework of the considered full chemotaxis-fluid system. To achieve this, as a secondary objective of possibly independent interest the manuscript separately establishes some conditional bounds for fluid fields and taxis gradients in a fairly general setting.
The application thereof to the specific problem under consideration thereafter facilitates the derivation of a result on global existence of bounded classical solutions for widely arbitrary initial data actually, indeed within the entire and essentially optimal parameter range, through an argument which appears to be signficantly condensed when compared to reasonings pursued in previous related works.
△ Less
Submitted 15 September, 2020;
originally announced September 2020.
-
Asymptotic stability of spatial homogeneity in a haptotxis model for oncolytic virotherapy
Authors:
Youshan Tao,
Michael Winkler
Abstract:
This work considers a model for oncolytic virotherapy, as given by the reaction-diffusion-taxis system $$ \left\{ \begin{array}{l} u_t = Δu - \nabla \cdot (u\nabla v)-ρuz, \\[1mm] v_t = - (u+w)v, \\[1mm] w_t = D_w Δw - w + uz, \\[1mm] z_t = D_z Δz - z - uz + βw, \end{array} \right.
$$ in a smoothly bounded domain $Ω\subset\mathbb{R}^2$, with parameters $D_w>0, D_z>0, β>0$ and $ρ\ge 0$.\\ % Previ…
▽ More
This work considers a model for oncolytic virotherapy, as given by the reaction-diffusion-taxis system $$ \left\{ \begin{array}{l} u_t = Δu - \nabla \cdot (u\nabla v)-ρuz, \\[1mm] v_t = - (u+w)v, \\[1mm] w_t = D_w Δw - w + uz, \\[1mm] z_t = D_z Δz - z - uz + βw, \end{array} \right.
$$ in a smoothly bounded domain $Ω\subset\mathbb{R}^2$, with parameters $D_w>0, D_z>0, β>0$ and $ρ\ge 0$.\\ % Previous analysis has asserted that for all reasonably regular initial data, an associated no-flux type initial-boundary value problem admits a global classical solution, and that this solution is bounded if $β<1$, whereas whenever $β>1$ and $\frac{1}{|Ω|}\int_Ω u(\cdot,0)>\frac{1}{β-1}$, infinite-time blow-up occurs at least in the particular case when $ρ=0$.\abs %
In order to provide an appropriate complement to this, the present work reveals that for any $ρ\ge 0$ and arbitrary $β>0$, at each prescribed level $γ\in (0,\frac{1}{(β-1)_+})$ one can identify an $L^\infty$-neighborhood of the homogeneous distribution $(u,v,w,z)\equiv (γ,0,0,0)$ within which all initial data lead to globally bounded solutions that stabilize toward the constant equilibrium $(u_\infty,0,0,0)$ with some $u_\infty>0$.
△ Less
Submitted 9 June, 2020;
originally announced June 2020.
-
Relaxation by nonlinear diffusion enhancement in a two-dimensional cross-diffusion model for urban crime propagation
Authors:
Nancy Rodriguez,
Michael Winkler
Abstract:
We consider a class of macroscopic models for the spatio-temporal evolution of urban crime, as originally going back to Short et al. (Math. Mod. Meth. Appl. Sci. 18, 2008). The focus here is on the question how far a certain nonlinear enhancement in the random diffusion of criminal agents may exert visible relaxation effects. Specifically, in the context of the system \begin{eqnarray*}
\left\{ \…
▽ More
We consider a class of macroscopic models for the spatio-temporal evolution of urban crime, as originally going back to Short et al. (Math. Mod. Meth. Appl. Sci. 18, 2008). The focus here is on the question how far a certain nonlinear enhancement in the random diffusion of criminal agents may exert visible relaxation effects. Specifically, in the context of the system \begin{eqnarray*}
\left\{ \begin{array}{l}
u_t = \nabla \cdot (u^{m-1} \nabla u) - χ\nabla \cdot \Big(\frac{u}{v} \nabla v \Big) - uv + B_1(x,t), \\[1mm]
v_t = Δv +uv - v + B_2(x,t),
\end{array} \right. \end{eqnarray*}
it is shown that whenever $χ>0$ and the given nonnegative source terms $B_1$ and $B_2$ are sufficiently regular, the assumption \begin{eqnarray*} m>\frac{3}{2} \end{eqnarray*} is sufficient to ensure that a corresponding Neumann-type initial-boundary value problem, posed in a smoothly bounded planar convex domain, admits locally bounded solutions for a wide class of arbitrary initial data. Furthermore, this solution is seen to be globally bounded if both $B_1$ and $B_2$ are bounded and $\liminf_{t\to\infty} \int_ΩB_2(\cdot,t)$ is positive. This is supplemented by numerical evidence which, besides illustrating associated smoothing effects in particular situations of sharply structured initial data in the presence of such porous medium type diffusion mechanisms, indicates a significant tendency toward support of singular structures in the linear diffusion case $m=1$.
△ Less
Submitted 15 May, 2020;
originally announced May 2020.
-
A New Constrained Optimization Model for Solving the Nonsymmetric Stochastic Inverse Eigenvalue Problem
Authors:
Gabriele Steidl,
Maximilian Winkler
Abstract:
The stochastic inverse eigenvalue problem aims to reconstruct a stochastic matrix from its spectrum. While there exists a large literature on the existence of solutions for special settings, there are only few numerical solution methods available so far. Recently, Zhao et al. (2016) proposed a constrained optimization model on the manifold of so-called isospectral matrices and adapted a modified P…
▽ More
The stochastic inverse eigenvalue problem aims to reconstruct a stochastic matrix from its spectrum. While there exists a large literature on the existence of solutions for special settings, there are only few numerical solution methods available so far. Recently, Zhao et al. (2016) proposed a constrained optimization model on the manifold of so-called isospectral matrices and adapted a modified Polak-Ribière-Polyak conjugate gradient method to the geometry of this manifold. However, not every stochastic matrix is an isospectral one and the model from Zhao et al. is based on the assumption that for each stochastic matrix there exists a (possibly different) isospectral, stochastic matrix with the same spectrum. We are not aware of such a result in the literature, but will see that the claim is at least true for $3 \times 3$ matrices. In this paper, we suggest to extend the above model by considering matrices which differ from isospectral ones only by multiplication with a block diagonal matrix with $2 \times 2$ blocks from the special linear group $SL(2)$, where the number of blocks is given by the number of pairs of complex-conjugate eigenvalues. Every stochastic matrix can be written in such a form, which was not the case for the form of the isospectral matrices. We prove that our model has a minimizer and show how the Polak-Ribière-Polyak conjugate gradient method works on the corresponding more general manifold. We demonstrate by numerical examples that the new, more general method performs similarly as the one from Zhao et al.
△ Less
Submitted 15 April, 2020;
originally announced April 2020.
-
Existence theory and qualitative analysis for a fully cross-diffusive predator-prey system
Authors:
Youshan Tao,
Michael Winkler
Abstract:
This manuscript considers a Neumann initial-boundary value problem for the predator-prey system $$
\left\{ \begin{array}{l}
u_t = D_1 u_{xx} - χ_1 (uv_x)_x + u(λ_1-u+a_1 v), \\[1mm]
v_t = D_2 v_{xx} + χ_2 (vu_x)_x + v(λ_2-v-a_2 u),
\end{array} \right.
\qquad \qquad (\star) $$ in an open bounded interval $Ω$ as the spatial domain, where for $i\in\{1,2\}$ the parameters $D_i, a_i, λ_i$ and…
▽ More
This manuscript considers a Neumann initial-boundary value problem for the predator-prey system $$
\left\{ \begin{array}{l}
u_t = D_1 u_{xx} - χ_1 (uv_x)_x + u(λ_1-u+a_1 v), \\[1mm]
v_t = D_2 v_{xx} + χ_2 (vu_x)_x + v(λ_2-v-a_2 u),
\end{array} \right.
\qquad \qquad (\star) $$ in an open bounded interval $Ω$ as the spatial domain, where for $i\in\{1,2\}$ the parameters $D_i, a_i, λ_i$ and $χ_i$ are positive.
Due to the simultaneous appearance of two mutually interacting taxis-type cross-diffusive mechanisms, one of which even being attractive, it seems unclear how far a solution theory can be built upon classical results on parabolic evolution problems. In order to nevertheless create an analytical setup capable of providing global existence results as well as detailed information on qualitative behavior, this work pursues a strategy via parabolic regularization, in the course of which ($\star$) is approximated by means of certain fourth-order problems involving degenerate diffusion operators of thin film type.
During the design thereof, a major challenge is related to the ambition to retain consistency with some fundamental entropy-like structures formally associated with ($\star$); in particular, this will motivate the construction of an approximation scheme including two free parameters which will finally be fixed in different ways, depending on the size of $λ_2$ relative to $a_2 λ_1$.
△ Less
Submitted 1 April, 2020;
originally announced April 2020.
-
Permutation Inference for Canonical Correlation Analysis
Authors:
Anderson M. Winkler,
Olivier Renaud,
Stephen M. Smith,
Thomas E. Nichols
Abstract:
Canonical correlation analysis (CCA) has become a key tool for population neuroimaging, allowing investigation of associations between many imaging and non-imaging measurements. As other variables are often a source of variability not of direct interest, previous work has used CCA on residuals from a model that removes these effects, then proceeded directly to permutation inference. We show that s…
▽ More
Canonical correlation analysis (CCA) has become a key tool for population neuroimaging, allowing investigation of associations between many imaging and non-imaging measurements. As other variables are often a source of variability not of direct interest, previous work has used CCA on residuals from a model that removes these effects, then proceeded directly to permutation inference. We show that such a simple permutation test leads to inflated error rates. The reason is that residualisation introduces dependencies among the observations that violate the exchangeability assumption. Even in the absence of nuisance variables, however, a simple permutation test for CCA also leads to excess error rates for all canonical correlations other than the first. The reason is that a simple permutation scheme does not ignore the variability already explained by previous canonical variables. Here we propose solutions for both problems: in the case of nuisance variables, we show that transforming the residuals to a lower dimensional basis where exchangeability holds results in a valid permutation test; for more general cases, with or without nuisance variables, we propose estimating the canonical correlations in a stepwise manner, removing at each iteration the variance already explained, while dealing with different number of variables in both sides. We also discuss how to address the multiplicity of tests, proposing an admissible test that is not conservative, and provide a complete algorithm for permutation inference for CCA.
△ Less
Submitted 17 June, 2020; v1 submitted 23 February, 2020;
originally announced February 2020.
-
Error estimation for second-order PDEs in non-variational form
Authors:
Jan Blechschmidt,
Roland Herzog,
Max Winkler
Abstract:
Second-order partial differential equations in non-divergence form are considered. Equations of this kind typically arise as subproblems for the solution of Hamilton-Jacobi-Bellman equations in the context of stochastic optimal control, or as the linearization of fully nonlinear second-order PDEs. The non-divergence form in these problems is natural. If the coefficients of the diffusion matrix are…
▽ More
Second-order partial differential equations in non-divergence form are considered. Equations of this kind typically arise as subproblems for the solution of Hamilton-Jacobi-Bellman equations in the context of stochastic optimal control, or as the linearization of fully nonlinear second-order PDEs. The non-divergence form in these problems is natural. If the coefficients of the diffusion matrix are not differentiable, the problem can not be transformed into the more convenient variational form.
We investigate tailored non-conforming finite element approximations of second-order PDEs in non-divergence form, utilizing finite element Hessian recovery strategies to approximate second derivatives in the equation. We study both approximations with continuous and discontinuous trial functions. Of particular interest are a priori and a posteriori error estimates as well as adaptive finite element methods. In numerical experiments our method is compared with other approaches known from the literature.
△ Less
Submitted 12 August, 2020; v1 submitted 27 September, 2019;
originally announced September 2019.
-
Optimization of a partial differential equation on a complex network
Authors:
Martin Stoll,
Max Winkler
Abstract:
Differential equations on metric graphs can describe many phenomena in the physical world but also the spread of information on social media. To efficiently compute the solution is a hard task in numerical analysis. Solving a design problem, where the optimal setup for a desired state is given, is even more challenging. In this work, we focus on the task of solving an optimization problem subject…
▽ More
Differential equations on metric graphs can describe many phenomena in the physical world but also the spread of information on social media. To efficiently compute the solution is a hard task in numerical analysis. Solving a design problem, where the optimal setup for a desired state is given, is even more challenging. In this work, we focus on the task of solving an optimization problem subject to a differential equation on a metric graph with the control defined on a small set of Dirichlet nodes. We discuss the discretization by finite elements and provide rigorous error bounds as well as an efficient preconditioning strategy to deal with the large-scale case. We show in various examples that the method performs very robustly.
△ Less
Submitted 17 July, 2019;
originally announced July 2019.
-
Approximate Solutions of 4-regular Matchstick Graphs with 50-62 Vertices
Authors:
Mike Winkler
Abstract:
A 4-regular matchstick graph is a planar unit-distance graph whose vertices have all degree 4. Examples of 4-regular matchstick graphs are currently known for all number of vertices $\geq$ 52 except for 53, 55, 56, 58, 59, 61, and 62. In this article we present 38 different examples with 50 - 62 vertices which contain two, three, or four distances which differ slightly from the unit length. These…
▽ More
A 4-regular matchstick graph is a planar unit-distance graph whose vertices have all degree 4. Examples of 4-regular matchstick graphs are currently known for all number of vertices $\geq$ 52 except for 53, 55, 56, 58, 59, 61, and 62. In this article we present 38 different examples with 50 - 62 vertices which contain two, three, or four distances which differ slightly from the unit length. These graphs should show why this subject is so extraordinarily difficult to deal with and should also be an incentive for the interested reader to find solutions for the missing numbers of vertices.
△ Less
Submitted 13 October, 2020; v1 submitted 27 June, 2019;
originally announced June 2019.
-
Does indirectness of signal production reduce the explosion-supporting potential in chemotaxis-haptotaxis systems? Global classical solvability in a class of models for cancer invasion (and more)
Authors:
Christina Surulescu,
Michael Winkler
Abstract:
We propose and study a class of parabolic-ODE models involving chemotaxis and haptotaxis of a species following signals indirectly produced by another, non-motile one. The setting is motivated by cancer invasion mediated by interactions with the tumor microenvironment, but has much wider applicability, being able to comprise descriptions of biologically quite different problems. As a main mathemat…
▽ More
We propose and study a class of parabolic-ODE models involving chemotaxis and haptotaxis of a species following signals indirectly produced by another, non-motile one. The setting is motivated by cancer invasion mediated by interactions with the tumor microenvironment, but has much wider applicability, being able to comprise descriptions of biologically quite different problems. As a main mathematical feature consituting a core difference to both classical Keller-Segel chemotaxis systems and Chaplain-Lolas type chemotaxis-haptotaxis systems, the considered model accounts for certain types of indirect signal production mechanisms.
The main results assert unique global classical solvability under suitably mild assumptions on the system parameter functions in associated spatially two-dimensional initial-boundary value problems. In particular, this rigorously confirms that at least in two-dimensional settings, the considered indirectness in signal production induces a significant blow-up suppressing tendency also in taxis systems substantially more general than some particular examples for which corresponding effects have recently been observed.
△ Less
Submitted 25 April, 2019;
originally announced April 2019.
-
On the global existence and qualitative behavior of one-dimensional solutions to a model for urban crime
Authors:
Nancy Rodriguez,
Michael Winkler
Abstract:
We consider the no-flux initial-boundary value problem for the cross-diffusive evolution system \begin{eqnarray*}
\left\{ \begin{array}{ll}
u_t = u_{xx} - χ\big(\frac{u}{v} \partial_x u \big)_x - uv +B_1(x,t),
\qquad & x\in Ω, \ t>0, \\[1mm]
v_t = v_{xx} +uv - v + B_2(x,t),
\qquad & x\in Ω, \ t>0,
\end{array} \right. \end{eqnarray*}
which was introduced by Short et al. in [Short2008]…
▽ More
We consider the no-flux initial-boundary value problem for the cross-diffusive evolution system \begin{eqnarray*}
\left\{ \begin{array}{ll}
u_t = u_{xx} - χ\big(\frac{u}{v} \partial_x u \big)_x - uv +B_1(x,t),
\qquad & x\in Ω, \ t>0, \\[1mm]
v_t = v_{xx} +uv - v + B_2(x,t),
\qquad & x\in Ω, \ t>0,
\end{array} \right. \end{eqnarray*}
which was introduced by Short et al. in [Short2008] with $χ=2$ to describe the dynamics of urban crime
In bounded intervals $Ω\subset\mathbb{R}$ and with prescribed suitably regular nonnegative
functions $B_1$ and $B_2$, we first prove the existence of global classical solutions for any choice of $χ>0$ and all reasonably
regular nonnegative initial data. We next address the issue of determining the qualitative behavior of solutions under appropriate assumptions
on the asymptotic properties of $B_1$ and $B_2$. Indeed, for arbitrary $χ>0$ we obtain boundedness of the solutions given strict positivity of the average of $B_2$
over the domain; moreover, it is seen that imposing a mild decay assumption on $B_1$ implies that $u$ must
decay to zero in the long-term limit.
Our final result, valid for all $χ\in\left(0,\frac{\sqrt{6\sqrt{3}+9}}{2}\right),$ which contains
the relevant value $χ=2$, states that under the above decay assumption on $B_1$, if furthermore $B_2$ appropriately stabilizes to a
nontrivial function $B_{2,\infty}$, then $(u,v)$ approaches the limit $(0,v_\infty)$, where $v_\infty$
denotes the solution of \begin{eqnarray*}
\left\{ \begin{array}{l}
-\partial_{xx}v_\infty + v_\infty = B_{2,\infty},
\qquad x\in Ω, \\[1mm]
\partial_x v_{\infty}=0,
\qquad x\in\partialΩ.
\end{array} \right. \end{eqnarray*}
△ Less
Submitted 14 March, 2019;
originally announced March 2019.
-
A 3-regular matchstick graph of girth 5 consisting of 54 vertices
Authors:
Mike Winkler,
Peter Dinkelacker,
Stefan Vogel
Abstract:
In 2010 it was proved that a 3-regular matchstick graph of girth 5 must consist at least of 30 vertices. The smallest known example consisted of 180 vertices. In this article we construct an example consisting of 54 vertices and prove its geometrical correctness.
In 2010 it was proved that a 3-regular matchstick graph of girth 5 must consist at least of 30 vertices. The smallest known example consisted of 180 vertices. In this article we construct an example consisting of 54 vertices and prove its geometrical correctness.
△ Less
Submitted 8 November, 2019; v1 submitted 8 March, 2019;
originally announced March 2019.
-
4-regular planar unit triangle graphs without additional triangles
Authors:
Mike Winkler,
Peter Dinkelacker,
Stefan Vogel
Abstract:
In this article we proof the existence of 4-regular planar unit-distance graphs consisting only of unit triangles without additional triangles. It is shown that the smallest number of unit triangles is $\leq$6422.
In this article we proof the existence of 4-regular planar unit-distance graphs consisting only of unit triangles without additional triangles. It is shown that the smallest number of unit triangles is $\leq$6422.
△ Less
Submitted 3 November, 2019; v1 submitted 3 February, 2019;
originally announced February 2019.
-
Analysis of a one-dimensional forager-exploiter model
Authors:
Youshan Tao,
Michael Winkler
Abstract:
\begin{abstract} \noindent % We consider the one-dimensional parabolic system
The system
\bas
\left\{ \begin{array}{l}
u_t= u_{xx} - χ_1 (uw_x)_x, \\[1mm]
v_t = v_{xx} - χ_2 (vu_x)_x, \\[1mm]
w_t = dw_{xx} - λ(u+v)w - μw + r,
\end{array} \right.
\eas % that has been proposed as a model to describe social interactions within mixed forager-exploiter groups. is considered in a bounded…
▽ More
\begin{abstract} \noindent % We consider the one-dimensional parabolic system
The system
\bas
\left\{ \begin{array}{l}
u_t= u_{xx} - χ_1 (uw_x)_x, \\[1mm]
v_t = v_{xx} - χ_2 (vu_x)_x, \\[1mm]
w_t = dw_{xx} - λ(u+v)w - μw + r,
\end{array} \right.
\eas % that has been proposed as a model to describe social interactions within mixed forager-exploiter groups. is considered in a bounded real interval, with positive parameters $χ_1,χ_2,d,λ$ and $μ$, and with $r \ge 0$. Proposed to describe social interactions within mixed forager-exploiter groups, this model extends classical one-species chemotaxis-consumption systems by additionally accounting for a second axis mechanism coupled to the first in a consecutive manner. \abs % It is firstly shown that for all suitably regular initial data $(u_0, v_0, w_0)$, an associated Neumann-type initial-boundary value problem possesses a globally defined bounded classical solution. Moreover, it is asserted that this solution stabilizes to a spatially homogeneous equilibrium at an exponential rate under a smallness condition on $\min\{\io u_0, \io v_0\}$ that appears to be consistent with predictions
obtained from formal stability analysis.\abs
△ Less
Submitted 3 February, 2019;
originally announced February 2019.
-
Error estimates for the finite element approximation of bilinear boundary control problems
Authors:
Max Winkler
Abstract:
In this article a special class of nonlinear optimal control problems involving a bilinear term in the boundary condition is studied. These kind of problems arise for instance in the identification of an unknown space-dependent Robin coefficient from a given measurement of the state, or when the Robin coefficient can be controlled in order to reach a desired state. To this end, necessary and suffi…
▽ More
In this article a special class of nonlinear optimal control problems involving a bilinear term in the boundary condition is studied. These kind of problems arise for instance in the identification of an unknown space-dependent Robin coefficient from a given measurement of the state, or when the Robin coefficient can be controlled in order to reach a desired state. To this end, necessary and sufficient optimality conditions are derived and several discretization approaches for the numerical solution the optimal control problem are investigated. Considered are both a full discretization and the postprocessing approach meaning that we compute an improved control by a pointwise evaluation of the first-order optimality condition. For both approaches finite element error estimates are shown and the validity of these results is confirmed by numerical experiments.
△ Less
Submitted 11 January, 2019;
originally announced January 2019.
