中文
相关论文

相关论文: Abstract interpolation problem in Nevanlinna class…

200 篇论文

Nonlinear interpolants have been shown useful for the verification of programs and hybrid systems in contexts of theorem proving, model checking, abstract interpretation, etc. The underlying synthesis problem, however, is challenging and…

计算机科学中的逻辑 · 计算机科学 2019-08-29 Mingshuai Chen , Jian Wang , Jie An , Bohua Zhan , Deepak Kapur , Naijun Zhan

This paper addresses the problems of spline interpolation on smooth Riemannian manifolds, with or without the inclusion of least-squares fitting. Our unified approach utilizes gradient flows for successively connected curves or networks,…

最优化与控制 · 数学 2025-10-29 Chun-Chi Lin , Dung The Tran

Two different problems are considered here. First, a characterization of sampling sequences for the class of analytic functions from the disc into itself is given. Second, a version of Schwarz-Pick Lemma for $n$ points leads to an…

复变函数 · 数学 2023-08-03 Nacho Monreal Galan , Michael Papadimitrakis

We obtain necessary and sufficient conditions for Nevanlinna-Pick interpolation on the unit disk with the additional restriction that all analytic interpolating functions satisfy $f'(0)=0.$ Alternatively, these results can be interpreted as…

算子代数 · 数学 2007-11-14 Kenneth R. Davidson , Vern I. Paulsen , Mrinal Raghupathi , Dinesh Singh

We formulate three boundary Nevanlinna-Pick interpolation problems for generalized Nevanlinna functions. For each problem, we parameterize the set of all solutions in terms of a linear fractional transformation with an extended Nevanlinna…

复变函数 · 数学 2007-05-23 Paul Anthony Smith

Spline interpolation is a widely used class of methods for solving interpolation problems by constructing smooth interpolants that minimize a regularized energy functional involving the Laplacian operator. While many existing approaches…

统计计算 · 统计学 2026-03-30 Charlie Sire , Mike Pereira , Thomas Romary

Two different problems are considered here. First, a version of Schwarz-Pick Lemma for $n$ points leads to an interpolation problem for analytic functions from the disc into itself, which may be considered as a particular case of the…

经典分析与常微分方程 · 数学 2014-07-30 Nacho Monreal Galan , Michael Papadimitrakis

In this paper we study the Nevanlinna-Pick matrix interpolation problem in the Carath\'eodory class with infinite data (both in the nondegenerate and degenerate cases). We develop the Sz\"okefalvi-Nagy and Kor\'anyi operator approach to…

泛函分析 · 数学 2011-09-08 Sergey M. Zagorodnyuk

We generalize the notion of the Arov-Krein entropy functional for the case of generalized Nevanlinna functions and obtain a representation of these functionals on solutions of indefinite interpolation problems. The case of indefinite…

泛函分析 · 数学 2020-07-03 I. Roitberg , A. L. Sakhnovich

This is primarily an exposition of our work on Hardy algebras associated with $W^*$-correspondences with an emphasis on interpolation results (a generalized Nevanlinna-Pick theorem) and the concepts of Schur class operator functions (and…

算子代数 · 数学 2007-05-23 Paul S. Muhly , Baruch Solel

For $m,n \in \mathbb{N}$, $m\geq 1$ and a given function $f : \mathbb{R}^m\longrightarrow \mathbb{R}$, the polynomial interpolation problem (PIP) is to determine a unisolvent node set $P_{m,n} \subseteq \mathbb{R}^m$ of…

数值分析 · 数学 2020-03-20 Michael Hecht , Karl B. Hoffmann , Bevan L. Cheeseman , Ivo F. Sbalzarini

Given a domain $\Omega$ in $\mathbb{C}^m$, and a finite set of points $z_1,z_2,\ldots, z_n\in \Omega$ and $w_1,w_2,\ldots, w_n\in \mathbb{D}$ (the open unit disc in the complex plane), the \textit{Pick interpolation problem} asks when there…

泛函分析 · 数学 2023-09-13 Tirthankar Bhattacharyya , Anindya Biswas , Vikramjeet Singh Chandel

Nevanlinna-Pick interpolation and moment problems use the analytic structures provided by causality in order to provide rigorous bounds on smeared spectral functions. This proceedings discusses Nevanlinna-Pick interpolation and moment…

高能物理 - 格点 · 物理学 2026-02-13 Ryan Abbott , William Jay , Patrick Oare

Uniform interpolation property (UIP) is a strengthening of Craig interpolation property. It was first established by Pitts(1992) based on a pure proof-theoretic method. UIP in multi-modal $\mathbf{K_n}$, $\mathbf{KD_n}$ and $\mathbf{KT_n}$…

计算机科学中的逻辑 · 计算机科学 2025-10-30 Youan Su

The goal of this note is to apply ideas from commutative algebra (a.k.a. affine algebraic geometry) to the question of constrained Nevanlinna-Pick interpolation. More precisely, we consider subalgebras $A \subset…

算子代数 · 数学 2018-12-14 Kenneth R. Davidson , Eli Shamovich

A discrete version of the inverse scattering method proposed by Ablowitz and Ladik is generalized to study an integrable full-discretization (discrete time and discrete space) of the coupled nonlinear Schr\"{o}dinger equations. The…

可精确求解与可积系统 · 物理学 2007-05-23 Takayuki Tsuchida

We consider the extremal problem of interpolation of scattered data in $\mathbb{R}^3$ by smooth curve networks with minimal $L_p$-norm of the second derivative for $1<p<\infty$. The problem for $p=2$ was set and solved by Nielson (1983).…

数值分析 · 计算机科学 2020-01-08 Krassimira Vlachkova

We give necessary and sufficient conditions for solving the spectral Nevanlinna--Pick lifting problem. This reduces the spectral Nevanlinna--Pick problem to a jet interpolation problem into the symmetrized polydisc.

复变函数 · 数学 2015-10-14 Rafael B. Andrist

The purpose of this work is to describe an abstract theory of Hardy-Sobolev spaces on doubling Riemannian manifolds via an atomic decomposition. We study the real interpolation of these spaces with Sobolev spaces and finally give…

经典分析与常微分方程 · 数学 2010-04-20 Nadine Badr , Frederic Bernicot

Let $\mathcal{M}$ be a semifinite von Neumann algebra. We equip the associated noncommutative $L_p$-spaces with their natural operator space structure introduced by Pisier via complex interpolation. On the other hand, for $1<p<\infty$ let…

算子代数 · 数学 2021-09-15 Marius Junge , Quanhua Xu