SearcharxivSearch

arXiv subjects

Kathrin Welker

Publications and source records attributed to Kathrin Welker.

At least 19 recordsLinked to original sources

Retraction based regression methods on Riemannian manifolds

Geodesic regression generalizes classical regression models to manifold-valued data by replacing affine models in Euclidean spaces with geodesic models on Riemannian manifolds. In this paper, we set up a framework for regression based on retractions instead of the Riemannian exponential map and its corresponding retraction-based distance. The associated optimization problem is posed on a subset of the tangent bundle which is why we additionally construct retractions on the tangent bundle induced by retractions on the underlying manifold. Our approach yields a more flexible formulation which is applicable beyond settings where the exponential map can be computed efficiently. As a proof of concept, we apply the developed framework to the (n-1)-dimensional p-norm sphere using the retraction by normalization to define the regression problem. The resulting optimization problem is solved using the Riemannian steepest descent method.

math.OC

On an optimization framework for damage localization in structures

Efficient structural damage localization remains a challenge in structural health monitoring (SHM), particularly when the problem is coupled with uncertainty of conditions and complexity of structures. Traditional methods simply based on experimental data processing are often not sufficiently reliable, while complex models often struggle with computational inefficiency given the tremendous amount of model parameters. This paper focuses on closing the gap between data-driven SHM and physics-based model updating by offering a solution for real-world infrastructure. We first concentrate on fusing multi-source damage-sensitive features (DSF) based on experimental modal data into spatially mapped belief masses to pre-screen candidate damage locations. The resulting candidate damage locations are integrated into an inverse Finite Element method (FEM) model calibration process. We propose an optimization framework to identify the most probable damage scenario with single and multi-damage cases. We present the corresponding numerical results in this paper, which open the door to extend the application of the framework to a complex real bridge structure.

math.OC

Fracture propagation by using shape optimization techniques based on outer Riemannian metrics

In this work, we investigate a novel approach for the simulation of two-dimensional, brittle, quasi-static fracture problems based on a shape optimization approach. In contrast to the commonly-used phase-field approach, this proposed approach for investigating fracture paths does not require a specified `length-scale' parameter defining the diffuse interface region nor a level set function. Instead, it interprets the fracture as part of the boundary of the domain and uses shape optimization algorithms to minimize the energy in the system and therefore describes the fracture propagation directly. Embedding the problem of energy minimization in a Riemannian manifold framework formulated on a suitable shape space, together with the choice of an outer Riemannian metric, yields both advantages from an analytical as well as an applied perspective. Furthermore, an eigenvalue decomposition of the strain tensor is used to produce more realistic fracture paths (the so-called strain splitting), which only allows fracture growth from tensile loads. Numerical simulations for the commonly considered single-edge notch tension and shear test are performed and the results are evaluated in comparison to phase-field results.

math.OC

Numerical techniques for geodesic approximation in Riemannian shape optimization

Shape optimization is commonly applied in engineering to optimize shapes with respect to an objective functional relying on PDE solutions. In this paper, we view shape optimization as optimization on Riemannian shape manifolds. We consider so-called outer metrics on the diffeomorphism group to solve PDE-constrained shape optimization problems efficiently. Commonly, the numerical solution of such problems relies on the Riemannian version of the steepest descent method. One key difference between this version and the standard method is that iterates are updated via geodesics or retractions. Due to the lack of explicit expressions for geodesics, for most of the previously proposed metrics, very limited progress has been made in this direction. Leveraging the existence of explicit expressions for the geodesic equations associated to the outer metrics on the diffeomorphism group, we aim to study the viability of using such equations in the context of PDE-constrained shape optimization. However, solving geodesic equations is computationally challenging and often restrictive. Therefore, this paper discusses potential numerical approaches to simplify the numerical burden of using geodesics, making the proposed method computationally competitive with previously established methods.

math.OC

A Riemannian approach for PDE-constrained shape optimization over the diffeomorphism group using outer metrics

In this paper, we study the use of outer metrics, in particular Sobolev-type metrics on the diffeomorphism group in the context of PDE-constrained shape optimization. Leveraging the structure of the diffeomorphism group we analyze the connection between the push-forward of a smooth function defined on the diffeomorphism group and the classical shape derivative as an Eulerian semi-derivative. We consider in particular, two predominant examples on PDE-constrained shape optimization. An electric impedance tomography inspired problem, and the optimization of a two-dimensional bridge. These problems are numerically solved using the Riemannian steepest descent method where the descent directions are taken to be the Riemannian gradients associated to various outer metrics. For comparison reasons, we also solve the problem using other previously proposed Riemannian metrics in particular the Steklov-Poincar\'e metric.

math.OC

Gâteaux semiderivative approach applied to shape optimization for contact problems

Shape optimization problems constrained by variational inequalities (VI) are non-smooth and non-convex optimization problems. The non-smoothness arises due to the variational inequality constraint, which makes it challenging to derive optimality conditions. Besides the non-smoothness there are complementary aspects due to the VIs as well as distributed, non-linear, non-convex and infinite-dimensional aspects due to the shapes which complicate to set up an optimality system and, thus, to develop efficient solution algorithms. In this paper, we consider Gâteaux semiderivatives in order to formulate optimality conditions. In the application, we concentrate on a shape optimization problem constrained by the contact problem.

math.OC

Shape optimization in the space of piecewise-smooth shapes for the Bingham flow variational inequality

This paper sets up an approach for shape optimization problems constrained by variational inequalities (VI) in an appropriate shape space. In contrast to classical VI, where no explicit dependence on the domain is given, VI constrained shape optimization problems are in particular highly challenging because of two main reasons: Firstly, one needs to operate in inherently non-linear, non-convex and infinite-dimensional shape spaces. Secondly, the problem cannot be solved directly without any regularization techniques in general because, e.g., one cannot expect the existence of the shape derivative for an arbitrary shape functional depending on solutions to VI. This paper introduces a specific shape manifold and presents an optimization technique to handle the non-differentiabilities on this shape manifold. In particular, we formulate an optimization system based on Gâteaux semiderivatives and Eulerian derivatives for a shape optimization problem constrained by the Bingham flow variational inequality. Numerical results show the applicability and efficiency of the proposed approach.

math.OC

Crack propagation in anisotropic brittle materials: from a phase-field model to a shape optimization approach

The phase-field method is based on the energy minimization principle which is a geometric method for modeling diffusive cracks that are popularly implemented with irreversibility based on Griffith's criterion. This method requires a length-scale parameter that smooths the sharp discontinuity, which influences the diffuse band and results in mesh-sensitive fracture propagation results. Recently, a novel approach based on the optimization on Riemannian shape spaces has been proposed, where the crack path is realized by techniques from shape optimization. This approach requires the shape derivative, which is derived in a continuous sense and used for a gradient-based algorithm to minimize the energy of the system. Due to the continuous derivation of the shape derivative, this approach yields mesh-independent results. In this paper, the novel approach based on shape optimization is presented, followed by an assessment of the predicted crack path in anisotropic brittle material using numerical calculations from a phase-field model.

math.OC

Optimization of piecewise smooth shapes under uncertainty using the example of Navier-Stokes flow

We investigate a complex system involving multiple shapes to be optimized in a domain, taking into account geometric constraints on the shapes and uncertainty appearing in the physics. We connect the differential geometry of product shape manifolds with multi-shape calculus, which provides a novel framework for the handling of piecewise smooth shapes. This multi-shape calculus is applied to a shape optimization problem where shapes serve as obstacles in a system governed by steady state incompressible Navier-Stokes flow. Numerical experiments use our recently developed stochastic augmented Lagrangian method and we investigate the choice of algorithmic parameters using the example of this application.

math.OC

A product shape manifold approach for optimizing piecewise-smooth shapes

Spaces where each element describes a shape, so-called shape spaces, are of particular interest in shape optimization and its applications. Theory and algorithms in shape optimization are often based on techniques from differential geometry. Challenges arise when an application demands a non-smooth shape, which is commonly-encountered as an optimal shape for fluid-mechanical problems. In order to avoid the restriction to infinitely-smooth shapes of a commonly-used shape space, we construct a space containing shapes in $\mathbb{R}^2$ that can be identified with a Riemannian product manifold but at the same time admits piecewise-smooth curves as elements. We combine the new product manifold with an approach for optimizing multiple non-intersecting shapes. For the newly-defined shapes, adjustments are made in the known shape optimization definitions and algorithms to ensure their usability in applications. Numerical results regarding a fluid-mechanical problem constrained by the Navier-Stokes equations, where the viscous energy dissipation is minimized, show its applicability.

math.OC

Stochastic Augmented Lagrangian Method in Riemannian Shape Manifolds

In this paper, we present a stochastic augmented Lagrangian approach on (possibly infinite-dimensional) Riemannian manifolds to solve stochastic optimization problems with a finite number of deterministic constraints.We investigate the convergence of the method, which is based on a stochastic approximation approach with random stopping combined with an iterative procedure for updating Lagrange multipliers. The algorithm is applied to a multi-shape optimization problem with geometric constraints and demonstrated numerically.

math.OC

Parameter-free shape optimization: various shape updates for engineering applications

In the last decade, parameter-free approaches to shape optimization problems have matured to a state where they provide a versatile tool for complex engineering applications. However, sensitivity distributions obtained from shape derivatives in this context cannot be directly used as a shape update in gradient-based optimization strategies. Instead, an auxiliary problem has to be solved to obtain a gradient from the sensitivity. While several choices for these auxiliary problems were investigated mathematically, the complexity of the concepts behind their derivation has often prevented their application in engineering. This work aims at an explanation of several approaches to compute shape updates from an engineering perspective. We introduce the corresponding auxiliary problems in a formal way and compare the choices by means of numerical examples. To this end, a test case and exemplary applications from computational fluid dynamics are considered.

cs.CE

On diffeologies from infinite dimensional geometry to PDE constrained optimization

We review how diffeologies complete the settings classically used from infinite dimensional geometry to partial differential equations, based on classical settings of functional analysis and with classical mapping spaces as key examples. As the classical examples of function spaces, we deal with manifolds of mappings in Sobolev classes (and describe the ILB setting), jet spaces and spaces of triangulations, that are key frameworks for the two fields of applications of diffeologies that we choose to highlight: evolution equations and integrable systems, and optimization problems constrained by partial differential equations.

math.DG

A new shape optimization approach for fracture propagation

Within this work, we present a novel approach to fracture simulations based on shape optimization techniques. Contrary to widely-used phase-field approaches in literature the proposed method does not require a specified 'length-scale' parameter defining the diffused interface region of the phase-field. We provide the formulation and discuss the used solution approach. We conclude with some numerical comparisons with well-established single-edge notch tension and shear tests.

math.OC

Towards optimization techniques on diffeological spaces by generalizing Riemannian concepts

Diffeological spaces firstly introduced by J.M. Souriau in the 1980s are a natural generalization of smooth manifolds. However, optimization techniques are only known on manifolds so far. Generalizing these techniques to diffeological spaces is very challenging because of several reasons. One of the main reasons is that there are various definitions of tangent spaces which do not coincide. Additionally, one needs to deal with a generalization of a Riemannian space in order to define gradients which are indispensable for optimization methods. This paper is devoted to an optimization technique on diffeological spaces. Thus, one main aim of this paper is a suitable definition of a tangent space in view to optimization methods. Based on this definition, we present a diffeological Riemannian space and a diffeological gradient, which we need to formulate an optimization algorithm on diffeological spaces. Moreover, in order to be able to update the iterates in an optimization algorithm on diffeological spaces, we present a diffeological retraction and the Levi-Civita connection on diffeological spaces. We give examples for the novel objects and apply the presented diffeological algorithm to an optimization problem.

math.OC

PDE-constrained shape optimization: towards product shape spaces and stochastic models

Shape optimization models with one or more shapes are considered in this chapter. Of particular interest for applications are problems in which where a so-called shape functional is constrained by a partial differential equation (PDE) describing the underlying physics. A connection can made between a classical view of shape optimization and the differential-geometric structure of shape spaces. To handle problems where a shape functional depends on multiple shapes, a theoretical framework is presented, whereby the optimization variable can be represented as a vector of shapes belonging to a product shape space. The multi-shape gradient and multi-shape derivative are defined, which allows for a rigorous justification of a steepest descent method with Armijo backtracking. As long as the shapes as subsets of a hold-all domain do not intersect, solving a single deformation equation is enough to provide descent directions with respect to each shape. Additionally, a framework for handling uncertainties arising from inputs or parameters in the PDE is presented. To handle potentially high-dimensional stochastic spaces, a stochastic gradient method is proposed. A model problem is constructed, demonstrating how uncertainty can be introduced into the problem and the objective can be transformed by use of the expectation. Finally, numerical experiments in the deterministic and stochastic case are devised, which demonstrate the effectiveness of the presented algorithms.

math.OC

Suitable Spaces for Shape Optimization

The differential-geometric structure of the manifold of smooth shapes is applied to the theory of shape optimization problems. In particular, a Riemannian shape gradient with respect to the first Sobolev metric and the Steklov-Poincaré metric are defined. Moreover, the covariant derivative associated with the first Sobolev metric is deduced in this paper. The explicit expression of the covariant derivative leads to a definition of the Riemannian shape Hessian with respect to the first Sobolev metric. In this paper, we give a brief overview of various optimization techniques based on the gradients and the Hessian. Since the space of smooth shapes limits the application of the optimization techniques, this paper extends the definition of smooth shapes to $H^{1/2}$-shapes, which arise naturally in shape optimization problems. We define a diffeological structure on the new space of $H^{1/2}$-shapes. This can be seen as a first step towards the formulation of optimization techniques on diffeological spaces.

math.OC

Stochastic approximation for optimization in shape spaces

In this work, we present a novel approach for solving stochastic shape optimization problems. Our method is the extension of the classical stochastic gradient method to infinite-dimensional shape manifolds. We prove convergence of the method on Riemannian manifolds and then make the connection to shape spaces. The method is demonstrated on a model shape optimization problem from interface identification. Uncertainty arises in the form of a random partial differential equation, where underlying probability distributions of the random coefficients and inputs are assumed to be known. We verify some conditions for convergence for the model problem and demonstrate the method numerically.

math.OC