Course Description


The course concentrates on the numerical solution of initial value problems of the type


where A is a linear operator with dense domain of definition D(A) in a Banach space X, and u0 is the initial value. A model example is the Laplace operator A = Δ with appropriate domain in the Hilbert space L2(Ω). In this case the above partial differential equation describes heat conduction inside Ω. One way of finding a solution to this initial value problem is to imitate the way in which one solves linear ordinary differential equations with constant coefficients: First define the exponential etA in suitable way. Then the solution of the homogeneous problem is given by this fundamental operator applied to the initial value u0 , i.e., u(t) = etAu0. This is where operator semigroup theory enters the game: the fundamental operators T(t): = etA form a so-called strongly continuous semigroup of bounded linear operators on the Banach space X. That is to say the functional equation T(t + s) = T(t)T(s) and T(0) = I holds together with the continuity of the orbits 32028562edafeebaf2f82c410da7ac9c. If such a semigroup exists, we say that the initial value problem is well-posed. Once existence and uniqueness of solutions are guaranteed, the following numerical aspects appear.

  • In most cases the operator A is complicated and numerically impossible to work with, so one approximates it via a sequence of (simple) operators Am hoping that the corresponding solutions f764afe2d16cdc2a9b3b14f1ab59b256 (expected to be easily computable) converge to the solution of the original problem etA in some sense. This procedure is called space discretisation. This discretisation may indeed come from a spatial mesh (e.g., for a finite difference method) or from some not so space-related discretisations, e.g., from Fourier-Galerkin methods.
  • Equally hard is the computation of the exponential of an operator A. One idea is to approximate the exponential function 585a393434888e69267f647e2bc495c0 by functions r that are easier to handle. A typical example, known also from basic calculus courses, is the backward Euler scheme r(z) = (1 − z) − 1. In this case the approximation means r(0) = r'(0) = e0, i.e., the first two Taylor coefficients of r and of the exponential function coincide. This leads to the following idea. If r(tA) is approximately the same as etA for small values of t (up to an error of magnitude t2), we may take the nth power of it. To compensate for the growing error, we take decreasing time steps as n grows and obtain

by the semigroup property. This procedure is called temporal discretisation.

  • Due to numerical reasons, one is usually forced to combine the above two methods and add further spice to the stew: operator splitting. This is usually done when the operator A has a complicated structure, but decomposes into a finite number of parts that are easier to handle.

In semigroup theory the above methods culminate in the famous Lax Equivalence Theorem and Chernoff’s Theorem, describing precisely the situation when these methods work. In this course we shall develop the basic tools from operator semigroup theory needed for such an abstract treatment of discretisation procedures.

Topics to be covered include:

  • initial value problems and operator semigroups,
  • spatial discretisations, Trotter–Kato theorems, finite element and finite difference approximations,
  • fractional powers, interpolation spaces, analytic semigroups,
  • the Lax Equivalence Theorem and Chernoff’s Theorem, error estimates, order of convergence, stability issues,
  • temporal discretisations, rational approximations, Runge–Kutta methods, operator splitting procedures,
  • applications to various differential equations, like inhomogeneous problems, non-autonomous equations, semilinear equations, Schrödinger equations, delay differential equations, Volterra equations,
  • exponential integrators.

Some of these topics will be elaborated on in Phase 2, where the students will have the possibility to work on projects which are related to active research.

Nach oben scrollen