Related papers: Some new light on a few classical results
We present a new type system with support for proofs of programs in a call-by-value language with control operators. The proof mechanism relies on observational equivalence of (untyped) programs. It appears in two type constructors, which…
In order to solve an initial value problem by the variational iteration method, a sequence of functions is produced which converges to the solution under some suitable conditions. In the nonlinear case, after a few iterations the terms of…
The purpose of this article is to study Bohr inequalities involving the absolute values of the coefficients of an operator valued function. To be more specific, we establish an operator valued analogue of a classical result regarding the…
Extending an earlier estimate for the degree of approximation of overiterated univariate Bernstein operators towards the same operator of degree one, it is shown that an analogous result holds in the $d$-variate case. The method employed…
We prove quantitative, one-weight, weak-type estimates for maximal operators, singular integrals, fractional maximal operators and fractional integral operators. We consider a kind of weak-type inequality that was first studied by…
A vector-valued version of the Girsanov theorem is presented, for a scalar process with respect to a Banach-valued measure. Previously, a short discussion about the Birkhoff-type integration is outlined, as for example integration by…
The main purpose of this paper is to study the validity of the Hausdorff-Young inequality for vector-valued functions defined on a non-commutative compact group. The natural context for this research is that of operator spaces. This leads…
In this paper we consider the variable inequality problem, that is, to find a solution of the inclusion given by the sum of a function and a point-to-cone application. This problem can be seen as a generalization of the classical system…
Some integration techniques for real-valued functions with respect to vector measures with values in Banach spaces (and viceversa) are investigated in order to establish abstract versions of classical theorems of Probability and Stochastic…
The purpose of this paper is to present some multidimensional fixed-point theorems and their applications. For this, we provide a multidimensional fixed point theorem and then using this theorem we prove the existence and uniqueness of a…
The purpose of this paper is to construct a new class of discrete generalized Korn's inequalities for piecewise H2 vector fields in three-dimensional space. The resulting Korn's inequalities are different from the standard Korn's…
In this paper we obtain a multivariable commutator lifting inequality, which extends to several variables a recent result of Foias, Frazho, and Kaashoek. The inequality yields a multivariable lifting theorem generalizing the noncommutative…
In Feferman's work, explicit mathematics and theories of generalized inductive definitions play a central role. One objective of this article is to describe the connections with Martin-Lof type theory and constructive Zermelo-Fraenkel set…
Let $T$ be a multilinear operator which is bounded on certain products of unweighted Lebesgue spaces of $\mathbb R^n$. We assume that the associated kernel of $T$ satisfies some mild regularity condition which is weaker than the usual…
Intersection numbers are rational scalar products among functions that admit suitable integral representations, such as Feynman integrals. Using these scalar products, the decomposition of Feynman integrals into a basis of linearly…
Differential equations are one of the main approaches to evaluate multi-loop Feynman integrals. The construction of a canonical or $\varepsilon$-factorised basis for multi-loop integrals remains a key bottleneck for this approach,…
We deal with mixed weak estimates of Fefferman-Stein type for higher order commutators of Calder\'on-Zygmund operators with BMO symbol. The results obtained are Fefferman-Stein inequalities that include the estimates proved in…
This paper gives embedding theorems for a very general class of weighted Bergman spaces: the results include a number of classical Carleson embedding theorems as special cases. We also consider little Hankel operators on these Bergman…
We study several natural multiplicity questions that arise in the context of the Birman-Schwinger principle applied to non-self-adjoint operators. In particular, we re-prove (and extend) a recent result by Latushkin and Sukhtyaev by…
We prove mixed inequalities for commutators of Calder\'on-Zygmund operators (CZO) with multilinear symbols. Concretely, let $m\in\mathbb{N}$ and $\mathbf{b}=(b_1,b_2,\dots, b_m)$ be a vectorial symbol such that each component $b_i\in…