BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Olaf Steinbach

Olaf Steinbach contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NANumerical Analysismath.OCmath.AP

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2022arXiv

Robust finite element discretization and solvers for distributed elliptic optimal control problems

We consider standard tracking-type, distributed elliptic optimal control problems with $L^2$ regularization, and their finite element discretization. We are investigating the $L^2$ error between the finite element approximation $u_{\varrho h}$ of the state $u_\varrho$ and the desired state (target) $\bar{u}$ in terms of the regularization parameter $\varrho$ and the mesh size $h$ that leads to the optimal choice $\varrho = h^4$. It turns out that, for this choice of the regularization parameter, we can devise simple Jacobi-like preconditioned MINRES or Bramble-Pasciak CG methods that allow us to solve the reduced discrete optimality system in asymptotically optimal complexity with respect to the arithmetical operations and memory demand. The theoretical results are confirmed by several benchmark problems with targets of various regularities including discontinuous targets.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A generalized inf-sup stable variational formulation for the wave equation

In this paper, we consider a variational formulation for the Dirichlet problem of the wave equation with zero boundary and initial conditions, where we use integration by parts in space and time. To prove unique solvability in a subspace of $H^1(Q$) with $Q$ being the space-time domain, the classical assumption is to consider the right-hand side $f$ in $L^2(Q)$. Here, we analyze a generalized setting of this variational formulation, which allows us to prove unique solvability also for $f$ being in the dual space of the test space, i.e., the solution operator is an isomorphism between the ansatz space and the dual of the test space. This new approach is based on a suitable extension of the ansatz space to include the information of the differential operator of the wave equation at the initial time $t=0$. These results are of utmost importance for the formulation and numerical analysis of unconditionally stable space-time finite element methods, and for the numerical analysis of boundary element methods to overcome the well-known norm gap in the analysis of boundary integral operators.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Numerical results for an unconditionally stable space-time finite element method for the wave equation

In this work, we introduce a new space-time variational formulation of the second-order wave equation, where integration by parts is also applied with respect to the time variable, and a modified Hilbert transformation is used. For this resulting variational setting, ansatz and test spaces are equal. Thus, conforming finite element discretizations lead to Galerkin--Bubnov schemes. We consider a conforming tensor-product approach with piecewise polynomial, continuous basis functions, which results in an unconditionally stable method, i.e., no CFL condition is required. We give numerical examples for a one- and a two-dimensional spatial domain, where the unconditional stability and optimal convergence rates in space-time norms are illustrated.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Robust discretization and solvers for elliptic optimal control problems with energy regularization

We consider the finite element discretization and the iterative solution of singularly perturbed elliptic reaction-diffusion equations in three-dimensional computational domains. These equations arise from the optimality conditions for elliptic distributed optimal control problems with energy regularization that were recently studied by M.~Neumüller and O.~Steinbach (2020). We provide quasi-optimal a priori finite element error estimates which depend both on the mesh size $h$ and on the regularization parameter $\varrho$. The choice $\varrho = h^2$ ensures optimal convergence which only depends on the regularity of the target function. For the iterative solution, we employ an algebraic multigrid preconditioner and a balancing domain decomposition by constraints (BDDC) preconditioner. We numerically study robustness and efficiency of the proposed algebraic preconditioners with respect to the mesh size $h$, the regularization parameter $\varrho$, and the number of subdomains (cores) $p$. Furthermore, we investigate the parallel performance of the BDDC preconditioned conjugate gradient solver.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Space-time finite element discretization of parabolic optimal control problems with energy regularization

We analyze space-time finite element methods for the numerical solution of distributed parabolic optimal control problems with energy regularization in the Bochner space $L^2(0,T;H^{-1}(Ω))$. By duality, the related norm can be evaluated by means of the solution of an elliptic quasi-stationary boundary value problem. When eliminating the control, we end up with the reduced optimality system that is nothing but the variational formulation of the coupled forward-backward primal and adjoint equations. Using Babuška's theorem, we prove unique solvability in the continuous case. Furthermore, we establish the discrete inf-sup condition for any conforming space-time finite element discretization yielding quasi-optimal discretization error estimates. Various numerical examples confirm the theoretical findings. We emphasize that the energy regularization results in a more localized control with sharper contours for discontinuous target functions, which is demonstrated by a comparison with an $L^2$ regularization and with a sparse optimal control approach.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Unstructured space-time finite element methods for optimal control of parabolic equations

This work presents and analyzes space-time finite element methods on fully unstructured simplicial space-time meshes for the numerical solution of parabolic optimal control problems. Using Babuška's theorem, we show well-posedness of the first-order optimality systems for a typical model problem with linear state equations, but without control constraints. This is done for both continuous and discrete levels. Based on these results, we derive discretization error estimates. Then we consider a semilinear parabolic optimal control problem arising from the Schlögl model. The associated nonlinear optimality system is solved by Newton's method, where a linear system, that is similar to the first-order optimality systems considered for the linear model problems, has to be solved at each Newton step. We present various numerical experiments including results for adaptive space-time finite element discretizations based on residual-type error indicators. In the last two examples, we also consider semilinear parabolic optimal control problems with box constraints imposed on the control.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Unstructured Space-Time Finite Element Methods for Optimal Sparse Control of Parabolic Equations

We consider a space-time finite element method on fully unstructured simplicial meshes for optimal sparse control of semilinear parabolic equations. The objective is a combination of a standard quadratic tracking-type functional including a Tikhonov regularization term and of the $L^1$-norm of the control that accounts for its spatio-temporal sparsity. We use a space-time Petrov-Galerkin finite element discretization for the first-order necessary optimality system of the associated discrete optimal sparse control problem. The discretization is based on a variational formulation that employs piecewise linear finite elements simultaneously in space and time. Finally, the discrete nonlinear optimality system that consists of coupled forward-backward state and adjoint state equations is solved by a semismooth Newton method.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

A parallel solver for a preconditioned space-time boundary element method for the heat equation

We describe a parallel solver for the discretized weakly singular space-time boundary integral equation of the spatially two-dimensional heat equation. The global space-time nature of the system matrices leads to improved parallel scalability in distributed memory systems in contrast to time-stepping methods where the parallelization is usually limited to spatial dimensions. We present a parallelization technique which is based on a decomposition of the input mesh into submeshes and a distribution of the corresponding blocks of the system matrices among processors. To ensure load balancing, the distribution is based on a cylic decomposition of complete graphs. In addition, the solution of the global linear system requires the use of an efficient preconditioner. We present a robust preconditioning strategy which is based on boundary integral operators of opposite order, and extend the introduced parallel solver to the preconditioned system.

0 citations0 reviewsNo code linkedOpen access