Related papers: Monotone operators and "bigger conjugate" function…
Functional analysis, especially the theory of Hilbert spaces and of operators on these, form an important area in mathematics. We formalized the Isabelle/HOL library Complex_Bounded_Operators containing a large amount of theorems about…
We construct bisymmetric, strictly increasing binary operations on real intervals which are not continuous. This answers a natural question in the theory of bisymmetric and mean-type operations by showing that continuity may fail for…
Matrix spherical functions associated to the compact symmetric pair $(\mathrm{SU}(m+2), \mathrm{S}(\mathrm{U}(2)\times \mathrm{U}(m))$, having reduced root system of type $\mathrm{BC}_2$, are studied. We consider an irreducible…
The classical beta function B(x; y) is one of the most fundamental special functions, due to its important role in various fields in the mathematical, physical, engineering and statistical sciences. Useful extensions of the classical Beta…
In the context of abstract coinduction in complete lattices, the notion of compatible function makes it possible to introduce enhancements of the coinduction proof principle. The largest compatible function, called the companion, subsumes…
A new type of combinations of Bernstein operators is given in [1]. Here, we introduce another one, which can be used to approximate the functions with singularities. The direct and inverse results of the weighted approximation of this new…
We consider a class of monotone operators which are appropriate for symbolic representation and manipulation within a computer algebra system. Various structural properties of the class (e.g., closure under taking inverses, resolvents) are…
The intention of this survey to collect in one paper many recent results and advances related with Bergman type projection acting in various spaces of analytic functions in several complex variables in the unit ball, tubular domains over…
Abduction is a fundamental and important form of non-monotonic reasoning. Given a knowledge base explaining how the world behaves it aims at finding an explanation for some observed manifestation. In this paper we focus on propositional…
We consider finite iterated generalized harmonic sums weighted by the binomial $\binom{2k}{k}$ in numerators and denominators. A large class of these functions emerges in the calculation of massive Feynman diagrams with local operator…
In this paper, some monotonicity and concavity results of several functions involving the psi and polygamma functions are proved, and then some known inequalities are extended and generalized.
We study a class of nonconvex nonsmooth optimization problems in which the objective is a sum of two functions: One function is the average of a large number of differentiable functions, while the other function is proper, lower…
Using the unbounded picture of analytical K-homology, we associate a well-defined K-homology class to an unbounded symmetric operator satisfying certain mild technical conditions. We also establish an ``addition formula'' for the Dirac…
We revisit and extend known bounds on operator-valued functions of the type $$ T_1^{-z} S T_2^{-1+z}, \quad z \in \ol \Sigma = \{z\in\bbC\,|\, \Re(z) \in [0,1]\}, $$ under various hypotheses on the linear operators $S$ and $T_j$, $j=1,2$.…
A new type of sl_3 basic hypergeometric series based on Macdonald polynomials is introduced. Besides a pair of Macdonald polynomials attached to two different sets of variables, a key-ingredient in the sl_3 basic hypergeometric series is a…
The investigation and classification of non-unique factorization phenomena has attracted some interest in recent literature. For finitely generated monoids, S.T. Chapman and P.A. Garc\'ia-S\'anchez, together with several co-authors, derived…
In this paper we prove a version of the Fountain Theorem for a class of nonsmooth functionals that are sum of a $C^1$ functional and a convex lower semicontinuous functional, and also a version of a theorem due to Heinz for this class of…
Maximally monotone operators and firmly nonexpansive mappings play key roles in modern optimization and nonlinear analysis. Five years ago, it was shown that if finitely many firmly nonexpansive operators are all asymptotically regular…
P. Br\"and\'en recently proved a conjecture due to S. Fisk, R. P. Stanley, P. R. W. McNamara and B. E. Sagan. In addition, P. Br\"and\'en gave a partial answer to a question posed by S. Fisk regarding the distribution of zeros of…
In this paper we characterize the $c$-Boomerang Connectivity Table (BCT), $c\neq 0$ (thus, including the classical $c=1$ case), for all monomial function $x^d$ in terms of characters and Weil sums on the finite field~$\F_{p^n}$. We further…