- Research
- Open Access

# Weak lower semicontinuity of variational functionals with variable growth

- Fu Yongqiang
^{1}Email author

**2011**:19

https://doi.org/10.1186/1029-242X-2011-19

© Yongqiang; licensee Springer. 2011

**Received:**7 March 2011**Accepted:**19 July 2011**Published:**19 July 2011

## Abstract

In this paper, we establish the weak lower semicontinuity of variational functionals with variable growth in variable exponent Sobolev spaces. The weak lower semicontinuity is interesting by itself and can be applied to obtain the existence of an equilibrium solution in nonlinear elasticity.

**2000 Mathematics Subject Classification**: 49A45

## Keywords

- lower semicontinuity
- variational functional
- variable growth

## 1 Introduction

where Ω is a bounded *C*^{1} domain in *R*^{
n
} and *f* : *R*^{
n
} × *R*^{
m
} × *R*^{
nm
} → *R* is a Caratheodory function satisfying variable growth conditions.

*m*=

*n*= 1, Tonelli [1] proved that the functional

*F*is lower semicontinuity in

*W*

^{1,∞}(

*a*,

*b*) if and only if the function

*f*is convex in the last variable. Later, several authors generalized this result, in which

*x*is allowed to belong to

*R*

^{ n }with

*n >*1, see for example Serrin [2] and Marcellini and Sbordone [3]. On the other hand, if we allow the function

*u*to be vector-valued, i.e.,

*m >*1, then the convexity hypothesis turns to be sufficient but unnecessary. A suitable condition, termed quasiconvex, was introduced by Morrey [4]. Morrey showed that under strong regularity assumptions on

*f*,

*F*is weakly lower semicontinuous in

*W*

^{1,∞}(Ω,

*R*

^{ m }) if and only if

*f*is quasiconvex in the last variable. Afterward, for

*f*satisfying so-called natural growth condition

where *p* ≥ 1, *C* ≥ 0 and *a*(*x*) ≥ 0 are locally integrable, Acerbi and Fusco [5] proved that *F* is weakly lower semicontinuous in *W*^{1,p}(Ω, *R*^{
m
} ) if and only if *f* is quasiconvex in the last variable. Later, Kalamajska [6] gave a shorter proof of the result in [5].

Since Kovacik and Rakosnik [7] first discussed variable exponent Lebesgue spaces and variable exponent Sobolev spaces, the field of variable exponent function spaces has witnessed an explosive growth in recent years and now there have been a large number of papers concerning these kinds of variable exponent spaces, see the monograph by Diening et al. [8] and the references therein. So we want to extend the result of Acerbi and Fusco to the case that *f* satisfies variable growth conditions.

This paper is organized as the following: In Section 2, we present some preliminary facts; in Section 3, we discuss the weak lower semicontinuity of variational functionals with variable growth; in Section 4, we give an example to show that the result obtained in Section 3 can be applied to study the existence of an equilibrium solution in nonlinear elasticity.

## 2 Preliminary

In this section, we first recall some facts on variable exponent spaces *L*^{p(x)}(Ω) and *W*^{k,p(x)}(Ω). For the details, see [7, 9–13].

where Ω_{∞} = {*x* ∈ Ω: *p*(*x*) = ∞}. The variable exponent Lebesgue space *L*^{p(x)}(Ω) is the class of all functions *f* such that *ρ*_{
p
} (*λf*) *<* ∞ for some *λ* = *λ*(*f*) *>* 0. *L*^{p(x)}(Ω) is a Banach space endowed with the norm (2.2). *ρ*_{
p
} (*f*) is called the modular of *f* in *L*^{p(x)}(Ω).

*holds for every f* ∈ *L*^{p(x)}(Ω) *and g* ∈ *L*^{p'(x)}(Ω) *with the constant r*_{
p
} *depending on p*(*x*) *and* Ω *only*.

**Theorem 2.2**. *The topology of the Banach space L*^{p(x)}(Ω) *endowed by the norm* (2.2) *coincides with the topology of modular convergence if and only if p* ∈ *L*^{∞}(Ω).

**Theorem 2.3**.

*The dual space to L*

^{p(x)}(Ω)

*is L*

^{p'(x)}(Ω)

*if and only if p*∈

*L*

^{∞}(Ω)

*. The space L*

^{p(x)}(Ω)

*is reflexive if and only if*

Next, we assume that Ω ⊂ *R*^{
n
} is a nonempty open set, *p* ∈ **P**(Ω), and *k* is a given natural number.

Given a multi-index *α* = (*α*_{1}, ..., *α*_{
n
} ) ∈ *N*^{
n
} , we set |*α*| = *α*_{1} + · · · +*α*_{
n
} and
, where
is the generalized derivative operator.

*W*

^{k,p(x)}(Ω) is the class of all functions

*f*on Ω such that

*D*

^{ α }

*f*∈

*L*

^{p(x)}(Ω) for every multi-index

*α*with |

*α*| ≤

*k*endowed with the norm

By
, we denote the subspace of *W*^{k,p(x)}(Ω) which is the closure of
with respect to the norm (2.4).

**Theorem 2.4**.*The space W*^{k,p(x)}(Ω) *and*
*are Banach spaces, which are reflexive if p satisfies* (2.3).

We denote the dual space of
by *W*^{-k, p'(x)}(Ω), then we have

**Theorem 2.5**.

*Let p*∈

**P**(Ω) ∩

*L*

^{∞}(Ω)

*. Then for every G*∈

*W*

^{-k, p'(x)}(Ω)

*, there exists a unique system of functions*{

*g*

_{ α }∈

*L*

^{p'(x)}(Ω): |

*α*| ≤

*k*}

*such that*

**Theorem 2.6**. *If* Ω *is a bounded domain with cone property,*
*satisfies* (1.2)*, and q*(*x*) *is any Lebesgue measurable function defined on* Ω *with p*(*x*) ≤ *q*(*x*) *a. e. on*
*and*
*, then there is a compact embedding W*^{1,p(x)}(Ω) → *L*^{q(x)}(Ω).

**Theorem 2.7**. *Let* Ω *be a domain with cone property. If*
*is Lipschitz continuous and satisfies*(1.2)*, and q*(*x*) ∈ **P**(Ω) *satisfies p*(*x*) ≤ *q*(*x*) ≤ *p**(*x*) *a. e. on*
*, then there is a continuous embedding W*^{1,p(x)}(Ω) → *L*^{q(x)}(Ω).

*where C is a constant depending on* Ω.

**Theorem 2.9**. *Suppose that p satisfies* 1 ≤ *p*_{1} ≤ *p*(*x*) ≤ *p*_{2}*<* +∞*. We have*

*(1) If* ||*u*|| _{
p
} > 1*, then*
.

*(2) If* ||*u*|| _{
p
} < 1*, then*
.

## 3 Semicontinuity of variational functionals

**Definition 3.1**.

*A continuous function f*:

*R*

^{ nm }→

*R is said to be quasiconvex if for*

*, any open set*Ω ⊂

*R*

^{ n }

*and*

This section will establish the following result:

**Theorem 3.1**. *Let* Ω *be a bounded C*^{1}*domain in R*^{
n
}*. f* : *R*^{
n
} × *R*^{
m
} × *R*^{
nm
} → *R satisfies*.

*(1) f is a Caratheodory function, i.e., measurable with respect to x and continuous with respect to* (*ζ*, *ξ*)*;*

*(2)* 0 ≤ *f*(*x*, *ζ*, *ξ*) ≤ *a*(*x*) + *C*(|*ζ*|^{p(x)}+ |*ξ*|^{p(x)}) *where C* ≥ 0*, a*(*x*) ≥ 0 *is locally integrable, p*(*x*) *is Lipchitz continuous and satisfies* 1 ≤ *p*_{1} ≤ *p*(*x*) ≤ *p*_{2}*<* +∞.

*Then*
*is weakly lower semicontinuous in W*^{1,p(x)}(Ω) *if and only if f*(*x*, *ζ*, *ξ*) *is quasiconvex with respect to ξ*.

Theorem 3.1 is a generalization of the corresponding result in [5].

**Definition 3.3**

*Let*Φ

*be a bijective transformation from a domain*Ω ⊂

*R*

^{ n }

*onto a domain G*⊂

*R*

^{ n }, Ψ = Φ

^{-1}

*is the inverse transformation of*Φ

*. Denote y*= Φ(

*x*)

*and*

*If*
*and*
*, we call* Φ *a k*-*smooth transformation*.

For a measurable function *u* on Ω, we define a measurable function on *G* by *Au*(*y*) = *u*(Ψ(*y*)).

**Lemma 3.1**. *If* Φ: Ω → *G is k*-*smooth transformation, k* ≥ 1*, then A is a bounded transformation from W*^{k,p(x)}(Ω) *onto W*^{k,p(Ψ(y))}(*G*) *and the inverse transformation of A is bounded as well*.

*u*∈

*W*

^{k,p(x)}(Ω) where

*C*is a constant dependent on Φ only, because similarly by dealing with

*A*

^{-1}, we can also obtain

*C*

^{∞}(Ω) is dense in

*W*

^{k,p(x)}(Ω) (see [10]), for each

*u*∈

*W*

^{k,p(x)}(Ω), there exists a sequence {

*u*

_{ n }} ⊂

*C*

^{∞}(Ω) such that

*u*

_{ k }→

*u*in

*W*

^{k,p(x)}(Ω). For

*u*

_{ n }, we have

*M*

_{ αβ }is a polynomial of the derivatives of Ψ with degrees not bigger than |

*α*| and the orders of derivatives of the component of

*ψ*are not bigger than |

*β*|. For , in the same way as [14] by (3.1) and letting

*n*→ ∞, we obtain

is satisfied in the weak sense.

□

**Definition 3.4**. *Let* Ω *be a domain in R*^{
n
}*. If E is a linear operator from W*^{k,p(x)}(Ω) *onto W*^{k,p(x)}(*R*^{
n
} ) *satisfying: for each u* ∈ *W*^{k,p(x)}(*R*^{
n
} )

*1) Eu*(*x*) = *u*(*x*) *a. e. on* Ω,

*2)*
*where C* = *C*(*k*, *p*) *is a constant*,

*then we call E a simple* (*k*, *p*(*x*)) *extension operator of* Ω.

**Lemma 3.2**. *Let* Ω *be a bounded C*^{
k
} *domain. Then there exists a simple* (*k*, *p*(*x*)) *extension operator of* Ω.

where .

Next, let Ω be a *C*^{
k
} domain with bounded boundary. In the same way as [14], we can show that there exists a simple (*k*, *p*(*x*)) extension operator of Ω. □

**Theorem 3.2**. *Let* Ω *be a bounded C*^{1}*domain in R*^{
n
}*.If f* : *R*^{
n
} × *R*^{
m
} × *R*^{
nm
} → *R satisfies*:

*(1) f is a Caratheodory function;*

*(2) f is quasiconvex with respect to ξ;*

*(3)* 0 ≤ *f*(*x*, *ζ*, *ξ*) ≤ *a*(*x*) + *C*(|*ζ*|^{p(x)}+ |*ξ*|^{p(x)}) *for x* ∈ *R*^{
n
} , *ζ* ∈ *R*^{
n
} , *ξ* ∈ *R*^{
m
} ,

*where C is a nonnegative constant, a*(*x*) *is nonnegative and locally integrable, and p*(*x*) *is Lipchitz continuous and satisfies* 1 ≤ *p*_{1} ≤ *p*(*x*) ≤ *p*_{2}*<* +∞*, then for each open subset* Ω ⊂ *R*^{
n
}*,*
*is weakly lower semicontinuous on W*^{1,p(x)}(Ω, *R*^{
m
} ).

**Proof**. We can consider Ω as a ball. Take

*u*∈

*W*

^{1,p(x)}(Ω,

*R*

^{ m }) and {

*z*

_{ k }} ⊂

*W*

^{1,p(x)}(Ω,

*R*

^{ m }) satisfying

*z*

_{ k }⇀ 0 weakly in

*W*

^{1,p(x)}(Ω,

*R*

^{ m }). Extracting a subsequence if necessary, we can suppose that

*z*

_{ k }is defined on

*R*

^{ n }, and is uniformly bounded with respect to

*k*. As is dense in

*W*

^{1,p(x)}(

*R*

^{ n },

*R*

^{ m }) (see [15]) and

*F*(

*u*, Ω) is continuous with respect to the norm of

*W*

^{1,p(x)}(Ω,

*R*

^{ m }), we can find such that

Therefore, we can further suppose that {*z*_{
k
} } is in
and bounded in *W*^{1,p(x)}(*R*^{
n
} , *R*^{
m
} ).

*η*:

*R*

^{+}→

*R*

^{+}such that

*η*(0) = 0 and for each measurable

*B*⊂ Ω.

*ε*> 0, in the same way as [5] there exist a subsequence (still denote it by {

*z*

_{ k }}), and a subset

*A*

_{ ε }⊂ Ω with meas

*A*

_{ ε }

*< ε*and

*δ >*0 such that

*k*and

*B*⊂ Ω \

*A*

_{ ε }with meas

*B < δ*and there exists sufficiently large

*λ >*0 such that for all

*i*,

*k*,

*C*(

*n*)

*λ*. As

By the arbitrariness of *ε*, we conclude the theorem. □

Since semicontinuity in *W*^{1,p(x)}(Ω) implies semicontinuity in *W*^{1,∞}(Ω), from Theorem 3.2 above and Theorem [II.2] in [5], it is immediate to get Theorem 3.1.

Next, we state a Corollary of Theorem 3.1.

**Corollary 3.1**. *Let* Ω *be a bounded C*^{1}*domain in R*^{
n
}*. If f* : *R*^{
n
} ×*R*× *R*^{
n
} → *R satisfies*

*(1) f is measurable with respect to x and continuous with respect to* (*ζ*, *ξ*);

*(2)* 0 ≤ *f*(*x*, *ζ*, *ξ*) ≤ *a*(*x*) + *C*(|*ζ*|^{p(x)}+ |*ξ*|^{p(x)}) *where a*(*x*) *is nonnegative and locally integrable, and p*(*x*) *is Lipchitz continuous and satisfies* 1 ≤ *p*_{1} ≤ *p*(*x*) ≤ *p*_{2}*<* +∞.

*Then*
*is weakly lower semicontinuous in W*^{1,p(x)}(Ω) *if and only if f*(*x*, *ζ*, *ξ*) *is convex with respect to ξ*.

It is immediate in view of the fact that in the case *m* = 1, quasiconvexity is equivalent to convexity.

## 4 Application

where *f* satisfies variable growth conditions.

**Example**. *Let* Ω *be a bounded C*^{1}*domain in R*^{
n
}*. f* : *R*^{
n
} × *R*^{
m
} × *R*^{
nm
} → *R satisfies*:

*(1) f is a Caratheodory function*,

*(2) b*(*x*) + *c*(|*ζ*|^{p(x)}+ |*ξ*|^{p(x)}) ≤ *f*(*x*, *ζ*, *ξ*) ≤ *a*(*x*) + *C*(|*ζ*|^{p(x)}+ |*ξ*|^{p(x)}) *where c*, *C* ≥ 0*, a*(*x*), *b*(*x*) ≥ 0 *are locally integrable, p*(*x*) *is Lipchitz continuous and satisfies* 1 *< p*_{1} ≤ *p*(*x*) ≤ *p*_{2}*<* +∞;

*(3) f*(*x*, *ζ*, *ξ*) *is quasiconvex with respect to ξ*.

*has a solution*.

*F*(

*u*) is coercive, {

*u*

_{ n }} is bounded in , and further {

*u*

_{ n }} has a subsequence (still denoted by {

*u*

_{ n }}) weakly convergent to . Then, by the weak lower semicontinuity of

*F*(

*u*), we have

i.e., . □

## Declarations

## Authors’ Affiliations

## References

- Tonelli L:
**La semicontinuita nel calcolo delle variazioni.***Rend Circ Matem Palermo*1920,**44:**167–249. 10.1007/BF03014600View ArticleGoogle Scholar - Serrin J:
**On the definition and properties of certain variational integrals.***Trans Am Math Soc*1961,**101:**139–167. 10.1090/S0002-9947-1961-0138018-9MathSciNetView ArticleGoogle Scholar - Marcellini P, Sbordone C:
**Semicontinuity problems in the calculus of variations.***Nonlinear Anal*1980,**4:**241–257. 10.1016/0362-546X(80)90052-8MathSciNetView ArticleGoogle Scholar - Morrey CB:
**Quasiconvexity and the semicontinuity of multiple integrals.***Pacific J Math*1952,**2:**25–53.MathSciNetView ArticleGoogle Scholar - Acerbi E, Fusco N:
**Semicontinuity problems in the calculus of variations.***Arch Ration Mech Anal*1984,**86:**125–145. 10.1007/BF00275731MathSciNetView ArticleGoogle Scholar - Kalamajska A:
**On lower semicontinuity of multiple integrals.***Colloq Math*1997,**74**(1):71–78.MathSciNetGoogle Scholar - Kovacik O, Rakosnik J:
**On spaces**L^{p(x)}**and**W^{k,p(x)}**.***Czechoslovak Math J*1991,**41:**592–618.MathSciNetGoogle Scholar - Diening L, Harjulehto P, Hasto P, Ruzicka M:
*Lebesgue and Sobolev Spaces with Variable Exponents*. Springer; 2011.View ArticleGoogle Scholar - Edmunds D, Lang J, Nekvinda A:
**On**L^{p(x)}**norms.***Proc R Soc A*1999,**1981:**219–225.MathSciNetView ArticleGoogle Scholar - Edmunds D, Rakosnik J:
**Sobolev embedding with variable exponent.***Stud Math*2000,**143:**267–293.MathSciNetGoogle Scholar - Edmunds D, Rakosnik J:
**Sobolev embedding with variable exponent II.***Math Nachr*2002,**246–247:**53–67. 10.1002/1522-2616(200212)246:1<53::AID-MANA53>3.0.CO;2-TMathSciNetView ArticleGoogle Scholar - Fan X, Shen J, Zhao D:
**Sobolev embedding theorems for spaces**W^{k,p(x)}**(Ω).***J Math Anal Appl*2001,**262:**749–760. 10.1006/jmaa.2001.7618MathSciNetView ArticleGoogle Scholar - Fu YQ:
**The principle of concentration compactness in**L^{p(x)}**spaces and its application.***Nonlinear Anal*2009,**71:**1876–1892. 10.1016/j.na.2009.01.023MathSciNetView ArticleGoogle Scholar - Adams R:
*Sobolev Space*. Acadimic Press, New York; 1975.Google Scholar - Samko S:
**The density of in generalized Sobolev spaces**W^{m,p(x)}**(**R^{ n }**).***Doklady Math*1999,**60:**382–385.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.