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.     

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)     

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 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.     

On a class of weak Tchebycheff systems

In this paper we study the approximation power, the existence of a normalized B-basis and the structure of a degree-raising process for spaces of the formrequiring suitable assumptions on the functions u and v. The results about degree raising are detailed for special spaces of this form which have been recently introduced in the area of CAGD.     

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     

Approximation of Integral Operators by Variable-Order Interpolation

Summary. We employ a data-sparse, recursive matrix representation, so-called -matrices, for the efficient treatment of discretized integral operators. We obtain this format using local tensor product interpolants of the kernel function and replacing high-order approximations with piecewise lower-order ones. The scheme has optimal, i.e., linear, complexity in the memory requirement and time for the matrix-vector multiplication. We present an error analysis for integral operators of order zero. In particular, we show that the optimal convergence (h) is retained for the classical double layer potential discretized with piecewise constant functions.Corrigendum This revised version was published online in February 2005 due to typesetting mistakes in the author correction process.     

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.     

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.     

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.     

Tannaka duality on quotient stacks

Let = [X/G] be the quotient stack of a scheme X by an affine group scheme G over a field k. Assume that there is a line bundle on whose underlying line bundle on X is very ample. Let VB() be the category of vector bundles on .We show that is canonically isomorphic to the stack of fiber functors on VB(). This is an analogue of the Tannaka duality for affine groups. Partially supported by CNCSIS contract no. 33079/2004     

Holomorphic dynamics near germs of singular curves

Let M be a two dimensional complex manifold, p ∈ M and a germ of holomorphic foliation of M at p. Let be a germ of an irreducible, possibly singular, curve at p in M which is a separatrix for . We prove that if the Camacho-Sad-Suwa index Ind then there exists another separatrix for at p. A similar result is proved for the existence of parabolic curves for germs of holomorphic diffeomorphisms near a curve of fixed points.     

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 .     

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 .     

Partial regularity for stationary harmonic maps at a free boundary

Let and be smooth Riemannian manifolds, of the dimension n≥2 with nonempty boundary, and compact without boundary. We consider stationary harmonic maps u ∈ H¹(, ) with a free boundary condition of the type u(∂) ⊂ Γ, given a submanifold Γ⊂. We prove partial boundary regularity, namely (sing(u))=0, a result that was until now only known in the interior of the domain (see [B]). The key of the proof is a new lemma that allows an extension of u by a reflection construction. Once the partial regularity theorem is known, it is possible to reduce the dimension of the singular set further under additional assumptions on the target manifold and the submanifold Γ.     

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.     

The Rees algebra of a positive normal affine semigroup ring

Let R be a positive normal affine semigroup ring of dimension d and let be the maximal homogeneous ideal of R. We show that the integral closure of is equal to for all n ∈ℕ with n ≥ d − 2. From this we derive that the Rees algebra R[t] is normal in case that d ≤ 3. If emb dim(R) = d + 1, we can give a necessary and sufficient condition for R[t] to be normal.     

Order and algebra isomorphisms of spaces of regular operators

If E and F are real Banach lattices and there is an algebra and order isomorphism Φ:(E) →(F) between their respective ordered Banach algebras of regular operators then there is a linear order isomorphism U:E→F such that Φ(T) =UTU⁻¹ for all T ∈ (E).     

Estimates for stable hypersurfaces of prescribed F-mean curvature

We consider immersed hypersurfaces :Mⁿ→ℝⁿ⁺¹ with prescribed anisotropic mean curvature . Such hypersurfaces can be characterized as critical points of parametric functionals of the type with an elliptic Lagrangian F depending on normal directions and a smooth vectorfield Q satisfying . We establish curvature estimates for stable hypersurfaces of dimension n≤5, provided F is C³-close to the area integrand.     

A numerical algorithm for the nonlinear Kirchhoff string equation

The initial boundary value problem is considered for the dynamic string equation . Its solution is found by means of an algorithm, the constituent parts of which are the Galerkin method, the modified Crank-Nicolson difference scheme used to perform approximation with respect to spatial and time variables, and also a Picard type iteration process for solving the system of nonlinear equations obtained by discretization. Errors of the three parts of the algorithm are estimated and, as a result, its total error estimate is obtained.