TY - JOUR T1 - Rigidity and trace properties of divergence-measure vector fields JF - Adv. Calc. Var. Y1 - In Press A1 - Leonardi, G. P. A1 - Saracco, G. ER - TY - UNPB T1 - Applicable Methodologies for the Mass Transfer Phenomenon in Tumble Dryers: A Review Y1 - 2023 A1 - Sajad Salavatidezfouli A1 - Sajad Hajisharifi A1 - Michele Girfoglio A1 - Giovanni Stabile A1 - Gianluigi Rozza AB -

Tumble dryers offer a fast and convenient way of drying textiles independent of weather conditions and therefore are frequently used in ordinary households. However, artificial drying of textiles consumes considerable amounts of energy, approximately 8.2 percent of the residential electricity consumption is for drying of textiles in northern European countries (Cranston et al., 2019). Several authors have investigated the aspects of the clothes drying cycle with experimental and numerical methods to understand and improve the process. The first turning point study on understanding the physics of evaporation for tumble dryers was presented by Lambert et al. (1991) in the early 90s. With the aid of Chilton_Colburn analogy, they introduced the concept of area-mass transfer coefficient to address evaporation rate. Afterwards, several experimental or numerical studies were published based on this concept, and furthermore, the model was then developed into 0-dimensional (Deans, 2001) and 1-dimensional (Wei et al., 2017) to gain more accuracy. The evaporation rate is considered to be the main system parameter for dryers with which other performance parameters including drying time, effectiveness, moisture content and efficiency can be estimated. More recent literature focused on utilizing dimensional analysis or image processing techniques to correlate drying indices with system parameters. However, the validity of these regressed models is machine-specific, and hence, cannot be generalized yet. All the previous models for estimating the evaporation rate in tumble dryers are discussed. The review of the related literature showed that all of the previous models for the prediction of the evaporation rate in the clothes dryers have some limitations in terms of accuracy and applicability.

ER - TY - JOUR T1 - On the Minimal Number of Solutions of the Equation φ(n+k)=Mφ(n), M=1,2 JF - Journal of Integer Sequences Y1 - 2023 A1 - Matteo Ferrari A1 - Lorenzo Sillari KW - Euler’s phi function AB - We fix a positive integer $k$ and look for solutions $n \in \mathbb{N}$ of the equations $\phi(n + k) = \phi(n)$ and $φ(n + k) = 2 φ(n)$. For $k \le 12 \cdot 10^{100}$, we prove that Fermat primes can be used to build five solutions for the first equation when $k$ is even, and five for the second one when $k$ is odd. Furthermore, for $k \le 4 \cdot 10^{58}$, we show that for the second equation there are at least three solutions when $k$ is even. Our work increases the previously known minimal number of solutions for both equations. VL - 26 UR - https://cs.uwaterloo.ca/journals/JIS/VOL26/Sillari/sillari3.html ER - TY - ABST T1 - Relaxed area of graphs of piecewise Lipschitz maps in the strict $BV$-convergence Y1 - 2023 A1 - Bellettini, Giovanni A1 - Carano, Simone A1 - Scala, Riccardo ER - TY - JOUR T1 - A behavioral change model to assess vaccination-induced relaxation of social distancing during an epidemic JF - Journal of Biological Systems Y1 - 2022 A1 - Buonomo, Bruno A1 - Della Marca, Rossella A1 - Sintayehu Sharbayta, Sileshi AB -

The success of mass vaccination campaigns may be jeopardized by human risky behaviors. For example, high level of vaccination coverage may induce early relaxation of social distancing. In this paper, we focus on the mutual influence between the decline in prevalence, due to the rise in the overall immunization coverage, and the consequent decrease in the compliance to social distancing measures. We consider an epidemic model where both the vaccination rate and the disease transmission rate are influenced by human behavior, which in turn depends on the current and past information about the spread of the disease. We highlight the impact of the information-related parameters on the transient and asymptotic behavior of the system that is on the early stage of the epidemic and its final outcome. Among the main results, we evidence that sustained oscillations may be triggered by the behavioral memory in the prevalence-dependent vaccination rate. However, the relaxation of social distancing may induce a switch from a cyclic regime to damped oscillations.

VL - 30 SN - 0218-3390 UR - https://doi.org/10.1142/S0218339022500085 IS - 01 JO - J. Biol. Syst. ER - TY - ABST T1 - Doubly Intermittent Maps with Critical Points, Unbounded Derivatives and Regularly Varying Tail Y1 - 2022 A1 - Muhammad Mubarak A1 - Tanja I. Schindler KW - 37A05 KW - 37A25 KW - 37A50 KW - Dynamical Systems (math.DS) KW - FOS: Mathematics UR - https://arxiv.org/abs/2211.15648 ER - TY - JOUR T1 - Driving bifurcating parametrized nonlinear PDEs by optimal control strategies: application to Navier–Stokes equations with model order reduction JF - ESAIM: M2AN Y1 - 2022 A1 - Federico Pichi A1 - Maria Strazzullo A1 - F. Ballarin A1 - Gianluigi Rozza VL - 56 UR - https://doi.org/10.1051/m2an/2022044 IS - 4 ER - TY - JOUR T1 - A Gradient Flow Equation for Optimal Control Problems With End-point Cost Y1 - 2022 A1 - Alessandro Scagliotti AB - In this paper, we consider a control system of the form $\dot x = F(x)u$, linear in the control variable u. Given a fixed starting point, we study a finite-horizon optimal control problem, where we want to minimize a weighted sum of an end-point cost and the squared 2-norm of the control. This functional induces a gradient flow on the Hilbert space of admissible controls, and we prove a convergence result by means of the Lojasiewicz-Simon inequality. Finally, we show that, if we let the weight of the end-point cost tend to infinity, the resulting family of functionals is Γ-convergent, and it turns out that the limiting problem consists in joining the starting point and a minimizer of the end-point cost with a horizontal length-minimizer path. SN - 1573-8698 UR - https://doi.org/10.1007/s10883-022-09604-2 JO - Journal of Dynamical and Control Systems ER - TY - JOUR T1 - Mathematical modelling of oscillating patterns for chronic autoimmune diseases JF - Mathematical Methods in the Applied SciencesMathematical Methods in the Applied SciencesMath Meth Appl Sci Y1 - 2022 A1 - Rossella Della Marca A1 - Maria da Piedade Machado Ramos A1 - Carolina Ribeiro A1 - Ana Jacinta Soares KW - autoimmune diseases KW - cellular interactions KW - Dynamical systems KW - Hopf bifurcation KW - kinetic theory KW - mathematical biology AB -

Many autoimmune diseases are chronic in nature, so that in general, patients experience periods of recurrence and remission of the symptoms characterizing their specific autoimmune ailment. In order to describe this very important feature of autoimmunity, we construct a mathematical model of kinetic type describing the immune system cellular interactions in the context of autoimmunity exhibiting recurrent dynamics. The model equations constitute a nonlinear system of integro-differential equations with quadratic terms that describe the interactions between self-antigen presenting cells, self-reactive T cells, and immunosuppressive cells. We consider a constant input of self-antigen presenting cells, due to external environmental factors that are believed to trigger autoimmunity in people with predisposition for this condition. We also consider the natural death of all cell populations involved in our model, caused by their interaction with cells of the host environment. We derive the macroscopic analogue and show positivity and well-posedness of the solution and then we study the equilibria of the corresponding dynamical system and their stability properties. By applying dynamical system theory, we prove that steady oscillations may arise due to the occurrence of a Hopf bifurcation. We perform some numerical simulations for our model, and we observe a recurrent pattern in the solutions of both the kinetic description and its macroscopic analogue, which leads us to conclude that this model is able to capture the chronic behaviour of many autoimmune diseases.

VL - n/a SN - 0170-4214 UR - https://doi.org/10.1002/mma.8229 IS - n/a JO - Mathematical Methods in the Applied Sciences ER - TY - JOUR T1 - The Neural Network shifted-proper orthogonal decomposition: A machine learning approach for non-linear reduction of hyperbolic equations JF - Computer Methods in Applied Mechanics and Engineering Y1 - 2022 A1 - Davide Papapicco A1 - Nicola Demo A1 - Michele Girfoglio A1 - Giovanni Stabile A1 - Gianluigi Rozza KW - Advection KW - Computational complexity KW - Deep neural network KW - Deep neural networks KW - Linear subspace KW - Multiphase simulations KW - Non linear KW - Nonlinear hyperbolic equation KW - Partial differential equations KW - Phase space methods KW - Pre-processing KW - Principal component analysis KW - reduced order modeling KW - Reduced order modelling KW - Reduced-order model KW - Shifted-POD AB -

Models with dominant advection always posed a difficult challenge for projection-based reduced order modelling. Many methodologies that have recently been proposed are based on the pre-processing of the full-order solutions to accelerate the Kolmogorov N−width decay thereby obtaining smaller linear subspaces with improved accuracy. These methods however must rely on the knowledge of the characteristic speeds in phase space of the solution, limiting their range of applicability to problems with explicit functional form for the advection field. In this work we approach the problem of automatically detecting the correct pre-processing transformation in a statistical learning framework by implementing a deep-learning architecture. The purely data-driven method allowed us to generalise the existing approaches of linear subspace manipulation to non-linear hyperbolic problems with unknown advection fields. The proposed algorithm has been validated against simple test cases to benchmark its performances and later successfully applied to a multiphase simulation. © 2022 Elsevier B.V.

VL - 392 UR - https://www.scopus.com/inward/record.uri?eid=2-s2.0-85124488633&doi=10.1016%2fj.cma.2022.114687&partnerID=40&md5=12f82dcaba04c4a7c44f8e5b20101997 ER - TY - JOUR T1 - The $N$-Link Swimmer in Three Dimensions: Controllability and Optimality Results Y1 - 2022 A1 - Marchello, Roberto A1 - Morandotti, Marco A1 - Shum, Henry A1 - Zoppello, Marta AB - The controllability of a fully three-dimensional $N$-link swimmer is studied. After deriving the equations of motion in a low Reynolds number fluid by means of Resistive Force Theory, the controllability of the minimal 2-link swimmer is tackled using techniques from Geometric Control Theory. The shape of the 2-link swimmer is described by two angle parameters. It is shown that the associated vector fields that govern the dynamics generate, via taking their Lie brackets, all eight linearly independent directions in the combined configuration and shape space, leading to controllability; the swimmer can move from any starting configuration and shape to any target configuration and shape by operating on the two shape variables. The result is subsequently extended to the $N$-link swimmer. Finally, the minimal time optimal control problem and the minimization of the power expended are addressed and a qualitative description of the optimal strategies is provided. VL - 178 SN - 1572-9036 UR - https://doi.org/10.1007/s10440-022-00480-3 IS - 1 JO - Acta Applicandae Mathematicae ER - TY - JOUR T1 - A piecewise conservative method for unconstrained convex optimization Y1 - 2022 A1 - Alessandro Scagliotti A1 - Colli Franzone, P. AB - We consider a continuous-time optimization method based on a dynamical system, where a massive particle starting at rest moves in the conservative force field generated by the objective function, without any kind of friction. We formulate a restart criterion based on the mean dissipation of the kinetic energy, and we prove a global convergence result for strongly-convex functions. Using the Symplectic Euler discretization scheme, we obtain an iterative optimization algorithm. We have considered a discrete mean dissipation restart scheme, but we have also introduced a new restart procedure based on ensuring at each iteration a decrease of the objective function greater than the one achieved by a step of the classical gradient method. For the discrete conservative algorithm, this last restart criterion is capable of guaranteeing a qualitative convergence result. We apply the same restart scheme to the Nesterov Accelerated Gradient (NAG-C), and we use this restarted NAG-C as benchmark in the numerical experiments. In the smooth convex problems considered, our method shows a faster convergence rate than the restarted NAG-C. We propose an extension of our discrete conservative algorithm to composite optimization: in the numerical tests involving non-strongly convex functions with $$\ell ^1$$-regularization, it has better performances than the well known efficient Fast Iterative Shrinkage-Thresholding Algorithm, accelerated with an adaptive restart scheme. VL - 81 SN - 1573-2894 UR - https://doi.org/10.1007/s10589-021-00332-0 IS - 1 JO - Computational Optimization and Applications ER - TY - JOUR T1 - The relaxed area of $S^1$-valued singular maps in the strict $BV$-convergence JF - ESAIM: Control, Optimization and Calculus of Variations Y1 - 2022 A1 - Bellettini, Giovanni A1 - Carano, Simone A1 - Scala, Riccardo VL - 28 UR - http://cvgmt.sns.it/paper/5440/ ER - TY - JOUR T1 - The \textttdeal.II Library, Version 9.4 JF - Journal of Numerical Mathematics Y1 - 2022 A1 - Daniel Arndt A1 - Wolfgang Bangerth Marco Feder A1 - Marc Fehling A1 - Rene Gassmöller A1 - Timo Heister A1 - Luca Heltai A1 - Martin Kronbichler A1 - Matthias Maier A1 - Peter Munch A1 - Jean-Paul Pelteret A1 - Simon Sticko A1 - Bruno Turcksin A1 - David Wells ER - TY - JOUR T1 - Vibration Analysis of Piezoelectric Kirchhoff-Love shells based on Catmull-Clark Subdivision Surfaces JF - International Journal for Numerical Methods in Engineering Y1 - 2022 A1 - Zhaowei Liu A1 - Andrew McBride A1 - Prashant Saxena A1 - Luca Heltai A1 - Yilin Qu A1 - Paul Steinmann ER - TY - JOUR T1 - Adaptive non-hierarchical Galerkin methods for parabolic problems with application to moving mesh and virtual element methods JF - Mathematical Models and Methods in Applied Sciences Y1 - 2021 A1 - Andrea Cangiani A1 - E.H. Georgoulis A1 - Sutton, Oliver J. AB - We present a posteriori error estimates for inconsistent and non-hierarchical Galerkin methods for linear parabolic problems, allowing them to be used in conjunction with very general mesh modification for the first time. We treat schemes which are non-hierarchical in the sense that the spatial Galerkin spaces between time-steps may be completely unrelated from one another. The practical interest of this setting is demonstrated by applying our results to finite element methods on moving meshes and using the estimators to drive an adaptive algorithm based on a virtual element method on a mesh of arbitrary polygons. The a posteriori error estimates, for the error measured in the L2(H1) and L∞(L2) norms, are derived using the elliptic reconstruction technique in an abstract framework designed to precisely encapsulate our notion of inconsistency and non-hierarchicality and requiring no particular compatibility between the computational meshes used on consecutive time-steps, thereby significantly relaxing this basic assumption underlying previous estimates. VL - 31 UR - https://doi.org/10.1142/S0218202521500172 ER - TY - UNPB T1 - A CERTIFIED REDUCED BASIS Method FOR LINEAR PARAMETRIZED PARABOLIC OPTIMAL CONTROL PROBLEMS IN SPACE-TIME FORMULATION Y1 - 2021 A1 - Maria Strazzullo A1 - Francesco Ballarin A1 - Gianluigi Rozza ER - TY - JOUR T1 - On the comparison of LES data-driven reduced order approaches for hydroacoustic analysis JF - Computers & Fluids Y1 - 2021 A1 - Mahmoud Gadalla A1 - Marta Cianferra A1 - Marco Tezzele A1 - Giovanni Stabile A1 - Andrea Mola A1 - Gianluigi Rozza KW - Dynamic mode decomposition KW - Ffowcs Williams and Hawkings KW - Hydroacoustics KW - Large eddy simulation KW - Model reduction KW - Proper orthogonal decomposition AB -

In this work, Dynamic Mode Decomposition (DMD) and Proper Orthogonal Decomposition (POD) methodologies are applied to hydroacoustic dataset computed using Large Eddy Simulation (LES) coupled with Ffowcs Williams and Hawkings (FWH) analogy. First, a low-dimensional description of the flow fields is presented with modal decomposition analysis. Sensitivity towards the DMD and POD bases truncation rank is discussed, and extensive dataset is provided to demonstrate the ability of both algorithms to reconstruct the flow fields with all the spatial and temporal frequencies necessary to support accurate noise evaluation. Results show that while DMD is capable to capture finer coherent structures in the wake region for the same amount of employed modes, reconstructed flow fields using POD exhibit smaller magnitudes of global spatiotemporal errors compared with DMD counterparts. Second, a separate set of DMD and POD modes generated using half the snapshots is employed into two data-driven reduced models respectively, based on DMD mid cast and POD with Interpolation (PODI). In that regard, results confirm that the predictive character of both reduced approaches on the flow fields is sufficiently accurate, with a relative superiority of PODI results over DMD ones. This infers that, discrepancies induced due to interpolation errors in PODI is relatively low compared with errors induced by integration and linear regression operations in DMD, for the present setup. Finally, a post processing analysis on the evaluation of FWH acoustic signals utilizing reduced fluid dynamic fields as input demonstrates that both DMD and PODI data-driven reduced models are efficient and sufficiently accurate in predicting acoustic noises.

VL - 216 UR - https://www.sciencedirect.com/science/article/pii/S0045793020303893 ER - TY - UNPB T1 - Consistency of the full and reduced order models for Evolve-Filter-Relax Regularization of Convection-Dominated, Marginally-Resolved Flows Y1 - 2021 A1 - Maria Strazzullo A1 - Michele Girfoglio A1 - Francesco Ballarin A1 - T. Iliescu A1 - Gianluigi Rozza ER - TY - UNPB T1 - A data-driven partitioned approach for the resolution of time-dependent optimal control problems with dynamic mode decomposition Y1 - 2021 A1 - Eleonora Donadini A1 - Maria Strazzullo A1 - Marco Tezzele A1 - Gianluigi Rozza ER - TY - JOUR T1 - The deal.II Library, Version 9.3 JF - Journal of Numerical Mathematics Y1 - 2021 A1 - Daniel Arndt A1 - Wolfgang Bangerth A1 - Bruno Blais A1 - Marc Fehling A1 - Rene Gassmöller A1 - Timo Heister A1 - Luca Heltai A1 - Uwe Köcher A1 - Martin Kronbichler A1 - Matthias Maier A1 - Peter Munch A1 - Jean-Paul Pelteret A1 - Sebastian Proell A1 - Konrad Simon A1 - Bruno Turcksin A1 - David Wells A1 - Jiaqi Zhang UR - https://doi.org/10.1515/jnma-2021-0081 ER - TY - ABST T1 - Deep Learning Approximation of Diffeomorphisms via Linear-Control Systems Y1 - 2021 A1 - Alessandro Scagliotti KW - FOS: Computer and information sciences KW - FOS: Mathematics KW - Machine Learning (cs.LG) KW - Optimization and Control (math.OC) UR - https://arxiv.org/abs/2110.12393 ER - TY - RPRT T1 - On Dini derivatives of real functions Y1 - 2021 A1 - Giuliano Klun A1 - Alessandro Fonda A1 - Andrea Sfecci ER - TY - CONF T1 - Discontinuous Galerkin Model Order Reduction of Geometrically Parametrized Stokes Equation T2 - Numerical Mathematics and Advanced Applications ENUMATH 2019 Y1 - 2021 A1 - Nirav Shah A1 - Martin W. Hess A1 - Gianluigi Rozza ED - Vermolen, Fred J. ED - Vuik, Cornelis AB -

The present work focuses on the geometric parametrization and the reduced order modeling of the Stokes equation. We discuss the concept of a parametrized geometry and its application within a reduced order modeling technique. The full order model is based on the discontinuous Galerkin method with an interior penalty formulation. We introduce the broken Sobolev spaces as well as the weak formulation required for an affine parameter dependency. The operators are transformed from a fixed domain to a parameter dependent domain using the affine parameter dependency. The proper orthogonal decomposition is used to obtain the basis of functions of the reduced order model. By using the Galerkin projection the linear system is projected onto the reduced space. During this process, the offline-online decomposition is used to separate parameter dependent operations from parameter independent operations. Finally this technique is applied to an obstacle test problem.The numerical outcomes presented include experimental error analysis, eigenvalue decay and measurement of online simulation time.

JF - Numerical Mathematics and Advanced Applications ENUMATH 2019 PB - Springer International Publishing CY - Cham SN - 978-3-030-55874-1 ER - TY - JOUR T1 - Displacement convexity of Entropy and the distance cost Optimal Transportation JF - Annales de la Faculté des sciences de Toulouse : Mathématiques Y1 - 2021 A1 - Fabio Cavalletti A1 - Nicola Gigli A1 - Flavia Santarcangelo VL - Ser. 6, 30 UR - https://afst.centre-mersenne.org/articles/10.5802/afst.1679/ ER - TY - JOUR T1 - Doulbeault and J-invariant Cohomologies on Almost Complex Manifolds JF - Complex Analysis and Operator Theory Y1 - 2021 A1 - Lorenzo Sillari A1 - Adriano Tomassini KW - Almost Complex Manifolds KW - Cohomology of Lie Algebra KW - Compact four-manifold KW - Dolbeault Cohomology KW - Frölicher Spectral Sequence KW - Solvmanifold AB - In this paper we relate the cohomology of $J$-invariant forms to the Dolbeault cohomology of an almost complex manifold. We find necessary and sufficient condition for the inclusion of the former into the latter to be true up to isomorphism. We also extend some results obtained by J. Cirici and S. O. Wilson about the computation of the left-invariant cohomology of nilmanifolds to the setting of solvmanifolds. Several examples are given. VL - 15 UR - https://link.springer.com/article/10.1007/s11785-021-01156-w ER - TY - JOUR T1 - A dynamic model for viscoelasticity in domains with time-dependent cracks Y1 - 2021 A1 - Francesco Sapio AB -

In this paper, we prove the existence of solutions for a class of viscoelastic dynamic systems on time-dependent cracking domains.

VL - 28 SN - 1420-9004 UR - https://doi.org/10.1007/s00030-021-00729-0 IS - 6 JO - Nonlinear Differential Equations and Applications NoDEA ER - TY - JOUR T1 - Equilibrium measure for a nonlocal dislocation energy with physical confinement Y1 - 2021 A1 - Mora, Maria Giovanna A1 - Alessandro Scagliotti T3 - Advances in Calculus of Variations UR - https://doi.org/10.1515/acv-2020-0076 ER - TY - JOUR T1 - An existence result for the fractional Kelvin–Voigt’s model on time-dependent cracked domains Y1 - 2021 A1 - Maicol Caponi A1 - Francesco Sapio AB -

We prove an existence result for the fractional Kelvin–Voigt’s model involving Caputo’s derivative on time-dependent cracked domains. We first show the existence of a solution to a regularized version of this problem. Then, we use a compactness argument to derive that the fractional Kelvin–Voigt’s model admits a solution which satisfies an energy-dissipation inequality. Finally, we prove that when the crack is not moving, the solution is unique.

SN - 1424-3202 UR - https://doi.org/10.1007/s00028-021-00713-2 JO - Journal of Evolution Equations ER - TY - UNPB T1 - AN EXTENDED PHYSICS INFORMED NEURAL NETWORK FOR PRELIMINARY ANALYSIS OF PARAMETRIC OPTIMAL CONTROL PROBLEMS Y1 - 2021 A1 - Nicola Demo A1 - Maria Strazzullo A1 - Gianluigi Rozza ER - TY - JOUR T1 - Hybrid Neural Network Reduced Order Modelling for Turbulent Flows with Geometric Parameters JF - Fluids Y1 - 2021 A1 - Matteo Zancanaro A1 - Markus Mrosek A1 - Giovanni Stabile A1 - Carsten Othmer A1 - Gianluigi Rozza PB - MDPI AG VL - 6 UR - https://doi.org/10.3390/fluids6080296 ER - TY - JOUR T1 - Independence of synthetic curvature dimension conditions on transport distance exponent JF - Trans. Amer. Math. Soc. Y1 - 2021 A1 - Afiny Akdemir A1 - Andrew Colinet A1 - Robert McCann A1 - Fabio Cavalletti A1 - Flavia Santarcangelo VL - 374 UR - https://doi.org/10.1090/tran/8413 ER - TY - ABST T1 - On master test plans for the space of BV functions Y1 - 2021 A1 - Francesco Nobili A1 - Enrico Pasqualetto A1 - Timo Schultz ER - TY - ABST T1 - Model Order Reduction for Nonlinear and Time-Dependent Parametric Optimal Flow Control Problems Y1 - 2021 A1 - Maria Strazzullo PB - SISSA CY - Trieste ER - TY - ABST T1 - The Neural Network shifted-Proper Orthogonal Decomposition: a Machine Learning Approach for Non-linear Reduction of Hyperbolic Equations Y1 - 2021 A1 - Davide Papapicco A1 - Nicola Demo A1 - Michele Girfoglio A1 - Giovanni Stabile A1 - Gianluigi Rozza ER - TY - JOUR T1 - Non-intrusive data-driven ROM framework for hemodynamics problems JF - Acta Mechanica Sinica Y1 - 2021 A1 - Michele Girfoglio A1 - Leonardo Scandurra A1 - Francesco Ballarin A1 - Giuseppe Infantino A1 - Francesca Nicolò A1 - Andrea Montalto A1 - Gianluigi Rozza A1 - Roberto Scrofani A1 - Marina Comisso A1 - Francesco Musumeci VL - 37 ER - TY - JOUR T1 - Non-well-ordered lower and upper solutions for semilinear systems of PDEs JF - Communications in Contemporary MathematicsCommunications in Contemporary Mathematics Y1 - 2021 A1 - Alessandro Fonda A1 - Giuliano Klun A1 - Andrea Sfecci AB -

We prove existence results for systems of boundary value problems involving elliptic second-order differential operators. The assumptions involve lower and upper solutions, which may be either well-ordered, or not at all. The results are stated in an abstract framework, and can be translated also for systems of parabolic type.We prove existence results for systems of boundary value problems involving elliptic second-order differential operators. The assumptions involve lower and upper solutions, which may be either well-ordered, or not at all. The results are stated in an abstract framework, and can be translated also for systems of parabolic type.

SN - 0219-1997 UR - https://doi.org/10.1142/S0219199721500802 JO - Commun. Contemp. Math. ER - TY - JOUR T1 - A novel iterative penalty method to enforce boundary conditions in Finite Volume POD-Galerkin reduced order models for fluid dynamics problems JF - Communications in Computational Physics Y1 - 2021 A1 - Kelbij Star A1 - Giovanni Stabile A1 - Francesco Belloni A1 - Gianluigi Rozza A1 - Joris Degroote AB - A Finite-Volume based POD-Galerkin reduced order model is developed for fluid dynamic problems where the (time-dependent) boundary conditions are controlled using two different boundary control strategies: the control function method, whose aim is to obtain homogeneous basis functions for the reduced basis space and the penalty method where the boundary conditions are enforced in the reduced order model using a penalty factor. The penalty method is improved by using an iterative solver for the determination of the penalty factor rather than tuning the factor with a sensitivity analysis or numerical experimentation. The boundary control methods are compared and tested for two cases: the classical lid driven cavity benchmark problem and a Y-junction flow case with two inlet channels and one outlet channel. The results show that the boundaries of the reduced order model can be controlled with the boundary control methods and the same order of accuracy is achieved for the velocity and pressure fields. Finally, the speedup ratio between the reduced order models and the full order model is of the order 1000 for the lid driven cavity case and of the order 100 for the Y-junction test case. PB - Global Science Press VL - 30 ER - TY - JOUR T1 - A numerical approach for heat flux estimation in thin slabs continuous casting molds using data assimilation JF - International Journal for Numerical Methods in Engineering Y1 - 2021 A1 - Umberto Emil Morelli A1 - Patricia Barral A1 - Peregrina Quintela A1 - Gianluigi Rozza A1 - Giovanni Stabile PB - Wiley VL - 122 UR - https://doi.org/10.1002/nme.6713 ER - TY - JOUR T1 - Periodic Solutions of Second-Order Differential Equations in Hilbert Spaces Y1 - 2021 A1 - Alessandro Fonda A1 - Giuliano Klun A1 - Andrea Sfecci AB -

We prove the existence of periodic solutions of some infinite-dimensional systems by the use of the lower/upper solutions method. Both the well-ordered and non-well-ordered cases are treated, thus generalizing to systems some well-established results for scalar equations.

VL - 18 SN - 1660-5454 UR - https://doi.org/10.1007/s00009-021-01857-8 IS - 5 JO - Mediterranean Journal of Mathematics ER - TY - JOUR T1 - A POD-Galerkin reduced order model of a turbulent convective buoyant flow of sodium over a backward-facing step JF - Applied Mathematical Modelling Y1 - 2021 A1 - Kelbij Star A1 - Giovanni Stabile A1 - Gianluigi Rozza A1 - Joris Degroote AB -

A Finite-Volume based POD-Galerkin reduced order modeling strategy for steady-state Reynolds averaged Navier–Stokes (RANS) simulation is extended for low-Prandtl number flow. The reduced order model is based on a full order model for which the effects of buoyancy on the flow and heat transfer are characterized by varying the Richardson number. The Reynolds stresses are computed with a linear eddy viscosity model. A single gradient diffusion hypothesis, together with a local correlation for the evaluation of the turbulent Prandtl number, is used to model the turbulent heat fluxes. The contribution of the eddy viscosity and turbulent thermal diffusivity fields are considered in the reduced order model with an interpolation based data-driven method. The reduced order model is tested for buoyancy-aided turbulent liquid sodium flow over a vertical backward-facing step with a uniform heat flux applied on the wall downstream of the step. The wall heat flux is incorporated with a Neumann boundary condition in both the full order model and the reduced order model. The velocity and temperature profiles predicted with the reduced order model for the same and new Richardson numbers inside the range of parameter values are in good agreement with the RANS simulations. Also, the local Stanton number and skin friction distribution at the heated wall are qualitatively well captured. Finally, the reduced order simulations, performed on a single core, are about 105 times faster than the RANS simulations that are performed on eight cores.

VL - 89 ER - TY - JOUR T1 - Quantitative lower bounds to the Euclidean and the Gaussian Cheeger constants JF - Ann. Fenn. Math. Y1 - 2021 A1 - Julin, V. A1 - Saracco, G. VL - 46 ER - TY - JOUR T1 - Quasistatic Limit of a Dynamic Viscoelastic Model with Memory Y1 - 2021 A1 - Gianni Dal Maso A1 - Francesco Sapio AB -

We study the behaviour of the solutions to a dynamic evolution problem for a viscoelastic model with long memory, when the rate of change of the data tends to zero. We prove that a suitably rescaled version of the solutions converges to the solution of the corresponding stationary problem.

SN - 1424-9294 UR - https://doi.org/10.1007/s00032-021-00343-w JO - Milan Journal of Mathematics ER - TY - CONF T1 - Reduced Order Methods for Parametrized Non-linear and Time Dependent Optimal Flow Control Problems, Towards Applications in Biomedical and Environmental Sciences T2 - Numerical Mathematics and Advanced Applications ENUMATH 2019 Y1 - 2021 A1 - Maria Strazzullo A1 - Zakia Zainib A1 - F. Ballarin A1 - Gianluigi Rozza JF - Numerical Mathematics and Advanced Applications ENUMATH 2019 PB - Springer VL - 139 SN - 978-3-030-55873-4 UR - https://arxiv.org/abs/1912.07886 ER - TY - CONF T1 - Reduced Order Methods for Parametrized Non-linear and Time Dependent Optimal Flow Control Problems, Towards Applications in Biomedical and Environmental Sciences T2 - Numerical Mathematics and Advanced Applications ENUMATH 2019 Y1 - 2021 A1 - Maria Strazzullo A1 - Zakia Zainib A1 - F. Ballarin A1 - Gianluigi Rozza ED - Fred J Vermolen ED - Cornelis Vuik AB -

We introduce reduced order methods as an efficient strategy to solve parametrized non-linear and time dependent optimal flow control problems governed by partial differential equations. Indeed, the optimal control problems require a huge computational effort in order to be solved, most of all in physical and/or geometrical parametrized settings. Reduced order methods are a reliable and suitable approach, increasingly gaining popularity, to achieve rapid and accurate optimal solutions in several fields, such as in biomedical and environmental sciences. In this work, we employ a POD-Galerkin reduction approach over a parametrized optimality system, derived from the Karush-Kuhn-Tucker conditions. The methodology presented is tested on two boundary control problems, governed respectively by (1) time dependent Stokes equations and (2) steady non-linear Navier-Stokes equations.

JF - Numerical Mathematics and Advanced Applications ENUMATH 2019 PB - Springer International Publishing CY - Cham SN - 978-3-030-55874-1 UR - https://www.springerprofessional.de/en/reduced-order-methods-for-parametrized-non-linear-and-time-depen/19122676 ER - TY - JOUR T1 - Reduced order models for the incompressible Navier-Stokes equations on collocated grids using a `discretize-then-project' approach JF - International Journal for Numerical Methods in Fluids Y1 - 2021 A1 - Kelbij Star A1 - Benjamin Sanderse A1 - Giovanni Stabile A1 - Gianluigi Rozza A1 - Joris Degroote PB - Wiley VL - 93 UR - https://doi.org/10.1002/fld.4994 ER - TY - JOUR T1 - A sufficient criterion to determine planar self-Cheeger sets JF - J. Convex Anal. Y1 - 2021 A1 - Saracco, G. VL - 28 UR - https://www.heldermann.de/JCA/JCA28/JCA283/jca28055.htm IS - 3 ER - TY - JOUR T1 - A weighted POD-reduction approach for parametrized PDE-constrained optimal control problems with random inputs and applications to environmental sciences JF - Computers and Mathematics with Applications Y1 - 2021 A1 - G. Carere A1 - Maria Strazzullo A1 - Francesco Ballarin A1 - Gianluigi Rozza A1 - R. Stevenson VL - 102 UR - https://www.scopus.com/inward/record.uri?eid=2-s2.0-85117948561&doi=10.1016%2fj.camwa.2021.10.020&partnerID=40&md5=cb57d59a6975a35315b2cf5d0e3a6001 ER - TY - JOUR T1 - Well-Ordered and Non-Well-Ordered Lower and Upper Solutions for Periodic Planar Systems JF - Advanced Nonlinear Studies Y1 - 2021 A1 - Alessandro Fonda A1 - Giuliano Klun A1 - Andrea Sfecci VL - 21 UR - https://doi.org/10.1515/ans-2021-2117 IS - 2 ER - TY - CONF T1 - Advances in reduced order methods for parametric industrial problems in computational fluid dynamics T2 - Proceedings of the 6th European Conference on Computational Mechanics: Solids, Structures and Coupled Problems, ECCM 2018 and 7th European Conference on Computational Fluid Dynamics, ECFD 2018 Y1 - 2020 A1 - Gianluigi Rozza A1 - M.H. Malik A1 - Nicola Demo A1 - Marco Tezzele A1 - Michele Girfoglio A1 - Giovanni Stabile A1 - Andrea Mola AB -

Reduced order modeling has gained considerable attention in recent decades owing to the advantages offered in reduced computational times and multiple solutions for parametric problems. The focus of this manuscript is the application of model order reduction techniques in various engineering and scientific applications including but not limited to mechanical, naval and aeronautical engineering. The focus here is kept limited to computational fluid mechanics and related applications. The advances in the reduced order modeling with proper orthogonal decomposition and reduced basis method are presented as well as a brief discussion of dynamic mode decomposition and also some present advances in the parameter space reduction. Here, an overview of the challenges faced and possible solutions are presented with examples from various problems.

JF - Proceedings of the 6th European Conference on Computational Mechanics: Solids, Structures and Coupled Problems, ECCM 2018 and 7th European Conference on Computational Fluid Dynamics, ECFD 2018 UR - https://www.scopus.com/inward/record.uri?eid=2-s2.0-85075395686&partnerID=40&md5=fb0b1a3cfdfd35a104db9921bc9be675 ER - TY - CHAP T1 - Basic ideas and tools for projection-based model reduction of parametric partial differential equations T2 - Model Order Reduction, Volume 2 Snapshot-Based Methods and Algorithms Y1 - 2020 A1 - Gianluigi Rozza A1 - Martin W. Hess A1 - Giovanni Stabile A1 - Marco Tezzele A1 - F. Ballarin JF - Model Order Reduction, Volume 2 Snapshot-Based Methods and Algorithms PB - De Gruyter CY - Berlin, Boston SN - 9783110671490 UR - https://www.degruyter.com/view/book/9783110671490/10.1515/9783110671490-001.xml ER - TY - JOUR T1 - Bayesian identification of a projection-based reduced order model for computational fluid dynamics JF - Computers & Fluids Y1 - 2020 A1 - Giovanni Stabile A1 - Bojana Rosic AB - In this paper we propose a Bayesian method as a numerical way to correct and stabilise projection-based reduced order models (ROM) in computational fluid dynamics problems. The approach is of hybrid type, and consists of the classical proper orthogonal decomposition driven Galerkin projection of the laminar part of the governing equations, and Bayesian identification of the correction term mimicking both the turbulence model and possible ROM-related instabilities given the full order data. In this manner the classical ROM approach is translated to the parameter identification problem on a set of nonlinear ordinary differential equations. Computationally the inverse problem is solved with the help of the Gauss-Markov-Kalman smoother in both ensemble and square-root polynomial chaos expansion forms. To reduce the dimension of the posterior space, a novel global variance based sensitivity analysis is proposed. VL - 201 ER - TY - JOUR T1 - Convergence of an adaptive discontinuous Galerkin method for elliptic interface problems JF - J. Comput. Appl. Math. Y1 - 2020 A1 - Andrea Cangiani A1 - E.H. Georgoulis A1 - Sabawi, Younis A. VL - 367 UR - https://doi.org/10.1016/j.cam.2019.112397 ER - TY - JOUR T1 - Data-driven POD-Galerkin reduced order model for turbulent flows JF - Journal of Computational Physics Y1 - 2020 A1 - Saddam Hijazi A1 - Giovanni Stabile A1 - Andrea Mola A1 - Gianluigi Rozza AB -

In this work we present a Reduced Order Model which is specifically designed to deal with turbulent flows in a finite volume setting. The method used to build the reduced order model is based on the idea of merging/combining projection-based techniques with data-driven reduction strategies. In particular, the work presents a mixed strategy that exploits a data-driven reduction method to approximate the eddy viscosity solution manifold and a classical POD-Galerkin projection approach for the velocity and the pressure fields, respectively. The newly proposed reduced order model has been validated on benchmark test cases in both steady and unsteady settings with Reynolds up to $Re=O(10^5)$.

VL - 416 UR - https://arxiv.org/abs/1907.09909 ER - TY - JOUR T1 - A dynamic model for viscoelastic materials with prescribed growing cracks Y1 - 2020 A1 - Maicol Caponi A1 - Francesco Sapio AB -

In this paper, we prove the existence of solutions for a class of viscoelastic dynamic systems on time-dependent cracked domains, with possibly degenerate viscosity coefficients. Under stronger regularity assumptions, we also show a uniqueness result. Finally, we exhibit an example where the energy-dissipation balance is not satisfied, showing there is an additional dissipation due to the crack growth.

VL - 199 SN - 1618-1891 UR - https://doi.org/10.1007/s10231-019-00921-1 IS - 4 JO - Annali di Matematica Pura ed Applicata (1923 -) ER - TY - JOUR T1 - Efficient Geometrical parametrization for finite-volume based reduced order methods JF - International Journal for Numerical Methods in Engineering Y1 - 2020 A1 - Giovanni Stabile A1 - Matteo Zancanaro A1 - Gianluigi Rozza AB -

In this work, we present an approach for the efficient treatment of parametrized geometries in the context of POD-Galerkin reduced order methods based on Finite Volume full order approximations. On the contrary to what is normally done in the framework of finite element reduced order methods, different geometries are not mapped to a common reference domain: the method relies on basis functions defined on an average deformed configuration and makes use of the Discrete Empirical Interpolation Method (D-EIM) to handle together non-affinity of the parametrization and non-linearities. In the first numerical example, different mesh motion strategies, based on a Laplacian smoothing technique and on a Radial Basis Function approach, are analyzed and compared on a heat transfer problem. Particular attention is devoted to the role of the non-orthogonal correction. In the second numerical example the methodology is tested on a geometrically parametrized incompressible Navier–Stokes problem. In this case, the reduced order model is constructed following the same segregated approach used at the full order level

VL - 121 UR - https://arxiv.org/abs/1901.06373 ER - TY - CONF T1 - The Effort of Increasing Reynolds Number in Projection-Based Reduced Order Methods: from Laminar to Turbulent Flows T2 - Lecture Notes in Computational Science and Engineering Y1 - 2020 A1 - Saddam Hijazi A1 - Shafqat Ali A1 - Giovanni Stabile A1 - F. Ballarin A1 - Gianluigi Rozza AB -

We present in this double contribution two different reduced order strategies for incompressible parameterized Navier-Stokes equations characterized by varying Reynolds numbers. The first strategy deals with low Reynolds number (laminar flow) and is based on a stabilized finite element method during the offline stage followed by a Galerkin projection on reduced basis spaces generated by a greedy algorithm. The second methodology is based on a full order finite volume discretization. The latter methodology will be used for flows with moderate to high Reynolds number characterized by turbulent patterns. For the treatment of the mentioned turbulent flows at the reduced order level, a new POD-Galerkin approach is proposed. The new approach takes into consideration the contribution of the eddy viscosity also during the online stage and is based on the use of interpolation. The two methodologies are tested on classic benchmark test cases.

JF - Lecture Notes in Computational Science and Engineering PB - Springer International Publishing CY - Cham SN - 978-3-030-30705-9 ER - TY - JOUR T1 - Enhancing CFD predictions in shape design problems by model and parameter space reduction JF - Advanced Modeling and Simulation in Engineering Sciences Y1 - 2020 A1 - Marco Tezzele A1 - Nicola Demo A1 - Giovanni Stabile A1 - Andrea Mola A1 - Gianluigi Rozza AB -

In this work we present an advanced computational pipeline for the approximation and prediction of the lift coefficient of a parametrized airfoil profile. The non-intrusive reduced order method is based on dynamic mode decomposition (DMD) and it is coupled with dynamic active subspaces (DyAS) to enhance the future state prediction of the target function and reduce the parameter space dimensionality. The pipeline is based on high-fidelity simulations carried out by the application of finite volume method for turbulent flows, and automatic mesh morphing through radial basis functions interpolation technique. The proposed pipeline is able to save 1/3 of the overall computational resources thanks to the application of DMD. Moreover exploiting DyAS and performing the regression on a lower dimensional space results in the reduction of the relative error in the approximation of the time-varying lift coefficient by a factor 2 with respect to using only the DMD.

VL - 7 UR - https://arxiv.org/abs/2001.05237 IS - 40 ER - TY - JOUR T1 - Existence of Riemannian metrics with positive biorthogonal curvature on simply connected 5-manifolds JF - Archiv der Mathematik Y1 - 2020 A1 - Boris Stupovski A1 - Rafael Torres AB -

Using the recent work of Bettiol, we show that a first-order conformal deformation of Wilking’s metric of almost-positive sectional curvature on $S2\times S3$ yields a family of metrics with strictly positive average of sectional curvatures of any pair of 2-planes that are separated by a minimal distance in the 2-Grassmanian. A result of Smale allows us to conclude that every closed simply connected 5-manifold with torsion-free homology and trivial second Stiefel–Whitney class admits a Riemannian metric with a strictly positive average of sectional curvatures of any pair of orthogonal 2-planes.

PB - Springer UR - https://dx.doi.org/10.1007/s00013-020-01511-x ER - TY - JOUR T1 - Finite element approximation of an obstacle problem for a class of integro–differential operators JF - ESAIM: Mathematical Modelling and Numerical Analysis Y1 - 2020 A1 - Bonito, Andrea A1 - Wenyu Lei A1 - Salgado, Abner J PB - EDP Sciences VL - 54 ER - TY - JOUR T1 - Gauge theories on compact toric manifolds Y1 - 2020 A1 - Giulio Bonelli A1 - Francesco Fucito A1 - Morales, Jose Francisco A1 - Massimiliano Ronzani A1 - Sysoeva, Ekaterina A1 - Alessandro Tanzini ER - TY - JOUR T1 - A hybrid reduced order method for modelling turbulent heat transfer problems JF - Computers & Fluids Y1 - 2020 A1 - Sokratia Georgaka A1 - Giovanni Stabile A1 - Kelbij Star A1 - Gianluigi Rozza A1 - Michael J. Bluck AB -

A parametric, hybrid reduced order model approach based on the Proper Orthogonal Decomposition with both Galerkin projection and interpolation based on Radial Basis Functions method is presented. This method is tested against a case of turbulent non-isothermal mixing in a T-junction pipe, a common ow arrangement found in nuclear reactor cooling systems. The reduced order model is derived from the 3D unsteady, incompressible Navier-Stokes equations weakly coupled with the energy equation. For high Reynolds numbers, the eddy viscosity and eddy diffusivity are incorporated into the reduced order model with a Proper Orthogonal Decomposition (nested and standard) with Interpolation (PODI), where the interpolation is performed using Radial Basis Functions. The reduced order solver, obtained using a k-ω SST URANS full order model, is tested against the full order solver in a 3D T-junction pipe with parametric velocity inlet boundary conditions.

VL - 208 UR - https://arxiv.org/abs/1906.08725 ER - TY - JOUR T1 - \it A posteriori error analysis for implicit-explicit $hp$-discontinuous Galerkin timestepping methods for semilinear parabolic problems JF - J. Sci. Comput. Y1 - 2020 A1 - Andrea Cangiani A1 - E.H. Georgoulis A1 - Sabawi, Mohammad VL - 82 UR - https://doi.org/10.1007/s10915-020-01130-2 ER - TY - JOUR T1 - Matematica ed elezioni, paradossi e problemi elettorali JF - Mat. Cult. Soc. Riv. Unione Mat. Ital. (I) Y1 - 2020 A1 - Saracco, A. A1 - Saracco, G. VL - 5 ER - TY - JOUR T1 - MicroMotility: State of the art, recent accomplishments and perspectives on the mathematical modeling of bio-motility at microscopic scales JF - Mathematics in Engineering Y1 - 2020 A1 - Daniele Agostinelli A1 - Roberto Cerbino A1 - Del Alamo, Juan C A1 - Antonio DeSimone A1 - Stephanie Höhn A1 - Cristian Micheletti A1 - Giovanni Noselli A1 - Eran Sharon A1 - Julia Yeomans KW - active matter KW - adhesive locomotion KW - cell motility KW - cell sheet folding KW - knotted DNA KW - topological defects KW - unicellular swimmers KW - unjamming transition AB -

Mathematical modeling and quantitative study of biological motility (in particular, of motility at microscopic scales) is producing new biophysical insight and is offering opportunities for new discoveries at the level of both fundamental science and technology. These range from the explanation of how complex behavior at the level of a single organism emerges from body architecture, to the understanding of collective phenomena in groups of organisms and tissues, and of how these forms of swarm intelligence can be controlled and harnessed in engineering applications, to the elucidation of processes of fundamental biological relevance at the cellular and sub-cellular level. In this paper, some of the most exciting new developments in the fields of locomotion of unicellular organisms, of soft adhesive locomotion across scales, of the study of pore translocation properties of knotted DNA, of the development of synthetic active solid sheets, of the mechanics of the unjamming transition in dense cell collectives, of the mechanics of cell sheet folding in volvocalean algae, and of the self-propulsion of topological defects in active matter are discussed. For each of these topics, we provide a brief state of the art, an example of recent achievements, and some directions for future research.

VL - 2 UR - http://dx.doi.org/10.3934/mine.2020011 ER - TY - JOUR T1 - Minimizers of the prescribed mean curvature functional in a Jordan domain with no necks JF - ESAIM Control Optim. Calc. Var. Y1 - 2020 A1 - Leonardi, G. P. A1 - Saracco, G. VL - 26 ER - TY - CHAP T1 - Non-intrusive Polynomial Chaos Method Applied to Full-Order and Reduced Problems in Computational Fluid Dynamics: A Comparison and Perspectives T2 - Quantification of Uncertainty: Improving Efficiency and Technology: QUIET selected contributions Y1 - 2020 A1 - Saddam Hijazi A1 - Giovanni Stabile A1 - Andrea Mola A1 - Gianluigi Rozza AB -

In this work, Uncertainty Quantification (UQ) based on non-intrusive Polynomial Chaos Expansion (PCE) is applied to the CFD problem of the flow past an airfoil with parameterized angle of attack and inflow velocity. To limit the computational cost associated with each of the simulations required by the non-intrusive UQ algorithm used, we resort to a Reduced Order Model (ROM) based on Proper Orthogonal Decomposition (POD)-Galerkin approach. A first set of results is presented to characterize the accuracy of the POD-Galerkin ROM developed approach with respect to the Full Order Model (FOM) solver (OpenFOAM). A further analysis is then presented to assess how the UQ results are affected by substituting the FOM predictions with the surrogate ROM ones.

JF - Quantification of Uncertainty: Improving Efficiency and Technology: QUIET selected contributions PB - Springer International Publishing CY - Cham SN - 978-3-030-48721-8 UR - https://doi.org/10.1007/978-3-030-48721-8_10 ER - TY - JOUR T1 - Periodic solutions of nearly integrable Hamiltonian systems bifurcating from infinite-dimensional tori JF - NONLINEAR ANALYSIS Y1 - 2020 A1 - Alessandro Fonda A1 - Giuliano Klun A1 - Andrea Sfecci AB -

We prove the existence of periodic solutions of some infinite-dimensional nearly integrable Hamiltonian systems, bifurcating from infinite-dimensional tori, by the use of a generalization of the Poincaré–Birkhoff Theorem.

UR - https://doi.org/10.1016/j.na.2019.111720 ER - TY - UNPB T1 - POD-Galerkin Model Order Reduction for Parametrized Nonlinear Time Dependent Optimal Flow Control: an Application to Shallow Water Equations Y1 - 2020 A1 - Maria Strazzullo A1 - F. Ballarin A1 - Gianluigi Rozza AB -

In this work we propose reduced order methods as a reliable strategy to efficiently solve parametrized optimal control problems governed by shallow waters equations in a solution tracking setting. The physical parametrized model we deal with is nonlinear and time dependent: this leads to very time consuming simulations which can be unbearable e.g. in a marine environmental monitoring plan application. Our aim is to show how reduced order modelling could help in studying different configurations and phenomena in a fast way. After building the optimality system, we rely on a POD-Galerkin reduction in order to solve the optimal control problem in a low dimensional reduced space. The presented theoretical framework is actually suited to general nonlinear time dependent optimal control problems. The proposed methodology is finally tested with a numerical experiment: the reduced optimal control problem governed by shallow waters equations reproduces the desired velocity and height profiles faster than the standard model, still remaining accurate.

ER - TY - JOUR T1 - POD–Galerkin Model Order Reduction for Parametrized Time Dependent Linear Quadratic Optimal Control Problems in Saddle Point Formulation JF - Journal of Scientific Computing Y1 - 2020 A1 - Maria Strazzullo A1 - F. Ballarin A1 - Gianluigi Rozza AB -

In this work we deal with parametrized time dependent optimal control problems governed by partial differential equations. We aim at extending the standard saddle point framework of steady constraints to time dependent cases. We provide an analysis of the well-posedness of this formulation both for parametrized scalar parabolic constraint and Stokes governing equations and we propose reduced order methods as an effective strategy to solve them. Indeed, on one hand, parametrized time dependent optimal control is a very powerful mathematical model which is able to describe several physical phenomena, on the other, it requires a huge computational effort. Reduced order methods are a suitable approach to have rapid and accurate simulations. We rely on POD–Galerkin reduction over the physical and geometrical parameters of the optimality system in a space-time formulation. Our theoretical results and our methodology are tested on two examples: a boundary time dependent optimal control for a Graetz flow and a distributed optimal control governed by time dependent Stokes equations. With these two test cases the convenience of the reduced order modelling is further extended to the field of time dependent optimal control.

VL - 83 ER - TY - JOUR T1 - POD–Galerkin reduced order methods for combined Navier–Stokes transport equations based on a hybrid FV-FE solver JF - Computers and Mathematics with Applications Y1 - 2020 A1 - S. Busto A1 - Giovanni Stabile A1 - Gianluigi Rozza A1 - M.E. Vázquez-Cendón AB -

The purpose of this work is to introduce a novel POD–Galerkin strategy for the semi-implicit hybrid high order finite volume/finite element solver introduced in Bermúdez et al. (2014) and Busto et al. (2018). The interest is into the incompressible Navier–Stokes equations coupled with an additional transport equation. The full order model employed in this article makes use of staggered meshes. This feature will be conveyed to the reduced order model leading to the definition of reduced basis spaces in both meshes. The reduced order model presented herein accounts for velocity, pressure, and a transport-related variable. The pressure term at both the full order and the reduced order level is reconstructed making use of a projection method. More precisely, a Poisson equation for pressure is considered within the reduced order model. Results are verified against three-dimensional manufactured test cases. Moreover a modified version of the classical cavity test benchmark including the transport of a species is analysed.

VL - 79 UR - https://www.scopus.com/inward/record.uri?eid=2-s2.0-85068068567&doi=10.1016%2fj.camwa.2019.06.026&partnerID=40&md5=a8dcce1b53b8ee872d174bbc4c20caa3 ER - TY - CONF T1 - A Reduced Order Approach for the Embedded Shifted Boundary FEM and a Heat Exchange System on Parametrized Geometries T2 - IUTAM Symposium on Model Order Reduction of Coupled Systems, Stuttgart, Germany, May 22–25, 2018 Y1 - 2020 A1 - Efthymios N Karatzas A1 - Giovanni Stabile A1 - Nabib Atallah A1 - Guglielmo Scovazzi A1 - Gianluigi Rozza ED - Fehr, Jörg ED - Bernard Haasdonk AB -

A model order reduction technique is combined with an embedded boundary finite element method with a POD-Galerkin strategy. The proposed methodology is applied to parametrized heat transfer problems and we rely on a sufficiently refined shape-regular background mesh to account for parametrized geometries. In particular, the employed embedded boundary element method is the Shifted Boundary Method (SBM) recently proposed. This approach is based on the idea of shifting the location of true boundary conditions to a surrogate boundary, with the goal of avoiding cut cells near the boundary of the computational domain. This combination of methodologies has multiple advantages. In the first place, since the Shifted Boundary Method always relies on the same background mesh, there is no need to update the discretized parametric domain. Secondly, we avoid the treatment of cut cell elements, which usually need particular attention. Thirdly, since the whole background mesh is considered in the reduced basis construction, the SBM allows for a smooth transition of the reduced modes across the immersed domain boundary. The performances of the method are verified in two dimensional heat transfer numerical examples.

JF - IUTAM Symposium on Model Order Reduction of Coupled Systems, Stuttgart, Germany, May 22–25, 2018 PB - Springer International Publishing UR - https://arxiv.org/abs/1807.07753 ER - TY - JOUR T1 - A reduced-order shifted boundary method for parametrized incompressible Navier–Stokes equations JF - Computer Methods in Applied Mechanics and Engineering Y1 - 2020 A1 - Efthymios N Karatzas A1 - Giovanni Stabile A1 - Leo Nouveau A1 - Guglielmo Scovazzi A1 - Gianluigi Rozza AB -

We investigate a projection-based reduced order model of the steady incompressible Navier–Stokes equations for moderate Reynolds numbers. In particular, we construct an “embedded” reduced basis space, by applying proper orthogonal decomposition to the Shifted Boundary Method, a high-fidelity embedded method recently developed. We focus on the geometrical parametrization through level-set geometries, using a fixed Cartesian background geometry and the associated mesh. This approach avoids both remeshing and the development of a reference domain formulation, as typically done in fitted mesh finite element formulations. Two-dimensional computational examples for one and three parameter dimensions are presented to validate the convergence and the efficacy of the proposed approach.

VL - 370 UR - https://www.scopus.com/inward/record.uri?eid=2-s2.0-85087886522&doi=10.1016%2fj.cma.2020.113273&partnerID=40&md5=d864e4808190b682ecb1c8b27cda72d8 ER - TY - JOUR T1 - Topology change and selection rules for high-dimensional spin(1,n)0-Lorentzian cobordisms JF - Transactions of the american mathematical society Y1 - 2020 A1 - Gleb Smirnov A1 - Rafael Torres VL - 373 UR - http://hdl.handle.net/20.500.11767/108858 IS - 3 ER - TY - JOUR T1 - The $\varepsilon-\varepsilon^β$ property in the isoperimetric problem with double density, and the regularity of isoperimetric sets JF - Adv. Nonlinear Stud. Y1 - 2020 A1 - Pratelli, A. A1 - Saracco, G. VL - 20 ER - TY - JOUR T1 - A discrete districting plan JF - Netw. Heterog. Media Y1 - 2019 A1 - Saracco, A. A1 - Saracco, G. VL - 14 ER - TY - JOUR T1 - Isoperimetric inequality under Measure-Contraction property Y1 - 2019 A1 - Fabio Cavalletti A1 - Flavia Santarcangelo KW - Isoperimetric inequality KW - Measure-Contraction property KW - Optimal transport KW - Ricci curvature AB -

We prove that if (X,d,m) is an essentially non-branching metric measure space with m(X)=1, having Ricci curvature bounded from below by K and dimension bounded above by N∈(1,∞), understood as a synthetic condition called Measure-Contraction property, then a sharp isoperimetric inequality à la Lévy-Gromov holds true. Measure theoretic rigidity is also obtained.

VL - 277 SN - 0022-1236 UR - https://www.sciencedirect.com/science/article/pii/S0022123619302289 IS - 9 JO - Journal of Functional Analysis ER - TY - JOUR T1 - Parametric POD-Galerkin Model Order Reduction for Unsteady-State Heat Transfer Problems JF - Communications in Computational Physics Y1 - 2019 A1 - Sokratia Georgaka A1 - Giovanni Stabile A1 - Gianluigi Rozza A1 - Michael J. Bluck AB -

A parametric reduced order model based on proper orthogonal decom- position with Galerkin projection has been developed and applied for the modeling of heat transport in T-junction pipes which are widely found in nuclear power plants. Thermal mixing of different temperature coolants in T-junction pipes leads to tem- perature fluctuations and this could potentially cause thermal fatigue in the pipe walls. The novelty of this paper is the development of a parametric ROM considering the three dimensional, incompressible, unsteady Navier-Stokes equations coupled with the heat transport equation in a finite volume approximation. Two different paramet- ric cases are presented in this paper: parametrization of the inlet temperatures and parametrization of the kinematic viscosity. Different training spaces are considered and the results are compared against the full order model.

VL - 27 UR - https://arxiv.org/abs/1808.05175 ER - TY - CONF T1 - POD-Galerkin Reduced Order Model of the Boussinesq Approximation for Buoyancy-Driven Enclosed Flows T2 - International Conference on Mathematics and Computational Methods Applied to Nuclear Science and Engineering, M and C 2019 Y1 - 2019 A1 - Kelbij Star A1 - Giovanni Stabile A1 - Sokratia Georgaka A1 - Francesco Belloni A1 - Gianluigi Rozza A1 - Joris Degroote JF - International Conference on Mathematics and Computational Methods Applied to Nuclear Science and Engineering, M and C 2019 SN - 9780894487699 ER - TY - JOUR T1 - Point-Like Perturbed Fractional Laplacians Through Shrinking Potentials of Finite Range JF - Complex Analysis and Operator Theory Y1 - 2019 A1 - Alessandro Michelangeli A1 - Raffaele Scandone AB -

We construct the rank-one, singular (point-like) perturbations of the d-dimensional fractional Laplacian in the physically meaningful norm-resolvent limit of fractional Schrödinger operators with regular potentials centred around the perturbation point and shrinking to a delta-like shape. We analyse both possible regimes, the resonance-driven and the resonance-independent limit, depending on the power of the fractional Laplacian and the spatial dimension. To this aim, we also qualify the notion of zero-energy resonance for Schrödinger operators formed by a fractional Laplacian and a regular potential.

UR - https://doi.org/10.1007/s11785-019-00927-w ER - TY - JOUR T1 - A reduced basis approach for PDEs on parametrized geometries based on the shifted boundary finite element method and application to a Stokes flow JF - Computer Methods in Applied Mechanics and Engineering Y1 - 2019 A1 - Efthymios N Karatzas A1 - Giovanni Stabile A1 - Leo Nouveau A1 - Guglielmo Scovazzi A1 - Gianluigi Rozza AB -

We propose a model order reduction technique integrating the Shifted Boundary Method (SBM) with a POD-Galerkin strategy. This approach allows to deal with complex parametrized domains in an efficient and straightforward way. The impact of the proposed approach is threefold. First, problems involving parametrizations of complex geometrical shapes and/or large domain deformations can be efficiently solved at full-order by means of the SBM. This unfitted boundary method permits to avoid remeshing and the tedious handling of cut cells by introducing an approximate surrogate boundary. Second, the computational effort is reduced by the development of a Reduced Order Model (ROM) technique based on a POD-Galerkin approach. Third, the SBM provides a smooth mapping from the true to the surrogate domain, and for this reason, the stability and performance of the reduced order basis are enhanced. This feature is the net result of the combination of the proposed ROM approach and the SBM. Similarly, the combination of the SBM with a projection-based ROM gives the great advantage of an easy and fast to implement algorithm considering geometrical parametrization with large deformations. The transformation of each geometry to a reference geometry (morphing) is in fact not required. These combined advantages will allow the solution of PDE problems more efficiently. We illustrate the performance of this approach on a number of two-dimensional Stokes flow problems.

VL - 347 UR - https://www.scopus.com/inward/record.uri?eid=2-s2.0-85060107322&doi=10.1016%2fj.cma.2018.12.040&partnerID=40&md5=1a3234f0cb000c91494d946428f8ebef ER - TY - JOUR T1 - A reduced order variational multiscale approach for turbulent flows JF - Advances in Computational Mathematics Y1 - 2019 A1 - Giovanni Stabile A1 - F. Ballarin A1 - G. Zuccarino A1 - Gianluigi Rozza AB -

The purpose of this work is to present different reduced order model strategies starting from full order simulations stabilized using a residual-based variational multiscale (VMS) approach. The focus is on flows with moderately high Reynolds numbers. The reduced order models (ROMs) presented in this manuscript are based on a POD-Galerkin approach. Two different reduced order models are presented, which differ on the stabilization used during the Galerkin projection. In the first case, the VMS stabilization method is used at both the full order and the reduced order levels. In the second case, the VMS stabilization is used only at the full order level, while the projection of the standard Navier-Stokes equations is performed instead at the reduced order level. The former method is denoted as consistent ROM, while the latter is named non-consistent ROM, in order to underline the different choices made at the two levels. Particular attention is also devoted to the role of inf-sup stabilization by means of supremizers in ROMs based on a VMS formulation. Finally, the developed methods are tested on a numerical benchmark.

VL - 45 UR - https://www.scopus.com/inward/record.uri?eid=2-s2.0-85068076665&doi=10.1007%2fs10444-019-09712-x&partnerID=40&md5=af0142e6d13bbc2e88c6f31750aef6ad 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 - JOUR T1 - Strong Novikov conjecture for low degree cohomology and exotic group C*-algebras JF - arXiv e-prints Y1 - 2019 A1 - Paolo Antonini A1 - Buss, Alcides A1 - Engel, Alexander A1 - Siebenand , Timo KW - Mathematics - K-Theory and Homology KW - Mathematics - Operator Algebras AB -

We strengthen a result of Hanke–Schick about the strong Novikov conjecture for low degree cohomology by showing that their non-vanishing result for the maximal group $C^*$-algebra even holds for the reduced group $C^*$-algebra. To achieve this we provide a Fell absorption principle for certain exotic crossed product functors.

ER - TY - RPRT T1 - Zero modes and low-energy resolvent expansion for three dimensional Schrodinger operators with point interactions Y1 - 2019 A1 - Raffaele Scandone UR - https://arxiv.org/abs/1901.02449 ER - TY - JOUR T1 - Adaptive discontinuous Galerkin methods for elliptic interface problems JF - Math. Comp. Y1 - 2018 A1 - Andrea Cangiani A1 - E.H. Georgoulis A1 - Sabawi, Younis A. VL - 87 UR - https://doi.org/10.1090/mcom/3322 ER - TY - JOUR T1 - The Baum–Connes conjecture localised at the unit element of a discrete group JF - ArXiv e-prints Y1 - 2018 A1 - Paolo Antonini A1 - Azzali, S. A1 - Skandalis, G. KW - 19K35 KW - 46L80 KW - 46L85 KW - 58J22 KW - Mathematics - K-Theory and Homology KW - Mathematics - Operator Algebras ER - TY - RPRT T1 - Characteristic boundary layers for mixed hyperbolic systems in one space dimension and applications to the Navier-Stokes and MHD equations Y1 - 2018 A1 - Stefano Bianchini A1 - Laura Spinolo AB - We provide a detailed analysis of the boundary layers for mixed hyperbolic-parabolic systems in one space dimension and small amplitude regimes. As an application of our results, we describe the solution of the so-called boundary Riemann problem recovered as the zero viscosity limit of the physical viscous approximation. In particular, we tackle the so called doubly characteristic case, which is considerably more demanding from the technical viewpoint and occurs when the boundary is characteristic for both the mixed hyperbolic-parabolic system and for the hyperbolic system obtained by neglecting the second order terms. Our analysis applies in particular to the compressible Navier-Stokes and MHD equations in Eulerian coordinates, with both positive and null conductivity. In these cases, the doubly characteristic case occurs when the velocity is close to 0. The analysis extends to non-conservative systems. PB - SISSA UR - http://preprints.sissa.it/handle/1963/35325 U1 - 35635 U2 - Mathematics U4 - 1 ER - TY - JOUR T1 - deal2lkit: A toolkit library for high performance programming in deal.II JF - SOFTWAREX Y1 - 2018 A1 - Alberto Sartori A1 - Nicola Giuliani A1 - Mauro Bardelloni A1 - Luca Heltai VL - 7 ER - TY - RPRT T1 - Differential of metric valued Sobolev maps Y1 - 2018 A1 - Nicola Gigli A1 - Enrico Pasqualetto A1 - Elefterios Soultanis ER - TY - JOUR T1 - Dimension reduction in heterogeneous parametric spaces with application to naval engineering shape design problems JF - Advanced Modeling and Simulation in Engineering Sciences Y1 - 2018 A1 - Marco Tezzele A1 - Filippo Salmoiraghi A1 - Andrea Mola A1 - Gianluigi Rozza AB -

We present the results of the first application in the naval architecture field of a methodology based on active subspaces properties for parameters space reduction. The physical problem considered is the one of the simulation of the hydrodynamic flow past the hull of a ship advancing in calm water. Such problem is extremely relevant at the preliminary stages of the ship design, when several flow simulations are typically carried out by the engineers to assess the dependence of the hull total resistance on the geometrical parameters of the hull, and others related with flows and hull properties. Given the high number of geometric and physical parameters which might affect the total ship drag, the main idea of this work is to employ the active subspaces properties to identify possible lower dimensional structures in the parameter space. Thus, a fully automated procedure has been implemented to produce several small shape perturbations of an original hull CAD geometry, in order to exploit the resulting shapes to run high fidelity flow simulations with different structural and physical parameters as well, and then collect data for the active subspaces analysis. The free form deformation procedure used to morph the hull shapes, the high fidelity solver based on potential flow theory with fully nonlinear free surface treatment, and the active subspaces analysis tool employed in this work have all been developed and integrated within SISSA mathLab as open source tools. The contribution will also discuss several details of the implementation of such tools, as well as the results of their application to the selected target engineering problem.

VL - 5 ER - TY - JOUR T1 - Finite volume POD-Galerkin stabilised reduced order methods for the parametrised incompressible Navier–Stokes equations JF - Computers and Fluids Y1 - 2018 A1 - Giovanni Stabile A1 - Gianluigi Rozza AB -

In this work a stabilised and reduced Galerkin projection of the incompressible unsteady Navier–Stokes equations for moderate Reynolds number is presented. The full-order model, on which the Galerkin projection is applied, is based on a finite volumes approximation. The reduced basis spaces are constructed with a POD approach. Two different pressure stabilisation strategies are proposed and compared: the former one is based on the supremizer enrichment of the velocity space, and the latter one is based on a pressure Poisson equation approach.

VL - 173 UR - https://www.scopus.com/inward/record.uri?eid=2-s2.0-85043366603&doi=10.1016%2fj.compfluid.2018.01.035&partnerID=40&md5=c15435ea3b632e55450da19ba2bb6125 ER - TY - JOUR T1 - Fractional powers and singular perturbations of quantum differential Hamiltonians JF - Journal of Mathematical Physics Y1 - 2018 A1 - Alessandro Michelangeli A1 - Andrea Ottolini A1 - Raffaele Scandone AB -

We consider the fractional powers of singular (point-like) perturbations of the Laplacian and the singular perturbations of fractional powers of the Laplacian, and we compare two such constructions focusing on their perturbative structure for resolvents and on the local singularity structure of their domains. In application to the linear and non-linear Schrödinger equations for the corresponding operators, we outline a programme of relevant questions that deserve being investigated.

VL - 59 UR - https://doi.org/10.1063/1.5033856 ER - TY - JOUR T1 - On fractional powers of singular perturbations of the Laplacian JF - Journal of Functional Analysis Y1 - 2018 A1 - Vladimir Georgiev A1 - Alessandro Michelangeli A1 - Raffaele Scandone KW - Point interactions KW - Regular and singular component of a point-interaction operator KW - Singular perturbations of the Laplacian AB -

We qualify a relevant range of fractional powers of the so-called Hamiltonian of point interaction in three dimensions, namely the singular perturbation of the negative Laplacian with a contact interaction supported at the origin. In particular we provide an explicit control of the domain of such a fractional operator and of its decomposition into regular and singular parts. We also qualify the norms of the resulting singular fractional Sobolev spaces and their mutual control with the corresponding classical Sobolev norms.

VL - 275 UR - http://www.sciencedirect.com/science/article/pii/S0022123618301046 ER - TY - JOUR T1 - Framed symplectic sheaves on surfaces JF - International Journal of Mathematics Y1 - 2018 A1 - Jacopo Vittorio Scalise AB -

A framed symplectic sheaf on a smooth projective surface $X$ is a torsion-free sheaf $E$ together with a trivialization on a divisor $D \subset X$ and a morphism $\Lambda^2 E \rightarrow \mathcal{O}_X$ satisfying some additional conditions. We construct a moduli space for framed symplectic sheaves on a surface, and present a detailed study for $X =\mathbb{P}_\mathbb{C}^2$. In this case, the moduli space is irreducible and admits an ADHM-type description and a birational proper map onto the space of framed symplectic ideal instantons.

VL - 29 UR - https://doi.org/10.1142/S0129167X18500076 ER - TY - JOUR T1 - Free-form deformation, mesh morphing and reduced-order methods: enablers for efficient aerodynamic shape optimisation JF - International Journal of Computational Fluid Dynamics Y1 - 2018 A1 - Filippo Salmoiraghi A1 - Scardigli, Angela A1 - Telib, Haysam A1 - Gianluigi Rozza AB -

In this work, we provide an integrated pipeline for the model-order reduction of turbulent flows around parametrised geometries in aerodynamics. In particular, free-form deformation is applied for geometry parametrisation, whereas two different reduced-order models based on proper orthogonal decomposition (POD) are employed in order to speed-up the full-order simulations: the first method exploits POD with interpolation, while the second one is based on domain decomposition. For the sampling of the parameter space, we adopt a Greedy strategy coupled with Constrained Centroidal Voronoi Tessellations, in order to guarantee a good compromise between space exploration and exploitation. The proposed framework is tested on an industrially relevant application, i.e. the front-bumper morphing of the DrivAer car model, using the finite-volume method for the full-order resolution of the Reynolds-Averaged Navier–Stokes equations.

PB - Taylor & Francis VL - 32 ER - TY - JOUR T1 - Global, finite energy, weak solutions for the NLS with rough, time-dependent magnetic potentials JF - Zeitschrift für angewandte Mathematik und Physik Y1 - 2018 A1 - Paolo Antonelli A1 - Alessandro Michelangeli A1 - Raffaele Scandone AB -

We prove the existence of weak solutions in the space of energy for a class of nonlinear Schrödinger equations in the presence of a external, rough, time-dependent magnetic potential. Under our assumptions, it is not possible to study the problem by means of usual arguments like resolvent techniques or Fourier integral operators, for example. We use a parabolic regularisation, and we solve the approximating Cauchy problem. This is achieved by obtaining suitable smoothing estimates for the dissipative evolution. The total mass and energy bounds allow to extend the solution globally in time. We then infer sufficient compactness properties in order to produce a global-in-time finite energy weak solution to our original problem.

VL - 69 UR - https://doi.org/10.1007/s00033-018-0938-5 ER - TY - JOUR T1 - On the isoperimetric problem with double density JF - Nonlinear Anal. Y1 - 2018 A1 - Pratelli, A. A1 - Saracco, G. VL - 177 ER - TY - JOUR T1 - Iterative map-making with two-level preconditioning for polarized cosmic microwave background data sets. A worked example for ground-based experiments JF - ASTRONOMY & ASTROPHYSICS Y1 - 2018 A1 - Puglisi, Giuseppe A1 - Poletti, Davide A1 - Fabbian, Giulio A1 - Baccigalupi, Carlo A1 - Luca Heltai A1 - Stompor, Radek VL - 618 UR - https://arxiv.org/abs/1801.08937 ER - TY - JOUR T1 - Lp-Boundedness of Wave Operators for the Three-Dimensional Multi-Centre Point Interaction JF - Annales Henri Poincaré Y1 - 2018 A1 - Gianfausto Dell'Antonio A1 - Alessandro Michelangeli A1 - Raffaele Scandone A1 - Kenji Yajima AB -

We prove that, for arbitrary centres and strengths, the wave operators for three-dimensional Schrödinger operators with multi-centre local point interactions are bounded in Lp(R3)for 1<p<3 and unbounded otherwise.

VL - 19 UR - https://doi.org/10.1007/s00023-017-0628-4 ER - TY - JOUR T1 - Model Reduction for Parametrized Optimal Control Problems in Environmental Marine Sciences and Engineering JF - SIAM Journal on Scientific Computing Y1 - 2018 A1 - Maria Strazzullo A1 - F. Ballarin A1 - Mosetti, R. A1 - Gianluigi Rozza VL - 40 UR - https://doi.org/10.1137/17M1150591 ER - TY - JOUR T1 - A novel reduced order model for vortex induced vibrations of long flexible cylinders Y1 - 2018 A1 - Giovanni Stabile A1 - Hermann G. Matthies A1 - Claudio Borri PB - Elsevier {BV} VL - 156 UR - https://doi.org/10.1016/j.oceaneng.2018.02.064 ER - TY - JOUR T1 - The prescribed mean curvature equation in weakly regular domains JF - NoDEA Nonlinear Differ. Equ. Appl. Y1 - 2018 A1 - Leonardi, G. P. A1 - Saracco, G. VL - 25 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 - Revealing new dynamical patterns in a reaction&\#x2013;diffusion model with cyclic competition via a novel computational framework JF - Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences Y1 - 2018 A1 - Andrea Cangiani A1 - E.H. Georgoulis A1 - Morozov, A. Yu. A1 - Sutton, O. J. AB - Understanding how patterns and travelling waves form in chemical and biological reaction–diffusion models is an area which has been widely researched, yet is still experiencing fast development. Surprisingly enough, we still do not have a clear understanding about all possible types of dynamical regimes in classical reaction–diffusion models, such as Lotka–Volterra competition models with spatial dependence. In this study, we demonstrate some new types of wave propagation and pattern formation in a classical three species cyclic competition model with spatial diffusion, which have been so far missed in the literature. These new patterns are characterized by a high regularity in space, but are different from patterns previously known to exist in reaction–diffusion models, and may have important applications in improving our understanding of biological pattern formation and invasion theory. Finding these new patterns is made technically possible by using an automatic adaptive finite element method driven by a novel a posteriori error estimate which is proved to provide a reliable bound for the error of the numerical method. We demonstrate how this numerical framework allows us to easily explore the dynamical patterns in both two and three spatial dimensions. VL - 474 UR - https://royalsocietypublishing.org/doi/abs/10.1098/rspa.2017.0608 ER - TY - JOUR T1 - Singular Hartree equation in fractional perturbed Sobolev spaces JF - Journal of Nonlinear Mathematical Physics Y1 - 2018 A1 - Alessandro Michelangeli A1 - Alessandro Olgiati A1 - Raffaele Scandone AB -

We establish the local and global theory for the Cauchy problem of the singular Hartree equation in three dimensions, that is, the modification of the non-linear Schrödinger equation with Hartree non-linearity, where the linear part is now given by the Hamiltonian of point interaction. The latter is a singular, self-adjoint perturbation of the free Laplacian, modelling a contact interaction at a fixed point. The resulting non-linear equation is the typical effective equation for the dynamics of condensed Bose gases with fixed point-like impurities. We control the local solution theory in the perturbed Sobolev spaces of fractional order between the mass space and the operator domain. We then control the global solution theory both in the mass and in the energy space.

PB - Taylor & Francis VL - 25 UR - https://doi.org/10.1080/14029251.2018.1503423 ER - TY - RPRT T1 - Stochastic homogenisation of free-discontinuity problems Y1 - 2018 A1 - Filippo Cagnetti A1 - Gianni Dal Maso A1 - Lucia Scardia A1 - Caterina Ida Zeppieri AB - In this paper we study the stochastic homogenisation of free-discontinuity functionals. Assuming stationarity for the random volume and surface integrands, we prove the existence of a homogenised random free-discontinuity functional, which is deterministic in the ergodic case. Moreover, by establishing a connection between the deterministic convergence of the functionals at any fixed realisation and the pointwise Subadditive Ergodic Theorem by Akcoglou and Krengel, we characterise the limit volume and surface integrands in terms of asymptotic cell formulas. UR - http://preprints.sissa.it/handle/1963/35309 U1 - 35617 U2 - Mathematics U4 - 1 U5 - MAT/05 ER - TY - JOUR T1 - Two examples of minimal Cheeger sets in the plane JF - Ann. Mat. Pura Appl. (4) Y1 - 2018 A1 - Leonardi, G. P. A1 - Saracco, G. VL - 197 ER - TY - CHAP T1 - Virtual element methods for elliptic problems on polygonal meshes T2 - Generalized barycentric coordinates in computer graphics and computational mechanics Y1 - 2018 A1 - Andrea Cangiani A1 - Sutton, Oliver J. A1 - Gyrya, Vitaliy A1 - Manzini, Gianmarco JF - Generalized barycentric coordinates in computer graphics and computational mechanics PB - CRC Press, Boca Raton, FL ER - TY - JOUR T1 - Weighted Cheeger sets are domains of isoperimetry JF - Manuscripta Math. Y1 - 2018 A1 - Saracco, G. VL - 156 ER - TY - JOUR T1 - Wilson loop and its correlators in the limit of large coupling constant JF - Nucl. Phys. B Y1 - 2018 A1 - Sysoeva, Ekaterina VL - 936 ER - TY - JOUR T1 - Wilson loops and its correlators with chiral operators in $\mathcalN=2, 4$ SCFT at large $N$ JF - JHEP Y1 - 2018 A1 - Sysoeva, Ekaterina VL - 03 ER - TY - JOUR T1 - The Cheeger constant of a Jordan domain without necks JF - Calc. Var. Partial Differential Equations Y1 - 2017 A1 - Leonardi, G. P. A1 - Neumayer, R. A1 - Saracco, G. VL - 56 ER - TY - JOUR T1 - Conforming and nonconforming virtual element methods for elliptic problems JF - IMA J. Numer. Anal. Y1 - 2017 A1 - Andrea Cangiani A1 - Manzini, Gianmarco A1 - Sutton, Oliver J. VL - 37 UR - https://doi.org/10.1093/imanum/drw036 ER - TY - JOUR T1 - Coupling effects on the dynamic response of moored floating platforms for offshore wind energy plants JF - Procedia engineering Y1 - 2017 A1 - Giusti, Alessandro A1 - Giovanni Stabile A1 - Marino, Enzo A1 - Claudio Borri PB - Elsevier VL - 199 ER - TY - JOUR T1 - Curvature-adapted remeshing of CAD surfaces JF - Engineering with Computers Y1 - 2017 A1 - Franco Dassi A1 - Andrea Mola A1 - Hang Si PB - Springer Nature VL - 34 UR - https://doi.org/10.1007/s00366-017-0558-2 ER - TY - CHAP T1 - Dispersive Estimates for Schrödinger Operators with Point Interactions in ℝ3 T2 - Advances in Quantum Mechanics: Contemporary Trends and Open Problems Y1 - 2017 A1 - Felice Iandoli A1 - Raffaele Scandone ED - Alessandro Michelangeli ED - Gianfausto Dell'Antonio AB -

The study of dispersive properties of Schrödinger operators with point interactions is a fundamental tool for understanding the behavior of many body quantum systems interacting with very short range potential, whose dynamics can be approximated by non linear Schrödinger equations with singular interactions. In this work we proved that, in the case of one point interaction in $\mathbb{R}^3$, the perturbed Laplacian satisfies the same $L^p$−$L^q$ estimates of the free Laplacian in the smaller regime $q \in [2,3)$. These estimates are implied by a recent result concerning the Lpboundedness of the wave operators for the perturbed Laplacian. Our approach, however, is more direct and relatively simple, and could potentially be useful to prove optimal weighted estimates also in the regime $q \geq 3$.

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_11 ER - TY - RPRT T1 - Elliptic diffeomorphisms of symplectic 4-manifolds Y1 - 2017 A1 - Vsevolod Shevchishin A1 - Gleb Smirnov UR - https://arxiv.org/pdf/1708.01518.pdf ER - TY - RPRT T1 - Gamma-Convergence of Free-discontinuity problems Y1 - 2017 A1 - Filippo Cagnetti A1 - Gianni Dal Maso A1 - Lucia Scardia A1 - Caterina Ida Zeppieri AB - We study the Gamma-convergence of sequences of free-discontinuity functionals depending on vector-valued functions u which can be discontinuous across hypersurfaces whose shape and location are not known a priori. The main novelty of our result is that we work under very general assumptions on the integrands which, in particular, are not required to be periodic in the space variable. Further, we consider the case of surface integrands which are not bounded from below by the amplitude of the jump of u. We obtain three main results: compactness with respect to Gamma-convergence, representation of the Gamma-limit in an integral form and identification of its integrands, and homogenisation formulas without periodicity assumptions. In particular, the classical case of periodic homogenisation follows as a by-product of our analysis. Moreover, our result covers also the case of stochastic homogenisation, as we will show in a forthcoming paper. PB - SISSA UR - http://preprints.sissa.it/handle/1963/35276 U1 - 35583 U2 - Mathematics U4 - 1 ER - TY - JOUR T1 - On the generalized Cheeger problem and an application to 2d strips JF - Rev. Mat. Iberoam. Y1 - 2017 A1 - Pratelli, A. A1 - Saracco, G. VL - 33 ER - TY - JOUR T1 - Limit of viscous dynamic processes in delamination as the viscosity and inertia vanish JF - ESAIM: COCV Y1 - 2017 A1 - Riccardo Scala AB -

We introduce a model of dynamic evolution of a delaminated visco-elastic body with viscous adhesive. We prove the existence of solutions of the corresponding system of PDEs and then study the behavior of such solutions when the data of the problem vary slowly. We prove that a rescaled version of the dynamic evolutions converge to a “local” quasistatic evolution, which is an evolution satisfying an energy inequality and a momentum balance at all times. In the one-dimensional case we give a more detailed description of the limit evolution and we show that it behaves in a very similar way to the limit of the solutions of the dynamic model in [T. Roubicek, SIAM J. Math. Anal. 45 (2013) 101–126], where no viscosity in the adhesive is taken into account.

VL - 23 UR - https://doi.org/10.1051/cocv/2016006 ER - TY - JOUR T1 - Numerical modeling of hemodynamics scenarios of patient-specific coronary artery bypass grafts JF - Biomechanics and Modeling in Mechanobiology Y1 - 2017 A1 - F. Ballarin A1 - Elena Faggiano A1 - Andrea Manzoni A1 - Alfio Quarteroni A1 - Gianluigi Rozza A1 - Sonia Ippolito A1 - Roberto Scrofani VL - 16 UR - https://www.scopus.com/inward/record.uri?eid=2-s2.0-85015065851&doi=10.1007%2fs10237-017-0893-7&partnerID=40&md5=c388f20bd5de14187bad9ed7d9affbd0 ER - TY - JOUR T1 - POD-Galerkin reduced order methods for CFD using Finite Volume Discretisation: vortex shedding around a circular cylinder JF - Communications in Applied and Industrial Mathematics Y1 - 2017 A1 - Giovanni Stabile A1 - Saddam Hijazi A1 - Andrea Mola A1 - Stefano Lorenzi A1 - Gianluigi Rozza AB -

Vortex shedding around circular cylinders is a well known and studied phenomenon that appears in many engineering fields. In this work a Reduced Order Model (ROM) of the incompressible flow around a circular cylinder, built performing a Galerkin projection of the governing equations onto a lower dimensional space is presented. The reduced basis space is generated using a Proper Orthogonal Decomposition (POD) approach. In particular the focus is into (i) the correct reproduction of the pressure field, that in case of the vortex shedding phenomenon, is of primary importance for the calculation of the drag and lift coefficients; (ii) for this purpose the projection of the Governing equations (momentum equation and Poisson equation for pressure) is performed onto different reduced basis space for velocity and pressure, respectively; (iii) all the relevant modifications necessary to adapt standard finite element POD-Galerkin methods to a finite volume framework are presented. The accuracy of the reduced order model is assessed against full order results.

VL - 8 ER - TY - JOUR T1 - A posteriori error estimates for the virtual element method JF - Numer. Math. Y1 - 2017 A1 - Andrea Cangiani A1 - E.H. Georgoulis A1 - Pryer, Tristan A1 - Sutton, Oliver J. VL - 137 UR - https://doi.org/10.1007/s00211-017-0891-9 ER - TY - JOUR T1 - Solid tumors are poroelastic solids with a chemo-mechanical feedback on growth JF - J. Elast. Y1 - 2017 A1 - D. Ambrosi A1 - Pezzuto, S. A1 - Davide Riccobelli A1 - Stylianopoulos, T. A1 - Pasquale Ciarletta PB - Springer Netherlands VL - 129 ER - TY - JOUR T1 - Universality of the Peregrine Soliton in the Focusing Dynamics of the Cubic Nonlinear Schrödinger Equation JF - Phys. Rev. Lett. Y1 - 2017 A1 - Tikan, Alexey A1 - Billet, Cyril A1 - Gennady El A1 - Alexander Tovbis A1 - Marco Bertola A1 - Sylvestre, Thibaut A1 - Gustave, Francois A1 - Randoux, Stephane A1 - Genty, Goëry A1 - Suret, Pierre A1 - Dudley, John M. PB - American Physical Society VL - 119 UR - https://link.aps.org/doi/10.1103/PhysRevLett.119.033901 ER - TY - CONF T1 - Advances in geometrical parametrization and reduced order models and methods for computational fluid dynamics problems in applied sciences and engineering: overview and perspectives T2 - Proceedings of the ECCOMAS Congress 2016, VII European Conference on Computational Methods in Applied Sciences and Engineering, Y1 - 2016 A1 - Filippo Salmoiraghi A1 - F. Ballarin A1 - Giovanni Corsi A1 - Andrea Mola A1 - Marco Tezzele A1 - Gianluigi Rozza ED - Papadrakakis, M. ED - Papadopoulos, V. ED - Stefanou, G. ED - Plevris, V. AB -

Several problems in applied sciences and engineering require reduction techniques in order to allow computational tools to be employed in the daily practice, especially in iterative procedures such as optimization or sensitivity analysis. Reduced order methods need to face increasingly complex problems in computational mechanics, especially into a multiphysics setting. Several issues should be faced: stability of the approximation, efficient treatment of nonlinearities, uniqueness or possible bifurcations of the state solutions, proper coupling between fields, as well as offline-online computing, computational savings and certification of errors as measure of accuracy. Moreover, efficient geometrical parametrization techniques should be devised to efficiently face shape optimization problems, as well as shape reconstruction and shape assimilation problems. A related aspect deals with the management of parametrized interfaces in multiphysics problems, such as fluid-structure interaction problems, and also a domain decomposition based approach for complex parametrized networks. We present some illustrative industrial and biomedical problems as examples of recent advances on methodological developments.

JF - Proceedings of the ECCOMAS Congress 2016, VII European Conference on Computational Methods in Applied Sciences and Engineering, PB - ECCOMAS CY - Crete, Greece U1 - 35466 U2 - Mathematics U4 - 1 U5 - MAT/08 ER - TY - JOUR T1 - Confinement of dislocations inside a crystal with a prescribed external strain Y1 - 2016 A1 - Ilaria Lucardesi A1 - Marco Morandotti A1 - Riccardo Scala A1 - Davide Zucco AB - We study screw dislocations in an isotropic crystal undergoing antiplane shear. In the framework of linear elasticity, by fixing a suitable boundary condition for the strain (prescribed non-vanishing boundary integral), we manage to confine the dislocations inside the material. More precisely, in the presence of an external strain with circulation equal to n times the lattice spacing, it is energetically convenient to have n distinct dislocations lying inside the crystal. The novelty of introducing a Dirichlet boundary condition for the tangential strain is crucial to the confinement: it is well known that, if Neumann boundary conditions are imposed, the dislocations tend to migrate to the boundary. The results are achieved using PDE techniques and Ƭ-convergence theory, in the framework of the so-called core radius approach. UR - http://urania.sissa.it/xmlui/handle/1963/35247 N1 - Preprint SISSA 20/2016/MATE U1 - 35558 U2 - Mathematics ER - TY - JOUR T1 - Currents and dislocations at the continuum scale JF - Methods and Applications of Analysis Y1 - 2016 A1 - Riccardo Scala A1 - Nicolas Van Goethem AB -

A striking geometric property of elastic bodies with dislocations is that the deformation tensor cannot be written as the gradient of a one-to-one immersion, its curl being nonzero and equal to the density of the dislocations, a measure concentrated in the dislocation lines. In this work, we discuss the mathematical properties of such constrained deformations and study a variational problem in finite-strain elasticity, where Cartesian maps allow us to consider deformations in $L^p$ with $1\leq p<2$, as required for dislocation-induced strain singularities. Firstly, we address the problem of mathematical modeling of dislocations. It is a key purpose of the paper to build a framework where dislocations are described in terms of integral 1-currents and to extract from this theoretical setting a series of notions having a mechanical meaning in the theory of dislocations. In particular, the paper aims at classifying integral 1-currents, with modeling purposes. In the second part of the paper, two variational problems are solved for two classes of dislocations, at the mesoscopic and at the continuum scale. By continuum it is here meant that a countable family of dislocations is considered, allowing for branching and cluster formation, with possible complex geometric patterns. Therefore, modeling assumptions of the defect part of the energy must also be provided, and discussed.

PB - International Press of Boston VL - 23 ER - TY - RPRT T1 - A fast virtual surgery platform for many scenarios haemodynamics of patient-specific coronary artery bypass grafts Y1 - 2016 A1 - F. Ballarin A1 - Elena Faggiano A1 - Andrea Manzoni A1 - Gianluigi Rozza A1 - Alfio Quarteroni A1 - Sonia Ippolito A1 - Roberto Scrofani A1 - Carlo Antona AB - A fast computational framework is devised to the study of several configurations of patient-specific coronary artery bypass grafts. This is especially useful to perform a sensitivity analysis of the haemodynamics for different flow conditions occurring in native coronary arteries and bypass grafts, the investigation of the progression of the coronary artery disease and the choice of the most appropriate surgical procedure. A complete pipeline, from the acquisition of patientspecific medical images to fast parametrized computational simulations, is proposed. Complex surgical configurations employed in the clinical practice, such as Y-grafts and sequential grafts, are studied. A virtual surgery platform based on model reduction of unsteady Navier Stokes equations for blood dynamics is proposed to carry out sensitivity analyses in a very rapid and reliable way. A specialized geometrical parametrization is employed to compare the effect of stenosis and anastomosis variation on the outcome of the surgery in several relevant cases. PB - Submitted UR - http://urania.sissa.it/xmlui/handle/1963/35240 U1 - 35545 U2 - Mathematics U4 - 1 U5 - MAT/08 ER - TY - THES T1 - Frames symplectic sheaves on surfaces and their ADHM data Y1 - 2016 A1 - Jacopo Vittorio Scalise KW - moduli spaces AB - This dissertation is centered on the moduli space of what we call framed symplectic sheaves on a surface, compactifying the corresponding moduli space of framed principal SP−bundles. It contains the construction of the moduli space, which is carried out for every smooth projective surface X with a big and nef framing divisor, and a study of its deformation theory. We also develop an in-depth analysis of the examples X = P2 and X = Blp (P2 ), showing that the corresponding moduli spaces enjoy an ADHM-type description. In the former case, we prove irreducibility of the space and exhibit a relation with the space of framed ideal instantons on S4 in type C. PB - SISSA U1 - 35517 U2 - Mathematics U4 - 1 U5 - MAT/03 ER - TY - RPRT T1 - Isogeometric analysis-based reduced order modelling for incompressible linear viscous flows in parametrized shapes Y1 - 2016 A1 - Filippo Salmoiraghi A1 - F. Ballarin A1 - Luca Heltai A1 - Gianluigi Rozza AB - In this work we provide a combination of isogeometric analysis with reduced order modelling techniques, based on proper orthogonal decomposition, to guarantee computational reduction for the numerical model, and with free-form deformation, for versatile geometrical parametrization. We apply it to computational fluid dynamics problems considering a Stokes flow model. The proposed reduced order model combines efficient shape deformation and accurate and stable velocity and pressure approximation for incompressible viscous flows, computed with a reduced order method. Efficient offine-online computational decomposition is guaranteed in view of repetitive calculations for parametric design and optimization problems. Numerical test cases show the efficiency and accuracy of the proposed reduced order model. PB - Springer, AMOS Advanced Modelling and Simulation in Engineering Sciences UR - http://urania.sissa.it/xmlui/handle/1963/35199 U1 - 35493 U2 - Mathematics U4 - 1 U5 - MAT/08 ER - TY - JOUR T1 - A multi-physics reduced order model for the analysis of Lead Fast Reactor single channel JF - Annals of Nuclear Energy, 87, 2 (2016): pp. 198-208 Y1 - 2016 A1 - Alberto Sartori A1 - Antonio Cammi A1 - Lelio Luzzi A1 - Gianluigi Rozza AB - In this work, a Reduced Basis method, with basis functions sampled by a Proper Orthogonal Decomposition technique, has been employed to develop a reduced order model of a multi-physics parametrized Lead-cooled Fast Reactor single-channel. Being the first time that a reduced order model is developed in this context, the work focused on a methodological approach and the coupling between the neutronics and the heat transfer, where the thermal feedbacks on neutronics are explicitly taken into account, in time-invariant settings. In order to address the potential of such approach, two different kinds of varying parameters have been considered, namely one related to a geometric quantity (i.e., the inner radius of the fuel pellet) and one related to a physical quantity (i.e., the inlet lead velocity). The capabilities of the presented reduced order model (ROM) have been tested and compared with a high-fidelity finite element model (upon which the ROM has been constructed) on different aspects. In particular, the comparison focused on the system reactivity prediction (with and without thermal feedbacks on neutronics), the neutron flux and temperature field reconstruction, and on the computational time. The outcomes provided by the reduced order model are in good agreement with the high-fidelity finite element ones, and a computational speed-up of at least three orders of magnitude is achieved as well. PB - Elsevier VL - 87 UR - http://urania.sissa.it/xmlui/handle/1963/35191 U1 - 35471 U2 - Mathematics U4 - 1 U5 - MAT/08 ER - TY - CHAP T1 - Pimsner Algebras and Circle Bundles T2 - Noncommutative Analysis, Operator Theory and Applications Y1 - 2016 A1 - Francesca Arici A1 - Francesco D'Andrea A1 - Giovanni Landi ED - Alpay, Daniel ED - Cipriani, Fabio ED - Colombo, Fabrizio ED - Guido, Daniele ED - Sabadini, Irene ED - Sauvageot, Jean-Luc AB -

We report on the connections between noncommutative principal circle bundles, Pimsner algebras and strongly graded algebras. We illustrate several results with examples of quantum weighted projective and lens spaces and θ-deformations.

JF - Noncommutative Analysis, Operator Theory and Applications PB - Springer International Publishing CY - Cham SN - 978-3-319-29116-1 UR - https://doi.org/10.1007/978-3-319-29116-1_1 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 - Spectral analysis and the Aharonov-Bohm effect on certain almost-Riemannian manifolds JF - Communications in Partial Differential Equations Y1 - 2016 A1 - Ugo Boscain A1 - Dario Prandi A1 - M. Seri AB -

We study spectral properties of the Laplace-Beltrami operator on two relevant almost-Riemannian manifolds, namely the Grushin structures on the cylinder and on the sphere. This operator contains first order diverging terms caused by the divergence of the volume. We get explicit descriptions of the spectrum and the eigenfunctions. In particular in both cases we get a Weyl's law with leading term Elog E. We then study the drastic effect of Aharonov-Bohm magnetic potentials on the spectral properties. Other generalized Riemannian structures including conic and anti-conic type manifolds are also studied. In this case, the Aharonov-Bohm magnetic potential may affect the self-adjointness of the Laplace-Beltrami operator.

PB - Taylor & Francis VL - 41 UR - https://doi.org/10.1080/03605302.2015.1095766 ER - TY - JOUR T1 - Benchmarking the Immersed Finite Element Method for Fluid-Structure Interaction Problems JF - Computers and Mathematics with Applications 69 (2015) 1167–1188 Y1 - 2015 A1 - Roy Saswati A1 - Luca Heltai A1 - Francesco Costanzo AB - We present an implementation of a fully variational formulation of an immersed methods for fluid-structure interaction problems based on the finite element method. While typical implementation of immersed methods are characterized by the use of approximate Dirac delta distributions, fully variational formulations of the method do not require the use of said distributions. In our implementation the immersed solid is general in the sense that it is not required to have the same mass density and the same viscous response as the surrounding fluid. We assume that the immersed solid can be either viscoelastic of differential type or hyperelastic. Here we focus on the validation of the method via various benchmarks for fluid-structure interaction numerical schemes. This is the first time that the interaction of purely elastic compressible solids and an incompressible fluid is approached via an immersed method allowing a direct comparison with established benchmarks. U1 - 34633 U2 - Mathematics U4 - 1 U5 - MAT/08 ER - TY - BOOK T1 - Certified Reduced Basis Methods for Parametrized Partial Differential Equations T2 - Springer Briefs in Mathematics Y1 - 2015 A1 - Jan S Hesthaven A1 - Gianluigi Rozza A1 - Benjamin Stamm KW - a posteriori error bounds KW - empirical interpolation KW - parametrized partial differential equations KW - reduced basis methods, greedy algorithms AB -

This book provides a thorough introduction to the mathematical and algorithmic aspects of certified reduced basis methods for parametrized partial differential equations. Central aspects ranging from model construction, error estimation and computational efficiency to empirical interpolation methods are discussed in detail for coercive problems. More advanced aspects associated with time-dependent problems, non-compliant and non-coercive problems and applications with geometric variation are also discussed as examples.

JF - Springer Briefs in Mathematics PB - Springer CY - Switzerland SN - 978-3-319-22469-5 ER - TY - JOUR T1 - A compatible-incompatible decomposition of symmetric tensors in Lp with application to elasticity JF - Mathematical Methods in the Applied Sciences Y1 - 2015 A1 - Maggiani, Giovanni Battista A1 - Riccardo Scala A1 - Nicolas Van Goethem KW - 35J58 KW - 35Q74 KW - compatibility conditions KW - elasticity KW - Korn inequality KW - strain decomposition KW - subclass74B05 AB -

In this paper, we prove the Saint-Venant compatibility conditions in $L^p$ for $p\in(1,∞)$, in a simply connected domain of any space dimension. As a consequence, alternative, simple, and direct proofs of some classical Korn inequalities in Lp are provided. We also use the Helmholtz decomposition in $L^p$ to show that every symmetric tensor in a smooth domain can be decomposed in a compatible part, which is the symmetric part of a displacement gradient, and in an incompatible part, which is the incompatibility of a certain divergence-free tensor. Moreover, under a suitable Dirichlet boundary condition, this Beltrami-type decomposition is proved to be unique. This decomposition result has several applications, one of which being in dislocation models, where the incompatibility part is related to the dislocation density and where $1 < p < 2$. This justifies the need to generalize and prove these rather classical results in the Hilbertian case ($p = 2$), to the full range $p\in(1,∞)$. Copyright © 2015 John Wiley & Sons, Ltd.

VL - 38 UR - https://onlinelibrary.wiley.com/doi/abs/10.1002/mma.3450 ER - TY - JOUR T1 - Deal2lkit: a Toolkit Library for High Performance Programming in deal.II Y1 - 2015 A1 - Alberto Sartori A1 - Nicola Giuliani A1 - Mauro Bardelloni A1 - Luca Heltai AB - We present version 1.0.0 of the deal2lkit (deal.II ToolKit) library. deal2lkit is a collection of modules and classes for the general purpose finite element library deal.II. Its principal aim is to provide a high level interface, controlled via parameter files, for those steps that are common in all finite element programs: mesh generation, selection of the finite element type, application of boundary conditions and many others. Each module can be used as a building block independently on the others, and can be integrated in existing finite element codes based on deal.II, drastically reducing the size of programs, rendering their use automatically parametrised, and reducing the overall time-to-market of finite element programming. Moreover, deal2lkit features interfaces with the SUNDIALS (SUite of Nonlinear and DIfferential/ALgebraic equation Solvers) and ASSIMP (Open Asset Import Library) libraries. Some examples are provided which show the aim and scopes of deal2lkit. The deal2lkit library is released under the GNU Lesser General Public License (LGPL) and can be retrieved from the deal2lkit repository https://github.com/mathLab/deal2lkit. PB - SISSA UR - http://urania.sissa.it/xmlui/handle/1963/35006 U1 - 35235 U2 - Mathematics U4 - 1 U5 - MAT/08 ER - TY - CONF T1 - Experience on vectorizing lattice Boltzmann kernels for multi-and many-core architectures T2 - International Conference on Parallel Processing and Applied Mathematics Y1 - 2015 A1 - Calore, Enrico A1 - Nicola Demo A1 - Schifano, Sebastiano Fabio A1 - Tripiccione, Raffaele JF - International Conference on Parallel Processing and Applied Mathematics PB - Springer ER - TY - RPRT T1 - Extended affine Weyl groups of BCD type, Frobenius manifolds and their Landau-Ginzburg superpotentials Y1 - 2015 A1 - Boris Dubrovin A1 - Ian A.B. Strachan A1 - Youjin Zhang A1 - Dafeng Zuo AB - For the root systems of type Bl, Cl and Dl, we generalize the result of [7] by showing the existence of Frobenius manifold structures on the orbit spaces of the extended affine Weyl groups that correspond to any vertex of the Dynkin diagram instead of a particular choice made in [7]. It also depends on certain additional data. We also construct LG superpotentials for these Frobenius manifold structures. PB - SISSA UR - http://preprints.sissa.it/handle/1963/35316 U1 - 35625 U2 - Mathematics U4 - 1 U5 - MAT/07 ER - TY - RPRT T1 - Fast simulations of patient-specific haemodynamics of coronary artery bypass grafts based on a POD-Galerkin method and a vascular shape parametrization Y1 - 2015 A1 - F. Ballarin A1 - Elena Faggiano A1 - Sonia Ippolito A1 - Andrea Manzoni A1 - Alfio Quarteroni A1 - Gianluigi Rozza A1 - Roberto Scrofani AB - In this work a reduced-order computational framework for the study of haemodynamics in three-dimensional patient-specific configurations of coronary artery bypass grafts dealing with a wide range of scenarios is proposed. We combine several efficient algorithms to face at the same time both the geometrical complexity involved in the description of the vascular network and the huge computational cost entailed by time dependent patient-specific flow simulations. Medical imaging procedures allow to reconstruct patient-specific configurations from clinical data. A centerlines-based parametrization is proposed to efficiently handle geometrical variations. POD–Galerkin reduced-order models are employed to cut down large computational costs. This computational framework allows to characterize blood flows for different physical and geometrical variations relevant in the clinical practice, such as stenosis factors and anastomosis variations, in a rapid and reliable way. Several numerical results are discussed, highlighting the computational performance of the proposed framework, as well as its capability to perform sensitivity analysis studies, so far out of reach. UR - http://urania.sissa.it/xmlui/handle/1963/34623 U1 - 34824 U2 - Mathematics U4 - 1 U5 - MAT/08 ER - TY - JOUR T1 - Hourglass stabilization and the virtual element method JF - International Journal for Numerical Methods in Engineering Y1 - 2015 A1 - Andrea Cangiani A1 - Manzini, G. A1 - Russo, A. A1 - Sukumar, N. KW - consistency matrix KW - hourglass control KW - polygonal and polyhedral finite elements KW - stabilization matrix KW - underintegration KW - virtual element method AB - SummaryIn this paper, we establish the connections between the virtual element method (VEM) and the hourglass control techniques that have been developed since the early 1980s to stabilize underintegrated C0 Lagrange finite element methods. In the VEM, the bilinear form is decomposed into two parts: a consistent term that reproduces a given polynomial space and a correction term that provides stability. The essential ingredients of -continuous VEMs on polygonal and polyhedral meshes are described, which reveals that the variational approach adopted in the VEM affords a generalized and robust means to stabilize underintegrated finite elements. We focus on the heat conduction (Poisson) equation and present a virtual element approach for the isoparametric four-node quadrilateral and eight-node hexahedral elements. In addition, we show quantitative comparisons of the consistency and stabilization matrices in the VEM with those in the hourglass control method of Belytschko and coworkers. Numerical examples in two and three dimensions are presented for different stabilization parameters, which reveals that the method satisfies the patch test and delivers optimal rates of convergence in the L2 norm and the H1 seminorm for Poisson problems on quadrilateral, hexahedral, and arbitrary polygonal meshes. Copyright © 2015 John Wiley & Sons, Ltd. VL - 102 UR - https://onlinelibrary.wiley.com/doi/abs/10.1002/nme.4854 ER - TY - JOUR T1 - Hourglass stabilization and the virtual element method JF - Internat. J. Numer. Methods Engrg. Y1 - 2015 A1 - Andrea Cangiani A1 - Manzini, G. A1 - Russo, A. A1 - Sukumar, N. VL - 102 UR - https://doi.org/10.1002/nme.4854 ER - TY - JOUR T1 - Model order reduction of parameterized systems (MoRePaS): Preface to the special issue of advances in computational mathematics JF - Advances in Computational Mathematics Y1 - 2015 A1 - Peter Benner A1 - Mario Ohlberger A1 - Anthony Patera A1 - Gianluigi Rozza A1 - Sorensen, D.C. A1 - Karsten Urban VL - 41 ER - TY - RPRT T1 - Poisson cohomology of scalar multidimensional Dubrovin-Novikov brackets Y1 - 2015 A1 - Guido Carlet A1 - Matteo Casati A1 - Sergey Shadrin AB - We compute the Poisson cohomology of a scalar Poisson bracket of Dubrovin-Novikov type with D independent variables. We find that the second and third cohomology groups are generically non-vanishing in D>1. Hence, in contrast with the D=1 case, the deformation theory in the multivariable case is non-trivial. U1 - 35389 U2 - Mathematics U4 - 1 U5 - MAT/03 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 - CONF T1 - A Reduced Order Model for the Simulation of Mooring Cable Dynamics T2 - Computational Methods in Marine Engineering VI – MARINE2015 Y1 - 2015 A1 - Giovanni Stabile A1 - Hermann G. Matthies A1 - Claudio Borri JF - Computational Methods in Marine Engineering VI – MARINE2015 PB - Salvatore, Francesco; Broglia, Riccardo; Muscari, Roberto 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 - JOUR T1 - Buckling dynamics of a solvent-stimulated stretched elastomeric sheet Y1 - 2014 A1 - Alessandro Lucantonio A1 - Matthieu Roché A1 - Paola Nardinocchi A1 - Howard A. Stone AB - When stretched uniaxially, a thin elastic sheet may exhibit buckling. The occurrence of buckling depends on the geometrical properties of the sheet and the magnitude of the applied strain. Here we show that an elastomeric sheet initially stable under uniaxial stretching can destabilize when exposed to a solvent that swells the elastomer. We demonstrate experimentally and computationally that the features of the buckling pattern depend on the magnitude of stretching, and this observation offers a new way for controlling the shape of a swollen homogeneous thin sheet. PB - Royal Society of Chemistry UR - http://urania.sissa.it/xmlui/handle/1963/34967 U1 - 35197 U2 - Physics U4 - 1 ER - TY - JOUR T1 - Cauchy-Laguerre two-matrix model and the Meijer-G random point field JF - Comm. Math. Phys. Y1 - 2014 A1 - Marco Bertola A1 - Gekhtman, M. A1 - Szmigielski, J. VL - 326 UR - http://dx.doi.org/10.1007/s00220-013-1833-8 ER - TY - JOUR T1 - Comparison of a Modal Method and a Proper Orthogonal Decomposition approach for multi-group time-dependent reactor spatial kinetics JF - Annals of Nuclear Energy Y1 - 2014 A1 - Alberto Sartori A1 - Davide Baroli A1 - Antonio Cammi A1 - Davide Chiesa A1 - Lelio Luzzi A1 - Roberto R. Ponciroli A1 - Ezio Previtali A1 - Marco E. Ricotti A1 - Gianluigi Rozza A1 - Monica Sisti AB -

In this paper, two modelling approaches based on a Modal Method (MM) and on the Proper Orthogonal Decomposition (POD) technique, for developing a control-oriented model of nuclear reactor spatial kinetics, are presented and compared. Both these methods allow developing neutronics description by means of a set of ordinary differential equations. The comparison of the outcomes provided by the two approaches focuses on the capability of evaluating the reactivity and the neutron flux shape in different reactor configurations, with reference to a TRIGA Mark II reactor. The results given by the POD-based approach are higher-fidelity with respect to the reference solution than those computed according to the MM-based approach, in particular when the perturbation concerns a reduced region of the core. If the perturbation is homogeneous throughout the core, the two approaches allow obtaining comparable accuracy results on the quantities of interest. As far as the computational burden is concerned, the POD approach ensures a better efficiency rather than direct Modal Method, thanks to the ability of performing a longer computation in the preprocessing that leads to a faster evaluation during the on-line phase.

PB - Elsevier VL - 71 UR - http://urania.sissa.it/xmlui/handle/1963/35039 U1 - 35270 U2 - Physics U4 - 1 ER - TY - JOUR T1 - On conjugate times of LQ optimal control problems Y1 - 2014 A1 - Andrei A. Agrachev A1 - Luca Rizzi A1 - Pavel Silveira KW - Optimal control, Lagrange Grassmannian, Conjugate point AB - Motivated by the study of linear quadratic optimal control problems, we consider a dynamical system with a constant, quadratic Hamiltonian, and we characterize the number of conjugate times in terms of the spectrum of the Hamiltonian vector field $\vec{H}$. We prove the following dichotomy: the number of conjugate times is identically zero or grows to infinity. The latter case occurs if and only if $\vec{H}$ has at least one Jordan block of odd dimension corresponding to a purely imaginary eigenvalue. As a byproduct, we obtain bounds from below on the number of conjugate times contained in an interval in terms of the spectrum of $\vec{H}$. PB - Springer UR - http://hdl.handle.net/1963/7227 N1 - 14 pages, 1 figure U1 - 7261 U2 - Mathematics U4 - 1 U5 - MAT/05 ANALISI MATEMATICA ER - TY - CONF T1 - Coupled dynamic simulations of offshore wind turbines: influence of wave modelling on the fatigue load assesment T2 - XIII Conference of the Italian Association for Wind Engineering (In-Vento 2014) Y1 - 2014 A1 - Marino, Enzo A1 - Lugni, Claudio A1 - Giovanni Stabile A1 - Claudio Borri A1 - Manuel, Lance JF - XIII Conference of the Italian Association for Wind Engineering (In-Vento 2014) ER - TY - CONF T1 - Coupled dynamic simulations of offshore wind turbines using linear, weakly and fully nonlinear wave models: the limitations of the second-order wave theory T2 - 9th International Conference on Structural Dynamics (EURODYN 2014) Y1 - 2014 A1 - Marino, Enzo A1 - Lugni, Claudio A1 - Giovanni Stabile A1 - Claudio Borri JF - 9th International Conference on Structural Dynamics (EURODYN 2014) ER - TY - JOUR T1 - Curvature-adapted remeshing of CAD surfaces JF - Procedia Engineering Y1 - 2014 A1 - Franco Dassi A1 - Andrea Mola A1 - Hang Si AB -

A common representation of surfaces with complicated topology and geometry is through composite parametric surfaces as is the case for most CAD modelers. A challenging problem is how to generate a mesh of such a surface that well approximates the geometry of the surface, preserves its topology and important geometric features, and contains nicely shaped elements. In this work, we present an optimization-based surface remeshing method that is able to satisfy many of these requirements simultaneously. This method is inspired by the recent work of Lévy and Bonneel (Proc. 21th International Meshing Roundtable, October 2012), which embeds a smooth surface into a high-dimensional space and remesh it uniformly in that embedding space. Our method works directly in the 3d spaces and uses an embedding space in R6 to evaluate mesh size and mesh quality. It generates a curvatureadapted anisotropic surface mesh that well represents the geometry of the surface with a low number of elements. We illustrate our approach through various examples.

PB - Elsevier VL - 82 UR - https://doi.org/10.1016/j.proeng.2014.10.388 N1 - This is an open access article under the CC BY-NC-ND license U1 - 35220 U2 - Mathematics U4 - 1 ER - TY - JOUR T1 - Dirac operators on noncommutative principal circle bundles Y1 - 2014 A1 - Andrzej Sitarz A1 - Alessandro Zucca A1 - Ludwik Dabrowski AB - We study spectral triples over noncommutative principal U(1)-bundles of arbitrary dimension and a compatibility condition between the connection and the Dirac operator on the total space and on the base space of the bundle. Examples of low-dimensional noncommutative tori are analyzed in more detail and all connections found that are compatible with an admissible Dirac operator. Conversely, a family of new Dirac operators on the noncommutative tori, which arise from the base-space Dirac operator and a suitable connection is exhibited. These examples are extended to the theta-deformed principal U(1)-bundle S 3 θ → S2. PB - World Scientific Publishing UR - http://urania.sissa.it/xmlui/handle/1963/35125 U1 - 35363 U2 - Mathematics U4 - 1 ER - TY - RPRT T1 - Dislocations at the continuum scale: functional setting and variational properties Y1 - 2014 A1 - Riccardo Scala A1 - Nicolas Van Goethem UR - http://cvgmt.sns.it/paper/2294/ ER - TY - JOUR T1 - Existence of immersed spheres minimizing curvature functionals in compact 3-manifolds JF - Mathematische Annalen Y1 - 2014 A1 - Kuwert, Ernst A1 - Andrea Mondino A1 - Johannes Schygulla AB -

We study curvature functionals for immersed 2-spheres in a compact, three-dimensional Riemannian manifold $M$. Under the assumption that the sectional curvature $K^M$ is strictly positive, we prove the existence of a smooth immersion $f:{\mathbb{S}}^2 \rightarrow M$ minimizing the $L^2$ integral of the second fundamental form. Assuming instead that $K^M \leq 2 $ and that there is some point $\bar{x}\in M$ with scalar curvature $R^M(\bar{x})>6$, we obtain a smooth minimizer $f:{\mathbb{S}}^2 \rightarrow M$ for the functional $\int \frac{1}{4}|H|^2+1$, where $H$ is the mean curvature.

VL - 359 UR - https://doi.org/10.1007/s00208-013-1005-3 ER - TY - JOUR T1 - Existence of immersed spheres minimizing curvature functionals in non-compact 3-manifolds JF - Annales de l'Institut Henri Poincare (C) Non Linear Analysis Y1 - 2014 A1 - Andrea Mondino A1 - Johannes Schygulla KW - Direct methods in the calculus of variations KW - General Relativity KW - Geometric measure theory KW - second fundamental form KW - Willmore functional AB -

We study curvature functionals for immersed 2-spheres in non-compact, three-dimensional Riemannian manifold $(M,h)$ without boundary. First, under the assumption that $(M,h)$ is the euclidean 3-space endowed with a semi-perturbed metric with perturbation small in $C^1$ norm and of compact support, we prove that if there is some point $\bar{x}\in M$ with scalar curvature $R^M(\bar{x})>0$ then there exists a smooth embedding $ f:\mathbb{S}^2 \hookrightarrow M$ minimizing the Willmore functional $\frac{1}{4}\int |H|^2$, where $H$ is the mean curvature. Second, assuming that $(M,h)$ is of bounded geometry (i.e. bounded sectional curvature and strictly positive injectivity radius) and asymptotically euclidean or hyperbolic we prove that if there is some point $\bar{x}\in M$ with scalar curvature $R^M(\bar{x})>6$ then there exists a smooth immersion $f:\mathbb{S}^2\hookrightarrow M$ minimizing the functional $\int (\frac{1}{2}|A|^2+1)$, where $A$ is the second fundamental form. Finally, adding the bound $K^M \leq 2$ to the last assumptions, we obtain a smooth minimizer $f:\mathbb{S}^2 \hookrightarrow M$ for the functional $\int \frac{1}{4}(|H|^2+1)$. The assumptions of the last two theorems are satisfied in a large class of 3-manifolds arising as spacelike timeslices solutions of the Einstein vacuum equation in case of null or negative cosmological constant.

VL - 31 UR - http://www.sciencedirect.com/science/article/pii/S0294144913000851 ER - TY - RPRT T1 - Homogenization of functional with linear growth in the context of A-quasiconvexity Y1 - 2014 A1 - Jose Matias A1 - Marco Morandotti A1 - Pedro M. Santos AB - This work deals with the homogenization of functionals with linear growth in the context of A-quasiconvexity. A representation theorem is proved, where the new integrand function is obtained by solving a cell problem where the coupling between homogenization and the A-free condition plays a crucial role. This result extends some previous work to the linear case, thus allowing for concentration effects. PB - SISSA UR - http://urania.sissa.it/xmlui/handle/1963/7436 U1 - 7528 ER - TY - CHAP T1 - Lecture notes on gradient flows and optimal transport Y1 - 2014 A1 - Sara Daneri A1 - Giuseppe Savarè AB - We present a short overview on the strongest variational formulation for gradient flows of geodesically λ-convex functionals in metric spaces, with applications to diffusion equations in Wasserstein spaces of probability measures. These notes are based on a series of lectures given by the second author for the Summer School "Optimal transportation: Theory and applications" in Grenoble during the week of June 22-26, 2009. PB - Cambridge University Press UR - http://urania.sissa.it/xmlui/handle/1963/35093 N1 - Book title: Optimal transportation U1 - 35348 U2 - Mathematics U4 - 1 ER - TY - JOUR T1 - N = 2 Quiver Gauge Theories on A-type ALE Spaces Y1 - 2014 A1 - Ugo Bruzzo A1 - Francesco Sala A1 - Richard J. Szabo AB - We survey and compare recent approaches to the computation of the partition functions and correlators of chiral BPS observables in N = 2 gauge theories on ALE spaces based on quiver varieties and the minimal resolution Xk of the Ak-1 toric singularity C2/Zk, in light of their recently conjectured duality with two-dimensional coset conformal field theories. We review and elucidate the rigorous constructions of gauge theories for a particular family of ALE spaces, using their relation to the cohomology of moduli spaces of framed torsion-free sheaves on a suitable orbifold compactification of Xk. We extend these computations to generic N = 2 superconformal quiver gauge theories, obtaining in these instances new constraints on fractional instanton charges, a rigorous proof of the Nekrasov master formula, and new quantizations of Hitchin systems based on the underlying Seiberg–Witten geometry. PB - Springer UR - http://urania.sissa.it/xmlui/handle/1963/34719 U1 - 34918 U2 - Mathematics U4 - 1 ER - TY - JOUR T1 - Quasistatic Evolution in Perfect Plasticity as Limit of Dynamic Processes JF - Journal of Dynamics and Differential Equations Y1 - 2014 A1 - Gianni Dal Maso A1 - Riccardo Scala AB -

We introduce a model of dynamic visco-elasto-plastic evolution in the linearly elastic regime and prove an existence and uniqueness result. Then we study the limit of (a rescaled version of) the solutions when the data vary slowly. We prove that they converge, up to a subsequence, to a quasistatic evolution in perfect plasticity.

VL - 26 UR - https://doi.org/10.1007/s10884-014-9409-7 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 - 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 - JOUR T1 - Shape Optimization by Free-Form Deformation: Existence Results and Numerical Solution for Stokes Flows Y1 - 2014 A1 - F. Ballarin A1 - Andrea Manzoni A1 - Gianluigi Rozza A1 - Sandro Salsa AB - Shape optimization problems governed by PDEs result from many applications in computational fluid dynamics. These problems usually entail very large computational costs and require also a suitable approach for representing and deforming efficiently the shape of the underlying geometry, as well as for computing the shape gradient of the cost functional to be minimized. Several approaches based on the displacement of a set of control points have been developed in the last decades, such as the so-called free-form deformations. In this paper we present a new theoretical result which allows to recast free-form deformations into the general class of perturbation of identity maps, and to guarantee the compactness of the set of admissible shapes. Moreover, we address both a general optimization framework based on the continuous shape gradient and a numerical procedure for solving efficiently three-dimensional optimal design problems. This framework is applied to the optimal design of immersed bodies in Stokes flows, for which we consider the numerical solution of a benchmark case study from literature. PB - Springer UR - http://urania.sissa.it/xmlui/handle/1963/34698 U1 - 34914 U2 - Mathematics U4 - 1 ER - TY - JOUR T1 - Six-dimensional supersymmetric gauge theories, quantum cohomology of instanton moduli spaces and gl(N) Quantum Intermediate Long Wave Hydrodynamics Y1 - 2014 A1 - Giulio Bonelli A1 - Antonio Sciarappa A1 - Alessandro Tanzini A1 - Petr Vasko AB - We show that the exact partition function of U(N) six-dimensional gauge theory with eight supercharges on C^2 x S^2 provides the quantization of the integrable system of hydrodynamic type known as gl(N) periodic Intermediate Long Wave (ILW). We characterize this system as the hydrodynamic limit of elliptic Calogero-Moser integrable system. We compute the Bethe equations from the effective gauged linear sigma model on S^2 with target space the ADHM instanton moduli space, whose mirror computes the Yang-Yang function of gl(N) ILW. The quantum Hamiltonians are given by the local chiral ring observables of the six-dimensional gauge theory. As particular cases, these provide the gl(N) Benjamin-Ono and Korteweg-de Vries quantum Hamiltonians. In the four dimensional limit, we identify the local chiral ring observables with the conserved charges of Heisenberg plus W_N algebrae, thus providing a gauge theoretical proof of AGT correspondence. PB - Springer UR - http://urania.sissa.it/xmlui/handle/1963/34546 U1 - 34771 U2 - Physics U4 - 2 ER - TY - JOUR T1 - The stringy instanton partition function Y1 - 2014 A1 - Giulio Bonelli A1 - Antonio Sciarappa A1 - Alessandro Tanzini A1 - Petr Vasko AB - We perform an exact computation of the gauged linear sigma model associated to a D1-D5 brane system on a resolved A_1 singularity. This is accomplished via supersymmetric localization on the blown-up two-sphere. We show that in the blow-down limit C^2/Z_2 the partition function reduces to the Nekrasov partition function evaluating the equivariant volume of the instanton moduli space. For finite radius we obtain a tower of world-sheet instanton corrections, that we identify with the equivariant Gromov-Witten invariants of the ADHM moduli space. We show that these corrections can be encoded in a deformation of the Seiberg-Witten prepotential. From the mathematical viewpoint, the D1-D5 system under study displays a twofold nature: the D1-branes viewpoint captures the equivariant quantum cohomology of the ADHM instanton moduli space in the Givental formalism, and the D5-branes viewpoint is related to higher rank equivariant Donaldson-Thomas invariants of P^1 x C^2. PB - Springer UR - http://urania.sissa.it/xmlui/handle/1963/34589 U1 - 34796 U2 - Physics U4 - 2 ER - TY - JOUR T1 - Swelling dynamics of a thin elastomeric sheet under uniaxial pre-stretch Y1 - 2014 A1 - Alessandro Lucantonio A1 - Paola Nardinocchi A1 - Howard A. Stone AB - It has been demonstrated experimentally that pre-stretch affects the swelling of an elastomeric membrane when it is exposed to a solvent. We study theoretically the one-dimensional swelling of a pre-stretched thin elastomeric sheet, bonded to an impermeable rigid substrate, to quantify the influence of pre-stretch. We show that the solvent uptake increases when pre-stretch increases, both at equilibrium and during the swelling transient, where it exhibits two different scaling regimes. The coupling between the solvent uptake and pre-stretch may be practically exploited to design soft actuators where the swelling-induced deformations can be controlled by varying the pre-stretch. PB - American Institute of Physics UR - http://urania.sissa.it/xmlui/handle/1963/35113 U1 - 35370 U2 - Physics U4 - 1 ER - TY - THES T1 - A variational approach to statics and dynamics of elasto-plastic systems Y1 - 2014 A1 - Riccardo Scala KW - delamination AB - We prove some existence results for dynamic evolutions in elasto-plasticity and delamination. We study the limit as the data vary very slowly and prove convergence results to quasistatic evolutions. We model dislocations by mean of currents, we introduce the space of deformations in the presence of dislocations and study the graphs of these maps. We prove existence results for minimum problems. We study the properties of minimizers. PB - SISSA UR - http://urania.sissa.it/xmlui/handle/1963/7471 U1 - 7583 U2 - Mathematics U4 - 1 U5 - MAT/05 ER - TY - JOUR T1 - Vortex Partition Functions, Wall Crossing and Equivariant Gromov–Witten Invariants Y1 - 2014 A1 - Giulio Bonelli A1 - Antonio Sciarappa A1 - Alessandro Tanzini A1 - Petr Vasko AB - In this paper we identify the problem of equivariant vortex counting in a (2,2) supersymmetric two dimensional quiver gauged linear sigma model with that of computing the equivariant Gromov–Witten invariants of the GIT quotient target space determined by the quiver. We provide new contour integral formulae for the I and J-functions encoding the equivariant quantum cohomology of the target space. Its chamber structure is shown to be encoded in the analytical properties of the integrand. This is explained both via general arguments and by checking several key cases. We show how several results in equivariant Gromov–Witten theory follow just by deforming the integration contour. In particular, we apply our formalism to compute Gromov–Witten invariants of the C3/Zn orbifold, of the Uhlembeck (partial) compactification of the moduli space of instantons on C2, and of An and Dn singularities both in the orbifold and resolved phases. Moreover, we analyse dualities of quantum cohomology rings of holomorphic vector bundles over Grassmannians, which are relevant to BPS Wilson loop algebrae. PB - Springer UR - http://urania.sissa.it/xmlui/handle/1963/34652 U1 - 34859 U2 - Physics ER - TY - CHAP T1 - A comparative study about the effects of linear, weakly and fully nonlinear wave models on the dynamic response of offshore wind turbines T2 - Research and Applications in Structural Engineering, Mechanics and Computation Y1 - 2013 A1 - Marino, Enzo A1 - Giovanni Stabile A1 - Claudio Borri A1 - Lugni, Claudio JF - Research and Applications in Structural Engineering, Mechanics and Computation PB - CRC Press ER - TY - JOUR T1 - Curved noncommutative torus and Gauss--Bonnet JF - Journal of Mathematical Physics. Volume 54, Issue 1, 22 January 2013, Article number 013518 Y1 - 2013 A1 - Ludwik Dabrowski A1 - Andrzej Sitarz KW - Geometry AB - We study perturbations of the flat geometry of the noncommutative two-dimensional torus T^2_\theta (with irrational \theta). They are described by spectral triples (A_\theta, \H, D), with the Dirac operator D, which is a differential operator with coefficients in the commutant of the (smooth) algebra A_\theta of T_\theta. We show, up to the second order in perturbation, that the zeta-function at 0 vanishes and so the Gauss-Bonnet theorem holds. We also calculate first two terms of the perturbative expansion of the corresponding local scalar curvature. PB - American Institute of Physics UR - http://hdl.handle.net/1963/7376 N1 - The article is composed of 13 pages and is recorded in PDF format U1 - 7424 U2 - Mathematics U4 - 1 U5 - MAT/07 FISICA MATEMATICA ER - TY - JOUR T1 - Framed sheaves on projective stacks Y1 - 2013 A1 - Ugo Bruzzo A1 - Francesco Sala AB - Given a normal projective irreducible stack $\mathscr X$ over an algebraically closed field of characteristic zero we consider {\em framed sheaves} on $\mathscr X$, i.e., pairs $(\mathcal E,\phi_{\mathcal E})$, where $\mathcal E$ is a coherent sheaf on $\mathscr X$ and $\phi_{\mathcal E}$ is a morphism from $\mathcal E$ to a fixed coherent sheaf $\mathcal F$. After introducing a suitable notion of (semi)stability, we construct a projective scheme, which is a moduli space for semistable framed sheaves with fixed Hilbert polynomial, and an open subset of it, which is a fine moduli space for stable framed sheaves. If $\mathscr X$ is a projective irreducible orbifold of dimension two and $\mathcal F$ a locally free sheaf on a smooth divisor $\mathscr D\subset \mathscr X$ satisfying certain conditions, we consider {\em $(\mathscr{D}, \mathcal{F})$-framed sheaves}, i.e., framed sheaves $(\mathcal E,\phi_{\mathcal E})$ with $\mathcal E$ a torsion-free sheaf which is locally free in a neighborhood of $\mathscr D$, and ${\phi_{\mathcal{E}}}_{\vert \mathscr{D}}$ an isomorphism. These pairs are $\mu$-stable for a suitable choice of a parameter entering the (semi)stability condition, and of the polarization of $\mathscr X$. This implies the existence of a fine moduli space parameterizing isomorphism classes of $(\mathscr{D}, \mathcal{F})$-framed sheaves on $\mathscr{X}$ with fixed Hilbert polynomial, which is a quasi-projective scheme. In an appendix we develop the example of stacky Hirzebruch surfaces. This is the first paper of a project aimed to provide an algebro-geometric approach to the study of gauge theories on a wide class of 4-dimensional Riemannian manifolds by means of framed sheaves on ``stacky" compactifications of them. In particular, in a subsequent paper \cite{art:bruzzopedrinisalaszabo2013} these results are used to study gauge theories on ALE spaces of type $A_k$. UR - http://urania.sissa.it/xmlui/handle/1963/7438 U1 - 7532 ER - TY - JOUR T1 - Lipschitz Classification of Almost-Riemannian Distances on Compact Oriented Surfaces JF - Journal of Geometric Analysis Y1 - 2013 A1 - Ugo Boscain A1 - Grégoire Charlot A1 - Roberta Ghezzi A1 - Mario Sigalotti AB -

Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. We consider the Carnot–Carathéodory distance canonically associated with an almost-Riemannian structure and study the problem of Lipschitz equivalence between two such distances on the same compact oriented surface. We analyze the generic case, allowing in particular for the presence of tangency points, i.e., points where two generators of the distribution and their Lie bracket are linearly dependent. The main result of the paper provides a characterization of the Lipschitz equivalence class of an almost-Riemannian distance in terms of a labeled graph associated with it.

VL - 23 UR - https://doi.org/10.1007/s12220-011-9262-4 ER - TY - JOUR T1 - Noncommutative circle bundles and new Dirac operators JF - Communications in Mathematical Physics. Volume 318, Issue 1, 2013, Pages 111-130 Y1 - 2013 A1 - Ludwik Dabrowski A1 - Andrzej Sitarz KW - Quantum principal bundles AB - We study spectral triples over noncommutative principal U(1) bundles. Basing on the classical situation and the abstract algebraic approach, we propose an operatorial definition for a connection and compatibility between the connection and the Dirac operator on the total space and on the base space of the bundle. We analyze in details the example of the noncommutative three-torus viewed as a U(1) bundle over the noncommutative two-torus and find all connections compatible with an admissible Dirac operator. Conversely, we find a family of new Dirac operators on the noncommutative tori, which arise from the base-space Dirac operator and a suitable connection. PB - Springer UR - http://hdl.handle.net/1963/7384 N1 - This article is composed of 25 pages and is recorded in PDF format U1 - 7432 U2 - Mathematics U4 - 1 U5 - MAT/07 FISICA MATEMATICA ER - TY - JOUR T1 - Periodic bouncing solutions for nonlinear impact oscillators JF - Advanced Nonlinear Studies Y1 - 2013 A1 - Alessandro Fonda A1 - Andrea Sfecci PB - Advanced Nonlinear Studies, Inc. VL - 13 ER - TY - JOUR T1 - Strong asymptotics for Cauchy biorthogonal polynomials with application to the Cauchy two-matrix model JF - J. Math. Phys. Y1 - 2013 A1 - Marco Bertola A1 - Gekhtman, M. A1 - Szmigielski, J. VL - 54 ER - TY - JOUR T1 - Classical double, R-operators, and negative flows of integrable hierarchies JF - Theoretical and Mathematical Physics. Volume 172, Issue 1, July 2012, Pages 911-931 Y1 - 2012 A1 - Boris Dubrovin A1 - Taras V. Skrypnyk AB - Using the classical double G of a Lie algebra g equipped with the classical R-operator, we define two sets of functions commuting with respect to the initial Lie–Poisson bracket on g and its extensions. We consider examples of Lie algebras g with the “Adler–Kostant–Symes” R-operators and the two corresponding sets of mutually commuting functions in detail. Using the constructed commutative Hamiltonian flows on different extensions of g, we obtain zero-curvature equations with g-valued U–V pairs. The so-called negative flows of soliton hierarchies are among such equations. We illustrate the proposed approach with examples of two-dimensional Abelian and non-Abelian Toda field equations. PB - SISSA UR - http://hdl.handle.net/1963/6468 U1 - 6413 U2 - Mathematics U4 - 1 U5 - MAT/07 FISICA MATEMATICA ER - TY - JOUR T1 - Convergence of equilibria of thin elastic plates under physical growth conditions for the energy density Y1 - 2012 A1 - Maria Giovanna Mora A1 - Lucia Scardia AB -

The asymptotic behaviour of the equilibrium configurations of a thin elastic plate is studied, as the thickness $h$ of the plate goes to zero. More precisely, it is shown that critical points of the nonlinear elastic functional $\mathcal E^h$, whose energies (per unit thickness) are bounded by $Ch^4$, converge to critical points of the $\Gamma$-limit of $h^{-4}\mathcal E^h$. This is proved under the physical assumption that the energy density $W(F)$ blows up as $\det F\to0$.

PB - Elsevier UR - http://hdl.handle.net/1963/3466 N1 - 21 pages U1 - 7112 U2 - Mathematics U4 - -1 ER - TY - JOUR T1 - Decompositions of large-scale biological systems based on dynamical properties JF - Bioinformatics (Oxford, England). 2012 Jan; 28(1):76-83 Y1 - 2012 A1 - Nicola Soranzo A1 - Fahimeh Ramezani A1 - Giovanni Iacono A1 - Claudio Altafini AB - MOTIVATION: Given a large-scale biological network represented as an influence graph, in this article we investigate possible decompositions of the network aimed at highlighting specific dynamical properties.\\r\\nRESULTS: The first decomposition we study consists in finding a maximal directed acyclic subgraph of the network, which dynamically corresponds to searching for a maximal open-loop subsystem of the given system. Another dynamical property investigated is strong monotonicity. We propose two methods to deal with this property, both aimed at decomposing the system into strongly monotone subsystems, but with different structural characteristics: one method tends to produce a single large strongly monotone component, while the other typically generates a set of smaller disjoint strongly monotone subsystems.\\r\\nAVAILABILITY: Original heuristics for the methods investigated are described in the article. PB - Oxford University Press UR - http://hdl.handle.net/1963/5226 U1 - 5049 U2 - Physics U3 - Functional Analysis and Applications U4 - -1 ER - TY - JOUR T1 - Detection of transcriptional triggers in the dynamics of microbial growth: application to the respiratory-versatile bacterium Shewanella oneidensis JF - Nucleic Acids Research, Volume 40, Issue 15, August 2012, Pages 7132-7149 Y1 - 2012 A1 - Q Beg A1 - Mattia Zampieri A1 - N Klitgord A1 - S Collins A1 - M Serres A1 - Daniel Segrè A1 - Claudio Altafini AB - The capacity of microorganisms to respond to variable external conditions requires a coordination of environment-sensing mechanisms and decisionmaking regulatory circuits. Here, we seek to understand the interplay between these two processes by combining high-throughput measurement of time-dependent mRNA profiles with a novel computational approach that searches for key genetic triggers of transcriptional changes. Our approach helped us understand the regulatory strategies of a respiratorily versatile bacterium with promising bioenergy and bioremediation applications, Shewanella oneidensis, in minimal and rich media. By comparing expression profiles across these two conditions, we unveiled components of the transcriptional program that depend mainly on the growth phase. Conversely, by integrating our time-dependent data with a previously available large compendium of static perturbation responses, we identified transcriptional changes that cannot be explained solely by internal network dynamics, but are rather triggered by specific genes acting as key mediators of an environment-dependent response. These transcriptional triggers include known and novel regulators that respond to carbon, nitrogen and oxygen limitation. Our analysis suggests a sequence of physiological responses, including a coupling between nitrogen depletion and glycogen storage, partially recapitulated through dynamic flux balance analysis, and experimentally confirmed by metabolite measurements. Our approach is broadly applicable to other systems PB - SISSA UR - http://hdl.handle.net/1963/6506 U1 - 6452 U2 - Mathematics U4 - 1 ER - TY - JOUR T1 - A general method for the existence of periodic solutions of differential systems in the plane JF - Journal of Differential Equations Y1 - 2012 A1 - Alessandro Fonda A1 - Andrea Sfecci KW - Nonlinear dynamics KW - Periodic solutions AB -

We propose a general method to prove the existence of periodic solutions for planar systems of ordinary differential equations, which can be used in many different circumstances. Applications are given to some nonresonant cases, even for systems with superlinear growth in some direction, or with a singularity. Systems “at resonance” are also considered, provided a Landesman–Lazer type of condition is assumed.

VL - 252 UR - http://www.sciencedirect.com/science/article/pii/S0022039611003196 ER - TY - JOUR T1 - A nonresonance condition for radial solutions of a nonlinear Neumann elliptic problem JF - Nonlinear Analysis: Theory, Methods & Applications Y1 - 2012 A1 - Andrea Sfecci KW - Neumann problem KW - Nonresonance KW - Radial solutions KW - Time-map AB -

We prove an existence result for radial solutions of a Neumann elliptic problem whose nonlinearity asymptotically lies between the first two eigenvalues. To this aim, we introduce an alternative nonresonance condition with respect to the second eigenvalue which, in the scalar case, generalizes the classical one, in the spirit of Fonda et al. (1991) [2]. Our approach also applies for nonlinearities which do not necessarily satisfy a subcritical growth assumption.

VL - 75 UR - http://www.sciencedirect.com/science/article/pii/S0362546X12002659 ER - TY - JOUR T1 - Periodic solutions of a system of coupled oscillators with one-sided superlinear retraction forces JF - Differential Integral Equations Y1 - 2012 A1 - Alessandro Fonda A1 - Andrea Sfecci PB - Khayyam Publishing, Inc. VL - 25 UR - https://projecteuclid.org:443/euclid.die/1356012248 ER - TY - JOUR T1 - Quasistatic evolution for Cam-Clay plasticity: properties of the viscosity solution JF - Calculus of variations and partial differential equations 44 (2012) 495-541 Y1 - 2012 A1 - Gianni Dal Maso A1 - Antonio DeSimone A1 - Francesco Solombrino AB -

Cam-Clay plasticity is a well established model for the description of the mechanics of fine grained soils. As solutions can develop discontinuities in time, a weak notion of solution, in terms of a rescaled time s , has been proposed in [8] to give a meaning to this discontinuous evolution. In this paper we first prove that this rescaled evolution satisfies the flow-rule for the rate of plastic strain, in a suitable measure-theoretical sense. In the second part of the paper we consider the behavior of the evolution in terms of the original time variable t . We prove that the unrescaled solution satisfies an energy-dissipation balance and an evolution law for the internal variable, which can be expressed in terms of integrals depending only on the original time. Both these integral identities contain terms concentrated on the jump times, whose size can only be determined by looking at the rescaled formulation.

PB - Springer UR - http://hdl.handle.net/1963/3900 U1 - 809 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Cytoskeletal actin networks in motile cells are critically self-organized systems synchronized by mechanical interactions JF - PNAS 108 (2011) 13978 Y1 - 2011 A1 - Luca Cardamone A1 - Alessandro Laio A1 - Rajesh Shahapure A1 - Antonio DeSimone PB - National Academy of Sciences UR - http://hdl.handle.net/1963/4358 U1 - 4066 U2 - Physics U3 - Functional Analysis and Applications U4 - -1 ER - TY - JOUR T1 - Invariant manifolds for a singular ordinary differential equation JF - Journal of Differential Equations 250 (2011) 1788-1827 Y1 - 2011 A1 - Stefano Bianchini A1 - Laura Spinolo PB - Elsevier UR - http://hdl.handle.net/1963/2554 U1 - 1565 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - On the number of eigenvalues of a model operator related to a system of three particles on lattices JF - J. Phys. A 44 (2011) 315302 Y1 - 2011 A1 - Gianfausto Dell'Antonio A1 - Zahriddin I. Muminov A1 - Y.M. Shermatova PB - IOP Publishing UR - http://hdl.handle.net/1963/5496 U1 - 5340 U2 - Mathematics U3 - Mathematical Physics U4 - -1 ER - TY - JOUR T1 - Quasistatic evolution for Cam-Clay plasticity: a weak formulation via viscoplastic regularization and time rescaling JF - Calculus of Variations and Partial Differential Equations 40 (2011) 125-181 Y1 - 2011 A1 - Gianni Dal Maso A1 - Antonio DeSimone A1 - Francesco Solombrino KW - Cam-Clay plasticity AB -

Cam-Clay nonassociative plasticity exhibits both hardening and softening behaviour, depending on the loading. For many initial data the classical formulation of the quasistatic evolution problem has no smooth solution. We propose here a notion of generalized solution, based on a viscoplastic approximation. To study the limit of the viscoplastic evolutions we rescale time, in such a way that the plastic strain is uniformly Lipschitz with respect to the rescaled time. The limit of these rescaled solutions, as the viscosity parameter tends to zero, is characterized through an energy-dissipation balance, that can be written in a natural way using the rescaled time. As shown in [4] and [6], the proposed solution may be discontinuous with respect to the original time. Our formulation allows to compute the amount of viscous dissipation occurring instantaneously at each discontinuity time.

PB - Springer UR - http://hdl.handle.net/1963/3670 U1 - 635 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - A system-level approach for deciphering the transcriptional response to prion infection JF - Bioinformatics (Oxford, England). 2011 Dec; 27(24):3407-14 Y1 - 2011 A1 - Mattia Zampieri A1 - Giuseppe Legname A1 - Daniel Segrè A1 - Claudio Altafini AB - MOTIVATION: Deciphering the response of a complex biological system to an insulting event, at the gene expression level, requires adopting theoretical models that are more sophisticated than a one-to-one comparison (i.e. t-test). Here, we investigate the ability of a novel reverse engineering approach (System Response Inference) to unveil non-obvious transcriptional signatures of the system response induced by prion infection.\\r\\nRESULTS: To this end, we analyze previously published gene expression data, from which we extrapolate a putative full-scale model of transcriptional gene-gene dependencies in the mouse central nervous system. Then, we use this nominal model to interpret the gene expression changes caused by prion replication, aiming at selecting the genes primarily influenced by this perturbation. Our method sheds light on the mode of action of prions by identifying key transcripts that are the most likely to be responsible for the overall transcriptional rearrangement from a nominal regulatory network. As a first result of our inference, we have been able to predict known targets of prions (i.e. PrP(C)) and to unveil the potential role of previously unsuspected genes.\\r\\nCONTACT: altafini@sissa.it\\r\\nSUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online. PB - Oxford University Press UR - http://hdl.handle.net/1963/5745 U1 - 5600 U2 - Mathematics U3 - Functional Analysis and Applications U4 - -1 ER - TY - JOUR T1 - Uniqueness and nondegeneracy of the ground state for a quasilinear Schrödinger equation with a small parameter JF - Nonlinear Analysis: Theory, Methods & Applications Y1 - 2011 A1 - Alessandro Selvitella KW - Bifurcation theory KW - Nonlinear Schrödinger equations KW - Stationary solutions AB -

We study least energy solutions of a quasilinear Schrödinger equation with a small parameter. We prove that the ground state is nondegenerate and unique up to translations and phase shifts using bifurcation theory.

VL - 74 UR - http://www.sciencedirect.com/science/article/pii/S0362546X10007613 ER - TY - JOUR T1 - Cauchy biorthogonal polynomials JF - J. Approx. Theory Y1 - 2010 A1 - Marco Bertola A1 - Gekhtman, M. A1 - Szmigielski, J. VL - 162 UR - http://0-dx.doi.org.mercury.concordia.ca/10.1016/j.jat.2009.09.008 ER - TY - JOUR T1 - Chern-Simons theory on L(p,q) lens spaces and Gopakumar-Vafa duality JF - J. Geom. Phys. 60 (2010) 417-429 Y1 - 2010 A1 - Andrea Brini A1 - Luca Griguolo A1 - Domenico Seminara A1 - Alessandro Tanzini AB - We consider aspects of Chern-Simons theory on L(p,q) lens spaces and its relation with matrix models and topological string theory on Calabi-Yau threefolds, searching for possible new large N dualities via geometric transition for non-SU(2) cyclic quotients of the conifold. To this aim we find, on one hand, some novel matrix integral representations of the SU(N) CS partition function in a generic flat background for the whole L(p,q) family and provide a solution for its large N dynamics; on the other, we perform in full detail the construction of a family of would-be dual closed string backgrounds via conifold geometric transition from T^*L(p,q). We can then explicitly prove that Gopakumar-Vafa duality in a fixed vacuum fails in the case q>1, and briefly discuss how it could be restored in a non-perturbative setting. UR - http://hdl.handle.net/1963/2938 U1 - 1762 U2 - Mathematics U3 - Mathematical Physics ER - TY - JOUR T1 - Gene expression analysis of the emergence of epileptiform activity after focal injection of kainic acid into mouse hippocampus. JF - The European journal of neuroscience. 2010 Oct; 32(8):1364-79 Y1 - 2010 A1 - Dario Motti A1 - Caroline Le Duigou A1 - Nicole Chemaly A1 - Lucia Wittner A1 - Dejan Lazarevic A1 - Helena Krmac A1 - Troels Torben Marstrand A1 - Eivind Valen A1 - Remo Sanges A1 - Elia Stupka A1 - Albin Sandelin A1 - Enrico Cherubini A1 - Stefano Gustincich A1 - Richard Miles AB -

We report gene profiling data on genomic processes underlying the progression towards recurrent seizures after injection of kainic acid (KA) into the mouse hippocampus. Focal injection enabled us to separate the effects of proepileptic stimuli initiated by KA injection. Both the injected and contralateral hippocampus participated in the status epilepticus. However, neuronal death induced by KA treatment was restricted to the injected hippocampus, although there was some contralateral axonal degeneration. We profiled gene expression changes in dorsal and ventral regions of both the injected and contralateral hippocampus. Changes were detected in the expression of 1526 transcripts in samples from three time-points: (i) during the KA-induced status epilepticus, (ii) at 2 weeks, before recurrent seizures emerged, and (iii) at 6 months after seizures emerged. Grouping genes with similar spatio-temporal changes revealed an early transcriptional response, strong immune, cell death and growth responses at 2 weeks and an activation of immune and extracellular matrix genes persisting at 6 months. Immunostaining for proteins coded by genes identified from array studies provided evidence for gliogenesis and suggested that the proteoglycan biglycan is synthesized by astrocytes and contributes to a glial scar. Gene changes at 6 months after KA injection were largely restricted to tissue from the injection site. This suggests that either recurrent seizures might depend on maintained processes including immune responses and changes in extracellular matrix proteins near the injection site or alternatively might result from processes, such as growth, distant from the injection site and terminated while seizures are maintained.

PB - Wiley UR - http://hdl.handle.net/1963/4480 U1 - 4244 U2 - Neuroscience U3 - Neurobiology U4 - -1 ER - TY - JOUR T1 - Homogeneous binary trees as ground states of quantum critical Hamiltonians JF - Phys. Rev. A 81 (2010) 062335 Y1 - 2010 A1 - Pietro Silvi A1 - Vittorio Giovannetti A1 - Simone Montangero A1 - Matteo Rizzi A1 - J. Ignacio Cirac A1 - Rosario Fazio AB -

Many-body states whose wave-function admits a representation in terms of a uniform binary-tree tensor decomposition are shown to obey to power-law two-body correlations functions. Any such state can be associated with the ground state of a translational invariant Hamiltonian which, depending on the dimension of the systems sites, involve at most couplings between third-neighboring sites. A detailed analysis of their spectra shows that they admit an exponentially large ground space.

PB - American Physical Society UR - http://hdl.handle.net/1963/3909 U1 - 800 U2 - Physics U3 - Condensed Matter Theory ER - TY - JOUR T1 - Homogeneous multiscale entanglement renormalization ansatz tensor networks for quantum critical systems JF - New J. Phys. 12 (2010) 075018 Y1 - 2010 A1 - Matteo Rizzi A1 - Simone Montangero A1 - Pietro Silvi A1 - Vittorio Giovannetti A1 - Rosario Fazio AB -

In this paper, we review the properties of homogeneous multiscale entanglement renormalization ansatz (MERA) to describe quantum critical systems.We discuss in more detail our results for one-dimensional (1D) systems (the Ising and Heisenberg models) and present new data for the 2D Ising model. Together with the results for the critical exponents, we provide a detailed description of the numerical algorithm and a discussion of new optimization\\nstrategies. The relation between the critical properties of the system and the tensor structure of the MERA is expressed using the formalism of quantum channels, which we review and extend.

PB - IOP Publishing UR - http://hdl.handle.net/1963/4067 U1 - 335 U2 - Physics U3 - Condensed Matter Theory ER - TY - RPRT T1 - Moore-Read Fractional Quantum Hall wavefunctions and SU(2) quiver gauge theories Y1 - 2010 A1 - Raoul Santachiara A1 - Alessandro Tanzini AB - We identify Moore-Read wavefunctions, describing non-abelian statistics in fractional quantum Hall systems, with the instanton partition of N=2 superconformal quiver gauge theories at suitable values of masses and \\\\Omega-background parameters. This is obtained by extending to rational conformal field theories the SU(2) gauge quiver/Liouville field theory duality recently found by Alday-Gaiotto-Tachikawa. A direct link between the Moore-Read Hall $n$-body wavefunctions and Z_n-equivariant Donaldson polynomials is pointed out. UR - http://hdl.handle.net/1963/3852 U1 - 857 U2 - Mathematics U3 - Mathematical Physics ER - TY - JOUR T1 - Quasistatic evolution for Cam-Clay plasticity: the spatially homogeneous case JF - Netw. Heterog. Media 5 (2010) 97-132 Y1 - 2010 A1 - Gianni Dal Maso A1 - Francesco Solombrino KW - Cam-Clay plasticity AB -

We study the spatially uniform case of the problem of quasistatic evolution in small strain nonassociative elastoplasticity (Cam-Clay model). Through the introdution of a viscous approximation, the problem reduces to determine the limit behavior of the solutions of a singularly perturbed system of ODE\\\'s in a finite dimensional Banach space. Depending on the sign of two explicit scalar indicators, we see that the limit dynamics presents, under quite generic assumptions, the alternation of three possible regimes: the elastic regime, when the limit equation is just the equation of linearized elasticity, the slow dynamics, when the strain evolves smoothly on the yield surface and plastic flow is produced, and the fast dynamics, which may happen only in the softening regime, where\\nviscous solutions exhibit a jump across a heteroclinic orbit of an auxiliary system.

UR - http://hdl.handle.net/1963/3671 U1 - 634 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Quasistatic evolution for plasticity with softening: The spatially homogeneous case JF - Discrete & Continuous Dynamical Systems - A Y1 - 2010 A1 - Francesco Solombrino KW - plasticity with softening KW - rate independent processes AB -

The spatially uniform case of the problem of quasistatic evolution in small strain associative elastoplasticity with softening is studied. Through the introdution of a viscous approximation, the problem reduces to determine the limit behaviour of the solutions of a singularly perturbed system of ODE's in a finite dimensional Banach space. We see that the limit dynamics presents, for a generic choice of the initial data, the alternation of three possible regimes (elastic regime, slow dynamics, fast dynamics), which is determined by the sign of two scalar indicators, whose explicit expression is given.

VL - 27 UR - http://aimsciences.org//article/id/4c2301d8-f553-493e-b672-b4f76a3ede2f ER - TY - JOUR T1 - Semiclassical evolution of two rotating solitons for the Nonlinear Schrödinger Equation with electric potential JF - Adv. Differential Equations Y1 - 2010 A1 - Alessandro Selvitella PB - Khayyam Publishing, Inc. VL - 15 UR - https://projecteuclid.org:443/euclid.ade/1355854752 ER - TY - JOUR T1 - Two-dimensional almost-Riemannian structures with tangency points JF - Ann. Inst. H. Poincare Anal. Non Lineaire Y1 - 2010 A1 - Andrei A. Agrachev A1 - Ugo Boscain A1 - Grégoire Charlot A1 - Roberta Ghezzi A1 - Mario Sigalotti AB -

Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. We study the relation between the topological invariants of an almost-Riemannian structure on a compact oriented surface and the rank-two vector bundle over the surface which defines the structure. We analyse the generic case including the presence of tangency points, i.e. points where two generators of the distribution and their Lie bracket are linearly dependent. The main result of the paper provides a classification of oriented almost-Riemannian structures on compact oriented surfaces in terms of the Euler number of the vector bundle corresponding to the structure. Moreover, we present a Gauss-Bonnet formula for almost-Riemannian structures with tangency points.

PB - Elsevier VL - 27 UR - http://hdl.handle.net/1963/3870 U1 - 839 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - The boundary Riemann solver coming from the real vanishing viscosity approximation JF - Arch. Ration. Mech. Anal. 191 (2009) 1-96 Y1 - 2009 A1 - Stefano Bianchini A1 - Laura Spinolo AB - We study the limit of the hyperbolic-parabolic approximation $$ \\\\begin{array}{lll} v_t + \\\\tilde{A} ( v, \\\\, \\\\varepsilon v_x ) v_x = \\\\varepsilon \\\\tilde{B}(v ) v_{xx} \\\\qquad v \\\\in R^N\\\\\\\\ \\\\tilde \\\\beta (v (t, \\\\, 0)) = \\\\bar g \\\\\\\\ v (0, \\\\, x) = \\\\bar v_0. \\\\\\\\ \\\\end{array} \\\\right. $$\\nThe function $\\\\tilde \\\\beta$ is defined in such a way to guarantee that the initial boundary value problem is well posed even if $\\\\tilde \\\\beta$ is not invertible.\\nThe data $\\\\bar g$ and $\\\\bar v_0$ are constant. When $\\\\tilde B$ is invertible, the previous problem takes the simpler form $$ \\\\left\\\\{ \\\\begin{array}{lll} v_t + \\\\tilde{A} \\\\big( v, \\\\, \\\\varepsilon v_x \\\\big) v_x = \\\\varepsilon \\\\tilde{B}(v ) v_{xx} \\\\qquad v \\\\in \\\\mathbb{R}^N\\\\\\\\ v (t, \\\\, 0) \\\\equiv \\\\bar v_b \\\\\\\\ v (0, \\\\, x) \\\\equiv \\\\bar{v}_0. \\\\\\\\ \\\\end{array} \\\\right. $$\\nAgain, the data $\\\\bar v_b$ and $\\\\bar v_0$ are constant. The conservative case is included in the previous formulations. It is assumed convergence of the v, smallness of the total variation and other technical hypotheses and it is provided a complete characterization of the limit. The most interesting points are the following two. First, the boundary characteristic case is considered, i.e. one eigenvalue of $\\\\tilde A$ can be 0.\\n Second, as pointed out before we take into account the possibility that $\\\\tilde B$ is not invertible. To deal with this case, we take as hypotheses conditions that were introduced by Kawashima and Shizuta relying on physically meaningful examples. We also introduce a new condition of block linear degeneracy. We prove that, if it is not satisfied, then pathological behaviours may occur. UR - http://hdl.handle.net/1963/1831 U1 - 2385 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - The Cauchy two–matrix model JF - Comm. Math. Phys. Y1 - 2009 A1 - Marco Bertola A1 - M Gekhtman A1 - J Szmigielski VL - 287 ER - TY - JOUR T1 - A connection between viscous profiles and singular ODEs JF - Rend. Istit. Mat. Univ. Trieste 41 (2009) 35-41 Y1 - 2009 A1 - Stefano Bianchini A1 - Laura Spinolo UR - http://hdl.handle.net/1963/2555 U1 - 1564 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Controllability of the discrete-spectrum Schrodinger equation driven by an external field JF - Ann. Inst. H. Poincare Anal. Non Lineaire 26 (2009) 329-349 Y1 - 2009 A1 - Thomas Chambrion A1 - Paolo Mason A1 - Mario Sigalotti A1 - Ugo Boscain AB - We prove approximate controllability of the bilinear Schrodinger equation in the case in which the uncontrolled Hamiltonian has discrete nonresonant\\nspectrum. The results that are obtained apply both to bounded or unbounded domains and to the case in which the control potential is bounded or unbounded. The method relies on finite-dimensional techniques applied to the\\nGalerkin approximations and permits, in addition, to get some controllability properties for the density matrix. Two examples are presented: the harmonic oscillator and the 3D well of potential controlled by suitable potentials. UR - http://hdl.handle.net/1963/2547 U1 - 1572 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Cubic string boundary value problems and Cauchy biorthogonal polynomials JF - J. Phys. A Y1 - 2009 A1 - Marco Bertola A1 - Gekhtman, M. A1 - Szmigielski, J. VL - 42 UR - http://0-dx.doi.org.mercury.concordia.ca/10.1088/1751-8113/42/45/454006 ER - TY - JOUR T1 - ERNEST: a toolbox for chemical reaction network theory JF - Bioinformatics 25 (2009) 2853-2854 Y1 - 2009 A1 - Nicola Soranzo A1 - Claudio Altafini AB - Summary: ERNEST Reaction Network Equilibria Study Toolbox is a MATLAB package which, by checking various different criteria on the structure of a chemical reaction network, can exclude the multistationarity of the corresponding reaction system. The results obtained are independent of the rate constants of the reactions, and can be used for model discrimination.\\nAvailability and Implementation: The software, implemented in MATLAB, is available under the GNU GPL free software license from http://people.sissa.it/~altafini/papers/SoAl09/. It requires the MATLAB Optimization Toolbox. PB - Oxford University Press UR - http://hdl.handle.net/1963/3826 U1 - 501 U2 - Physics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - mRNA stability and the unfolding of gene expression in the long-period yeast metabolic cycle JF - BMC Systems Biology (2009) 3:18 Y1 - 2009 A1 - Nicola Soranzo A1 - Mattia Zampieri A1 - Lorenzo Farina A1 - Claudio Altafini AB - Background: In yeast, genome-wide periodic patterns associated with energy-metabolic oscillations have been shown recently for both short (approx. 40 min) and long (approx. 300 min) periods.\\nResults: The dynamical regulation due to mRNA stability is found to be an important aspect of the genome-wide coordination of the long-period yeast metabolic cycle. It is shown that for periodic genes, arranged in classes according either to expression profile or to function, the pulses of mRNA abundance have phase and width which are directly proportional to the corresponding turnover rates.\\nConclusion: The cascade of events occurring during the yeast metabolic cycle (and their correlation with mRNA turnover) reflects to a large extent the gene expression program observable in other dynamical contexts such as the response to stresses/stimuli. PB - BioMed Central UR - http://hdl.handle.net/1963/3630 U1 - 674 U2 - Physics U3 - Statistical and Biological Physics ER - TY - JOUR T1 - Quasistatic evolution problems for nonhomogeneous elastic plastic materials JF - J. Convex Anal. Y1 - 2009 A1 - Francesco Solombrino AB -

The paper studies the quasistatic evolution for elastoplastic materials when the yield surface depends on the position in the reference configuration. The main results are obtained when the yield surface is continuous with respect to the space variable. The case of piecewise constant dependence is also considered. The evolution is studied in the framework of the variational formulation for rate independent problems developed by Mielke. The results are proved by adapting the arguments introduced for a constant yield surface, using some properties of convex valued semicontinuous multifunctions. A strong formulation of the problem is also obtained, which includes a pointwise version of the plastic flow rule. Some examples are considered, which show that strain concentration may occur as a consequence of a nonconstant yield surface.

VL - 16 ER - TY - JOUR T1 - Asymptotic evolution for the semiclassical nonlinear Schrödinger equation in presence of electric and magnetic fields JF - Journal of Differential Equations Y1 - 2008 A1 - Alessandro Selvitella AB -

In this paper we study the semiclassical limit for the solutions of a subcritical focusing NLS with electric and magnetic potentials. We consider in particular the Cauchy problem for initial data close to solitons and show that, when the Planck constant goes to zero, the motion shadows that of a classical particle. Several works were devoted to the case of standing waves: differently from these we show that, in the dynamic version, the Lorentz force appears crucially.

VL - 245 UR - http://www.sciencedirect.com/science/article/pii/S002203960800243X ER - TY - JOUR T1 - Discerning static and causal interactions in genome-wide reverse engineering problems JF - Bioinformatics 24 (2008) 1510-1515 Y1 - 2008 A1 - Mattia Zampieri A1 - Nicola Soranzo A1 - Claudio Altafini AB - Background. In the past years devicing methods for discovering gene regulatory mechanisms at a genome-wide level has become a fundamental topic in the field of system biology. The aim is to infer gene-gene interactions in a more sophisticated and reliable way through the continuously improvement of reverse engineering algorithms exploiting microarray technologies. Motivation. This work is inspired by the several studies suggesting that co-expression is mostly related to \\\"static\\\" stable binding relationships, like belonging to the same protein complex, rather than other types of interactions more of a \\\"causal\\\" and transient nature (metabolic pathway or transcription factor-binding site interaction). Discerning static relationships from causal ones on the basis of their characteristic regulatory structures and in particular identifing \\\"dense modules\\\" with protein complex, and \\\"sparse modules\\\" with causal interactions such as those between transcription factor and corresponding binding site, the performances of different network inference algorithms in artificial and real networks (derived from E.coli and S.cerevisiae) can be tested and compared. Results. Our study shows that methods that try to prune indirect interactions from the inferred gene networks may fail to retrieve genes co-participating in a protein complex. On the other hand they are more robust in the identification of transcription factor-binding sites dependences when multiple transcription factors regulate the expression of the same gene. In the end we confirm the stronger co-expression regarding genes belonging to a protein complex than transcription factor-binding site, according, also, to the effect of multiple transcription factors and a low expression variance. UR - http://hdl.handle.net/1963/2757 U1 - 1943 U2 - Physics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Eulerian calculus for the displacement convexity in the Wasserstein distance JF - SIAM J. Math. Anal. 40 (2008) 1104-1122 Y1 - 2008 A1 - Sara Daneri A1 - Giuseppe Savarè AB - In this paper we give a new proof of the (strong) displacement convexity of a class of integral functionals defined on a compact Riemannian manifold satisfying a lower Ricci curvature bound. Our approach does not rely on existence and regularity results for optimal transport maps on Riemannian manifolds, but it is based on the Eulerian point of view recently introduced by Otto and Westdickenberg [SIAM J. Math. Anal., 37 (2005), pp. 1227-1255] and on the metric characterization of the gradient flows generated by the functionals in the Wasserstein space. PB - SIAM UR - http://hdl.handle.net/1963/3413 U1 - 922 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Frobenius Manifolds and Central Invariants for the Drinfeld - Sokolov Bihamiltonian Structures JF - Adv. Math. 219 (2008) 780-837 Y1 - 2008 A1 - Boris Dubrovin A1 - Liu Si-Qi A1 - Zhang Youjin AB - The Drinfeld - Sokolov construction associates a hierarchy of bihamiltonian integrable systems with every untwisted affine Lie algebra. We compute the complete set of invariants of the related bihamiltonian structures with respect to the group of Miura type transformations. UR - http://hdl.handle.net/1963/2523 U1 - 1595 U2 - Mathematics U3 - Mathematical Physics ER - TY - JOUR T1 - A Gauss-Bonnet-like formula on two-dimensional almost-Riemannian manifolds JF - Discrete Contin. Dyn. Syst. 20 (2008) 801-822 Y1 - 2008 A1 - Andrei A. Agrachev A1 - Ugo Boscain A1 - Mario Sigalotti AB - We consider a generalization of Riemannian geometry that naturally arises in the framework of control theory. Let $X$ and $Y$ be two smooth vector fields on a two-dimensional manifold $M$. If $X$ and $Y$ are everywhere linearly independent, then they define a classical Riemannian metric on $M$ (the metric for which they are orthonormal) and they give to $M$ the structure of metric space. If $X$ and $Y$ become linearly dependent somewhere on $M$, then the corresponding Riemannian metric has singularities, but under generic conditions the metric structure is still well defined. Metric structures that can be defined locally in this way are called almost-Riemannian structures. They are special cases of rank-varying sub-Riemannian structures, which are naturally defined in terms of submodules of the space of smooth vector fields on $M$. Almost-Riemannian structures show interesting phenomena, in particular for what concerns the relation between curvature, presence of conjugate points, and topology of the manifold. The main result of the paper is a generalization to almost-Riemannian structures of the Gauss-Bonnet formula. UR - http://hdl.handle.net/1963/1869 U1 - 2353 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - RPRT T1 - Invariant Manifolds for Viscous Profiles of a Class of Mixed Hyperbolic-Parabolic Systems Y1 - 2008 A1 - Stefano Bianchini A1 - Laura Spinolo UR - http://hdl.handle.net/1963/3400 U1 - 932 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Limit Time Optimal Syntheses for a control-affine system on S² JF - SIAM J. Control Optim. 47 (2008) 111-143 Y1 - 2008 A1 - Paolo Mason A1 - Rebecca Salmoni A1 - Ugo Boscain A1 - Yacine Chitour AB - For $\\\\alpha \\\\in ]0,\\\\pi/2[$, let $(\\\\Sigma)_\\\\alpha$ be the control system $\\\\dot{x}=(F+uG)x$, where $x$ belongs to the two-dimensional unit sphere $S^2$, $u\\\\in [-1,1]$, and $F,G$ are $3\\\\times3$ skew-symmetric matrices generating rotations with perpendicular axes and of respective norms $\\\\cos(\\\\alpha)$ and $\\\\sin(\\\\alpha)$. In this paper, we study the time optimal synthesis (TOS) from the north pole $(0,0,1)^T$ associated to $(\\\\Sigma)_\\\\alpha$, as the parameter $\\\\alpha$ tends to zero; this problem is motivated by specific issues in the control of quantum systems. We first prove that the TOS is characterized by a \\\"two-snakes\\\" configuration on the whole $S^2$, except for a neighborhood $U_\\\\alpha$ of the south pole $(0,0,-1)^T$ of diameter at most ${\\\\cal O}(\\\\alpha)$. We next show that, inside $U_\\\\alpha$, the TOS depends on the relationship between $r(\\\\alpha):=\\\\pi/2\\\\alpha-[\\\\pi/2\\\\alpha]$ and $\\\\alpha$. More precisely, we characterize three main relationships by considering sequences $(\\\\alpha_k)_{k\\\\geq 0}$ satisfying (a) $r(\\\\alpha_k)=\\\\bar{r}$, (b) $r(\\\\alpha_k)=C\\\\alpha_k$, and (c) $r(\\\\alpha_k)=0$, where $\\\\bar{r}\\\\in (0,1)$ and $C>0$. In each case, we describe the TOS and provide, after a suitable rescaling, the limiting behavior, as $\\\\alpha$ tends to zero, of the corresponding TOS inside $U_\\\\alpha$. UR - http://hdl.handle.net/1963/1862 U1 - 2360 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Origin of Co-Expression Patterns in E.coli and S.cerevisiae Emerging from Reverse Engineering Algorithms JF - PLoS ONE 3 (2008) e2981 Y1 - 2008 A1 - Mattia Zampieri A1 - Nicola Soranzo A1 - Daniele Bianchini A1 - Claudio Altafini AB - 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. UR - http://hdl.handle.net/1963/2722 U1 - 1379 U2 - Physics U3 - Functional Analysis and Applications ER - TY - RPRT T1 - Black Holes, Instanton Counting on Toric Singularities and q-Deformed Two-Dimensional Yang-Mills Theory Y1 - 2007 A1 - Luca Griguolo A1 - Domenico Seminara A1 - Richard J. Szabo A1 - Alessandro Tanzini AB - We study the relationship between instanton counting in N=4 Yang-Mills theory on a generic four-dimensional toric orbifold and the semi-classical expansion of q-deformed Yang-Mills theory on the blowups of the minimal resolution of the orbifold singularity, with an eye to clarifying the recent proposal of using two-dimensional gauge theories to count microstates of black holes in four dimensions. We describe explicitly the instanton contributions to the counting of D-brane bound states which are captured by the two-dimensional gauge theory. We derive an intimate relationship between the two-dimensional Yang-Mills theory and Chern-Simons theory on generic Lens spaces, and use it to show that the correct instanton counting is only reproduced when the Chern-Simons contributions are treated as non-dynamical boundary conditions in the D4-brane gauge theory. We also use this correspondence to discuss the counting of instantons on higher genus ruled Riemann surfaces. JF - Nucl. Phys. B 772 (2007) 1-24 UR - http://hdl.handle.net/1963/1888 U1 - 2347 U2 - Mathematics U3 - Mathematical Physics ER - TY - JOUR T1 - Comparing association network algorithms for reverse engineering of large scale gene regulatory networks: synthetic vs real data JF - Bioinformatics 23 (2007) 1640-1647 Y1 - 2007 A1 - Nicola Soranzo A1 - Ginestra Bianconi A1 - Claudio Altafini AB - Motivation: Inferring a gene regulatory network exclusively from microarray expression profiles is a difficult but important task. The aim of this work is to compare the predictive power of some of the most popular algorithms in different conditions (like data taken at equilibrium or time courses) and on both synthetic and real microarray data. We are in particular interested in comparing similarity measures both of linear type (like correlations and partial correlations) and of nonlinear type (mutual information and conditional mutual information), and in investigating the underdetermined case (less samples than genes). Results: In our simulations we see that all network inference algorithms obtain better performances from data produced with \\\"structural\\\" perturbations, like gene knockouts at steady state, than with any dynamical perturbation. The predictive power of all algorithms is confirmed on a reverse engineering problem from E. coli gene profiling data: the edges of the \\\"physical\\\" network of transcription factor-binding sites are significantly overrepresented among the highest weighting edges of the graph that we infer directly from the data without any structure supervision. Comparing synthetic and in vivo data on the same network graph allows us to give an indication of how much more complex a real transcriptional regulation program is with respect to an artificial model. Availability: Software and supplementary material are freely available at the URL http://people.sissa.it/~altafini/papers/SoBiAl07/ UR - http://hdl.handle.net/1963/2028 U1 - 2168 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Convergence of equilibria of planar thin elastic beams JF - Indiana Univ. Math. J. 56 (2007) 2413-2438 Y1 - 2007 A1 - Maria Giovanna Mora A1 - Stefan Müller A1 - Maximilian G. Schultz AB - We consider a thin elastic strip of thickness h and we show that stationary points of the nonlinear elastic energy (per unit height) whose energy is of order h^2 converge to stationary points of the Euler-Bernoulli functional. The proof uses the rigidity estimate for low-energy deformations by Friesecke, James, and Mueller (Comm. Pure Appl. Math. 2002), and a compensated compactness argument in a singular geometry. In addition, possible concentration effects are ruled out by a careful truncation argument. UR - http://hdl.handle.net/1963/1830 U1 - 2386 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - On finite-dimensional projections of distributions for solutions of randomly forced PDE\\\'s JF - Ann. Inst. Henri Poincare-Prob. Stat. 43 (2007) 399-415 Y1 - 2007 A1 - Andrei A. Agrachev A1 - Sergei Kuksin A1 - Andrey Sarychev A1 - Armen Shirikyan AB - The paper is devoted to studying the image of probability measures on a Hilbert space under finite-dimensional analytic maps. We establish sufficient conditions under which the image of a measure has a density with respect to the Lebesgue measure and continuously depends on the map. The results obtained are applied to the 2D Navier-Stokes equations perturbed by various random forces of low dimension. UR - http://hdl.handle.net/1963/2012 U1 - 2184 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - RPRT T1 - High-order angles in almost-Riemannian geometry Y1 - 2007 A1 - Ugo Boscain A1 - Mario Sigalotti AB - Let X and Y be two smooth vector fields on a two-dimensional manifold M. If X and Y are everywhere linearly independent, then they define a Riemannian metric on M (the metric for which they are orthonormal) and they give to M the structure of metric space. If X and Y become linearly dependent somewhere on M, then the corresponding Riemannian metric has singularities, but under generic conditions the metric structure is still well defined. Metric structures that can be defined locally in this way are called almost-Riemannian structures. The main result of the paper is a generalization to almost-Riemannian structures of the Gauss-Bonnet formula for domains with piecewise-C2 boundary. The main feature of such formula is the presence of terms that play the role of high-order angles at the intersection points with the set of singularities. UR - http://hdl.handle.net/1963/1995 U1 - 2201 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - The residual-free-bubble finite element method on anisotropic partitions JF - SIAM J. Numer. Anal. Y1 - 2007 A1 - Andrea Cangiani A1 - Süli, Endre VL - 45 UR - https://doi.org/10.1137/060658011 ER - TY - JOUR T1 - Surfactants in Foam Stability: A Phase-Field Model JF - Arch. Rational Mech. Anal. 183 (2007) 411-456 Y1 - 2007 A1 - Irene Fonseca A1 - Massimiliano Morini A1 - Valeriy Slastikov AB - The role of surfactants in stabilizing the formation of bubbles in foams is studied using a phase-field model. The analysis is centered on a van der Walls-Cahn-Hilliard-type energy with an added term accounting for the interplay between the presence of a surfactant density and the creation of interfaces. In particular, it is concluded that the surfactant segregates to the interfaces, and that the prescriptionof the distribution of surfactant will dictate the locus of interfaces, what is in agreement with experimentation. UR - http://hdl.handle.net/1963/2035 U1 - 2161 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Experimental and modeling studies of desensitization of P2X3 receptors. JF - Molecular pharmacology. 2006 Jul; 70(1):373-82 Y1 - 2006 A1 - Elena Sokolova A1 - Andrei Skorinkin A1 - Igor Moiseev A1 - Andrei A. Agrachev A1 - Andrea Nistri A1 - Rashid Giniatullin AB - The function of ATP-activated P2X3 receptors involved in pain sensation is modulated by desensitization, a phenomenon poorly understood. The present study used patch-clamp recording from cultured rat or mouse sensory neurons and kinetic modeling to clarify the properties of P2X3 receptor desensitization. Two types of desensitization were observed, a fast process (t1/2 = 50 ms; 10 microM ATP) following the inward current evoked by micromolar agonist concentrations, and a slow process (t1/2 = 35 s; 10 nM ATP) that inhibited receptors without activating them. We termed the latter high-affinity desensitization (HAD). Recovery from fast desensitization or HAD was slow and agonist-dependent. When comparing several agonists, there was analogous ranking order for agonist potency, rate of desensitization and HAD effectiveness, with 2-methylthioadenosine triphosphate the strongest and beta,gamma-methylene-ATP the weakest. HAD was less developed with recombinant (ATP IC50 = 390 nM) than native P2X3 receptors (IC50 = 2.3 nM). HAD could also be induced by nanomolar ATP when receptors seemed to be nondesensitized, indicating that resting receptors could express high-affinity binding sites. Desensitization properties were well accounted for by a cyclic model in which receptors could be desensitized from either open or closed states. Recovery was assumed to be a multistate process with distinct kinetics dependent on the agonist-dependent dissociation rate from desensitized receptors. Thus, the combination of agonist-specific mechanisms such as desensitization onset, HAD, and resensitization could shape responsiveness of sensory neurons to P2X3 receptor agonists. By using subthreshold concentrations of an HAD-potent agonist, it might be possible to generate sustained inhibition of P2X3 receptors for controlling chronic pain. PB - the American Society for Pharmacology and Experimental Therapeutics UR - http://hdl.handle.net/1963/4974 U1 - 4799 U2 - Neuroscience U3 - Neurobiology U4 - -1 ER - TY - JOUR T1 - On Hamiltonian perturbations of hyperbolic systems of conservation laws I: quasitriviality of bihamiltonian perturbations JF - Comm. Pure Appl. Math. 59 (2006) 559-615 Y1 - 2006 A1 - Boris Dubrovin A1 - Liu Si-Qi A1 - Zhang Youjin AB - We study the general structure of formal perturbative solutions to the Hamiltonian perturbations of spatially one-dimensional systems of hyperbolic PDEs. Under certain genericity assumptions it is proved that any bihamiltonian perturbation can be eliminated in all orders of the perturbative expansion by a change of coordinates on the infinite jet space depending rationally on the derivatives. The main tools is in constructing of the so-called quasi-Miura transformation of jet coordinates eliminating an arbitrary deformation of a semisimple bihamiltonian structure of hydrodynamic type (the quasitriviality theorem). We also describe, following \\\\cite{LZ1}, the invariants of such bihamiltonian structures with respect to the group of Miura-type transformations depending polynomially on the derivatives. UR - http://hdl.handle.net/1963/2535 U1 - 1583 U2 - Mathematics U3 - Mathematical Physics ER - TY - JOUR T1 - Q-curvature flow on S^4 JF - J. Differential Geom. 73 (2006) 1-44 Y1 - 2006 A1 - Andrea Malchiodi A1 - Michael Struwe UR - http://hdl.handle.net/1963/2193 U1 - 2051 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - RPRT T1 - Stability of planar nonlinear switched systems Y1 - 2006 A1 - Ugo Boscain A1 - Grégoire Charlot A1 - Mario Sigalotti AB - We consider the time-dependent nonlinear system ˙ q(t) = u(t)X(q(t)) + (1 − u(t))Y (q(t)), where q ∈ R2, X and Y are two smooth vector fields, globally asymptotically stable at the origin and u : [0,∞) → {0, 1} is an arbitrary measurable function. Analysing the topology of the set where X and Y are parallel, we give some sufficient and some necessary conditions for global asymptotic stability, uniform with respect to u(.). Such conditions can be verified without any integration or construction of a Lyapunov function, and they are robust under small perturbations of the vector fields. JF - Discrete Contin. Dyn. Syst. 15 (2006) 415-432 UR - http://hdl.handle.net/1963/1710 U1 - 2441 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - The Dirac operator on SU_q(2) JF - Commun. Math. Phys. 259 (2005) 729-759 Y1 - 2005 A1 - Ludwik Dabrowski A1 - Giovanni Landi A1 - Andrzej Sitarz A1 - Walter van Suijlekom A1 - Joseph C. Varilly AB - We construct a 3^+ summable spectral triple (A(SU_q(2)),H,D) over the quantum group SU_q(2) which is equivariant with respect to a left and a right action of U_q(su(2)). The geometry is isospectral to the classical case since the spectrum of the operator D is the same as that of the usual Dirac operator on the 3-dimensional round sphere. The presence of an equivariant real structure J demands a modification in the axiomatic framework of spectral geometry, whereby the commutant and first-order properties need be satisfied only modulo infinitesimals of arbitrary high order. PB - Springer UR - http://hdl.handle.net/1963/4425 N1 - v2: minor changes U1 - 4175 U2 - Mathematics U3 - Mathematical Physics U4 - -1 ER - TY - CHAP T1 - Enhanced residual-free bubble method for convection-diffusion problems T2 - Internat. J. Numer. Methods Fluids Y1 - 2005 A1 - Andrea Cangiani A1 - Süli, E. JF - Internat. J. Numer. Methods Fluids VL - 47 UR - https://doi.org/10.1002/fld.859 N1 - 8th ICFD Conference on Numerical Methods for Fluid Dynamics. Part 2 ER - TY - JOUR T1 - Enhanced RFB method JF - Numer. Math. Y1 - 2005 A1 - Andrea Cangiani A1 - Süli, Endre VL - 101 UR - https://doi.org/10.1007/s00211-005-0620-7 ER - TY - JOUR T1 - The local index formula for SUq(2) JF - K-Theory 35 (2005) 375-394 Y1 - 2005 A1 - Walter van Suijlekom A1 - Ludwik Dabrowski A1 - Giovanni Landi A1 - Andrzej Sitarz A1 - Joseph C. Varilly AB - We discuss the local index formula of Connes-Moscovici for the isospectral noncommutative geometry that we have recently constructed on quantum SU(2). We work out the cosphere bundle and the dimension spectrum as well as the local cyclic cocycles yielding the index formula. UR - http://hdl.handle.net/1963/1713 U1 - 2438 U2 - Mathematics U3 - Mathematical Physics 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 - The spectral geometry of the equatorial Podles sphere JF - C. R. Math. 340 (2005) 819-822 Y1 - 2005 A1 - Ludwik Dabrowski A1 - Giovanni Landi A1 - Mario Paschke A1 - Andrzej Sitarz AB - We propose a slight modification of the properties of a spectral geometry a la Connes, which allows for some of the algebraic relations to be satisfied only modulo compact operators. On the equatorial Podles sphere we construct suq2-equivariant Dirac operator and real structure which satisfy these modified properties. UR - http://hdl.handle.net/1963/2275 U1 - 1972 U2 - Mathematics U3 - Mathematical Physics ER - TY - JOUR T1 - Semi-cooperative strategies for differential games JF - Internat. J. Game Theory 32 (2004) 561-593 Y1 - 2004 A1 - Alberto Bressan A1 - Wen Shen AB - The paper is concerned with a non-cooperative differential game for two players. We first consider Nash equilibrium solutions in feedback form. In this case, we show that the Cauchy problem for the value functions is generically ill-posed. Looking at vanishing viscosity approximations, one can construct special solutions in the form of chattering controls, but these also appear to be unstable. In the second part of the paper we propose an alternative \\\"semi-cooperative\\\" pair of strategies for the two players, seeking a Pareto optimum instead of a Nash equilibrium. In this case, we prove that the corresponding Hamiltonian system for the value functions is always weakly hyperbolic. PB - Springer UR - http://hdl.handle.net/1963/2893 U1 - 1807 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Small BV solutions of hyperbolic noncooperative differential games JF - SIAM J. Control Optim. 43 (2004) 194-215 Y1 - 2004 A1 - Alberto Bressan A1 - Wen Shen AB - The paper is concerned with an n-persons differential game in one space dimension. We state conditions for which the system of Hamilton-Jacobi equations for the value functions is strictly hyperbolic. In the positive case, we show that the weak solution of a corresponding system of conservation laws determines an n-tuple of feedback strategies. These yield a Nash equilibrium solution to the non-cooperative differential game. PB - SIAM UR - http://hdl.handle.net/1963/2917 U1 - 1783 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Effective dynamics for Bloch electrons: Peierls substitution and beyond Y1 - 2003 A1 - Gianluca Panati A1 - Herbert Spohn A1 - Stefan Teufel AB - We consider an electron moving in a periodic potential and subject to an additional slowly varying external electrostatic potential, $\\\\phi(\\\\epsi x)$, and vector potential $A(\\\\epsi x)$, with $x \\\\in \\\\R^d$ and $\\\\epsi \\\\ll 1$. We prove that associated to an isolated family of Bloch bands there exists an almost invariant subspace of $L^2(\\\\R^d)$ and an effective Hamiltonian governing the evolution inside this subspace to all orders in $\\\\epsi$. To leading order the effective Hamiltonian is given through the Peierls substitution. We explicitly compute the first order correction. From a semiclassical analysis of this effective quantum Hamiltonian we establish the first order correction to the standard semiclassical model of solid state physics. PB - Springer UR - http://hdl.handle.net/1963/3040 U1 - 1293 U2 - Mathematics U3 - Mathematical Physics ER - TY - JOUR T1 - On the local structure of optimal trajectories in R3 JF - SIAM J. Control Optim. 42 (2003) 513-531 Y1 - 2003 A1 - Andrei A. Agrachev A1 - Mario Sigalotti AB - We analyze the structure of a control function u(t) corresponding to an optimal trajectory for the system $\\\\dot q =f(q)+u\\\\, g(q)$ in a three-dimensional manifold, near a point where some nondegeneracy conditions are satisfied. The kind of optimality which is studied includes time-optimality. The control turns out to be the concatenation of some bang and some singular arcs. Studying the index of the second variation of the switching times, the number of such arcs is bounded by four. PB - SISSA Library UR - http://hdl.handle.net/1963/1612 U1 - 2506 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - THES T1 - Single-Input Control Affine Systems: Local Regularity of Optimal Trajectories and a Geometric Controllability Problem Y1 - 2003 A1 - Mario Sigalotti PB - SISSA UR - http://hdl.handle.net/1963/5342 U1 - 5170 U2 - Mathematics U3 - Functional Analysis and Applications U4 - -1 ER - TY - JOUR T1 - Space-adiabatic perturbation theory JF - Adv. Theor. Math. Phys. 7 (2003) 145-204 Y1 - 2003 A1 - Gianluca Panati A1 - Herbert Spohn A1 - Stefan Teufel AB - We study approximate solutions to the Schr\\\\\\\"odinger equation $i\\\\epsi\\\\partial\\\\psi_t(x)/\\\\partial t = H(x,-i\\\\epsi\\\\nabla_x) \\\\psi_t(x)$ with the Hamiltonian given as the Weyl quantization of the symbol $H(q,p)$ taking values in the space of bounded operators on the Hilbert space $\\\\Hi_{\\\\rm f}$ of fast ``internal\\\'\\\' degrees of freedom. By assumption $H(q,p)$ has an isolated energy band. Using a method of Nenciu and Sordoni \\\\cite{NS} we prove that interband transitions are suppressed to any order in $\\\\epsi$. As a consequence, associated to that energy band there exists a subspace of $L^2(\\\\mathbb{R}^d,\\\\Hi _{\\\\rm f})$ almost invariant under the unitary time evolution. We develop a systematic perturbation scheme for the computation of effective Hamiltonians which govern approximately the intraband time evolution. As examples for the general perturbation scheme we discuss the Dirac and Born-Oppenheimer type Hamiltonians and we reconsider also the time-adiabatic theory. PB - International Press UR - http://hdl.handle.net/1963/3041 U1 - 1292 U2 - Mathematics U3 - Mathematical Physics ER - TY - JOUR T1 - The passage from nonconvex discrete systems to variational problems in Sobolev spaces: the one-dimensional case JF - Proc. Steklov Inst. Math. 236 (2002) 395-414 Y1 - 2002 A1 - Andrea Braides A1 - Maria Stella Gelli A1 - Mario Sigalotti PB - MAIK Nauka/Interperiodica UR - http://hdl.handle.net/1963/3130 U1 - 1203 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Space-adiabatic perturbation theory in quantum dynamics JF - Physical review letters. 2002 Jun; 88(25 Pt 1):250405 Y1 - 2002 A1 - Gianluca Panati A1 - Herbert Spohn A1 - Stefan Teufel AB - A systematic perturbation scheme is developed for approximate solutions to the time-dependent Schrödinger equation with a space-adiabatic Hamiltonian. For a particular isolated energy band, the basic approach is to separate kinematics from dynamics. The kinematics is defined through a subspace of the full Hilbert space for which transitions to other band subspaces are suppressed to all orders, and the dynamics operates in that subspace in terms of an effective intraband Hamiltonian. As novel applications, we discuss the Born-Oppenheimer theory to second order and derive for the first time the nonperturbative definition of the g factor of the electron within nonrelativistic quantum electrodynamics. PB - American Physical Society UR - http://hdl.handle.net/1963/5985 U1 - 5841 U2 - Mathematics U3 - Mathematical Physics U4 - -1 ER - TY - JOUR T1 - Dirac operator on the standard Podles quantum sphere JF - Noncommutative geometry and quantum groups (Warsaw 2001),49,Banach Center Publ., 61, Polish Acad.Sci., Warsaw,2003 Y1 - 2001 A1 - Ludwik Dabrowski A1 - Andrzej Sitarz PB - SISSA Library UR - http://hdl.handle.net/1963/1668 U1 - 2450 U2 - Mathematics U3 - Mathematical Physics ER - TY - JOUR T1 - A monotonicity approach to nonlinear Dirichlet problems in perforated domains JF - Adv. Math. Sci. Appl. 11 (2001) 721-751 Y1 - 2001 A1 - Gianni Dal Maso A1 - Igor V. Skrypnik AB - We study the asymptotic behaviour of solutions to Dirichlet problems in perforated domains for nonlinear elliptic equations associated with monotone operators. The main difference with respect to the previous papers on this subject is that no uniformity is assumed in the monotonicity condition. Under a very general hypothesis on the holes of the domains, we construct a limit equation, which is satisfied by the weak limits of the solutions. The additional term in the limit problem depends only on the local behaviour of the holes, which can be expressed in terms of suitable nonlinear capacities associated with the monotone operator. PB - SISSA Library UR - http://hdl.handle.net/1963/1555 U1 - 2563 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Multiplicity results for some nonlinear Schrodinger equations with potentials JF - Arch. Ration. Mech. An., 2001, 159, 253 Y1 - 2001 A1 - Antonio Ambrosetti A1 - Andrea Malchiodi A1 - Simone Secchi PB - SISSA Library UR - http://hdl.handle.net/1963/1564 U1 - 2554 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - On the spreading of characteristics for non-convex conservation laws JF - Proc. Roy. Soc. Edinburgh Sect. A 131 (2001) 909-925 Y1 - 2001 A1 - Helge Kristian Jenssen A1 - Carlo Sinestrari AB - We study the spreading of characteristics for a class of one-dimensional scalar conservation laws for which the flux function has one point of inflection. It is well known that in the convex case the characteristic speed satisfies a one-sided Lipschitz estimate. Using Dafermos\\\' theory of generalized characteristics, we show that the characteristic speed in the non-convex case satisfies an Hölder estimate. In addition, we give a one-sided Lipschitz estimate with an error term given by the decrease of the total variation of the solution. PB - Cambridge University Press UR - http://hdl.handle.net/1963/3265 U1 - 1436 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - BV estimates for multicomponent chromatography with relaxation JF - Discrete Contin. Dynam. Systems 6 (2000) 21-38 Y1 - 2000 A1 - Alberto Bressan A1 - Wen Shen AB - We consider the Cauchy problem for a system of $2n$ balance laws which arises from the modelling of multi-component chromatography: $$\\\\left\\\\{ \\\\eqalign{u_t+u_x&=-{1\\\\over\\\\ve}\\\\big( F(u)-v\\\\big),\\\\cr v_t&={1\\\\over\\\\ve}\\\\big( F(u)-v\\\\big),\\\\cr}\\\\right. \\\\eqno(1)$$ This model describes a liquid flowing with unit speed over a solid bed. Several chemical substances are partly dissolved in the liquid, partly deposited on the solid bed. Their concentrations are represented respectively by the vectors $u=(u_1,\\\\ldots,u_n)$ and $v=(v_1,\\\\ldots,v_n)$. We show that, if the initial data have small total variation, then the solution of (1) remains with small variation for all times $t\\\\geq 0$. Moreover, using the $\\\\L^1$ distance, this solution depends Lipschitz continuously on the initial data, with a Lipschitz constant uniform w.r.t.~$\\\\ve$. Finally we prove that as $\\\\ve\\\\to 0$, the solutions of (1) converge to a limit described by the system $$\\\\big(u+F(u)\\\\big)_t+u_x=0,\\\\qquad\\\\qquad v=F(u).\\\\eqno(2)$$ The proof of the uniform BV estimates relies on the application of probabilistic techniques. It is shown that the components of the gradients $v_x,u_x$ can be interpreted as densities of random particles travelling with speed 0 or 1. The amount of coupling between different components is estimated in terms of the expected number of crossing of these random particles. This provides a first example where BV estimates are proved for general solutions to a class of $2n\\\\times 2n$ systems with relaxation. PB - SISSA Library UR - http://hdl.handle.net/1963/1336 U1 - 3119 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Decomposing quantum fields on branes JF - Nuclear Phys. B Y1 - 2000 A1 - Marco Bertola A1 - Bros, Jacques A1 - Gorini, Vittorio A1 - Moschella, Ugo A1 - Schaeffer, Richard VL - 581 ER - TY - JOUR T1 - A general construction of conformal field theories from scalar anti-de Sitter quantum field theories JF - Nuclear Phys. B Y1 - 2000 A1 - Marco Bertola A1 - Bros, Jacques A1 - Moschella, Ugo A1 - Schaeffer, Richard VL - 587 ER - TY - JOUR T1 - High-order Averaging and Stability of Time-Varying Systems Y1 - 2000 A1 - Andrey Sarychev PB - SISSA Library UR - http://hdl.handle.net/1963/1465 U1 - 3075 U2 - Mathematics U3 - Functional Analysis and Applications 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 - Asymptotic behaviour of nonlinear elliptic higher order equations in perforated domains JF - Journal d\\\'Analyse Mathematique, Volume 79, 1999, Pages: 63-112 Y1 - 1999 A1 - Gianni Dal Maso A1 - Igor V. Skrypnik SN - 1618-1891 UR - http://hdl.handle.net/1963/6433 U1 - 6374 U2 - Mathematics U4 - 1 U5 - MAT/05 ANALISI MATEMATICA ER - TY - JOUR T1 - Blowup asymptotics for scalar conservation laws with a source JF - Comm. in Partial Differential Equations 24 (1999) 2237-2261 Y1 - 1999 A1 - Helge Kristian Jenssen A1 - Carlo Sinestrari PB - Taylor and Francis UR - http://hdl.handle.net/1963/3482 U1 - 782 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Categorial mirror symmetry for K3 surfaces JF - Comm. Math. Phys. 206 (1999) 265-272 Y1 - 1999 A1 - Claudio Bartocci A1 - Ugo Bruzzo A1 - Guido Sanguinetti AB - We study the structure of a modified Fukaya category ${\\\\frak F}(X)$ associated with a K3 surface $X$, and prove that whenever $X$ is an elliptic K3 surface with a section, the derived category of $\\\\fF(X)$ is equivalent to a subcategory of the derived category ${\\\\bold D}(\\\\hat X)$ of coherent sheaves on the mirror K3 surface $\\\\hat X$. PB - Springer UR - http://hdl.handle.net/1963/2887 U1 - 1813 U2 - Mathematics U3 - Mathematical Physics ER - TY - JOUR T1 - Correspondence between Minkowski and de Sitter quantum field theory JF - Phys. Lett. B Y1 - 1999 A1 - Marco Bertola A1 - Gorini, Vittorio A1 - Moschella, Ugo A1 - Schaeffer, Richard VL - 462 ER - TY - JOUR T1 - Asymptotic behavior of nonlinear Dirichlet problems in perforated domains JF - Ann. Mat. Pura Appl. (4) 174 (1998), 13--72 Y1 - 1998 A1 - Gianni Dal Maso A1 - Igor V. Skrypnik PB - SISSA Library UR - http://hdl.handle.net/1963/1064 U1 - 2738 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Generation of primordial fluctuations in curved spaces JF - Gravit. Cosmol. Y1 - 1998 A1 - Schaeffer, Richard A1 - Moschella, Ugo A1 - Marco Bertola A1 - Gorini, Vittorio VL - 4 ER - TY - JOUR T1 - Mirror Symmetry on K3 Surfaces as a Hyper-Kähler Rotation JF - Lett. Math. Phys. 45 (1998) 295-301 Y1 - 1998 A1 - Ugo Bruzzo A1 - Guido Sanguinetti AB - We show that under the hypotheses of Strominger, Yau and Zaslow\\\'s paper, a mirror partner of a K3 surface $X$ with a fibration in special Lagrangian tori can be obtained by rotating the complex structure of $X$ within its hyperk\\\\\\\"ahler family of complex structures. The same hypotheses force the B-field to vanish. PB - Springer UR - http://hdl.handle.net/1963/2888 U1 - 1812 U2 - Mathematics U3 - Mathematical Physics ER - TY - JOUR T1 - Uniqueness for discontinuous ODE and conservation laws JF - Nonlinear Analysis 34 (1998) 637-652 Y1 - 1998 A1 - Alberto Bressan A1 - Wen Shen AB - Consider a scalar O.D.E. of the form $\\\\dot x=f(t,x),$ where $f$ is possibly discontinuous w.r.t. both variables $t,x$. Under suitable assumptions, we prove that the corresponding Cauchy problem admits a unique solution, which depends H\\\\\\\"older continuously on the initial data.\\nOur result applies in particular to the case where $f$ can be written in the form $f(t,x)\\\\doteq g\\\\big( u(t,x)\\\\big)$, for some function $g$ and some solution $u$ of a scalar conservation law, say $u_t+F(u)_x=0$. In turn, this yields the uniqueness and continuous dependence of solutions to a class of $2\\\\times 2$ strictly hyperbolic systems, with initial data in $\\\\L^\\\\infty$. PB - Elsevier UR - http://hdl.handle.net/1963/3699 U1 - 606 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Capacity theory for monotone operators JF - Potential Anal. 7 (1997), no. 4, 765-803 Y1 - 1997 A1 - Gianni Dal Maso A1 - Igor V. Skrypnik AB - If $Au=-div(a(x,Du))$ is a monotone operator defined on the Sobolev space $W^{1,p}(R^n)$, $1< p <+\\\\infty$, with $a(x,0)=0$ for a.e. $x\\\\in R^n$, the capacity $C_A(E,F)$ relative to $A$ can be defined for every pair $(E,F)$ of bounded sets in $R^n$ with $E\\\\subset F$. We prove that $C_A(E,F)$ is increasing and countably subadditive with respect to $E$ and decreasing with respect to $F$. Moreover we investigate the continuity properties of $C_A(E,F)$ with respect to $E$ and $F$. PB - Springer UR - http://hdl.handle.net/1963/911 U1 - 2880 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Three-Phase Solutions of the Kadomtsev - Petviashvili Equation JF - Studies in Applied Mathematics. Year : 1997 ; Volume: 99 ; Issue: 2 ; Pages: 137-203 Y1 - 1997 A1 - Boris Dubrovin A1 - Ron Flickinger A1 - Harvey Segur AB - The Kadomtsev]Petviashvili KP. equation is known to admit explicit periodic\\r\\nand quasiperiodic solutions with N independent phases, for any integer\\r\\nN, based on a Riemann theta-function of N variables. For Ns1 and 2,\\r\\nthese solutions have been used successfully in physical applications. This\\r\\narticle addresses mathematical problems that arise in the computation of\\r\\ntheta-functions of three variables and with the corresponding solutions of\\r\\nthe KP equation. We identify a set of parameters and their corresponding\\r\\nranges, such that e¨ery real-valued, smooth KP solution associated with a\\r\\nRiemann theta-function of three variables corresponds to exactly one choice\\r\\nof these parameters in the proper range. Our results are embodied in a\\r\\nprogram that computes these solutions efficiently and that is available to the\\r\\nreader. We also discuss some properties of three-phase solutions. PB - SISSA UR - http://hdl.handle.net/1963/6484 U1 - 6426 U2 - Mathematics U4 - 1 U5 - MAT/07 FISICA MATEMATICA ER - TY - JOUR T1 - Integrable functional equations and algebraic geometry JF - Duke Mathematical Journal. Volume: 76, Issue: 2, Pages: 645-668 Y1 - 1994 A1 - Boris Dubrovin A1 - A.S. Fokas A1 - P.M. Santini PB - SISSA UR - http://hdl.handle.net/1963/6482 U1 - 6428 U2 - Mathematics U4 - 1 U5 - MAT/03 GEOMETRIA ER - TY - JOUR T1 - A variational method in image segmentation: existence and approximation result JF - Acta Math. 168 (1992), no.1-2, p. 89-151 Y1 - 1992 A1 - Gianni Dal Maso A1 - Jean-Michel Morel A1 - Sergio Solimini PB - SISSA Library UR - http://hdl.handle.net/1963/808 U1 - 2983 U2 - Mathematics U3 - Functional Analysis and Applications ER -