Symmetry and uniqueness of positive solutions for a Neumann boundary value problem
Texte intégral
(2) 420. A. Bensedik, M. Bouchekif / Applied Mathematics Letters 20 (2007) 419–426. The proof of the existence of positive solutions is based on the following theorems. Theorem 1 ([1]). Let Ω1 and Ω2 be two bounded open sets in a Banach space E such that 0 ∈ Ω1 and Ω 1 ⊂ Ω2 . Let operator A : P ∩ Ω 2 \ Ω1 → P be completely continuous, where P is a cone of E, and such that one of the following conditions is satisfied: (1) Ax ≤ x, (2) Ax ≥ x,. ∀x ∈ P ∩ ∂Ω1. Ax ≥ x,. ∀x ∈ P ∩ ∂Ω2 ;. and Ax ≤ x, Then A has at least one fixed point in P ∩ Ω 2 \ Ω1 .. ∀x ∈ P ∩ ∂Ω2 .. and. ∀x ∈ P ∩ ∂Ω1. Theorem 2 ([3]). Let C (K , R) be the space of continuous functions on the compact set K ⊂ Rn . Then a subset S ⊂ C (K , R) is precompact if and only if the functions of S are uniformly bounded and equicontinuous. 2. Existence result Theorem 3. Assume that f is a positive continuous function on [a, b]. Then the problem Pp has at least one positive solution for any positive q and any p > 1. Proof. As was observed in [2], the Green’s function G (x, y) of the operator L, with the Neumann conditions, is a positive and continuous function on [a, b] × [a, b]. Thus the problem Pp can be written as the fixed-point problem b u (x) = G (x, y) |u (y) | p f (y) dy ≡ Au (x). a. Define m = min {G (x, y) ; (x, y) ∈ [a, b] × [a, b]}, M = max {G (x, y) ; (x, y) ∈ [a, b] × [a, b]}, α = min { f (x) ; a ≤ x ≤ b}, β = max { f (x) ; a ≤ x ≤ b}, l = b − a; then m, α and l are positive. Now consider the Banach space E = C ([a, b]) endowed with the norm .0 , and define the cone . m P = u ∈ E : min u (x) ≥ u0 . a≤x≤b M We start by proving that A P ⊂ P. For any given u ∈ P, we have b Au (x) ≥ m u p (y) f (y) dy a. m b G (s, y) u p (y) f (y) dy ≥ M a m Au (s), for all x, s ∈ [a, b], = M so min Au (x) ≥. a≤x≤b. m Au0 , M. and then Au ∈ P. Now let us prove that A : P → P is completely continuous. For any fixed u 0 ∈ P, and any u ∈ P, by the mean-value theorem, we obtain b |u (y) − u 0 (y) |G (x, y) f (y) (v (y)) p−1 dy, ∀x ∈ [a, b], |Au (x) − Au 0 (x) | ≤ p a. where the real number v (y) is between u (y) and u 0 (y)..
(3) A. Bensedik, M. Bouchekif / Applied Mathematics Letters 20 (2007) 419–426. Thus. . b. Au − Au 0 0 ≤ pβ Mu − u 0 0. 421. (v (y)) p−1 dy,. a. which proves that the operator A is continuous on P. Let (u n )n be a bounded sequence in P, that is, ∃C > 0,. u n 0 ≤ C,. ∀n ∈ N.. Let us prove that the set S := {Au n , n ∈ N} is precompact. First we verify that the functions Au n are uniformly bounded. For any x ∈ [a, b], and any n ∈ N, we have b p G (x, y) u n (y) f (y) dy ≤ βl MC p , Au n (x) = a. that is Au n 0 ≤ βl MC p , ∀n ∈ N. Now we prove that the functions Au n are equicontinuous. For any x 1 and x 2 fixed in [a, b],. b. p. |Au n (x 1 ) − Au n (x 2 ) | =. (G (x 1 , y) − G (x 2 , y)) u n (y) f (y) dy. , a. and we remark that for any y fixed in [a, b], the function x −→ G (x, y) is uniformly continuous in [a, b], i.e. ∀ε > 0,. ∃δ (ε, y) > 0 : |x 1 − x 2 | < δ ⇒ |G (x 1 , y) − G (x 2 , y) | < ε. and since y ∈ [a, b] which is a compact set, there exists δ (ε) > 0 independent of y, such that for any given ε > 0, ∀x 1 , x 2 ∈ [a, b] : |x 1 − x 2 | < δ (ε) ⇒ |G (x 1 , y) − G (x 2 , y) | < ε and then ∀ε > 0,. ∃δ > 0 : |x 1 − x 2 | < δ ⇒ |Au n (x 1 ) − Au n (x 2 ) | < βlC p ε,. ∀n ∈ N. which confirms that the functions Au n are equicontinuous, and in consequence of Theorem 2 the set S is precompact, and so the operator A is completely continuous. In order to apply Theorem 1, we consider the open balls Ω1 = {u ∈ E, u0 < r1 }. and Ω2 = {u ∈ E, u0 < r2 }. where r1 = (βl M). 1 − p−1. and r2 =. Mp αlm p+1.
(4). 1 p−1. .. Clearly 0 ∈ Ω1 and Ω 1 ⊂ Ω2 because r1 < r2 . Now, if u ∈ P ∩ ∂Ω1 , we get p. Au0 ≤ βl Mu0 = u0 and if u ∈ P ∩ ∂Ω2 , Au0 ≥ αm. b. u p (y) dy. a. m. p. αlm p+1 p u0 = u0 , M Mp then the operator A satisfies condition (1) of Theorem 1. Therefore it has at least one fixed point u ∈ P ∩ Ω 2 \ Ω1 , and so the problem Pp has at least a positive solution for any positive q. ≥ αml. u0. =.
(5) 422. A. Bensedik, M. Bouchekif / Applied Mathematics Letters 20 (2007) 419–426. Remark that the solution u of our problem satisfies the inequalities − 1 m βl M p p−1 ≤ u (x) ≤ αlm p+1 M − p. − 1 p−1. ,. ∀x ∈ [a, b].. 3. Uniform upper bound and symmetry of the solutions At the beginning of this section, we deduce the uniform upper bound for every positive solution of the problem Pp . Theorem 4. Assume that f is a positive continuous function on [a, b]. Then there exists a constant Cq := 2 1 p−1 q 1 + (ql)2 , such that any positive solution of the problem Pp verifies α u (x) < Cq ,. ∀x ∈ [a, b].. Proof. Let u be a positive solution of the problem. Integrating the equation of Pp , we obtain b p u p (y) f (y) dy ≥ αu p , q 2 u1 = a. and using the H¨older inequality, we can write . . b. u1 =. p−1 p. b. u (x) dx ≤. b. dx. a. a. p. u (x) dx. 1p. =l. a. and then. q2 u p ≤ α. 1 p−1. l. q2 and u1 ≤ α. 1 p. Moreover, for any x ∈]a, b[, x u (x) = u (s) ds = a. < q u1 ≤ q 2. . −u (x) =. b. 2. < q 2 u1 ≤ q 2. q 2 u (s) − u p (s) f (s) ds. 1 p−1. l, . b. q 2 u (s) − u p (s) f (s) ds. x 1 2 q p−1. α. l,. so . u 0 < q. 2. q2 α. 1 p−1. l.. On the other hand u (a) = u (b) ⇒ ∃x 0 ∈]a, b[ : u (x 0 ) = 0, and then from the equation, u p−1 (x 0 ) =. q2 , f (x 0 ). l.. a. q2 α. u (s) ds =. x. x. 1 p−1. p−1 p. u p ,.
(6) A. Bensedik, M. Bouchekif / Applied Mathematics Letters 20 (2007) 419–426. 423. which gives us. q2 β. 1
(7) p−1. ≤ u (x 0 ) ≤. q2 α. 1
(8) p−1. .. We can deduce the constant Cq : u (x) = u (x 0 ) +. x x0. . u (s) ds <. q2 α. 1
(9) p−1. 2. + (ql). q2 α. 1
(10) p−1. .. Then. Cq ≡. q2 α. 1
(11) p−1 1 + (ql)2 .. . The constant Cq will be used to prove the symmetry of the positive solutions. Theorem 5. Assume that f is a positive, symmetric and continuous function on [a, b] and the positive parameter q satisfies the following inequality: p−1 q2 1 + q 2l 2 pβ < 1 + q 2; (3.1) α then any positive solution of the problem Pp is symmetric. Proof. We follow along the lines of [4]. Let u 1 be a positive solution; then u 2 such that u 2 (x) = u 1 (a + b − x) is also a solution, because f is symmetric. Let us prove that u 1 ≡ u 2 . Define z = u 1 − u 2 ; then z is a solution of the problem z + g (x) z = 0, (3.2) z (a) = 0 = z (b), where g (x) = p f (x) (w (x)) p−1 − q 2 , and the real number w (x) is between u 1 (x) and u 2 (x) and such that p. p. u 1 (x) − u 2 (x) = p (w (x)) p−1 (u 1 (x) − u 2 (x)). Using the fact that u 1 and u 2 are strictly less than Cq and the condition (3.1), we verify that g (x) < 1,. ∀x ∈ [a, b].. (3.3). Our purpose is to prove that z ≡ 0. Suppose that z is not a trivial solution and let us change to polar coordinates: z = −r sin θ,. z = r cos θ, By deriving z and. z,. r > 0, 0 ≤ θ < 2π.. we get. z = r cos θ − r θ sin θ = −r sin θ, and z = −r sin θ − r θ cos θ = −g (x) r cos θ. From these equations, we obtain θ = g (x) cos2 θ + sin2 θ.. (3.4). Integrating (3.4) in the interval [a, x], a < x ≤ b, and using (3.3) we get x x 2 2 θ (x) − θ (a) = g (s) cos θ (s) + sin θ (s) ds < ds = x − a. a. Now remark that z (x) = −z (a + b − x),. a. (3.5).
(12) 424. A. Bensedik, M. Bouchekif / Applied Mathematics Letters 20 (2007) 419–426. and therefore.
(13) a+b z = 0. 2 By using the Sturm comparison theorem with the equation π 2 z + z = 0, l which admits the solution π z 0 (x) = sin (x − a), l we deduce that a+b 2 is the unique zero of z in the interval [a, b]. The solution z is supposed not identically zero and z (a) = −z (b); then z (a) z (b) < 0. Assume that z (a) > 0; then from z (a) = 0, we get θ (a) = 0. On the other hand,.
(14) a+b z = 0, 2 and so,. θ. a+b 2.
(15). π = , 2. or θ. a+b 2.
(16) =. 3π . 2. Now, using (3.5) we get π < b − a,. or 3π < b − a;. this is a contradiction. Then z ≡ 0, and therefore u 1 (x) = u 1 (a + b − x),. ∀x ∈ [a, b]. . 4. Uniqueness result for the positive solution Let λ1 be the first positive eigenvalue of the following problem with Neumann boundary conditions: −u = λu, x ∈ ]a, b[ u (a) = u (b) = 0. Theorem 6. Under the hypothesis for the function f , and if the positive parameter q satisfies the relation p−1 β > 0, (4.1) λ1 + q 2 − p q 2 1 + q 2l 2 α then the problem Pp admits a unique positive solution. Proof. Let u 1 and u 2 be two positive solutions of the problem Pp . Then, if we put v = u 1 − u 2 , we get the following problem: p p −v + q 2 v = u 1 (x) − u 2 (x) f (x), x ∈ ]a, b[, (4.2) v (a) = v (b) = 0. Now by the mean-value theorem, there exists a real number w (x) between u 1 (x) and u 2 (x) such that p. p. u 1 (x) − u 2 (x) = pw p−1 (x) (u 1 (x) − u 2 (x))..
(17) A. Bensedik, M. Bouchekif / Applied Mathematics Letters 20 (2007) 419–426. Then the problem (4.2) becomes −v + q 2 − pw p−1 (x) f (x) v = 0, . 425. x ∈ ]a, b[. (4.3). . v (a) = v (b) = 0. Note that the function x −→ w (x) is continuous in [a, b]. We can define it by p. p. u 1 (x) − u 2 (x) , if u 1 (x) = u 2 (x), p (u 1 (x) − u 2 (x)) w (x) = u 1 (x), if u 1 (x) = u 2 (x).. w p−1 (x) =. Return to the last problem and put h (x) = q 2 − pw p−1 (x) f (x); then p−1. q 2 − pβCq ≤ h (x) ≤ q 2 , ∀x ∈ [a, b], 2 1 p−1 where Cq = qα 1 + q 2l 2 . Multiplying the equation of the problem (4.3) by v and integrating in the interval [a, b], we obtain b b 2 v (x) dx + h (x) v 2 (x) dx = 0. a. (4.4). a. Now using the characterization of λ1 , we know, if I = ]a, b[, that . 2 1 2 v (x) dx : v ∈ H (I ), v (a) = 0 and v dx = 1 . λ1 = inf I. In fact λ1 =. I. π2. , and it is attained by the function v1 : π 2 cos v1 (x) = (x − a) . l l From the characterization of λ1 , we have 2 2 λ1 v dx ≤ v dx, l2. I. I. and then . . 2 v dx +. (λ1 + h (x)) v 2 dx ≤ I. I. h (x) v 2 dx = 0. I. Hence v (x) = 0, ∀x ∈ I , i.e. u 1 ≡ u 2 if λ1 + h (x) > 0, ∀x ∈ I , but this is satisfied from (4.1) and (4.4). Application For the particular case [4]: p = 2,. f (x) = 1 + sin x,. and. (a, b) = (0, π),. β = 2,. and λ1 = 1.. and then α = 1,. l = π,. By Theorem 6, this problem admits a unique positive solution if 4π 2 q 4 + 3q 2 − 1 < 0, which means if q ∈ ]0, 0, 354446 . . . [. And this is the same range of values of the parameter q for which, the solution is symmetric.. .
(18) 426. A. Bensedik, M. Bouchekif / Applied Mathematics Letters 20 (2007) 419–426. References [1] [2] [3] [4]. M.A. Krasnoselskii, Positive Solutions of Operators Equations, Noordhoff, Groningen, 1964. L. Mays, J. Norbury, Bifurcation of positive solutions for a Neumann boundary value problem, ANZIAM J. 42 (2002) 324–340. L. Schwartz, Topologie G´en´erale et Analyse Fonctionnelle, Edition Hermann, Paris, 1970. P.J. Torres, Some remarks on a Neumann boundary value problem arising in fluid dynamics, ANZIAM J. 45 (2004) 327–332..
(19)
Documents relatifs
L’accès aux archives de la revue « Annales de la faculté des sciences de Toulouse » ( http://picard.ups-tlse.fr/~annales/ ) implique l’accord avec les conditions
Let us see how our results can be used to derive lower bounds on the first non-zero Neumann eigenvalue λ 1 (M) of the linear problem (1.11).. We need first to adapt our
For the Neumann boundary value problem and for the second boundary value problem we show that such a flow exists for all times and converges eventually to a solution of the
– The paper addresses symmetry results for positive solutions of semilinear elliptic differential equations on a class of non-convex symmetrical domains.. An example in two
In Section 4 we consider the case when Q has local maximum points in. We are only able to establish the existence of single-peaked solutions.. ld study their
an elliptic problem with homogeneous Dirichlet boundary conditions in two dimensions is a consequence of the convergence in HI and of the uniform bound on the
L^ B be the Martin boundary associa- ted with the boundary value problem (1). Then the connected com- ponents of B are in one-to-one correspondence mth the points a of the set r. ^n
On one hand, in the case when F (t, ·) is lower semicontinuous with nonconvex values, by Schaefer’s fixed point theorem ([7]) combined with a selection theorem of Bressan Colombo