A Duchon framework for the sphere

In his fundamental paper (RAIRO Anal. Numer. 12 (1978) 325) Duchon presented a strategy for analysing the accuracy of surface spline interpolants to sufficiently smooth target functions. In the mid-1990s Duchon's strategy was revisited by Light and Wayne (J. Approx. Theory 92 (1992) 245) and Wendland (in: A. Le Méhauté, C. Rabut, L.L. Schumaker (Eds.), Surface Fitting and Multiresolution Methods, Vanderbilt Univ. Press, Nashville, 1997, pp. 337–344), who successfully used it to provide useful error estimates for radial basis function interpolation in Euclidean space. A relatively new and closely related area of interest is to investigate how well radial basis functions interpolate data which are restricted to the surface of a unit sphere. In this paper we present a modified version Duchon's strategy for the sphere; this is used in our follow up paper (Lp-error estimates for radial basis function interpolation on the sphere, preprint, 2002) to provide new Lp error estimates (p[1,∞]) for radial basis function interpolation on the sphere

Well-posedness of the Viscous Boussinesq System in Besov Spaces of Negative Order Near Index s=−1s=-1

This paper is concerned with well-posedness of the Boussinesq system. We prove that the $n$ ($n\ge2$) dimensional Boussinesq system is well-psoed for small initial data $(\vec{u}_0,\theta_0)$ ($\nabla\cdot\vec{u}_0=0$) either in $({B}^{-1}_{\infty,1}\cap{B^{-1,1}_{\infty,\infty}})\times{B}^{-1}_{p,r}$ or in ${B^{-1,1}_{\infty,\infty}}\times{B}^{-1,\epsilon}_{p,\infty}$ if $r\in[1,\infty]$, $\epsilon>0$ and $p\in(\frac{n}{2},\infty)$, where $B^{s,\epsilon}_{p,q}$ ($s\in\mathbb{R}$, $1\leq p,q\leq\infty$, $\epsilon>0$) is the logarithmically modified Besov space to the standard Besov space $B^{s}_{p,q}$. We also prove that this system is well-posed for small initial data in $({B}^{-1}_{\infty,1}\cap{B^{-1,1}_{\infty,\infty}})\times({B}^{-1}_{\frac{n}{2},1}\cap{B^{-1,1}_{\frac{n}{2},\infty}})$.Comment: 18 page

Regularity properties of distributions through sequences of functions

We give necessary and sufficient criteria for a distribution to be smooth or uniformly H\"{o}lder continuous in terms of approximation sequences by smooth functions; in particular, in terms of those arising as regularizations $(T\ast\phi_{n})$.Comment: 10 page

Geodesic distance for right invariant Sobolev metrics of fractional order on the diffeomorphism group

We study Sobolev-type metrics of fractional order $s\geq0$ on the group \Diff_c(M) of compactly supported diffeomorphisms of a manifold $M$. We show that for the important special case $M=S^1$ the geodesic distance on \Diff_c(S^1) vanishes if and only if $s\leq\frac12$. For other manifolds we obtain a partial characterization: the geodesic distance on \Diff_c(M) vanishes for $M=\R\times N, s<\frac12$ and for $M=S^1\times N, s\leq\frac12$, with $N$ being a compact Riemannian manifold. On the other hand the geodesic distance on \Diff_c(M) is positive for $\dim(M)=1, s>\frac12$ and $\dim(M)\geq2, s\geq1$. For $M=\R^n$ we discuss the geodesic equations for these metrics. For $n=1$ we obtain some well known PDEs of hydrodynamics: Burgers' equation for $s=0$, the modified Constantin-Lax-Majda equation for $s=\frac 12$ and the Camassa-Holm equation for $s=1$.Comment: 16 pages. Final versio

On Bogovski\u{\i} and regularized Poincar\'e integral operators for de Rham complexes on Lipschitz domains

We study integral operators related to a regularized version of the classical Poincar\'e path integral and the adjoint class generalizing Bogovski\u{\i}'s integral operator, acting on differential forms in $R^n$. We prove that these operators are pseudodifferential operators of order -1. The Poincar\'e-type operators map polynomials to polynomials and can have applications in finite element analysis. For a domain starlike with respect to a ball, the special support properties of the operators imply regularity for the de Rham complex without boundary conditions (using Poincar\'e-type operators) and with full Dirichlet boundary conditions (using Bogovski\u{\i}-type operators). For bounded Lipschitz domains, the same regularity results hold, and in addition we show that the cohomology spaces can always be represented by $C^\infty$ functions.Comment: 23 page

On the Fourier transform of the characteristic functions of domains with C1C^1 -smooth boundary

We consider domains $D\subseteq\mathbb R^n$ with $C^1$ -smooth boundary and study the following question: when the Fourier transform $\hat{1_D}$ of the characteristic function $1_D$ belongs to $L^p(\mathbb R^n)$?Comment: added two references; added footnotes on pages 6 and 1

Stable Determination of the Electromagnetic Coefficients by Boundary Measurements

The goal of this paper is to prove a stable determination of the coefficients for the time-harmonic Maxwell equations, in a Lipschitz domain, by boundary measurements

On the Usefulness of Modulation Spaces in Deformation Quantization

We discuss the relevance to deformation quantization of Feichtinger's modulation spaces, especially of the weighted Sjoestrand classes. These function spaces are good classes of symbols of pseudo-differential operators (observables). They have a widespread use in time-frequency analysis and related topics, but are not very well-known in physics. It turns out that they are particularly well adapted to the study of the Moyal star-product and of the star-exponential.Comment: Submitte

On the Lieb-Thirring constants L_gamma,1 for gamma geq 1/2

Let $E_i(H)$ denote the negative eigenvalues of the one-dimensional Schr\"odinger operator $Hu:=-u^{\prime\prime}-Vu,\ V\geq 0,$ on $L_2({\Bbb R})$. We prove the inequality \sum_i|E_i(H)|^\gamma\leq L_{\gamma,1}\int_{\Bbb R} V^{\gamma+1/2}(x)dx, (1) for the "limit" case $\gamma=1/2.$ This will imply improved estimates for the best constants $L_{\gamma,1}$ in (1), as $1/2<\gamma<3/2.Comment: AMS-LATEX, 15 page