Search arXiv⌕ Search

arXiv · 2610.37644

Applications of the fixed point theorem for mappings contracting perimeters of triangles: ODEs, PDEs, integer and difference equations

Abstract

Mappings contracting perimeters of triangles are Banach contractions whenever every point of the underlying metric space is an accumulation point. Consequently, applying the perimeter-contraction theorem on a complete metric space without isolated points yields an existence result already covered by Banach's fixed point theorem. This observation applies, in particular, to operators associated with differential and integral equations acting on standard nontrivial function spaces, such as spaces of continuous functions $C[a,b]$, Lebesgue spaces $L_p$, and Sobolev spaces $W^{k,p}$, equipped with their usual norm metrics. Thus, applications extending beyond Banach's theorem for the same operator and metric require a complete invariant domain containing some number of isolated points. Such a domain may be a closed subset of a standard function space, despite the absence of isolated points in the ambient space. The main goal of this paper is to illustrate applications of the fixed point theorem for mappings contracting perimeters of triangles in settings where the associated operators are not Banach contractions. The differential-equation examples admit interpretations as stylized models combining continuous evolution, nonlocal measurement, and quantized feedback. The integer and difference-equation examples illustrate the effects of rounding on equilibria and periodic responses.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

E. Petrov, R. Salimov, R. Taranets. 2026-10-27. Applications of the fixed point theorem for mappings contracting perimeters of triangles: ODEs, PDEs, integer and difference equations. https://arxiv.org/abs/2610.37644

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Framework for Supervised and Unsupervised Learning via Reproducing Kernel Hilbert Spaces

We introduce a unified framework for supervised and unsupervised learning through density estimation using reproducing kernel Hilbert spaces (RKHSs). To this end, we introduce the notion of a nested RKHS, that is, an increasing sequence of RKHSs whose union is dense in an ambient $L^2$-space. This construction allows us to exploit the computational structure of RKHS methods at each finite approximation level while preserving the approximation power of the entire $L^2$-space. We first study statistical learning in a fixed RKHS. In both unsupervised and supervised settings, we establish strong convergence results for empirical averages of random elements taking values in an RKHS continuously embedded in $L^2$. We then use the nested RKHS structure to combine these statistical convergence results with the density of the union of the RKHSs in the ambient $L^2$-space. We apply this construction to probability density estimation and binary Bayesian classification. For density estimation, we construct explicit empirical estimators of the orthogonal projections of the target density onto the RKHSs and establish their almost sure convergence. A diagonal selection procedure then yields a sequence of estimators converging almost surely to the target density in $L^2$. For binary Bayesian classification, we formulate the approximation of the Bayes target as the minimization of suitable population and empirical risk functionals. We prove consistency of the empirical minimizers and use the nested structure to obtain convergence towards the Bayes target in $L^2$. We further provide a geometric interpretation in terms of hyperplanes and weighted distances in the ambient $L^2$-space. Finally, we show that the population risk admits a direct probabilistic interpretation in terms of the probability of misclassification.

math.FA↗

From one particle to N particles: uniform transport-information and log-Sobolev inequalities for Coulomb gases on the torus

We study how a functional inequality satisfied by the one-particle conditional distributions of a Gibbs measure, with a constant independent of the positions of the other particles, can be propagated to the whole N -particle system, with a constant independent of N , when the interaction is singular. Our model is the Coulomb gas on the torus T 3 in the mean-field regime. We distinguish two mechanisms. The first one is a dependent tensorization, governed by Dobrushin-Wu interdependence coefficients. It yields uniform Poincar{é} and transport-information W 2 I inequalities with fully explicit constants. We explain why this mechanism does not extend to the log-Sobolev inequality: the Zegarlinski-type coefficients, which require pointwise bounds on the interaction, are infinite. The second mechanism is a tensorization with a defect. Using a uniform bound on the partition function due to Duerinckx and Jabin, it yields a uniform log-Sobolev inequality for the Coulomb gas on T 3 at small charge. We identify the assumptions on the interaction under which each mechanism applies. All the results are then extended to the two-dimensional Coulomb gas and to periodic Riesz gases 1/|x|^s , 0 < s $\le$ 1. The extension to d $\ge$ 4 is also discussed.

math.FA↗