Displaying 181 – 200 of 238

Showing per page

An Ingham type proof for a two-grid observability theorem

Michel Mehrenberger, Paola Loreti (2008)

ESAIM: Control, Optimisation and Calculus of Variations

Here, we prove the uniform observability of a two-grid method for the semi-discretization of the 1 D -wave equation for a time T > 2 2 ; this time, if the observation is made in ( - T / 2 , T / 2 ) , is optimal and this result improves an earlier work of Negreanu and Zuazua [C. R. Acad. Sci. Paris Sér. I 338 (2004) 413–418]. Our proof follows an Ingham type approach.

An Ingham type proof for a two-grid observability theorem

Paola Loreti, Michel Mehrenberger (2007)

ESAIM: Control, Optimisation and Calculus of Variations

Here, we prove the uniform observability of a two-grid method for the semi-discretization of the 1D-wave equation for a time T > 2 2 ; this time, if the observation is made in ( - T / 2 , T / 2 ) , is optimal and this result improves an earlier work of Negreanu and Zuazua [C. R. Acad. Sci. Paris Sér. I338 (2004) 413–418]. Our proof follows an Ingham type approach.

An L¹-stability and uniqueness result for balance laws with multifunctions: a model from the theory of granular media

Piotr Gwiazda, Agnieszka Świerczewska (2004)

Colloquium Mathematicae

We study the uniqueness and L¹-stability of the Cauchy problem for a 2 × 2 system coming from the theory of granular media [9,10]. We work in a class of weak entropy solutions. The appearance of a multifunction in a source term, given by the Coulomb-Mohr friction law, requires a modification of definition of the weak entropy solution [5,6].

An output controllability problem for semilinear distributed hyperbolic systems

E. Zerrik, R. Larhrissi, H. Bourray (2007)

International Journal of Applied Mathematics and Computer Science

The paper aims at extending the notion of regional controllability developed for linear systems cite to the semilinear hyperbolic case. We begin with an asymptotically linear system and the approach is based on an extension of the Hilbert uniqueness method and Schauder's fixed point theorem. The analytical case is then tackled using generalized inverse techniques and converted to a fixed point problem leading to an algorithm which is successfully implemented numerically and illustrated with examples....

Analysis of an Asymptotic Preserving Scheme for Relaxation Systems

Francis Filbet, Amélie Rambaud (2013)

ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique

We consider an asymptotic preserving numerical scheme initially proposed by F. Filbet and S. Jin [J. Comput. Phys. 229 (2010)] and G. Dimarco and L. Pareschi [SIAM J. Numer. Anal. 49 (2011) 2057–2077] in the context of nonlinear and stiff kinetic equations. Here, we propose a convergence analysis of such a scheme for the approximation of a system of transport equations with a nonlinear source term, for which the asymptotic limit is given by a conservation law. We investigate the convergence of the...

Analysis of lumped parameter models for blood flow simulations and their relation with 1D models

Vuk Milišić, Alfio Quarteroni (2004)

ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique

This paper provides new results of consistence and convergence of the lumped parameters (ODE models) toward one-dimensional (hyperbolic or parabolic) models for blood flow. Indeed, lumped parameter models (exploiting the electric circuit analogy for the circulatory system) are shown to discretize continuous 1D models at first order in space. We derive the complete set of equations useful for the blood flow networks, new schemes for electric circuit analogy, the stability criteria that guarantee...

Analysis of lumped parameter models for blood flow simulations and their relation with 1D models

Vuk Milišić, Alfio Quarteroni (2010)

ESAIM: Mathematical Modelling and Numerical Analysis

This paper provides new results of consistence and convergence of the lumped parameters (ODE models) toward one-dimensional (hyperbolic or parabolic) models for blood flow. Indeed, lumped parameter models (exploiting the electric circuit analogy for the circulatory system) are shown to discretize continuous 1D models at first order in space. We derive the complete set of equations useful for the blood flow networks, new schemes for electric circuit analogy, the stability criteria that...

Analysis of Synchronization in a Neural Population by a Population Density Approach

A. Garenne, J. Henry, C. O. Tarniceriu (2010)

Mathematical Modelling of Natural Phenomena

In this paper we deal with a model describing the evolution in time of the density of a neural population in a state space, where the state is given by Izhikevich’s two - dimensional single neuron model. The main goal is to mathematically describe the occurrence of a significant phenomenon observed in neurons populations, the synchronization. To this end, we are making the transition to phase density population, and use Malkin theorem to calculate...

Analytic controllability of the wave equation over a cylinder

Brice Allibert (2010)

ESAIM: Control, Optimisation and Calculus of Variations

We analyze the controllability of the wave equation on a cylinder when the control acts on the boundary, that does not satisfy the classical geometric control condition. We obtain precise estimates on the analyticity of reachable functions. As the control time increases, the degree of analyticity that is required for a function to be reachable decreases as an inverse power of time. We conclude that any analytic function can be reached if that control time is large enough. In the C∞ class, a...

Currently displaying 181 – 200 of 238