Multi-level spectral galerkin method for the navier-stokes problem I : spatial discretization

A multi-level spectral Galerkin method for the two-dimensional non-stationary Navier-Stokes equations is presented. The method proposed here is a multiscale method in which the fully nonlinear Navier-Stokes equations are solved only on a low-dimensional space subsequent approximations are generated on a succession of higher-dimensional spaces j=2, . . . ,J, by solving a linearized Navier-Stokes problem around the solution on the previous level. Error estimates depending on the kinematic viscosity 0<ν<1 are also presented for the J-level spectral Galerkin method. The optimal accuracy is achieved when We demonstrate theoretically that the J-level spectral Galerkin method is much more efficient than the standard one-level spectral Galerkin method on the highest-dimensional space . The work of this author was supported in part by the NSF of China 10371095, City University of Hong Kong Research Project 7001093 Hong Kong and the Research Grants Council of the Hong Kong Special Administrative Region, China (Project No. CityU 1084/02P)     

Orthonormal rational function vectors

Summary In this paper, we develop a matrix framework to solve the problem of finding orthonormal rational function vectors with prescribed poles with respect to a certain discrete inner product that is defined by a set of data points and corresponding weight vectors w_i,j. Our algorithm for solving the problem is recursive, and it is of complexity If all data points are real or lie on the unit circle, then the complexity is reduced by an order of magnitude.     

Fast and stable QR eigenvalue algorithms for generalized companion matrices and secular equations

Summary We introduce a class of n×n structured matrices which includes three well-known classes of generalized companion matrices: tridiagonal plus rank-one matrices (comrade matrices), diagonal plus rank-one matrices and arrowhead matrices. Relying on the structure properties of , we show that if A then A=RQ , where A=QR is the QR decomposition of A. This allows one to implement the QR iteration for computing the eigenvalues and the eigenvectors of any A with O(n) arithmetic operations per iteration and with O(n) memory storage. This iteration, applied to generalized companion matrices, provides new O(n²) flops algorithms for computing polynomial zeros and for solving the associated (rational) secular equations. Numerical experiments confirm the effectiveness and the robustness of our approach.The results of this paper were presented at the Workshop on Nonlinear Approximations in Numerical Analysis, June 22 – 25, 2003, Moscow, Russia, at the Workshop on Operator Theory and Applications (IWOTA), June 24 – 27, 2003, Cagliari, Italy, at the Workshop on Numerical Linear Algebra at Universidad Carlos III in Leganes, June 16 – 17, 2003, Leganes, Spain, at the SIAM Conference on Applied Linear Algebra, July 15 – 19, 2003, Williamsburg, VA and in the Technical Report [8]. This work was partially supported by MIUR, grant number 2002014121, and by GNCS-INDAM. This work was supported by NSF Grant CCR 9732206 and PSC CUNY Awards 66406-0033 and 65393-0034.     

Preconditioning Landweber iteration in Hilbert scales

In this paper we investigate convergence of Landweber iteration in Hilbert scales for linear and nonlinear inverse problems. As opposed to the usual application of Hilbert scales in the framework of regularization methods, we focus here on the case s≤0, which (for Tikhonov regularization) corresponds to regularization in a weaker norm. In this case, the Hilbert scale operator L^−2s appearing in the iteration acts as a preconditioner, which significantly reduces the number of iterations needed to match an appropriate stopping criterion. Additionally, we carry out our analysis under significantly relaxed conditions, i.e., we only require instead of which is the usual condition for regularization in Hilbert scales. The assumptions needed for our analysis are verified for several examples and numerical results are presented illustrating the theoretical ones. supported by the Austrian Science Foundation (FWF) under grant SFB/F013     

Fast Runge-Kutta approximation of inhomogeneous parabolic equations

The result after N steps of an implicit Runge-Kutta time discretization of an inhomogeneous linear parabolic differential equation is computed, up to accuracy ɛ, by solving only linear systems of equations. We derive, analyse, and numerically illustrate this fast algorithm.     

The optimal rate of convergence of the <Emphasis Type="Italic">p</Emphasis>-version of the boundary element method in two dimensions

Summary. We introduce the Jacobi-weighted Besov and Sobolev spaces in the one-dimensional setting. In the framework of these spaces, we analyze lower and upper bounds for approximation errors in the p-version of the boundary element method for hypersingular and weakly singular integral operators on polygons. We prove the optimal rate of convergence for the p-version in the energy norms of and respectively.Mathematics Subject Classification (2000): 65N38This author is supported by NSERC of Canada under Grant OGP0046726 and partially supported by the FONDAP Program (Chile) on Numerical Analysis during his visit of the Universidad de Concepción in 2001.This author is supported by Fondecyt project no. 1010220 and by the FONDAP Program (Chile) on Numerical Analysis.Revised version received January 28, 2004     

New shape functions for triangular p-FEM using integrated Jacobi polynomials

In this paper, the second order boundary value problem −∇·((x,y)∇u)=f is discretized by the Finite Element Method using piecewise polynomial functions of degree p on a triangular mesh. On the reference element, we define integrated Jacobi polynomials as interior ansatz functions. If is a constant function on each triangle and each triangle has straight edges, we prove that the element stiffness matrix has not more than nonzero matrix entries. An application for preconditioning is given. Numerical examples show the advantages of the proposed basis.     

Restriction of the cotangent bundle to elliptic curves and Hilbert-Kunz functions

We describe the possible restrictions of the cotangent bundle to an elliptic curve . We apply this in positive characteristic to the computation of the Hilbert-Kunz function of a homogeneous R₊-primary ideal in the graded section ring .     

Interior penalty method for the indefinite time-harmonic Maxwell equations

Summary In this paper, we introduce and analyze the interior penalty discontinuous Galerkin method for the numerical discretization of the indefinite time-harmonic Maxwell equations in the high-frequency regime. Based on suitable duality arguments, we derive a-priori error bounds in the energy norm and the L²-norm. In particular, the error in the energy norm is shown to converge with the optimal order (h^min{s,}) with respect to the mesh size h, the polynomial degree , and the regularity exponent s of the analytical solution. Under additional regularity assumptions, the L²-error is shown to converge with the optimal order (h⁺¹). The theoretical results are confirmed in a series of numerical experiments.Supported by the EPSRC (Grant GR/R76615).Supported by the Swiss National Science Foundation under project 21-068126.02.Supported in part by the Natural Sciences and Engineering Council of Canada.     

Hausdorff measures, capacities and compact composition operators

It is shown that there exist analytic self-maps ϕ of the unit disc inducing compact composition operators on the Hardy space , 1 ≤ p < ∞ such that the Hausdorff dimension of the set is one; sharpening a classical result due to Schwartz. Moreover, the same holds in the weighted Dirichlet spaces with 0 < α < 1. As a consequence, we deduce that there exist symbols ϕ inducing compact composition operators on such that the α-capacity of E_ϕ is positive, which is no longer true for those just inducing Hilbert-Schmidt composition operators on . First author is partially supported by Plan Nacional I+D grant no. BFM2003-00034, and Gobierno de Aragón research group Análisis Matemático y Aplicaciones, ref. DGA E-64 . Second author is partially supported by Plan Nacional I+D grant no. BFM2002-00571 and Junta de Andalucía RNM-314.     

Fast convolution with radial kernels at nonequispaced knots

Summary. We develop a new algorithm for the fast evaluation of linear combinations of radial functions based on the recently developed fast Fourier transform at nonequispaced knots. For smooth kernels, e.g. the Gaussian, our algorithm requires arithmetic operations. In case of singular kernels an additional regularization procedure must be incorporated and the algorithm has the arithmetic complexity if either the points y_j or the points x_k are reasonably uniformly distributed. We prove error estimates to obtain clues about the choice of the involved parameters and present numerical examples for various singular and smooth kernels in two dimensions.Mathematics Subject Classification (2000): 65T40, 65T50, 65F30Revised version received December 3, 2003     

Summing norms of identities between unitary ideals

Based on abstract interpolation, we prove asymptotic formulae for the (F,2)-summing norm of inclusions id: , where E and F are two Banach sequence spaces. Here, stands for the unitary ideal of operators on the n-dimensional Hilbert space whose singular values belong to E, and for the Hilbert-Schmidt operators. Our results are noncommutative analogues of results due to Bennett and Carl, as well as their recent generalizations to Banach sequence spaces. As an application, we give lower and upper estimates for certain s-numbers of the embeddings id: and id: . In the concluding section, we finally consider mixing norms. The second named author was supported by KBN Grant 2 P03A 042 18.     

On topological Kadec norms

We present a topological analogue of the classic Kadec Renorming Theorem, as follows. Let be two separable metric topologies on the same set X. We prove that every point in X has an -neighbourhood basis consisting of sets that are -closed if and only if there exists a function φ: X→ℝ that is -lower semi-continuous and such that is the weakest topology on X that contains and that makes φ continuous. An immediate corollary is that the class of almost n-dimensional spaces consists precisely of the graphs of lower semi-continuous functions with at most n-dimensional domains.     

Spectral multipliers for sub-Laplacians with drift on Lie groups

We study spectral multipliers of right invariant sub-Laplacians with drift on a connected Lie group G. The operators we consider are self-adjoint with respect to a positive measure , whose density with respect to the left Haar measure λ_G is a nontrivial positive character of G. We show that if p≠2 and G is amenable, then every spectral multiplier of extends to a bounded holomorphic function on a parabolic region in the complex plane, which depends on p and on the drift. When G is of polynomial growth we show that this necessary condition is nearly sufficient, by proving that bounded holomorphic functions on the appropriate parabolic region which satisfy mild regularity conditions on its boundary are spectral multipliers of . Work partially supported by the EC HARP Network “Harmonic Analysis and Related Problems”, the Progetto Cofinanziato MURST “Analisi Armonica” and the Gruppo Nazionale INdAM per l'Analisi Matematica, la Probabilità e le loro Applicazioni. Part of this work was done while the second and the third author were visiting the “Centro De Giorgi” at the Scuola Normale Superiore di Pisa, during a special trimester in Harmonic Analysis. They would like to express their gratitude to the Centro for the hospitality.     

2-universal -lattices over real quadratic fields

Let be a real quadratic field with m a square-free positive rational integer, and be the ring of integers in F. An -lattice L on a totally positive definite quadratic space V over F is called r-universal if L represents all totally positive definite -lattices l with rank r over . We prove that there exists no 2-universal -lattice over F with rank less than 6, and there exists a 2-universal -lattice over F with rank 6 if and only if m=2, 5. Moreover there exists only one 2-universal -lattice with rank 6, up to isometry, over .     

On the approximation order of extremal point methods for hyperbolic minimal energy problems

Summary. Let be an analytic Jordan curve in the unit disk We regard the hyperbolic minimal energy problem where () denotes the set of all probability measures on . There exist several extremal point discretizations of *, among others introduced by M. Tsuji (Tsuji points) or by K. Menke (hyperbolic Menke points). In the present article, it is proven that hyperbolic Menke points approach the images of roots of unity under a conformal map from onto geometrically fast if the number of points tends to infinity. This establishes a conjecture of K. Menke. In particular, explicit bounds for the approximation error are given. Finally, an effective method for the numerical determination of * providing a geometrically shrinking error bound is presented.Mathematics Subject Classification (1991): 30C85, 30E10, 31C20The notation Menke points has been introduced by D. Gaier.     

Global Solutions to the Two Dimensional Quasi-Geostrophic Equation with Critical or Super-Critical Dissipation

The two dimensional quasi-geostrophic (2D QG) equation with critical and super-critical dissipation is studied in Sobolev space H^s(ℝ²). For critical case (α=), existence of global (large) solutions in H^s is proved for s≥ when is small. This generalizes and improves the results of Constantin, D. Cordoba and Wu [4] for s = 1, 2 and the result of A. Cordoba and D. Cordoba [8] for s=. For s≥1, these solutions are also unique. The improvement for pushing s down from 1 to is somewhat surprising and unexpected. For super-critical case (α ∈ (0,)), existence and uniqueness of global (large) solution in H^s is proved when the product is small for suitable s≥2−2α, p ∈ [1,∞] and β ∈ (0,1].     

Problèmes d'extension dans les domaines convexes de type fini

Résumé Soient donnés D un domaine borné de , convexe, de type fini, X une hypersurface complexe telle que soit non vide, connexe et transverse et . Nous nous intéressons au problème suivant. Sous quelle(s) condition(s) existe-t-il telle que Φ|X = φ. Nous allons donner une condition nécessaire à l'existence de l'extension Φ puis sous une condition un peu plus forte nous montrerons la continuité d'un opérateur d'extension de type Berndtsson-Andersson.      

The theory of energy for sub-Laplacians with an application to quasi-continuity

In this paper, we provide a suitable theory for the energy where μ is a Radon measure and Γ is the fundamental solution of a sub-Laplacian on a stratified group As a significant application, we prove the quasi-continuity of superharmonic functions related to . The proofs are elementary and mostly rely on the use of appropriate mean-value formulas and mean-integral operators relevant to the Potential Theory for .