arXiv Science⌕ Search

arXiv subjects

Karolína Sehnalová

Publications and source records attributed to Karolína Sehnalová.

2 recordsLinked to original sources

On the Peak Estimation of Scalar Polynomial Systems via Integrability

We develop a convergent occupation measure framework for peak estimation of scalar polynomial dynamical systems with no a priori state bound. The key observation is that scalar trajectories satisfy a uniform weighted integrability bound whose exponent precisely compensates for the singularity introduced by polynomial compactification. This yields a finite measure formulation with polynomial data. We establish a superposition principle for the resulting weighted continuity equation, prove no relaxation gap and establish convergence of the associated moment-sum-of-squares hierarchy.

math.OC↗

Semidefinite relaxations for nonlinear elasticity with energies convex in the Cauchy-Green strain tensor

In nonlinear elasticity, finding the deformation of a material which minimizes a given stored energy density is a challenging calculus of variations problem which may fail to have minimizers: the energy optimal material forms infinitely fine microstructures (wrinkles) rather than deforming smoothly. In the case where the energy function is non-convex but frame indifferent and convex with respect to the Cauchy-Green strain tensor, we use the standard Le Dret-Raoult semidefinite projection formula for the quasiconvex envelope of the energy function together with a recent no gap result for convex calculus of variation problems to prove that there is no relaxation gap between the original non-convex calculus of variations problem and its linear moment formulation based on occupation measures. This implies convergence of the Lasserre moment-sum-of-squares (SOS) hierarchy and provides a computationally efficient, mesh-free numerical method that, unlike the finite element method, avoids undesirable mesh-dependent artifacts. Under the additional condition that the boundary condition is linear and the function is SOS convex in the strain tensor, we show that the first relaxation of the Lasserre hierarchy is exact. In other words, computing the quasiconvex envelope at a point boils down to solving a small convex semidefinite optimization problem.

math.OC↗