No Arabic abstract
We provide a simple proof of the bifurcation condition for localized bulging in a hyperelastic tube of arbitrary thickness that is subjected to combined axial loading and internal pressure. Using analytic tools, we prove that the bifurcation condition is equivalent to the vanishing of the Jacobian of the internal pressure $P$ and the resultant axial force $N$, with each of them viewed as a function of the azimuthal stretch on the inner surface and the axial stretch. Previously this was only established by numerical calculations. The method should be applicable to any bifurcations that depend on a slowly varying variable, concluding that they share the same bifurcation conditions with bifurcations into uniform/homogeneous states as long as the equations determining the bifurcation condition are not trivially satisfied by uniform/homogeneous solutions.
Assuming a steady-state condition within a cell, metabolic fluxes satisfy an under-determined linear system of stoichiometric equations. Characterizing the space of fluxes that satisfy such equations along with given bounds (and possibly additional relevant constraints) is considered of utmost importance for the understanding of cellular metabolism. Extreme values for each individual flux can be computed with Linear Programming (as Flux Balance Analysis), and their marginal distributions can be approximately computed with Monte-Carlo sampling. Here we present an approximate analytic method for the latter task based on Expectation Propagation equations that does not involve sampling and can achieve much better predictions than other existing analytic methods. The method is iterative, and its computation time is dominated by one matrix inversion per iteration. With respect to sampling, we show through extensive simulation that it has some advantages including computation time, and the ability to efficiently fix empirically estimated distributions of fluxes.
In this paper we present a proof system that operates on graphs instead of formulas. Starting from the well-known relationship between formulas and cographs, we drop the cograph-conditions and look at arbitrary undirected) graphs. This means that we lose the tree structure of the formulas corresponding to the cographs, and we can no longer use standard proof theoretical methods that depend on that tree structure. In order to overcome this difficulty, we use a modular decomposition of graphs and some techniques from deep inference where inference rules do not rely on the main connective of a formula. For our proof system we show the admissibility of cut and a generalization of the splitting property. Finally, we show that our system is a conservative extension of multiplicative linear logic with mix, and we argue that our graphs form a notion of generalized connective.
In the emerging field of 3D bioprinting, cell damage due to large deformations is considered a main cause for cell death and loss of functionality inside the printed construct. Those deformations, in turn, strongly depend on the mechano-elastic response of the cell to the hydrodynamic stresses experienced during printing. In this work, we present a numerical model to simulate the deformation of biological cells in arbitrary three-dimensional flows. We consider cells as an elastic continuum according to the hyperelastic Mooney-Rivlin model. We then employ force calculations on a tetrahedralized volume mesh. To calibrate our model, we perform a series of FluidFM(R) compression experiments with REF52 cells demonstrating that all three parameters of the Mooney-Rivlin model are required for a good description of the experimental data at very large deformations up to 80%. In addition, we validate the model by comparing to previous AFM experiments on bovine endothelial cells and artificial hydrogel particles. To investigate cell deformation in flow, we incorporate our model into Lattice Boltzmann simulations via an Immersed-Boundary algorithm. In linear shear flows, our model shows excellent agreement with analytical calculations and previous simulation data.
Previous linear bifurcation analyses have evidenced that an axially stretched soft cylindrical tube may develop an infinite-wavelength (localised) instability when one or both of its lateral surfaces are under sufficient surface tension. Phase transition interpretations have also highlighted that the tube admits a final evolved two-phase state. How the localised instability initiates and evolves into the final two-phase state is still a matter of contention, and this is the focus of the current study. Through a weakly non-linear analysis conducted for a general material model, the initial sub-critical bifurcation solution is found to be localised bulging or necking depending on whether the axial stretch is greater or less than a certain threshold value. At this threshold value, an exceptionally super-critical kink-wave solution arises in place of localisation. A thorough interpretation of the anticipated post-bifurcation behaviour based on our theoretical results is also given, and this is supported by Finite Element Method (FEM) simulations.
We propose an analytic proof of the Malgrange-Sibuya theorem concerning a sufficient condition of the convergence of a formal power series satisfying an ordinary differential equation. The proof is based on the majorant method and allows to estimate the radius of convergence of such a series.