-
Optimal control on a brain tumor growth model with lactate metabolism, viscoelastic effects, and tissue damage
Authors:
Giulia Cavalleri,
Alain Miranville
Abstract:
In this paper, we study an optimal control problem for a brain tumor growth model that incorporates lactate metabolism, viscoelastic effects, and tissue damage. The PDE system, introduced in [G. Cavalleri, P. Colli, A. Miranville, E. Rocca, On a Brain Tumor Growth Model with Lactate Metabolism, Viscoelastic Effects, and Tissue Damage (2025)], couples a Fisher-Kolmogorov type equation for tumor cel…
▽ More
In this paper, we study an optimal control problem for a brain tumor growth model that incorporates lactate metabolism, viscoelastic effects, and tissue damage. The PDE system, introduced in [G. Cavalleri, P. Colli, A. Miranville, E. Rocca, On a Brain Tumor Growth Model with Lactate Metabolism, Viscoelastic Effects, and Tissue Damage (2025)], couples a Fisher-Kolmogorov type equation for tumor cell density with a reaction-diffusion equation for the lactate, a quasi-static force balance governing the displacement, and a nonlinear differential inclusion for tissue damage. The control variables, representing chemotherapy and a lactate-targeting drug, influence tumor progression and treatment response. Starting from well-posedness, regularity, and continuous dependence results already established, we define a suitable cost functional and prove the existence of optimal controls. Then, we analyze the differentiability of the control-to-state operator and establish a necessary first-order condition for treatment optimality.
△ Less
Submitted 21 March, 2025;
originally announced March 2025.
-
On a Brain Tumor Growth Model with Lactate Metabolism, Viscoelastic Effects, and Tissue Damage
Authors:
Giulia Cavalleri,
Pierluigi Colli,
Alain Miranville,
Elisabetta Rocca
Abstract:
In this paper, we study a nonlinearly coupled initial-boundary value problem describing the evolution of brain tumor growth including lactate metabolism. In our modeling approach, we also take into account the viscoelastic properties of the tissues as well as the reversible damage effects that could occur, possibly caused by surgery. After introducing the PDE system, coupling a Fischer-Kolmogorov…
▽ More
In this paper, we study a nonlinearly coupled initial-boundary value problem describing the evolution of brain tumor growth including lactate metabolism. In our modeling approach, we also take into account the viscoelastic properties of the tissues as well as the reversible damage effects that could occur, possibly caused by surgery. After introducing the PDE system, coupling a Fischer-Kolmogorov type equation for the tumor phase with a reaction-diffusion equation for the lactate, a quasi-static momentum balance with nonlinear elasticity and viscosity matrices, and a nonlinear differential inclusion for the damage, we prove the existence of global in time weak solutions under reasonable assumptions on the involved functions and data. Strengthening these assumptions, we subsequently prove further regularity properties of the solutions as well as their continuous dependence with respect to the data, entailing the well-posedness of the Cauchy problem associated with the nonlinear PDE system.
△ Less
Submitted 4 February, 2025;
originally announced February 2025.
-
From thermodynamics to protein design: Diffusion models for biomolecule generation towards autonomous protein engineering
Authors:
Wen-ran Li,
Xavier F. Cadet,
David Medina-Ortiz,
Mehdi D. Davari,
Ramanathan Sowdhamini,
Cedric Damour,
Yu Li,
Alain Miranville,
Frederic Cadet
Abstract:
Protein design with desirable properties has been a significant challenge for many decades. Generative artificial intelligence is a promising approach and has achieved great success in various protein generation tasks. Notably, diffusion models stand out for their robust mathematical foundations and impressive generative capabilities, offering unique advantages in certain applications such as prot…
▽ More
Protein design with desirable properties has been a significant challenge for many decades. Generative artificial intelligence is a promising approach and has achieved great success in various protein generation tasks. Notably, diffusion models stand out for their robust mathematical foundations and impressive generative capabilities, offering unique advantages in certain applications such as protein design. In this review, we first give the definition and characteristics of diffusion models and then focus on two strategies: Denoising Diffusion Probabilistic Models and Score-based Generative Models, where DDPM is the discrete form of SGM. Furthermore, we discuss their applications in protein design, peptide generation, drug discovery, and protein-ligand interaction. Finally, we outline the future perspectives of diffusion models to advance autonomous protein design and engineering. The E(3) group consists of all rotations, reflections, and translations in three-dimensions. The equivariance on the E(3) group can keep the physical stability of the frame of each amino acid as much as possible, and we reflect on how to keep the diffusion model E(3) equivariant for protein generation.
△ Less
Submitted 5 January, 2025;
originally announced January 2025.
-
Pullback attractors for nonclassical diffusion equations with a delay operator
Authors:
Bin Yang,
Yuming Qin,
Alain Miranville,
Ke Wang
Abstract:
In this paper, we consider the asymptotic behavior of weak solutions for nonclassical non-autonomous diffusion equations with a delay operator in time-dependent spaces when the nonlinear function $g$ satisfies subcritical exponent growth conditions, the delay operator $\varphi(t, u_t)$ contains some hereditary characteristics and the external force…
▽ More
In this paper, we consider the asymptotic behavior of weak solutions for nonclassical non-autonomous diffusion equations with a delay operator in time-dependent spaces when the nonlinear function $g$ satisfies subcritical exponent growth conditions, the delay operator $\varphi(t, u_t)$ contains some hereditary characteristics and the external force $k \in L_{l o c}^{2}\left(\mathbb{R} ; L^{2}(Ω)\right)$. First, we prove the well-posedness of solutions by using the Faedo-Galerkin approximation method. Then after a series of elaborate energy estimates and calculations, we establish the existence and regularity of pullback attractors in time-dependent spaces $C_{\mathcal{H}_{t}(Ω)}$ and $C_{\mathcal{H}^{1}_{t}(Ω)}$, respectively.
△ Less
Submitted 13 December, 2024;
originally announced December 2024.
-
Existence and upper semicontinuity of pullback attractors for Kirchhoff wave equations in time-dependent spaces
Authors:
Bin Yang,
Yuming Qin,
Alain Miranville,
Ke Wang
Abstract:
In this paper, we shall investigate the existence and upper semicontinuity of pullback attractors for non-autonomous Kirchhoff wave equations with a strong damping in the time-dependent space $X_t$. After deriving the existence and uniqueness of solutions by the Faedo-Galerkin approximation method, we establish the existence of pullback attractors. Later on, we prove the upper semicontinuity of pu…
▽ More
In this paper, we shall investigate the existence and upper semicontinuity of pullback attractors for non-autonomous Kirchhoff wave equations with a strong damping in the time-dependent space $X_t$. After deriving the existence and uniqueness of solutions by the Faedo-Galerkin approximation method, we establish the existence of pullback attractors. Later on, we prove the upper semicontinuity of pullback attractors between the Kirchhoff-type wave equations with $δ\geq 0$ and the conventional wave equations with $δ=0$ by a series of complex energy estimates.
△ Less
Submitted 22 February, 2024;
originally announced February 2024.
-
Existence and dimensions of global attractors for a delayed reaction-diffusion equation on an unbounded domain
Authors:
Wenjie Hu,
Tomás Caraballo,
Alain Miranville
Abstract:
The purpose of this paper is to investigate the existence and Hausdorff dimension as well as fractal dimension of global attractors for a delayed reaction-diffusion equation on an unbounded domain. The noncompactness of the domain causes the Laplace operator has a continuous spectrum, the semigroup generated by the linear part and the Sobolev embeddings are no longer compact, making the problem mo…
▽ More
The purpose of this paper is to investigate the existence and Hausdorff dimension as well as fractal dimension of global attractors for a delayed reaction-diffusion equation on an unbounded domain. The noncompactness of the domain causes the Laplace operator has a continuous spectrum, the semigroup generated by the linear part and the Sobolev embeddings are no longer compact, making the problem more difficult compared with the equations on bounded domains. We first obtain the existence of an absorbing set for the infinite dimensional dynamical system generated by the equation by a priori estimate of the solutions. Then, we show the asymptotic compactness of the solution semiflow by an uniform a priori estimates for far-field values of solutions together with the Arzelà-Ascoli theorem, which facilitates us to show the existence of global attractors. By decomposing the solution into three parts and establishing a squeezing property of each part, we obtain the explicit upper estimation of both Hausdorff and fractal dimension of the global attractors, which only depend on the inner characteristic of the equation, while not related to the entropy number compared with the existing literature.
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
Existence and regularity of pullback attractors for nonclassical non-autonomous diffusion equations with delay
Authors:
Bin Yang,
Yuming Qin,
Alain Miranville,
Ke Wang
Abstract:
In this paper, we consider the asymptotic behavior of weak solutions for non-autonomous diffusion equations with delay in time-dependent spaces when the nonlinear function $f$ is critical growth, the delay term $g(t, u_t)$ contains some hereditary characteristics and the external force $h \in L_{l o c}^{2}\left(\mathbb{R} ; L^{2}(Ω)\right)$. Firstly, we prove the well-posedness of solutions by usi…
▽ More
In this paper, we consider the asymptotic behavior of weak solutions for non-autonomous diffusion equations with delay in time-dependent spaces when the nonlinear function $f$ is critical growth, the delay term $g(t, u_t)$ contains some hereditary characteristics and the external force $h \in L_{l o c}^{2}\left(\mathbb{R} ; L^{2}(Ω)\right)$. Firstly, we prove the well-posedness of solutions by using the Faedo-Galerkin approximation method. Then after a series of elaborate energy estimates and calculations, we establish the existence and regularity of pullback attractors in time-dependent spaces $C_{\mathcal{H}_{t}(Ω)}$ and $C_{\mathcal{H}^{1}_{t}(Ω)}$ respectively.
△ Less
Submitted 28 July, 2023;
originally announced July 2023.
-
Evaluating The Robustness of Self-Supervised Representations to Background/Foreground Removal
Authors:
Xavier F. Cadet,
Ranya Aloufi,
Alain Miranville,
Sara Ahmadi-Abhari,
Hamed Haddadi
Abstract:
Despite impressive empirical advances of SSL in solving various tasks, the problem of understanding and characterizing SSL representations learned from input data remains relatively under-explored. We provide a comparative analysis of how the representations produced by SSL models differ when masking parts of the input. Specifically, we considered state-of-the-art SSL pretrained models, such as DI…
▽ More
Despite impressive empirical advances of SSL in solving various tasks, the problem of understanding and characterizing SSL representations learned from input data remains relatively under-explored. We provide a comparative analysis of how the representations produced by SSL models differ when masking parts of the input. Specifically, we considered state-of-the-art SSL pretrained models, such as DINOv2, MAE, and SwaV, and analyzed changes at the representation levels across 4 Image Classification datasets. First, we generate variations of the datasets by applying foreground and background segmentation. Then, we conduct statistical analysis using Canonical Correlation Analysis (CCA) and Centered Kernel Alignment (CKA) to evaluate the robustness of the representations learned in SSL models. Empirically, we show that not all models lead to representations that separate foreground, background, and complete images. Furthermore, we test different masking strategies by occluding the center regions of the images to address cases where foreground and background are difficult. For example, the DTD dataset that focuses on texture rather specific objects.
△ Less
Submitted 2 June, 2023;
originally announced June 2023.
-
Strong global attractors for a three dimensional nonclassical diffusion equation with memory
Authors:
Yuming Qin,
Xiaolei Dong,
Alain Miranville,
Ke Wang
Abstract:
In this paper, we study the strong global attractors for a three dimensional nonclassical diffusion equation with memory. First, we prove the existence and uniqueness of strong solutions for the equations by the Galerkin method. Then we prove the existence of global attractors for the equations in $H^2(Ω)\cap H^1_0(Ω)\times L^2_μ(\mathbb{R}^+;H^2(Ω)\cap H^1_0(Ω))$ by the condition (C).
In this paper, we study the strong global attractors for a three dimensional nonclassical diffusion equation with memory. First, we prove the existence and uniqueness of strong solutions for the equations by the Galerkin method. Then we prove the existence of global attractors for the equations in $H^2(Ω)\cap H^1_0(Ω)\times L^2_μ(\mathbb{R}^+;H^2(Ω)\cap H^1_0(Ω))$ by the condition (C).
△ Less
Submitted 31 March, 2023;
originally announced March 2023.
-
Existence and regularity of global attractors for a Kirchhoff wave equation with strong damping and memory
Authors:
Bin Yang,
Yuming Qin,
Alain Miranville,
Ke Wang
Abstract:
This paper is concerned with the existence and regularity of global attractor $\mathcal A$ for a Kirchhoff wave equation with strong damping and memory in the weighted time-dependent spaces $\mathcal H$ and $\mathcal H^{1}$, respectively. In order to obtain the existence of $\mathcal A$, we mainly use the energy method in the priori estimations, and then verify the asymptotic compactness of the se…
▽ More
This paper is concerned with the existence and regularity of global attractor $\mathcal A$ for a Kirchhoff wave equation with strong damping and memory in the weighted time-dependent spaces $\mathcal H$ and $\mathcal H^{1}$, respectively. In order to obtain the existence of $\mathcal A$, we mainly use the energy method in the priori estimations, and then verify the asymptotic compactness of the semigroup by the method of contraction function. Finally, by decomposing the weak solutions into two parts and some elaborate calculations, we prove the regularity of $\mathcal A$.
△ Less
Submitted 25 March, 2023;
originally announced March 2023.
-
On the long time behavior of a tumor growth model
Authors:
Alain Miranville,
Elisabetta Rocca,
Giulio Schimperna
Abstract:
We consider the problem of the long time dynamics for a diffuse interface model for tumor growth. The model describes the growth of a tumor surrounded by host tissues in the presence of a nutrient and consists in a Cahn-Hilliard-type equation for the tumor phase coupled with a reaction-diffusion equation for the nutrient concentration. We prove that, under physically motivated assumptions on param…
▽ More
We consider the problem of the long time dynamics for a diffuse interface model for tumor growth. The model describes the growth of a tumor surrounded by host tissues in the presence of a nutrient and consists in a Cahn-Hilliard-type equation for the tumor phase coupled with a reaction-diffusion equation for the nutrient concentration. We prove that, under physically motivated assumptions on parameters and data, the corresponding initial-boundary value problem generates a dissipative dynamical system that admits the global attractor in a proper phase space.
△ Less
Submitted 29 October, 2018;
originally announced October 2018.
-
Uniqueness and regularity for the Navier-Stokes-Cahn-Hilliard system
Authors:
Andrea Giorgini,
Alain Miranville,
Roger Temam
Abstract:
The motion of two contiguous incompressible and viscous fluids is described within the diffuse interface theory by the so-called Model H. The system consists of the Navier-Stokes equations, which are coupled with the Cahn-Hilliard equation associated to the Ginzburg-Landau free energy with physically relevant logarithmic potential. This model is studied in bounded smooth domain in R^d, d=2 and d=3…
▽ More
The motion of two contiguous incompressible and viscous fluids is described within the diffuse interface theory by the so-called Model H. The system consists of the Navier-Stokes equations, which are coupled with the Cahn-Hilliard equation associated to the Ginzburg-Landau free energy with physically relevant logarithmic potential. This model is studied in bounded smooth domain in R^d, d=2 and d=3, and is supplemented with a no-slip condition for the velocity, homogeneous Neumann boundary conditions for the order parameter and the chemical potential, and suitable initial conditions. We study uniqueness and regularity of weak and strong solutions. In a two-dimensional domain, we show the uniqueness of weak solutions and the existence and uniqueness of global strong solutions originating from an initial velocity u_0 in V, namely u_0 in H_0^1 such that div u_0=0. In addition, we prove further regularity properties and the validity of the instantaneous separation property. In a three-dimensional domain, we show the existence and uniqueness of local strong solutions with initial velocity u_0 in V.
△ Less
Submitted 9 December, 2024; v1 submitted 26 October, 2018;
originally announced October 2018.
-
The Penrose-Fife phase-field model with dynamic boundary conditions
Authors:
Alain Miranville,
Elisabetta Rocca,
Giulio Schimperna,
Antonio Segatti
Abstract:
In this paper we derive, starting from the basic principles of Thermodynamics, an extended version of the nonconserved Penrose-Fife phase transition model, in which dynamic boundary conditions are considered in order to take into account interactions with walls. Moreover, we study the well-posedness and the asymptotic behavior of the Cauchy problem for the PDE system associated to the model, allow…
▽ More
In this paper we derive, starting from the basic principles of Thermodynamics, an extended version of the nonconserved Penrose-Fife phase transition model, in which dynamic boundary conditions are considered in order to take into account interactions with walls. Moreover, we study the well-posedness and the asymptotic behavior of the Cauchy problem for the PDE system associated to the model, allowing the phase configuration of the material to be described by a singular function.
△ Less
Submitted 23 January, 2013;
originally announced January 2013.
-
Analysis of the Cahn-Hilliard equation with a chemical potential dependent mobility
Authors:
Maurizio Grasselli,
Alain Miranville,
Riccarda Rossi,
Giulio Schimperna
Abstract:
The aim of this paper is to study the well-posedness and the existence of global attractors for a family of Cahn-Hilliard equations with a mobility depending on the chemical potential. Such models arise from generalizations of the (classical) Cahn-Hilliard equation due to M. E. Gurtin.
The aim of this paper is to study the well-posedness and the existence of global attractors for a family of Cahn-Hilliard equations with a mobility depending on the chemical potential. Such models arise from generalizations of the (classical) Cahn-Hilliard equation due to M. E. Gurtin.
△ Less
Submitted 1 April, 2010;
originally announced April 2010.
-
The Cahn-Hilliard Equation with Singular Potentials and Dynamic Boundary Conditions
Authors:
Alain Miranville,
Sergey Zelik
Abstract:
Our aim in this paper is to study the Cahn-Hilliard equation with singular potentials and dynamic boundary conditions. In particular, we prove, owing to proper approximations of the singular potential and a suitable notion of variational solutions, the existence and uniqueness of solutions. We also discuss the separation of the solutions from the singularities of the potential. Finally, we prove…
▽ More
Our aim in this paper is to study the Cahn-Hilliard equation with singular potentials and dynamic boundary conditions. In particular, we prove, owing to proper approximations of the singular potential and a suitable notion of variational solutions, the existence and uniqueness of solutions. We also discuss the separation of the solutions from the singularities of the potential. Finally, we prove the existence of global and exponential attractors.
△ Less
Submitted 1 June, 2009; v1 submitted 26 April, 2009;
originally announced April 2009.
