Generalized Hausdorff Integral and Its Applications: Abstract and Introduction

cover
17 Jul 2024

Author:

(1) Attila Losonczi.

Abstract and 1 Introduction

1.1 Basic notions and notations

1.2 Basic definitions from [7] and [8]

2 Generalized integral

2.1 Multiplication on [0, +โˆž) ร— [โˆ’โˆž, +โˆž]

2.2 Measurability

2.3 The integral of functions taking values in [0, +โˆž) ร— [0, +โˆž)

3 Applications

4 References

Abstract

We go on to widen the scope of the previously defined Hausdorff-integral in the sense that we extend it to functions taking values in [0, +โˆž) ร— [0, +โˆž). In all our intentions, we follow the same attitude that we had in our previous investigations, i.e. we work in the realm of Hausdorff dimension and measure.

1 Introduction

This paper can be considered as a continuation of the papers [7] and [8]. For original intentions, aims and motivation, we suggest that the reader should consult to [7] and [8].

In [7] we defined the Hausdorff-integral on R for real functions, then in [8] we generalized it for real functions on so-called h-measure spaces and found connection between the two integral notions. We can go on generalizing and define the integral of functions whose values are taken from [0, +โˆž)ร—[0, +โˆž) and are defined on h-measure spaces. Our applications will be based on the integral of such functions.

The new integral has the usual properties, e.g. it is a linear functional (homogeneous and additive), monotone, it provides an h-measure, etc. However this generalization of the integral has some flaws. It is not true anymore that if fn โ†’ f, (0, 0) โ‰ค fn โ‰ค fn+1 (n โˆˆ N), then (H)R K fn dยต โ†’ (H)R K f dยต. It is a consequence of the fact that the topological space [0, +โˆž) ร— [0, +โˆž] is not separable. It is not true either that every measurable function is a limit of simple functions, therefore in some of the proofs, different, more sophisticated methods have to be applied.

The structure of the paper is the following. First, we define a multiplication in [0, +โˆž)ร—[โˆ’โˆž, +โˆž], as it is essential for the integral. Afterwards, we define the new integral for simple functions (some call them step functions) and analyze its properties. In the next step, we extend the integral for nonnegative measurable functions and again we derive its properties. In many of the cases, our proofs follow the usual arguments however we always have to listen to the slight but in some cases important differences. Finally, we present some applications which are sophisticated deficiency measurements.

This paper is available on arxiv under CC BY-NC-ND 4.0 DEED license.