SearcharxivSearch

arXiv subjects

Abramo Agosti

Publications and source records attributed to Abramo Agosti.

17 recordsLinked to original sources

Numerical analysis and coarsening dynamics of the Active Cahn-Hilliard equation

We investigate the analysis and phase ordering dynamics of the active Cahn--Hilliard equation, providing novel results beyond the current state of the art concerning the well-posedness and the characterization of its coarsening dynamics. We consider both regular polynomial and singular logarithmic potentials. In particular, we exploit a new method based on heteroclinic trajectories in the phase plane to characterize static kink profiles and spherical droplet states, recovering the exact values of key quantities related to static phase-separated configurations; moreover, we develop a theory accounting for surface tension modifications driven by activity and local interface curvature, which explains the power-law shift $L(t)\sim t^{\frac{1}{z}}$ from $z=3$ to $z=4$ induced by activity for the characteristic domain length conjectured in the literature. This shows that there is a transitory effect before the attainment of a finite saturation length. We also design an efficient numerical scheme, based on finite elements, to approximate the model, proving its well-posedness and stability both for regular and singular potentials. In dimensions $d=2,3$ with singular potential, the convergence analysis of the finite element approximation proves the local-in-time existence and uniqueness of weak solutions satisfying the physical constraint $\phi \in (-1, 1)$. In dimension $d=1$ with singular potential, we establish global-in-time well-posedness and regularity of weak solutions under a smallness condition on the activity parameter. Finally, we show numerical simulations for different test cases which prove that our numerical algorithm correctly reproduces the expected phase separation dynamics. Moreover, we show the results for coarsening dynamics at late times which present a power law shift from $z=3$ to $z=4$ prior to reaching late-time length saturation, which confirms our theoretical findings.

math.NA

Characterizing the Dynamics of Muscle Regeneration in the mdx Mouse Model

In this work, we explore a model of immune response in the skeletal muscle of the mdx mouse, the preferred animal model for studying Duchenne Muscular Dystrophy. The system studied is based on existing literature and describes the reaction of the tissue, and of the immune cells within it, to external damage, focusing specifically on the regeneration process. This work extends the analysis conducted by the authors of the original paper, highlighting interesting dynamical properties of the system, particularly in terms of longterm behavior and dependence on initial conditions. A modification is then introduced to the original equations, incorporating a diffusion term for immune cells. The dynamics of the system is numerically investigated in both the one-dimensional and two-dimensional cases. Specifically, we investigate the effect of diffusion under various boundary conditions, and the system's response to localized damage.

math.DS

Carleman estimates for backward Cahn-Hilliard-reaction-diffusion problems

We study a backward inverse problem for a coupled Cahn-Hilliard-reaction-diffusion system. Our main result is a Carleman estimate for a fourth-order/second-order parabolic system with cross-diffusion terms, which allows us to derive conditional stability estimates for the reconstruction of past states from a single final-time observation: H\"older stability at positive times and logarithmic stability for the initial datum. We then apply the Carleman estimate to a phase-field tumour growth model coupling the tumour volume fraction with a nutrient concentration. In this setting, we obtain backward uniqueness and quantitative stability for the recovery of early tumour states, improving earlier results based on logarithmic convexity, which only yielded uniqueness under an additional smallness assumption on the chemotaxis coefficient. We also discuss how these results support Lipschitz stability on finite-dimensional admissible sets, which is relevant for ensuring convergence of iterative discretisation algorithms.

math.AP

Deep Anatomical Federated Network (Dafne): An open client-server framework for the continuous, collaborative improvement of deep learning-based medical image segmentation

Purpose: To present and evaluate Dafne (deep anatomical federated network), a freely available decentralized, collaborative deep learning system for the semantic segmentation of radiological images through federated incremental learning. Materials and Methods: Dafne is free software with a client-server architecture. The client side is an advanced user interface that applies the deep learning models stored on the server to the user's data and allows the user to check and refine the prediction. Incremental learning is then performed at the client's side and sent back to the server, where it is integrated into the root model. Dafne was evaluated locally, by assessing the performance gain across model generations on 38 MRI datasets of the lower legs, and through the analysis of real-world usage statistics (n = 639 use-cases). Results: Dafne demonstrated a statistically improvement in the accuracy of semantic segmentation over time (average increase of the Dice Similarity Coefficient by 0.007 points/generation on the local validation set, p < 0.001). Qualitatively, the models showed enhanced performance on various radiologic image types, including those not present in the initial training sets, indicating good model generalizability. Conclusion: Dafne showed improvement in segmentation quality over time, demonstrating potential for learning and generalization.

eess.IV

Large deformations in terms of stretch and rotation and global solution to the quasi-stationary problem

In this paper we derive a new model for visco-elasticity with large deformations where the independent variables are the stretch and the rotation tensors which intervene with second gradients terms accounting for physical properties in the principle of virtual power. Another basic feature of our model is that there is conditional compatibility, entering the model as kinematic constraints and depending on the magnitude of an internal force associated to dislocations. Moreover, due to the kinematic constraints, the virtual velocities depend on the solutions of the problem. As a consequence, the variational formulation of the problem and the related mathematical analysis are neither standard nor straightforward. We adopt the strategy to invert the kinematic constraints through Green propagators, obtaining a system of integro-differential coupled equations. As a first mathematical step, we develop the analysis of the model in a simplified setting, i.e. considering the quasi-stationary version of the full system where we neglect inertia. In this context, we prove the existence of a global in time strong solution in three space dimensions for the system, employing techniques from PDEs and convex analysis, thus obtaining a novel breakthrough in the field of three-dimensional finite visco-elasticity described in terms of the stretch and rotation variables. We also study a limit problem, letting the magnitude of the internal force associated to dislocations tend to zero, in which case the deformation becomes incompatible and the equations takes the form of a coupled system of PDEs. For the limit problem we obtain global existence, uniqueness and continuous dependence from data in three space dimensions.

math.AP

Identifying early tumour states in a Cahn-Hilliard-reaction-diffusion model

In this paper, we tackle the problem of reconstructing earlier tumour configurations starting from a single spatial measurement at a later time. We describe the tumour evolution through a diffuse interface model coupling a Cahn-Hilliard-type equation for the tumour phase field to a reaction-diffusion equation for a key nutrient proportion, also accounting for chemotaxis effects. We stress that the ability to reconstruct earlier tumour states is crucial for calibrating the model used to predict the tumour dynamics and also to identify the areas where the tumour initially began to develop. However, backward-in-time inverse problems are well-known to be severely ill-posed, even for linear parabolic equations. Moreover, we also face additional challenges due to the complexity of a non-linear fourth-order parabolic system. Nonetheless, we can establish uniqueness by using logarithmic convexity methods under suitable a priori assumptions. To further address the ill-posedness of the inverse problem, we propose a Tikhonov regularisation approach that approximates the solution through a family of constrained minimisation problems. For such problems, we analytically derive the first-order necessary optimality conditions. Finally, we develop a computationally efficient numerical approximation of the optimisation problems by employing standard $C^0$-conforming first-order finite elements. We conduct numerical experiments on several pertinent test cases and observe that the proposed algorithm consistently meets expectations, delivering accurate reconstructions of the original ground truth.

math.AP

Large deformations in terms of stretch and rotation and local solution to the non-stationary problem

In this paper we consider and generalize a model, recently proposed and analytically investigated in its quasi-stationary approximation by the authors, for visco-elasticity with large deformations and conditional compatibility, where the independent variables are the stretch and the rotation tensors. The model takes the form of a system of integro-differential coupled equations. Here, its derivation is generalized to consider mixed boundary conditions, which may represent a wider range of physical applications then the case with Dirichlet boundary conditions considered in our previous contribution. This also introduces nontrivial technical difficulties in the theoretical framework, related to the definition and the regularity of the solutions of elliptic operators with mixed boundary conditions. As a novel contribution, we develop the analysis of the fully non-stationary version of the system where we consider inertia. In this context, we prove the existence of a local in time weak solution in three space dimensions, employing techniques from PDEs and convex analysis.

math.AP

Analysis of a multi-species Cahn-Hilliard-Keller-Segel tumor growth model with chemotaxis and angiogenesis

We introduce a multi-species diffuse interface model for tumor growth, characterized by its incorporation of essential features related to chemotaxis, angiogenesis and proliferation mechanisms. We establish the weak well-posedness of the system within an appropriate variational framework, accommodating various choices for the nonlinear potentials. One of the primary novelties of the work lies in the rigorous establishment of the existence of a weak solution through the introduction of delicate approximation schemes. To our knowledge, this represents a novel advancement for both the intricate Cahn-Hilliard-Keller-Segel system and the Keller-Segel subsystem with source terms. Moreover, when specific conditions are met, such as having more regular initial data, a smallness condition on the chemotactic constant with respect to the magnitude of initial conditions and potentially focusing solely on the two-dimensional case, we provide regularity results for the weak solutions. Finally, we derive a continuous dependence estimate, which, in turn, leads to the uniqueness of the smoothed solution as a natural consequence.

math.AP

Energy-variational solutions for viscoelastic fluid models

In this article, we introduce the concept of energy-variational solutions for a large class of systems of nonlinear evolutionary partial differential equations. Under certain convexity assumptions, the existence of such solutions can be shown constructively by an adapted minimizing movement scheme. Weak-strong uniqueness follows by a suitable relative energy inequality. Our main motivation is to apply the general framework to viscoelastic fluid models. Therefore, we give a short overview on different versions of such models and their derivation. The abstract result is applied to two of these viscoelastic fluid models in full detail. In the conclusion, we comment on further applications of the general theory and its possible impact.

math.AP

Strict separation and numerical approximation for a non-local Cahn-Hilliard equation with single-well potential

In this paper we study a non-local Cahn-Hilliard equation with singular single-well potential and degenerate mobility. This results as a particular case of a more general model derived for a binary, saturated, closed and incompressible mixture, composed by a tumor phase and a healthy phase, evolving in a bounded domain. The general system couples a Darcy-type evolution for the average velocity field with a convective reaction-diffusion type evolution for the nutrient concentration and a non-local convective Cahn-Hilliard equation for the tumor phase. The main mathematical difficulties are related to the proof of the separation property for the tumor phase in the Cahn-Hilliard equation: up to our knowledge, such problem is indeed open in the literature. For this reason, in the present contribution we restrict the analytical study to the Cahn-Hilliard equation only. For the non-local Cahn- Hilliard equation with singular single-well potential and degenerate mobility, we study the existence and uniqueness of weak solutions for spatial dimensions $d\leq 3$. After showing existence, we prove the strict separation property in three spatial dimensions, implying the same property also for lower spatial dimensions, which opens the way to the proof of uniqueness of solutions. Finally, we propose a well posed and gradient stable continuous finite element approximation of the model for $d\leq 3$, which preserves the physical properties of the continuos solution and which is computationally efficient, and we show simulation results in two spatial dimensions which prove the consistency of the proposed scheme and which describe the phase ordering dynamics associated to the system.

math.AP

A Cahn-Hilliard phase field model coupled to an Allen-Cahn model of viscoelasticity at large strains

We propose a new Cahn-Hilliard phase field model coupled to incompressible viscoelasticity at large strains, obtained from a diffuse interface mixture model and formulated in the Eulerian configuration. A new kind of diffusive regularization, of Allen-Cahn type, is introduced in the transport equation for the deformation gradient, together with a regularizing interface term depending on the gradient of the deformation gradient in the free energy of the system. We study the global existence of a weak solution for the model. While standard diffusive regularizations of the transport equation for the deformation gradient presented in literature allows the existence study only for simplified cases, i.e. in two space dimensions and for convex elastic free energy densities of Neo-Hookean type which are independent from the phase field variable, the present regularization allows to study more general cases. In particular, we obtain the global existence of a weak solution in three space dimensions and for generic nonlinear elastic energy densities with polynomial growth. Our analysis considers elastic free energy densities which depend on the phase field variable and which can possibly degenerate for some values of the phase field variable. By means of an iterative argument based on elliptic regularity bootstrap steps, we find the maximum allowed polynomial growths of the Cahn-Hilliard potential and the elastic energy density which guarantee the existence of a solution in three space dimensions. We propose two unconditionally energy stable finite element approximations of the model, based on convex splitting ideas and on the use of a scalar auxiliary variable, proving the existence and stability of discrete solutions. We finally report numerical results for different test cases with shape memory alloy type free energy with pure phases characterized by different elastic properties.

math.AP

A Cahn-Hilliard model coupled to viscoelasticity with large deformations

We propose a new class of phase field models coupled to viscoelasticity with large deformations, obtained from a diffuse interface mixture model composed by a phase with elastic properties and a liquid phase. The model is formulated in the Eulerian configuration and it is derived by imposing the mass balance for the mixture components and the momentum balance that comes from a generalized form of the principle of virtual powers. The latter considers the presence of a system of microforces and microstresses associated to the microscopic interactions between the mixture's constituents together with a system of macroforces and macrostresses associated to their viscoelastic behavior, taking into account also the friction between the phases. The free energy density of the system is given as the sum of a Cahn-Hilliard term and an elastic polyconvex term, with a coupling between the phase field variable and the elastic deformation gradient in the elastic contribution. General constitutive assumptions complying with a mechanical version of the second law of thermodynamics in isothermal situations are taken. We study the global existence of a weak solution for a simplified and regularized version of the general model, which considers an incompressible elastic free energy of Neo-Hookean type with elastic coefficients depending on the phase field variable. The regularization is properly designed to deal with the coupling between the phase field variable and the elastic deformation gradient in the elastic energy density. The analysis is made both in two and three space dimensions.

math.AP

An image-informed Cahn-Hilliard Keller-Segel multiphase field model for tumor growth with angiogenesis

We develop a new four-phase tumor growth model with angiogenesis, derived from a diffuse-interface mixture model composed by a viable, a necrotic, a liquid and an angiogenetic component, coupled with two massless chemicals representing a perfectly diluted nutrient and an angiogenetic factor. This model is derived from variational principles complying with the second law of thermodynamics in isothermal situations, starting from biological constitutive assumptions on the tumor cells adhesion properties and on the infiltrative mechanics of tumor-induced vasculature in the tumor tissues, and takes the form of a coupled degenerate Cahn-Hilliard Keller-Segel system for the mixture components with reaction diffusion equations for the chemicals. The model is informed by neuroimaging data, which give informations about the patient-specific brain geometry and tissues microstructure, the distribution of the different tumor components, the white matter fiber orientations and the vasculature density. We describe specific and robust preprocessing steps to extract quantitative informations from the neuroimaging data and to construct a computational platform to solve the model on a patient-specific basis. We introduce a finite element approximation of the model which preserve the qualitative properties of the continuous solutions. Finally, we show simulation results for the patient-specific tumor evolution of a patient affected by GlioBlastoma Multiforme, considering two different test cases before surgery, corresponding to situations with high or low nutrient supply inside the tumor, and a test case after surgery. We show that our model correctly predicts the overall extension of the tumor distribution and the intensity of the angiogenetic process, paving the way for assisting the clinicians in properly assessing the therapy outcomes and in designing optimal patient-specific therapeutic schedules.

math.NA

Quantification of pulmonary involvement in COVID-19 pneumonia by means of a cascade oftwo U-nets: training and assessment on multipledatasets using different annotation criteria

The automatic assignment of a severity score to the CT scans of patients affected by COVID-19 pneumonia could reduce the workload in radiology departments. This study aims at exploiting Artificial intelligence (AI) for the identification, segmentation and quantification of COVID-19 pulmonary lesions. We investigated the effects of using multiple datasets, heterogeneously populated and annotated according to different criteria. We developed an automated analysis pipeline, the LungQuant system, based on a cascade of two U-nets. The first one (U-net_1) is devoted to the identification of the lung parenchyma, the second one (U-net_2) acts on a bounding box enclosing the segmented lungs to identify the areas affected by COVID-19 lesions. Different public datasets were used to train the U-nets and to evaluate their segmentation performances, which have been quantified in terms of the Dice index. The accuracy in predicting the CT-Severity Score (CT-SS) of the LungQuant system has been also evaluated. Both Dice and accuracy showed a dependency on the quality of annotations of the available data samples. On an independent and publicly available benchmark dataset, the Dice values measured between the masks predicted by LungQuant system and the reference ones were 0.95$\pm$0.01 and 0.66$\pm$0.13 for the segmentation of lungs and COVID-19 lesions, respectively. The accuracy of 90% in the identification of the CT-SS on this benchmark dataset was achieved. We analysed the impact of using data samples with different annotation criteria in training an AI-based quantification system for pulmonary involvement in COVID-19 pneumonia. In terms of the Dice index, the U-net segmentation quality strongly depends on the quality of the lesion annotations. Nevertheless, the CT-SS can be accurately predicted on independent validation sets, demonstrating the satisfactory generalization ability of the LungQuant.

eess.IV

Learning patient-specific parameters for a diffuse interface glioblastoma model from neuroimaging data

Parameters in mathematical models for glioblastoma multiforme (GBM) tumour growth are highly patient specific. Here we aim to estimate parameters in a Cahn-Hilliard type diffuse interface model in an optimised way using model order reduction (MOR) based on proper orthogonal decomposition (POD). Based on snapshots derived from finite element simulations for the full order model (FOM) we use POD for dimension reduction and solve the parameter estimation for the reduced order model (ROM). Neuroimaging data are used to define the highly inhomogeneous diffusion tensors as well as to define a target functional in a patient specific manner. The reduced order model heavily relies on the discrete empirical interpolation method (DEIM) which has to be appropriately adapted in order to deal with the highly nonlinear and degenerate parabolic PDEs. A feature of the approach is that we iterate between full order solves with new parameters to compute a POD basis function and sensitivity based parameter estimation for the ROM problems. The algorithm is applied using neuroimaging data for two clinical test cases and we can demonstrate that the reduced order approach drastically decreases the computational effort.

math.NA

The self-organised, non-equilibrium dynamics of spontaneous cancerous buds

Tissue self-organization into defined and well-controlled three-dimensional structures is essential during development for the generation of organs. A similar, but highly deranged process might also occur during the aberrant growth of cancers, which frequently display a loss of the orderly structures of the tissue of origin, but retain a multicellular organization in the form of spheroids, strands, and buds. The latter structures are often seen when tumors masses switch to an invasive behavior into surrounding tissues. However, the general physical principles governing the self-organized architectures of tumor cell populations remain by and large unclear. In this work, we perform in-vitro experiments to characterize the growth properties of glioblastoma budding emerging from monolayers. Using a theoretical model and numerical tools here we find that such a topological transition is a self-organised, non-equilibrium phenomenon driven by the trade--off of mechanical forces and physical interactions exerted at cell-cell and cell-substrate adhesions. Notably, the unstable disorder states of uncontrolled cellular proliferation macroscopically emerge as complex spatio--temporal patterns that evolve statistically correlated by a universal law.

q-bio.CB

On the existence of elastic minimizers for initially stressed materials

A soft solid is said to be initially stressed if it is subjected to a state of internal stress in its unloaded reference configuration. Developing a sound mathematical framework to model initially stressed solids in nonlinear elasticity is key for many applications in engineering and biology. This work investigates the links between the existence of elastic minimizers and the constitutive restrictions for initially stressed materials subjected to finite deformations. In particular, we consider a subclass of constitutive responses in which the strain energy density is taken as a scalar valued function of both the deformation gradient and the initial stress tensor. The main advantage of this approach is that the initial stress tensor belongs to the group of the divergence-free symmetric tensors satisfying the boundary condition in any given reference configuration. However, it is still unclear which physical restrictions must be imposed for the well-posedness of this elastic problem. Assuming that the constitutive response depends on the choice of the reference configuration only through the initial stress tensor, under given conditions we prove the local existence of a relaxed state given by an implicit tensor function of the initial stress distribution. This tensor function is generally not unique, and can be transformed accordingly to the symmetry group of the material at fixed initial stresses. These results allow to extend Ball's existence theorem of elastic minimizers for the proposed constitutive choice of initially stressed materials.

cond-mat.soft