Related papers: Arlinskii's iteration and its applications
A GNS - like *-representation of a \pa\ $\A$ defined by certain representable linear functionals on $\A$ is constructed. The study of the interplay with the GNS construction associated with invariant positive sesquilinear forms (ips) leads…
To obtain the highest confidence on the correction of numerical simulation programs implementing the finite element method, one has to formalize the mathematical notions and results that allow to establish the soundness of the method.…
We introduce and elaborate a novel formalism for the manipulation and analysis of proofs as objects in a global manner. In this first approach the formalism is restricted to first-order problems characterized by condensed detachment. It is…
We prove the Aleksandrov--Bakelman--Pucci estimate for non-uniformly elliptic equations in non-divergence form. Moreover, we investigate local behaviors of solutions of such equations by developing local boundedness and weak Harnack…
In this paper we study the center algebras of multilinear forms. It is shown that the center of a nondegenerate multilinear form is a finite dimensional commutative algebra and can be effectively applied to its direct sum decompositions. As…
We show how well known tools of algebraic geometry for the study of finite sets can be fruitfully applied to the study of Waring decompositions of symmetric tensors (forms). We mainly focus on the uniqueness of a given decomposition (the…
We propose a probabilistic definition of solutions of semilinear elliptic equations with (possibly nonlocal) operators associated with regular Dirichlet forms and with measure data. Using the theory of backward stochastic differential…
Due to the fundamental works of T. Ando, W. Szyma\'nski, F. H. Szafraniec, and many others it is well known that sesquilinear forms play an important role in dilation theory. The crucial fact is that every positive definite operator…
This paper is concerned with the study of the fractional finite sums theory. We present the classes of functions for which it is possible to characterize the constant related to the derivative of fractional sums (denominated by essence of a…
AGT relations imply that the four-point conformal block admits a decomposition into a sum over pairs of Young diagrams of essentially rational Nekrasov functions - this is immediately seen when conformal block is represented in the form of…
We consider a two-point boundary value problem involving a Riemann-Liouville fractional derivative of order $\al\in (1,2)$ in the leading term on the unit interval $(0,1)$. Generally the standard Galerkin finite element method can only give…
We establish a "matrix simultaneous diagonalization theorem" for disconnected reductive groups which relaxes both the semisimplicity condition and the commutativity condition. As an application, we prove the following basic results…
We explain how Pusz--Woronowicz's idea of their functional calculus fits the theory of Lebesgue decomposition for positive operators on Hilbert spaces initially developed by Ando. In this way, we reconstruct the essential and fundamental…
The Augmented Lagrangian Method as an approach for regularizing inverse problems received much attention recently, e.g. under the name Bregman iteration in imaging. This work shows convergence (rates) for this method when Morozov's…
Birch and Swinnerton-Dyer conjecture allows for sharp estimates on the rank of certain abelian varieties defined over $ \Q$. in the case of the jacobian of the modular curves, this problem is equivalent to the estimation of the order of…
Zernike polynomials are widely used in optics and ophthalmology due to their direct connection to classical optical aberrations. While orthogonal on the unit disk, their application to discrete data or non-circular domains--such as…
We obtain some simple relations between decomposition numbers of quantized Schur algebras at an n-th root of unity (over a field of characteristic 0). These relations imply that every decomposition number for such an algebra occurs as a…
The subject is parametrices for semi-linear problems, based on parametrices for linear boundary problems and on non-linearities that decompose into solution-dependent linear operators acting on the solutions. Non-linearities of product type…
We use both Abel's lemma on summation by parts and Zeilberger's algorithm to find recurrence relations for definite summations. The role of Abel's lemma can be extended to the case of linear difference operators with polynomial…
In this paper, we consider systems of algebraic and non-linear partial differential equations and inequations. We decompose these systems into so-called simple subsystems and thereby partition the set of solutions. For algebraic systems,…