Related papers: Inverse and Implicit Function Theorems for Noncomm…
We prove an implicit function theorem and an inverse function theorem for free noncommutative functions over operator spaces and on the set of nilpotent matrices. We apply these results to study dependence of the solution of the initial…
Sufficient conditions are given for a hard implicit function theorem to hold. The result is established by an application of the Dynamical Systems Method (DSM). It allows one to solve a class of nonlinear operator equations in the case when…
We discuss non-commutative field theories in coordinate space. To do so we introduce pseudo-localized operators that represent interesting position dependent (gauge invariant) observables. The formalism may be applied to arbitrary field…
In this paper we study noncommutative domains D_f in B(H)^n, generated by positive regular free holomorphic functions f, where B(H) is the algebra of all bounded linear operators on a Hilbert space H.
The central purpose of this article is to establish new inverse and implicit function theorems for differentiable maps with isolated critical points. One of the key ingredients is a discovery of the fact that differentiable maps with…
Our main theorem is in the generality of the axioms of Hilbert space, and the theory of unbounded operators. Consider two Hilbert spaces such that their intersection contains a fixed vector space D. It is of interest to make a precise…
The Implicit and Inverse Function Theorems are special cases of a general Implicit/Inverse Function Theorem which can be easily derived from either theorem. The theorems can thus be easily deduced from each other via the generalized…
Some consequences of promoting the object of noncommutativity ${\mathbf \theta}^{ij}$ to an operator in Hilbert space are explored. Consequently, a consistent algebra involving the enlarged set of canonical operators is obtained, which…
We introduce unbounded strongly irreducible operators and transitive operators. These operators are related to a certain class of indecomposable Hilbert representations of quivers on infinite-dimensional Hilbert spaces. We regard the theory…
We characterize functions of $d$-tuples of bounded operators on a Hilbert space that are uniformly approximable by free polynomials on balanced open sets.
In the present paper we obtain a new homological version of the implicit function theorem and some versions of the Darboux theorem. Such results are proved for continuous maps on topological manifolds. As a consequence, some versions of…
In this article, we present explicit estimates of the size of the domain on which the Implicit Function Theorem and the Inverse Function Theorem are valid. For maps that are twice continuously differentiable, these estimates depend upon the…
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 develop a general theory of operator realizations, or ``linear representations" of analytic functions in several non-commuting variables about a matrix-centre. In particular we show that a non-commutative function has a matrix-centre…
The main aim of this paper is to generalize the classical concept of positive operator, and to develop a general extension theory, which overcomes not only the lack of a Hilbert space structure, but also the lack of a normable topology. The…
This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial…
Noncommutative functions are graded functions between sets of square matrices of all sizes over two vector spaces that respect direct sums and similarities. They possess very strong regularity properties (reminiscent of the regularity…
We discuss non commutative functions, which naturally arise when dealing with functions of more than one matrix variable.
Let B(H) be the algebra of all bounded linear operators on a Hilbert space H. The main goal of the paper is to find large classes of noncommutative domains in B(H) with prescribed universal operator models, acting on the full Fock space…
In studying the complex H\'enon maps, Mummert (in "Holomorphic shadowing for H\'enon maps" Nonlinearity 21 pp. 2887-2898, 2008) defined an operator the fixed points of which give rise to bounded orbits. This enabled him to obtain an…