We study the average condition number for polynomial eigenvalues of collections of matrices drawn from some random matrix ensembles. In particular, we prove that polynomial eigenvalue problems defined by matrices with random Gaussian entries are very well conditioned on the average.

UR - https://doi.org/10.1007/s10208-019-09414-2 ER - TY - JOUR T1 - Reducibility of first order linear operators on tori via Moser's theorem JF - Journal of Functional Analysis Y1 - 2019 A1 - Roberto Feola A1 - Filippo Giuliani A1 - Riccardo Montalto A1 - Michela Procesi KW - Hyperbolic PDEs KW - KAM theory KW - Nash–Moser KW - Reducibility AB -In this paper we prove reducibility of a class of first order, quasi-linear, quasi-periodic time dependent PDEs on the torus∂tu+ζ⋅∂xu+a(ωt,x)⋅∂xu=0,x∈Td,ζ∈Rd,ω∈Rν. As a consequence we deduce a stability result on the associated Cauchy problem in Sobolev spaces. By the identification between first order operators and vector fields this problem can be formulated as the problem of finding a change of coordinates which conjugates a weakly perturbed constant vector field on Tν+d to a constant diophantine flow. For this purpose we generalize Moser's straightening theorem: considering smooth perturbations we prove that the corresponding straightening torus diffeomorphism is smooth, under the assumption that the perturbation is small only in some given Sobolev norm and that the initial frequency belongs to some Cantor-like set. In view of applications in KAM theory for PDEs we provide also tame estimates on the change of variables.

VL - 276 UR - http://www.sciencedirect.com/science/article/pii/S0022123618303793 ER - TY - JOUR T1 - On the relaxed area of the graph of discontinuous maps from the plane to the plane taking three values with no symmetry assumptions JF - Annali di Matematica Pura ed Applicata (1923 -) Y1 - 2019 A1 - Giovanni Bellettini A1 - Alaa Elshorbagy A1 - Maurizio Paolini A1 - Riccardo Scala AB -In this paper, we estimate from above the area of the graph of a singular map u taking a disk to three vectors, the vertices of a triangle, and jumping along three $\mathcal{C}^2$-embedded curves that meet transversely at only one point of the disk. We show that the singular part of the relaxed area can be estimated from above by the solution of a Plateau-type problem involving three entangled nonparametric area-minimizing surfaces. The idea is to ``fill the hole'' in the graph of the singular map with a sequence of approximating smooth two-codimensional surfaces of graph-type, by imagining three minimal surfaces, placed vertically over the jump of u, coupled together via a triple point in the target triangle. Such a construction depends on the choice of a target triple point, and on a connection passing through it, which dictate the boundary condition for the three minimal surfaces. We show that the singular part of the relaxed area of u cannot be larger than what we obtain by minimizing over all possible target triple points and all corresponding connections.

UR - https://doi.org/10.1007/s10231-019-00887-0 ER - TY - RPRT T1 - On real resonances for the three-dimensional, multi-centre point interaction Y1 - 2018 A1 - Alessandro Michelangeli A1 - Raffaele Scandone ER - TY - JOUR T1 - Recognizing the flat torus among RCD*(0,N) spaces via the study of the first cohomology group JF - Calculus of Variations and Partial Differential Equations Y1 - 2018 A1 - Nicola Gigli A1 - Chiara Rigoni AB -We prove that if the dimension of the first cohomology group of a $\mathsf{RCD}^\star (0,N)$ space is $N$, then the space is a flat torus. This generalizes a classical result due to Bochner to the non-smooth setting and also provides a first example where the study of the cohomology groups in such synthetic framework leads to geometric consequences.

VL - 57 UR - https://doi.org/10.1007/s00526-018-1377-z ER - TY - ABST T1 - A Reduced Basis approach for PDEs on parametrized geometries based on the Shifted Boundary Finite Element Method and application to fluid dynamics Y1 - 2018 A1 - Efthymios N. Karatzas A1 - Giovanni Stabile A1 - Leo Nouveau A1 - Guglielmo Scovazzi A1 - Gianluigi Rozza ER - TY - ABST T1 - A Reduced Order Approach for the Embedded Shifted Boundary FEM and a Heat Exchange System on Parametrized Geometries Y1 - 2018 A1 - Efthymios N. Karatzas A1 - Giovanni Stabile A1 - N. Atallah A1 - Guglielmo Scovazzi A1 - Gianluigi Rozza ER - TY - RPRT T1 - Reducibility for a class of weakly dispersive linear operators arising from the Degasperis Procesi equation Y1 - 2018 A1 - Roberto Feola A1 - Filippo Giuliani A1 - Michela Procesi ER - TY - JOUR T1 - Regularity estimates for scalar conservation laws in one space dimension JF - Journal of Hyperbolic Differential Equations Y1 - 2018 A1 - Elio Marconi AB -We deal with the regularizing effect that, in scalar conservation laws in one space dimension, the nonlinearity of the flux function f has on the entropy solution. More precisely, if the set w : f″(w)≠0 is dense, the regularity of the solution can be expressed in terms of BVΦ spaces, where Φ depends on the nonlinearity of f. If moreover the set w : f″(w) = 0 is finite, under the additional polynomial degeneracy condition at the inflection points, we prove that f′∘ u(t) ∈BV loc(ℝ) for every t > 0 and that this can be improved to SBVloc(ℝ) regularity except an at most countable set of singular times. Finally, we present some examples that show the sharpness of these results and counterexamples to related questions, namely regularity in the kinetic formulation and a property of the fractional BV spaces.

VL - 15 UR - https://doi.org/10.1142/S0219891618500200 ER - TY - RPRT T1 - Random spectrahedra Y1 - 2017 A1 - Paul Breiding A1 - Khazhgali Kozhasov A1 - Antonio Lerario ER - TY - JOUR T1 - Rayleigh–Taylor instability in soft elastic layers JF - Phil. Trans. R. Soc. A Y1 - 2017 A1 - Davide Riccobelli A1 - Pasquale Ciarletta PB - The Royal Society VL - 375 ER - TY - JOUR T1 - Real topological string amplitudes JF - Journal of High Energy Physics Y1 - 2017 A1 - Narain, K. S. A1 - Nicolò Piazzalunga A1 - Alessandro Tanzini AB -We discuss the physical superstring correlation functions in type I theory (or equivalently type II with orientifold) that compute real topological string amplitudes. We consider the correlator corresponding to holomorphic derivative of the real topological amplitude $\mathcal{G_\chi}$, at fixed worldsheet Euler characteristic $\chi$. This corresponds in the low-energy effective action to $\mathcal{N}=2$ Weyl multiplet, appropriately reduced to the orientifold invariant part, and raised to the power $g'= −\chi+ 1$. We show that the physical string correlator gives precisely the holomorphic derivative of topological amplitude. Finally, we apply this method to the standard closed oriented case as well, and prove a similar statement for the topological amplitude $\mathcal{F}_g$.

VL - 2017 UR - https://doi.org/10.1007/JHEP03(2017)080 ER - TY - JOUR T1 - Reduced Basis Methods for Uncertainty Quantification JF - SIAM/ASA Journal on Uncertainty Quantification Y1 - 2017 A1 - Peng Chen A1 - Alfio Quarteroni A1 - Gianluigi Rozza AB -In this work we review a reduced basis method for the solution of uncertainty quantification problems. Based on the basic setting of an elliptic partial differential equation with random input, we introduce the key ingredients of the reduced basis method, including proper orthogonal decomposition and greedy algorithms for the construction of the reduced basis functions, a priori and a posteriori error estimates for the reduced basis approximations, as well as its computational advantages and weaknesses in comparison with a stochastic collocation method [I. Babuška, F. Nobile, and R. Tempone, *SIAM Rev.*, 52 (2010), pp. 317--355]. We demonstrate its computational efficiency and accuracy for a benchmark problem with parameters ranging from a few to a few hundred dimensions. Generalizations to more complex models and applications to uncertainty quantification problems in risk prediction, evaluation of statistical moments, Bayesian inversion, and optimal control under uncertainty are also presented to illustrate how to use the reduced basis method in practice. Further challenges, advancements, and research opportunities are outlined.

Read More: http://epubs.siam.org/doi/abs/10.1137/151004550

POD–Galerkin reduced-order models (ROMs) for fluid-structure interaction problems (incompressible fluid and thin structure) are proposed in this paper. Both the high-fidelity and reduced-order methods are based on a Chorin-Temam operator-splitting approach. Two different reduced-order methods are proposed, which differ on velocity continuity condition, imposed weakly or strongly, respectively. The resulting ROMs are tested and compared on a representative haemodynamics test case characterized by wave propagation, in order to assess the capabilities of the proposed strategies.

JF - Model Reduction of Parametrized Systems PB - Springer International Publishing ER - TY - RPRT T1 - Regularity estimates for scalar conservation laws in one space dimension Y1 - 2017 A1 - Elio Marconi AB - In this paper we deal with the regularizing effect that, in a scalar conservation laws in one space dimension, the nonlinearity of the flux function ƒ has on the entropy solution. More precisely, if the set ⟨w : ƒ " (w) ≠ 0⟩ is dense, the regularity of the solution can be expressed in terms of BV Ф spaces, where Ф depends on the nonlinearity of ƒ. If moreover the set ⟨w : ƒ " (w) = 0⟩ is finite, under the additional polynomial degeneracy condition at the inflection points, we prove that ƒ' 0 u(t) ∈ BVloc (R) for every t > 0 and that this can be improved to SBVloc (R) regularity except an at most countable set of singular times. Finally we present some examples that shows the sharpness of these results and counterexamples to related questions, namely regularity in the kinetic formulation and a property of the fractional BV spaces. UR - http://preprints.sissa.it/handle/1963/35291 U1 - 35597 U2 - Mathematics U4 - 1 ER - TY - CHAP T1 - Remarks on the Derivation of Gross-Pitaevskii Equation with Magnetic Laplacian T2 - Advances in Quantum Mechanics: Contemporary Trends and Open Problems Y1 - 2017 A1 - Alessandro Olgiati ED - Alessandro Michelangeli ED - Gianfausto Dell'Antonio AB -The effective dynamics for a Bose-Einstein condensate in the regime of high dilution and subject to an external magnetic field is governed by a magnetic Gross-Pitaevskii equation. We elucidate the steps needed to adapt to the magnetic case the proof of the derivation of the Gross-Pitaevskii equation within the ``projection counting'' scheme.

JF - Advances in Quantum Mechanics: Contemporary Trends and Open Problems PB - Springer International Publishing CY - Cham SN - 978-3-319-58904-6 UR - https://doi.org/10.1007/978-3-319-58904-6_15 ER - TY - JOUR T1 - A Reduced Basis Approach for Modeling the Movement of Nuclear Reactor Control Rods JF - NERS-14-1062; ASME J of Nuclear Rad Sci, 2, 2 (2016) 021019 Y1 - 2016 A1 - Alberto Sartori A1 - Antonio Cammi A1 - Lelio Luzzi A1 - Gianluigi Rozza AB - This work presents a reduced order model (ROM) aimed at simulating nuclear reactor control rods movement and featuring fast-running prediction of reactivity and neutron flux distribution as well. In particular, the reduced basis (RB) method (built upon a high-fidelity finite element (FE) approximation) has been employed. The neutronics has been modeled according to a parametrized stationary version of the multigroup neutron diffusion equation, which can be formulated as a generalized eigenvalue problem. Within the RB framework, the centroidal Voronoi tessellation is employed as a sampling technique due to the possibility of a hierarchical parameter space exploration, without relying on a “classical” a posteriori error estimation, and saving an important amount of computational time in the offline phase. Here, the proposed ROM is capable of correctly predicting, with respect to the high-fidelity FE approximation, both the reactivity and neutron flux shape. In this way, a computational speedup of at least three orders of magnitude is achieved. If a higher precision is required, the number of employed basis functions (BFs) must be increased. PB - ASME VL - 2 UR - http://urania.sissa.it/xmlui/handle/1963/35192 IS - 2 N1 - 8 pages U1 - 35473 U2 - Mathematics U4 - 1 ER - TY - JOUR T1 - Reduced basis approaches in time-dependent noncoercive settings for modelling the movement of nuclear reactor control rods JF - Communications in Computational Physics Y1 - 2016 A1 - Alberto Sartori A1 - Antonio Cammi A1 - Lelio Luzzi A1 - Gianluigi Rozza AB -In this work, two approaches, based on the certified Reduced Basis method, have been developed for simulating the movement of nuclear reactor control rods, in time-dependent non-coercive settings featuring a 3D geometrical framework. In particular, in a first approach, a piece-wise affine transformation based on subdomains division has been implemented for modelling the movement of one control rod. In the second approach, a “staircase” strategy has been adopted for simulating the movement of all the three rods featured by the nuclear reactor chosen as case study. The neutron kinetics has been modelled according to the so-called multi-group neutron diffusion, which, in the present case, is a set of ten coupled parametrized parabolic equations (two energy groups for the neutron flux, and eight for the precursors). Both the reduced order models, developed according to the two approaches, provided a very good accuracy compared with high-fidelity results, assumed as “truth” solutions. At the same time, the computational speed-up in the Online phase, with respect to the fine “truth” finite element discretization, achievable by both the proposed approaches is at least of three orders of magnitude, allowing a real-time simulation of the rod movement and control.

PB - SISSA UR - http://urania.sissa.it/xmlui/handle/1963/34963 IS - in press U1 - 35188 U2 - Mathematics ER - TY - JOUR T1 - Reduced basis method and domain decomposition for elliptic problems in networks and complex parametrized geometries JF - Computers and Mathematics with Applications Y1 - 2016 A1 - Laura Iapichino A1 - Alfio Quarteroni A1 - Gianluigi Rozza AB - The aim of this work is to solve parametrized partial differential equations in computational domains represented by networks of repetitive geometries by combining reduced basis and domain decomposition techniques. The main idea behind this approach is to compute once, locally and for few reference shapes, some representative finite element solutions for different values of the parameters and with a set of different suitable boundary conditions on the boundaries: these functions will represent the basis of a reduced space where the global solution is sought for. The continuity of the latter is assured by a classical domain decomposition approach. Test results on Poisson problem show the flexibility of the proposed method in which accuracy and computational time may be tuned by varying the number of reduced basis functions employed, or the set of boundary conditions used for defining locally the basis functions. The proposed approach simplifies the pre-computation of the reduced basis space by splitting the global problem into smaller local subproblems. Thanks to this feature, it allows dealing with arbitrarily complex network and features more flexibility than a classical global reduced basis approximation where the topology of the geometry is fixed. PB - Elsevier VL - 71 IS - 1 U1 - 35187 U2 - Mathematics U4 - 1 U5 - MAT/08 ER - TY - JOUR T1 - Refined node polynomials via long edge graphs JF - Communications in Number Theory and Physics Y1 - 2016 A1 - Lothar Göttsche A1 - Benjamin Kipkirui Kikwai AB -The generating functions of the Severi degrees for sufficiently ample line bundles on algebraic surfaces are multiplicative in the topological invariants of the surface and the line bundle. Recently new proofs of this fact were given for toric surfaces by Block, Colley, Kennedy and Liu, Osserman, using tropical geometry and in particular the combinatorial tool of long-edged graphs. In the first part of this paper these results are for $\mathbb{P}^2$ and rational ruled surfaces generalised to refined Severi degrees. In the second part of the paper we give a number of mostly conjectural generalisations of this result to singular surfaces, and curves with prescribed multiple points. The formulas involve modular forms and theta functions.

PB - International Press of Boston VL - 10 UR - http://dx.doi.org/10.4310/CNTP.2016.v10.n2.a2 ER - TY - JOUR T1 - Renormalization for Autonomous Nearly Incompressible BV Vector Fields in Two Dimensions JF - SIAM Journal on Mathematical Analysis Y1 - 2016 A1 - Stefano Bianchini A1 - Paolo Bonicatto A1 - N.A. Gusev AB -Given a bounded autonomous vector field $b \colon \mathbb{R}^d \to \mathbb{R}^d$, we study the uniqueness of bounded solutions to the initial value problem for the related transport equation \begin{equation*} \partial_t u + b \cdot \nabla u= 0. \end{equation*} We are interested in the case where $b$ is of class BV and it is nearly incompressible. Assuming that the ambient space has dimension $d=2$, we prove uniqueness of weak solutions to the transport equation. The starting point of the present work is the result which has been obtained in [7] (where the steady case is treated). Our proof is based on splitting the equation onto a suitable partition of the plane: this technique was introduced in [3], using the results on the structure of level sets of Lipschitz maps obtained in [1]. Furthermore, in order to construct the partition, we use Ambrosio's superposition principle [4].

VL - 48 UR - https://doi.org/10.1137/15M1007380 ER - TY - JOUR T1 - Rogue waves in multiphase solutions of the focusing nonlinear Schrödinger equation JF - Proc. A. Y1 - 2016 A1 - Marco Bertola A1 - Gennady El A1 - Alexander Tovbis VL - 472 UR - http://dx.doi.org/10.1098/rspa.2016.0340 ER - TY - JOUR T1 - Reduced basis approximation and a-posteriori error estimation for the coupled Stokes-Darcy system JF - Advances in Computational Mathematics Y1 - 2015 A1 - Immanuel Martini A1 - Gianluigi Rozza A1 - Bernard Haasdonk KW - Domain decomposition KW - Error estimation KW - Non-coercive problem KW - Porous medium equation KW - Reduced basis method KW - Stokes flow AB -The coupling of a free flow with a flow through porous media has many potential applications in several fields related with computational science and engineering, such as blood flows, environmental problems or food technologies. We present a reduced basis method for such coupled problems. The reduced basis method is a model order reduction method applied in the context of parametrized systems. Our approach is based on a heterogeneous domain decomposition formulation, namely the Stokes-Darcy problem. Thanks to an offline/online-decomposition, computational times can be drastically reduced. At the same time the induced error can be bounded by fast evaluable a-posteriori error bounds. In the offline-phase the proposed algorithms make use of the decomposed problem structure. Rigorous a-posteriori error bounds are developed, indicating the accuracy of certain lifting operators used in the offline-phase as well as the accuracy of the reduced coupled system. Also, a strategy separately bounding pressure and velocity errors is extended. Numerical experiments dealing with groundwater flow scenarios demonstrate the efficiency of the approach as well as the limitations regarding a-posteriori error estimation.

VL - special issue for MoRePaS 2012 IS - in press ER - TY - JOUR T1 - Reduced basis approximation of parametrized advection-diffusion PDEs with high Péclet number JF - Lecture Notes in Computational Science and Engineering Y1 - 2015 A1 - Pacciarini, P. A1 - Gianluigi Rozza AB -In this work we show some results about the reduced basis approximation of advection dominated parametrized problems, i.e. advection-diffusion problems with high Péclet number. These problems are of great importance in several engineering applications and it is well known that their numerical approximation can be affected by instability phenomena. In this work we compare two possible stabilization strategies in the framework of the reduced basis method, by showing numerical results obtained for a steady advection-diffusion problem.

VL - 103 ER - TY - JOUR T1 - Reduced basis approximation of parametrized optimal flow control problems for the Stokes equations JF - Computers and Mathematics with Applications Y1 - 2015 A1 - Federico Negri A1 - Andrea Manzoni A1 - Gianluigi Rozza AB -This paper extends the reduced basis method for the solution of parametrized optimal control problems presented in Negri et al. (2013) to the case of noncoercive (elliptic) equations, such as the Stokes equations. We discuss both the theoretical properties-with particular emphasis on the stability of the resulting double nested saddle-point problems and on aggregated error estimates-and the computational aspects of the method. Then, we apply it to solve a benchmark vorticity minimization problem for a parametrized bluff body immersed in a two or a three-dimensional flow through boundary control, demonstrating the effectivity of the methodology.

VL - 69 ER - TY - JOUR T1 - Reduced Basis Isogeometric Methods (RB-IGA) for the real-time simulation of potential flows about parametrized NACA airfoils JF - Comput Methods Appl Mech Eng. 2015;284:1147–1180 Y1 - 2015 A1 - Andrea Manzoni A1 - Filippo Salmoiraghi A1 - Luca Heltai AB - We present a Reduced Basis (RB) method based on Isogeometric Analysis (IGA) for the rapid and reliable evaluation of PDE systems characterized by complex geometrical features. At the current state of the art, this is the first case of coupling between RB and IGA methods. The construction of the RB method relies on an Isogeometric Boundary Element Method (IGA-BEM) as the high-fidelity technique, allowing a direct interface with Computer Aided Design (CAD) tools. A suitable Empirical Interpolation Method (EIM) ensures an efficient offline/online decomposition between the construction and the evaluation of the RB method. We consider the real-time simulation of potential flows past airfoils, parametrized with respect to the angle of attack and the NACA number identifying their shape, and we provide a validation of our methodology with respect to experimental data and reference numerical codes, showing in both cases a very good agreement.We present a Reduced Basis (RB) method based on Isogeometric Analysis (IGA) for the rapid and reliable evaluation of PDE systems characterized by complex geometrical features. At the current state of the art, this is the first case of coupling between RB and IGA methods. The construction of the RB method relies on an Isogeometric Boundary Element Method (IGA-BEM) as the high-fidelity technique, allowing a direct interface with Computer Aided Design (CAD) tools. A suitable Empirical Interpolation Method (EIM) ensures an efficient offline/online decomposition between the construction and the evaluation of the RB method. We consider the real-time simulation of potential flows past airfoils, parametrized with respect to the angle of attack and the NACA number identifying their shape, and we provide a validation of our methodology with respect to experimental data and reference numerical codes, showing in both cases a very good agreement. U1 - 34587 U2 - Mathematics U4 - 1 U5 - MAT/08 ER - TY - THES T1 - The relaxed area of maps from the plane to the plane with a line discontinuity, and the role of semicartesian surfaces. Y1 - 2015 A1 - Lucia Tealdi KW - Area functional AB - In this thesis we study the relaxation of the area functional w.r.t. the L^1 topology of a map from a bounded planar domain with values in the plane and jumping on a segment. We estimate from above the singular contribution of this functional due to the presence of the jump in terms of the infimum of the area among a suitable family of surfaces that we call semicartesian surfaces. In our analysis, we also introduce a different notion of area, namely the relaxation of the area w.r.t. a convergence stronger than the L^1 convergence, whose singular contribution is completely characterized in terms of suitable semicartesian area minimizing problems. We propose also some examples of maps for which the two notions of relaxation are different: these examples underline the highly non-local behaviour of the L^1-relaxation, and justify the introduction of the other functional. Some result about the existence of a semicartesian area-minimizing surface is also provided. PB - SISSA U1 - 34732 U4 - 1 U5 - MAT/05 ER - TY - RPRT T1 - Results on the minimization of the Dirichlet functional among semicartesian parametrizations Y1 - 2015 A1 - Lucia Tealdi A1 - Giovanni Bellettini A1 - Maurizio Paolini AB -We start to investigate the existence of conformal minimizers for the Dirichlet functional in the setting of the so-called semicartesian parametrizations, adapting to this context some techniques used in solving the classical Plateau's problem. The final goal is to find area minimizing semicartesian parametrizations spanning a Jordan curve obtained as union of two graphs; this problem appeared in the study of the relaxed area functional for maps from the plane to the plane jumping on a line.

UR - http://urania.sissa.it/xmlui/handle/1963/34488 N1 - The article is compsed of 18 pages and is recorded in PDF format U1 - 34671 U2 - Mathematics U4 - 1 U5 - MAT/05 ER - TY - RPRT T1 - Rigidity of three-dimensional lattices and dimension reduction in heterogeneous nanowires Y1 - 2015 A1 - Giuliano Lazzaroni A1 - Mariapia Palombaro A1 - Anja Schlomerkemper AB - In the context of nanowire heterostructures we perform a discrete to continuum limit of the corresponding free energy by means of Γ-convergence techniques. Nearest neighbours are identified by employing the notions of Voronoi diagrams and Delaunay triangulations. The scaling of the nanowire is done in such a way that we perform not only a continuum limit but a dimension reduction simultaneously. The main part of the proof is a discrete geometric rigidity result that we announced in an earlier work and show here in detail for a variety of three-dimensional lattices. We perform the passage from discrete to continuum twice: once for a system that compensates a lattice mismatch between two parts of the heterogeneous nanowire without defects and once for a system that creates dislocations. It turns out that we can verify the experimentally observed fact that the nanowires show dislocations when the radius of the specimen is large PB - SISSA UR - http://urania.sissa.it/xmlui/handle/1963/7494 U1 - 7623 ER - TY - RPRT T1 - Rate-independent damage in thermo-viscoelastic materials with inertia Y1 - 2014 A1 - Giuliano Lazzaroni A1 - Riccarda Rossi A1 - Marita Thomas A1 - Rodica Toader AB - We present a model for rate-independent, unidirectional, partial damage in visco-elastic materials with inertia and thermal effects. The damage process is modeled by means of an internal variable, governed by a rate-independent flow rule. The heat equation and the momentum balance for the displacements are coupled in a highly nonlinear way. Our assumptions on the corresponding energy functional also comprise the case of the Ambrosio-Tortorelli phase-field model (without passage to the brittle limit). We discuss a suitable weak formulation and prove an existence theorem obtained with the aid of a (partially) decoupled time-discrete scheme and variational convergence methods. We also carry out the asymptotic analysis for vanishing viscosity and inertia and obtain a fully rate-independent limit model for displacements and damage, which is Independent of temperature. PB - SISSA UR - http://urania.sissa.it/xmlui/handle/1963/7444 U1 - 7542 ER - TY - THES T1 - Rational curves and instantons on the Fano threefold Y_5 Y1 - 2014 A1 - Giangiacomo Sanna KW - Moduli space of vector bundles AB - This thesis is an investigation of the moduli spaces of instanton bundles on the Fano threefold Y_5 (a linear section of Gr(2,5)). It contains new proofs of classical facts about lines, conics and cubics on Y_5, and about linear sections of Y_5. The main original results are a Grauert-Mülich theorem for the splitting type of instantons on conics, a bound to the splitting type of instantons on lines and an SL_2-equivariant description of the moduli space in charge 2 and 3. Using these results we prove the existence of a unique SL_2-equivariant instanton of minimal charge and we show that for all instantons of charge 2 the divisor of jumping lines is smooth. In charge 3, we provide examples of instantons with reducible divisor of jumping lines. Finally, we construct a natural compactification for the moduli space of instantons of charge 3, together with a small resolution of singularities for it. PB - arXiv preprint UR - http://urania.sissa.it/xmlui/handle/1963/7482 U1 - 7594 U2 - Mathematics U4 - 1 U5 - MAT/02 ER - TY - CONF T1 - Reduced basis method for the Stokes equations in decomposable domains using greedy optimization T2 - ECMI 2014 proceedings Y1 - 2014 A1 - Laura Iapichino A1 - Alfio Quarteroni A1 - Gianluigi Rozza A1 - Volkwein, Stefan JF - ECMI 2014 proceedings ER - TY - BOOK T1 - Reduced Order Methods for Modeling and Computational Reduction T2 - MS&A Y1 - 2014 A1 - Alfio Quarteroni A1 - Gianluigi Rozza KW - reduced order methods, MOR, ROM, POD, RB, greedy, CFD, Numerical Analysis AB -This monograph addresses the state of the art of reduced order methods for modeling and computational reduction of complex parametrized systems, governed by ordinary and/or partial differential equations, with a special emphasis on real time computing techniques and applications in computational mechanics, bioengineering and computer graphics.

Several topics are covered, including: design, optimization, and control theory in real-time with applications in engineering; data assimilation, geometry registration, and parameter estimation with special attention to real-time computing in biomedical engineering and computational physics; real-time visualization of physics-based simulations in computer science; the treatment of high-dimensional problems in state space, physical space, or parameter space; the interactions between different model reduction and dimensionality reduction approaches; the development of general error estimation frameworks which take into account both model and discretization effects.

This book is primarily addressed to computational scientists interested in computational reduction techniques for large scale differential problems.

JF - MS&A PB - Springer CY - Milano VL - 9 ER - TY - Generic T1 - A reduced order model for multi-group time-dependent parametrized reactor spatial kinetics T2 - 22nd International Conference on Nuclear Engineering ICONE22 Y1 - 2014 A1 - Alberto Sartori A1 - Davide Baroli A1 - Antonio Cammi A1 - Lelio Luzzi A1 - Gianluigi Rozza AB -

In this work, a Reduced Order Model (ROM) for multigroup time-dependent parametrized reactor spatial kinetics is presented. The Reduced Basis method (built upon a high-fidelity "truth" finite element approximation) has been applied to model the neutronics behavior of a parametrized system composed by a control rod surrounded by fissile material. The neutron kinetics has been described by means of a parametrized multi-group diffusion equation where the height of the control rod (i.e., how much the rod is inserted) plays the role of the varying parameter. In order to model a continuous movement of the rod, a piecewise affine transformation based on subdomain division has been implemented. The proposed ROM is capable to efficiently reproduce the neutron flux distribution allowing to take into account the spatial effects induced by the movement of the control rod with a computational speed-up of 30000 times, with respect to the "truth" model.

JF - 22nd International Conference on Nuclear Engineering ICONE22 PB - American Society of Mechanical Engineers (ASME) CY - Prague, Czech Republic SN - 978-079184595-0 UR - http://urania.sissa.it/xmlui/handle/1963/35123 N1 - 2014 22nd International Conference on Nuclear Engineering, ICONE 2014; Prague; Czech Republic; 7 July 2014 through 11 July 2014; Code 109131; U1 - 35360 U2 - Mathematics U4 - 1 ER - TY - CHAP T1 - Reduction on characteristics for continuous of a scalar balance law T2 - AIMS Series on Applied Mathematics, vol. 8 (2014): 399 - 406 Y1 - 2014 A1 - Giovanni Alberti A1 - Stefano Bianchini A1 - Laura Caravenna KW - Method of characteristics JF - AIMS Series on Applied Mathematics, vol. 8 (2014): 399 - 406 PB - SISSA UR - http://hdl.handle.net/1963/6562 U1 - 6516 U2 - Mathematics U4 - 1 ER - TY - JOUR T1 - A Review of the Sixth Painlevé Equation Y1 - 2014 A1 - Davide Guzzetti AB - For the Painlevé VI transcendents, we provide a unitary description of the critical behaviours, the connection formulae, their complete tabulation, and the asymptotic distribution of poles close to a critical point. PB - Springer UR - http://urania.sissa.it/xmlui/handle/1963/34658 U1 - 34868 U2 - Mathematics U4 - 1 ER - TY - JOUR T1 - A robotic crawler exploiting directional frictional interactions: experiments, numerics, and derivation of a reduced model JF - Proceedings of the Royal Society A 470, 20140333 (2014) Y1 - 2014 A1 - Giovanni Noselli A1 - Antonio DeSimone AB - We present experimental and numerical results for a model crawler which is able to extract net positional changes from reciprocal shape changes, i.e. ‘breathing-like’ deformations, thanks to directional, frictional interactions with a textured solid substrate, mediated by flexible inclined feet. We also present a simple reduced model that captures the essential features of the kinematics and energetics of the gait, and compare its predictions with the results from experiments and from numerical simulations. PB - Royal Society Publishing U1 - 34594 U2 - Mathematics ER - TY - JOUR T1 - Reduced basis approximation and a posteriori error estimation for Stokes flows in parametrized geometries: roles of the inf-sup stability constants JF - Numerische Mathematik, 2013 Y1 - 2013 A1 - Gianluigi Rozza A1 - Phuong Huynh A1 - Andrea Manzoni KW - parametrized Stokes equations AB - In this paper we review and we extend the reduced basis approximation and a posteriori error estimation for steady Stokes flows in a ffinely parametrized geometries, focusing on the role played by the Brezzi\\\'s and Babu ska\\\'s stability constants. The crucial ingredients of the methodology are a Galerkin projection onto a low-dimensional space of basis functions properly selected, an a ne parametric dependence enabling to perform competitive Off ine-Online splitting in the computational\\r\\nprocedure and a rigorous a posteriori error estimation on eld variables.\\r\\nThe combination of these three factors yields substantial computational savings which are at the basis of an e fficient model order reduction, ideally suited for real-time simulation and many-query contexts (e.g. optimization, control or parameter identi cation). In particular, in this work we focus on i) the stability of the reduced basis approximation based on the Brezzi\\\'s saddle point theory and the introduction of a supremizer operator on the pressure terms, ii) a rigorous a posteriori error estimation procedure for velocity and pressure elds based on the Babu ska\\\'s inf-sup constant (including residuals calculations), iii) the computation of a lower bound of the stability constant, and iv) di erent options for the reduced basis spaces construction. We present some illustrative results for both\\r\\ninterior and external steady Stokes flows in parametrized geometries representing two parametrized classical Poiseuille and Couette \\r\\nflows, a channel contraction and a simple flow control problem around a curved obstacle. PB - Springer UR - http://hdl.handle.net/1963/6339 U1 - 6269 U2 - Mathematics U4 - 1 U5 - MAT/08 ANALISI NUMERICA ER - TY - CHAP T1 - Reduced Basis Approximation for the Structural-Acoustic Design based on Energy Finite Element Analysis (RB-EFEA) T2 - CEMRACS 2013 - Modelling and simulation of complex systems: stochastic and deterministic approaches Y1 - 2013 A1 - Denis Devaud A1 - Gianluigi Rozza JF - CEMRACS 2013 - Modelling and simulation of complex systems: stochastic and deterministic approaches VL - 48 ER - TY - JOUR T1 - Reduced basis method for parametrized elliptic optimal control problems JF - SIAM Journal on Scientific Computing Y1 - 2013 A1 - Federico Negri A1 - Gianluigi Rozza A1 - Andrea Manzoni A1 - Alfio Quarteroni AB - We propose a suitable model reduction paradigm-the certified reduced basis method (RB)-for the rapid and reliable solution of parametrized optimal control problems governed by partial differential equations. In particular, we develop the methodology for parametrized quadratic optimization problems with elliptic equations as a constraint and infinite-dimensional control variable. First, we recast the optimal control problem in the framework of saddle-point problems in order to take advantage of the already developed RB theory for Stokes-type problems. Then, the usual ingredients of the RB methodology are called into play: a Galerkin projection onto a low-dimensional space of basis functions properly selected by an adaptive procedure; an affine parametric dependence enabling one to perform competitive offline-online splitting in the computational procedure; and an efficient and rigorous a posteriori error estimate on the state, control, and adjoint variables as well as on the cost functional. Finally, we address some numerical tests that confirm our theoretical results and show the efficiency of the proposed technique. VL - 35 ER - TY - RPRT T1 - A Reduced Computational and Geometrical Framework for Inverse Problems in Haemodynamics Y1 - 2013 A1 - Toni Lassila A1 - Andrea Manzoni A1 - Alfio Quarteroni A1 - Gianluigi Rozza PB - SISSA U1 - 6571 U2 - Mathematics U4 - 1 U5 - MAT/08 ANALISI NUMERICA ER - TY - RPRT T1 - A reduced-order strategy for solving inverse Bayesian identification problems in physiological flows Y1 - 2013 A1 - Toni Lassila A1 - Andrea Manzoni A1 - Alfio Quarteroni A1 - Gianluigi Rozza PB - SISSA U1 - 6555 U2 - Mathematics U4 - 1 U5 - MAT/08 ANALISI NUMERICA ER - TY - RPRT T1 - Reduction Strategies for Shape Dependent Inverse Problems in Haemodynamics Y1 - 2013 A1 - Toni Lassila A1 - Andrea Manzoni A1 - Gianluigi Rozza PB - SISSA U1 - 6554 U2 - Mathematics U4 - 1 U5 - MAT/08 ANALISI NUMERICA ER - TY - JOUR T1 - Remarks on the Moser–Trudinger inequality JF - Advances in Nonlinear Analysis Y1 - 2013 A1 - Gabriele Mancini A1 - Luca Battaglia AB -We extend the Moser-Trudinger inequality to any Euclidean domain satisfying Poincaré's inequality. We find out that the same equivalence does not hold in general for conformal metrics on the unit ball, showing counterexamples. We also study the existence of extremals for the Moser-Trudinger inequalities for unbounded domains, proving it for the infinite planar strip.

PB - Advances in Nonlinear Analysis VL - 2 UR - http://edoc.unibas.ch/43974/ IS - 4 N1 - The article is composed of 32 pages inad recorded in PDF format U1 - 34666 U2 - Mathematics U4 - 1 U5 - MAT/05 ER - TY - Generic T1 - Reduction strategies for PDE-constrained oprimization problems in Haemodynamics T2 - European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2012) J. Eberhardsteiner et.al. (eds.), Vienna, Austria, 10-14 sept. 2012 Y1 - 2012 A1 - Gianluigi Rozza A1 - Andrea Manzoni A1 - Federico Negri KW - inverse problems AB - Solving optimal control problems for many different scenarios obtained by varying a set of parameters in the state system is a computationally extensive task. In this paper we present a new reduced framework for the formulation, the analysis and the numerical solution of parametrized PDE-constrained optimization problems. This framework is based on a suitable saddle-point formulation of the optimal control problem and exploits the reduced basis method for the rapid and reliable solution of parametrized PDEs, leading to a relevant computational reduction with respect to traditional discretization techniques such as the finite element method. This allows a very efficient evaluation of state solutions and cost functionals, leading to an effective solution of repeated optimal control problems, even on domains of variable shape, for which a further (geometrical) reduction is pursued, relying on flexible shape parametrization techniques. This setting is applied to the solution of two problems arising from haemodynamics, dealing with both data reconstruction and data assimilation over domains of variable shape,\\r\\nwhich can be recast in a common PDE-constrained optimization formulation. JF - European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2012) J. Eberhardsteiner et.al. (eds.), Vienna, Austria, 10-14 sept. 2012 UR - http://hdl.handle.net/1963/6338 U1 - 6268 U2 - Mathematics U4 - 1 U5 - MAT/08 ANALISI NUMERICA ER - TY - JOUR T1 - Resonance at the first eigenvalue for first-order systems in the plane: vanishing Hamiltonians and the Landesman-Lazer condition JF - Differential Integral Equations Y1 - 2012 A1 - Maurizio Garrione PB - Khayyam Publishing, Inc. VL - 25 UR - https://projecteuclid.org:443/euclid.die/1356012676 ER - TY - JOUR T1 - Reverse engineering the euglenoid movement JF - Proceedings of the National Academy of Sciences of the United States of America. Volume 109, Issue 44, 30 October 2012, Pages 17874-17879 Y1 - 2012 A1 - Marino Arroyo A1 - Luca Heltai A1 - Daniel Millán A1 - Antonio DeSimone KW - microswimmers AB - Euglenids exhibit an unconventional motility strategy amongst unicellular eukaryotes, consisting of large-amplitude highly concerted deformations of the entire body (euglenoid movement or metaboly). A plastic cell envelope called pellicle mediates these deformations. Unlike ciliary or flagellar motility, the biophysics of this mode is not well understood, including its efficiency and molecular machinery. We quantitatively examine video recordings of four euglenids executing such motions with statistical learning methods. This analysis reveals strokes of high uniformity in shape and pace. We then interpret the observations in the light of a theory for the pellicle kinematics, providing a precise understanding of the link between local actuation by pellicle shear and shape control. We systematically understand common observations, such as the helical conformations of the pellicle, and identify previously unnoticed features of metaboly. While two of our euglenids execute their stroke at constant body volume, the other two exhibit deviations of about 20% from their average volume, challenging current models of low Reynolds number locomotion. We find that the active pellicle shear deformations causing shape changes can reach 340%, and estimate the velocity of the molecular motors. Moreover, we find that metaboly accomplishes locomotion at hydrodynamic efficiencies comparable to those of ciliates and flagellates. Our results suggest new quantitative experiments, provide insight into the evolutionary history of euglenids, and suggest that the pellicle may serve as a model for engineered active surfaces with applications in microfluidics. UR - http://hdl.handle.net/1963/6444 U1 - 6380 U2 - Mathematics U4 - 1 U5 - MAT/08 ANALISI NUMERICA ER - TY - JOUR T1 - A Review on The Sixth Painlevé Equation Y1 - 2012 A1 - Davide Guzzetti KW - Painlevé equation AB -For the Painlev\\\'e 6 transcendents, we provide a unitary description of the\r\ncritical behaviours, the connection formulae, their complete tabulation, and\r\nthe asymptotic distribution of the poles close to a critical point.

PB - SISSA UR - http://hdl.handle.net/1963/6525 N1 - 31 pages, 10 figures U1 - 6470 U2 - Mathematics U4 - 1 U5 - MAT/07 FISICA MATEMATICA ER - TY - JOUR T1 - Riemann–Hilbert approach to multi-time processes: The Airy and the Pearcey cases JF - Physica D: Nonlinear Phenomena Y1 - 2012 A1 - Marco Bertola A1 - Mattia Cafasso KW - Integrable kernels VL - 241 UR - http://www.sciencedirect.com/science/article/pii/S0167278912000115 N1 - Integrable Systems in Pure and Applied Mathematics ER - TY - JOUR T1 - On robust Lie-algebraic stability conditions for switched linear systems JF - Systems and Control Letters. Volume 61, Issue 2, February 2012, Pages 347-353 Y1 - 2012 A1 - Andrei A. Agrachev A1 - Yurij Baryshnikov A1 - Daniel Liberzon AB - This paper presents new sufficient conditions for exponential stability of switched linear systems under arbitrary switching, which involve the commutators (Lie brackets) among the given matrices generating the switched system. The main novelty feature of these stability criteria is that, unlike their earlier counterparts, they are robust with respect to small perturbations of the system parameters. UR - http://hdl.handle.net/1963/6455 U1 - 6400 U2 - Mathematics U4 - 1 U5 - MAT/05 ANALISI MATEMATICA ER - TY - JOUR T1 - Resonance and Landesman-Lazer conditions for first order systems in R^2 JF - Le Matematiche Y1 - 2011 A1 - Maurizio Garrione AB -The first part of the paper surveys the concept of resonance for $T$-periodic nonlinear problems. In the second part, some new results about existence conditions for nonlinear planar systems are presented. In particular, the Landesman-Lazer conditions are generalized to systems in $\mathbbR^2$ where the nonlinearity interacts with two resonant Hamiltonians. Such results apply to second order equations, generalizing previous theorems by Fabry [4] (for the undamped case), and Frederickson-Lazer [9] (for the case with friction). The results have been obtained with A. Fonda, and have been published in [8].

VL - 66 ER - TY - JOUR T1 - Resonance and rotation numbers for planar Hamiltonian systems: Multiplicity results via the Poincaré–Birkhoff theorem JF - Nonlinear Analysis: Theory, Methods & Applications Y1 - 2011 A1 - Alberto Boscaggin A1 - Maurizio Garrione KW - Multiple periodic solutions KW - Poincaré–Birkhoff theorem KW - Resonance KW - Rotation number AB -In the general setting of a planar first order system (0.1)u′=G(t,u),u∈R2, with G:[0,T]×R2→R2, we study the relationships between some classical nonresonance conditions (including the Landesman–Lazer one) — at infinity and, in the unforced case, i.e. G(t,0)≡0, at zero — and the rotation numbers of “large” and “small” solutions of (0.1), respectively. Such estimates are then used to establish, via the Poincaré–Birkhoff fixed point theorem, new multiplicity results for T-periodic solutions of unforced planar Hamiltonian systems Ju′=∇uH(t,u) and unforced undamped scalar second order equations x″+g(t,x)=0. In particular, by means of the Landesman–Lazer condition, we obtain sharp conclusions when the system is resonant at infinity.

VL - 74 UR - http://www.sciencedirect.com/science/article/pii/S0362546X11001817 ER - TY - JOUR T1 - The reductions of the dispersionless 2D Toda hierarchy and their Hamiltonian structures JF - J. Phys. A 43 (2010) 045201 Y1 - 2010 A1 - Guido Carlet A1 - Paolo Lorenzoni A1 - Andrea Raimondo AB - We study finite-dimensional reductions of the dispersionless 2D Toda hierarchy showing that the consistency conditions for such reductions are given by a system of radial Loewner equations. We then construct their Hamiltonian structures, following an approach proposed by Ferapontov. PB - IOP Publishing UR - http://hdl.handle.net/1963/3846 U1 - 863 U2 - Mathematics U3 - Mathematical Physics ER - TY - JOUR T1 - Riemann-Roch theorems and elliptic genus for virtually smooth schemes JF - Geom. Topol. 14 (2010) 83-115 Y1 - 2010 A1 - Barbara Fantechi A1 - Lothar Göttsche AB - For a proper scheme X with a fixed 1-perfect obstruction theory, we define virtual versions of holomorphic Euler characteristic, chi y-genus, and elliptic genus; they are deformation invariant, and extend the usual definition in the smooth case. We prove virtual versions of the Grothendieck-Riemann-Roch and Hirzebruch-Riemann-Roch theorems. We show that the virtual chi y-genus is a polynomial, and use this to define a virtual topological Euler characteristic. We prove that the virtual elliptic genus satisfies a Jacobi modularity property; we state and prove a localization theorem in the toric equivariant case. We show how some of our results apply to moduli spaces of stable sheaves. PB - Mathematical Sciences Publishers UR - http://hdl.handle.net/1963/3888 U1 - 821 U2 - Mathematics U3 - Mathematical Physics ER - TY - RPRT T1 - The role of membrane viscosity in the dynamics of fluid membranes Y1 - 2010 A1 - Marino Arroyo A1 - Antonio DeSimone A1 - Luca Heltai AB - Fluid membranes made out of lipid bilayers are the fundamental separation structure in eukaryotic cells. Many physiological processes rely on dramatic shape and topological changes (e.g. fusion, fission) of fluid membrane systems. Fluidity is key to the versatility and constant reorganization of lipid bilayers. Here, we study the role of the membrane intrinsic viscosity, arising from the friction of the lipid molecules as they rearrange to accommodate shape changes, in the dynamics of morphological changes of fluid vesicles. In particular, we analyze the competition between the membrane viscosity and the viscosity of the bulk fluid surrounding the vesicle as the dominant dissipative mechanism. We consider the relaxation dynamics of fluid vesicles put in an out-of-equilibrium state, but conclusions can be drawn regarding the kinetics or power consumption in regulated shape changes in the cell. On the basis of numerical calculations, we find that the dynamics arising from the membrane viscosity are qualitatively different from the dynamics arising from the bulk viscosity. When these two dissipation mechanisms are put in competition, we find that for small vesicles the membrane dissipation dominates, with a relaxation time that scales as the size of the vesicle to the power 2. For large vesicles, the bulk dissipation dominates, and the exponent in the relaxation time vs. size relation is 3. UR - http://hdl.handle.net/1963/3930 U1 - 471 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Regularity of a vector potential problem and its spectral curve JF - J. Approx. Theory Y1 - 2009 A1 - Ferenc Balogh A1 - Marco Bertola VL - 161 UR - http://0-dx.doi.org.mercury.concordia.ca/10.1016/j.jat.2008.10.010 ER - TY - JOUR T1 - Relaxation dynamics of fluid membranes JF - Phys. Rev. E 79 (2009) 031915 Y1 - 2009 A1 - Marino Arroyo A1 - Antonio DeSimone AB - We study the effect of membrane viscosity in the dynamics of liquid membranes-possibly with free or internal boundaries-driven by conservative forces (curvature elasticity and line tension) and dragged by the bulk dissipation of the ambient fluid and the friction occurring when the amphiphilic molecules move relative to each other. To this end, we formulate a continuum model which includes a form of the governing equations for a two-dimensional viscous fluid moving on a curved, time-evolving surface. The effect of membrane viscosity has received very limited attention in previous continuum studies of the dynamics of fluid membranes, although recent coarse-grained discrete simulations suggest its importance. By applying our model to the study of vesiculation and membrane fusion in a simplified geometry, we conclude that membrane viscosity plays a dominant role in the relaxation dynamics of fluid membranes of sizes comparable to those found in eukaryotic cells, and is not negligible in many large synthetic systems of current interest. PB - American Physical Society UR - http://hdl.handle.net/1963/3618 U1 - 686 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Relaxation of some transversally isotropic energies and applications to smectic A elastomers JF - Math. Models Methods Appl. Sci. 18 (2008) 1-20 Y1 - 2008 A1 - James Adams A1 - Sergio Conti A1 - Antonio DeSimone A1 - Georg Dolzmann UR - http://hdl.handle.net/1963/1912 U1 - 2325 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Reciprocal transformations and flat metrics on Hurwitz spaces JF - J. Phys. A 40 (2007) 10769-10790 Y1 - 2007 A1 - Simonetta Abenda A1 - Tamara Grava AB - We consider hydrodynamic systems which possess a local Hamiltonian structure of Dubrovin-Novikov type. To such a system there are also associated an infinite number of nonlocal Hamiltonian structures. We give necessary and sufficient conditions so that, after a nonlinear transformation of the independent variables, the reciprocal system still possesses a local Hamiltonian structure of Dubrovin-Novikov type. We show that, under our hypotheses, bi-hamiltonicity is preserved by the reciprocal transformation. Finally we apply such results to reciprocal systems of genus g Whitham-KdV modulation equations. UR - http://hdl.handle.net/1963/2210 U1 - 2034 U2 - Mathematics U3 - Mathematical Physics ER - TY - RPRT T1 - Reduced density matrices and Bose-Einstein condensation Y1 - 2007 A1 - Alessandro Michelangeli AB - Emergence and applications of the ubiquitous tool of reduced density matrices in the rigorous analysis of Bose Einstein condensation is reviewed, and new related results are added. The need and the nature of scaling limits of infinitely many particles is discussed, which imposes that a physically meaningful and mathematically well-posed definition of asymptotic condensation is placed at the level of marginals.\\nThe topic of correlations in the condensed state is addressed in order to show their influence at this level of marginals, both in the true condensed state and in the suitable trial functions one introduces to approximate the many-body structure and energy. Complete condensation is shown to be equivalently defined at any fixed k-body level, both for pure and mixed states. Further, it is proven to be equivalent to some other characterizations in terms of asymptotic factorization of the many-body state, which are currently present in the literature. UR - http://hdl.handle.net/1963/1986 U1 - 2210 U2 - Mathematics U3 - Mathematical Physics ER - TY - JOUR T1 - On the reductions and classical solutions of the Schlesinger equations JF - Differential equations and quantum groups, IRMA Lect. Math. Theor. Phys. 9 (2007) 157-187 Y1 - 2007 A1 - Boris Dubrovin A1 - Marta Mazzocco AB - The Schlesinger equations S(n,m) describe monodromy preserving\\r\\ndeformations of order m Fuchsian systems with n+1 poles. They\\r\\ncan be considered as a family of commuting time-dependent Hamiltonian\\r\\nsystems on the direct product of n copies of m×m matrix algebras\\r\\nequipped with the standard linear Poisson bracket. In this paper we address\\r\\nthe problem of reduction of particular solutions of “more complicated”\\r\\nSchlesinger equations S(n,m) to “simpler” S(n′,m′) having n′ < n\\r\\nor m′ < m. PB - SISSA UR - http://hdl.handle.net/1963/6472 U1 - 6418 U2 - Mathematics U4 - 1 U5 - MAT/07 FISICA MATEMATICA ER - TY - JOUR T1 - On the regularity of weak solutions to H-systems JF - Atti .Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei (9) Mat. Appl. 18 (2007) 209-219 Y1 - 2007 A1 - Roberta Musina AB - Abstract. In this paper we prove that every weak solution to the H-surface equation is locally bounded, provided the prescibed mean curvatore H is asymptotic to a constant at infinity (with a suitable decay rate). No smoothness ssumptions are required on H. We consider also the Dirichlet problem.... UR - http://hdl.handle.net/1963/1753 U1 - 2791 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Role of scaling limits in the rigorous analysis of Bose-Einstein condensation JF - J. Math. Phys. 48 (2007) 102102 Y1 - 2007 A1 - Alessandro Michelangeli AB - In the context of the rigorous analysis of Bose-Einstein condensation, recent achievements have been obtained in the form of asymptotic results when some appropriate scaling is performed in the Hamiltonian, and the limit of infinite number of particles is taken. In particular, two modified thermodynamic limits of infinite dilution turned out to provide an insight in this analysis, the so-\\ncalled Gross-Pitaevskii limit and the related Tomas-Fermi limit. Here such scalings are discussed with respect to their physical and mathematical motivations, and to the currently known results obtained within this framework. UR - http://hdl.handle.net/1963/1984 U1 - 2212 U2 - Mathematics U3 - Mathematical Physics ER - TY - JOUR T1 - Radial solutions concentrating on spheres of nonlinear Schrödinger equations with vanishing potentials JF - Proc. Roy. Soc. Edinburgh Sect. A 136 (2006) 889-907 Y1 - 2006 A1 - Antonio Ambrosetti A1 - David Ruiz AB - We prove the existence of radial solutions of 1.2) concentrating at a sphere for potentials which might be zero and might decay to zero at\\r\\ninfinity. The proofs use a perturbation technique in a variational setting, through a Lyapunov-Schmidt reduction. UR - http://hdl.handle.net/1963/1755 U1 - 2789 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - CHAP T1 - Recent analytical developments in micromagnetics T2 - The science of hysteresis / eds. Giorgio Bertotti, Isaak D. Mayergoyz. - Amsterdam: Elsevier, 2006. Vol.2, 269-381. Y1 - 2006 A1 - Antonio DeSimone A1 - Robert V. Kohn A1 - Stefan Müller A1 - Felix Otto JF - The science of hysteresis / eds. Giorgio Bertotti, Isaak D. Mayergoyz. - Amsterdam: Elsevier, 2006. Vol.2, 269-381. SN - 978-0-12-480874-4 UR - http://hdl.handle.net/1963/2230 U1 - 2014 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Reflection symmetries for multiqubit density operators JF - J. Math. Phys. 47 (2006) 032104 Y1 - 2006 A1 - Claudio Altafini A1 - Timothy F. Havel AB - For multiqubit density operators in a suitable tensorial basis, we show that a number of nonunitary operations used in the detection and synthesis of entanglement are classifiable as reflection symmetries, i.e., orientation changing rotations. While one-qubit reflections correspond to antiunitary symmetries, as is known for example from the partial transposition criterion, reflections on the joint density of two or more qubits are not accounted for by the Wigner Theorem and are well-posed only for sufficiently mixed states. One example of such nonlocal reflections is the unconditional NOT operation on a multiparty density, i.e., an operation yelding another density and such that the sum of the two is the identity operator. This nonphysical operation is admissible only for sufficiently mixed states. UR - http://hdl.handle.net/1963/2121 U1 - 2122 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Regularity properties of optimal trajectories of single-input control systems in dimension three JF - Journal of Mathematical Sciences 126 (2005) 1561-1573 Y1 - 2005 A1 - Mario Sigalotti AB - Let q=f(q)+ug(q) be a smooth control system on a three-dimensional manifold. Given a point q 0 of the manifold at which the iterated Lie brackets of f and g satisfy some prescribed independence condition, we analyze the structure of a control function u(t) corresponding to a time-optimal trajectory lying in a neighborhood of q 0. The control turns out to be the concatenation of some bang-bang and some singular arcs. More general optimality criteria than time-optimality are considered. The paper is a step toward to the analysis of generic single-input systems affine in the control in dimension 3. The main techniques used are second-order optimality conditions and, in particular, the index of the second variation of the switching times for bang-bang trajectories. PB - Springer UR - http://hdl.handle.net/1963/4794 U1 - 4564 U2 - Mathematics U3 - Functional Analysis and Applications U4 - -1 ER - TY - JOUR T1 - Reduction by group symmetry of second order variational problems on a semidirect product of Lie groups with positive definite Riemannian metric JF - ESAIM: COCV 10 (2004) 526-548 Y1 - 2004 A1 - Claudio Altafini AB - For a Riemannian structure on a semidirect product of Lie groups, the variational problems can be reduced using the group symmetry. Choosing the Levi-Civita connection of a positive definite metric tensor, instead of any of the canonical connections for the Lie group, simplifies the reduction of the variations but complicates the expression for the Lie algebra valued covariant derivatives. The origin of the discrepancy is in the semidirect product structure, which implies that the Riemannian exponential map and the Lie group exponential map do not coincide. The consequence is that the reduced equations look more complicated than the original ones. The main scope of this paper is to treat the reduction of second order variational problems (corresponding to geometric splines) on such semidirect products of Lie groups. Due to the semidirect structure, a number of extra terms appears in the reduction, terms that are calculated explicitely. The result is used to compute the necessary conditions of an optimal control problem for a simple mechanical control system having invariant Lagrangian equal to the kinetic energy corresponding to the metric tensor. As an example, the case of a rigid body on the Special Euclidean group is considered in detail. PB - EDP Sciences UR - http://hdl.handle.net/1963/3521 U1 - 743 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Representing multiqubit unitary evolutions via Stokes tensors JF - Phys. Rev. A 70 (2004) 032331 Y1 - 2004 A1 - Claudio Altafini AB - For the Stokes tensor parametrization of a multiqubit density operator, we provide an explicit formulation of the corresponding unitary dynamics at the infinitesimal level. The main advantage of this formalism (clearly reminiscent of the ideas of ``coherences\\\'\\\' and ``coupling Hamiltonians\\\'\\\' of spin systems) is that the pattern of correlation between qubits and the pattern of infinitesimal correlation are highlighted simultaneously and can be used constructively for qubit manipulation. For example, it allows to compute explicitly a Rodrigues\\\' formula for the one-parameter orbits of nonlocal Hamiltonians. The result is easily generalizable to orbits of Cartan subalgebras and allows to express the Cartan decomposition of unitary propagators as a linear action directly in terms of the infinitesimal generators. UR - http://hdl.handle.net/1963/2307 U1 - 1709 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Resonance of minimizers for n-level quantum systems with an arbitrary cost JF - ESAIM COCV 10 (2004) 593-614 Y1 - 2004 A1 - Ugo Boscain A1 - Grégoire Charlot AB - We consider an optimal control problem describing a laser-induced population transfer on a $n$-level quantum system.\\nFor a convex cost depending only on the moduli of controls (i.e. the lasers intensities), we prove that there always exists a minimizer in resonance. This permits to justify some strategies used in experimental physics. It is also quite important because it permits to reduce remarkably the complexity of the problem (and extend some of our previous results for $n=2$ and $n=3$): instead of looking for minimizers on the sphere $S^{2n-1}\\\\subset\\\\C^n$ one is reduced to look just for minimizers on the sphere $S^{n-1}\\\\subset \\\\R^n$. Moreover, for the reduced problem, we investigate on the question of existence of strict abnormal minimizer. PB - EDP Sciences UR - http://hdl.handle.net/1963/2910 U1 - 1790 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - The role of the spectrum of the Laplace operator on \\\\S2 in the H-bubble problem JF - J. Anal. Math. 94 (2004) 265-291 Y1 - 2004 A1 - Roberta Musina PB - Hebrew University Magnes Press UR - http://hdl.handle.net/1963/2894 U1 - 1806 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Rotating Singular Perturbations of the Laplacian JF - Ann. Henri Poincare 5 (2004) 773-808 Y1 - 2004 A1 - Michele Correggi A1 - Gianfausto Dell'Antonio AB - We study a system of a quantum particle interacting with a singular time-dependent uniformly rotating potential in 2 and 3 dimensions: in particular we consider an interaction with support on a point (rotating point interaction) and on a set of codimension 1 (rotating blade). We prove the existence of the Hamiltonians of such systems as suitable self-adjoint operators and we give an explicit expression for their unitary semigroups. Moreover we analyze the asymptotic limit of large angular velocity and we prove strong convergence of the time-dependent propagator to some one-parameter unitary group as (\\\\omega \\\\to \\\\infty). PB - Springer UR - http://hdl.handle.net/1963/2945 U1 - 1755 U2 - Mathematics U3 - Mathematical Physics ER - TY - JOUR T1 - On the reachability of quantized control systems JF - IEEE Trans. Automat. Contr. 47 (2002) 546-563 Y1 - 2002 A1 - Antonio Bicchi A1 - Alessia Marigo A1 - Benedetto Piccoli AB - In this paper, we study control systems whose input sets are quantized, i.e., finite or regularly distributed on a mesh. We specifically focus on problems relating to the structure of the reachable set of such systems, which may turn out to be either dense or discrete. We report results on the reachable set of linear quantized systems, and on a particular but interesting class of nonlinear systems, i.e., nonholonomic chained-form systems. For such systems, we provide a complete characterization of the reachable set, and, in case the set is discrete, a computable method to completely and succinctly describe its structure. Implications and open problems in the analysis and synthesis of quantized control systems are addressed. PB - SISSA Library UR - http://hdl.handle.net/1963/1501 U1 - 2662 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - The reachable set of a linear endogenous switching system JF - Systems Control Lett. 47 (2002) 343-353 Y1 - 2002 A1 - Claudio Altafini AB - In this work, switching systems are named endogenous when their switching pattern is controllable. Linear endogenous switching systems can be considered as a particular class of bilinear control systems. The key idea is that both types of systems are equivalent to polysystems, i.e. to systems whose flow is piecewise smooth. The reachable set of a linear endogenous switching system can be studied consequently. The main result is that, in general, it has the structure of a semigroup, even when the Lie algebra rank condition is satisfied since the logic inputs cannot reverse the direction of the flow. The adaptation of existing controllability criteria for bilinear systems is straightforward. PB - Elsevier UR - http://hdl.handle.net/1963/3142 U1 - 1191 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Relatively stable bundles over elliptic fibrations JF - Math. Nachr. 238 (2002) 23-36 Y1 - 2002 A1 - Claudio Bartocci A1 - Ugo Bruzzo A1 - Daniel Hernandez Ruiperez A1 - Jose M. Munoz Porras AB - We consider a relative Fourier-Mukai transform defined on elliptic fibrations over an arbitrary normal base scheme. This is used to construct relative Atiyah sheaves and generalize Atiyah\\\'s and Tu\\\'s results about semistable sheaves over elliptic curves to the case of elliptic fibrations. Moreover we show that this transform preserves relative (semi)stability of sheaves of positive relative degree. PB - Wiley UR - http://hdl.handle.net/1963/3132 U1 - 1201 U2 - Mathematics U3 - Mathematical Physics ER - TY - CHAP T1 - Reachability Analysis for a Class of Quantized Control Systems T2 - Proc. 39th IEEE Int. Conf. on Decision and Control 4 (2000) 3963-3968 Y1 - 2000 A1 - Alessia Marigo A1 - Benedetto Piccoli A1 - Antonio Bicchi AB - We study control systems whose input sets are quantized. We specifically focus on problems relating to the structure of the reachable set of such systems, which may turn out to be either dense or discrete. We report on some results on the reachable set of linear quantized systems, and study in detail an interesting class of nonlinear systems, forming the discrete counterpart of driftless nonholonomic continuous systems. For such systems, we provide a complete characterization of the reachable set, and, in the case the set is discrete, a computable method to describe its lattice structure. JF - Proc. 39th IEEE Int. Conf. on Decision and Control 4 (2000) 3963-3968 PB - IEEE UR - http://hdl.handle.net/1963/3518 U1 - 746 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Reduction of bi-Hamiltonian systems and separation of variables: an example from the Boussinesq hierarchy JF - Theor. Math. Phys. 122 (2000) 176-192 Y1 - 2000 A1 - Gregorio Falqui A1 - Franco Magri A1 - G. Tondo AB - We discuss the Boussinesq system with $t_5$ stationary, within a general framework for the analysis of stationary flows of n-Gel\\\'fand-Dickey hierarchies. We show how a careful use of its bihamiltonian structure can be used to provide a set of separation coordinates for the corresponding Hamilton--Jacobi equations. PB - Springer UR - http://hdl.handle.net/1963/3219 U1 - 1082 U2 - Mathematics U3 - Mathematical Physics ER - TY - JOUR T1 - Regular Synthesis and Sufficiency Conditions for Optimality JF - SIAM J. Control Optim. 39 (2000) 359-410 Y1 - 2000 A1 - Benedetto Piccoli A1 - Hector J. Sussmann AB - We propose a definition of \\\"regular synthesis\\\" that is more general than those suggested by other authors such as Boltyanskii and Brunovsky, and an even more general notion of \\\"regular presynthesis.\\\" We give a complete proof of the corresponding sufficiency theorem, a slightly weaker version of which had been stated in an earlier article, with only a rough outline of the proof. We illustrate the strength of our result by showing that the optimal synthesis for the famous Fuller problem satisfies our hypotheses. We also compare our concept of synthesis with the simpler notion of a \\\"family of solutions of the closed-loop equation arising from an optimal feedback law,\\\" and show by means of examples why the latter is inadequate, and why the difficulty cannot be resolved byusing other concepts of solution--such as Filippov solutions, or the limits of sample-and-hold solutions recently proposed as feedback solutions by Clarke, Ledyaev, Subbotin and Sontag -for equations with a non-Lipschitz and possibly discontinuous right-hand side. PB - SIAM UR - http://hdl.handle.net/1963/3213 U1 - 1088 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - A Remark on One-Dimensional Many-Body Problems with Point Interactions JF - Int. J. Mod. Phys. B 14 (2000) 721-727 Y1 - 2000 A1 - Sergio Albeverio A1 - Ludwik Dabrowski A1 - Shao-Ming Fei AB - The integrability of one dimensional quantum mechanical many-body problems with general contact interactions is extensively studied. It is shown that besides the pure (repulsive or attractive) $\\\\delta$-function interaction there is another singular point interactions which gives rise to a new one-parameter family of integrable quantum mechanical many-body systems. The bound states and scattering matrices are calculated for both bosonic and fermionic statistics. PB - World Scientific UR - http://hdl.handle.net/1963/3214 U1 - 1087 U2 - Mathematics U3 - Mathematical Physics ER - TY - RPRT T1 - Recurrent procedure for the determination of the free energy ε^2 expansion in the topological string theory Y1 - 1999 A1 - Boris Dubrovin A1 - Andrei Ya A Maltsev AB -We present here the iteration procedure for the determination of free energy ǫ2-expansion using the theory of KdV - type equations. In our approach we use the conservation laws for KdV - type equations depending explicitly on times t1, t2, . . . to find the ǫ2-expansion of u(x, t1, t2, . . .) after the infinite number of shifts of u(x, 0, 0, . . .) ≡ x along t1, t2, . . . in recurrent form. The formulas for the free energy expansion are just obtained then as a result of quite simple integration procedure applied to un(x).

JF - arXiv:solv-int/990400 PB - SISSA UR - http://hdl.handle.net/1963/6489 U1 - 6421 U2 - Mathematics U4 - 1 U5 - MAT/07 FISICA MATEMATICA ER - TY - JOUR T1 - Renormalized solutions of elliptic equations with general measure data JF - Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 28 (1999), no. 4, 741-808 Y1 - 1999 A1 - Gianni Dal Maso A1 - Francois Murat A1 - Luigi Orsina A1 - Alain Prignet PB - Scuola Normale Superiore di Pisa UR - http://hdl.handle.net/1963/1236 U1 - 2707 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Recent advances in the study of the existence of periodic orbits of Hamiltonian systems JF - Advances in Hamiltonian systems (Rome, 1981), 1--22, Ann. CEREMADE, Birkhauser Boston, Boston, MA, 1983. Y1 - 1981 A1 - Antonio Ambrosetti PB - SISSA Library UR - http://hdl.handle.net/1963/159 U1 - 3808 U2 - Mathematics U3 - Functional Analysis and Applications ER -