Search

The aim of this paper is to analyze a model for chemotaxis based on a local sensing mechanism instead of the gradient sensing mechanism used in the celebrated minimal Keller-Segel model. The model we study has the same entropy as the minimal Keller-Segel model, but a different dynamics to minimize this entropy. Consequently, the conditions on the mass for the existence of stationary solutions or blow-up are the same, however we make the interesting observation that with the local sensing mechanism the blow-up in the case of supercritical mass is delayed to infinite time. Our observation is made rigorous from a mathematical point via a proof of global existence of weak solutions for arbitrary large masses and space dimension. The key difference of our model to the minimal Keller-Segel model is that the structure of the equation allows for a duality estimate that implies a bound on the $(H^1)'$-norm of the solutions, which can only grow with a square-root law in time. This additional $(H^1)'$-bound implies a lower bound on the entropy, which contrasts markedly with the minimal Keller-Segel model for which it is unbounded from below in the supercritical case. Besides, regularity and uniqueness of solutions are also studied.

We identify subsets of the joint numerical range of an operator tuple in terms of its joint spectrum. This result helps us to transfer weak convergence of operator orbits into certain approximation and interpolation properties for powers in the uniform operator topology. This is a far-reaching generalization of one of the main results in our recent paper posted as arXiv:1607.00040. Moreover, it yields an essential (but partial) generalization of Bourin's "pinching" theorem. It also allows us to revisit several basic results on joint numerical ranges, provide them with new proofs and find a number of new results.

The paper provides necessary and sufficient conditions for the existence of weak solutions for the Dirichlet problem within Bishop's constructive mathematics. It also considers the continuity of those weak solutions relative to the boundary data and the domain.