LYAPUNOV-TYPE INEQUALITIES FOR NONLINEAR SYSTEMS INVOLVING THE (p 1, p 2,..., p n )-LAPLACIAN

Similar documents
LYAPUNOV-TYPE INEQUALITIES FOR THIRD-ORDER LINEAR DIFFERENTIAL EQUATIONS

Lyapunov-type inequalities for Laplacian systems and applications to boundary value problems

POSITIVE SOLUTIONS FOR SINGULAR THREE-POINT BOUNDARY-VALUE PROBLEMS

Multiple Positive Solutions for the System of Higher Order Two-Point Boundary Value Problems on Time Scales

Positive Solutions of Operator Equations on Half-Line

A General Dynamic Inequality of Opial Type

NEW INEQUALITIES OF SIMPSON S TYPE FOR s CONVEX FUNCTIONS WITH APPLICATIONS. := f (4) (x) <. The following inequality. 2 b a

S. S. Dragomir. 2, we have the inequality. b a

Czechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction

New Expansion and Infinite Series

New Integral Inequalities for n-time Differentiable Functions with Applications for pdfs

SUPERSTABILITY OF DIFFERENTIAL EQUATIONS WITH BOUNDARY CONDITIONS

WENJUN LIU AND QUÔ C ANH NGÔ

Some estimates on the Hermite-Hadamard inequality through quasi-convex functions

S. S. Dragomir. 1. Introduction. In [1], Guessab and Schmeisser have proved among others, the following companion of Ostrowski s inequality:

KRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION

EXISTENCE OF ENTIRE POSITIVE SOLUTIONS FOR A CLASS OF SEMILINEAR ELLIPTIC SYSTEMS

Communications inmathematicalanalysis Volume 6, Number 2, pp (2009) ISSN

SOME HARDY TYPE INEQUALITIES WITH WEIGHTED FUNCTIONS VIA OPIAL TYPE INEQUALITIES

DYNAMICAL SYSTEMS SUPPLEMENT 2007 pp Natalija Sergejeva. Department of Mathematics and Natural Sciences Parades 1 LV-5400 Daugavpils, Latvia

Three solutions to a p(x)-laplacian problem in weighted-variable-exponent Sobolev space

The Hadamard s inequality for quasi-convex functions via fractional integrals

(4.1) D r v(t) ω(t, v(t))

Research Article On Existence and Uniqueness of Solutions of a Nonlinear Integral Equation

NEW HERMITE HADAMARD INEQUALITIES VIA FRACTIONAL INTEGRALS, WHOSE ABSOLUTE VALUES OF SECOND DERIVATIVES IS P CONVEX

GENERALIZATIONS OF WEIGHTED TRAPEZOIDAL INEQUALITY FOR MONOTONIC MAPPINGS AND ITS APPLICATIONS. (b a)3 [f(a) + f(b)] f x (a,b)

Journal of Inequalities in Pure and Applied Mathematics

AN INEQUALITY OF OSTROWSKI TYPE AND ITS APPLICATIONS FOR SIMPSON S RULE AND SPECIAL MEANS. I. Fedotov and S. S. Dragomir

SOME INTEGRAL INEQUALITIES OF GRÜSS TYPE

Journal of Computational and Applied Mathematics. On positive solutions for fourth-order boundary value problem with impulse

Lyapunov type inequalities for even order differential equations with mixed nonlinearities

WHEN IS A FUNCTION NOT FLAT? 1. Introduction. {e 1 0, x = 0. f(x) =

TRAPEZOIDAL TYPE INEQUALITIES FOR n TIME DIFFERENTIABLE FUNCTIONS

Applied Mathematics Letters. Forced oscillation of second-order nonlinear differential equations with positive and negative coefficients

A generalized Lyapunov inequality for a higher-order fractional boundary value problem

The presentation of a new type of quantum calculus

Houston Journal of Mathematics. c 1999 University of Houston Volume 25, No. 4, 1999

ON A CONVEXITY PROPERTY. 1. Introduction Most general class of convex functions is defined by the inequality

The Regulated and Riemann Integrals

FUNCTIONS OF α-slow INCREASE

Some Hermite-Hadamard type inequalities for functions whose exponentials are convex

Approximation of functions belonging to the class L p (ω) β by linear operators

ON THE OSCILLATION OF FRACTIONAL DIFFERENTIAL EQUATIONS

On Inequality for the Non-Local Fractional Differential Equation

ASYMPTOTIC BEHAVIOR OF INTERMEDIATE POINTS IN CERTAIN MEAN VALUE THEOREMS. II

AN INTEGRAL INEQUALITY FOR CONVEX FUNCTIONS AND APPLICATIONS IN NUMERICAL INTEGRATION

Exam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1

MEAN VALUE PROBLEMS OF FLETT TYPE FOR A VOLTERRA OPERATOR

Some Hardy Type Inequalities with Weighted Functions via Opial Type Inequalities

Journal of Inequalities in Pure and Applied Mathematics

INEQUALITIES FOR GENERALIZED WEIGHTED MEAN VALUES OF CONVEX FUNCTION

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions

SEMIBOUNDED PERTURBATION OF GREEN FUNCTION IN AN NTA DOMAIN. Hiroaki Aikawa (Received December 10, 1997)

Parametrized inequality of Hermite Hadamard type for functions whose third derivative absolute values are quasi convex

ON THE WEIGHTED OSTROWSKI INEQUALITY

Set Integral Equations in Metric Spaces

DEFINITE INTEGRALS. f(x)dx exists. Note that, together with the definition of definite integrals, definitions (2) and (3) define b

Sturm-Liouville Eigenvalue problem: Let p(x) > 0, q(x) 0, r(x) 0 in I = (a, b). Here we assume b > a. Let X C 2 1

Positive solutions for system of 2n-th order Sturm Liouville boundary value problems on time scales

A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES. 1. Introduction

Lyapunov-type inequality for the Hadamard fractional boundary value problem on a general interval [a; b]; (1 6 a < b)

Bounds for the Riemann Stieltjes integral via s-convex integrand or integrator

Ostrowski Grüss Čebyšev type inequalities for functions whose modulus of second derivatives are convex 1

Bulletin of the. Iranian Mathematical Society

GENERALIZED ABSTRACTED MEAN VALUES

f (a) + f (b) f (λx + (1 λ)y) max {f (x),f (y)}, x, y [a, b]. (1.1)

A New Generalization of Lemma Gronwall-Bellman

ON A GENERALIZED STURM-LIOUVILLE PROBLEM

MAA 4212 Improper Integrals

INEQUALITIES FOR TWO SPECIFIC CLASSES OF FUNCTIONS USING CHEBYSHEV FUNCTIONAL. Mohammad Masjed-Jamei

1.9 C 2 inner variations

ON THE GENERALIZED SUPERSTABILITY OF nth ORDER LINEAR DIFFERENTIAL EQUATIONS WITH INITIAL CONDITIONS

ON BERNOULLI BOUNDARY VALUE PROBLEM

Euler, Ioachimescu and the trapezium rule. G.J.O. Jameson (Math. Gazette 96 (2012), )

RELATIONS ON BI-PERIODIC JACOBSTHAL SEQUENCE

Review of Calculus, cont d

Variational Techniques for Sturm-Liouville Eigenvalue Problems

REGULARITY OF NONLOCAL MINIMAL CONES IN DIMENSION 2

On the Continuous Dependence of Solutions of Boundary Value Problems for Delay Differential Equations

p n m q m s m. (p q) n

OPIAL S INEQUALITY AND OSCILLATION OF 2ND ORDER EQUATIONS. 1. Introduction We consider the second-order linear differential equation.

Integral inequalities for n times differentiable mappings

SOME PROPERTIES OF CHEBYSHEV SYSTEMS

AN INVERSE SPECTRAL PROBLEM FOR STURM-LIOUVILLE OPERATOR WITH INTEGRAL DELAY

Lecture notes. Fundamental inequalities: techniques and applications

221B Lecture Notes WKB Method

Lyapunov-Type Inequalities for some Sequential Fractional Boundary Value Problems

Solution to Fredholm Fuzzy Integral Equations with Degenerate Kernel

A basic logarithmic inequality, and the logarithmic mean

Fredholm Integral Equations of the First Kind Solved by Using the Homotopy Perturbation Method

THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.

Some Improvements of Hölder s Inequality on Time Scales

INTEGRAL INEQUALITIES SIMILAR TO GRONWALL INEQUALITY

MAC-solutions of the nonexistent solutions of mathematical physics

Hermite-Hadamard type inequalities for harmonically convex functions

On New Inequalities of Hermite-Hadamard-Fejer Type for Harmonically Quasi-Convex Functions Via Fractional Integrals

A Bernstein polynomial approach for solution of nonlinear integral equations

5.7 Improper Integrals

THIELE CENTRE. Linear stochastic differential equations with anticipating initial conditions

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

Transcription:

Electronic Journl of Differentil Equtions, Vol. 203 (203), No. 28, pp. 0. ISSN: 072-669. URL: http://ejde.mth.txstte.edu or http://ejde.mth.unt.edu ftp ejde.mth.txstte.edu LYAPUNOV-TYPE INEQUALITIES FOR NONLINEAR SYSTEMS INVOLVING THE (p, p 2,..., p n )-LAPLACIAN DEVRIM ÇAKMAK, MUSTAFA FAHRI AKTAŞ, AYDIN TIRYAKI Abstrct. We prove some generlized Lypunov-type inequlities for n-dimensionl Dirichlet nonliner systems. We extend the results obtined by Çm nd Tiryi [6] for prmeter < p < 2. As n ppliction, we obtin lower bounds for the eigenvlues of the corresponding system.. Introduction In 907, Lypunov [9] obtined the remrble inequlity if Hill s eqution f (s) ds 4 b, (.) x + f (t)x = 0 (.2) hs rel nontrivil solution x (t) such tht x () = 0 = x (b), where, b R with < b re consecutive zeros nd x is not identiclly zero on [, b], where f is rel-vlued continuous function defined on R. We now tht the constnt 4 in the right hnd side of inequlity (.) cnnot be replced by lrger number (see [7, p. 345]). Since this result hs proved to be useful tool in oscilltion theory, disconjugcy, eigenvlue problems nd numerous other pplictions in the study of vrious properties of solutions for differentil equtions, mny proofs nd generliztions or improvements of it hve ppered in the literture. For uthors, who contributed to the Lypunov-type inequlities, we refer to [-9]. Here, we give some inequlities which re useful in the comprison of our min results. We now tht since the function h(x) = x p is concve for x > 0 nd < p < 2, Jensen s inequlity h( ω+v 2 ) 2 v = b c for =, 2,..., n implies [h(ω) + h(v)] with ω = c 2 2 p [ c + ] p b c (c ) p + (b c ) p = m (c ) (.3) nd 2000 Mthemtics Subject Clssifiction. 26D0, 34A40, 34C0. Key words nd phrses. Lypunov-type inequlity; lower bound; (p, p 2,..., p n)-lplcin. c 203 Texs Stte University - Sn Mrcos. Submitted August 20, 202. Published My 27, 203.

2 D. ÇAKMAK, M. F. AKTAŞ, A. TIRYAKI EJDE-203/28 for < p < 2, =, 2,..., n. If p > 2 for =, 2,..., n, then the function h(x) = x p is convex for x > 0. Thus, the inequlity (.3) is reversed, i.e. (c ) p + (b c ) p [ 22 p c + ] p = m2 (c ) (.4) b c for p > 2, =, 2,..., n. Moreover, if we obtin the minimum of the right hnd side of inequlities (.3) nd (.4) for c (, b), =, 2,..., n, then it is esy to see tht min m i(c ) = m i ( + b p <c <b 2 ) = 2 (b ) p (.5) for i =, 2 nd =, 2,..., n. In 2006, Npoli nd Pinsco [0] obtined the following inequlity ( ) α/p ( ) α2/p 2 2 α+α2 f (s)ds f 2 (s)ds, (.6) (b ) α+α2 if the qusiliner system (φ p (x )) = f (t) x α 2 x x 2 α2 (φ p2 (x 2)) = f 2 (t) x α x 2 α2 2 x 2 (.7) hs rel nontrivil solution (x (t), x 2 (t)) such tht x () = x (b) = 0 = x 2 () = x 2 (b) where, b R with < b consecutive zeros, nd x for =, 2 re not identiclly zero on [, b], where φ α (u) = u α 2 u, f nd f 2 re rel-vlued positive continuous functions defined on R, < p, p 2 < + nd the nonnegtive prmeters α, α 2 stisfy α p + α2 p 2 =. In 200, Çm nd Tiryi [6] obtined the following inequlity n ( ) f + (s)ds α /p n [ (c ) p + ] α /p (b c ) p, (.8) = = where x (c ) = mx <t<b x (t) nd f + (t) = mx {0, f (t)} for =, 2,..., n, if the n-dimensionl problem (φ p (x )) = f (t) x α 2 x x 2 α2... x n αn (φ p2 (x 2)) = f 2 (t) x α x 2 α2 2 x 2... x n αn... (.9) (φ pn (x n)) = f n (t) x α x 2 α2... x n αn 2 x n hs rel nontrivil solution (x (t), x 2 (t),..., x n (t)) stisfying the Dirichlet boundry conditions x () = 0 = x (b) (.0) where, b R with < b consecutive zeros, x 0 for =, 2,..., n on [, b]. Here, n N, φ α (u) = u α 2 u, f re rel-vlued continuous functions defined on R, < p < + nd the nonnegtive prmeters α stisfy n α = p = for =, 2,..., n. Using (.5) in the inequlity (.8), Çm nd Tiryi [6] lso obtined the inequlity n ( f + (s)ds) α /p 2 P n = α (b ). (.) (P n = α ) =

EJDE-203/28 LYAPUNOV-TYPE INEQUALITIES 3 Recently, Yng et l [9] obtined the inequlity where f (s)ds H = 2 p (b ) p H, (.2) M p g (M, M 2,..., M n ) (.3) with M = x (c ) = mx <t<b x (t) for =, 2,..., n, t lest one inequlity in (.2) is lso strict, if the following nonliner system involving (p, p 2,..., p n )- Lplcin opertors (φ p (x )) + F (t, x, x 2,..., x n ) = 0 (φ p2 (x 2)) + F 2 (t, x, x 2,..., x n ) = 0... (φ pn (x n)) + F n (t, x, x 2,..., x n ) = 0 (.4) hs rel nontrivil solution (x (t), x 2 (t),..., x n (t)) stisfying the boundry condition (.0), where n N, φ α (u) = u α 2 u, < p < + nd F C([, b] R n, R) for =, 2,..., n, under the following hypothesis: (C) There exist the functions f C([, b], [0, )) nd g C(R n, [0, )) for =, 2,..., n such tht nd F (t, x, x 2,..., x n ) f (t)g (x, x 2,..., x n ) (.5) g (x, x 2,..., x n ) is monotonic nondecresing in ech vrible (.6) for =, 2,..., n. Yng et l [9] clim tht the inequlity (.) with f (t) > 0 for =, 2,..., n of Çm nd Tiryi [6] cn be obtined by using the inequlity (.2) under the following conditions F (t, x, x 2,..., x n ) = f (t)g (x, x 2,..., x n ), =, 2,..., n, (.7) where g (x, x 2,..., x n ) = z (x, x 2,..., x n ) with z (x, x 2,..., x n ) = x α 2 x x 2 α2... x n αn z 2 (x, x 2,..., x n ) = x α x 2 α2 2 x 2... x n αn... z n (x, x 2,..., x n ) = x α x 2 α2... x n αn 2 x n, (.8) where α 0 for =, 2,..., n such tht n α = p =. It is esy to see from (.6) tht the nondecresing condition on ech vrible of g with (.8) for =, 2,..., n is not stisfied. Therefore, [9, Remrs 3, Corollry 3] fil. So, [9, Corollry 3] does not pply to this exmple. Now, we present the following hypothesis insted of (C): (C*) There exist the functions f C([, b], [0, )) nd g C(R n, [0, )) for =, 2,..., n such tht F (t, x, x 2,..., x n ) f (t)g ( x, x 2,..., x n ) (.9)

4 D. ÇAKMAK, M. F. AKTAŞ, A. TIRYAKI EJDE-203/28 nd g (u, u 2,..., u n ) is monotonic nondecresing in ech vrible u i, such tht either g (0, 0,..., 0) = 0 or g (u, u 2,..., u n ) > 0 for t lest one u i 0 for i =, 2,..., n, for =, 2,..., n. It is cler tht if the hypothesis (C) is replced by (C*) for system (.4), then (.) with f (t) > 0 for =, 2,..., n of Çm nd Tiryi [6] obtin by using inequlity (.2) under the condition α for =, 2,..., n. In this rticle, our purpose is to obtin Lypunov-type inequlities for system (.4) similr to the ones given in Yng et l [9] by imposing somewht different conditions on the function F for =, 2,..., n, nd improve nd generlize the results of Çm nd Tiryi [6] when < p < 2 for =, 2,..., n. In ddition, the positivity conditions on the function f for =, 2,..., n in hypothesis (C) re dropped. We lso obtin better lower bound for the eigenvlues of corresponding system s n ppliction. We derive some Lypunov-type inequlities for system (.4), where ll components of the solution (x (t), x 2 (t),..., x n (t)) hve consecutive zeros t the points, b R with < b in I = [t 0, ) R. For system (.4), we lso derive some Lypunov-type inequlities which relte not only points nd b in I t which ll components of the solution (x (t), x 2 (t),..., x n (t)) hve consecutive zeros but lso point in (, b) where ll components of the solution (x (t), x 2 (t),..., x n (t)) re mximized. Since our ttention is restricted to the Lypunov-type inequlities for system of differentil equtions, we shll ssume the existence of the nontrivil solution (x (t), x 2 (t),..., x n (t)) of system (.4). 2. Min results We give the following hypothesis for system (.4). (C2) There exist the functions f C([, b], R) nd g C(R n, [0, )) such tht F (t, x, x 2,..., x n )x f (t)g ( x, x 2,..., x n ) (2.) nd g (u, u 2,..., u n ) is monotonic nondecresing in ech vrible u i such tht either g (0, 0,..., 0) = 0 or g (u, u 2,..., u n ) > 0 for t lest one u i 0, i =, 2,..., n, for =, 2,..., n. (2.2) One of the min results of this rticle is the following theorem, whose proof is different from the tht of [9, Theorem ] nd modified tht of [3, Theorem 2.]. Theorem 2.. Assume tht hypothesis (C2) is stisfied. If (.4) hs rel nontrivil solution (x (t), x 2 (t),..., x n (t)) stisfying the boundry condition (.0), then the inequlities f + (s)ds [ 22 p c + ] p M H (2.3) b c hold, where f + (t) = mx{0, f (t)}, nd H, M for =, 2,..., n re s in (.3). Moreover, t lest one inequlity in (2.3) is strict. Proof. Let the boundry condition (.0) hold; i.e., x () = 0 = x (b) for =, 2,..., n where n N,, b R with < b consecutive zeros nd x for =

EJDE-203/28 LYAPUNOV-TYPE INEQUALITIES 5, 2,..., n re not identiclly zero on [, b]. Thus, by Rolle s theorem, we cn choose c (, b) such tht M = mx <t<b x (t) = x (c ) nd x (c ) = 0 for =, 2,..., n. By using x () = 0 nd Hölder s inequlity, we obtin nd hence x (c ) c ( c x (s) ds (c ) (p )/p x (s) p /p ds) (2.4) c x (c ) p (c ) p x (s) p ds (2.5) for =, 2,..., n nd c (, b). Similrly, by using x (b) = 0 nd Hölder s inequlity, we obtin x (c ) p (b c ) p x (s) p ds c (2.6) for =, 2,..., n nd c (, b). Multiplying the inequlities (2.5) nd (2.6) by (b c ) p nd (c ) p for =, 2,..., n, respectively, we obtin nd (b c ) p x (c ) p [(c )(b c )] p c (c ) p x (c ) p [(c )(b c )] p x (s) p ds (2.7) c x (s) p ds (2.8) for =, 2,..., n nd c (, b). Thus, dding the inequlities (2.7) nd (2.8), we hve x (c ) p [(b c ) p + (c ) p ] [(c )(b c )] p x (s) p ds (2.9) for =, 2,..., n nd c (, b). It is esy to see tht the functions z (x) = (b x) p + (x ) p te the minimum vlues t +b 2 ; i.e., z (x) min <x<b z (x) = z ( + b 2 ) = 2(b 2 )p for =, 2,..., n. Thus, we obtin nd hence x (c ) p [2( b 2 )p ] [(c )(b c )] p 2M p = 2 x (c ) p 2 [ b (c )(b c )] p x (s) p ds (2.0) x (s) p ds (2.) for =, 2,..., n nd c (, b). Multiplying the -th eqution of system (.4) by x (t), integrting from to b by using integrtion by prts nd ting into

6 D. ÇAKMAK, M. F. AKTAŞ, A. TIRYAKI EJDE-203/28 ccount tht x () = 0 = x (b) nd the inequlities (2.) for =, 2,..., n, then the monotonicity of g yields x (s) p ds = F (s, x (s), x 2 (s),..., x n (s))x (s)ds f (s)g ( x (s), x 2 (s),..., x n (s) )ds f + (s)g ( x (s), x 2 (s),..., x n (s) )ds = g (M, M 2,..., M n ) Then, using (2.2) in (2.), we hve f + (s)ds f + (s)ds. 2M p [ b ] p g (M, M 2,..., M n ) 2(c )(b c ) (2.2) (2.3) for =, 2,..., n. Since (x (t), x 2 (t),..., x n (t)) is nontrivil solution of system (.4), it is esy to see tht t lest one inequlity in (2.3) is strict, which completes the proof. Another min result of this pper is the following theorem whose proof is lmost the sme to tht of [9, Theorem ]; hence it is omitted. Theorem 2.2. Let ll the ssumptions of Theorem 2. hold. Then the inequlity f + (s)ds [ (c ) p + ] M (b c ) p H (2.4) holds, where f + (t), H nd M for =, 2,..., n re s in Theorem 2.. Moreover, t lest one inequlity in (2.4) is strict. Remr 2.3. The right-hnd side of inequlities (2.3) in Theorem 2. or (2.4) in Theorem 2.2 shows tht c, for =, 2,..., n, cnnot be too close to or b, since the exponents stisfy < p < + for =, 2,..., n. We hve f + (s)ds < for =, 2,..., n, but [ lim c +, c b c + ] p =, or b c [ lim c +, c b (c ) p + ] = (b c ) p for =, 2,..., n. Now, ccording to the vlue of p, we compre Theorem 2. with Theorem 2.2 s follows. Remr 2.4. It is esy to see from inequlity (.3) tht if we te < p < 2, for =, 2,..., n, then inequlity (2.3) is better thn (2.4) in the sense tht (2.4) follows from (2.3), but not conversely. Similrly, from inequlity (.4), if p > 2, for =, 2,..., n, then inequlity (2.4) is better thn (2.3) in the sense tht (2.3) follows from (2.4), but not conversely. Moreover, if p = 2 or c = +b 2 for =, 2,..., n, then Theorem 2. is exctly the sme s Theorem 2.2. By using (.5) in Theorem 2. or 2.2, we obtin the following result.

EJDE-203/28 LYAPUNOV-TYPE INEQUALITIES 7 Theorem 2.5. Let ll the ssumptions of Theorem 2. hold. Then the inequlity f + (s)ds 2 p (b ) p M H (2.5) holds, where f + (t), H nd M for =, 2,..., n re s in Theorem 2.. Moreover, t lest one inequlity in (2.5) is strict. Now, we present the following hypothesis which gives the importnce of our theorems for system (.9). (C3) There exist the functions f C([, b], R) nd g C(R n, [0, )) such tht F (t, x, x 2,..., x n )x = f (t)g ( x, x 2,..., x n ) (2.6) nd g (u, u 2,..., u n ) is monotonic nondecresing in ech vrible u i such tht either g (0, 0,..., 0) = 0 or g (u, u 2,..., u n ) > 0 for t lest one u i 0 for i =, 2,..., n, (2.7) where g ( x, x 2,..., x n ) = x z (x, x 2,..., x n ) with (.8) for =, 2,..., n such tht α 0 nd n α = p =. It is esy to see tht system (.4) with hypothesis (C3) reduces to system (.9). Since n (M H ) α /p =, (2.8) = we hve the following results from Theorems 2. nd 2.2, respectively. Theorem 2.6. Assume tht hypothesis (C3) is stisfied. If (.4) hs rel nontrivil solution (x (t), x 2 (t),..., x n (t)) stisfying the boundry condition (.0), then n ( ) f + (s)ds α /p n [ 2 2 p ( = = c + ) p ] α /p, (2.9) b c where x (c ) = mx <t<b x (t) nd f + (t) = mx{0, f (t)} for =, 2,..., n. Moreover, t lest one inequlity in (2.9) is strict. Theorem 2.7. Let ll the ssumptions of Theorem 2.6 hold. Then the inequlity n ( ) f + (s)ds α /p n [ (c ) p + ] α /p (2.20) (b c ) p = = holds, where c nd f + (t) for =, 2,..., n re s in Theorem 2.6. Moreover, t lest one inequlity in (2.20) is strict. By using (.5) in Theorem 2.6 or 2.7 nd (2.8) in Theorem 2.5, we hve the following result. Corollry 2.8. Let ll the ssumptions of Theorem 2.6 hold. Then the inequlity n ( ) f + (s)ds α /p 2 P n = α (b ) (P n (2.2) = α ) = holds, where f + (t) for =, 2,..., n is s in Theorem 2.6. Moreover, t lest one inequlity in (2.2) is strict.

8 D. ÇAKMAK, M. F. AKTAŞ, A. TIRYAKI EJDE-203/28 Remr 2.9. It is esy to see from (.3) tht if we te < p < 2 for =, 2,..., n, then (2.9) is better thn (.8) in the sense tht (.8) follows from (2.9), but not conversely. Similrly, from (.4), if p > 2 for =, 2,..., n, then (.8) is better thn (2.9) in the sense tht (2.9) follows from (.8), but not conversely. Remr 2.0. It is esy to see tht inequlity (2.20) is exctly the sme s (.8), nd (2.2) is exctly the sme s (.). Remr 2.. When α = p for =, 2,..., n, nd for i, α i = 0 for i =, 2,..., n in system (.9), we obtin the result for the cse of single eqution from Theorems 2.6, 2.7 or Corollry 2.8. Remr 2.2. Since f(x) f + (x), the integrls of f + (s)ds for =, 2,..., n in the bove results cn lso be replced by f (s) ds for =, 2,..., n, respectively. 3. Applictions In this section, we present some pplictions of the Lypunov-type inequlities obtined in Section 2. Firstly, we give the sme exmple of Yng et l [9] which gives the importnce of our results. Note tht our Corollry 2.8 is pplicble to the following exmple, but [9, Corollry 3] is not pplicble to it, since the nondecresing condition on ech vrible of g for =, 2,..., n is not stisfied. Exmple 3.. Consider the qusiliner system (φ p (x )) + f (t)(3 + sin 2x ) x α 2 x x 2 α2 x 2 = 0 (φ p2 (x 2)) + f 2 (t)( + sin 2 2x 2 ) x α x x 2 α2 2 x 2 = 0, (3.) where φ α (u) = u α 2 u, p, p 2 >, α, α 2 0 with α p re nonnegtive continuous functions on [, b]. + α2 p 2 =, f nd f 2 Assume tht system (3.) hs rel nontrivil solution (x (t), x 2 (t)) stisfying the Dirichlet boundry condition x () = x (b) = 0 = x 2 () = x 2 (b). Since F (t, x, x 2 )x 4f (t) x α x 2 α2 F 2 (t, x, x 2 )x 2 2f 2 (t) x α x 2 α2, nd (3.2) where g (u, u 2 ) = u α uα2 2 for =, 2 which re stisfied the nondecresing condition on ech vrible u i for i =, 2, we hve the following inequlities 4 f (s)ds > 2 p (b ) p M H, 2 f 2 (s)ds > 2 p 2 (b ) p2 M 2H 2 (3.3) with M H = M p α M α2 2 nd M 2 H 2 = M α M p2 α2 2 from Theorem 2.6. Hence, we hve ( from Corollry 2.8. ) α f (s)ds p ( ) α 2 p 2 2 α+α2 α p f 2 (s)ds > (b ) α+α2 (3.4)

EJDE-203/28 LYAPUNOV-TYPE INEQUALITIES 9 Secondly, we give nother ppliction of the Lypunov-type inequlities obtined for system (.9). Note tht the lower bounds re found by using inequlity (2.20) in Theorem 2.7 coincide with tht of [6, Theorem 9]. Now, we present new lower bounds by using inequlity (2.9) in Theorem 2.6 which give better lower bound for the eigenvlues of following system thn tht of [6, Theorem 9] when < p < 2 for =, 2,..., n. Let λ for =, 2,..., n be generlized eigenvlues of system (.9), nd r(t) be positive function for ll t R. Therefore, system (.9) with f (t) = λ α r(t) > 0 for =, 2,..., n nd ll t R reduces to the system ( x p 2 x ) = λ α r(t) x α 2 x x 2 α2... x n αn ( x 2 p2 2 x 2) = λ 2 α 2 r(t) x α x 2 α2 2 x 2... x n αn... ( x n pn 2 x n) = λ n α n r(t) x α x 2 α2... x n αn 2 x n. (3.5) By using similr techniques to the technique in [6], we obtin the following result which gives lower bounds for the n-th eigenvlue λ n. The proof of following theorem is bsed on bove generliztion of the Lypunov-type inequlity, s in tht of [6, Theorem 9] nd hence is omitted. Theorem 3.2. There exist function (λ, λ 2,..., λ n ) such tht λ n (λ, λ 2,..., λ n ) (3.6) for every generlized eigenvlue (λ, λ 2,..., λ n ) of system (3.5), where x (c ) = mx <t<b x (t) for =, 2,..., n nd (λ, λ 2,..., λ n ) = α n { n = [ 2 2 p ( c + b c ) p ] α /p [ n (λ α ) α /p r(s)ds ] } p n/α n. = (3.7) Remr 3.3. Let < p < 2 for =, 2,..., n. If we compre Theorem 3.2 with [6, Theorem 9], we obtin (λ, λ 2,..., λ n ) h (λ, λ 2,..., λ n ) since the inequlity (.3) holds. Thus, Theorem 3.2 gives better lower bound thn [6, Theorem 9]. Remr 3.4. Since is continuous function, (λ, λ 2,..., λ n ) + s ny eigenvlue of λ 0 + for =, 2,..., n. Therefore, there exists bll centered in the origin such tht the generlized spectrum is contined in its exterior. Also, by rerrnging terms in (3.6) we obtin n = λ α /p n [2 2 p ( c + [ n ) p ] α /p b c = = α α /p r(s)ds]. (3.8) It is cler tht when the intervl collpses, right-hnd side of (3.8) pproches infinity. Acnowledgments. The uthors wnt to thn the nonymous referee for his/her vluble suggestions nd comments tht helped us improve this rticle.

0 D. ÇAKMAK, M. F. AKTAŞ, A. TIRYAKI EJDE-203/28 References [] R. P. Agrwl, S. R. Grce, D. O Regn; Oscilltion Theory for Second Order Liner, Hlfliner, Superliner nd Subliner Dynmic Equtions, Kluwer, Dordrecht, 2002. [2] M. F. Atş, D. Çm, A. Tiryi; A note on Tng nd He s pper, Appl. Mth. Comput. 28 (202), 4867-487. [3] D. Çm; Lypunov-type integrl inequlities for certin higher order differentil equtions, Appl. Mth. Comput. 26 (200), 368-373. [4] D. Çm; On Lypunov-type inequlity for clss of nonliner systems, Mth. Inequl. Appl. 6 (203), 0-08. [5] D. Çm, A. Tiryi; On Lypunov-type inequlity for qusiliner systems, Appl. Mth. Comput. 26 (200), 3584-359. [6] D. Çm, A. Tiryi; Lypunov-type inequlity for clss of Dirichlet qusiliner systems involving the (p, p 2,..., p n)-lplcin, J. Mth. Anl. Appl. 369 (200), 76-8. [7] P. Hrtmn; Ordinry differentil equtions, Wiley, New Yor, 964 n Birhäuser, Boston 982. [8] C. Lee, C. Yeh, C. Hong, R. P. Agrwl; Lypunov nd Wirtinger inequlities, Appl. Mth. Letters 7 (2004), 847-853. [9] A. M. Lipunov; Probléme générl de l stbilit é du mouvement, Ann. Fc. Sci. Univ. Toulouse, 2 (907), 203-407. [0] P. L. Npoli, J. P. Pinsco; Estimtes for eigenvlues of qusiliner elliptic systems, J. Differentil Equtions 227 (2006), 02-5. [] J. P. Pinsco; Lower bounds for eigenvlues of the one-dimensionl p-lplcin, Abstrct nd Applied Anlysis 2004:2 (2004), 47-53. [2] J. P. Pinsco; Comprison of eigenvlues for the p-lplcin with integrl inequlities, Appl. Mth. Comput. 82 (2006), 399-404. [3] I. Sim, Y. Lee; Lypunov inequlities for one-dimensionl p-lplcin problems with singulr weight function, J. Inequl. Appl. 200, Art. ID 865096, 9 pp. [4] A. Tiryi, M. Ünl, D. Çm; Lypunov-type inequlities for nonliner systems, J. Mth. Anl. Appl. 332 (2007), 497-5. [5] A. Tiryi; Recent developments of Lypunov-type inequlities, Adv. Dyn. Syst. Appl. 5 (200), 23-248. [6] A. Tiryi, D. Çm, M. F. Atş; Lypunov-type inequlities for certin clss of nonliner systems, Comput. Mth. Appl. 64 (202), 804-8. [7] M. Ünl, D. Çm, A. Tiryi; A discrete nlogue of Lypunov-type inequlities for nonliner systems, Comput. Mth. Appl. 55 (2008), 263-2642. [8] M. Ünl, D. Çm; Lypunov-type inequlities for certin nonliner systems on time scles, Turish J. Mth. 32 (2008), 255-275. [9] X. Yng, Y. Kim, K. Lo; Lypunov-type inequlity for clss of qusiliner systems, Mth. Comput. Modelling 53 (20), 62-66. Devrim Çm Gzi University, Fculty of Eduction, Deprtment of Mthemtics Eduction, 06500 Tenioullr, Anr, Turey E-mil ddress: dcm@gzi.edu.tr Mustf Fhri Atş Gzi University, Fculty of Sciences, Deprtment of Mthemtics, 06500 Tenioullr, Anr, Turey E-mil ddress: mfhri@gzi.edu.tr Aydin Tiryi Izmir University, Fculty of Arts nd Sciences, Deprtment of Mthemtics nd Computer Sciences, 35350 Ucuyulr, Izmir, Turey E-mil ddress: ydin.tiryi@izmir.edu.tr