Bounded variation of functions defined on a convex and compact set in the plane

Abstract In this paper, the variation of functions has been defined, whose domain is a convex and compact set in the plane. Furthermore, in addition to presenting properties that satisfy this variation, the vector space formed by functions with finite variation is studied, demonstrating that it is a Banach space and its elements can be expressed as the difference of non-decreasing functions.


Introduction
Even though we have the definition of the integral of functions defined over a rectangle in the plane, to achieve flexibility when studying some natural phenomena, it is necessary to generalize this definition to more general regions, since many of them, perhaps most of them, can be developed in more irregular regions.And in the same line, although it is true that the study of functions of bounded variation arises as a necessary tool in the study of Fourier series, they have acquired importance from the theoretical point of view.Thus, this space of functions has been treated by several authors.First, the initial definition of functions of a real variable defined on a compact interval has now been extended to more general sets, among them: open sets, compact sets, etc.It has even been defined for functions whose values are in metric spaces or Banach spaces.Subsequently, interest arose in working with this type of function defined in two or more variables, see (Ambrosio, 1990;Bracamonte, Gim� enez, & Merente, 2013;Chistyakov & Tretyachenko, 2010).However, there is interest in studying some types of integral equations, such as those of the Fredholm and/ or Volterra type (see Bana� s & Dronka, 2000;Ere� u, Marchan, P� erez, & Rojas, 2023).However, we are interested in obtaining solutions in the space of functions of bounded variation of nonlinear integral equations such as /ðxÞ ¼ Ð x 0 Kðx, y, /ðyÞÞdy þ f ðxÞ where f is a bounded variation function, for which it is essential that the functions that are involved in them are defined in more general sets.This new definition allows the study, among other things, of equations of this type.This is part of the motivation of this study, in addition to the interest of space itself, which is still of interest to many researchers (Bugajewski & Gulgowski, 2020;Ere� u et al., 2023;Gim� enez, Merentes, & Vivas, 2014).We begin thus, with the definition of variation of a function defined on a compact and convex set, a relatively simple set in the plane.

Preliminaries
We begin by presenting the most frequently know definition of variation of a function with a rectangle as domain.
Let R ¼ ½a, b� � ½c, d� be a rectangle in R 2 , we assume that a < b and c < d: As in (Clarkson & Adams, 1933), the term net we shall, unless otherwise specified, mean a set of parallels to the axes In this case we will say that n ¼ fx i g n i¼0 and g ¼ fy j g m j¼0 are partitions of the intervals [a, b] and [c, d] CONTACT Mireya Bracamonte mirebrac@gmail.comEscuela Superior Polit� ecnica del Litoral, ESPOL, Facultad de Ciencias Naturales y Matem� atica, ESPOL Polytechnic University, Campus Gustavo Galindo Km. 30.5 V� ıa Perimetral, P.O.Box 09-01-5863, Guayaquil, Ecuador respectively, which we will denote by n 2 Kð½a, b�Þ and g 2 Kð½c, d�Þ: Furthermore the net n � g will state that n � g 2 KðRÞ: Each of the smaller rectangles I ij ¼ ½x i−1 , x i � � ½y j−1 , y j � into which R is partitioned by a net will be called a cell.
If f : R !R, the authors also define the today called Vitali difference for (2.1) Note that this difference involves all four vertices of the cell I ij ¼ ½x i−1 , x i � � ½y j−1 , y j �, therefore it is required that the function f is defined in R: Let n ¼ fx i g n i¼0 be a partition of [a, b] and g ¼ fy j g m j¼0 be a partition of [c, d].Is clear that, n � g is a net for R: Under the given conditions the following variations are defined and where the supremum is being taken over all n, g of partitions of [a, b] and [c, d] respectively.The total variation of f : R !R is defined by In (Chistyakov & Tretyachenko, 2010) the space of functions of finite total variation is defined (in sense of Vitali, Hardy and Krause) as, In addition, several properties are demonstrated, among which are 1.f is bounded, 2. Is f 2 BVðRÞ, and ðx 1 , (2.2) 3. if a sequence of maps ff j g from R into R converges pointwise on R to a map f : R !R, then TVðf , RÞ � liminf j!1 TVðf j , RÞ (2.3) 4. In (Idczak, 1994), an interval function associated with f is defined as follows

Variation of a function defined on more general sets
Our objective in this section is to define the variation of functions whose domain is a more general set r: For which we have restricted ourselves to compact and convex sets.
Let r be a compact and convex set in the plane, we will restrict ourselves to rectangle R ¼ ½a, b� � ½c, d�, which is the smallest rectangle that contains r: Note also that if we consider a finite number of points in r, they determine partitions n and g in the intervals [a, b] and [c, d] respectively.
When we are working on a rectangle in the plane the total variation is found by adding three variations, the first two corresponding to a variation of only one variable, but just on two of the edges of the rectangle where the variation of the function is being studied.In our case, to replicate this we make some preliminary considerations, let's see.
Evidently, if r is not a rectangle, then there must exist elements in R that are not in r: Besides, given a point ðx 0 , y 0 Þ in R (may not be in r), obviously the lines x ¼ x 0 and y ¼ y 0 have points in common with r, otherwise it would imply that R is not the smallest rectangle containing r:

By defining the variation of a function whose domain is r
With these resources, we can now introduce the variation of a function defined over r: Note that V 10 ðf , rÞ describes the behavior of f at the lower boundary of r: Example 2. Consider the function f ðx, yÞ ¼ x þ y defined on the triangle with vertices at the points ð0, 1Þ, ð1, 0Þ and ð2, 1Þ: In this case R is the rectangle with vertices at ð0, 0Þ, ð2, 0Þ, ð2, 1Þ and ð0, 1Þ, that is R ¼ ½0, 2� � ½0, 1�: Note that for any partition n 2 Kð½0, 2�Þ, including 1, one will have that Since this is true for any partition of [0, 2], it follows that V 10 ðf , rÞ ¼ 2: We now proceed to define the variation V 01 ðf , rÞ: For which, we begin by noting that there exists a y 2 ½c, d� such that aðyÞ ¼ a: Therefore, we can define e ¼ inffy 2 c, d ½ � : aðyÞ ¼ ag: In fact, this infimum is a minimum.Consequently, we can now define V 01 ðf , rÞ in the following way.Definition 3.2.Let g ¼ fy j g m j¼0 be a partition of [e, d]; then V 01 ðf , rÞ is define by ½ �Þ V 01 ðf , r, gÞ, where Note that V 01 ðf , rÞ indicates the variation of f over the left boundary of r, which does not overlap with the lower boundary.Then the type Vitali difference of f on the rectangle I ij � ½a, b� � ½c, d�, is defined by, Now we can, emulating the definition of bounded variation for functions whose domain is a rectangle, present the corresponding definition for functions defined on a compact and convex set r: where and We also present the set of functions of finite total variation (in the sense of Vitali -Hardy and Krause) as It is clear that the particular case in which r is a rectangle already fulfills the properties stated and studied above.So we now turn to study what properties are preserved when sigma is a more general set.
Properties It is expected that this newly defined variation satisfies analogous properties to those satisfied by the variation in functions defined on a rectangle R. Let's take a look at some of them.
(P1) If f , g 2 BVðrÞ, k, c 2 R, n ¼ fx i g n i¼0 and g ¼ fy i g m i¼0 are partitions of [a, b] and [e, d] (e as it has been defined in (3.3)) respectively, then for each 1 � i � n we will have, So, V 10 ðkf þ cg, rÞ � jkjV 10 ðf , rÞ þ jcjV 10 ðg, rÞ: which guarantees that V 01 ðkf þ cg, rÞ � jkjV 01 ðf , rÞ þ jcjV 01 ðg, rÞ: (3.6) Given that f v and g v are defined over the rectangle R, then they satisfy the inequality and by its definition, it guarantees us that V 11 ðkf þ cg, rÞ � jkjV 11 ðf , rÞ þ jcjV 11 ðg, rÞ: (3.7) Thus, from inequalities (3.5), (3.6) and (3.7), is obtained that kf þ cg 2 BVðrÞ and TVðkf þ cg, rÞ � jkjTVðf , rÞ þ jcjTVðg, rÞ: (P2) Since the null function is in BVðrÞ and property (P1) is satisfied we obtain that, BVðrÞ, with the operations of addition and multiplication by a scalar, is a real vector space.a, b] and t is a point in ða, bÞ that is not in the partition, then t 2 ½x k−1 , x k � for some 1 � k � n and consequently using the triangular inequality in the k−th summand of we obtain V 10 ðf , r, nÞ � V 10 ðf , r, n [ ftgÞ: Similarly, it can be verified that V 01 ðf , r, gÞ � V 01 ðf , r, g [ fsgÞ: Using the properties of Vitali difference for functions defined on a rectangle, we obtain that The importance of this property is that it establishes a monotonicity of variation when we add points to the partitions.This allows us to treat the supremum as a limit when necessary.
(P4) If f 2 BVðrÞ then f is a bounded function.Note that except possibly if the interval ½bðaÞ, BðaÞ� contains more than one point.In which case we will have that From this we can state that if f 2 BVðrÞ then f v 2 BVðRÞ:A consequence of this is that f v is a bounded function, and in fact, if ðx, yÞ 2 r then It is crucial to understand the "magnitude" of this novel class of functions, as it would not significantly contribute if it solely comprised constant functions.Theorem 3.7 will provide the justification for investigating and studying this distinct class of functions.
Lemma 3.4.Let f : r !R be a Lipschitz continuous function, with Lipschitz constant L, then V 10 ðf , rÞ � LdðrÞ where dðrÞ denotes the diameter of r: Consequently, we obtain that V 10 ðf , r, nÞ � LdðrÞ: Similarly, the following lemma can be demonstrated.What happens with the variation of both variables?let's see.
From which we obtain that Note that if there must exist points ðx 0 , cÞ, ðx 1 , dÞ 2 R such that f ðx 0 Þ ¼ c and f ðx 1 Þ ¼ d in which case d − c � dðrÞ: And with the same reasoning it follows that b − 1 � dðrÞ: As a consequence the following theorem can be stated Theorem 3.7.Let f : r !R be a Lipschitz continuous function, with Lipschitz constant L, then f 2 BVðrÞ and TVðf , rÞ � 4LdðrÞ, where dðrÞ denotes the diameter of r:

The space BVðrÞ
As a consequence of (P1) we have that TVð�, rÞ is a semi-norm.Then is worth asking whether a norm can be defined in this set of functions.For which it will be essential to consider the following property.
Proof.It is clear that if f is constant then TVðf , rÞ ¼ 0: On the other hand, given that f 2 BVðrÞ then f v 2 BVðRÞ and TVðf v , RÞ ¼ 0, in this case f v is constant, therefore so is f.� Lemma 4.2.|f | BVðrÞ :¼ jf ða, bðaÞÞj þ TVðf , rÞ defines a norm for BVðrÞ: The proof is an immediate consequence of property (P1) and the previous lemma.
Therefore, the succession ðf n ðx, yÞÞ n is a Cauchy sequence of numbers and thus convergent.Note additionally that this convergence is uniform; therefore, we define the function f : r !R by We need to verify if the function this way defined is in BVðrÞ: Let's see.If g ¼ fy j g s j¼0 is a partition of [e, d], we will have that, From where On the other hand, by virtue of inequality (2.3), we will have that Now, it is valid to ask the question, "Why choose this extension?Could it be extended f h using a and A defined in (3.2)?" The answer is affirmative.It is easy to show that if f v has bounded variation on R, then f h will also go have bounded variation.It is important to clarify that, in general, this two variations do not coincide.

Jordan-type decomposition theorem
It is known that any function of one variable that has bounded variation can be written as the difference of two non-decreasing functions.The idea of the following theorem is to emulate this result.Before we start, let's present some definitions that will be necessary.Definition 5.1 (see (Idczak, 1994)) A function f : R !R will be called non-decreasing if f ð�, cÞ and f ða, �Þ are non-decreasing and the associated function F f is nonnegative.
Theorem 5.2 If a function f : r !R has a finite variation then there exist non-decreasing functions g, h : r !R such that f ¼ g − h: Proof.First, let us assume that f : r !R has a finite variation.Then, for each ðx, yÞ 2 r, we have that Now, there exist non-decreasing functions g 1 , h 1 , g 2 and h 2 of one variable such that f v ðx, aÞ ¼ g 1 ðxÞ − h 1 ðxÞ, x 2 a, b ½ � f v ðc, yÞ ¼ g 2 ðyÞ − h 2 ðyÞ, y 2 c, d ½ �: In addition, we can choose two rectangle functions F and G that are additive and non-negative such that Using this knowledge about functions defined on rectangles, we can now proceed: Thus, f v ðx, yÞ ¼ gðx, yÞ − hðx, yÞ for ðx, yÞ 2 a, b ½ � � c, d ½ �: In particular, f ðx, yÞ ¼ gðx, yÞ − hðx, yÞ for ðx, yÞ 2 r:

Conclusions
In this paper, we have presented a definition of variation for functions defined on sets that are more general than those defined in the plane, specifically on convex and compact sets.To do this, we extend the function defined to the smallest rectangle that contains the said set, thus leveraging the known properties of function variation over rectangles.Subsequently, properties of this definition are presented, revealing that a set composed of functions defined on a convex and compact set, whose variation is bounded, is sufficiently rich as it contains all Lipschitz functions.Consequently, we obtain a space of functions equipped with a norm, with which it is demonstrated to be a Banach space.Finally, a Jordan-type decomposition theorem is obtained, meaning that a function in this space can be expressed as the difference of functions.

Disclosure statement
The authors declare that they have no conflict of interest related to this research, either by authorship or publication.They also declare that they have not received specific funding from any source, whether commercial, public, or non-profit organizations.

Lemma 3. 5 .
Let f : r !R be a Lipschitz continuous function, with Lipschitz constant L, then V 01 ðf , rÞ � LdðrÞ where dðrÞ denotes the diameter of r: