Next Article in Journal
A Novel Grey Prediction Model: A Hybrid Approach Based on Extension of the Fractional Order Discrete Grey Power Model with the Polynomial-Driven and PSO-GWO Algorithm
Previous Article in Journal
Fractional Moore–Gibson–Thompson Heat Conduction for Vibration Analysis of Non-Local Thermoelastic Micro-Beams on a Viscoelastic Pasternak Foundation
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Existence of Solutions for a Hadamard Fractional Boundary Value Problem at Resonance

1
Department of Mathematics, Gh. Asachi Technical University, 700506 Iasi, Romania
2
Department of Computer Science and Engineering, Gh. Asachi Technical University, 700050 Iasi, Romania
*
Author to whom correspondence should be addressed.
Fractal Fract. 2025, 9(2), 119; https://doi.org/10.3390/fractalfract9020119
Submission received: 7 January 2025 / Revised: 10 February 2025 / Accepted: 11 February 2025 / Published: 14 February 2025
(This article belongs to the Section General Mathematics, Analysis)

Abstract

We explore the existence of solutions for a Hadamard fractional differential equation, subject to nonlocal boundary conditions, which contain Hadamard fractional derivatives and Riemann–Stieltjes integrals. This problem is a resonant one in the sense that the corresponding homogeneous boundary-value problem has nontrivial solutions. In the proof of the main result, we use the Mawhin continuation theorem.

1. Introduction

We consider the fractional differential equation
H D 1 + α u ( t ) = f ( t , u ( t ) , H D 1 + α n + 1 u ( t ) , H D 1 + α n + 2 u ( t ) , , H D 1 + α 1 u ( t ) ) , t ( 1 , e ) ,
supplemented with the nonlocal boundary conditions
u ( i ) ( 1 ) = 0 , i = 0 , , n 3 , H D 1 + α 1 u ( 1 ) = 1 e H D 1 + α 1 u ( s ) d P ( s ) , H D 1 + α 1 u ( e ) = 1 e H D 1 + α 1 u ( s ) d Q ( s ) ,
where α ( n 1 , n ] , n N , n 3 , H D 1 + κ is the Hadamard fractional derivative of order κ , for κ = α , α 1 , , α n + 1 ; f : ( 1 , e ) × R n R is a Carathéodory function, and the integrals from the boundary conditions (2) are Riemann–Stieltjes integrals with P , Q bounded variation functions.
Under some assumptions on the data of Problem (1),(2) (see assumption ( A 2 ) below), this problem is a resonant one, in the sense that the corresponding homogeneous boundary-value problem has nontrivial solutions. In this paper, we prove the existence of solutions for (1) and (2) using the coincidence degree theory of J. Mawhin (more precisely, the Mawhin continuation theorem (see {[1], Theorem IV.13}, [2])). We present next some papers that relate to our problem. In [3], the authors investigate the Hadamard fractional differential equation at resonance
( H D 1 + γ u ) ( t ) + f ( t , u ( t ) ) = 0 , t ( 1 , e ) , u ( 1 ) = 0 , u ( e ) = 1 e u ( t ) d A ( t ) ,
where γ ( 1 , 2 ) , f : ( 1 , e ) × R R satisfies Carathéodory conditions, and the integral from the boundary conditions is a Riemann-Stieltjes integral. By applying the Mawhin continuation theorem, they show the existence of solutions for Problem (3). In [4], the authors study the system of Hadamard fractional differential equations
H D 1 + α u ( t ) + f ( t , u ( t ) , v ( t ) , H I 1 + γ 1 u ( t ) , H I 1 + δ 1 v ( t ) ) = 0 , t [ 1 , e ] , H D 1 + β v ( t ) + g ( t , u ( t ) , v ( t ) , H I 1 + γ 2 u ( t ) , H I 1 + δ 2 v ( t ) ) = 0 , t [ 1 , e ] ,
subject to the coupled nonlocal boundary conditions
u ( i ) ( 1 ) = 0 , i = 0 , , n 2 , v ( i ) ( 1 ) = 0 , i = 0 , , m 2 , H D 1 + ς u ( e ) = i = 1 a 1 e D 1 + ϱ i H u ( s ) d H i ( s ) + i = 1 b 1 e H D 1 + σ i v ( s ) d K i ( s ) , H D 1 + ϑ v ( e ) = i = 1 c 1 e D 1 + η i H u ( s ) d P i ( s ) + i = 1 d 1 e H D 1 + θ i v ( s ) d Q i ( s ) ,
where α ( n 1 , n ] , n N , n 3 , β ( m 1 , m ] , m N , m 3 ; a , b , c , d N ; ς 1 , 0 ϱ i ς < α 1 , i = 1 , , a , 0 η k ς , k = 1 , , c , ϑ 1 , 0 σ j ϑ < β 1 , j = 1 , , b , 0 θ ι ϑ , ι = 1 , , d ; γ i , δ i > 0 , i = 1 , 2 ; and H I 1 + κ (for κ = γ i , δ i , i = 1 , 2 ) is the Hadamard fractional integral of order κ . The integrals from the boundary conditions (5) are Riemann-Stieltjes integrals with H i , K j , P k , Q ι , i = 1 , , a , j = 1 , , b , k = 1 , , c , ι = 1 , , d , bounded variation functions. By employing various fixed-point theorems, they prove the existence of positive solutions for Problem (4),(5). In Refs [5,6], the authors examine the system of nonlinear Hadamard fractional differential equations on an infinite interval
H D 1 + α x ( t ) + a ( t ) f ( x ( t ) , y ( t ) ) = 0 , t ( 1 , ) , H D 1 + β y ( t ) + b ( t ) g ( x ( t ) , y ( t ) ) = 0 , t ( 1 , ) ,
supplemented with the nonlocal boundary conditions
x ( 1 ) = x ( 1 ) = = x ( n 2 ) ( 1 ) = 0 , H D 1 + α 1 x ( ) = 1 x ( s ) d H 1 ( s ) + 1 y ( s ) d H 2 ( s ) , y ( 1 ) = y ( 1 ) = = y ( m 2 ) ( 1 ) = 0 , H D 1 + β 1 y ( ) = 1 x ( s ) d K 1 ( s ) + 1 y ( s ) d K 2 ( s ) ,
where α ( n 1 , n ] , n N , n 2 , β ( m 1 , m ] , m N , m 2 , the functions a , b : ( 1 , ) R + and f , g : R + × R + R + verify some assumptions, ( R + = [ 0 , ) ), and the integrals from (7) are Riemann–Stieltjes integrals with H 1 , H 2 , K 1 , K 2 : [ 1 , ) R functions of bounded variation. By using the fixed-point theory, they show the existence of positive solutions to Problem (6),(7), in two cases: the nonlinearities f , g are bounded or unbounded functions. In the paper [7], by applying the Mawhin coincidence theorem, the authors analyze the existence of at least one solution for the Riemann–Liouville fractional differential equation with Riemann–Stieltjes integral boundary conditions at resonance
( D 0 + α x ) ( t ) + f ( t , x ( t ) , D 0 + α 1 x ( t ) ) , t ( 0 , 1 ) , x ( 0 ) = x ( 0 ) = = x ( n 2 ) ( 0 ) = 0 , x ( k ) ( 1 ) = 0 1 x ( k ) ( t ) d A ( t ) ,
where α ( n 1 , n ] , k is any integer between 0 and n 1 , f : ( 0 , 1 ) × R 2 R satisfies Carathéodory conditions, and D 0 + κ is the Riemann-Liouville fractional derivative of order κ , for κ { α 1 , α } . In [8], the authors investigate the resonant boundary-value problem for the Riemann-Liouville fractional differential equation
( D a + α u ) ( t ) + f ( t , u ( t ) ) = 0 , t ( a , b ) , u ( a ) = 0 , u ( b ) = δ a η u ( s ) d s ,
where η ( a , b ) , and the function f : [ a , b ] × R + R is continuous. By employing the fixed-point index theory and the spectral theory of linear operators, they prove the existence of positive solutions for Problem (8). In the paper [9], the authors study the existence of solutions for the infinite point Riemann-Liouville fractional boundary-value problem at resonance
D 0 + α x ( t ) = f ( t , x ( t ) , D 0 + α 2 x ( t ) , D 0 + α 1 x ( t ) ) , t ( 0 , 1 ) , x ( 0 ) = 0 , D 0 + α 1 x ( 0 ) = i = 1 α i D 0 + α 1 x ( ξ i ) , D 0 + α 1 x ( 1 ) = i = 1 β i D 0 + α 1 x ( γ i ) ,
where α ( 2 , 3 ] , f : [ 0 , 1 ] × R 3 R is a Carathéodory function, ξ i γ i ( 0 , 1 ) , and { ξ i } i = 1 , { γ i } i = 1 are two monotonic sequences with lim i ξ i = a , lim i γ i = b , with a , b ( 0 , 1 ) , α i , β i R . In the proof of the main theorem, they use the Mawhin continuation theorem. In [10], by applying the coincidence degree theory, the authors examine the existence of solutions for the Riemann-Liouville fractional boundary-value problem at resonance on an infinite interval.
D 0 + α u ( t ) = f ( t , u ( t ) , D 0 + α 2 u ( t ) , D 0 + α 1 u ( t ) ) , t ( 0 , ) , u ( 0 ) = 0 , D 0 + α 2 u ( 0 ) = i = 1 m α i D 0 + α 2 u ( ξ i ) , D 0 + α 1 u ( ) = j = 1 n β j D 0 + α 1 u ( η j ) ,
where α ( 2 , 3 ] , 0 < ξ 1 < ξ 2 < < ξ m < , 0 < η 1 < η 2 < < η n < , α i , β j R for i = 1 , , m , j = 1 , , n , and f : ( 0 , ) × R 3 R is a Carathéodory function. Various resonant boundary-value problems for Riemann-Liouville or Caputo fractional differential equations and systems, on finite or infinite intervals, are investigated in the papers [11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28].
Hadamard fractional calculus finds applications across multiple disciplines, including rheology and probability theory (see the papers [29,30] with their references). For instance, extensions of the Lomnitz logarithmic creep law are utilized to model geophysical behaviors in materials that exhibit fluid-like properties, such as igneous rocks. For additional recent studies on Hadamard fractional differential equations and systems with diverse applications, we recommend the monograph [31] and its references. The novelties of our Problem (1),(2) consist of the consideration of the resonant case for a Hadamard fractional differential equation of arbitrary order, also containing different fractional derivatives and the general boundary conditions with Riemann-Stieltjes integrals which incorporate finite or infinite multi-point boundary conditions (when P and Q are step functions with finite or infinite values), classical integral conditions (when P and Q are derivable functions), and combination of them.
The structure of our paper is as follows. In Section 2, we present some notions from the coincidence degree theory, the Mawhin continuation theorem, and some definitions and results from the Hadamard fractional calculus. In Section 3, we give the auxiliary results and the main theorem for our Problem (1),(2). Section 4 contains an example that illustrates our results, and in Section 5, we present the conclusions for this paper.

2. Preliminaries

In this section, we first present some definitions from the coincidence degree theory and the Mawhin continuation theorem from [1] (see also [2]) that we will apply in the next section.
Let X and Y be two real normed spaces. A linear operator L : D ( L ) X Y is called a Fredholm operator if K e r L has a finite dimension, and I m L is closed and has a finite codimension. Here D ( L ) is the domain of operator L , K e r L = L 1 { 0 } is the kernel of L , and I m L = L ( D ( L ) ) is the image of operator L . The codimension of I m L is the dimension of Y / I m L , i.e., the dimension of the cokernel C o k e r L of L . When L is a Fredholm operator, its Fredholm index is the integer I n d L = d i m K e r L c o d i m I m L .
For a Fredholm operator L : X Y of index zero, from the basic results of linear functional analysis, we deduce that there exist continuous projectors H : X X and K : Y Y such that I m H = K e r L and K e r K = I m L , so that X = K e r L K e r H and Y = I m L I m K as topological direct sums. Then the restriction L H of L to D ( L ) K e r H is one-to-one and onto, so that its algebraic inverse T H : I m L D ( L ) K e r H is defined. We denote by T H , K : Y D ( L ) K e r H the generalized inverse of L defined by T H , K = T H ( I K ) .
Let E be a metric space and N : E Y be an operator (not necessarily linear). The operator N is L -compact on E if the operators K N : E Y and T H , K N : E X are compact on E , i.e., continuous on E and such that K N ( E ) and T H , K N ( E ) are relatively compact.
Theorem 1.
([1]). Let Ω X be an open bounded subset, L : D ( L ) X Y be a linear Fredholm operator of index zero, and N : Ω ¯ Y be an L -compact operator on Ω ¯ which satisfy the following conditions:
(i) 
L u λ N u for every ( u , λ ) ( ( D ( L ) K e r L ) Ω ) × ( 0 , 1 ) ;
(ii) 
N u I m L for every u K e r L Ω ;
(iii) 
d e g ( K N | K e r L Ω ¯ , Ω K e r L , 0 ) 0 , with K : Y Y a continuous projector such that K e r K = I m L .
Then the equation L u = N u has at least one solution in D ( L ) Ω ¯ .
In Theorem 1, Ω is the boundary of the set Ω , and Ω ¯ is the closure of Ω . In addition, in condition ( i i i ) from Theorem 1, d e g ( K N | K e r L Ω ¯ , Ω K e r L , 0 ) is the degree of operator K N | K e r L Ω ¯ with respect to Ω K e r L and 0 (see [1], Chapter II).
Now, we recall some definitions and lemmas from the Hadamard fractional calculus (see the monograph [32]).
Definition 1.
For a function u : [ a , b ] R , ( b > a 1 ), the left-sided Hadamard fractional integral of order α > 0 with lower limit a is defined by
( H I a + α u ) ( t ) = 1 Γ ( α ) a t ln t τ α 1 u ( τ ) τ d τ , t > 0 .
Definition 2.
For a function u : [ a , b ] R , ( b > a 1 ), the left-sided Hadamard fractional derivative of order α 0 with lower limit a is defined by
H D a + α u ( t ) = t d d t n H I a + n α u ( t ) = 1 Γ ( n α ) t d d t n a t ln t τ n α 1 u ( τ ) τ d τ ,
where n = [ α ] + 1 .
For α = m N , then H D a + m u ( t ) = ( δ m u ) ( t ) , t > a , where δ = t d d t is the δ -derivative.
Lemma 1.
If α , β > 0 , and a 1 , then
H I a + α ln t a β 1 ( x ) = Γ ( β ) Γ ( β + α ) ln x a β + α 1 , H D a + α ln t a β 1 ( x ) = Γ ( β ) Γ ( β α ) ln x a β α 1 ,
and in particular ( H D a + α ( ln t a ) α j ) ( x ) = 0 , for j = 1 , , [ α ] + 1 .
Lemma 2.
Let α > 0 and z , u L 1 ( a , b ) , ( b > a 1 ). Then the Hadamard fractional differential equation H D a + α z ( t ) = 0 has the solutions
z ( t ) = i = 1 n c i ( ln t ) α i , t ( a , b ) ,
and the following formula holds
H I a + α H D a + α u ( t ) = u ( t ) + i = 1 n d i ( ln t ) α i , t ( a , b ) ,
where c i , d i R , i = 1 , , n and n = [ α ] + 1 .
Lemma 3.
Let u L 1 ( a , b ) , ( b > a 1 ). Then
(a) 
H I H a + α I a + β u ( t ) = H I a + α + β u ( t ) , α , β > 0 ;
(b) 
H D a + β H I a + α u ( t ) = H I a + α β u ( t ) , α > β > 0 ; H D a + α H I a + α u ( t ) = u ( t ) , α > 0 .
Lemma 4.
Let α > 0 , p N and δ = t d d t . If the fractional derivatives ( H D a + α u ) ( t ) and ( H D a + α + p u ) ( t ) exist, then
( δ p H D a + α u ) ( t ) = ( H D a + α + p u ) ( t ) , t ( a , b ) .
Remark 1.
Using Lemma 4 with p = 1 , we obtain
δ H D a + α u ( t ) = ( H D a + α + 1 u ) ( t ) d d t ( H D a + α u ( t ) ) = 1 t H D a + α + 1 u ( t ) , t ( a , b ) .
Then
H D a + α u ( t ) = H D a + α u ( t 1 ) + t 1 t H D a + α + 1 u ( s ) d s s , t , t 1 ( a , b ) .

3. Main Result

In this section, we present the auxiliary results and our main theorem for the existence of solutions to Problem (1),(2).
We denote by
a = 1 e ( P ( e ) P ( s ) ) d s s , b = 1 e ( P ( e ) P ( s ) ) ln s s d s , c = 1 e ( Q ( 1 ) Q ( s ) ) d s s , d = 1 e ( Q ( 1 ) Q ( s ) ) ln s s d s , Δ = a d b c .
We give firstly our main assumptions:
(A1)
The function f : ( 1 , e ) × R n R is a Carathéodory function, satisfying the conditions
(a)
f ( · , u 1 , u 2 , , u n ) is measurable for each ( u 1 , u 2 , , u n ) R n ;
(b)
f ( t , · , · , , · ) is continuous (in the last n variables) for a.e. t ( 1 , e ) ;
(c)
For each l > 0 there exists ω l L ( 1 , e ) such that
| f ( t , u 1 , u 2 , , u n ) | ω l ( t ) ,
for all u i R with | u i | l , i = 1 , , n , and a.e. t ( 1 , e ) .
(A2)
The functions P , Q : [ 1 , e ] R have bounded variations, and satisfy the resonant conditions 1 e d P ( s ) = 1 (that is, P ( e ) P ( 1 ) = 1 ), and 1 e d Q ( s ) = 1 (that is, Q ( e ) Q ( 1 ) = 1 ); in addition, Δ 0 , where Δ is given by (10).
Remark 2.
If ( A 2 ) holds, then Problem (1),(2) is at resonance, because the fractional differential equation
H D 1 + α u ( t ) = 0 , t ( 1 , e ) ,
with the boundary conditions (2) has the nontrivial solutions u ( t ) = a 1 ( ln t ) α 1 + a 2 ( ln t ) α 2 , for t [ 1 , e ] , with a 1 , a 2 R (see the proof of Lemma 5 below).
We introduce the Banach space
X = u ; u , H D 1 + α n + 1 u , , H D 1 + α 1 u C [ 1 , e ] ,
with the norm
u X = max u , H D 1 + α n + 1 u , , H D 1 + α 1 u ,
where u = sup t [ 1 , e ] | u ( t ) | , and the Banach space Y = L 1 ( 1 , e ) with the norm v Y = 1 e | v ( t ) | d t .
We define the linear operator L : D ( L ) X Y , with
D ( L ) = u X ; H D 1 + α u Y , and u satisfies the boundary conditions ( 2 ) ,
given by
L u ( t ) = H D 1 + α u ( t ) , t ( 1 , e ) , u D ( L ) ,
and the nonlinear operator N : X Y , given by
N u ( t ) = f ( t , u ( t ) , H D 1 + α n + 1 u ( t ) , , H D 1 + α 1 u ( t ) ) , t ( 1 , e ) , u X .
Using the above operators L and N , Problem (1),(2) is equivalent to the operator equation
L u = N u , u D ( L ) .
By Remark 2, we see that operator L is non-invertible.
Lemma 5.
We suppose that ( A 2 ) holds. Then operator L : D ( L ) X Y has the properties
K e r L = { u D ( L ) ; u ( t ) = a 1 ( ln t ) α 1 + a 2 ( ln t ) α 2 , t [ 1 , e ] , a 1 , a 2 R } X ,
I m L = { v Y ; ( S 1 v ) ( t ) = ( S 2 v ) ( t ) = 0 , t [ 1 , e ] } Y ,
where
( S 1 v ) ( t ) = 1 e ( P ( e ) P ( s ) ) v ( s ) d s s , t [ 1 , e ] , ( S 2 v ) ( t ) = 1 e ( Q ( 1 ) Q ( s ) ) v ( s ) d s s , t [ 1 , e ] .
Proof. 
Let u K e r L , i.e., u D ( L ) and L u = 0 . So H D 1 + α u ( t ) = 0 . Then, by Lemma 2, we obtain
u ( t ) = a 1 ( ln t ) α 1 + + a n ( ln t ) α n , t [ 1 , e ] ,
with a i R , i = 1 , , n . By conditions u ( i ) ( 1 ) = 0 , for i = 0 , , n 3 , we deduce that a j = 0 , for j = 3 , , n . Therefore, by (15), we find
u ( t ) = a 1 ( ln t ) α 1 + a 2 ( ln t ) α 2 , t [ 1 , e ] .
Because H D 1 + α 1 u ( t ) = a 1 Γ ( α ) , then, by ( A 2 ) , the conditions
H D 1 + α 1 u ( 1 ) = 1 e H D 1 + α 1 u ( s ) d P ( s ) a 1 Γ ( α ) 1 1 e d P ( s ) = 0 , and H D 1 + α 1 u ( e ) = 1 e H D 1 + α 1 u ( s ) d Q ( s ) a 1 Γ ( α ) 1 1 e d Q ( s ) = 0 ,
are satisfied. So, we deduce
K e r L u D ( L ) ; u ( t ) = a 1 ( ln t ) α 1 + a 2 ( ln t ) α 2 , a 1 , a 2 R .
Conversely, let u D ( L ) , u ( t ) = a 1 ( ln t ) α 1 + a 2 ( ln t ) α 2 , t [ 1 , e ] , with a 1 , a 2 R . We easily see that H D 1 + α u ( t ) = 0 , t [ 1 , e ] , and u verifies the conditions (2), i.e., u K e r L . Hence,
u D ( L ) ; u ( t ) = a 1 ( ln t ) α 1 + a 2 ( ln t ) α 2 , a 1 , a 2 R K e r L .
Therefore Relationship (12) holds. We remark that d i m K e r L = 2 .
Now we prove Relationship (13). Let v I m L . Then there exists u D ( L ) such that L u = v or
H D 1 + α u ( t ) = v ( t ) , t ( 1 , e ) , u D ( L ) .
We apply the integral operator H I 1 + α to Equation (16), and we obtain
u ( t ) = H I 1 + α v ( t ) + a 1 ( ln t ) α 1 + a 2 ( ln t ) α 2 + + a n ( ln t ) α n = 1 Γ ( α ) 1 t ln t s α 1 v ( s ) s d s + a 1 ( ln t ) α 1 + a 2 ( ln t ) α 2 + + a n ( ln t ) α n ,
with a i R , i = 1 , , n . By conditions u ( i ) ( 1 ) = 0 , i = 0 , , n 3 , we deduce a 3 = a 4 = = a n = 0 . Therefore, by (17), we find
u ( t ) = 1 Γ ( α ) 1 t ln t s α 1 v ( s ) s d s + a 1 ( ln t ) α 1 + a 2 ( ln t ) α 2 .
Then
H D 1 + α 1 u ( t ) = H I 1 + 1 v ( t ) + a 1 Γ ( α ) = 1 t v ( s ) s d s + a 1 Γ ( α ) .
So conditions H D 1 + α 1 u ( 1 ) = 1 e H D 1 + α 1 u ( s ) d P ( s ) and H D 1 + α 1 u ( e ) = 1 e H D 1 + α 1 u ( s ) d Q ( s ) , give us
a 1 Γ ( α ) = 1 e 1 s v ( τ ) d τ τ + a 1 Γ ( α ) d P ( s ) , 1 e v ( s ) d s s + a 1 Γ ( α ) = 1 e 1 s v ( τ ) d τ τ + a 1 Γ ( α ) d Q ( s ) ,
or
a 1 Γ ( α ) 1 1 e d P ( s ) = 1 e 1 s v ( τ ) d τ τ d P ( s ) , a 1 Γ ( α ) 1 1 e d Q ( s ) = 1 e v ( s ) d s s + 1 e 1 s v ( τ ) d τ τ d Q ( s ) .
By the resonant conditions from ( A 2 ) , we obtain
1 e 1 s v ( τ ) d τ τ d P ( s ) = 0 , 1 e 1 s v ( τ ) d τ τ d Q ( s ) 1 e v ( s ) d s s = 0 ,
and so
1 e ( P ( e ) P ( s ) ) v ( s ) d s s = 0 , 1 e ( Q ( 1 ) Q ( s ) ) v ( s ) d s s = 0 .
Thus, ( S 1 v ) ( t ) = ( S 2 v ) ( t ) = 0 , for all t [ 1 , e ] , i.e.,
I m L { v Y ; ( S 1 v ) ( t ) = ( S 2 v ) ( t ) = 0 , t [ 1 , e ] } .
Conversely, let v Y with ( S 1 v ) ( t ) = ( S 2 v ) ( t ) = 0 for all t [ 1 , e ] . We take u ( t ) = H I 1 + α v ( t ) = 1 Γ ( α ) 1 t ( ln t s ) α 1 v ( s ) d s s , t [ 1 , e ] . Obviously, we deduce that u D ( L ) . Indeed we have u, H D 1 + α n + 1 u = H I 1 + n 1 u , , H D 1 + α 1 u = H I 1 + 1 u C [ 1 , e ] and H D 1 + α u = v Y . In addition, u satisfies the conditions (2), i.e., u ( i ) ( 1 ) = 0 , i = 0 , , n 3 . Because H D 1 + α 1 u ( t ) = H I 1 + 1 v ( t ) = 1 t v ( s ) d s s , then the conditions
H D 1 + α 1 u ( 1 ) = 1 e H D 1 + α 1 u ( s ) d P ( s ) 0 = 1 e 1 s v ( τ ) d τ τ d P ( s ) 0 = 1 e s e d P ( τ ) v ( s ) d s s 0 = 1 e ( P ( e ) P ( s ) ) v ( s ) d s s ,
and
H D 1 + α 1 u ( e ) = 1 e H D 1 + α 1 u ( s ) d Q ( s ) 1 e v ( s ) d s s = 1 e 1 s v ( τ ) d τ τ d Q ( s ) 1 e v ( s ) d s s = 1 e τ e d Q ( s ) v ( τ ) d τ τ 1 e v ( s ) d s s = 1 e s e d Q ( τ ) v ( s ) d s s 1 e v ( s ) d s s = 1 e ( Q ( e ) Q ( s ) ) v ( s ) d s s 1 e ( Q ( 1 ) Q ( s ) ) v ( s ) d s s = 0 ,
are satisfied. In addition, we have L u ( t ) = v ( t ) H D 1 + α ( H I 1 + α v ( t ) ) = v ( t ) for t ( 1 , e ) . Then we conclude
{ v Y ; ( S 1 v ) ( t ) = ( S 2 v ) ( t ) = 0 , t [ 1 , e ] } I m L .
Therefore, by (18) and (19) we obtain Relationship (13).  □
Remark 3.
The kernel of operator L is characterized by logarithmic terms due to the Hadamard integral and derivative, which are involved in our problem.
Now, we define the linear operators E 1 , E 2 : Y Y by
E 1 v = 1 Δ ( d S 1 v b S 2 v ) , E 2 v = 1 Δ ( a S 2 v c S 1 v ) , v Y .
Lemma 6.
We suppose that ( A 2 ) holds. Then L : D ( L ) X Y is a Fredholm operator of index zero. Moreover, the operators H : X X and K : Y Y given by
H u ( t ) = 1 Γ ( α ) H D 1 + α 1 u ( 1 ) ( ln t ) α 1 + 1 Γ ( α 1 ) H D 1 + α 2 u ( 1 ) ( ln t ) α 2 , t [ 1 , e ] , u X , K v ( t ) = E 1 v ( t ) + ( E 2 v ( t ) ) ln t , t [ 1 , e ] , v Y ,
are linear projectors and satisfy the relationships
I m H = K e r L , K e r K = I m L , X = K e r H K e r L , Y = I m L I m K .
Proof. 
By definition of operator H , we see that it is a continuous and linear projector operator. Indeed, we have
H 2 u ( t ) = H ( H u ( t ) ) = 1 Γ ( α ) H D 1 + α 1 ( H u ) ( 1 ) ( ln t ) α 1 + 1 Γ ( α 1 ) H D 1 + α 2 ( H u ) ( 1 ) ( ln t ) α 2 .
We obtain
H D 1 + α 1 ( H u ) ( t ) = 1 Γ ( α ) H D 1 + α 1 u ( 1 ) Γ ( α ) ,
and so H D 1 + α 1 ( H u ) ( 1 ) = 1 Γ ( α ) H D 1 + α 1 u ( 1 ) Γ ( α ) . In addition, we find
H D 1 + α 2 ( H u ) ( t ) = H D 1 + α 1 u ( 1 ) ( ln t ) + H D 1 + α 2 u ( 1 ) ,
and then H D 1 + α 2 ( H u ) ( 1 ) = H D 1 + α 2 u ( 1 ) . Therefore Relationship (23) gives us H 2 u ( t ) = H u ( t ) for all t [ 1 , e ] and u X .
Moreover, H satisfies the relationship I m H = K e r L . To prove this, we consider first v I m H ; then there exists u X such that H ( u ) = v , or equivalently
1 Γ ( α ) H D 1 + α 1 u ( 1 ) ( ln t ) α 1 + 1 Γ ( α 1 ) H D 1 + α 2 u ( 1 ) ( ln t ) α 2 = v .
From the above relationship, we see that v D ( L ) , and evidently H D 1 + α v ( t ) = 0 ; so v K e r L . Therefore, we deduce that I m H K e r L . In what follows, we consider v K e r L , namely v ( t ) = a 1 ( ln t ) α 1 + a 2 ( ln t ) α 2 , t [ 1 , e ] , a 1 , a 2 R . Then there exists u X such that H ( u ) = v . Indeed for u = v , we obtain H ( u ) = v , i.e., v I m H . We derive that K e r L I m H . Therefore, we conclude that I m H = K e r L .
Based on this last relationship, ( I m H = K e r L ), we obtain X = K e r H K e r L . To show this, we firstly see that
K e r H = { u X , H D 1 + α 1 u ( 1 ) = 0 , H D 1 + α 2 u ( 1 ) = 0 } .
Then for u X , we have u = ( u H u ) + H u ; so we find X = K e r H + I m H = K e r H + K e r L . We also have the relationship K e r H K e r L = { 0 } . Indeed, we easily see that { 0 } K e r H K e r L . In addition K e r H K e r L { 0 } . To prove this last inclusion, we consider u K e r H K e r L , i.e., H u = 0 and L u = 0 . Then u ( t ) = a 1 ( ln t ) α 1 + a 2 ( ln t ) α 2 , with a 1 , a 2 R , and H D 1 + α 1 u ( 1 ) = 0 , and H D 1 + α 2 u ( 1 ) = 0 . By the last two relationships, we deduce that u ( t ) = 0 , for all t [ 1 , e ] . Therefore, we conclude that K e r H K e r L { 0 } . Therefore, we infer that K e r H K e r L = { 0 } , and then X = K e r H K e r L .
Next, we remark that the operator K is continuous and linear, and d i m I m K = 2 . By definitions of E 1 and E 2 (see (20)), we obtain for any v Y and t [ 1 , e ]
E 1 ( E 1 v ) ( t ) = 1 Δ ( d S 1 ( E 1 v ) b S 2 ( E 1 v ) ) = 1 Δ d 1 e ( P ( e ) P ( s ) ) ( E 1 v ) ( s ) d s s b 1 e ( Q ( 1 ) Q ( s ) ) ( E 1 v ) ( s ) d s s = 1 Δ ( E 1 v ) ( t ) d 1 e ( P ( e ) P ( s ) ) d s s b 1 e ( Q ( 1 ) Q ( s ) ) d s s = ( E 1 v ) ( t ) ,
E 2 ( ( E 2 v ) ln t ) ( t ) = 2 Δ ( a S 2 ( ( E 2 v ) ln t ) c S 1 ( ( E 2 v ) ln t ) ) = 1 Δ a 1 e ( Q ( 1 ) Q ( s ) ) ( E 2 v ) ( s ) ln s d s s c 1 e ( P ( e ) P ( s ) ) ( E 2 v ) ( s ) ln s d s s = 1 Δ ( E 2 v ) ( t ) a 1 e ( Q ( 1 ) Q ( s ) ) ln s d s s c 1 e ( P ( e ) P ( s ) ) ln s d s s = ( E 2 v ) ( t ) , E 1 ( ( E 2 v ) ln t ) ( t ) = 1 Δ d S 1 ( ( E 2 v ) ln t ) b S 2 ( ( E 2 v ) ln t ) = 1 Δ d 1 e ( P ( e ) P ( s ) ) ( E 2 v ) ( s ) ln s d s s b 1 e ( Q ( 1 ) Q ( s ) ) ( E 2 v ) ( s ) ln s d s s = 1 Δ d ( E 2 v ) ( t ) 1 e ( P ( e ) P ( s ) ) ln s d s s b ( E 2 v ) ( t ) 1 e ( Q ( 1 ) Q ( s ) ) ln s d s s = 1 Δ ( E 2 v ) ( t ) ( d b b d ) = 0 , E 2 ( E 1 v ) ( t ) = 1 Δ ( a S 2 ( E 1 v ) c S 1 ( E 1 v ) ) = 1 Δ a 1 e ( Q ( 1 ) Q ( s ) ) ( E 1 v ) ( s ) d s s c 1 e ( P ( e ) P ( s ) ) ( E 1 v ) ( s ) d s s = 1 Δ ( E 1 v ) ( t ) a 1 e ( Q ( 1 ) Q ( s ) ) d s s c 1 e ( P ( e ) P ( s ) ) d s s = 1 Δ ( E 1 v ) ( t ) ( a c c a ) = 0 .
Then, by the above relationships, we find
K 2 v ( t ) = K ( K v ) ( t ) = E 1 ( K v ) ( t ) + E 2 ( K v ) ( t ) ln t = E 1 ( E 1 v ( t ) + ( E 2 v ( t ) ) ln t ) + E 2 ( E 1 v ( t ) + ( E 2 v ( t ) ) ln t ) ln t = E 1 ( E 1 v ) ( t ) + E 1 ( E 2 v ( t ) ln t ) + E 2 ( E 1 v ( t ) ) ln t + E 2 ( E 2 v ( t ) ln t ) ln t = E 1 v ( t ) + E 2 v ( t ) ln t = K v ( t ) ,
for all v Y and t [ 1 , e ] . So, we deduce that K is a projector operator.
By Lemma 5 we have I m L K e r K . We will prove next that K e r K I m L . For this, let v K e r K be arbitrary but fixed for the moment. Then K v = 0 , or E 1 v ( t ) + ( E 2 v ( t ) ) ln t = 0 for all t [ 1 , e ] . So, we obtain
1 Δ ( d S 1 v b S 2 v ) + 1 Δ ( a S 2 v c S 1 v ) ln t = 0 .
Therefore, we find the following homogeneous system of linear equations in the unknowns S 1 v and S 2 v
d S 1 v b S 2 v = 0 , a S 2 v c S 1 v = 0 .
Because the determinant of the system (24) is Δ = a d b c 0 , we deduce that this system has only the zero solution, i.e., S 1 v = 0 and S 2 v = 0 . So v I m L , and then K e r K I m L . Therefore, we conclude that K e r K = I m L .
Based on this last relationship ( K e r K = I m L ), we obtain that Y = I m L I m K . Indeed, for a function v Y , we can write v = ( v K v ) + K v , and then v K v K e r K = I m L . So K v I m K . Hence, we deduce that v I m L + I m K . In addition, for any v I m L I m K we obtain S 1 v = 0 , S 2 v = 0 , and there exists w D ( K ) such that K w = v . Therefore, there exist c 1 , c 2 R such that v ( t ) = c 1 + c 2 ln t , t [ 1 , e ] . We deduce the system
1 e ( P ( e ) P ( s ) ) ( c 1 + c 2 ln s ) d s s = 0 , 1 e ( Q ( 1 ) Q ( s ) ) ( c 1 + c 2 ln s ) d s s = 0 ,
or
c 1 1 e ( P ( e ) P ( s ) ) d s s + c 2 1 e ( P ( e ) P ( s ) ) ln s d s s = 0 , c 1 1 e ( Q ( 1 ) Q ( s ) ) d s s + c 2 1 s ( Q ( 1 ) Q ( s ) ) ln s d s s = 0 .
Then, we find the system
a c 1 + b c 2 = 0 , c c 1 + d c 2 = 0 ,
which has the unique solution c 1 = c 2 = 0 . Hence, we deduce that v = 0 , i.e., I m L I m K = { 0 } . So Y = I m L I m K , and all the relationships from (22) hold.
Therefore, by (22) we obtain d i m K e r L = 2 and c o d i m I m L = 2 . Because I m L is closed, we conclude that L is a Fredholm operator with the index I n d L = 0 .  □
Lemma 7.
Assume that ( A 2 ) holds. Then the operator T H : I m L Y D ( L ) K e r H X defined by
( T H v ) ( t ) = H I 1 + α v ( t ) = 1 Γ ( α ) 1 t ln t s α 1 v ( s ) d s s , v I m L ,
is the inverse of operator L | D ( L ) K e r H , and T H v X v Y for all v I m L .
Proof. 
We will prove that T H is well defined on I m L . For v I m L , we show firstly that T H v D ( L ) . Indeed, we have T H v X , because: T H v C [ 1 , e ] , H D 1 + α n + 1 T H v = H I 1 + n 1 v C [ 1 , e ] , , H D 1 + α 1 T H v = H I 1 + 1 v C [ 1 , e ] , and H D 1 + α T H v = v Y . Moreover, T H v satisfies the conditions (2), due to: ( T H v ) ( i ) ( 1 ) = D i H I 1 + α v ( 1 ) = 0 for i = 0 , , n 3 ; in addition, we find H D 1 + α 1 ( T H v ) ( t ) = H I 1 + 1 v ( t ) = 1 t v ( s ) d s s . So the conditions H D 1 + α 1 u ( 1 ) = 1 e H D 1 + α 1 u ( s ) d P ( s ) and H D 1 + α 1 u ( e ) = 1 e H D 1 + α 1 u ( s ) d Q ( s ) are equivalent to
1 1 v ( s ) d s s = 1 e 1 s v ( τ ) d τ τ d P ( s ) , 1 e v ( s ) d s s = 1 e 1 s v ( τ ) d τ τ d Q ( s ) ,
or
1 e ( P ( e ) P ( s ) ) v ( s ) d s s = 0 , 1 e ( Q ( 1 ) Q ( s ) ) v ( s ) d s s = 0 .
The relationships from the system (26) are verified, because S 1 v = S 2 v = 0 , ( v I m L ).
Then we show that T H v K e r H , i.e., H ( T H v ) = 0 or
1 Γ ( α ) H D 1 + α 1 ( T H v ) ( 1 ) ( ln t ) α 1 + 1 Γ ( α 1 ) H D 1 + α 2 ( T H v ) ( 1 ) ( ln t ) α 2 = 0 .
Indeed, we have
H D 1 + α 1 ( T H v ) ( t ) = H I 1 + 1 v ( t ) = 1 t v ( s ) d s s , H D 1 + α 2 ( T H v ) ( t ) = H I 1 + 2 v ( t ) = 1 t ln t s v ( s ) d s s .
Therefore, in the point 1 we obtain H D 1 + α 1 ( T H v ) ( 1 ) = 0 and H D 1 + α 2 ( T H v ) ( 1 ) = 0 , and then H ( T H v ) = 0 . We deduce that T H v D ( L ) K e r H . Therefore T H is well defined on I m L .
We show next that T H is the inverse of operator L | D ( L ) K e r H , i.e.,
(i)
L ( T H v ) ( t ) = v ( t ) , v I m L , t ( 1 , e ) ;
(ii)
T H ( L u ) ( t ) = u ( t ) , u D ( L ) K e r H , t [ 1 , e ] .
The above Relationship (i) follows immediately, in view of
L ( T H v ) ( t ) = H D 1 + α ( H I 1 + α v ) ( t ) = v ( t ) , v I m L , t ( 1 , e ) .
To show Relationship (ii), we consider u D ( L ) K e r H . Then
T H ( L u ) ( t ) = H I 1 + α ( H D 1 + α u ) ( t ) = u ( u ) + a 1 ( ln t ) α 1 + a 2 ( ln t ) α 2 + + a n ( ln t ) α n ,
with a i R , i = 1 , , n . Because u D ( L ) , we have u ( i ) ( 1 ) = 0 for i = 0 , , n 3 , and so a i = 0 for i = 3 , , n . Then (27) gives us
T H ( L u ) ( t ) = u ( t ) + a 1 ( ln t ) α 1 + a 2 ( ln t ) α 2 , t [ 1 , e ] , a 1 , a 2 R .
Due to u K e r H , we find H u = 0 . Therefore, by (28) we obtain
H ( T H ( L u ) ) ( t ) = H u ( t ) + H ( a 1 ( ln t ) α 1 + a 2 ( ln t ) α 2 ) = H ( a 1 ( ln t ) α 1 + a 2 ( ln t ) α 2 ) = a 1 ( ln t ) α 1 + a 2 ( ln t ) α 2 , t [ 1 , e ] .
On the other hand, H ( T H ( L u ) ) ( t ) = 0 for all t [ 1 , e ] , because T H ( w ) K e r H for all w I m L . Therefore, by (29) we deduce that a 1 ( ln t ) α 1 + a 2 ( ln t ) α 2 = 0 for all t [ 1 , e ] . Hence (28) gives us T H ( L u ) ( t ) = u ( t ) for all t [ 1 , e ] .
Hence, by (i) and (ii), we conclude that T H is the inverse of L | D ( L ) K e r H .
In addition, by using Lemma 3, we find for any v I m L
| T H v ( t ) | 1 Γ ( α ) 1 t ln t s α 1 | v ( s ) | d s s 1 Γ ( α ) 1 e | v ( s ) | d s s 1 Γ ( α ) 1 e | v ( s ) | d s = 1 Γ ( α ) v Y v Y , t [ 1 , e ] , | H D 1 + α 1 T H v ( t ) | = | H D 1 + α 1 H I 1 + α v ( t ) | = | H I 1 + 1 v ( t ) | = 1 t v ( s ) d s s 1 e | v ( s ) | d s = v Y , t [ 1 , e ] , | H D 1 + α 2 T H v ( t ) | = H D 1 + α 2 H I 1 + α v ( t ) = H I 1 + 2 v ( t ) = 1 Γ ( 2 ) 1 t ln t s v ( s ) d s s 1 e | v ( s ) | d s = v Y , t [ 1 , e ] , | H D 1 + α n + 1 T H v ( t ) | = H D 1 + α n + 1 H I 1 + α v ( t ) = | H I 1 + n 1 v ( t ) | = 1 Γ ( n 1 ) 1 t ln t s n 2 v ( s ) d s s 1 e | v ( s ) | d s = v Y , t [ 1 , e ] .
Therefore T H v X v Y for any v I m L .  □
Lemma 8.
We suppose that ( A 1 ) , ( A 2 ) hold. Let Ω X be an open bounded set satisfying the condition D ( L ) Ω ¯ . Then the operator N is L -compact on Ω ¯ .
Proof. 
Using the characterization of the L -compact operator from [2], we will show the following conditions:
(a)
the operator K N : Ω ¯ Y is continuous;
(b)
the set K N ( Ω ¯ ) is bounded;
(c)
the operator T H , K N = T H ( I K ) N : Ω ¯ X is continuous;
(d)
the set T H , K N ( Ω ¯ ) is relatively compact in X .
For condition (a), we have
K N ( u ) ( t ) = E 1 N u ( t ) + ( E 2 N u ( t ) ) ln t = 1 Δ ( d S 1 ( N u ) ( t ) b S 2 ( N u ) ( t ) ) + 1 Δ ( a S 2 ( N u ) ( t ) c S 1 ( N u ) ( t ) ) ln t ,
where
S 1 ( N u ) ( t ) = 1 e ( P ( e ) P ( s ) ) N u ( s ) d s s = 1 e ( P ( e ) P ( s ) ) f s , u ( s ) , H D 1 + α n + 1 u ( s ) , , H D 1 + α 1 u ( s ) d s s , S 2 ( N u ) ( t ) = 1 e ( Q ( 1 ) Q ( s ) ) N u ( s ) d s s = 1 e ( Q ( 1 ) Q ( s ) ) f s , u ( s ) , H D 1 + α n + 1 u ( s ) , , H D 1 + α 1 u ( s ) d s s ,
for all t [ 1 , e ] and u Ω ¯ . Because f is continuous in the last n variables, by the Lebesgue-dominated convergence theorem, we deduce that the operators S 1 N and S 2 N are continuous, and so K N is also a continuous operator.
For condition (b), we remark first that there exists C > 0 such that u X C for all u Ω ¯ . Then, by ( A 1 ) , we deduce that there exists ω C L ( 1 , e ) , ω C ( t ) 0 , a . e . t ( 1 , e ) such that | f ( t , u 1 , , u n ) | ω C ( t ) for all u i R , | u i | C , for all i = 1 , , n , and a.e. t ( 1 , e ) . Therefore, for any u Ω ¯ and t [ 1 , e ] , we obtain
| S 1 N u ( t ) | 1 e ( P ( e ) P ( s ) ) f ( s , u ( s ) , H D 1 + α n + 1 u ( s ) , , H D 1 + α 1 u ( s ) ) 1 s d s 1 e | P ( e ) P ( s ) | ω C ( s ) d s s ess sup t ( 1 , e ) ω C ( t ) 1 e | P ( e ) P ( s ) | d s 2 ( e 1 ) ess sup t ( 1 , e ) ω C ( t ) sup t [ 1 , e ] | P ( t ) | = : M 1 , | S 2 N u ( t ) 1 e | ( Q ( 1 ) Q ( s ) ) f ( s , u ( s ) , H D 1 + α n + 1 u ( s ) , , H D 1 + α 1 u ( s ) ) 1 s d s 1 e | Q ( 1 ) Q ( s ) | ω C ( s ) d s s ess sup t ( 1 , e ) ω C ( t ) 1 e | Q ( 1 ) Q ( s ) | d s 2 ( e 1 ) ess sup t ( 1 , e ) ω C ( t ) sup t [ 1 , e ] | Q ( t ) | = : M 2 .
Hence, we find
| K N u ( t ) | 1 Δ ( | c | + | d | ) M 1 + ( | a | + | b | ) M 2 = : M 3 , u Ω ¯ , t [ 1 , e ] .
We deduce that
K N u Y = 1 e K N u ( t ) d t ( e 1 ) M 3 , u Ω ¯ ,
which means that the set K N ( Ω ¯ ) is bounded.
For condition (c), we observe that the operator ( I K ) N is continuous on Ω ¯ . Next, we have
T H , K N ( u ) = T H ( I K ) N ( u ) = 1 Γ ( α ) 1 t ln t s α 1 ( I K ) N u ( s ) d s s = 1 Γ ( α ) 1 t ln t s α 1 N u ( s ) E 1 N u ( s ) ( E 2 N u ( s ) ) ln s d s s = 1 Γ ( α ) 1 t ln t s α 1 N u ( s ) 1 Δ ( d S 1 ( N u ) b S 2 ( N u ) ) 1 Δ ( a S 2 ( N u ) c S 1 ( N u ) ) ln s d s s .
Using the Lebesgue dominated convergence theorem for T H , K N ( u ) and its fractional derivatives H D 1 + α 1 ( T H ( I K ) N ) ( u ) = H I 1 + 1 ( I K ) N ( u ) , H D 1 + α 2 T H ( I K ) N ( u ) = H I 1 + 2 ( I K ) N ( u ) , , and H D 1 + α n + 1 T H ( I K ) N ( u ) = H I 1 + n 1 ( I K ) N ( u ) , we conclude that the operator T H , K N is continuous in the space X .
For Condition (d), similarly to how we proved Condition (b), we deduce first that there exists M 4 > 0 such that
| ( I K ) N u ( t ) | M 4 , u Ω ¯ , a . e . t ( 1 , e ) .
Then, by using Lemma 7, we obtain
T H ( I K ) N ( u ) X ( I K ) N ( u ) Y = 1 e | ( I K ) N u ( t ) | d t ( e 1 ) M 4 , u Ω ¯ .
So, the functions T H ( I K ) N ( u ) , u Ω ¯ are uniformly bounded in X . Therefore, the set T H ( I K ) N ( Ω ¯ ) is bounded in X .
We will prove now that { T H ( I K ) N ( u ) , u Ω ¯ } are uniformly equicontinuous, and thus equicontinuous in X . For this, let u Ω ¯ and t 1 , t 2 [ 1 , e ] , t 1 < t 2 . Then we obtain
| T H ( I K ) N ( u ) ( t 1 ) T H ( I K ) N ( u ) ( t 2 ) | = 1 Γ ( α ) 1 t 1 ln t 1 s α 1 ( I K ) N u ( s ) d s s 1 Γ ( α ) 1 t 2 ln t 2 s α 1 ( I K ) N u ( s ) d s s = 1 Γ ( α ) 1 t 1 ln t 1 s α 1 ln t 2 s α 1 ( I K ) N u ( s ) d s s 1 Γ ( α ) t 1 t 2 ln t 2 s α 1 ( I K ) N ( s ) d s s M 4 Γ ( α ) 1 t 1 ln t 2 s α 1 ln t 1 s α 1 d s s + M 4 Γ ( α ) t 1 t 2 ln t 2 s α 1 d s s = M 4 Γ ( α ) 1 α ln t 2 s α | s = 1 s = t 1 + 1 α ln t 1 s α | s = 1 s = t 1 1 α ln t 2 s α | s = t 1 s = t 2 = M 4 Γ ( α + 1 ) ( ln t 2 ) α ( ln t 1 ) α .
Because the function g 0 ( t ) = ( ln t ) α , t [ 1 , e ] is uniformly continuous on [ 1 , e ] , we deduce that the family of functions { T H ( I K ) N ( u ) , u Ω ¯ } is uniformly equicontinuous on [ 1 , e ] , and so, equicontinuous on [ 1 , e ] in C [ 1 , e ] .
In what follows, we find
H D 1 + α 1 ( T H ( I K ) N u ) ( t 1 ) H D 1 + α 1 ( T H ( I K ) N u ) ( t 2 ) = | H I 1 + 1 ( I K ) N u ( t 1 ) H I 1 + 1 ( I K ) N u ( t 2 ) | = 1 t 1 ( I K ) N u ( s ) d s s 1 t 2 ( I K ) N u ( s ) d s s = t 1 t 2 ( I K ) N u ( s ) d s s M 4 t 1 t 2 d s s = M 4 ( ln t 2 ln t 1 ) .
Due to the function g 1 ( t ) = ln t , t [ 1 , e ] is uniformly continuous on [ 1 , e ] , we obtain that { H D 1 + α 1 ( T H ( I K ) N ) ( u ) , u Ω ¯ } is uniformly equicontinuous on [ 1 , e ] , and so equicontinuous on [ 1 , e ] in C [ 1 , e ] .
Then we have
H D 1 + α 2 ( T H ( I K ) N ) u ( t 1 ) H D 1 + α 2 ( T H ( I K ) N ) u ( t 2 ) = | H I 1 + 2 ( I K ) N u ( t 1 ) H I 1 + 2 ( I K ) N u ( t 2 ) | = 1 Γ ( 2 ) 1 t 1 ln t 1 s ( I K ) N u ( s ) d s s 1 Γ ( 2 ) 1 t 2 ln t 2 s ( I K ) N u ( s ) d s s = 1 t 1 ln t 1 s ln t 2 s ( I K ) N u ( s ) d s s t 1 t 2 ln t 2 s ( I K ) N u ( s ) d s s M 4 1 t 1 ln t 2 s ln t 1 s d s s + t 1 t 2 ln t 2 s d s s = M 4 1 2 ln t 2 s 2 | s = 1 s = t 1 + 1 2 ln t 1 s 2 | s = 1 s = t 1 1 2 ln t 2 s 2 | s = t 1 s = t 2 = M 4 2 ( ln t 2 ) 2 ( ln t 1 ) 2 .
In view of the function g 2 ( t ) = ( ln t ) 2 , t [ 1 , e ] is uniformly continuous on [ 1 , e ] , we deduce that { H D 1 + α 2 ( T H ( I K ) N ) ( u ) , u Ω ¯ } is uniformly equicontinuous on [ 1 , e ] in C [ 1 , e ] , and so equicontinuous on [ 1 , e ] in C [ 1 , e ] .
We continue in the same manner until the case
H D 1 + α n + 1 ( T H ( I K ) N ) u ( t 1 ) H D 1 + α n + 1 ( T H ( I K ) N ) u ( t 2 ) = | H I 1 + n 1 ( I K ) N u ( t 1 ) H I 1 + n 1 ( I K ) N u ( t 2 ) | = 1 Γ ( n 1 ) 1 t 1 ln t 1 s n 2 ( I K ) N u ( s ) d s s 1 Γ ( n 1 ) 1 t 2 ln t 2 s n 2 ( I K ) N u ( s ) d s s = 1 Γ ( n 1 ) 1 t 1 ln t 1 s n 2 ln t 2 s n 2 ( I K ) N u ( s ) d s s t 1 t 2 ln t 2 s n 2 ( I K ) N u ( s ) d s s M 4 Γ ( n 1 ) 1 t 1 ln t 2 s n 2 ln t 1 s n 2 d s s + t 1 t 2 ln t 2 s n 2 d s s = M 4 Γ ( n 1 ) 1 n 1 ln t 2 s n 1 | s = 1 s = t 1 + 1 n 1 ln t 1 s n 1 | s = 1 s = t 1 1 n 1 ln t 2 s n 1 | s = t 1 s = t 2 = M 4 Γ ( n ) ( ln t 2 ) n 1 ( ln t 1 ) n 1 = M 4 ( n 1 ) ! ( ln t 2 ) n 1 ( ln t 1 ) n 1 .
Because the function g n 1 ( t ) = ( ln t ) n 1 , t [ 1 , e ] is uniformly continuous on [ 1 , e ] , we obtain that { H D 1 + α n + 1 ( T H ( I K ) N ) ( u ) , u Ω ¯ } is uniformly equicontinuous on [ 1 , e ] in C [ 1 , e ] , and so equicontinuous on [ 1 , e ] in C [ 1 , e ] .
By the above statements, we conclude that the family of functions { T H ( I K ) N ( u ) , u Ω ¯ } (or T H ( I K ) N ( Ω ¯ ) ) is equicontinuous on [ 1 , e ] in the space X . By the Ascoli-Arzela theorem, we deduce that the set T H ( I K ) N ( Ω ¯ ) is relatively compact in X , and so T H ( I K ) N : Ω ¯ X is a compact operator.
Therefore, we conclude that operator N is L -compact on Ω ¯ .  □
Now, we present the following assumptions that will be used in our main result.
(A3)
There exist the nonnegative functions p i Y , i = 1 , , n + 1 , p i ( t ) 0 a.e. t ( 1 , e ) , i = 1 , , n + 1 , such that
| f ( t , x 1 , x 2 , , x n ) | i = 1 n p i ( t ) | x i | + p n + 1 ( t ) ,
for all x i R , i = 1 , , n , and a.e. t ( 1 , e ) , and i = 1 n p i Y = i = 1 n 1 e | p i ( t ) | d t < 1 Ξ 1 + 1 , where Ξ 1 = max α Γ ( α ) , 2 .
(A4)
There exist the constants σ 1 , σ 2 > 0 such that if for all t [ 1 , e ] and u D ( L ) , if | H D 1 + α 1 u ( t ) | > σ 1 or | H D 1 + α 2 u ( t ) | > σ 2 , then either S 1 ( N u ( t ) ) 0 or S 2 ( N u ( t ) ) 0 .
(A5)
There exists a constant r > 0 such that for all b 1 , b 2 R , and u ( t ) = b 1 ( ln t ) α 1 + b 2 ( ln t ) α 2 K e r L , if | b 1 | > r or | b 2 > r , then either
b 1 S 1 N u ( t ) + b 2 S 2 N u ( t ) > 0 , or
b 1 S 1 N u ( t ) + b 2 S 2 N u ( t ) < 0 .
Before we present and prove the main existence result for Problem (1),(2), we will prove three additional lemmas.
Lemma 9.
We assume that ( A 1 ) ( A 4 ) hold. Then the set
Λ 1 = { u D ( L ) K e r L , L u = ν N u , ν ( 0 , 1 ) } X
is bounded in X .
Proof. 
Let u Λ 1 ; so L u = ν N u with u D ( L ) K e r L and ν ( 0 , 1 ) . Therefore N u ( t ) = 1 ν L u ( t ) = 1 ν H D 1 + α u ( t ) . Then we obtain ν N u I m L = K e r K , i.e., K ( ν N u ) = 0 or ν K ( N u ) = 0 . So K ( N u ) = 0 , i.e., N u K e r K = I m L . We deduce that S 1 ( N u ) ( t ) = 0 and S 2 ( N u ) ( t ) = 0 for all t [ 1 , e ] . Hence, by assumption ( A 4 ) , we find that that there exist t 1 , t 2 [ 1 , e ] such that | H D 1 + α 1 u ( t 1 ) | σ 1 and | H D 1 + α 2 u ( t 2 ) | σ 2 .
Using Formula (9) with α replaced by α 1 , and α replaced by α 2 , we deduce
| H D 1 + α 1 u ( t ) | = H D 1 + α 1 u ( t 1 ) + t 1 t ( H D 1 + α u ) ( s ) d s s | H D 1 + α 1 u ( t 1 ) | + t 1 t H D 1 + α u ( s ) d s s σ 1 + t 1 t | H D 1 + α u ( s ) | d s σ 1 + 1 e | N u ( s ) | d s = σ 1 + N u Y , t [ 1 , e ] ,
and
| H D 1 + α 2 u ( t ) | = H D 1 + α 2 u ( t 2 ) + t 2 t ( H D 1 + α 1 u ) ( s ) d s s | H D 1 + α 2 u ( t 2 ) | + t 2 t H D 1 + α 1 u ( s ) d s s σ 2 + H D 1 + α 1 u t 2 t d s s σ 2 + H D 1 + α 1 u 1 e 1 s d s = σ 2 + H D 1 + α 1 u σ 2 + σ 1 + N u Y , t [ 1 , e ] .
So, we obtain
| H D 1 + α 1 u ( 1 ) | σ 1 + N u Y , | H D 1 + α 2 u ( 1 ) | σ 1 + σ 2 + N u Y .
Then by the definition of operator H and Lemma 1, we find
H D 1 + α 1 H u ( t ) = H D 1 + α 1 1 Γ ( α ) H D 1 + α 1 u ( 1 ) ( ln t ) α 1 + 1 Γ ( α 1 ) H D 1 + α 2 u ( 1 ) ( ln t ) α 2 = 1 Γ ( α ) H D 1 + α 1 u ( 1 ) H D 1 + α 1 ( ( ln t ) α 1 ) + 1 Γ ( α 1 ) H D 1 + α 2 u ( 1 ) H D 1 + α 1 ( ( ln t ) α 2 ) = H D 1 + α 1 u ( 1 ) ( = a 1 Γ ( α ) ) ,
and
H D 1 + α 2 H u ( t ) = H D 1 + α 2 1 Γ ( α ) H D 1 + α 1 u ( 1 ) ( ln t ) α 1 + 1 Γ ( α 1 ) H D 1 + α 2 u ( 1 ) ( ln t ) α 2 = 1 Γ ( α ) H D 1 + α 1 u ( 1 ) H D 1 + α 2 ( ln t ) α 1 + 1 Γ ( α 1 ) H D 1 + α 2 u ( 1 ) H D 1 + α 2 ( ln t ) α 2 = H D 1 + α 1 u ( 1 ) ln t + H D 1 + α 2 u ( 1 ) ( = a 1 Γ ( α ) ln t + a 2 Γ ( α 1 ) ) .
Therefore we deduce
| H D 1 + α 1 H u ( t ) | = | H D 1 + α 1 u ( 1 ) | σ 1 + N u Y , t [ 1 , e ] ,
and
| H D 1 + α 2 H u ( t ) | | H D 1 + α 1 u ( 1 ) | ln t + | H D 1 + α 2 u ( 1 ) | 2 σ 1 + σ 2 + 2 N u Y = 2 Γ ( 2 ) σ 1 + 1 Γ ( 1 ) σ 2 + 2 Γ ( 2 ) N u Y , t [ 1 , e ] .
Next, we find
D 1 + α 3 H H u ( t ) = H D 1 + α 3 1 Γ ( α ) H D 1 + α 1 u ( 1 ) ( ln t ) α 1 + 1 Γ ( α 1 ) H D 1 + α 2 u ( 1 ) ( ln t ) α 2 = 1 Γ ( α ) H D 1 + α 1 u ( 1 ) H D 1 + α 3 ( ln t ) α 1 + 1 Γ ( α 1 ) H D 1 + α 2 u ( 1 ) H D 1 + α 3 ( ln t ) α 2 = 1 Γ ( α ) H D 1 + α 1 u ( 1 ) Γ ( α ) Γ ( 3 ) ( ln t ) 2 + 1 Γ ( α 1 ) H D 1 + α 2 u ( 1 ) Γ ( α 1 ) Γ ( 2 ) ln t = 1 Γ ( 3 ) H D 1 + α 1 u ( 1 ) ( ln t ) 2 + 1 Γ ( 2 ) H D 1 + α 2 u ( 1 ) ln t , t [ 1 , e ] ,
and so
| H D 1 + α 3 H u ( t ) | 1 Γ ( 3 ) | H D 1 + α 1 u ( 1 ) | + 1 Γ ( 2 ) | H D 1 + α 2 u ( 1 ) | 1 Γ ( 3 ) σ 1 + N u Y + 1 Γ ( 2 ) σ 1 + σ 2 + N u Y = 1 Γ ( 3 ) + 1 Γ ( 2 ) σ 1 + 1 Γ ( 2 ) σ 2 + 1 Γ ( 3 ) + 1 Γ ( 2 ) N u Y = 3 Γ ( 3 ) σ 1 + 1 Γ ( 2 ) σ 2 + 3 Γ ( 3 ) N u Y , t [ 1 , e ] .
We proceed in this way until the fractional derivative of order α n + 1 of H u , obtaining
H D 1 + α n + 1 H u ( t ) = H D 1 + α n + 1 1 Γ ( α ) H D 1 + α 1 u ( 1 ) ( ln t ) α 1 + 1 Γ ( α 1 ) H D 1 + α 2 u ( 1 ) ( ln t ) α 2 = 1 Γ ( α ) H D 1 + α 1 u ( 1 ) H D 1 + α n + 1 ( ( ln t ) α 1 ) + 1 Γ ( α 1 ) H D 1 α 2 u ( 1 ) H D 1 + α n + 1 ( ( ln t ) α 2 ) = 1 Γ ( α ) H D 1 + α 1 u ( 1 ) Γ ( α ) Γ ( n 1 ) ( ln t ) n 2 + 1 Γ ( α 1 ) H D 1 + α 2 u ( 1 ) Γ ( α 1 ) Γ ( n 2 ) ( ln t ) n 3 = 1 Γ ( n 1 ) H D 1 + α 1 u ( 1 ) ( ln t ) n 2 + 1 Γ ( n 2 ) H D 1 + α 2 u ( 1 ) ( ln t ) n 3 , t [ 1 , e ] ,
and so
H D 1 + α n + 1 H u ( t ) 1 Γ ( n 1 ) H D 1 + α 1 u ( 1 ) ( ln t ) n 2 + 1 Γ ( n 2 ) H D 1 + α 2 u ( 1 ) ( ln t ) n 3 1 Γ ( n 1 ) ( σ 1 + N u Y ) + 1 Γ ( n 2 ) σ 1 + σ 2 + N u Y = 1 Γ ( n 1 ) + 1 Γ ( n 2 ) σ 1 + 1 Γ ( n 2 ) σ 2 + 1 Γ ( n 1 ) + 1 Γ ( n 2 ) N u Y = n 1 Γ ( n 1 ) σ 1 + 1 Γ ( n 2 ) σ 2 + n 1 Γ ( n 1 ) N u Y , t [ 1 , e ] .
We also find
| H u ( t ) | 1 Γ ( α ) H D 1 + α 1 u ( 1 ) ( ln t ) α 1 + 1 Γ ( α 1 ) H D 1 + α 2 u ( 1 ) ( ln t ) α 2 1 Γ ( α ) ( σ 1 + N u Y ) + 1 Γ ( α 1 ) ( σ 1 + σ 2 + N u Y ) = 1 Γ ( α ) + 1 Γ ( α 1 ) σ 1 + 1 Γ ( α 1 ) σ 2 + 1 Γ ( α ) + 1 Γ ( α 1 ) N u Y = α Γ ( α ) σ 1 + 1 Γ ( α 1 ) σ 2 + α Γ ( α ) N u Y , t [ 1 , e ] .
From the above inequalities, we deduce
H u X = max H u , H D 1 + α n + 1 H u , , H D 1 + α 3 H u , H D 1 + α 2 H u , H D 1 + α 1 H u = max α Γ ( α ) σ 1 + 1 Γ ( α 1 ) σ 2 + α Γ ( α ) N u Y , n 1 Γ ( n 1 ) σ 1 + 1 Γ ( n 2 ) σ 2 + n 1 Γ ( n 1 ) N u Y , 3 Γ ( 3 ) σ 1 + 1 Γ ( 2 ) σ 2 + 3 Γ ( 3 ) N u Y , 2 Γ ( 2 ) σ 1 + 1 Γ ( 1 ) σ 2 + 2 Γ ( 2 ) N u Y , 1 Γ ( 1 ) σ 1 + 1 Γ ( 1 ) N u Y max α Γ ( α ) , n 1 Γ ( n 1 ) , , 3 Γ ( 3 ) , 2 Γ ( 2 ) , 1 Γ ( 1 ) σ 1 + max 1 Γ ( α 1 ) , 1 Γ ( n 2 ) , , 1 Γ ( 2 ) , 1 Γ ( 1 ) σ 2 + max α Γ ( α ) , n 1 Γ ( n 1 ) , , 3 Γ ( 3 ) , 2 Γ ( 2 ) , 1 Γ ( 1 ) N u Y = max α Γ ( α ) , 2 σ 1 + max 1 Γ ( α 1 ) , 1 σ 2 + max α Γ ( α ) , 2 N u Y = Ξ 1 σ 1 + Ξ 2 σ 2 + Ξ 1 N u Y ,
where Ξ 1 = max { α Γ ( α ) , 2 } , Ξ 2 = max { 1 Γ ( α 1 ) , 1 } .
Therefore we conclude
H u X Ξ 1 σ 1 + Ξ 2 σ 2 + Ξ 1 N u Y .
On the other hand, for u Λ 1 , we find ( I H ) u D ( L ) K e r H and L H u = 0 . Therefore, by Lemma 7 we obtain
( I H ) u X = T H L ( I H ) u X = T H L u X L u Y = ν N u Y N u Y .
Then, by (32) and (33), we deduce
u X = H u + ( I H ) u X H u X + ( I H ) u X Ξ 1 σ 1 + Ξ 2 σ 2 + ( Ξ 1 + 1 ) N u Y .
By ( A 3 ) , we obtain
N u Y = 1 e | N u ( t ) | d t = 1 e f ( t , u ( t ) , H D 1 + α n + 1 u ( t ) , , H D 1 + α 1 u ( t ) ) d t 1 e p 1 ( t ) | u ( t ) | + i = 1 n 1 p i + 1 ( t ) H D 1 + α n + i u ( t ) + p n + 1 ( t ) d t u p 1 Y + i = 1 n 1 H D 1 + α n + i u p i + 1 Y + p n + 1 Y i = 1 n p i Y u X + p n + 1 Y .
By (34), (35), and ( A 3 ) , we find
u X Ξ 1 σ 1 + Ξ 2 σ 2 + ( Ξ 1 + 1 ) i = 1 n p i Y u X + p n + 1 Y ,
and then
u X Ξ 1 σ 1 + Ξ 2 σ 2 + ( Ξ 1 + 1 ) p n + 1 Y 1 ( Ξ 1 + 1 ) i = 1 n p i Y .
Therefore, we deduce that the set Λ 1 is bounded in the space X .  □
Lemma 10.
We assume that ( A 1 ) , ( A 2 ) and ( A 4 ) hold. Then the set
Λ 2 = { u K e r L ; N u I m L } X ,
is bounded in X .
Proof. 
Let u Λ 2 , so u ( t ) = a 1 ( ln t ) α 1 + a 2 ( ln t ) α 2 , with a 1 , a 2 R , and S 1 ( N u ) ( t ) = S 2 ( N u ) ( t ) = 0 for all t [ 1 , e ] . From ( A 4 ) we deduce that there exist t 3 , t 4 [ 1 , e ] such that | H D 1 + α 1 u ( t 3 ) | σ 1 and | H D 1 + α 2 u ( t 4 ) | σ 2 . Then we obtain
| H D 1 + α 1 u ( t 3 ) | = | a 1 Γ ( α ) | σ 1 , | H D 1 + α 2 u ( t 4 ) | = | a 1 Γ ( α ) ln t 4 + a 2 Γ ( α 1 ) | σ 2 .
Therefore we find
| a 1 | σ 1 Γ ( α ) , | a 2 | Γ ( α 1 ) | a 1 Γ ( α ) ln t 4 + a 2 Γ ( α 1 ) | + | a 1 Γ ( α ) ln t 4 | σ 2 + a 1 Γ ( α ) ln t 4 σ 2 + σ 1 ln t 4 | a 2 | σ 2 + σ 1 ln t 4 Γ ( α 1 ) σ 1 + σ 2 Γ ( α 1 ) .
Hence, we conclude
| u ( t ) | | a 1 | + | a 2 | σ 1 Γ ( α ) + σ 1 + σ 2 Γ ( α 1 ) = α σ 1 + ( α 1 ) σ 2 Γ ( α ) , | H D 1 + α 1 u ( t ) | = | a 1 Γ ( α ) | σ 1 , | H D 1 + α 2 u ( t ) | = | a 1 Γ ( α ) ln t + a 2 Γ ( α 1 ) | 2 σ 1 + σ 2 = 2 σ 1 + σ 2 Γ ( 2 ) , t [ 1 , e ] .
For the next fractional derivative, we have
H D 1 + α 3 u ( t ) = a 1 H D 1 + α 3 ( ( ln t ) α 1 ) + a 2 H D 1 + α 3 ( ( ln t ) α 2 ) = a 1 Γ ( α ) Γ ( 3 ) ( ln t ) 2 + a 2 Γ ( α 1 ) Γ ( 2 ) ( ln t ) ,
and so
| H D 1 + α 3 u ( t ) | | a 1 | Γ ( α ) 2 + | a 2 | Γ ( α 1 ) σ 1 2 + σ 1 + σ 2 = 3 σ 1 + 2 σ 2 Γ ( 3 ) , t [ 1 , e ] .
We continue these evaluations until the fractional derivative of order α n + 1 of function u, and we find
H D 1 + α n + 1 u ( t ) = a 1 H D 1 + α n + 1 ( ( ln t ) α 1 ) + a 2 H D 1 + α n + 1 ( ( ln t ) α 2 ) = a 1 Γ ( α ) Γ ( n 1 ) ( ln t ) n 2 + a 2 Γ ( α 1 ) Γ ( n 2 ) ( ln t ) n 3 ,
and then
| H D 1 + α n + 1 u ( t ) | | a 1 | Γ ( α ) Γ ( n 1 ) + | a 2 | Γ ( α 1 ) Γ ( n 2 ) σ 1 Γ ( n 1 ) + σ 1 + σ 2 Γ ( n 2 ) = ( n 1 ) σ 1 + ( n 2 ) σ 2 Γ ( n 1 ) , t [ 1 , e ] .
By the above inequalities, we deduce
u X = max α σ 1 + ( α 1 ) σ 2 Γ ( α ) , ( n 1 ) σ 1 + ( n 2 ) σ 2 Γ ( n 1 ) , , 3 σ 1 + 2 σ 2 Γ ( 3 ) , 2 σ 1 + σ 2 Γ ( 2 ) , σ 1 < .
We conclude that the set Λ 2 is bounded in the space X .  □
Lemma 11.
We assume that ( A 1 ) , ( A 2 ) and ( A 5 ) hold. Then the set
Λ 3 = { u K e r L ; ζ ν G u + ( 1 ν ) K N u = 0 , ν [ 0 , 1 ] } X ,
is bounded in X , where ζ = 1 if Relationship (30) holds, and ζ = 1 if Relationship (31) holds. Here G : K e r L I m K is the linear isomorphism defined by
G ( u ) ( t ) = 1 Δ [ ( d b 1 b b 2 ) + ( a b 2 c b 1 ) ln t ] , t [ 1 , e ] ,
for u K e r L , u ( t ) = b 1 ( ln t ) α 1 + b 2 ( ln t ) α 2 , t [ 1 , e ] , with b 1 , b 2 R .
Proof. 
We suppose that Relationship (31) holds, i.e., ζ = 1 . Let u Λ 3 ; so there exist b 1 , b 2 R , ν [ 0 , 1 ] such that u ( t ) = b 1 ( ln t ) α 1 + b 2 ( ln t ) α 2 , for all t [ 1 , e ] , and ν G u + ( 1 ν ) K N u = 0 . By using Lemma 10, it is sufficient to prove that | b 1 | r and | b 2 | r , with r > 0 . We have the following three cases:
(1)
For ν = 0 , then K N u = 0 . So, we obtain E 1 ( N u ) ( t ) + ( E 2 ( N u ) ( t ) ) ln t = 0 for all t [ 1 , e ] . Then we find E 1 ( N u ) = 0 and E 2 ( N u ) = 0 , or
1 Δ ( d S 1 ( N u ) b S 2 ( N u ) ) = 0 , 1 Δ ( a S 2 ( N u ) c S 1 ( N u ) ) = 0 .
Because the determinant of the above system is 1 / Δ = 1 / ( a d b c ) 0 , we deduce that S 1 ( N u ) = S 2 ( N u ) = 0 . Hence, by ( A 5 ) , we obtain | b 1 | r and | b 2 | r .
(2)
For ν = 1 , then G u = 0 . So, we find the system
d b 1 b b 2 = 0 , a b 2 c b 1 = 0 ,
which has the unique solution b 1 = b 2 = 0 . Then | b 1 | r and | b 2 | r .
(3)
For ν ( 0 , 1 ) , by the relationship ν G u = ( 1 ν ) K N u , we obtain
ν 1 Δ ( d b 1 b b 2 ) = 1 ν Δ ( d S 1 ( N u ) b S 2 ( N u ) ) , ν 1 Δ ( a b 2 c b 1 ) = 1 ν Δ ( a S 2 ( N u ) c S 1 ( N u ) ) .
The above system in the unknowns b 1 , b 2 has the determinant Δ = a d b c 0 , and then we deduce
ν b 1 = ( 1 ν ) S 1 ( N u ) , ν b 2 = ( 1 ν ) S 2 ( N u ) .
Therefore if | b 1 | > r or | b 2 | > r , we obtain using the system (36) and (31) that
0 < ν ( b 1 2 + b 2 2 ) = ( ν b 1 ) b 1 + ( ν b 2 ) b 2 = b 1 ( 1 ν ) S 1 ( N u ) + b 2 ( 1 ν ) S 2 ( N u ) = ( 1 ν ) ( b 1 S 1 ( N u ) + b 2 S 2 ( N u ) ) < 0 ,
which is a contradiction. So | b 1 | r and | b 2 | r .
We conclude that the set Λ 3 is bounded in X . If Relationship (30) holds (for ζ = 1 ), by using similar arguments, we also deduce that Λ 3 is bounded.  □
Now, we give our main result related to the existence of solutions for Problem (1),(2).
Theorem 2.
We assume that assumptions ( A 1 ) ( A 5 ) hold. Then, the boundary value Problem (1),(2) have at least one solution in the space X .
Proof. 
We consider a bounded open set Λ 0 in the space X such that i = 1 3 Λ ¯ i Λ 0 . In Lemma 6 we shown that L is a linear Fredholm operator of index 0, and in Lemma 8 we proved that the operator N is L -compact on Λ ¯ 0 . In addition, from Lemmas 9 and 10, we have
(i) 
L u ν N u , for any ( u , ν ) [ ( D ( L ) K e r L ) Λ 0 ] × ( 0 , 1 ) ;
(ii) 
N u I m L , for any u K e r L Λ 0 ,
that is, the first two conditions from Theorem 1 are satisfied.
We will show next that condition ( i i i ) from Theorem 1 is also satisfied. For this, we define the operator
V ( u , ν ) = ζ ν G u + ( 1 ν ) K N u ,
where ζ is defined in Lemma 11. Then by Lemma 11, we find V ( u , ν ) 0 for all u K e r L Λ 0 and ν [ 0 , 1 ] . Hence, by the homotopy of degree, we deduce
d e g { K N | K e r L , Λ 0 K e r L , 0 } = d e g { V ( · , 0 ) , Λ 0 K e r L , 0 } = d e g { V ( · , 1 ) , Λ 0 K e r L , 0 } = d e g { ζ G , Λ 0 K e r L , 0 } 0 .
Therefore, all assumptions ( i ) and ( i i ) and ( i i i ) from Theorem 1 are satisfied. Therefore, by Theorem 1, we conclude that the operator Equation (11), namely L u = N u , has at least one solution u D ( L ) Λ ¯ 0 . This means that our Problem (1),(2) have at least one solution in the space X .  □

4. An Example

Let α = 10 3 , n = 4 , the functions
P ( s ) = 45 16 ( s 1 ) 3 + 1 , s [ 1 , 5 3 ) , 11 6 , s [ 5 3 , 2 ) , 2 , s [ 2 , e ] , Q ( s ) = 1 2 , s [ 1 , 2 ) , 3 ( s 2 ) 2 + 1 2 , s [ 2 , 5 2 ) , 3 2 , s [ 5 2 , e ] ,
and the function f : [ 1 , e ] × R 4 R given by
f ( t , x 1 , x 2 , x 3 , x 4 ) = ς ( t ) t 2 + 1 5 t + 1 24 arctan x 1 x 2 31 ( x 2 2 + 1 ) + x 3 35 + ( 1 ς ( t ) ) c 0 x 4 35 ,
for all t [ 1 , e ] and x i R , i = 1 , , 4 , with c 0 = 3 / 7 ( 1 2 ( 2 P ( s ) ) d s s ) ( 2 e ( Q ( s ) 1 2 ) d s s ) 1 1.41399238 , and ς ( t ) = { 1 , t [ 1 , 2 ) ; 0 , t [ 2 , e ] } .
We consider the Hadamard fractional differential equation
H D 1 + 10 / 3 u ( t ) = f t , u ( t ) , H D 1 + 1 / 3 u ( t ) , H D 1 + 4 / 3 u ( t ) , H D 1 + 7 / 3 u ( t ) , t ( 1 , e ) ,
subject to the boundary conditions
u ( 1 ) = u ( 1 ) = 0 , H D 1 + 7 / 3 u ( 1 ) = 135 16 1 5 / 3 ( s 1 ) 2 H D 1 + 7 / 3 u ( s ) d s + 1 6 H D 1 + 7 / 3 u ( 2 ) , H D 1 + 7 / 3 u ( e ) = 1 4 H D 1 + 7 / 3 u 5 2 + 6 2 5 / 2 ( s 2 ) H D 1 + 7 / 3 u ( s ) d s .
The function f is a Carathéodory one, and the functions P , Q : [ 1 , e ] R have bounded variations, with P ( e ) = P ( 1 ) + 1 = 2 , (or 1 e d P ( s ) = 1 ), and Q ( e ) = Q ( 1 ) + 1 = 3 2 , (or 1 e d Q ( s ) = 1 ). In addition, after some computations, we obtain a 0.45013184 , b 0.11060136 , c 0.13643188 , d 0.1256727 , and Δ 0.04147973 0 . So, assumptions ( A 1 ) and ( A 2 ) are satisfied.
Then, for the function f, we find the following inequality
| f ( t , x 1 , x 2 , x 3 , x 4 ) | i = 1 4 p i ( t ) | x i | + p 5 ( t ) , t [ 1 , e ] , x i R , i = 1 , , 4 ,
where p 1 ( t ) = 1 24 , p 2 ( t ) = 1 31 , p 3 ( t ) = 1 35 , p 4 ( t ) = c 0 35 0.0403997 , p 5 ( t ) = t 2 + 1 5 t , for all t [ 1 , e ] . We have here Ξ 1 = 2 , and i = 1 4 p i Y 0.2455355 < 1 Ξ 1 + 1 = 1 3 0.3333 . Therefore assumption ( A 3 ) is also satisfied.
Now, we verify assumption ( A 4 ) . We consider σ 1 = 10 (in fact it can be chosen arbitrarily, positive) and σ 2 = 18 .
If u D ( L ) and | H D 1 + 7 / 3 u ( t ) | > σ 1 = 10 for all t [ 1 , e ] , then we obtain
C 1 : = S 2 N u ( t ) = 1 e ( Q ( 1 ) Q ( s ) ) N ( s ) d s s = 1 e 1 2 Q ( s ) N u ( s ) d s s = 2 5 / 2 3 ( s 2 ) 2 N u ( s ) d s s 5 / 2 e N u ( s ) d s s = 3 2 5 / 2 ( s 2 ) 2 c 0 35 H D 1 + 7 / 3 u ( s ) d s s 5 / 2 e c 0 35 H D 1 + 7 / 3 u ( s ) d s s .
If H D 1 + 7 / 3 u ( s ) > σ 1 = 10 , then we have
C 1 < 3 c 0 35 2 5 / 2 ( s 2 ) 2 d s s c 0 35 5 / 2 e d s s 0.05511818 < 0 .
If H D 1 + 7 / 3 u ( s ) < σ 1 = 10 , then we derive
C 1 > 3 c 0 35 2 5 / 2 ( s 2 ) 2 d s s + c 0 35 5 / 2 e d s s 0.05511818 > 0 .
So C 1 0 .
If u D ( L ) and | H D 1 + 4 / 3 u ( t ) | > σ 2 = 18 for all t [ 1 , e ] , then we find
C 2 : = S 1 N u ( t ) = 1 e ( P ( e ) P ( s ) ) N u ( s ) d s s = 1 e ( 2 P ( s ) ) N u ( s ) d s s = 1 5 / 3 2 45 16 ( s 1 ) 3 1 N u ( s ) d s s + 5 / 3 2 1 6 N u ( s ) d s s = 1 5 / 3 1 45 16 ( s 1 ) 3 s 2 + 1 5 s + 1 24 arctan u ( s ) 1 31 H D 1 + 1 / 3 u ( s ) ( H D 1 + 1 / 3 u ( s ) ) 2 + 1 d s s + 1 6 5 / 3 2 s 2 + 1 5 s + 1 24 arctan u ( s ) 1 31 H D 1 + 1 / 3 u ( s ) ( H D 1 + 1 / 3 u ( s ) ) 2 + 1 d s s + 1 35 1 5 / 3 1 45 16 ( s 1 ) 3 H D 1 + 4 / 3 u ( s ) d s s + 1 210 5 / 3 2 H D 1 + 4 / 3 u ( s ) d s s .
We denote by
h ( s ) = s 2 + 1 5 s + 1 24 arctan u ( s ) 1 31 H D 1 + 1 / 3 u ( s ) ( H D 1 + 1 / 3 u ( s ) ) 2 + 1 , s [ 1 , 2 ] .
So, we obtain h 1 ( s ) h ( s ) h 2 ( s ) for all s [ 1 , 2 ] , where
h 1 ( s ) = s 2 + 1 5 s π 48 1 62 , h 2 ( s ) = s 2 + 1 5 s + π 48 + 1 62 , s [ 1 , 2 ] .
We see that min s [ 1 , 2 ] h 1 ( s ) 0.318421 > 0 . Because 1 45 16 ( s 1 ) 3 > 0 , for all s [ 1 , 5 / 3 ] (in fact, we have min s [ 1 , 5 / 3 ] ( 1 45 16 ( s 1 ) 3 ) 0.166667 > 0 ), we deduce
l 1 1 5 / 3 1 45 16 ( s 1 ) 3 h ( s ) d s s l 3 , l 2 1 6 5 / 3 2 h ( s ) d s s l 4 ,
where
l 1 = 1 5 / 3 1 45 16 ( s 1 ) 3 h 1 ( s ) d s s 0.13929499 , l 3 = 1 5 / 3 1 45 16 ( s 1 ) 3 h 2 ( s ) d s s 0.20777963 , l 2 = 1 6 5 / 3 2 h 1 ( s ) d s s 0.01196551 , l 4 = 1 6 5 / 3 2 h 2 ( s ) d s s 0.01692338 .
(a) If H D 1 + 4 / 3 u ( s ) > σ 2 = 18 , then we find
C 2 l 1 + l 2 + σ 2 1 35 1 5 / 3 1 45 16 ( s 1 ) 3 d s s + 1 210 5 / 3 2 d s s 0.38275688 > 0 .
(b) If H D 1 + 4 / 3 u ( s ) < σ 2 = 18 , then we have
C 2 l 3 + l 4 σ 2 1 35 1 5 / 3 1 45 16 ( s 1 ) 3 d s s + 1 210 5 / 3 2 d s s 0.00679336 < 0 .
So C 2 0 , and then assumption ( A 4 ) is satisfied.
We finally verify assumption ( A 5 ) . We take r = 26 , and we consider u ( t ) = b 1 ( ln t ) 7 / 3 + b 2 ( ln t ) 4 / 3 K e r L , with b 1 , b 2 R . Then we obtain
C 0 : = b 1 S 1 N u ( t ) + b 2 S 2 N u ( t ) = b 1 1 e ( P ( e ) P ( s ) ) N u ( s ) d s s + b 2 1 e ( Q ( 1 ) Q ( s ) ) N u ( s ) d s s = b 1 1 5 / 3 1 45 16 ( s 1 ) 3 N u ( s ) d s s + 5 / 3 2 1 6 N u ( s ) d s s + b 2 2 5 / 2 3 ( s 2 ) 2 N u ( s ) d s s 5 / 2 e N u ( s ) d s s = b 1 1 5 / 3 1 45 16 ( s 1 ) 3 h ( s ) + 1 35 H D 1 + 4 / 3 u ( s ) d s s + 1 6 5 / 3 2 h ( s ) + 1 35 H D 1 + 4 / 3 u ( s ) d s s + b 2 2 5 / 2 3 ( s 2 ) 2 c 0 35 H D 1 + 7 / 3 u ( s ) d s s 5 / 2 e c 0 35 H D 1 + 7 / 3 u ( s ) d s s .
For the above function u ( t ) , we find
H D 1 + 7 / 3 u ( t ) = b 1 Γ ( 10 / 3 ) , H D 1 + 4 / 3 u ( t ) = b 1 Γ ( 10 / 3 ) ln t + b 2 Γ ( 7 / 3 ) , H D 1 + 1 / 3 u ( t ) = b 1 Γ ( 10 / 3 ) 2 ( ln t ) 2 + b 2 Γ ( 7 / 3 ) ln t , t [ 1 , e ] .
Then for C 0 we deduce
C 0 = b 1 1 5 / 3 1 45 16 ( s 1 ) 3 h ( s ) d s s + b 1 35 1 5 / 3 b 1 Γ 10 3 ln s + b 2 Γ 7 3 1 45 16 ( s 1 ) 3 d s s + b 1 6 5 / 3 2 h ( s ) d s s + b 1 210 5 / 3 2 b 1 Γ 10 3 ln s + b 2 Γ 7 3 d s s 3 b 2 c 0 35 2 5 / 2 ( s 2 ) 2 b 1 Γ 10 3 d s s b 2 5 / 2 e c 0 35 b 1 Γ 10 3 d s s = b 1 2 35 Γ 10 3 1 5 / 3 1 45 16 ( s 1 ) 3 ln s d s s + b 1 2 210 Γ 10 3 5 / 3 2 ln s d s s + b 1 1 5 / 3 1 45 16 ( s 1 ) 3 h ( s ) d s s + b 1 6 5 / 3 2 h ( s ) d s s + b 1 b 2 1 35 1 5 / 3 Γ 7 3 1 45 16 ( s 1 ) 3 d s s + 1 210 5 / 3 2 Γ 7 3 d s s 3 c 0 35 2 5 / 2 Γ 10 3 ( s 2 ) 2 d s s c 0 35 Γ 10 3 5 / 2 e d s s .
So, we obtain C 0 = C 3 b 1 2 + C 4 b 1 , where
C 3 = 1 35 Γ 10 3 1 5 / 3 1 45 16 ( s 1 ) 3 ln s d s s + 1 210 Γ 10 3 5 / 3 2 ln s d s s 0.00877909 , C 4 = 1 5 / 3 1 45 16 ( s 1 ) 3 h ( s ) d s s + 1 6 5 / 3 2 h ( s ) d s s .
Hence C 0 = C 3 b 1 ( b 1 + C 4 / C 3 ) . For C 4 we find
C 4 1 5 / 3 1 45 16 ( s 1 ) 3 h 1 ( s ) d s s + 1 6 5 / 3 2 h 1 ( s ) d s s ; 1 5 / 3 1 45 16 ( s 1 ) 3 h 2 ( s ) d s s + 1 6 5 / 3 2 h 2 ( s ) d s s = [ l 1 + l 2 ; l 3 + l 4 ] [ 0.15126051 ; 0.22470301 ] .
We obtain C 4 / C 3 [ ( l 1 + l 2 ) / C 3 , ( l 3 + l 4 ) / C 3 ] [ 17.22963609 ; 25.59525372 ] . Then, if | b 1 | > r = 26 , we deduce that C 0 > 0 . Therefore, assumption ( A 5 ) is satisfied.
Therefore, by Theorem 2, we conclude that Problem (37),(38) have at least one solution.

5. Conclusions

In this paper, we investigated the Hadamard fractional differential Equation (1) containing fractional derivatives of various orders, subject to the nonlocal boundary conditions (2). These conditions are general ones encompassing Riemann–Stieltjes integrals and Hadamard fractional derivatives. Our Problem (1),(2) are resonant in the sense that the corresponding homogeneous boundary-value problem has nontrivial solutions. We equivalently wrote this problem as an operator equation in certain Banach spaces involving two operators for which we studied diverse properties. Then, based on the coincidence degree theory of J. Mawhin, more specifically the Mawhin continuation theorem, we proved the existence of solutions for (1) and (2).

Author Contributions

Conceptualization, R.L.; Formal analysis, R.L. and A.T.; Methodology, R.L. and A.T.; writing---original draft preparation and writing---review and editing: R.L. and A.T. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Acknowledgments

The authors thank the referees for their valuable comments and suggestions.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Mawhin, J. Topological Degree Methods in Nonlinear Boundary Value Problems; Regional Conference Series in Mathematics No. 40; American Mathematical Society: Providence, RI, USA, 1979. [Google Scholar]
  2. Mawhin, J. Topological Degree and Boundary Value Problems for Nonlinear Differential Equations. In Topological Methods for Ordinary Differential Equations, Proceedings of the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.), Montecatini Terme, Italy, 24 June–2 July 1991; Springer: Berlin/Heidelberg, Germany, 1993; Volume 1537, pp. 74–142, Lecture Notes in Mathematics. [Google Scholar]
  3. Bohner, M.; Domoshnitsky, A.; Padhi, S.; Srivastava, S.N. Existence of solutions by coincidence degree theory for Hadamard fractional differential equations at resonance. Turk. J. Math. 2024, 48, 296–306. [Google Scholar] [CrossRef]
  4. Tudorache, A.; Luca, R. Positive solutions to a system of coupled Hadamard fractional boundary value problems. Fractal Fract. 2024, 8, 543. [Google Scholar] [CrossRef]
  5. Luca, R.; Tudorache, A. On a system of Hadamard fractional differential equations with nonlocal boundary conditions on an infinite interval. Fractal Fract. 2023, 7, 458. [Google Scholar] [CrossRef]
  6. Tudorache, A.; Luca, R. Positive solutions for a system of Hadamard fractional boundary value problems on an infinite interval. Axioms 2023, 12, 793. [Google Scholar] [CrossRef]
  7. Domoshnitsky, A.; Srivastava, S.N.; Padhi, S. Existence of solutions for a higher order Riemann-Liouville fractional differential equation by Mawhin’s coincidence degree theory. Math. Methods Appl. Sci. 2023, 46, 12018–12034. [Google Scholar] [CrossRef]
  8. Wang, Y.; Huang, Y.; Li, X. Positive solutions for fractional differential equation at resonance under integral boundary conditions. Demonstr. Math. 2022, 55, 238–253. [Google Scholar] [CrossRef]
  9. Zhang, W.; Liu, W. Existence of solutions for fractional differential equations with infinite point boundary conditions at resonance. Bound. Value Prob. 2018, 2018, 36. [Google Scholar] [CrossRef]
  10. Zhang, W.; Liu, W. Existence of solutions for fractional multi-point boundary value problems on an infinite interval at resonance. Mathematics 2020, 8, 126. [Google Scholar] [CrossRef]
  11. Baitiche, Z.; Guerbati, K.; Hammouche, H.; Benchohra, M.; Graef, J. Sequential fractional differential equations at resonance. Funct. Differ. Equ. 2020, 26, 167–184. [Google Scholar] [CrossRef]
  12. Chen, T.; Liu, W.; Hu, Z. A boundary value problem for fractional differential equation with p-Laplacian operator at resonance. Nonlinear Anal. 2012, 75, 3210–3217. [Google Scholar] [CrossRef]
  13. Chen, T.; Liu, W.; Zhang, H. Some existence results on boundary value problems for fractional p-Laplacian equation at resonance. Bound. Value Prob. 2016, 2016, 51. [Google Scholar] [CrossRef]
  14. Cheng, L.; Liu, W.; Ye, Q. Boundary value problem for a coupled system of fractional differential equations with p-Laplacian operator at resonance. Electr. J. Differ. Equ. 2014, 2014, 1–12. [Google Scholar]
  15. Djebali, S.; Aoun, A.G. Resonant fractional differential equations with multi-point boundary conditions on (0,+). J. Nonlinear Funct. Anal. 2019, 2019, 21. [Google Scholar]
  16. Ge, F.D.; Zhou, H.C.; Kou, C.H. Existence of solutions for a coupled fractional differential equations with infinitely many points boundary conditions at resonance on an unbounded domain. Differ. Equ. Dyn. Syst. 2019, 27, 395–411. [Google Scholar] [CrossRef]
  17. Hu, L. Existence of solutions to a coupled system of fractional differential equations with infinite-point boundary value conditions at resonance. Adv. Differ. Equ. 2016, 2016, 200. [Google Scholar] [CrossRef]
  18. Hu, Z.; Liu, W.; Liu, J. Existence of solutions for a coupled system of fractional p-Laplacian equations at resonance. Adv. Differ. Equ. 2013, 2013, 312. [Google Scholar] [CrossRef]
  19. Jiang, W. Solvability of fractional differential equations with p-Laplacian at resonance. Appl. Math. Comput. 2015, 260, 48–56. [Google Scholar] [CrossRef]
  20. Jiang, W.; Huang, X.; Wang, B. Boundary value problems of fractional differential equations at resonance. Phys. Procedia 2012, 25, 965–972. [Google Scholar] [CrossRef]
  21. Kosmatov, N.; Jiang, W. Resonant functional problems of fractional order. Chaos Solitons Fractals 2016, 91, 573–579. [Google Scholar] [CrossRef]
  22. Ma, W.; Meng, S.; Cui, Y. Resonant integral boundary value problems for Caputo fractional differential equations. Math. Prob. Engin. 2018, 5438592. [Google Scholar] [CrossRef]
  23. Wang, Y. Necessary conditions for the existence of positive solutions to fractional boundary value problems at resonance. Appl. Math. Lett. 2019, 97, 34–40. [Google Scholar] [CrossRef]
  24. Wang, Y.; Liu, L. Positive solutions for a class of fractional 3-point boundary value problems at resonance. Adv. Differ. Equ. 2017, 2017, 7. [Google Scholar] [CrossRef]
  25. Wang, Y.; Wu, Y. Positive solutions of fractional differential equation boundary value problems at resonance. J. Appl. Anal. Comput. 2020, 10, 2459–2475. [Google Scholar]
  26. Zhang, W.; Liu, W. Existence of solutions for fractional multi-point boundary value problems at resonance with three-dimensional kernels. Adv. Differ. Equ. 2018, 2018, 15. [Google Scholar] [CrossRef]
  27. Zhang, W.; Liu, W.; Chen, T. Solvability for a fractional p-Laplacian multipoint boundary value problem at resonance on infinite interval. Adv. Differ. Equ. 2016, 2016, 183. [Google Scholar] [CrossRef]
  28. Zou, Y.; He, G. The existence of solutions to integral boundary value problems of fractional differential equations at resonance. J. Funct. Spaces 2017, 2785937. [Google Scholar] [CrossRef]
  29. Garra, R.; Mainardi, F.; Spada, G. A generalization of the Lomnitz logarithmic creep law via Hadamard fractional calculus. Chaos Solitons Fractals 2017, 102, 333–338. [Google Scholar] [CrossRef]
  30. Garra, R.; Orsingher, E.; Polito, F. A note on Hadamard fractional differential equations with varying coefficients and their applications in probability. Mathematics 2018, 6, 4. [Google Scholar] [CrossRef]
  31. Ahmad, B.; Alsaedi, A.; Ntouyas, S.K.; Tariboon, J. Hadamard-Type Fractional Differential Equations, Inclusions and Inequalities; Springer: Cham, Switzerland, 2017. [Google Scholar]
  32. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; North-Holland Mathematics Studies Series; Elsevier Science B.V.: Amsterdam, The Netherlands, 2006; Volume 204. [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

Luca, R.; Tudorache, A. Existence of Solutions for a Hadamard Fractional Boundary Value Problem at Resonance. Fractal Fract. 2025, 9, 119. https://doi.org/10.3390/fractalfract9020119

AMA Style

Luca R, Tudorache A. Existence of Solutions for a Hadamard Fractional Boundary Value Problem at Resonance. Fractal and Fractional. 2025; 9(2):119. https://doi.org/10.3390/fractalfract9020119

Chicago/Turabian Style

Luca, Rodica, and Alexandru Tudorache. 2025. "Existence of Solutions for a Hadamard Fractional Boundary Value Problem at Resonance" Fractal and Fractional 9, no. 2: 119. https://doi.org/10.3390/fractalfract9020119

APA Style

Luca, R., & Tudorache, A. (2025). Existence of Solutions for a Hadamard Fractional Boundary Value Problem at Resonance. Fractal and Fractional, 9(2), 119. https://doi.org/10.3390/fractalfract9020119

Article Metrics

Back to TopTop