相关论文: Widening Operators for Weakly-Relational Numeric A…
In a previous paper by one of us, a "compact version" of Rubio de Francia's weighted extrapolation theorem was proved, which allows one to extrapolate the compactness of an operator from just one space to the full range of weighted spaces,…
In this paper, we propose an incremental abstraction method for dynamically over-approximating nonlinear systems in a bounded domain by solving a sequence of linear programs, resulting in a sequence of affine upper and lower hyperplanes…
Weakly centered and spectrally weakly cenetered weighted composition operators in $L^2$-spaces are characterized. Criteria for existence of invariant subspaces are given. Additional results and examples are supplied.
Value-based static analysis techniques express computed program invariants as logical formula over program variables. Researchers and practitioners use these invariants to aid in software engineering and verification tasks. When selecting…
We consider the p-Laplacian in R^d perturbed by a weakly coupled potential. We calculate the asymptotic expansions of the lowest eigenvalue of such an operator in the weak coupling limit separately for p>d and p=d and discuss the connection…
Gell-Mann-Low functions can be calculated by means of perturbation theory and expressed as truncated series in powers of asymptotically small coupling parameters. However, it is necessary to know there behavior at finite values of the…
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…
Training semantic parsers from weak supervision (denotations) rather than strong supervision (programs) complicates training in two ways. First, a large search space of potential programs needs to be explored at training time to find a…
The design of numerical boundary conditions is a challenging problem that has been tackled in different ways depending on the nature of the problem and the numerical scheme used to solve it. In this paper we present a new weighted…
In static analysis by abstract interpretation, one often uses widening operators in order to enforce convergence within finite time to an inductive invariant. Certain widening operators, including the classical one over finite polyhedra,…
The aim of this paper is to apply an extrapolation result without relying on convexification. We characterize ball Banach function spaces in terms of wavelets, formulated in a way that takes into account the smoothness properties of the…
We give alternative proofs to certain results in the paper "Weak limits of almost invariant projections" by using ultraproducts of operators.
Reduction operators (called also nonclassical or $Q$-conditional symmetries) of variable coefficient semilinear reaction-diffusion equations with exponential source $f(x)u_t=(g(x)u_x)_x+h(x)e^{mu}$ are investigated using the algorithm…
The main aims of this article are to characterize a class of operators associated with the symmetrized polydisc that admit rational dilations on the minimal space and to show an interplay between rational dilation and distinguished…
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,…
This article surveys results that relate homogenisation problems for partial differential equations and convergence in the weak operator topology of a suitable choice of linear operators. More precisely, well-known notions like…
This paper describes applications of extrapolation for the computation of coefficients in an expansion of infrared divergent integrals. An extrapolation procedure is performed with respect to a parameter introduced by dimensional…
We prove an extrapolation result for general operators under some weak assumptions on the boundedness of the operator. In particular, we show that if the operator is weakly bounded on some L^{p_{0}}(w), for all "flat" weights, w in…
A method is described for the extrapolation of perturbative expansions in powers of asymptotically small coupling parameters or other variables onto the region of finite variables and even to the variables tending to infinity. The method…
Resolvents of set-valued operators play a central role in various branches of mathematics and in particular in the design and the analysis of splitting algorithms for solving monotone inclusions. We propose a generalization of this notion,…