Abstract
Researchers dealing with real functions \(\ f\left( \cdot \right) \in L^{1}\left( a,b\right) \) are often challenged with technical difficulties on trying to prove statements involving the positive \(\ f^{\,+}\left( \cdot \right) \) and negative \(\ f^{\,-}\left( \cdot \right) \) parts of these functions. Indeed, the set of points where \(\ f\left( \cdot \right) \) is positive (resp. negative) is just Lebesgue measurable, and in general these two sets may both have positive measure inside each nonempty open subinterval of \(\ \left( a,b\right) \). To remedy this situation, we regularize these sets through open sets. More precisely, for each zero-average \(\ f\left( \cdot \right) \in L^{\,1}\left( a,b\right) \), we construct, explicitly, a series of functions \(\ \overset{\frown }{f}_{i}\left( \cdot \right) \) having sum \(\ f\left( \cdot \right) \) — a.e. and in \(\ L^{1}\left( a,b\right) \) — in such a way that, for each \(\ i\in \left\{ \,0,1,2,\ldots \, \right\} \), there exist two disjoint open sets where \(\ \overset{\frown }{f}_{i}\left( \cdot \right) \ge 0\) a.e. and \(\ \overset{\frown }{f}_{i}\left( \cdot \right) \le 0\) a.e., respectively, while \(\ \overset{\frown }{f}_{i}\left( \cdot \right) =0\) a.e. elsewhere. Moreover, its primitive \(\ \int ^{t}f\left( \cdot \right) \) becomes the sum of a strongly convergent series of nice AC functions. Applications to calculus of variations & optimal control appear in our next papers.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The main focus of this paper is on functions
i.e. each \(\ f:\left( a,b\right) \subset {\mathbb {R}}\rightarrow \left[ -\, \infty ,\infty \right] \) (with \(\ a<b\)) is a Lebesgue-integrable function with positive primitive and zero average. Or, equivalently, their primitives
After dealing with such positive functions, we also treat negative functions, hence vectorial functions in general, in (1.9)–(1.12) and from (2.35) on.
But consider first the special case of (1.1) in which
so that
If we disregard what has zero measure, in this simpler situation the positivity and negativity sets
certainly are contained in disjoint open sets:
Such neat separation between these two sets \(\ E_{f}^{\,+}\) & \(\ E_{f}^{\,-}\) gets of course lost in the general case (1.1) of wilder zero-average integrable functions having positive indefinite integral, to the point that \(\ E_{f}^{\,+}\) & \(\ E_{f}^{\,-}\) may even both have positive measure over each nonempty open subinterval of \(\ \left( a,b\right) \) — i.e. will be inextricably intertwined. (A possibility which easily follows from the Borel set mentioned in [8, Chapter II, problem 8].)
Aim of this paper is precisely to fix this issue, namely by explicitly constructing a decomposition for each \(\ f\left( \cdot \right) \) satisfying (1.1), so that it becomes the sum of a \( \ L^{\,1}\)-strongly and a.e. convergent series of functions \(\ \overset{ \frown }{f}_{i}\left( \cdot \right) \), each one again satisfying (1.1) together with:
Detailing the convergence of this series, it is such that, besides
we also have
As we shall see, this result may also be interpreted as follows: given any AC function
and defining
we explicitly construct a decomposition of \(\ F\left( \cdot \right) \) as the sum of a strongly-\(W^{\,1,1}\) convergent series of functions \(\ \overset{\frown }{F}_{i}\left( \cdot \right) \)\(\left( \,:=\int \overset{ \frown }{f}_{i}\left( \cdot \right) \, \right) \), each one also satisfying (1.7), such that
while the measure
Here \(\ C_{F}:=\left\{ \,t\in [a,b]:\ \exists \,F^{\, \prime }\left( t\right) =0\, \right\} \) is the critical set of the given function \(\ F\left( \cdot \right) \) (which often has nonempty interior, due to constancy intervals of \(\ F\left( \cdot \right) \)); and the reason why one has to exclude \(\ C_{F}\) from (1.8), but not from (1.4), is that while our construction always yields
e.g. when \(\ C_{F}\) has nonempty interior and each function \(\ \overset{ \frown }{F}_{i}\left( \cdot \right) \) has constant \(\ >0\) value along each interval of \(\ C_{F}\).
In case Fourier expansions come to the reader’s mind as a possibility to get (1.5), let’s recall that Fourier series for \(\ L^{\,1}\) functions may even diverge at all points. (Kolmogorov constructed such an example in [5].)
On the other hand, Fourier expansions will in general not satisfy the very useful convergence property (1.8). In fact, starting e.g. from a piecewise-affine cap-function \(\ F\left( \cdot \right) \) one reaches a trigonometrical Fourier series with infinitely many nonzero terms; while our cap-series will, by construction, contain just one nonzero term \(\ \overset{\frown }{F}_{0}\left( \cdot \right) =F\left( \cdot \right) \), since \(\ F\left( \cdot \right) \) is itself already a cap-function.
Thus the usual approach of harmonic analysis — consisting in fixing e.g. an orthonormal basis in a functional space hence express its functions relative to such basis — is completely different from our own. Indeed, defining \(\ F_{0}\left( \cdot \right) :=F\left( \cdot \right) \), our strategy begins instead with the explicit construction, along each maximal interval where \(\ F_{0}\left( \cdot \right) >0\), of a very reasonable cap function \(\overset{\frown }{F}_{0}\left( \cdot \right) \) which equals \(\ F_{0}\left( \cdot \right) \) in (at least) part of that interval; and then we do the same to \(\ F_{i+1}\left( \cdot \right) :=\left( F_{i}-\overset{\frown }{F} _{i}\right) \left( \cdot \right) \), for \(\ i=0,\,1,\,\ldots \). In particular, our series will contain infinitely many nonzero terms only in case \(\ F\left( \cdot \right) \) does consist of infinitely many levels of superposed oscillations (over the bounded interval \(\ \left( a,b\right) \)). In the special case where \(\ F\left( \cdot \right) \) is not only AC but even analytic, our series will thus become just a finite sum of finitely-piecewise-cap functions, namely \(\exists \,k_{F}\in \mathbb {N}\) such that
Such decomposition of AC functions into cap components is here presented as a technical tool allowing research mathematicians to deal, in an easier way, with positive or negative parts of \(\ L^{\,1}\) functions and with monotonicity intervals of AC functions. Ourselves — in past research on nonconvex calculus of variations & optimal control (see e.g. [1, 2, 7]) — have felt technical difficulties on dealing with sets of positivity and of negativity of scalar velocities, since these may well have positive measure boundaries. But our new decomposition (1.3) and (1.4) allows us to reach better nonconvex results, and even results on the sign of integrals, in new papers to appear.
On the other hand, using as building blocks our cap-decomposition for scalar positive \(\ W_{0}^{\,1,1}\left( \,[a,b]\, \right) \) functions, one easily reaches more general formulations. Indeed, the vectorial versions of our above decompositions for \(\ L^{\,1}\) and for AC scalar functions, respectively, turn out to be the following:
Corollary 1
Given any function \(\ f\left( \cdot \right) \in L^{\,p}\left( \, \left( a,b\right) ,\mathbb {R}^{\,m}\, \right) \)\(\left( \,1\le p<\infty \, \right) \) let
Then we explicitly construct, from \(\ f\left( \cdot \right) \), zero-average functions \(\overset{\frown }{f}_{i}\left( \cdot \right) \in L^{\,p} \left( \left( a,b\right) ,\mathbb {R}^{\,m}\, \right) \) such that
Moreover, each coordinate of each \(\ \overset{\frown }{f}_{i}\left( \cdot \right) \) satisfies (1.3).
Corollary 2
Given any function \(\ F\left( \cdot \right) \in W^{\,1,\,p}\left( \, \left[ a,b\right] ,\mathbb {R}^{\,m}\, \right) \)\(\left( \,1\le p<\infty \, \right) \) let
and consider the critical set:
Then we explicitly construct, from \(\ F\left( \cdot \right) \), functions \( \ \overset{\frown }{F}_{i}\left( \cdot \right) \in W_{0}^{\,1,\,p}\left( \left[ a,b\right] ,\mathbb {R}^{\,m}\, \right) \) such that
Moreover, each coordinate of each \(\ \overset{\frown }{F}_{i}\left( \cdot \right) \) is a countably-piecewise-cap/cup function.
(What we mean here is that each coordinate of each \(\ \overset{\frown }{F}_{i}\left( \cdot \right) \) is — locally where it is \(\ \ne 0\) — either a cap function or a cup function, calling
2 Cap or Cup Decomposition of AC Functions
To begin with, associating to each function
the corresponding open set
\(\left( \text {with disjoint nonempty intervals }\left( a_{0}^{\,j},b_{0}^{\,j}\, \right) \right) \), then here is our main result:
Theorem 1
(Cap decomposition of positive periodic AC functions) For each function \(\ F\left( \cdot \right) \) as in (2.1) and (2.2) there exist functions \(\ \overset{\frown }{F}_{i}\left( \cdot \right) \), each one a countably-piecewise-cap function, such that, for each \(\ q\in \left[ 1,p \right] \),
together with
More precisely: (1.5) and (1.6) hold true, with \(\ \left| \, \cdot \, \right| \) replaced by \(\ \left| \, \cdot \, \right| ^{q}\), and — using the maximal intervals \(\ \left( a_{i}^{\,j},b_{i}^{\,j}\, \right) \) of the open set \(\ \mathcal {O}_{i}\) where \(\ \overset{\frown }{F}\ _{i}\left( \cdot \right) >0\)\(\left( \,i\in I\subset \mathbb {N}\cup \left\{ 0\right\} \, \right) \) — each \(\ \overset{\frown }{F}\ _{i}\left( \cdot \right) \) will be “ a cap function along each \(\left( a_{i}^{\,j},b_{i}^{\,j}\, \right) \) ”, i.e.
The idea behind the proof of Th. 1 is the following: after extracting from \(\ F_{0}\left( \cdot \right) :=F\left( \cdot \right) \) a first cap level \(\overset{\frown }{F}_{0}\left( \cdot \right) \) (\(=\) its cap components), we then extract from \(\ F_{1}\left( \cdot \right) :=F_{0}\left( \cdot \right) -\overset{\frown }{F}\ _{0}\left( \cdot \right) \) a second level \(\overset{\frown }{F}\ _{1}\left( \cdot \right) \) (\(=\) its cap subcomponents), and so on and so forth ad infinitum. Thus \( \overset{\frown }{F}_{0}\left( \cdot \right) \) (resp. \( \overset{\frown }{F}_{1}\left( \cdot \right) \), \(\overset{\frown }{F}\ _{2}\left( \cdot \right) \), ...) yields the cap components (resp. subcomponents, subsubcomponents, ...) of \( F_{0}\left( \cdot \right) \); meaning, by “subcomponents” (resp. by “subsubcomponents”, ...), that \(\overset{\frown }{F }_{1}\left( \cdot \right) \) (resp. \(\overset{\frown }{F}\ _{2}\left( \cdot \right) \), ...) yields the cap components of \(F_{1}\left( \cdot \right) \) (resp. of \(F_{2}\left( \cdot \right) :=F_{1}\left( \cdot \right) -\overset{\frown }{F}_{1}\left( \cdot \right) \), ...). While this strategy is simple to explain, the real challenge has been how to prove, in a constructive way, strong \(\ L^{\,1}\)-convergence, to zero, of derivatives (as in (2.24)). Notice that since our cap decomposition is explicitly constructed, step by step, it wouldn’t be so nice (both aesthetically and from the pragmatic viewpoint of practical implementation of the decomposition) to end up such construction with a nonconstructive proof of convergence.
Proof of Theorem 1
The promised decomposition (2.3) — or (2.4) or, in particular, (1.6) — will be constructed as follows: taking any
one defines, recursively,
where \(\overset{\frown }{F}_{i}\left( \cdot \right) \), the union of the disjoint cap components of \(F_{i}\left( \cdot \right) \), is defined as follows: in case
is nonempty, we set
with
otherwise, i.e. if \(\ \mathcal {O}_{i}=\emptyset \), we put
Considering the set of relevant \(i\,\)’s,
then clearly, for \(i\in I\),
so that, by (2.5), \(0\le F_{i}\left( t\right) -\overset{\frown }{F}_{i}\left( t\right) =F_{i+1}\left( t\right) \le F_{i}\left( t\right) \) and
Recalling now the open set \(\mathcal {O}_{i}\) in (2.6), define the new functions and sets of regular points (see (2.4))
obtaining, by (2.7), using the characteristic functions of \(\overset{\frown }{R}_{i}\) & \(R_{i}\),
On the other hand, differentiating (2.5),
in particular \(\left| \,f_{i+1}\left( t\right) \, \right| ^{q}=\left| \,f_{i}\left( t\right) \, \right| ^{q}\) \(\chi _{R_{i}{\setminus } \overset{\frown }{R}_{i}}\left( t\right) =\left| \,f_{i}\left( t\right) \, \right| ^{q}\left( 1-\chi _{\overset{\frown }{ R}_{i}}\, \right) \left( t\right) =\left| \,f_{i}\left( t\right) \, \right| ^{q}-\left| \, \overset{\frown }{f}_{i}\left( t\right) \, \right| ^{q}\) a.e. and
Applying recursively these equalities one obtains, by (2.11),
hence, integrating along \(\left[ a,b\right] \) and letting \( N\rightarrow \infty \), using (2.14) and (2.13) one gets
by monotone convergence; which means
in particular
More precisely than in the lhs of (2.16) we have, by (2.13) and (2.12),
hence Lebesgue dominated convergence yields, since \(\left| \,f_{i}\left( \cdot \right) \, \right| ^{q}\le \left| \,f\left( \cdot \right) \, \right| ^{q}\) a.e. \(\forall \,i\),
But clearly (2.17) and (2.19) imply, by [10, th. 16.28],
On the other hand, by (2.9),
hence, by (2.15),
which shows, by (2.10), that
In particular, this implies that
Joining together the info given by (2.18) and (2.21) one gets \(\ m\left( \cdot \right) =0\) a.e.; which, plugged into (2.20), yields
(Notice that (2.23) could also have been proved using, instead of the constructive arguments (2.17) to (2.20), some nonconstructive compactness tricks like the ones appearing in remarks below. )
Therefore \(\ \left( \,F_{i}\left( \cdot \right) \, \right) \) converges in \(W_{0}^{\,1,\,q}\left( \,[a,b]\, \right) \) to zero:
hence, passing to the limit in (2.14) and (2.15), one obtains
This completes the proof of Theorem 1. \(\square \)
Remark 1
(Alternative proofs of strong \(L^{\,q}\) -convergence, \(1\le q\le p<\infty \), of \(\left( \,f_{i}\left( \cdot \right) \, \right) \) to zero)
In order to prove strong \(L^{\,q}\left( a,b\right) \)-convergence of \( \left( \,f_{i}\left( \cdot \right) \, \right) \), we did prefer to stick to the constructive proof appearing in (2.17)–(2.20), thereby discarding our prior functional-analysis arguments which follow.
To begin with, by the Dunford-Pettis theorem, since \(\left| \,f_{i}\left( \cdot \right) \, \right| \le \left| \,f\left( \cdot \right) \, \right| \) a.e. \(\forall \,i\), \(\left( \,f_{i}\left( \cdot \right) \, \right) \) has a subsequence \(\left( \,f_{i_{k}}\left( \cdot \right) \, \right) \) converging weakly, in \(L^{\,1}\left( a,b\right) \), to some \(m\left( \cdot \right) \in L^{\,1}\left( a,b\right) \), in particular \(\left( \,F_{i_{k}}\left( t\right) \, \right) \rightarrow \int _{a}^{t}m\left( \tau \right) \) \(\textrm{d}\tau \)\(\forall \,t\); but since \(\left( \,F_{i}\left( \cdot \right) \, \right) \) converges uniformly to zero, by (2.21), it must be \(m\left( \cdot \right) =0\) a.e.; and since the same arguments apply to any subsequence of \(\left( \,f_{i}\left( \cdot \right) \, \right) \), the whole
Notice that (2.25) implies, with \(R:=\bigcap \nolimits _{i=0}^{\infty }R_{i}\),
Thus
so that
Moreover, since (see (2.12)),
we have, using Lebesgue dominated convergence,
To reach (2.23) from (2.25) — instead of reaching (2.23) directly, avoiding (2.25), as in (2.17) to (2.20) — we have found three nonconstructive paths:
-
(a)
First proof — by the Vitali convergence theorem (see e.g. [6, th. B.101]). Since \(\ m\left( \cdot \right) =0\) a.e., by (2.17),
$$\begin{aligned} \left( \,f_{i}\left( t\right) \, \right) \rightarrow 0 \quad \text{ for } \text{ a.e. } t. \end{aligned}$$Therefore, by the Egorov theorem,
$$\begin{aligned} \left( \,f_{i}\left( \cdot \right) \, \right) \text { converges in measure to }\ 0. \end{aligned}$$Moreover, \(\ \forall \, \varepsilon >0\) \(\ \exists \, \delta >0\) such that
$$\begin{aligned} \int _{D}\, \left| \,f_{i}\left( t\right) \, \right| ^{q}\,\textrm{d}t\le \int _{D}\, \left| \,f\left( t\right) \, \right| ^{q}\,\textrm{d}t\le \varepsilon \end{aligned}$$(2.29)\(\forall \,i\in \left\{ \,0,1,2,\ldots \, \right\} \) and for every measurable set \(\ D\subset [a,b]\) with \(\ \left| \,D\, \right| \le \delta \).
-
(b)
Second proof — by Lebesgue dominated convergence. Using (2.17), (2.27) & (2.26) we obtain, due to (2.13),
$$\begin{aligned} {}&{} \lim \limits _{i\rightarrow \infty }\, \int _{a}^{b}\left| \,f_{i}\left( t\right) \, \right| ^{q}\,\text {d}t=\int _{a}^{b}\, \lim \limits _{i\rightarrow \infty }\left( \, \left| \,f\left( t\right) \, \right| ^{q}\, \chi _{R_{i}}\left( t\right) \, \right) \,\text {d}t \\{}&{}=\int _{a}^{b}\, \left| \,f\left( t\right) \, \right| ^{q}\, \chi _{R}\left( t\right) \,\text {d}t=\int _{R}\, \left| \,f\left( t\right) \, \right| ^{q}\,\text {d}t=0. \end{aligned}$$ -
(c)
Third proof — by the Riesz–Kolmogorov characterization of strong relative \(L^{\,q}\left( a,b\right) \)-compactness (see e.g. [4, Cor. 2.3.9]). Clearly it suffices to establish strong \(L^{\,q}\)-convergence of a subsequence \(\left( \,f_{i_{k}}\left( \cdot \right) \, \right) \). Since, for any \(s<t\) in \(\left( a,b\right) \) and any i,
$$\begin{aligned} \left| \, \int _{s}^{t}f_{i}\left( \tau \right) \,\text {d}\tau \, \right| \le \int _{s}^{t}\left| \,f\left( \tau \right) \, \right| \, \chi _{R_{i}}\left( \tau \right) \,\text {d}\tau \le \left| \,f\left( \cdot \right) \, \right| _{L^{\,1}\left( a,b\right) }, \end{aligned}$$we just need to show that
$$\begin{aligned} \int _{a}^{b-\delta }\left| \,f_{i}\left( t+\delta \right) -f_{i}\left( t\right) \, \right| ^{q}\,\textrm{d}t\longrightarrow 0\text { as }\delta \searrow 0\text {, uniformly in }i. \end{aligned}$$(2.30)
To begin the proof of (2.30), by [4, Cor. 2.3.8],
On the other hand, since \(\left( \, \left| \,R_{i}\, \right| \, \right) \rightarrow 0\) (see (2.28)), uniform absolute continuity of the integral relative to Lebesgue measure implies, for the \(\ \varepsilon >0\) fixed in (2.31), that
yielding
Finally, using (2.31) & (2.32) to set \(\overline{\delta }:=\min \left\{ \, \delta _{0},\delta _{1},\ldots ,\delta _{i_{\varepsilon }}\, \right\} \), one reaches our desired aim (2.30):
thus again proving (2.23).
Remark 2
In case \(\ F\left( \cdot \right) \in W_{0}^{\,1,\,p}\left( \,[a,b]\, \right) \),\(\ \ 1<p<\infty \), we can also prove strong \(L^{\,q} \) -convergence, \(\ 1<q\le p<\infty \), as well as strong \(\ L^{1}\) -convergence, of \(\ \left( \,f_{i}\left( \cdot \right) \, \right) \) to zero as follows.
Since
and, by (2.21),
we have (see [3, ex. 2.50])
Therefore, as above ((2.25) to (2.28)), we can prove that
hence
which proves that
Let \(\ q_{_{H}}\) be the Hölder conjugate exponent of \(\ q\). By Hölder’s inequality,
Thus
Remark 3
(Alternative proof of strong \(L^{\,1}\) -convergence of \(\left( \,f_{i}\left( \cdot \right) \, \right) \) to zero)
To prove that \(\ \left( \,f_{i}\left( \cdot \right) \, \right) \overset{ L^{\,1}}{\longrightarrow }0\) strongly we can also use Visintin’s theorem [9, th. 1]. Indeed, since, due to (2.13),
and \(\ \left( \,f_{i}\left( \cdot \right) \, \right) \overset{L^{\,1}}{ \rightharpoonup }0\) weakly, one must have (2.23).
Remark 4
(Alternative proof of uniform convergence of \(s_{k}\left( \cdot \right) := \sum _{i=0}^{k}\overset{\frown }{F}_{i}\left( \cdot \right) \) to \(\ F\left( \cdot \right) \))
To begin with, notice that the sequence \(\ \left( \,F_{i}\left( \cdot \right) \, \right) \) is equibounded:
On the other hand, since \(\ \left( \,f_{i}\left( \cdot \right) \, \right) \) is equiintegrable ( (2.29) holds true with \(\ q=1\,)\), \(\ \left( \,F_{i}\left( \cdot \right) \, \right) \) is also equicontinuous. Therefore, by Ascoli-Arzelà theorem, there exist a subsequence \(\ \left( \,F_{i_{k}}\left( \cdot \right) \, \right) \) and a continuous \(\ h:\left[ a,b\right] \rightarrow \mathbb {R}\) such that
in particular
Since, for each \(\ t\), the sequence \(\ i\mapsto F_{i}\left( t\right) \) decreases — and any monotone sequence containing a convergent subsequence is itself convergent to the same limit — we have
Thus, by Dini’s theorem,
On the other hand, since
by (2.33) we conclude that
in particular
By (2.10),
thus proving (2.22) (again — and by a different method).
Remark 5
In case
besides (2.3) & (2.4) to hold true for every \(\ 1\le q<\infty \), we also have
Indeed,
due to Lebesgue dominated convergence theorem, since
and
Moreover,
if and only if
Remark 6
(Decomposition of any scalar AC function \( F\left( \cdot \right) \) into cap-components and cup-components)
Our cap-decomposition — appearing in (2.3) for special AC functions, namely those \(F\left( \cdot \right) \ge 0\) as in (2.1) — can easily be extended to any function \(F\left( \cdot \right) \in W^{\,1,\,p}\left( \,[a,b]\, \right) \), \(1\le p<\infty \), as follows. Define
so that
where \(\ \mathcal {O}_{0}\) is defined as in (2.2) with \(\ F\left( \cdot \right) \) replaced by \(\ \left| F^{\,0}\left( \cdot \right) \right| \). (More precisely, (2.36) is intended as saying that \(\ F\left( \cdot \right) =M_{F}\left( \cdot \right) \) on \(\ [a,b]\, \backslash \, \mathcal {O}_{0}\) .)
Then we obtain a decomposition into cap components and cup components — recall (1.12) — for any AC function \(\ F\left( \cdot \right) \), as above, just by applying (2.3) to \(\ \left| F^{\,0}\left( \cdot \right) \right| \). Indeed,
with each \(\ \overset{\frown }{F}_{i}\left( \cdot \right) \) — defined as in (2.5)–(2.8) but starting, instead, from \(F_{0}\left( \cdot \right) :=\left| F^{\,0}\left( \cdot \right) \right| \) in order to respect (2.1) — a countably-piecewise-cap function. Together with (2.14), (2.13), (2.28) and Remark 7, this proves (1.9) to (1.11).
Remark 7
(Decomposition of any vectorial AC function \(F\left( \cdot \right) \))
Considering now vectorial functions \(\ F\left( \cdot \right) \in W^{\,1,\,p}\left( \,[a,b],\mathbb {R}^{\,m}\, \right) \), with each coordinate \(\ F^{\, \nu }\left( \cdot \right) \) satisfying (2.1), after determining the series \(\sum _{i=0}^{\infty } \overset{\frown }{f^{\,1}}_{i}\left( \cdot \right) \ \ \) (see (2.4)) for the derivative \(\ f^{\,1}\left( \cdot \right) \) of the first coordinate \(\ F^{\,1}\left( \cdot \right) \) of \(\ F\left( \cdot \right) \), one may determine the series \(\sum _{i=0}^{\infty } \overset{\frown }{f^{\,2}}_{i}\left( \cdot \right) \) for the derivative \(\ f^{\,2}\left( \cdot \right) \) of the second coordinate \(\ F^{\,2}\left( \cdot \right) \) of \(\ F\left( \cdot \right) \) and so on and so forth up to \(\ f^{\,m}\left( \cdot \right) \). Thus (2.4) will represent not only a scalar equality in \(\ L^{\,p}\left( a,b\right) \) but also a vectorial equality in \(\ L^{\,p}\left( \, \left( a,b\right) ,\mathbb {R}^{\,m}\, \right) \), for the vectorial derivative \(\ f\left( \cdot \right) \) of \(\ F\left( \cdot \right) \); and each coordinate \(\ \overset{\frown }{f^{\, \nu }}_{i}\) of each \(\ \overset{\frown }{f}_{i}=\left( \overset{ \frown }{f^{\,1}}_{i},\overset{\frown }{f^{\,2}}_{i},\,\ldots ,\overset{ \frown }{f^{\,m}}_{i}\right) \) will satisfy (1.3) and (1.4).
Availability of Data and Materials
This declaration is not applicable.
References
Carlota, C., Ornelas, A.: Existence of vector minimizers for nonconvex 1-dim integrals with almost convex Lagrangian. J. Differ. Equ. 243(2), 414–426 (2007)
Carlota, C., Ornelas, A.: The DuBois–Reymond differential inclusion for autonomous optimal control problems with pointwise-constrained derivatives. Discrete Contin. Dyn. Syst. A 29(2), 467 (2011)
Fonseca, I., Leoni, G.: Modern Methods in the Calculus of Variations: \({\mathit{L}}^{p}\) Spaces. Springer Science & Business Media, Berlin (2007)
Gasinski, L., Papageorgiou, N.S.: Nonlinear Analysis. Series in Mathematical Analysis and Applications, vol. 9. Chapman and Hall/CRC, New York (2005)
Kolmogorov, A.: Une série de Fourier-Lebesgue divergente partout. CR Acad. Sci. Paris 183, 1327–1328 (1926)
Leoni, G.: A First Course in Sobolev Spaces, vol. 105. American Mathematical Society, Providence (2009)
Ornelas, A.: Existence of scalar minimizers for nonconvex simple integrals of sum type. J. Math. Anal. Appl. 221(2), 559–573 (1998)
Rudin, W.: Real and Complex Analysis. International Series in Pure and Applied Mathematics. McGraw Hill Book Co, New York (1987)
Visintin, A.: Strong convergence results related to strict convexity. Commun. Partial Differ. Equ. 9(5), 439–466 (1984)
Yeh, J.: Real Analysis: Theory of Measure and Integration, 2nd edn. World Scientific Publishing Company, Singapore (2006)
Funding
Open access funding provided by FCT|FCCN (b-on). This research was financially supported by National Funds through FCT-Fundação para a Ciência e a Tecnologia in the framework of the research project “UIDB/04674/2020”- CIMA (Centro de Investigação em Matemática e Aplicações).
Author information
Authors and Affiliations
Contributions
Both authors have given an equal contribution to this research and to writing and reviewing this paper.
Corresponding author
Ethics declarations
Conflict of interest
The authors have no competing interests as defined by Springer, or other interests that might be perceived to influence the results and/or discussion reported in this paper.
Ethical approval
This declaration is not applicable.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Carlota, C., Ornelas, A. Constructive Decomposition of Any \(\ L^{1}\left( a,b\right) \) Function as Sum of a Strongly Convergent Series of Integrable Functions Each One Positive or Negative Exactly in Open Sets. Mediterr. J. Math. 20, 226 (2023). https://doi.org/10.1007/s00009-023-02414-1
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-023-02414-1
Keywords
- Positivity sets and negativity sets of a Lebesgue integrable function
- cap functions and cup functions
- Sobolev functions
- locally monotone absolutely continuous functions