Your selections:

20Kruger, Alexander
11Gao, David
10López, Marco
9Mammadov, Musa
6Outrata, Jiri
6Roshchina, Vera
5Thao, Nguyen
4Dinh, Nguyen
4Goberna, Miguel
4Sukhorukova, Nadezda
4Théra, Michel
4Ugon, Julien
4Wu, Zhiyou
3Bagirov, Adil
3Bui, Hoa
3Cánovas, Maria
3Mordukhovich, Boris
3Parra, Juan
3Rubinov, Alex
3Taheri, Sona

Show More

Show Less

540103 Numerical and Computational Mathematics
180906 Electrical and Electronic Engineering
130101 Pure Mathematics
9Metric regularity
80802 Computation Theory and Mathematics
8Global optimization
7Subdifferential
6Canonical duality theory
5Calmness
5Normal cone
4Error bounds
4Linear programming
4Perturbation
4Variational analysis
30913 Mechanical Engineering
3Computer science
3Extremal principle
3Metric subregularity
3Nonconvex optimization

Show More

Show Less

Format Type

Orthogonality in locally convex spaces: Two nonlinear generalizations of Neumann's lemma

- Barbagallo, Annamaria, Ernst, Octavian-Emil, Théra, Michel

**Authors:**Barbagallo, Annamaria , Ernst, Octavian-Emil , Théra, Michel**Date:**2020**Type:**Text , Journal article**Relation:**Journal of Mathematical Analysis and Applications Vol. 484, no. 1 (Apr 2020), p. 18**Full Text:****Reviewed:****Description:**In this note we prove a symmetric version of the Neumann lemma as well as a symmetric version of the Soderlind-Campanato lemma. We establish in this way two partial generalizations of the well-known Casazza-Christenses lemma. This work is related to the Birkhoff-James orthogonality and to the concept of near operators introduced by S. Campanato. (C) 2019 Published by Elsevier Inc.

**Authors:**Barbagallo, Annamaria , Ernst, Octavian-Emil , Théra, Michel**Date:**2020**Type:**Text , Journal article**Relation:**Journal of Mathematical Analysis and Applications Vol. 484, no. 1 (Apr 2020), p. 18**Full Text:****Reviewed:****Description:**In this note we prove a symmetric version of the Neumann lemma as well as a symmetric version of the Soderlind-Campanato lemma. We establish in this way two partial generalizations of the well-known Casazza-Christenses lemma. This work is related to the Birkhoff-James orthogonality and to the concept of near operators introduced by S. Campanato. (C) 2019 Published by Elsevier Inc.

A counterexample to De Pierro's conjecture on the convergence of under-relaxed cyclic projections

- Cominetti, Roberto, Roshchina, Vera, Williamson, Andrew

**Authors:**Cominetti, Roberto , Roshchina, Vera , Williamson, Andrew**Date:**2019**Type:**Text , Journal article , acceptedVersion**Relation:**Optimization Vol. 68, no. 1 (2019), p. 3-12**Full Text:****Reviewed:****Description:**The convex feasibility problem consists in finding a point in the intersection of a finite family of closed convex sets. When the intersection is empty, a best compromise is to search for a point that minimizes the sum of the squared distances to the sets. In 2001, de Pierro conjectured that the limit cycles generated by the ε-under-relaxed cyclic projection method converge when ε ↓ 0 towards a least squares solution. While the conjecture has been confirmed under fairly general conditions, we show that it is false in general by constructing a system of three compact convex sets in R3 for which the ε-under-relaxed cycles do not converge. © 2018 Informa UK Limited, trading as Taylor & Francis Group.

**Authors:**Cominetti, Roberto , Roshchina, Vera , Williamson, Andrew**Date:**2019**Type:**Text , Journal article , acceptedVersion**Relation:**Optimization Vol. 68, no. 1 (2019), p. 3-12**Full Text:****Reviewed:****Description:**The convex feasibility problem consists in finding a point in the intersection of a finite family of closed convex sets. When the intersection is empty, a best compromise is to search for a point that minimizes the sum of the squared distances to the sets. In 2001, de Pierro conjectured that the limit cycles generated by the ε-under-relaxed cyclic projection method converge when ε ↓ 0 towards a least squares solution. While the conjecture has been confirmed under fairly general conditions, we show that it is false in general by constructing a system of three compact convex sets in R3 for which the ε-under-relaxed cycles do not converge. © 2018 Informa UK Limited, trading as Taylor & Francis Group.

Calmness of partially perturbed linear systems with an application to the central path

- Cánovas, Maria, Hall, Julian, López, Marco, Parra, Juan

**Authors:**Cánovas, Maria , Hall, Julian , López, Marco , Parra, Juan**Date:**2019**Type:**Text , Journal article**Relation:**Optimization Vol. 68, no. 2-3 (2019), p. 465-483**Full Text:****Reviewed:****Description:**In this paper we develop point-based formulas for the calmness modulus of the feasible set mapping in the context of linear inequality systems with a fixed abstract constraint and (partially) perturbed linear constraints. The case of totally perturbed linear systems was previously analyzed in [Canovas MJ, Lopez MA, Parra J, et al. Calmness of the feasible set mapping for linear inequality systems. Set-Valued Var Anal. 2014;22:375-389, Section 5]. We point out that the presence of such an abstract constraint yields the current paper to appeal to a notable different methodology with respect to previous works on the calmness modulus in linear programming. The interest of this model comes from the fact that partially perturbed systems naturally appear in many applications. As an illustration, the paper includes an example related to the classical central path construction. In this example we consider a certain feasible set mapping whose calmness modulus provides a measure of the convergence of the central path. Finally, we underline the fact that the expression for the calmness modulus obtained in this paper is (conceptually) implementable as far as it only involves the nominal data.

**Authors:**Cánovas, Maria , Hall, Julian , López, Marco , Parra, Juan**Date:**2019**Type:**Text , Journal article**Relation:**Optimization Vol. 68, no. 2-3 (2019), p. 465-483**Full Text:****Reviewed:****Description:**In this paper we develop point-based formulas for the calmness modulus of the feasible set mapping in the context of linear inequality systems with a fixed abstract constraint and (partially) perturbed linear constraints. The case of totally perturbed linear systems was previously analyzed in [Canovas MJ, Lopez MA, Parra J, et al. Calmness of the feasible set mapping for linear inequality systems. Set-Valued Var Anal. 2014;22:375-389, Section 5]. We point out that the presence of such an abstract constraint yields the current paper to appeal to a notable different methodology with respect to previous works on the calmness modulus in linear programming. The interest of this model comes from the fact that partially perturbed systems naturally appear in many applications. As an illustration, the paper includes an example related to the classical central path construction. In this example we consider a certain feasible set mapping whose calmness modulus provides a measure of the convergence of the central path. Finally, we underline the fact that the expression for the calmness modulus obtained in this paper is (conceptually) implementable as far as it only involves the nominal data.

Characterizations of nonsmooth robustly quasiconvex functions

- Bui, Hoa, Khanh, Pham, Tran, Thi

**Authors:**Bui, Hoa , Khanh, Pham , Tran, Thi**Date:**2019**Type:**Text , Journal article**Relation:**Journal of Optimization Theory and Applications Vol. 180, no. 3 (2019), p. 775-786**Full Text:****Reviewed:****Description:**Two criteria for the robust quasiconvexity of lower semicontinuous functions are established in terms of Fréchet subdifferentials in Asplund spaces. The first criterion extends to such spaces a result established by Barron et al. (Discrete Contin Dyn Syst Ser B 17:1693–1706, 2012). The second criterion is totally new even if it is applied to lower semicontinuous functions on finite-dimensional spaces. © 2018, Springer Science+Business Media, LLC, part of Springer Nature.

**Authors:**Bui, Hoa , Khanh, Pham , Tran, Thi**Date:**2019**Type:**Text , Journal article**Relation:**Journal of Optimization Theory and Applications Vol. 180, no. 3 (2019), p. 775-786**Full Text:****Reviewed:****Description:**Two criteria for the robust quasiconvexity of lower semicontinuous functions are established in terms of Fréchet subdifferentials in Asplund spaces. The first criterion extends to such spaces a result established by Barron et al. (Discrete Contin Dyn Syst Ser B 17:1693–1706, 2012). The second criterion is totally new even if it is applied to lower semicontinuous functions on finite-dimensional spaces. © 2018, Springer Science+Business Media, LLC, part of Springer Nature.

Convexity and closedness in stable robust duality

- Dinh, Nguyen, Goberna, Miguel, López, Marco, Volle, Michel

**Authors:**Dinh, Nguyen , Goberna, Miguel , López, Marco , Volle, Michel**Date:**2019**Type:**Text , Journal article**Relation:**Optimization Letters Vol. 13, no. 2 (2019), p. 325-339**Relation:**http://purl.org/au-research/grants/arc/DP160100854**Full Text:****Reviewed:****Description:**The paper deals with optimization problems with uncertain constraints and linear perturbations of the objective function, which are associated with given families of perturbation functions whose dual variable depends on the uncertainty parameters. More in detail, the paper provides characterizations of stable strong robust duality and stable robust duality under convexity and closedness assumptions. The paper also reviews the classical Fenchel duality of the sum of two functions by considering a suitable family of perturbation functions.

**Authors:**Dinh, Nguyen , Goberna, Miguel , López, Marco , Volle, Michel**Date:**2019**Type:**Text , Journal article**Relation:**Optimization Letters Vol. 13, no. 2 (2019), p. 325-339**Relation:**http://purl.org/au-research/grants/arc/DP160100854**Full Text:****Reviewed:****Description:**The paper deals with optimization problems with uncertain constraints and linear perturbations of the objective function, which are associated with given families of perturbation functions whose dual variable depends on the uncertainty parameters. More in detail, the paper provides characterizations of stable strong robust duality and stable robust duality under convexity and closedness assumptions. The paper also reviews the classical Fenchel duality of the sum of two functions by considering a suitable family of perturbation functions.

Extremality, stationarity and generalized separation of collections of sets

**Authors:**Bui, Hoa , Kruger, Alexander**Date:**2019**Type:**Text , Journal article**Relation:**Journal of Optimization Theory and Applications Vol. 182, no. 1 (2019), p. 211-264**Full Text:****Reviewed:****Description:**The core arguments used in various proofs of the extremal principle and its extensions as well as in primal and dual characterizations of approximate stationarity and transversality of collections of sets are exposed, analysed and refined, leading to a unifying theory, encompassing all existing approaches to obtaining ‘extremal’ statements. For that, we examine and clarify quantitative relationships between the parameters involved in the respective definitions and statements. Some new characterizations of extremality properties are obtained.

**Authors:**Bui, Hoa , Kruger, Alexander**Date:**2019**Type:**Text , Journal article**Relation:**Journal of Optimization Theory and Applications Vol. 182, no. 1 (2019), p. 211-264**Full Text:****Reviewed:****Description:**The core arguments used in various proofs of the extremal principle and its extensions as well as in primal and dual characterizations of approximate stationarity and transversality of collections of sets are exposed, analysed and refined, leading to a unifying theory, encompassing all existing approaches to obtaining ‘extremal’ statements. For that, we examine and clarify quantitative relationships between the parameters involved in the respective definitions and statements. Some new characterizations of extremality properties are obtained.

New Farkas-type results for vector-valued functions : A non-abstract approach

- Dinh, Nguyen, Goberna, Miguel, Long, Dang, Lopez-Cerda, Marco

**Authors:**Dinh, Nguyen , Goberna, Miguel , Long, Dang , Lopez-Cerda, Marco**Date:**2019**Type:**Text , Journal article**Relation:**Journal of Optimization Theory and Applications Vol. 182, no. 1 (2019), p. 4-29**Full Text:****Reviewed:****Description:**This paper provides new Farkas-type results characterizing the inclusion of a given set, called contained set, into a second given set, called container set, both of them are subsets of some locally convex space, called decision space. The contained and the container sets are described here by means of vector functions from the decision space to other two locally convex spaces which are equipped with the partial ordering associated with given convex cones. These new Farkas lemmas are obtained via the complete characterization of the conic epigraphs of certain conjugate mappings which constitute the core of our approach. In contrast with a previous paper of three of the authors (Dinh et al. in J Optim Theory Appl 173:357-390, 2017), the aimed characterizations of the containment are expressed here in terms of the data.

**Authors:**Dinh, Nguyen , Goberna, Miguel , Long, Dang , Lopez-Cerda, Marco**Date:**2019**Type:**Text , Journal article**Relation:**Journal of Optimization Theory and Applications Vol. 182, no. 1 (2019), p. 4-29**Full Text:****Reviewed:****Description:**This paper provides new Farkas-type results characterizing the inclusion of a given set, called contained set, into a second given set, called container set, both of them are subsets of some locally convex space, called decision space. The contained and the container sets are described here by means of vector functions from the decision space to other two locally convex spaces which are equipped with the partial ordering associated with given convex cones. These new Farkas lemmas are obtained via the complete characterization of the conic epigraphs of certain conjugate mappings which constitute the core of our approach. In contrast with a previous paper of three of the authors (Dinh et al. in J Optim Theory Appl 173:357-390, 2017), the aimed characterizations of the containment are expressed here in terms of the data.

Outer limits of subdifferentials for min–max type functions

- Eberhard, Andrew, Roshchina, Vera, Sang, Tian

**Authors:**Eberhard, Andrew , Roshchina, Vera , Sang, Tian**Date:**2019**Type:**Text , Journal article**Relation:**Optimization Vol. 68, no. 7 (2019), p. 1391-1409**Full Text:****Reviewed:****Description:**We generalize the outer subdifferential construction suggested by Cánovas, Henrion, López and Parra for max type functions to pointwise minima of regular Lipschitz functions. We also answer an open question about the relation between the outer subdifferential of the support of a regular function and the end set of its subdifferential posed by Li, Meng and Yang.

**Authors:**Eberhard, Andrew , Roshchina, Vera , Sang, Tian**Date:**2019**Type:**Text , Journal article**Relation:**Optimization Vol. 68, no. 7 (2019), p. 1391-1409**Full Text:****Reviewed:****Description:**We generalize the outer subdifferential construction suggested by Cánovas, Henrion, López and Parra for max type functions to pointwise minima of regular Lipschitz functions. We also answer an open question about the relation between the outer subdifferential of the support of a regular function and the end set of its subdifferential posed by Li, Meng and Yang.

The Demyanov–Ryabova conjecture is false

**Authors:**Roshchina, Vera**Date:**2019**Type:**Text , Journal article**Relation:**Optimization Letters Vol. 13, no. 1 (2019), p. 227-234**Full Text:****Reviewed:****Description:**It was conjectured by Demyanov and Ryabova (Discrete Contin Dyn Syst 31(4):1273–1292, 2011) that the minimal cycle in the sequence obtained via repeated application of the Demyanov converter to a finite family of polytopes is at most two. We construct a counterexample for which the minimal cycle has length 4.

**Authors:**Roshchina, Vera**Date:**2019**Type:**Text , Journal article**Relation:**Optimization Letters Vol. 13, no. 1 (2019), p. 227-234**Full Text:****Reviewed:****Description:**It was conjectured by Demyanov and Ryabova (Discrete Contin Dyn Syst 31(4):1273–1292, 2011) that the minimal cycle in the sequence obtained via repeated application of the Demyanov converter to a finite family of polytopes is at most two. We construct a counterexample for which the minimal cycle has length 4.

Two curve Chebyshev approximation and its application to signal clustering

**Authors:**Sukhorukova, Nadezda**Date:**2019**Type:**Text , Journal article**Relation:**Applied Mathematics and Computation Vol. 356, no. (2019), p. 42-49**Full Text:****Reviewed:****Description:**In this paper, we extend a number of important results of the classical Chebyshev approximation theory to the case of simultaneous approximation of two or more functions. The need for this extension is application driven, since such kind of problems appears in the area of curve (signal) clustering. In this paper, we propose a new efficient algorithm for signal clustering and develop a procedure that allows one to reuse the results obtained at the previous iteration without recomputing the cluster centres from scratch. This approach is based on the extension of the classical de la Vallee-Poussin procedure originally developed for polynomial approximation. We also develop necessary and sufficient optimality conditions for two curve Chebyshev approximation, which is our core tool for curve clustering. These results are based on application of nonsmooth convex analysis. (C) 2019 Elsevier Inc. All rights reserved. In this paper, we extend a number of important results of the classical Chebyshev approximation theory to the case of simultaneous approximation of two or more functions. The need for this extension is application driven, since such kind of problems appears in the area of curve (signal) clustering. In this paper, we propose a new efficient algorithm for signal clustering and develop a procedure that allows one to reuse the results obtained at the previous iteration without recomputing the cluster centres from scratch. This approach is based on the extension of the classical de la Vallee-Poussin procedure originally developed for polynomial approximation. We also develop necessary and sufficient optimality conditions for two curve Chebyshev approximation, which is our core tool for curve clustering. These results are based on application of nonsmooth convex analysis. (C) 2019 Elsevier Inc. All rights reserved.

**Authors:**Sukhorukova, Nadezda**Date:**2019**Type:**Text , Journal article**Relation:**Applied Mathematics and Computation Vol. 356, no. (2019), p. 42-49**Full Text:****Reviewed:****Description:**In this paper, we extend a number of important results of the classical Chebyshev approximation theory to the case of simultaneous approximation of two or more functions. The need for this extension is application driven, since such kind of problems appears in the area of curve (signal) clustering. In this paper, we propose a new efficient algorithm for signal clustering and develop a procedure that allows one to reuse the results obtained at the previous iteration without recomputing the cluster centres from scratch. This approach is based on the extension of the classical de la Vallee-Poussin procedure originally developed for polynomial approximation. We also develop necessary and sufficient optimality conditions for two curve Chebyshev approximation, which is our core tool for curve clustering. These results are based on application of nonsmooth convex analysis. (C) 2019 Elsevier Inc. All rights reserved. In this paper, we extend a number of important results of the classical Chebyshev approximation theory to the case of simultaneous approximation of two or more functions. The need for this extension is application driven, since such kind of problems appears in the area of curve (signal) clustering. In this paper, we propose a new efficient algorithm for signal clustering and develop a procedure that allows one to reuse the results obtained at the previous iteration without recomputing the cluster centres from scratch. This approach is based on the extension of the classical de la Vallee-Poussin procedure originally developed for polynomial approximation. We also develop necessary and sufficient optimality conditions for two curve Chebyshev approximation, which is our core tool for curve clustering. These results are based on application of nonsmooth convex analysis. (C) 2019 Elsevier Inc. All rights reserved.

Variational analysis Down Under open problem session

- Bui, Hoa, Lindstrom, Scott, Roshchina, Vera

**Authors:**Bui, Hoa , Lindstrom, Scott , Roshchina, Vera**Date:**2019**Type:**Text , Journal article**Relation:**Journal of Optimization Theory and Applications Vol. 182, no. 1 (2019), p. 430-437**Full Text:****Reviewed:****Description:**We state the problems discussed in the open problem session at Variational Analysis Down Under conference held in honour of Prof. Asen Dontchev on 19-21 February 2018 at Federation University Australia.

**Authors:**Bui, Hoa , Lindstrom, Scott , Roshchina, Vera**Date:**2019**Type:**Text , Journal article**Relation:**Journal of Optimization Theory and Applications Vol. 182, no. 1 (2019), p. 430-437**Full Text:****Reviewed:****Description:**We state the problems discussed in the open problem session at Variational Analysis Down Under conference held in honour of Prof. Asen Dontchev on 19-21 February 2018 at Federation University Australia.

Double bundle method for finding clarke stationary points in nonsmooth dc programming

- Joki, Kaisa, Bagirov, Adil, Karmitsa, Napsu, Makela, Marko, Taheri, Sona

**Authors:**Joki, Kaisa , Bagirov, Adil , Karmitsa, Napsu , Makela, Marko , Taheri, Sona**Date:**2018**Type:**Text , Journal article**Relation:**SIAM Journal on Optimization Vol. 28, no. 2 (2018), p. 1892-1919**Relation:**http://purl.org/au-research/grants/arc/DP140103213**Full Text:****Reviewed:****Description:**The aim of this paper is to introduce a new proximal double bundle method for unconstrained nonsmooth optimization, where the objective function is presented as a difference of two convex (DC) functions. The novelty in our method is a new escape procedure which enables us to guarantee approximate Clarke stationarity for solutions by utilizing the DC components of the objective function. This optimality condition is stronger than the criticality condition typically used in DC programming. Moreover, if a candidate solution is not approximate Clarke stationary, then the escape procedure returns a descent direction. With this escape procedure, we can avoid some shortcomings encountered when criticality is used. The finite termination of the double bundle method to an approximate Clarke stationary point is proved by assuming that the subdifferentials of DC components are polytopes. Finally, some encouraging numerical results are presented.

**Authors:**Joki, Kaisa , Bagirov, Adil , Karmitsa, Napsu , Makela, Marko , Taheri, Sona**Date:**2018**Type:**Text , Journal article**Relation:**SIAM Journal on Optimization Vol. 28, no. 2 (2018), p. 1892-1919**Relation:**http://purl.org/au-research/grants/arc/DP140103213**Full Text:****Reviewed:****Description:**The aim of this paper is to introduce a new proximal double bundle method for unconstrained nonsmooth optimization, where the objective function is presented as a difference of two convex (DC) functions. The novelty in our method is a new escape procedure which enables us to guarantee approximate Clarke stationarity for solutions by utilizing the DC components of the objective function. This optimality condition is stronger than the criticality condition typically used in DC programming. Moreover, if a candidate solution is not approximate Clarke stationary, then the escape procedure returns a descent direction. With this escape procedure, we can avoid some shortcomings encountered when criticality is used. The finite termination of the double bundle method to an approximate Clarke stationary point is proved by assuming that the subdifferentials of DC components are polytopes. Finally, some encouraging numerical results are presented.

On modeling and complete solutions to general fixpoint problems in multi-scale systems with applications

**Authors:**Ruan, Ning , Gao, David**Date:**2018**Type:**Text , Journal article**Relation:**Fixed Point Theory and Applications Vol. 2018, no. 1 (2018), p. 1-19**Full Text:****Reviewed:****Description:**This paper revisits the well-studied fixed point problem from a unified viewpoint of mathematical modeling and canonical duality theory, i.e., the general fixed point problem is first reformulated as a nonconvex optimization problem, its well-posedness is discussed based on the objectivity principle in continuum physics; then the canonical duality theory is applied for solving this challenging problem to obtain not only all fixed points, but also their stability properties. Applications are illustrated by problems governed by nonconvex polynomial, exponential, and logarithmic operators. This paper shows that within the framework of the canonical duality theory, there is no difference between the fixed point problems and nonconvex analysis/optimization in multidisciplinary studies.

**Authors:**Ruan, Ning , Gao, David**Date:**2018**Type:**Text , Journal article**Relation:**Fixed Point Theory and Applications Vol. 2018, no. 1 (2018), p. 1-19**Full Text:****Reviewed:****Description:**This paper revisits the well-studied fixed point problem from a unified viewpoint of mathematical modeling and canonical duality theory, i.e., the general fixed point problem is first reformulated as a nonconvex optimization problem, its well-posedness is discussed based on the objectivity principle in continuum physics; then the canonical duality theory is applied for solving this challenging problem to obtain not only all fixed points, but also their stability properties. Applications are illustrated by problems governed by nonconvex polynomial, exponential, and logarithmic operators. This paper shows that within the framework of the canonical duality theory, there is no difference between the fixed point problems and nonconvex analysis/optimization in multidisciplinary studies.

On SPD method for solving canonical dual problem in post buckling of large deformed elastic beam

**Authors:**Ali, Elaf , Gao, David**Date:**2018**Type:**Text , Journal article**Relation:**Communications in Mathematical Sciences Vol. 16, no. 5 (2018), p. 1225-1240**Full Text:****Reviewed:****Description:**This paper presents a new methodology and algorithm for solving post buckling problems of a large deformed elastic beam. The total potential energy of this beam is a nonconvex functional, which can be used to model both pre- and post-buckling phenomena. By using a canonical dual finite element method, a new primal-dual semi-definite programming (PD-SDP) algorithm is presented, which can be used to obtain all possible post-buckled solutions. Applications are illustrated by several numerical examples with different boundary conditions. We find that the global minimum solution of the nonconvex potential leads to a stable configuration of the buckled beam, the local maximum solution leads to the unbuckled state, and both of these two solutions are numerically stable. However, the local minimum solution leads to an unstable buckled state, which is very sensitive to axial compressive forces, thickness of beam, numerical precision, and the size of finite elements. The method and algorithm proposed in this paper can be used for solving general nonconvex variational problems in engineering and sciences.

**Authors:**Ali, Elaf , Gao, David**Date:**2018**Type:**Text , Journal article**Relation:**Communications in Mathematical Sciences Vol. 16, no. 5 (2018), p. 1225-1240**Full Text:****Reviewed:****Description:**This paper presents a new methodology and algorithm for solving post buckling problems of a large deformed elastic beam. The total potential energy of this beam is a nonconvex functional, which can be used to model both pre- and post-buckling phenomena. By using a canonical dual finite element method, a new primal-dual semi-definite programming (PD-SDP) algorithm is presented, which can be used to obtain all possible post-buckled solutions. Applications are illustrated by several numerical examples with different boundary conditions. We find that the global minimum solution of the nonconvex potential leads to a stable configuration of the buckled beam, the local maximum solution leads to the unbuckled state, and both of these two solutions are numerically stable. However, the local minimum solution leads to an unstable buckled state, which is very sensitive to axial compressive forces, thickness of beam, numerical precision, and the size of finite elements. The method and algorithm proposed in this paper can be used for solving general nonconvex variational problems in engineering and sciences.

Perturbation of error bounds

- Kruger, Alexander, López, Marco, Théra, Michel

**Authors:**Kruger, Alexander , López, Marco , Théra, Michel**Date:**2018**Type:**Text , Journal article**Relation:**Mathematical Programming Vol. 168, no. 1-2 (2018), p. 533-554**Relation:**http://purl.org/au-research/grants/arc/DP160100854**Full Text:****Reviewed:****Description:**Our aim in the current article is to extend the developments in Kruger et al. (SIAM J Optim 20(6):3280–3296, 2010. doi:10.1137/100782206) and, more precisely, to characterize, in the Banach space setting, the stability of the local and global error bound property of inequalities determined by lower semicontinuous functions under data perturbations. We propose new concepts of (arbitrary, convex and linear) perturbations of the given function defining the system under consideration, which turn out to be a useful tool in our analysis. The characterizations of error bounds for families of perturbations can be interpreted as estimates of the ‘radius of error bounds’. The definitions and characterizations are illustrated by examples. © 2017, Springer-Verlag Berlin Heidelberg and Mathematical Optimization Society.

**Authors:**Kruger, Alexander , López, Marco , Théra, Michel**Date:**2018**Type:**Text , Journal article**Relation:**Mathematical Programming Vol. 168, no. 1-2 (2018), p. 533-554**Relation:**http://purl.org/au-research/grants/arc/DP160100854**Full Text:****Reviewed:****Description:**Our aim in the current article is to extend the developments in Kruger et al. (SIAM J Optim 20(6):3280–3296, 2010. doi:10.1137/100782206) and, more precisely, to characterize, in the Banach space setting, the stability of the local and global error bound property of inequalities determined by lower semicontinuous functions under data perturbations. We propose new concepts of (arbitrary, convex and linear) perturbations of the given function defining the system under consideration, which turn out to be a useful tool in our analysis. The characterizations of error bounds for families of perturbations can be interpreted as estimates of the ‘radius of error bounds’. The definitions and characterizations are illustrated by examples. © 2017, Springer-Verlag Berlin Heidelberg and Mathematical Optimization Society.

Set regularities and feasibility problems

- Kruger, Alexander, Luke, Russell, Thao, Nguyen

**Authors:**Kruger, Alexander , Luke, Russell , Thao, Nguyen**Date:**2018**Type:**Text , Journal article**Relation:**Mathematical Programming Vol. 168, no. 1-2 (2018), p. 279-311**Relation:**http://purl.org/au-research/grants/arc/DP160100854**Full Text:****Reviewed:****Description:**We synthesize and unify notions of regularity, both of individual sets and of collections of sets, as they appear in the convergence theory of projection methods for consistent feasibility problems. Several new characterizations of regularities are presented which shed light on the relations between seemingly different ideas and point to possible necessary conditions for local linear convergence of fundamental algorithms

**Authors:**Kruger, Alexander , Luke, Russell , Thao, Nguyen**Date:**2018**Type:**Text , Journal article**Relation:**Mathematical Programming Vol. 168, no. 1-2 (2018), p. 279-311**Relation:**http://purl.org/au-research/grants/arc/DP160100854**Full Text:****Reviewed:****Description:**We synthesize and unify notions of regularity, both of individual sets and of collections of sets, as they appear in the convergence theory of projection methods for consistent feasibility problems. Several new characterizations of regularities are presented which shed light on the relations between seemingly different ideas and point to possible necessary conditions for local linear convergence of fundamental algorithms

A comparison of bidding strategies for online auctions using fuzzy reasoning and negotiation decision functions

- Kaur, Preetinder, Goyal, Madhu, Lu, Jie

**Authors:**Kaur, Preetinder , Goyal, Madhu , Lu, Jie**Date:**2017**Type:**Text , Journal article**Relation:**IEEE Transactions on Fuzzy Systems Vol. 25, no. 2 (2017), p. 425-438**Full Text:****Reviewed:****Description:**Bidders often feel challenged when looking for the best bidding strategies to excel in the competitive environment of multiple and simultaneous online auctions for same or similar items. Bidders face complicated issues for deciding which auction to participate in, whether to bid early or late, and how much to bid. In this paper, we present the design of bidding strategies, which aim to forecast the bid amounts for buyers at a particular moment in time based on their bidding behavior and their valuation of an auctioned item. The agent develops a comprehensive methodology for final price estimation, which designs bidding strategies to address buyers' different bidding behaviors using two approaches: Mamdani method with regression analysis and negotiation decision functions. The experimental results show that the agents who follow fuzzy reasoning with a regression approach outperform other existing agents in most settings in terms of their success rate and expected utility.

**Authors:**Kaur, Preetinder , Goyal, Madhu , Lu, Jie**Date:**2017**Type:**Text , Journal article**Relation:**IEEE Transactions on Fuzzy Systems Vol. 25, no. 2 (2017), p. 425-438**Full Text:****Reviewed:****Description:**Bidders often feel challenged when looking for the best bidding strategies to excel in the competitive environment of multiple and simultaneous online auctions for same or similar items. Bidders face complicated issues for deciding which auction to participate in, whether to bid early or late, and how much to bid. In this paper, we present the design of bidding strategies, which aim to forecast the bid amounts for buyers at a particular moment in time based on their bidding behavior and their valuation of an auctioned item. The agent develops a comprehensive methodology for final price estimation, which designs bidding strategies to address buyers' different bidding behaviors using two approaches: Mamdani method with regression analysis and negotiation decision functions. The experimental results show that the agents who follow fuzzy reasoning with a regression approach outperform other existing agents in most settings in terms of their success rate and expected utility.

Borwein–Preiss vector variational principle

- Kruger, Alexander, Plubtieng, Somyot, Seangwattana, Thidaporn

**Authors:**Kruger, Alexander , Plubtieng, Somyot , Seangwattana, Thidaporn**Date:**2017**Type:**Text , Journal article**Relation:**Positivity Vol. 21, no. 4 (2017), p. 1273-1292**Relation:**http://purl.org/au-research/grants/arc/DP160100854**Full Text:****Reviewed:****Description:**This article extends to the vector setting the results of our previous work Kruger et al. (J Math Anal Appl 435(2):1183–1193, 2016) which refined and slightly strengthened the metric space version of the Borwein–Preiss variational principle due to Li and Shi (J Math Anal Appl 246(1):308–319, 2000. doi:10.1006/jmaa.2000.6813). We introduce and characterize two seemingly new natural concepts of ε-minimality, one of them dependent on the chosen element in the ordering cone and the fixed “gauge-type” function. © 2017, Springer International Publishing.

**Authors:**Kruger, Alexander , Plubtieng, Somyot , Seangwattana, Thidaporn**Date:**2017**Type:**Text , Journal article**Relation:**Positivity Vol. 21, no. 4 (2017), p. 1273-1292**Relation:**http://purl.org/au-research/grants/arc/DP160100854**Full Text:****Reviewed:****Description:**This article extends to the vector setting the results of our previous work Kruger et al. (J Math Anal Appl 435(2):1183–1193, 2016) which refined and slightly strengthened the metric space version of the Borwein–Preiss variational principle due to Li and Shi (J Math Anal Appl 246(1):308–319, 2000. doi:10.1006/jmaa.2000.6813). We introduce and characterize two seemingly new natural concepts of ε-minimality, one of them dependent on the chosen element in the ordering cone and the fixed “gauge-type” function. © 2017, Springer International Publishing.

Characterization theorem for best polynomial spline approximation with free knots, variable degree and fixed tails

- Crouzeix, Jean-Pierre, Sukhorukova, Nadezda, Ugon, Julien

**Authors:**Crouzeix, Jean-Pierre , Sukhorukova, Nadezda , Ugon, Julien**Date:**2017**Type:**Text , Journal article**Relation:**Journal of Optimization Theory and Applications Vol. 172, no. 3 (2017), p. 950-964**Full Text:****Reviewed:****Description:**In this paper, we derive a necessary condition for a best approximation by piecewise polynomial functions of varying degree from one interval to another. Based on these results, we obtain a characterization theorem for the polynomial splines with fixed tails, that is the value of the spline is fixed in one or more knots (external or internal). We apply nonsmooth nonconvex analysis to obtain this result, which is also a necessary and sufficient condition for inf-stationarity in the sense of Demyanov-Rubinov. This paper is an extension of a paper where similar conditions were obtained for free tails splines. The main results of this paper are essential for the development of a Remez-type algorithm for free knot spline approximation.

**Authors:**Crouzeix, Jean-Pierre , Sukhorukova, Nadezda , Ugon, Julien**Date:**2017**Type:**Text , Journal article**Relation:**Journal of Optimization Theory and Applications Vol. 172, no. 3 (2017), p. 950-964**Full Text:****Reviewed:****Description:**In this paper, we derive a necessary condition for a best approximation by piecewise polynomial functions of varying degree from one interval to another. Based on these results, we obtain a characterization theorem for the polynomial splines with fixed tails, that is the value of the spline is fixed in one or more knots (external or internal). We apply nonsmooth nonconvex analysis to obtain this result, which is also a necessary and sufficient condition for inf-stationarity in the sense of Demyanov-Rubinov. This paper is an extension of a paper where similar conditions were obtained for free tails splines. The main results of this paper are essential for the development of a Remez-type algorithm for free knot spline approximation.

Density character of subgroups of topological groups

- Leiderman, Arkady, Morris, Sidney, Tkachenko, Mikhail

**Authors:**Leiderman, Arkady , Morris, Sidney , Tkachenko, Mikhail**Date:**2017**Type:**Text , Journal article**Relation:**Transactions of the American Mathematical Society Vol. 369, no. 8 (2017), p. 5645-5664**Full Text:****Reviewed:****Description:**We give a complete characterization of subgroups of separable topological groups. Then we show that the following conditions are equivalent for an omega-narrow topological group G: (i) G is homeomorphic to a subspace of a separable regular space; (ii) G is topologically isomorphic to a subgroup of a separable topological group; (iii) G is topologically isomorphic to a closed subgroup of a separable path-connected, locally path-connected topological group. A pro-Lie group is a projective limit of finite-dimensional Lie groups. We prove here that an almost connected pro-Lie group is separable if and only if its weight is not greater than the cardinality c of the continuum. It is deduced from this that an almost connected pro-Lie group is separable if and only if it is homeomorphic to a subspace of a separable Hausdorff space. It is also proved that a locally compact (even feathered) topological group G which is a subgroup of a separable Hausdorff topological group is separable, but the conclusion is false if it is assumed only that G is homeomorphic to a subspace of a separable Tychonoff space. We show that every precompact (abelian) topological group of weight less than or equal to c is topologically isomorphic to a closed subgroup of a separable pseudocompact (abelian) group of weight c. This result implies that there is a wealth of closed non-separable subgroups of separable pseudocompact groups. An example is also presented under the Continuum Hypothesis of a separable countably compact abelian group which contains a non-separable closed subgroup.

**Authors:**Leiderman, Arkady , Morris, Sidney , Tkachenko, Mikhail**Date:**2017**Type:**Text , Journal article**Relation:**Transactions of the American Mathematical Society Vol. 369, no. 8 (2017), p. 5645-5664**Full Text:****Reviewed:****Description:**We give a complete characterization of subgroups of separable topological groups. Then we show that the following conditions are equivalent for an omega-narrow topological group G: (i) G is homeomorphic to a subspace of a separable regular space; (ii) G is topologically isomorphic to a subgroup of a separable topological group; (iii) G is topologically isomorphic to a closed subgroup of a separable path-connected, locally path-connected topological group. A pro-Lie group is a projective limit of finite-dimensional Lie groups. We prove here that an almost connected pro-Lie group is separable if and only if its weight is not greater than the cardinality c of the continuum. It is deduced from this that an almost connected pro-Lie group is separable if and only if it is homeomorphic to a subspace of a separable Hausdorff space. It is also proved that a locally compact (even feathered) topological group G which is a subgroup of a separable Hausdorff topological group is separable, but the conclusion is false if it is assumed only that G is homeomorphic to a subspace of a separable Tychonoff space. We show that every precompact (abelian) topological group of weight less than or equal to c is topologically isomorphic to a closed subgroup of a separable pseudocompact (abelian) group of weight c. This result implies that there is a wealth of closed non-separable subgroups of separable pseudocompact groups. An example is also presented under the Continuum Hypothesis of a separable countably compact abelian group which contains a non-separable closed subgroup.

Are you sure you would like to clear your session, including search history and login status?