%0 Generic %D 2024 %T Optimisation–Based Coupling of Finite Element Model and Reduced Order Model for Computational Fluid Dynamics %A Ivan Prusak %A Davide Torlo %A Monica Nonino %A Gianluigi Rozza %G eng %0 Generic %D 2023 %T An optimisation-based domain-decomposition reduced order model for parameter-dependent non-stationary fluid dynamics problems %A Ivan Prusak %A Davide Torlo %A Monica Nonino %A Gianluigi Rozza %G eng %0 Journal Article %D 2023 %T An optimisation–based domain–decomposition reduced order model for the incompressible Navier-Stokes equations %A Ivan Prusak %A Monica Nonino %A Davide Torlo %A Francesco Ballarin %A Gianluigi Rozza %K Computational fluid dynamics %K Domain decomposition %K Optimal control %K Proper orthogonal decomposition %K Reduced order modelling %X

The aim of this work is to present a model reduction technique in the framework of optimal control problems for partial differential equations. We combine two approaches used for reducing the computational cost of the mathematical numerical models: domain–decomposition (DD) methods and reduced–order modelling (ROM). In particular, we consider an optimisation–based domain–decomposition algorithm for the parameter–dependent stationary incompressible Navier–Stokes equations. Firstly, the problem is described on the subdomains coupled at the interface and solved through an optimal control problem, which leads to the complete separation of the subdomain problems in the DD method. On top of that, a reduced model for the obtained optimal–control problem is built; the procedure is based on the Proper Orthogonal Decomposition technique and a further Galerkin projection. The presented methodology is tested on two fluid dynamics benchmarks: the stationary backward–facing step and lid-driven cavity flow. The numerical tests show a significant reduction of the computational costs in terms of both the problem dimensions and the number of optimisation iterations in the domain–decomposition algorithm.

%V 151 %P 172 - 189 %8 2023/12/01/ %@ 0898-1221 %G eng %U https://www.sciencedirect.com/science/article/pii/S0898122123004248 %! Computers & Mathematics with Applications %0 Journal Article %J Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences %D 2022 %T Optimal design of planar shapes with active materials %A Dario Andrini %A Giovanni Noselli %A Alessandro Lucantonio %X

Active materials have emerged as valuable candidates for shape morphing applications, where a body reconfiguration is achieved upon triggering its active response. Given a desired shape change, a natural question is to compare different morphing mechanisms to select the most effective one with respect to an optimality criterion. We introduce an optimal control problem to determine the active strains suitable to attain a target equilibrium shape while minimizing the complexity of the activation. Specifically, we discuss the planar morphing of active, hyperelastic bodies in the absence of external forces and exploit the notion of target metric to encompass a broad set of active materials in a unifying approach. For the case of affine shape changes, we derive explicit conditions on the body reference configuration for the optimality of homogeneous target metrics. More complex shape changes are analysed via numerical simulations to explore the impact on optimal solutions of different objective functionals inspired by features of existing materials. We show how stresses arising from incompatibilities contribute to reduce the complexity of the controls. We believe that our approach may be exploited for the optimal design of active systems and may contribute to gather insight into the morphing strategies of biological systems.

%B Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences %V 478 %P 20220256 %G eng %U https://royalsocietypublishing.org/doi/abs/10.1098/rspa.2022.0256 %R 10.1098/rspa.2022.0256 %0 Report %D 2018 %T Observables in the equivariant A-model %A Bonechi, F. %A Cattaneo, A.S. %A Riccardo Iraso %A Maxim Zabzine %G eng %U https://arxiv.org/abs/1807.08659 %0 Journal Article %D 2015 %T Onofri-Type Inequalities for Singular Liouville Equations %A Gabriele Mancini %X

We study the blow-up behavior of minimizing sequences for the singular Moser–Trudinger functional on compact surfaces. Assuming non-existence of minimum points, we give an estimate for the infimum value of the functional. This result can be applied to give sharp Onofri-type inequalities on the sphere in the presence of at most two singularities.

%I Springer US %G en %1 34668 %2 Mathematics %4 1 %# MAT/05 %R 10.1007/s12220-015-9589-3 %0 Journal Article %D 2013 %T One-dimensional swimmers in viscous fluids: dynamics, controllability, and existence of optimal controls %A Gianni Dal Maso %A Antonio DeSimone %A Marco Morandotti %X

In this paper we study a mathematical model of one-dimensional swimmers performing a planar motion while fully immersed in a viscous fluid. The swimmers are assumed to be of small size, and all inertial effects are neglected. Hydrodynamic interactions are treated in a simplified way, using the local drag approximation of resistive force theory. We prove existence and uniqueness of the solution of the equations of motion driven by shape changes of the swimmer. Moreover, we prove a controllability result showing that given any pair of initial and final states, there exists a history of shape changes such that the resulting motion takes the swimmer from the initial to the final state. We give a constructive proof, based on the composition of elementary maneuvers (straightening and its inverse, rotation, translation), each of which represents the solution of an interesting motion planning problem. Finally, we prove the existence of solutions for the optimal control problem of finding, among the histories of shape changes taking the swimmer from an initial to a final state, the one of minimal energetic cost.

%I SISSA %G en %U http://hdl.handle.net/1963/6467 %1 6412 %2 Mathematics %4 1 %# MAT/05 ANALISI MATEMATICA %$ Submitted by Gianni Dal Maso (dalmaso@sissa.it) on 2013-02-11T12:13:39Z No. of bitstreams: 1 DM-DeS-Mor-12-v10 sissa.pdf: 606490 bytes, checksum: 45f448186465b198ec31beb54afb0edf (MD5) %0 Journal Article %J International Journal of Non-Linear mechanics %D 2012 %T Ogden-type energies for nematic elastomers %A Virginia Agostiniani %A Antonio DeSimone %K Nonlinear elasticity %X

Ogden-type extensions of the free-energy densities currently used to model the mechanical behavior of nematic elastomers are proposed and analyzed. Based on a multiplicative decomposition of the deformation gradient into an elastic and a spontaneous or remanent part, they provide a suitable framework to study the stiffening response at high imposed stretches. Geometrically linear versions of the models (Taylor expansions at order two) are provided and discussed. These small strain theories provide a clear illustration of the geometric structure of the underlying energy landscape (the energy grows quadratically with the distance from a non-convex set of spontaneous strains or energy wells). The comparison between small strain and finite deformation theories may also be useful in the opposite direction, inspiring finite deformation generalizations of small strain theories currently used in the mechanics of active and phase-transforming materials. The energy well structure makes the free-energy densities non-convex. Explicit quasi-convex envelopes are provided, and applied to compute the stiffening response of a specimen tested in plane strain extension experiments (pure shear).

%B International Journal of Non-Linear mechanics %I Elsevier %V 47 %P 402-412 %G en %N 2 %1 6971 %2 Mathematics %4 -1 %$ Submitted by Maria Pia Calandra (calapia@sissa.it) on 2013-07-15T14:33:38Z No. of bitstreams: 0 %R 10.1016/j.ijnonlinmec.2011.10.001 %0 Journal Article %J Advanced Nonlinear Studies %D 2012 %T One-signed harmonic solutions and sign-changing subharmonic solutions to scalar second order differential equations %A Alberto Boscaggin %B Advanced Nonlinear Studies %I Advanced Nonlinear Studies, Inc. %V 12 %P 445–463 %G eng %R 10.1515/ans-2012-0302 %0 Journal Article %J SIAM Journal on Mathematical Analysis %D 2012 %T Optimal Transport with Branching Distance Costs and the Obstacle Problem %A Fabio Cavalletti %B SIAM Journal on Mathematical Analysis %V 44 %P 454-482 %G eng %U https://doi.org/10.1137/100801433 %R 10.1137/100801433 %0 Journal Article %J Rendiconti Lincei - Matematica e Applicazioni 22 (2011) 3-15 %D 2011 %T Osservazioni sui teoremi di inversione globale %A Antonio Ambrosetti %X Some global inversion theorems with applications to semilinear elliptic equation are discussed. %B Rendiconti Lincei - Matematica e Applicazioni 22 (2011) 3-15 %I European Mathematical Society %G en_US %U http://hdl.handle.net/1963/4068 %1 334 %2 Mathematics %3 Functional Analysis and Applications %$ Submitted by Andrea Wehrenfennig (andreaw@sissa.it) on 2010-09-20T10:54:19Z\\r\\nNo. of bitstreams: 1\\r\\nAmbrosetti_64M_2010.pdf: 208213 bytes, checksum: 21e1562f4cbcd9ceb8c1b8c8afe9e442 (MD5) %R 10.4171/RLM/584 %0 Journal Article %J Comptes Rendus Mathematique 348 (2010) 613-618 %D 2010 %T On optimality of c-cyclically monotone transference plans %A Stefano Bianchini %A Laura Caravenna %X Abstract. This note deals with the equivalence between the optimality of a transport plan for the Monge-Kantorovich problem and the condition of c-cyclical monotonicity, as an outcome of the construction in [7]. We emphasize the measurability assumption on the hidden structure of linear preorder, applied also to extremality and uniqueness problems. Resume. Dans la presente note nous decrivons brievement la construction introduite dans [7] a propos de l\\\'equivalence entre l\\\'optimalite d\\\'un plan de transport pour le probleme de Monge-Kantorovich et la condition de monotonie c-cyclique ainsi que d\\\'autres sujets que cela nous amene a aborder. Nous souhaitons mettre en evidence l\\\'hypothese de mesurabilite sur la structure sous-jacente de pre-ordre lineaire. %B Comptes Rendus Mathematique 348 (2010) 613-618 %I Elsevier %G en_US %U http://hdl.handle.net/1963/4023 %1 379 %2 Mathematics %3 Functional Analysis and Applications %$ Submitted by Andrea Wehrenfennig (andreaw@sissa.it) on 2010-09-02T09:13:11Z\\nNo. of bitstreams: 1\\ncmonoNoteCRM.pdf: 154086 bytes, checksum: f2efc74ccfedd2e335ff99ff279b5cfd (MD5) %R 10.1016/j.crma.2010.03.022 %0 Report %D 2010 %T Optimally swimming Stokesian Robots %A François Alouges %A Antonio DeSimone %A Luca Heltai %A Aline Lefebvre %A Benoit Merlet %X We study self propelled stokesian robots composed of assemblies of balls, in dimen-\\nsions 2 and 3, and prove that they are able to control their position and orientation. This is a result of controllability, and its proof relies on applying Chow\\\'s theorem in an analytic framework, similarly to what has been done in [3] for an axisymmetric system swimming along the axis of symmetry. However, we simplify drastically\\nthe analyticity result given in [3] and apply it to a situation where more complex swimmers move either in a plane or in three-dimensional space, hence experiencing also rotations. We then focus our attention on energetically optimal strokes, which we are able to compute numerically. Some examples of computed optimal strokes are discussed in detail. %G en_US %U http://hdl.handle.net/1963/3929 %1 472 %2 Mathematics %3 Functional Analysis and Applications %$ Submitted by Andrea Wehrenfennig (andreaw@sissa.it) on 2010-07-29T11:02:56Z\\nNo. of bitstreams: 1\\nHeltai_54M_2010.pdf: 993075 bytes, checksum: 77225380bab031438ac940e694ea0e6c (MD5) %0 Journal Article %J Trans. Amer. Math. Soc. 361 (2009) 6019-6047 %D 2009 %T Optimal transportation under nonholonomic constraints %A Andrei A. Agrachev %A Paul Lee %X We study the Monge\\\'s optimal transportation problem where the cost is given by optimal control cost. We prove the existence and uniqueness of optimal map under certain regularity conditions on the Lagrangian, absolute continuity of the measures and most importantly the absent of sharp abnormal minimizers. In particular, this result is applicable in the case of subriemannian manifolds with a 2-generating distribution and cost given by d2, where d is the subriemannian distance. Also, we discuss some properties of the optimal plan when abnormal minimizers are present. Finally, we consider some examples of displacement interpolation in the case of Grushin plane. %B Trans. Amer. Math. Soc. 361 (2009) 6019-6047 %G en_US %U http://hdl.handle.net/1963/2176 %1 2068 %2 Mathematics %3 Functional Analysis and Applications %$ Submitted by Andrea Wehrenfennig (andreaw@sissa.it) on 2007-10-04T08:42:08Z\\nNo. of bitstreams: 1\\ntransportpre.pdf: 448316 bytes, checksum: 815a3d8cd33b8f3ea07264062b59ec46 (MD5) %R 10.1090/S0002-9947-09-04813-2 %0 Journal Article %J J. Nonlinear Sci. 18 (2008) 277-302 %D 2008 %T Optimal Strokes for Low Reynolds Number Swimmers: An Example %A François Alouges %A Antonio DeSimone %A Aline Lefebvre %X Swimming, i.e., being able to advance in the absence of external forces by performing cyclic shape changes, is particularly demanding at low Reynolds numbers. This is the regime of interest for micro-organisms and micro- or nano-robots. We focus in this paper on a simple yet representative example: the three-sphere swimmer of Najafi and Golestanian (Phys. Rev. E, 69, 062901-062904, 2004). For this system, we show how to cast the problem of swimming in the language of control theory, prove global controllability (which implies that the three-sphere swimmer can indeed swim), and propose a numerical algorithm to compute optimal strokes (which turn out to be suitably defined sub-Riemannian geodesics). %B J. Nonlinear Sci. 18 (2008) 277-302 %I Springer %G en_US %U http://hdl.handle.net/1963/4006 %1 396 %2 Mathematics %3 Functional Analysis and Applications %$ Submitted by Andrea Wehrenfennig (andreaw@sissa.it) on 2010-08-26T10:49:24Z\\nNo. of bitstreams: 1\\nADL2008a.pdf: 273047 bytes, checksum: 36ba2c2914fff62c05124f1ac1453733 (MD5) %R 10.1007/s00332-007-9013-7 %0 Journal Article %J PLoS ONE 3 (2008) e2981 %D 2008 %T Origin of Co-Expression Patterns in E.coli and S.cerevisiae Emerging from Reverse Engineering Algorithms %A Mattia Zampieri %A Nicola Soranzo %A Daniele Bianchini %A Claudio Altafini %X Background: The concept of reverse engineering a gene network, i.e., of inferring a genome-wide graph of putative genegene interactions from compendia of high throughput microarray data has been extensively used in the last few years to deduce/integrate/validate various types of \\\"physical\\\" networks of interactions among genes or gene products. Results: This paper gives a comprehensive overview of which of these networks emerge significantly when reverse engineering large collections of gene expression data for two model organisms, E.coli and S.cerevisiae, without any prior information. For the first organism the pattern of co-expression is shown to reflect in fine detail both the operonal structure of the DNA and the regulatory effects exerted by the gene products when co-participating in a protein complex. For the second organism we find that direct transcriptional control (e.g., transcription factor-binding site interactions) has little statistical significance in comparison to the other regulatory mechanisms (such as co-sharing a protein complex, colocalization on a metabolic pathway or compartment), which are however resolved at a lower level of detail than in E.coli. Conclusion: The gene co-expression patterns deduced from compendia of profiling experiments tend to unveil functional categories that are mainly associated to stable bindings rather than transient interactions. The inference power of this systematic analysis is substantially reduced when passing from E.coli to S.cerevisiae. This extensive analysis provides a way to describe the different complexity between the two organisms and discusses the critical limitations affecting this type of methodologies. %B PLoS ONE 3 (2008) e2981 %G en_US %U http://hdl.handle.net/1963/2722 %1 1379 %2 Physics %3 Functional Analysis and Applications %$ Submitted by Andrea Wehrenfennig (andreaw@sissa.it) on 2008-08-25T15:50:20Z\\nNo. of bitstreams: 1\\nPLOSe2981.pdf: 853455 bytes, checksum: 91361e24e96e09bbaa6f3083a73e3db4 (MD5) %R 10.1371/journal.pone.0002981 %0 Report %D 2005 %T An Optimal Transportation Metric for Solutions of the Camassa-Holm Equation %A Alberto Bressan %A Massimo Fonte %X In this paper we construct a global, continuous flow of solutions to the Camassa-Holm equation on the entire space H1. Our solutions are conservative, in the sense that the total energy int[(u2 + u2x) dx] remains a.e. constant in time. Our new approach is based on a distance functional J(u, v), defined in terms of an optimal transportation problem, which satisfies d dtJ(u(t), v(t)) ≤ κ · J(u(t), v(t)) for every couple of solutions. Using this new distance functional, we can construct arbitrary solutions as the uniform limit of multi-peakon solutions, and prove a general uniqueness result. %B Methods Appl. Anal. 12 (2005) 191-219 %G en_US %U http://hdl.handle.net/1963/1719 %1 2432 %2 Mathematics %3 Functional Analysis and Applications %$ Submitted by Andrea Wehrenfennig (andreaw@sissa.it) on 2006-01-24T09:03:54Z\\nNo. of bitstreams: 1\\nmath.AP0504450.pdf: 261370 bytes, checksum: 75945d031343a82836b46ab9705ed6de (MD5) %0 Thesis %D 2005 %T Orbifold Cohomology of ADE-singularities %A Fabio Perroni %K Orbifolds %I SISSA %G en %U http://hdl.handle.net/1963/5298 %1 5126 %2 Mathematics %3 Mathematical Physics %4 -1 %$ Submitted by Maria Pia Calandra (calapia@sissa.it) on 2012-01-30T10:36:29Z\\r\\nNo. of bitstreams: 1\\r\\nPhD_Perroni_Fabio.pdf: 7453469 bytes, checksum: 82a5b59cbd1ef1a905a839ec06133c62 (MD5) %0 Journal Article %D 2002 %T An optimal fast-diffusion variational method for non isochronous system %A Luca Biasco %A Massimiliano Berti %A Philippe Bolle %I SISSA Library %G en %U http://hdl.handle.net/1963/1579 %1 2539 %2 Mathematics %3 Functional Analysis and Applications %$ Made available in DSpace on 2004-09-01T13:04:50Z (GMT). No. of bitstreams: 0\\n Previous issue date: 2002 %0 Journal Article %J Atti.Accad.Naz.Lincei Cl.Sci.Fis.Mat.Natur.Rend.Lincei (9) Mat.Appl.13(2002),no.2,77-84 %D 2002 %T Optimal stability and instability results for a class of nearly integrable Hamiltonian systems %A Massimiliano Berti %A Luca Biasco %A Philippe Bolle %B Atti.Accad.Naz.Lincei Cl.Sci.Fis.Mat.Natur.Rend.Lincei (9) Mat.Appl.13(2002),no.2,77-84 %I SISSA Library %G en %U http://hdl.handle.net/1963/1596 %1 2522 %2 Mathematics %3 Functional Analysis and Applications %$ Made available in DSpace on 2004-09-01T13:05:04Z (GMT). No. of bitstreams: 1\\nmath.DS0203188.pdf: 131832 bytes, checksum: 468589170f7f79086f08c3a5902e94d7 (MD5)\\n Previous issue date: 2002 %0 Journal Article %J J. Differential Equations 156 (1999), no. 1, 26--49 %D 1999 %T Oleinik type estimates and uniqueness for n x n conservation laws %A Alberto Bressan %A Paola Goatin %X Let $u_t+f(u)_x=0$ be a strictly hyperbolic $n\\\\times n$ system of conservation laws in one space dimension. Relying on the existence of a semigroup of solutions, we first establish the uniqueness of entropy admissible weak solutions to the Cauchy problem, under a mild assumption on the local oscillation of $u$ in a forward neighborhood of each point in the $t\\\\text{-}x$ plane. In turn, this yields the uniqueness of weak solutions which satisfy a decay estimate on positive waves of genuinely nonlinear families, thus extending a classical result proved by Oleĭnik in the scalar case. %B J. Differential Equations 156 (1999), no. 1, 26--49 %I Elsevier %G en_US %U http://hdl.handle.net/1963/3375 %1 955 %2 Mathematics %3 Functional Analysis and Applications %$ Submitted by Andrea Wehrenfennig (andreaw@sissa.it) on 2008-12-01T09:26:02Z\\nNo. of bitstreams: 1\\nOleinik_type.pdf: 1567166 bytes, checksum: ba588e7f2b587d26f5b613a53557bb2f (MD5) %R 10.1006/jdeq.1998.3606 %0 Journal Article %D 1982 %T On the obstacle problem for strongly nonlinear elliptic equations %A Giovanni Vidossich %I SISSA Library %G en %U http://hdl.handle.net/1963/162 %1 3805 %2 Mathematics %3 Functional Analysis and Applications %$ Made available in DSpace on 2004-09-01T12:26:06Z (GMT). No. of bitstreams: 0\\n Previous issue date: 1982