中文
相关论文

相关论文: A note on interpolation in the generalized Schur c…

200 篇论文

In this chapter we give a basic overview of known results regarding Craig interpolation for first-order logic as well as for fragments of first-order logic. Our aim is to provide an entry point into the literature on interpolation theorems…

计算机科学中的逻辑 · 计算机科学 2025-10-07 Balder ten Cate , Jesse Comer

In this paper, we study matrix functions of bounded type from the viewpoint of describing an interplay between function theory and operator theory. \ We first establish a criterion on the coprime-ness of two singular inner functions and…

泛函分析 · 数学 2016-11-22 Raúl E. Curto , In Sung Hwang , Woo Young Lee

Interpolation Theory gives techniques for constructing spaces from two initial Banach spaces. We provide several conditions under which the restriction of a holomorphic map $f:X_0+X_1 \rightarrow Y_0+Y_1$ to the interpolated spaces (using…

泛函分析 · 数学 2017-06-21 Pablo Jiménez-Rodíguez

The class $Ts(r,f)$ the trigonometric interpolation splines depending on the parameter vectors, selected convergence factors and interpolation factors is considered. The main properties of simple interpolation trigonometric splines are…

数值分析 · 数学 2021-01-29 V. P. Denysiuk

Given a collection of test functions, one defines the associated Schur-Agler class as the intersection of the contractive multipliers over the collection of all positive kernels for which each test function is a contractive multiplier. We…

泛函分析 · 数学 2011-09-20 Joseph A. Ball , Moisés Guerra Huamán

A new generalization of shifted thin plate splines $$\varphi(x)=(c^{2d}+||x||^{2d})\log\left(c^{2d}+||x||^{2d}\right),\qquad x\in\mathbb{R}^n, d\in \mathbb{N}, c>0$$ is presented to increase the accuracy of quasi-interpolation further. With…

数值分析 · 数学 2024-06-25 Mathis Ortmann , Martin Buhmann

The well-known theory of Pontryagin duality provides a strong connection between the homology and cohomology theories of a profinite group in appropriate categories. A construction for taking the `profinite direct sum' of an infinite family…

代数拓扑 · 数学 2024-08-26 Gareth Wilkes

We study the properties of different type of transforms by means of operational methods and discuss the relevant interplay with many families of special functions. We consider in particular the binomial transform and its generalizations. A…

数学物理 · 物理学 2010-10-11 G. Dattoli , E. Sabia

We study the interpolation and extrapolation properties of strictly singular operators between different $L_p$ spaces. To this end, the structure of strictly singular non-compact operators between $L_p-L_q$ spaces is analyzed. Among other…

泛函分析 · 数学 2017-06-28 Francisco L. Hernández , Evgeny M. Semenov , Pedro Tradacete

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

经典分析与常微分方程 · 数学 2015-03-03 A. G. Ramm

We derive the general rules of functional integration in the theories of the Schwarzian type, and evaluate explicitly the functional integrals assigning correlation functions in the SYK model.

高能物理 - 理论 · 物理学 2019-05-07 Vladimir V. Belokurov , Evgeniy T. Shavgulidze

For the inclusion problem involving two maximal monotone operators, under the metric subregularity of the composite operator, we derive the linear convergence of the generalized proximal point algorithm and several splitting algorithms,…

最优化与控制 · 数学 2016-09-28 Li Shen , Shaohua Pan

We study a representation of the (local) plactic monoid given by Schur operators $u_i$, which act on partitions by adding a box in column $i$ (if possible). In particular, we give a complete list of the relations that hold in the algebra of…

组合数学 · 数学 2019-07-15 Ricky Ini Liu , Christian Smith

The Herglotz representation theorem for holomorphic functions with non-negative real part is a fundamental result in the theory of holomorphic functions. In this paper, we reinterpret the Herglotz representation in the context of modern…

泛函分析 · 数学 2024-11-25 Mainak Bhowmik , Poornendu Kumar

We try to bring to light some combinatorial structure underlying formal proofs in logic. We do this through the study of the Craig Interpolation Theorem which is properly a statement about the structure of formal derivations. We show that…

逻辑 · 数学 2016-09-06 Alessandra Carbone

We argue that restricted Schur polynomials provide a useful parameterization of the complete set of gauge invariant variables of multi-matrix models. The two point functions of restricted Schur polynomials are evaluated exactly in the free…

高能物理 - 理论 · 物理学 2014-11-18 Rajsekhar Bhattacharyya , Storm Collins , Robert de Mello Koch

We review recent progress in operator algebraic approach to conformal quantum field theory. Our emphasis is on use of representation theory in classification theory. This is based on a series of joint works with R. Longo.

数学物理 · 物理学 2007-05-23 Yasuyuki Kawahigashi

We bring an abstract model theory perspective to interpolation. We ask, what is the role of interpolation in the study of extensions of first order logic, such as infinitary logics, generalized quantifiers and higher order logics? The…

逻辑 · 数学 2025-07-28 Jouko Väänänen

This is a survey of some recent results concerning polynomial inequalities and polynomial approximation of functions in the complex plane. The results are achieved by the application of methods and techniques of modern geometric function…

复变函数 · 数学 2007-05-23 Vladimir Andrievskii

This study introduces a procedure to obtain general expressions, $y = f(x)$, subject to linear constraints on the function and its derivatives defined at specified values. These constrained expressions can be used describe functions with…

最优化与控制 · 数学 2017-05-18 Daniele Mortari