BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Helmut Gfrerer

Helmut Gfrerer appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.OCmath.NANumerical Analysis

Catalog footprint

What is connected

15works
3topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

15 published item(s)

preprint2023arXiv

Radius Theorems for Subregularity in Infinite Dimensions

The paper continues our previous work [7] on the radius of subregularity that was initiated by Asen Dontchev. We extend the results of [7] to general Banach/Asplund spaces and to other classes of perturbations, and sharpen the coderivative tools used in the analysis of the robustness of well-posedness of mathematical problems and related regularity properties of mappings involved in the statements. We also expand the selection of classes of perturbations, for which the formula for the radius of strong subregularity is valid.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On the isolated calmness property of implicitly defined multifunctions

The paper deals with an extension of the available theory of SCD (subspace containing derivatives) mappings to mappings between spaces of different dimensions. This extension enables us to derive workable sufficient conditions for the isolated calmness of implicitly defined multifunctions around given reference points. This stability property differs substantially from isolated calmness at a point and, possibly in conjunction with the Aubin property, offers a new useful stability concept. The application area includes a broad class of parameterized generalized equations, where the respective conditions ensure a rather strong type of Lipschitztan behavior of their solution maps.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On the solution of contact problems with Tresca friction by the semismooth* Newton method

An equilibrium of a linear elastic body subject to loading and satisfying the friction and contact conditions can be described by a variational inequality of the second kind and the respective discrete model attains the form of a generalized equation. To its numerical solution we apply the semismooth* Newton method by Gfrerer and Outrata (2019) in which, in contrast to most available Newton-type methods for inclusions, one approximates not only the single-valued but also the multi-valued part. This is performed on the basis of limiting (Morduchovich) coderivative. In our case of the Tresca friction, the multi-valued part amounts to the subdifferential of a convex function generated by the friction and contact conditions. The full 3D discrete problem is then reduced to the contact boundary. Implementation details of the semismooth* Newton method are provided and numerical tests demonstrate its superlinear convergence and mesh independence.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On the application of the semismooth* Newton method to variational inequalities of the second kind

The paper starts with a concise description of the recently developed semismooth* Newton method for the solution of general inclusions. This method is then applied to a class of variational inequalities of the second kind. As a result, one obtains an implementable algorithm exhibiting a local superlinear convergence. Thereafter we suggest several globally convergent hybrid algorithms in which one combines the semismooth* Newton method with selected splitting algorithms for the solution of monotone variational inequalities. Their efficiency is documented by extensive numerical experiments.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Second-order optimality conditions for non-convex set-constrained optimization problems

In this paper we study second-order optimality conditions for non-convex set-constrained optimization problems. For a convex set-constrained optimization problem, it is well-known that second-order optimality conditions involve the support function of the second-order tangent set. In this paper we propose two approaches for establishing second-order optimality conditions for the non-convex case. In the first approach we extend the concept of the support function so that it is applicable to general non-convex set-constrained problems, whereas in the second approach we introduce the notion of the directional regular tangent cone and apply classical results of convex duality theory. Besides the second-order optimality conditions, the novelty of our approach lies in the systematic introduction and use, respectively, of directional versions of well-known concepts from variational analysis.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The Radius of Metric Subregularity

There is a basic paradigm, called here the radius of well-posedness, which quantifies the "distance" from a given well-posed problem to the set of ill-posed problems of the same kind. In variational analysis, well-posedness is often understood as a regularity property, which is usually employed to measure the effect of perturbations and approximations of a problem on its solutions. In this paper we focus on evaluating the radius of the property of metric subregularity which, in contrast to its siblings, metric regularity, strong regularity and strong subregularity, exhibits a more complicated behavior under various perturbations. We consider three kinds of perturbations: by Lipschitz continuous functions, by semismooth functions, and by smooth functions, obtaining different expressions/bounds for the radius of subregularity, which involve generalized derivatives of set-valued mappings. We also obtain different expressions when using either Frobenius or Euclidean norm to measure the radius. As an application, we evaluate the radius of subregularity of a general constraint system. Examples illustrate the theoretical findings.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

An SQP method for mathematical programs with vanishing constraints with strong convergence properties

We propose an SQP algorithm for mathematical programs with vanishing constraints which solves at each iteration a quadratic program with linear vanishing constraints. The algorithm is based on the newly developed concept of $\mathcal Q$-stationarity [5]. We demonstrate how $\mathcal Q_M$-stationary solutions of the quadratic program can be obtained. We show that all limit points of the sequence of iterates generated by the basic SQP method are at least M-stationary and by some extension of the method we also guarantee the stronger property of $\mathcal Q_M$-stationarity of the limit points.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Complete Characterizations of Tilt Stability in Nonlinear Programming under Weakest Qualification Conditions

This paper is devoted to the study of tilt stability of local minimizers for classical nonlinear programs with equality and inequality constraints in finite dimensions described by twice continuously differentiable functions. The importance of tilt stability has been well recognized from both theoretical and numerical perspectives of optimization, and this area of research has drawn much attention in the literature, especially in recent years. Based on advanced techniques of variational analysis and generalized differentiation, we derive here complete pointbased second-order characterizations of tilt-stable minimizers entirely in terms of the initial program data under the new qualification conditions, which are the weakest ones for the study of tilt stability.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Lipschitz and Hölder stability of optimization problems and generalized equations

This paper studies stability aspects of solutions of parametric mathematical programs and generalized equations, respectively, with disjunctive constraints. We present sufficient conditions that, under some constraint qualifications ensuring metric subregularity of the constraint mapping, continuity results of upper Lipschitz and upper Hölder type, respectively, hold. Furthermore, we apply the above results to parametric mathematical programs with equilibrium constraints and demonstrate, how some classical results for the nonlinear programming problem can be recovered and even improved by our theory.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

New constraint qualifications for mathematical programs with equilibrium constraints via variational analysis

In this paper, we study the mathematical program with equilibrium constraints (MPEC) formulated as a mathematical program with a parametric generalized equation involving the regular normal cone. Compared with the usual way of formulating MPEC through a KKT condition, this formulation has the advantage that it does not involve extra multipliers as new variables, and it usually requires weaker assumptions on the problem data. Using the so-called first order sufficient condition for metric subregularity, we derive verifiable sufficient conditions for the metric subregularity of the involved set-valued mapping, or equivalently the calmness of the perturbed generalized equation mapping.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

New verifiable stationarity concepts for a class of mathematical programs with disjunctive constraints

In this paper we consider a sufficiently broad class of nonlinear mathematical programs with disjunctive constraints, which, e.g., include mathematical programs with complemetarity/vanishing constraints. We present an extension of the concept of ${\mathcal Q}$-stationarity as introduced in the recent paper [2]. ${\mathcal Q}$-stationarity can be easily combined with the well-known notion of M-stationarity to obtain the stronger property of so-called ${\mathcal Q}_M$-stationarity. We show how the property of ${\mathcal Q}_M$-stationarity (and thus also of M-stationarity) can be efficiently verified for the considered problem class by computing ${\mathcal Q}$-stationary solutions of a certain quadratic program. We consider further the situation that the point which is to be tested for ${\mathcal Q}_M$-stationarity, is not known exactly, but is approximated by some convergent sequence, as it is usually the case when applying some numerical method.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On Lipschitzian properties of implicit multifunctions

The paper is devoted to the development of new sufficient conditions for the calmness and the Aubin property of implicit multifunctions. As the basic tool one employs the directional limiting coderivative which, together with the graphical derivative, enable us a fine analysis of the local behavior of the investigated multifunction along relevant directions. For verification of the calmness property, in addition, a new condition has been discovered which parallels the missing implicit function paradigm and permits us to replace the original multifunction by a substantially simpler one. Moreover, as an auxiliary tool, a handy formula for the computation of the directional limiting coderivative of the normal-cone map with a polyhedral set has been derived which perfectly matches the framework of [11]. All important statements are illustrated by examples.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Optimality conditions for disjunctive programs based on generalized differentiation with application to mathematical programs with equilibrium constraints

We consider optimization problems with a disjunctive structure of the constraints. Prominent examples of such problems are mathematical programs with equilibrium constraints or vanishing constraints. Based on the concepts of directional subregularity and their characterization by means of objects from generalized differentiation, we obtain the new stationarity concept of extended M-stationarity, which turns out to be an equivalent dual characterization of B-stationarity. These results are valid under a very weak constraint qualification of Guignard type which is usually very difficult to verify. We also state a new constraint qualification which is a little bit stronger but verifiable. Further we present second-order optimality conditions, both necessary and sufficient. Finally we apply these results to the special case of mathematical programs with equilibrium constraints and compute explicitly all the objects from generalized differentiation. For this type of problems we also introduce the concept of strong M-stationarity which builds a bridge between S-stationarity and M-stationarity.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Robinson Stability of Parametric Constraint Systems via Variational Analysis

This paper investigates a well-posedness property of parametric constraint systems named here Robinson stability. Based on advanced tools of variational analysis and generalized differentiation, we derive first-order and second-order conditions for this property under minimal constraint qualifications and establish relationships of Robinson stability with other well-posedness properties in variational analysis and optimization. The results obtained are applied to robust Lipschitzian stability of parametric variational systems.

0 citations0 reviewsNo code linkedOpen access