Next Article in Journal
Rational Solutions to the Fourth Equation of the Nonlinear Schrödinger Hierarchy
Previous Article in Journal
A New Encryption Algorithm Utilizing DNA Subsequence Operations for Color Images
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Two Positive Solutions for Elliptic Differential Inclusions

1
Department of Engineering, University of Messina, 98166 Messina, Italy
2
School of Mathematical and Statistical Sciences, University of Galway, H91 TK33 Galway, Ireland
3
Department of Mathematics and Computer Sciences, Physical Sciences and Earth Sciences, University of Messina, 98166 Messina, Italy
*
Author to whom correspondence should be addressed.
AppliedMath 2024, 4(4), 1404-1417; https://doi.org/10.3390/appliedmath4040074
Submission received: 9 September 2024 / Revised: 30 October 2024 / Accepted: 31 October 2024 / Published: 5 November 2024

Abstract

:
The existence of two positive solutions for an elliptic differential inclusion is established, assuming that the nonlinear term is an upper semicontinuous set-valued mapping with compact convex values having subcritical growth. Our approach is based on variational methods for locally Lipschitz functionals. As a consequence, a multiplicity result for elliptic Dirichlet problems having discontinuous nonlinearities is pointed out.

1. Introduction

This paper deals with the existence of two positive solutions for the following elliptic differential inclusion:
Δ u G ( u ) in Ω u = 0 on Ω ,
where Ω is a bounded open set in R N , N 3 , having a smooth boundary Ω , Δ is the classical Laplace operator and G : R 2 R is a set-valued mapping with convex compact values. Usually, problems of type (1) are investigated assuming G is either lower semicontinuous or upper semicontinuous. Indeed, in the first case, Michael’s selection theorem allows us to study differential inclusion through the equation with selection as its nonlinear term, while in the second case, fixed-point theorems for set-valued maps are applied (see, for instance [1] (Introduction p. 93)). We cite here the seminal work of S.A. Marano, where, by applying the Ky Fan fixed-point theorem and assuming G is upper semicontinuous, the existence of at least one solution for (1) was obtained (see [2] (Theorem 2.1)). As a consequence of this result, Marano obtained the existence of at least one solution for elliptic differential equations with discontinuous nonlinearities, where it is worth noticing that the set of discontinuity points may also be uncountable (see also [3]). Elliptic differential Dirichlet problems have been widely investigated (see, for instance, the papers of Stuart and Toland, such as [4]). We also cite the papers of Mi ([5,6]) for the research of positive solutions for a singular Dirichlet p-Laplacian elliptic problem and singular elliptic systems, respectively, through the lower and upper solutions method. Additionally, we can refer to [7,8] for the study of positive solutions for fractional differential systems. In particular, we emphasize the fundamental contribution of the seminal work of Chang [9] and the powerful paper of Ambrosetti and Badiale [10], where such arguments have been studied by variational methods. We also mention the very interesting paper of Marano and Motreanu [11], and we refer to Chapter 6.2, p. 321 in [12] for a complete overview of this field.
The aim of this paper is to present an existence and multiplicity result for differential inclusion (1). Specifically, we establish the existence of two positive solutions, assuming G is an upper semicontinuous map with compact convex values and has subcritical growth. We observe that in [2], in order to obtain a non-zero solution, it must be assumed in addition that 0 G ( 0 ) , which we do not require; in [11], multiple solutions are obtained with a sublinear growth, while here, the growth may also be superlinear; in [10,13], the set of discontinuity points is assumed to be countable, while here, it may also be uncountable.
To give an idea of this, we now report a consequence of our main result.
Theorem 1.
Let G : R 2 R be an upper semicontinuous set-valued mapping with compact convex values. Assume that
( i )
there are s [ 1 , 2 [ and q ] 2 , 2 N N 2 [ and two positive constants a s and a q , such that
0 min G ( t ) a s | t | s 1 + a q | t | q 1 t R .
( i i )
there exist two constants, m > 2 and l > 0 , such that
0 < m 0 t min G ( ξ ) d ξ t min G ( t ) f o r a l l t l .
( i i i )
lim sup t 0 + 0 t min G ( ξ ) d ξ t 2 = + .
Then, there exists R ^ > 0 such that for each R < R ^ , denoting by B R the open ball of center 0 and radius R, problem
Δ u G ( u ) in B R u = 0 on B R ,
admits at least two positive solutions.
The meaning of a solution is that of a generalized weak solution defined in Section 2 which returns the classical one, that is u W 2 , 2 ( B R ) W 0 1 , 2 ( Ω ) such that Δ u ( x ) G ( u ( x ) ) for a.a. x B R .
The main result of this paper is Theorem 3, which establishes, under essentially the same assumptions of G as previously mentioned, the existence of a precise interval for the positive real parameter λ such that the problem
Δ u λ G ( u ) in Ω u = 0 on Ω ,
admits at least two positive solutions. Moreover, a consequence is pointed out (see Theorem 4), and an application to Dirichlet problems with equations having discontinuous nonlinearities is established. Finally, two examples of applications are given (see Examples 1 and 2).
The reader can refer to the seminal books [14,15] for an overview of the non-smooth analysis theory and to [1,12] for basic notions of set-valued analysis. Finally, as references for boundary value problems with multivalued right-hand sides, we mention the papers [16,17,18,19].
The paper is organized as follows. Section 2 is devoted to some preliminaries and auxiliary results of set-valued and non-smooth analysis, which are useful to define the variational framework for problem (2). Additionally, we recall an abstract critical point theorem (see [20] ([Theorem 2.10])), that is Theorem 2, which is the main tool in our investigation to obtain our main result, presented in Section 3, together with its consequences and applications.

2. Basic Notions of Set-Valued and Non-Smooth Analysis

We recall here some notions from set-valued analysis, while for a general overview, we refer to the seminal book [1]. Let X , Y be two topological spaces. Given a set-valued mapping G : X 2 Y , we say that G is upper semicontinuous if, for any open set A Y , the set G + ( A ) = { x X : G ( x ) A } is open in X. We point out the following lemma (see, for instance, [17] (Lemma 2.1)).
Lemma 1.
Let G : R 2 R be a set-valued mapping with compact convex values. The following propositions are equivalent:
( a )
G is upper semicontinuous;
( b )
the single-valued mappings min G , max G : R R are l.s.c. and u.s.c., respectively.
Our approach is variational and it is based on the non-smooth analysis theory as developed by Clarke (see [14]). Let X be a Banach space with norm · X and let X be its topological dual. By · , · , we denote the duality brackets for the pair ( X ; X ) . We recall that a functional Ψ : X R is said to be locally Lipschitz if for every x X there exists a neighborhood U of x, U X and L U > 0 such that
| Ψ ( z ) Ψ ( y ) | L U z y X for all z , y U .
Moreover, if Ψ : X R is a locally Lipschitz functional, the generalized directional derivative in the sense of Clarke of Ψ at the point x in the direction y X is defined by
Ψ ( x ; y ) = lim sup z x , t 0 + Ψ ( z + t y ) Ψ ( z ) t .
The (Clarke) generalized gradient of Ψ at x X is defined by
Ψ ( x ) = { z X : z , y Ψ ( x ; y ) y X } .
The next proposition lists some properties of the generalized directional derivative and generalized gradient that are useful in the subsequent sections.
Proposition 1
(See [14]). Let Ψ , Φ : X R be two locally Lipschitz functions. Then, for every x , y X , the following conditions hold:
( 1 )
Ψ ( x ; c y ) = c Ψ ( x ; y ) with c > 0 ;
( 2 )
( Ψ + Φ ) ( x ; y ) Ψ ( x ; y ) + Φ ( x ; y ) or, equivalently, ( Ψ + Φ ) ( x ) Ψ ( u ) + Φ ( u ) ;
( 3 )
( Ψ ) ( x ; y ) = Ψ ( x ; y ) ;
( 4 )
the function ( x , y ) Ψ ( x ; y ) is upper semicontinuous;
( 5 )
if X is finite-dimensional, Ψ is upper semicontinuous in X;
( 6 )
Ψ ( x ; y ) = max { ξ , y , ξ Ψ ( x ) } .
Clearly, the generalized directional derivative extends the classical directional derivative. To be precise, one has
Lemma 2
([14]). Let Φ : X R be a continuously Gâteaux differentiable functional. Then, Φ is locally Lipschitz and
Φ ( x ) , y = Φ ( x ; y ) f o r a l l x , y X .
Finally, we say that x X is a critical point of Ψ when 0 Ψ ( x ) , namely Ψ ( x ; y ) 0 for all y X (see [9]).
For a full treatment of these topics, we refer to [15].
Now, consider the problem
Δ u λ G ( u ) in Ω u = 0 on Ω ,
where Ω R N , N 3 , is a bounded open set, with a smooth boundary Ω , λ is a positive real parameter and G : R 2 R is an upper semicontinuous set-valued mapping with compact convex values. We say that a function u W 0 1 , 2 ( Ω ) is a generalized weak solution of (2) if there is a function w L 2 ( Ω ) such that
(i)
w ( x ) G ( u ( x ) ) a . e . in Ω
(ii)
u is a weak solution of the problem
Δ u = λ w in Ω u = 0 on Ω ,
that is, we have
Ω u · v d x = λ Ω w v d x v W 0 1 , 2 ( Ω ) .
Clearly, when G is a single-valued mapping, the previous definition coincides with the usual definition of a weak solution. We also observe that, in a general case, since Ω is smooth enough (see, for instance, [21] (Theorem 9.25), [22] (Theorem 9.15)), we have u W 2 , 2 ( Ω ) W 0 1 , 2 ( Ω ) and Δ u ( x ) λ G ( u ( x ) ) for a.a. x Ω .
We assume that
( H )
there are a > 0 and 0 s N + 2 N 2 such that
0 f G ( t ) a ( 1 + | t | s ) t R ,
where f G ( t ) = min G ( t ) for all t R . In particular, we observe that from Lemma 1, f G : R R is a measurable function. Moreover, put F G : R R , the function defined by F G ( ξ ) = 0 ξ f G ( t ) d t ξ R . Clearly, F G is a locally Lipschitz function. Moreover, we define f G ( t ) = lim δ 0 + ess inf | h | < δ f G ( t + h ) and f G + ( t ) = lim δ 0 + ess sup | h | < δ f G ( t + h ) .
Remark 1.
Thanks to Lemma 1, min G and max G are measurable selections and any convex combination of these functions is still a measurable selection. However, we choose as a particular selection the minimum of G since its growth behaviour does not impose restrictions on the growth of the set-valued mapping G, which can also have supercritical growth. Therefore, our choice is motivated by the aim of considering a more general case that is possible.
Now, we introduce the variational setting for our problem, which involves Dirichlet boundary conditions, but we observe that it can be adapted to other boundary conditions, such as Neumann, mixed, or periodic conditions.
We take as Banach space X the Sobolev space W 0 1 , 2 ( Ω ) , endowed with the norm
u = Ω | u | 2 d x 1 / 2 u X .
Next, we define the functionals Φ , Ψ , I λ : X R by
Φ ( u ) = 1 2 u 2 ,
Ψ ( u ) = Ω F G ( u ( x ) ) d x ,
I λ ( u ) = Φ ( u ) λ Ψ ( u ) .
for all u X . Notice that Φ C 1 ( X , R ) and
Φ ( u ) ( v ) = Ω u · v d x , for all u , v X .
Moreover, standard computations show that the functional Ψ is well-defined and sequentially weakly continuous on X. Further, it is a locally Lipschitz functional on X (see [9]).
We point out the following proposition, which is based on a result of Chang (see [9] (Corollary p. 111)).
Proposition 2.
If u X is a critical point of functional I λ defined by (6), then u is a generalized weak solution for problem (2).
Proof. 
Let u X be a critical point of I λ . We have 0 I λ ( u ) , which means I λ ( u ) ( v ) 0 v X . Therefore, we have
0 ( Φ λ Ψ ) ( u ; v ) Φ ( u ; v ) + λ ( Ψ ) ( u ; v ) = Φ ( u ; v ) + λ ( Ψ ) ( u ; v ) for all v X .
Hence, Φ ( u ; v ) λ ( Ψ ) ( u ; v ) for all v X , that is Φ ( u ; s ) λ ( Ψ ) ( u ; s ) for all s X .
Therefore, we have
Φ ( u ) λ Ψ ( u ) .
Now, ref. [9] (Corollary p. 111) ensures that Ψ is locally Lipschitz on X and we have
Ψ ( u ) [ f G ( u ( x ) ) , f G + ( u ( x ) ) ] a . e . in Ω ,
where the latest must be read as follows: for all L Ψ ( u ) X , there is w L 2 ( Ω ) such that L ( v ) = λ Ω w v d x for all v X and w ( x ) [ f G ( u ( x ) ) , f G + ( u ( x ) ) ] a.e. in Ω . Therefore, from (7), there is w L 2 ( Ω ) such that Φ ( u ) ( v ) = Ω w v d x for all v X and w ( x ) [ f G ( u ( x ) ) , f G + ( u ( x ) ) ] a.e. in Ω .
In other words, u X is a weak solution of
Δ u = λ w in Ω u = 0 on Ω .
Finally, in order to obtain the conclusion, we claim
[ f G ( u ( x ) ) , f G + ( u ( x ) ) ] G ( u ( x ) ) a . e . in Ω .
Indeed, for all δ > 0 , we have ess inf | h | < δ f G ( t + h ) inf | h | < δ min G ( t + h ) for which, taking into account that min G is u.s.c., we have f G ( t ) = lim δ 0 + ess inf | h | < δ f G ( t + h ) min G ( t ) . In a similar way, it follows f G + ( t ) max G ( t ) , and hence, our claim is proven.
At this point, we have the conclusion, since w ( x ) G ( u ( x ) ) for a.a. x Ω . □
Finally, we recall that a functional I λ satisfies the Palais–Smale condition (briefly the ( P S ) -condition) if, for any sequence { u n } X , such that { I λ ( u n ) } is bounded and
I λ ( u n ; v u n ) + ε n v u n 0 , v X , n N ,
where ε n 0 + , has a convergent subsequence.
We conclude this section by pointing out that, in order to assure the existence of multiple solutions to problem (2), our main tool will be the following abstract critical point theorem for locally Lipschitz continuous functions (see Theorem 2.10 in [20]). We recall that this result is based on the Ambrosetti–Rabinowitz theorem ([23]).
Theorem 2.
Let X be a real Banach space and let Φ , Ψ : X R be two locally Lipschitz continuous functions such that inf X Φ = Φ ( 0 ) = Ψ ( 0 ) = 0 . Suppose that there exist r R and u ^ X with 0 < Φ ( u ^ ) < r such that
sup u Φ 1 ( ] , r ] ) Ψ ( u ) r < Ψ ( u ^ ) Φ ( u ^ )
and for each λ Λ r , u ^ : = Φ ( u ^ ) Ψ ( u ^ ) , r sup u Φ 1 ( ] , r ] ) Ψ ( u ) the functional I λ = Φ λ Ψ fulfills the ( P S ) -condition and it is unbounded from below.
Then, for each λ Λ r , u ^ , the functional I λ admits at least two nontrivial critical points u λ , 1 , u λ , 2 such that I λ ( u λ , 1 ) < 0 < I λ ( u λ , 2 ) .

3. Elliptic Differential Inclusions

In this section, G : R 2 R is an upper semicontinuous set-valued mapping with compact convex values such that the following condition holds:
( H 1 )
there are s [ 1 , 2 [ and q ] 2 , 2 N N 2 [ and two positive constants a s and a q such that
0 f G ( t ) a s | t | s 1 + a q | t | q 1 t R ,
where f G is defined as in Section 2. Clearly, condition ( H 1 ) implies the condition ( H ) given in Section 2, so that Proposition 2 holds.
Denoted by 2 = 2 N N 2 , the critical Sobolev exponent, it is well known that we have the continuous embedding
u 2 C u for all u X ,
where the constant C, given by
C = 1 N ( N 2 ) π N ! 2 Γ 1 + N 2 1 N ,
is the best constant, see Talenti [24], and Γ stands for the Gamma function. By Hölder’s inequality and (10) we obtain
u p = Ω | u | p d x 1 p | Ω | N 2 p p 2 u 2 | Ω | N 2 p p 2 C u
for all u X and for all p [ 1 , 2 [ , where | · | N denotes the Lebesgue measure on R N . As in Section 2, put F G ( ξ ) = 0 ξ f G ( t ) d t for all ξ R and
Φ ( u ) = u 2 2 , Ψ ( u ) = Ω F G ( u ) d x and I λ = Φ ( u ) λ Ψ ( u )
for all u X and for λ > 0 . In addition, we set
R ( x ) = sup δ : B ( x , δ ) Ω
for all x Ω and R = sup x Ω R ( x ) for which there exists x 0 Ω such that B ( x 0 , R ) Ω . Furthermore, put
K = R 2 2 1 2 N 1 1 2 C | Ω | N 1 N 2
and
K δ = 1 K 1 2 C | Ω | N 1 N 2 δ p F G ( δ ) , K γ = 1 2 C | Ω | N 1 N 2 1 a s s γ s p + a q q γ q p .
for two positive constants γ and δ , respectively.
The main result in this section reads as follows.
Theorem 3.
Let G : R 2 R be an upper semicontinuous set-valued mapping with compact convex values satisfying condition ( H 1 ) . Assume that there exist two positive constants γ , δ , with δ < γ , such that
a s s γ s 2 + a q q γ q 2 < K F G ( δ ) δ 2
and suppose that there exist two constants m > 2 and l > 0 such that
0 < m F G ( ξ ) ξ f G ( ξ ) f o r a l l ξ l .
Then, for each λ ] K δ , K γ [ , problem (2) admits at least two distinct positive generalized weak solutions.
Proof. 
Let λ ] K δ , K γ [ be fixed. From (15) and (16), we easily see that the interval ] K δ , K γ [ is not empty. We want to apply Theorem 2. First, we mention that the Ambrosetti–Rabinowitz condition stated in (17) implies that the functional I λ is unbounded from below and satisfies the Palais–Smale condition (see, for example, [25]). So, we only need to show that inequality (9) is satisfied. To this end, put
r = | Ω | N 2 2 2 C 2 γ 2
and note that the growth condition in ( H 1 ) implies
F G ( t ) a s s | t | s + a q q | t | q for all t R .
Taking into account (12), (18) and (19), we have
sup u Φ 1 ( ] , r [ ) Ψ ( u ) r sup u Φ 1 ( ] , r [ ) a s s u s s + a q q u q q r sup u Φ 1 ( ] , r [ ) a s s C s | Ω | N 2 s 2 u s + a q q C q | Ω | N 2 q 2 u q r a s s C s | Ω | N 2 s 2 ( 2 r ) s 2 + a q q C q | Ω | N 2 q 2 ( 2 r ) q 2 r = 2 C 2 | Ω | N 2 2 2 a s s 2 C 2 r | Ω | N 2 2 s 2 2 + a q q 2 C 2 r | Ω | N 2 2 q 2 2 = 2 C 2 | Ω | N 2 N a s s γ s 2 + a q q γ q 2 = 1 K γ ,
where
γ = 2 C 2 r | Ω | N 2 2 1 2 .
This implies that
sup u Φ 1 ( ] , r [ ) Ψ ( u ) r < 1 λ .
In order to prove the other inequality, let
v δ ( x ) = 0 if x Ω B ( x 0 , R ) , 2 δ R ( R | x x 0 | ) if x B ( x 0 , R ) B x 0 , R 2 , δ if x B x 0 , R 2 .
We easily see that v δ X . Moreover, one has
Φ ( v δ ) = 1 2 B ( x 0 , R ) B x 0 , 1 2 R ( 2 δ ) 2 R 2 d x = 1 2 ( 2 δ ) 2 R 2 π N 2 Γ 1 + N 2 R N 1 2 R N = 2 2 N 1 2 N R N 2 π N 2 Γ 1 + N 2 δ 2
and
Ψ ( v δ ) B x 0 , R 2 F G ( δ ) d x = F G ( δ ) π N 2 Γ 1 + N 2 R N 2 N .
Combining these estimates yields
Ψ ( v δ ) Φ ( v δ ) R 2 2 1 2 N 1 F G ( δ ) δ 2 = 2 C 2 | Ω | N 2 N K F G ( δ ) δ 2 = 1 K δ > 1 λ .
From (20) and (22), we obtain
sup u Φ 1 ( ] , r [ ) Ψ ( u ) r < 1 λ < Ψ ( v δ ) Φ ( v δ ) .
We only need to show that Φ ( v δ ) < r . Setting
k ^ = 2 2 N 1 2 N R N 2 π N 2 Γ 1 + N 2 2 C 2 | Ω | N 2 2 1 2 ,
we get from (21) that
Φ ( v δ ) = k ^ 2 | Ω | N 2 2 2 C 2 δ 2 .
Recall that δ < γ and we are going to show that k ^ δ < γ .
First, we observe that
1 k ˜ 2 = 2 N 2 2 N 1 1 R N 2 Γ 1 + N 2 π N 2 | Ω | N 2 2 2 C 2 = R 2 2 1 2 N 1 1 2 C 2 | Ω | N 2 N Γ 1 + N 2 π N 2 2 N R N | Ω | N = | Ω | N B x 0 , R 2 K K .
Now, we apply (16) in combination with the growth condition in (19) to obtain
a s s γ s + a q q γ q γ 2 < K a s s δ s + a q q δ q δ 2 .
Arguing by contradiction, we assume that k ^ δ γ . Then, this fact together with δ < γ and (24) gives
a s s γ s + a q q γ q γ 2 a s s γ s + a q q γ q k ^ 2 δ 2 1 k ^ 2 a s s δ s + a q q δ q δ 2 K a s s δ s + a q q δ q δ 2 ,
which is a contradiction to (25). Hence, k ^ δ < γ and this implies Φ ( v δ ) < r .
Now, taking (23) also into account, we are in the position to apply Theorem 2, which says that I λ admits two distinct non-zero critical points u 1 , u 2 . Therefore, Proposition 2 ensures that they are solutions of problem (2). So, in particular, there are w i L 2 ( Ω ) , i = 1 , 2 , such that u i are weak solutions of
Δ u = λ w i in Ω u = 0 on Ω ,
where w i ( x ) G ( u i ( x ) ) [ 0 , + [ a.e. in Ω , i = 1 , 2 , owing to ( H 1 ) . Hence, the strong maximum principle guarantees that u i , i = 1 , 2 , are positive in Ω , and the conclusion is achieved. □
Now put
λ ^ = 1 2 C 2 | Ω | N 2 N s a s q 2 q s q a q 2 s q s 2 s q 2 2 s q s q 2 q s .
We point out the following consequences of Theorem 3.
Theorem 4.
Let G : R 2 R be an upper semicontinuous set-valued mapping with compact convex values satisfying conditions ( H 1 ) and (17). Assume that
lim sup t 0 + F G ( t ) t 2 = + .
Then, for each λ ] 0 , λ ^ [ , problem (2) admits at least two distinct positive generalized weak solutions.
Proof. 
Let λ ] 0 , λ ^ [ be fixed. We easily see that λ ^ = sup γ K γ , and so there is γ > 0 such that λ < K γ . On the other side, since
lim sup t 0 + 2 C 2 K | Ω | N 2 N F G ( t ) t 2 = + ,
there exists δ < γ such that
2 C 2 K | Ω | N 2 N F G ( t ) t 2 > 1 λ .
Hence, λ ] K δ , K γ [ , and so condition (16) is fulfilled. Therefore, the statement of the corollary follows from Theorem 3. □
Remark 2.
Theorem 1 in the Introduction is a consequence of Theorem 4. It is enough to pick
R ^ = Γ ( 1 + N 2 ) 2 C 2 π s a s q 2 q s q a q 2 s q s 2 s q 2 2 s q s q 2 q s 1 / 2
and observe that λ ^ > 1 if and only if R < R ^ .
Now, we give an application of previous results to Dirichlet problems with discontinuous nonlinearities.
Theorem 5.
Let f : R R be almost every continuous function satisfying the following:
( H 2 )
there are s [ 1 , 2 [ and q ] 2 , 2 N N 2 [ and two positive constants a s and a q such that
0 f ( t ) a s | t | s 1 + a q | t | q 1 t R .
Put F ( t ) = 0 t f ( s ) d s , t R , and assume that there exist two constants m > 2 and l > 0 such that
0 < m F ( ξ ) ξ f ( ξ ) f o r a l l ξ l ,
and
lim sup t 0 + F ( t ) t 2 = + .
We denote by
D f = t R : f is not continuous at t .
and we require
inf D f f > 0 .
Then, for each λ ] 0 , λ ^ [ , problem
Δ u = λ f ( u ) in Ω u = 0 on Ω ,
admits at least two distinct positive weak solutions.
Proof. 
First, we observe that the assumption “f is a.e. continuous in R ” signifies | D f | = 0 . Moreover, assumption ( H 2 ) implies that f is a locally bounded function. So, F is well defined, and it is a locally Lipschitz function. Moreover, we can define f , f + as in Section 2. Consider F ( t ) , t R . Moreover, put L ( t ) = { a R : a , t F ( t ) } . Since L ( t ) and F are homeomorphic sets, from Propositions 2.1.5 (d) and 2.1.2 (a) in [14], L is an upper semicontinuous set-valued mapping with convex and compact values. Moreover, from Example 1 in [9] we have L ( t ) [ f ( t ) , f + ( t ) ] a.e. in R . So, in particular, one has L ( t ) = f ( t ) for a.a. t R since | D f | = 0 . Moreover, taking into account that min L ( t ) = f ( t ) for a.a. t R , simple computations show that L satisfies the assumptions ( H 1 ) , (17) and (27) of Theorem 4. Hence, problem
Δ u λ L ( u ) in Ω u = 0 on Ω ,
admits two positive generalized weak solutions. Let u be one of them. There is a function w L 2 ( Ω ) such that
(j)
w ( x ) L ( u ( x ) ) a . e . in Ω
(jj)
Ω u · v d x = λ Ω w v d x v W 0 1 , 2 ( Ω ) .
Since Ω is smooth enough, from usual regularity results, it follows that u W 2.2 ( Ω ) , and from ( j j ) , one has
Δ u ( x ) = λ w ( x )
for a.a. x Ω . Now, we claim that | u 1 ( D f ) | N = 0 . Arguing by a contradiction, assume | u 1 ( D f ) | N > 0 . From one side, Lemma 1 by De Giorgi, Buttazzo, and Dal Maso [26] ensures that Δ u ( x ) = 0 for a.a. x u 1 ( D f ) . On the other side, ( j ) ensures w ( x ) L ( u ( x ) ) for a.a. x u 1 ( D f ) , for which w ( x ) = f ( u ( x ) ) for a.a. x u 1 ( D f ) . Therefore, from (30), we obtain w ( x ) > 0 for a.a. x u 1 ( D f ) . Hence, we have 0 = Δ u ( x ) = λ w ( x ) > 0 for a.a. x u 1 ( D f ) and this is absurd, so our claim is proven.
Hence, we have
w ( x ) = f ( u ( x ) )
for a.a. x Ω , and from ( j j ) follows
Ω u · v d x = λ Ω f ( u ( x ) ) v d x v W 0 1 , 2 ( Ω ) .
This completes the proof. □
We now give two examples of applications of Theorem 5. The first has a nonlinearity with only one discontinuity point, while the nonlinearity on the second one has an uncountable set of discontinuity points.
Example 1.
The following problem has been introduced in [13]. Put
g ( s ) = 1 if s 0 0 if s > 0
and consider the problem
Δ u = u p 1 + b g ( u a ) in Ω u > 0 in Ω u = 0 on Ω ,
with 2 < p < 2 N N 2 and a , b > 0 . Theorem 5 ensures that there is
b ^ = ( 1 2 C 2 | Ω | N 2 N ) p 1 p 2 p p 2 1 p 2 p 2 p 1 p 1 p 2
such that for each a > 0 and for each b ] 0 , b ^ [ , problem (35) admits two positive weak solutions.
Indeed, by choosing p = q and s = 1 , all assumptions of Theorem 5 are verified. In particular, we have
0 | u | q 1 + b g ( u a ) | u | q 1 + b
for all u R . Hence, Theorem 5 ensures that the problem
Δ u = λ u p 1 + b g ( u a ) in Ω u = 0 on Ω ,
admits two positive weak solutions for each λ ] 0 , λ ^ [ where
λ ^ = 1 2 C 2 | Ω | N 2 N 1 b p 2 p 1 p 1 p 1 1 p 2 1 p 1 p 2 p 1 ,
so that λ ^ > 1 if and only if b < b ^ .
Example 2.
Put
g ( s ) = 0 if s C 1 if s R C ,
where C is the Cantor set, and consider the problem
Δ u = u p 1 + b g ( u ) in Ω u > 0 in Ω u = 0 on Ω ,
with 2 < p < 2 N N 2 and b > 0 . Theorem 5 ensures that there is
b ^ = ( 2 C 2 | Ω | N 2 N ) p 1 p 2 p p 2 1 p 2 p 2 p 1 p 1 p 2
such that for each b ] 0 , b ^ [ , problem (37) admits two positive weak solutions.
Indeed, by choosing p = q and s = 1 , all assumptions of Theorem 5 are verified. Hence, Theorem 5 ensures that the problem
Δ u = λ u p 1 + b g ( u ) in Ω u = 0 on Ω ,
admits two positive weak solutions for each λ ] 0 , λ ^ [ , where
λ ^ = 1 2 C 2 | Ω | N 2 N 1 b p 2 p 1 p 1 p 1 1 p 2 1 p 1 p 2 p 1 ,
so that λ ^ > 1 if and only if b < b ^ .
Remark 3.
Consider the following problem involving a hemivariational inequality
Ω u · v d x + λ Ω F ( u ( x ) ; v ( x ) ) d x 0 v W 0 1 , 2 ( Ω ) u W 0 1 , 2 ( Ω ) ,
where F stands for Clarke’s generalized directional derivative of a locally Lipschitz function F : R R given by F ( ξ ) = 0 ξ f ( z ) d z , z R , and f : R R is a locally essentially bounded function. If we assume ( H 2 ) , (27) and (28), and then for each λ ] 0 , λ ^ [ , problem (38) admits at least two positive solutions. Indeed, arguing as in the first part of the proof of Theorem 5, condition ( i ) and ( i i ) are obtained. Hence, taking into account that w ( x ) L ( u ( x ) ) if and only if w ( x ) v ( x ) F ( u ( x ) ; v ( x ) ) , one has
Ω u · v d x = λ Ω w v d x λ Ω F ( u ( x ) ; v ( x ) ) d x v W 0 1 , 2 ( Ω ) ,
which is the conclusion.

Author Contributions

The article is a joint work of four authors who contributed equally to the final version of the paper. All authors have read and agreed to the published version of the manuscript.

Funding

This paper is partially supported by PRIN 2022 “Nonlinear differential problems with applications to real phenomena (2022ZXZTN2)”.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Data sharing is not applicable to this article.

Acknowledgments

The first two authors and the fourth author are members of the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM).

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Aubin, J.P.; Cellina, A. Differential Inclusions: Set-Valued Maps and Viability Theory; Springer: Berlin/Heidelberg, Germany, 1984. [Google Scholar]
  2. Marano, S.A. Implicit elliptic boundary-value problems with discontinuous nonlinearities. Set-Valued Anal. 1996, 4, 287–300. [Google Scholar] [CrossRef]
  3. Bonanno, G.; Marano, S.A. Positive solutions of elliptic equations with discontinuous nonlinearities. Topol. Methods Nonlinear Anal. 1996, 8, 263–273. [Google Scholar] [CrossRef]
  4. Stuart, C.A.; Toland, J.F. A variational method for boundary value problems with discontinuous nonlinearities. J. Lond. Math. Soc. 1980, 21, 319–328. [Google Scholar] [CrossRef]
  5. Mi, L. Existence and boundary behavior of solutions to p-Laplacian elliptic equations. Bound. Value Probl. 2016, 2016, 119. [Google Scholar] [CrossRef]
  6. Mi, L. Positive solutions for a class of singular elliptic systems. Electron. J. Qual. Theory Differ. Equ. 2017, 24, 1–13. [Google Scholar] [CrossRef]
  7. Wang, Y.; Zi, Y. Positive solutions for Caputo fractional differential system with coupled boundary conditions. Adv. Differ. Equ. 2019, 2019, 80. [Google Scholar]
  8. Wang, Y.; Yang, J.; Zi, Y. Results of Positive Solutions for the Fractional Differential System on an Infinite Interval. J. Funct. Spaces 2020, 2020, 5174529. [Google Scholar] [CrossRef]
  9. Chang, K.C. Variational methods for non-differentiable functionals and their applications to partial differential equations. J. Math. Anal. Appl. 1981, 80, 102–129. [Google Scholar] [CrossRef]
  10. Ambrosetti, A.; Badiale, M. The dual variational principle and elliptic problems with discontinuous nonlinearities. J. Math. Anal. Appl. 1989, 140, 363–373. [Google Scholar] [CrossRef]
  11. Marano, S.A.; Motreanu, D. On a three critical points theorem for non-differentiable functions and applications to nonlinear boundary value problems. Nonlinear Anal. 2002, 48, 37–52. [Google Scholar] [CrossRef]
  12. Hu, S.; Papageorgiou, N.S. Handbook of Multivalued Analysis; Mathematics and Its Applications; Kluwer Academic Publishers: Dordrecht, The Netherlands, 1997; Volume 2. [Google Scholar]
  13. Badiale, M.; Tarantello, G. Existence and multiplicity results for elliptic problems with critical growth and discontinuous nonlinearities. Nonlinear Anal. 1997, 29, 639–677. [Google Scholar] [CrossRef]
  14. Clarke, F.H. Optimization and Nonsmooth Analysis; Society for industrial and Applied Mathematics (SIAM): Philadelphia, PA, USA, 1990; Volume 5. [Google Scholar]
  15. Motreanu, D.; Rădulescu, V. Variational and Non-Variational Methods in Nonlinear Analysis and Boundary Value Problems; Nonconvex Optimization and Applications; Kluwer Academic Publishers: Dordrecht, The Netherlands, 2003. [Google Scholar]
  16. Bonanno, G.; Candito, P.; Cianciaruso, F.; Pietramala, P. A unified approach for p-Laplacian inclusions depending on a parameter. Discrete Contin. Dyn. Syst. Ser. S, 2024; early access. [Google Scholar] [CrossRef]
  17. Bonanno, G.; Iannizzotto, A.; Marras, M. On ordinary differential inclusions with mixed boundary conditions. Differ. Integral Equ. 2017, 30, 273–288. [Google Scholar] [CrossRef]
  18. Bonanno, G.; Bella, B.D.; Morabito, V. Multiple solutions for fourth-order ordinary differential inclusions. Discrete Contin. Dyn. Syst. Ser. S, 2024; early access. [Google Scholar] [CrossRef]
  19. Livrea, R.; Vassallo, B. Three weak solutions to a periodic boundary Sturm-Liouville problem with discontinuous reaction. Discrete Contin. Dyn. Syst. Ser. S, 2024; early access. [Google Scholar] [CrossRef]
  20. Bonanno, G.; D’Aguì, G.; Winkert, P. A two critical points theorem for non-differentiable functions and applications to highly discontinuous PDE’S. Pure Appl. Funct. Anal. 2019, 4, 709–725. [Google Scholar]
  21. Brezis, H. Functional Analysis, Sobolev Spaces and Partial Differential Equations; Springer: New York, NY, USA, 2011. [Google Scholar]
  22. Gilbarg, D.; Trudinger, N.S. Elliptic Partial Differential Equations of Second Order, 2nd ed.; Springer: Berlin/Heidelberg, Germany, 1983. [Google Scholar]
  23. Ambrosetti, A.; Rabinowitz, P.H. Dual variational methods in critical point theory and applications. J. Funct. Anal. 1973, 14, 349–381. [Google Scholar] [CrossRef]
  24. Talenti, G. Best constant in Sobolev inequality. Ann. Mat. Appl. 1976, 110, 353–372. [Google Scholar] [CrossRef]
  25. Rabinowitz, P.H. Minimax Methods in Critical Point Theory with Applications to Differential Equations; Conference Board of the Mathematical Sciences: Poughkeepsie, NY, USA, 1986; Volume 65. [Google Scholar]
  26. Giorgi, E.D.; Buttazzo, G.; Maso, G.D. On the lower semicontinuity of certain integral functionals. Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Nat. Rend. 1983, 74, 274–282. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Bonanno, G.; Morabito, V.; O’Regan, D.; Vassallo, B. Two Positive Solutions for Elliptic Differential Inclusions. AppliedMath 2024, 4, 1404-1417. https://doi.org/10.3390/appliedmath4040074

AMA Style

Bonanno G, Morabito V, O’Regan D, Vassallo B. Two Positive Solutions for Elliptic Differential Inclusions. AppliedMath. 2024; 4(4):1404-1417. https://doi.org/10.3390/appliedmath4040074

Chicago/Turabian Style

Bonanno, Gabriele, Valeria Morabito, Donal O’Regan, and Bruno Vassallo. 2024. "Two Positive Solutions for Elliptic Differential Inclusions" AppliedMath 4, no. 4: 1404-1417. https://doi.org/10.3390/appliedmath4040074

APA Style

Bonanno, G., Morabito, V., O’Regan, D., & Vassallo, B. (2024). Two Positive Solutions for Elliptic Differential Inclusions. AppliedMath, 4(4), 1404-1417. https://doi.org/10.3390/appliedmath4040074

Article Metrics

Back to TopTop