Displaying 1061 – 1080 of 9149

Showing per page

A uniformly controllable and implicit scheme for the 1-D wave equation

Arnaud Münch (2005)

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

This paper studies the exact controllability of a finite dimensional system obtained by discretizing in space and time the linear 1-D wave system with a boundary control at one extreme. It is known that usual schemes obtained with finite difference or finite element methods are not uniformly controllable with respect to the discretization parameters h and Δ t . We introduce an implicit finite difference scheme which differs from the usual centered one by additional terms of order h 2 and Δ t 2 . Using a discrete...

A uniformly controllable and implicit scheme for the 1-D wave equation

Arnaud Münch (2010)

ESAIM: Mathematical Modelling and Numerical Analysis

This paper studies the exact controllability of a finite dimensional system obtained by discretizing in space and time the linear 1-D wave system with a boundary control at one extreme. It is known that usual schemes obtained with finite difference or finite element methods are not uniformly controllable with respect to the discretization parameters h and Δt. We introduce an implicit finite difference scheme which differs from the usual centered one by additional terms of order h2 and Δt2. Using...

A variational approach to implicit ODEs and differential inclusions

Sergio Amat, Pablo Pedregal (2009)

ESAIM: Control, Optimisation and Calculus of Variations

An alternative approach for the analysis and the numerical approximation of ODEs, using a variational framework, is presented. It is based on the natural and elementary idea of minimizing the residual of the differential equation measured in a usual Lp norm. Typical existence results for Cauchy problems can thus be recovered, and finer sets of assumptions for existence are made explicit. We treat, in particular, the cases of an explicit ODE and a differential inclusion. This approach also allows...

A verified method for solving piecewise smooth initial value problems

Ekaterina Auer, Stefan Kiel, Andreas Rauh (2013)

International Journal of Applied Mathematics and Computer Science

In many applications, there is a need to choose mathematical models that depend on non-smooth functions. The task of simulation becomes especially difficult if such functions appear on the right-hand side of an initial value problem. Moreover, solution processes from usual numerics are sensitive to roundoff errors so that verified analysis might be more useful if a guarantee of correctness is required or if the system model is influenced by uncertainty. In this paper, we provide a short overview...

A viscosity solution method for Shape-From-Shading without image boundary data

Emmanuel Prados, Fabio Camilli, Olivier Faugeras (2006)

ESAIM: Mathematical Modelling and Numerical Analysis

In this paper we propose a solution of the Lambertian shape-from-shading (SFS) problem by designing a new mathematical framework based on the notion of viscosity solution. The power of our approach is twofolds: (1) it defines a notion of weak solutions (in the viscosity sense) which does not necessarily require boundary data. Moreover, it allows to characterize the viscosity solutions by their “minimums”; and (2) it unifies the works of [Rouy and Tourin, SIAM J. Numer. Anal.29 (1992) 867–884],...

Currently displaying 1061 – 1080 of 9149