Coronary artery bypass grafts (CABG) surgery is an invasive procedure performed to circumvent partial or complete blood flow blockage in coronary artery disease. In this work, we apply a numerical optimal flow control model to patient-specific geometries of CABG, reconstructed from clinical images of real-life surgical cases, in parameterized settings. The aim of these applications is to match known physiological data with numerical hemodynamics corresponding to different scenarios, arisen by tuning some parameters. Such applications are an initial step toward matching patient-specific physiological data in patient-specific vascular geometries as best as possible. Two critical challenges that reportedly arise in such problems are: (a) lack of robust quantification of meaningful boundary conditions required to match known data as best as possible and (b) high computational cost. In this work, we utilize unknown control variables in the optimal flow control problems to take care of the first challenge. Moreover, to address the second challenge, we propose a time-efficient and reliable computational environment for such parameterized problems by projecting them onto a low-dimensional solution manifold through proper orthogonal decomposition-Galerkin.

1 aZainib, Zakia1 aBallarin, Francesco1 aFremes, Stephen, E.1 aTriverio, Piero1 aJiménez-Juan, Laura1 aRozza, Gianluigi uhttps://www.scopus.com/inward/record.uri?eid=2-s2.0-85087646515&doi=10.1002%2fcnm.3367&partnerID=40&md5=3713db6d2b8f9d079b5534445621decf00590nas a2200157 4500008004100000245009800041210006900139300001400208490000700222100001600229700001700245700001400262700001700276700001400293856012500307 2016 eng d00aError Estimates of B-spline based finite-element method for the wind-driven ocean circulation0 aError Estimates of Bspline based finiteelement method for the wi a430–4590 v691 aRotundo, N.1 aKim, T., -Y.1 aJiang, W.1 aHeltai, Luca1 aFried, E. uhttps://www.math.sissa.it/publication/error-estimates-b-spline-based-finite-element-method-wind-driven-ocean-circulation00467nas a2200109 4500008004100000245009200041210006900133300001200202490000800214100002000222856011500242 2016 eng d00aNew existence results for the mean field equation on compact surfaces via degree theory0 aNew existence results for the mean field equation on compact sur a11–170 v1361 aJevnikar, Aleks uhttps://www.math.sissa.it/publication/new-existence-results-mean-field-equation-compact-surfaces-degree-theory00476nas a2200121 4500008004100000245008400041210006900125260001500194300001400209490000700223100002000230856010400250 2016 eng d00aA note on a multiplicity result for the mean field equation on compact surfaces0 anote on a multiplicity result for the mean field equation on com bDe Gruyter a221–2290 v161 aJevnikar, Aleks uhttps://www.math.sissa.it/publication/note-multiplicity-result-mean-field-equation-compact-surfaces01202nas a2200133 4500008004100000245004900041210004800090300001200138490000700150520084200157100001300999700001801012856003801030 2015 eng d00aComplexity of Control-Affine Motion Planning0 aComplexity of ControlAffine Motion Planning a816-8440 v533 aIn this paper we study the complexity of the motion planning problem for control-affine systems. Such complexities are already defined and rather well understood in the particular case of nonholonomic (or sub-Riemannian) systems. Our aim is to generalize these notions and results to systems with a drift. Accordingly, we present various definitions of complexity, as functions of the curve that is approximated, and of the precision of the approximation. Due to the lack of time-rescaling invariance of these systems, we consider geometric and parametrized curves separately. Then, we give some asymptotic estimates for these quantities. As a byproduct, we are able to treat the long time local controllability problem, giving quantitative estimates on the cost of stabilizing the system near a nonequilibrium point of the drift.

1 aJean, F.1 aPrandi, Dario uhttps://doi.org/10.1137/13095079301381nas a2200205 4500008004100000022001400041245007100055210006900126300001400195490000800209520074400217653001900961653002200980653002401002100002001026700002001046700002201066700001601088856007101104 2015 eng d a0001-870800aA general existence result for the Toda system on compact surfaces0 ageneral existence result for the Toda system on compact surfaces a937 - 9790 v2853 aIn this paper we consider the following Toda system of equations on a compact surface:−Δu1=2ρ1(h1eu1∫Σh1eu1dVg−1)−ρ2(h2eu2∫Σh2eu2dVg−1)−Δu1=−4π∑j=1mα1,j(δpj−1),−Δu2=2ρ2(h2eu2∫Σh2eu2dVg−1)−ρ1(h1eu1∫Σh1eu1dVg−1)−Δu2=−4π∑j=1mα2,j(δpj−1), which is motivated by the study of models in non-abelian Chern–Simons theory. Here h1,h2 are smooth positive functions, ρ1,ρ2 two positive parameters, pi points of the surface and α1,i,α2,j non-negative numbers. We prove a general existence result using variational methods. The same analysis applies to the following mean field equation−Δu=ρ1(heu∫ΣheudVg−1)−ρ2(he−u∫Σhe−udVg−1), which arises in fluid dynamics."

10aGeometric PDEs10aMin–max schemes10aVariational methods1 aBattaglia, Luca1 aJevnikar, Aleks1 aMalchiodi, Andrea1 aRuiz, David uhttp://www.sciencedirect.com/science/article/pii/S000187081500307200591nas a2200145 4500008004100000245009500041210006900136260003700205300001600242490000600258100002000264700001800284700002200302856012100324 2015 eng d00aA topological join construction and the Toda system on compact surfaces of arbitrary genus0 atopological join construction and the Toda system on compact sur bMathematical Sciences Publishers a1963–20270 v81 aJevnikar, Aleks1 aKallel, Sadok1 aMalchiodi, Andrea uhttps://www.math.sissa.it/publication/topological-join-construction-and-toda-system-compact-surfaces-arbitrary-genus00409nas a2200109 4500008004100000245005900041210005900100260001000159653001600169100002000185856009400205 2015 en d00aVariational aspects of Liouville equations and systems0 aVariational aspects of Liouville equations and systems bSISSA10aToda system1 aJevnikar, Aleks uhttps://www.math.sissa.it/publication/variational-aspects-liouville-equations-and-systems01580nas a2200157 4500008004100000245009300041210006900134260002800203520103900231100001901270700001901289700002101308700002001329700002201349856005101371 2014 en d00aConformal invariants from nodal sets. I. negative eigenvalues and curvature prescription0 aConformal invariants from nodal sets I negative eigenvalues and bOxford University Press3 aIn this paper, we study conformal invariants that arise from nodal sets and negative eigenvalues of conformally covariant operators; more specifically, the Graham, Jenne, Mason, and Sparling (GJMS) operators, which include the Yamabe and Paneitz operators. We give several applications to curvature prescription problems. We establish a version in conformal geometry of Courant's Nodal Domain Theorem. We also show that on any manifold of dimension n≥3, there exist many metrics for which our invariants are nontrivial. We prove that the Yamabe operator can have an arbitrarily large number of negative eigenvalues on any manifold of dimension n≥3. We obtain similar results for some higher order GJMS operators on some Einstein and Heisenberg manifolds. We describe the invariants arising from the Yamabe and Paneitz operators associated to left-invariant metrics on Heisenberg manifolds. Finally, in Appendix, the second named author and Andrea Malchiodi study the Q-curvature prescription problems for noncritical Q-curvatures.1 aGover, Rod, R.1 aCanzani, Yaiza1 aJakobson, Dmitry1 aPonge, Raphaël1 aMalchiodi, Andrea uhttp://urania.sissa.it/xmlui/handle/1963/3512801082nas a2200145 4500008004100000245007200041210006900113300001400182490000800196520057300204100001600777700002100793700002100814856010100835 2014 eng d00aAn improvement on geometrical parameterizations by transfinite maps0 aimprovement on geometrical parameterizations by transfinite maps a263–2680 v3523 aWe present a method to generate a non-affine transfinite map from a given reference domain to a family of deformed domains. The map is a generalization of the Gordon-Hall transfinite interpolation approach. It is defined globally over the reference domain. Once we have computed some functions over the reference domain, the map can be generated by knowing the parametric expressions of the boundaries of the deformed domain. Being able to define a suitable map from a reference domain to a desired deformation is useful for the management of parameterized geometries.1 aJäggli, C.1 aIapichino, Laura1 aRozza, Gianluigi uhttps://www.math.sissa.it/publication/improvement-geometrical-parameterizations-transfinite-maps01605nas a2200121 4500008004100000245008400041210006900125260002200194520117200216100002001388700002401408856005101432 2014 en d00aSemiclassical limit of focusing NLS for a family of square barrier initial data0 aSemiclassical limit of focusing NLS for a family of square barri bWiley Periodicals3 aThe small dispersion limit of the focusing nonlinear Schrödinger equation (NLS) exhibits a rich structure of sharply separated regions exhibiting disparate rapid oscillations at microscopic scales. The non-self-adjoint scattering problem and ill-posed limiting Whitham equations associated to focusing NLS make rigorous asymptotic results difficult. Previous studies have focused on special classes of analytic initial data for which the limiting elliptic Whitham equations are wellposed. In this paper we consider another exactly solvable family of initial data,the family of square barriers,ψ 0(x) = qχ[-L,L] for real amplitudes q. Using Riemann-Hilbert techniques, we obtain rigorous pointwise asymptotics for the semiclassical limit of focusing NLS globally in space and up to an O(1) maximal time. In particular, we show that the discontinuities in our initial data regularize by the immediate generation of genus-one oscillations emitted into the support of the initial data. To the best of our knowledge, this is the first case in which the genus structure of the semiclassical asymptotics for focusing NLS have been calculated for nonanalytic initial data.1 aJenkins, Robert1 aMcLaughlin, Kenneth uhttp://urania.sissa.it/xmlui/handle/1963/3506600556nas a2200121 4500008004100000245010500041210006900146260005100215300001600266490000800282100002000290856012400310 2013 eng d00aAn existence result for the mean-field equation on compact surfaces in a doubly supercritical regime0 aexistence result for the meanfield equation on compact surfaces bRoyal Society of Edinburgh Scotland Foundation a1021–10450 v1431 aJevnikar, Aleks uhttps://www.math.sissa.it/publication/existence-result-mean-field-equation-compact-surfaces-doubly-supercritical-regime01295nas a2200133 4500008004100000245005500041210005200096260001000148520090800158100002001066700002401086700001501110856003601125 2012 en d00aVertices, vortices & interacting surface operators0 aVertices vortices interacting surface operators bSISSA3 aWe show that the vortex moduli space in non-abelian supersymmetric N=(2,2) gauge theories on the two dimensional plane with adjoint and anti-fundamental matter can be described as an holomorphic submanifold of the instanton moduli space in four dimensions. The vortex partition functions for these theories are computed via equivariant localization. We show that these coincide with the field theory limit of the topological vertex on the strip with boundary conditions corresponding to column diagrams. Moreover, we resum the field theory limit of the vertex partition functions in terms of generalized hypergeometric functions formulating their AGT dual description as interacting surface operators of simple type. Analogously we resum the topological open string amplitudes in terms of q-deformed generalized hypergeometric functions proving that they satisfy appropriate finite difference equations.1 aBonelli, Giulio1 aTanzini, Alessandro1 aJian, Zhao uhttp://hdl.handle.net/1963/413400991nas a2200169 4500008004100000245009900041210006900140260001300209300001200222490000800234520046000242100002100702700002300723700002000746700001900766856003600785 2011 en d00aThe sphere and the cut locus at a tangency point in two-dimensional almost-Riemannian geometry0 asphere and the cut locus at a tangency point in twodimensional a bSpringer a141-1610 v17 3 aWe study the tangential case in 2-dimensional almost-Riemannian geometry. We\\r\\nanalyse the connection with the Martinet case in sub-Riemannian geometry. We\\r\\ncompute estimations of the exponential map which allow us to describe the\\r\\nconjugate locus and the cut locus at a tangency point. We prove that this last\\r\\none generically accumulates at the tangency point as an asymmetric cusp whose branches are separated by the singular set.

1 aBonnard, Bernard1 aCharlot, Grégoire1 aGhezzi, Roberta1 aJanin, Gabriel uhttp://hdl.handle.net/1963/491401270nas a2200133 4500008004300000245010000043210006900143520080600212100002001018700002401038700002401062700001401086856003601100 2009 en_Ud 00aDecoupling A and B model in open string theory: topological adventures in the world of tadpoles0 aDecoupling A and B model in open string theory topological adven3 aIn this paper we analyze the problem of tadpole cancellation in open topological strings. We prove that the inclusion of unorientable worldsheet diagrams guarantees a consistent decoupling of A and B model for open superstring amplitudes at all genera. This is proven by direct microscopic computation in Super Conformal Field Theory. For the B-model we explicitly calculate one loop amplitudes in terms of analytic Ray-Singer torsions of appropriate vector bundles and obtain that the decoupling corresponds to the cancellation of D-brane and orientifold charges. Local tadpole cancellation on the worldsheet then guarantees the decoupling at all loops. The holomorphic anomaly equations for open topological strings at one loop are also obtained and compared with the results of the Quillen formula.1 aBonelli, Giulio1 aPrudenziati, Andrea1 aTanzini, Alessandro1 aJie, Yang uhttp://hdl.handle.net/1963/363200820nas a2200121 4500008004300000245004900043210004800092520045600140100001700596700002100613700002800634856003600662 2007 en_Ud 00aBV instability for the Lax-Friedrichs scheme0 aBV instability for the LaxFriedrichs scheme3 aIt is proved that discrete shock profiles (DSPs) for the Lax-Friedrichs scheme for a system of conservation laws do not necessarily depend continuously in BV on their speed. We construct examples of $2 \\\\times 2$-systems for which there are sequences of DSPs with speeds converging to a rational number. Due to a resonance phenomenon, the difference between the limiting DSP and any DSP in the sequence will contain an order-one amount of variation.1 aBaiti, Paolo1 aBressan, Alberto1 aJenssen, Helge Kristian uhttp://hdl.handle.net/1963/233500891nas a2200121 4500008004300000245004100043210003800084520054500122100002100667700002800688700001700716856003600733 2006 en_Ud 00aAn instability of the Godunov scheme0 ainstability of the Godunov scheme3 aWe construct a solution to a $2\\\\times 2$ strictly hyperbolic system of conservation laws, showing that the Godunov scheme \\\\cite{Godunov59} can produce an arbitrarily large amount of oscillations. This happens when the speed of a shock is close to rational, inducing a resonance with the grid. Differently from the Glimm scheme or the vanishing viscosity method, for systems of conservation laws our counterexample indicates that no a priori BV bounds or $L^1$ stability estimates can in general be valid for finite difference schemes.1 aBressan, Alberto1 aJenssen, Helge Kristian1 aBaiti, Paolo uhttp://hdl.handle.net/1963/218300970nas a2200121 4500008004300000245007300043210006500116260003100181520055000212100002800762700002200790856003600812 2001 en_Ud 00aOn the spreading of characteristics for non-convex conservation laws0 aspreading of characteristics for nonconvex conservation laws bCambridge University Press3 aWe 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.1 aJenssen, Helge Kristian1 aSinestrari, Carlo uhttp://hdl.handle.net/1963/326500395nas a2200109 4500008004100000245007400041210006700115260001800182100002100200700002800221856003600249 2000 en d00aOn the convergence of Godunov scheme for nonlinear hyperbolic systems0 aconvergence of Godunov scheme for nonlinear hyperbolic systems bSISSA Library1 aBressan, Alberto1 aJenssen, Helge Kristian uhttp://hdl.handle.net/1963/147300394nas a2200109 4500008004300000245006600043210006600109260002300175100002800198700002200226856003600248 1999 en_Ud 00aBlowup asymptotics for scalar conservation laws with a source0 aBlowup asymptotics for scalar conservation laws with a source bTaylor and Francis1 aJenssen, Helge Kristian1 aSinestrari, Carlo uhttp://hdl.handle.net/1963/3482