Search results for "Applied Mathematics"
showing 10 items of 4379 documents
Miscellaneous Graph Preliminaries. Part I
2021
Summary This article contains many auxiliary theorems which were missing in the Mizar Mathematical Library to the best of the author’s knowledge. Most of them regard graph theory as formalized in the GLIB series and are needed in upcoming articles.
Common fixed points in generalized metric spaces
2012
Abstract We establish some common fixed point theorems for mappings satisfying a ( ψ , φ ) -weakly contractive condition in generalized metric spaces. Presented theorems extend and generalize many existing results in the literature.
Fixed point theory for 1-set contractive and pseudocontractive mappings
2013
The purpose of this paper is to study the existence and uniqueness of fixed point for a class of nonlinear mappings defined on a real Banach space, which, among others, contains the class of separate contractive mappings, as well as to see that an important class of 1-set contractions and of pseudocontractions falls into this type of nonlinear mappings. As a particular case, we give an iterative method to approach the fixed point of a nonexpansive mapping. Later on, we establish some fixed point results of Krasnoselskii type for the sum of two nonlinear mappings where one of them is either a 1-set contraction or a pseudocontraction and the another one is completely continuous, which extend …
Cluster sets and quasiconformal mappings
2010
Certain classical results on cluster sets and boundary cluster sets of analytic functions, due to Iversen, Lindelof, Noshiro, Tsuji, Ohtsuka, Pommerenke, Carmona, Cufi and others, are extended to n-dimensional quasiconformal mappings. Unlike what is usually the case in the context of analytic functions, our considerations are not restricted to mappings of a disk or ball only. It is shown, for instance, that quasiconformal cluster sets and boundary cluster sets, taken at a non-isolated boundary point of an arbitrary domain, coincide. More refined versions are established in the special case where the domain is the open unit ball. These include cluster set considerations of the induced radial…
Stancu–Schurer–Kantorovich operators based on q-integers
2015
The goal of this paper is to introduce and study q analogue of Stancu-Schurer-Kantorovich operators. A convergence theorem using the well known Bohman-Korovkin criterion is proven and the rate of convergence involving the modulus of continuity is established. The estimate of the rate of convergence by means of the Lipshitz function is considered. Furthermore, we obtained a Voronovskaja type result for these operators. Also, we investigate the statistical approximation properties of these operators using Korovkin type statistical approximation theorem.
About Graph Complements
2020
Summary This article formalizes different variants of the complement graph in the Mizar system [3], based on the formalization of graphs in [6].
NP-completeness of the hamming salesman problem
1985
It is shown that the traveling salesman problem, where cities are bit strings with Hamming distances, is NP-complete.
Weighted Extrapolation Techniques for Finite Difference Methods on Complex Domains with Cartesian Meshes
2016
The design of numerical boundary conditions in high order schemes is a challenging problem that has been tackled in different ways depending on the nature of the problem and the scheme used to solve it numerically. In this paper we propose a technique to extrapolate the information from the computational domain to ghost cells for schemes with structured Cartesian Meshes on complex domains. This technique is based on the application of Lagrange interpolation with weighted filters for the detection of discontinuities that permits a data dependent extrapolation, with high order at smooth regions and essentially non oscillatory properties near discontinuities. This paper is a sequel of Baeza et…
Degree of monotonicity in aggregation process
2010
In this paper we introduce a fuzzy order relation notion in the description of aggregation process. Namely, we use the fuzzy order relation to define the degree of monotonicity, which is equal to 1 for a monotone function with respect to a crisp order relation. In that case, integration of fuzzy order relation allows us to generalize the notion of monotonicity and we try to investigate the benefits of using fuzzy relations instead of a crisp relation. Further we illustrate this definition by examples and study the properties of aggregation functions which have a certain degree of monotonicity.
Unconditionally convergent multipliers and Bessel sequences
2016
Abstract We prove that every unconditionally summable sequence in a Hilbert space can be factorized as the product of a square summable scalar sequence and a Bessel sequence. Some consequences on the representation of unconditionally convergent multipliers are obtained, thus providing positive answers to a conjecture by Balazs and Stoeva in some particular cases.