Table of Contents
Fetching ...

Dimension preserving set-valued approximation and decomposition via metric sum

Ekta Agrawal, Saurabh Verma

TL;DR

The paper tackles the problem of approximating continuous set-valued functions with compact images without forcing convexity. It develops a fractal interpolation framework based on the metric sum via a Read-Bajraktarevič operator under a Rakotch contraction, proving the existence and uniqueness of a set-valued interpolant that interpolates data. It analyzes the dimensional properties of SVF graphs, establishing Falconer-type results for their distance and difference sets, and introduces a dimension-preserving decomposition: any continuous SVF can be expressed as a metric sum of components that preserve dimension. The results provide a toolkit for SVF approximation, analysis, and decomposition that avoids the undesired convexification of Minkowski sums, with potential impact on applications in control, differential inclusions, and fractal geometry.

Abstract

In the literature, the Minkowski-sum and the metric-sum of compact sets are highlighted. While the first is associative, the latter is not. But the major drawback of the Minkowski combination is that, by increasing the number of summands, this leads to convexification. The present article is uncovered in two folds: The initial segment presents a novel approach to approximate a continuous set-valued function with compact images via a fractal approach using the metric linear combination of sets. The other segment contains the dimension analysis of the distance set of graph of set-valued function and solving the celebrated distance set conjecture. In the end, a decomposition of any continuous convex compact set-valued function is exhibited that preserves the Hausdorff dimension, so this will serve as a method for dealing with complicated set-valued functions.

Dimension preserving set-valued approximation and decomposition via metric sum

TL;DR

The paper tackles the problem of approximating continuous set-valued functions with compact images without forcing convexity. It develops a fractal interpolation framework based on the metric sum via a Read-Bajraktarevič operator under a Rakotch contraction, proving the existence and uniqueness of a set-valued interpolant that interpolates data. It analyzes the dimensional properties of SVF graphs, establishing Falconer-type results for their distance and difference sets, and introduces a dimension-preserving decomposition: any continuous SVF can be expressed as a metric sum of components that preserve dimension. The results provide a toolkit for SVF approximation, analysis, and decomposition that avoids the undesired convexification of Minkowski sums, with potential impact on applications in control, differential inclusions, and fractal geometry.

Abstract

In the literature, the Minkowski-sum and the metric-sum of compact sets are highlighted. While the first is associative, the latter is not. But the major drawback of the Minkowski combination is that, by increasing the number of summands, this leads to convexification. The present article is uncovered in two folds: The initial segment presents a novel approach to approximate a continuous set-valued function with compact images via a fractal approach using the metric linear combination of sets. The other segment contains the dimension analysis of the distance set of graph of set-valued function and solving the celebrated distance set conjecture. In the end, a decomposition of any continuous convex compact set-valued function is exhibited that preserves the Hausdorff dimension, so this will serve as a method for dealing with complicated set-valued functions.

Paper Structure

This paper contains 5 sections, 36 theorems, 166 equations, 2 figures.

Key Result

Proposition 2.3

Let $A,B,C\in \mathcal{K}_c(\mathbb{R}).$ Then associativity holds for the metric-sum, that is,

Figures (2)

  • Figure 1: Graphical representation of $W,$ i.e., $\mathcal{G}_*(W).$
  • Figure 2: Graphical representation of $\mathcal{B}_4^MW,$ i.e., $\mathcal{G}_*(\mathcal{B}_4^MW$)

Theorems & Definitions (73)

  • Remark 2.2
  • Proposition 2.3
  • proof
  • Remark 2.4
  • Lemma 2.5
  • proof
  • Lemma 2.6
  • proof
  • Lemma 2.7
  • proof
  • ...and 63 more