-
Nonlinear stability in a free boundary model of active locomotion
Authors:
Leonid Berlyand,
C. Alex Safsten,
Lev Truskinovsky
Abstract:
Contraction-driven self-propulsion of a large class of living cells can be modeled by a Keller-Segel system with free boundaries. The ensuing "active" system, exhibiting both dissipation and anti-dissipation, features stationary and traveling wave solutions. While the former represent static cells, the latter describe propagating pulses (solitary waves) mimicking the autonomous locomotion of the s…
▽ More
Contraction-driven self-propulsion of a large class of living cells can be modeled by a Keller-Segel system with free boundaries. The ensuing "active" system, exhibiting both dissipation and anti-dissipation, features stationary and traveling wave solutions. While the former represent static cells, the latter describe propagating pulses (solitary waves) mimicking the autonomous locomotion of the same cells. In this paper we provide the first proof of the asymptotic nonlinear stability of both of such solutions, static and dynamic. In the case of stationary solutions, the linear stability is established using the spectral theorem for compact, self-adjoint operators, and thus linear stability is determined classically, solely by eigenvalues. For traveling waves the picture is more complex because the linearized problem is non-self-adjoint, opening the possibility of a "dark" area in the phase space which is not "visible" in the purely eigenvalue/eigenvector approach. To establish linear stability in this case we employ spectral methods together with the Gearhart-Pruss-Greiner (GPG) theorem, which controls the entire spectrum via bounds on the resolvent operator. For both stationary and traveling wave solutions, nonlinear stability is then proved by showing how the nonlinear part of the problem may be dominated by the linear part and then employing a Gronwall inequality argument. The developed novel methodology can prove useful also in other problems involving non-self-adjoint (non-Hermitian or non-reciprocal) operators which are ubiquitous in the modeling of "active" matter.
△ Less
Submitted 18 November, 2024; v1 submitted 28 October, 2024;
originally announced October 2024.
-
Bifurcation of finger-like structures in traveling waves of epithelial tissues spreading
Authors:
Leonid Berlyand,
Antonina Rybalko,
Volodymyr Rybalko,
Clarke Alex Safsten
Abstract:
We consider a continuum active polar fluid model for the spreading of epithelial monolayers introduced by R. Alert, C. Blanch-Mercader, and J. Casademunt, 2019. The corresponding free boundary problem possesses flat front traveling wave solutions. Linear stability of these solutions under periodic perturbations is considered. It is shown that the solutions are stable for short-wave perturbations w…
▽ More
We consider a continuum active polar fluid model for the spreading of epithelial monolayers introduced by R. Alert, C. Blanch-Mercader, and J. Casademunt, 2019. The corresponding free boundary problem possesses flat front traveling wave solutions. Linear stability of these solutions under periodic perturbations is considered. It is shown that the solutions are stable for short-wave perturbations while exhibiting long-wave instability under certain conditions on the model parameters (if the traction force is sufficiently strong). Then, considering the prescribed period as the bifurcation parameter, we establish the emergence of nontrivial traveling wave solutions with a finger-like periodic structure (pattern). We also construct asymptotic expansions of the solutions in the vicinity of the bifurcation point and study their stability. We show that, depending on the value of the contractility coefficient, the bifurcation can be a subcritical or a supercritical pitchfork.
△ Less
Submitted 6 November, 2023;
originally announced November 2023.
-
Stability of Contraction-Driven Cell Motion
Authors:
C. Alex Safsten,
Volodymyr Rybalko,
Leonid Berlyand
Abstract:
We consider motility of keratocyte cells driven by myosin contraction and introduce a 2D free boundary model for such motion. This model generalizes a 1D model from [12] by combining a 2D Keller-Segel model and a Hele-Shaw type boundary condition with the Young-Laplace law resulting in a boundary curvature term which provides a regularizing effect. We show that this model has a family of traveling…
▽ More
We consider motility of keratocyte cells driven by myosin contraction and introduce a 2D free boundary model for such motion. This model generalizes a 1D model from [12] by combining a 2D Keller-Segel model and a Hele-Shaw type boundary condition with the Young-Laplace law resulting in a boundary curvature term which provides a regularizing effect. We show that this model has a family of traveling solutions with constant shape and velocity which bifurcates from a family of radially symmetric stationary states. Our goal is to establish observable steady motion of the cell with constant velocity. Mathematically, this amounts to establishing stability of the traveling solutions. Our key result is an explicit asymptotic formula for the stability-determining eigenvalue of the linearized problem. This formula greatly simplifies the task of numerically computing the sign of this eigenvalue and reveals the physical mechanisms of stability. The derivation of this formula is based on a special ansatz for the corresponding eigenvector which exhibits an interesting singular behavior such that it asymptotically (in the small-velocity limit) becomes parallel to another eigenvector. This reflects the non-self-adjoint nature of the linearized problem, a signature of living systems. Finally, our results describe the onset of motion via a transition from unstable radial stationary solutions to stable asymmetric traveling solutions.
△ Less
Submitted 29 March, 2021;
originally announced March 2021.
-
Stability for the Training of Deep Neural Networks and Other Classifiers
Authors:
Leonid Berlyand,
Pierre-Emmanuel Jabin,
C. Alex Safsten
Abstract:
We examine the stability of loss-minimizing training processes that are used for deep neural networks (DNN) and other classifiers. While a classifier is optimized during training through a so-called loss function, the performance of classifiers is usually evaluated by some measure of accuracy, such as the overall accuracy which quantifies the proportion of objects that are well classified. This le…
▽ More
We examine the stability of loss-minimizing training processes that are used for deep neural networks (DNN) and other classifiers. While a classifier is optimized during training through a so-called loss function, the performance of classifiers is usually evaluated by some measure of accuracy, such as the overall accuracy which quantifies the proportion of objects that are well classified. This leads to the guiding question of stability: does decreasing loss through training always result in increased accuracy? We formalize the notion of stability, and provide examples of instability. Our main result consists of two novel conditions on the classifier which, if either is satisfied, ensure stability of training, that is we derive tight bounds on accuracy as loss decreases. We also derive a sufficient condition for stability on the training set alone, identifying flat portions of the data manifold as potential sources of instability. The latter condition is explicitly verifiable on the training dataset. Our results do not depend on the algorithm used for training, as long as loss decreases with training.
△ Less
Submitted 1 October, 2020; v1 submitted 10 February, 2020;
originally announced February 2020.