-
Convex optimization problems inspired by geotechnical stability analysis
Authors:
Stanislav Sysala,
Michal Béreš,
Simona Bérešová,
Jaroslav Haslinger,
Jakub Kružík,
Tomáš Luber
Abstract:
This paper is motivated by the limit load, limit analysis and shear strength reduction methods, which are commonly employed in geotechnical stability analysis or similar applications. The aim is to make these methods more approachable by introducing a unified framework based on abstract convex optimization and its parametric studies. We establish suitable assumptions on the abstract problems that…
▽ More
This paper is motivated by the limit load, limit analysis and shear strength reduction methods, which are commonly employed in geotechnical stability analysis or similar applications. The aim is to make these methods more approachable by introducing a unified framework based on abstract convex optimization and its parametric studies. We establish suitable assumptions on the abstract problems that capture the selected features of these methods and facilitate rigorous theoretical investigation. Further, we propose continuation techniques tailored to the resulting parametric problem formulations and show that the developed abstract framework could also be useful outside the domain of geotechnical stability analysis. The main results are illustrated with analytical and numerical examples. The numerical example deals with a 3D slope stability problem.
△ Less
Submitted 4 January, 2025; v1 submitted 19 December, 2023;
originally announced December 2023.
-
Families of skew-symmetric matrices of even size
Authors:
J. W. Bruce,
V. V. Goryunov,
G. J. Haslinger
Abstract:
The main result of the paper is a classification of singularities of complex skew-symmetric matrix families of even size which are simple under a natural equivalence relation. The classification is obtained by appropriate suspensions of simple families of arbitrary square matrices classified by Bruce and Tari. The suspensions we are using are based on the embedding of a space of arbitrary square m…
▽ More
The main result of the paper is a classification of singularities of complex skew-symmetric matrix families of even size which are simple under a natural equivalence relation. The classification is obtained by appropriate suspensions of simple families of arbitrary square matrices classified by Bruce and Tari. The suspensions we are using are based on the embedding of a space of arbitrary square matrices into the space of skew-symmetric matrices of twice the size. We also show that similar relations embed Bruce's classification of simple symmetric matrix families into the Bruce-Tari simple list. Our constructions introduce a unified approach to all three simple classifications.
△ Less
Submitted 12 September, 2022; v1 submitted 1 June, 2022;
originally announced June 2022.
-
An abstract inf-sup problem inspired by limit analysis in perfect plasticity and related applications
Authors:
Stanislav Sysala,
Jaroslav Haslinger,
Daya Reddy,
Sergey Repin
Abstract:
This work is concerned with an abstract inf-sup problem generated by a bilinear Lagrangian and convex constraints. We study the conditions that guarantee no gap between the inf-sup and related sup-inf problems. The key assumption introduced in the paper generalizes the well-known Babuska-Brezzi condition. It is based on an inf-sup condition defined for convex cones in function spaces. We also appl…
▽ More
This work is concerned with an abstract inf-sup problem generated by a bilinear Lagrangian and convex constraints. We study the conditions that guarantee no gap between the inf-sup and related sup-inf problems. The key assumption introduced in the paper generalizes the well-known Babuska-Brezzi condition. It is based on an inf-sup condition defined for convex cones in function spaces. We also apply a regularization method convenient for solving the inf-sup problem and derive a computable majorant of the critical (inf-sup) value, which can be used in a posteriori error analysis of numerical results. Results obtained for the abstract problem are applied to continuum mechanics. In particular, examples of limit load problems and similar ones arising in classical plasticity, gradient plasticity and delamination are introduced.
△ Less
Submitted 8 September, 2020;
originally announced September 2020.
-
A new incremental method of computing the limit load in deformation plasticity models
Authors:
Jaroslav Haslinger,
Sergey Repin,
Stanislav Sysala
Abstract:
The aim of this paper is to introduce a new incremental procedure that can be used for numerical evaluation of the limit load. Existing incremental type methods are based on parametrization of the energy by the loading parameter $ζ\in[0,ζ_{lim})$, where $ζ_{lim}$ is generally unknown. In the new method, the incremental procedure is operated in terms of an inverse mapping and the respective paramet…
▽ More
The aim of this paper is to introduce a new incremental procedure that can be used for numerical evaluation of the limit load. Existing incremental type methods are based on parametrization of the energy by the loading parameter $ζ\in[0,ζ_{lim})$, where $ζ_{lim}$ is generally unknown. In the new method, the incremental procedure is operated in terms of an inverse mapping and the respective parameter $α$ is changing in the interval $(0,+\infty)$. Theoretically, in each step of this algorithm, we obtain a guaranteed lower bound of $ζ_{lim}$. Reduction of the problem to a finite element subspace associated with a mesh $\mathcal T_h$ generates computable bound $ζ_{lim,h}$. Under certain assumptions, we prove that $ζ_{lim,h}$ tends to $ζ_{lim}$ as $h\rightarrow0_+$. Numerical tests confirm practical efficiency of the suggested method.
△ Less
Submitted 9 November, 2015;
originally announced November 2015.
-
Stokes problem with a solution dependent slip bound: Stability of solutions with respect to domains
Authors:
Jaroslav Haslinger,
Jan Stebel
Abstract:
We study the Stokes problem in a bounded planar domain $Ω$ with a friction type boundary condition that switches between a slip and no-slip stage. Unlike our previous work [6], in the present paper the threshold value may depend on the velocity field. Besides the usual velocity-pressure formulation, we introduce an alternative formulation with three Lagrange multipliers which allows a more flexibl…
▽ More
We study the Stokes problem in a bounded planar domain $Ω$ with a friction type boundary condition that switches between a slip and no-slip stage. Unlike our previous work [6], in the present paper the threshold value may depend on the velocity field. Besides the usual velocity-pressure formulation, we introduce an alternative formulation with three Lagrange multipliers which allows a more flexible treatment of the impermeability condition as well as optimum design problems with cost functions depending on the shear and/or normal stress. Our main goal is to determine under which conditions concerning smoothness of $Ω$, solutions to the Stokes system depend continuously on variations of $Ω$. Having this result at our disposal, we easily prove the existence of a solution to optimal shape design problems for a large class of cost functionals.
△ Less
Submitted 27 April, 2015;
originally announced April 2015.
-
Topology optimization in Bernoulli free boundary problems
Authors:
J. I. Toivanen,
R. A. E. Makinen,
J. Haslinger
Abstract:
In this work we consider topology optimization of systems, which are governed by the external Bernoulli free boundary problem. We utilize the so-called pseudo-solid approach to solve the governing free boundary problems during the optimization. To define design domains we utilize a level set representation parameterized by radial basis functions. This design parametrization allows topological chan…
▽ More
In this work we consider topology optimization of systems, which are governed by the external Bernoulli free boundary problem. We utilize the so-called pseudo-solid approach to solve the governing free boundary problems during the optimization. To define design domains we utilize a level set representation parameterized by radial basis functions. This design parametrization allows topological changes in the design domain.
△ Less
Submitted 8 December, 2010;
originally announced December 2010.
