Unexpected Solutions of the Nehari Problem

The Nehari characteristic numbers λ n (a, b) are the minimal values of an integral functional associated with a boundary value problem (BVP) for nonlinear ordinary differential equation. In case of multiple solutions of the BVP, the problem of identifying of minimizers arises. It was observed earlier that for nonoscillatory (positive) solutions of BVP those with asymmetric shape can provide the minimal value to a functional. At the same time, an even solution with regular shape is not a minimizer. We show by constructing the example that the same phenomenon can be observed in the Nehari problem for the fifth characteristic number


Introduction
The variational theory of eigenvalues in Sturm-Liouville problems for linear ordinary differential equations provides variational interpretation of eigenvalues which emerge as minima of some quadratic functionals being considered with certain restrictions [1].
As to nonlinear boundary value problems for ordinary differential equations, the Nehari theory of characteristic values provides some analogue of the linear theory.The Nehari theory deals in particular with superlinear differential equations of the form   = − () || 2 ,  > 0. ( The Nehari numbers   (, ), by definition, are minimal values of the functional over the set Γ  of all functions (), which are (1) continuous and piecewise continuously differentiable in [, ]; (2) It was proved in [2] (see also [3]) that minimizers in the above variational problem are  2 -solutions of the boundary value problem Putting (3) into (2) one gets where () is an appropriate solution of the BVP (4).The BVP (4) may have multiple solutions but not all of them are minimizers.
It appears that in order to detect   (, ) it is sufficient to consider solutions of the boundary value problem (4).
Z. Nehari posed the question is it true that there is only one minimizer associated with   (, ).It was shown implicitly in [4] that there may be multiple minimizers associated International Journal of Analysis with the first characteristic number  1 (, ).These minimizers are positive solutions of the problem (4) ( = 1).
Later in the work by the authors [5] the example was constructed showing three solutions of the BVP (4).They are depicted in Figure 1.
Two of these solutions are asymmetric and one is an even function.Surprisingly, two asymmetric solutions are the minimizers.
The same phenomenon was observed later by Kajikiya [6] who studied "the Emden-Fowler equation whose coefficient is even in the interval (−1, 1) under the Dirichlet boundary condition." It was proved that if the density of the coefficient function is thin in the interior of (−1, 1) and thick on the boundary, then a least energy solution is not even.Therefore, the equation has at least three positive solutions: the first one is even, the second one is a non-even least energy solution (), and the third one is the reflection (−).Similar phenomena were discussed in [7,8].
In this note, we confirm this phenomenon for the characteristic value  5 .Solutions for this characteristic value have exactly four zeros in an open interval (, ).We construct the example and provide all the calculations and visualizations.

Auxiliary Functions.
In our constructions below we use the auxiliary functions called the lemniscatic sine sl  and cosine cl .These functions can be introduced as solutions of the Cauchy problems, respectively, as follows: for the equation   = −2 3 .These functions are much like the usual sine and cosine functions, but they are not the derivatives of each other.Instead the following holds: A complete list of formulas for the lemniscatic functions can be found in [9].The lemniscatic functions can be handled symbolically by the Wolfram Mathematica program using the representation in terms of the built-in Jacobi functions.

Construction of the Equation
Consider the interval [−1, 1].Define the piecewise linear function where  = ℎ + 1 and ℎ > 0 is a selected number.Define () = 2/() 6 .The function () (depicted in Figure 2) is U-shaped function "thin" in the middle of the interval Consider equation together with the boundary conditions Consider the Cauchy problems International Journal of Analysis Then, the function is a  2 -solution of the problem ( 9) and the problem (10) if the continuity and smoothness conditions are satisfied.The problems (11) and ( 12) can be solved explicitly as where The derivatives can be computed as In order to get an explicit formula for a solution of the BVP ( 9) and ( 10), one has to solve a system of two equations with respect to (, ): This system after replacements and simplifications is In new variables  :=  1/2 / and V :=  1/2 /, the system takes the form Notice that if a solution ( 0 , V 0 ) of the system (21) is known, then a solution () of the BVP ( 9) and ( 10) can be constructed such that If we introduce the functions the system (21) can be rewritten as Zeros of the functions Φ(, V) and Ψ(, V) in the square  = {(, V) : 0 ≤ , V ≤ 9} are depicted in Figure 3. Notice that a set of zeros of Φ consists of the diagonal  = V and the "wings." The intersection points of smaller "hat" with the zero set of Φ(, V) reflect three solutions of the problem ( 9) and (10) depicted in Figure 1.The cross-point on the bisectrix relates to the even solution, and two symmetric cross-points on the "wings" relate to the remaining two solutions of asymmetric shape.The latter two solutions are "unexpected" minimizers (or, as in [6], "non-even least energy solutions").
It was proved in [5, Proposition 1] that for ℎ sufficiently large there are exactly three cross-points on a smaller "hat" (probably, for any ℎ > 1).The similar proof can be conducted for the middle "hat" in Figure 3.There are exactly three crosspoints (and exactly three solutions of the system (24)) that give rise to solutions of the problem (9) and the problem (10) that have exactly two zeros in the interval (−1, 1).The respective values of the Nehari functional () (5) were calculated and the result is the same: the even solution supplies ( even ) = 505549, the two solutions of asymmetric shape supply the value ( asym ) = 332861.Therefore, we confirm the phenomenon observed in [5,6] also for oscillatory (with exactly two zeros in (−1, 1)) solutions.

Nehari Solutions with Four Internal Zeros.
We study in details the case of the Nehari characteristic number  5 (−1, 1).Related solutions of the boundary value problem have exactly four zeros in the interval (−1, 1).Solving the system (24) on the third (counting from the origin) "hat" provides us with values  1 = 3666.804,V 1 = 7135.523; 2 = V 2 = 6275.287;The respective solutions are known analytically through (15) and ( 16) and can be computed numerically.The second way yields the three graphs depicted in Figures 4, 5 Let   be the numerical value of the above expression for solutions defined by the initial data (−1) = 0,   (−1) = (  ) 2 ,  = 1, 2, 3.
One gets that  1 =  3 = 1968611.835.The integral over the even solution is  2 = 2582181.527.The Nehari solutions are those of asymmetric shape.

2. 1 .
Conventions and Definitions.The problem of finding characteristic values   (, ) is called the Nehari problem.A function () that supplies minimal value in the Nehari problem will be called the Nehari solution.Nehari solutions associated with the equation, the interval (, ), and the number , all are solutions of the respective boundary value problem (4).