Open Access

Inverse nodal problems for the p-Laplacian with eigenparameter dependent energy functions

Boundary Value Problems20162016:102

https://doi.org/10.1186/s13661-016-0611-x

Received: 17 February 2016

Accepted: 11 May 2016

Published: 18 May 2016

Abstract

We study the inverse nodal problems for the p-Laplacian with two energy functions
$$ \left \{ \textstyle\begin{array}{@{}l} - ( \vert y^{\prime} \vert ^{p-2}y^{\prime} ) ^{\prime }= ( p-1 ) ( \kappa^{2}-\kappa pq_{1}(x)-q_{0}(x) ) \vert y\vert ^{p-2}y, \\ y(0)\sin_{p}^{\prime}(\alpha)+y^{\prime}(0)\sin_{p}(\alpha)=0, \\ y(1)\sin_{p}^{\prime}(\beta)+y^{\prime}(1)\sin_{p}(\beta)=0,\end{array}\displaystyle \right . $$
where \(p>1\), κ is a spectral parameter, \(\alpha,\beta\in [0,\pi_{p}]\), \(\sin_{p}(x)\) is the generalized sine function and \(\pi_{p}\) is the generalized π constant. We use a Prüfer substitution derived by \(\sin _{p}(x)\) to find the asymptotic expansions of the eigenvalues and nodal lengths. Furthermore, we consider the inverse nodal problem and give the reconstruction formulas for the boundary conditions α, β, and the energy functions \(q_{1}\), \(q_{0}\) by only using the information of nodal data.

Keywords

inverse nodal problems eigenparameter dependent energy functions

1 Introduction

In this paper, we investigate the p-Laplacian with two energy functions
$$ \left \{ \textstyle\begin{array}{@{}l} - ( \vert y^{\prime} \vert ^{p-2}y^{\prime} ) ^{\prime }= ( p-1 ) ( \kappa^{2}-\kappa pq_{1}(x)-q_{0}(x) ) \vert y\vert ^{p-2}y, \\ y(0)\sin_{p}^{\prime}(\alpha)+y^{\prime}(0)\sin_{p}(\alpha)=0, \\ y(1)\sin_{p}^{\prime}(\beta)+y^{\prime}(1)\sin_{p}(\beta)=0.\end{array}\displaystyle \right . $$
(1)
Here, \(p>1\), κ is a spectral parameter and \(\alpha,\beta\in [0,\pi_{p}]\) where \(\pi_{p}\) and \(\sin_{p}(x)\) are defined below. The nodal points are unchanged when the spectral parameter κ shifts to \(\kappa+\int_{0}^{1}q_{1}\), so we assume that \(q_{1}\not\equiv0\) and \(\int_{0}^{1}q_{1}=0\) without loss of generality. In this paper, we also assume \(q_{0}\in C[0,1]\) and \(q_{1}\in C^{1}[0,1]\). The p-Laplacian problems have attracted lots of interests recently (cf. [14]).
In 1979, Elbert [5] (see also [6]) showed that the solution of the initial value problem
$$\left \{ \textstyle\begin{array}{@{}l} -(\vert y^{\prime} \vert ^{p-2}y^{\prime})^{\prime}= ( p-1 ) \vert y\vert ^{p-2}y, \\ y(0)=0, \qquad y^{\prime}(0)=1, \end{array}\displaystyle \right . $$
can be defined by the inverse of the integral
$$x= \int_{0}^{\omega}\frac{1}{(1-t^{p})^{1/p}}\,dt , \quad\mbox{for } 0\leq\omega\leq1 . $$
Denote by \(\sin_{p}(x)\equiv\omega(x)\). Then the first non-vanishing zero \(\pi_{p}\) of \(\sin_{p}\) is defined by
$$\pi_{p}\equiv2 \int_{0}^{1}\frac{1}{(1-t^{p})^{1/p}}\,dt=\frac{2\pi /p}{\sin (\pi/p)}. $$
Continuing \(\sin_{p}(x)\) symmetrically over \(x\in[\pi _{p}/2,\pi _{p}]\) and anti-symmetrically outside \([0,\pi_{p}]\), one obtains a \(\sin _{p}\) graph analogous to a sine wave. Also, the function \(\sin_{p}(x)\) satisfies
$$\bigl|\sin_{p}(x)\bigr|^{p}+\bigl|\sin_{p}^{\prime}(x)\bigr|^{p}=1 , $$
which is an analog of the Pythagorean trigonometric identity \(\sin ^{2}x+\cos ^{2}x=1\). Specially, we call \(\sin_{p}(x)\) the generalized sine function. Furthermore, we may define the p-version trigonometric functions by generalized cosine function \(\sin_{p}^{\prime}(x)\), generalized tangent function \(\tan_{p}(x)\equiv\sin _{p}(x)/\sin _{p}^{\prime}(x)\), and generalized cotangent function \(\cot _{p}(x)\equiv\sin_{p}^{\prime}(x)/\sin_{p}(x)\). For more related properties and results before 2003, the reader can refer to a survey [7].
Differential equations with nonlinear dependence on the spectral parameter and with turning points arise in various problems of mathematics as well as in applications, for example, non-Newtonian fluids, reaction-diffusion problems, theory of superconductors, biology, and so forth (see [814] and the references therein). In particular, the system (1) with \(p=2\) is the problem of describing the interactions between colliding particles in physics [10]. One is interested in collisions of two spinless particles, and it is supposed that the s-wave scattering matrix and the s-wave binding energies are exactly known from collision experiments. With a radially static potential \(Q(\lambda,x)\), the s-wave Schrödinger equation is written as
$$-y^{\prime\prime}+Q(\lambda,x)y=\lambda y, $$
where \(Q(\lambda,x)\) is the following form for the energy dependence:
$$Q(\lambda,x)=2\sqrt{\lambda}q_{1}(x)+q_{0}(x). $$

The diffusion problem (1) with \(p=2\) has been widely studied [1521]. In particular, Buterin and Shieh [20, 22] derived the asymptotic expansion of nodal points of problem (1) with \(p=2\) and showed that α, β, \(q_{0}\), and \(q_{1}\) can be uniquely determined and reconstructed by any dense set of nodal points. Moreover, they also gave the reconstruction formulas of α, β, \(q_{0} \), and \(q_{1}\). The work of Koyunbakan [23] should also be mentioned. He considered the inverse problem on the problem (1) with Dirichlet boundary conditions. But he only gave the reconstruction formula for the energy \(q_{0}\) and the formula depends on the eigenvalues and nodal lengths. In this paper, we reconstruct the energy functions \(q_{0}\), \(q_{1}\) and the boundary conditions α, β. Moreover, the reconstruction formulas only depend on the nodal points.

In this paper, we study the direct problem and inverse nodal problem of the p-Laplacian operator with potentials depending on energy (1). Using the modified Prüfer substitution derived by generalized sine function \(\sin_{p}\), we will show that, for sufficiently large \(N\in \mathbb{N}\), the problem (1) has an eigenpair \(( \kappa_{n},y(x,\kappa_{n}) ) \) for \(|n|>N\) which owns the Sturm-Liouville property. That is, the corresponding eigenfunction \(y_{n}(x)\equiv y(x,\kappa_{n})\) has \(\vert n\vert -1\) zeros \(\{ x_{i}^{(n)} \} \) in \((0,1)\) for \(\vert n\vert >N\), which satisfies
$$0< x_{1}^{(n)}< x_{2}^{(n)}< \cdots< x_{n-2}^{(n)}< x_{n-1}^{(n)}< 1 $$
or
$$0< x_{-1}^{(-n)}< x_{-2}^{(-n)}< \cdots< x_{-n+2}^{(-n)}< x_{-n+1}^{(-n)}< 1. $$
We will also derive the asymptotic expansion of eigenvalues and nodal points. Furthermore, we will solve the inverse nodal problem. That is, we will give the formulas of α, β, \(q_{0}(x)\), and \(q_{1}(x)\) by using the information of nodal points. For \(x\in[0,1]\), denote \(j=j_{n}(x)=\max \{ i:x_{i}^{(n)}\leq x \} \). The following are our main results.

Theorem 1.1

Let \(1< p<2\). The problem (1) can be reconstructed by the following formulas:
  1. (i)
    Either \(\alpha=0\), or with \(i/n\) tending to 0,
    $$\bigl\vert \cot_{p}(\alpha)\bigr\vert _{p}^{p-2} \cot(\alpha)=\left \{ \textstyle\begin{array}{@{}l} -\lim_{x_{i}^{(\pm n)}\rightarrow0} ( p-1 ) ( ( n-\frac{1}{2} ) \pi_{p} ) ^{p} ( x_{i}^{(\pm n)}-\frac{i-\frac {1}{2}}{n-\frac{1}{2}} ) , \\ -\lim_{x_{i}^{(\pm n)}\rightarrow0} ( p-1 ) ( ( n-1 ) \pi_{p} ) ^{p} ( x_{i}^{(\pm n)}-\frac{i-\frac {1}{2}}{n-1} ) ,\end{array}\displaystyle \right . $$
    if the limit exists.
     
  2. (ii)
    Either \(\beta=0\), or with \(i/n\) tending to 0,
    $$\bigl\vert \cot_{p}(\beta)\bigr\vert _{p}^{p-2} \cot(\beta)=\left \{ \textstyle\begin{array}{@{}l} \lim_{x_{\pm n-i}^{(\pm n)}\rightarrow1} ( p-1 ) ( ( n-\frac{1}{2} ) \pi_{p} ) ^{p} ( 1-x_{\pm n-i}^{(\pm n)}-\frac{i-\frac{1}{2}}{n-\frac{1}{2}} ), \\ \lim_{x_{\pm n-i}^{(\pm n)}\rightarrow1} ( p-1 ) ( ( n-1 ) \pi_{p} ) ^{p} ( 1-x_{\pm n-i}^{(\pm n)}-\frac {i-\frac{1}{2}}{n-1} ) , \end{array}\displaystyle \right . $$
    if the limit exists.
     
  3. (iii)
    The functions \(q_{1}(x)\) and \(q_{0}(x)\) can be reconstructed by the following limits:
    $$q_{1}(x)=\lim_{n\rightarrow\infty}n_{\alpha\beta} ( n_{\alpha \beta }\pi_{p} ) ^{\frac{p}{2}} \biggl( \ell_{j}^{(\pm n)}- \frac {1}{n_{\alpha \beta}} \biggr) $$
    and
    $$\begin{aligned} q_{0}(x) =&\lim_{n\rightarrow\infty}pn_{\alpha\beta} ( n_{\alpha \beta}\pi_{p} ) ^{p} \biggl( \ell_{j}^{(\pm n)}- \frac{1}{n_{\alpha \beta}}-\frac{1}{ ( n_{\alpha\beta}\pi_{p} ) ^{\frac {p}{2}}}\int_{x_{j}^{(\pm n)}}^{x_{j+1}^{(\pm n)}}q_{1}(x)\,dx \biggr)\\ &{}+\frac{p}{p-1} \bigl( \operatorname{scot}_{p} ( \beta ) -\operatorname{scot}_{p} ( \alpha ) \bigr) + \int_{0}^{1}q_{0}(x)\,dx, \end{aligned}$$
    where
    $$ \operatorname{scot}_{p} ( x ) =\left \{ \textstyle\begin{array}{@{}l@{\quad}l} 0 & \textit{if }x=0, \\ \vert \cot_{p}(x)\vert ^{p-2}\cot_{p}(x) & \textit{if }x\neq 0,\end{array}\displaystyle \right . $$
    (2)
    and
    $$ n_{\alpha\beta}=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} n & \textit{for }\alpha=0,\beta=0; \\ n-\frac{1}{2} & \textit{for }\alpha=0,\beta\neq0,\textit{ or }\alpha\neq 0,\beta=0; \\ n-1 & \textit{for }\alpha\neq0,\beta\neq0.\end{array}\displaystyle \right . $$
    (3)
     

In the following theorem, we consider the case of \(p\geq2\). For \(p=2\), we obtain a similar result of an inverse nodal problem for differential pencils [22].

Theorem 1.2

Let \(p\geq2\). Consider the problem (1) with Dirichlet boundary conditions. Then (1) can be reconstructed by the following formulas:
$$q_{1}(x)=\lim_{n\rightarrow\infty}n ( n\pi_{p} ) ^{\frac {p}{2}} \biggl( \ell_{j}^{(n)}-\frac{1}{n} \biggr) $$
and
$$\begin{aligned} &q_{0}(x)- \int_{0}^{1}q_{0}(x)\,dx\\ &\quad=\lim_{n\rightarrow\infty}pn ( n\pi_{p} ) ^{p} \biggl\{ \ell _{j}^{(n)}-\frac{1}{n}-\frac{1}{ ( n\pi_{p} ) ^{\frac{p}{2}}}\int_{x_{j}^{(n)}}^{x_{j+1}^{(n)}}q_{1}(x)\,dx\\ &\qquad{} -\frac{p}{ ( n\pi_{p} ) ^{\frac{p}{2}}} \int _{x_{j}^{(n)}}^{x_{j+1}^{(n)}}q_{1}(x) \biggl( \bigl\vert \sin_{p} ( n\pi_{p}x ) \bigr\vert ^{p}- \frac {1}{p} \biggr)\,dx\\ &\qquad{} +\frac{\pi_{p}}{ ( n\pi_{p} ) ^{\frac{p}{2}+2}}\int_{0}^{1}q_{1}^{\prime}(x) \sin_{p}(n\pi_{p}x)\bigl\vert \sin _{p}^{\prime} ( n\pi_{p}x ) \bigr\vert ^{p-2}\sin _{p}^{\prime } ( n\pi_{p}x )\,dx \biggr\} . \end{aligned}$$

The paper is organized as follows. The asymptotic expansions of eigenvalues and nodal points are given in Section 2 and the proofs of our main results are divided into Sections 3 and 4, respectively.

2 The asymptotic expansions of eigenvalues and nodal points

In this section, we will investigate the asymptotics of the eigenvalues and nodal points of the problem (1). We will show that the problem (1) has infinitely many eigenpairs \(( \kappa_{n},y(x,\kappa _{n}) ) \). In particular, \(\lim_{n\rightarrow\infty}\kappa_{n}=\infty\), \(\lim_{n\rightarrow-\infty}\kappa_{n}=-\infty\), and \(y(x,\kappa_{n})\) has \(\vert n\vert -1\) nodal points in \((0,1)\) for sufficiently large \(\vert n\vert \). Then, by a modified Prüfer substitution, we will derive the asymptotics of the eigenvalues and nodal points.

To achieve our goals, we first introduce the Prüfer transformation derived by generalized sine function \(\sin_{p}(x)\):
$$y(x)=r(x)\sin_{p}\bigl(\theta(x)\bigr),\qquad y^{\prime}(x)=r(x) \sin _{p}^{\prime}\bigl(\theta(x)\bigr). $$
Here, \(r(x)>0\) is called the Prüfer radius and \(\theta(x)\) is called the Prüfer angle. By directed calculation, we find
$$\begin{aligned}& \theta^{\prime}(x) = \bigl( \kappa^{2}-\kappa pq_{1}(x)-q_{0}(x) \bigr) \bigl\vert \sin_{p} \bigl(\theta(x)\bigr)\bigr\vert ^{p}+\bigl\vert \sin _{p}^{\prime}\bigl(\theta(x)\bigr)\bigr\vert ^{p}, \end{aligned}$$
(4)
$$\begin{aligned}& \frac{r^{\prime}(x)}{r(x)} = \bigl[ 1-\kappa^{2}+\kappa pq_{1}(x)+q_{0}(x) \bigr] \bigl\vert \sin_{p}\bigl(\theta(x)\bigr)\bigr\vert ^{p-2}\sin _{p}\bigl(\theta (x)\bigr)\sin_{p}^{\prime} \bigl(\theta(x)\bigr). \end{aligned}$$
(5)
Compared with the boundary conditions in (1), θ satisfies the conditions
$$\theta(0)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} m\pi_{p} & \mbox{if }\alpha=0, \\ m\pi_{p}-\alpha& \mbox{if }\alpha>0,\end{array}\displaystyle \right . \quad\mbox{for some }m\in \mathbb{Z} $$
and
$$\theta(1)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} n\pi_{p} & \mbox{if }\beta=0, \\ n\pi_{p}-\beta& \mbox{if }\beta>0,\end{array}\displaystyle \right . \quad\mbox{for some }n\in \mathbb{Z} . $$
Now, if \((\kappa,y)\) is an eigenpair of (1), then, by integration by parts, we have
$$\begin{aligned} (p-1)\kappa^{2}\Vert y\Vert _{p}^{p} =& \int _{0}^{1}(p-1)\kappa ^{2}|y|^{p-2}y \bar{y} \\ =& \int_{0}^{1} \bigl[ - \bigl( \bigl\vert y^{\prime}\bigr\vert ^{p-2}y^{\prime} \bigr) ^{\prime}+ \kappa(p-1)pq_{1}(x)\vert y\vert ^{p-2}y+(p-1)q_{0}(x) \vert y\vert ^{p-2}y \bigr] \bar{y} \\ =&\bigl\vert y^{\prime}(1)\bigr\vert ^{p-2} \bigl[ \bar{y}^{\prime }(1)y(1)-y^{\prime}(1)\bar{y}(1) \bigr] +\bigl\vert y^{\prime }(0)\bigr\vert ^{p-2} \bigl[ y^{\prime}(0) \bar{y}(0)-\bar{y}^{\prime }(0)y(0) \bigr] \\ &{}+ \int_{0}^{1}(p-1)\bar{\kappa}^{2}| \bar{y}|^{p-2}\bar{y}y+(p-1)p ( \kappa-\bar{\kappa} ) \int_{0}^{1}q_{1}(x)\vert y\vert ^{p} \\ =&(p-1)\bar{\kappa}^{2}\Vert y\Vert _{p}^{p}+(p-1)p ( \kappa -\bar{\kappa} ) \int_{0}^{1}q_{1}(x)\vert y\vert ^{p}. \end{aligned}$$
The last equality is because
$$\bar{y}^{\prime}(1)y(1)-y^{\prime}(1)\bar{y}(1)=y^{\prime}(0)\bar {y}(0)-\bar{y}^{\prime}(0)y(0)=0. $$
Hence, we have
$$\bigl( \kappa^{2}-\bar{\kappa}^{2} \bigr) \Vert y\Vert _{p}^{p}=p ( \kappa-\bar{\kappa} ) \int_{0}^{1}q_{1}(x)\vert y\vert ^{p}. $$
Note that for \(\kappa\in \mathbb{C} \backslash\mathbf{\mathbb{R} }\), above equation implies
$$p\min_{x\in[0,1]}q_{1}(x) \int_{0}^{1}\vert y\vert ^{p}\leq ( \kappa+\bar{\kappa} ) \Vert y\Vert _{p}^{p}=p \int_{0}^{1}q_{1}(x)\vert y\vert ^{p}\leq p\max_{x\in [0,1]}q_{1}(x) \int_{0}^{1}\vert y\vert ^{p}. $$
Hence, \(p\min q_{1}(x)\leq\kappa+\bar{\kappa}\leq p\max q_{1}(x)\) if \(\kappa\in \mathbb{C} \backslash\mathbf{\mathbb{R} }\). In the following, we only consider \(\kappa>\frac{p}{2}\max_{x\in [0,1]}q_{1}(x)\) or \(\kappa<\frac{p}{2}\min_{x\in[ 0,1]}q_{1}(x)\). This condition leads to that all eigenvalues are real. By the following lemma, we can show that (1) has a sequence of eigenvalues \(\{ \kappa_{n} \} _{|n|>N}\) for some sufficiently large \(N\in\mathbb{N}\) with \(\lim_{n\rightarrow \infty }\kappa_{n}=\infty\), \(\lim_{n\rightarrow-\infty}\kappa_{n}=-\infty \), and
$$\cdots< \kappa_{-n}< \cdots< \kappa_{-N-1}< \kappa_{-N}< 0< \kappa _{N}< \kappa_{N+1}< \cdots< \kappa_{n}< \cdots, $$
and the corresponding eigenfunction \(y_{n}(x)\equiv y(x,\kappa_{n})\) has \(\vert n\vert -1\) zeros \(\{ x_{i}^{(n)} \} \) in \((0,1)\) for \(\vert n\vert >N\), which satisfies
$$0< x_{1}^{(n)}< x_{2}^{(n)}< \cdots< x_{n-2}^{(n)}< x_{n-1}^{(n)}< 1 $$
or
$$0< x_{-1}^{(-n)}< x_{-2}^{(-n)}< \cdots< x_{-n+2}^{(-n)}< x_{-n+1}^{(-n)}< 1. $$
The argument of the proof of the following lemma is similar to [7, 24], so we omit the proof.

Lemma 2.1

Assume \(q_{0},q_{1}\in C[0,1]\). Then we have the following results.
  1. (a)

    The function \(\theta(\cdot,\kappa)\) satisfying \(\theta (0,\kappa)=\delta_{1}\in[0,\pi_{p})\) is continuous. For \(\kappa>\frac{p}{2}\max_{x\in[0,1]}q_{1}(x)\), we find \(\theta(\cdot ,\kappa ) \) is strictly increasing in κ. Moreover, for every fixed \(\kappa \in \mathbb{R} \), if \(\theta(x_{i},\kappa)=i\pi_{p}\) for \(i\in \mathbb{N} \), then \(\theta(x,\kappa)>i\pi_{p}\) for all \(x>x_{i}\).

     
  2. (b)

    The function \(\theta(\cdot,\kappa)\) satisfying \(\theta (1,\kappa)=\delta_{2}\in(-\pi_{p},0]\) is continuous. For \(\kappa <\frac{p}{2}\min_{x\in[0,1]}q_{1}(x)\), we find \(\theta(\cdot,\kappa ) \) is strictly increasing in κ. Moreover, for every fixed \(\kappa\in \mathbb{R} \), if \(\theta(x_{i},\kappa)=i\pi_{p}\) for \(-i\in \mathbb{N} \), then \(\theta(x,\kappa)< i\pi_{p}\) for all \(x< x_{i}\).

     
  3. (c)

    For any \(a\in(0,1]\), \(\lim_{\kappa\rightarrow\infty }\theta (a,\kappa)=\infty\) and \(\lim_{\kappa\rightarrow-\infty}\theta (a,\kappa )=-\infty\).

     
Nest, we will use a modified Prüfer substitution to derive the asymptotic expansion of eigenvalues and nodal points:
$$ y(x)=R(x)\sin_{p} \bigl( \vert \kappa \vert ^{\frac{2}{p}} \vartheta(x,\kappa) \bigr) \quad\mbox{and}\quad y^{\prime}(x)=\vert \kappa \vert ^{\frac {2}{p}}R(x)\sin _{p}^{\prime} \bigl( \vert \kappa \vert ^{\frac {2}{p}}\vartheta (x,\kappa) \bigr) . $$
(6)
By direct computation, we find
$$\begin{aligned} \vartheta^{\prime}(x,\kappa) =&\frac{\kappa^{2}-\kappa pq_{1}(x)-q_{0}(x)}{\vert \kappa \vert ^{2}}\bigl\vert \sin _{p} \bigl( \vert \kappa \vert ^{\frac{2}{p}}\vartheta (x,\kappa ) \bigr) \bigr\vert ^{p}+\bigl\vert \sin_{p}^{\prime} \bigl( \vert \kappa \vert ^{\frac{2}{p}}\vartheta(x,\kappa) \bigr) \bigr\vert ^{p} \\ =&1-\frac{\kappa pq_{1}(x)+q_{0}(x)}{\kappa^{2}} \bigl\vert \sin _{p} \bigl( \vert \kappa \vert ^{\frac{2}{p}}\vartheta(x,\kappa) \bigr) \bigr\vert ^{p} . \end{aligned}$$
(7)
The following lemma can be referred to [25], so we omit the proof.

Lemma 2.2

([25], p.1314)

Define \(\cot_{p} ( x ) \equiv \sin_{p}^{\prime}(x)/\sin_{p}(x)\). Then we have
  1. (a)
    \(\cot_{p}\) is a decreasing function on \(( ( n-1 ) \pi_{p},n\pi_{p} ) \) for all \(n\in\mathbb{Z}\) satisfying \(\cot_{p} ( ( n-1/2 ) \pi_{p} ) =0\) and
    $$\lim_{x\rightarrow ( ( n-1 ) \pi_{p} ) ^{+}}\cot _{p}(x)=\infty, \qquad\lim _{x\rightarrow ( n\pi_{p} ) ^{-}}\cot_{p}(x)=-\infty. $$
     
  2. (b)
    Denote the inverse of \(\cot_{p}\) by \(\cot_{p}^{-1}:\mathbb{R} \rightarrow(0,\pi_{p})\). Then the expansion of \(\cot_{p}^{-1}\) at \(x=0\) satisfies
    $$\cot_{p}^{-1}(x)=\frac{\pi_{p}}{2}-\frac{1}{p-1} \vert x\vert ^{p-2}x+\frac{1}{2p-1}\vert x\vert ^{2p-2}x+O \bigl( x^{3p-1} \bigr) . $$
     
By the boundary conditions in (1), the modified Prüfer substitution (6) and Lemma 2.2, we find that, for sufficiently large \(n\in \mathbb{N} \),
  1. (i)
    for \(\alpha=0\), \(\vartheta(0,\kappa_{n})=0\), and \(\vartheta (0,\kappa_{-n})=-n\pi_{p}/\vert \kappa_{-n}\vert ^{\frac {2}{p}}\); for \(\alpha\neq0\),
    $$\begin{aligned}& \vartheta(0,\kappa_{n}) =\frac{\pi_{p}}{2\vert \kappa_{n}\vert ^{\frac{2}{p}}}+\frac{1}{ ( p-1 ) \kappa_{n}^{2}}\bigl\vert \cot _{p}(\alpha )\bigr\vert ^{p-2}\cot_{p}( \alpha)+O \biggl( \frac{1}{\kappa _{n}^{4}} \biggr), \end{aligned}$$
    (8)
    $$\begin{aligned}& \vartheta(0,\kappa_{-n}) =\frac{- ( n-\frac{1}{2} ) \pi _{p}}{\vert \kappa_{-n}\vert ^{\frac{2}{p}}}+\frac{1}{ ( p-1 ) \kappa_{-n}^{2}} \bigl\vert \cot_{p}(\alpha)\bigr\vert ^{p-2}\cot _{p}(\alpha )+O \biggl( \frac{1}{\kappa_{-n}^{4}} \biggr); \end{aligned}$$
    (9)
     
  2. (ii)
    for \(\beta=0\), \(\vartheta(1,\kappa_{n})=n\pi_{p}/\vert \kappa_{n}\vert ^{\frac{2}{p}}\), and \(\vartheta(1,\kappa _{-n})=0\); for \(\beta \neq0\),
    $$\begin{aligned}& \vartheta(1,\kappa_{n}) =\frac{ ( n-\frac{1}{2} ) \pi_{p}}{ \vert \kappa_{n}\vert ^{\frac{2}{p}}}+\frac{1}{ ( p-1 ) \kappa_{n}^{2}}\bigl\vert \cot_{p}(\beta)\bigr\vert ^{p-2}\cot _{p}( \beta )+O \biggl( \frac{1}{\kappa_{n}^{4}} \biggr), \end{aligned}$$
    (10)
    $$\begin{aligned}& \vartheta(1,\kappa_{-n}) =-\frac{\pi_{p}}{2\vert \kappa _{-n}\vert ^{\frac{2}{p}}}+\frac{1}{ ( p-1 ) \kappa_{-n}^{2}} \bigl\vert \cot _{p}(\beta)\bigr\vert ^{p-2} \cot_{p}(\beta)+O \biggl( \frac{1}{\kappa _{-n}^{4}} \biggr). \end{aligned}$$
    (11)
     
Furthermore, the nodal points \(\{ x_{i}^{(n)} \} \) of the eigenfunction \(y_{n}(x)\equiv y(x,\kappa_{n})\) satisfy
$$\vartheta \bigl( x_{i}^{(n)},\kappa_{n} \bigr) = \left \{ \textstyle\begin{array}{@{}l@{\quad}l} i\pi_{p}/\vert \kappa_{n}\vert ^{\frac{2}{p}} & \mbox{for }i=1,2,\ldots,n-1;n>0, \\ ( n-i ) \pi_{p}/\vert \kappa_{n}\vert ^{\frac {2}{p}} &\mbox{for }i=-1,-2,\ldots,n+1;n< 0.\end{array}\displaystyle \right . $$
By integrating (7) from 0 to 1 with respect to x, we find
$$\begin{aligned} \vartheta(1,\kappa_{\pm n})-\vartheta(0,\kappa_{\pm n}) &= \int_{0}^{1}\vartheta^{\prime}(x, \kappa_{\pm n})\,dx \\ &= 1- \int_{0}^{1}\frac{\kappa_{\pm n}pq_{1}(x)+q_{0}(x)}{\kappa_{\pm n}^{2}}\bigl\vert \sin _{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}}\vartheta (x,\kappa _{\pm n}) \bigr) \bigr\vert ^{p}\,dx. \end{aligned}$$
(12)
On the other hand, by (8)-(11), we have
$$ \vartheta(1,\kappa_{\pm n})-\vartheta(0,\kappa_{\pm n})=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{n\pi_{p}}{\vert \kappa_{\pm n}\vert ^{\frac{2}{p}}} & \mbox{for }\alpha=0,\beta=0; \\ \frac{ ( n-\frac{1}{2} ) \pi_{p}}{\vert \kappa_{\pm n}\vert ^{\frac{2}{p}}}+\frac{B}{ ( p-1 ) \kappa_{\pm n}^{2}}+O ( \frac{1}{\kappa_{\pm n}^{4}} ) & \mbox{for }\alpha=0,\beta\neq0; \\ \frac{ ( n-\frac{1}{2} ) \pi_{p}}{\vert \kappa_{\pm n}\vert ^{\frac{2}{p}}}-\frac{A}{ ( p-1 ) \kappa_{\pm n}^{2}}+O ( \frac{1}{\kappa_{\pm n}^{4}} ) & \mbox{for }\alpha\neq0,\beta=0; \\ \frac{ ( n-1 ) \pi_{p}}{\vert \kappa_{\pm n}\vert ^{\frac{2}{p}}}+\frac{B-A}{ ( p-1 ) \kappa_{\pm n}^{2}}+O ( \frac {1}{\kappa_{\pm n}^{4}} ) & \mbox{for }\alpha\neq0,\beta\neq0;\end{array}\displaystyle \right . $$
(13)
where \(A\equiv \vert \cot_{p}(\alpha)\vert ^{p-2}\cot _{p}(\alpha)\) and \(B\equiv \vert \cot_{p}(\beta)\vert ^{p-2}\cot_{p}(\beta)\). Hence, by (12) and (13), we find that
$$\begin{aligned} \vert \kappa_{\pm n}\vert ^{\frac{2}{p}}=n_{\alpha\beta } \pi_{p}+\frac{\operatorname{scot}_{p}(\beta)-\operatorname{scot}_{p}(\alpha)}{ ( p-1 ) \vert \kappa_{\pm n}\vert ^{2-\frac{2}{p}}}\pm\frac{p}{\vert \kappa_{\pm n}\vert ^{1-\frac {2}{p}}}Q_{1}+\frac{1}{\vert \kappa_{\pm n}\vert ^{2-\frac {2}{p}}}Q_{0}+O \biggl( \frac{1}{\vert \kappa_{\pm n} \vert ^{4-\frac{2}{p}}} \biggr), \end{aligned}$$
(14)
where \(\operatorname{scot}_{p} ( x ) \) is defined as (2) while \(n_{\alpha\beta}\) is defined as (3), and
$$\begin{aligned}& Q_{1}\equiv Q_{1}(\kappa_{\pm n})= \int_{0}^{1}q_{1}(x)\bigl\vert \sin _{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}} \vartheta (x,\kappa _{\pm n}) \bigr) \bigr\vert ^{p}x,\\& Q_{0}\equiv Q_{0}(\kappa_{\pm n})= \int_{0}^{1}q_{0}(x)\bigl\vert \sin_{p} \bigl( \vert \kappa _{\pm n}\vert ^{\frac{2}{p}} \vartheta(x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p}\,dx. \end{aligned}$$
Finally, for \(n\in \mathbb{N} \) and \(i=\pm1,\pm2,\ldots,\pm(n-1)\), we may integrate (7) from 0 to \(x_{i}^{(n)}\) with respect to x to obtain the asymptotic expansion of the nodal points. For \(\alpha=0\), we have
$$\begin{aligned} x_{i}^{(\pm n)} =&\frac{\vert i\vert \pi_{p}}{\vert \kappa_{\pm n}\vert ^{\frac{2}{p}}}+\frac{p}{\kappa_{\pm n}} \int _{0}^{x_{i}^{(\pm n)}}q_{1}(x)\bigl\vert \sin_{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}} \vartheta(x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p}\,dx \\ &{} +\frac{1}{\kappa_{\pm n}^{2}} \int_{0}^{x_{i}^{(\pm n)}}q_{0}(x)\bigl\vert \sin _{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}} \vartheta (x,\kappa _{\pm n}) \bigr) \bigr\vert ^{p}\,dx \end{aligned}$$
and, for \(\alpha\neq0\),
$$\begin{aligned} x_{i}^{(\pm n)} =&\frac{ ( \vert i\vert -\frac {1}{2} ) \pi_{p}}{\vert \kappa_{\pm n}\vert ^{\frac{2}{p}}}-\frac {A}{ ( p-1 ) \kappa_{\pm n}^{2}}+ \frac{p}{\kappa_{\pm n}} \int _{0}^{x_{i}^{(\pm n)}}q_{1}(x)\bigl\vert \sin_{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}} \vartheta(x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p}\,dx \\ &{} +\frac{1}{\kappa_{\pm n}^{2}} \int_{0}^{x_{i}^{(\pm n)}}q_{0}(x)\bigl\vert \sin_{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac {2}{p}} \vartheta (x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p}\,dx+O \biggl( \frac{1}{\kappa _{\pm n}^{4}} \biggr) . \end{aligned}$$
Similarly, by integrating from \(x_{n-i}^{(n)}\) to 1 with respect to x, we find that, for \(\beta=0\),
$$\begin{aligned} 1-x_{\pm n-i}^{(\pm n)} =&\frac{\vert i\vert \pi_{p}}{\vert \kappa_{\pm n}\vert ^{\frac{2}{p}}}+\frac{p}{\kappa_{\pm n}} \int _{x_{\pm n-i}^{(\pm n)}}^{1}q_{1}(x)\bigl\vert \sin_{p} \bigl( \vert \kappa _{\pm n}\vert ^{\frac{2}{p}} \vartheta(x,\kappa_{n}) \bigr) \bigr\vert ^{p}\,dx \\ &{} +\frac{1}{\kappa_{\pm n}^{2}} \int_{x_{\pm n-i}^{(\pm n)}}^{1}q_{0}(x)\bigl\vert \sin_{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}} \vartheta(x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p}\,dx \end{aligned}$$
and, for \(\beta\neq0\),
$$\begin{aligned} 1-x_{\pm n-i}^{(\pm n)} =&\frac{ ( \vert i\vert -\frac {1}{2} ) \pi_{p}}{\vert \kappa_{\pm n}\vert ^{\frac {2}{p}}}+\frac{B}{ ( p-1 ) \kappa_{\pm n}^{2}}+ \frac{p}{\kappa_{\pm n}} \int _{x_{\pm n-i}^{(\pm n)}}^{1}q_{1}(x)\bigl\vert \sin_{p} \bigl( \vert \kappa _{\pm n}\vert ^{\frac{2}{p}} \vartheta(x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p}\,dx \\ &{} +\frac{1}{\kappa_{\pm n}^{2}} \int_{x_{n-i}^{(\pm n)}}^{1}q_{0}(x)\bigl\vert \sin_{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}} \vartheta(x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p}\,dx+O \biggl( \frac{1}{\kappa_{\pm n}^{4}} \biggr) . \end{aligned}$$
In particular, we find that the nodal length \(\ell_{i}^{(n)}\equiv x_{i+1}^{(n)}-x_{i}^{(n)}\) satisfies, for \(n\in \mathbb{N} \) and \(i=\pm1,\pm2,\ldots,\pm(n-1)\),
$$\begin{aligned} \ell_{i}^{(\pm n)} =&\pm\frac{\pi_{p}}{\vert \kappa_{\pm n}\vert ^{\frac{2}{p}}}+\frac{p}{\kappa_{\pm n}} \int_{x_{i}^{(\pm n)}}^{x_{i+1}^{(\pm n)}}q_{1}(x)\bigl\vert \sin_{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}} \vartheta(x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p}\,dx \\ &{}+\frac{1}{\kappa_{\pm n}^{2}} \int_{x_{i}^{(\pm n)}}^{x_{i+1}^{(\pm n)}}q_{0}(x)\bigl\vert \sin_{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}} \vartheta(x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p}\,dx+O \biggl( \frac{1}{\kappa_{\pm n}^{4}} \biggr). \end{aligned}$$

The next lemma is used to estimate order of the asymptotic expansion of nodal points.

Lemma 2.3

For \(p>1\), we have

1.
$$\begin{aligned}& Q_{1} = \int_{0}^{1}q_{1}(x)\bigl\vert \sin_{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}} \vartheta(x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p}\,dx=O \biggl( \frac{1}{n_{\alpha\beta}} \biggr) +o \biggl( \frac{1}{n_{\alpha\beta}^{\frac{p}{2}}} \biggr) ,\\& \begin{aligned}[b] Q_{0} &= \int_{0}^{1}q_{0}(x)\bigl\vert \sin_{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}} \vartheta(x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p}\,dx\\ &= \frac{1}{p} \int_{0}^{1}q_{0}(x)\,dx+O \biggl( \frac{1}{n_{\alpha \beta}} \biggr) +o \biggl( \frac{1}{n_{\alpha\beta}^{\frac{p}{2}}} \biggr) . \end{aligned} \end{aligned}$$
2. For \(j=0,1\),
$$\int_{x_{i}^{(n)}}^{x_{i+1}^{(n)}}q_{j}(x) \biggl[ \bigl\vert \sin _{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}}\vartheta(x,\kappa _{\pm n}) \bigr) \bigr\vert ^{p}-\frac{1}{p} \biggr]\,dx=O \biggl( \frac {1}{n_{\alpha \beta}^{2}} \biggr) +o \biggl( \frac{1}{n_{\alpha\beta}^{\frac{p}{2}+1}} \biggr) . $$

Proof

1. First, we recall the identities
$$ \bigl( \sin_{p}(x)\bigl\vert \sin_{p}^{\prime} ( x ) \bigr\vert ^{p-2}\sin_{p}^{\prime} ( x ) \bigr) ^{\prime}=1-p\bigl\vert \sin_{p} ( x ) \bigr\vert ^{p} $$
(15)
and
$$ \bigl\vert \sin_{p} ( x ) \bigr\vert ^{p}+\bigl\vert \sin _{p}^{\prime} ( x ) \bigr\vert ^{p}=1. $$
(16)
Then by (7), (15)-(16), and the general Riemann-Lebesgue lemma [25], Lemma 3.1, we find that
$$\begin{aligned} Q_{1} ={}& \int_{0}^{1}q_{1}(x)\bigl\vert \sin_{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}} \vartheta(x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p}\,dx \\ ={}&\frac{1}{p} \int_{0}^{1}q_{1}(x)\,dx+ \int_{0}^{1}q_{1}(x) \biggl[ \bigl\vert \sin_{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac {2}{p}} \vartheta (x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p}- \frac{1}{p} \biggr]\,dx \\ ={}& \int_{0}^{1}q_{1}(x) \biggl[ \bigl\vert \sin_{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}} \vartheta(x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p}- \frac{1}{p} \biggr] \\ &{} \times \biggl[ \vartheta^{\prime}(x,\kappa_{\pm n})+ \frac{\kappa_{\pm n}pq_{1}(x)+q_{0}(x)}{\kappa_{\pm n}^{2}}\bigl\vert \sin _{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}}\vartheta (x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p} \biggr]\,dx \\ ={}&\frac{1}{\vert \kappa_{\pm n}\vert ^{\frac{2}{p}}}\int_{0}^{1}q_{1}(x) \biggl[ \bigl\vert \sin_{p} \bigl( \vert \kappa _{\pm n}\vert ^{\frac{2}{p}} \vartheta(x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p}- \frac{1}{p} \biggr] \vert \kappa_{\pm n}\vert ^{\frac {2}{p}} \vartheta^{\prime}(x,\kappa_{\pm n})\,dx+o \biggl( \frac{1}{\vert \kappa_{\pm n}\vert } \biggr) \\ ={}& \biggl[ -\frac{q_{1}(x)}{p\vert \kappa_{\pm n}\vert ^{\frac {2}{p}}}\sin_{p}\bigl(\vert \kappa_{\pm n}\vert ^{\frac{2}{p}}\vartheta (x,\kappa_{\pm n}) \bigr)\bigl\vert \sin_{p}^{\prime} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}}\vartheta(x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p-2}\\ &{}\times\sin_{p}^{\prime} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}}\vartheta(x,\kappa_{\pm n}) \bigr) \biggr] _{0}^{1} \\ &{} + \int_{0}^{1}\frac{q_{1}^{\prime}(x)}{p\vert \kappa_{\pm n}\vert ^{\frac{2}{p}}}\sin_{p} \bigl(\vert \kappa_{\pm n}\vert ^{\frac{2}{p}}\vartheta(x, \kappa_{\pm n})\bigr)\bigl\vert \sin_{p}^{\prime } \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}}\vartheta (x,\kappa _{\pm n}) \bigr) \bigr\vert ^{p-2}\\ &{}\times\sin_{p}^{\prime} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}}\vartheta(x, \kappa_{\pm n}) \bigr)\,dx +o \biggl( \frac{1}{\vert \kappa_{\pm n}\vert } \biggr) \\ ={}&O \biggl( \frac{1}{\vert \kappa_{\pm n}\vert ^{\frac {2}{p}}} \biggr) +o \biggl( \frac{1}{\vert \kappa_{\pm n}\vert } \biggr) \\ ={}&O \biggl( \frac{1}{n_{\alpha\beta}} \biggr) +o \biggl( \frac {1}{n_{\alpha \beta}^{\frac{p}{2}}} \biggr) . \end{aligned}$$
Similarly,
$$\begin{aligned} Q_{0} =& \int_{0}^{1}q_{0}(x)\bigl\vert \sin_{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}} \vartheta(x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p}\,dx \\ =&\frac{1}{p} \int_{0}^{1}q_{0}(x)\,dx+ \int_{0}^{1}q_{0}(x) \biggl[ \bigl\vert \sin_{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac {2}{p}} \vartheta (x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p}- \frac{1}{p} \biggr]\,dx \\ =&\frac{1}{p} \int_{0}^{1}q_{0}(x)\,dx+O \biggl( \frac{1}{n_{\alpha\beta}} \biggr) +o \biggl( \frac{1}{n_{\alpha\beta}^{\frac{p}{2}}} \biggr) . \end{aligned}$$
2. Since \(\sin_{p} ( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}}\vartheta(x_{i+1}^{(n)},\kappa_{\pm n}) ) =0\), we find that, by a similar argument to part 1,
$$\begin{aligned} & \int_{x_{i}^{(n)}}^{x_{i+1}^{(n)}}q_{j}(x) \biggl[ \bigl\vert \sin _{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}}\vartheta (x,\kappa _{\pm n}) \bigr) \bigr\vert ^{p}-\frac{1}{p} \biggr]\,dx \\ &\quad= \int_{x_{i}^{(n)}}^{x_{i+1}^{(n)}}q_{j}(x) \biggl[ \bigl\vert \sin _{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}}\vartheta (x,\kappa _{\pm n}) \bigr) \bigr\vert ^{p}-\frac{1}{p} \biggr] \\ &\qquad{} \times \biggl[ \vartheta ^{\prime}(x,\kappa_{\pm n})+ \frac{\kappa_{\pm n}pq_{1}(x)+q_{0}(x)}{\kappa_{\pm n}^{2}}\bigl\vert \sin_{p} \bigl( \vert \kappa_{\pm n}\vert ^{\frac{2}{p}}\vartheta(x,\kappa_{\pm n}) \bigr) \bigr\vert ^{p} \biggr]\,dx \\ &\quad=\frac{1}{\vert \kappa_{\pm n}\vert ^{\frac{2}{p}}} O \bigl( \ell _{i}^{(n)} \bigr) + \frac{1}{\kappa_{\pm n}}o \bigl( \ell _{i}^{(n)} \bigr) =O \biggl( \frac{1}{n_{\alpha\beta}^{2}} \biggr) +o \biggl( \frac{1}{n_{\alpha\beta}^{\frac{p}{2}+1}} \biggr) , \quad\mbox{for }j=0,1. \end{aligned}$$
 □

By Lemma 2.3, we can reformulate the asymptotic expansion of nodal points whose leading term does not depend on \(\kappa_{n}\).

Theorem 2.4

The nodal point satisfies one of the following formulas.

1. For \(\alpha=0\),
$$\begin{aligned} x_{i}^{(n)} ={}&\frac{i}{n_{\alpha\beta}}\mp\frac{ip\pi_{p}}{ ( n_{\alpha\beta}\pi_{p} ) ^{\frac{p}{2}+1}}Q_{1}-\frac{i\pi _{p}}{ ( n_{\alpha\beta}\pi_{p} ) ^{p+1}} \biggl( \frac{\operatorname{scot}_{p}(\beta)}{ ( p-1 ) }+Q_{0} \biggr) \\ &{}+\frac{1}{ ( n_{\alpha\beta }\pi_{p} ) ^{\frac{p}{2}}} \biggl[ \int_{0}^{x_{i}^{(n)}}q_{1}(x)\,dx +p \int_{0}^{x_{i}^{(n)}}q_{1}(x) \biggl( \bigl\vert \sin_{p} \bigl( \kappa _{n}^{\frac{2}{p}}\vartheta(x, \kappa_{n}) \bigr) \bigr\vert ^{p}-\frac {1}{p} \biggr)\,dx \biggr] \\ &{}+ \int_{0}^{x_{i}^{(n)}}q_{1}(x)\,dx \biggl[ - \frac{p}{2 ( p-1 ) ( n_{\alpha\beta}\pi_{p} ) ^{\frac{3}{2}p}} \bigl( \operatorname{scot}_{p}( \beta)+ ( p-1 ) Q_{0} \bigr) \mp\frac{p^{2}}{2 ( n_{\alpha\beta}\pi_{p} ) ^{p}}Q_{1} \biggr]\\ &{} +\frac{1}{p ( n_{\alpha\beta}\pi_{p} ) ^{p}}\int_{0}^{x_{i}^{(n)}}q_{0}(x)\,dx+ \frac{1}{ ( n_{\alpha\beta}\pi _{p} ) ^{p}} \int_{0}^{x_{i}^{(n)}}q_{0}(x) \biggl( \bigl\vert \sin _{p} \bigl( \kappa_{n}^{\frac{2}{p}} \vartheta(x,\kappa_{n}) \bigr) \bigr\vert ^{p}- \frac{1}{p} \biggr)\,dx\\ &{} +O \biggl( \frac{1}{n_{\alpha\beta}^{2p}}+\frac{1}{n_{\alpha\beta }^{p+2}} \biggr) . \end{aligned}$$
2. For \(\alpha\neq0\),
$$\begin{aligned} x_{i}^{(n)} ={}&\frac{i-\frac{1}{2}}{n_{\alpha\beta}}\mp\frac{p ( i-\frac{1}{2} ) \pi_{p}}{ ( n_{\alpha\beta}\pi_{p} ) ^{\frac{p}{2}+1}}Q_{1}-\frac{ ( i-\frac{1}{2} ) \pi_{p}}{ ( n_{\alpha \beta}\pi_{p} ) ^{p+1}} \biggl( \frac{\operatorname{scot}_{p}(\beta)-A}{ ( p-1 ) }+Q_{0} \biggr) -\frac{A}{ ( p-1 ) ( n_{\alpha\beta}\pi_{p} ) ^{p}} \\ &{}+ \frac{1}{ ( n_{\alpha\beta }\pi_{p} ) ^{\frac{p}{2}}} \biggl[ \int_{0}^{x_{i}^{(n)}}q_{1}(x)\,dx+p \int_{0}^{x_{i}^{(n)}}q_{1}(x) \biggl( \bigl\vert \sin_{p} \bigl( \kappa _{n}^{\frac{2}{p}}\vartheta(x, \kappa_{n}) \bigr) \bigr\vert ^{p}-\frac {1}{p} \biggr)\,dx \biggr] \\ &{}+ \int_{0}^{x_{i}^{(n)}}q_{1}(x)\,dx \biggl[ - \frac{p}{2 ( p-1 ) ( n_{\alpha\beta}\pi_{p} ) ^{\frac{3}{2}p}} \bigl( \operatorname{scot}_{p}( \beta)-A+ ( p-1 ) Q_{0} \bigr) \\ &{}\mp\frac{p^{2}}{2 ( n_{\alpha\beta}\pi_{p} ) ^{p}}Q_{1} \biggr] +\frac{1}{p ( n_{\alpha\beta}\pi_{p} ) ^{p}}\int_{0}^{x_{i}^{(n)}}q_{0}(x)\,dx\\ &{}+ \frac{1}{ ( n_{\alpha\beta}\pi _{p} ) ^{p}} \int_{0}^{x_{i}^{(n)}}q_{0}(x) \biggl( \bigl\vert \sin _{p} \bigl( \kappa_{n}^{\frac{2}{p}} \vartheta(x,\kappa_{n}) \bigr) \bigr\vert ^{p}- \frac{1}{p} \biggr)\,dx +O \biggl( \frac{1}{n_{\alpha\beta}^{2p}}+\frac{1}{n_{\alpha\beta }^{p+2}} \biggr) . \end{aligned}$$

3 Reconstruction formulas for \(1< p<2\)

In this section, we will derive the reconstruction formula for α, β, \(q_{1}\), and \(q_{0}\). Here, we only consider the case for \(\alpha\neq 0\) on the nodal set \(\{ x_{i}^{(n)} \} _{n>0}\). The other cases are similar, so we omit them. Note that Lemma 2.3 implies that
$$Q_{1}=o \biggl( \frac{1}{n_{\alpha\beta}^{\frac{p}{2}}} \biggr) \quad\mbox{and} \quad Q_{0}=\frac{1}{p} \int_{0}^{1}q_{0}(x)\,dx+o \biggl( \frac{1}{n_{\alpha \beta }^{\frac{p}{2}}} \biggr) . $$
Hence, for \(\alpha\neq0\), the nodal point satisfies
$$\begin{aligned} x_{i}^{(n)} =&\frac{i-\frac{1}{2}}{n_{\alpha\beta}}-\frac{ ( i-\frac{1}{2} ) \pi_{p}}{ ( n_{\alpha\beta}\pi_{p} ) ^{p+1}} \biggl( \frac{\operatorname{scot}_{p}(\beta)-A}{ ( p-1 ) }+\frac{1}{p} \int _{0}^{1}q_{0}(x)\,dx \biggr) - \frac{A}{ ( p-1 ) ( n_{\alpha\beta}\pi_{p} ) ^{p}} \\ &{}+\frac{1}{ ( n_{\alpha\beta}\pi_{p} ) ^{\frac{p}{2}}}\int_{0}^{x_{i}^{(n)}}q_{1}(x)\,dx+\frac{1}{p ( n_{\alpha\beta}\pi _{p} ) ^{p}} \int_{0}^{x_{i}^{(n)}}q_{0}(x)\,dx+o \biggl( \frac {1}{n_{\alpha \beta}^{p}} \biggr) . \end{aligned}$$
Let i be fixed. Then for \(\alpha\neq0\), α satisfies \(A=\vert \cot_{p}(\alpha)\vert ^{p-2}\cot_{p}(\alpha)\) where
$$A=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} -\lim_{x_{i}^{(n)}\rightarrow0} ( p-1 ) ( ( n-\frac {1}{2} ) \pi_{p} ) ^{p} ( x_{i}^{(n)}-\frac{i-\frac {1}{2}}{n-\frac{1}{2}} ) & \mbox{if the limit exists}, \\ -\lim_{x_{i}^{(n)}\rightarrow0} ( p-1 ) ( ( n-1 ) \pi_{p} ) ^{p} ( x_{i}^{(n)}-\frac{i-\frac{1}{2}}{n-1} ) & \mbox{if the limit exists}.\end{array}\displaystyle \right . $$
Similarly, for \(x_{n-i}^{(n)}\rightarrow1\), we have \(\frac {i}{n}\rightarrow 0\) and hence
$$\begin{aligned} 1-x_{n-i}^{(n)} ={}&\frac{i-\frac{1}{2}}{n_{\alpha\beta}}+\frac{\operatorname{scot}_{p}(\beta)}{ ( p-1 ) ( n_{\alpha\beta}\pi_{p} ) ^{p}}\\&{}+\frac{p}{ ( n_{\alpha\beta}\pi_{p} ) ^{\frac{p}{2}}}\int_{x_{n-i}^{(n)}}^{1}q_{1}(x)\bigl\vert \sin_{p} \bigl( \kappa_{n}^{ \frac{2}{p}}\vartheta(x, \kappa_{n}) \bigr) \bigr\vert ^{p}\,dx+o \biggl( \frac{1}{n_{\alpha\beta}^{p}} \biggr) , \end{aligned}$$
then, for fixed i and \(\beta\neq0\), β satisfies \(B=\vert \cot_{p}(\beta)\vert ^{p-2}\cot_{p}(\beta)\) where
$$B=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \lim_{x_{n-i}^{(n)}\rightarrow1} ( p-1 ) ( ( n-\frac {1}{2} ) \pi_{p} ) ^{p} ( 1-x_{n-i}^{(n)}-\frac{i-\frac {1}{2}}{n-\frac{1}{2}} ) & \mbox{if the limit exists}, \\ \lim_{x_{n-i}^{(n)}\rightarrow1} ( p-1 ) ( ( n-1 ) \pi_{p} ) ^{p} ( 1-x_{n-i}^{(n)}-\frac{i-\frac {1}{2}}{n-1} ) & \mbox{if the limit exists}.\end{array}\displaystyle \right . $$
It should be mentioned that, once the values α, β are determined, the value \(n_{\alpha\beta}\) can be defined by (3).
Next, to reconstruct the functions \(q_{1}\) and \(q_{0}\), we first derive the nodal length, which satisfies the following estimate:
$$\begin{aligned} \ell_{i}^{(n)} =&\frac{1}{n_{\alpha\beta}}-\frac{\pi_{p}}{ ( n_{\alpha\beta}\pi_{p} ) ^{p+1}} \biggl( \frac{\operatorname{scot}_{p}(\beta)-\operatorname{scot}_{p}(\alpha)}{ ( p-1 ) }+\frac{1}{p} \int _{0}^{1}q_{0}(x)\,dx \biggr)\\ &{} + \frac{1}{ ( n_{\alpha\beta}\pi_{p} ) ^{\frac{p}{2}}}\int_{x_{i}^{(n)}}^{x_{i+1}^{(n)}}q_{1}(x)\,dx + \frac{1}{p ( n_{\alpha\beta}\pi_{p} ) ^{p}}\int_{x_{i}^{(n)}}^{x_{i+1}^{(n)}}q_{0}(x)\,dx+o \biggl( \frac{1}{n_{\alpha \beta }^{p+1}} \biggr) . \end{aligned}$$
Then
$$n_{\alpha\beta} ( n_{\alpha\beta}\pi_{p} ) ^{\frac{p}{2}} \biggl( \ell_{i}^{(n)}-\frac{1}{n_{\alpha\beta}} \biggr) =n_{\alpha \beta } \int_{x_{i}^{(n)}}^{x_{i+1}^{(n)}}q_{1}(x)\,dx+o ( 1 ). $$
Because the sequence of intervals \(\{ [x_{j}^{(n)},x_{j+1}^{(n)}):n \mbox{ is sufficiently large}\}\) shrinks to x nicely (cf. Rudin [26], p.140), we conclude that \(n_{\alpha\beta }\int_{x_{j}^{(n)}}^{x_{j+1}^{(n)}}q_{1}(t)\,dt\rightarrow q_{1}(x)\) a.e. \(x\in ( 0,1 ) \). In particular, applying the Lebesgue dominated convergence theorem, \(n_{\alpha\beta }\int_{x_{j}^{(n)}}^{x_{j+1}^{(n)}}q_{1}(t)\,dt\rightarrow q_{1}(x)\) in \(L^{1}(0,1)\). Hence
$$q_{1}(x)=\lim_{n\rightarrow\infty}n_{\alpha\beta} ( n_{\alpha \beta }\pi_{p} ) ^{\frac{p}{2}} \biggl( \ell_{j}^{(n)}- \frac{1}{n_{\alpha \beta}} \biggr) . $$
Note that the function \(q_{1}\) also can be reconstructed from the nodal point by the following procedure:
$$\begin{aligned} &( n_{\alpha\beta}\pi_{p} ) ^{\frac{p}{2}} \biggl( x_{i}^{(n)}-\frac{i-\frac{1}{2}}{n_{\alpha\beta}} \biggr) \\ &\quad=-\frac{1}{ ( n_{\alpha \beta}\pi_{p} ) ^{\frac{p}{2}}}\frac{i-\frac{1}{2}}{n_{\alpha \beta}} \biggl( \frac{\operatorname{scot}_{p}(\beta)-\operatorname{scot}_{p}(\alpha)}{ ( p-1 ) }+\frac{1}{p} \int _{0}^{1}q_{0}(x)\,dx \biggr) -\frac{A}{ ( p-1 ) ( n_{\alpha\beta}\pi_{p} ) ^{\frac{p}{2}}} \\ &\qquad{}+ \int_{0}^{x_{i}^{(n)}}q_{1}(x)\,dx+ \frac{1}{p ( n_{\alpha\beta }\pi _{p} ) ^{\frac{p}{2}}} \int_{0}^{x_{i}^{(n)}}q_{0}(x)\,dx+o \biggl( \frac{1}{n_{\alpha\beta}^{\frac{p}{2}}} \biggr) . \end{aligned}$$
Define
$$f(x)\equiv\lim_{x_{i}^{(n)}\rightarrow x} ( n_{\alpha\beta}\pi _{p} ) ^{\frac{p}{2}} \biggl( x_{i}^{(n)}-\frac{i-\frac {1}{2}}{n_{\alpha \beta}} \biggr) = \int_{0}^{x}q_{1}(t)\,dt. $$
Then \(q_{1}(x)=f^{\prime}(x)\).
Finally, to reconstruct the function \(q_{0}\), we observe that the asymptotic expansion of nodal length implies
$$\begin{aligned} &pn_{\alpha\beta} ( n_{\alpha\beta}\pi_{p} ) ^{p} \biggl( \ell _{i}^{(n)}-\frac{1}{n_{\alpha\beta}}-\frac{1}{ ( n_{\alpha\beta }\pi _{p} ) ^{\frac{p}{2}}} \int_{x_{i}^{(n)}}^{x_{i+1}^{(n)}}q_{1}(x)\,dx \biggr) \\ &\quad=-p \biggl( \frac{\operatorname{scot}_{p}(\beta)-\operatorname{scot}_{p}(\alpha)}{ ( p-1 ) }+\frac{1}{p} \int _{0}^{1}q_{0}(x)\,dx \biggr) +n_{\alpha\beta} \int_{x_{i}^{(n)}}^{x_{i+1}^{(n)}}q_{0}(x)\,dx+o ( 1 ) . \end{aligned}$$
Hence, we find
$$\begin{aligned} q_{0}(x) =&\lim_{n\rightarrow\infty}pn_{\alpha\beta} ( n_{\alpha\beta }\pi _{p} ) ^{p} \biggl( \ell_{j}^{(n)}-\frac{1}{n_{\alpha\beta}}-\frac {1}{ ( n_{\alpha\beta}\pi_{p} ) ^{\frac{p}{2}}}\int_{x_{j}^{(n)}}^{x_{j+1}^{(n)}}q_{1}(x)\,dx \biggr) \\ &{} +\frac{p}{p-1} \bigl( \operatorname{scot}_{p}(\beta)-\operatorname{scot}_{p}(\alpha) \bigr) + \int_{0}^{1}q_{0}(x)\,dx. \end{aligned}$$

4 Reconstruction formulas for \(p\geq2\)

In this section, we only consider the Dirichlet case. First, we can obtain the result that the nodal length satisfies the following estimate:
$$\begin{aligned} \ell_{i}^{(n)} =&\frac{1}{n}-\frac{p\pi_{p}}{ ( n\pi_{p} ) ^{\frac{p}{2}+1}}Q_{1}- \frac{\pi_{p}}{ ( n\pi_{p} ) ^{p+1}}Q_{0}+\frac{1}{ ( n\pi_{p} ) ^{\frac{p}{2}}}\int_{x_{i}^{(n)}}^{x_{i+1}^{(n)}}q_{1}(x)\,dx \\ &{} +\frac{p}{ ( n\pi_{p} ) ^{\frac{p}{2}}}\int_{x_{i}^{(n)}}^{x_{i+1}^{(n)}}q_{1}(x) \biggl( \bigl\vert \sin _{p} \bigl( \kappa_{n}^{\frac{2}{p}} \vartheta(x,\kappa_{n}) \bigr) \bigr\vert ^{p}-\frac{1}{p} \biggr)\,dx \\ &{} +\frac{1}{p ( n\pi_{p} ) ^{p}}\int_{x_{i}^{(n)}}^{x_{i+1}^{(n)}}q_{0}(x)\,dx+o \biggl( \frac{1}{n^{p+1}} \biggr) . \end{aligned}$$
Then the function \(q_{1}(x)\) can be reconstructed from the nodal length immediately:
$$q_{1}(x)=\lim_{n\rightarrow\infty}n ( n\pi_{p} ) ^{\frac {p}{2}} \biggl( \ell_{j}^{(n)}-\frac{1}{n} \biggr) . $$
To reconstruct the function \(q_{0}(x)\), we shall first find \(Q_{1}\). So, we need to refine the estimate of \(Q_{1}\) mentioned in Lemma 2.3. Since
$$\vartheta(x,\kappa_{n})-\vartheta(0,\kappa_{n})= \int _{0}^{x}\vartheta ^{\prime}(x, \kappa_{n})\,dx=x- \int_{0}^{x}\frac{\kappa _{n}pq_{1}(x)+q_{0}(x)}{\kappa_{n}^{2}}\bigl\vert \sin_{p} \bigl( \vert \kappa_{n}\vert ^{\frac{2}{p}} \vartheta(x,\kappa_{n}) \bigr) \bigr\vert ^{p}\,dx, $$
we find
$$\begin{aligned} \kappa_{n}^{\frac{2}{p}}\vartheta(x,\kappa_{n}) =& \kappa_{n}^{\frac {2}{p}}x- \int_{0}^{x}\frac{\kappa_{n}pq_{1}(x)+q_{0}(x)}{\kappa _{n}^{2-\frac{2}{p}}}\bigl\vert \sin_{p} \bigl( \vert \kappa_{n}\vert ^{\frac {2}{p}} \vartheta(x,\kappa_{n}) \bigr) \bigr\vert ^{p}\,dx \\ =&n\pi_{p}x+\frac{p}{\kappa_{n}^{1-\frac{2}{p}}}Q_{1}x+\frac{1}{\kappa _{n}^{2-\frac{2}{p}}}Q_{0}x \\ &{} - \int_{0}^{x}\frac{\kappa_{n}pq_{1}(x)+q_{0}(x)}{\kappa_{n}^{2-\frac{2}{p}}}\bigl\vert \sin_{p} \bigl( \vert \kappa_{n}\vert ^{\frac{2}{p}} \vartheta(x,\kappa_{n}) \bigr) \bigr\vert ^{p}\,dx+O \biggl( \frac {1}{\kappa_{n}^{4-\frac{2}{p}}} \biggr). \end{aligned}$$
Applying the Taylor expansion, we have
$$\begin{aligned} &\sin_{p} \bigl( \vert \kappa_{n}\vert ^{\frac {2}{p}} \vartheta (x,\kappa_{n}) \bigr) \\ &\quad=\sin_{p} ( n\pi_{p}x ) +\sin_{p}^{\prime} ( n\pi _{p}x ) \bigl[ \vert \kappa_{n}\vert ^{\frac {2}{p}}\vartheta (x,\kappa_{n})-n\pi_{p}x \bigr] +O \bigl( \vert \kappa_{n}\vert ^{\frac{2}{p}}\vartheta(x, \kappa_{n})-n\pi_{p}x \bigr) ^{2} \\ &\quad=\sin_{p} ( n\pi_{p}x ) +\sin_{p}^{\prime} ( n\pi _{p}x ) \biggl[ \frac{pQ_{1}x}{\kappa_{n}^{1-\frac{2}{p}}}+\frac {Q_{0}x}{\kappa_{n}^{2-\frac{2}{p}}}\\ &\qquad{}- \int_{0}^{x}\frac{\kappa_{n}pq_{1}(x)+q_{0}(x)}{\kappa _{n}^{2-\frac{2}{p}}}\bigl\vert \sin_{p} \bigl( \vert \kappa _{n}\vert ^{\frac{2}{p}} \vartheta(x,\kappa_{n}) \bigr) \bigr\vert ^{p}\,dx \biggr] +O \biggl( \frac{1}{n^{p}} \biggr)\\ &\quad=\sin_{p} ( n\pi_{p}x ) +\frac{p\sin_{p}^{\prime} ( n\pi _{p}x ) }{ ( n\pi_{p} ) ^{\frac{p}{2}-1}} \biggl[ Q_{1}x- \int_{0}^{x}q_{1}(x)\bigl\vert \sin_{p} \bigl( \vert \kappa_{n}\vert ^{\frac{2}{p}} \vartheta(x,\kappa_{n}) \bigr) \bigr\vert ^{p}\,dx \biggr] +o \biggl( \frac{1}{n^{\frac{p}{2}-1}} \biggr) \\ &\quad=\sin_{p} ( n\pi_{p}x ) +\frac{p\sin_{p}^{\prime} ( n\pi _{p}x ) }{ ( n\pi_{p} ) ^{\frac{p}{2}-1}} \biggl[ x \int_{0}^{1}q_{1}(x)\bigl\vert \sin_{p} ( n\pi_{p}x ) \bigr\vert ^{p}\,dx\\ &\qquad{}- \int_{0}^{x}q_{1}(x)\bigl\vert \sin_{p} ( n\pi _{p}x ) \bigr\vert ^{p}\,dx \biggr] +o \biggl( \frac{1}{n^{\frac{p}{2}-1}} \biggr). \end{aligned}$$
Note that \(\sin_{p} ( \vert \kappa_{n}\vert ^{\frac {2}{p}}\vartheta(0,\kappa_{n}) ) =\sin_{p} ( \vert \kappa_{n}\vert ^{\frac{2}{p}}\vartheta(1,\kappa_{n}) ) =0\). Then we can refine the estimate of \(Q_{1}\) mentioned in Lemma 2.3. More precisely, we have
$$\begin{aligned} Q_{1} =&\frac{1}{pn\pi_{p}} \int_{0}^{1}q_{1}^{\prime}(x)\sin _{p}(n\pi _{p}x)\bigl\vert \sin_{p}^{\prime} ( n\pi_{p}x ) \bigr\vert ^{p-2}\sin_{p}^{\prime} ( n\pi_{p}x )\,dx\\ &{}+\frac{1}{ ( n\pi_{p} ) ^{\frac{p}{2}}} \int _{0}^{1}q_{1}^{\prime }(x) \biggl[ x \int_{0}^{1}q_{1}(t)\bigl\vert \sin_{p} ( n\pi _{p}t ) \bigr\vert ^{p}\,dt\\ &{}- \int_{0}^{x}q_{1}(t)\bigl\vert \sin_{p} ( n\pi _{p}t ) \bigr\vert ^{p}\,dt \biggr] \bigl\vert \sin_{p}^{\prime } ( n\pi_{p}x ) \bigr\vert ^{p}\,dx+o \biggl( \frac{1}{n^{\frac{p}{2}}} \biggr) . \end{aligned}$$
Moreover, the nodal length satisfies
$$\begin{aligned} \ell_{i}^{(n)} =&\frac{1}{n}+\frac{1}{ ( n\pi_{p} ) ^{\frac {p}{2}}} \int_{x_{i}^{(n)}}^{x_{i+1}^{(n)}}q_{1}(x)\,dx+ \frac{p}{ ( n\pi _{p} ) ^{\frac{p}{2}}}\int_{x_{i}^{(n)}}^{x_{i+1}^{(n)}}q_{1}(x) \biggl( \bigl\vert \sin _{p} ( n\pi_{p}x ) \bigr\vert ^{p}- \frac{1}{p} \biggr)\,dx \\ &{}-\frac{\pi_{p}}{ ( n\pi _{p} ) ^{\frac{p}{2}+2}} \int_{0}^{1}q_{1}^{\prime}(x)\sin _{p}(n\pi _{p}x)\bigl\vert \sin_{p}^{\prime} ( n\pi_{p}x ) \bigr\vert ^{p-2}\sin_{p}^{\prime} ( n\pi_{p}x )\,dx \\ &{}-\frac{\pi_{p}}{p ( n_{\alpha\beta}\pi_{p} ) ^{p+1}}\int_{0}^{1}q_{0}(x)\,dx+ \frac{1}{p ( n\pi_{p} ) ^{p}}\int_{x_{i}^{(n)}}^{x_{i+1}^{(n)}}q_{0}(x)\,dx+o \biggl( \frac{1}{n^{p+1}} \biggr) . \end{aligned}$$
Hence, we can reconstruct \(q_{0}\) by the following formula:
$$\begin{aligned} q_{0}(x) ={}&\lim_{n\rightarrow\infty}pn ( n\pi_{p} ) ^{p} \biggl\{ \ell _{j}^{(n)}-\frac{1}{n}-\frac{1}{ ( n\pi_{p} ) ^{\frac{p}{2}}}\int_{x_{j}^{(n)}}^{x_{j+1}^{(n)}}q_{1}(x)\,dx\\ &{}-\frac{p}{ ( n\pi _{p} ) ^{\frac{p}{2}}} \int _{x_{j}^{(n)}}^{x_{j+1}^{(n)}}q_{1}(x) \biggl( \bigl\vert \sin_{p} ( n\pi_{p}x ) \bigr\vert ^{p}- \frac {1}{p} \biggr)\,dx\\ &{} +\frac{\pi_{p}}{ ( n\pi_{p} ) ^{\frac{p}{2}+2}}\int_{0}^{1}q_{1}^{\prime}(x) \sin_{p}(n\pi_{p}x)\bigl\vert \sin _{p}^{\prime} ( n\pi_{p}x ) \bigr\vert ^{p-2}\sin _{p}^{\prime } ( n\pi_{p}x )\,dx \biggr\} + \int_{0}^{1}q_{0}(x)\,dx. \end{aligned}$$

Declarations

Acknowledgements

The two authors are partially supported by Ministry of Science and Technology, Taiwan, under contract nos MOST 103-2115-M-152 -002 and MOST 104-2115-M-507-001, respectively.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
Department of Mathematics and Information Education, National Taipei University of Education
(2)
Center for General Education, National Quemoy University

References

  1. Bhuvaneswari, V, Lingeshwaran, S, Balachandran, K: Weak solutions for p-Laplacian equation. Adv. Nonlinear Anal. 1(4), 319-334 (2012) MathSciNetMATHGoogle Scholar
  2. Li, C, Agarwal, R, Tang, C-L: Infinitely many periodic solutions for ordinary p-Laplacian systems. Adv. Nonlinear Anal. 4(4), 251-261 (2015) MathSciNetMATHGoogle Scholar
  3. Radulescu, V: Finitely many solutions for a class of boundary value problems with superlinear convex nonlinearity. Arch. Math. (Basel) 84, 538-550 (2005) MathSciNetView ArticleMATHGoogle Scholar
  4. Radulescu, V, Repovs, D: Partial Differential Equations with Variable Exponents: Variational Methods and Qualitative Analysis. CRC Press/Taylor and Francis Group, Boca Raton (2015) View ArticleMATHGoogle Scholar
  5. Elbert, Á: A half-linear second order differential equation. In: Qualitative Theory of Differential Equations, Vols. I, II (Szeged, 1979). Colloq. Math. Soc. János Bolyai, vol. 30, pp. 153-180. North-Holland, Amsterdam (1981) Google Scholar
  6. Lindqvist, P: On the equation \(\operatorname{div}(|\nabla u|^{p-2}\nabla u)+\lambda |u|^{p-2}u=0\). Proc. Am. Math. Soc. 109(1), 157-164 (1990); Addendum: 116(2), 583-584 (1992) MathSciNetMATHGoogle Scholar
  7. Binding, PA, Drábek, P: Sturm-Liouville theory for the p-Laplacian. Studia Sci. Math. Hung. 40, 373-396 (2003) MathSciNetMATHGoogle Scholar
  8. Tamarkin, JD: On Some Problems of the Theory of Ordinary Linear Differential Equations. Petrograd (1917) Google Scholar
  9. Keldysh, MV: On eigenvalues and eigenfunctions of some classes of nonselfadjoint equations. Dokl. Akad. Nauk SSSR 77, 11-14 (1951) Google Scholar
  10. Jaulent, M, Jean, C: The inverse s-wave scattering problem for a class of potentials depending on energy. Commun. Math. Phys. 28, 177-220 (1972) MathSciNetView ArticleGoogle Scholar
  11. Kostyuchenko, AG, Shkalikov, AA: Selfadjoint quadratic operator pencils and elliptic problems. Funkc. Anal. Prilozh. 17(2), 38-61 (1983); English transl.: Funct. Anal. Appl. 17, 109-128 (1983) MathSciNetMATHGoogle Scholar
  12. Markus, AS: Introduction to the Spectral Theory of Polynomial Operator Pencils. Shtinitsa, Kishinev (1986); English transl.: Am. Math. Soc., Providence (1988) MATHGoogle Scholar
  13. Showalter, RE: Monotone Operators in Banach Space and Nonlinear Partial Differential Equations. Mathematical Surveys and Monographs, vol. 49. Am. Math. Soc., Providence (1997) MATHGoogle Scholar
  14. Bensoussan, A, Frehse, J: Regularity Results for Nonlinear Elliptic Systems and Applications. Applied Mathematical Sciences, vol. 151. Springer, Berlin (2002) MATHGoogle Scholar
  15. Gasymov, MG, Guseinov, GS: Determination of diffusion operator on spectral data. Dokl. Akad. Nauk Azerb. SSR 37(2), 19-23 (1981) MathSciNetGoogle Scholar
  16. Koyunbakan, H: Inverse problem for a quadratic pencil of Sturm-Liouville operator. J. Math. Anal. Appl. 378, 549-554 (2011) MathSciNetView ArticleMATHGoogle Scholar
  17. Hochstadt, H, Lieberman, B: An inverse Sturm-Liouville problem with mixed given data. SIAM J. Appl. Math. 34(4), 676-680 (1978) MathSciNetView ArticleMATHGoogle Scholar
  18. Yang, CF: A half-inverse problem for the coefficients for a diffusion equation. Chin. Ann. Math., Ser. A 32, 89-96 (2011) MathSciNetView ArticleMATHGoogle Scholar
  19. Yang, CF, Guo, YX: Determination of a differential pencil from interior spectral data. J. Math. Anal. Appl. 375, 284-293 (2011) MathSciNetView ArticleMATHGoogle Scholar
  20. Buterin, SA, Shieh, CT: Incomplete inverse spectral and nodal problems for differential pencils. Results Math. 62, 167-179 (2012) MathSciNetView ArticleMATHGoogle Scholar
  21. Yang, CF, Zettl, A: Half inverse problems for quadratic pencils of Sturm-Liouville operators. Taiwan. J. Math. 16(5), 1829-1846 (2012) MathSciNetMATHGoogle Scholar
  22. Buterin, SA, Shieh, CT: Inverse nodal problem for differential pencils. Appl. Math. Lett. 22, 1240-1247 (2009) MathSciNetView ArticleMATHGoogle Scholar
  23. Koyunbakan, H: Inverse nodal problem for p-Laplacian energy-dependent Sturm-Liouville equation. Bound. Value Probl. 2013, 272 (2013). doi:10.1186/1687-2770-2013-272 MathSciNetView ArticleMATHGoogle Scholar
  24. Wang, WC, Cheng, YH, Lian, WC: Inverse nodal problems for the p-Laplacian with eigenparameter dependent boundary conditions. Math. Comput. Model. 54, 2718-2724 (2011) MathSciNetView ArticleMATHGoogle Scholar
  25. Cheng, YH, Law, CK, Lian, WC, Wang, WC: An inverse nodal problem and Ambarzumyan problem for the periodic p-Laplacian operator with integrable potentials. Taiwan. J. Math. 19, 1305-1316 (2015) MathSciNetGoogle Scholar
  26. Rudin, W: Real and Complex Analysis, 3rd edn. McGraw-Hill, New York (1987) MATHGoogle Scholar

Copyright

© Cheng and Wang 2016