Next Article in Journal
Quantum Probes for the Characterization of Nonlinear Media
Previous Article in Journal
A New Variational Bayesian-Based Kalman Filter with Unknown Time-Varying Measurement Loss Probability and Non-Stationary Heavy-Tailed Measurement Noise
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Du Bois–Reymond Type Lemma and Its Application to Dirichlet Problem with the p(t)–Laplacian on a Bounded Time Scale

1
Institut de Recherche en Mathématique et Physique, Université Catholique de Louvain, Chemin du Cyclotron, 2, B-1348 Louvain-la-Neuve, Belgium
2
Institute of Mathematics, Lodz University of Technology, Al. Politechniki 10, 93-590 Łódź, Poland
*
Author to whom correspondence should be addressed.
Submission received: 3 October 2021 / Revised: 14 October 2021 / Accepted: 14 October 2021 / Published: 16 October 2021

Abstract

:
This paper is devoted to study the existence of solutions and their regularity in the p ( t ) –Laplacian Dirichlet problem on a bounded time scale. First, we prove a lemma of du Bois–Reymond type in time-scale settings. Then, using direct variational methods and the mountain pass methodology, we present several sufficient conditions for the existence of solutions to the Dirichlet problem.

1. Introduction

Variational methods and critical point theory have been very successful in obtaining existence and multiplicity results for nonlinear ordinary or partial differential equations, as well as for nonlinear difference equations submitted to various boundary conditions. See, for example, [1,2,3,4,5] and their references.
The aim of this paper is to use those methodologies for the study of the Dirichlet problem for a dynamic equation on a bounded time scale T involving the p ( t ) –Laplacian,
Δ p ( t ) u ( t ) : = Δ Δ t | Δ w u ( t ) | p ( t ) 2 Δ w u ( t ) = f t , u σ ( t ) , t T u ( a ) = u ( b ) = 0 .
In this equation, Δ w denotes a weak derivative operator defined in terms of the Δ –integral on a time scale (see Section 2 for precise definitions), p : T ( 1 , ) is a measurable and essentially bounded function with an essential lower bound larger than one, and f is a Δ –Carathéodory function.
A partial motivation is the paper of Xian-Ling Fan and Qi-Hu Zhang [6] dealing with a similar problem in the case of a partial differential equation. Such equations are known to describe mathematical models of various phenomena arising in the study of elastic mechanics [7] or image restoration [8]. Early variational approaches on Dirichlet problems with p–Laplacian are quoted in [9], extensions to p ( x ) –Laplacian are given in [6,10], and some generalizations (anisotropic problems) are described in the paper [4]. Since the research was conducted in discrete and continuous settings separately, it seems interesting to demonstrate that a sort of unification is also possible with the use of a time-scale notion considered with some type of measure that has not been vastly exploited but which appears indispensable. For boundary value problems on time scales, one can consult [11]. Since we take the definition of the Δ –measure from [11], it is necessary to provide additional proof regarding the absolutely continuity of functions defined over subsets containing the maximum of the bounded time scale T .
The underlying Lebesgue and Sobolev spaces with variable exponents, where the variational approach takes place, are defined in Section 2, where their required properties are proved. The first paper on the variable exponent Lebesgue and Sobolev spaces L p ( x ) ( Ω ) and W m , p ( x ) ( Ω ) , Ω R n is due to Kováčik and Rákosník [12] and was developed in [13]. Some earlier papers on the Lebesgue and Sobolev spaces on time scales are [11,14], and we refer to [15] for further basic information on the variable exponent Lebesgue and Sobolev spaces on time scales.
The variational treatment of problem (1) requires proving a so-called du Bois–Reymond Lemma in this new frame to make the link between the critical points of the action functional and the solutions of the boundary value problem. This is done in Section 3 (Lemma 3). It also requires a careful study of the differentiability and other properties of the action functional. This is the object of Section 4.
We are now ready to apply in Section 5 the direct method of the calculus of variations to prove the existence of a solution to problem (1) when F ( t , u ) : = 0 t f ( s , u ) Δ s is bounded above by an expression of the form c 1 | u | + c 2 | u | β β + c 3 , where the c i are positive constants, c 2 is sufficiently small and β ( 1 , ess inf T p ] (Theorem 2). This is the essence of Theorem 2.
When F ( t , u ) grows faster than ess sup T p at infinity, the action functional need not have a minimum, but the simplest of the minimax method, namely the mountain pass lemma, may be used to prove the existence of a nontrivial solution to problem (1) when f ( t , 0 ) = 0 and f ( t , u ) is sufficiently ‘flat’ in u near u = 0 . This is done in Theorem 4, where the growth of F for large u is governed by a suitable Ambrosetti–Rabinowitz condition and f ( t , u ) 0 when u 0 faster than | u | ess sup T p 1 .

2. Variable Exponent Lebesgue and Sobolev Spaces on Time Scales

In this section, we recall some basic facts concerning functions defined on time scales (see [11,14,16,17]) and discuss the variable exponent Lebesgue and Sobolev spaces on time scales (see [15]).
Let T be a bounded time scale. We define
a = inf { s T } , b = sup { s T } .
Since T is bounded, a , b T . Define the forward jump operator σ : T T by
σ ( t ) = inf { s T : s > t } for t T \ { b } b for t = b .
If σ ( t ) > t , then the point t T is said to be right-scattered. If σ ( t ) = t , then t T is called a right-dense point. The backward jump operator ϱ : T T is as follows:
ϱ ( t ) = sup { s T : s < t } for t T \ { a } a for t = a .
If ϱ ( t ) < t , then we say that the point t T is left-scattered. If ϱ ( t ) = t , the point t T is called left-dense.
Let R T = { t T : t < σ ( t ) } and u : T R . We define the step interpolation u ^ : [ a , b ] R as
u ^ ( t ) = u ( t ) for t T u ( s ) for t s , σ s , s R T .
The function u ^ extends u to [ a , b ] , and it enables us to establish equivalence between Lebesgue Δ –integrable and integrable functions. Function u : T R is Δ measurable ( Δ integrable) if u ^ : [ a , b ] R is measurable (integrable) on [ a , b ] in the Lebesgue sense. We say that u L 1 ( T ) if
T u ( t ) Δ t = [ a , b ] u ^ ( t ) d t < .
L 1 ( T ) is a Banach space with the norm
u L 1 ( T ) = T u ( t ) Δ t .
A subset A T is Δ measurable if its characteristic function χ A : T R is Δ –measurable. We define the notion of Δ measure μ Δ ( A ) of A T by
μ Δ ( A ) = T χ A ( t ) Δ t = [ a , b ] χ ^ A ( t ) d t ,
where χ ^ A : [ a , b ] R is the extension (see (5)) of the characteristic function χ A : T R . The subset A T is called Δ null set if μ Δ ( A ) = 0 .
For each t 0 T \ { b } , the single-point set { t 0 } is Δ measurable and μ Δ ( { t 0 } ) = σ ( t 0 ) t 0 . For every right-scattered point t 0 T , it holds that σ ( t 0 ) > t 0 . This implies that μ Δ ( { t 0 } ) > 0 for every t 0 R T . In particular, if T is a discrete time scale, then μ Δ ( { t } ) > 0 for all t T \ { b } . Moreover, we know that μ Δ ( { b } ) = { b } 1 Δ t = [ a , b ] 1 χ ^ { b } ( t ) d t = μ L ( { b } ) = 0 , where b is given in (2) (see [11]) and μ L denotes the classical Lebesgue measure. Hence, all subsets of the time scale T containing b are of a finite Δ measure, and this is the main difference from the approach given in [14].
Let u : T R . The continuity of u is defined in the usual manner. A function u is rd-continuous if it is continuous at every right-dense point and if the left-sided limit exists in every left-dense point. Denote by C rd ( T ) (respectively C ( T ) ) the set of rd–continuous (respectively continuous) functions u : T R . With the norm
u T = sup t T | u ( t ) | ,
these spaces are Banach spaces.
We denote u σ ( t ) = u ( σ ( t ) ) for t T , where σ is defined in (3). If u C ( T ) , then u σ C rd ( T ) . Moreover, one has
u σ T u T .
Let us denote T κ = T \ ( ϱ ( sup T ) , sup T ] , where ϱ : T T is defined in (4). In this way, we remove from the time scale T its left-scattered maximum, when necessary. Alternatively, it can be written as
T κ = T if b is not an isolated point , T \ { b } if b is an isolated point .
We recall that u : T R is Δ differentiable at t T κ if there exists a finite number f Δ ( t ) with the property that given any ε > 0 , there is a neighborhood U T of t such that
| u σ ( t ) u ( s ) u Δ ( t ) ( σ ( t ) s ) | ε | σ ( t ) s |
for all s U . If u is Δ –differentiable at every t T κ , then u is said to be Δ –differentiable. Moreover, if u is Δ –differentiable at t, then u is continuous at t, and so, if u is Δ –differentiable then u C ( T ) . Denote by C rd 1 ( T ) the set of functions u C ( T ) , which are Δ differentiable on T κ , and their Δ derivatives are rd–continuous on T κ with the norm
u T 1 = u T + u Δ T κ .
The space C rd 1 ( T ) is a Banach space.
We say that v : T κ R is Δ weak derivative of u if
T ( u · φ Δ ) ( s ) Δ s = T ( v · φ σ ) ( s ) Δ s
for every φ C 0 , rd 1 ( T ) , where C 0 , rd 1 ( T ) = { u C rd 1 ( T ) : u ( a ) = u ( b ) = 0 } . We denote v = Δ w u .
Given a function u : T R , we consider an auxiliary function which extends u to the real interval [ a , b ] , u ¯ : [ a , b ] R defined as
u ¯ ( t ) = u ( t ) for t T u ( s ) + u ( σ ( s ) ) u ( s ) μ ( s ) t s for t s , σ s , s R T .
Lemma 1.
The following statements are equivalent
(i) 
u maps every Δ null subset of T into a null set;
(ii) 
u ¯ maps every null subset of [ a , b ] into a null set.
Proof. 
From [17], we know that conditions (i) and (ii) are equivalent in the case when the point b defined in (2) does not contain Δ null subsets of time scale T . Therefore, since we adopted the approach to the Δ measure from [11], it is sufficient to show that μ L ( u ( { b } ) ) = μ L ( u ¯ ( { b } ) ) . Indeed, we obtain u ¯ ( b ) = u ( b ) . Consequently, u ( { b } ) is a null set if and only if u ¯ ( { b } ) is a null set. □
A partition of T is a finite ordered subset P = { x 0 , x 1 , , x n 1 , x n } T , where a = x 0 < x 1 < < x n 1 < x n = b , with a , b as in (2). For u : T R and a partition P = { x 0 , x 1 , , x n 1 , x n } T , we define
V ( P , u ) = k = 1 n u ( x k ) u ( x k 1 ) .
The total variation of u on T is given by V a b = sup { V ( P , u ) : P partition of T } , V a b [ 0 , ] . If V a b R , we say that u is a function of bounded variation on T .
A direct consequence of the definition of u ¯ is the following result.
Proposition 1.
Ref. [17]. Let u : T R and u ¯ : [ a , b ] R be the extension of u to [ a , b ] defined in (7). Then, u is of bounded variation on T if and only if u ¯ is of bounded variation on [ a , b ] .
A function u : T R is said to be absolutely continuous if for every ε > 0 there exists a δ > 0 such that if { [ a k , b k ] T } k = 1 n , with a k , b k T , is a finite pairwise disjoint family of subintervals of T satisfying k = 1 n b k a k < δ , then k = 1 n | u ( b k ) u ( a k ) | < ε . We denote by A C ( T ) the set of all absolutely continous functions over T .
The following results establish a criterion for absolute continuity on the time scale T .
Proposition 2.
Ref. [17]. A function u : T R is absolutely continuous on T if the following conditions hold true
(i) 
u is continuous and of bounded variation on T ;
(ii) 
u maps every Δ–null subset of T into a null set.
Proposition 3.
Ref. [17]. Function u : T R is absolutely continuous on T if and only if the extension function u ¯ defined in (7) is absolutely continuous on [ a , b ] .
Now, we can formulate the Fundamental Theorem of Calculus.
Proposition 4.
Ref. [17]. A function u : T R is absolutely continuous on T if and only if the following conditions are satisfied
(i) 
u is Δ–differentiable Δ–a.e. on T and u Δ L 1 ( T ) ;
(ii) 
The equality u ( t ) = u ( a ) + a t u Δ ( s ) Δ s holds for every t T .
We call f : T × R n R n a Δ –Carathéodory function if:
(i)
y f ( s , y ) is continuous for Δ a.a. s T ;
(ii)
s f ( s , y ) Δ measurable for all y R n .
We call f an L 1 –Carathéodory function if f is Δ –Carathéodory function and
(iii)
for each d > 0 there exists a nonnegative f d L 1 ( T ) such that y R n d implies f ( s , y ) f d ( s ) for Δ a.a. s T .
Consider a measurable function p : T ( 1 , ) and assume that it is bounded, i.e.,
1 < p : = ess inf t T p ( t ) ess sup t T p ( t ) = : p + < ,
and we write p L + ( T ) .
By M ( T ) , we denote the set of all equivalence classes of real Δ –measurable functions defined on T being equal Δ –a.e. on T . The variable exponent Lebesgue space L p ( t ) ( T ) consists of all measurable functions u M ( T ) for which the ρ p ( · ) –modular
ρ p ( · ) ( u ) = T | u ( t ) | p ( t ) Δ t
is finite, i.e.,
L p ( t ) ( T ) = u M ( T ) : T | u ( t ) | p ( t ) Δ t < .
The Luxemburg-type norm on this space is defined as
u L p ( t ) ( T ) = inf λ > 0 : ρ p ( t ) u λ 1 .
Equipped with this norm, L p ( t ) ( T ) is separable and reflexive if p L + ( T ) .
For estimates, one can use the following inequalities.
Proposition 5.
Ref. [15]. Let v , w L p ( t ) ( T ) . Then, for Δ a.a. t T ,
(a) 
| v ( t ) + w ( t ) | p ( t ) 2 p + 1 | v ( t ) | p ( t ) + | w ( t ) | p ( t ) ;
(b) 
| v ( t ) w ( t ) | p ( t ) 2 p + 1 | v ( t ) | p ( t ) + | w ( t ) | p ( t ) .
Proposition 6.
Ref. [15]. Let u L p ( t ) ( T ) , u θ . Then,
(a) 
u L p ( t ) ( T ) < 1 ( = 1 , > 1 ) ρ ( u ) < 1 ( = 1 , > 1 ) ;
(b) 
If u L p ( t ) ( T ) > 1 , then u L p ( t ) ( T ) p ρ p ( t ) ( u ) u L p ( t ) ( T ) p + ;
(c) 
If u L p ( t ) ( T ) < 1 , then u L p ( t ) ( T ) p + ρ p ( t ) ( u ) u L p ( t ) ( T ) p .
Proposition 7.
There exist functions f 1 , f 2 : [ 0 , ) [ 0 , ) , which are continuous, strongly increasing, f 1 ( 0 ) = f 2 ( 0 ) = 0 and lim t f 1 ( t ) = lim t f 2 ( t ) = such that, for all u L p ( t ) T ,
f 1 ( u L p ( t ) ( T ) ) u L p ( t ) ( T ) ρ p ( · ) ( u ) f 2 ( u L p ( t ) ( T ) ) u L p ( t ) ( T ) .
Note that these inequalities imply the equivalence of convergence in norm and in modular.
Proposition 8.
Ref. [15]. Let u L p ( t ) ( T ) and u k L p ( t ) ( T ) for k N . Then,
lim k u k u ρ = 0 if and only if lim k ρ p ( · ) ( ( u k u ) ) = 0 .
Lemma 2.
Ref. [15]. Let ( u k ) k N L p ( t ) T be a sequence convergent to a certain function u L p ( t ) T . Then, there exists a subsequence u k l l N L p ( t ) T such that lim l u k l ( t ) = u ( t ) for Δ a.a. t T and there exists a function g L p ( t ) T such that | u k l ( t ) | g ( t ) for l N and Δ a.a. t T .
Proposition 9.
Ref. [15]. If p 1 , p 2 L + T and p 1 ( t ) p 2 ( t ) for Δ a.a. t T , then the embedding L p 2 ( t ) T L p 1 ( t ) T is continuous.
Let p , q L + ( T ) and p , q be conjugative on the time scale T , e.g.,
1 p ( t ) + 1 q ( t ) = 1
for Δ a.a t T . The space L q ( t ) ( T ) is defined as
L q ( t ) ( T ) = u M ( T ) : T 1 q ( t ) | u ( t ) | q ( t ) Δ t < .
Proposition 10.
Ref. [15]. For every u L p ( t ) ( T ) and v L q ( t ) ( T ) , the following Hölder inequality holds:
T | u ( t ) v ( t ) | Δ t 1 p + 1 q u L p ( t ) ( T ) v L q ( t ) ( T ) .
We define the variable exponent Sobolev space on time scales by
W 1 , p ( t ) ( T ) = u L p ( t ) ( T ) : Δ w u L p ( t ) ( T )
equipped with the norm
u W 1 , p ( t ) ( T ) = u L p ( t ) ( T ) + Δ w u L p ( t ) ( T ) .
Then, W 1 , p ( t ) ( T ) , · W 1 , p ( t ) ( T ) is separable and reflexive if p L + ( T ) .
We denote by C rd ( T ) (respectively C ( T ) ) the set of continuous functions over T which are of n times rd-continuously (respectively continuously) Δ –differentiable on T κ for any n N . We define W 0 1 , p ( t ) ( T ) as the closure of C 0 , rd ( T ) in W 1 , p ( t ) ( T ) , where
C 0 , rd ( T ) = { u C rd ( T ) : u ( a ) = u ( b ) = 0 } .
Remark 1.
In general, C 0 ( Ω ) , Ω R n , may not be dense in W 1 , p ( x ) ( Ω ) . It is true under some additional assumption upon p (see [7,18]). However, it is known that if p n then, C 0 ( Ω ) is dense in W 1 , p ( x ) ( Ω ) and
W 0 1 , p ( x ) ( Ω ) = W 1 , p ( x ) ( Ω ) W 0 1 , 1 ( Ω ) .
In the classical one-dimensional situation of W 1 , p ( t ) ( I ) with I = ( a , b ) , each element u has a continuous representative u ¯ (see (7)) in its equivalence class for equality Δ a.a., and W 0 1 , p ( t ) ( I ) can be characterized as the set of u W 1 , p ( t ) ( I ) such that u ¯ ( a ) = 0 = u ¯ ( b ) .
Recall that there exists C > 0 , such that u L p ( t ) ( T ) C Δ w u L p ( t ) ( T ) for u W 0 1 , p ( t ) ( T ) . Consequently, one can consider the space W 0 1 , p ( t ) ( T ) with the following equivalent norm
u W 0 1 , p ( t ) ( T ) = Δ w u L p ( t ) ( T ) .
It is known that the following continuous embeddings hold
C ( T ) C rd ( T ) L p + ( T ) L p ( t ) ( T ) L p ( T )
and
W 1 , p + ( T ) W 1 , p ( t ) ( T ) W 1 , p ( T ) .
Moreover, we recall that the following embeddings
W 1 , p ( t ) ( T ) C ( T ) , and W 1 , p ( t ) ( T ) L p + ( T )
are compact.
Since any element of W 1 , p ( T ) is absolutely continuous (see [14]), we know that the same holds for any u W 1 , p ( t ) ( T ) , which implies that any element of W 1 , p ( t ) ( T ) is Δ –differentiable Δ –a.e. on T . If u W 0 1 , p ( t ) ( T ) , then u is continuous, which implies that u σ C rd ( T ) and (6) holds. Consequently, by (12) and (13), there are A , C , C 1 > 0 such that
u σ L p ( t ) ( T ) C u σ L p + ( T ) C 1 u σ T C 1 u T C 1 A u X .

3. Du Bois−Reymond Type Lemma

In this section, we will prove a du Bois–Reymond type lemma for nondifferentiable functions.
By (9), we estimate
T 1 q ( t ) | u ( t ) | p ( t ) 1 q ( t ) Δ t 1 q T | u ( t ) | p ( t ) Δ t <
for any u L p ( t ) ( T ) . Consequently,
| u ( t ) | p ( t ) 2 u ( t ) L q ( t ) ( T )
for u L p ( t ) ( T ) , where q is the function given in (9). By (10) and (15), for any u , v L p ( t ) ( T ) ,
T | u ( t ) | p ( t ) 2 u ( t ) v ( t ) Δ t
is well defined.
Lemma 3.
If h L q ( t ) ( T ) and
T h ( t ) v Δ ( t ) Δ t = 0
for every v W 0 1 , p ( t ) ( T ) , then
h ( t ) = const .
for Δ a.a. t T .
Proof. 
Let us define
v ( t ) = a t h ( s ) c q ( s ) 2 h ( s ) c Δ s
for t T , where c R is such that v ( b ) = 0 . Then, v ( a ) = 0 . Moreover,
v Δ ( t ) = h ( t ) c q ( t ) 2 h ( t ) c
for Δ –a.a. t T and v Δ L p ( t ) ( T ) . By (17), we have
T h ( t ) c q ( t ) Δ t = T h ( t ) c h ( t ) c q ( t ) 2 h ( t ) c Δ t = T h ( t ) c v Δ ( t ) Δ t = T h ( t ) v Δ ( t ) Δ t c T v Δ Δ t = 0 .
Since ρ q ( · ) is a modular, we have h ( t ) = c for Δ a.a. t T and the lemma follows. □
The following lemma plays a key role in the next section.
Lemma 4.
Let h 1 L 1 ( T ) , h 2 L p ( t ) ( T ) and
T h 1 ( t ) v σ ( t ) + | h 2 ( t ) | p ( t ) 2 h 2 ( t ) v Δ ( t ) Δ t = 0
for every v W 0 1 , p ( t ) ( T ) . Then,
h 1 ( t ) = Δ Δ t h 2 ( t ) p ( t ) 2 h 2 ( t )
for Δ a.a. t T .
Proof. 
Let
H ( t ) = a t h 1 ( s ) Δ s
for t T . Integrating by parts and using the boundary conditions,
T h 1 ( t ) v σ ( t ) Δ t = T H Δ ( t ) v σ ( t ) Δ t = H ( t ) v ( t ) | a b T v Δ ( t ) H ( t ) Δ t = T v Δ ( t ) H ( t ) Δ t
for every v W 0 1 , p ( t ) ( T ) . By (18) and (19), we obtain
0 = T h 1 ( t ) v σ ( t ) + | h 2 ( t ) | p ( t ) 2 h 2 ( t ) v Δ ( t ) Δ t = T v Δ ( t ) H ( t ) Δ t + T | h 2 ( t ) | p ( t ) 2 h 2 ( t ) v Δ ( t ) Δ t = T v Δ ( t ) | h 2 ( t ) | p ( t ) 2 h 2 ( t ) H ( t ) Δ t
for every v W 0 1 , p ( t ) ( T ) . Now, combining (16) with (12) and Lemma 3, we obtain that there exists c R , such that
| h 2 ( t ) | p ( t ) 2 h 2 ( t ) = H ( t ) + c
and
Δ Δ t | h 2 ( t ) | p ( t ) 2 h 2 ( t ) = Δ Δ t H ( t ) + c = h 1 ( t )
for Δ a.a. t T . □
Corollary 1.
If h L 1 ( T ) and
T h ( t ) v σ ( t ) Δ t = 0
for every v W 0 1 , p ( t ) , then h ( t ) = 0 for Δ a.a. t T .
Proof. 
It suffices to take h 2 ( t ) = 0 for Δ a.a. t T in Lemma 4. □

4. The p ( t ) –Laplacian Dirichlet Problem

Let X : = W 0 1 , p ( t ) ( T ) . The following assumptions upon f and p are made:
(P)
p L + ( T ) ;
(F)
f : T × R R is a L 1 Carathéodory function over T × R .
Let us consider the following problem:
Δ p ( t ) u ( t ) : = Δ Δ t | Δ w u ( t ) | p ( t ) 2 Δ w u ( t ) = f t , u σ ( t ) , t T u ( a ) = u ( b ) = 0 ,
where u X , a and b are defined in (2) and σ is a forward jump operator given in (3).
We say that u X is a weak solution to (20) if
T | Δ w u ( t ) | p ( t ) 2 Δ w u ( t ) Δ w v ( t ) Δ t = T f t , u σ ( t ) v σ ( t ) Δ t
for every v X .
We define the functional φ : X R by
φ ( u ) = T 1 p ( t ) | Δ w u ( t ) | p ( t ) Δ t T F t , u σ ( t ) Δ t ,
where
F ( t , x ) = 0 x f ( t , s ) d s
for Δ a.a. t T and x R . Moreover, let us denote
φ 1 ( u ) = T 1 p ( t ) | Δ w u ( t ) | p ( t ) Δ t
and
φ 2 ( u ) = T F t , u σ ( t ) Δ t
for u X .
Observe that if f satisfies Assumption (F), then also F is an L 1 –Carathéodory function over T × R and thus, t F ( t , u σ ( t ) ) belongs to L 1 ( T ) . Consequently, φ 2 is well defined, which implies that φ is well defined.
Lemma 5.
The functional φ 1 defined in (24) is continuously differentiable on X at any u X and
φ 1 ( u ) ( v ) = T | Δ w u ( t ) | p ( t ) 2 Δ w u ( t ) Δ w v ( t ) Δ t
for all v X .
Proof. 
Let us define
φ 1 ˜ ( λ , t ) = 1 p ( t ) | Δ w u ( t ) + λ Δ w v ( t ) | p ( t ) = 1 p ( t ) Δ w u ( t ) + λ Δ w v ( t ) 2 p ( t ) 2
and
Ψ 1 ( λ ) = T φ 1 ˜ ( λ , t ) Δ t = φ 1 ( u + λ v ) ,
where u , v X are fixed, t T and λ [ 1 , 1 ] . Consequently,
φ 1 ( u ) ( v ) = Ψ 1 ( 0 ) = T φ 1 λ ˜ ( λ , t ) | λ = 0 Δ t = T | Δ w u ( t ) | p ( t ) 2 Δ w u ( t ) Δ w v ( t ) Δ t .
Let us define
u 1 ( t ) = | Δ w u ( t ) | p ( t ) 1
for t T . By (16), u 1 L q ( t ) ( T ) . By Hölder inequality (10) and (11), we obtain
| φ 1 ( u ) ( v ) | 1 p + 1 q u 1 L q ( t ) ( T ) v X .
Consequently, φ 1 ( u ) X * and functional φ 1 is Gâteaux differentiable over X.
We shall show that the derivative is continuous. Consider ξ p ( · ) : L p ( t ) ( T ) L q ( t ) ( T ) given by
ξ p ( t ) ( u ) = | u | p ( t ) 2 u
for u L p ( t ) ( T ) . By (15), ξ p ( · ) is well defined.
Let u n u in L p ( t ) ( T ) and ( v n ) be a subsequence of ( u n ) . Let v n l and g be given as in Lemma 2. Then, from Lemma 2 and Proposition 5, one has
ξ p ( t ) ( v n l ) ξ p ( t ) ( u ) q ( t ) 2 q + 1 | v n l ( t ) | p ( t ) 1 q ( t ) + | u ( t ) | p ( t ) 1 q ( t ) 2 q + 1 | v n l ( t ) | p ( t ) + | u ( t ) | p ( t ) 2 q + ( g ( t ) ) p ( t ) .
Since v n l ( t ) u ( t ) for Δ a.a. t T , it follows from Lebesgue Dominated Convergence Theorem that
T ξ p ( t ) ( v n l ) ξ p ( t ) ( u ) q ( t ) Δ t 0 , as l ,
but then, since any subsequence ( ξ p ( t ) ( v n ) ) has a subsequence ( ξ p ( t ) ( v n l ) ) convergent to the same limit,
T ξ p ( t ) ( u n ) ξ p ( t ) ( u ) q ( t ) Δ t 0 , as n .
Consequently, using Proposition 8 and Hölder inequality (10),
φ 1 ( u n ) ( v ) φ 1 ( u ) ( v ) 1 p + 1 q ξ p ( t ) ( Δ w u n ) ξ p ( t ) ( Δ w u ) L q ( t ) v X
and
lim n φ 1 ( u n ) φ 1 ( u ) X * = 0 .
Lemma 6.
The functional φ 2 defined in (25) is continuously differentiable on X at any u X and
φ 2 ( u ) ( v ) = T f t , u σ ( t ) v σ ( t ) Δ t
for all v X .
Proof. 
Let us define
φ 2 ˜ ( λ , t ) = F t , u σ ( t ) + λ v σ ( t )
and
Ψ 2 ( λ ) = T φ 2 ˜ ( λ , t ) Δ t = φ 2 ( u + λ v ) ,
where u , v X are fixed, t T and λ [ 1 , 1 ] . Thus, we get
φ 2 ( u ) ( v ) = Ψ 2 ( 0 ) = T φ 2 λ ˜ ( λ , t ) | λ = 0 Δ t = T f t , u σ ( t ) v σ ( t ) Δ t .
By (14) and since t f ( t , u σ ( t ) ) belongs to L 1 ( T ) , we have
| φ 2 ( u ) ( v ) | v T T | f t , u σ ( t ) | Δ t A v X T | f t , u σ ( t ) | Δ t < .
Therefore, φ 2 ( u ) X * and functional φ 2 is Gâteaux differentiable over X.
If u n u in X, then, by (14) , u n u in C ( T ) and there exists d > 0 such that | u n ( t ) | d for n N , which implies that | u n σ ( t ) | d for n N and Δ a.a. t T . Since f is L 1 Carathéodory function, there is f d L 1 ( T ) such that, for n N and for Δ a.a. t T , we have | f ( t , u n σ ( t ) ) | f d ( t ) .
Let u n u in X. Then, from (14), u n σ u σ in L p ( t ) ( T ) . Now, as in the second part of the proof of Lemma 5, using Lemma 2, one can show that f ( t , u n σ ( t ) ) f ( t , u σ ( t ) ) for Δ –a.a. t T , as n . Applying the Lebesgue Dominated Convergence Theorem, φ 2 is continuously differentiable. □
Remark 2.
From Lemmas 5 and 6, a critical point of functional φ defined in (22) is also a weak solution to (20). Now, taking
h 1 ( t ) : = f ( t , u σ ( t ) ) and h 2 ( t ) : = Δ w u ( t ) for t T
in Lemma 4, we obtain that a possible solution to (21) is a solution to problem (20).
Moreover, from Lemma 4, the function
t | Δ w u ( t ) | p ( t ) 2 Δ w u ( t )
is absolutely continuous on T . Consequently, a weak solution to problem (20) is a classical solution.
We now provide some properties of the operator φ 1 that will be needed in next Sections.
It is easy to verify that the following holds: if p 0 ( 1 , ) , then
| x | p 0 2 x | y | p 0 2 y , x y | x | p 0 1 | y | p 0 1 | | x | | y | |
for all x , y R n .
Lemma 7.
The mapping φ 1 : X X * is coercive and strictly monotone.
Proof. 
Observe that, from (26), φ 1 is strictly monotone. Moreover, by Proposition 6, one has
lim u X φ 1 u u u X = lim u X ρ p ( · ) ( Δ w u ) u X lim u X Δ w u L p ( t ) ( T ) p u X = .
Consequently, φ 1 is coercive. □
Lemma 8.
The operator φ 1 : X X * is demicontinuous.
Proof. 
Since φ 1 is continuous, one can easily see that φ 1 is hemicontinuous, i.e., for all u , v , w X , the mapping h φ 1 ( u + h v ) ( w ) is continuous on [ 0 , 1 ] . Now, the statement follows from the fact that for a monotone operator, demicontinuity and hemicontinuity are equivalent. □
Lemma 9.
The mapping φ 1 : X X * is bounded.
Proof. 
We need to show that φ 1 maps bounded sets in X into bounded sets in X * . Let u , v X and let us define
u 1 ( t ) = | Δ w u ( t ) | p ( t ) 1
for t T . By (16), we have ρ q ( · ) ( u 1 ) = ρ p ( · ) ( Δ w u ) < . Consequently, u 1 L q ( t ) ( T ) . By (14) and Hölder inequality (10), we estimate
φ 1 ( u ) ( v ) 1 p + 1 q v X u 1 L q ( t ) ( T ) .
By Lemma 7, we know that there exists function f 1 : [ 0 , ) [ 0 , ) , such that
f 1 u 1 L q ( t ) ( T ) u 1 L q ( t ) ( T ) ρ q ( · ) ( u 1 ) .
By (27) and (28), we obtain
φ 1 ( u ) ( v ) K 1 1 p + 1 q v X ρ q ( · ) ( u 1 ) = K 1 1 p + 1 q v X ρ p ( · ) ( Δ w u ) ,
where K 1 = f 1 u 1 L q ( t ) ( T ) 1 . From Lemma 7, there is f 2 : [ 0 , ) [ 0 , ) , such that
ρ p ( · ) ( Δ w u ) f 2 Δ w u L p ( t ) ( T ) Δ w u L p ( t ) ( T ) = f 2 ( u X ) u X .
By (29) and (30), we estimate
φ 1 ( u ) ( v ) K 2 1 p + 1 q v X u X ,
where K 2 = K 1 f 2 ( u X ) and consequently
φ 1 ( u ) X * = sup v X = 1 ( φ 1 u ) ( v ) K 2 1 p + 1 q u X ,
which implies that the operator φ 1 is bounded. □
Lemma 10.
If u n u in X and
lim n φ 1 ( u n ) φ 1 ( u ) ( u n u ) = 0 ,
then u n u in X.
Proof. 
Assume that u n u in X and (31) is satisfied. Let
T 1 = t T : 1 < p ( t ) < 2
and
T 2 = t T : p ( t ) 2 .
Since the following inequalities hold
| α | p 0 2 α | β | p 0 2 β α β 2 2 p 0 α β p 0 , p 0 2 | α | p 0 2 α | β | p 0 2 β α β p 0 1 α β 2 1 + | α | 2 + | β | 2 p 0 2 2 , 1 < p 0 < 2
for any α , β R (see [19]), we get
φ 1 ( u n ) φ 1 ( u ) u n u = T | Δ w u n ( t ) | p ( t ) 2 Δ w u n ( t ) | Δ w u ( t ) | p ( t ) 2 Δ w u ( t ) Δ w u n ( t ) Δ w u ( t ) Δ t = T 1 | Δ w u n ( t ) | p ( t ) 2 Δ w u n ( t ) | Δ w u ( t ) | p ( t ) 2 Δ w u ( t ) Δ w u n ( t ) Δ w u ( t ) Δ t + T 2 | Δ w u n ( t ) | p ( t ) 2 Δ w u n ( t ) | Δ w u ( t ) | p ( t ) 2 Δ w u ( t ) Δ w u n ( t ) Δ w u ( t ) Δ t = I 1 + I 2 .
From (32), for Δ –a.a. t T , we obtain
I 1 ( p 1 ) T Δ w u ( t ) Δ w w ( t ) 2 1 + | Δ w u ( t ) | 2 + | Δ w w ( t ) | 2 2 p ( t ) 2 Δ t 0
and
I 2 2 2 p + T Δ w u n ( t ) Δ w u ( t ) p ( t ) Δ t 0 .
Consequently, from (31), Δ w u n converges in measure to Δ w u . Let us consider a subsequence of ( Δ w u n ) and denote it also by ( Δ w u n ) , Δ w u n Δ w u for Δ –a.a. t T . By the Fatou Lemma,
lim inf n T 1 p ( t ) | Δ w u n ( t ) | p ( t ) Δ t T 1 p ( t ) | Δ w u ( t ) | p ( t ) Δ t .
Since u n u and from (31), we have
lim n φ 1 ( u n ) φ 1 ( u ) u n u = φ 1 ( u n ) u n u = 0 .
Moreover,
φ 1 ( u n ) u n u T | Δ w u n ( t ) | p ( t ) Δ t T | Δ w u n ( t ) | p ( t ) 1 | Δ w u ( t ) | Δ t .
Now, from the Young inequality, one has
| Δ w u n ( t ) | p ( t ) 1 | Δ w u ( t ) | p ( t ) 1 p ( t ) | Δ w u n ( t ) | p ( t ) + 1 p ( t ) | Δ w u ( t ) | p ( t ) .
Therefore,
φ 1 ( u n ) u n u T 1 p ( t ) | Δ w u n | p ( t ) Δ t T 1 p ( t ) | Δ w u | p ( t ) Δ t .
From (31), (33)–(35), we obtain
lim n T 1 p ( t ) | Δ w u n ( t ) | p ( t ) Δ t = T 1 p ( t ) | Δ w u ( t ) | p ( t ) Δ t .
Consequently, functions 1 p ( t ) | Δ w u n ( t ) | p ( t ) have equi-absolutely continuous integrals (see ([20], Theorem 3, p. 153)). Moreover, from Proposition 5,
1 p ( t ) | Δ w u n ( t ) Δ w u ( t ) | p ( t ) C 1 p ( t ) | Δ w u n ( t ) | p ( t ) + 1 p ( t ) | Δ w u ( t ) | p ( t ) .
Hence, functions 1 p ( t ) | Δ w u n ( t ) Δ w u ( t ) | p ( t ) have equi-absolutely continuous integrals and from ([20], Theorem 3, p. 153), one obtains
lim n T 1 p ( t ) | Δ w u n ( t ) Δ w u ( t ) | p ( t ) Δ t = 0 ,
which implies that
lim n T | Δ w u n ( t ) Δ w u ( t ) | p ( t ) Δ t = 0 .
Consequently, Δ w u n Δ w u in L p ( t ) ( T ) , which means that u n u in X. □
Now, observe that using the Minty–Browder Theorem [21] (Theorem 3.3.1, p.161) (see Lemmas 7–9), we obtain that φ 1 has an inverse mapping ( φ 1 ) 1 : X * X . The following holds.
Lemma 11.
The operator φ 1 is a homeomorphism.
Proof. 
It suffices to show that ( φ 1 ) 1 is continuous. Let z n , z X * , z n z . Then, there are u n , u X , such that φ 1 ( u n ) = z n and φ 1 ( u ) = z . Since φ 1 is continuous, ( u n ) is bounded in X. Without loss of generality, let u n v . Then, we have
lim n φ 1 ( u n ) φ 1 ( u ) u n v = lim n ( z n ) u n v = 0 .
From Lemma 10, u n v in X. Consequently, u n u in X. □

5. Existence of a Solution Using the Direct Method

The direct method of the calculus of variations has a long and interesting history described in the introduction of [2] and is expressed as follows in a functional setting.
Theorem 1.
Ref. [22], p.455. Let X be a reflexive Banach space and φ : X R be a weakly lower semi-continuous and weakly coercive functional. Then, there exists x 0 X , such that φ ( x 0 ) = min x X φ ( x ) .
Now, we give sufficient conditions for the existence of critical point of functional φ defined in (22). Consequently, by (21) and Remark 2, we prove the existence of weak solutions to the Dirichlet problem (20).
Theorem 2.
If there exist β ( 1 , p ] , c 1 , c 3 0 and
c 2 < β p + μ Δ ( T ) A β
with A given in (14), such that function F satisfies
F ( t , x ) c 1 | x | + c 2 β | x | β + c 3
for Δ a.a. t T and x R , then problem (20) has a weak solution.
Proof. 
Our goal is to apply Theorem 1 for functional φ defined in (22). First, we shall show the coerciveness of φ . By (14), (11), (36), (37) and Theorem 6, if u X , one has
φ ( u ) = T 1 p ( t ) | Δ w u ( t ) | p ( t ) Δ t T F ( t , u σ ( t ) ) Δ t 1 p + ρ p ( · ) ( Δ w u ) c 1 T | u σ ( t ) | Δ t c 2 β T | u σ ( t ) | β Δ t c 3 T 1 Δ t 1 p + Δ w u L p ( t ) ( T ) p c 1 u T μ Δ ( T ) c 2 β u T β μ Δ ( T ) c 3 μ Δ ( T ) 1 p + u X p c 2 A β β u X β μ Δ ( T ) c 1 A u X μ Δ ( T ) c 3 μ Δ ( T ) ,
where ρ p ( · ) is the modular defined in (8). Hence φ is weakly coercive over X.
By Lemma 5, we see that functional φ 1 defined in (24) is continuous. Since s 1 p ( t ) s p ( t ) is convex on [ 0 , ) for Δ a.a. t T , φ 1 is convex. Consequently, φ 1 is weakly lower semi–continuous.
Observe that the following holds
if u n u in X , then u n σ u σ in L p ( t ) ( T ) .
Indeed, if u n u in X, then ( u n ) n N is bounded in X and, from (14), bounded in C ( T ) . Denote by ( v n ) n N a subsequence of ( u n ) n N . Then, since the embedding in (13) is compact, ( v n ) n N has a strongly convergent subsequence. By the uniqueness of weak limit, ( v n ) n N converges to u. Consequently, since every subsequennce ( v n ) n N of ( u n ) n N has a subsequence which tends to u, ( u n ) n N converges to u strongly in C ( T ) and, from (14), u n σ u σ in L p ( t ) ( T ) .
Now, using (38), Lemma 2 and proceeding similarly as in the proof of Lemma 6, one can show that F ( t , u n σ ( t ) ) F ( t , u σ ( t ) ) for Δ a.a. t T and conclude that functional φ 2 defined in (25) is strongly continuous over X.
Consequently, φ is weakly lower semi-continuous over X. From Theorem 1, φ has a minimum point and the problem (20) has a weak solution. □
Corollary 2.
If there exist β ( 1 , p ) and c 1 , c 2 , c 3 0 such that function F satisfies condition (37), then problem (20) has a weak solution.
Proof. 
The proof is analogous to the proof of Theorem 2 with one exception. If β p , then to show that φ is weakly coercive, no inequality of the type (36) is needed. □
Remark 3.
Assume that the following condition holds
(F)’
f : T × R R is a Δ–Carathéodory function over T × R .
Then, (F)’ together with (37) and Proposition 9 guarantee that Lemmas 5 and 6 hold.
Example 1.
Notice that condition (37) is satisfied if
F ( t , x ) = c 2 β | x | β + G ( t , x )
where
G ( t , x ) = 0 x g ( t , s ) d s
and g ( t , x ) c 1 for Δ a.a. t T , x R . In particular, problem (20) with f given by
f ( t , x ) = c 2 | x | β 1 + g ( t )
has a weak solution for every bounded function g L 1 ( T ) .

6. Existence of a Nontrivial Solution Using the Mountain Pass Theorem

The existence conditions of Theorem 2 are satisfied when F ( t , x ) does not grow too fast when x . We now use another tool of the variational calculus, namely a minimax instead of a minimum characterization of a critical point of the functional, to prove the existence of a nontrivial solution of problem (20) when f ( t , x ) tends fast enough to 0 when x 0 (insuring the existence of the trivial solution) and fast enough to infinity when x .
We say that C 1 –functional φ : X R satisfies the Palais–Smale condition, denoted (PS), if any sequence ( u n ) n N in X, such that ( φ ( u n ) ) n N is bounded and φ ( u n ) 0 as n , admits a convergent subsequence.
Lemma 12.
If there exist M > 0 and τ > p + , such that
0 < τ F ( t , x ) x f ( t , x )
for Δ a . a . t T and | x | M , then functional φ defined in (22) satisfies the (PS) condition.
Proof. 
Assume that ( u n ) n N is a sequence such that u n X for n N , ( φ ( u n ) ) n N is bounded and φ ( u n ) X * 0 as n .
First, we shall show that u n n N is bounded. Let ε > 0 . Since φ ( u n ) X * 0 , we obtain that there exists n 0 N , such that φ ( u n ) X * < ε for n n 0 . Thus, we have
φ ( u n ) ( u n ) ε u n X
for n n 0 . Moreover,
φ ( u n ) ( u n ) = T Δ w u n ( t ) p ( t ) Δ t T f t , u n σ ( t ) u n σ ( t ) Δ t = ρ p ( · ) ( Δ w u n ) T f t , u n σ ( t ) u n σ ( t ) Δ t
for n N , where ρ p ( · ) is the modular defined in (8). Since f is the L 1 –Carathéodory function over T × R , integrals
T M n F t , u n σ ( t ) Δ t and T M n f t , u n σ ( t ) u n σ ( t ) Δ t ,
where T M n = { t T : | u n σ ( t ) | < M } are bounded. Moreover, by (39), we have
T \ T M n f t , u n σ ( t ) u n σ ( t ) τ F t , u n σ ( t ) Δ t > 0 .
Since ( φ ( u n ) ) n N is bounded, by (40) and (41), we obtain
C 1 + ε u n X τ φ ( u n ) ( φ u n ) ( u n ) = τ 1 p ( t ) | Δ w u n ( t ) | p ( t ) Δ t τ T F t , u n σ ( t ) Δ t ρ p ( · ) ( Δ w u n ) + T f t , u n σ ( t ) u n σ ( t ) Δ t τ p + | Δ w u n ( t ) | p ( t ) Δ t τ T F t , u n σ ( t ) Δ t ρ p ( · ) ( Δ w u n ) + T f t , u n σ ( t ) u n σ ( t ) Δ t = τ p + ρ p ( · ) ( Δ w u n ) τ T F t , u n σ ( t ) Δ t ρ p ( · ) ( Δ w u n ) + T f t , u n σ ( t ) u n σ ( t ) Δ t = τ p + 1 ρ p ( · ) ( Δ w u n ) + T f t , u n σ ( t ) u n σ ( t ) τ F t , u n σ ( t ) Δ t
with C 1 R and n n 0 . By (11), (41) and Proposition 6, we have
τ p + 1 ρ p ( · ) ( Δ w u n ) + T f t , u n σ ( t ) u n σ ( t ) τ F t , u n σ ( t ) Δ t τ p + 1 min u n X p + , u n X p + C 2
with C 2 R and n n 0 . By (42) and (43), the following assertion holds
C 1 + ε u n X τ p + 1 min u n X p + , u n X p + C 2
with C 1 , C 2 R . Hence, we obtain
τ p + 1 min u n X p + , u n X p ε u n X C 3
with C 3 R . Since τ > p + , u n X n N is bounded.
Now, without loss of generality, we assume that u n u in X. Using the same arguments as in the proof of Theorem 2, one can show that for φ 2 : X X * we have: u n u implies φ 2 ( u n ) φ 2 ( u ) . Since
φ ( u n ) = φ 1 ( u n ) φ 2 ( u n ) 0 as n ,
we obtain that φ 1 ( u n ) φ 2 ( u ) . Hence, using Lemma 11, u n u in X. Consequently, φ satisfies (PS) condition. □
The existence of nontrivial solutions to problem (20) will be shown using the Mountain Pass Theorem of Ambrosetti and Rabinowitz [23], which we recall here in the following form.
Theorem 3.
Ref. [24] (p.7). Let X be a Banach space and let φ : X R be a C 1 –functional satisfying (PS) condition. Suppose that φ ( 0 ) = 0 and
(i) 
there are constants α 0 , r 0 > 0 , such that φ | e X = r 0 α 0 ;
(ii) 
there is an element e 0 X , such that e 0 X > r 0 and φ ( e 0 ) 0 .
Then functional φ has a critical point with critical value c 0 α 0 characterized by
c 0 = inf γ Γ max u γ ( [ 0 , 1 ] ) φ ( u ) ,
where Γ = { γ C ( [ 0 , 1 ] , X ) : γ ( 0 ) = θ X and γ ( 1 ) = e 0 } .
Theorem 4.
If condition (39) is satisfied and
lim u 0 f ( t , u ) | u | p + 1 = 0
uniformly with respect to u for Δ a.a. t T , then problem (20) has a nontrivial weak solution.
Proof. 
First, observe that φ is unbounded from below, i.e., for any ξ > 0 , there is an element e X with e X ξ , such that φ ( e ) < 0 . Let us denote
T α M = { t T : | α u σ ( t ) | M }
for α 1 and u X . We will show that if u X is such that μ Δ T 1 M > 0 , then φ ( α u ) as α . For α 1 , we see that T 1 M T α M and hence, μ Δ ( T α M ) > 0 .
By (39), we have
f ( t , u ) F ( t , u ) τ u
for u M and
f ( t , u ) F ( t , u ) τ u
for u M and with τ > p + . Integrating both sides of (45), we obtain
F ( t , u ) F ( t , M ) M τ u τ
for Δ –a.a. t T and u M . Similarly, by (46), we have
F ( t , u ) F ( t , M ) M τ ( u ) τ
for Δ –a.a. t T and u M . Consequently, there exists function ω L 1 ( T ) , such that
F ( t , u ) ω ( t ) | u | τ
for Δ –a.a. t T and | u | M .
Let u 0 X . For α > 1 , we have
φ ( α u 0 ) = T 1 p ( t ) | α Δ w u 0 | p ( t ) Δ t T F t , α u 0 σ ( t ) Δ t α p + p ρ p ( · ) ( Δ w u 0 ) { t T : | α u 0 σ ( t ) | < M } F t , α u 0 σ ( t ) Δ t { t T : | α u 0 σ ( t ) | M } F t , α u 0 σ ( t ) Δ t ,
where ρ p ( · ) is the modular defined in (8). By (47), we obtain
F t , α u 0 σ ( t ) ω ( t ) α τ | u 0 ( t ) | τ
for t T , such that | α u 0 σ ( t ) | M . Thus,
{ t T : | α u 0 σ ( t ) | M } F t , α u 0 σ ( t ) Δ t α τ { t T : | α u 0 σ ( t ) | M } ω ( t ) u 0 ( t ) τ Δ t = α τ K 1 ( u 0 )
with K 1 ( u 0 ) > 0 . Moreover, by assumption (F1), we have
{ t T : | u 0 σ ( t ) | < M } F t , α u 0 σ ( t ) Δ t K 2
with K 2 > 0 . By (48), (49) and (50), we estimate
φ ( α u 0 ) α p + p ρ p ( · ) ( Δ w u 0 ) { t T : | α u 0 σ ( t ) | < M } F t , α u 0 σ ( t ) Δ t { t T : | α u 0 σ ( t ) | M } F t , α u 0 σ ( t ) Δ t α p + p ρ p ( · ) ( Δ w u 0 ) α τ K 1 ( u 0 ) + K 2 .
It implies that φ ( α u 0 ) as α , since τ > p + and u 0 is fixed.
Now, we shall show that there exist constants α 0 , r 0 > 0 such that φ | u X = r 0 α 0 . By (23) and (44), for every ε > 0 there exists δ > 0 , such that
F ( t , u ) ε p + | u | p +
for Δ a.a. t T and | u | < δ . Let ε 0 0 , 1 A p + μ Δ ( T ) . Then, by (6) and (51), there is δ 1 > 0 , such that
{ t T : | u σ ( t ) | < δ 1 } F ( t , u σ ( t ) ) Δ t ε 0 p + T | u σ ( t ) | p + Δ t ε 0 p + u σ T p + μ Δ ( T ) ε 0 p + A p + u X p + μ Δ ( T )
with A defined in (14).
Let δ 0 < min δ 1 , A and u X = r 0 ( 0 , δ 0 A ] . Then,
u X δ 0 A 1 .
By (14),
u σ T u T A u X A δ 0 A = δ 0 .
Combining (52) with (54), we conclude that
T F t , u σ ( t ) Δ t = { t T : | u σ ( t ) | < δ 1 } F ( t , u σ ( t ) ) Δ t ε 0 p + A p + u X p + μ Δ ( T )
and therefore, from (53) and Proposition 6, one has
φ ( u ) = T 1 p ( t ) | Δ w u ( t ) | p ( t ) Δ t T F t , u σ ( t ) Δ t 1 p + T | Δ w u ( t ) | p ( t ) Δ t ε 0 p + A p + μ Δ ( T ) u X p + = 1 p + ρ p ( · ) Δ w u ε 0 p + A p + μ Δ ( T ) u X p + 1 p + u X p + ε 0 p + A p + μ Δ ( T ) u X p + = 1 p + 1 ε 0 A p + μ Δ ( T ) u X p + .
Consequently, we obtain that there exists α 0 > 0 , such that φ | u X = r 0 α 0 > 0 . Since φ ( θ X ) = 0 , the statement follows from Theorem 3. □
Example 2.
Consider problem (20) with the function f defined as
f ( t , x ) = h ( t ) x α
for t T , x R , where h L 1 ( T ) , α is an odd number and α > p + . One can easily check that Assumption (44) holds. Moreover, for τ : = α + 1 and M > 0 , Assumption (39) is satisfied.

7. Conclusions

Using direct variational methods and the mountain pass theorem, we have obtained several sufficient conditions for the existence of solutions to the p ( t ) –Laplacian Dirichlet problem on a bounded time scale. Some results regarding the regularity of solutions have also been included in this paper. We have shown that a sort of unification in discrete and continuous settings is possible with the use of a time-scale notion.

Author Contributions

Conceptualization, J.M., E.S. and K.S.-D.; methodology, J.M., E.S. and K.S.-D.; formal analysis, J.M., E.S. and K.S.-D.; investigation, J.M., E.S. and K.S.-D.; writing—original draft preparation, J.M., E.S. and K.S.-D.; writing—review and editing, J.M., E.S. and K.S.-D.; supervision, J.M. and K.S.-D.; funding acquisition, K.S.-D. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Jabri, Y. The Mountain Pass Theorem. Variants, Generalizations and Some Applications; Cambridge University Press: Cambridge, UK, 2003. [Google Scholar]
  2. Mawhin, J. Problèmes de Dirichlet Variationnels non Linéaires (Polish Translation): Metody Wariacyjne dla Nieliniowych Problemów Dirichleta; Séminaire de mathématiques supérieures, 104. Presses Univ. Montréal, Montréal, 1987; WNT: Warszawa, Poland, 1994. [Google Scholar]
  3. Mawhin, J.; Willem, M. Critical Point Theory and Hamiltonian Systems; Springer: New York, NY, USA, 1989. [Google Scholar]
  4. Mihǎilescu, M.; Rǎdulescu, V.; Tersian, S. Eigenvalue problems for anisotropic discrete boundary value problems. J. Differ. Equ. Appl. 2009, 15, 557–567. [Google Scholar] [CrossRef]
  5. Willem, M. Minimax Theorems; Birkhauser Boston: Boston, MA, USA, 1996. [Google Scholar]
  6. Fan, X.; Zhang, Q. Existence of solutions for p(x)–Laplacian Dirichlet problem. Nonlinear Anal. 2003, 52, 1843–1852. [Google Scholar] [CrossRef]
  7. Zhikov, V.V. Averaging of functionals of the calculus of variations and elasticity theory. Izv. Akad. Nauk SSSR Ser. Mat. 1986, 50, 675–710. [Google Scholar] [CrossRef]
  8. Chen, Y.; Levine, S.; Rao, M. Variable exponent, linear growth functionals in image restoration. SIAM J. Appl. Math. 2006, 66, 1383–1406. [Google Scholar] [CrossRef] [Green Version]
  9. Dinca, G.; Jebelean, P.; Mawhin, J. Variational ans topological methods for Dirichlet problems with p-Laplacian. Port. Math. (N.S.) 2001, 58, 339–378. [Google Scholar]
  10. Fan, X.; Han, X. Existence and multiplicity of solutions for p(x)–Laplacian equations in R. Nonlinear Anal. 2004, 59, 173–188. [Google Scholar] [CrossRef]
  11. Rynne, B.P. L2 spaces and boundary value problems on time-scales. J. Math. Anal. Appl. 2007, 328, 1217–1236. [Google Scholar] [CrossRef]
  12. Kováčik, O.; Rákosník, J. On spaces Lp(x) and Wk,p(x). Czechoslov. Math. J. 1991, 41, 592–618. [Google Scholar] [CrossRef]
  13. Fan, X.; Zhao, Q. On the spaces Lp(x)(Ω) and Wm,p(x)(Ω). J. Math. Anal. Appl. 2001, 263, 424–446. [Google Scholar] [CrossRef] [Green Version]
  14. Agarwal, R.P.; Otero-Espinar, V.; Perera, K.; Vivero, R.D. Basic properties of Sobolev’s spaces on time scales. Adv. Difference Equ. 2006, 2006, 38121. [Google Scholar] [CrossRef] [Green Version]
  15. Skrzypek, E.; Szymańska-Dȩbowska, K. On the Lebesgue and Sobolev spaces on a time-scale. Opusc. Math. 2019, 39, 705–731. [Google Scholar] [CrossRef]
  16. Bohner, M.; Peterson, A. Dynamic Equations on Time Scales. An Introduction with Applications; Birkhäuser Boston: Boston, MA, USA, 2001. [Google Scholar]
  17. Cabada, A.; Vivero, D.R. Criterions for absolute continuity on time scales. J. Differ. Equ. Appl. 2005, 11, 1013–1028. [Google Scholar] [CrossRef]
  18. Fan, X.L. Regularity of Lagrangians f(x,ξ)=|ξ|α(x) with Hölder exponents α(x). Acta Math. Sinica (N.S.) 1996, 12, 254–261. [Google Scholar]
  19. Lindqvist, P. Inequalities for Vectors. In Notes on the Stationary p-Laplace Equation. SpringerBriefs in Mathematics; Springer: Cham, Swizerland, 2019. [Google Scholar]
  20. Natanson, I.P. Theory of Functions of a Real Variable; Nauka: Moscow, Russia, 1950; English translation Ungar, F. Publishing Co.: New York, NY, USA, 1955. [Google Scholar]
  21. Dinca, G.; Mawhin, J. Brouwer Degree. The Core of Nonlinear Analysis; 95, Birkhäuser: Basel, Switzerland, 2021. [Google Scholar]
  22. Drábek, P.; Milota, J. Methods of Nonlinear Analysis. Applications to Differential Equations, 2nd ed.; Birkhäuser Advanced Texts: Basler Lehrbücher, Birkhäuser; Springer Basel AG: Basel, Swizerland, 2013. [Google Scholar]
  23. Ambrosetti, A.; Rabinowitz, P.H. Dual variational methods in critical points theory and applications. J. Funct. Anal. 1973, 14, 349–381. [Google Scholar] [CrossRef] [Green Version]
  24. Rabinowitz, P.H. Minimax Methods in Critical Point Theory with Applications to Differential Equations; American Mathematical Society: Providence, RI, USA, 1986. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Mawhin, J.; Skrzypek, E.; Szymańska-Dȩbowska, K. Du Bois–Reymond Type Lemma and Its Application to Dirichlet Problem with the p(t)–Laplacian on a Bounded Time Scale. Entropy 2021, 23, 1352. https://0-doi-org.brum.beds.ac.uk/10.3390/e23101352

AMA Style

Mawhin J, Skrzypek E, Szymańska-Dȩbowska K. Du Bois–Reymond Type Lemma and Its Application to Dirichlet Problem with the p(t)–Laplacian on a Bounded Time Scale. Entropy. 2021; 23(10):1352. https://0-doi-org.brum.beds.ac.uk/10.3390/e23101352

Chicago/Turabian Style

Mawhin, Jean, Ewa Skrzypek, and Katarzyna Szymańska-Dȩbowska. 2021. "Du Bois–Reymond Type Lemma and Its Application to Dirichlet Problem with the p(t)–Laplacian on a Bounded Time Scale" Entropy 23, no. 10: 1352. https://0-doi-org.brum.beds.ac.uk/10.3390/e23101352

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop