Next Article in Journal
Borel–Cantelli Lemma for Capacities
Previous Article in Journal
A Wide-Range Adjustable Conservative Memristive Hyperchaotic System with Transient Quasi-Periodic Characteristics and Encryption Application
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Sixth-Order Beam Equation of Small Deflection with Variable Parameters

1
Department of Mathematics and Sciences, Prince Sultan University, Riyadh 11586, Saudi Arabia
2
Department of Mathematics, Faculty of Science, Imam Mohammad Ibn Saud Islamic University, Riyadh 11623, Saudi Arabia
3
Department of Mathematics, Faculty of Science, King Saud University, Riyadh 11451, Saudi Arabia
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(5), 727; https://doi.org/10.3390/math13050727
Submission received: 29 November 2024 / Revised: 12 January 2025 / Accepted: 19 February 2025 / Published: 24 February 2025
(This article belongs to the Section E2: Control Theory and Mechanics)

Abstract

:
This paper establishes an existence and uniqueness theorem for the nonlocal sixth-order nonlinear beam differential equations with four parameters of the form u ( 6 ) + A ( x ) u ( 4 ) + B ( x ) u + C ( x ) u = λ f ( x , u , u , u ( 4 ) ) , 0 < x < 1 , subject to the integral boundary conditions: u ( 0 ) = u ( 1 ) = 0 1 p ( x ) u ( x ) d x ,   u ( 0 ) = u ( 1 ) = 0 1 q ( x ) u ( x ) d x and u ( 4 ) ( 0 ) = u ( 4 ) ( 1 ) = 0 1 s ( x ) u ( 4 ) ( x ) d x such that 1 0 1 p 2 ( x ) d x = α > 0 , 1 0 1 q 2 ( x ) d x = β > 0 , 1 0 1 s 2 ( x ) d x = γ > 0 , under some growth condition on f, and provided that an upper bound exists for the flexural rigidity λ to guarantee that no large deflections will occur.
MSC:
34B10; 34B15; 34B18

1. Introduction

Fourth- and sixth-order differential equations of the form
u ( 6 ) = g ( x , u , u , u ( 4 ) ) , 0 < x < 1
have wide applications in many physical and engineering problems. In elastic beam theory, the fourth-order equations model the deflection of sandwich beams, the sixth-order equations model circular ring beams [1,2,3,4], and they have connections with vibration problems in automotive industry [5]. The sixth-order BVPs also appear in astrophysics and hydrodynamics [6,7,8,9]. There have been several successful attempts to investigate the existence of positive solutions of the problem and finding them numerically [10,11,12,13,14,15,16,17,18,19]. In particular, the problem
u ( 6 ) + A u ( 4 ) + B u + C u = f ( x , u ) , 0 < x < 1 ,
u ( 0 ) = u ( 0 ) = u ( 4 ) ( 0 ) = u ( 6 ) ( 0 ) = 0 ,
u ( 1 ) = u ( 1 ) = u ( 4 ) ( 1 ) = u ( 6 ) ( 1 ) = 0
has been investigated in [10,11,12,13,14] with A = B = C = 0 , and in [15] with A = B = 0 , and C is a variable parameter. The authors in [20,21,22,23] investigated positive solutions of sixth-order boundary value problems with three variable coefficients. The authors in [20] investigated the solution using spectral theory of operators and fixed-point theorem in cones.
The present paper deals with the sixth-order spectral BVP
u ( 6 ) + A ( x ) u ( 4 ) + B ( x ) u + C ( x ) u = λ f ( x , u , u , u ( 4 ) ) , 0 < x < 1 ,
subject to the integral boundary conditions
u ( 0 ) = u ( 1 ) = 0 1 p ( x ) u ( x ) d x ,
u ( 0 ) = u ( 1 ) = 0 1 q ( x ) u ( x ) d x ,
u ( 4 ) ( 0 ) = u ( 4 ) ( 1 ) = 0 1 s ( x ) u ( 4 ) ( x ) d x ,
where A , B , C C [ 0 , 1 ] , p , q , s L 2 [ 0 , 1 ] ,
1 0 1 p 2 ( x ) d x = α > 0 , 1 0 1 q 2 ( x ) d x = β > 0 , 1 0 1 s 2 ( x ) d x = γ > 0
and f is continuous on [ 0 , 1 ] × R × R and satisfies a growth condition with variable parameters:
f ( x , u , v , w ) a ( x ) u + b ( x ) v + c ( x ) w + d ( x ) ,
where a ( x ) , b ( x ) , c ( x ) and d ( x ) are positive continuous functions on [ 0 , 1 ] . So, let a ( x ) a ,   b ( x ) b , and c ( x ) c on [ 0 , 1 ] . In the beam equation, the external source f refers to the distributed load, and researchers used to assume it is bounded on [ 0 , 1 ] × R × R . However, Y. Yang [24] assumed a growth condition on f, which is more general and provides flexibility and more efficiency in applications. Equation (1) is called a beam equation and is an Euler–Bernoulli Equation. Note here that Pr. (1)–(6) is a generalization of the problem investigated in [1] with A = B = 0 ,   s ( x ) = 0 and C ( x ) = 0 . If p = q = s = 0 , then the end points are simply supported, so we can perturb the end points by making the functions p , q , s relatively small.
Pr. (1)–(6) models the deformation of an elastic beam, where u represents the deflection of the beam, and λ the reciprocal of the flexural rigidity which measures the resistance to bend.
In much the same way as in the fourth-degree case, we are interested in the case of small deflections, which means that Hook’s law is applicable, and this will give rise to the Euler–Bernoulli Equation (1). In construction engineering, it becomes increasingly important to consider beams with small deflections since large deflections can cause cracks in the beams. In automotive engineering, large deflections lead to vibrations that can cause noise and discomfort, and shorten the lifespan of the car, so reducing damping automotive vibrations is of utmost importance for car engineers. One of the technical solutions they offer is by enforcing an upper bound for the flexural rigidity λ to guarantee that only small deflections will occur. Thus, we propose the following natural assumption:
λ < 64 α β γ 16 A 1 4 B 1 C 1 21 k ,
where k = max { a , b , c } , A 1 = sup [ 0 , 1 ] A ( x ) , B 1 = sup [ 0 , 1 ] B ( x ) , C 1 = sup [ 0 , 1 ] C ( x ) .
It is important to note that if (7) holds and assuming that A 1 = B 1 = C 1 = 0 , then
λ < 64 α β γ 21 k < 16 α β γ 5 k ,
which is the upper estimate of λ for the fourth-order beam equation (see [1]). It turns out the above estimate works well for both types of beams modeled by the fourth-order and sixth-order equations.

2. Existence Theorem

Pr. (1)–(4) can be converted into the following system:
u = v , u ( 0 ) = u ( 1 ) = 0 1 p ( x ) u ( x ) d x , v = w , v ( 0 ) = v ( 1 ) = 0 1 q ( x ) v ( x ) d x , w = A ( x ) w B ( x ) v C ( x ) u + λ f ( x , u , v , w ) , w ( 0 ) = w ( 1 ) = 0 1 s ( x ) w ( x ) d x .
We prove the following statement
Proposition 1. 
If the conditions (6) and (7) hold with (5), then there exists a constant M > 0 , which is independent of the solution u such that for any x [ 0 , 1 ] and any solution u to Pr. (1)–(4), we have
u ρ , 0 + u ρ , 1 + u ρ , 2 M ,
where u ρ , 0 = max [ 0 , 1 ] ρ ( x ) u ( x ) ,   u ρ , 1 = u ρ , 0 ,   u ρ , 2 = u ( 4 ) ρ , 0 and ρ ( x ) = x ( 1 x ) , x [ 0 , 1 ] .
Proof. 
Multiplying both sides of the second equation of (8) by ρ ( x ) v and integrating the resulting equation from 0 to 1 , then using integration by parts gives
2 0 1 v 2 ( x ) d x + 2 0 1 ρ ( x ) ( v ) 2 ( x ) d x = v 2 ( 1 ) + v 2 ( 0 ) 2 0 1 ρ ( x ) v ( x ) w ( x ) d x .
Given that v ( 0 ) = v ( 1 ) = 0 1 q ( x ) u ( x ) d x , we have
0 1 v 2 ( x ) d x + 0 1 ρ ( x ) ( v ) 2 d x = 0 1 q ( x ) v ( x ) d x 2 0 1 ρ ( x ) v ( x ) w ( x ) d x .
The Cauchy–Schwarz inequality can be used to estimate the integrals 0 1 q ( x ) v ( x ) d x and 0 1 ρ ( x ) v ( x ) w ( x ) d x .
0 1 q ( x ) v ( x ) d x 2 0 1 q 2 ( x ) d x 0 1 v 2 ( x ) d x
and
0 1 ρ ( x ) v ( x ) w ( x ) d x 0 1 ρ ( x ) v 2 ( x ) d x 1 2 0 1 ρ ( x ) w 2 ( x ) d x 1 2 .
Since sup [ 0 , 1 ] ρ ( x ) = 1 4 , we have
0 1 ρ ( x ) v ( x ) w ( x ) d x 1 4 0 1 v 2 ( x ) d x 1 2 0 1 w 2 ( x ) d x 1 2 .
It follows that
1 0 1 q 2 ( x ) d x 0 1 v 2 ( x ) d x + 0 1 ρ ( x ) ( v ) 2 ( x ) d x 1 4 0 1 v 2 ( x ) d x 1 2 0 1 w 2 ( x ) d x 1 2
and so
0 1 v 2 ( x ) d x + 0 1 ρ ( x ) ( v ) 2 ( x ) d x 1 4 β 0 1 v 2 ( x ) d x 1 2 0 1 w 2 ( x ) d x 1 2 .
But we also have
0 1 v 2 ( x ) d x 0 1 v 2 ( x ) d x + 0 1 ρ ( x ) ( v ) 2 ( x ) d x .
Thus,
0 1 v 2 ( x ) d x 1 2 1 4 β 0 1 w 2 ( x ) d x 1 2
and therefore
0 1 v 2 ( x ) d x + 0 1 ρ ( x ) ( v ) 2 ( x ) d x K 1 0 1 w 2 ( x ) d x ,
where K 1 = 1 16 β 2 and β = 1 0 1 q 2 ( x ) d x .
Now, we multiply both sides of the first equation of (8) by ρ ( x ) u , and then we repeat the same steps above, considering the nonlocal boundary conditions u ( 0 ) = u ( 1 ) = 0 1 p ( x ) u ( x ) d x . This gives
0 1 u 2 ( x ) d x + 0 1 ρ ( x ) ( u ) 2 ( x ) d x K 2 0 1 v 2 ( x ) d x K 1 K 2 0 1 w 2 ( x ) d x ,
where K 2 = 1 16 α 2 and α = 1 0 1 p 2 ( x ) d x .
Furthermore, multiplying both sides of the third equation of (8) by ρ ( x ) w repeating the same steps, considering the nonlocal boundary conditions w ( 0 ) = w ( 1 ) = 0 1 s ( x ) w ( x ) d x , we obtain
0 1 w 2 ( x ) d x + 0 1 ρ ( x ) ( w ( x ) ) 2 d x = 0 1 s ( x ) w ( x ) d x 2 + 0 1 A ( x ) ρ ( x ) w 2 ( x ) + 0 1 B ( x ) ρ ( x ) v ( x ) w ( x ) + 0 1 C ( x ) ρ ( x ) u ( x ) w ( x ) d x λ 0 1 f ( x , u , v , w ) ρ ( x ) w ( x ) d x .
Note that
0 1 A ( x ) ρ ( x ) w 2 ( x ) d x A 1 4 0 1 w 2 ( x ) d x ,
0 1 B ( x ) ρ ( x ) v ( x ) w ( x ) d x B 1 4 0 1 v 2 ( x ) d x 1 2 0 1 w 2 ( x ) d x 1 2 ,
0 1 C ( x ) ρ ( x ) u ( x ) w ( x ) d x C 1 4 0 1 u 2 ( x ) d x 1 2 0 1 w 2 ( x ) d x 1 2
and
0 1 s ( x ) w ( x ) d x 2 0 1 s 2 ( x ) d x 0 1 w 2 ( x ) d x .
Then
0 1 f ( x , u , v , w ) ρ ( x ) w ( x ) d x a 4 0 1 u ( x ) w ( x ) d x + b 4 0 1 v ( x ) w ( x ) d x + c 4 0 1 w 2 ( x ) d x + 1 4 0 1 d ( x ) w ( x ) d x .
By means of the ϵ inequality, we estimate the integral 0 1 d ( x ) w ( x ) d x to obtain
0 1 d ( x ) w ( x ) d x 1 2 ϵ d 2 + ϵ 2 0 1 w 2 ( x ) d x , ϵ > 0 .
Thus
0 1 f ( x , u , v , w ) ρ ( x ) w ( x ) d x a 4 0 1 u 2 ( x ) d x 1 2 0 1 w 2 ( x ) d x 1 2 + b 4 0 1 v 2 ( x ) d x 1 2 0 1 w 2 ( x ) d x 1 2 + c 4 0 1 w 2 ( x ) d x + d 2 8 ϵ + ϵ 8 0 1 w 2 ( x ) d x , ϵ > 0 .
Since
0 1 v 2 ( x ) d x 0 1 v 2 ( x ) d x + 0 1 ρ ( x ) v 2 ( x ) d x K 1 0 1 w 2 ( x ) d x ,
0 1 u 2 ( x ) d x 0 1 u 2 ( x ) d x + 0 1 ρ ( x ) ( u ) 2 ( x ) d x K 1 K 2 0 1 w 2 ( x ) d x ,
we substitute (29) and (30) into (23) and (24)
0 1 B ( x ) ρ ( x ) v ( x ) w ( x ) d x B 1 4 K 1 0 1 w 2 ( x ) d x ,
0 1 C ( x ) ρ ( x ) u ( x ) w ( x ) d x C 1 4 K 1 K 2 0 1 w 2 ( x ) d x .
Also, substituting (29) and (30) into (28)
0 1 f ( x , u , v , w ) ρ ( x ) w ( x ) d x a 4 K 1 K 2 + b 4 K 1 + c 4 + ϵ 8 0 1 w 2 ( x ) d x + d 2 8 ϵ , ϵ > 0 .
From (25), (31)–(33), we obtain
1 0 1 s 2 ( x ) d x + A 1 4 + λ c 4 + λ ϵ 8 + K 1 B 1 4 + λ b 4 + K 2 ( C 1 4 + λ a 4 ) 0 1 w 2 ( x ) d x + 0 1 ρ ( x ) w 2 ( x ) d x λ d 2 8 ϵ .
Define
δ = 1 0 1 s 2 ( x ) d x + A 1 4 + λ c 4 + λ ϵ 8 + K 1 B 1 4 + λ b 4 + K 2 ( C 1 4 + λ a 4 )
and let K 1 = 1 4 β and K 2 = 1 4 α . Given the fact that α < 1 ,   β < 1 and γ = 1 0 1 s 2 ( x ) d x , we have
A 1 4 + λ c 4 + 1 4 β B 1 4 + λ b 4 + 1 4 α ( C 1 4 + λ a 4 ) = 1 64 α β 16 α β A 1 + 16 α β c λ + 4 α B 1 + 4 α b λ + C 1 + λ a < 1 64 α β 16 A 1 + 4 B 1 + C 1 + 21 k λ < 1 0 1 s 2 ( x ) d x ,
which implies
1 0 1 s 2 ( x ) d x + A 1 4 + λ c 4 + K 1 B 1 4 + λ b 4 + K 2 ( C 1 4 + λ a 4 ) > 0 .
We choose ϵ small enough to guarantee that δ > 0 . It follows that
0 1 s 2 ( x ) d x + A 1 4 + λ c 4 + λ ϵ 8 + K 1 B 1 4 + λ b 4 + K 2 ( C 1 4 + λ a 4 ) < 1 .
Hence,
0 1 w 2 ( x ) d x + 0 1 ρ ( x ) w 2 ( x ) d x M 1 ,
where M 1 = λ d 2 8 ϵ δ . Now, we combine (38) with (19) to obtain
0 1 v 2 ( x ) d x + 0 1 ρ ( x ) v 2 ( x ) d x M 2 ,
where M 2 = K 1 M 1 .
In a similar fashion, we use (20) to obtain
0 1 u 2 ( x ) d x + 0 1 ρ ( x ) u 2 ( x ) d x M 3 ,
where M 3 = K 1 K 2 M 1 .
But, on the other hand we have
ρ ( x ) u ( x ) = 0 x ρ ( x ) u ( x ) d x + ρ ( 0 ) u ( 0 ) = 0 x ρ ( x ) u ( x ) d x .
Hence,
ρ ( x ) u ( x ) 0 1 ρ ( x ) u ( x ) d x = 0 1 ρ ( x ) u ( x ) + ρ ( x ) u ( x ) d x .
Using sup [ 0 , 1 ] ρ ( x ) = 1 , employing Hölder’s inequality and using ρ 2 ( x ) ρ ( x ) , x [ 0 , 1 ] , we obtain
ρ ( x ) u ( x ) 0 1 u ( x ) + ρ ( x ) u ( x ) 2 1 2 d x 2 0 1 u 2 ( x ) + ( ρ ( x ) u ( x ) ) 2 d x 1 2 2 M 3 .
Likewise,
ρ ( x ) v ( x ) 2 0 1 v 2 ( x ) + ρ ( x ) v 2 ( x ) d x 1 2 2 M 2
and
ρ ( x ) w ( x ) 2 0 1 w 2 ( x ) + ρ ( x ) w 2 ( x ) d x 1 2 2 M 1 .
The proof of the proposition follows now from these three inequalities.
M = 2 M 1 1 2 + M 2 1 2 + M 3 1 2 .
Remark 1. 
In Proposition 1, we can replace the weight function ρ ( x ) = x ( 1 x ) with any positive function ρ C 2 [ 0 , 1 ] that satisfies the following conditions: ρ < 0 ,   ρ ( 0 ) = ρ ( 1 ) = 0 with ρ ( 0 ) > 0 and ρ ( 1 ) < 0 .
Furthermore, if sup [ 0 , 1 ] ρ ( x ) < 1 ,   sup [ 0 , 1 ] ρ ( x ) 1 . Then, in this case, we write sup [ 0 , 1 ] ρ ( x ) = 1 σ for some σ > 1 ,   K 1 = 1 σ β and K 1 = 1 σ α , and so the value of δ becomes
δ = 1 0 1 s 2 ( x ) d x + A 1 σ + λ c σ + λ ϵ 2 σ + B 1 σ 2 β + λ b σ 2 β + C 1 σ 3 α β + λ a σ 3 α β .
Therefore, in order to obtain the desired result, we can write estimate (7) as
λ < σ α β A 1 B 1 C 1 3 k .
The Schauder’s fixed-point theorem plays a crucial role in proving the existence of the solution. To make use of this theorem, we need the following lemmas.
Lemma 1 
([25]). Let g : [ 0 , 1 ] R and h : [ 0 , 1 ] R be continuous functions. If 1 0 1 h ( x ) d x 0 , then the unique solution u of the problem
u = g ( x )
subject to the nonlocal boundary conditions u ( 0 ) = u ( 1 ) = 0 1 h ( x ) u ( x ) d x is given by
u ( x ) = 0 1 G ( x , y ; h ( y ) ) g ( y ) d y ,
where G ( x ; y ; h ) is the Green function of this BVP and is given explicitly in [25].
From (8) and this lemma, we therefore obtain an equivalent integral system:
u = 0 1 G 1 ( x , s ) v ( s ) d s , x [ 0 , 1 ] , v = 0 1 G 2 ( x , s ) w ( s ) d s , x [ 0 , 1 ] , w = 0 1 G 3 ( x , s ) A ( s ) w ( s ) d s 0 1 G 3 ( x , s ) B ( s ) v ( s ) d s 0 1 G 3 ( x , s ) C ( s ) u ( s ) d s + λ 0 1 G 3 ( x , s ) f ( s , u ( s ) , v ( s ) , w ( s ) ) d s ,
where G 1 ( x , y ) = G ( x , y ; p ) ,   G 2 ( x , y ) = G ( x , y ; q ) and G 3 ( x , y ) = G ( x , y ; s ) such that 1 0 1 p ( x ) d x 0 ,   1 0 1 q ( x ) d x 0 and 1 0 1 s ( x ) d x 0 . Since G i ( x , y ) , i = 1 , 2 , 3 are continuous on [ 0 , 1 ] , we let sup [ 0 , 1 ] G i ( x , y ) L , i = 1 , 2 , 3 , and L will be chosen such that
K L 2 ,
where K is given by
K = max 1 4 + 1 4 ( A 1 + λ c + λ 8 ϵ δ λ ) , 1 4 + 1 4 ( B 1 + λ b ) , 1 4 ( C 1 + λ a ) .
Now, let us define the following Banach space
Y ρ = u C 4 [ 0 , 1 ] : u satisfies ( 48 ) and ( 49 )
with norm u ρ , 3 = u ρ , 0 + u ρ , 1 + u ρ , 2 , where u ρ , 1 = u ρ , 0 , u ρ , 2 = u ( 4 ) ρ , 0 . We also define the operator T : X X by
T ( u , v , w ) = T 1 ( u , v , w ) , T 2 ( u , v , w ) , T 3 ( u , v , w ) ,
where X = Y ρ × Y ρ × Y ρ with norm
( u , v , w ) ρ , 3 = u ρ , 0 + v ρ , 0 + w ρ , 0 such that
T 1 ( u , v , w ) = 0 1 G 1 ( x , s ) v ( s ) d s ,
T 2 ( u , v , w ) = 0 1 G 2 ( x , s ) w ( s ) d s
and
T 3 ( u , v , w ) = 0 1 G 3 ( x , s ) A ( s ) w ( s ) d s 0 1 G 3 ( x , s ) B ( s ) v ( s ) d s 0 1 G 3 ( x , s ) C ( s ) u ( s ) d s + λ 0 1 G 3 ( x , s ) f ( s , u ( s ) , v ( s ) , w ( s ) ) d s .
Consider now the closed convex set
S = ( u , v , w ) X : ( u , v , w ) ρ , 3 M .
Lemma 2. 
For any ( u , v , w ) S ,   T ( u , v , w ) is contained in S .
Proof. 
From the definition of T ( u , v , w ) , we have
ρ ( x ) T 1 ( u , v , w ) ρ ( x ) 0 1 G 1 ( x , s ) v ( s ) d s
1 4 0 1 G 1 ( x , s ) v ( s ) d s , ρ ( x ) T 2 ( u , v , w ) ρ ( x ) 0 1 G 2 ( x , s ) w ( s ) d s
1 4 0 1 G 2 ( x , s ) w ( s ) d s .
Hence,
ρ ( x ) T 1 ( u , v , w ) 1 4 0 1 G 1 ( x , s ) 2 1 2 0 1 v ( s ) 2 1 2 ,
ρ ( x ) T 2 ( u , v , w ) 1 4 0 1 G 2 ( x , s ) 2 1 2 0 1 w ( s ) 2 1 2 .
From (38) and (39), we have 0 1 v 2 ( x ) d x M 2 , and 0 1 w 2 ( x ) d x M 1 . Therefore,
ρ ( x ) T 1 ( u , v , w ) 1 4 L M 2 1 2 ,
ρ ( x ) T 2 ( u , v , w ) 1 4 L M 1 1 2 .
Similarly,
ρ ( x ) T 3 ( u , v , w ) ρ ( x ) 0 1 G 3 ( x , s ) A ( s ) w ( s ) d s + ρ ( x ) 0 1 G 3 ( x , s ) B ( s ) v ( s ) d s + ρ ( x ) 0 1 G 3 ( x , s ) C ( s ) u ( s ) d s + λ ρ ( x ) 0 1 G 3 ( x , s ) f ( s , u ( s ) , v ( s ) , w ( s ) ) d s .
Consequently,
ρ ( x ) T 3 ( u , v , w ) 1 4 L A 1 M 1 1 2 + B 1 M 2 1 2 + C 1 M 3 1 2 + λ L 4 a M 3 1 2 + b M 2 1 2 + c M 1 1 2 + d .
Thus
ρ ( x ) T 3 ( u , v , w ) 1 4 L ( A 1 + λ c ) M 1 1 2 + ( B 1 + λ b ) M 2 1 2 + ( C 1 + λ a ) M 3 1 2 + d .
Since M 1 = λ d 2 8 ϵ δ (from (38)), we have
ρ ( x ) T 3 ( u , v , w ) 1 4 L ( A 1 + λ c + λ 8 ϵ δ λ ) M 1 1 2 + ( B 1 + λ b ) M 2 1 2 + ( C 1 + λ a ) M 3 1 2 .
Therefore,
ρ ( x ) T 1 ( u , v , w ) + ρ ( x ) T 2 ( u , v , w ) + ρ ( x ) T 3 ( u , v , w ) M * ,
where
M * = 1 4 L ( 1 + A 1 + λ c + λ 8 ϵ δ λ ) M 1 1 2 + ( 1 + B 1 + λ b ) M 2 1 2 + ( C 1 + λ a ) M 3 1 2 .
Using (50), we obtain
M * K L M 1 1 2 + M 2 1 2 + M 3 1 2 .
From (49), we have
M * 2 M 1 1 2 + M 2 1 2 + M 3 1 2 .
Noting that M = 2 M 1 1 2 + M 2 1 2 + M 3 1 2 is indeed the same constant of Proposition 1.
We therefore have T ( u , v , w ) ρ , 3 M . By continuity of f ( x , u , v , w ) , u and v , we see that T ( u , v , w ) is continuous. This proves that T ( u , v , w ) is also contained in S .
Hence T : S S maps the closed, bounded and convex set S into itself. A similar argument can be applied to ( T ( u , v , w ) ) ( x ) , where
( T 1 ( u , v , w ) ) ( x ) = 0 1 G 1 , x ( x , s ) v ( s ) d s ,
( T 2 ( u , v , w ) ) ( x ) = 0 1 G 2 , x ( x , s ) w ( s ) d s
and
( T 3 ( u , v , w ) ) ( x ) = 0 1 G 3 , x ( x , s ) A ( s ) w ( s ) d s 0 1 G 3 , x ( x , s ) B ( s ) v ( s ) d s 0 1 G 3 , x ( x , s ) C ( s ) u ( s ) d s + λ 0 1 G 3 , x ( x , s ) f ( s , u ( s ) , v ( s ) , w ( s ) ) d s ,
where G i , x ( x , s ) = G i ( x , s ) x , i = 1 , 2 , 3 .
To prove that T ( u , v ) is compact, we use the Arzela–Ascoli lemma; that is, T ( S ) must be closed, bounded and equicontinuous.
In order to prove that T ( S ) is equicontinuous, take x and y in the interval [ 0 , 1 ] , then there exists ξ between x and y such that
G 1 ( x , s ) G 1 ( y , s ) = ( y x ) G 1 , x ( ξ , s ) .
It follows by the definition of T ( u , v , w ) that
ρ ( x ) T 1 ( u ( x ) , v ( x ) , w ( x ) ) T 1 ( u ( y ) , v ( y ) , w ( y ) ) = ρ ( x ) 0 1 G 1 ( x , s ) G 1 ( y , s ) v ( s ) d s .
Hence,
ρ ( x ) T 1 ( u ( x ) , v ( x ) , w ( x ) ) T 1 ( u ( y ) , v ( y ) , w ( y ) ) = ρ ( x ) 0 1 G 1 ( x , s ) G 1 ( y , s ) v ( s ) d s 1 4 0 1 ( y x ) G 1 , x ( ξ , s ) v ( s ) d s L 1 M 2 1 2 x y ,
where sup [ 0 , 1 ] G 1 ( x , s ) L 1 . Let ϵ > 0 . If x y < δ = ϵ 3 L 1 M 2 1 2 , we have
ρ ( x ) T 1 ( u ( x ) , v ( x ) , w ( x ) ) T 1 ( u ( y ) , v ( y ) , w ( y ) ) ϵ 3
for all x and y in the interval [ 0 , 1 ] satisfying x y < δ .
A similar argument can be applied to T 2 ( u ( x ) , v ( x ) , w ( x ) ) and T 3 ( u ( x ) , v ( x ) , w ( x ) ) , we have
ρ ( x ) T 2 ( u ( x ) , v ( x ) , w ( x ) ) T 2 ( u ( y ) , v ( y ) , w ( y ) ) ϵ 3
and
ρ ( x ) T 3 ( u ( x ) , v ( x ) , w ( x ) ) T 3 ( u ( y ) , v ( y ) , w ( y ) ) ϵ 3
for all x and y in the interval [ 0 , 1 ] satisfying x y < δ . This proves the equicontinuity of T ( S ) .
Therefore, T ( u , v , w ) has a fixed point by the Schauder’s fixed point theorem.
Theorem 1. 
Under the hypothesis of Proposition 1, there exists a continuous solution ( u , v , w ) which satisfies system (8).

3. A Uniqueness Theorem

A uniqueness theorem can also be obtained by assuming that f ( x , u , u ( 2 ) , u ( 4 ) ) satisfies a Lipschitz condition in u , u ( 2 ) and u ( 4 ) with constants t i > 0 , i = 0 , 1 , 2 , that is
f ( x , u , u , u ( 4 ) ) f ( x , v , v , v ( 4 ) ) t 0 u v + t 1 u v + t 2 u ( 4 ) v ( 4 ) .
If we assume that
0 1 s 2 ( x ) d x + A 1 4 + B 1 K 1 4 + K 1 K 2 C 1 4 + λ t 0 K 1 K 2 4 + λ K 1 t 1 4 + λ t 2 4 < 1 ,
where K 1 = 1 16 ( 1 0 1 q 2 ( x ) d x ) 2 ,   K 2 = 1 16 ( 1 0 1 p 2 ( x ) d x ) 2 ,
Then, we have
Theorem 2. 
If f is Lipschitz in u , u and u ( 4 ) such that the constants K i > 0 , i = 0 , 1 satisfy (81) and if (6) and (7) hold with (5), then the system (8) has a unique solution ( u , v , w ) .
Proof. 
Let u and v be two solutions of Pr. (1)–(4) such that u v . Assuming w = u v , we have
w ( 6 ) + A ( x ) w ( 4 ) + B ( x ) w + C ( x ) w = λ f ( x , u , u , u ( 4 ) ) f ( x , v , v , v ( 4 ) )
subject to
w ( 0 ) = w ( 1 ) = 0 1 p ( x ) w ( x ) d x ,
w ( 0 ) = w ( 1 ) = 0 1 q ( x ) w ( x ) d x
and
w ( 4 ) ( 0 ) = w ( 4 ) ( 1 ) = 0 1 s ( x ) w ( 4 ) ( x ) d x .
Thus, we have
w = y , w ( 0 ) = w ( 1 ) = 0 1 p ( x ) w ( x ) d x , y = z , y ( 0 ) = y ( 1 ) = 0 1 q ( x ) y ( x ) d x , z = A ( x ) z B ( x ) y C ( x ) w + λ f ( x , u , u , u ( 4 ) ) f ( x , v , v , v ( 4 ) ) , z ( 0 ) = z ( 1 ) = 0 1 s ( x ) z ( x ) d x .
Proceeding as in Proposition 1, we obtain
0 1 z 2 ( x ) d x + 0 1 ρ ( x ) ( z ( x ) ) 2 d x = 0 1 s ( x ) z ( x ) d x 2 + 0 1 A ( x ) ρ ( x ) z 2 ( x ) + 0 1 B ( x ) ρ ( x ) y ( x ) z ( x ) + 0 1 C ( x ) ρ ( x ) w ( x ) z ( x ) d x λ 0 1 f ( x , u , u , u ( 4 ) ) f ( x , v , v , v ( 4 ) ) ρ ( x ) z ( x ) d x ,
where
0 1 A ( x ) ρ ( x ) z 2 ( x ) d x A 1 4 0 1 z 2 ( x ) d x , 0 1 B ( x ) ρ ( x ) y ( x ) z ( x ) d x B 1 4 0 1 y 2 ( x ) d x 1 2 0 1 z 2 ( x ) d x 1 2 , 0 1 C ( x ) ρ ( x ) w ( x ) z ( x ) d x C 1 4 0 1 w 2 ( x ) d x 1 2 0 1 z 2 ( x ) d x 1 2
and
0 1 s ( x ) z ( x ) d x 2 0 1 s 2 ( x ) d x 0 1 z 2 ( x ) d x .
Applying the Lipschitz condition to f ( x , u , u , u ( 4 ) ) f ( x , v , v , v ( 4 ) ) to obtain
0 1 f ( x , u , u , u ( 4 ) ) f ( x , v , v , v ( 4 ) ) ρ ( x ) z ( x ) d x t 0 4 0 1 w ( x ) z ( x ) d x + t 1 4 0 1 y ( x ) z ( x ) d x + t 2 4 0 1 z 2 ( x ) d x .
Combining these inequalities, we obtain
δ 1 0 1 z 2 ( x ) d x + 0 1 ρ ( x ) z 2 ( x ) d x 0 ,
where
δ 1 = 1 0 1 s 2 ( x ) d x + A 1 4 + B 1 K 1 4 + K 1 K 2 C 1 4 + λ t 0 K 1 K 2 4 + λ K 1 t 1 4 + λ t 2 4 > 0 .
This is a contradiction.
This completes the proof. □

4. Conclusions

The paper investigates the existence and uniqueness of the solution of sixth-order nonlinear beam differential equations with four parameters, subject to the conditions (2)–(7), where (2)–(4) give nonlocal boundary conditions rather than local, (6) implies the loaded force f satisfies a growth condition rather being bounded, and (7) implies that an upper estimate is imposed on the eigenvalues which refer to the reciprocal of the flexural rigidity that measures the resistance to bend. So, by imposing an upper bound on λ , we maintain a small deflection to the beam. The study establishes the existence and uniqueness of deflection u as a solution to (1). This facilitates the idea of modeling the system in concrete applications and enables researchers to study the behavior of the system by studying the qualitative properties of the unique solution and look for situations to optimize the solution. Furthermore, as suggested by the equation and its conditions, keeping λ small can be guaranteed if either the loaded force f is small, or the material of the beam has high flexural rigidity, and this might be advantageous for the car and aircraft industries and construction engineering regarding safety standards since large deflections could cause large vibrations which could annoy drivers and passengers, or cause cracks in the beams which could be dangerous in construction engineering.
The objective of this research is to determine whether small deflections occur in the beams of the form of circular ring segment (which are modeled by the sixth-order beam equations). The result shows that the solution to the problem exists, which implies that small deflections continue to exist on the beam whether the edges of the beam (end points) are fixed, slightly relaxed, or slightly supported. This result should help the manufacturers to reduce noise and vibrations and thus improve their designs.
Finally, the study opens the doors to further mathematical research (e.g., finding an explicit form of the solution or approximating it using semi-analytic or numerical methods). Numerical solutions of sixth-order differential equations with local boundary conditions have been studied in the literature, see [12,13,14,26,27,28,29,30]. However, the nonlocal conditions requirement is new to the literature, and the results of this paper can indeed motivate researchers to investigate the numerical solution of Pr. (1)–(4), subject to (6) and (7). It is worth noting that the assumption of small deflections and having small values of the parameter λ suggests using the homotopy perturbation method since it works perfectly for nonlinear equations containing small parameters and can provide the solution in a rapid convergent series.

Author Contributions

Conceptualization, A.K., L.B. and N.A.; Methodology, A.K., L.B. and N.A.; Validation, A.K. and L.B.; Formal Analysis, A.K., L.B. and N.A. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

The original contributions presented in the study are included in the article, further inquiries can be directed to the corresponding author.

Acknowledgments

The first author would like to acknowledge the support of Prince Sultan University for paying the Article Processing Charges (APC) of this publication. The author would like to thank Prince Sultan University for their support.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Khanfer, A.; Bougoffa, L. On the fourth-order nonlinear beam equation of a small deflection with nonlocal conditions. Aims Math. 2021, 6, 9899–9910. [Google Scholar] [CrossRef]
  2. Khanfer, A.; Bougoffa, L. On the nonlinear system of fourth-order beam equations with integral boundary conditions. Aims Math. 2021, 6, 11467–11481. [Google Scholar] [CrossRef]
  3. Khanfer, A.; Bougoffa, L. A Cantilever Beam Problem with Small Deflections and Perturbed Boundary Data. J. Funct. Spaces. 2021, 1, 1–9. [Google Scholar] [CrossRef]
  4. Agarwal, R.P.; Kovacs, B.; O’Regan, D. Existence of positive solution for a sixth–order differential system with variable parameters. J. Appl Math Comput. 2013, 1–2, 437–454. [Google Scholar] [CrossRef]
  5. M. Alvelid, Sixth order differential equation for sandwich beam deflection including transverse shear. Compos. Struct. 2013, 102, 29–37. [Google Scholar] [CrossRef]
  6. H. Mirzaei, Existence and nonexistence of positive solution for sixth-order boundary vlaue problems. Bull. Iranian Math. Soc. 2016, 42, 1451–1458. [Google Scholar]
  7. Glatzmaier, G.A. Numerical simulations of stellar convection dynamics at the base of the convection zone. Fluid Dynam. 1985, 31, 137–150. [Google Scholar]
  8. Toomre, J.; Zahn, J.; Latour, J.; Spiegel, E. Stellar convection theory ii: Single-mode study of the second convection zone in a-type stars. Astrophys. J. 1976, 207, 545–563. [Google Scholar] [CrossRef]
  9. Chandrasekhar, S. Hydrodynamics and Hydromagntic Stability; Dover: New York, NY, USA, 1981. [Google Scholar]
  10. Jalilian, R.; Rashidinia, J. Convergence analysis of nonic-spline solutions for special nonlinear sixth-order boundary value problems. Commun. Nonlinear Sci. Numer. Simul. 2010, 15, 3805–3813. [Google Scholar] [CrossRef]
  11. Wazwaz, A.M. The numerical solution of sixth-order boundary value problems by the modified decomposition method. Appl. Math. Comput. 2001, 118, 311–325. [Google Scholar] [CrossRef]
  12. He, J.H. Variational approach to the sixth order boundary value problems. Appl. Math. Comput. 2003, 143, 235–236. [Google Scholar] [CrossRef]
  13. Olaiya, O.O.; Rasaq, A.A.; Modebei, M.I.; Dario, D. Boundary value method for direct solution of sixth-Order boundary value problems. Asian Res. J. Math. 2020, 16, 1–15. [Google Scholar]
  14. Noor, M.A.; Noor, K.I.; Mohyud-Din, S.T. Variational iteration method for solving sixth-order boundary value problems. Commun. Nonlinear Sci. Numer. 2009, 14, 2571–2580. [Google Scholar] [CrossRef]
  15. Siddiqi, S.S.; Twizell, E.H. Spline solutions of linear sixth-order boundary value problems. Int. J. Comput. Math. 1996, 60, 295–304. [Google Scholar] [CrossRef]
  16. Kanwal, G.; Ghaffar, A.; Hafeezullah, M.M.; Manan, S.A.; Rizwan, M.; Rahman, G. Numerical solution of 2-point boundary value problem by subdivision scheme. Commun. Math. Appl. 2019, 10, 19–29. [Google Scholar]
  17. Khalid, A.; Naeem, M.N. Cubic B-spline solution of nonlinear sixth order boundary value problems. Punjab Univ. J. Math. 2018, 50, 91–103. [Google Scholar]
  18. Manan, S.A.; Ghaffar, A.; Rizwan, M.; Rahman, G.; Kanwal, G. A subdivision approach to the approximate solution of 3rd order boundary value problem. Commun. Math. Appl. 2018, 9, 499–512. [Google Scholar]
  19. Khalid, A.; Naeem, M.N.; Agarwal, P.; Ghaffar, A.; Ullah, Z.; Jain, S. Numerical approximation for the solution of linear sixth order boundary value problems by cubic B-spline. Adv. Differ. Equ. 2019, 2019, 492. [Google Scholar] [CrossRef]
  20. Zouaoui, B.; Benaicha, S. Positive solutions for boundary value problem of sixth-order elastic beam equation. Open J. Math. Sci. 2020, 4, 9–17. [Google Scholar]
  21. Li, W. The existence and multiplicity of positive solutions of nonlinear sixth-order boundary value problem with three variable coefficients. Bound. Value Probl. 2012, 2012, 22. [Google Scholar] [CrossRef]
  22. Kovács, B.; Guedda, M. Positive solution for m-point sixth-order boundary value problem with variable parameter. Sci. Bull. Petru Maior Univ. Tirg. Mures 2014, 11, 50. [Google Scholar]
  23. Zhang, L.; An, Y. Existence and multiplicity of positive solutions of a boundary-value problem for sixth-order ODE with three Parameters. Bound. Value Probl. 2010, 2010, 878131. [Google Scholar] [CrossRef]
  24. Yang, Y.S. Fourth-order two-point boundary value problems. Proc. Amer. Math. Soc. 1988, 104, 175–180. [Google Scholar] [CrossRef]
  25. Bougoffa, L.; Khanfer, A. Existence and uniqueness theorems of second-order equations with integral boundary conditions. Bull. Korean Math. Soc. 2018, 55, 899–911. [Google Scholar]
  26. Ghazala, A.; Siddiqi, S.S. Solution of sixth order boundary value problems using non-polynomial spline technique. Appl. Math. Comput. 2006, 181, 708–720. [Google Scholar]
  27. Boutayeb, A.; Twizell, E.H. Numerical methods for the solution of special sixth-order boundary-value problems. Int. J. Comput. Math. 1992, 45, 207–223. [Google Scholar] [CrossRef]
  28. El-Gamel, M.; Cannon, J.R.; Latour, J.; Zayed, A.I. Sinc-Galerkin method for solving linear sixth-order boundary-value problems. Math. Comput. 2003, 73, 1325–1343. [Google Scholar] [CrossRef]
  29. Noor, M.A.; Mohyud-Din, S.T. Homotopy perturbation method for solving sixth-order boundary value problems. Comput. Math. Appl. 2008, 55, 2953–2972. [Google Scholar] [CrossRef]
  30. Cveticanin, L. Homotopy-perturbation method for pure nonlinear differential equation. Chaos Solitons Fractals. 2006, 30, 1221–1230. [Google Scholar] [CrossRef]
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

Khanfer, A.; Bougoffa, L.; Alhelali, N. On the Sixth-Order Beam Equation of Small Deflection with Variable Parameters. Mathematics 2025, 13, 727. https://doi.org/10.3390/math13050727

AMA Style

Khanfer A, Bougoffa L, Alhelali N. On the Sixth-Order Beam Equation of Small Deflection with Variable Parameters. Mathematics. 2025; 13(5):727. https://doi.org/10.3390/math13050727

Chicago/Turabian Style

Khanfer, Ammar, Lazhar Bougoffa, and Nawal Alhelali. 2025. "On the Sixth-Order Beam Equation of Small Deflection with Variable Parameters" Mathematics 13, no. 5: 727. https://doi.org/10.3390/math13050727

APA Style

Khanfer, A., Bougoffa, L., & Alhelali, N. (2025). On the Sixth-Order Beam Equation of Small Deflection with Variable Parameters. Mathematics, 13(5), 727. https://doi.org/10.3390/math13050727

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

Article Metrics

Back to TopTop