Operator splitting for delay equations

Csomós, Petra; Nickel, Gregor

doi:10.1016/j.camwa.2007.11.011

Cited by 11 publications

(16 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Let us observe that Chernoff's Theorem and one direction of Lax's Theorem 2.6 state the same: the stable and consistent methods are convergent. Since the stability condition appearing in Chernoff's Theorem will play an important role in obtaining the convergence of the splitting method, we cite Lemma 2.3 from the paper [8].…”

Section: Convergence Of the Splitting Proceduresmentioning

confidence: 99%

“…Since Φ is a bounded operator, B is also bounded on E. Therefore, the semigroup S generated by B is S(t) := e tB = I + tB = I tΦ 0 I , where I, I, and I denote the identity operators on X, L 1 [−1, 0], X , and E, respectively. By formulae (6), (8), and (10) of the sequential, Strang, and weighted splittings, the split solutions of the delay equation with initial value x f ∈ E p can be written as…”

mentioning

confidence: 99%

“…By Proposition 3.3 we only have to show that the stability condition (11) is fulfilled. For the proof, see [8]. (We note that the stability of the weighted splitting follows from the estimates in [8] because we can choose M = 1 for both semigroups, see Remark 3.4.)…”

mentioning

confidence: 99%

“…For the proof, see [8]. (We note that the stability of the weighted splitting follows from the estimates in [8] because we can choose M = 1 for both semigroups, see Remark 3.4.) In Theorem 4.2 we showed that the sequential, Strang, and weighted splitting procedures are convergent when they are applied to the abstract Cauchy problem (ACP) associated to the delay equation (DE).…”

mentioning

confidence: 99%

See 3 more Smart Citations

Operator splittings and spatial approximations for evolution equations

2009

Self Cite

View full text Add to dashboard Cite

Abstract. The convergence of various operator splitting procedures, such as the sequential, the Strang and the weighted splitting, is investigated in the presence of a spatial approximation. To this end the relevant notions and results of numerical analysis are presented, a variant of Chernoff's product formula is proved and the general TrotterKato approximation theorem is used. The methods are applied to an abstract partial delay differential equation.

show abstract

Section: Convergence Of the Splitting Proceduresmentioning

confidence: 99%

mentioning

confidence: 99%

mentioning

confidence: 99%

mentioning

confidence: 99%

See 2 more Smart Citations

Operator splittings and spatial approximations for evolution equations

2009

Self Cite

View full text Add to dashboard Cite

show abstract

“…We study the stability of Lie-Trotter products of such matrix semigroups, and present three classes of examples (abstract delay equations, abstract inhomogeneous equations, abstract dynamic boundary value problems) and some open problems. This survey is based on the papers [1], [2] and [5], to which we refer the interested reader for more details and extensive bibliographical information. The Lie-Trotter product formula provides the motivation and the fundamental background for operator splitting schemes in numerical analysis.…”

mentioning

confidence: 99%

Stability for Lie–Trotter products for some operator matrix semigroups

Bátkai

Csomós

Engel

et al. 2014

Proc Appl Math and Mech

Self Cite

View full text Add to dashboard Cite

Coupled systems of linear differential equations in Banach spaces can be often handled by the theory of C0-semigroups of operator matrices. We study the stability of Lie-Trotter products of such matrix semigroups, and present three classes of examples (abstract delay equations, abstract inhomogeneous equations, abstract dynamic boundary value problems) and some open problems. This survey is based on the papers [1], [2] and [5], to which we refer the interested reader for more details and extensive bibliographical information.The Lie-Trotter product formula provides the motivation and the fundamental background for operator splitting schemes in numerical analysis. Given linear operators A, B on a Banach space E one is interested in the solution of the Cauchy probleṁ u(t) = (A + B)u(t) with fixed initial value u(0) = u 0 . The general theory of C 0 -semigroups yields that the problem is well-posed if and only if A + B is the generator of a C 0 -semigroup (U (t)) t≥0 , and that in this case the unique solution is given by u(t) = U (t)u 0 (we refer to standard monographs on semigroup theory, such as [7]). Now suppose that A, B generate the C 0 -semigroups (S(t)) t≥0 , (T (t)) t≥0 , respectively. If (λ − A − B) has dense range and domain D(A + B), then one has the following equivalence, stating the Lie-Trotter, or sequential splitting, formula: Stability:There are M, ω ≥ 0 with S t n T t n n ≤ M e ωt for all t ≥ 0, n ∈ N.The expressions S t n T t n n are called Lie-Trotter products and, as we see, their convergence is equivalent to their stability.This is an instance of the Lax equivalence theorem, and because of this equivalence we shall concentrate on stability issues. Every C 0 -semigroup (T (t)) t≥0 obeys an exponential estimate of the kind T (t) ≤ M e ωt for some M, ω ≥ 0, and is called quasicontractive if M can be take to be 1. If A, B both generate quasicontractive semigroups, then the stability of the corresponding Lie-Trotter products is a simple consequence of the submultiplicativity of the operator norm. In some cases the space E can be renormed such that both semigroups become quasicontractive, in which case the stability is again immediate. This is certainly so if B ∈ L (E), i.e., if B is bounded, since we can renorm E such that the semigroup (S(t)) t≥0 generated by A becomes quasicontractive, but a semigroup with bounded generator is quasicontractive.Proposition 1 (see [1, Prop. 2.4]) Let A be a generator and let B be bounded, then the corresponding Lie-Trotter products are stable.The importance of splitting procedures becomes inevitable if one considers Cauchy problems (on products E ×F of Banach spaces) given by operator matriceṡIn general, A can be represented only formally as an operator matrix: Its domain is usually nondiagonal (i.e., contains a certain coupling of the two coordinates). That is why, even if C = 0 and D = 0 the semigroup generated by A may not be of diagonal but rather of upper triangular form. Here is a characterization of such matrix semigroups:Proposition 2 (see [1, Prop. 2.1]) Le...

show abstract