Interpolation of Hilbert and Sobolev Spaces: Quantitative Estimates and Counterexamples

This paper provides an overview of interpolation of Banach and Hilbert spaces, with a focus on establishing when equivalence of norms is in fact equality of norms in the key results of the theory. (In brief, our conclusion for the Hilbert space case is that, with the right normalisations, all the key results hold with equality of norms.) In the final section we apply the Hilbert space results to the Sobolev spaces $H^s(\Omega)$ and $\widetilde{H}^s(\Omega)$, for $s\in \mathbb{R}$ and an open $\Omega\subset \mathbb{R}^n$. We exhibit examples in one and two dimensions of sets $\Omega$ for which these scales of Sobolev spaces are not interpolation scales. In the cases when they are interpolation scales (in particular, if $\Omega$ is Lipschitz) we exhibit examples that show that, in general, the interpolation norm does not coincide with the intrinsic Sobolev norm and, in fact, the ratio of these two norms can be arbitrarily large

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

A Probabilistic proof of the breakdown of Besov regularity in LL-shaped domains

{We provide a probabilistic approach in order to investigate the smoothness of the solution to the Poisson and Dirichlet problems in $L$-shaped domains. In particular, we obtain (probabilistic) integral representations for the solution. We also recover Grisvard's classic result on the angle-dependent breakdown of the regularity of the solution measured in a Besov scale

On thin plate spline interpolation

We present a simple, PDE-based proof of the result [M. Johnson, 2001] that the error estimates of [J. Duchon, 1978] for thin plate spline interpolation can be improved by $h^{1/2}$. We illustrate that ${\mathcal H}$-matrix techniques can successfully be employed to solve very large thin plate spline interpolation problem

Polyharmonic approximation on the sphere

The purpose of this article is to provide new error estimates for a popular type of SBF approximation on the sphere: approximating by linear combinations of Green's functions of polyharmonic differential operators. We show that the $L_p$ approximation order for this kind of approximation is $\sigma$ for functions having $L_p$ smoothness $\sigma$ (for $\sigma$ up to the order of the underlying differential operator, just as in univariate spline theory). This is an improvement over previous error estimates, which penalized the approximation order when measuring error in $L_p$, p>2 and held only in a restrictive setting when measuring error in $L_p$, p<2.Comment: 16 pages; revised version; to appear in Constr. Appro

Boundary Conditions for Singular Perturbations of Self-Adjoint Operators

Let A:D(A)\subseteq\H\to\H be an injective self-adjoint operator and let \tau:D(A)\to\X, X a Banach space, be a surjective linear map such that \|\tau\phi\|_\X\le c \|A\phi\|_\H. Supposing that \text{\rm Range} (\tau')\cap\H' =\{0\}, we define a family $A^\tau_\Theta$ of self-adjoint operators which are extensions of the symmetric operator $A_{|\{\tau=0\}.}$. Any $\phi$ in the operator domain $D(A^\tau_\Theta)$ is characterized by a sort of boundary conditions on its univocally defined regular component \phireg, which belongs to the completion of D(A) w.r.t. the norm \|A\phi\|_\H. These boundary conditions are written in terms of the map $\tau$, playing the role of a trace (restriction) operator, as \tau\phireg=\Theta Q_\phi, the extension parameter $\Theta$ being a self-adjoint operator from X' to X. The self-adjoint extension is then simply defined by A^\tau_\Theta\phi:=A \phireg. The case in which $A\phi=T*\phi$ is a convolution operator on LD, T a distribution with compact support, is studied in detail.Comment: Revised version. To appear in Operator Theory: Advances and Applications, vol. 13

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

Local regularity for fractional heat equations

We prove the maximal local regularity of weak solutions to the parabolic problem associated with the fractional Laplacian with homogeneous Dirichlet boundary conditions on an arbitrary bounded open set $\Omega\subset\mathbb{R}^N$. Proofs combine classical abstract regularity results for parabolic equations with some new local regularity results for the associated elliptic problems.Comment: arXiv admin note: substantial text overlap with arXiv:1704.0756

Regularity of Ornstein-Uhlenbeck processes driven by a L{\'e}vy white noise

The paper is concerned with spatial and time regularity of solutions to linear stochastic evolution equation perturbed by L\'evy white noise "obtained by subordination of a Gaussian white noise". Sufficient conditions for spatial continuity are derived. It is also shown that solutions do not have in general \cadlag modifications. General results are applied to equations with fractional Laplacian. Applications to Burgers stochastic equations are considered as well.Comment: This is an updated version of the same paper. In fact, it has already been publishe

A general wavelet-based profile decomposition in the critical embedding of function spaces

We characterize the lack of compactness in the critical embedding of functions spaces $X\subset Y$ having similar scaling properties in the following terms : a sequence $(u_n)_{n\geq 0}$ bounded in $X$ has a subsequence that can be expressed as a finite sum of translations and dilations of functions $(\phi_l)_{l>0}$ such that the remainder converges to zero in $Y$ as the number of functions in the sum and $n$ tend to $+\infty$. Such a decomposition was established by G\'erard for the embedding of the homogeneous Sobolev space $X=\dot H^s$ into the $Y=L^p$ in $d$ dimensions with $0<s=d/2-d/p$, and then generalized by Jaffard to the case where $X$ is a Riesz potential space, using wavelet expansions. In this paper, we revisit the wavelet-based profile decomposition, in order to treat a larger range of examples of critical embedding in a hopefully simplified way. In particular we identify two generic properties on the spaces $X$ and $Y$ that are of key use in building the profile decomposition. These properties may then easily be checked for typical choices of $X$ and $Y$ satisfying critical embedding properties. These includes Sobolev, Besov, Triebel-Lizorkin, Lorentz, H\"older and BMO spaces.Comment: 24 page