Search results for "programming"
showing 10 items of 3090 documents
A Kato's second type representation theorem for solvable sesquilinear forms
2017
Kato's second representation theorem is generalized to solvable sesquilinear forms. These forms need not be non-negative nor symmetric. The representation considered holds for a subclass of solvable forms (called hyper-solvable), precisely for those whose domain is exactly the domain of the square root of the modulus of the associated operator. This condition always holds for closed semibounded forms, and it is also considered by several authors for symmetric sign-indefinite forms. As a consequence, a one-to-one correspondence between hyper-solvable forms and operators, which generalizes those already known, is established.
Some basic theorems on the foundations of mathematics and their philosophical implications
1995
Research in the foundations of mathematics during the past few decades has produced some results, which seem to me of interest, not only in themselves, but also with regard to their implications for the traditional philosophical problems about the nature of mathematics. The results themselves, I believe, are fairly widely known, but nevertheless, I think, it will be useful to present them in outline once again, especially in view of the fact that, due to the work of various mathematicians, they have taken on a much more satisfactory form, than they had had originally. The greatest improvement was made possible through the precise definition of the concept of finite procedure, which plays a …
Nonradial Hormander algebras of several variables and convolution operators
2001
A characterization of the closed principal ideals in nonradial Hormander algebras of holomorphic functions of several variables in terms of the behaviour of the generator is obtained. This result is applied to study the range of convolution operators and ultradifferential operators on spaces of quasianalytic functions of Beurling type. Contrary to what is known to happen in the case of non-quasianalytic functions, an ultradistribution on a space of quasianalytic functions is constructed such that the range of the operator does not contain the real analytic functions. Let u, v : R → R be continuous, non-negative and even functions which are increasing on the positive real numbers. We assume …
Bismut's Way of the Malliavin Calculus for Elliptic Pseudodifferential Operators on a Lie Group
2018
We give an adaptation of the Malliavin Calculus of Bismut type for a semi-group generated by a right-invariant elliptic pseudodifferential operator on a Lie group.
Regular solutions of transmission and interaction problems for wave equations
1989
Consider n bounded domains Ω ⊆ ℝ and elliptic formally symmetric differential operators A1 of second order on Ωi Choose any closed subspace V in , and extend (Ai)i=1,…,n by Friedrich's theorem to a self-adjoint operator A with D(A1/2) = V (interaction operator). We give asymptotic estimates for the eigenvalues of A and consider wave equations with interaction. With this concept, we solve a large class of problems including interface problems and transmission problems on ramified spaces.25,32 We also treat non-linear interaction, using a theorem of Minty29.
Ulam Stability for the Composition of Operators
2020
Working in the setting of Banach spaces, we give a simpler proof of a result concerning the Ulam stability of the composition of operators. Several applications are provided. Then, we give an example of a discrete semigroup with Ulam unstable members and an example of Ulam stable operators on a Banach space, such that their sum is not Ulam stable. Another example is concerned with a C 0 -semigroup ( T t ) t &ge
Polynomial functors and polynomial monads
2009
We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a polynomial endofunctor is polynomial. The relationship with operads and other related notions is explored.
Weyl Asymptotics and Random Perturbations in a One-Dimensional Semi-classical Case
2019
We consider a simple model operator P in dimension 1 and show how random perturbations give rise to Weyl asymptotics in the interior of the range of P. We follow rather closely the work of Hager (Ann Henri Poincare 7(6):1035–1064, 2006) with some input also from Bordeaux Montrieux (Loi de Weyl presque sureet resolvante pour des operateurs differentiels nonautoadjoints, these, CMLS, Ecole Polytechnique, 2008) and Hager–Sjostrand (Math Ann 342(1):177–243, 2008). Some of the general ideas appear perhaps more clearly in this special situation.
Approximations of positive operators and continuity of the spectral radius III
1994
AbstractWe prove estimates on the speed of convergence of the ‘peripheral eigenvalues’ (and principal eigenvectors) of a sequence Tn of positive operators on a Banach lattice E to the peripheral eigenvalues of its limit operator T on E which is positive, irreducible and such that the spectral radius r(T) of T is a Riesz point of the spectrum of T (that is, a pole of the resolvent of T with a residuum of finite rank) under some conditions on the kind of approximation of Tn to T. These results sharpen results of convergence obtained by the authors in previous papers.
Some representation theorems for sesquilinear forms
2016
The possibility of getting a Radon-Nikodym type theorem and a Lebesgue-like decomposition for a non necessarily positive sesquilinear $\Omega$ form defined on a vector space $\mathcal D$, with respect to a given positive form $\Theta$ defined on $\D$, is explored. The main result consists in showing that a sesquilinear form $\Omega$ is $\Theta$-regular, in the sense that it has a Radon-Nikodym type representation, if and only if it satisfies a sort Cauchy-Schwarz inequality whose right hand side is implemented by a positive sesquilinear form which is $\Theta$-absolutely continuous. In the particular case where $\Theta$ is an inner product in $\mathcal D$, this class of sesquilinear form cov…