Search results for "Model theory"

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.

Uniqueness of positive solutions to some nonlinear Neumann problems

2017

Abstract Using the moving plane method, we obtain a Liouville type theorem for nonnegative solutions of the Neumann problem { div ( y a ∇ u ( x , y ) ) = 0 , x ∈ R n , y > 0 , lim y → 0 + ⁡ y a u y ( x , y ) = − f ( u ( x , 0 ) ) , x ∈ R n , under general nonlinearity assumptions on the function f : R → R for any constant a ∈ ( − 1 , 1 ) .

Multiple solutions for a Neumann-type differential inclusion problem involving the p(.)-Laplacian

2012

Using a multiple critical points theorem for locally Lipschitz continuous functionals, we establish the existence of at least three distinct solutions for a Neumann-type differential inclusion problem involving the $p(\cdot)$-Laplacian.

Strong Converse Results for Linking Operators and Convex Functions

2020

We consider a family B n , ρ c of operators which is a link between classical Baskakov operators (for ρ = ∞ ) and their genuine Durrmeyer type modification (for ρ = 1 ). First, we prove that for fixed n , c and a fixed convex function f , B n , ρ c f is decreasing with respect to ρ . We give two proofs, using various probabilistic considerations. Then, we combine this property with some existing direct and strong converse results for classical operators, in order to get such results for the operators B n , ρ c applied to convex functions.

Malliavin Calculus of Bismut Type for Fractional Powers of Laplacians in Semi-Group Theory

2011

We translate into the language of semi-group theory Bismut's Calculus on boundary processes (Bismut (1983), Lèandre (1989)) which gives regularity result on the heat kernel associated with fractional powers of degenerated Laplacian. We translate into the language of semi-group theory the marriage of Bismut (1983) between the Malliavin Calculus of Bismut type on the underlying diffusion process and the Malliavin Calculus of Bismut type on the subordinator which is a jump process.

Common Fixed Points of a Pair of Hardy Rogers Type Mappings on a Closed Ball in Ordered Dislocated Metric Spaces

2013

Common fixed point results for mappings satisfying locally contractive conditions on a closed ball in an ordered complete dislocated metric space have been established. The notion of dominated mappings is applied to approximate the unique solution of nonlinear functional equations. Our results improve several well-known conventional results.

Multidimensional dyadic Kurzweil–Henstock- and Perron-type integrals in the theory of Haar and Walsh series

2015

Abstract The problem of recovering the coefficients of rectangular convergent multiple Haar and Walsh series from their sums, by generalized Fourier formulas, is reduced to the one of recovering a function (the primitive) from its derivative with respect to the appropriate derivation basis. Multidimensional dyadic Kurzweil–Henstock- and Perron-type integrals are compared and it is shown that a Perron-type integral, defined by major and minor functions having a special continuity property, solves the coefficients problem for series which are convergent everywhere outside some uniqueness sets.

Approximation properties of λ-Kantorovich operators

2018

In the present paper, we study a new type of Bernstein operators depending on the parameter \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\lambda\in[-1,1]$\end{document}λ∈[−1,1]. The Kantorovich modification of these sequences of linear positive operators will be considered. A quantitative Voronovskaja type theorem by means of Ditzian–Totik modulus of smoothness is proved. Also, a Grüss–Voronovskaja type theorem for λ-Kantorovich operators is provided. Some numerical examples which show the relevance of the res…

Bivariate Operators of Discrete and Integral Type

2018

Stability of the Calderón problem in admissible geometries

2014

In this paper we prove log log type stability estimates for inverse boundary value problems on admissible Riemannian manifolds of dimension n ≥ 3. The stability estimates correspond to the uniqueness results in [13]. These inverse problems arise naturally when studying the anisotropic Calderon problem. peerReviewed