• Nie Znaleziono Wyników

The purpose of this paper is to provide a sufficient condition for bifurcation of equations of the form

N/A
N/A
Protected

Academic year: 2021

Share "The purpose of this paper is to provide a sufficient condition for bifurcation of equations of the form"

Copied!
8
0
0
Pokaż więcej ( Stron)

Pełen tekst

(1)

POLONICI MATHEMATICI LXXI.1 (1999)

On bifurcation intervals for nonlinear eigenvalue problems by Jolanta Przybycin (Krak´ ow)

Abstract. We give a sufficient condition for [µ − M, µ + M ] × {0} to be a bifurcation interval of the equation u = L(λu + F (u)), where L is a linear symmetric operator in a Hilbert space, µ ∈ r(L) is of odd multiplicity, and F is a nonlinear operator. This abstract result provides an elementary proof of the existence of bifurcation intervals for some eigenvalue problems with nondifferentiable nonlinearities. All the results obtained may be easily transferred to the case of bifurcation from infinity.

1. The abstract result. Following Berestycki [1], by a bifurcation inter- val we understand an interval which contains at least one bifurcation point.

The purpose of this paper is to provide a sufficient condition for bifurcation of equations of the form

(1) u = L(λu + F (u)).

Let (E, k k E ) be a real Banach space imbedded in a Hilbert space (H, k k H ).

We assume that L is a linear symmetric operator in H, Range L ⊂ E, and L : E → E is compact. We denote by r(L) the set of characteristic values of L. The nonlinear operator F : E → H satisfies the following conditions:

(2) L ◦ F : E → E is compact and ∃ M >0 ∀ u∈E kF (u)k H ≤ M kuk H . By a solution of (1) is meant a pair (λ, u) ∈ R×E satisfying (1). In particular, (1) has the line of trivial solutions.

Now we show that (1) possesses no nontrivial solutions when λ 6∈

[µ − M, µ + M ] for µ ∈ r(L).

Theorem 1. If (λ, u) is a nontrivial solution of (1), then

(3) dist(λ, r(L)) ≤ M.

1991 Mathematics Subject Classification: Primary 35P30.

Key words and phrases: bifurcation interval, symmetric operator, Sturm–Liouville problem, Dirichlet problem, Leray–Schauder degree, characteristic values.

[39]

(2)

P r o o f. The pair (λ, u) satisfies (1). For λ 6∈ r(L), I − λL is invertible, so that (1) is equivalent to

u = (I − λL) −1 LF (u).

Hence

kuk H ≤ k(I − λL) −1 Lk · kF (u)k H ≤ k(I − λL) −1 Lk · M · kuk H , so

1 ≤ k(I − λL) −1 Lk · M.

From the spectral mapping theorem for symmetric operators ([3], p. 273) we have k(I − λL) −1 Lk −1 = dist(λ, r(L)), which completes the proof.

We can now formulate the main theorem.

Theorem 2. If µ ∈ r(L) is of odd multiplicity and dist(µ, r(L) − {µ})

> 2M , then [µ − M, µ + M ] × {0} is a bifurcation interval for (1).

P r o o f. It is sufficient to show that for any δ > 0 there exists a solution (λ, u) of (1) with kuk E = δ and λ ∈ [µ − M, µ + M ]. Fix δ and set B = {u ∈ E : kuk E < δ}. By assumption, there exists ε > 0 such that dist(µ, r(L) − {µ}) = 2M + ε. Set λ = µ − M − ε/2 and λ = µ + M + ε/2. It is clear that (4) dist(λ, r(L)) = dist(λ, r(L)) = M + ε/2.

From (3) it follows that it suffices to prove the existence of a solution (λ, u) ∈ [λ, λ] × ∂B.

We argue by contradiction, so suppose that u 6= L(λu + F (u)) for all u ∈ ∂B and λ ∈ [λ, λ]. Since L ◦ (λI + F ) is compact on B, the Leray–

Schauder degree d(Φ(λ), B, 0) of Φ(λ) = I − L ◦ (λI + F ) with respect to B and the point 0 is well defined for all λ ∈ [λ, λ]. By the homotopy invariance of the degree,

d(Φ(λ), B, 0) = const for λ ∈ [λ, λ].

In particular we have

(5) d(Φ(λ), B, 0) = d(Φ(λ), B, 0).

Consider now the first term in (5). Notice that u 6= L(λu + tF (u)) for u ∈ ∂B and t ∈ [0, 1]. If not, proceeding as in the proof of Theorem 1, we obtain dist(λ, r(L)) ≤ M , which contradicts (4).

So, using the homotopy invariance again we obtain d(Φ(λ), B, 0) = d(I − λL, B, 0) = i(λ).

The same argument can be used for λ. Hence i(λ) = i(λ). Since µ is the only

characteristic value of L in [λ, λ] and µ is of odd multiplicity k µ , it follows

that i(λ) · (−1) k µ = i(λ) 6= 0, which is impossible. The theorem is proved.

(3)

Assuming additionally that

(6) ∃ m∈R (L ◦ F ) (0) = mL

we obtain

Theorem 3. Under the assumptions of Theorem 2, if moreover (6) holds, then the bifurcation interval [µ − M, µ + M ] × {0} degenerates to the point (µ − m, 0).

P r o o f. Let (λ, 0) ∈ [µ − M, µ + M ] × {0} be a bifurcation point for (1).

This means that there exists a sequence R × E ∋ (λ n , u n ) → (λ, 0) satisfy- ing (1). Dividing (1) by ku n k E and setting u n /ku n k E = w n yields

w n = L



λ n w n + F (u n ) ku n k E

 , which is equivalent to

(7) w n = (λ n + m)Lw n + L(F (u n )) − mLu n

ku n k E

.

The second term on the right tends to 0 as n → ∞. Since L is compact, a sub- sequence of Lw n converges. Hence the left-hand side of (7) has a convergent subsequence w n k → w with kwk E = 1 and w = (λ + m)Lw. Consequently, λ + m ∈ r(L).

Since |λ − µ| ≤ M and |m| ≤ M we obtain |λ + m − µ| ≤ 2M , which is only possible when λ = µ − m. The proof is complete.

2. Applications to differential equations. Perhaps the nicest ap- plications of Theorem 2 are to nonlinear Sturm–Liouville boundary value problems with nondifferentiable nonlinearities. Consider

(8) Lu = −(pu ) + qu = λu + f (·, u, u ) in (0, π) together with the separated boundary conditions

(8.1) a 1 u(0) − α 2 u (0) = 0, β 1 u(π) + β 2 u (π) = 0,

where α i , β i ≥ 0 and (α 2 12 2 )(β 1 22 2 ) 6= 0. As usual we assume p ∈ C 1 [0, π], q ∈ C[0, π] and p > 0, q ≥ 0 on [0, π]. Suppose f is continuous on [0, π] × R 2 and satisfies

∃ M >0 ∀ (x,ξ,η)∈[0,π]×R 2 |f (x, ξ, η)| ≤ M |ξ|.

For f = 0 the boundary value problem (8), (8.1) becomes a linear Sturm–

Liouville problem, which has an increasing sequence of simple eigenvalues

0 < µ 1 < µ 2 < . . . with lim k→∞ (µ k − µ k−1 ) = ∞. This means in particular

that the intervals [µ k − M, µ k + M ] are disjoint for k large enough.

(4)

The boundary value problem (8), (8.1) is equivalent to the integral equa- tion

u(·) =

π

\

0

g(·, y)[λu(y) + f (y, u(y), u (y))] dy = L(λu + F (u)), where

Lu =

π

\

0

g(·, y)u(y) dy, F (u) = f (·, u, u ), and g is the Green function for L with (8.1).

Taking H = L 2 (0, π) and E = {u ∈ C 1 [0, π] : u satisfies (8.1)} it is easily seen that all the requirements on L and F are satisfied. Thus we have the following theorem.

Theorem 4. For every k > k 0 = min{k ∈ N : µ k −µ k−1 > 2M for k > k}, [µ k − M, µ k + M ] × {0} is a bifurcation interval for (8), (8.1).

Remark 1. This result is well known and may be found in many papers ([1], [2], [7]) presenting different viewpoints and different methods.

The same theorem is formulated and proved in [5] for compositions of Sturm–Liouville operators.

Remark 2. If we assume additionally that

m∈R ∀ x∈[0,π] lim

(ξ,η)→(0,0)

f (x, ξ, η)

ξ = m,

then, according to Theorem 3, the bifurcation interval [µ k −M, µ k +M ]×{0}

degenerates to the point (µ k − m, 0).

We conclude this section with some applications to nonlinear elliptic partial differential equations.

Let Ω ⊂ R n be a bounded domain with a smooth boundary. Consider the Dirichlet boundary value problem

(9)

 

 

N u = − X n i,j=1

∂x i

 a ij ∂u

∂x j



+ qu = λu + f (·, u, Du) in Ω, u| ∂Ω = 0,

where Du = (∂u/∂x 1 , . . . , ∂u/∂x n ).

We assume that N is uniformly elliptic in Ω, a ij = a ji > 0, a ij ∈ C 1 (Ω) and 0 ≤ q ∈ C(Ω).

Suppose f is continuous on Ω × R × R n and satisfies

∃ M >0 ∀ (x,ξ,η)∈Ω×R×R n |f (x, ξ, η)| ≤ M |ξ|.

(5)

For p > 1, let W 0 m,p (Ω) denote the closure of C 0 m (Ω) = {u ∈ C m (Ω) : u| ∂Ω = 0} with respect to the norm

|u| m,p =  X

|α|≤m

\

|D α u(x)| p dx  1/p

,

and let | · | 0,p = | · | p . Clearly W 0 0,p (Ω) = L p (Ω).

Let E = C 0 1 (Ω) with its usual norm |u| E = P

|α|≤1 max x∈Ω |D α u(x)|.

For p > n, W 0 2,p (Ω) is compactly imbedded in E. A couple (λ, u) ∈ R × E is said to be a solution of (9) if u ∈ W 0 2,p (Ω) and (λ, u) satisfies (9).

If f = 0 then the linear problem N u = µu in Ω, u| ∂Ω = 0 has a smallest positive eigenvalue µ 1 which is simple.

Using the L p theory for uniformly elliptic partial differential equations ([4], §2.5) we can convert (9) into an equivalent operator equation in R × E of the form (1). Namely, let (λ, u) ∈ R × E and consider the linear boundary value problem

(10) N w = λu + f (·, u, Du) in Ω, w| ∂Ω = 0.

Since the right-hand side of (10) as a continuous function on Ω is in L p (Ω) for all p > 1, there exists a unique solution w = G(λ, u) ∈ W 0 2,p (Ω) of (10) satisfying

(11) |w| 2,p ≤ const |λu + f (·, u, Du)| p .

Thus choosing any p > n we obtain the compactness of G : R × E → E.

Any solution of (9) satisfies u = G(λ, u) and conversely.

Let z ∈ C(Ω) and let w = Lz denote the unique solution of N w = z in Ω, w| ∂Ω = 0. Then L : L p (Ω) ⊃ C(Ω) → W 0 2,p (Ω) is well defined for any p > 1. In particular L is linear and symmetric in H = L 2 (Ω) (since N is symmetric and Range N is dense in H) and L : C(Ω) → E is compact.

Hence G(λ, u) = λLu + L(F (u)), where F (u) = f (·, u, Du).

Thus we have shown that problem (9) is equivalent to (1), so the next result is an immediate consequence of Theorem 2:

Theorem 5. If dist(µ 1 , r(L) − {µ 1 }) > 2M , then [µ 1 − M, µ 1 + M ] × {0}

is a bifurcation interval for (9).

Remark 3. The same result may be proved for symmetric and positive definite operators N = N 1 ◦ N 0 , where

N k u = − X n i,j=1

∂x i

 a k ij ∂u

∂x j



+ q k u, k = 0, 1,

with boundary conditions u| ∂Ω = 0, N 0 u| ∂Ω = 0.

(6)

Consider as an example the following problem:

(12) ∆ 2 u = λu + f (·, u, Du) in Ω, u| ∂Ω = 0, −∆u| ∂Ω = 0.

Let E = {u ∈ C 3 (Ω) : u| ∂Ω = 0, −∆u| ∂Ω = 0}, H = L 2 (Ω). We only need to verify that (12) is equivalent to (1). For fixed (λ, u) ∈ R × E the linear problem

2 v = λu + f (·, u, Du) in Ω, v| ∂Ω = 0, −∆v| ∂Ω = 0, can be replaced by the following coupled problem:

−∆w = λu + f (·, u, Du) in Ω, w| ∂Ω = 0,

−∆v = w in Ω, v| ∂Ω = 0.

The L p theory implies the existence of a unique w ∈ W 0 2 (Ω) satisfying (11).

Arguing as above once again we obtain a unique solution v = G(λ, u) ∈ W 0 4 (Ω) satisfying

|v| 4,p ≤ const |w| 2,p ≤ const |λu + f (·, u, Du)| p .

Since W 0 4,p (Ω) ⊂ E is compact for p > n, problem (12) is equivalent to (1) with L defined in the same way as in the proof of Theorem 5.

3. Bifurcation from infinity. The theorems obtained may be trans- ferred to the case of bifurcation from infinity.

Following Rabinowitz [6] we say (λ, ∞) is a bifurcation point for (1) if every neighbourhood of (λ, ∞) contains solutions of (1), i.e. there exists a sequence (λ n , u n ) of solutions of (1) such that λ n → λ and ku n k E → ∞. We follow the standard pattern and perform the change of variable w = ukuk −2 E for u 6= 0. Dividing (1) by kuk 2 E yields

(13) w = L(λw + e F (w)),

where

F (w) = e

 kwk 2 E F (w/kwk 2 E ) for w 6= 0,

0 for w = 0.

Thus (λ, 0) is a bifurcation point for (13) if and only if (λ, ∞) is a bifurca- tion point for (1). Since e F satisfies (2) we obtain the “infinite version” of Theorem 2:

Theorem 6. If µ ∈ r(L) is of odd multiplicity and dist(µ, r(L) − {µ})

> 2M , then [µ − M, µ + M ] × {∞} is a bifurcation interval for (1).

Applying Theorem 6 to problem (8) mentioned above we find that

[µ k − M, µ k + M ] × {∞} is a bifurcation interval for k sufficiently large.

(7)

Remark 4. The same result may be formulated for compositions of Sturm–Liouville operators and, for the first eigenvalue µ 1 , for elliptic op- erators N considered earlier.

Remark 5. It is easy to check that if we replace condition (6) by

(14) ∃ m∈R lim

kuk E →∞

kL(F (u)) − mLuk E

kuk E

= 0,

then e F satisfies (6) and the “infinite version” of Theorem 3 also holds:

Theorem 7. Under assumption (14), the bifurcation interval [µ − M, µ + M ] × {∞} degenerates to the point (µ − m, ∞).

Example 1. Consider

(15) −u ′′ = λu + |u| cos(u 2 + u ′2 ) 1/2 in (0, π), u(0) = u(π) = 0.

We have the family of solutions (λ γ , u γ ) = (1 − (sgn γ) cos |γ|, γ sin x) ∈ [0, 2]×E. It is clear that [0, 2]×{0} and [0, 2]×{∞} are bifurcation intervals for (15). The interval [0, 2] × {0} contains two bifurcation points (0, 0) and (2, 0) while all the points of [0, 2] × {∞} are bifurcation points.

Example 2. Consider

(16) u (4) = λu + u arctan[1 + (u ′′ ) 2 + (u ′′′ ) 2 ] in (0, π), u(0) = u(π) = u ′′ (0) = u ′′ (π) = 0.

The equation has the family of solutions (λ γ , u γ ) = (1−arctan(1+γ 2 ), γ sin x)

∈ [1−π/2, 1+π/2]×E. The bifurcation intervals [1−π/2, 1+π/2]×{0} and [1−π/2, 1+π/2]×{∞} degenerate to the points (1−π/4, 0) and (1−π/2, ∞) respectively.

Acknowledgements. This work was partially supported by local grant 10.420.03.

References

[1] H. B e r e s t y c k i, On some Sturm–Liouville problems, J. Differential Equations 26 (1977), 375–390.

[2] R. C h i a p p i n e l l i, On eigenvalues and bifurcation for nonlinear Sturm–Liouville operators, Boll. Un. Mat. Ital. A (6) 4 (1985), 77–83.

[3] T. K a t o, Perturbation Theory for Linear Operators, Springer, Berlin, 1966.

[4] L. N i r e n b e r g, Topics in Nonlinear Functional Analysis, New York Univ. Lecture Notes, 1973–74.

[5] J. P r z y b y c i n, Nonlinear eigenvalue problems for fourth order ordinary differential

equations, Ann. Polon. Math. 60 (1995), 249–253.

(8)

[6] P. H. R a b i n o w i t z, On bifurcation from infinity, J. Differential Equations 14 (1973), 462–475.

[7] K. S c h m i t t and H. L. S m i t h, On eigenvalue problems for nondifferentiable map- pings, J. Differential Equations 33 (1979), 294–319.

Department of Applied Mathematics University of Mining and Metallurgy Mickiewicza 30

30-059 Krak´ ow, Poland

E-mail: przybycin@mat.agh.edu.pl

Re¸ cu par la R´ edaction le 23.2.1998

evis´ e le 14.10.1998

Cytaty

Powiązane dokumenty

A paper given by Nordbeck (1964) on road net distances and the one by Nystuen (1966) on effects of boundary shape are demonstration, that such questions should not only

In this paper, we prove the following sufficient condition for the existence of k-kernels in digraphs: Let D be a digraph whose asym- metrical part is strongly conneted and such

Theorem 5.1 Let the assumption of Theorem 4.1 are satisfied, then the initial value problem (3)-(4) has at least one positive nondecreasing solution x ∈ L 1.. Colombo, Extensions

In our main results these conditions are weakened and in one case it is only assumed that F is continuous in the second variable uniformly with respect to the first one and in an

By means of a Riccati type transformation, necessary and sufficient conditions for the existence of eventually positive solutions and positive nonincreasing solutions are

This is, of course, necessary for a construction of special normal forms with the property that passing to another special normal coordinates is provided by linear

The new tool here is an improved version of a result about enumerating certain lattice points due to E.. A result about enumerating certain

The purpose of this section is to develop the method of proof of Theorem 2 and prove the following theorem..

Zhang, Oscillation theory of differ- ential equations with deviating arguments, Dekker, New York 1987. Received 8

In Section 3 we for- mulate and prove a theorem on the existence and uniqueness for the linear problem which is the same as Theorem 1 of [3] but the proof is slightly

We show that a generalized upper and lower solution method is still valid, and develop a monotone iterative technique for finding minimal and maximal solutions.. In our situation,

Abstract. The aim of this paper is to give a necessary and sufficient condition for a set-valued function to be a polynomial s.v.. 379), we can formulate the following

We need a criterion for compactness of sets in the space BC(R, E) (we replace the Hilbert space H by an arbitrary Banach space E since the result is of independent interest).. Then

The method presented here is the key to the inductive construction of theorems on the higher order regularity of the solution of the problem (1), (2) with respect to the parameter

A general method for solving several moment and interpolation problems can be summarized as follows: the data of the problem define an isometry, with range and domain in the

W i l k i e, Some model completeness results for expansions of the ordered field of real numbers by Pfaffian functions, preprint, 1991. [10] —, Model completeness results for

Weighted Sobolev spaces play an important role in the study of elliptic boundary value problems in non-smooth domains (see e.g.. This is the model case for domains with

zeros of solutions of second-order linear partial differential equations of elliptic

We conclude this section with some facts concerning two-point boundary value problems as special cases of (0.1), (0.2)... Applications of the

The following easy result shows that countably incomplete ultrapowers of infinite structures are always non-trivial..

Diagnostics of material damages and their description are of importance for the development of the methods for improving the reliability, prediction of the

The purpose of this paper is to give a characterization of the relative tangent cone of two analytic curves in C m with an isolated intersection.. We restrict our attention to

1. This question arises in such algebraical problems as solving a system of linear equations with rectangular or square singular matrix or finding a generalized