arxiv: v1 [math.sp] 29 Jun 2016

Transcript

1 INVERSE NODAL PROBLEMS FOR DIRAC-TYPE INTEGRO-DIFFERENTIAL OPERATORS arxiv: v [math.sp] 29 Ju 206 BAKI KESKIN AND A. SINAN OZKAN Abstract. The iverse odal problem for Dirac differetial operator perturbated by a Volterra itegral operator is studied. We prove that dese subset of the odal poits determies the coefficiets of differetial ad itegral part of the operator. We also provide a uiqueess theorem ad a algorithm to recostruct the coefficiets of the problem by usig the odal poits.. Itroductio We cosider the boudary value problem L geerated by the system of Dirac itegro-differetial equatios: l[yx] := BY x+ωxyx+ subject to the boudary coditios 2 x 0 MxtYtdt = Yx x 0π Uy : = y 0siα+y 2 0cosα = 0 3 Vy : = y πsiβ +y 2 πcosβ = 0 0 where α β are real costats ad is the spectral parameter B = 0 Vx+m 0 M xt M Ωx = Mxt = 2 xt Yx = 0 Vx m M 2 xt M 22 xt y x Ωx ad M xt are real-valued fuctios i the class of W y 2 x 2 0π where m is a real costat. Throughout this paper we deote px = Vx +m rx = Vx m. I 988 the first results of the iverse odal Sturm Liouville problem was give by McLaughli [3] who proved that the potetial of the Sturm Liouville problem ca be determied by a give dese subset of odal poits of the eigefuctios. I 989 Hald ad McLaughli cosider more geeral boudary coditios ad give some umerical schemes for the recostructio of the potetial from odal poits [9]. Yag provided a algorithm to solve iverse odal Sturm Liouville problem i 997 [7]. Iverse odal problems for Sturm Liouville or diffusio operators have bee studied i the several papers [] [2] [3] [6] [4] [5] [6] [9] ad [20]. The iverse odal problems for Dirac operators with various boudary coditios 2000 Mathematics Subject Classificatio. 34A55 34L05 34K29 34K0 47G20. Key words ad phrases. Dirac operator itegral-differetial operators iverse odal problem uiqueess theorem.

2 2 BAKI KESKIN AND A. SINAN OZKAN have bee solved i [8] [8] ad [2]. I their works it was show that the zeros of the first compoets of the eigefuctios determies the coefficiets of operator. Nowadays the studies cocerig the perturbatio of a differetial operator by a Volterra itegral operator amely the itegro-differetial operator are begiig to have a sigificat place i the literature [4] [5] [7] [] ad [2]. For Sturm- Liouville type itegro-differetial operators there exist some studies about iverse problems but there is o study for Dirac type itegro-differetial operators. The iverse odal problem for Sturm-Liouville type itegro-differetial operators was first studied by [0]. I their study it is show that the potetial fuctio ca be determied by usig odal poits while the coefficiet of the itegral operator is kow. I our study we prove that the itegral operator ca be partially determied as well as the potetial fuctio ad the other coefficiets of the problem. 2. Prelimiaries Let ϕx = ϕ xϕ 2 x T be the solutio of satisfyig the iitial coditio ϕ0 = cosα siα T. For each fixed x ad t this solutio is a etire fuctio of. It is clear that ϕx satisfies the followig itegral equatios: 4 ϕ x = cosx α+ x 0 six tptϕ tdt + x 0 cosx trtϕ 2tdt 0 0 six t{m tξϕ ξ+m 2 tξϕ 2 ξ}dξdt 0 0 cosx t{m 2tξϕ ξ+m 22 tξϕ 2 ξ}dξdt 5 ϕ 2 x = six α x 0 cosx tptϕ tdt + x 0 six trtϕ 2tdt x t 0 0 cosx t{m tξϕ ξ+m 2 tξϕ 2 ξ}dξdt 0 0 six t{m 2tξϕ ξ+m 22 tξϕ 2 ξ}dξdt To apply the method of successive approximatios to the system 4 ad 5 we deote ϕ 0 x = cosx α ϕ + x = x 0 six tptϕ tdt + x 0 cosx trtϕ 2tdt 0 0 six t{ M tξϕ ξ+m 2 tξϕ 2 ξ } dξdt 0 0 cosx t{ M 2 tξϕ ξ+m 22 tξϕ 2 ξ } dξdt

3 INVERSE NODAL PROBLEM 3 ad The we have ϕ 20 x = six α ϕ 2+ x = x 0 cosx tptϕ tdt + x 0 six trtϕ 2tdt x t 0 0 cosx t{ M tξϕ ξ+m 2 tξϕ 2 ξ } dξdt 0 0 six t{ M 2 tξϕ ξ+m 22 tξϕ 2 ξ } dξdt. ϕ x = ωxsix α+ msiα Kx 2 six cosx α Lx 2 six α+o e ϕ 2 x = ωxcosx α mcosα ad for Kx 2 six six α+ Lx 2 cosx α+o ϕ 2+ x = ω 2+ x ω 2 x 2+! six α+ 2! + ω 2 x m 2 x 2! ω 2 x Lx 2! 2 six α+o e msiα ω 2 x 2 cosx α 2! e six Kx 2 cosx α ϕ 2 x = ω 2 x 2! ω 2 2 x m 2 x 2 2! cosx α+ ω 2 x msiα cosx 2! ω 2 x 2 six α+ 2! e ω 2 x Lx 2! 2 cosx α+o Kx 2 six α ϕ 22+ x = ω 2+ x ω 2 x 2+! cosx α 2! + ω 2 x m 2 x 2! mcosα ω 2 x 2 six α 2! e + ω 2 x Lx 2! 2 cosx α+o six Kx 2 six α

4 4 BAKI KESKIN AND A. SINAN OZKAN ϕ 22 x = ω 2 x 2! + ω 2 2 x m 2 x 2 2! six α ω 2 x mcosα cosx 2! ω 2 x 2 cosx α 2! Lx e 2 six α+o Kx 2 cosx α ω 2 x 2! x 0 pt+rtdt = x 0 Vtdt Kx = x 0 M tt+m 22 ttdt where ωx = 2 Lx = x 0 M 2tt M 2 ttdt ad τ = Im. Thusthefuctiosϕ xadϕ 2 xhavethefollowigasymptoticformulae: 6 7 ϕ x = cosx ωx α+ msiα six ωx + m2 x Kx six ωx α 2 2 cosx ωx α Lx e 2 six ωx α+o ϕ 2 x = six ωx α mcosα six ωx m2 x Kx cosx ωx α 2 2 six ωx α + Lx e 2 cosx ωx α+o for sufficietly large uiformly i x. The characteristic fuctio of the problem -3 is defied by the relatio 8 = ϕ πsiβ +ϕ 2 πcosβ Itis obviousthat isaetire fuctio adits zerosamely { } 0 coicide with the eigevalues of the problem -3. Usig the asymptotic formulae 6 ad 7 oe ca easily obtai 9 = siπ ωπ+β α m2 π cosπ ωπ+β α 2 Kπ Lπ siπ ωπ+β α+ cosπ ωπ+β α 2 2 m e τ π siπ ωπcosβ +α+o for sufficietly large. Sice the eigevalues of the problem -3 are the roots of = 0 we ca write the followig equatio for them: Kπ m cosβ +αcosα β ta π ωπ+β α 2 = m2 π Lπ + m e τ π cosβ +αsiα β+o 2 2

5 INVERSE NODAL PROBLEM 5 which implies that m 2 π ta π ωπ+β α = 2 Lπ 2 + m cosβ +αsiα β + Kπ 2 + m cosβ +αcosα β+o for sufficietly large. We obtai from the last equatio 0 = + π for = 0±± π π Vtdt+ α β 0 π m 2 π Lπ+2mcosβ +αsiα β +o 3. Mai Results Lemma. For sufficietly large the first compoet ϕ x of the eigefuctio ϕx has exactly odes { x j : j = 0} i the iterval 0π: 0 < x 0 < x <... < x < π. The umbers { x j } satisfy the followig asymptotic formula: x j = j +/2π j +/2π + ωxj +α ωπ+α β π + m x j Lx j +msi2α +o. 2 ωπ+α β ωx j 2 π +α Proof. From 6 the followig asymptotic formula ca be writte for sufficietly large. ϕ x = cos x ωx α+ msi2α si x ωx α 2 + msi2 α cos x ωx α+ m2 x si x ωx α 2 Kx cos x ωx α Lx e τ x si x ωx α+o 2 2 From ϕ x j = 0 we get cos x j ωxj α = msi2α 2 + msi2 α cos x j ωxj α + m2 x j 2 si x j ωxj α si x j ωxj α

6 6 BAKI KESKIN AND A. SINAN OZKAN Kxj 2 cos x j ωx j α Lxj 2 si x j ωxj α+o e τ x which is equivalet to ta x j ωxj α π = Kx + msi2 α 2 2 m 2 x j Lxj + msi2α +o. 2 2 Takig ito accout Taylor s expasio formula for the arctaget we get x j ωxj α π 2 = jπ + m 2 x j 2 Lxj +msi2α +o. It follows from the last equality j + x j = 2 π +ωx j +α + m x j Lx j +msi2α +o 2. The relatio is prove by usig the asymptotic formula { = ωπ+α β m 2 π Lπ+2mcosβ +αsiα β } π 2 2 +o π 2 From we have the followig asymptotic expressio for odal leghts: l j := xj+ x j = π +o. Oe ca easily see that ϕ kπ k +π ad ϕ have differet sigs for each fixed k ad for sufficietly large. Thus the fuctio ϕ x has exactly odes i 0π. Let X be the set of odal poits ad ωπ = 0. For each fixed x 0π we ca choose a sequece x j X so that x j coverges to x. The the followig limits are exist ad fiite: 2 lim where ad 3 lim 22 where x j j +. 2 π = fx fx = ωx+α x π α β j + x 2 π ωx j j + j +/2π α β = gx gx = Lx+2 β α ωx+α+m 2 x+msi2α π Therefore proof of the followig theorem is clear. π

7 INVERSE NODAL PROBLEM 7 Theorem. The give dese subset of odal poits X uiquely determies the potetial Vx the fuctio L x = M 2 xx M 2 xx a.e. o 0π ad the coefficiets α ad β of the boudary coditios. Moreover Vx L x α ad β ca be recostructed by the followig formulae: Step-: For each fixed x 0π choose a sequece lim xj = x; Step-2: Fid the fuctio fx from 2 ad calculate Vx = f x α = f0 β = fπ x j Step-3: If si2α 0 fid the fuctio gx from 3 ad calculate m = g0+2αα β si2α L x = g x+2 β α π Vx+m2 otherwise assume m is kow. X such that Example. Let { x j } X be the dese subset of odal poits i 0π give by the followig asimptotics: x j j +/2π = + + j +/2π 2 2 +si π j +/2π 4 +si j +/2π It ca be calculated from 2 ad 3 that + +o. 2 fx = π 4 +six gx = +x+six Therefore it is obtaied by usig the algorithm i Therem Vx = f x = cosx α = f0 = π = fπ = β 4 M 2 xx M 2 xx = L x = cosx m =. Ackowledgemet. The similar results ca be obtaied for the equatio with parameter depedet boudary coditios. Refereces [] P.J. Browe B.D. Sleema Iverse odal problem for Sturm Liouville equatio with eigeparameter deped boudary coditios Iverse Problems pp [2] S.A. Buteri C.T. Shieh Iverse odal problem for differetial pecils Appl. Math. Lett pp [3] S.A. Buteri C.T. Shieh Icomplete iverse spectral ad odal problems for differetial pecil. Results Math

8 8 BAKI KESKIN AND A. SINAN OZKAN [4] S.A. Buteri O a Iverse Spectral Problem for a Covolutio Itegro-Differetial Operator Results i Mathematics [5] S.A. Buteri The Iverse Problem of Recoverig the Volterra Covolutio Operator from the Icomplete Spectrum of its Rak-Oe Perturbatio Iverse Problems [6] Y.H. Cheg C-K. Law ad J. Tsay Remarks o a ew iverse odal problem J. Math. Aal. Appl pp [7] G. Freilig V.A. Yurko Iverse Sturm Liouville Problems ad their Applicatios Nova Sciece New York 200. [8] Y. Guo Y. Wei Iverse Nodal Problem for Dirac Equatios with Boudary Coditios Polyomially Depedet o the Spectral Parameter Results. Math [9] O.H. Hald J.R. McLaughli Solutios of iverse odal problems Iv. Prob pp [0] Y.V. Kuryshova C.T. Shieh A Iverse Nodal Problem for Itegro-Differetial Operators Joural of Iverse ad III-posed Problems [] Y.V. Kuryshova Iverse Spectral Problem for Itegro-Differetial Operators Mathematical Notes [2] B.Wu J. Yu Uiqueess of a Iverse Problem for a Itegro-Differetial Equatio Related to the Basset Problem Boudary Value Problems [3] J.R. McLaughli Iverse spectral theory usig odal poits as data a uiqueess result J. Diff. Eq pp [4] C.K. Law C.L. She ad C.F. Yag The Iverse Nodal Problem o the Smoothess of the Potetial Fuctio Iverse Problems Erratum Iverse Problems [5] A.S. Ozka B. Keski Iverse Nodal Problems for Sturm Liouville Equatio with EigeparameterDepedet Boudary ad Jump Coditios Iverse Problems i Sciece ad Egieerig 23: [6] C-T Shieh V.A. Yurko Iverse odal ad iverse spectral problems for discotiuous boudary value problems J. Math. Aal. Appl [7] X-F Yag A solutio of the odal problem Iverse Problems [8] C-F Yag Z-Y.Huag Recostructio of the Dirac operator from odal data. Itegr. Equ. Oper. Theory [9] C-F Yag Xiao-Pig Yag Iverse odal problems for the Sturm-Liouville equatio with polyomially depedet o the eigeparameter Iverse Problems i Sciece ad Egieerig [20] C-F Yag Iverse odal problems of discotiuous Sturm Liouville operator J. Differetial Equatios [2] C-F Yag V.N. Pivovarchik : Iverse odal problem for Dirac system with spectral parameter i boudary coditios. Complex Aal. Oper. Theory Curret address: Departmet of Mathematics Faculty of Sciece Cumhuriyet Uiversity 5840 Sivas TURKEY address: bkeski@cumhuriyet.edu.tr Curret address: Departmet of Mathematics Faculty of Sciece Cumhuriyet Uiversity 5840 Sivas TURKEY address: sozka@cumhuriyet.edu.tr