International Journal of Analysis

Volume 2014 (2014), Article ID 467831, 5 pages

http://dx.doi.org/10.1155/2014/467831

Research Article

Unexpected Solutions of the Nehari Problem

A. Gritsans¹ and F. Sadyrbaev²

¹University of Daugavpils, Parades Street 1, Daugavpils, LV-5400, Latvia

²Institute of Mathematics and Computer Science, University of Latvia, Raynis Boulevard 29, Riga, LV-1459, Latvia

Received 28 November 2013; Accepted 19 March 2014; Published 10 April 2014

Academic Editor: Luc Molinet

Copyright © 2014 A. Gritsans and F. Sadyrbaev. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

The Nehari characteristic numbers 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 which is associated with oscillatory solutions of BVP (namely, with those having exactly four zeros in .

1. 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

The Nehari numbers , by definition, are minimal values of the functional

over the set of all functions , which are continuous and piecewise continuously differentiable in ; there exist numbers such that and in any ; in any , and

It was proved in [2] (see also [3]) that minimizers in the above variational problem are -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 with the first characteristic number . These minimizers are positive solutions of the problem (4) ().

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.

Figure 1: Three solutions of the BVP from [5].

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 under the Dirichlet boundary condition.” It was proved that if the density of the coefficient function is thin in the interior of 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 . Solutions for this characteristic value have exactly four zeros in an open interval . We construct the example and provide all the calculations and visualizations.

2. Preliminaries

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).

2.2. Auxiliary Functions

In our constructions below we use the auxiliary functions called the lemniscatic sine and cosine . These functions can be introduced as solutions of the Cauchy problems, respectively, as follows:

for the equation . 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.

3. Construction of the Equation

Consider the interval . Define the piecewise linear function

where and is a selected number. Define . The function (depicted in Figure 2) is U-shaped function “thin” in the middle of the interval .

Figure 2: The function in (9) for and .

Consider equation

together with the boundary conditions

Consider the Cauchy problems

Let

  be a solution of (11) in ,  a solution of (12) in .

Then, the function

is a -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 and , the system takes the form

Notice that if a solution 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 and in the square are depicted in Figure 3. Notice that a set of zeros of consists of the diagonal and the “wings.”

Figure 3: Zeros of (solid line) and (dashed line), .

The intersection points of smaller “hat” with the zero set of 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 ). The similar proof can be conducted for the middle “hat” in Figure 3. There are exactly three cross-points (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 . The respective values of the Nehari functional (5) were calculated and the result is the same: the even solution supplies , the two solutions of asymmetric shape supply the value .

Therefore, we confirm the phenomenon observed in [5, 6] also for oscillatory (with exactly two zeros in ) solutions.

3.1. Nehari Solutions with Four Internal Zeros

We study in details the case of the Nehari characteristic number . Related solutions of the boundary value problem have exactly four zeros in the interval . Solving the system (24) on the third (counting from the origin) “hat” provides us with values

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 and 6.

Figure 4: .

Figure 5: .

Figure 6: .

In order to detect the Nehari solutions, we compute the expression

in (5) for the three solutions depicted in Figure 4 to Figure 6. Recall that ,  , and  .

Let be the numerical value of the above expression for solutions defined by the initial data ,  ,  .

One gets that . The integral over the even solution is . The Nehari solutions are those of asymmetric shape.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

References

R. Courant and D. Hilbert, Methods of Mathematical Physics, vol. 1, Interscience, New York, NY, USA, 1953.

Z. Nehari, “Characteristic values associated with a class of non-linear second-order differential equations,” Acta Mathematica, vol. 105, pp. 141–175, 1961.

Z. Nehari, “On a class of nonlinear second-order differential equations,” Transactions of the American Mathematical Society, vol. 95, pp. 101–123, 1960.

F. Sadyrbaev, “Solutions of an equation of Emden-Fowler type,” Differential Equations, vol. 25, no. 5, pp. 560–565, 1989.

A. Gritsans and F. Sadyrbaev, “Characteristic numbers of non-autonomous Emden-Fowler type equations,” Mathematical Modelling and Analysis, vol. 11, no. 3, pp. 243–252, 2006.

R. Kajikiya, “Non-even least energy solutions of the Emden-Fowler equation,” Proceedings of the American Mathematical Society, vol. 140, no. 4, pp. 1353–1362, 2012.

R. Kajikiya, “Least energy solutions of the generalized Hénon equation in reflectionally symmetric or point symmetric domains,” Journal of Differential Equations, vol. 253, no. 5, pp. 1621–1646, 2012.

R. Kajikiya, “Non-even positive solutions of the one-dimensional -Laplace Emden-Fowler equation,” Applied Mathematics Letters, vol. 25, no. 11, pp. 1891–1895, 2012.

A. Gritsans and F. Sadyrbaev, “Lemniscatic functions in the theory of the Emden-Fowler diferential equation,” Mathematics. Differential Equations, vol. 3, pp. 5–27, 2003.