-
Well-posedness results for general reaction-diffusion transport of oxygen in encapsulated cells
Authors:
Yuma Nakamura,
Kharisma Surya Putri,
Alef Sterk,
Thomas Geert de Jong
Abstract:
In this paper, we provide well-posedness results for nonlinear parabolic PDEs given by reaction-diffusion equations describing the concentration of oxygen in encapsulated cells. The cells are described in terms of a core and a shell, which introduces a discontinuous diffusion coefficient as the material properties of the core and shell differ. In addition, the cells are subject to general nonlinea…
▽ More
In this paper, we provide well-posedness results for nonlinear parabolic PDEs given by reaction-diffusion equations describing the concentration of oxygen in encapsulated cells. The cells are described in terms of a core and a shell, which introduces a discontinuous diffusion coefficient as the material properties of the core and shell differ. In addition, the cells are subject to general nonlinear consumption of oxygen. As no monotonicity condition is imposed on the consumption monotone operator theory cannot be used. Moreover, the discontinuity in the diffusion coefficient bars us to apply classical results. However, by directly applying a Galerkin method we obtain uniqueness and existence of the strong form solution. These results will provide the basis to study the dynamics of cells in critical states.
△ Less
Submitted 3 July, 2024; v1 submitted 18 January, 2024;
originally announced January 2024.
-
Virtual reservoir acceleration for CPU and GPU: Case study for coupled spin-torque oscillator reservoir
Authors:
Thomas Geert de Jong,
Nozomi Akashi,
Tomohiro Taniguchi,
Hirofumi Notsu,
Kohei Nakajima
Abstract:
We provide high-speed implementations for simulating reservoirs described by $N$-coupled spin-torque oscillators. Here $N$ also corresponds to the number of reservoir nodes. We benchmark a variety of implementations based on CPU and GPU. Our new methods are at least 2.6 times quicker than the baseline for $N$ in range $1$ to $10^4$. More specifically, over all implementations the best factor is 78…
▽ More
We provide high-speed implementations for simulating reservoirs described by $N$-coupled spin-torque oscillators. Here $N$ also corresponds to the number of reservoir nodes. We benchmark a variety of implementations based on CPU and GPU. Our new methods are at least 2.6 times quicker than the baseline for $N$ in range $1$ to $10^4$. More specifically, over all implementations the best factor is 78.9 for $N=1$ which decreases to 2.6 for $N=10^3$ and finally increases to 23.8 for $N=10^4$. GPU outperforms CPU significantly at $N=2500$. Our results show that GPU implementations should be tested for reservoir simulations. The implementations considered here can be used for any reservoir with evolution that can be approximated using an explicit method.
△ Less
Submitted 2 December, 2023;
originally announced December 2023.
-
Hölder regularity for the trajectories of generalized charged particles in 1D
Authors:
Thomas Geert de Jong,
Patrick van Meurs
Abstract:
We prove Hölder regularity for the trajectories of an interacting particle system. The particle velocities are given by the nonlocal and singular interactions with the other particles. Particle collisions occur in finite time. Prior to collisions the particle velocities become unbounded, and thus the trajectories fail to be of class $C^1$. Our Hölder-regularity result supplements earlier studies o…
▽ More
We prove Hölder regularity for the trajectories of an interacting particle system. The particle velocities are given by the nonlocal and singular interactions with the other particles. Particle collisions occur in finite time. Prior to collisions the particle velocities become unbounded, and thus the trajectories fail to be of class $C^1$. Our Hölder-regularity result supplements earlier studies on the well-posedness of the particle system which imply only continuity of the trajectories. Moreover, it extends and unifies several of the previously obtained estimates on the trajectories. Our proof method relies on standard ODE techniques: we transform the system into different variables to expose and exploit the hidden monotonicity properties.
△ Less
Submitted 9 December, 2023; v1 submitted 15 November, 2023;
originally announced November 2023.
-
How neural networks learn to classify chaotic time series
Authors:
Alessandro Corbetta,
Thomas Geert de Jong
Abstract:
Neural networks are increasingly employed to model, analyze and control non-linear dynamical systems ranging from physics to biology. Owing to their universal approximation capabilities, they regularly outperform state-of-the-art model-driven methods in terms of accuracy, computational speed, and/or control capabilities. On the other hand, neural networks are very often they are taken as black box…
▽ More
Neural networks are increasingly employed to model, analyze and control non-linear dynamical systems ranging from physics to biology. Owing to their universal approximation capabilities, they regularly outperform state-of-the-art model-driven methods in terms of accuracy, computational speed, and/or control capabilities. On the other hand, neural networks are very often they are taken as black boxes whose explainability is challenged, among others, by huge amounts of trainable parameters. In this paper, we tackle the outstanding issue of analyzing the inner workings of neural networks trained to classify regular-versus-chaotic time series. This setting, well-studied in dynamical systems, enables thorough formal analyses. We focus specifically on a family of networks dubbed Large Kernel Convolutional Neural Networks (LKCNN), recently introduced by Boullé et al. (2021). These non-recursive networks have been shown to outperform other established architectures (e.g. residual networks, shallow neural networks and fully convolutional networks) at this classification task. Furthermore, they outperform ``manual'' classification approaches based on direct reconstruction of the Lyapunov exponent. We find that LKCNNs use qualitative properties of the input sequence. In particular, we show that the relation between input periodicity and activation periodicity is key for the performance of LKCNN models. Low performing models show, in fact, analogous periodic activations to random untrained models. This could give very general criteria for identifying, a priori, trained models that have poor accuracy.
△ Less
Submitted 4 June, 2023;
originally announced June 2023.
-
Reaction-diffusion transport into core-shell geometry: Well-posedness and stability of stationary solutions
Authors:
T. G. de Jong,
G. Prokert,
A. E. Sterk
Abstract:
We investigate a nonlinear parabolic reaction-diffusion equation describing the oxygen concentration in encapsulated pancreatic cells with a general core-shell geometry. This geometry introduces a discontinuous diffusion coefficient as the material properties of the core and shell differ. We apply monotone operator theory to show well-posedness of the problem in the strong form. Furthermore, the s…
▽ More
We investigate a nonlinear parabolic reaction-diffusion equation describing the oxygen concentration in encapsulated pancreatic cells with a general core-shell geometry. This geometry introduces a discontinuous diffusion coefficient as the material properties of the core and shell differ. We apply monotone operator theory to show well-posedness of the problem in the strong form. Furthermore, the stationary solutions are unique and asymptotically stable. These results rely on the gradient structure of the underlying PDE.
△ Less
Submitted 5 May, 2023;
originally announced May 2023.
-
Uniqueness of local, analytic solutions to singular ODEs
Authors:
Thomas Geert de Jong,
Patrick van Meurs
Abstract:
We study local, analytic solutions for a class of initial value problems for singular ODEs. We prove existence and uniqueness of such solutions under a certain non-resonance condition. Our proof translates the singular initial value problem to an equilibrium problem of a regular ODE. Then, we apply classical invariant manifold theory. We demonstrate that the class of ODEs under consideration captu…
▽ More
We study local, analytic solutions for a class of initial value problems for singular ODEs. We prove existence and uniqueness of such solutions under a certain non-resonance condition. Our proof translates the singular initial value problem to an equilibrium problem of a regular ODE. Then, we apply classical invariant manifold theory. We demonstrate that the class of ODEs under consideration captures models which describe the shape of axially symmetric surfaces which are closed on one side. Our main result guarantees smoothness at the tip of the surface.
△ Less
Submitted 18 August, 2021;
originally announced August 2021.
-
Fungal tip growth arising through a codimension-1 global bifurcation
Authors:
T. G. de Jong,
A. E. Sterk,
H. W. Broer
Abstract:
Tip growth is a growth stage which occurs in fungal cells. During tip growth, the cell exhibits continuous extreme lengthwise growth while its shape remains qualitatively the same. A model for single celled fungal tip growth is given by the Ballistic Ageing Thin viscous Sheet (BATS) model, which consists of a 5-dimensional system of first order differential equations. The solutions of the BATS mod…
▽ More
Tip growth is a growth stage which occurs in fungal cells. During tip growth, the cell exhibits continuous extreme lengthwise growth while its shape remains qualitatively the same. A model for single celled fungal tip growth is given by the Ballistic Ageing Thin viscous Sheet (BATS) model, which consists of a 5-dimensional system of first order differential equations. The solutions of the BATS model that correspond to fungal tip growth arise through a codimension-1 global bifurcation in a 2-parameter family of solutions. In this paper we derive a toy model from the BATS model. The toy model is given by 2-dimensional system of first order differential equations which depend on a single parameter. The main achievement of this paper is a proof that the toy model exhibits an analogue of the codimension-1 global bifurcation in the BATS model. An important ingredient of the proof is a topological method which enables the identification of the bifurcation points. Finally, we discuss how the proof may be generalized to the BATS model.
△ Less
Submitted 12 September, 2019;
originally announced September 2019.