The first nontrivial curve in the fučĺk spectrum of the dirichlet laplacian on the ball consists of nonradial eigenvalues

It is well-known that the second eigenvalue λ₂ of the Dirichlet Laplacian on the ball is not radial. Recently, Bartsch, Weth and Willem proved that the same conclusion holds true for the so-called nontrivial (sign changing) Fučík eigenvalues on the first curve of the Fučík spectrum which are close to the point (λ₂, λ₂). We show that the same conclusion is true in dimensions 2 and 3 without the last restriction.

Let Ω ⊂ ℝ^N be a bounded domain, N ≥ 2. The Fučík spectrum of -Δ on is defined as a set Σ of those (λ₊, λ_-) ∈ ℝ² such that the Dirichlet problem

has a nontrivial solution . In particular, if λ₁ < λ₂ < ⋯ are the eigenvalues of the Dirichlet Laplacian on Ω (counted with multiplicity), then clearly Σ contains each pair (λ_k, λ_k), k ∈ ℕ, and the two lines {λ₁} × ℝ and ℝ × {λ₁}. Following [1, p. 15], we call the elements of Σ \ ({λ₁} × ℝ ∪ ℝ × {λ₁}) nontrivial Fučík eigenvalues. It was proved in [2] that there exists a first curve of nontrivial Fučík eigenvalues in the sense that, defining η: (λ₁, ∞) → ℝ by

we have that λ₁ < η(λ) < ∞ for every λ (>λ₁), and the curve

consists of nontrivial Fučík eigenvalues. Moreover, it was proved in [2] that is a continuous and strictly decreasing curve which contains the point (λ₂, λ₂) and which is symmetric with respect to the diagonal.

It was conjectured in [1, p. 16], that if Ω is a radially symmetric bounded domain, then every eigenfunction u of (1) corresponding to some is not radial. The authors of [1, p. 16] actually proved that the conjecture is true if but sufficiently close to the diagonal.

The original purpose of this paper was to prove that the above conjecture holds true for all provided Ω is a ball in ℝ^N with N = 2 and N = 3. Without loss of generality, we prove it for the unit ball B centred at the origin. Cf. Theorem 6 below.

During the review of this paper, one of the reviewers drew the authors' attention to the paper [3], where the same result is proved for general N ≥ 2 (see [3, Theorem 3.2]). The proof in [3] uses the Morse index theory and covers also problems with weights on more general domains than balls. On the other hand, our proof is more elementary and geometrically instructive. From this point of view, our result represents a constructive alternative to the rather abstract approach presented in [3]. This is the main authors' contribution.

Let us fix s ∈ ℝ and let us draw in the (λ₊, λ_-) plane a line parallel to the diagonal and passing through the point (s, 0), see Figure 1.

We show that the point of intersection of this line and corresponds to the critical value of some constrained functional (cf. [4, p. 214]). To this end we define the functional

Then is a C¹-functional on and we look for the critical points of the restriction of to

By the Lagrange multipliers rule, is a critical point of if and only if there exists t ∈ ℝ such that

for all . This means that

holds in the weak sense. In particular, (λ₊, λ_-) = (s + t, t) ∈ Σ. Taking v = u in (2), one can see that the Lagrange multiplier t is equal to the corresponding critical value of .

From now on we assume s ≥ 0, which is no restriction since Σ is clearly symmetric with respect to the diagonal. The first eigenvalue λ₁ of -Δ on is defined as

It is well known that λ₁ > 0, simple and admits an eigenfunction with φ₁ satisfying φ₁(x) > 0 for x ∈ Ω. Let

and

We keep the same notation γ for the image of a function γ = γ (t). It follows from [4, Props. 2.2, 2.3 and Thms. 2.10, 3.1] that the first three critical levels of are classified as follows.

(i) φ₁ is a strict global minimum of with . The corresponding point in Σ is (λ₁, λ₁ - s), which lies on the vertical line through (λ₁, λ₁).

(ii) -φ₁ is a strict local minimum of , and . The corresponding point in Σ is (λ₁ + s, λ₁), which lies on the horizontal line through (λ₁, λ₁).

(iii) For each s ≥ 0, the point (s + c(s), c(s)), where c(s) > λ₁ is defined by the minimax formula (4), belongs to Σ. Moreover, the point (s + c(s), c(s)) is the first nontrivial point of Σ on the parallel to the diagonal through (s, 0).

Next we summarize some properties of the dependence of the (principal) first eigenvalue λ₁(Ω) on the domain Ω. The following proposition follows immediately from the variational characterization of λ₁ given by (3) and the properties of the corresponding eigenfunction φ₁.

Proposition 1. λ₁(Ω₂) < λ₁(Ω₁) whenever Ω_i, i = 1, 2, are bounded domains satisfying Ω₁ ⊆ Ω₂ and meas(Ω₁) < meas(Ω₂).

Let us denote by V_d, d ∈ (0, 1), the ball canopy of the height 2d and by B_d the maximal inscribed ball in V_d (see Figure 2). It follows from Proposition 1 that for d ∈ (0, 1), we have

Moreover, from the variational characterization (3), the following properties of the function

follow immediately.

Proposition 2. The function (6) is continuous and strictly decreasing on (0, 1), it maps (0, 1) onto (λ₁(B), ∞) and , .

In particular, it follows from Proposition 2 that, given s ≥ 0, there exists a unique such that

Let and be positive principle eigenvalues associated with and , respectively. We extend both functions on the entire B by setting on , on and then normalize them by , . Our aim is to construct a special curve γ ∈ Γ on which the values of stay below . Actually, the curve γ connects φ₁ with (-φ₁) and passes through and . For this purpose we set γ = γ₁ ∪ γ₂ ∪ γ₃, where

Changing suitably the parametrization of γ_i, i = 1, 2, 3 (we skip the details for the brevity), γ can be viewed as a graph of a continuous function, mapping [-1, 1] into . We prove

Proposition 3. for all u ∈ γ.

For the proof we need so-called ray-strict convexity of the functional

defined on

We say that is ray-strictly convex if for all τ ∈ (0, 1) and v₁, v₂ ∈ V₊ we have

where the equality holds if and only if v₁ and v₂ are colinear.

Lemma 4 (see [5, p. 132]). The functional defined by (8) is ray-strictly convex.

Proof of Proposition 3.

1. The values on γ₁. For u ∈ γ₁ we have

by Lemma 4 (with Ω := B), (3) and (7).

2. The values on γ₂. Let u ∈ γ₂, then there exist α ≥ 0, β ≥ 0, α² + β² = 1 and such that . Since the supports of and are mutually disjoint, we have

by (7).

3. The values on γ₃. For u ∈ γ₃ we have (similarly as in the first case)

■

From Proposition 3, (4) and (5) we immediately get

Proposition 5. Given s ≥ 0, we have

Radial Fučík spectrum has been studied in [6]. Let |x| be the Euclidean norm of x ∈ ℝ^N and u = u(|x|) be a radial solution of the problem

Set r = |x| and write v(r) = u(|x|). It follows from the regularity theory that (10) is equivalent to the singular problem

The authors of [6] provide a detailed characterization of the Fučík spectrum of (11) by means of the analysis of the linear equation associated to (11):

The function v is a solution of (12) if and only if is a solution of

Note that the functions v and have the same zeros.

Let us investigate the radial Fučík eigenvalues which lie on the line parallel to the diagonal and which passes through the point (s, 0) in the (λ₊, λ_- )-plane. The first two intersections coincide with the points (λ₁, λ₁ - s) and (λ₁ + s, λ₁). This fact follows from the radial symmetry of the principal eigenfunction of the Dirichlet Laplacian on the ball. A normalized radial eigenfunction associated with the next intersection has exactly two nodal domains and it is either positive or else negative at the origin. Let us denote the former eigenfunction by u¹ and the latter one by u², respectively. Let (λ¹ + s, λ¹) and (λ² + s, λ²) be Fučík eigenvalues associated with u¹ and u², respectively. The property (iii) on page 5 implies that c(s) ≤ λⁱ, i = 1, 2.

The main result of this paper states that the above inequalities are strict and it is formulated as follows.

Theorem 6. Let N = 2 or N = 3 and s ∈ ℝ be arbitrary. Then

In particular, nontrivial Fučík eigenvalues on the first curve of the Fučík spectrum are not radial.

Proof. Let uⁱ(x) = vⁱ(r), i = 1, 2, r = |x|. Then there exists d¹ ∈ (0, 1) such that v¹(r) is a solution of

and

After the substitution , is a solution of

and

Let u₁ = u₁(x) and u₂ = u₂(x) be the principal positive eigenfunctions associated with and , respectively. Both u_i, i = 1, 2, are radially symmetric with respect to the centre of the corresponding ball. Due to the invariance of the Laplace operator with respect to translations we may assume that both and are centred at the origin. We then set u_i(x) = w_i(r), i = 1, 2, r = |x|. The functions w_i, i = 1, 2, solve

and

After the substitution , i = 1, 2, we have

and

The substitution transforms (15) to

Let us assume that and that d¹ > d_s. Choose and set . Then solves

It follows that (18) is a Sturm majorant for (17) on the interval and on . Since and , , we have a contradiction with the Sturm Separation Theorem (see [7, Cor. 3.1, p. 335]). Hence d¹ ≤ d_s. Similar application of the Strum Separation Theorem to (14) and (16) now yields

Since we also have , it follows from (7) and (19) that

a contradiction which proves that .

Similarly as above, there exists d² ∈ (0, 1) such that v² is a solution of

and

After the substitution , is a solution of

and

Assume that and that 1- d_s > d². Similar arguments based on the Sturm Comparison Theorem yield first that 1- d_s ≤ d² (i.e., 1 - d² ≤ d_s), and then (16), (21) that

As above we obtain

a contradiction which proves that .

The assertion now follows from Proposition 5. ■

Remark 7. Careful investigation of the above proof indicates that (N - 1)(3 - N) ≤ 0 is needed to make the comparison arguments work. The proof is simpler for N = 3 when the transformed equations for and are autonomous. The application of the Sturm Comparison Theorem is then more straightforward.

The authors declare that they have no competing interests.

All authors contributed to each part of this work equally.

Jiří Benedikt and Petr Girg were supported by the Project KONTAKT, ME 10093, Pavel Drábek was supported by the Project KONTAKT, ME 09109.

1. Bartsch, T, Weth, T, Willem, M: Partial symmetry of least energy nodal solutions to some variational problems. J. D'Analyse Mathématique. 96, 1–18 (2005). PubMed Abstract | PubMed Central Full Text

2. de Figueiredo, D, Gossez, J-P: On the first curve of the Fučík spectrum of an elliptic operator. Differ. Integral Equ. 7, 1285–1302 (1994)

3. Bartsch, T, Degiovanni, M: Nodal solutions of nonlinear elliptic Dirichlet problems on radial domains. Rend. Licei Mat. Appl. 17, 69–85 (2006)

4. Cuesta, M, de Figueiredo, D, Gossez, J-P: The beginning of the Fučík spectrum for the p-Laplacian. J. Differ. Equ. 159, 212–238 (1999). Publisher Full Text

5. Takáč, P: Degenerate elliptic equations in ordered Banach spaces and applications. In: Drábek P, Krejčí P, Takáč P (eds.) Nonlinear Differential Equations. Chapman and Hall/CRC Res. Notes Math, vol. 404, pp. 111–196. CRC Press LLC, Boca Raton (1999)

6. Arias, M, Campos, J: Radial Fučik spectrum of the Laplace operator. J. Math. Anal. Appl. 190, 654–666 (1995). Publisher Full Text

7. Hartman, P: Ordinary Differential Equations. Wiley, New York (1964)