IMPULSIVE DIFFUSION EQUATION ON TIME SCALES

Application of boundary value problems (BVP’s) on an arbitrary time scale T is a fairly new and important subject in mathematics. In this study, we deal with an eigenvalue problem for impulsive diffusion equation with boundary conditions on T . We generalize some noteworthy results about spectral theory of classical diffusion equation into T . Also, some eigenfunction estimates of the impulsive diffusion eigenvalue problem are established on T.


Introduction
Time scale theory was first considered by Stefan Hilger [1] in 1988 in his doctoral dissertation under supervision of Bernard Aulbach [2] to unify the two approaches of dynamic modelling: difference and differential equations.However, similar ideas have been used before and go back at least to the introduction of the Rieamann-Stieltjes integral which unifies sums and integrals.More specifically, T is an arbitrary, non-empty, closed subset of R.Many results related to differential equations carry over quite easily to corresponding results for difference equations, while other results seem to be totally different in nature.Because of these reasons, the theory of dynamic equations is an active area of research.The time scale calculus can be applied to any fields in which dynamic processes are described by discrete or continuous time models.So, the calculus of time scale has various applications involving non-continuous domains like modeling of certain bug populations, chemical reactions, phytoremediation of metals, wound healing, maximization problems in economics and traffic problems.In recent years, several authors have obtained many important results about different topics on time scales (see [3][4][5][6][7]).
Although there are many studies in the literature on time scales, very little work has been done about BVP's.The first studies on these type problems for linear ∆− differential equations on T were fulfilled by Chyan, Davis, Henderson and Yin [8] in 1998 and Agarwal, Bohner and Wong [9] in 1999.In [8], the theory of positive operators according to a cone in a Banach space is applied to eigenvalue problems related to the second order linear ∆−differential equations on T to prove existence of a smallest positive eigenvalue and then a theorem proved to compare the smallest positive eigenvalue for two problems of that type.In [9], an oscillation theorem is given for Sturm-Liouville (SL) eigenvalue problem on T with separated boundary conditions and Rayleigh's principle is studied.In 2002, Agarwal, Bohner and O'Regan [10] presented some new existence results for time scale BVP's on infinite intervals.Guseinov [11] investigated some eigenfunction expansions for the simple SL eigenvalue problem on T in 2007.In that paper, the existence of the eigenvalues and eigenfunctions is proved and mean square convergent and uniformly convergent expansions in eigenfunctions are established by Guseinov.Later, Huseynov and Bairamov generalized the results of Guseinov to the more general eigenvalue problem in 2009 [12].Zhang and Ma investigated solvability of SL problems on T at resonance in 2010 [13].Guo Zhang and Sun [14] gave a variational approach for SL BVP's on T in 2011.Erbe, Mert and Peterson [15] derived formulas for finding two linearly independent solutions of the SL dynamic equation in 2012.Yilmaz, Koyunbakan and Ic gave some substantial results for diffusion equation on T in 2015 [16].Yaslan [17] proved the existence of positive solutions for second-order impulsive BVP's on T in 2016.Allahverdiev, Eryilmaz and Tuna [18] considered dissipative SL operators with a spectral parameter under the boundary condition on bounded time scales in 2017.Gulsen and Yilmaz [19] explained some properties of Dirac system on time scales in 2017.
As can be seen from the literature, the studies about spectral theory on time scales have focused on SL equation and Dirac system.We notice that there isn't any research about impulsive diffusion equation on time scales according to our survey.Hence, this study will be the first related to spectral theory of impulsive diffusion equation on T. Our study will give a lead to mathematicians to solve some direct and inverse spectral problems for any types of operators on T. To give basic results, we need to remind some fundamental concepts on time scales.Forward and backward jump operators at t ∈ T, for t < sup T are defined as σ(t) = inf{s ∈ T : s > t}, ρ(t) = sup{s ∈ T : s < t}, respectively (supplemented by inf φ = sup T and sup φ = inf T where φ indicates the empty set).These operators are well-defined and map T into T.At the same time, 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 distance from an arbitrary element t ∈ T to the closest element on the right is called graininess of T and is determined by where a and b are fixed points of T with a < b.For standard notions and notations related to time scales theory, we refer to the reference [3].
We also need to explain T K along with the set T to define ∆− derivative of a function.If T has left scattered maximum m, then T K = T − {m}.Otherwise, we put T K = T [3].Assume y : T → R is a function and t ∈ T K .Then, we define y ∆ (t) to be the number (provided it exists) with the property that given any for all s ∈ U. We call y ∆ (t) as the delta (∆) or Hilger derivative of y at t.The function y : T → R is called rd−continuous if it is continuous at right dense points on T and its left sided limits exist (finite) at left dense points on T. The set of all rd−continuous functions on T is denoted by C rd (T).The set of all functions that are ∆−differentiable and whose ∆−derivative is rd−continuous on T is denoted by C 1 rd (T).However, y is regulated if its right sided limits exist (finite) at all right dense points on T and its left sided limits exist (finite) at all left dense points on T. Let y be a regulated function on T. The indefinite ∆−integral of y is denoted by where C is an arbitrary constant and Y is pre-antiderivative of y.Finally, definite ∆− integral of y is defined Here, we want to state some major spectral properties of impulsive diffusion eigenvalue problem of the form with the boundary conditions where λ is a spectral parameter and We suppose that p, q : [ρ(a), b] ∩ T → R are continuous functions; a, b ∈ T with a < b, y σ = y(σ) and where V depends on energy and has the following energy dependence U (x) and Q(x) are complex-valued functions.(1.5) reduces to the Klein-Gordon s−wave equation with the static potential Q(x), for a particle of zero mass and the energy √ E with the supplementary condition [21].The Klein-Gordon equation is an attempt to marry special relativity and quantum mechanics.It is derived from Einstein's energy equation where the energy and momentum terms are replaced with quantum mechanical operators.The Klein-Gordon equation describes particles of spin−0 hence it describes the Higgs boson.However, it is not positive definite because it is a second order differential equation and when considering its interpretation from within a quantum mechanical framework we run into trouble namely negative probability densities, which are not allowed in quantum mechanics [22].
Jaulent and Jean [21] explained the actual background of diffusion operator in 1972.Maksudov and Guseinov [23] considered the spectral theory of diffusion operator in 1979.Then, Gasymov and Guseinov [24] determined the diffusion operator from spectral data in 1981.Fragela [25] studied on this operator with integral boundary conditions in 1984.Maksudov and Guseinov [26] gave some solutions of the inverse scattering problem for diffusion operator on whole axis in 1986.Bairamov, C ¸akar and Celebi [27] obtained some results for diffusion operator with spectral singularities, disctrete spectrum and principal functions in 1997.Moreover, inverse nodal problem was first considered by Koyunbakan [28] in 2006 for diffusion operator.Koyunbakan [29] obtained uniqueness results and reconstruction formulas in 2007 with Panakhov.
This study is collocated as follows: In Section 2, we prove some basic theorems for impulsive diffusion equation on T. Using some methods, we get asymptotic estimate of eigenfunction for the problem (1.1)- (1.3) in Section 3. In Section 4, we give a conclusion to summarize our study.

Some spectral properties of Impulsive Diffusion Equation on time scales
It is well known that the problem (1.1)-( 1.3) has only real, simple eigenvalues and its eigenfunctions are orthogonal when T = R [24].The below results will generalize this basic consequences to an arbitrary time scale.Proof.Let λ ∈ R be spectral parameter and y 1 (t), y 2 (t) be eigenfunctions of (1.1)- (1.3).Then, we have Multiplying these equations by y σ 2 and y σ 1 respectively and substracting, we get Proof.Let λ 0 be a complex eigenvalue and y(t) be an eigenfunction of the problem (1.1)-(1.3)related to λ 0 .Then, we obtain If we take ∆−integral of the last equality from ρ(a) to b, we get by considering the conditions ( . So, we have where λ 0 + λ 0 (t) − 2p(t) > 0 for λ 0 = λ 0 .This is a contradiction.Hence, eigenvalues of the problem is the Wronskian of the functions y 1 and y 2 .
Proof.a) Definition of the Wronskian and product rule for ∆−derivative give following result: b) By using definition of Wronskian and inner product on the set of so-called rd−continuous functions, we have Hence, this completes the proof.In classical spectral theory, these equalities are known as Lagrange's identity and Green's formula, respectively.Proof.Let γ, λ ∈ R with γ = λ.Then, Dividing both sides of above equality by λ − γ and taking limit as γ → λ, we have By taking ∆−integral of the last equality from ρ(a) to t, we get t ρ(a) Since y (ρ(a), λ) = 1 and y ∆ (ρ(a), λ) = 0, it yields ∂ ∂λ y (ρ(a), λ) = 0 and ∂ ∂λ y ∆ (ρ(a), λ) = 0. Finally, after some computations, we obtain So, the proof is complete.

Conclusion
Impulsive type diffusion eigenvalue problems appear in many fields of mathematical physics as quantum field theory, relativistics physics.Because of this importance, we notice that obtaining the solutions of these type problems on time scales will attract attention.In fact, our main goal is to obtain the asymptotic estimates for eigenvalues of this problem on T. During the next period, we want to study Ambarzumyan's theorem and inverse problem for different type of operators on T. We believe that this study will be an important step for this purpose.