Source-linked AI summary
Controlling the energy jump of multistable structures using shape optimization
Arselane Hadj Slimane, Patrick E. Farrell, Alberto Paganini, Àlex Ferrer
TL;DR
Classical shape optimization commonly assumes a unique PDE solution, while multistable metamaterials have distinct stable equilibria and can use branch switching to dissipate impact energy. This paper develops a branch-tracking shape-optimization framework for targeting energy jumps, and reports numerical validation in two and three dimensions.
Problem
Classical shape optimization commonly assumes a unique PDE solution and single-valued shape-to-solution map, although multistable metamaterials have multiple stable states whose branch switching can dissipate impact energy.
Source: §1 · p. 1Method
The framework uses the implicit function theorem to establish sufficient conditions for continuing multiple solution branches as the domain shape varies, then tracks branches during shape optimization for neo-Hookean metamaterials.
Source: §1 · pp. 1–2Results
The framework’s effectiveness was validated through numerical experiments in two and three dimensions.
Source: §5 · p. 8Takeaways & Limitations
The framework controls energy jumps between distinct solutions and is applicable to other shape-optimization problems with multivalued PDE constraints.
Source: §5 · p. 8The method assumes the number of solution branches remains constant during optimization and cannot directly handle self-contact problems formulated as quasi-variational inequalities.
Source: §5 · p. 8
Abstract
from arXiv · showhide
Multistable systems admit distinct stable equilibria for the same loading and boundary conditions. Shape optimization of multistable structures offers a promising route to engineer the mechanical response of advanced materials and metamaterials. In this work, we develop a formulation and algorithm for controlling the energy jump associated with snap-through behaviour in hyperelastic metamaterials by optimizing the shape of the domain. The key challenge is that classical shape optimization theory assumes a single-valued domain-to-solution map, which does not hold in the multistable setting. We address this by extending the theory to settings with non-unique solutions, treating the scaling of the domain deformation as a continuation parameter and applying the implicit function theorem to give sufficient conditions for the continued existence of multiple solution branches as the shape varies. This theoretical foundation underpins a practical algorithm that targets a prescribed energy jump between stable states, enabling the systematic design of structures whose snap-through response can be tuned on demand.
1. Introduction.
The paper targets shape optimization for PDEs with multiple solutions, using metamaterial snap-through energy jumps as its motivating design problem. It addresses the mismatch between multistability and classical methods’ single-valued shape-to-solution assumption by tracking solution branches as shape varies.
1. Introduction.
- Shape optimization selects a domain to optimize a cost functional subject to physical constraints, often expressed as PDEs.The paper treats domain shape as the control variable in PDE-constrained optimization.Source: §1 · p. 1
- The work targets control of the energy required for metamaterials to snap between stable branches, rather than tuning stress-strain response or negative Poisson’s ratio.Branch switching can dissipate impact energy, making control of that dissipation desirable for impact protection.Source: §1 · p. 1
- Classical shape optimization commonly assumes a unique PDE solution and a single-valued shape-to-solution map, while many physical problems have multiple solutions.For nonconvex energy minimization, these can include local minima, maxima, and saddle points.Source: §1 · pp. 1–2
- Figure 1 illustrates a domain with two holes and three equilibria under the same boundary conditions: two stable states and an unstable state.Dirichlet conditions are imposed on the top and bottom; other boundaries have natural conditions.Source: Figure 1 · p. 2
- The framework parameterizes shape deformation and uses the implicit function theorem to give sufficient conditions for local continuation of solution branches as shape varies.The algorithm tracks those branches throughout shape optimization.Source: §1 · p. 2
2. Problem statement.
The problem formulates control of energy jumps between distinct solutions of a nonlinear hyperelastic PDE as a shape-optimization objective. It defines the domain and energy setting, and notes that optimization requires consistently tracked solution branches as the domain changes.
2. Problem statement.
- The displacement is a stationary point of potential energy, whose internal energy density is defined using the deformation gradient and neo-Hookean stress.The variational problem is obtained by setting the first derivative of potential energy to zero; P denotes the first Piola–Kirchhoff stress tensor.Source: §2 · pp. 2–3
- The nonlinear variational problem generally admits multiple distinct, isolated solutions on a domain, which are used to define the energy-jump control objective.The problem concerns a neo-Hookean hyperelastic material on a bounded Lipschitz domain in two or three dimensions.Source: §2 · pp. 2–3
- The objective targets signed energy jumps between solution pairs, with pair weights balancing their importance and a penalty preventing distinct solutions from collapsing together.A zero pair weight means that pair’s jump is not controlled.Source: §2 · p. 3
- The objective depends on the domain through integrals and implicitly through its PDE solutions, so the optimization requires suitably regular maps from domains to each tracked solution.Solutions are computed and labelled on the initial domain, then recomputed and labelled after each domain update to maintain consistency.Source: §2 · p. 3
3. Iterative shape optimization.
The framework updates the domain through diffeomorphisms and uses IFT-based continuation to pair multiple PDE solutions as the shape varies. A trust-region algorithm then seeks domain perturbations that reduce the energy-jump objective.
3. Iterative shape optimization.
- The algorithm represents each candidate domain as Ωk = Tk(Ω0) and selects perturbations to produce a decreasing objective sequence.The descent is conditional on suitable selection of perturbations; the paper does not establish that the sequence is minimizing.Source: §3 · p. 4
- The paper focuses on numerical realization and leaves existence and uniqueness for the optimization problem, and conditions guaranteeing a minimizing sequence, unaddressed.The objective sequence is decreasing only under suitable selection of domain perturbations.Source: §3 · p. 4
- Under suitable assumptions, IFT-based continuation consistently pairs indexed solutions across successive domains, supporting objective evaluation for multiple branches.The domain deformation is scaled as a continuation parameter, and sufficiently small updates allow branch correspondence to be checked by solution proximity.Source: §3 · p. 4
- The optimization uses dogleg trust-region steps with BFGS Hessian updates and shape-gradient directions.The implementation uses ROL, Fireshape, Firedrake, pyadjoint, and UFL.Source: §3 · p. 4
- Candidate-shape solutions are computed with Newton iterations initialized from the corresponding solutions on the current domain.When domain updates are sufficiently small, the transferred solution can be a good initial guess and Newton’s method may converge in a few iterations.Source: §3 · pp. 4–5
4. Numerical Results.
The numerical experiments test energy-gap control in two- and three-dimensional multistable structures. The results show that target attainment depends on the objective and target ratio, while continuation can address difficult targets.
4. Numerical Results.
- The experiments use perforated elastomeric square domains with N = 2 or 4 hole arrays, and three tracked solutions: two stable branches and an intervening saddle.The domains are also extruded to depth h = 1 for three-dimensional simulations; initial solutions are computed using deflated continuation.Source: §4 · pp. 5–6
- The two objective families target ratios of energy gaps; for the stated symmetric initial branches and central saddle, the adjacent initial gaps are equal.The numerical experiments use Young’s modulus E = 10^6 and Poisson’s ratio ν = 0.3.Source: §4 · pp. 5–6
- For N = 2, Figure 3 shows the initial domain alongside optimized shapes for target energy jump ratios r = 0.6, 0.4, and 0.2, using objectives J1 or J2.J1 appears in the first row and J2 in the second.Source: §4 · p. 6, Figure 3 · p. 6
- For r = 0.4, J2 brings the u1 and u3 energy curves together toward u2, while J1 reduces the u1–u2 gap and leaves u3 uncontrolled.The J1 u3 energy drifts mildly; the J2 pattern is also reported for N = 4.Source: §4 · p. 6, Figure 4 · p. 7
- At r = 0.2, minimizing J2 reaches the target energy-gap ratio, whereas J1 has difficulty and misses it.Figure 5 shows convergence histories for r = 0.2, 0.4, and 0.6 with N = 2 and 4.Source: §4 · p. 6, Figure 5 · p. 7
- For N = 2 and 4, the optimization histories are qualitatively similar, although direct J1 optimization at r = 0.2 fails to reach its target.The authors note that the different J1 and J2 convergence behavior may relate to symmetry preservation or loss, but say further research is needed.Source: §4 · pp. 6–7
- Continuation reaches difficult target ratios, including r = 0.2 and r = 1.6, but requires more iterations across its steps.Direct optimization for large energy-gap increases can be challenging because of competing geometric constraints.Source: §4 · pp. 7–8, Figure 6 · p. 8
- In three dimensions, minimizing J2 reduces the energy gap to approximately 20% of its initial value and stretches the optimized domain opposite the stable-solution branches.The experiment uses N = 2; the optimized geometry is reported to resemble the two-dimensional pattern.Source: §4 · p. 8
5. Conclusion.
The paper presents a shape-optimization framework for controlling energy jumps between distinct solutions of a neo-Hookean metamaterial. Numerical experiments validate the approach in two and three dimensions, subject to assumptions on solution branches and contact.
- The framework controls energy jumps between distinct solutions of a neo-Hookean metamaterial and may support impact-energy dissipation.Source: §5 · p. 8
- The methodology’s effectiveness is validated through numerical experiments in two and three dimensions.Source: §5 · p. 8
- The method assumes a constant number of solution branches and does not directly apply to self-contact problems.Self-contact replaces the PDE constraint with a quasi-variational inequality.Source: §5 · p. 8
Appendix A. Derivation of the first Piola–Kirchhoff stress tensor (2.5).
The appendix derives the first Piola–Kirchhoff stress tensor by differentiating the neo-Hookean strain-energy density term by term. It identifies the derivative contribution from the trace term and characterizes P as the matrix representative of the derivative of W at F.
- The deformation gradient is F = ∇φ, with J = det F > 0, and I1 = tr(F^⊤F).Source: Appendix A · p. 11
- The derivation splits the neo-Hookean strain-energy density W into three terms and computes each derivative separately.Source: Appendix A · p. 11
- The contribution of W1 to P is µF.Source: Appendix A · p. 11
- For W3, the directional derivative is λ ln J F^-⊤:H, and P represents the derivative of W at F.Source: Appendix A · pp. 11–12