Search results for "programming."
showing 10 items of 3035 documents
On some dual frames multipliers with at most countable spectra
2021
A dual frames multiplier is an operator consisting of analysis, multiplication and synthesis processes, where the analysis and the synthesis are made by two dual frames in a Hilbert space, respectively. In this paper we investigate the spectra of some dual frames multipliers giving, in particular, conditions to be at most countable. The contribution extends the results available in literature about the spectra of Bessel multipliers with symbol decaying to zero and of multipliers of dual Riesz bases.
Cyclic admissible contraction and applications to functional equations in dynamic programming
2015
In this paper, we introduce the notion of T-cyclic $( \alpha ,\beta ) $ -contraction and give some common fixed point results for this type of contractions. The presented theorems extend, generalize, and improve many existing results in the literature. Several examples and applications to functional equations arising in dynamic programming are also given in order to illustrate the effectiveness of the obtained results.
Global functorial hypergestures over general skeleta for musical performance
2016
Musical performance theory using Lagrangian formalism, inspired by physical string theory, has been described in previous research. That approach was restricted to zero-addressed hypergestures of local character, and also to digraph skeleta of simple arrow type. In this article, we extend the theory to hypergestures that are defined functorially over general topological categories as addresses, are global, and are also defined for general skeleta. We also prove several versions of the important Escher Theorem for this general setup. This extension is highly motivated by theoretical and practical musical performance requirements of which we give concrete examples.
Unique continuation property and Poincar�� inequality for higher order fractional Laplacians with applications in inverse problems
2020
We prove a unique continuation property for the fractional Laplacian $(-\Delta)^s$ when $s \in (-n/2,\infty)\setminus \mathbb{Z}$. In addition, we study Poincar\'e-type inequalities for the operator $(-\Delta)^s$ when $s\geq 0$. We apply the results to show that one can uniquely recover, up to a gauge, electric and magnetic potentials from the Dirichlet-to-Neumann map associated to the higher order fractional magnetic Schr\"odinger equation. We also study the higher order fractional Schr\"odinger equation with singular electric potential. In both cases, we obtain a Runge approximation property for the equation. Furthermore, we prove a uniqueness result for a partial data problem of the $d$-…
Fredholm Spectra and Weyl Type Theorems for Drazin Invertible Operators
2016
In this paper we investigate the relationship between some spectra originating from Fredholm theory of a Drazin invertible operator and its Drazin inverse, if this does exist. Moreover, we study the transmission of Weyl type theorems from a Drazin invertible operator R, to its Drazin inverse S.
Lower Semi-frames, Frames, and Metric Operators
2020
AbstractThis paper deals with the possibility of transforming a weakly measurable function in a Hilbert space into a continuous frame by a metric operator, i.e., a strictly positive self-adjoint operator. A necessary condition is that the domain of the analysis operator associated with the function be dense. The study is done also with the help of the generalized frame operator associated with a weakly measurable function, which has better properties than the usual frame operator. A special attention is given to lower semi-frames: indeed, if the domain of the analysis operator is dense, then a lower semi-frame can be transformed into a Parseval frame with a (special) metric operator.
Representation Theorems for Indefinite Quadratic Forms Revisited
2010
The first and second representation theorems for sign-indefinite, not necessarily semi-bounded quadratic forms are revisited. New straightforward proofs of these theorems are given. A number of necessary and sufficient conditions ensuring the second representation theorem to hold is proved. A new simple and explicit example of a self-adjoint operator for which the second representation theorem does not hold is also provided.
Large-x Analysis of an Operator-Valued Riemann–Hilbert Problem
2015
International audience; The purpose of this paper is to push forward the theory of operator-valued Riemann-Hilbert problems and demonstrate their effectiveness in respect to the implementation of a non-linear steepest descent method a la Deift-Zhou. In this paper, we demonstrate that the operator-valued Riemann-Hilbert problem arising in the characterization of so-called c-shifted integrable integral operators allows one to extract the large-x asymptotics of the Fredholm determinant associated with such operators.
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 …