Displaying similar documents to “A posteriori error analysis for the Crank-Nicolson method for linear Schrödinger equations*”

A posteriori error analysis for the Crank-Nicolson method for linear Schrödinger equations

Irene Kyza (2011)

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

Similarity:

We prove error estimates of optimal order for linear Schrödinger-type equations in the ( )- and the ( )-norm. We discretize only in time by the Crank-Nicolson method. The direct use of the reconstruction technique, as it has been proposed by Akrivis in [ 75 (2006) 511–531], leads to upper bounds that are of optimal order in the ( )-norm, but of suboptimal order in the ( ...

High-frequency limit of the Maxwell-Landau-Lifshitz equations in the diffractive optics regime

LU Yong (2012)

ESAIM: Proceedings

Similarity:

We study the Maxwell-Landau-Lifshitz system for highly oscillating initial data, with characteristic frequencies (1  ) and amplitude (1), over long time intervals (1  ), in the limit  → 0. We show that a nonlinear Schrödinger equation gives a good approximation for the envelope of the solution in the time interval under consideration. This extends previous results of Colin and Lannes [1]. This text is a short version of the article [5].

Transition de dépiégeage élastique de vortex supraconducteurs

Enrick Olive, Nicolas Di Scala, Yves Lansac, Yaouen Fily, Jean-Claude Soret (2012)

ESAIM: Proceedings

Similarity:

We present 2D numerical simulation results of superconductor vortex lattices driven over a random disorder. The vortex dynamics at the depinning threshold is studied at zero temperature in the case of weak disorder. The dynamics is elastic and the depinning transition is analysed in the framework of a second order phase transition where the velocity response to the driving force behaves like  ~ ( −  ...

Regularity of languages defined by formal series with isolated cut point

Alberto Bertoni, Maria Paola Bianchi, Flavi D’Alessandro (2012)

RAIRO - Theoretical Informatics and Applications

Similarity:

Let  = { ∈  | ()  } be the language recognized by a formal series :  → ℝ with isolated cut point . We provide new conditions that guarantee the regularity of the language in the case that is rational or is a Hadamard quotient of rational series. Moreover the decidability property of such conditions is investigated.

Regularity of languages defined by formal series with isolated cut point

Alberto Bertoni, Maria Paola Bianchi, Flavi D’Alessandro (2012)

RAIRO - Theoretical Informatics and Applications

Similarity:

Let  = { ∈  | ()  } be the language recognized by a formal series :  → ℝ with isolated cut point . We provide new conditions that guarantee the regularity of the language in the case that is rational or is a Hadamard quotient of rational series. Moreover the decidability property of such conditions is investigated.

Substitution systems associated with the dynamical system (𝒜, )

Maria de Fátima Correia, Carlos Ramos, Sandra Vinagre (2012)

ESAIM: Proceedings

Similarity:

We consider the dynamical system (𝒜, ), where 𝒜 is a class of differential real functions defined on some interval and : 𝒜 → 𝒜 is an operator := , where is a differentiable -modal map. If we consider functions in 𝒜 whose critical values are periodic points for then, we show how to define and characterize a substitution system associated with (𝒜, ...

Pointwise constrained radially increasing minimizers in the quasi-scalar calculus of variations

Luís Balsa Bicho, António Ornelas (2014)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

We prove of vector minimizers () =  (||) to multiple integrals ∫ ((), |()|)  on a  ⊂ ℝ, among the Sobolev functions (·) in + (, ℝ), using a  : ℝ×ℝ → [0,∞] with (·) and . Besides such basic hypotheses, (·,·) is assumed to satisfy also...

Error Control and Andaptivity for a Phase Relaxation Model

Zhiming Chen, Ricardo H. Nochetto, Alfred Schmidt (2010)

ESAIM: Mathematical Modelling and Numerical Analysis

Similarity:

The phase relaxation model is a diffuse interface model with small parameter which consists of a parabolic PDE for temperature and an ODE with double obstacles for phase variable . To decouple the system a semi-explicit Euler method with variable step-size is used for time discretization, which requires the stability constraint . Conforming piecewise linear finite elements over highly graded simplicial meshes with parameter are further employed for space discretization. error estimates...