## 1 Introduction

In 1927, Lavrentiev [1] provided an example of the fact, later called the *Lavrentiev phenomenon*, that the infimum, over the set of absolutely continuous functions, of a one-dimensional functional of the calculus of variations may be strictly lower than the infimum of the same functional over the set of Lipschitz functions satisfying the same boundary conditions: the example was refined by Manià in [2] and, more recently, by Ball-Mizel in [3]. Finding the conditions that ensure the non-occurrence of the Lavrentiev phenomenon has some interest, if just for ensuring to catch the infimum of the functional via standard numerical methods. We point out that some authors refer to as the Lavrentiev phenomenon just the fact that the infima among the two aforementioned classes of functions differ without taking care the boundary datum. If one allows the boundary datum to vary, things change dramatically: in Lavrentiev’s celebrated example itself the infima among Lipschitz/absolutely functions are the same if one allows one boundary datum to be just arbitrarily close to the initial one. Some recent results concerning the study of this kind of “local” Lavrentiev phenomenon have been recently obtained in [4, Theorem 4].

Alberti and Serra Cassano proved in [5] that, when the integration set is an interval in ℝ, the phenomenon does not occur for autonomous Lagrangians. For scalar problems, where the domain is multi-dimensional, few results appeared in the literature. Of course, the problem becomes much easier if one imposes growth conditions of the Lagrangian from above, since approximations are facilitated by Lebesgue’s dominated convergence. A two-dimensional analogue of Manià’s example was provided in [6]. There are examples in [7] of functionals of the form *F*(*x*, ∇*u*) depending on the independent variable *x* of the space and on the gradient ∇*u* of the admissible functions that exhibit the Lavrentiev phenomenon; there are also cases in which the Lavrentiev phenomenon does not occur (see [8]). No example is known to the authors for scalar problems when the Lagrangian is autonomous.

It was conjectured by Buttazzo-Belloni in [9] that the phenomenon should not occur when the Lagrangian *F*(*u*, ∇*u*) is autonomous and convex in both variables, a fact that they proved in the case of a (strongly) star-shaped domain under the hidden growth assumption that *F*(*u*, 0) is summable and zero as a boundary datum. Other results that appeared aimed to prove the conjecture: we mention Ekeland-Temam who proved in [10] its validity for functionals of the gradient on a Lipschitz domain for a zero boundary datum;
Bonfanti and Cellina in [6, 11] considered autonomous Lagrangians that are sum of a radial function of the gradient ∇*u* and a function of the variable *u*, under some smoothness assumptions on the boundary and on the boundary datum. A complete answer to the conjecture was given by Bousquet-Mariconda-Treu in [12], where they showed that whenever *F*(*u*, ∇*u*) is convex, given *u* ∈ *Ω*) with a Lipschitz boundary datum and finite energy (i.e., *F*(*u*, ∇*u*) ∈ *L*^{1}(*Ω*)), there is no *Lavrentiev gap* at *u*: there exists a sequence (*u _{k}*)

_{k}of Lipschitz functions that share the same boundary datum and converge to

*u*both in

*W*

^{1,1}and in energy, no matter if

*u*is a minimizer.

We consider here a convex nonautonomous Lagrangian *F*(*x*, *u*, ∇*u*), and establish a sufficient condition under which no Lavrentiev gap occurs at any admissible function. As a byproduct it turns out that the Lavrentiev phenomenon does not occur if the Lagrangian is of the form

with *f*(⋅, 0) of class *C*^{1}(*Ω**h*(⋅, 0) of class *C*^{2}(*Ω**W*^{1,1} and in energy) with a sequence of bounded functions that are Lipschitz in a neighbourhood of the boundary of the domain.

A partial motivation for studying these kind of functionals comes from minimization problems in the Heisenberg group where one wants to consider functionals that generalize those studied in [15] and in references therein.

We do not consider here the vectorial case for which, when the Lagrangian depends only on the gradient, there are both examples of the occurrence of the Lavrentiev phenomenon and cases where it does not occur [7].

The authors are grateful to Pierre Bousquet for his useful comments and to both the referees for having carefully read the manuscript.

## 2 Notation and assumptions

**Notation**

- –The scalar product of
*x*,*y*in ℝ^{n}is denoted by 〈*x*,*y*〉. - –The pointwise maximum (resp. minimum) of two functions
*u*,*v*is denoted by*u*∨*v*(resp.*u*∧*v*),*u*^{+}=*u*∨ 0 (resp*u*^{–}= (–*u*)∨ 0) is the positive (resp. negative) part of*u*. - –The convex subgradient of a function
*g*: ℝ^{m}→ ℝ at*ξ*_{0}∈ ℝ^{m}is the set$\begin{array}{c}\partial g\left({\xi}_{0}\right):=\{\nu \in {R}^{m}:\phantom{\rule{0ex}{0ex}}g(\xi )-g({\xi}_{0})\ge \u3008\nu ,\xi -{\xi}_{0}\u3009\phantom{\rule{0ex}{0ex}}\forall \xi \in {R}^{m}\}.\end{array}$ - –The partial convex subgradient of
*F*(*x*,*s*,*ξ*) with respect to*x*at (*x*_{0},*s*_{0},*ξ*_{0}) is the convex subgradient of*x*↦*F*(*x*,*s*_{0},*ξ*_{0}) at*x*=*x*_{0}, it will denoted by*∂*(_{x}F*x*_{0},*s*_{0},*ξ*_{0}). Analogously we will denote by*∂*(_{s}F*x*_{0},*s*_{0},*ξ*_{0}) (resp.*∂*(_{ξ}F*x*_{0},*s*_{0},*ξ*_{0})) the partial convex subgradients of*F*(*x*,*s*,*ξ*) with respect to*s*(resp.*ξ*) at (*x*_{0},*s*_{0},*ξ*_{0}). Also, the convex subgradient of (*s*,*ξ*) ↦*F*(*x*,*s*,*ξ*) is denoted by*∂*_{s,ξ}*F*(*x*,*s*,*ξ*). - –For
*E*⊆ ℝ^{n}, |*E*| is the*n*-dimensional Lebesgue measure of*E*. - –
**1**_{E}is the indicator function of a set*E*.

### 2.1 Assumptions

- –
*Ω*⊂ ℝ^{n}is an open and bounded set. - –
*F*:*Ω*× ℝ × ℝ^{n}→ ℝ, (*x*,*s*,*ξ*) ↦*F*(*x*,*s*,*ξ*) is a Carathéodory function, bounded below by 〈*α*(*x*),*ξ*〉 +*β*(*x*) for some*α*∈*L*^{1}(*Ω*; ℝ^{n}),*β*∈*L*^{1}(*Ω*). - –
*ϕ*is a Lipschitz function on .*Ω* - –
*p*≥ 1, and for*v*∈*ϕ*+ ($\begin{array}{c}{W}_{0}^{1,p}\end{array}$ *Ω*) we define*I*(*v*) :=$\begin{array}{c}\underset{\Omega}{\int}\end{array}$ *F*(*x*,*v*, ∇*v*)*dx*(the “energy”).

The following structure condition will be used, in alternative to the boundedness of the reference function *u*, in our main result.

### 2.2 Hypothesis (H)

- There are positive sequences (
*τ*)_{k}_{k}and (*σ*)_{k}_{k}such that:$\begin{array}{c}\underset{k\to +\infty}{lim}\end{array}$ *τ*= +∞,_{k}$\begin{array}{c}\underset{k\to +\infty}{lim}\end{array}$ *σ*= +∞;_{k}- For each
*k*∈ ℕ, there are selections (*q*(_{τk}*x*),*ζ*(_{τk}*x*)) of*∂*_{s,ξ}*F*(*x*,*τ*, 0) and (_{k}*q*(_{σk}*x*),*ζ*(_{σk}*x*)) of*∂*_{s,ξ}*F*(*x*, –*σ*, 0), and_{k}*C*≥ 0 satisfying$\begin{array}{c}\forall k\in N\phantom{\rule{0ex}{0ex}}{\zeta}_{{\tau}_{k}}\left(x\right),{\zeta}_{{\sigma}_{k}}\left(x\right)\in {W}^{1,1}\left(\Omega \right),\end{array}$ $\begin{array}{c}\text{div}{\zeta}_{{\tau}_{k}}\left(x\right)\le C,\phantom{\rule{0ex}{0ex}}\text{div}{\zeta}_{{\sigma}_{k}}\left(x\right)\ge -C.\end{array}$

- There is a measurable and bounded selection
*q*(*x*) of the subgradient*∂*(_{s}F*x*, 0, 0) of*F*at (*x*, 0, 0) and, for all*k*∈ ℕ,$\begin{array}{c}{q}_{{\sigma}_{k}}\left(x\right)\le q\left(x\right)\le {q}_{{\tau}_{k}}\left(x\right)\phantom{\rule{0ex}{0ex}}\text{a.e.\hspace{0.17em}}x\in \Omega .\end{array}$

- Condition (2.2) is satisfied if
*s*↦*F*(*x*,*s*,*ξ*) is convex. Indeed the monotonicity of the subdifferential implies that, for a.e.*x*∈*Ω*,$\begin{array}{c}\left({q}_{{\tau}_{k}}\right(x)-q(x\left)\right)({\tau}_{k}-0)\ge 0,\phantom{\rule{0ex}{0ex}}\left({q}_{{\sigma}_{k}}\right(x)-q(x\left)\right)(-{\sigma}_{k}-0)\ge 0.\end{array}$ - When
*F*is of class*C*^{2}( ) and (*Ω**s*,*ξ*) ↦*F*(*x*,*s*,*ξ*) is convex for a.e.*x*, Hypothesis (H) reduces to Condition 1, namely that there are increasing, divergent sequences (*τ*)_{k}_{k}and (*σ*)_{k}_{k}such thatfor a suitable$\begin{array}{c}\forall k\in N\phantom{\rule{0ex}{0ex}}\text{div}{\nabla}_{\xi}F(x,{\tau}_{k},0)\le C,\phantom{\rule{0ex}{0ex}}\text{div}{\nabla}_{\xi}F(x,-{\sigma}_{k},0)\ge -C\end{array}$ *C*≥ 0.

Here are some Lagrangians that satisfy Hypothesis (H).

(Validity of Hypothesis (H)). Assume that the map (*s*, *ξ*) ↦ *F*(*x*, *s*, *ξ*) is convex for a.e. *x* and that

- Either
*F*(*x*,*s*,*ξ*) =*F*(*s*,*ξ*), i.e.,*F*is*autonomous*, or *F*(*x*,*s*,*ξ*) =*f*(*x*,*s*) +*h*(*x*,*ξ*) for some Carathéodory functions*f*:*Ω*× ℝ → ℝ and*h*:*Ω*× ℝ^{n}→ ℝ with*x*↦*∂*(_{x}f*x*, 0) bounded and*x*↦*h*(*x*, 0) of class*C*^{2}( ).*Ω*

Then *F* fulfills Hypothesis (H).

Let (*τ _{k}*)

_{k}, (

*σ*)

_{k}_{k}be arbitrary positive divergent sequences.

- Since
*ζ*,_{τk}*ζ*do not depend on_{σk}*x*it turns out that their divergence is zero. Similarly, Point 2 of Hypothesis (H) is fulfilled since any*q*∈*∂*(0, 0) does not depend on_{s}F*x*and*F*is convex. - Assume now that
*F*(*x*,*s*,*ξ*) =*f*(*x*,*s*) +*h*(*x*,*ξ*). Then, for each*k*,and div ∇$\begin{array}{c}{\nabla}_{\xi}F(x,{\tau}_{k},0)={\nabla}_{\xi}F(x,-{\sigma}_{k},0)={\nabla}_{\xi}h(x,0)\end{array}$ _{ξ}*h*(*x*, 0) is continuous, thus bounded on . Moreover, any element of*Ω**∂*(_{s}F*x*, 0, 0) is an element of*∂*(_{x}f*x*, 0) and is thus bounded. Condition (2.2) follows from the convexity of*s*↦*F*(*x*,*s*,*ξ*), proving the validity of Hypothesis (H).□

## 3 Approximation lemmas

In this section, we establish two preliminary results that will be used in the proof of Theorem 4.2.

As a first step, we give a sufficient condition under which there is no Lavrentiev gap between *Ω*) and *Ω*) ∩ *L*^{∞}(*Ω*). We have defined the space *Ω*) as the set of those functions *u* ∈ *W*^{1,p}(*Ω*) such that the extension of *u* by *ϕ* on ℝ^{n} ∖ *Ω* belongs to ^{n}). We still denote by *u* this extension. In particular, (*u* – *ϕ*) belongs to *W*^{1,p}(ℝ^{n}) and has compact support.

Let *F* : *Ω* × ℝ × ℝ^{n} → ℝ satisfy Hypothesis (H). Then for every *u* in *Ω*) such that *F*(*x*, *u*, ∇*u*) ∈ *L*^{1}(*Ω*), there exists a sequence (*u _{k}*)

_{k}in

*Ω*) ∩

*L*

^{∞}(

*Ω*) such that (

*u*)

_{k}_{k}converges to

*u*in

*Ω*) and

Let (*τ _{k}*)

_{k}and (

*σ*)

_{k}_{k}satisfy the conditions formulated in Hypothesis (H). For

*k*large enough such that both

*τ*> |

_{k}*ϕ*|

_{L∞(Ω)}and

*σ*> |

_{k}*ϕ*|

_{L∞(Ω)}, we define

*u*

_{k}by

It is clear that *u _{k}* ∈

*Ω*) ∩

*L*

^{∞}(

*Ω*) and that

*u*

_{k}converges to

*u*in

*Ω*). Moreover,

Let *q*(*x*) and (*q _{τk}*(

*x*),

*ζ*(

_{τk}*x*)) be as in Hypothesis (H). We have

Moreover, from Point 2 of Hypothesis (H) we get

Since (*u* – *τ _{k}*)

^{+}∈

*Ω*), integration on {

*u*≥

*τ*} then gives

_{k}Therefore, Hypothesis (H) yields

Analogously we get

It follows from (3.2), (3.3) and (3.4) that

Since *u* ∈ *L*^{1}(*Ω*), Lebesgue’s Theorem implies that

By Fatou lemma,

and (3.1) follows.□

We now prove that there is no Lavrentiev gap at *u* ∈ *Ω*) if *u* is Lipschitz continuous on a neighborhood of *∂Ω*.

Assume that *F* : *Ω* × ℝ × ℝ^{n} → ℝ is *convex* with respect to its three variables. Let *u* in *Ω*) be such that *F*(*x*, *u*, ∇*u*) ∈ *L*^{1}(*Ω*). Assume, moreover, that either *u* is bounded or that *F* fulfils Hypothesis (H). If *u* is Lipschitz continuous on a neighborhood of *∂Ω*, then there exists a sequence (*u _{k}*)

_{k}in Lip

_{ϕ}(

*Ω*) such that (

*u*)

_{k}_{k}converges to

*u*in

*Ω*) and

Moreover, if *u* is bounded in *L*^{∞}(*Ω*), then the sequence (*u _{k}*)

_{k}may be taken to be bounded in

*L*

^{∞}(

*Ω*).

From Lemma 3.1 it is not restrictive to assume that *u* is bounded. We may consider *u* as extended by *ϕ* out of *Ω*. By assumption, there exists an open set *V* ⊂ ℝ^{n} such that *∂Ω* ⊂ *V* and *u* is Lipschitz continuous on *V* ∩ *Ω*. In particular *u* and ∇*u* are in *L*^{∞}(*V* ∩ *Ω*).

Let *ρ* ∈ *B*_{1}, ℝ^{+}) *be**even*, *ρ dx* = 1 and for *k* = 1, 2, ..., (*ρ _{k}*)

_{k}be the sequence of mollifiers defined by

*ρ*(

_{k}*x*) :=

*k*(

^{n}ρ*kx*). Let also

*θ*∈

*Ω*, [0, 1]) be such that

*θ*= 1 on a neighborhood of

*Ω*∖

*V*. We then define

Notice first that *u _{k}* ∈ Lip

_{ϕ}(

*Ω*). Indeed, if

*θ*= 1 then

*u*=

_{k}*u**

*ρ*, otherwise {0 ≤

_{k}*θ*< 1} ⊂

*V*∩

*Ω*where ∇

*u*is bounded. Clearly, (

*u*)

_{k}_{k}converges to

*u*in

*Ω*). This implies

It remains to show that

For this purpose, we decompose *I*(*u _{k}*) =

*F*(

*x*,

*u*, ∇

_{k}*u*)

_{k}*dx*as the sum

On the set {0 ≤ *θ* < 1} ⊂ *V* ∩ *Ω*, ∇*u* ∈ *L*^{∞}(*V* ∩ *Ω*) and

Let *k*

Then, for *k* ≥ *k**x* ∈ {0 ≤ *θ* < 1} we have

which in turn means that under the above assumptions both *u*_{k} and ∇*u*_{k} are bounded by a constant that does not depend on *k*. Since (*u _{k}*)

_{k}converges to

*u*in

*W*

^{1,p}(

*Ω*) we may assume, by taking a subsequence, that (

*u*, ∇

_{k}*u*)

_{k}_{k}converges a.e. to (

*u*, ∇

*u*). Now, since

*F*is bounded on bounded sets, by Lebesgue’s Theorem we have

On the set {*θ* = 1} we have

It remains to show that

afterwards, in view of (3.7) and (3.8), we get (3.6). Notice that, since *ρ* is even,

By Jensen’s inequality,

Whence

Since *F*(*x*, *u*, ∇*u*) ∈ *L*^{1}(*Ω*), we get (3.9).□

## 4 Main result

We consider here domains *Ω* that are *locally strongly star*-*shaped* in the sense of [12, Definition 2.9]. These include Lipschitz ones and allow even some cusps at some boundary points.

An open and bounded set *Ω* is called *locally strongly star*-*shaped* if for every *p* ∈ *∂Ω*, there exists an open set *H* ⊂ ℝ^{n} such that *p* ∈ *H* and *H* ∩ *Ω* is strongly star-shaped, i.e., there is *z _{H}* ∈

*H*∩

*Ω*such that

*z*+

_{H}*λ*(

*Ω*–

*z*) is relatively compact in

_{H}*Ω*for every

*λ*∈ [0, 1[.

(Non-occurrence of the Lavrentiev gap). Assume that *Ω* is *locally strongly star*-*shaped* and that *F* : *Ω* × ℝ × ℝ^{n} → ℝ is *convex*. Let *u* ∈ *Ω*) be such that *F*(*x*, *u*, ∇*u*) ∈ *L*^{1}(*Ω*). Assume, moreover, that either *u* is *bounded* or that *F* satisfies the structure Hypothesis (H). Then the Lavrentiev gap for *I* does not occur at *u*, i.e. there exists a sequence (*u _{k}*)

_{k}in Lip

_{ϕ}(

*Ω*) converging to

*u*in

*W*

^{1,p}(

*Ω*) and such that

Moreover, if *u* is bounded in *L*^{∞}(*Ω*), the sequence (*u _{k}*)

_{k}may be taken to be bounded in

*L*

^{∞}(

*Ω*).

In view of Lemma 3.2 it is enough to provide a sequence (*u _{k}*)

_{k}in

*Ω*) satisfying the conditions of the claim with the exception that it is just Lipschitz continuous in a neighborhood of

*∂Ω*(instead of Lipschitz on

*Ω*). We may consider

*u*to be extended by

*ϕ*out of

*Ω*. Also, in view of Lemma 3.1, it is not restrictive to assume that

*u*is bounded.

Without loss of generality, we can assume that *F* ≥ 0. Indeed, since *F* is convex with respect to its variables, if *x*_{0} ∈ *Ω* and (*a**q**ζ**∂F*(*x*_{0}, 0, 0) then

Moreover additive affine terms do not perturb our convergence results: if a sequence (*u _{k}*)

_{k}converges to

*u*in

*W*

^{1,p}(

*Ω*) then (

*I*(

*u*))

_{k}_{k}converges to

*I*(

*u*) if and only if

*G*(

*x*,

*u*, ∇

_{k}*u*)

_{k}*dx*converges to

*G*(

*x*,

*u*, ∇

*u*)

*dx*.

Consider first the case where *Ω* is strongly star-shaped with respect to the origin, i.e., for every *h* ∈ [0, 1[, *hΩ* is relatively compact in *Ω*. Given *λ*, *h* ∈ ]1/2, 1[, set

Notice that *u* in *W*^{1,1} as *λ*, *h* → 1 and that *ϕ* on ℝ^{n} ∖ *hΩ*. We then write

as a convex combination in *λ*, namely

where

The convexity of *F* yields

Since *F* ≥ 0, we get

Fix *λ* ∈ ]1/2, 1[; we then study the second term of the right hand side of (4.3). Since *h* ≥ 1/2, we have

and

Moreover

and

The function *F* being bounded on bounded sets, by means of the dominated convergence theorem we get

so that

The right-hand side term of the latter inequality tends to *I*(*u*) as *λ* tends to 1. Hence, for every *i* ∈ ℕ, *i* ≥ 1, there are sequences *λ _{i}* and

*k*∈ ℕ with

_{i}*k*≥

_{i}*i*such that

*u*in

*W*

^{1,p}(

*Ω*) as

*i*→ +∞,

*∂Ω*, and

In particular we get

Also, Fatou’s lemma gives

and thus *I*(*I*(*u*), proving the claim.

The case of a general locally strongly star-shaped domain follows with the obvious changes as in the proof of [12, Theorem 4.1].□

Assume that *F*(*x*, *u*, ∇*u*) = *f*(*x*, *u*) + *h*(∇*u*) with *f* convex and superlinear. In Theorem 4.2 the (alternative) assumption that *u* is bounded is satisfied if, for instance, for every constant boundary datum *k* ∈ ℤ, the minimizers of *I* among the functions that are equal to *k* in the boundary of *Ω* are bounded. Indeed, the fact that *ϕ* is bounded and the comparison principles of [16, 17] show that *u* is bounded too.

This research is partially supported by the Padua University grant SID 2018 “Controllability, stabilizability and infimum gaps for control systems”, prot. BIRD 187147.

## References

- [1]↑
Mikhail Alekseevich Lavrentiev, Sur quelques problèmes du calcul des variations, Ann. Mat. Pura Appl. 4 (1927), 9–28.

- [3]↑
John MacLeod Ball and Victor J. Mizel, One-dimensional variational problems whose minimizers do not satisfy the Euler-Lagrange equation, Arch. Rational Mech. Anal. 90 (1985), no. 4, 325–388.

- [4]↑
Paolo Baroni, Maria Colombo, and Giuseppe Mingione, Regularity for general functionals with double phase, Calc. Var. Partial Differential Equations 57 (2018), no. 2, art. 62.

- [5]↑
Giovanni Alberti and Francesco Serra Cassano, Non-occurrence of gap for one-dimensional autonomous functionals, Calculus of variations, homogenization and continuum mechanics (Marseille, 1993), vol. 18 of Ser. Adv. Math. Appl. Sci., pp. 1–17, World Sci. Publ., River Edge, NJ, 1994.

- [6]↑
Giovanni Bonfanti and Arrigo Cellina, On the non-occurrence of the Lavrentiev phenomenon, Adv. Calc. Var. 6 (2013), no. 1, 93–121.

- [7]↑
Jan Malý and William P. Ziemer, Fine regularity of solutions of elliptic partial differential equations, vol. 51 of Mathematical Surveys and Monographs, American Mathematical Society, Providence, RI, 1997.

- [8]↑
Pierre Bousquet, Carlo Mariconda, and Giulia Treu, Non-occurrence of the Lavrentiev gap for a class of nonconvex Lagrangians, in preparation (2020).

- [9]↑
Giuseppe Buttazzo and Marino Belloni, A survey on old and recent results about the gap phenomenon in the calculus of variations, Recent developments in well-posed variational problems, vol. 331 of Math. Appl., pp. 1–27, Kluwer Acad. Publ., Dordrecht, 1995.

- [10]↑
Ivar Ekeland and Roger Témam, Convex analysis and variational problems, vol. 28 of Classics in Applied Mathematics, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, english edition, 1999.

- [11]↑
Giovanni Bonfanti and Arrigo Cellina, The nonoccurrence of the Lavrentiev phenomenon for a class of variational functionals, SIAM J. Control Optim. 51 (2013), no. 2, 1639–1650.

- [12]↑
Pierre Bousquet, Carlo Mariconda, and Giulia Treu, On the Lavrentiev phenomenon for multiple integral scalar variational problems, J. Funct. Anal. 266 (2014), 5921–5954.

- [13]↑
Carlo Mariconda and Giulia Treu, Non-occurrence of a gap between bounded and Sobolev functions for a class of nonconvex Lagrangians, J. Convex Analysis 27 (2020), no. 4, to appear.

- [14]↑
Pierre Bousquet, Carlo Mariconda, and Giulia Treu, A survey on the non occurence of the Lavrentiev gap for convex, autonomous multiple integral scalar variational problems, Set-Valued Var. Anal. 23 (2015), no. 1, 55–68.

- [15]↑
Andrea Pinamonti, Francesco Serra Cassano, Giulia Treu, and Davide Vittone, BV minimizers of the area functional in the Heisenberg group under the bounded slope condition, Ann. Sc. Norm. Super. Pisa Cl. Sci. 14 (2015), no. 3, 907–935.

- [16]↑
Carlo Mariconda and Giulia Treu, A comparison principle and the Lipschitz continuity for minimizers, J. Convex Anal. 12 (2005), no. 1, 197–212.

- [17]↑
Carlo Mariconda and Giulia Treu, A Haar-Rado type theorem for minimizers in Sobolev spaces, ESAIM Control Optim. Calc. Var. 17 (2011), 1133–1143.