Related papers: Formal Proof of a Wave Equation Resolution Scheme:…
In this paper, a class of finite difference numerical techniques is presented to solve the second-order linear inhomogeneous damped wave equation. The consistency, stability, and convergences of these numerical schemes are discussed. The…
We consider the Cauchy problem in ${\bf R}^{n}$ for strongly damped wave equations. We derive asymptotic profiles of these solutions with weighted $L^{1,1}({\bf R}^{n})$ data by using a method introduced in [10].
Acoustic scattering of waves by bounded inhomogeneities in an unbounded homogeneous domain is considered. A symmetric coupled system of time-domain boundary integral equations and the second order formulation of the wave equation is…
An averaging method for getting uniformly valid asymptotic approximations of the solution of hyperbolic systems of equations is presented. The averaged system of equations disintegrates into independent equations for non-resonance systems.…
We present a fully discrete finite element method for the interior null controllability problem subject to the wave equation. For the numerical scheme, piece-wise affine continuous elements in space and finite differences in time are…
We present a formalization of convex polyhedra in the proof assistant Coq. The cornerstone of our work is a complete implementation of the simplex method, together with the proof of its correctness and termination. This allows us to define…
We design a primal-dual stabilized finite element method for the numerical approximation of a data assimilation problem subject to the acoustic wave equation. For the forward problem, piecewise affine, continuous, finite element functions…
Formalization of mathematics is a major topic, that includes in particular numerical analysis, towards proofs of scientific computing programs. The present study is about the finite element method, a popular method to numerically solve…
This paper describes a formal proof library, developed using the Coq proof assistant, designed to assist users in writing correct diagrammatic proofs, for 1-categories. This library proposes a deep-embedded, domain-specific formal language,…
The behavior of physical systems is typically modeled using differential equations which are too complex to solve analytically. In practical problems, these equations are discretized on a computational domain, and numerical solutions are…
Cody & Waite argument reduction technique works perfectly for reasonably large arguments but as the input grows there are no bit left to approximate the constant with enough accuracy. Under mild assumptions, we show that the result computed…
In this paper, we study the asymptotic stability of two wave equations coupled by velocities of anti-symmetric type via only one damping. We adopt the frequency domain method to prove that the system with smooth initial data is…
There exist methods to reformulate in an exact way the many-body problem of interacting bosons in terms of the stochastic evolution of single particle wave functions. For one such reformulation, the so-called simple Fock scheme, we present…
We present an implicit-explicit (IMEX) scheme for semilinear wave equations with strong damping. By treating the nonlinear, nonstiff term explicitly and the linear, stiff part implicitly, we obtain a method which is not only unconditionally…
The formalization of First Passage schemes is revisited and the emerging of a conceptual contradiction is underlined. We then show why, despite such a contradiction, the numerical results are not explicitly affected. Through a different…
The asymptotic behavior of the molecular continuum wave function has been analyzed within a model of non-overlapping atomic potentials. It is been shown that the representation of the wave function far from a molecule as a plane wave and…
We prove convergence rates of explicit finite difference schemes for the linear advection and wave equation in one space dimension with H\"older continuous coefficient. The obtained convergence rates explicitly depend on the H\"older…
We prove existence and uniqueness of solutions for an entropic version of the semi-geostrophic equations. We also establish convergence to a weak solution of the semi-geostrophic equations as the entropic parameter vanishes. Convergence is…
In this paper, we consider numerical homogenization of acoustic wave equations with heterogeneous coefficients, namely, when the bulk modulus and the density of the medium are only bounded. We show that under a Cordes type condition the…
We study the asymptotic behavior of solutions for the semilinear damped wave equation with variable coefficients. We prove that if the damping is effective, and the nonlinearity and other lower order terms can be regarded as perturbations,…