Abstract
We analyze the eigenstructure of the integral operator \(\mathcal{K}_{l, \alpha, k}\) which arise naturally from the beam deflection equation on linear elastic foundation with finite beam. We show that \(\mathcal{K}_{l, \alpha, k}\) has countably infinite number of positive eigenvalues approaching 0 as the limit, and give explicit upper and lower bounds on each of them. Consequently, we obtain explicit upper and lower bounds on the \(L^{2}\)-norm of the operator \(\mathcal{K}_{l, \alpha, k}\). We also present precise approximations of the eigenvalues as they approach the limit 0, which describes the almost regular structure of the spectrum of \(\mathcal{K}_{l, \alpha, k}\). Additionally, we analyze the dependence of the eigenvalues, including the \(L^{2}\)-norm of \(\mathcal{K}_{l, \alpha, k}\), on the intrinsic length \(L = 2 l \alpha\) of the beam, and show that each eigenvalue is continuous and strictly increasing with respect to L. In particular, we show that the respective limits of each eigenvalue as L goes to 0 and infinity are 0 and \(1/k\), where k is the linear spring constant of the given elastic foundation. Using Newton’s method, we also compute explicitly numerical values of the eigenvalues, including the \(L^{2}\)-norm of \(\mathcal{K}_{l, \alpha, k}\), corresponding to various values of L.
Similar content being viewed by others
1 Introduction
We consider the linear integral operator \(\mathcal{K}_{l, \alpha, k}\), defined by
for complex functions u on the real interval \([-l,l]\), \(l > 0\). Here, the function \(K(\cdot)\) is
for a constant \(k > 0\) and \(\alpha := \sqrt[4]{k/(EI)}\). The function K arises naturally as the Green’s function of the following linear ordinary differential equation:
with the boundary condition \(\lim_{x \to\pm\infty} u(x) = \lim_{x \to\pm\infty} u^{\prime}(x) = 0 \), whose closed form solution [1] is
According to the classical Euler beam theory, (1) is the governing equation for the vertical deflection \(u(x)\) of a linear-shaped beam resting horizontally on an elastic foundation, where the beam is subject to the downward load distribution \(w(x)\) applied vertically on the beam. \(k > 0\) is the linear spring constant of the elastic foundation, so that \(k \cdot u(x)\) is the spring force distribution by the elastic foundation. The constants E and I are the Young’s modulus and the mass moment of inertia, respectively, so that EI is the flexural rigidity of the beam. Historically, the beam deflection problem has been one of the cornerstones of mechanical engineering [2–11].
Recently, Choi and Jang [12] obtained existence and uniqueness result for the solution of the following nonlinear and nonuniform equation which generalizes (1):
It turned out to be crucial in their work to analyze the integral operator defined by
However, (2) is for infinitely long beams, while beams with finite lengths are important in practice. To deal with finite beams, we need to analyze the integral operator \(\mathcal{K}_{l, \alpha, k}\), instead of \(\mathcal{K}\). With this motivation, Choi [13, 14] performed an analysis of the eigenstructure of \(\mathcal{K}_{l, \alpha, k}\) as a linear operator on the Hilbert space \(L^{2}[-l,l]\) of the square-integrable complex functions on \([-l,l]\). It was shown that all the eigenvalues of \(\mathcal{K}_{l, \alpha, k}\) are contained in the real interval \(( 0, 1/k )\), and hence \(\mathcal{K}_{l, \alpha, k}\) is positive and contractive in dimension-free sense.
In this paper, we analyze concretely the structure of the eigenvalues of \(\mathcal{K}_{l, \alpha, k}\) inside the interval \(( 0, 1/k )\). Note that \(\mathcal{K}_{l, \alpha, k}\) is in the important class of compact, self-adjoint operators, of whose eigenstructures the following general property is well known.
Proposition 1
([15])
Let X be a nontrivial real or complex inner-product space, and let \(\mathcal{T}\) be a compact self-adjoint operator from X to X. Then the eigenvalues of \(\mathcal{T}\) are real, and the number of them is at most countably infinite. Moreover, the eigenvalues, denoted by \(\lambda_{1}, \lambda_{2}, \lambda_{3}, \ldots\) , can be ordered such that
and the \(L^{2}\)-norm \(\Vert \mathcal{T} \Vert := \Vert \mathcal{T} \Vert _{2}\) of \(\mathcal{T}\) is \(\vert \lambda_{1} \vert \).
For the operator \(\mathcal{K}_{l, \alpha, k}\), we will prove the results below.
Theorem 1
-
(a)
The spectrum of the operator \(\mathcal{K}_{l, \alpha, k}\) is of the form
$$\biggl\{ \frac{\mu_{n}}{k} \Bigm| n = 1,2,3,\ldots \biggr\} \cup \biggl\{ \frac{\nu_{n}}{k} \Bigm| n = 1,2,3,\ldots \biggr\} , $$where \(\mu_{n}\) and \(\nu_{n}\) depend only on \(L := 2l\alpha\), and, for \(n = 1,2,3,\ldots\) ,
$$\frac{1}{ 1+ \{ h^{-1} ( 2\pi n + \frac{\pi}{2} ) \}^{4}} < \nu_{n} < \frac{1}{ 1+ \{ h^{-1} ( 2\pi n ) \}^{4} } < \mu_{n} < \frac{1}{ 1 + \{ h^{-1} ( 2\pi n - \frac{\pi}{2} ) \}^{4} }. $$ -
(b)
\(\mu_{n} \sim\nu_{n} \sim n^{-4}\), and
$$\begin{aligned}& \frac{1}{ 1 + \{ h^{-1} ( 2\pi n - \frac{\pi}{2} ) \}^{4}} - \mu_{n} \sim \nu_{n} - \frac{1}{ 1 + \{ h^{-1} ( 2\pi n + \frac{\pi}{2} ) \}^{4}} \sim n^{-5} e^{-2\pi n}, \\& \frac{1}{ 1 + \frac{1}{L^{4}} ( 2\pi(n-1) - \frac{\pi}{2} )^{4} } - \mu_{n} \sim \frac{1}{ 1 + \frac{1}{L^{4}} ( 2\pi(n-1) + \frac{\pi}{2} )^{4} } - \nu_{n} \sim n^{-6}. \end{aligned}$$
Here, the function h, parametrized by \(L = 2 l \alpha\), is strictly increasing, one-to-one and onto from \([0,\infty)\) to \([0,\infty)\). See Section 3 for its definition and properties. See also Section 2 for the definition of the notation ∼, which denotes ‘asymptotically same order’. Thus \(1 > \mu_{1} > \nu_{1} > \mu_{2} > \nu_{2} > \cdots> \cdots\searrow0\), and the eigenvalues of \(\mathcal{K}_{l, \alpha, k}\) are ordered as
In fact, the asymptotic approximation in Theorem 1(b) gives a quite precise description of the distribution of the eigenvalues of \(\mathcal{K}_{l, \alpha, k}\) as \(n \to\infty\).
Theorem 1 also gives explicit upper and lower bounds on each of these eigenvalues. Among these eigenvalues, the largest one, \(\mu_{1}/k\), is of special importance, since it is precisely the \(L^{2}\)-norm \(\Vert \mathcal{K}_{l, \alpha, k} \Vert \) of the operator \(\mathcal{K}_{l, \alpha, k}\) by Proposition 1. In consequence, we obtain the following explicit upper and lower bounds on the \(L^{2}\)-norm \(\Vert \mathcal{K}_{l, \alpha, k} \Vert = \mu_{1}/k\) of the operator \(\mathcal{K}_{l, \alpha, k}\):
We can actually compute numerical values of \(\mu_{n}\) and \(\nu_{n}\) with Newton’s method on the equation (25) in Section 3. See Section 6 for further details.
Each of the quantities \(\mu_{n}\) and \(\nu_{n}\) changes only when L changes. For example, if L remains fixed, then they do not change even if k changes. In fact, \(L = 2l\alpha= 2l \sqrt[4]{k/(EI)}\) is dimensionless and hence can be regarded as the dimension-free or intrinsic length of the beam. Similarly, the dimensionless quantities \(\mu_{n}\) and \(\nu_{n}\) can also be regarded as dimension-free or intrinsic eigenvalues of \(\mathcal{K}_{l, \alpha, k}\), which depend only on L. Especially, the dimensionless \(\mu_{1} = k \cdot \Vert \mathcal{K}_{l, \alpha, k} \Vert \) is the dimension-free or intrinsic \(L^{2}\)-norm of \(\mathcal{K}_{l, \alpha, k}\).
We also analyze the behavior of the eigenvalues of \(\mathcal{K}_{l, \alpha, k}\) with respect to the intrinsic length L of the beam.
Theorem 2
Each eigenvalue λ of \(\mathcal{K}_{l, \alpha, k}\) in Theorem 1 is continuous and strictly increasing with respect to L, and \(\lim_{L \to0} \lambda= 0\), \(\lim_{L \to\infty} \lambda= 1/k\).
Thus each of the intrinsic eigenvalues \(\mu_{n}\) and \(\nu_{n}\) is continuous and strictly increasing with respect to L, and \(\lim_{L \to0}{\mu_{n}} = \lim_{L \to0}{\nu_{n}} = 0\), \(\lim_{L \to\infty}{\mu_{n}} = \lim_{L \to\infty}{\nu_{n}} = 1\) for \(n = 1,2,3,\ldots\) Table 1, which results from the numerical computation in Section 6, illustrates the dependence of \(\mu_{n}\) and \(\nu_{n}\) on L in Theorem 2. In particular, the norm \(\Vert \mathcal{K}_{l, \alpha, k} \Vert = \mu_{1}/k\) is continuous and strictly increasing as a function of L, and \(\lim_{L \to0}{\Vert \mathcal{K}_{l, \alpha, k} \Vert } = 0\), \(\lim_{L \to\infty} {\Vert \mathcal{K}_{l, \alpha, k} \Vert } = 1/k\).
The rest of the paper is organized as follows. In Section 2, basic preliminaries and notations used in this paper are given. In Section 3, we derive a characteristic equation for the eigenvalues of \(\mathcal{K}_{l, \alpha, k}\), and transform it into a relatively manageable form (25). Theorems 1 and 2 are proved in Sections 4 and 5, respectively. In Section 6, examples of numerical computation of the eigenvalues of \(\mathcal{K}_{l, \alpha, k}\) are given.
2 Preliminaries
Let \(f(t)\), \(g(t)\) be positive functions on \([0,\infty)\). We will use the notation \(f(t) \sim g(t)\), meaning that \(f(t)\) and \(g(t)\) are of the same order asymptotically as \(t \to\infty\), if there exists \(T > 0\) such that \(m \leq f(t)/g(t) \leq M\) for every \(t > T\) for some constants \(0 < m \leq M < \infty\). We also use similar notation for positive sequences. Let \(\{ a_{n} \}_{n=1}^{\infty}\), \(\{ b_{n} \}_{n=1}^{\infty}\) be positive sequences. Then we denote \(a_{n} \sim b_{n}\) if there exists \(N > 0\) such that \(m \leq a_{n}/b_{n} \leq M\) for every \(n > N\) for some constants \(0 < m \leq M < \infty\). Note that \(f(t) \sim g(t)\) if \(0 < \lim_{t \to\infty} f(t)/g(t) < \infty\), and \(a_{n} \sim b_{n}\) if \(0 < \lim_{n \to\infty} a_{n}/b_{n} < \infty\).
For \(l > 0\), let \(L^{2}[-l,l]\) be the space of all square-integrable complex functions on the interval \([-l,l]\), which is a Hilbert space with the usual inner product
The \(L^{2}\)-norm \(\Vert \mathcal{T} \Vert _{2}\), denoted also by \(\Vert \mathcal{T} \Vert \), of a linear operator \(\mathcal{T}\) from \(L^{2}[-l,l]\) to \(L^{2}[-l,l]\), is
where \(\Vert u \Vert := \Vert u \Vert _{2} = \sqrt{\langle u, u \rangle }\). For \(n = 0,1,2,\ldots\) , let \(C^{n}[-l,l]\) be the space of all n-times differentiable complex functions on \([-l,l]\). Note that \(C^{0}[-l,l] := C[-l,l]\) is the space of all continuous complex functions on \([-l,l]\).
One of the main tools for our analysis is the following necessary and sufficient condition for being an eigenfunction of \(\mathcal{K}_{l, \alpha, k}\).
Proposition 2
(Lemma 2.5 in [13])
Let \(u \in L^{2}[-l,l]\). Then \(\mathcal{K}_{l, \alpha, k}[u] = \lambda u\) for some \(\lambda\in\mathbb{C}\), if and only if \(u \in C^{4}[-l,l]\), and u is a solution to the following fourth-order linear boundary value problem:
Using Proposition 2, the following property of \(\mathcal{K}_{l, \alpha, k}\) was shown in [14].
Proposition 3
(Theorem 1 in [14])
All the eigenvalues of \(\mathcal{K}_{l, \alpha, k}\) are in the real interval \(( 0, 1/k )\).
3 Characteristic equation for the eigenvalues of \(\mathcal{K}_{l, \alpha, k}\)
It is well known [15] that an operator of the type \(\mathcal{K}_{l, \alpha, k}\) is self-adjoint. Since the eigenvalues of a self-adjoint operator are real, and the eigenspace corresponding to each eigenvalue is spanned by real eigenfunctions, it is sufficient to consider only real eigenfunctions and eigenvalues.
As noted in [13], the solution space of the differential equation (3) changes qualitatively according to the sign of the quantity \(1 - 1/(\lambda k)\), and we have the following three possibilities:
-
(I)
\(1 - 1/(\lambda k) = 0\): \(\lambda= 1/k\),
-
(II)
\(1 - 1/(\lambda k) > 0\): \(\lambda< 0\) or \(\lambda> 1/k\),
-
(III)
\(1 - 1/(\lambda k) < 0\): \(0 < \lambda< 1/k\).
It was shown in [13] and [14] that there are no eigenvalues in the cases (I) and (II) (Proposition 3). We will investigate the remaining case (III). So we assume \(1 - 1/ ( \lambda k ) < 0\), or equivalently, \(0 < \lambda< 1/k\) for the rest of the paper.
We introduce the variable κ defined by
which simplifies (3) to
Note that (8) gives a one-to-one correspondence between κ in \((0,\infty)\) and λ in \((0,1/k)\) for any fixed \(k > 0\).
3.1 Derivation of characteristic equation
Suppose \(0 < \lambda< 1/k\) is an eigenvalue of \(\mathcal{K}_{l, \alpha, k}\), and u is a nonzero eigenfunction corresponding to λ. By Proposition 2, u should satisfy the differential equation (3), and hence (9). The general (real) solution of (9) is
where we denote
So we have
and hence
Using (10) and (11), the boundary conditions (4), (5), (6), (7) in Proposition 2, respectively, become
which are equivalent collectively to
where O is the \(4 \times1\) zero matrix and Q is the following \(4 \times4\) matrix:
By Proposition 2, the assumption that u is a nonzero eigenfunction of \(\mathcal{K}_{l, \alpha, k}\) is equivalent to the existence of nontrivial \((A\ B\ C\ D)\) satisfying (12), which again is equivalent to \(\det{\mathbf{Q}} = 0\). Thus λ is an eigenvalue of \(\mathcal{K}_{l, \alpha, k}\), if and only if \(\det{\mathbf{Q}} = 0\).
A long and tedious computation, which can be facilitated by utilizing Computer Algebra Systems, produces the following determinant of Q:
where \(L = 2l\alpha\) is the intrinsic length of the beam. For checking the validity of (13), we provide a Mathematica notebook file. See Additional files 1 and 2.
3.2 Simplification of detQ
Since \(( \kappa^{4} - 4 \kappa^{2} + 1 )^{2} + \{ 2 \sqrt{2} \kappa ( \kappa^{2} - 1 ) \}^{2} = ( \kappa^{4} + 1 )^{2}\), we have
for some function \(\hat{h}(\kappa)\) of κ. Specifically, we define \(\hat{h}\) by
where the branch of arctan is taken such that \(\arctan(0) = 0\). Note that
and hence
So it is easy to see that \(\hat{h}\) thus defined is continuous. See Figure 1 for the graph of \(\hat{h}(\kappa)\).
Note that
This shows that \(\hat{h}\) is in fact real-analytic and strictly decreasing. We also have \(\hat{h}(0) = 0\) and \(\lim_{\kappa\to\infty} \hat{h}(\kappa) = -2\pi\) from (15).
Define
Then (14) becomes
The properties of the function \(h(\kappa)\), which we will need later, are summarized in Lemma 1.
Lemma 1
-
(a)
\(h(\kappa)\) is real-analytic, and is strictly increasing with \(h(0) = 0\), \(\lim_{\kappa\to\infty}{h(\kappa)} = \infty\).
-
(b)
\(h^{\prime}(\kappa)\) is strictly increasing on \([ 0, \sqrt{\sqrt{2} - 1} ]\) from \(h^{\prime}(0) = L + 2\sqrt{2}\) to \(h^{\prime}( \sqrt{\sqrt{2} - 1} ) = L + 2 + \sqrt{2}\), and strictly decreasing on \([ \sqrt{\sqrt{2} - 1}, \infty )\) approaching \(\lim_{\kappa\to\infty} h^{\prime}(\kappa) = L\). In particular, \(L < h^{\prime}(\kappa) \leq L + 2 + \sqrt{2}\) for every \(\kappa\geq0\), and hence \(\lim_{\kappa\to\infty} h(\kappa)/\kappa= L\) implying \(h(\kappa) \sim\kappa\).
Proof
(a) follows immediately from (15), (17), (19). Since
\(h^{\prime}\) is strictly increasing on \([ 0,\sqrt{\sqrt{2}-1} ]\) from \(h^{\prime}(0) = L + 2 \sqrt{2}\) to \(h^{\prime}( \sqrt{\sqrt{2} - 1} ) = L + 2 + \sqrt{2}\), and is strictly decreasing on \([ \sqrt{\sqrt{2} - 1}, \infty )\) to \(\lim_{\kappa\to\infty}{h^{\prime}(\kappa)} = L\). Hence, (b) follows. □
Using (18), the determinant of Q in (13) can be rewritten as
since \(( \kappa^{2} \pm\sqrt{2} \kappa+ 1 )^{2} = \kappa^{4} \pm2\sqrt{2} \kappa^{3} + 4 \kappa^{2} \pm2\sqrt{2} \kappa + 1 \). It follows from (20) that the equation \(\det{\mathbf{Q}} = 0\), regarding it as a quadratic equation in \(e^{-L \kappa}\), is equivalent to
which, using the identity
is again equivalent to
Note from (20) that \(\det{\mathbf{Q}} \neq0\), when \(\cos ( h(\kappa) ) = 0\).
Define
and
We also use the notation
Then (22), and hence the characteristic equation \(\det{\mathbf{Q}} = 0\) for \(\kappa> 0\), is finally reduced to the following equivalent form:
which means \(p(\kappa) = \varphi_{+}(\kappa) \) or \(p(\kappa) = \varphi_{-}(\kappa) \) for \(\kappa> 0\).
3.3 Properties of the functions \(p(\kappa)\) and \(\varphi_{\pm}(\kappa)\)
Note from (23) that
The following lemma on the property of the function \(p(\kappa)\) immediately follows from (23) and (26). See Figure 2 for the graph of \(p(\kappa)\).
Lemma 2
\(p(\kappa)\) is strictly decreasing on \([0,1]\) from \(p(0) = 1\) to \(p(1) = 3 - 2\sqrt{2}\), and is strictly increasing on \([1,\infty)\) approaching \(\lim_{\kappa\to\infty}{p(\kappa)} = 1\). In particular, we have \(0 < 3 - 2\sqrt{2} < p(\kappa) < 1\) for every \(\kappa> 0\).
By Lemma 1(a), the inverse \(h^{-1}\) of the function h is well defined from \([0,\infty)\) onto \([0,\infty)\), and is also strictly increasing. From the definition (24) of \(\varphi_{\pm}\), we have
and
for every \(n = 0, \pm1, \pm2, \ldots\) Note that
So \(\varphi_{+}\) (respectively, \(\varphi_{-}\)) has removable singularities at \(h^{-1} ( 2\pi n - \pi/2 )\) (respectively, \(h^{-1} ( 2\pi n + \pi/2 )\)) for \(n = 0, \pm1, \pm2,\ldots\) We regard these singularities all to be removed in the definition of \(\varphi_{\pm}\), so that
for \(n = 0, \pm1, \pm2, \ldots\) Thus \(\varphi_{+}\) and \(\varphi_{-}\) are continuous, respectively, on the intervals \(( h^{-1} ( 2\pi n + \pi/2 ), h^{-1} ( 2\pi(n+1) + \pi/2 ) )\) and \(( h^{-1} ( 2\pi n - \pi/2 ), h^{-1} ( 2\pi(n+1) - \pi/2 ) )\) for every \(n = 0, \pm1, \pm2, \ldots\) In fact, \(\varphi_{+}\) and \(\varphi_{-}\) are real-analytic in these respective intervals, since \(h(\kappa)\) is real-analytic by Lemma 1(a). Since
we have
hence, by (19),
Here we used the fact that
Since \(1 \pm\sin{t}\) and \(1 \pm\cos{t}\) are positive except at discrete points, (31) shows that \(\varphi_{+}\) is strictly increasing and \(\varphi_{-}\) is strictly decreasing on the intervals where they are defined.
We summarize properties of \(\varphi_{\pm}\) in Lemma 3. See Figure 3 for the graphs of \(\varphi_{\pm}\).
Lemma 3
-
(a)
For every \(n = 0, \pm1, \pm2,\ldots\) , \(\varphi_{+}(\kappa)\) is strictly increasing on the interval \(( h^{-1} ( 2\pi n + \pi/2 ), h^{-1} ( 2\pi(n+1) + \pi/2 ) )\) from −∞ to ∞, and \(\varphi_{-}(\kappa)\) is strictly decreasing on the interval \(( h^{-1} ( 2\pi n - \pi/2 ), h^{-1} ( 2\pi(n+1) - \pi/2 ) )\) from ∞ to −∞. \(\varphi_{\pm}(\kappa)\), where defined, are real-analytic.
-
(b)
Suppose \(\kappa> 0\). If \(0 < \varphi_{+}(\kappa) < 1\), then \(h^{-1} ( 2\pi n - \pi/2 ) < \kappa < h^{-1} ( 2\pi n )\) for \(n = 1,2,3,\ldots\) If \(0 < \varphi_{-}(\kappa) < 1\), then \(h^{-1} ( 2\pi n ) < \kappa < h^{-1} ( 2\pi n + \pi/2 )\) for \(n = 0,1,2,\ldots\)
The next result on the relationship between p and \(\varphi_{\pm}\), will play a crucial role in analyzing the characteristic equation (25). Note that, by Lemma 2, (25) would hold only when \(0 < \varphi_{\pm}(\kappa) < 1\).
Lemma 4
-
(a)
\(\varphi_{+} ^{\prime}(\kappa) > p^{\prime}(\kappa)\) for every \(\kappa> 0\) such that \(p(\kappa) \leq\varphi_{+}(\kappa) < 1\).
-
(b)
\(\varphi_{-} ^{\prime}(\kappa) < p^{\prime}(\kappa)\) for every \(\kappa> 0\) such that \(p(\kappa) \leq\varphi_{-}(\kappa) < 1\).
Proof
By (30), we have
Suppose \(\kappa> 0\). Since \(p(\kappa) > 0\) by Lemma 2, both of the conditions \(p(\kappa) \leq\varphi_{+}(\kappa) < 1\) and \(p(\kappa) \leq\varphi_{-}(\kappa) < 1\) imply \(0 < \cos{h(\kappa)} < 1\), and hence \(\sec{h(\kappa)} > 1\) by Lemma 3(b). (See also Figure 3.) Note also that \(h^{\prime}(\kappa) > L > 0\) by Lemma 1(b).
Suppose \(p(\kappa) \leq\varphi_{+}(\kappa) < 1\). Then \(\varphi_{+}(\kappa) > 0\), \(\sec{h(\kappa)} > 1\). Hence from (32), we have
where we used the assumption \(\varphi_{+}(\kappa) \geq p(\kappa)\) for the last inequality. So (a) will follow if we show \(p(\kappa) \{ h^{\prime}(\kappa) - L \} > p^{\prime}(\kappa)\), which, by (19), (23), (26), is equivalent to
Using (21), (33) is reduced to \(\kappa^{2} + 1 > \kappa^{2} - 1\), which is true. Thus (33) is true, and this show (a).
Suppose \(p(\kappa) \leq\varphi_{-}(\kappa) < 1\). Then \(\varphi_{-}(\kappa) > 0\), \(\sec{h(\kappa)} > 1\). From (32), we have
where we used the assumption \(\varphi_{-}(\kappa) \geq p(\kappa)\) for the last inequality. So (b) will follow if we show \(-p(\kappa) \{ h^{\prime}(\kappa) - L \} < p^{\prime}(\kappa)\), which, by (19), (23), (26), is equivalent to
Using (21) again, (34) is reduced to \(\kappa^{2} + 1 > -\kappa^{2} + 1\), which is true since \(\kappa> 0\). Thus (34) is true, and this show (b). □
4 The eigenstructure of \(\mathcal{K}_{l, \alpha, k}\): proof of Theorem 1
We now analyze the eigenstructure of the operator \(\mathcal{K}_{l, \alpha, k}\) by proving Theorem 1. It is precisely the solution structure of the equation \(\det{\mathbf{Q}} = 0\) in λ, which is equivalent to that of (25) in λ. Remember that we only need to consider the case when \(0 < \lambda< 1/k\), which is equivalent to \(\kappa> 0\) by (8).
By Lemma 2, (25) has a solution only when \(0 < \varphi_{+}(\kappa) < 1\) or \(0 < \varphi_{-}(\kappa) < 1\). By (27), (28), and Lemma 3(a), the set of \(\kappa> 0\) satisfying \(0 < \varphi_{+}(\kappa) < 1\) is contained in the union of the intervals
Similarly, the set of \(\kappa> 0\) satisfying \(0 < \varphi_{-}(\kappa) < 1\) is contained in the union of the intervals
In fact, by the intermediate value theorem, there exists at least one κ in each \(A_{n}^{+}\), for \(n = 1,2,3,\ldots\) , satisfying \(p(\kappa) = \varphi_{+}(\kappa)\), since
for \(n = 1,2,3,\ldots\) , by Lemma 2 and (27), (28). Similarly, there exists at least one κ in each \(A_{n}^{-}\), for \(n = 1,2,3,\ldots\) , satisfying \(p(\kappa) = \varphi_{-}(\kappa)\), since
for \(n = 1,2,3,\ldots\) Note that we cannot apply the intermediate value theorem to \(A_{0}^{-}\), since \(p(0) = 1 = \varphi_{-}(0)\). In fact, it will be shown in Lemma 5 that \(A_{0}^{-}\) contains no κ satisfying \(p(\kappa) = \varphi_{-}(\kappa)\).
Since the functions \(p(\kappa)\) and \(\varphi_{\pm}(\kappa)\) are real-analytic (and different), the set of κ satisfying (25) is discrete. Thus we can take the smallest \(\beta_{n}\) in \(A_{n}^{+}\) satisfying \(p(\kappa) = \varphi_{+}(\kappa)\), and the largest \(\gamma_{n}\) in \(A_{n}^{-}\) satisfying \(p(\kappa) = \varphi_{-}(\kappa)\) for \(n = 1,2,3,\ldots\) Then we have
Lemma 5
The set of κ satisfying the characteristic equation (25) is
Proof
It is sufficient to show that there is no κ in \(A_{0}^{-}\) satisfying \(p(\kappa) = \varphi_{-}(\kappa)\), and there is at most one κ in \(A_{n}^{+}\) (respectively, \(A_{n}^{-}\)) satisfying \(p(\kappa) = \varphi_{+}(\kappa)\) (respectively, \(p(\kappa) = \varphi_{-}(\kappa)\)) for \(n = 1,2,3,\ldots\)
Let \(n = 1,2,3,\ldots\) Note that, by (35) and the definition of \(\beta_{n}\), we have \(p(\kappa) > \varphi_{+}(\kappa)\) for every \(\kappa\in ( h^{-1} ( 2\pi n - \pi/2 ), \beta_{n} )\). Suppose there exists another κ in \(A_{n}^{+}\) satisfying \(p(\kappa) = \varphi_{+}(\kappa)\), which we denote \(\tilde{\beta}_{n}\). By the definition of \(\beta_{n}\), we have \(\beta_{n} < \tilde{\beta}_{n}\). We can assume \(\tilde{\beta}_{n}\) is chosen such that there is no κ between \(\beta_{n}\) and \(\tilde{\beta}_{n}\) satisfying \(p(\kappa) = \varphi_{+}(\kappa)\), since the set of solutions of (25) is discrete. So we have either \(p(\kappa) > \varphi_{+}(\kappa)\) for every \(\kappa\in ( \beta_{n}, \tilde{\beta}_{n} )\), or \(p(\kappa) < \varphi_{+}(\kappa)\) for every \(\kappa\in ( \beta_{n}, \tilde{\beta}_{n} )\). Suppose the former. Then the graphs of \(p(\kappa)\) and \(\varphi_{+}(\kappa)\) should be tangent to each other at \(\kappa= \beta_{n}\), which implies \(p^{\prime}(\beta_{n}) = \varphi_{+} ^{\prime}(\beta_{n})\). Since \(p(\beta_{n}) = \varphi_{+}(\beta_{n})\), this contradicts Lemma 4(a), and it follows that \(p(\kappa) < \varphi_{+}(\kappa)\) for every \(\kappa\in ( \beta_{n}, \tilde{\beta}_{n} )\). Then by Lemma 4(a) again, we have \(p^{\prime}(\kappa) <\varphi_{+}^{\prime}(\kappa)\) for every \(\kappa\in ( \beta_{n}, \tilde{\beta}_{n} )\). Applying the mean value theorem to the function \(p(\kappa) - \varphi_{+}(\kappa)\) on \([ \beta_{n}, \tilde{\beta}_{n} ]\), we have
for some \(\tilde{\kappa} \in ( \beta_{n}, \tilde{\beta}_{n} )\). Then we have \(p^{\prime}( \tilde{\kappa} ) = \varphi_{+} ^{\prime}( \tilde{\kappa} )\), which is a contradiction. Thus we conclude that there is no κ in \(A_{n}^{+}\) other than \(\beta_{n}\), which satisfies \(p(\kappa) = \varphi_{+}(\kappa)\).
Let \(n = 1,2,3,\ldots\) Note that, by (36) and the definition of \(\gamma_{n}\), we have \(p(\kappa) > \varphi_{-}(\kappa)\) for every \(\kappa\in ( \gamma_{n}, h^{-1} ( 2\pi n + \pi/2 ) )\). Suppose there exists another κ in \(A_{n}^{-}\) satisfying \(p(\kappa) = \varphi_{-}(\kappa)\), which we denote \(\tilde{\gamma}_{n}\). By the definition of \(\gamma_{n}\), we have \(\tilde{\gamma}_{n} < \gamma_{n}\). We can assume \(\tilde{\gamma}_{n}\) is chosen such that there is no κ between \(\tilde{\gamma}_{n}\) and \(\gamma_{n}\) satisfying \(p(\kappa) = \varphi_{-}(\kappa)\), since the set of solutions of (25) is discrete. So we have either \(p(\kappa) > \varphi_{-}(\kappa)\) for every \(\kappa\in ( \tilde{\gamma}_{n}, \gamma_{n} )\), or \(p(\kappa) < \varphi_{-}(\kappa)\) for every \(\kappa\in ( \tilde{\gamma}_{n}, \gamma_{n} )\). Suppose the former. Then the graphs of \(p(\kappa)\) and \(\varphi_{-}(\kappa)\) should be tangent to each other at \(\kappa= \gamma_{n}\), which implies \(p^{\prime}(\gamma_{n}) = \varphi_{-} ^{\prime}(\gamma_{n})\). Since \(p(\gamma_{n}) = \varphi_{-}(\gamma_{n})\), this contradicts Lemma 4(b), and it follows that \(p(\kappa) < \varphi_{-}(\kappa)\) for every \(\kappa\in ( \tilde{\gamma}_{n}, \gamma_{n} )\). Then by Lemma 4(b) again, we have \(p^{\prime}(\kappa) > \varphi_{-} ^{\prime}(\kappa)\) for every \(\kappa\in ( \tilde{\gamma}_{n}, \gamma_{n} )\). Applying the mean value theorem to the function \(p(\kappa) - \varphi_{-}(\kappa)\) on \([ \tilde{\gamma}_{n}, \gamma_{n} ]\), we have
for some \(\tilde{\kappa} \in ( \tilde{\gamma}_{n}, \gamma_{n} )\). Then we have \(p^{\prime}( \tilde{\kappa} ) = \varphi_{-} ^{\prime}( \tilde{\kappa} )\), which is a contradiction. Thus we conclude that there is no κ in \(A_{n}^{-}\) other than \(\gamma_{n}\), which satisfies \(p(\kappa) = \varphi_{-}(\kappa)\).
Suppose there exists κ in \(A_{0}^{-}\) satisfying \(p(\kappa) = \varphi_{-}(\kappa)\). Since the set of solutions of (25) is discrete, we can take \(\gamma_{0}\) to be the largest among such κ. Then we have \(p(\kappa) > \varphi_{-}(\kappa)\) for every \(\kappa\in ( \gamma_{0}, h^{-1} ( \pi/2 ) )\), since \(p ( h^{-1} ( \pi/2 ) ) > 0 = \varphi_{-} ( h^{-1} ( \pi/2 ) )\) by Lemma 2 and (28). Let \(\tilde{\gamma}_{0}\) be the largest in \([ 0, \gamma_{0} )\) satisfying \(p(\kappa) = \varphi_{-}(\kappa)\). Note that \(\tilde{\gamma}_{0}\) exists, since \(p(0) = \varphi_{-}(0) = 1\). Replacing \(\tilde{\gamma}_{n}\), \(\gamma_{n}\) by \(\tilde{\gamma}_{0}\), \(\gamma_{0}\), respectively, and applying the same argument in the above paragraph again, results in a contradiction. Thus we conclude that there is no κ in \(A_{0}^{-}\) satisfying \(p(\kappa) = \varphi_{-}(\kappa)\), and the proof is complete. □
Note that the inverse function \(h^{-1}\) of h is strictly increasing from \([0,\infty)\) onto \([0,\infty)\) by Lemma 1(a). Putting \(t = h(\kappa)\), (17) can be written as
Lemma 6
-
(a)
\(1/ ( L + 2 + \sqrt{2} ) \leq ( h^{-1} )^{\prime}(t) < 1/L\) for \(t \geq0\).
-
(b)
\(h^{-1}(t) \sim t\) and \(h^{-1}(t) - (t - 2\pi)/L \sim t^{-1}\).
Proof
(a) follows immediately from Lemma 1(b), since \(( h^{-1} )^{\prime}(t) = 1/ \{ h^{\prime}( h^{-1}(t) ) \} = 1/h^{\prime}(\kappa)\), where we put \(t = h(\kappa)\).
By (38), we have
where the last equality comes from Lemma 1(b). Since \(\lim_{\kappa\to\infty}{\hat{h}(\kappa)} = -2\pi\), we can use l’Hôspital’s rule to get
by (16). This shows \(\vert h^{-1}(t) - (t - 2\pi)/L \vert \sim t^{-1}\), which also implies \(h^{-1}(t) \sim t\). □
Note that, for \(0 < t < \pi/2\), we have
This implies that the function \(( 1 - \cos{t} )/\sin{t}\) is increasing and convex on \(( 0, \pi/2 )\), and hence \(t/2 < ( 1 - \cos{t} )/\sin{t} < 2t/\pi \) for \(0 < t < \pi/2\), since \(\lim_{t \to0} \{ ( 1 - \cos{t} )/\sin{t} \} = 0\), \(( 1 - \cos ( \pi/2 ) ) /\sin ( \pi/2 ) = 1\), and \(\lim_{t \to0} \{ ( 1 - \cos{t} )/\sin{t} \}^{\prime}= \lim_{t \to0} \{ ( 1 - \cos{t} )/\sin^{2}{t} \} = 1/2\). It follows that
since
Note that \(0 < p(\kappa) < 1\) for \(\kappa> 0\) by Lemma 2. For each \(n = 1,2,3,\ldots\) , we can take \(0 < \epsilon_{n}^{+} < \delta_{n}^{+} < \pi/2\) such that
since \(\varphi_{+}\) is strictly increasing on \(A_{n}^{+}\) from \(\varphi_{+} ( h^{-1} ( 2\pi n - \pi/2 ) ) = 0\) to \(\varphi_{+} ( h^{-1} ( 2\pi n ) ) > 1\) by (27), (28), Lemma 3(a). Similarly, we can take \(0 < \epsilon_{n}^{-} < \delta_{n}^{-} < \pi/2\) for each \(n = 1,2,3,\ldots\) , such that
since \(\varphi_{-}\) is strictly decreasing on \(A_{n}^{-}\) from \(\varphi_{+} ( h^{-1} ( 2\pi n ) ) > 1\) to \(\varphi_{+} ( h^{-1} ( 2\pi n + \pi/2 ) ) = 0\) by (27), (28), Lemma 3(a).
Suppose n is sufficiently large, so that \(h^{-1} ( 2\pi n - \pi/2 ) > 1\). This is possible, since \(h^{-1}\) is one-to-one and onto from \([0,\infty)\) to \([0,\infty)\) by Lemma 1(a). Then, since p is strictly increasing on \((1,\infty)\) by Lemma 2, we have
and hence by (41), (42), (43), (44),
It follows from the intermediate value theorem that, for sufficiently large n,
since \(\beta_{n}\) (respectively, \(\gamma_{n}\)) is the only κ in \(A_{n}^{+}\) (respectively, \(A_{n}^{-}\)) satisfying \(p(\kappa) = \varphi_{+}(\kappa)\) (respectively, \(p(\kappa) = \varphi_{-}(\kappa)\)).
Lemma 7
\(\beta_{n} \sim\gamma_{n} \sim n\), and \(\beta_{n} - h^{-1} ( 2 \pi n - \pi/2 ) \sim h^{-1} ( 2 \pi n + \pi/2 ) - \gamma_{n} \sim e^{-2\pi n}\), \(\beta_{n} - ( 2 \pi(n-1) - \pi/2 )/L \sim \gamma_{n} - ( 2 \pi(n-1) + \pi/2 )/L \sim n^{-1}\).
Proof
Suppose n is sufficiently large so that (45), (46) hold. The fact \(\beta_{n} \sim\gamma_{n} \sim n\) immediately follows from (45), (46), since \(h^{-1}(t) \sim t\) by Lemma 6(b). By (45), (46), we have
By applying the mean value theorem to \(h^{-1}\), we have
for some \(0 \leq\tilde{\epsilon}_{n}^{+} \leq\epsilon_{n}^{+}\), \(0 \leq\tilde{\delta}_{n}^{+} \leq\delta_{n}^{+}\), \(0 \leq\tilde{\epsilon}_{n}^{-} \leq\epsilon_{n}^{-}\), \(0 \leq\tilde{\delta}_{n}^{-} \leq\delta_{n}^{-}\). So by Lemma 6(a), we have
and hence by (47), (48), (49), (50),
Using (40), (41), (42), (43), (44), and the definition (24) of \(\varphi_{\pm}\), we have
and
and hence
Note that, for any constant c, we have \(\lim_{n \to\infty} p ( h^{-1} ( 2\pi n + c ) ) = 1 \) by Lemma 2 and
by Lemma 6(b). So by combining (51), (52), and (53), (54), (55), (56), we have
which shows \(\beta_{n} - h^{-1} ( 2 \pi n - \pi/2 ) \sim h^{-1} ( 2 \pi n + \pi/2 ) - \gamma_{n} \sim e^{-2\pi n}\).
and hence
So by (39), we have
which shows \(\beta_{n} - ( 2 \pi(n-1) - \pi/2 )/L \sim \gamma_{n} - ( 2 \pi(n-1) + \pi/2 )/L \sim n^{-1}\), and the proof is complete. □
Lemma 8
Suppose positive sequences \(\{ a_{n} \}_{n=1}^{\infty}\), \(\{ b_{n} \}_{n=1}^{\infty}\), \(\{ c_{n} \}_{n=1}^{\infty}\) satisfy \(a_{n} \sim b_{n} \sim n\) and \(a_{n} - b_{n} \sim c_{n}\). Then \(1/ ( 1 + b_{n}^{4} ) - 1/ ( 1 + a_{n}^{4} ) \sim n^{-5} c_{n}\).
Proof
Let \(f(x) = 1/ ( 1 + x^{4} )\). By the mean value theorem, we have
for some \(b_{n} \leq\xi_{n} \leq a_{n}\) for \(n = 1,2,3,\ldots\) Note that \(\xi_{n} \sim a_{n} \sim b_{n} \sim n\). So we have
which is bounded below and above by some positive constants for every sufficiently large n, since \(\xi_{n} \sim n\) and \(a_{n} - b_{n} \sim c_{n}\). This implies \(1/ ( 1 + b_{n}^{4} ) - 1/ ( 1 + a_{n}^{4} ) \sim n^{-5} c_{n}\). □
Proof of Theorem 1
By Proposition 3, \(\mathcal{K}_{l, \alpha, k}\) has no eigenvalues outside the interval \(( 0, 1/k )\). By (8) and Lemma 5, the eigenvalues in \(( 0, 1/k )\) are \(\mu_{n}/k\), \(\nu_{n}/k\), \(n = 1,2,3,\ldots\) , where we put
for \(n = 1,2,3,\ldots\) Note that L is the only parameter involved with the characteristic equation (25). So its solutions \(\beta_{n}\), \(\gamma_{n}\), and hence \(\mu_{n}\), \(\nu_{n}\), depend only on L for \(n = 1,2,3,\ldots\) The bounds on \(\mu_{n}\), \(\nu_{n}\) in (a) follow from (37) and (59), and thus we showed (a).
Since \(\beta_{n} \sim\gamma_{n} \sim n\) by Lemma 7, it follows easily from (59) that \(\mu_{n} \sim\nu_{n} \sim n^{-4}\). Note that \(h^{-1} ( 2 \pi n - \pi/2 ) \sim h^{-1} ( 2 \pi n + \pi/2 ) \sim n\) by Lemma 6(b). So by Lemma 8 and (59), we have
since \(\beta_{n} - h^{-1} ( 2 \pi n - \pi/2 ) \sim h^{-1} ( 2 \pi n + \pi/2 ) - \gamma_{n} \sim e^{-2\pi n}\) and \(\beta_{n} - ( 2 \pi(n-1) - \pi/2 )/L \sim \gamma_{n} - ( 2 \pi(n-1) + \pi/2 )/L \sim n^{-1}\) by Lemma 7. This shows (b), and the proof is complete. □
5 Behavior of the eigenvalues with respect to the beam length: proof of Theorem 2
In this section, we prove Theorem 2 by investigating the behavior of the eigenvalues of \(\mathcal{K}_{l, \alpha, k}\) obtained in Theorem 1, as the intrinsic length L of the given beam changes.
Lemma 9
\(\beta_{n}\) and \(\gamma_{n}\) are strictly decreasing with respect to L for \(n = 1,2,3,\ldots\)
Proof
Since \(\beta_{n}\) and \(\gamma_{n}\) are solutions of the equations \(\varphi_{+}(\kappa) - p(\kappa) = 0\) and \(\varphi_{-}(\kappa) - p(\kappa) = 0\), respectively, we have \(\varphi_{+} ( \beta_{n} ) - p ( \beta_{n} ) = 0\), and \(\varphi_{-} ( \gamma_{n} ) - p ( \gamma_{n} ) = 0\). Differentiation of these equations with respect to L gives
and hence
By differentiating (24) with respect to L, we have
where we used (29) for the second equality. So we have \(( \partial\varphi_{+}/\partial L ) ( \beta_{n} ) > 0\) and \(( \partial\varphi_{-}/ \partial L ) ( \gamma_{n} ) < 0\). Since \(p(\beta_{n}) = \varphi_{+}(\beta_{n})\) and \(p(\gamma_{n}) = \varphi_{-}(\gamma_{n})\), we have \(\varphi_{+} ^{\prime}( \beta_{n} ) - p^{\prime}( \beta_{n} ) > 0\) and \(\varphi_{-} ^{\prime}( \gamma_{n} ) - p^{\prime}( \gamma_{n} ) < 0\) by Lemma 4. Thus, by (60) and (61), we have \(d \beta_{n}/dL < 0\) and \(d \gamma_{n}/dL < 0\), which completes the proof. □
Lemma 10
For any fixed \(t > 0\), \(h^{-1}(t)\) is strictly decreasing with respect to L, and \(\lim_{L \to\infty}{h^{-1}(t)} = 0\),
Proof
Fix \(t > 0\). Differentiating both sides of (38) with respect to L, we have
Hence, by putting \(\kappa= h^{-1}(t) > 0\), we have
by (17) and Lemma 1(b). This shows that \(h^{-1}(t)\) is strictly decreasing with respect to L.
From (38), we have
since \(-2\pi< \hat{h}(\kappa) < 0\) for every \(\kappa> 0\).
Since \(h^{-1}(t)\) is strictly decreasing with respect to L, either \(\lim_{L \to0} h^{-1}(t) = \infty\), or \(\lim_{L \to0} h^{-1}(t) = c\) for some constant \(c > 0\). Suppose the latter. Taking the limits as \(L \to0\) on both sides of (38), we have
But this is impossible for \(t \geq2\pi\), since \(\hat{h}(c) > -2\pi\) for every \(c > 0\). Thus \(\lim_{L \to0} h^{-1}(t) = \infty\) for \(t \geq2\pi\).
Let \(0 < t < 2\pi\), and suppose \(\lim_{L \to0}{h^{-1}(t)} = \infty\). From (38), we have \(t = L \cdot h^{-1}(t) - \hat{h} ( h^{-1}(t) )\), and hence
since \(\lim_{\kappa\to\infty}{\hat{h(\kappa)}} = -2\pi\) by (15). This is a contradiction, and we conclude that \(\lim_{L \to0}{h^{-1}(t)} = c\) for some \(c > 0\) when \(0 < t < 2\pi\). The value of c can be obtained from (62) so that \(\lim_{L \to0}{h^{-1}(t)} = \hat{h}^{-1}(-t)\). □
Note that \(h^{-1}(3\pi/2) < \beta_{1} < h^{-1}(2\pi)\) by (37). In proving the following result, this fact makes the case \(\lim_{L \to0}{\beta_{1}}\) subtler than the others. For this case, we need to utilize additionally the fact that it is a solution of the equation \(p(\kappa) = \varphi_{+}(\kappa)\). Note that \(\lim_{L \to0}{\beta_{1}} \to\infty\) is equivalent to \(\lim_{L \to0}{h ( \beta_{1} )} = 2\pi\).
Lemma 11
\(\lim_{L \to0}{\beta_{n}} = \lim_{L \to0}{\gamma_{n}} = \infty\) and \(\lim_{L \to\infty}{\beta_{n}} = \lim_{L \to\infty}{\gamma_{n}} = 0\) for \(n = 1,2,3,\ldots\)
Proof
which shows \(\lim_{L \to0} \beta_{n} = \infty\) for \(n = 2,3,4,\ldots\) , and \(\lim_{L \to0}\gamma_{n} = \infty\), \(\lim_{L \to\infty} \beta_{n} =0\), \(\lim_{L \to\infty}\gamma_{n} = 0\) for \(n = 1,2,3,\ldots\)
It remains to show \(\lim_{L \to0}{\beta_{1}} = \infty\). Note that we cannot directly use Lemma 10, as we did above for the others, because \(\beta_{1} < h^{-1}(2\pi)\). Since \(\beta_{1}\) is strictly decreasing with respect to L by Lemma 10, either \(\lim_{L \to0}{\beta_{1}} = \infty\) or \(\lim_{L \to0}{\beta_{1}} = \overline{\beta}_{1}\) for some \(\overline{\beta}_{1} < \infty\). Suppose the latter. Then, since \(h^{-1}(3\pi/2) < \beta_{1}\), we have
by Lemma 10 and (15). Since \(\beta_{1}\) satisfies the equation \(p ( \beta_{1} ) = \varphi_{+} ( \beta_{1} )\), we have
and hence
Taking the limits of the both sides as \(L \to0\), we have
Note that
For every \(\kappa> 0\), we have \(p(\kappa) > 0\) by Lemma 2, \(\hat{h}^{\prime}(\kappa) < 0\) by (16), and
by (16) and (26). Suppose \(\kappa> ( \sqrt{3} + 1 )/\sqrt{2}\). Then \(-2\pi< \hat{h}(\kappa) < -3\pi/2\) by (15), and hence \(\cos{\hat{h} ( \kappa )} > 0\) and \(\sin{\hat{h} ( \kappa )} < 0\). From these facts, we conclude that (65) is always negative for \(\kappa> ( \sqrt{3} + 1 )/\sqrt{2}\), and hence \(p ( \kappa ) \cos {\hat{h} ( \kappa )} + \sin {\hat{h} ( \kappa )} - 1\) is strictly decreasing for \(\kappa\geq ( \sqrt{3} + 1 )/\sqrt{2}\). It follows that \(p ( \kappa ) \cos {\hat{h} ( \kappa )} + \sin {\hat{h} ( \kappa )} -1 <0 \) for \(\kappa\geq ( \sqrt{3} + 1 )/\sqrt{2}\), since
by (15). This is a contradiction to (63) and (64), and thus we conclude that \(\lim_{L \to0}{\beta_{1}} = \infty\). □
Proof of Theorem 2
6 Numerical computation of the eigenvalues
We use Newton’s method for our numerical computation. We first compute approximate values of \(\beta_{n}\) and \(\gamma_{n}\). To compute \(\beta_{n}\) (respectively, \(\gamma_{n}\)), we have to solve the equation \(p(\kappa) = \varphi_{+}(\kappa)\) (respectively, \(p(\kappa) = \varphi_{-}(\kappa)\)). By Lemma 5, \(\beta_{n}\) (respectively, \(\gamma_{n}\)) is the unique solution in the interval \(A_{n}^{+} = ( h^{-1}(2\pi n - \pi/2), h^{-1}(2\pi) )\) (respectively, \(A_{n}^{-} = ( h^{-1}(2\pi n), h^{-1}(2\pi+ \pi/2) )\)). As an initial guess for \(\beta_{n}\) (respectively, \(\gamma_{n}\)), we use \(h^{-1} ( 2\pi n - \pi/4 )\) (respectively, \(h^{-1} ( 2\pi n + \pi/4 )\)), an approximate value of which is obtained by solving (again by Newton’s method) the equation \(h(\kappa) = 2\pi n - \pi/4\) (respectively, \(h(\kappa) = 2\pi n + \pi/4\)). Note that h is one-to-one and onto, and so \(h(\kappa) = c\) has a unique global solution for any \(c > 0\).
For example, to compute \(\beta_{1}\) when \(L = 1\), we first solve the equation \(h(\kappa) = 2\pi- \pi/4\) when \(L = 1\), which is \(\kappa- \hat{h}(\kappa) = 7\pi/4\), to get
With this value as an initial guess, we use Newton’s method to the equation \(p(\kappa) = \varphi_{+}(\kappa)\) when \(L = 1\), which is
to get \(\beta_{1} \approx 1.191421197714390\). We mention that, in view of the approximation in Theorem 1(b), it is more advantageous to use \(h^{-1} ( 2\pi n \mp\pi/2 )\) as initial guesses for large n. We list the result of our computation of a few initial \(\beta_{n}\) and \(\gamma_{n}\) when \(L = 1\) in Table 2. To illustrate the bounds in (37) and the approximations in Lemma 7, we also list there corresponding values of \(h^{-1} ( 2\pi )\), \(h^{-1} ( 2\pi\pm\pi/2 )\), and \(( 2\pi(n-1) \pm\pi/2 )/L\) when \(L = 1\).
The computation of \(\mu_{n}\) (respectively, \(\nu_{n}\)) can be done by using the relations (59) and the result of computation of \(\beta_{n}\) (respectively, \(\gamma_{n}\)) above. For example, we compute \(\mu_{1}\) when \(L = 1\) as
Using (8), we could also apply Newton’s method directly to the equations
with the initial guesses \(1/ \{ 1 + ( h^{-1} ( 2\pi n \mp\pi/2 ) )^{4} \} \), but we mention that this method can be quite sensitive to initial guesses. We list the result of our computation of a few initial \(\mu_{n}\) and \(\nu_{n}\) when \(L = 1\) in Table 3. There, we also list corresponding values of \(1/ \{ 1 + ( h^{-1} ( 2\pi ) )^{4} \}\), \(1/ \{ 1 + ( h^{-1} ( 2\pi\pm\pi/2 ) )^{4} \}\), and \(1/ \{ 1 + ( 2\pi(n-1) \pm\pi/2 )^{4}/L^{4} \}\) when \(L = 1\) to illustrate the bounds and the approximations in Theorem 1.
Finally, Table 1 in Section 1 lists the result of our computation of \(\mu_{1}\), \(\nu_{1}\), \(\mu_{2}\), \(\nu_{2}\) for various L, which illustrates Theorem 2. Especially, the \(\mu_{1}\) part in Table 1 lists the \(L^{2}\)-norm of the operator \(\mathcal{K}_{l, \alpha, k}\) for various L.
References
Greenberg, MD: Foundations of Applied Mathematics. Prentice Hall, New York (1978)
Alves, E, de Toledo, EA, Gomes, LAP, de Souza Cortes, MB: A note on iterative solutions for a nonlinear fourth order ODE. Bol. Soc. Parana. Mat. 27(1), 15-20 (2009)
Beaufait, FW, Hoadley, PW: Analysis of elastic beams on nonlinear foundations. Comput. Struct. 12, 669-676 (1980)
Galewski, M: On the nonlinear elastic simply supported beam equation. An. Univ. ‘Ovidius’ Constanţa 19(1), 109-120 (2011)
Grossinho, MR, Santos, AI: Solvability of an elastic beam equation in presence of a sign-type Nagumo control. Nonlinear Stud. 18(2), 279-291 (2011)
Hetenyi, M: Beams on Elastic Foundation. University of Michigan Press, Ann Arbor (1946)
Kuo, YH, Lee, SY: Deflection of non-uniform beams resting on a nonlinear elastic foundation. Comput. Struct. 51, 513-519 (1994)
Miranda, C, Nair, K: Finite beams on elastic foundation. J. Struct. Div. 92, 131-142 (1966)
Timoshenko, SP: Statistical and dynamical stress in rails. In: Proceedings of the International Congress on Applied Mechanics, Zurich, pp. 407-418 (1926)
Timoshenko, S: Strength of Materials: Part 1 and Part 2, 3rd edn. Van Nostrand, Princeton (1955)
Ting, BY: Finite beams on elastic foundation with restraints. J. Struct. Div. 108, 611-621 (1982)
Choi, SW, Jang, TS: Existence and uniqueness of nonlinear deflections of an infinite beam resting on a non-uniform non-linear elastic foundation. Bound. Value Probl. 2012, 5 (2012). doi:10.1186/1687-2770-2012-5
Choi, SW: Spectral analysis of the integral operator arising from the beam deflection problem on elastic foundation I: positiveness and contractiveness. J. Appl. Math. Inform. 30(1-2), 27-47 (2012)
Choi, SW: On positiveness and contractiveness of the integral operator arising from the beam deflection problem on elastic foundation. Bull. Korean Math. Soc. (2015, in press)
Taylor, AE, Lay, DC: Introduction to Functional Analysis, 2nd edn. Wiley, New York (1980)
Acknowledgements
This work was supported by a Duksung Women’s University 2012 Research Grant.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares to have no competing interests.
Electronic Supplementary Material
Below are the links to the electronic supplementary material.
13661_2014_268_MOESM2_ESM.pdf
This pdf file is just a printed version of the file choi.nb, as it looks after it is opened with Mathematica and all the commands therein are executed.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Choi, S.W. Spectral analysis of the integral operator arising from the beam deflection problem on elastic foundation II: eigenvalues. Bound Value Probl 2015, 6 (2015). https://doi.org/10.1186/s13661-014-0268-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-014-0268-2