Skip to main content

Inverse nodal problem for p-Laplacian energy-dependent Sturm-Liouville equation

An Erratum to this article was published on 01 October 2014

Abstract

In this study, the inverse nodal problem is solved for p-Laplacian Schrödinger equation with energy-dependent potential function with the Dirichlet conditions. Asymptotic estimates of eigenvalues, nodal points and nodal lengths are given by using Prüfer substitution. Especially, an explicit formula for a potential function is given by using nodal lengths. Results are more general than the classical p-Laplacian Sturm-Liouville problem. For the proofs, methods previously developed by Law et al. and Wang et al., in 2009 and 2011, respectively, are used. In there, they solved an inverse nodal problem for the classical p-Laplacian Sturm-Liouville equation with eigenparameter boundary conditions.

MSC:34A55, 34L20.

1 Introduction

Consider the following p-Laplacian eigenvalue problem for

[ ( u ) ( p 1 ) ] =(p1) ( λ q ( x ) ) u ( p 1 ) ,0<x<1,
(1.1)

with the boundary conditions

u(0)=u(1)=0,
(1.2)

where q L 2 (0,1) is a real-valued function, p>1 is a constant, u ( p 1 ) :=|u | p 1 Sgnu and λ is the spectral parameter [1]. Equation (1.1) is also known as a one-dimensional p-Laplacian eigenvalue equation. Note that when p=2, equation (1.1) becomes a Sturm-Liouville equation as

u +qu=λu

and the inverse problem described in (1.1), (1.2) in the [18].

The determination of the form of a differential operator from spectral data associated with it has enjoyed close attention from a number of authors in recent years. One such operator is the Sturm-Liouville operator. In the typical formulation of the inverse Sturm-Liouville problem, one seeks to recover both q and constants by giving the eigenvalues with another piece of spectral data. These data can take several forms, leading to many versions of the problem. Especially, the recent interest is a study by Hald and McLaughlin [9, 10] wherein the given spectral information consists of a set of nodal points of eigenfunctions for the Sturm-Liouville problems. These results were extended to the case of problems with eigenparameter-dependent boundary conditions by Browne and Sleeman [11]. On the other hand, Law et al.[12], Law and Yang [13] solved the inverse nodal problem of determining the smoothness of the potential function q of the Sturm-Liouville problem by using nodal data. In the past few years, the inverse nodal problem of Sturm-Liouville problem has been investigated by several authors [11, 1416].

When q=0, consider the problem

( u ( p 1 ) ) =(p1)λ u ( p 1 ) ,u(0)=u(1)=0.

The eigenvalues of this problem were given as [1]

λ n = ( n π p ) p ,n=1,2,3,,

where

π p =2 0 1 d t ( 1 t p ) 1 / p = 2 π p sin ( π p )

and an associated eigenfunction is denoted by S p . S p and S p are periodic functions satisfying the identity

[ S p ( x ) ] p + [ S p ( x ) ] p =1

for arbitrary xR. These functions are known as generalized sine and cosine functions and for p=2 become sine and cosine[17].

Now, we present some further properties of S p for deriving more detailed asymptotic formulas. These formulas are crucial in the solution of our problem.

Lemma 1.1[1]

  1. (a)

    For S p 0,

    ( S p ) =| S p S p | p 2 S p ;
  2. (b)
    ( S p S p ( p 1 ) ) =| S p | p (p1)| S p | p =1p| S p | p =(1p)+p| S p | p .

According to the Sturm-Liouville theory, the zero set X n = { x j ( n ) } j = 1 n of the eigenfunction u n corresponding to λ n is called the nodal set and l j n = x j + 1 n x j n is defined as the nodal length of u n . Using the nodal data, some uniqueness results, reconstruction and stability of potential functions have been obtained by many authors [9, 11, 1416, 18].

Consider the p-Laplacian eigenvalue problem

[ ( u ) ( p 1 ) ] =(p1) [ λ 2 q ( x ) 2 λ r ( x ) ] u ( p 1 ) ,0<x<1,
(1.3)

with the Dirichlet conditions

u(0)=u(1)=0,
(1.4)

or with the Neumann boundary conditions

u (0)= u (1)=0,
(1.5)

where q L 2 (0,1) and r W 2 1 (0,1) are real-valued functions, p>1 is a constant, u ( p 1 ) :=|u | p 1 Sgnu and λ is the spectral parameter.

In this paper, the function r is known a priori and we try to construct the unknown function q by the dense nodal points in the interval considered.

For p=2, equation (1.5) becomes

u +[q+2λr]u= λ 2 u.
(1.6)

This equation is known as the diffusion equation or quadratic of differential pencil. Eigenvalue equation (1.6) is important for both classical and quantum mechanics. For example, such problems arise in solving the Klein-Gordon equations, which describe the motion of massless particles such as photons. Sturm-Liouville energy-dependent equations are also used for modelling vibrations of mechanical systems in viscous media (see [19]). We note that in this type of problem the spectral parameter λ is related to the energy of the system, and this motivates the terminology ‘energy-dependent’ used for the spectral problem of the form (1.6). Inverse problems of quadratic pencil have been solved by many authors in the references [15, 16, 18, 2027].

As in the p-Laplacian Sturm-Liouville problem, for q=r=0, eigenvalues of the problem given by (1.3), (1.4) are of the form

λ n = ( n π p ) p

and associated eigenfunctions are denoted by S p .

This paper is organized as follows. In Section 2, we give asymptotic formulas for eigenvalues, nodal points and nodal lengths. In Section 3, we give a reconstruction formula for differential pencil by using nodal parameters.

2 Asymptotic estimates of nodal parameters

In this section, we study the properties of eigenvalues of p-Laplacian operator (1.3) with Dirichlet conditions (1.4). For this, we introduce Prüfer substitution. One may easily obtain similar results for Neumann problems.

We define a modified Prüfer substitution

u ( x ) = c ( x ) S p ( λ 2 / p θ ( x ) ) , u ( x ) = λ 2 / p c ( x ) S p ( λ 2 / p θ ( x ) )
(2.1)

or

u ( x ) u ( x ) = λ 2 / p S p ( λ 2 / p θ ( x ) ) S p ( λ 2 / p θ ( x ) ) .
(2.2)

Differentiating both sides of equation (2.2) with respect to x and applying Lemma 1.1, one obtains that

θ =1 q λ 2 S p p 2 λ r S p p .
(2.3)

Theorem 2.1 The eigenvalues λ n of the Dirichlet problem given in (1.3), (1.4) have the form

λ n 2 / p =n π p + 1 p ( n π p ) p 1 0 1 q(t)dt+ 2 p ( n π p ) p 2 p 0 1 r(t)dt+O ( 1 n p + 2 p ) .
(2.4)

Proof For problem (1.3), (1.4), let λ= λ n , θ(0)=0 and θ(1)= n π p λ n 2 / p . Firstly, we integrate both sides of (2.3) over the interval [0,1]:

n π p λ n 2 / p =1 1 λ n 2 0 1 q(t) S p p (t)dt 2 λ n 0 1 r(t) S p p (t)dt.

Using the identity

d d t [ S p ( λ n 2 / p θ ( t ) ) S p ( λ n 2 / p θ ( t ) ) p 1 ] = ( 1 p | S p ( λ n 2 / p θ ( t ) ) | p ) λ n 2 / p θ (t)

and Lemma 1.1(b), we get

n π p λ n 2 / p = 1 1 λ n 2 p 0 1 q ( t ) d t 2 λ n p 0 1 r ( t ) d t + 1 λ n 2 p 0 1 q ( t ) λ n 2 / p θ ( t ) d d t [ S p ( λ n 2 / p θ ( t ) ) S p ( λ n 2 / p θ ( t ) ) p 1 ] d t + 2 λ n p 0 1 r ( t ) λ n 2 / p θ ( t ) d d t [ S p ( λ n 2 / p θ ( t ) ) S p ( λ n 2 / p θ ( t ) ) p 1 ] d t .
(2.5)

Then, using integration by parts, we have

0 1 q ( t ) λ n 2 / p θ ( t ) d d t [ S p S p p 1 ] d t = λ n 2 / p 0 1 G ( λ n 2 / p θ ( t ) ) d d t ( q ( t ) θ ( t ) ) d t = O ( 1 λ n 2 / p ) ,

where

G ( λ n 2 / p θ ( x ) ) = S p ( λ n 2 / p θ ( x ) ) S p ( λ n 2 / p θ ( x ) ) p 1

and when x=0,1,

G ( λ n 2 / p θ ( x ) ) =0.

Similarly, one can show that

0 1 r ( t ) λ n 2 / p θ ( t ) d d t [ S p S p p 1 ] dt=O ( 1 λ n 2 / p ) .

Inserting these values in (2.5) and after some straightforward computations, we obtain (2.4). □

Theorem 2.2 For problem (1.3), (1.4), the nodal points expansion satisfies

x j n = j n + j p n p + 1 ( π p ) p 0 x j n q ( t ) d t + 2 j p n 2 p 2 p ( π p ) 2 p 2 p 0 x j n r ( t ) d t + 2 ( n π p ) p 2 0 x j n r ( x ) S p p d x + 1 ( n π p ) p 0 x j n q ( x ) S p p d x + O ( j n 3 p + 2 p ) .

Proof Let λ= λ n and integrating (2.3) from 0 to x j n , we have

j π p λ n 2 / p = x j n 0 x j n 2 r ( x ) λ n S p p dx 0 x j n q ( x ) λ n 2 S p p dx.

By using the estimates of eigenvalues as

1 λ n 2 / p = 1 n π p + 1 p ( n π p ) p + 1 0 1 q(t)dt+ 2 p ( n π p ) 3 p 2 p 0 1 r(t)dt+O ( 1 n 3 p + 2 p ) ,

we obtain

x j n = j n + j p n p + 1 ( π p ) p 0 x j n q ( t ) d t + 2 j p n 2 p 2 p ( π p ) 2 p 2 p 0 x j n r ( t ) d t + 2 ( n π p ) p 2 0 x j n r ( x ) S p p d x + 1 ( n π p ) p 0 x j n q ( x ) S p p d x + O ( j n 3 p + 2 p ) .

 □

Theorem 2.3 Asn,

l j n = π p λ n 2 / p + 2 p λ n x j n x j n + 1 r(t)dt+ 1 p λ n 2 x j n x j n + 1 q(t)dt+O ( 1 λ n 4 + p p ) .
(2.6)

Proof For large nN, integrating (2.3) on [ x j n , x j + 1 n ] and then

π p λ n 2 / p = l j n 2 λ x j n x j + 1 n r(t) S p p dt 1 λ 2 x j n x j + 1 n q(t) S p p dt

or

π p λ n 2 / p = l j n 2 p λ n x j n x j + 1 n r ( t ) d t 1 p λ n 2 x j n x j + 1 n q ( t ) d t + 2 λ n p x j n x j + 1 n 1 λ n 2 / p θ ( t ) d d t [ S p S p p 1 ] r ( t ) d t + 1 λ n 2 p x j n x j + 1 n 1 λ n 2 / p θ ( t ) d d t [ S p S p p 1 ] q ( t ) d t .
(2.7)

By Lemma 1.1 and a similar process to that used in Theorem 2.1, we obtain that

x j n x j + 1 n r ( t ) λ n 2 / p θ ( t ) d d t [ S p S p p 1 ] d t = j π p ( j + 1 ) π p ( q ( t ) λ n 2 / p θ ( t ) ) G ( τ ) d τ λ n 2 / p θ ( t ) = O ( 1 λ n 4 / p ) ,

where G(τ)= S p (τ) S p ( τ ) ( p 1 ) and τ= λ n 2 / p θ(x). Similarly, one can show that

x j n x j + 1 n q ( t ) λ n 2 / p θ ( t ) d d t [ S p S p p 1 ] dt=O ( 1 λ n 4 / p ) .

Inserting this value in (2.7), we obtain

l j n = π p λ n 2 / p + 2 p λ n x j n x j + 1 n r(t)dt+ 1 p λ n 2 x j n x j + 1 n q(t)dt+O ( 1 λ n 4 + p p ) ,

and by Theorem 2.1,

l j n = 1 n + 2 p ( n π p ) p / 2 x j n x j + 1 n r(t)dt+ 1 p ( n π p ) p x j n x j + 1 n q(t)dt+O ( 1 n 4 + p p ) .

 □

3 Reconstruction of a potential function in the differential pencil

In this section, we give an explicit formula for a potential function. The method used in the proof of the theorem is similar to that for classical Sturm-Liouville problems [1, 8].

Theorem 3.1 Letq L 2 (0,1), r W 2 1 (0,1)and assume r that on the interval[0,1]is given a priori. Then

q(x)= lim n p λ n 2 ( λ n 2 / p l j n π p 2 r ( x ) p λ n 1 )

forj= j n (x)=max{j: x j n x}.

Proof Applying the mean value theorem for integrals to (2.6), with fixed n, there exists z( x j n , x j + 1 n ), we obtain

l j n = π p λ n 2 / p + 2 p λ n r(z) l j n + 1 p λ n 2 q(z) l j n +O ( 1 λ n 4 + p p )

or

q(z)=p λ n 2 ( π p λ n 2 / p l j n ) ( λ n 2 / p l j n π p 2 r ( z ) p λ n λ n 2 / p l j n π p 1 ) .

Considering (2.6), we can write that for n,

λ n 2 / p l j n π p =1.

Then

q(x)= lim n p λ n 2 ( λ n 2 / p l j n π p 2 r p λ n 1 ) .

This completes the proof. □

Conclusion 3.2 In Theorem 2.1, Theorem 2.2, Theorem 2.3 and Theorem 3.1, taking r=0, we obtain results of the Sturm-Liouville problem given in [12].

Conclusion 3.3 In Theorem 2.1, Theorem 2.2, Theorem 2.3 and Theorem 3.1, taking p=2, we obtain the results of an inverse nodal problem for differential pencil [15].

References

  1. Law CK, Lian WC, Wang WC: Inverse nodal problem and Ambarzumyan theorem for the p -Laplacian. Proc. R. Soc. Edinb. A 2009, 139: 1261-1273. 10.1017/S0308210508000851

    Article  MathSciNet  Google Scholar 

  2. Binding P, Drábek P: Sturm-Liouville theory for the p -Laplacian. Studia Sci. Math. Hung. 2003, 40: 373-396. 10.1556/SScMath.40.2003.4.1

    Google Scholar 

  3. Binding PA, Rynne BP: Variational and non-variational eigenvalues of the p -Laplacian. J. Differ. Equ. 2008, 244: 24-39. 10.1016/j.jde.2007.10.010

    Article  MathSciNet  Google Scholar 

  4. Brown BM, Eastham MSP: Eigenvalues of the radial p -Laplacian with a potential on (0,1) . J. Comput. Appl. Math. 2006, 208: 111-119.

    Article  MathSciNet  Google Scholar 

  5. Del Pino M, Drábek P, Manasevich R: The Fredholm alternatives at the first eigenvalue for the one-dimensional p -Laplacian. J. Differ. Equ. 1999, 151: 386-419. 10.1006/jdeq.1998.3506

    Article  Google Scholar 

  6. Drábek P: On the generalization of the Courant nodal domain theorem. J. Differ. Equ. 2002, 181: 58-71. 10.1006/jdeq.2001.4070

    Article  Google Scholar 

  7. Walter W: Sturm-Liouville theory for the radial p -operator. Math. Z. 1998, 227: 175-185. 10.1007/PL00004362

    Article  MathSciNet  Google Scholar 

  8. Wang WC, Cheng YH, Lian WC: Inverse nodal problem for the p -Laplacian with eigenparameter dependent boundary conditions. Math. Comput. Model. 2011, 54: 2718-2724. 10.1016/j.mcm.2011.06.059

    Article  MathSciNet  Google Scholar 

  9. Hald OL, McLaughlin JR: Solutions of inverse nodal problems. Inverse Probl. 1989, 5: 307-347. 10.1088/0266-5611/5/3/008

    Article  MathSciNet  Google Scholar 

  10. McLaughlin JR: Inverse spectral theory using nodal points as data - a uniqueness result. J. Differ. Equ. 1988, 73: 354-362. 10.1016/0022-0396(88)90111-8

    Article  Google Scholar 

  11. Browne PJ, Sleeman BD: Inverse nodal problem for Sturm-Liouville equation with eigenparameter depend boundary conditions. Inverse Probl. 1996, 12: 377-381. 10.1088/0266-5611/12/4/002

    Article  MathSciNet  Google Scholar 

  12. Law CK, Shen CL, Yang CF: The inverse nodal problem on the smoothness of the potential function. Inverse Probl. 1999, 15: 253-263. 10.1088/0266-5611/15/1/024

    Article  MathSciNet  Google Scholar 

  13. Law CK, Yang CF: Reconstructing the potential function and its derivatives using nodal data. Inverse Probl. 1998, 14: 299-312. Addendum 14, 779-780 (1998) 10.1088/0266-5611/14/2/006

    Article  MathSciNet  Google Scholar 

  14. Buterin SA, Shieh CT: Incomplete inverse spectral and nodal problems for differential pencil. Results Math. 2012, 62: 167-179. 10.1007/s00025-011-0137-6

    Article  MathSciNet  Google Scholar 

  15. Koyunbakan H, Yılmaz E: Reconstruction of the potential function and its derivatives for the diffusion operator. Z. Naturforsch. A 2008, 63: 127-130.

    Google Scholar 

  16. Yang XF: A solution of the inverse nodal problem. Inverse Probl. 1997, 13: 203-213. 10.1088/0266-5611/13/1/016

    Article  Google Scholar 

  17. Lindqvist P: Some remarkable sine and cosine functions. Ric. Mat. 1995, XLIV(2):269-290.

    MathSciNet  Google Scholar 

  18. Koyunbakan H: A new inverse problem for the diffusion operator. Appl. Math. Lett. 2006, 19(10):995-999. 10.1016/j.aml.2005.09.014

    Article  MathSciNet  Google Scholar 

  19. Jaulent M, Jean C: The inverse s -wave scattering problem for a class of potentials depending on energy. Commun. Math. Phys. 1972, 28: 177-220. 10.1007/BF01645775

    Article  MathSciNet  Google Scholar 

  20. Gasymov MG, Guseinov GS: The determination of a diffusion operator from the spectral data. Dokl. Akad. Nauk Azerb. SSR 1981, 37(2):19-23.

    MathSciNet  Google Scholar 

  21. Guseinov GS: On spectral analysis of a quadratic pencil of Sturm-Liouville operators. Sov. Math. Dokl. 1985, 32: 859-862.

    Google Scholar 

  22. Hryniv R, Pronska N: Inverse spectral problems for energy dependent Sturm-Liouville equations. Inverse Probl. 2012., 28: Article ID 085008

    Google Scholar 

  23. Nabiev IM: The inverse quasiperiodic problem for a diffusion operator. Dokl. Math. 2007, 76: 527-529. 10.1134/S1064562407040126

    Article  MathSciNet  Google Scholar 

  24. Wang YP, Yang CF, Huang ZY: Half inverse problem for a quadratic pencil of Schrödinger operators. Acta Math. Sci. 2011, 31(6):1708-1717.

    MathSciNet  Google Scholar 

  25. Yang CF: Trace formulae for the matrix Schrödinger equation with energy-dependent potential. J. Math. Anal. Appl. 2012, 393: 526-533. 10.1016/j.jmaa.2012.03.003

    Article  MathSciNet  Google Scholar 

  26. Koyunbakan H: Inverse problem for quadratic pencil of Sturm-Liouville operator. J. Math. Anal. Appl. 2011, 378: 549-554. 10.1016/j.jmaa.2011.01.069

    Article  MathSciNet  Google Scholar 

  27. Yurko VA Inverse and Ill-Posed Problems Series. In Method of Spectral Mappings in the Inverse Problem Theory. VSP, Utrecht; 2002.

    Chapter  Google Scholar 

Download references

Acknowledgements

The author would like to thank the referees for valuable comments and suggestions on improving this paper.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Hikmet Koyunbakan.

Additional information

Competing interests

The author declares that they have no competing interests.

An erratum to this article is available at http://dx.doi.org/10.1186/s13661-014-0222-3.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Koyunbakan, H. Inverse nodal problem for p-Laplacian energy-dependent Sturm-Liouville equation. Bound Value Probl 2013, 272 (2013). https://doi.org/10.1186/1687-2770-2013-272

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-2770-2013-272

Keywords