SearcharxivSearch

arXiv subjects

Roger Temam

Publications and source records attributed to Roger Temam.

At least 19 recordsLinked to original sources

Well-posedness and existence of an invariant measure for the linearly-damped KdV equations driven by a jump noise

In this paper, we investigate the linearly damped KdV equation on the one-dimensional torus $\mathbb{T}$, perturbed by a multiplicative L\'{e}vy noise. For any damping coefficient $\gamma > 0$, we establish the existence and uniqueness of a pathwise weak solution with values in $H^2(\mathbb{T})$. In the second part of the paper, we analyze the long-time behavior of these solutions. This study is particularly subtle as the presence of jumps in time can significantly influence the asymptotics. We show, using the techniques of Maslowski and Seidler, that, provided the frictional damping coefficient $\gamma > 0$ is sufficiently large, the system influenced by square-integrable jumps admits an invariant measure in $H^2(\mathbb{T})$.

math.AP

Convergence Properties of PINNs for the Navier-Stokes-Cahn-Hilliard System

Approximating solutions to differential equations using neural networks has become increasingly popular and shows significant promise. In this paper, we propose a simplified framework for analyzing the potential of neural networks to simulate differential equations based on the properties of the equations themselves. We apply this framework to the Cahn-Hilliard and Navier-Stokes-Cahn-Hilliard systems, presenting both theoretical analysis and practical implementations. We then conduct numerical experiments on toy problems to validate the framework's efficacy in accurately capturing the desired properties of these systems and numerically estimate relevant convergence properties.

math.NA

From Obstacle Problems to Neural Insights: Feed Forward Neural Network Modeling of Ice Thickness

In this study, we integrate the established obstacle problem formulation from ice sheet modeling with cutting-edge deep learning methodologies to enhance ice thickness predictions, specifically targeting the Greenland ice sheet. By harmonizing the mathematical structure with an energy minimization framework tailored for neural network approximations, our method's efficacy is confirmed through both 1D and 2D numerical simulations. Utilizing the NSIDC-0092 dataset for Greenland and incorporating bedrock topography for model pre-training, we register notable advances in prediction accuracy. Our research underscores the potent combination of traditional mathematical models and advanced computational techniques in delivering precise ice thickness estimations.

math.NA

Local well-posedness of a three-dimensional phase-field model for thrombus and blood flow

In this article we consider a fluid-structure interactions model on a three dimensional bounded domain, that describes the mechanical interaction between blood flow and a thrombus with Hookean elasticity. The interface between the two phases is given by a smooth transition layer, diffuse with a finite thickness. We derive various a priori estimates and prove local well-posedness results using the Faedo-Galerkin method.

math.AP

On the dynamics of shallow ice sheets. Modelling and analysis

We formulate a model describing the evolution of thickness in a shallow ice sheet lying over a lithosphere. The model is thus governed by a set of variational inequalities that involve nonlinearities in the time derivative and in the elliptic term. Solutions are constructed via a finite difference scheme in time.

math.AP

A three-dimensional discrete model for approximating the deformation of a viral capsid subjected to lying over a flat surface

In this paper we present a three-dimensional discrete model governing the deformation of a viral capsid, modelled as a regular icosahedron and subjected not to cross a given flat rigid surface on which it initially lies in correspondence of one vertex only. First, we set up the model in the form of a set of variational inequalities posed over a non-empty, closed and convex subset of a suitable space. Secondly, we show the existence and uniqueness of the solution for the proposed model. Finally, we numerically test this model and we observe that the outputs of the numerical experiments comply with physics.

math.AP

Modelling Virus Contact Mechanics under Atomic Force Imaging Conditions

In this paper we present a discrete model governing the deformation of a convex regular polygon subjected not to cross a given flat rigid surface, on which it initially lies in correspondence of one point only. First, we set up the model in the form of a set of variational inequalities posed over a non-empty, closed and convex subset of a suitable Euclidean space. Secondly, we show the existence and uniqueness of the solution. The model provides a simplified illustration of processes involved in virus imaging by atomic force microscopy: adhesion to a surface, distributed strain, relaxation to a shape that balances adhesion and elastic forces. The analysis of numerical simulations results based on this model opens a new way of estimating the contact area and elastic parameters in virus contact mechanics studies.

math.AP

Nonlinear Stochastic parabolic partial differential equations with a monotone operator of the Ladyzenskaya-Smagorinsky type, driven by a Levy noise

The aim of this article is to show the global existence of both martingale and pathwise solutions of stochastic equations with a monotone operator, of the Ladyzenskaya-Smagorinsky type, driven by a general Levy noise. The classical approach based on using directly the Galerkin approximation is not valid. Instead, our approach is based on using appropriate approximations for the monotone operator, Galerkin approximations and on the theory of martingale solutions.

math.AP

Conservative numerical schemes with optimal dispersive wave relations -- Part II. Numerical evaluations

A new energy and enstrophy conserving scheme is evaluated using a suite of test cases over the global spherical domain or bounded domains. The evaluation is organized around a set of pre-defined properties: accuracy of individual opeartors, accuracy of the whole scheme, conservation, control of the divergence variable, representation of the energy and enstrophy spectra, and simulation of nonlinear dynamics. The results confirm that the scheme is between the first and second order accurate, and conserves the total energy and potential enstrophy up to the time truncation errors. The scheme is capable of producing more physically realistic energy and enstrophy spectra, indicating that the new scheme can help prevent the unphysical energy cascade towards the finest resolvable scales. With an optimal representation of the dispersive wave relations, the scheme is able to keep the flow close to being non-divergent, maintain the geostrophically balanced structures with large-scale geophysical flows over long-term simulations.

math.NA

Conservative numerical schemes with optimal dispersive wave relations -- Part I. Derivations and analyses

An energy-conserving and an energy-and-enstrophy conserving numerical schemes are derived, by approximating the Hamiltonian formulation, based on the Poisson brackets and the vorticity-divergence variables, of the inviscid shallow water flows. The conservation of the energy and/or enstrophy stems from skew-symmetry of the Poisson brackets, which is retained in the discrete approximations. These schemes operate on unstructured orthogonal dual meshes, over bounded or unbounded domains, and they are also shown to possess the same optimal dispersive wave relations as those of the Z-grid scheme.

math.NA

Uniqueness and regularity for the Navier-Stokes-Cahn-Hilliard system

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.

math.AP

Linear diffusion with singular absorption potential and/or unbounded convective flow: the weighted space approach

In this paper we prove the existence and uniqueness of very weak solutions to linear diffusion equations involving a singular absorption potential and/or an unbounded convective flow on a bounded open set of $\mathbb R^N$. In most of the paper we consider homogeneous Dirichlet boundary conditions but we prove that when the potential function grows faster than the distance to the boundary to the power -2 then no boundary condition is required to get the uniqueness of very weak solutions. This result is new in the literature and must be distinguished from other previous results in which such uniqueness of solutions without any boundary condition was proved for degenerate diffusion operators (which is not our case). Our approach, based on the treatment on some distance to the boundary weighted spaces, uses a suitable regularity of the solution of the associated dual problem which is here established. We also consider the delicate question of the differentiability of the very weak solution and prove that some suitable additional hypothesis on the data is required since otherwise the gradient of the solution may not be integrable on the domain.

math.AP

Navier-Stokes-Voigt equations with memory in 3D lacking instantaneous kinematic viscosity

We consider a Navier-Stokes-Voigt fluid model where the instantaneous kinematic viscosity has been completely replaced by a memory term incorporating hereditary effects, in presence of Ekman damping. The dissipative character of our model is weaker than the one where hereditary and instantaneous viscosity coexist, previously studied by Gal and Tachim-Medjo. Nevertheless, we prove the existence of a regular exponential attractor of finite fractal dimension under rather sharp assumptions on the memory kernel.

math.AP

Interaction of a vortex induced by a rotating cylinder with a plane

In this article,we study theoretically and numerically the interaction of a vortex induced by a rotating cylinder with a perpendicular plane. We show the existence of weak solutions to the swirling vortex models by using the Hopf extension method, and by an elegant contradiction argument, respectively. We demonstrate numerically that the model could produce phenomena of swirling vortex including boundary layer pumping and two-celled vortex that are observed in potential line vortex interacting with a plane and in a tornado.

math.NA

Weak solutions of the Shigesaka-Kawasaki-Teramoto equations and their attractors

We derive the global existence of weak solutions of the Shigesada-Kawasaki-Teramoto systems in space dimension less or equal to 4 with a rather general condition on the coefficients. The existence is established using finite differences in time with truncations and an argument of Stampachia's maximum principle to show the positivity of the solutions. We derive also the existence of a weak global attractor.

math.AP

Very weak solutions of the Stokes problem in a convex polygon

Motivated by the study of the corner singularities in the so-called cavity flow, we establish in this article, the existence and uniqueness of solutions in $L^2(\Omega)^2$ for the Stokes problem in a domain $\Omega,$ when $\Omega$ is a smooth domain or a convex polygon. We establish also a trace theorem and show that the trace of $u$ can be arbitrary in $L^2(\partial\Omega)^2.$ The results are also extended to the linear evolution Stokes problem.

math.AP