Searcharxiv⌕ Search

arXiv subjects

Michael Winkler

Publications and source records attributed to Michael Winkler.

At least 37 records · Page 2Linked to original sources

A model for heat generation by acoustic waves in piezoelectric materials: Global large-data solutions

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.

math.AP↗

A switch in dimension dependence of critical blow-up exponents in a Keller-Segel system involving indirect signal production

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.

math.AP↗

$L^\infty$ blow-up in the Jordan-Moore-Gibson-Thompson equation

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.

math.AP↗

PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs

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.

math.OC↗

Uniform $L^p$ estimates for solutions to the inhomogeneous 2D Navier-Stokes equations and application to a chemotaxis-fluid system with local sensing

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.

math.AP↗

A strongly degenerate migration-consumption model in domains of arbitrary dimension

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]$.

math.AP↗

Stability vs. instability of singular steady states in the parabolic-elliptic Keller-Segel system on $\mathbb R^n$

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$.

math.AP↗

Depleting the signal: Analysis of chemotaxis-consumption models -- A survey

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.

math.AP↗

Adaptive Cut Selection in Mixed-Integer Linear Programming

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.

math.OC↗

Phenotype switching in chemotaxis aggregation models controls the spontaneous emergence of large densities

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.

math.AP↗

A quantitative strong parabolic maximum principle and application to a taxis-type migration-consumption model involving signal-dependent degenerate diffusion

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.

math.AP↗

Relaxation in a Keller-Segel-consumption system involving signal-dependent motilities

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.

math.AP↗

Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities

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$).

math.AP↗

Weak solutions to triangular cross diffusion systems modeling chemotaxis with local sensing

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.

math.AP↗

Global existence in reaction-diffusion systems with mass control under relaxed assumptions merely referring to cross-absorptive effects

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.

math.AP↗

Radial solutions to a chemotaxis-consumption model involving prescribed signal concentrations on the boundary

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.

math.AP↗

A double critical mass phenomenon in a no-flux-Dirichlet Keller-Segel system

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.

math.AP↗

A critical blow-up exponent for flux limitation in a Keller-Segel system

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.

math.AP↗