Home Mathematics Dependence of eigenvalues of Sturm-Liouville problems on time scales with eigenparameter-dependent boundary conditions
Article Open Access

Dependence of eigenvalues of Sturm-Liouville problems on time scales with eigenparameter-dependent boundary conditions

  • Meng-lei Li , Ji-jun Ao EMAIL logo and Hai-yan Zhang
Published/Copyright: October 13, 2022

Abstract

In this article, we study the eigenvalue dependence of Sturm-Liouville problems on time scales with spectral parameter in the boundary conditions. We obtain that the eigenvalues not only continuously but also smoothly depend on the parameters of the problem. Moreover, the differential expressions of the eigenvalues with respect to the data are given.

MSC 2010: 34B08; 34N99; 34L05

1 Introduction

It is well known, Stefan Hilger, a German mathematician, first proposed the concept of time scales in his doctoral dissertation. Since then there are a considerable number of studies on the problems on time scales, and here we refer to [1,2,3, 4,5,6, 7,8,9, 10,11]. Time scale organically unifies continuous systems and discrete systems. Therefore, the research results on time scales are more general and have a wide application prospect.

In 1999, Agarwal et al. studied the Sturm-Liouville (S-L) problem y Δ Δ + q y σ + λ y σ = 0 under separated boundary conditions and proved the existence of the eigenvalues, and the number of generalized zeros of the eigenfunctions [1]. In 2008, Kong considered the S-L problem in the general form and discussed the dependence of eigenvalues of the S-L problem on boundary conditions [3]. In 2011, Zhang and Yang studied the eigenvalues of S-L problem with coupled boundary conditions on time scales [4]. The inverse spectral problems for S-L operators on time scales have been studied by Kuznetsova et al. in [12,13,14] and their references. Besides the aforementioned contents, the self-adjoint even-order differential equations on time scales have also been given, e.g., in [5,6] and their references.

In classical S-L problems, the dependence of the eigenvalues on the problem is widely studied by many authors [15,16, 17,18,19]. These studies play an important role in the fundamental theory of differential operators and the numerical computation of spectra. For general theory and methods on these problems, the readers may refer to [18,19].

In most recent years, the research on the dependence of the eigenvalues of a differential operator or boundary value problem on the problem has been extended in various aspects. In 2015, Zhang and Wang showed the eigenvalues of an S-L problem with interface conditions and obtained that the eigenvalues depend not only continuously but also smoothly on the coefficient functions, boundary conditions, and interface conditions [20]. In 2016, Zhu and Shi generalized the problem to the discrete case and considered the dependence of eigenvalues of discrete S-L problems on the problem [21]. They also considered the eigenvalue dependence problems for singular S-L problems in [22]. For higher order boundary value problems, there are several literature on the problems, for example, in [23,24, 25,26,27, 28,29].

In recent years, there has been a lot of interest in the literature on boundary value problems with eigenparameter-dependent boundary conditions, for example, in some physical problems such as heat conduction problems and vibrating string problems. In particular, the spectral problems having boundary conditions depending on the eigenparameter arising in mechanical engineering can be found in the well-known textbook [30] of Collatz. For such problems arising in applications, including an extensive bibliography and historical notes, also see [31,32,33]. The recent important achievements on such problems can be found in many literature, and here, we only refer to some of them, for example, in [34,35, 36,37].

In 2020, Zhang and Li studied the regular S-L problems with eigenparameter-dependent boundary conditions [38]. They obtained that the eigenvalues not only continuously but also smoothly depend on the parameters of the problem, and further, the differential expressions of the eigenvalues with respect to the data are given.

There are many conclusions about the problems of differential equations on time scales and the dependence of eigenvalues of differential equations; however, to our best knowledge, few people have studied the dependence of eigenvalues of differential equations on time scales. Therefore, it is very meaningful to consider the eigenvalue dependence of S-L problems on time scales with spectral parameter boundary conditions.

This article is organized as follows. In Section 2, we introduce the problems studied here and show the continuous dependence of the eigenvalues on the problem. In Section 3, the differential properties of eigenvalues with respect to the data of the problem are given, and in particular, the derivative formulas are listed.

2 Continuous dependence of eigenvalues and eigenfunctions

Before presenting the main results, we recall the following concepts related to time scales for the convenience of the reader. For further knowledge on time scales, the reader may refer to [1,2, 3,4,5, 6,7,8, 9,10] and the references therein.

Definition 1

A time scale T is a closed subset of R with the inherited Euclidean topology. For t T , we define the forward-jump operator σ and the backward-jump operator ρ on T by

σ ( t ) inf { s T : s > t } and ρ ( t ) sup { s T : s < t } ,

where inf sup T and sup inf T . If σ ( t ) > t , t is said to be right-scattered; otherwise, it is right-dense. If ρ ( t ) < t , t is said to be left-scattered; otherwise, it is left-dense. The graininess function μ : T [ 0 , ) is then defined by μ ( t ) σ ( t ) t .

In this article, we use the notation f σ ( t ) = f ( σ ( t ) ) for any function f defined on a time scale T .

Definition 2

For f : T R and t T (if t = sup T , assume t is not left-scattered), define the Δ -derivative f Δ ( t ) of f ( t ) to be the number, provided it exists, with the property that, for any ε > 0 , there is a neighborhood of t such that

[ f σ ( t ) f ( s ) ] f Δ ( t ) [ σ ( t ) s ] ε σ ( t ) s ,

for all s .

The following formula involving the graininess function is valid for all points at which f Δ ( t ) exists

f σ ( t ) = f ( t ) + f Δ ( t ) μ ( t ) .

Definition 3

Let f : T R be a function. We say that f C r d if it is continuous at each right-dense point in T and lim s t f ( s ) exists as a finite number for all left-dense points in T .

Definition 4

If F Δ ( t ) = f ( t ) , then we define the integral of f on [ a , b ] T by

a b f ( τ ) Δ τ = F ( b ) F ( a ) .

It has been shown that if f is rd-continuous on [ a , b ] T , i.e. f C r d ( [ a , b ] T ) , then a b f ( τ ) Δ τ exists.

Consider the differential equation

(2.1) ( p y Δ ) Δ + q y σ = λ w y σ on [ a , b ] T ,

with boundary conditions

(2.2) cos α y ( ρ ( a ) ) sin α ( p y Δ ) ( ρ ( a ) ) = 0 ,

(2.3) ( β 1 λ + γ 1 ) y ( b ) ( β 2 λ + γ 2 ) ( p y Δ ) ( b ) = 0 .

Where < a < b < , q is real valued function and λ C is the spectral parameter with coefficients satisfying:

(2.4) 1 / p , q , w C r d ( [ ρ ( a ) , σ ( b ) ] T ) , p , w > 0 , β i , γ i R , i = 1 , 2 , α [ 0 ˆ , π ˆ ) ,

(2.5) η γ 2 β 1 γ 1 β 2 > 0 , 0 ˆ = 0 , ρ ( a ) = a arctan μ ( ρ ( a ) ) p ( ρ ( a ) ) , ρ ( a ) < a and π ˆ = π + 0 ˆ .

Remark 1

When α = 0 ˆ or π ˆ , (2.2) is equivalent to y ( a ) = 0 .

In fact, this is obviously true when ρ ( a ) = a . Now we assume ρ ( a ) < a . Then when α = 0 ˆ , (2.2) means that

0 = y ( ρ ( a ) ) tan 0 ˆ p ( ρ ( a ) ) [ y ( a ) y ( ρ ( a ) ) ] / μ ( ρ ( a ) ) = y ( ρ ( a ) ) + [ y ( a ) y ( ρ ( a ) ) ] = y ( a ) .

Similarly for α = π ˆ .

Let the weighted space be defined as follows:

1 = L w 2 ( [ ρ ( a ) , b ] T ) = y : ρ ( a ) b ( y σ ) 2 ( t ) w ( t ) Δ t < ,

with the inner product x , y 1 = ρ ( a ) b x σ ( t ) y σ ( t ) w ( t ) Δ t for any x , y 1 . Define

= 1 R ,

with the inner product

( x , x 1 ) T , ( y , y 1 ) T = x , y 1 + 1 η x 1 y 1 ,

for any ( x , x 1 ) T , ( y , y 1 ) T . Define an operator T as

T y β 1 y ( b ) β 2 ( p y Δ ) ( b ) = w 1 ( ( p y Δ ) Δ + q y σ ) γ 1 y ( b ) + γ 2 ( p y Δ ) ( b ) ,

with the domain

D = { ( y , y 1 ) : y , p y Δ C r d ( [ ρ ( a ) , b ] T ) , y 1 = β 1 y ( b ) β 2 ( p y Δ ) ( b ) R , cos α y ( ρ ( a ) ) sin α ( p y Δ ) ( ρ ( a ) ) = 0 } .

Lemma 1

[10] Equation (2.1) is equivalent to the following form:

y p y Δ Δ = 0 1 p ( t ) q ( t ) λ w ( t ) 0 y σ p y Δ ,

or

Y Δ = A ( t ) Y ,

where Y = y p y Δ and A ( t ) = 0 1 p ( t ) q ( t ) λ w ( t ) [ q ( t ) λ w ( t ) ] μ ( t ) p ( t ) .

Lemma 2

[10] t 0 [ a , b ] T , A ( t ) C r d is n × n functional matrix, and t [ a , t 0 ] T , I + μ ( t ) A ( t ) is invertible matrix, then the initial value problem

Y Δ = A ( t ) Y , Y ( t 0 ) = Y 0 , Y 0 R n

has unique solution Y C r d .

Let ϕ λ ( t ) and χ λ ( t ) be the fundamental solutions of the S-L equation (2.1) satisfying the initial conditions

ϕ λ ( ρ ( a ) ) = 1 , χ λ ( ρ ( a ) ) = 0 ; ( p ϕ λ Δ ) ( ρ ( a ) ) = 0 , ( p χ λ Δ ) ( ρ ( a ) ) = 1 .

Define

Φ λ ( t ) ϕ λ ( t ) χ λ ( t ) ( p ϕ λ Δ ) ( t ) ( p χ λ Δ ) ( t ) ,

then Φ λ is the fundamental solution matrix of equation (2.1) satisfying initial conditions Φ λ ( ρ ( a ) ) = I on [ ρ ( a ) , b ] T .

Lemma 3

The complex number λ is an eigenvalue of the S-L problem (2.1)–(2.5) if and only if the equality

Δ ( λ ) = det [ A + B λ Φ λ ( b ) ] = 0

holds, where

A = cos α sin α 0 0 , B λ = 0 0 β 1 λ + γ 1 ( β 2 λ + γ 2 ) .

Proof

Let

(2.6) y ( t , λ ) = c 1 ϕ λ ( t ) + c 2 χ λ ( t ) ,

where c 1 , c 2 R . If λ is an eigenvalue of the problem (2.1)–(2.5), then there exists ( c 1 , c 2 ) T 0 such that y satisfies (2.1)–(2.5). It follows from the boundary conditions (2.2) and (2.3) that

cos α sin α 0 0 c 1 ϕ λ ( ρ ( a ) ) ( p ϕ λ Δ ) ( ρ ( a ) ) + c 2 χ λ ( ρ ( a ) ) ( p χ λ Δ ) ( ρ ( a ) ) + 0 0 β 1 λ + γ 1 ( β 2 λ + γ 2 ) c 1 ϕ λ ( b ) ( p ϕ λ Δ ) ( b ) + c 2 χ λ ( b ) ( p χ λ Δ ) ( b ) = 0 .

According to the aforementioned initial conditions, we have

(2.7) cos α sin α 0 0 + 0 0 β 1 λ + γ 1 ( β 2 λ + γ 2 ) Φ λ ( b ) c 1 c 2 = 0 .

Because ( c 1 , c 2 ) T 0 , so Δ ( λ ) = 0 .

Conversely, if Δ ( λ ) = 0 , then there exists ( c 1 , c 2 ) T 0 such that (2.7) holds. If the solution y ( t , λ ) described by (2.6) is chosen, then y ( t , λ ) satisfies the S-L problem (2.1)–(2.5); hence, y ( t , λ ) is an eigenfunction and λ is the eigenvalue of the S-L problem (2.1)–(2.5). This completes the proof.□

Lemma 4

The spectrum of T consists of isolated eigenvalues, which coincide with those of the S-L problem (2.1)–(2.5). Moreover, all eigenvalues are simple, real, bounded below and can be ordered as follows:

(2.8) < λ 0 < λ 1 < λ 2 < < λ n < , n N 0 k ,

where N 0 k { 0 , 1 , 2 , } , k = { 0 , 1 , 2 , , k 1 } , k < .

Proof

Let y ( t , λ ) be a nontrivial solution of the problem (2.1) and (2.2). The eigenvalues of the problem (2.1)–(2.5) are the roots of the equation:

(2.9) ( β 1 λ + γ 1 ) y ( b , λ ) ( β 2 λ + γ 2 ) ( p y Δ ) ( b , λ ) = 0 .

Let λ be a nonreal eigenvalue of the S-L problem (2.1)–(2.5). Then λ ¯ is also an eigenvalue of this problem, since p ( t ) , q ( t ) , w ( t ) , α , β 1 , β 2 , γ 1 , and γ 2 are real; moreover, y ( t , λ ¯ ) = y ( t , λ ) ¯ . Let ν be another eigenvalue of the S-L problem (2.1)–(2.5), by virtue of (2.1), we have

( p y Δ ( t , λ ) ) Δ y σ ( t , ν ) ( p y Δ ( t , ν ) ) Δ y σ ( t , λ ) = ( ν λ ) w ( t ) y σ ( t , ν ) y σ ( t , λ ) .

By integrating this relation from ρ ( a ) to b , and using the formula for the integration by parts, and taking into account the condition (2.2), we obtain

(2.10) p y Δ ( b , λ ) y ( b , ν ) p y Δ ( b , ν ) y ( b , λ ) = ( ν λ ) ρ ( a ) b [ w ( t ) y σ ( t , ν ) y σ ( t , λ ) ] Δ t .

Setting ν = λ ¯ and λ = λ in (2.10), we obtain

(2.11) p y Δ ( b , λ ) y ( b , λ ) ¯ p y Δ ( b , λ ) ¯ y ( b , λ ) = ( λ ¯ λ ) ρ ( a ) b w ( t ) y σ ( t , λ ) 2 Δ t .

Since λ is a root of equation (2.9), we have the relation

p y Δ ( b , λ ) = β 1 λ + γ 1 β 2 λ + γ 2 y ( b , λ ) .

In view of this relation, from (2.11), we obtain

( λ ¯ λ ) ( β 2 γ 1 β 1 γ 2 ) β 2 λ + γ 2 2 y ( b , λ ) 2 = ( λ ¯ λ ) ρ ( a ) b w ( t ) y σ ( t , λ ) 2 Δ t .

Since λ ¯ λ , we have the relation

η y ( b , λ ) 2 β 2 λ + γ 2 2 = ρ ( a ) b w ( t ) y σ ( t , λ ) 2 Δ t ,

which contradicts the condition η > 0 . Therefore, λ R .

The entire function occurring on the left-hand side in equation (2.9) does not vanish for nonreal λ . Consequently, it does not vanish identically. Therefore, its zeros form an at most countable set without finite limit points [18,39].

Let us show that equation (2.9) has only simple roots. Indeed, if λ is a multiple root of equation (2.9), then

(2.12) ( β 1 λ + γ 1 ) y ( b , λ ) ( β 2 λ + γ 2 ) ( p y Δ ) ( b , λ ) = 0 ,

(2.13) β 1 y ( b , λ ) + ( β 1 λ + γ 1 ) λ y ( b , λ ) β 2 ( p y Δ ) ( b , λ ) ( β 2 λ + γ 2 ) λ ( p y Δ ) ( b , λ ) = 0 .

Dividing both sides of (2.10) with ( ν λ ) ( ν λ ) and by passing to the limit as ν λ , we obtain

(2.14) p y Δ ( b , λ ) λ y ( b , λ ) λ p y Δ ( b , λ ) y ( b , λ ) = ρ ( a ) b [ w ( t ) y σ ( t , λ ) y σ ( t , λ ) ] Δ t .

Since η > 0 , we have ( β 1 λ + γ 1 ) 2 + ( β 2 λ + γ 2 ) 2 0 . Suppose that β 1 λ + γ 1 0 . Then, by expressing y ( b , λ ) and λ y ( b , λ ) from (2.12) and (2.13), respectively, and by substituting them into relation (2.14) for λ = λ , we obtain

η ( β 1 λ + γ 1 ) 2 ( p y Δ ) 2 ( b , λ ) = ρ ( a ) b [ w ( t ) y σ ( t , λ ) y σ ( t , λ ) ] Δ t ,

which is impossible in view of condition η > 0 .

The case in which β 2 λ + γ 2 0 can be proved in a similar way.

The proof of formula (2.8) is the same as in [1], only to note together with the proof in [38]. The proof of Lemma 4 is completed.□

Lemma 5

Let (2.4) and (2.5) hold, and let s [ a , b ] T and h , l R . Consider the initial value problem consisting of equation (2.1) and the initial conditions:

y ( s ) = h , ( p y Δ ) ( s ) = l .

Then the unique solution y = y ( , s , h , l , 1 p , q , w ) is a continuous function of all its variables. More precisely, given ε > 0 and any compact subinterval of [ a , b ] T , there exists a δ > 0 such that if

s s 0 + h h 0 + l l 0 + ρ ( a ) b 1 p 1 p 0 + q q 0 + w w 0 Δ t < δ ,

then

y t , s , h , l , 1 p , q , w y t , s 0 , h 0 , l 0 , 1 p 0 , q 0 , w 0 < ε ,

and

( p y Δ ) t , s , h , l , 1 p , q , w ( p y Δ ) t , s 0 , h 0 , l 0 , 1 p 0 , q 0 , w 0 < ε ,

for all t [ a , b ] T .

Proof

This follows from Theorem 2.6.1 in [9].□

Let

M = β 1 γ 1 β 2 γ 2

be the boundary condition parameter matrix and consider the following Banach spaces

B 1 C r d ( [ ρ ( a ) , σ ( b ) ] T ) C r d ( [ ρ ( a ) , σ ( b ) ] T ) C r d ( [ ρ ( a ) , σ ( b ) ] T ) R 5 ; B 2 C r d ( [ ρ ( a ) , σ ( b ) ] T ) C r d ( [ ρ ( a ) , σ ( b ) ] T ) C r d ( [ ρ ( a ) , σ ( b ) ] T ) M 2 × 2 ( R ) R ,

equipped with the norms

ω ˙ ρ ( a ) b 1 p Δ t + ρ ( a ) b q Δ t + ρ ( a ) b w Δ t + β 1 + β 2 + γ 1 + γ 2 + α ; ω ¨ ρ ( a ) b 1 p Δ t + ρ ( a ) b q Δ t + ρ ( a ) b w Δ t + M + α ,

for any ω ˙ = 1 p , q , w , β 1 , β 2 , γ 1 , γ 2 , α B 1 and ω ¨ = 1 p , q , w , M , α B 2 , respectively. Let

Ω 1 = { ω ˙ B 1 : ( 2.4 ) , ( 2.5 ) hold } ; Ω 2 = { ω ¨ B 2 : ( 2.4 ) , ( 2.5 ) hold } .

Then we obtain the continuous dependence of the eigenvalues on the parameters in the S-L problem (2.1)–(2.5).

Theorem 1

Let ω ˜ = 1 p ˜ , q ˜ , w ˜ , β 1 ˜ , β 2 ˜ , γ 1 ˜ , γ 2 ˜ , α ˜ Ω 1 . Let λ = λ ( ω ˙ ) be an eigenvalue of the S-L problem (2.1)–(2.5). Then λ is continuous at ω ˜ . That is, for any ε > 0 , there exists a δ > 0 such that if ω ˙ = 1 p , q , w , β 1 , β 2 , γ 1 , γ 2 , α Ω 1 satisfies

ω ˙ ω ˜ = ρ ( a ) b 1 p 1 p ˜ + q q ˜ + w w ˜ Δ t + β 1 β 1 ˜ + β 2 β 2 ˜ + γ 1 γ 1 ˜ + γ 2 γ 2 ˜ + α α ˜ < δ ,

then

λ ( ω ˙ ) λ ( ω ˜ ) < ε .

Proof

According to Lemma 3, the complex number λ ( ω ˜ ) is an eigenvalue of the S-L problem (2.1)–(2.5) if and only if Δ ( ω ˜ , λ ( ω ˜ ) ) = 0 holds. For any ω ˙ Ω 1 , B λ and Φ λ ( b ) are all entire functions of λ and are continuous in ω ˙ , then Δ ( ω ˙ , λ ( ω ˙ ) ) is an entire function of λ and it is continuous in ω ˙ [18,39]. Because T is a self-adjoint operator, we know that λ ( ω ˜ ) is an isolated eigenvalue, so Δ ( ω ˜ , λ ) is not a constant value function about λ . Hence, there exists ρ 0 > 0 such that Δ ( ω ˜ , λ ) = 0 for λ ( ω ˙ ) S ρ 0 = { λ ( ω ˙ ) : λ ( ω ˙ ) λ ( ω ˜ ) = ρ 0 } . By the well-known theorem on continuity of the roots of an equation as a function of parameters [40], the result follows.□

Lemma 6

Let the hypotheses and notation of Theorem 1hold. Assume that λ ( ω ˙ ) be a simple eigenvalue of the S-L problem (2.1)–(2.5) of ω ˙ . Then there exists a neighborhood U of ω ˙ in Ω 1 such that λ ( ω ˜ ) is simple for every ω ˜ U .

Proof

For ω ˜ U , let

D ( ω ˜ ) = A + B λ Φ λ ( b ) .

Note that D ( ω ˜ ) depends continuously on ω ˜ . Solutions of the S-L problem (2.1)–(2.5) are the first components of the vector functions Φ ( , ω ˜ ) d with d R 2 , D ( ω ˜ ) d = 0 , and these functions are not identically zero if d 0 . Hence, the geometric multiplicity of λ ( ω ˜ ) equals to the dimension of the kernel N ( D ( ω ˜ ) ) of D ( ω ˜ ) . In our case, this means that rank ( D ( ω ˙ ) ) = 1 . Since D ( ω ˜ ) depends continuously on ω ˜ , D ( ω ˜ ) must have rank of 1 in a neighborhood of ω ˙ . This completes the proof.□

Definition 5

By a normalized eigenvector ( y , y 1 ) T , we mean y satisfies the S-L problem (2.1)–(2.5), y 1 = β 1 y ( b ) β 2 ( p y Δ ) ( b ) , and

( y , y 1 ) T 2 = ( y , y 1 ) T , ( y , y 1 ) T = ρ ( a ) b ( y σ ) 2 w Δ t + 1 η y 1 2 = 1 .

Then we have the continuity of the corresponding eigenvector.

Theorem 2

Assume λ ( ω ˙ ) is an eigenvalue of the S-L problem (2.1)–(2.5) for some ω ˙ Ω 1 and let ( u , u 1 ) T denote a normalized eigenvector of λ ( ω ˙ ) , then there exists a normalized eigenvector ( v , v 1 ) T of λ ( ω ˜ ) for ω ˜ Ω 1 such that when ω ˜ ω ˙ in Ω 1 , we have

(2.15) v ( t ) u ( t ) , p v Δ ( t ) p u Δ ( t ) ,

both uniformly on [ a , b ] T , and v 1 u 1 .

Proof

For each ω ˙ Ω 1 , set

D ( ω ˙ ) = D 11 ( ω ˙ ) D 12 ( ω ˙ ) D 21 ( ω ˙ ) D 22 ( ω ˙ ) A ( ω ˙ ) + B λ ( ω ˙ ) ( ω ˙ ) Φ λ ( ω ˙ ) ( b ) ,

where D i j ( ω ˙ ) R , 1 i , j 2 , and A ( ω ˙ ) and B λ ( ω ˙ ) ( ω ˙ ) are 2 × 2 matrices. Assume that ( y ( t , ω ˙ ) , y 1 ( t , ω ˙ ) ) T is an eigenvector for λ ( ω ˙ ) with

y ( t , ω ˙ ) = ρ ( a ) b ( y σ ( t , ω ˙ ) ) 2 w ( t ) Δ t = 1 .

Rewrite

y ( t , ω ˙ ) = c 1 ϕ λ ( ω ˙ ) ( t , ω ˙ ) + c 2 χ λ ( ω ˙ ) ( t , ω ˙ ) ,

where c 1 , c 2 R . Inserting y ( t , ω ˙ ) into the boundary conditions (2.2) and (2.3), one obtains that

D ( ω ˙ ) c 1 c 2 = 0 .

Since λ ( ω ˙ ) has multiplicity 1, rank ( D ( ω ˙ ) ) = 1 . For the given ω ˙ , without loss of generality, we assume that D 11 ( ω ˙ ) 0 . It is clear that there exists ν 0 such that

y ( t , ω ˙ ) = ν D 12 ( ω ˙ ) ϕ λ ( ω ˙ ) ( t , ω ˙ ) ν D 11 ( ω ˙ ) χ λ ( ω ˙ ) ( t , ω ˙ ) .

Since λ is continuous, by Lemma 6, there exists a neighborhood U 0 Ω 1 of ω ˙ such that D 11 ( ω ˜ ) 0 for every ω ˜ U 0 , and D ( ω ˜ ) D ( ω ˙ ) as U 0 ω ˜ ω ˙ . So

(2.16) y ( t , ω ˜ ) y ( t , ω ˙ ) , ( p y Δ ) ( t , ω ˜ ) ( p y Δ ) ( t , ω ˙ ) ,

as ω ˜ ω ˙ both uniformly on [ a , b ] T . Therefore, we have

(2.17) y 1 ( ω ˜ ) y 1 ( ω ˙ ) , as ω ˜ ω ˙ .

Let

( u , u 1 ) T = ( y ( t , ω ˙ ) , y 1 ( ω ˙ ) ) T ( y ( t , ω ˙ ) , y 1 ( ω ˙ ) ) T , ( v , v 1 ) T = ( y ( t , ω ˜ ) , y 1 ( ω ˜ ) ) T ( y ( t , ω ˜ ) , y 1 ( ω ˜ ) ) T ; p u Δ = ( p y Δ ) ( t , ω ˙ ) ( y ( t , ω ˙ ) , y 1 ( ω ˙ ) ) T , p v Δ = ( p y Δ ) ( t , ω ˜ ) ( y ( t , ω ˜ ) , y 1 ( ω ˜ ) ) T .

Then (2.15) holds by (2.16) and (2.17).□

Remark 2

The statements and proofs of Theorem 1, Lemma 6, and Theorem 2 still hold for ω ˜ Ω 2 . Since the proofs are similar to those ω ˜ Ω 1 , we omit the details here.

3 Differential expressions of eigenvalues

In this section, we shall show the eigenvalues determined in Theorem 1 are differentiable, and in particular, we give the derivative formulas of the eigenvalues for all parameters.

The Lagrange sesquilinear form is introduced by

[ y , z ] = y ( p z Δ ) ( p y Δ ) z ,

where y , z , p y Δ , p z Δ C r d ( [ ρ ( a ) , b ] T ) . Recall the definition of the Frechet derivative:

Definition 6

A map T from a Banach space X into another Banach space Y is differentiable at a point x X if there exists a bounded linear operator d T x : X Y such that for h X

T ( x + h ) T ( x ) d T x ( h ) = o ( h ) , as h 0 .

Theorem 3

Let λ ( ω ˙ ) be an eigenvalue for the S-L problem (2.1)–(2.5) with ω ˙ Ω 1 , and ( u , u 1 ) T be a normalized eigenvector for λ ( ω ˙ ) , then λ is differentiable with respect to all the parameters in ω ˙ , and more precisely, the derivative formulas of β 1 , β 2 , γ 1 , and γ 2 are given as follows:

  1. Fix the parameters of ω ˙ except β 1 and let λ = λ ( β 1 ) be the eigenvalue of the S-L problem (2.1)–(2.5), and ( u ( , β 1 ) , u 1 ) T be the normalized eigenvector. Then

    λ ( β 1 ) = λ β 2 λ + γ 2 u 2 ( b ) ,

    where β 2 λ + γ 2 0 .

  2. Fix the parameters of ω ˙ except γ 1 and let λ = λ ( γ 1 ) be the eigenvalue of the S-L problem (2.1)–(2.5), and ( u ( , γ 1 ) , u 1 ) T be the normalized eigenvector. Then

    λ ( γ 1 ) = 1 β 2 λ + γ 2 u 2 ( b ) ,

    where β 2 λ + γ 2 0 .

  3. Fix the parameters of ω ˙ except β 2 and let λ = λ ( β 2 ) be the eigenvalue of the S-L problem (2.1)–(2.5), and ( u ( , β 2 ) , u 1 ) T be the normalized eigenvector. Then

    λ ( β 2 ) = λ β 1 λ + γ 1 ( p u Δ ) 2 ( b ) ,

    where β 1 λ + γ 1 0 .

  4. Fix the parameters of ω ˙ except γ 2 and let λ = λ ( γ 2 ) be the eigenvalue of the S-L problem (2.1)–(2.5), and ( u ( , γ 2 ) , u 1 ) T be the normalized eigenvector. Then

    λ ( γ 2 ) = 1 β 1 λ + γ 1 ( p u Δ ) 2 ( b ) ,

    where β 1 λ + γ 1 0 .

Proof

We fix the data except β 1 on ω ˙ , and for arbitrary small ε , let ( u , u 1 ) T , ( v , v 1 ) T be the corresponding eigenvectors for λ ( β 1 ) , λ ( β 1 + ε ) , respectively, and here, u = u ( , β 1 ) , v = u ( , β 1 + ε ) . Then

(3.1) [ λ ( β 1 + ε ) λ ( β 1 ) ] u , v = [ λ ( β 1 + ε ) λ ( β 1 ) ] ρ ( a ) b u σ v σ w Δ t + 1 η u 1 v 1 = [ u , v ] ( b ) + 1 η [ β 1 u ( b ) β 2 ( p u Δ ) ( b ) ] [ γ 1 v ( b ) + γ 2 ( p v Δ ) ( b ) ] 1 η [ γ 1 u ( b ) + γ 2 ( p u Δ ) ( b ) ] [ ( β 1 + ε ) v ( b ) β 2 ( p v Δ ) ( b ) ] = [ u , v ] ( b ) + [ u , v ] ( b ) + 1 η [ γ 1 ε u ( b ) v ( b ) γ 2 ε v ( b ) ( p u Δ ) ( b ) ] = 1 η γ 1 ε u ( b ) v ( b ) γ 2 ε β 1 λ + γ 1 β 2 λ + γ 2 v ( b ) u ( b ) = ε λ β 2 λ + γ 2 v ( b ) u ( b ) .

Dividing both sides of (3.1) by ε and taking the limit as ε 0 , by Theorem 2, we obtain

λ ( β 1 ) = λ β 2 λ + γ 2 u 2 ( b ) ,

where β 2 λ + γ 2 0 .

Parts 2–4 can be proved in the same way, and here, we omit the details.□

Theorem 4

Let λ ( ω ¨ ) be an eigenvalue for the S-L problem (2.1)–(2.5) with ω ¨ Ω 2 , and ( u , u 1 ) T be a normalized eigenvector for λ ( ω ¨ ) , and then λ is differentiable with respect to the parameters in ω ¨ , and more precisely, the derivative formulas of λ are given as follows:

  1. Fix the parameters of ω ¨ except α and let λ = λ ( α ) be the eigenvalue of the S-L problem (2.1)–(2.5), and ( u ( , α ) , u 1 ) T be the normalized eigenvector. Then,

    λ ( α ) = sec 2 α ( p u Δ ) 2 ( ρ ( a ) ) , α [ 0 ˆ , π ˆ ) .

  2. Fix the parameters of ω ¨ except the boundary condition parameter matrix

    M = β 1 γ 1 β 2 γ 2 ,

    and let λ = λ ( M ) be the eigenvalue of the S-L problem (2.1)–(2.5), and ( u ( , M ) , u 1 ) T be the normalized eigenvector. Then

    d λ M ( H ) = ( u ( b ) , ( p u Δ ) ( b ) ) [ I M ( M + H ) 1 ] ( p u Δ ) ( b ) u ( b ) , H 0 ,

    for all H satisfying det ( M + H ) = det M = η .

  3. Fix the parameters of ω ¨ except p and let λ = λ 1 p be the eigenvalue of the S-L problem (2.1)–(2.5), and u , 1 p , u 1 T be the normalized eigenvector. Then

    d λ 1 p ( h ) = ρ ( a ) b ( p u Δ ) 2 h Δ t , h 0 , h C r d ( [ ρ ( a ) , b ] T ) .

  4. Fix the parameters of ω ¨ except q and let λ = λ ( q ) be the eigenvalue of the S-L problem (2.1)–(2.5), and ( u ( , q ) , u 1 ) T be the normalized eigenvector. Then

    d λ q ( h ) = ρ ( a ) b ( u σ ) 2 h Δ t , h 0 , h C r d ( [ ρ ( a ) , b ] T ) .

  5. Fix the parameters of ω ¨ except w and let λ = λ ( w ) be the eigenvalue of the S-L problem (2.1)–(2.5), and ( u ( , w ) , u 1 ) T be the normalized eigenvector. Then

    d λ w ( h ) = λ ρ ( a ) b ( u σ ) 2 h Δ t , h 0 , h C r d ( [ ρ ( a ) , b ] T ) .

Proof

Fix the parameters of ω ¨ except one and denote by λ ( ω ˜ ) the eigenvalue satisfying Theorem 1 when ω ˜ ω ¨ < ε for sufficiently small ε > 0 . For parts 1–5, we replace λ ( ω ˜ ) by λ ( α + ε ) , λ ( M + H ) , λ 1 p + h , λ ( q + h ) , and λ ( w + h ) , respectively.

1. We fix the data except α on ω ¨ , and let ( u ( , α ) , u 1 ) T , ( u ( , α + ε ) , u 1 ) T be the normalized eigenvectors corresponding to the eigenvalues λ ( α ) , λ ( α + ε ) , respectively, and denote ( v , v 1 ) T = ( u ( , α + ε ) , u 1 ) T . Then

(3.2) ( λ ( α + ε ) λ ( α ) ) ρ ( a ) b u σ v σ w Δ t = [ u , v ] ( ρ ( a ) ) [ u , v ] ( b ) .

By the boundary condition (2.3), we obtain

λ ( α + ε ) [ β 1 v ( b ) β 2 ( p v Δ ) ( b ) ] = γ 1 v ( b ) + γ 2 ( p v Δ ) ( b ) ; λ ( α ) [ β 1 u ( b ) β 2 ( p u Δ ) ( b ) ] = γ 1 u ( b ) + γ 2 ( p u Δ ) ( b ) ,

and thus,

(3.3) [ λ ( α + ε ) λ ( α ) ] u 1 v 1 1 η = 1 η ( β 1 γ 2 β 2 γ 1 ) [ u ( b ) ( p v Δ ) ( b ) v ( b ) ( p u Δ ) ( b ) ] = [ u , v ] ( b ) .

Combining (3.2) and (3.3) and using the boundary condition (2.2), we obtain

(3.4) [ λ ( α + ε ) λ ( α ) ] ρ ( a ) b u σ v σ w Δ t + u 1 v 1 1 η = [ u , v ] ( ρ ( a ) ) = u ( ρ ( a ) ) ( p v Δ ) ( ρ ( a ) ) v ( ρ ( a ) ) ( p u Δ ) ( ρ ( a ) ) = [ tan α tan ( α + ε ) ] ( p u Δ ) ( ρ ( a ) ) ( p v Δ ) ( ρ ( a ) ) .

Dividing both sides of (3.4) by ε and taking the limit as ε 0 , then by Theorem 2, we obtain

λ ( α ) = sec 2 α ( p u Δ ) 2 ( ρ ( a ) ) .

2. We fix the data except M on ω ¨ , let ( u ( , M ) , u 1 ) T , ( u ( , M + H ) , v 1 ) T be the normalized eigenvectors corresponding to eigenvalues λ ( M ) , λ ( M + H ) , respectively and denote ( v , v 1 ) T = ( u ( , M + H ) , v 1 ) T , then direct computation yields that

(3.5) [ λ ( M + H ) λ ( M ) ] ρ ( a ) b u σ v σ w Δ t = [ u , v ] ( b ) = [ u ( b ) ( p v Δ ) ( b ) v ( b ) ( p u Δ ) ( b ) ] .

Let

M + H = β 1 ˜ γ 1 ˜ β 2 ˜ γ 2 ˜ ,

then

(3.6) [ λ ( M + H ) λ ( M ) ] ρ ( a ) b u σ v σ w Δ t + u 1 v 1 1 η = [ v ( b ) ( p u Δ ) ( b ) u ( b ) ( p v Δ ) ( b ) ] + [ γ 1 ˜ v ( b ) + γ 2 ˜ ( p v Δ ) ( b ) ] [ β 1 u ( b ) β 2 ( p u Δ ) ( b ) ] 1 η [ γ 1 u ( b ) + γ 2 ( p u Δ ) ( b ) ] [ β 1 ˜ v ( b ) β 2 ˜ ( p v Δ ) ( b ) ] 1 η = ( u ( b ) , ( p u Δ ) ( b ) ) I 1 η β 1 γ 2 ˜ γ 1 β 2 ˜ β 1 γ 1 ˜ + γ 1 β 1 ˜ β 2 γ 2 ˜ γ 2 β 2 ˜ γ 1 ˜ β 2 + β 1 ˜ γ 2 ( p v Δ ) ( b ) v ( b ) = ( u ( b ) , ( p u Δ ) ( b ) ) [ I M ( M + H ) 1 ] ( p v Δ ) ( b ) v ( b ) .

Let H 0 , then the desired result can be obtained by Theorem 2.

3. We fix the data except p on ω ¨ , let ( u ( , 1 p ) , u 1 ) T , ( u ( , 1 p + h ) , u 1 ) T be the normalized eigenvectors corresponding to eigenvalues λ 1 p , λ 1 p + h , respectively, and denote ( v , v 1 ) T = u , 1 p + h , u 1 T , 1 p + h = 1 p h . Then direct computation yields that

(3.7) λ 1 p + h λ 1 p ρ ( a ) b u σ v σ w Δ t = [ u ( p h v Δ ) + v ( p u Δ ) ] ρ ( a ) b + ρ ( a ) b [ u Δ ( p h v Δ ) v Δ ( p u Δ ) ] Δ t .

By using the boundary condition (2.3), we obtain

(3.8) λ 1 p + h λ 1 p u 1 v 1 1 η = [ β 1 u ( b ) β 2 ( p u Δ ) ( b ) ] [ γ 1 v ( b ) + γ 2 ( p h v Δ ) ( b ) ] 1 η [ β 1 v ( b ) β 2 ( p h v Δ ) ( b ) ] [ γ 1 u ( b ) + γ 2 ( p u Δ ) ( b ) ] 1 η = u ( b ) ( p h v Δ ) ( b ) ( p u Δ ) ( b ) v ( b ) ,

and combining (3.7) and (3.8), we obtain

(3.9) λ 1 p + h λ 1 p ρ ( a ) b u σ v σ w Δ t + u 1 v 1 1 η = ρ ( a ) b ( p u Δ ) ( p h v Δ ) h Δ t .

Let h 0 , then the desired result can be obtained by Theorem 2.

Parts 4 and 5 can be proved in the same way, and here, we omit the details.□

Acknowledgements

The authors would like to thank the referees for their valuable comments which helped to improve the manuscript.

  1. Funding information: This work was supported by National Natural Science Foundation of China (Grant Nos. 12261066 and 11661059) and Natural Science Foundation of Inner Mongolia (Grant No. 2021MS01020).

  2. Author contributions: The authors equally contributed this work. All authors read and approved the final manuscript.

  3. Conflict of interest: The authors declare that they have no conflict of interest.

  4. Data availability statement: No data were used to support this study.

References

[1] R. P. Agarwal, M. Bohner, and P. J. Y. Wong, Sturm-Liouville eigenvalue problems on time scales, Appl. Math. Comput. 99 (1999), 153–166, DOI: https://doi.org/10.1016/S0096-3003(98)00004-6. 10.1016/S0096-3003(98)00004-6Search in Google Scholar

[2] M. Bohner and A. Peterson, Dynamic Equations on Time Scales, Birkhäuser, Boston, MA, 2001. 10.1007/978-1-4612-0201-1Search in Google Scholar

[3] Q. Kong, Sturm-Liouville problems on time scales with separated boundary conditions, Results Math. 52 (2008), 111–121, https://doi.org/10.1007/s00025-007-0277-x. Search in Google Scholar

[4] C. Zhang and D. Yang, Eigenvalues of second-order linear equations with coupled boundary condition on time scales, J. Appl. Math. Comput. 33 (2010), 1–21, https://doi.org/10.1007/s12190-009-0270-5. Search in Google Scholar

[5] D. R. Anderson, G. S. Guseinov, and J. Hoffacker, Higher-order self-adjoint boundary-value problems on time scales, J. Comput. Appl. Math. 194 (2006), 309–342, https://doi.org/10.1016/j.cam.2005.07.020. Search in Google Scholar

[6] F. A. Davidson and B. P. Rynne, Self-adjoint boundary-value problems on time-scales, Electron. J. Differential Equations 175 (2007), 1–10. 10.1155/ADE/2006/31430Search in Google Scholar

[7] R. P. Agarwal and M. Bohner, Basic calculus on time scales and some of its applications, Results Math. 35 (1999), 3–22. 10.1007/BF03322019Search in Google Scholar

[8] S. Hilger, Analysis on measure chains-a unified approach to continuous and discrete calculus, Results Math. 18 (1990), 18–56. 10.1007/BF03323153Search in Google Scholar

[9] V. Lakshmikantham, S. Sivasundaram, and B. Kaymakcalan, Dynamic Systems on Measure Chains, Kluwer Academic Publishers, Dordrecht, 1996. 10.1007/978-1-4757-2449-3Search in Google Scholar

[10] J. J. Ao and J. Wang, Finite spectrum of Sturm-Liouville problems with eigenparamter-dependent boundary conditions on time scales, Filomat 33 (2019), 1747–1757, https://doi.org/10.2298/FIL1906747A. Search in Google Scholar

[11] J. J. Ao and J. Wang, Eigenvalues of Sturm-Liouville problems with distribution potentials on time scales, Quaest. Math. 42 (2019), 1185–1197, https://doi.org/10.2989/16073606.2018.1509394. Search in Google Scholar

[12] M. A. Kuznetsova, A uniqueness theorem on inverse spectral problems for the Sturm-Liouville differential operators on time scales, Results Math. 75 (2020), 44, https://doi.org/10.1007/s00025-020-1171-z. Search in Google Scholar

[13] M. A. Kuznetsova, On recovering the Sturm-Liouville differential operators on time scales, Math. Notes 109 (2021), 74–88, https://doi.org/10.1134/S0001434621010090. Search in Google Scholar

[14] M. A. Kuznetsova, S. A. Buterin, and V. A. Yurko, On inverse spectral problems for Sturm-Liouville differential operators on closed sets, Lobachevskii J. Math. 42 (2021), 1201–1209, https://doi.org/10.1134/S1995080221060160. Search in Google Scholar

[15] Q. Kong and A. Zettl, Eigenvalues of regular Sturm-Liouville problems, J. Differ. Equ. 131 (1996), 1–19, https://doi.org/10.1006/jdeq.1996.0154. Search in Google Scholar

[16] Q. Kong and A. Zettl, Dependence of eigenvalues of Sturm-Liouville problems on the boundary, J. Differential Equations 126 (1996), 389–407, https://doi.org/10.1006/jdeq.1996.0056. Search in Google Scholar

[17] Q. Kong, H. Wu, and A. Zettl, Dependence of the nth Sturm-Liouville eigenvalue on the problem, J. Differential Equations 156 (1999), 328–354, https://doi.org/10.1006/jdeq.1998.3613. Search in Google Scholar

[18] A. Zettl, Sturm-Liouville Theory, vol. 21, American Mathematical Society, Mathematical Surveys and Monographs, Providence RI, 2005. Search in Google Scholar

[19] A. Zettl, Eigenvalues of regular self-adjoint Sturm-Liouville problems, Commun. Appl. Anal. 18 (2014), 365–400. Search in Google Scholar

[20] M. Z. Zhang and Y. C. Wang, Dependence of eigenvalues of Sturm-Liouville problems with interface conditions, Appl. Math. Comput. 265 (2015), 31–39, https://doi.org/10.1016/j.amc.2015.05.002. Search in Google Scholar

[21] H. Zhu and Y. M. Shi, Continuous dependence of the n-th eigenvalue of self-adjoint discrete Sturm-Liouville problems on the problem, J. Differential Equations 260 (2016), 5987–6016, https://doi.org/10.1016/j.jde.2015.12.027. Search in Google Scholar

[22] H. Zhu and Y. M. Shi, Dependence of eigenvalues on the boundary conditionsof Sturm-Liouville problems with one singular endpoint, J. Differential Equations 263 (2017), 5582–5609, https://doi.org/10.1016/j.jde.2017.06.026. Search in Google Scholar

[23] J. Q. Suo and W. Y. Wang, Eigenvalues of a class of regular fourth-order Sturm-Liouville problems, Appl. Math. Comput. 218 (2012), 9716–9729, https://doi.org/10.1016/j.amc.2012.03.015. Search in Google Scholar

[24] S. Q. Ge, W. Y. Wang, and J. Q. Suo, Dependence of eigenvalues of class of fourth-order Sturm-Liouville problems on the boundary, Appl. Math. Comput. 220 (2013), 268–276, https://doi.org/10.1016/j.amc.2013.06.029. Search in Google Scholar

[25] X. X. Lv, J. J. Ao, and A. Zettl, Dependence of eigenvalues of fourth-order differential equations with discontinuous boundary conditions on the problem, J. Math. Anal. Appl. 456 (2017), 671–685, DOI: https://doi.org/10.1016/j.jmaa.2017.07.021. 10.1016/j.jmaa.2017.07.021Search in Google Scholar

[26] K. Li, J. Sun, and X. L. Hao, Eigenvalues of regular fourth-order Sturm-Liouville problems with transmission conditions, Math. Methods Appl. Sci. 40 (2017), 3538–3551, https://doi.org/10.1002/mma.4243. Search in Google Scholar

[27] X. X. Lv and J. J. Ao, Eigenvalues of fourth-order boundary value problems with self-adjoint canonical boundary conditions, Bull. Malays. Math. Sci. Soc. 43 (2020), 833–846, https://doi.org/10.1007/s40840-018-00714-4. Search in Google Scholar

[28] U. Uğurlu, Regular third-order boundary value problems, Appl. Math. Comput. 343 (2019), 247–257, DOI: https://doi.org/10.1016/j.amc.2018.09.046.10.1016/j.amc.2018.09.046Search in Google Scholar

[29] H. Y. Zhang, J. J. Ao, and D. Mu, Eigenvalues of discontinuous third-order boundary value problems with eigenparameter dependent boundary conditions, J. Math. Anal. Appl. 506 (2022), 125680, DOI: https://doi.org/10.1016/j.jmaa.2021.125680. 10.1016/j.jmaa.2021.125680Search in Google Scholar

[30] L. Collatz, Eigenwertaufgaben mit Technischen Anwendungen, Akad. Verlagsgesellschaft Geest & Portig, Leipzig, 1963. Search in Google Scholar

[31] J. Walter, Regular eigenvalue problems with eigenvalue parameter in the boundary conditions, Math. Z. 133 (1973), 301–312. 10.1007/BF01177870Search in Google Scholar

[32] C. T. Fulton, Two-point boundary value problems with eigenvalue parameter contained in the boundary conditions, Proc. Roy. Soc. Edinburgh Sect. A 77 (1977), no. 3–4, 293–308. 10.1017/S030821050002521XSearch in Google Scholar

[33] C. Tretter, Boundary eigenvalue problems with differential equations Nη=λPη with λ-polynomial boundary conditions, J. Differential Equations 170 (2001), 408–471, https://doi.org/10.1006/jdeq.2000.3829. Search in Google Scholar

[34] N. J. Guliyev, Schrödinger operators with distributional potentials and boundary conditions dependent on the eigenvalue parameter, J. Math. Phys. 60 (2019), 063501, https://doi.org/10.1063/1.5048692. Search in Google Scholar

[35] N. J. Guliyev, Essentially isospectral transformations and their applications, Ann. Mat. Pura Appl. 199 (2020), no. 4, 1621–1648, https://doi.org/10.1007/s10231-019-00934-w. Search in Google Scholar

[36] N. J. Guliyev, On two-spectra inverse problems, Proc. Amer. Math. Soc. 148 (2020), no. 10, 4491–4502, https://doi.org/10.1090/proc/15155. Search in Google Scholar

[37] N. P. Bondarenko, Inverse Sturm-Liouville problem with analytical functions in the boundary condition, Open Math. 18 (2020), no. 1, 512–528, https://doi.org/10.1515/math-2020-0188. Search in Google Scholar

[38] M. Z. Zhang and K. Li, Dependence of eigenvalues of Sturm-Liouville problems with eigenparameter dependent boundary conditions, Appl. Math. Comput. 378 (2020), 125214, https://doi.org/10.1016/j.amc.2020.125214. Search in Google Scholar

[39] R. S. Hilscher and P. Zemánek, Time scale symplectic systems with analytic dependence on spectral parameter, J. Difference Equ. Appl. 21 (2015), 209–239, https://dx.doi.org/10.1080/10236198.2014.997227. Search in Google Scholar

[40] J. Dieudonné, Foundations of Modern Analysis, Academic Press, New York, 1969. Search in Google Scholar

Received: 2021-10-30
Revised: 2022-08-14
Accepted: 2022-09-20
Published Online: 2022-10-13

© 2022 Meng-lei Li et al., published by De Gruyter

This work is licensed under the Creative Commons Attribution 4.0 International License.

Articles in the same Issue

  1. Regular Articles
  2. A random von Neumann theorem for uniformly distributed sequences of partitions
  3. Note on structural properties of graphs
  4. Mean-field formulation for mean-variance asset-liability management with cash flow under an uncertain exit time
  5. The family of random attractors for nonautonomous stochastic higher-order Kirchhoff equations with variable coefficients
  6. The intersection graph of graded submodules of a graded module
  7. Isoperimetric and Brunn-Minkowski inequalities for the (p, q)-mixed geominimal surface areas
  8. On second-order fuzzy discrete population model
  9. On certain functional equation in prime rings
  10. General complex Lp projection bodies and complex Lp mixed projection bodies
  11. Some results on the total proper k-connection number
  12. The stability with general decay rate of hybrid stochastic fractional differential equations driven by Lévy noise with impulsive effects
  13. Well posedness of magnetohydrodynamic equations in 3D mixed-norm Lebesgue space
  14. Strong convergence of a self-adaptive inertial Tseng's extragradient method for pseudomonotone variational inequalities and fixed point problems
  15. Generic uniqueness of saddle point for two-person zero-sum differential games
  16. Relational representations of algebraic lattices and their applications
  17. Explicit construction of mock modular forms from weakly holomorphic Hecke eigenforms
  18. The equivalent condition of G-asymptotic tracking property and G-Lipschitz tracking property
  19. Arithmetic convolution sums derived from eta quotients related to divisors of 6
  20. Dynamical behaviors of a k-order fuzzy difference equation
  21. The transfer ideal under the action of orthogonal group in modular case
  22. The multinomial convolution sum of a generalized divisor function
  23. Extensions of Gronwall-Bellman type integral inequalities with two independent variables
  24. Unicity of meromorphic functions concerning differences and small functions
  25. Solutions to problems about potentially Ks,t-bigraphic pair
  26. Monotonicity of solutions for fractional p-equations with a gradient term
  27. Data smoothing with applications to edge detection
  28. An ℋ-tensor-based criteria for testing the positive definiteness of multivariate homogeneous forms
  29. Characterizations of *-antiderivable mappings on operator algebras
  30. Initial-boundary value problem of fifth-order Korteweg-de Vries equation posed on half line with nonlinear boundary values
  31. On a more accurate half-discrete Hilbert-type inequality involving hyperbolic functions
  32. On split twisted inner derivation triple systems with no restrictions on their 0-root spaces
  33. Geometry of conformal η-Ricci solitons and conformal η-Ricci almost solitons on paracontact geometry
  34. Bifurcation and chaos in a discrete predator-prey system of Leslie type with Michaelis-Menten prey harvesting
  35. A posteriori error estimates of characteristic mixed finite elements for convection-diffusion control problems
  36. Dynamical analysis of a Lotka Volterra commensalism model with additive Allee effect
  37. An efficient finite element method based on dimension reduction scheme for a fourth-order Steklov eigenvalue problem
  38. Connectivity with respect to α-discrete closure operators
  39. Khasminskii-type theorem for a class of stochastic functional differential equations
  40. On some new Hermite-Hadamard and Ostrowski type inequalities for s-convex functions in (p, q)-calculus with applications
  41. New properties for the Ramanujan R-function
  42. Shooting method in the application of boundary value problems for differential equations with sign-changing weight function
  43. Ground state solution for some new Kirchhoff-type equations with Hartree-type nonlinearities and critical or supercritical growth
  44. Existence and uniqueness of solutions for the stochastic Volterra-Levin equation with variable delays
  45. Ambrosetti-Prodi-type results for a class of difference equations with nonlinearities indefinite in sign
  46. Research of cooperation strategy of government-enterprise digital transformation based on differential game
  47. Malmquist-type theorems on some complex differential-difference equations
  48. Disjoint diskcyclicity of weighted shifts
  49. Construction of special soliton solutions to the stochastic Riccati equation
  50. Remarks on the generalized interpolative contractions and some fixed-point theorems with application
  51. Analysis of a deteriorating system with delayed repair and unreliable repair equipment
  52. On the critical fractional Schrödinger-Kirchhoff-Poisson equations with electromagnetic fields
  53. The exact solutions of generalized Davey-Stewartson equations with arbitrary power nonlinearities using the dynamical system and the first integral methods
  54. Regularity of models associated with Markov jump processes
  55. Multiplicity solutions for a class of p-Laplacian fractional differential equations via variational methods
  56. Minimal period problem for second-order Hamiltonian systems with asymptotically linear nonlinearities
  57. Convergence rate of the modified Levenberg-Marquardt method under Hölderian local error bound
  58. Non-binary quantum codes from constacyclic codes over 𝔽q[u1, u2,…,uk]/⟨ui3 = ui, uiuj = ujui
  59. On the general position number of two classes of graphs
  60. A posteriori regularization method for the two-dimensional inverse heat conduction problem
  61. Orbital stability and Zhukovskiǐ quasi-stability in impulsive dynamical systems
  62. Approximations related to the complete p-elliptic integrals
  63. A note on commutators of strongly singular Calderón-Zygmund operators
  64. Generalized Munn rings
  65. Double domination in maximal outerplanar graphs
  66. Existence and uniqueness of solutions to the norm minimum problem on digraphs
  67. On the p-integrable trajectories of the nonlinear control system described by the Urysohn-type integral equation
  68. Robust estimation for varying coefficient partially functional linear regression models based on exponential squared loss function
  69. Hessian equations of Krylov type on compact Hermitian manifolds
  70. Class fields generated by coordinates of elliptic curves
  71. The lattice of (2, 1)-congruences on a left restriction semigroup
  72. A numerical solution of problem for essentially loaded differential equations with an integro-multipoint condition
  73. On stochastic accelerated gradient with convergence rate
  74. Displacement structure of the DMP inverse
  75. Dependence of eigenvalues of Sturm-Liouville problems on time scales with eigenparameter-dependent boundary conditions
  76. Existence of positive solutions of discrete third-order three-point BVP with sign-changing Green's function
  77. Some new fixed point theorems for nonexpansive-type mappings in geodesic spaces
  78. Generalized 4-connectivity of hierarchical star networks
  79. Spectra and reticulation of semihoops
  80. Stein-Weiss inequality for local mixed radial-angular Morrey spaces
  81. Eigenvalues of transition weight matrix for a family of weighted networks
  82. A modified Tikhonov regularization for unknown source in space fractional diffusion equation
  83. Modular forms of half-integral weight on Γ0(4) with few nonvanishing coefficients modulo
  84. Some estimates for commutators of bilinear pseudo-differential operators
  85. Extension of isometries in real Hilbert spaces
  86. Existence of positive periodic solutions for first-order nonlinear differential equations with multiple time-varying delays
  87. B-Fredholm elements in primitive C*-algebras
  88. Unique solvability for an inverse problem of a nonlinear parabolic PDE with nonlocal integral overdetermination condition
  89. An algebraic semigroup method for discovering maximal frequent itemsets
  90. Class-preserving Coleman automorphisms of some classes of finite groups
  91. Exponential stability of traveling waves for a nonlocal dispersal SIR model with delay
  92. Existence and multiplicity of solutions for second-order Dirichlet problems with nonlinear impulses
  93. The transitivity of primary conjugacy in regular ω-semigroups
  94. Stability estimation of some Markov controlled processes
  95. On nonnil-coherent modules and nonnil-Noetherian modules
  96. N-Tuples of weighted noncommutative Orlicz space and some geometrical properties
  97. The dimension-free estimate for the truncated maximal operator
  98. A human error risk priority number calculation methodology using fuzzy and TOPSIS grey
  99. Compact mappings and s-mappings at subsets
  100. The structural properties of the Gompertz-two-parameter-Lindley distribution and associated inference
  101. A monotone iteration for a nonlinear Euler-Bernoulli beam equation with indefinite weight and Neumann boundary conditions
  102. Delta waves of the isentropic relativistic Euler system coupled with an advection equation for Chaplygin gas
  103. Multiplicity and minimality of periodic solutions to fourth-order super-quadratic difference systems
  104. On the reciprocal sum of the fourth power of Fibonacci numbers
  105. Averaging principle for two-time-scale stochastic differential equations with correlated noise
  106. Phragmén-Lindelöf alternative results and structural stability for Brinkman fluid in porous media in a semi-infinite cylinder
  107. Study on r-truncated degenerate Stirling numbers of the second kind
  108. On 7-valent symmetric graphs of order 2pq and 11-valent symmetric graphs of order 4pq
  109. Some new characterizations of finite p-nilpotent groups
  110. A Billingsley type theorem for Bowen topological entropy of nonautonomous dynamical systems
  111. F4 and PSp (8, ℂ)-Higgs pairs understood as fixed points of the moduli space of E6-Higgs bundles over a compact Riemann surface
  112. On modules related to McCoy modules
  113. On generalized extragradient implicit method for systems of variational inequalities with constraints of variational inclusion and fixed point problems
  114. Solvability for a nonlocal dispersal model governed by time and space integrals
  115. Finite groups whose maximal subgroups of even order are MSN-groups
  116. Symmetric results of a Hénon-type elliptic system with coupled linear part
  117. On the connection between Sp-almost periodic functions defined on time scales and ℝ
  118. On a class of Harada rings
  119. On regular subgroup functors of finite groups
  120. Fast iterative solutions of Riccati and Lyapunov equations
  121. Weak measure expansivity of C2 dynamics
  122. Admissible congruences on type B semigroups
  123. Generalized fractional Hermite-Hadamard type inclusions for co-ordinated convex interval-valued functions
  124. Inverse eigenvalue problems for rank one perturbations of the Sturm-Liouville operator
  125. Data transmission mechanism of vehicle networking based on fuzzy comprehensive evaluation
  126. Dual uniformities in function spaces over uniform continuity
  127. Review Article
  128. On Hahn-Banach theorem and some of its applications
  129. Rapid Communication
  130. Discussion of foundation of mathematics and quantum theory
  131. Special Issue on Boundary Value Problems and their Applications on Biosciences and Engineering (Part II)
  132. A study of minimax shrinkage estimators dominating the James-Stein estimator under the balanced loss function
  133. Representations by degenerate Daehee polynomials
  134. Multilevel MC method for weak approximation of stochastic differential equation with the exact coupling scheme
  135. Multiple periodic solutions for discrete boundary value problem involving the mean curvature operator
  136. Special Issue on Evolution Equations, Theory and Applications (Part II)
  137. Coupled measure of noncompactness and functional integral equations
  138. Existence results for neutral evolution equations with nonlocal conditions and delay via fractional operator
  139. Global weak solution of 3D-NSE with exponential damping
  140. Special Issue on Fractional Problems with Variable-Order or Variable Exponents (Part I)
  141. Ground state solutions of nonlinear Schrödinger equations involving the fractional p-Laplacian and potential wells
  142. A class of p1(x, ⋅) & p2(x, ⋅)-fractional Kirchhoff-type problem with variable s(x, ⋅)-order and without the Ambrosetti-Rabinowitz condition in ℝN
  143. Jensen-type inequalities for m-convex functions
  144. Special Issue on Problems, Methods and Applications of Nonlinear Analysis (Part III)
  145. The influence of the noise on the exact solutions of a Kuramoto-Sivashinsky equation
  146. Basic inequalities for statistical submanifolds in Golden-like statistical manifolds
  147. Global existence and blow up of the solution for nonlinear Klein-Gordon equation with variable coefficient nonlinear source term
  148. Hopf bifurcation and Turing instability in a diffusive predator-prey model with hunting cooperation
  149. Efficient fixed-point iteration for generalized nonexpansive mappings and its stability in Banach spaces
Downloaded on 7.12.2025 from https://www.degruyterbrill.com/document/doi/10.1515/math-2022-0507/html
Scroll to top button