Functions of Bounded (p(⋅), 2)-Variation in De la Vallée Poussin-Wiener’s Sense with Variable Exponent
Abstract: In this paper we establish the notion of the space of bounded  (p(⋅), 2)variation in De la Vallée Poussin-Wiener’s sense with variable exponent. We show some properties of this space and we show that any uniformly bounded composition operator that maps this space into itself necessarily satisfies the so-called Matkowski’s conditions.

1. Introduction

In 1881, C. Jordan gave the notion of variation of a function in  , and from this moment, many generalizations and extensions have been given. Consequently, the study of notions of generalized bounded variation forms an important direction in the field of mathematical analysis. Another important generalization of the space of bounded variation in the Jordan’s sense is the notion of the space of functions of second bounded variation studied by Ch. J. de la Vallée Poussin in 1908 in  . It is defined as follows:

Definition 1 Let $\pi$ be a partition of the interval $\left[a,b\right]$ of the form $\pi =\left\{a={t}_{0}<{t}_{1}<\cdots <{t}_{n}=b\right\}$ , and $f$ be a function $f:\left[a,b\right]\to ℝ$ . The nonnegative real number

${V}^{\left(2\right)}\left(f\right)={V}^{\left(2\right)}\left(f;\left[a,b\right]\right):=\underset{\pi }{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|,$

is called the second variation of $f$ on $\left[a,b\right]$ , where the supremum is taken over all partitions $\pi$ of $\left[a,b\right]$ . In the case that ${V}^{\left(2\right)}\left(f\right)<\infty$ , we say that $f$ has bounded second variation on $\left[a,b\right]$ and we denote it by $f\in B{V}^{\left(2\right)}\left[a,b\right]$ .

A well-known generalization of the functions of bounded variation was done by N. Wiener in 1924 in  . The p-variation of a function $f$ is the supremum of the sums of the pth powers of absolute increments of $f$ over non over- lapping intervals. Wiener mainly focused on the case $p=2$ , the 2-variation.

Definition 2 Let $\pi$ be a partition of the interval $\left[a,b\right]$ of the form $\pi =\left\{a={t}_{0}<{t}_{1}<\cdots <{t}_{n}=b\right\}$ , $f$ be a function $f:\left[a,b\right]\to ℝ$ and $1 . The nonnegative real number

${V}_{p}\left(f\right)={V}_{p}\left(f;\left[a,b\right]\right):=\underset{\pi }{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}{|f\left({t}_{j}\right)-f\left({t}_{j-1}\right)|}^{p},$

is called the Wiener p-variation of $f$ on $\left[a,b\right]$ where the supremum is taken over all partitions $\pi$ of $\left[a,b\right]$ . In the case that ${V}_{p}\left(f\right)<\infty$ , we say that $f$ has bounded Wiener p-variation on $\left[a,b\right]$ and we denote it by $f\in B{V}_{p}^{W}\left[a,b\right]$ .

The pth-variations were reconsidered in a probabilistic context by R. Dudley in  and  , in 1994 and 1997, respectively. Many basic properties of the variation in the sense of Wiener and a number of important applications of the concept can be found in   . The paper by V. V. Chistyakov and O. E. Galkin in  in 1998 is very important in the context of p-variation.

The class of nonlinear problems with exponent growth is a new research field and it reflects a new kind of physical phenomena. In 2000 the field began to expand even further. Motivated by problems in the study of electrorheological fluids, Diening  raised the question of when the Hardy-Littlewood maximal operator and other classical operators in harmonic analysis are bounded on variable Lebesgue spaces. These and related problems are the subject of active research to this day. These problems are interesting in applications (see     ) and gave rise to a revival of the interest in Lebesgue and Sobolev spaces with variable exponent, the origins of which can be traced back to the work of Orlicz  in the 1930’s. In the 1950’s, this study was carried on by Nakano   who made the first systematic study of spaces with variable exponent. Later, Polish and Czechoslovak mathematicians investigated the modular function spaces (see for example Musielak   , Kovacik and Rakosnik  and Kozlowski  ). We refer to the book  for detailed information on the theoretical approach for the Lebesgue and Sobolev spaces with variable exponents. Recently, in  Castillo, Merentes and Rafeiro studied a new space of functions of generalized bounded variation. They introduced the notion of bounded variation in the Wiener sense with variable exponent $p\left(\cdot \right)$ on $\left[a,b\right]$ and study some of its properties.

Definition 3 Given a function $p:\left[a,b\right]\to \left(1,\infty \right)$ , a partition $\pi =\left\{a={t}_{0}<{t}_{1}<\cdots <{t}_{n}=b\right\}$ of the interval $\left[a,b\right]$ , and a function $f:\left[a,b\right]\to ℝ$ , the nonnegative real number

${V}_{p\left(\cdot \right)}^{W}\left(f\right)={V}_{p\left(\cdot \right)}^{W}\left(f,\left[a,b\right]\right):=\underset{{\pi }^{\ast }}{\mathrm{sup}}\underset{=1}{\overset{n}{\sum }}{|f\left({t}_{j}\right)-f\left({t}_{j-1}\right)|}^{p\left({x}_{j-1}\right)},$ (1.1)

is called the Wiener variation with variable exponent (or $p\left(\cdot \right)$ -variation in Wiener’s sense) of $f$ on $\left[a,b\right]$ where ${\pi }^{*}$ is a tagged partition of the interval $\left[a,b\right]$ , i.e., a partition of the interval $\left[a,b\right]$ together with a finite sequence of numbers ${x}_{0},\cdots ,{x}_{n-1}$ subject to the conditions that for each j, ${t}_{j}\le {x}_{j}\le {t}_{j+1}$ .

In case that ${V}_{p\left(\cdot \right)}^{W}\left(f;\left[a,b\right]\right)<\infty$ , we say that $f$ has bounded Wiener variation with variable exponent (or bounded $p\left(\cdot \right)$ -variation in Wiener’s sense) on $\left[a,b\right]$ . The symbol $WB{V}_{p\left(\cdot \right)}\left[a,b\right]=B{V}_{p\left(\cdot \right)}^{W}\left[a,b\right]$ will denote the space of functions of bounded $p\left(\cdot \right)$ -variation in Wiener’s sense with variable exponent on $\left[a,b\right]$ .

The aim of this paper is to provide a description of the new class formed by the functions of bounded $\left(p\left(\cdot \right),2\right)$ -variation in the sense of Wiener as an extension to the double case of the previous concept. Also, we prove structural properties for mappings of bounded $\left(p\left(\cdot \right),2\right)$ -variation in the Wiener’s sense. Finally, we show that any uniformly bounded composition operator that maps the space $B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ into itself necessarily satisfies the so-called Mat- kowski’s conditions.

2. Preliminaries

In this section we present some definitions and propositions that will be used through out this paper.

Definition 4 Let $1 , $\pi$ be a partition $\pi =\left\{a={t}_{0}<{t}_{1}<\cdots <{t}_{n}=b\right\}$ of the interval $\left[a,b\right]$ , and $f:\left[a,b\right]\to ℝ$ be a function. The nonnegative real number

${V}_{\left(p,2\right)}^{W}\left(f\right)={V}_{\left(p,2\right)}^{W}\left(f;\left[a,b\right]\right):=\underset{\pi }{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p},$

is called the De La Vallée Poussin-Wiener variation (or $\left(p,2\right)$ -variation in Wiener’s sense) of $f$ on $\left[a,b\right]$ where the supremum is taken over all

partitions $\pi$ of $\left[a,b\right]$ . In the case that ${V}_{\left(p,2\right)}^{W}\left(f\right)<\infty$ , we say that $f$ has bounded $\left(p,2\right)$ -variation on $\left[a,b\right]$ and we denote by $f\in B{V}_{\left(p,2\right)}^{W}\left[a,b\right]$ .

For the interested readers can see some of the properties in   and other related problems in  .

Proposition 1 Let $f:\left[a,b\right]\to ℝ$ be a function with $a,b>0$ and consider $1 . Then

1) ${V}_{\left(p,2\right)}^{W}\left(f;\left[a,b\right]\right)=0$ if and only if $f$ is a liner function.

2) If ${V}_{\left(p,2\right)}^{W}\left(f;\left[a,b\right]\right)<\infty$ , then $f$ is bounded in $\left[a,b\right]$ .

3) ${V}_{\left(p,2\right)}^{W}\left(\cdot ;\left[a,b\right]\right)$ is a convex function.

Proof. 1) Suppose first that $f$ is a linear function. If $f\left(t\right)=\alpha t+\beta$ for all $t\in \left[a,b\right]$ , with $\alpha ,\beta \in ℝ$ , then by Definition 4, it follows easily that ${V}_{\left(p,2\right)}^{W}\left(f;\left[a,b\right]\right)=0$ .

Now, if ${V}_{\left(p,2\right)}^{W}\left(f;\left[a,b\right]\right)=0$ , then by Definition 4 we have

$\begin{array}{l}0={V}_{\left(p,2\right)}^{W}\left(f;\left[a,b\right]\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}=\underset{\pi }{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p}.\end{array}$

Hence, for any partition $\pi =\left\{a={t}_{0}<{t}_{1}<\cdots <{t}_{n}=b\right\}$ of the interval $\left[a,b\right]$ , we should have that

$\underset{j=1}{\overset{n-1}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p}=0.$

Then, any term in the sum should be zero. Since the function $t\to {t}^{p}$ vanishes only at zero, it follows that

$\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}=\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}\text{ }\text{for}\text{\hspace{0.17em}}\text{all}\text{\hspace{0.17em}}j=1,2,\cdots ,n-1.$

Therefore, $f$ is equal to a linear function.

2) Suppose that $f\in B{V}_{\left(p,2\right)}^{W}\left[a,b\right]$ and $f$ is not bounded, then there exists a sequence ${\left\{{t}_{n}\right\}}_{n\ge 1}$ , ${t}_{n}\in \left(a,b\right)$ , $n\ge 1$ such that $|f\left({t}_{n}\right)|\to \infty$ when $n\to \infty$ . Let ${\left\{{t}_{m}\right\}}_{m\ge 1}$ be a subsequence of ${\left\{{t}_{n}\right\}}_{n\ge 1}$ such that ${\left\{{t}_{m}\right\}}_{m\ge 1}$ converge to $x\in \left[a,b\right]$ . Then, as ${\left\{f\left({t}_{m}\right)\right\}}_{m\ge 1}$ is a subsequence of ${\left\{f\left({t}_{n}\right)\right\}}_{n\ge 1}$ , so

$|f\left({t}_{m}\right)|\to \infty \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{when}\text{ }\text{\hspace{0.17em}}n\to \infty .$

We have that

${|\frac{f\left({t}_{n+1}\right)-f\left({t}_{n}\right)}{{t}_{n+1}-{t}_{n}}-\frac{f\left({t}_{n}\right)-f\left({t}_{n-1}\right)}{{t}_{n}-{t}_{n-1}}|}^{p}\le {V}_{\left(p,2\right)}^{W}\left(f;\left[a,b\right]\right),\text{ }n\ge 1.$

Moreover for $\pi =\left\{a\le t\le {t}_{m}\le \cdots \le b\right\}$ we get

${|\frac{f\left({t}_{m}\right)-f\left(t\right)}{{t}_{m}-t}-\frac{f\left(t\right)-f\left(a\right)}{t-a}|}^{p}\le {V}_{\left(p,2\right)}^{W}\left(f,\left[a,{t}_{m}\right]\right)\le {V}_{\left(p,2\right)}^{W}\left(f,\left[a,b\right]\right).$

In consequence, ${V}_{\left(p,2\right)}^{W}\left(f;\left[a,b\right]\right)=\infty$ , since

${|\frac{f\left({t}_{m}\right)-f\left(t\right)}{{t}_{m}-t}-\frac{f\left(t\right)-f\left(a\right)}{t-a}|}^{p}\to \infty ,$

as $m\to \infty$ , which is a contradiction with $f\in B{V}_{\left(p,2\right)}^{W}\left[a,b\right]$ . Therefore $f$ is bounded.

3) Let $f,g:\left[a,b\right]\to ℝ$ be two functions, $\alpha ,\beta \in \left[0,1\right]$ such that $\alpha +\beta =1$ and $\pi =\left\{a={t}_{0}<{t}_{1}<\cdots <{t}_{n}=b\right\}$ be a partition of $\left[a,b\right]$ . Since ${t}^{p}$ is convex and nondecreasing, we have that

$\begin{array}{l}\alpha {V}_{\left(p,2\right)}^{W}\left(f;\left[a,b\right]\right)+\beta {V}_{\left(p,2\right)}^{W}\left(g;\left[a,b\right]\right)\\ =\alpha \underset{\pi }{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\beta \underset{\pi }{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}{|\frac{g\left({t}_{j+1}\right)-g\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{g\left({t}_{j}\right)-g\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p}\\ \ge \underset{\pi }{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}|\alpha \left[\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}\right]\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+{\beta \left[\frac{g\left({t}_{j+1}\right)-g\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{g\left({t}_{j}\right)-g\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}\right]|}^{p}\\ =\underset{\pi }{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}|\frac{\left(\alpha f+\beta g\right)\left({t}_{j+1}\right)-\left(\alpha f+\beta g\right)\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}-{\frac{\left(\alpha f+\beta g\right)\left({t}_{j}\right)-\left(\alpha f+\beta g\right)\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p}\\ ={V}_{\left(p,2\right)}^{W}\left(\alpha f+\beta g;\left[a,b\right]\right).\end{array}$

Then, ${V}_{\left(p,2\right)}^{W}\left(\cdot ;\left[a,b\right]\right)$ is a convex function.

Definition 5 (Norm in $B{V}_{\left(p,2\right)}^{W}\left[a,b\right]$ ) The functional ${‖\text{ }\cdot \text{ }‖}_{\left(p,2\right)}^{W}:B{V}_{\left(p,2\right)}^{W}\left[a,b\right]\to ℝ$ defined by

${‖f‖}_{\left(p,2\right)}^{W}:=|f\left(a\right)|+|{f}^{\prime }\left(a\right)|+{V}_{\left(p,2\right)}^{W}{\left(f;\left[a,b\right]\right)}^{\frac{1}{p}}$ (2.1)

is a norm.

In  , the authors have shown that the linear space $B{V}_{\left(p,2\right)}^{W}\left[a,b\right]$ with the norm (2.1) is a Banach space and $B{V}_{\left(p,2\right)}^{W}\left[a,b\right]\subset B{V}_{p}^{W}\left[a,b\right]$ .

3. Main Results

In  the authors present and study the space of functions of bounded $p\left(\cdot \right)$ -variation as an extension of the space $B{V}_{p}^{W}\left[a,b\right]$ . In this section, our goal is to study the corresponding space of functions of bounded second $p\left(\cdot \right)$ -variation, with $p\left(\cdot \right)$ be a variable exponent, as an extension of $B{V}_{\left(p,2\right)}^{W}\left[a,b\right]$ .

Definition 6 Let $p$ be a function $p:\left[a,b\right]\to \left(1,\infty \right)$ , $\pi$ be a partition $\pi =\left\{a={t}_{0}<{t}_{1}<\cdots <{t}_{n}=b\right\}$ of the interval $\left[a,b\right]$ and $f:\left[a,b\right]\to ℝ$ be a function. The nonnegative real number

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f\right)={V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right):=\underset{{\pi }^{\ast }}{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)},$

is called the De La Vallée Poussin-Wiener variation with variable exponent (or $\left(p\left(\cdot \right),2\right)$ -variation in De La Vallée Poussin-Wiener’s sense) of $f$ on $\left[a,b\right]$ , where ${\pi }^{*}$ is a tagged partition of the interval $\left[a,b\right]$ , i.e., a partition of the interval $\left[a,b\right]$ together with a finite sequence of numbers ${x}_{0},\cdots ,{x}_{n-2}$ subject to the conditions ${t}_{j}\le {x}_{j}\le {t}_{j+1}$ for each $j$ . It is worth to note that by definition (we take supremum over all partitions), the number ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f\right)$ does not depend on the election of the argument of the exponent. In the case that ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f\right)<\infty$ , we say that $f$ has bounded $\left(p\left(\cdot \right),2\right)$ -variation on $\left[a,b\right]$ .

We will denote by $B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]={V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ the space of functions of bounded $\left(p\left(\cdot \right),2\right)$ -variation in Wiener’s sense with variable exponent in $\left[a,b\right]$ . It is endowed with the functional:

${‖f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}=|f\left(a\right)|+|{{f}^{\prime }}_{+}\left(a\right)|+\mathrm{inf}\left\{\lambda >0;{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{f}{\lambda };\left[a,b\right]\right)\le 1\right\}.$ (3.1)

Then,

$\left(B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right],{‖\text{ }\cdot \text{ }‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}\right):=\left\{f:\left[a,b\right]\to ℝ;{‖f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}<\infty \right\}.$

Remark 3.1 Given a function $p:\left[a,b\right]\to \left[1,\infty \right)$ .

1) If $p\left(x\right)=1$ for all $x\in \left[a,b\right]$ , then $B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]=B{V}^{2}\left[a,b\right]$ .

2) If $p\left(x\right)=p$ for all $x\in \left[a,b\right]$ and $1 then

$B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]=B{V}_{\left(p,2\right)}^{W}\left[a,b\right]$ , i.e., the space of bounded $\left(p\left(\cdot \right),2\right)$ -variation in De

la Vallée Poisson-Wiener’s sense with variable exponent is exactly the space of bounded $\left(p,2\right)$ -variation in De la Vallée Poisson-Wiener’s sense.

Given a function $p:\left[a,b\right]\to \left(1,\infty \right)$ , that is, a variable exponent function, let us define as in the literature,

${p}^{-}:={\text{essinf}}_{x\in \left[a,b\right]}p\left(x\right)=\mathrm{sup}\left\{\beta \in ℝ:|\left\{x\in \left[a,b\right];p\left(x\right)<\beta \right\}|=0\right\},$

and

${p}^{+}:={\text{esssup}}_{x\in \left[a,b\right]}p\left(x\right)=\mathrm{inf}\left\{\alpha \in ℝ:|\left\{x\in \left[a,b\right];p\left(x\right)>\alpha \right\}|=0\right\}.$

It is said that the exponent p is admissible if the range of p is in $\left(1,\infty \right)$ and ${p}^{+}$ is finite.

Let us recall a classical concept in the theory of function spaces. Let X be a vector space over $ℝ$ . A convex and left-continuous function $\rho :X\to \left[0,\infty \right]$ is called a convex pseudo-modular on X if for arbitrary x and y, there holds:

1) $\rho \left(0x\right)=0$ ,

2) $\rho \left(\alpha x\right)=\rho \left(x\right)$ for every $\alpha \in ℝ$ such that $|\alpha |=1$ ,

3) $\rho \left(\alpha x+\left(1-\alpha \right)y\right)\le \alpha \rho \left(x\right)+\left(1-\alpha \right)\rho \left(y\right)$ for every $\alpha \in \left[0,1\right]$ .

It is possible to see that for p be an admissible function, the functional

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\cdot ;\left[a,b\right]\right)$ is a convex pseudo-modular.

Proposition 2 Let $p$ be an admissible function. Then ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\cdot ;\left[a,b\right]\right)$ is a convex pseudo-modular.

Proof. We have that for any $f\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ , ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(0f;\left[a,b\right]\right)={V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(0;\left[a,b\right]\right)=0$ . Moreover, the fact that for any $f\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ , ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\alpha f;\left[a,b\right]\right)={V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right)$ whenever $|\alpha |=1$ follows immediately from the definition.

Finally, with the same kind of argument than in Proposition 1(c) it follows

that for $\alpha \in \left[0,1\right]$ and $f,g\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ we have that

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\alpha f+\left(1-\alpha \right)g;\left[a,b\right]\right)\le \alpha {V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right)+\left(1-\alpha \right){V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(g;\left[a,b\right]\right).$

Definition 7 A convex and left-continuous function $\rho :X\to \left[0,\infty \right]$ is called semimodular on $X$ if

1) $\rho \left(0\right)=0$ ,

2) $\rho \left(-x\right)=\rho \left(x\right)$ for every $x\in X$ , and

3) if $\rho \left(\lambda x\right)=0$ for every $\lambda \in ℝ$ , then $x=0$ .

For $p$ be an admissible function, the functional ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\cdot ,\left[a,b\right]\right)$ is a semimodular on $X$ .

Proposition 3 Let $p$ be an admissible function. Then ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\cdot ,\left[a,b\right]\right)$ is a semimodular.

Proof. Let $f\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ and ${\pi }^{*}$ be a tagged partition of $\left[a,b\right]$ , then

$\begin{array}{c}{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(-f\right)=\underset{{\pi }^{*}}{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}{|\frac{-\left(f\left({t}_{j+1}\right)-f\left({t}_{j}\right)\right)}{{t}_{j+1}-{t}_{j}}-\frac{-\left(f\left({t}_{j}\right)-f\left({t}_{j-1}\right)\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\\ =\underset{{\pi }^{*}}{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}{\left(|-1||\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|\right)}^{p\left({x}_{j-1}\right)}\\ =\underset{{\pi }^{*}}{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\\ ={V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f\right).\end{array}$

On the other hand, if

$\begin{array}{c}{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\lambda f\right)=\underset{{\pi }^{*}}{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}{|\frac{\lambda f\left({t}_{j+1}\right)-\lambda f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{\lambda f\left({t}_{j}\right)-\lambda f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\\ =\underset{{\pi }^{*}}{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}{\left(|\lambda ||\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|\right)}^{p\left({x}_{j-1}\right)}\\ =\underset{{\pi }^{*}}{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}{|\lambda |}^{p\left({x}_{j-1}\right)}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}=0,\end{array}$

for every $\lambda$ , necessarily it follows that $f=0$ .

Proposition 4 Let $X$ be a vector space, $\rho$ be a semimodular on $X$ and $f\in X$ . Then

1) $\rho \left(f\right)\le 1$ if and only if ${‖f‖}_{\rho }\le 1$ ,

2) if ${‖f‖}_{\rho }\le 1$ , then $\rho \left(f\right)\le {‖f‖}_{\rho }$ ,

3) if ${‖f‖}_{\rho }>1$ , then $\rho \left(f\right)\ge {‖f‖}_{\rho }$ ,

4) for every $f\in X$ , ${‖f‖}_{\rho }\le \rho \left(f\right)+1$ .

Theorem 1 Let $f:\left[a,b\right]\to ℝ$ be a function and $p$ be an admissible function, then $B{V}^{2}\left[a,b\right]\subset B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ .

Proof. Let $p$ be an admissible function, ${\pi }^{*}$ be a tagged partition of the interval $\left[a,b\right]$ , $f\in B{V}^{2}\left[a,b\right]$ and

$\sigma =\left\{j\in {\pi }^{*}:|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|\le 1\right\}.$

$\begin{array}{l}\underset{j=1}{\overset{n-1}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\\ =\underset{j\in \sigma }{\sum }{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}+\underset{j\notin \sigma }{\sum }{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\\ \le \underset{j\in \sigma }{\sum }|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|+\underset{j\notin \sigma }{\sum }{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\\ \le \underset{j=1}{\overset{n-1}{\sum }}|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|+\underset{j\notin \sigma }{\sum }{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\\ \le {V}^{\left(2\right)}\left(f;\left[a,b\right]\right)+\underset{j\notin \sigma }{\sum }{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}.\end{array}$

Then,

$\begin{array}{c}{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f\right):=\underset{{\pi }^{*}}{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\\ \le {V}^{\left(2\right)}\left(f;\left[a,b\right]\right)+\underset{{\pi }^{*}}{\mathrm{sup}}\underset{j\notin \sigma }{\sum }{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}.\end{array}$

The proof of the fact that $\underset{{\pi }^{*}}{\mathrm{sup}}\underset{j\notin \sigma }{\sum }{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}<\infty$

will be by contradiction. That is, we assume that

$\underset{{\pi }^{*}}{\mathrm{sup}}\underset{j\notin \sigma }{\sum }{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}=\infty$ . Therefore, there exists a

tagged partition ${\pi }^{*}$ such that

$\underset{j\notin \sigma }{\sum }{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}=\infty .$

Since $j\notin \sigma$ and $p\left(\cdot \right)>1$ we get

$|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|>1.$

But this is satisfied only for a finite number of terms, because in opposite case we would get

${V}^{\left(2\right)}\left(f;\left[a,b\right]\right)\ge \underset{j\notin \sigma }{\sum }|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|>\underset{j\notin \sigma }{\sum }1\to \infty ,$

which is a contradiction as $f\in B{V}^{2}\left[a,b\right]$ . Then, taking supremum we get

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right)=\underset{{\pi }^{*}}{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}<\infty .$

Theorem 2 Let $p$ be an admissible function. If $f\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ , then it follows that for any $c\in \left(a,b\right)$

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,c\right]\right)+{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[c,b\right]\right)\le {V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right).$ (3.2)

Proof. By the definition of ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,c\right]\right)$ and ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[c,b\right]\right)$ we have that, for each $ϵ>0$ , there are partitions ${\pi }_{\left(a,c\right)}$ and ${\pi }_{\left(c,b\right)}$ with ${\pi }_{\left(a,c\right)}:=\left\{a={\stackrel{¯}{t}}_{0},\cdots ,{\stackrel{¯}{t}}_{m}=c\right\}$ and ${\pi }_{\left(c,b\right)}:=\left\{c={t}_{0},\cdots ,{t}_{r}=b\right\}$ , and sequences of points ${\left\{{x}_{j}\right\}}_{j=0}^{m-2}$ and ${\left\{{y}_{j}\right\}}_{j=0}^{r-2}$ such that ${\stackrel{¯}{t}}_{j}\le {x}_{j}\le {\stackrel{¯}{t}}_{j+1}$ for $j=0,\cdots ,m-2$ and ${t}_{j}\le {y}_{j}\le {t}_{j+1}$ for $j=0,\cdots ,r-2$ that satisfies

$\underset{j=1}{\overset{m-1}{\sum }}{|\frac{f\left({\stackrel{¯}{t}}_{j+1}\right)-\stackrel{¯}{t}\left({t}_{j}\right)}{{\stackrel{¯}{t}}_{j+1}-{\stackrel{¯}{t}}_{j}}-\frac{f\left({\stackrel{¯}{t}}_{j}\right)-f\left({\stackrel{¯}{t}}_{j-1}\right)}{{\stackrel{¯}{t}}_{j}-{\stackrel{¯}{t}}_{j-1}}|}^{p\left({x}_{j-1}\right)}>{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,c\right]\right)-\frac{ϵ}{2},$

and

$\underset{j=1}{\overset{r-1}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({y}_{j-1}\right)}>{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[c,b\right]\right)-\frac{ϵ}{2}.$

Taking $\pi ={\pi }_{\left(a,c\right)}\cup {\pi }_{\left(c,b\right)}=\left\{a={u}_{0},\cdots ,{u}_{r+m-1}=b\right\}$ and the points ${\left\{{z}_{j}\right\}}_{j}:={\left\{{x}_{j}\right\}}_{j=0}^{m-2}\cup {\left\{{y}_{j}\right\}}_{j=0}^{r-2}$ , we get a partition of $\left[a,b\right]$ such that

$\begin{array}{l}\underset{j=1}{\overset{m+r-2}{\sum }}{|\frac{f\left({u}_{j+1}\right)-f\left({u}_{j}\right)}{{u}_{j+1}-{u}_{j}}-\frac{f\left({u}_{j}\right)-f\left({u}_{j-1}\right)}{{u}_{j}-{u}_{j-1}}|}^{p\left({z}_{j-1}\right)}\\ =\underset{j=1}{\overset{r-1}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({y}_{j-1}\right)}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{ }+\underset{j=1}{\overset{m-1}{\sum }}{|\frac{f\left({\stackrel{¯}{t}}_{j+1}\right)-\stackrel{¯}{t}\left({t}_{j}\right)}{{\stackrel{¯}{t}}_{j+1}-{\stackrel{¯}{t}}_{j}}-\frac{f\left({\stackrel{¯}{t}}_{j}\right)-f\left({\stackrel{¯}{t}}_{j-1}\right)}{{\stackrel{¯}{t}}_{j}-{\stackrel{¯}{t}}_{j-1}}|}^{p\left({x}_{j-1}\right)},\end{array}$

which implies that

$\begin{array}{l}\underset{j=1}{\overset{m+r-2}{\sum }}{|\frac{f\left({u}_{j+1}\right)-f\left({u}_{j}\right)}{{u}_{j+1}-{u}_{j}}-\frac{f\left({u}_{j}\right)-f\left({u}_{j-1}\right)}{{u}_{j}-{u}_{j-1}}|}^{p\left({z}_{j-1}\right)}\\ >{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[c,b\right]\right)-\frac{ϵ}{2}+{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,c\right]\right)-\frac{ϵ}{2}.\end{array}$ (3.3)

Letting $ϵ\to 0$ first, and then taking the corresponding supremum in the left-hand side of (3.3), it follows (3.2).

Define $\begin{array}{l}{\omega }_{p\left({x}_{ts\sigma }\right)}\left(f;\left[a,b\right]\right)\\ :={\mathrm{sup}}_{t,s,\sigma \in \left[a,b\right]}\left\{{|\frac{f\left(t\right)-f\left(s\right)}{t-s}-\frac{f\left(s\right)-f\left(\sigma \right)}{s-\sigma }|}^{p\left({x}_{ts\sigma }\right)}\right\}.\end{array}$

Lemma 1 Basic properties of the $\left(p\left(\cdot \right),2\right)$ -variation in De La Vallée Poussin-Wiener’s sense Let $f:\left[a,b\right]\to ℝ$ be an arbitrary map. We have the following properties:

(P1) For any $t,s,\sigma \in \left[a,b\right]$ , we have that

${|\frac{f\left(t\right)-f\left(s\right)}{t-s}-\frac{f\left(s\right)-f\left(\sigma \right)}{s-\sigma }|}^{p\left({x}_{ts\sigma }\right)}\le {\omega }_{p\left({x}_{ts\sigma }\right)}\left(f;\left[a,b\right]\right)\le {V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right).$

(P2) Monotonicity: If $t,s\in \left[a,b\right]$ and $a\le t\le s\le b$ , then ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,t\right]\right)\le {V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,s\right]\right)$ , ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[s,b\right]\right)\le {V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[t,b\right]\right)$ , and ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[t,s\right]\right)\le {V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right).$

(P3) Semi-additivity: If $t\in \left(a,b\right)$ , then

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,t\right]\right)+{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[t,b\right]\right)\le {V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right).$

(P4) Change of variable: If $\phi :\left[c,d\right]\to \left[a,b\right]$ is a monotone function, then

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\phi \left[c,d\right]\right)={V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f\circ \phi ;\left[c,d\right]\right).$ (3.4)

(P5) Regularity: ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right)=\mathrm{sup}\left\{{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[s,t\right]\right);s,t\in \left[a,b\right]\right\}.$

Proof. (P1) We have that for any $t,s,\sigma \in \left[a,b\right]$ ,

$\begin{array}{l}{|\frac{f\left(t\right)-f\left(s\right)}{t-s}-\frac{f\left(s\right)-f\left(\sigma \right)}{s-\sigma }|}^{p\left({x}_{ts\sigma }\right)}\\ \le \mathrm{sup}\left\{{|\frac{f\left(t\right)-f\left(s\right)}{t-s}-\frac{f\left(s\right)-f\left(\sigma \right)}{s-\sigma }|}^{p\left({x}_{ts\sigma }\right)};t,s,\sigma \in \left[a,b\right]\right\}\\ :={\omega }_{p\left({x}_{ts\sigma }\right)}\left(f;\left[a,b\right]\right)\\ \le \underset{\pi }{\mathrm{sup}}\underset{j=1}{\overset{m-1}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\\ ={V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right).\end{array}$

(P2) Let $a\le t\le s\le b$ and the partition $\pi :=\left\{a={t}_{0}<{t}_{1}<\cdots <{t}_{m1}=t<\cdots <{t}_{m2}=s<\cdots <{t}_{n}=b\right\}$ . Then

$\begin{array}{c}{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,t\right]\right)=\underset{{\pi }^{*}}{\mathrm{sup}}\underset{j=1}{\overset{m1}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\\ \le \underset{{\pi }^{*}}{\mathrm{sup}}\underset{j=1}{\overset{m1}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\underset{{\pi }^{*}}{\mathrm{sup}}\underset{j=m1+1}{\overset{m2}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\\ \le \underset{{\pi }^{*}}{\mathrm{sup}}\underset{j=1}{\overset{m2}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\\ ={V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,s\right]\right).\end{array}$

The other cases follow in a similar way.

(P3) Semi-additivity: It is obtained in Theorem 2.

(P4) It follows as in (  , Lemma 2 (P4)). Indeed, let $\left[c,d\right]\subset ℝ$ , $\phi :\left[c,d\right]\to \left[a,b\right]$ be a (not necessarily strictly) monotone function, ${\pi }_{0}$ be a

tagged partition of the interval $\left[c,d\right]$ , ${T}_{1}={\left\{{\tau }_{j}\right\}}_{j=0}^{m}\in {\pi }_{0}$ and $T={\left\{{t}_{j}\right\}}_{j=0}^{m}$ with ${t}_{j}=\phi \left({\tau }_{j}\right)$ , then

$\begin{array}{l}{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f\circ \phi ,{T}_{1}\right)\\ =\underset{{T}_{1}}{\mathrm{sup}}\underset{j=1}{\overset{m}{\sum }}{|\frac{f\left(\phi \left({\tau }_{j+1}\right)\right)-f\left(\phi \left({\tau }_{j}\right)\right)}{{\tau }_{j+1}-{\tau }_{j}}-\frac{f\left(\phi \left({\tau }_{j}\right)\right)-f\left(\phi \left({\tau }_{j-1}\right)\right)}{{\tau }_{j}-{\tau }_{j-1}}|}^{p\left({x}_{j-1}\right)}\\ =\underset{T}{\mathrm{sup}}\underset{j=1}{\overset{m}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\\ ={V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f,T\right)\le {V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f,\phi \left(\left[c,d\right]\right)\right).\end{array}$

On the other hand, if a partition $T={\left\{{t}_{j}\right\}}_{j=0}^{m}$ of $\phi \left(\left[c,d\right]\right)$ is such that ${t}_{j-1}<{t}_{j}$ for $j=1,\cdots ,m$ then there exists ${\tau }_{j}\in \left[c,d\right]$ such that ${t}_{j}=\phi \left({\tau }_{j}\right)$

and, again by the monotonicity of $\phi$

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f,T\right)={V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f\circ \phi ,{T}_{1}\right)\le {V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f,\phi \left(\left[c,d\right]\right)\right).$

(P5) By monotonicity ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right)\ge sup\left\{{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[s,t\right]\right);s,t\in \left[a,b\right]\right\}.$ On the other hand, for any $\alpha <{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right)$ such that there exists a tagged partition $\Pi ={\left\{{t}_{i}\right\}}_{i=0}^{n}$ of $\left[a,b\right]$ with ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\Pi \right)\ge \alpha .$ We define $\stackrel{¯}{\pi }$ a partition of the interval $\left[{t}_{0},{t}_{m}\right]$ then $\Pi \in \stackrel{¯}{\pi }$ and ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\stackrel{¯}{\pi }\right)\ge {V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\Pi \right)\ge \alpha$ , i.e.,

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right)\le sup\left\{{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[s,t\right]\right);s,t\in \left[a,b\right]\right\}.$

Lemma 2 If ${\beta }_{1}>{\beta }_{2}$ , then ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{f}{{\beta }_{1}};\left[a,b\right]\right)\le {V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{f}{{\beta }_{2}};\left[a,b\right]\right)$ for all $f\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ .

Proof. Let ${\beta }_{1},{\beta }_{2}$ such that ${\beta }_{1}>{\beta }_{2}$ . Then, consider any partition $\pi$ of $\left[a,b\right]$ , $\pi =\left\{a={t}_{0},\cdots ,{t}_{n}=b\right\}$ and any finite sequence of numbers ${x}_{0},\cdots ,{x}_{n-2}$ subject to the conditions ${t}_{j}\le {x}_{j}\le {t}_{j+1}$ for each $j\le n-2$ . It follows that

$\begin{array}{l}{|\frac{\left(\frac{f}{{\beta }_{1}}\right)\left({t}_{i+1}\right)-\left(\frac{f}{{\beta }_{1}}\right)\left({t}_{i}\right)}{{t}_{i+1}-{t}_{i}}-\frac{\left(\frac{f}{{\beta }_{1}}\right)\left({t}_{i}\right)-\left(\frac{f}{{\beta }_{1}}\right)\left({t}_{i-1}\right)}{{t}_{i}-{t}_{i-1}}|}^{p\left({x}_{i-1}\right)}\\ ={|\frac{1}{{\beta }_{1}}\left[\frac{f\left({t}_{i+1}\right)-f\left({t}_{i}\right)}{{t}_{i+1}-{t}_{i}}-\frac{f\left({t}_{i}\right)-f\left({t}_{i-1}\right)}{{t}_{i}-{t}_{i-1}}\right]|}^{p\left({x}_{i-1}\right)}\\ \le {|\frac{1}{{\beta }_{2}}\left[\frac{f\left({t}_{i+1}\right)-f\left({t}_{i}\right)}{{t}_{i+1}-{t}_{i}}-\frac{f\left({t}_{i}\right)-f\left({t}_{i-1}\right)}{{t}_{i}-{t}_{i-1}}\right]|}^{p\left({x}_{i-1}\right)}\\ ={|\frac{\left(\frac{f}{{\beta }_{2}}\right)\left({t}_{i+1}\right)-\left(\frac{f}{{\beta }_{2}}\right)\left({t}_{i}\right)}{{t}_{i+1}-{t}_{i}}-\frac{\left(\frac{f}{{\beta }_{2}}\right)\left({t}_{i}\right)-\left(\frac{f}{{\beta }_{2}}\right)\left({t}_{i-1}\right)}{{t}_{i}-{t}_{i-1}}|}^{p\left({x}_{i-1}\right)}\end{array}$

as $\frac{1}{{\beta }_{2}}\ge \frac{1}{{\beta }_{1}}$ . Then, as this inequality follows for all terms in the sum

$\begin{array}{l}\underset{i=1}{\overset{n-1}{\sum }}{|\frac{\left(\frac{f}{{\beta }_{1}}\right)\left({t}_{i+1}\right)-\left(\frac{f}{{\beta }_{1}}\right)\left({t}_{i}\right)}{{t}_{i+1}-{t}_{i}}-\frac{\left(\frac{f}{{\beta }_{1}}\right)\left({t}_{i}\right)-\left(\frac{f}{{\beta }_{1}}\right)\left({t}_{i-1}\right)}{{t}_{i}-{t}_{i-1}}|}^{p\left({x}_{i-1}\right)}\\ \le \underset{i=1}{\overset{n-1}{\sum }}{|\frac{\left(\frac{f}{{\beta }_{2}}\right)\left({t}_{i+1}\right)-\left(\frac{f}{{\beta }_{2}}\right)\left({t}_{i}\right)}{{t}_{i+1}-{t}_{i}}-\frac{\left(\frac{f}{{\beta }_{2}}\right)\left({t}_{i}\right)-\left(\frac{f}{{\beta }_{2}}\right)\left({t}_{i-1}\right)}{{t}_{i}-{t}_{i-1}}|}^{p\left({x}_{i-1}\right)}\end{array}$

Taking supremum in any partition, it follows that

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{f}{{\beta }_{1}};\left[a,b\right]\right)\le {V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{f}{{\beta }_{2}};\left[a,b\right]\right).$

Proposition 5 Let $p$ be an admissible function. The space $B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ is a vectorial space.

Proof. Let $f,g\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ and consider any partition $\pi =\left\{a={t}_{0},\cdots ,{t}_{n}=b\right\}$ and any finite sequence of numbers ${x}_{0},\cdots ,{x}_{n-2}$ subject to the conditions ${t}_{j}\le {x}_{j}\le {t}_{j+1}$ and $\alpha ,\beta \in ℝ$ . By definition, there exists ${\beta }_{1},{\beta }_{2}$ such that

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{f}{{\beta }_{1}};\left[a,b\right]\right)\le 1<\infty \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{and}\text{ }\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{g}{{\beta }_{2}};\left[a,b\right]\right)\le 1<\infty .$

Let $\stackrel{^}{\beta }:=\mathrm{max}\left\{{\beta }_{1},{\beta }_{2}\right\}>0$ . By Lemma 2, it follows that

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{f}{\stackrel{^}{\beta }};\left[a,b\right]\right)<{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{f}{{\beta }_{1}};\left[a,b\right]\right)<\infty$

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{g}{\stackrel{^}{\beta }};\left[a,b\right]\right)<{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{g}{{\beta }_{2}};\left[a,b\right]\right)<\infty .$

The rest of the proof follows analyzing the possible cases.

1) If $\alpha =\beta =0$ , then $\alpha f+\beta g\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ .

2) If $\alpha \ne 0$ and/or $\beta \ne 0$ . Let $\mu =\left(|\alpha |+|\beta |\right)\stackrel{^}{\beta }>0$ , and consider any tagged partition ${\pi }^{*}$ of $\left[a,b\right]$ , ${\pi }^{*}=\left\{a={t}_{0}\le \cdots \le {t}_{n}=b\right\}$ which is any partition $\pi$ of $\left[a,b\right]$ and any finite sequence of numbers ${x}_{0},\cdots ,{x}_{n-2}$ subject to the conditions ${t}_{j}\le {x}_{j}\le {t}_{j+1}$ for each $j\le n-2$ . Then, by convexity of ${t}^{p}$ , when $1 , it follows that Therefore,

$\begin{array}{l}\underset{j=1}{\overset{n-1}{\sum }}{|\frac{\left(\frac{\alpha f+\beta g}{\mu }\right)\left({t}_{j+1}\right)-\left(\frac{\alpha f+\beta g}{\mu }\right)\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{\left(\frac{\alpha f+\beta g}{\mu }\right)\left({t}_{j}\right)-\left(\frac{\alpha f+\beta g}{\mu }\right)\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\\ \le \frac{|\alpha |}{|\alpha |+|\beta |}\underset{j=1}{\overset{n-1}{\sum }}{\left(\frac{1}{\stackrel{^}{\beta }}|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|\right)}^{p\left({x}_{j-1}\right)}\\ \text{ }+\frac{|\beta |}{|\alpha |+|\beta |}\underset{j=1}{\overset{n-1}{\sum }}{\left(\frac{1}{\stackrel{^}{\beta }}|\frac{g\left({t}_{j+1}\right)-g\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{g\left({t}_{j}\right)-g\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|\right)}^{p\left({x}_{j-1}\right)}\\ \le \frac{|\alpha |}{|\alpha |+|\beta |}{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{f}{\stackrel{^}{\beta }};\left[a,b\right]\right)+\frac{|\beta |}{|\alpha |+|\beta |}{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{g}{\stackrel{^}{\beta }};\left[a,b\right]\right)<\infty .\end{array}$

Then, taking supremum over all partitions, we get that

$\begin{array}{l}{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{\alpha f+\beta g}{\mu };\left[a,b\right]\right)\\ \le \frac{|\alpha |}{|\alpha |+|\beta |}{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{f}{\stackrel{^}{\beta }};\left[a,b\right]\right)+\frac{|\beta |}{|\alpha |+|\beta |}{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{g}{\stackrel{^}{\beta }};\left[a,b\right]\right)\\ \le \frac{|\alpha |}{|\alpha |+|\beta |}+\frac{|\beta |}{|\alpha |+|\beta |}=1<\infty .\end{array}$

Therefore $\alpha f+\beta g\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ .

The other properties of a vectorial space follow similarly.

Theorem 3 Let $p$ be an admissible function. The space $B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ is a normed space.

Proof. Let $p$ be an admissible function. Let us analyze all the properties of a norm.

1) By definition of ${‖\text{ }\cdot \text{ }‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}$ , we have that ${‖f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}\ge 0$ for all $f\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$

2) To prove that ${‖\alpha f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}=|\alpha |{‖f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}$ for any $\alpha \in ℝ$ , we consider the possible cases:

- If $\alpha =0$ , then

${‖\alpha f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}={‖0‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}=0=0{‖f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}=\alpha {‖f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}$

for any $f\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ .

- If $\alpha \ne 0$ , then

$\begin{array}{c}{‖\alpha f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}=|\alpha f\left(a\right)|+|\alpha {{f}^{\prime }}_{+}\left(a\right)|+\mathrm{inf}\left\{\lambda >0;{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{\alpha f}{\lambda };\left[a,b\right]\right)\le 1\right\}\\ =|\alpha ||f\left(a\right)|+|\alpha ||{{f}^{\prime }}_{+}\left(a\right)|+\mathrm{inf}\left\{\lambda >0;{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{f}{\frac{\lambda }{\alpha }};\left[a,b\right]\right)\le 1\right\}\end{array}$

$\begin{array}{c}=|\alpha ||f\left(a\right)|+|\alpha ||{{f}^{\prime }}_{+}\left(a\right)|+\mathrm{inf}\left\{\alpha \frac{\lambda }{\alpha }>0;{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{f}{\frac{\lambda }{\alpha }};\left[a,b\right]\right)\le 1\right\}\\ =|\alpha ||f\left(a\right)|+|\alpha ||{{f}^{\prime }}_{+}\left(a\right)|+\alpha \mathrm{inf}\left\{\frac{\lambda }{\alpha }>0;{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{f}{\frac{\lambda }{\alpha }};\left[a,b\right]\right)\le 1\right\}\\ =|\alpha ||f\left(a\right)|+|\alpha ||{{f}^{\prime }}_{+}\left(a\right)|+\alpha \mathrm{inf}\left\{\beta >0;{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{f}{\beta };\left[a,b\right]\right)\le 1\right\}\\ =|\alpha |{‖f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]},\end{array}$

3) Property ${‖f+g‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}\le {‖f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}+{‖g‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}$ is satisfied by using that $|f+g|\le |f|+|g|$ , $|{\left(f+g\right)}^{\prime }{}_{+}|=|{{f}^{\prime }}_{+}+{{g}^{\prime }}_{+}|\le |{{f}^{\prime }}_{+}|+|{{g}^{\prime }}_{+}|$ and the previous proposition.

4) Let us see that ${‖f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}=0$ if and only if $f=0$ .

- If ${‖f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}=0$ , then by definition of the norm, $f\left(a\right)=0$ and ${{f}^{\prime }}_{+}\left(a\right)=0$ , and

$\mathrm{inf}\left\{\lambda >0;{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{f}{\lambda };\left[a,b\right]\right)\le 1\right\}=0.$

Hence, we have by Proposition 3 and Proposition 4 (2) that

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right)\le {‖f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}.$

Therefore, ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right)=0$ , and hence,

$\underset{{\pi }^{*}}{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}=0.$

Therefore, for any tagged partition ${\pi }^{*}$ of the interval $\left[a,b\right]$ , that is a partition $\pi =\left\{a={t}_{0}<\cdots <{t}_{n}=b\right\}$ together with a finite sequence of numbers ${x}_{0},\cdots ,{x}_{n}$ subject to the conditions ${t}_{j}\le {x}_{j}\le {t}_{j+1}$ for each $j$ , we have that

${|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}=0,\text{ }\forall j\in \left\{1,\cdots ,n-1\right\}.$

So that

$\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}=\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}},\text{ }\forall j\in \left\{1,\cdots ,n-1\right\}.$

Consider the partition $\pi =\left\{a\le {t}_{1}<{t}_{2}=c . We get that

$\underset{c\to a+}{\mathrm{lim}}\frac{f\left(t\right)-f\left(c\right)}{t-c}=\underset{c\to a+}{\mathrm{lim}}\frac{f\left(c\right)-f\left(a\right)}{c-a}={{f}^{\prime }}_{+}\left(a\right)=0.$

Then

$\frac{f\left(t\right)-f\left(a\right)}{t-a}=0.$

As $f\left(a\right)=0$ is obtained that $f\left(t\right)=0$ for all $t\in \left[a,b\right]$ .

- In other hand, if $f=0$ , then $f\left(t\right)=0$ for all $t\in \left[a,b\right]$ . Hence,

${{f}^{\prime }}_{+}\left(a\right)=0$ and ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right)={V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(0;\left[a,b\right]\right)=0$ . Therefore, by definition, ${‖f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}=0.$

Theorem 4 Let $p$ be an admissible function. The space $B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ is a

Banach space endowed with the norm in (3.1).

Let ${\left\{{f}_{n}\right\}}_{n\in ℕ}$ be a Cauchy sequence in $B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ . Then, for all $ϵ>0$ ,

there exists $N\left(ϵ\right)$ such that

${‖{f}_{m}-{f}_{n}‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}<ϵ,\text{ }\forall m,n>N\left(ϵ\right).$

Therefore, by definition it follows that

$\mathrm{inf}\left\{\lambda >0;{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{{f}_{m}-{f}_{n}}{\lambda };\left[a,b\right]\right)\le 1\right\}<ϵ,\text{ }\forall m,n>N\left(ϵ\right),$ (3.5)

$|\left({f}_{m}-{f}_{n}\right)\left(a\right)|<ϵ,\text{ }\forall m,n>N\left(ϵ\right),$ (3.6)

and

$|{\left({f}_{m}-{f}_{n}\right)}^{\prime }{}_{+}\left(a\right)|<ϵ,\text{ }\forall m,n>N\left(ϵ\right).$ (3.7)

Then, by (3.5) and Proposition 4 (2) we have that

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left({f}_{m}-{f}_{n};\left[a,b\right]\right)<ϵ.$

It implies that for fixed $t$ , ${\left\{{f}_{n}\left(t\right)\right\}}_{n\in ℕ}$ is a Cauchy sequence in $ℝ$ . Indeed,

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{{f}_{m}-{f}_{n}}{ϵ}\right)\le 1,\text{ }\forall m,n>N\left(ϵ\right)$

then for all $x,y,z\in \left[a,b\right]$ , $f={f}_{m}-{f}_{n}$ we get

${|\frac{1}{ϵ}\left(\frac{f\left(z\right)-f\left(y\right)}{z-y}-\frac{f\left(y\right)-f\left(x\right)}{y-x}\right)|}^{p\left(y\right)}\le {V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{{f}_{m}-{f}_{n}}{ϵ}\right)\le 1$

so

${|\frac{f\left(z\right)-f\left(y\right)}{z-y}-\frac{f\left(y\right)-f\left(x\right)}{y-x}|}^{p\left(y\right)}\le {ϵ}^{p\left(y\right)}.$

As

$\begin{array}{c}{|\frac{f\left(z\right)-f\left(y\right)}{z-y}|}^{p\left(y\right)}\le {||\frac{f\left(z\right)-f\left(y\right)}{z-y}|-|\frac{f\left(y\right)-f\left(x\right)}{y-x}||}^{p\left(y\right)}\\ \le {|\frac{f\left(z\right)-f\left(y\right)}{z-y}-\frac{f\left(y\right)-f\left(x\right)}{y-x}|}^{p\left(y\right)}\end{array}$

thus

${|\frac{f\left(z\right)-f\left(y\right)}{z-y}|}^{p\left(y\right)}\le {ϵ}^{p\left(y\right)}.$

Therefore

${|f\left(z\right)-f\left(y\right)|}^{p\left(y\right)}\le {\left(ϵ|z-y|\right)}^{p\left(y\right)}$

and by property of log

$p\left(y\right)log|f\left(z\right)-f\left(y\right)|\le p\left(y\right)log\left(ϵ|z-y|\right).$

Then

$log|f\left(z\right)-f\left(y\right)|\le log\left(ϵ|z-y|\right)$

and hence

$|f\left(z\right)-f\left(y\right)|\le {ϵ}^{\prime }={exp}^{log\left(ϵ|z-y|\right)}=ϵ|z-y|.$

i.e.

$|\left({f}_{m}-{f}_{n}\right)\left(z\right)-\left({f}_{m}-{f}_{n}\right)\left(y\right)|\le {ϵ}^{\prime },\text{ }\forall m,n>N\left(ϵ\right).$

Let $f\left(t\right):=li{m}_{n\to \infty }{f}_{n}\left(t\right)$ for any $t\in \left[a,b\right]$ and let $\pi$ be any partition $\pi :=\left\{a={t}_{0},\cdots ,{t}_{k}=b\right\}$ of $\left[a,b\right]$ and a sequence ${x}_{0},\cdots ,{x}_{k-1}$ such that ${t}_{j}\le {x}_{j}\le {t}_{j+1}$ for any $1\le j . It follows that for all $m,n>N\left(ϵ\right)$

$\underset{j=1}{\overset{k}{\sum }}{|\frac{\left({f}_{m}-{f}_{n}\right)\left({t}_{j+1}\right)-\left({f}_{m}-{f}_{n}\right)\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{\left({f}_{m}-{f}_{n}\right)\left({t}_{j}\right)-\left({f}_{m}-{f}_{n}\right)\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}<ϵ.$

Then, letting $n\to \infty$ , for any $m>N\left(ϵ\right)$ it follows that

$\underset{j=1}{\overset{k}{\sum }}{|\frac{\left({f}_{m}-f\right)\left({t}_{j+1}\right)-\left({f}_{m}-f\right)\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{\left({f}_{m}-f\right)\left({t}_{j}\right)-\left({f}_{m}-f\right)\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}<ϵ.$ (3.8)

Therefore, as (3.8) follows for any tagged partition ${\pi }^{*}$ of $\left[a,b\right]$ , taking supremum over all tagged partitions it follows that

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left({f}_{m}-f;\left[a,b\right]\right)<ϵ,\text{ }\forall m>N\left(ϵ\right).$ (3.9)

Moreover, by (3.6) and (3.7), we have that

$|\left({f}_{m}-{f}_{n}\right)\left(a\right)|<ϵ,\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}|{\left({f}_{m}-{f}_{n}\right)}^{\prime }{}_{+}\left(a\right)|<ϵ,\text{ }\forall m,n>N\left(ϵ\right).$

Then, letting $n\to \infty$ , we have that

$|\left({f}_{m}-f\right)\left(a\right)|<ϵ,\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}|{\left({f}_{m}-f\right)}^{\prime }{}_{+}\left(a\right)|<ϵ,\text{ }\forall m>N\left(ϵ\right).$ (3.10)

Then, (3.9) and (3.10) imply that for $m$ sufficiently large

${‖{f}_{m}-f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}<3ϵ.$

Hence, as

${‖f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}\le {‖{f}_{m}-f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}+{‖{f}_{m}‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}<\infty ,$

we obtain that $f\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right].$

Theorem 5 Let $p$ be an admissible function. Then, we have:

1) If $f\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ , then $f$ is bounded in all the interval $\left[a,b\right]$ .

2)  for functions $q\left(x\right)\ge p\left(x\right).$

Let us proof (a). Suppose that $f\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ and $f$ is not bounded. Then, there exists a sequence ${\left\{{t}_{n}\right\}}_{n\ge 1}$ , ${t}_{n}\in \left(a,b\right)$ , $n\ge 1$ such that $|f\left({t}_{n}\right)|\to \infty$ when $n\to \infty$ . Let ${\left\{{t}_{m}\right\}}_{m\ge 1}$ be a subsequence of ${\left\{{t}_{n}\right\}}_{n\ge 1}$ such that ${\left\{{t}_{m}\right\}}_{m\ge 1}$ converge to $x\in \left[a,b\right]$ . As ${\left\{f\left({t}_{m}\right)\right\}}_{m\ge 1}$ is a subsequence of ${\left\{f\left({t}_{n}\right)\right\}}_{n\ge 1}$ , so

$|f\left({t}_{m}\right)|\to \infty \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{when}\text{ }\text{\hspace{0.17em}}n\to \infty .$

Case 1: Suppose that $x=a$ and let $t$ such that $a\le {t}_{m} for some ${t}_{m}\in {\left\{{t}_{m}\right\}}_{m\ge 1}$ , then

${|\frac{f\left(b\right)-f\left(t\right)}{b-t}-\frac{f\left(t\right)-f\left({t}_{m}\right)}{t-{t}_{m}}|}^{p\left({x}_{t}\right)}\le {V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right)$

and since $u\to {u}^{s}$ is continuous

$\begin{array}{l}{|\frac{f\left(b\right)-f\left(t\right)}{b-t}-\frac{\underset{m\to \infty }{\mathrm{lim}}f\left(t\right)-f\left({t}_{m}\right)}{t-x}|}^{p\left({x}_{t}\right)}\\ =\underset{m\to \infty }{\mathrm{lim}}{|\frac{f\left(b\right)-f\left(t\right)}{b-t}-\frac{f\left(t\right)-f\left({t}_{m}\right)}{t-{t}_{m}}|}^{p\left({x}_{t}\right)}\le {V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right).\end{array}$

On the other hand $|f\left(t\right)-f\left({t}_{m}\right)|$ tend to infinity as $m\to \infty$ . Then

$\underset{m\to \infty }{\mathrm{lim}}{|\frac{f\left(b\right)-f\left(t\right)}{b-t}-\frac{f\left(t\right)-f\left({t}_{m}\right)}{t-{t}_{m}}|}^{p\left({x}_{t}\right)}=\infty ,$

and hence ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right)=\infty$ , which is a contradiction.

Case 2: Suppose that $x\ne a$ and let $t$ such that $a for some ${t}_{m}\in {\left\{{t}_{m}\right\}}_{m\ge 1}$ , then

${|\frac{f\left({t}_{m}\right)-f\left(t\right)}{{t}_{m}-t}-\frac{f\left(t\right)-f\left(a\right)}{t-a}|}^{p\left({x}_{t}\right)}\le {V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right).$

Since $u\to {u}^{s}$ is continuous

$\begin{array}{l}{|\frac{\underset{m\to \infty }{\mathrm{lim}}f\left({t}_{m}\right)-f\left(t\right)}{x-t}-\frac{f\left(t\right)-f\left(a\right)}{t-a}|}^{p\left({x}_{t}\right)}\\ =\underset{m\to \infty }{\mathrm{lim}}{|\frac{f\left({t}_{m}\right)-f\left(t\right)}{{t}_{m}-t}-\frac{f\left(t\right)-f\left(a\right)}{t-a}|}^{p\left({x}_{t}\right)}\le {V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right).\end{array}$

On the other hand $|f\left({t}_{m}\right)-f\left(t\right)|$ tend to infinity as $m\to \infty$ then

${|\frac{\underset{m\to \infty }{\mathrm{lim}}f\left({t}_{m}\right)-f\left(t\right)}{x-t}-\frac{f\left(t\right)-f\left(a\right)}{t-a}|}^{p\left({x}_{t}\right)}\to \infty \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{as}\text{ }\text{\hspace{0.17em}}n\to \infty ,$

and then ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f\right)=\infty$ , which is a contradiction.

Let us proof (b). Taking ${‖f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]}=1$ , since ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right)\le 1$ , it follows that

$\underset{j=1}{\overset{n-1}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\le 1,$

for any tagged partition $\pi :=\left\{a={t}_{0}<\cdots <{t}_{n}=b\right\}$ and any sequence of points ${x}_{j}$ such that ${t}_{j}\le {x}_{j}\le {t}_{j+1}$ for $j=0,\cdots ,n-2.$ Therefore,

$\begin{array}{l}\underset{j=1}{\overset{n-1}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{q\left({x}_{j-1}\right)}\\ \le \underset{j=1}{\overset{n-1}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\le 1,\end{array}$

since in particular ${|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\le 1$ for any

$1\le j\le n-1$ . Taking supremum to both sides, we obtain that ${V}_{\left(q\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right)\le {V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right)$ . Then, by definition it follows that

${‖f‖}_{B{V}_{\left(q\left(\cdot \right),2\right)}^{W}\left[a,b\right]}\le {‖f‖}_{B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]},$

and the general case follows from the homogeneity of the norm. ,

4. Functions in $B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ and Hölder Continuous Functions

In this section we prove also that if a function is the composition of a bounded monotone function with a $\left(\gamma \left(\cdot \right)+1\right)$ -Hölder continuous function with $\gamma \left(\cdot \right)=1/p\left(\cdot \right)$ , then the function is in $B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ .

Definition 8 A function $g:\left[a,b\right]\to ℝ$ is Hölder continuous of exponent $\gamma$ , where $\gamma \left(\cdot \right)$ is a positive function such that $0\le \gamma \left(x\right)\le 1$ , if

$|g\left({t}_{i}\right)-g\left({t}_{i-1}\right)|\le C{|{t}_{i}-{t}_{i-1}|}^{\gamma \left({x}_{i-1}\right)}$

for all ${x}_{i-1}\in \left[a,b\right]$ . The least number $C$ satisfying the above inequality is called the Hölder constant of $g$ .

Proposition 6 Let $p$ be an admissible function and $f:\left[a,b\right]\to ℝ$ such that $f=g\circ \phi$ , where $\phi :\left[a,b\right]\to ℝ$ is a bounded monotone function and

$g:\phi \left[a,b\right]\to ℝ$ is $\left(\gamma \left(\cdot \right)+1\right)$ -Hölder continuous with $\gamma \left(\cdot \right)=\frac{1}{p\left(\cdot \right)}$ . Then $f\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ .

Proof. Assume that $\phi$ is nondecreasing. Since $\phi \left(\left[a,b\right]\right)=\left[\phi \left(a\right),\phi \left(b\right)\right]$ , by virtue of the change of variable

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right)={V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(g\circ \phi ;\left[a,b\right]\right)={V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(g;\left[\phi \left(a\right),\phi \left(b\right)\right]\right).$ (4.1)

If $T={\left\{{t}_{i}\right\}}_{i=0}^{n}$ is a partition of $\left[\phi \left(a\right),\phi \left(b\right)\right]$ and $\left\{{x}_{j}\right\}$ is a sequence of points ${x}_{j}\in \left({t}_{j},{t}_{j+1}\right)$ for $j=0,\cdots ,n-2$ then

$\begin{array}{l}\underset{i=1}{\overset{n-1}{\sum }}{|\frac{g\left({t}_{i+1}\right)-g\left({t}_{i}\right)}{{t}_{i+1}-{t}_{i}}-\frac{g\left({t}_{i}\right)-g\left({t}_{i-1}\right)}{{t}_{i}-{t}_{i-1}}|}^{p\left({x}_{i-1}\right)}\\ \le \underset{i=1}{\overset{n-1}{\sum }}{\left(|\frac{g\left({t}_{i+1}\right)-g\left({t}_{i}\right)}{{t}_{i+1}-{t}_{i}}|+|\frac{g\left({t}_{i}\right)-g\left({t}_{i-1}\right)}{{t}_{i}-{t}_{i-1}}|\right)}^{p\left({x}_{i-1}\right)}\\ \le \underset{i=1}{\overset{n-1}{\sum }}{\left(\frac{C{|{t}_{i+1}-{t}_{i}|}^{\gamma \left({x}_{i-1}\right)+1}}{|{t}_{i+1}-{t}_{i}|}+\frac{C{|{t}_{i}-{t}_{i-1}|}^{\gamma \left({x}_{i-1}\right)+1}}{|{t}_{i}-{t}_{i-1}|}\right)}^{p\left({x}_{i-1}\right)}\\ \le \underset{i=1}{\overset{n-1}{\sum }}{\left(C{|{t}_{i+1}-{t}_{i}|}^{\gamma \left({x}_{i-1}\right)}+C{|{t}_{i}-{t}_{i-1}|}^{\gamma \left({x}_{i-1}\right)}\right)}^{p\left({x}_{i-1}\right)}\\ \le \underset{i=1}{\overset{n-1}{\sum }}{2}^{p\left({x}_{i-1}\right)}\left({C}^{p\left({x}_{i-1}\right)}{|{t}_{i+1}-{t}_{i}|}^{\left(\gamma \left({x}_{i-1}\right)\right)p\left({x}_{i-1}\right)}+{C}^{p\left({x}_{i-1}\right)}{|{t}_{i}-{t}_{i-1}|}^{\left(\gamma \left({x}_{i-1}\right)\right)p\left({x}_{i-1}\right)}\right)\\ \le \underset{i=1}{\overset{n-1}{\sum }}{2}^{{p}^{+}}\left({C}^{{p}^{+}}|{t}_{i+1}-{t}_{i}|+{C}^{{p}^{+}}|{t}_{i}-{t}_{i-1}|\right)\le {2}^{{p}^{+}+1}{C}^{{p}^{+}}|\phi \left(b\right)-\phi \left(a\right)|.\end{array}$

Therefore, by taking supremum over any tagged partition, it follows that

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(g;\left[\phi \left(a\right),\phi \left(b\right)\right]\right)\le {2}^{{p}^{+}+1}{C}^{{p}^{+}}|\phi \left(b\right)-\phi \left(a\right)|<\infty$

by the boundedness of $\phi$ . Hence, by (4.1)

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f;\left[a,b\right]\right)={V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(g;\left[\phi \left(a\right),\phi \left(b\right)\right]\right)<\infty .$

5. The Matkowski’s Condition

Let us show as an application that, any uniformly bounded composition operator that maps the space $B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ into itself satisfies the Matkowski’s condition.

Theorem 6 Suppose that the composition operator $H$ generated by $h$ maps $B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ into itself and satisfies the following inequality

${‖H{f}_{1}-H{f}_{2}‖}_{\left(p\left(\cdot \right),2\right)}^{W}\le \gamma \left({‖{f}_{1}-{f}_{2}‖}_{\left(p\left(\cdot \right),2\right)}^{W}\right),\text{ }\left({f}_{1},{f}_{2}\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]\right),$ (5.1)

for any function $\gamma :\left[0,\infty \right)\to \left[0,\infty \right)$ . Then, there exist functions $\alpha ,\beta \in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ such that

$h\left(t,x\right)=\alpha \left(t\right)x+\beta \left(t\right),\text{ }t\in \left[a,b\right],x\in ℝ.$ (5.2)

Proof. By hypothesis, for $x\in ℝ$ fixed, the constant function $f\left(t\right)=x$ ,

$t\in \left[a,b\right]$ belongs to $B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ . Since $H$ maps $B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ into itself, we have that $\left(Hf\right)\left(t\right)=h\left(t,f\left(t\right)\right)\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ .

From inequality (5.1) and definition of the norm ${‖\text{ }\cdot \text{ }‖}_{\left(p\left(\cdot \right),2\right)}^{W}$ , we have for ${f}_{1},{f}_{2}\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ ,

$\begin{array}{l}\mathrm{inf}\left\{\lambda >0;{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{H{f}_{1}-H{f}_{2}}{\lambda };\left[a,b\right]\right)\le 1\right\}\\ \le {‖H{f}_{1}-H{f}_{2}‖}_{\left(p\left(\cdot \right),2\right)}^{W}\le \gamma \left({‖{f}_{1}-{f}_{2}‖}_{\left(p\left(\cdot \right),2\right)}^{W}\right),\end{array}$

and then

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{H{f}_{1}-H{f}_{2}}{\gamma \left({‖{f}_{1}-{f}_{2}‖}_{\left(p\left(\cdot \right),2\right)}^{W}\right)};\left[a,b\right]\right)\le 1.$ (5.3)

Consider $a\le s and let ${\pi }_{m}:=\left\{{t}_{0},{t}_{1},\cdots ,{t}_{2m}\right\}\in \pi$ be the equidistant partition defined by

${t}_{0}=s,\text{\hspace{0.17em}}\text{\hspace{0.17em}}{t}_{j}-{t}_{j-1}=\frac{t-s}{2m},\text{ }\left(j=1,2,\cdots ,2m\right).$

Given $u,v\in ℝ$ with $u\ne v$ , define ${f}_{1},{f}_{2}:\left[a,b\right]\to ℝ$ by

${f}_{1}\left(x\right):=\left\{\begin{array}{ll}v,\hfill & \text{ }\text{if}\text{\hspace{0.17em}}x={t}_{j}\text{\hspace{0.17em}}\text{for}\text{\hspace{0.17em}}\text{some}\text{\hspace{0.17em}}\text{even}\text{\hspace{0.17em}}j,\text{ }\hfill \\ \frac{u+v}{2},\hfill & \text{ }\text{if}\text{\hspace{0.17em}}x={t}_{j}\text{\hspace{0.17em}}\text{for}\text{\hspace{0.17em}}\text{some}\text{\hspace{0.17em}}\text{odd}\text{\hspace{0.17em}}j,\text{ }\hfill \\ \text{linear},\hfill & \text{ }\text{otherwise}\text{ }\hfill \end{array}$

and

${f}_{2}\left(x\right):=\left\{\begin{array}{ll}\frac{u+v}{2},\hfill & \text{ }\text{if}\text{\hspace{0.17em}}x={t}_{j}\text{\hspace{0.17em}}\text{for}\text{\hspace{0.17em}}\text{some}\text{\hspace{0.17em}}\text{even}\text{\hspace{0.17em}}j,\text{ }\hfill \\ u,\hfill & \text{ }\text{if}\text{\hspace{0.17em}}x={t}_{j}\text{\hspace{0.17em}}\text{for}\text{\hspace{0.17em}}\text{some}\text{\hspace{0.17em}}\text{odd}\text{\hspace{0.17em}}j,\text{ }\hfill \\ \text{linear},\hfill & \text{ }\text{otherwise}\text{.}\text{ }\hfill \end{array}$

Then, the difference ${f}_{1}-{f}_{2}$ satisfies that $|{f}_{1}\left(x\right)-{f}_{2}\left(x\right)|=\frac{|u-v|}{2}$ for all $x\in \left[a,b\right]$ . Therefore, by the inequality (5.1)

$\begin{array}{l}{‖H{f}_{1}-H{f}_{2}‖}_{\left(p\left(\cdot \right),2\right)}^{W}\le \gamma \left({‖{f}_{1}-{f}_{2}‖}_{\left(p\left(\cdot \right),2\right)}^{W}\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\le \gamma \left(\frac{|u-v|}{2}\right),\end{array}$

and hence, by definition

${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(\frac{H{f}_{1}-H{f}_{2}}{\gamma \left(\frac{|u-v|}{2}\right)};\left[a,b\right]\right)\le 1.$ (5.4)

From the inequality (5.4), and the definition, it follows that for any partition

$\left\{{t}_{0},{t}_{2},{t}_{4},\cdots ,{t}_{2\left(m-1\right)}\right\}$ of $\left[a,b\right]$

$\begin{array}{l}\underset{j=1}{\overset{m-1}{\sum }}|\frac{h\left({f}_{1}\right)\left({t}_{2j}\right)-h\left({f}_{2}\right)\left({t}_{2j}\right)-h\left({f}_{1}\right)\left({t}_{2j-1}\right)+h\left({f}_{2}\right)\left({t}_{2j-1}\right)}{|{t}_{2j}-{t}_{2j-1}|\gamma \left(\frac{|u-v|}{2}\right)}\\ -{\frac{h\left({f}_{1}\right)\left({t}_{2j-1}\right)-h\left({f}_{2}\right)\left({t}_{2j-1}\right)-h\left({f}_{1}\right)\left({t}_{2j-2}\right)+h\left({f}_{2}\right)\left({t}_{2j-2}\right)}{|{t}_{2j-1}-{t}_{2j-2}|\gamma \left(\frac{|u-v|}{2}\right)}|}^{p\left({x}_{j-1}\right)}\le 1.\end{array}$

However, by the definition of ${f}_{1}$ and ${f}_{2}$ , we have that

$\begin{array}{l}\underset{j=1}{\overset{m-1}{\sum }}|\frac{h\left({f}_{1}\right)\left({t}_{2j}\right)-h\left({f}_{2}\right)\left({t}_{2j}\right)-h\left({f}_{1}\right)\left({t}_{2j-1}\right)+h\left({f}_{2}\right)\left({t}_{2j-1}\right)}{|{t}_{2j}-{t}_{2j-1}|\gamma \left(\frac{|u-v|}{2}\right)}\\ -{\frac{h\left({f}_{1}\right)\left({t}_{2j-1}\right)-h\left({f}_{2}\right)\left({t}_{2j-1}\right)-h\left({f}_{1}\right)\left({t}_{2j-2}\right)+h\left({f}_{2}\right)\left({t}_{2j-2}\right)}{|{t}_{2j-1}-{t}_{2j-2}|\gamma \left(\frac{|u-v|}{2}\right)}|}^{p\left({x}_{j-1}\right)}\\ =\underset{j=1}{\overset{m-1}{\sum }}{\left(\frac{2|h\left(v\right)+h\left(u\right)-2h\left(\frac{u+v}{2}\right)|}{\frac{t-s}{2m}\gamma \left(\frac{|u-v|}{2}\right)}\right)}^{p\left({x}_{j-1}\right)}\\ =\underset{j=1}{\overset{m-1}{\sum }}{\left(\frac{4m}{t-s}\frac{|h\left(v\right)+h\left(u\right)-2h\left(\frac{u+v}{2}\right)|}{\gamma \left(\frac{|u-v|}{2}\right)}\right)}^{p\left({x}_{j-1}\right)}\le 1.\end{array}$

Then, since $1 and $j=1,2,\cdots ,2m$ , it follows that

$\begin{array}{l}\underset{j=1}{\overset{m-1}{\sum }}{\left(\frac{4}{t-s}\frac{|h\left(v\right)+h\left(u\right)-2h\left(\frac{u+v}{2}\right)|}{\gamma \left(\frac{|u-v|}{2}\right)}\right)}^{p\left({x}_{j-1}\right)}\\ \le \underset{j=1}{\overset{m-1}{\sum }}{\left(\frac{4m}{t-s}\frac{|h\left(v\right)+h\left(u\right)-2h\left(\frac{u+v}{2}\right)|}{\gamma \left(\frac{|u-v|}{2}\right)}\right)}^{p\left({x}_{j-1}\right)}\le 1.\end{array}$

Hence, necessarily

$h\left(v\right)+h\left(u\right)-2h\left(\frac{u+v}{2}\right)=0.$

So that, we conclude that $h\left(s,\cdot \right)$ satisfies the Jensen equation in $ℝ$ . The continuity of $h$ with respect to the second variable implies that for every $t\in \left[a,b\right]$ there exists $\alpha ,\beta :\left[a,b\right]\to ℝ$ such that

$h\left(t,x\right)=\alpha \left(t\right)x+\beta \left(t\right),\text{ }\left(t\in \left[a,b\right],x\in ℝ\right).$

Since $\beta \left(t\right)=h\left(t,0\right)$ , $t\in \left[a,b\right]$ , $\alpha \left(t\right)=h\left(t,1\right)-\beta \left(t\right)$ and $h\left(\cdot ,x\right)\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ for each $x\in ℝ$ we obtain that $\alpha ,\beta \in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ .

Now we will give the definition of uniformly bounded mapping introduced by J. Matkowski in  .

Definition 9 Let $X$ and $Y$ be two metric (or normed) spaces. A mapping $H:X\to Y$ is uniformly bounded if, for any $t>0$ there exists a nonnegative real number $\gamma \left(t\right)$ such that for any nonempty set $B\subset X$ we have

$diam\left(B\right)\le t\to diamH\left(B\right)\le \gamma \left(t\right).$

With the same kind of argument than in (  , Theorem 7), we can see that any uniformly bounded composition operator acting between general Lipschitz function normed space must be of the form (5.2):

Theorem 7 Let $h:\left[a,b\right]×ℝ\to ℝ$ and $H$ the composition operator associated to $h$ . Suppose that $H$ maps $B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ into itself and it is uniformly continuous, then there exists functions $\alpha ,\beta \in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ , such that

$h\left(t,x\right)=\alpha \left(t\right)x+\beta \left(t\right),\text{ }\left(t\in \left[a,b\right],x\in ℝ\right).$

Proof. It follows as (  , Theorem 7) by Theorem 6.

6. Absolutely Continuous Functions

We now define the analog of absolute p-continuous functions of order two in the framework of variable space.

Definition 10 Given a function $p:\left[a,b\right]\to \left(1,\infty \right)$ , by modulus of $p\left(\cdot \right)$ -continuity of order two of a function $f:\left[a,b\right]\to ℝ$ , we mean

${\omega }_{\delta }^{\left(p\left(\cdot \right),2\right)}\left(f\right):=\underset{‖{\pi }^{*}‖\le \delta }{\mathrm{sup}}\underset{{\pi }^{*}}{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}{|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)},$

where the supremum is taken over all tagged partitions ${\pi }^{*}=\left\{a={t}_{0}<{t}_{1}<\cdots <{t}_{n}=b\right\}$ of the interval $\left[a,b\right]$ together with a finite sequence of numbers ${x}_{0},\cdots ,{x}_{n-2}$ subject to the conditions ${t}_{j}\le {x}_{j}\le {t}_{j+1}$ for each $j$ such that the norm of ${\pi }^{*}$ is at most $\delta$ .

Lemma 3 Let $p$ be an admissible function. The modulus of $p\left(\cdot \right)$ - continuity of order two is a sub-additive function.

Proof. Let $f,g:\left[a,b\right]\to ℝ$ .

$\begin{array}{l}{\omega }_{\delta }^{\left(p\left(\cdot \right),2\right)}\left(f+g\right)\\ =\underset{‖\pi ‖\le \delta }{\mathrm{sup}}\underset{\pi }{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}{|\frac{\left(f+g\right)\left({t}_{j+1}\right)-\left(f+g\right)\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{\left(f+g\right)\left({t}_{j}\right)-\left(f+g\right)\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\\ \le {2}^{{p}^{+}-1}\underset{‖\pi ‖\le \delta }{\mathrm{sup}}\underset{\pi }{\mathrm{sup}}\underset{j=1}{\overset{n-1}{\sum }}\left({|\frac{f\left({t}_{j+1}\right)-f\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{f\left({t}_{j}\right)-f\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{ }+{|\frac{g\left({t}_{j+1}\right)-g\left({t}_{j}\right)}{{t}_{j+1}-{t}_{j}}-\frac{g\left({t}_{j}\right)-g\left({t}_{j-1}\right)}{{t}_{j}-{t}_{j-1}}|}^{p\left({x}_{j-1}\right)}\right)\\ ={2}^{{p}^{+}-1}\left({\omega }_{\delta }^{\left(p\left(\cdot \right),2\right)}\left(f\right)+{\omega }_{\delta }^{\left(p\left(\cdot \right),2\right)}\left(g\right)\right).\end{array}$

If $f\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ and $li{m}_{\delta \to 0}{\omega }_{\delta }^{\left(p\left(\cdot \right),2\right)}\left(f\right)=0$ , we say that $f$ is absolutely $p\left(\cdot \right)$ -continuous of order two, that is, $f\in {C}^{\left(p\left(\cdot \right),2\right)}\left[a,b\right]$ .

Theorem 8 Let $p$ be an admissible function. Then ${C}^{\left(p\left(\cdot \right),2\right)}\left[a,b\right]$ is a closed subspace of $B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right]$ .

Proof. We take a sequence ${\left\{{f}_{n}\right\}}_{n\in ℕ}$ of functions in ${C}^{\left(p\left(\cdot \right),2\right)}\left[a,b\right]$ such that

$s-\underset{n\to \infty }{lim}{f}_{n}=f\in B{V}_{\left(p\left(\cdot \right),2\right)}^{W}\left[a,b\right].$ (6.1)

By the sub-additivity of ${\omega }_{\delta }^{\left(p\left(\cdot \right),2\right)}\left(f\right)$ we have that

${\omega }_{\delta }^{\left(p\left(\cdot \right),2\right)}\left(f\right)\le {\omega }_{\delta }^{\left(p\left(\cdot \right),2\right)}\left(f-{f}_{n}\right)+{\omega }_{\delta }^{\left(p\left(\cdot \right),2\right)}\left({f}_{n}\right).$

Moreover, since ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f\right)\ge {\omega }_{\delta }^{\left(p\left(\cdot \right),2\right)}\left(f\right)$ and ${V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(2f\right)\precsim {V}_{\left(p\left(\cdot \right),2\right)}^{W}\left(f\right)$ ,

using Proposition 2.3. in  and the strong limit (6.1) we have that, for each

fixed $\delta$ , ${\omega }_{\delta }^{\left(p\left(\cdot \right),2\right)}\left(f-{f}_{n}\right)\to 0$ when $n\to \infty$ . Since ${\omega }_{\delta }^{\left(p\left(\cdot \right),2\right)}\left({f}_{n}\right)\to 0$ when $\delta \to 0$ by hypothesis, we obtain that ${\omega }_{\delta }^{\left(p\left(\cdot \right),2\right)}\left(f\right)\to 0$ when $\delta \to 0$ .

Acknowledgments

We thank the editor and the referee for their comments. We thank also the anonymous comments to correct and improve this research. It has been partially supported by the Central Bank of Venezuela. We want to give thanks also to the library staff of B.C.V for compiling the references.

Cite this paper: Mejía, O. , Silvestre, P. and Valera-López, M. (2017) Functions of Bounded (p(&sdot;), 2)-Variation in De la Vallée Poussin-Wiener’s Sense with Variable Exponent. Advances in Pure Mathematics, 7, 507-532. doi: 10.4236/apm.2017.79033.
References

   Jordan, C. (1881) Sur la série de Fourier. [On the Fourier Serie]. Comptes Rendus de l’Académie des Sciences, 92, 228-230.

   De la Vallée Poussin, C.J. (1908) Sur la convergence des formules d’interpolation entre ordennées equidistantes. [On the Convergence of Interpolation Formulas between Equidistant Orders]. Bulletin de la Classe des Sciences, Academie Royale de Belgique, 314-410.

   Wiener, N. (1924) The Quadratic Variation of a Function and Its Fourier Coefficients. Journal of Mathematical Physics, 3, 72-94.
https://doi.org/10.1002/sapm19243272

   Dudley, R.M. (1994) The Order of the Remainder in Derivatives of Composition and Inverse Operators for p-Variation Norms. Annals of Statistics, 22, 1-20.
https://doi.org/10.1214/aos/1176325354

   Dudley, R.M. (1997) Empirical Processes and p-Variation. In: Pollard, D., Torgersen, E. and Yang, G.L., Eds., Festschrift for Lucien Le Cam, Springer, New York.
https://doi.org/10.1007/978-1-4612-1880-7_13

   Dudley, R.M. and Norvaisa, R. (1999) Differentiability of Six Operators on Nonsmooth Functions and p-Variation. Lecture Notes in Math, 1703, Springer, Berlin.
https://doi.org/10.1007/BFb0100744

   Appel, J., Banas, J. and Merentes, N. (2014) Bounded Variation and around. De Gruyter, Boston.

   Chistyakov, V.V. and Galkin, O.E. (1998) On Maps of Bounded p-Variation with . Positivity, 2, 19-45.
https://doi.org/10.1023/A:1009700119505

   Diening, L. (2004) Maximal Function on Generalize Lebesgue Spaces Lp(x). Mathematical Inequalities & Applications, 7, 245-253.
https://doi.org/10.7153/mia-07-27

   Azroul, E., Barbara, A. and Redwane, H. (2014) Existence and Nonexistence of a Solution for a Nonlinear p(x)-Elliptic Problem with Right-Hand Side Measure. International Journal of Analysis, 2014, 1-15.

   Fan, X., Zhao, Y. and Zhao, D. (2001) Compact Imbedding Theorems with Symmetry of Strauss-Lions Type for the Space W1,p(x) Ω. Journal of Mathematical Analysis and Applications, 255, 333-348.
https://doi.org/10.1006/jmaa.2000.7266

   Yin, L., Liang, Y., Zhang, Q. and Zhao, C. (2015) Existence of Solutions for a Variable Exponent System without PS Conditions. Journal of Differential Equations, 2015, 1-23.

   Radulescu, V.D. and Repovs, D.D. (2015) Partial Differential Equations with Variable Exponent: Variational Methods and Qualitative Analysis. CRC Press, Taylor & Francis Group, Boca Raton.

   Orlicz, W. (1931) über konjugierte exponentenfolgen. [Over Conjugate Exponent Sequences]. Studia Mathematica, 3, 200-211.

   Nakano, H. (1950) Modulared Semi-Ordered Linear Spaces. Maruzen Co., Ltd., Tokyo.

   Nakano, H. (1951) Topology and Topological Linear Spaces. Maruzen Co., Ltd., Tokyo.

   Musielak, J. (1983) Orlicz Spaces and Modular Spaces. Lecture Notes in Mathematics, Vol. 1034, Springer-Verlag, Berlin.
https://doi.org/10.1007/BFb0072210

   Musielak, J. and Orlicz, W. (1959) On Modular Spaces. Studia Mathematica, 18, 49-65.

   Kovácik, O. and Rákosník, J. (1991) On Spaces Lp(x) and Wk,p(x). Czechoslovak Mathematical Journal, 41, 592-618.

   Kozlowski, W.M. (1988) Modular Function Spaces, Monographs and Textbooks in Pure and Applied Mathematics. Marce Dekker Inc., New York, Vol. 122, 252.

   Castillo, R.E., Merentes, N. and Rafeiro, H. (2014) Bounded Variation Spaces with p-Variable. Mediterranean Journal of Mathematics, 11, 1069-1079.
https://doi.org/10.1007/s00009-013-0342-5

   Barza, S. and Silvestre, P. (2014) Functions of Bounded Second p-Variation. Revista Matemática Complutense, 27, 69-91.

   Mejía, O., Merentes, N. and Sánchez, J.L. (2015) The Space of Bounded p(⋅)-Variation in Wiener’s Sense with Variable Exponent.

   Matkowski, J. (2011) Uniformly Bounded Composition Operators between General Lipschitz Function Normed Spaces. Topological Methods in Nonlinear Analysis, 38, 395-405.

Top