An algebra generated by multiplicative discrete convolution operators

We consider a Banach algebra generated by multiplicative discrete convolution operators. We construct a symbolic calculus for this algebra and in terms of this calculus we describe criteria for the Noetherian property of operators and obtain a formula for their index.     

The $H^{\infty}-$calculus and sums of closed operators

We develop a very general operator-valued functional calculus for operators with an calculus. We then apply this to the joint functional calculus of two sectorial operators when one has an calculus. Using this we prove theorem of Dore-Venni type on sums of sectorial operators and apply our results to the problem of maximal regularity. Our main assumption is the R-boundedness of certain sets of operators, and therefore methods from the geometry of Banach spaces are essential here. In the final section we exploit the special Banach space structure of spaces and spaces, to obtain some more detailed results in this setting. Received: 3 July 2000 / Revised version: 31 January 2001 / Published online: 23 July 2001     

A sequent calculus for logic of knowledge and past time: Completeness and decidability

We consider logic of knowledge and past time. This logic involves the discrete-time linear temporal operators next, until, weak yesterday, and since. In addition, it contains an indexed set of unary modal operators agent i knows.We consider the semantic constraint of the unique initial states for this logic. For the logic, we present a sequent calculus with a restricted cut rule. We prove the soundness and completeness of the sequent calculus presented. We prove the decidability of provability in the considered calculus as well. So, this calculus can be used as a basis for automated theorem proving. The proof method for the completeness can be used to construct complete sequent calculi with a restricted cut rule for this logic with other semantical constraints as well. Published in Lietuvos Matematikos Rinkinys, Vol. 46, No. 3, pp. 427–437, July–September, 2006.     

On some notions of convergence for n‐tuples of operators

The aim of this paper is to show that we can extend the notion of convergence in the norm‐resolvent sense to the case of several unbounded noncommuting operators (and to quaternionic operators as a particular case) using the notion of S‐resolvent operator. With this notion, we can define bounded functions of unbounded operators using the S‐functional calculus for n‐tuples of noncommuting operators. The same notion can be extended to the case of the F‐resolvent operator, which is the basis of the F‐functional calculus, a monogenic functional calculus for n‐tuples of commuting operators. We also prove some properties of the F‐functional calculus, which are of independent interest. Copyright © 2013 John Wiley & Sons, Ltd.     

Bicomplex holomorphic functional calculus

In this paper we introduce and study a functional calculus for bicomplex linear bounded operators. The study is based on the decomposition of bicomplex numbers and of linear operators using the two nonreal idempotents. We show that, due to the presence of zero divisors in the bicomplex numbers, the spectrum of a bounded operator is unbounded. We therefore introduce a different spectrum (called reduced spectrum) which is bounded and turns out to be the right tool to construct the bicomplex holomorphic functional calculus. Finally we provide some properties of the calculus.     

Commutator Criteria for Magnetic Pseudodifferential Operators

The gauge covariant magnetic Weyl calculus has been introduced and studied in previous works. We prove criteria in terms of commutators for operators to be magnetic pseudodifferential operators of suitable symbol classes; neither the statements nor the proofs depend on a choice of a vector potential. We apply this criteria to inversion problems, functional calculus, affiliation results and to the study of the evolution group generated by a magnetic pseudodifferential operator.     

Coarse-scale representations and smoothed Wigner transforms

Smoothed Wigner transforms have been used in signal processing, as a regularized version of the Wigner transform, and have been proposed as an alternative to it in the homogenization and/or semiclassical limits of wave equations.We derive explicit, closed formulations for the coarse-scale representation of the action of pseudodifferential operators. The resulting “smoothed operators” are in general of infinite order. The formulation of an appropriate framework, resembling the Gelfand–Shilov spaces, is necessary.Similarly we treat the “smoothed Wigner calculus”. In particular this allows us to reformulate any linear equation, as well as certain nonlinear ones (e.g., Hartree and cubic nonlinear Schrödinger), as coarse-scale phase-space equations (e.g., smoothed Vlasov), with spatial and spectral resolutions controlled by two free parameters. Finally, it is seen that the smoothed Wigner calculus can be approximated, uniformly on phase-space, by differential operators in the semiclassical regime. This improves the respective weak-topology approximation result for the Wigner calculus.     

A note on the star order in Hilbert spaces

We study the star order on the algebra L(?) of bounded operators on a Hilbert space ?. We present a new interpretation of this order which allows to generalize to this setting many known results for matrices: functional calculus, semi-lattice properties, shorted operators and orthogonal decompositions. We also show several properties for general Hilbert spaces regarding the star order and its relationship with the functional calculus and the polar decomposition, which were unknown even in the finite-dimensional setting. We also study the existence of strong limits of star-monotone sequences and nets.     

A Functional Calculus for n-Tuples of Noncommuting Operators

We employ the notion of slice monogenic functions to define a new functional calculus for an n-tuple of not necessarily commuting operators. This calculus is consistent with the Riesz-Dunford calculus for a single operator. Received: October, 2007. Accepted: February, 2008.     

Elliptic boundary problems on manifolds with polycylindrical ends

We investigate general Shapiro-Lopatinsky elliptic boundary value problems on manifolds with polycylindrical ends. This is accomplished by compactifying such a manifold to a manifold with corners of in general higher codimension, and we then deal with boundary value problems for cusp differential operators. We introduce an adapted Boutet de Monvel's calculus of pseudodifferential boundary value problems, and construct parametrices for elliptic cusp operators within this calculus. Fredholm solvability and elliptic regularity up to the boundary and up to infinity for boundary value problems on manifolds with polycylindrical ends follows.     

Boundary value problems with global projection conditions

Parametrices of elliptic boundary value problems for differential operators belong to an algebra of pseudodifferential operators with the transmission property at the boundary. However, generically, smooth symbols on a manifold with boundary do not have this property, and several interesting applications require a corresponding more general calculus. We introduce here a new algebra of boundary value problems that contains Shapiro-Lopatinskij elliptic as well as global projection conditions; the latter ones are necessary, if an analogue of the Atiyah-Bott obstruction does not vanish. We show that every elliptic operator admits (up to a stabilisation) elliptic conditions of that kind. Corresponding boundary value problems are then Fredholm in adequate scales of spaces. Moreover, we construct parametrices in the calculus.     

The obrechkoff integral transform: properties and relation to a generalized fractional calculus

This survey is devoted to one of the most general Laplace-type integral transforms, the so-called Obrechkoff integral transform, introduced and studied for the first time by Obrechkoff[25]. It has been modified by Dimovski [5],[6] and used as a basis of a Mikusinski-type operational calculus for the hyper-Bessel differential operators of arbitrary order. Later, in a series of papers Dimovski and Kiryakova [8],[9],[10] have found operational properties, complex and real inversion formulas, Abel-type theorems for the Obrechkoff transform. This theory has been further developed by Kiryakova [16],[17],[18] using the tools of the Meijer's G-functions and of the fractional calculus. Namely, a new definition as a G-transform has been given for the Obrechkoff transform. The hyper-Bessel operators themselves, have given rise to a new generalized fractional calculus and further extensive use of the G-functions. Many other generalized differentiation and integration operators happen to be special cases in this calculus, too. Special cases of the Obrechkoff transform have been "rediscovered" later by many authors. We give examples how their results could be derived from the general ones surveyed here.     

Feynman's Operational Calculus and Evolution Equations

We give an exposition and an extension of the ideas of Feynman's time-ordered operational calculus for noncommuting operators. Various directions for 'disentangling' functions of such operators are provided by measures on the time intervals in question. We concentrate especially on exponentials of sums of noncommuting operators and prove that the unique solution of a broad class of evolution equations is given by the time-dependent operators arrived at by disentangling such exponential expressions.     

The functional calculus of full operators with discrete spectrum

We construct the functional calculus for full operators with discrete spectrum over Banach spaces in the interpolation classes of symbols associated with given operators. We describe new classes of full operators in Banach spaces. Translated fromMatematychni Metody ta Fizyko-Mekhanichni Polya, Vol. 41, No. 1, 1998 pp. 127–135.     

Feynman’s operational calculi for noncommuting operators: The monogenic calculus

In recent papers the authors presented their approach to Feynman’s operational calculi for a system of not necessarily commuting bounded linear operators acting on a Banach space. The central objects of the theory are the disentangling algebra, a commutative Banach algebra, and the disentangling map which carries this commutative structure into the noncommutative algebra of operators. Under assumptions concerning the growth of disentangled exponential expressions, the associated functional calculus for the system of operators is a distribution with compact support which we view as the joint spectrum of the operators with respect to the disentangling map. In this paper, the functional calculus is represented in terms of a higher-dimensional analogue of the Riesz-Dunford calculus using Clifford analysis.     

On the λY calculus

The λY calculus is the simply typed λ calculus augmented with the fixed point operators. We show three results about λY: (a) the word problem is undecidable, (b) weak normalisability is decidable, and (c) higher type fixed point operators are not definable from fixed point operators at smaller types.     

Differential calculus for linear operators represented by finite signed measures and applications

We introduce a differential calculus for linear operators represented by a family of finite signed measures. Such a calculus is based on the notions of g-derived operators and processes and g-integrating measures, g?being a right-continuous nondecreasing function. Depending on the choice of?g, this differential calculus works for non-smooth functions and under weak integrability conditions. For linear operators represented by stochastic processes, we provide a characterization criterion of g-differentiability in terms of characteristic functions of the random variables involved. Various illustrative examples are considered. As an application, we obtain an efficient algorithm to compute the Riemann zeta function ??(z) with a geometric rate of convergence which improves exponentially as ?(z) increases.     

On the oblique derivative problem for second order elliptic equations

A calculus of polyhomogeneous paired Lagrangian distributions, associated to any two cleanly intersecting Lagrangain submanifolds, is constructed. The class is given an intrinsic characterisation using radial operators and a symbol calculus is developed. A class of pseudo—differential operators with singular symbols is developed within the calculus. This is used to give symbolic constructions of parametrices for operators of real principal type and paired Lagrangian distributions. The calculus is then applied to give a symbolic construction of the forward fundamental solution of the wave operator.     

Unbounded pseudodifferential calculus on Lie groupoids

We develop an abstract theory of unbounded longitudinal pseudodifferential calculus on smooth groupoids (also called Lie groupoids) with compact basis. We analyze these operators as unbounded operators acting on Hilbert modules over C^∗(G), and we show in particular that elliptic operators are regular. We construct a scale of Sobolev modules which are the abstract analogues of the ordinary Sobolev spaces, and analyze their properties. Furthermore, we show that complex powers of positive elliptic pseudodifferential operators are still pseudodifferential operators in a generalized sense.     

Calculus and Quantizations Over Hopf Algebras

In this paper we outline an approach to calculus over quasitriangular Hopf algebras. We construct braided differential operators and introduce a general notion of quantizations in monoidal categories. We discuss some applications to quantizations of differential operators.