Related papers: Interpolation Theorems in Harmonic Analysis
The use of interpolants in verification is gaining more and more importance. Since theories used in applications are usually obtained as (disjoint) combinations of simpler theories, it is important to modularly re-use interpolation…
This paper is essentially a survey on several classical results of harmonic analysis and their recent extensions to Banach spaces. The first part of the paper is a summary of some important results in such topics as Bernstein spaces,…
For many physical quantities, theory supplies weak- and strong-coupling expansions of the types $\sum a_n \alpha ^n$ and $ \alpha ^p\sum b_n (\alpha^{-2/q) ^n$, respectively. Either or both of these may have a zero radius of convergence. We…
We formulate the Bergman-type interpolation problem on finite open Riemann surfaces covered by the unit disk. Our version of the interpolation problem generalizes Bergman-type interpolation problems previously studied by Seip, Berntsson,…
We extend a modal theory of diffraction by a set of parallel fibers to deal with the case of a hard boundary: that is a structure made for instance of air-holes inside a dielectric matrix. Numerical examples are given concerning some…
Building on recent advances in studying the co-homological properties of Feynman integrals, we apply intersection theory to the computation of Fourier integrals. We discuss applications pertinent to gravitational bremsstrahlung and deep…
The goal of this Section is to formulate some of the basic results on the theory of integral equations and mention some of its applications. The literature of this subject is very large. Proofs are not given due to the space restriction.…
Approximation theorem is one of the most important aspects of numerical analysis that has evolved over the years with many different approaches. Some of the most popular approximation methods include the Lebesgue approximation theorem, the…
This thesis opens with an introductory discussion, where the reader is gently led to the world of topological combinatorics, and, where the results of this Habilitationsschrift are portrayed against the backdrop of the broader philosophy of…
This paper presents a numerical application of a self-consistent theory of partial redistribution in non-LTE conditions, developed in previous papers of the series. The code was described in a previous paper of this series. However, in that…
In this paper we study nonlinear interpolation problems for interpolation and peak-interpolation sets of function algebras. The subject goes back to the classical Rudin-Carleson interpolation theorem. In particular, we prove the following…
Known or essentially known results about duals of interpolation spaces are presented, taking a point of view sometimes slightly different from the usual one. Particular emphasis is placed on Alberto Calderon's theorem describing the duals…
Given a sequence of real numbers, we consider its subsequences converging to possibly different limits and associate to each of them an index of convergence which depends on the density of the associated subsequences. This index turns out…
We develop a theoretical and computational framework to study polarons in semiconductors and insulators from first principles. Our approach provides the formation energy, excitation energy, and wavefunction of both electron and hole…
We give a complete description of Riesz bases of reproducing kernels in small Fock spaces. This characterization is in the spirit of the well known Kadets--Ingham 1/4 theorem for Paley--Wiener spaces. Contrarily to the situation in…
The present review presents the authors previous results on the topic from the title in a new light. Most of the previous results were obtained using the techniques of antilinear Hilbert-Schmidt mappings of one Hilbert pace into another,…
The main goal of this article is to present several quadratic refinements and reverses of the well known Heinz inequality, for numbers and matrices, where the refining term is a quadratic function in the mean parameters. The proposed idea…
We develop foundations for computing Craig-Lyndon interpolants of two given formulas with first-order theorem provers that construct clausal tableaux. Provers that can be understood in this way include efficient machine-oriented systems…
This thesis describes two lines of work. The first line is a study of the application of transport theory to massless particles, such as the partons in an ultrarelativistic collision at RHIC. The second line of work is an application of…
The purpose of this survey is to present analytic versions of the injectivity theorem and their applications. The proof of our injectivity theorems is based on a combination of the L^2-method for the dbar-equation and the theory of harmonic…