Optimal polynomial decay of functions and operator semigroups

We characterize the polynomial decay of orbits of Hilbert space $C_0$-semigroups in resolvent terms. We also show that results of the same type for general Banach space semigroups and functions obtained recently in the paper by C.J.K.Batty and T.Duyckaerts, Non-uniform stability for bounded semi-groups on Banach spaces (J. Evol. Eq. 2008), are sharp. This settles a conjecture posed in the paper by C.J.K.Batty and T.Duyckaerts.Comment: 21 pages, to appear in Matematische Annale

The wave front set of the Fourier transform of algebraic measures

We study the Fourier transform of the absolute value of a polynomial on a finite-dimensional vector space over a local field of characteristic 0. We prove that this transform is smooth on an open dense set. We prove this result for the Archimedean and the non-Archimedean case in a uniform way. The Archimedean case was proved in [Ber]. The non-Archimedean case was proved in [HK] and [CL]. Our method is different from those described in [Ber,HK,CL]. It is based on Hironaka's desingularization theorem, unlike [Ber] which is based on the theory of D-modules and [HK,CL] which is based on model theory. Our method also gives bounds on the open dense set where the Fourier transform is smooth. These bounds are explicit in terms of resolution of singularities. We also prove the same result on the Fourier transform of other measures of algebraic origins.Comment: 40 page

SMART-UQ : uncertainty quantification toolbox for generalised intrusive and non intrusive polynomial algebra

The paper is presenting a newly developed modular toolbox named Strathclyde Mechanical and Aerospace Research Toolbox for Uncertainty Quantification (SMART-UQ) that implements a collection of intrusive and non intrusive techniques for polynomial approximation and propagation of uncertainties. Non intrusive methods build the polynomial approximation of the uncertain states through sampling of the uncertain parameters space and interpolation. Intrusive methods redefine operators in the states model and perform the states evaluation according to the newly defined operators. The main advantage of non intrusive methods is their range of applicability since the model is treated as a black box hence no regularity is required. On the other hand, they suffer from the curse of dimensionality when the number of required sample points increases. Intrusive techniques are able to overcome this limitation since they have lower computational cost than their corresponding non intrusive counterpart. Nevertheless, intrusive methods are harder to implement and cannot treat the model as a black box. Moreover intrusive methods are able to propagate nonlinear regions of uncertainties while non intrusive methods rely on hypercubes sampling. The most widely known intrusive method for uncertainty propagation in orbital dynamics is Taylor Differential Algebra. The same idea has been generalized to Tchebycheff and Newton polynomial basis because of their fast uniform convergence with relaxed continuity and smoothness requirements. However the SMART-UQ toolbox has been designed in a flexible way to allow further extension of the intrusive and non-intrusive methods to other basis. The Generalized Intrusive Polynomial Expansion (GIPE) approach, implemented in the toolbox and presented here in the paper, expands the uncertain quantities in a polynomial series in the chosen basis and propagates them through the dynamics using a multivariate polynomial algebra. Hence the operations that usually are performed in the space of real numbers are now performed in the algebra of polynomials therefore a polynomial representation of the uncertain states is available at each integration step. To improve the computational complexity of the method, arithmetic operations are performed in the monomial basis. Therefore a transformation between the chosen basis and the monomial basis is performed after the expansion of the elementary functions. Non intrusive methods have been implemented for a set of sampling techniques (Halton, Sobol, Latin Hypercube) for interpolation in the complete polynomial basis as well as on sparse grid for a reduced set of basis. In the paper the different intrusive and non intrusive techniques integrated in SMART-UQ will be presented together with the architectural design of the toolbox. Test cases on propagation of uncertainties in space dynamics with the corresponding intrusive and non intrusive approaches will be discussed in terms of computational cost and accuracy