A nonlinear inequality arxiv:0805.2547v1 [math.ds] 16 May 2008 N. S. Hoang A. G. Ramm Mathematics Department, Kansas State University, Manhattan, KS 66506-2602, USA Abstract A quadratic inequality is formulated in the paper. An estimate on the rate of decay of solutions to this inequality is obtained. This inequality is of interest in a study of dynamical systems and nonlinear evolution equations. Keywords. Nonlinear inequality, Dynamical Systems Method, stability. MSC: 65J15, 65J20, 65N12, 65R30, 47J25, 47J35. 1 Introduction In [2] the following differential inequality ġ(t) γ(t)g(t) + α(t)g 2 (t) + β(t), t t 0, (1) was studied and applied to various evolution problems. In (1) α(t),β(t),γ(t) and g(t) are continuous nonnegative functions on [t 0, ) where t 0 0 is a fixed number. In [2], an upper bound for g(t) is obtained under some conditions on α,β,γ: Theorem 1 ([2] p. 97) If there exists a monotonically growing function µ(t), such that µ C 1 [t 0, ), µ > 0, lim t µ(t) =, 0 α(t) µ [ γ µ(t) ], u := du 2 µ(t) dt, (2) β(t) 1 [ γ µ(t) ], (3) 2µ µ(t) µ(0)g(0) < 1, (4) where α(t),β(t),γ(t) and g(t) are continuous nonnegative functions on [t 0, ), t 0 0, and g(t) satisfies (1), then one has the estimate: Email: nguyenhs@math.ksu.edu Corresponding author. Email: ramm@math.ksu.edu 0 g(t) < 1 µ(t), t t 0. (5) 1
If inequalities (2) (4) hold on an interval [t 0,T), then g(t) exists on this interval and inequality (5) holds on [t 0,T). This result allows one to estimate the rate of decay of g(t) when t. In [1] an operator equation F(u) = f was studied by the Dynamical Systems Method (DSM), which consists of a study of an evolution equation whose solution converges as t to a solution of equation F(u) = f. Theorem 1 has been used in the above study. In this paper we consider a discrete analog of Theorem 1. We study the following inequality: or an equivalent inequality: g n+1 g n h n γ n g n + α n g 2 n + β n, h n > 0, 0 < h n γ n < 1, g n+1 (1 γ n )g n + α n g 2 n + β n, n 0, 0 < γ n < 1, where g n,β n,γ n and α n are positive sequences. Under suitable conditions on α n,β n and γ n, we obtain an upper bound for g n as n. This result can be used in a study of evolution problems. In Section 2, the main result, namely, Theorem 2 is formulated and proved. In Section 3, an application of Theorem 2 is presented. 2 Results Theorem 2 Let α n,β n,γ n and g n be nonnegative sequences satisfying the inequality: or equivalently g n+1 g n h n γ n g n + α n g 2 n + β n, h n > 0, 0 < h n γ n < 1, (6) g n+1 g n (1 h n γ n ) + α n h n g 2 n + h n β n, h n > 0, 0 < h n γ n < 1. (7) If there is a monotonically growing sequence ( ) n=1 > 0 such that the following conditions hold: then g 0 1, (8) µ 0 α n µ ( n γ n µ ) n+1, (9) 2 h n β n 1 2 ( γ n +1 h n Therefore, if lim n = then lim n g n = 0. ), (10) g n 1 n 0. (11) 2
Proof. Let us prove (11) by induction. Inequality (11) holds for n = 0 by assumption (8). Suppose that (11) holds for n m. From (6), from the inequalities (9) (10), and from the induction hypothesis g n 1, n m, one gets g m+1 g m (1 h m γ m ) + α m h m g 2 m + h mβ m 1 (1 h m γ m ) + h mµ m µ m 2 = 1 µ m+1 µ m µ m µ 2 m = 1 (µ m+1 µ m ) ( 1 µ m+1 µ 2 m = 1 µ m+1 (µ m+1 µ m ) 2 µ 2 nµ m+1 1 µ m+1. ( γ m µ m+1 µ m µ m h m 1 ) µ m µ m+1 ) 1 µ 2 m + h ( m γ m µ ) m+1 µ m 2µ m µ m h m Therefore, inequality (11) holds for n = m + 1. Thus, inequality (11) holds for all n 0 by induction. Theorem 2 is proved. Setting h n = 1 in Theorem 2, one obtains the following result: Corollary 3 Let α,β,γ n and g n be nonnegative sequences, and g n+1 g n (1 γ n ) + α n g 2 n + β n, 0 < γ n < 1. (12) If there is a monotonically growing sequence ( ) n=1 > 0 such that the following conditions hold then g 0 1, (13) µ 0 α n µ ( n γ n µ ) n+1, (14) 2 β n 1 2 ( γ n +1 ), (15) g n 1, n 0. (16) 3 Applications Let F : H H be a twice Fréchet differentiable map in a real Hilbert space H. We also assume that sup u B(u 0,R) F (j) (u) M j = M j (R), 0 j 2, (17) where B(u 0,R) := {u : u u 0 R}, u 0 H is some element, R > 0, and there is no restriction on the growth of M j (R) as R, i.e., an arbitrary strong nonlinearity F are admissible. 3
Consider the equation: F(v) = f, (18) and assume that F ( ) 0, that is, F is monotone: F(u) F(v),u v 0, u,v H, and that (18) has a solution, possibly non-unique. Let y be the unique minimal-norm solution to (18). If F is monotone and continuous, then N f := {u : F(u) = f} is a closed convex set in H ([2]). Such a set in a Hilbert space has a unique minimal-norm element. So, the solution y is well defined. Let a C 1 [0, ) be such that Assume h n > 0. Denote a(t) > 0, a(t) ց 0 as t. (19) n 1 := a(t n ), t n := h j, t 0 = 0, > +1. j=1 Let A an := A n + where A n := F (u n ) 0. Consider the following iterative scheme for solving (18): u n+1 = u n h n A 1 [ F(un ) + u n f ], u 0 = u 0, (20) where u 0 H is arbitrary. The operator A 1 is well defined and A 1 1 if A n 0 and > 0. Denote w n := u n V n where V n solves the equation One has F(V n ) + V n f = 0. (21) w n+1 = w n h n A 1 [ F(un )+ u n V n F(V n ) ] +V n V n+1, w 0 := u 0 V 0. (22) The Taylor s formula yields: Thus, (22) can be written as From (21) one derives: F(u n ) F(V n ) = A n w n + K n, K n M 2 w n 2. (23) 2 w n+1 = w n (1 h n ) h n A 1 A n K n + V n V n+1. (24) F(V n+1 ) F(V n ) + +1 (V n+1 V n ) + (+1 )V n = 0. (25) Multiply (25) by V n+1 V n and use the monotonicity of F, to get: +1 V n V n+1 2 ( +1 ) V n V n V n+1. (26) This implies V n V n+1 +1 +1 V n +1 +1 y. (27) 4
Here we have used the fact that V n y (see [2, Lemma 6.1.7]). Let g n := w n. Set h n = 1 2. Then (24) and inequality (27) imply g n+1 1 2 g n + c 1 g 2 n + +1 +1 y, c 1 = M 2 4, g 0 = u 0 V 0. (28) Let = λ, λ = const > 0. (29) We want to apply Corollary 3 to inequality (28). We have and Let us choose a 0 such that +1 γ n = 1 2, β n = +1 +1 y, α n = c 1, (30) +1 = ( λ +1 λ ) λ = +1 1. 4 5. Then, with γ n = 1 2, one gets: 1 4 γ n +1. Condition (14) is satisfied if c 1 λ 2 ( 1 2 1 ) = λ. 4 8 This inequality holds if λ 8c 1. One may take λ = 8c 1. 1 If the following inequality +1 1 1 a 0 holds, or equivalently, +1 +1 a 0, (31) then condition (15) holds, provided that 64c 1 y a 0. This conclusion holds regardless of the previous assumptions about. If, for example, = 4a 0 4+n, then the earlier assumption +1 4 5 is satisfied, the inequality (31) holds, and condition (15) holds, provided that the following inequality holds: y a 0. (32) 16c 1 Inequality (32) holds if 16c 1 y a 0, i.e., if a 0 is sufficiently large. Condition (13) holds if g 0 a 0 λ. Thus, if +1 4 5, λ = 8c 1, g 0 a 0 8c 1, a 0 16c 1 y, (33) then g n <, n 0, λ 5
so By the triangle inequality, one has lim g n = 0. (34) n By Lemma 6.1.7 in [2], one has From (34) (36), one obtains u n y u n V n + V n y. (35) lim V n y = 0. (36) n 0 lim u n y = 0. n Thus, equation (18) can be solved by the iterative process (20) with satisfying (33). References [1] N. S. Hoang, A. G. Ramm, Dynamical systems method for solving nonlinear operator equations with monotone operators. (submitted) [2] A. G. Ramm, Dynamical systems method for solving operator equations, Elsevier, Amsterdam, 2007. 6