P-Laplacian Dirac system on time scales

ABSTRACT The -Laplacian type Dirac systems are nonlinear generalizations of the classical Dirac systems. They can be observed as a bridge between nonlinear systems and linear systems. The purpose of this study is to consider -Laplacian Dirac boundary value problem on an arbitrary time scale to get forceful results by examining some spectral properties of this problem on time scales. Interesting enough, the -Laplacian type Dirac boundary value problem exhibits the classical Dirac problem on time scales. Moreover, we prove Picone's identity for -Laplacian type Dirac system which is an important tool to prove oscillation criteria on time scales. It generalizes a classical and well-known theorem for to general case


Introduction
The theory of time scales was introduced by Stephan Hilger in his Ph.D. Thesis in 1988 [1]. A time scale is an arbitrary, non-empty, closed subset of real numbers which is denoted by the symbol T in the literature. Since the study of dynamic systems on time scales not only unifies continuous and discrete processes but also helps in revealing diversities in the corresponding results, it is an active area of research. The time scale calculus theory can be applicable to any field in which dynamic processes are described by discrete or continuous time models.
The significance of studying boundary value problems on time scales was understood and some important results were obtained within a short time. In 2002, Agarwal et al. [2] studied linear dynamic equations and initial value problems on time scales. Guseinov and Kaymakçalan [3] considered second-order linear dynamic equations and gave some sufficient conditions for non-oscillation on time scales in 2002. Erbe et al. [4] gave several comparison theorems for secondorder linear dynamic equation on time scales within the same year. In 2003, Guseinov [5] investigated Riemann and Lebesgue integration on time scales and gave the fundamental theorems of calculus. In 2007, Rynne [6] defined space of square-integrable functions and Sobolev-type spaces on time scales and gave practices of the functional analytic results to Sturm-Liouville type boundary value operator. Grace et al. [7] studied second-order half-linear dynamic equations on time scales and investigated some oscillation criteria in 2009.
In recent years, several authors have obtained many important results about p-Laplacian boundary value problems on time scales [8][9][10][11]. Anderson et al. [12] proved that there is at least one positive solution for a one-dimensional p-Laplacian delta-nabla dynamic equations on time scales in 2004. He [13] proved that there exists at least double positive solution with threepoint boundary conditions for p-Laplacian dynamic equation on time scales in 2005. Sun and Li [14] considered for a one-dimensional p-Laplacian boundary value problem and showed the existence of this problem on time scales in 2007. Binding et al. [15] considered p-Laplacian nonlinear eigenvalue problem on a half line in 2010. Su and Feng [16] studied a secondorder p-Laplacian dynamic boundary value problem on a periodic time scale and showed existence of solutions of this problem in 2017.
We find helpful to introduce the following introductory information for a reader not familiar with the time scale theory. Forward and backward jump operators at t ∈ T, for t < sup T are defined as respectively (supplemented by inf φ = sup T and sup φ = inf T, where φ denotes the empty set). Also t is said to be left dense, left scattered, right dense and right scattered if ρ(t) = t, ρ(t) < t, σ (t) = t and σ (t) > t, respectively. The forward graininess function μ : for all t ∈ T. A closed interval on T is denoted by where a and b are fixed points of T with a < b.
We also need to explain the set T κ which is derived from T to define -derivative of a function. If T has left scattered maximum m, then T κ = T − {m}. Otherwise, T κ = T [17]. Assume y : T → R is a function and let t ∈ T κ . The function y : T → R is said to be Hilger differentiable at the point t ∈ T κ , if there is a neighbourhood U = (t − δ, t + δ) ∩ T for some δ > 0 such that for all s ∈ U. We call y (t) as or Hilger derivative of y at t. A function y is called rd-continuous provided that is continuous at right dense points in T and has finite limit at left dense points. The set of all rd-continuous functions on T is denoted by C rd (T, R). The set of functions that are -differentiable and whose -derivative is rd-continuous on T is denoted by C 1 rd (T, R). However, y is called regulated provided its right-sided limits exist (finite) at all right dense points in T and its left-sided limits exist (finite) at all left dense points in T. Let y be a regulated function on T. The indefinite -integral of a regulated function y is denoted to be for all r, s ∈ T. For standard notions and notations connected to time scale calculus, we refer to [17].
In this study, we want to prove some fundamental spectral properties of p-Laplacian Dirac eigenvalue problem of the form (1) with the separated boundary conditions γ y where and λ is a spectral parameter. Throughout this study, we will assume that q, r ∈ L 2 [ρ(a), b] are continuous func- is known as eigenfunction of the problem (1)-(3) where T denotes transpose. After some straightforward computations in (1), one can easily get the following p-Laplacian Dirac system: (4) By taking T = R in (4), we obtain classical p-Laplacian Dirac system as The system (5) is known as the first canonic form of the p-Laplacian Dirac system in the literature. Now, we need to give some information about the historical development and physical meaning of classical Dirac system when p = 2. Dirac operator which is a modern presentation of the relativistic quantum mechanics of electrons aiming to bring a new mathematical result to a wider audience is the relativistic Schrödinger operator in quantum physics [18][19][20][21][22][23]. There are many studies in spectral theory related to different versions of Dirac system [24][25][26][27][28][29][30][31][32][33][34].
In [35], p-Laplacian Dirac system was first considered and obtained crucial asymptotic formulas of eigenvalues and eigenfunctions by using Prüfer substitution for classical case. In [36,37], Gulsen et al. took into consideration classical Dirac and conformable fractional Dirac eigenvalue problems, respectively, and showed some spectral properties of these problems on time scales. In this study, our purpose is to generalize the obtained results for classical p-Laplacian Dirac system to an arbitrary time scale.
This study is organized as follows. In Section 2, we prove some basic theorems and Picone's identity for the first canonic form of the p-Laplacian Dirac system on T. In Section 3, we give a conclusion to summarize our study.

Some spectral properties of p-Laplacian Dirac system on time scales
In this section, we give some valuable results for p-Laplacian Dirac system on a time scale T whose all points are right dense. It is well known that the problem (1)-(3) has only real, simple eigenvalues and eigenfunctions are orthogonal to each other in case of T = R [38]. The following results will generalize some basic results for p-Laplacian Dirac system. Proof: Let λ, μ ∈ R be spectral parameters where By multiplying Equations (6)-(9) by u Subtracting (10), (12) and (11), (13) leads to If Equations (14) and (15) are added side by side and some arrangements are made, we have If both sides of Equation (16) are divided by λ − μ and limit are taken as μ → λ, it yields By applying -integral to (17) Therefore, has only simple zeros. Conversely, assume that λ * be double-decker root. Then, By (18) and (19), we obtain for λ = λ * . This is a contradiction. So the proof is completed. ([ρ(a), b], R) be the eigenfunctions of the problem (1)- (3). Then, the followings are provided (a)

Theorem 2.2: Let u
Proof: (a) Definition of W and product rule forderivative give the proof as follows: (b) By using definition of W and inner product on , v (p−1) )(ρ(a)).
Hence, this completes the proof. These are known as p-Lagrange 's identity and p-Green 's formula for p-Laplacian Dirac system, respectively.