arXiv subjects

Cecilia Cavaterra

Publications and source records attributed to Cecilia Cavaterra.

At least 19 recordsLinked to original sources

arXiv2026

On a relaxed Cahn-Hilliard tumour growth model with single-well potential and degenerate mobility

We consider a phase-field system modelling solid tumour growth. This system consists of a Cahn-Hilliard equation coupled with a nutrient equation. The former is characterised by a degenerate mobility and a singular potential. Both equations are subject to suitable reaction terms which model proliferation and nutrient consumption. Chemotactic effects are also taken into account. Adding an elliptic regularisation, depending on a relaxation parameter $δ>0$, in the equation for the chemical potential, we prove the existence of a weak solution to an initial and boundary value problem for the relaxed system. Then, we let $δ$ go to zero, and we recover the existence of a weak solution to the original system.

math.AP↗

arXiv2026

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ölder 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↗

arXiv2025

Optimal control of the fidelity coefficient in a Cahn-Hilliard image inpainting model

We consider an inpainting model proposed by A. Bertozzi et al., which is based on a Cahn-Hilliard-type equation. This equation describes the evolution of an order parameter that represents an approximation of the original image occupying a bounded two-dimensional domain. The given image is assumed to be damaged in a fixed subdomain, and the equation is characterised by a linear reaction term. This term is multiplied by the so-called fidelity coefficient, which is a strictly positive bounded function defined in the undamaged region. The idea is that, given an initial image, the order parameter evolves towards the given image, and this process properly diffuses through the boundary of the damaged region, restoring the damaged image, provided that the fidelity coefficient is large enough. Here, we formulate an optimal control problem based on this fact, namely, our cost functional accounts for the magnitude of the fidelity coefficient. Assuming a singular potential to ensure that the order parameter takes its values in between 0 and 1, we first analyse the control-to-state operator and prove the existence of at least one optimal control, establishing the validity of first-order optimality conditions. Then, under suitable assumptions, we demonstrate second-order optimality conditions.

math.OC↗

arXiv2024

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↗

arXiv2024

Iterative algorithms for the reconstruction of early states of prostate cancer growth

The development of mathematical models of cancer informed by time-resolved measurements has enabled personalised predictions of tumour growth and treatment response. However, frequent cancer monitoring is rare, and many tumours are treated soon after diagnosis with limited data. To improve the predictive capabilities of cancer models, we investigate the problem of recovering earlier tumour states from a single spatial measurement at a later time. Focusing on prostate cancer, we describe tumour dynamics using a phase-field model coupled with two reaction-diffusion equations for a nutrient and the local prostate-specific antigen. We generate synthetic data using a discretisation based on Isogeometric Analysis. Then, building on our previous analytical work (Beretta et al., SIAP (2024)), we propose an iterative reconstruction algorithm based on the Landweber scheme, showing local convergence with quantitative rates and exploring an adaptive step size that leads to faster reconstruction algorithms. Finally, we run simulations demonstrating high-quality reconstructions even with long time horizons and noisy data.

math.AP↗

arXiv2024

Mathematical analysis of a model-constrained inverse problem for the reconstruction of early states of prostate cancer growth

The availability of cancer measurements over time enables the personalised assessment of tumour growth and therapeutic response dynamics. However, many tumours are treated after diagnosis without collecting longitudinal data, and cancer monitoring protocols may include infrequent measurements. To facilitate the estimation of disease dynamics and better guide ensuing clinical decisions, we investigate an inverse problem enabling the reconstruction of earlier tumour states by using a single spatial tumour dataset and a biomathematical model describing disease dynamics. We focus on prostate cancer, since aggressive cases of this disease are usually treated after diagnosis. We describe tumour dynamics with a phase-field model driven by a generic nutrient ruled by reaction-diffusion dynamics. The model is completed with another reaction-diffusion equation for the local production of prostate-specific antigen, which is a key prostate cancer biomarker. We first improve previous well-posedness results by further showing that the solution operator is continuously Fréchet differentiable. We then analyse the backward inverse problem concerning the reconstruction of earlier tumour states starting from measurements of the model variables at the final time. Since this problem is severely ill-posed, only very weak conditional stability of logarithmic type can be recovered from the terminal data. However, by restricting the unknowns to a compact subset of a finite-dimensional subspace, we can derive an optimal Lipschitz stability estimate.

math.AP↗

arXiv2024

Analysis of a Navier-Stokes phase-field crystal system

We consider an evolution system modeling a flow of colloidal particles which are suspended in an incompressible fluid and accounts for colloidal crystallization. The system consists of the Navier-Stokes equations for the volume averaged velocity coupled with the so-called Phase-Field Crystal equation for the density deviation. Considering this system in a periodic domain and assuming that the viscosity as well as the mobility depend on the density deviation, we first prove the existence of a weak solution in dimension three. Then, in dimension two, we establish the existence of a (unique) strong solution.

math.AP↗

arXiv2024

Optimal Distributed Control for a Cahn-Hilliard-Darcy System with Mass Sources, Unmatched Viscosities and Singular Potential

We study a Cahn-Hilliard-Darcy system with mass sources, which can be considered as a basic, though simplified, diffuse interface model for the evolution of tumor growth. This system is equipped with an impermeability condition for the (volume) averaged velocity $\mathbf{u}$ as well as homogeneous Neumann boundary conditions for the phase function $φ$ and the chemical potential $μ$. The source term in the convective Cahn-Hilliard equation contains a control $R$ that can be thought, for instance, as a drug or a nutrient in applications. Our goal is to study a distributed optimal control problem in the two dimensional setting with a cost functional of tracking-type. In the physically relevant case with unmatched viscosities for the binary fluid mixtures and a singular potential, we first prove the existence and uniqueness of a global strong solution with $φ$ being strictly separated from the pure phases $\pm 1$. This well-posedness result enables us to characterize the control-to-state mapping $\mathcal{S}:R \mapsto φ$. Then we obtain the existence of an optimal control, the Fréchet differentiability of $\mathcal{S}$ and first-order necessary optimality conditions expressed through a suitable variational inequality for the adjoint variables. Finally, we prove the differentiability of the control-to-costate operator and establish a second-order sufficient condition for the strict local optimality.

math.OC↗

arXiv2022

Identification of cavities and inclusions in linear elasticity with a phase-field approach

In this paper, we deal with the inverse problem of the shape reconstruction of cavities and inclusions embedded in a linear elastic isotropic medium from boundary displacement's measurements. For, we consider a constrained minimization problem involving a boundary quadratic misfit functional with a regularization term that penalizes the perimeter of the cavity or inclusion to be identified. Then using a phase-field approach we derive a robust algorithm for the reconstruction of elastic inclusions and of cavities modeled as inclusions with a very small elasticity tensor.

math.AP↗

arXiv2021

Global gradient estimates for a general type of nonlinear parabolic equations

We provide global gradient estimates for solutions to a general type of nonlinear parabolic equations, possibly in a Riemannian geometry setting. Our result is new in comparison with the existing ones in the literature, in light of the validity of the estimates in the global domain, and it detects several additional regularity effects due to special parabolic data. Moreover, our result comprises a large number of nonlinear sources treated by a unified approach, and it recovers many classical results as special cases.

math.AP↗

arXiv2021

Nonlocal Cahn-Hilliard-Hele-Shaw systems with singular potential and degenerate mobility

We study a Cahn-Hilliard-Hele-Shaw (or Cahn-Hilliard-Darcy) system for an incompressible mixture of two fluids. The relative concentration difference $φ$ is governed by a convective nonlocal Cahn-Hilliard equation with degenerate mobility and logarithmic potential. The volume averaged fluid velocity $\mathbf{u}$ obeys a Darcy's law depending on the so-called Korteweg force $μ\nabla φ$, where $μ$ is the nonlocal chemical potential. In addition, the kinematic viscosity $η$ may depend on $φ$. We establish first the existence of a global weak solution which satisfies the energy identity. Then we prove the existence of a strong solution. Further regularity results on the pressure and on $\mathbf{u}$ are also obtained. Weak-strong uniqueness is demonstrated in the two dimensional case. In the three-dimensional case, uniqueness of weak solutions holds if $η$ is constant. Otherwise, weak-strong uniqueness is shown by assuming that the pressure of the strong solution is $α$-Hölder continuous in space for $α\in (1/5,1)$.

math.AP↗

arXiv2021

On a phase--field model of damage for hybrid laminates with cohesive interface

In this paper we investigate a rate--independent model for hybrid laminates described by a damage phase--field approach on two layers coupled with a cohesive law governing the behaviour of their interface in a one-dimensional setup. For the analysis we adopt the notion of energetic evolution, based on global minimisation of the involved energy. Due to the presence of the cohesive zone, as already emerged in literature, compactness issues lead to the introduction of a fictitious variable replacing the physical one which represents the maximal opening of the interface displacement discontinuity reached during the evolution. A new strategy which allows to recover the equivalence between the fictitious and the real variable under general loading--unloading regimes is illustrated. The argument is based on temporal regularity of energetic evolutions. This regularity is achieved by means of a careful balance between the convexity of the elastic energy of the layers and the natural concavity of the cohesive energy of the interface.

math.AP↗

arXiv2019

On the determination of ischemic regions in the monodomain model of cardiac electrophysiology from boundary measurements

In this paper we consider the monodomain model of cardiac electrophysiology. After an analysis of the well-posedness of the model, we determine an asymptotic expansion of the perturbed potential due to the presence of small conductivity inhomogeneities (modeling small ischemic regions in the cardiac tissue) and use it to detect the anomalies from partial boundary measurements. This is done by determining the topological gradient of a suitable boundary misfit functional. The robustness of the algorithm is confirmed by several numerical experiments.

math.AP↗

arXiv2019

Pointwise gradient bounds for entire solutions of elliptic equations with non-standard growth conditions and general nonlinearities

We give pointwise gradient bounds for solutions of (possibly non-uniformly) elliptic partial differential equations in the entire Euclidean space. The operator taken into account is very general and comprises also the singular and degenerate nonlinear case with non-standard growth conditions. The sourcing term is also allowed to have a very general form, depending on the space variables, on the solution itself, on its gradient, and possibly on higher order derivatives if additional structural conditions are satisfied.

math.AP↗

arXiv2019

Long-time Dynamics and Optimal Control of a Diffuse Interface Model for Tumor Growth

We investigate the long-time dynamics and optimal control problem of a diffuse interface model that describes the growth of a tumor in presence of a nutrient and surrounded by host tissues. The state system consists of a Cahn-Hilliard type equation for the tumor cell fraction and a reaction-diffusion equation for the nutrient. The possible medication that serves to eliminate tumor cells is in terms of drugs and is introduced into the system through the nutrient. In this setting, the control variable acts as an external source in the nutrient equation. First, we consider the problem of `long-time treatment' under a suitable given source and prove the convergence of any global solution to a single equilibrium as $t\to+\infty$. Then we consider the `finite-time treatment' of a tumor, which corresponds to an optimal control problem. Here we also allow the objective cost functional to depend on a free time variable, which represents the unknown treatment time to be optimized. We prove the existence of an optimal control and obtain first order necessary optimality conditions for both the drug concentration and the treatment time. One of the main aim of the control problem is to realize in the best possible way a desired final distribution of the tumor cells, which is expressed by the target function $ϕ_Ω$. By establishing the Lyapunov stability of certain equilibria of the state system (without external source), we see that $ϕ_Ω$ can be taken as a stable configuration, so that the tumor will not grow again once the finite-time treatment is completed.

math.AP↗

arXiv2019

Sliding mode control of the Hodgkin-Huxley mathematical model

In this paper we deal with a feedback control design for the action potential of a neuronal membrane in relation with the non-linear dynamics of the Hodgkin-Huxley mathematical model. More exactly, by using an external current as a control expressed by a relay graph in the equation of the potential, we aim at forcing it to reach a certain manifold in finite time and to slide on it after that. From the mathematical point of view we solve a system involving a parabolic differential inclusion and three nonlinear differential equations via an approximating technique and a fixed point result. The existence of the sliding mode and the determination of the time at which the potential reaches the prescribed manifold is proved by a maximum principle argument. Numerical simulations are presented.

math.OC↗

arXiv2017

A nonlinear model for marble sulphation including surface rugosity: theoretical and numerical results

We consider an evolution system describing the phenomenon of marble sulphation of a monument, accounting of the surface rugosity. We first prove a local in time well posedness result. Then, stronger assumptions on the data allow us to establish the existence of a global in time solution. Finally, we perform some numerical simulations that illustrate the main feature of the proposed model.

math.AP↗

arXiv2017

On the inverse problem of detecting cardiac ischemias: theoretical analysis and numerical reconstruction

In this paper we develop theoretical analysis and numerical reconstruction techniques for the solution of an inverse boundary value problem dealing with the nonlinear, time-dependent monodomain equation, which models the evolution of the electric potential in the myocardial tissue. The goal is the detection of a small inhomogeneity $ω_\varepsilon$ (where the coefficients of the equation are altered) located inside a domain $Ω$ starting from observations of the potential on the boundary $\partial Ω$. Such a problem is related to the detection of myocardial ischemic regions, characterized by severely reduced blood perfusion and consequent lack of electric conductivity. In the first part of the paper we provide an asymptotic formula for electric potential perturbations caused by internal conductivity inhomogeneities of low volume fraction, extending the results published in [7] to the case of three-dimensional, parabolic problems. In the second part we implement a reconstruction procedure based on the topological gradient of a suitable cost functional. Numerical results obtained on an idealized three-dimensional left ventricle geometry for different measurement settings assess the feasibility and robustness of the algorithm.

math.AP↗