Coupled intervals for discrete p-degree functional
Advances in Difference Equations volume 2012, Article number: 100 (2012)
We study the scalar p-degree functional
over the class of sequences with zero boundary condition at the left endpoint and free right endpoint. We extend the linear concept of coupled intervals to give a necessary and sufficient condition for nonnegativity and positivity of this functional.
In this article, we study the p-degree functional
where , for and . (Note that as usual, under the interval we actually mean the intersection of the interval of real numbers with the set of all integers.) The domain of the functional J (the class of admissible functions) is supposed to be the set of functions x defined on which satisfy . The functional is said to be nonnegative over the class of admissible functions if for every admissible x. Similarly, J is said to be positive if for every admissible x which is not equal zero identically on .
defined over the class of nontrivial sequences satisfying has been studied. It turns out that the concept of conjugate intervals which has been used in [2, 3] is no more sufficient to prove nonnegativity and/or positivity of the functional (1). For this reason, we use a different concept in this article - the concept of coupled intervals developed for the quadratic functional
in a series of papers written by Šimon Hilscher and Zeidan, see [4–6] and the references therein. Note that the theory of coupled points for differential equations has been developed in a series of articles written by Došlá, Došlý, Zeidan and Zezza, see [7–10] and the references therein. The extension of the continuous coupled points theory from the quadratic to the p-degree functional is described in .
The quadratic functional (2) defined over various classes of admissible functions is studied extensively in the literature because of the connection with the second variation: (2) is a second variation of the functional
see  for details. Note that in contrast to , we deal with the p-degree functional and for this reason we work with the scalar case only. In this case, the matrix products in (2) reduce to the products and powers of real numbers.
The corresponding Euler-Lagrange equation to the functional (1) is the half-linear difference equation
where . Equation (3) has the property that a constant multiple of every solution is also a solution of this equation. See also , Chapter 8] for basic results concerning equation (3). If , then the p-degree functional reduces to the quadratic functional and the half-linear equation (3) reduces to the linear equation.
There are many similarities between equation (3) and the linear second-order differential or difference equations. Among others, many results from the comparison and oscillation theory of the linear second-order difference equation extend to (3). Recall that in the oscillation theory of the second-order difference equations, we replace the zeros of continuous functions by the so-called generalized zeros, defined as follows:
Definition 1.1 (Generalized zero)
Let z be a solution of (3). The interval is said to be a generalized zero of the solution z if and .
Definition 1.2 (Conjugate interval)
The interval is said to be conjugate to 0 if is a generalized zero of the solution z which satisfy , .
The functional (1) defined over the class of functions satisfying is known to be positive definite if and only if there is no conjugate interval to the point 0 (i.e. there is no generalized zero of the solution which satisfies ) on the interval , see , Theorem 8.2.2]. Since the class of sequences with the zero boundary conditions on both and is a subset of the class of sequences with zero boundary condition at 0, the nonnegativity (positivity) of the functional (1) over the class of functions which satisfy implies the nonnegativity (positivity) of this functional over the class of functions which satisfy . Hence, the positivity of the functional (1) also implies the nonexistence of the interval conjugate to the point 0 on .
The following definition is motivated by . For a deeper insight and a motivation for this definition, see also Remark 1.1.
Definition 1.3 (Coupled interval)
Consider functional (1) and let . The interval is said to be coupled with 0 if there exists a solution z of (3) on and a real number α which satisfy , , ,
and if then also on . If the strict inequality holds, then is said to be strictly coupled with 0.
Remark 1.1 Note that from the condition , it follows that cannot be coupled with 0. The quantity from (4) is closely related to the value of the functional along an admissible function which follows the solution starting with zero value and which is extended as a constant sequence from some index. To show this connection let z be a nontrivial solution of (3) on such that , and for consider the sequence x defined by
i.e. x is a solution on , and for . Now a direct computation shows
Using summation by parts, and in view of the fact that z is a solution on we have
and hence .
Remark 1.2 If not explicitly stated otherwise, in connection with functional (1) we consider equation (3) on the interval , i.e. the solution z of (3) is defined on . Note that if we compare the coefficients from the functional and the coefficients from the equation, both and are present in the functional, but neither of them appears in (3) on . However, for every both and appear in the definition of coupled point in the quantity . In some cases, it is desirable to extend the solution to the interval , see Remark 2.1 hereafter.
2 Preliminary results
In the article, we show that the coupled intervals are convenient for characterization of nonnegativity or positivity of the functional (1). Since the functional (1) contains also a functional with zero boundary conditions on both ends as a subset, the nonnegativity (positivity) of (1) is broken as soon as the nonnegativity (positivity) of the functional with zero boundary conditions is broken. Thus, it is natural to expect that an existence of a conjugate interval implies the existence of a coupled interval. This fact is proved in the following lemma.
Lemma 2.1 Consider equation (3) onand the corresponding functional (1). Let. If the intervalis conjugate to 0, thenis coupled with 0.
Proof Denote by z the solution of (3) on which satisfies and . Suppose that is conjugate to 0, i.e. and . If , then reduces to
Graphing the function we easily find that if and only if . Hence, is equivalent to . If then is coupled with 0. To finish the proof in the case we have to show that on . However, since and the solution z is not trivial, the relation cannot hold for two consecutive indices k, . □
A representation of the functional (2) by a certain tridiagonal matrix has been used in [4–6] in the original proof of necessary and sufficient conditions for nonnegativity and positivity of (2). However, we lack this representation for the p-degree functional and we have to look for another method. A convenient tool for the study of this functional is the so called Picone-type identity, which has been proved in , see also , Theorem 8.2.1]. Using this identity we derive the following alternative representation of the functional J. Note that this representation relies on the existence of the solution of (3) which satisfies and for .
Lemma 2.2 Letbe a solution of (3) onand suppose thatandfor. Fordefine
for . Hence,
Since z is a solution of (3) for which satisfies , we have
Using the definition of and we see that
and (6) follows immediately. □
As shown in (6), the functional (1) can be written in the form of a sum of two terms. The second term is nonnegative, since it is a sum of other nonnegative terms. The nonnegativity (positivity) of the first term is tied with the nonnegativity (positivity) of the quantity from the definition of the coupled interval, as the following lemma shows.
Lemma 2.3 Let z be a solution of (3) onwhich satisfies, , and. The intervalis coupled with 0 if and only if
The intervalis strictly coupled with 0 if and only if the strict inequality holds in (7).
Proof Let be defined by (4) with . For , we have
Since is coupled (strictly coupled) with 0 if and only if (), the lemma follows. □
Remark 2.1 If we extend the solution z from Lemma 2.3 up to N, the condition (7) can be written in the form
The second term on the left-hand side is closely related with the so called generalized Riccati difference equation
Really, if is solution of (3), then is solution of (8). Thus, the (non)existence of the coupled interval can be characterized with the Riccati equation. For more details related to the Riccati equation technique see , Chapter 8] which summarizes known results up to 2005 and also a series of papers by Došlý and Fišnarová [12–14] for some further recent extensions (modified Riccati technique).
3 Main results
In this section, we present a necessary and sufficient condition for nonnegativity and positivity of the functional (1) over the class of admissible functions, i.e. functions with zero left endpoint and free right endpoint.
Theorem 3.1 Functional (1) is nonnegative over the class of admissible functions if and only if there is no intervalcoupled with 0 and the intervalis not strictly coupled with 0.
Proof Suppose that there is no interval coupled with 0 and the interval is not strictly coupled with 0. Let z be the solution of (3) which satisfies and . Then for all . Really, if there exists such that then is coupled with 0 according to Lemma 2.1. By Lemma 2.2, the functional (1) allows representation (6) and the nonnegativity of (1) follows from Lemma 2.3 and from the nonnegativity of the terms and for .
To prove the opposite implication, suppose, by contradiction, that J is nonnegative and is coupled with 0. Let z and α be the corresponding solution and number from the definition of coupled interval, i.e., , , and on if . Define an admissible function x as in Remark 1.1. Similarly, as in Remark 1.1 we have . Since J is nonnegative, the relation holds and J attains its minimum at x. Consequently, x satisfies the corresponding Euler-Lagrange equation (3) on and hence on . However, on and hence also on which contradicts the definition of the coupled interval. In a similar way, if J is nonnegative and is strictly coupled, then the function defined in Remark 1.1 satisfies which contradicts nonnegativity of J. □
Remark 3.1 The sum which appears on the right-hand side of (6) equals zero if and only if x is a constant multiple of z on (see  for details). The remaining part from the right hand side can be written in the form
where is evaluated by extending the solution z from the interval to . Now it is easy to see that this expression equals zero if and only if or . These conditions together characterize the case when a nonnegative functional becomes zero.
The following theorem presents a necessary and sufficient condition for the positivity of (1). Note that the difference between positivity and nonnegativity is only at . The interval is allowed to be coupled with 0 but not strictly coupled in Theorem 3.1, i.e.. This condition is sharpened and the possibility is excluded in a necessary and sufficient condition for positivity of (1).
Theorem 3.2 Functional (1) is positive over the class of admissible functions if and only if there is no intervalcoupled with 0.
Proof If there is no interval coupled with 0, then is not strictly coupled and the functional (1) is nonnegative by Theorem 3.1. To prove the positivity we have to show that equals zero if and only if x equals zero on . By Lemma 2.1, there is no interval conjugate with 0 and hence a solution which satisfies satisfies for . By Lemma 2.2, the functional possesses representation in the form (6). This representation consists of two nonnegative terms (see also Lemma 2.3) and to finish the proof we have to show that both terms equal zero if and only if x equals zero on . Since on , the second term in (6) vanishes only if all the terms vanish on which means that x is a constant multiple of z on (see , Theorem 8.2.1]). Since is not coupled with 0, by Lemma 2.3 we have
Hence, implies . Since x is a constant multiple of z and , we have for all and the functional is positive definite.
To prove the other implication, suppose that the functional (1) is positive. Then it is also nonnegative and by Theorem 3.1 there is no interval coupled with 0 and is not strictly coupled with 0. To finish the proof it is sufficient to prove that is not coupled. However, if z is a solution which satisfies , , and for some α we have , then the function x defined by (5) is nontrivial and , which contradicts positivity of J. □
Remark 3.2 If we consider linear case in Theorems 3.1, 3.2 and the scalar case with zero boundary condition at the left endpoint in , Theorems 5.3, 5.4], then the corresponding statements, i.e. the equivalence between the nonnegativity of the functional and nonexistence of the coupled point, coincide.
Řehák P: Oscillatory properties of second order half-linear difference equations. Czechoslov. Math. J. 2001, 51(126):303–321.
Mařík R: Comparison theorems for half-linear second order difference equations. Arch. Math. 2000, 36: 513–518.
Došlý O, Řehák P: Half-Linear Differential Equations. Elsevier, Amsterdam; 2005.
Hilscher R, Zeidan V: Nonnegativity and positivity of quadratic functionals in discrete calculus of variations: survey. J. Differ. Equ. Appl. 2005, 11(9):857–875. 10.1080/10236190500137454
Hilscher R, Zeidan V: Coupled intervals in the discrete optimal control. J. Differ. Equ. Appl. 2004, 10(2):151–186. 10.1080/1023619031000146841
Hilscher R, Zeidan V: Coupled intervals in the discrete calculus of variations: necessity and sufficiency. J. Math. Anal. Appl. 2002, 276: 396–421. 10.1016/S0022-247X(02)00495-X
Došlá Z, Došlý O: Quadratic functionals with general boundary conditions. Appl. Math. Optim. 1997, 36: 243–262. 10.1007/s002459900062
Došlá Z, Zezza P: Conjugate points in the theory of variations and optimal control theory via the quadratic form theory. Differ. Equ. Dyn. Syst. 1994, 2: 137–152.
Zeidan V, Zezza P: Variable end points in the calculus of variations: coupled points. In Lecture Notes in Control and Information Sciences. Edited by: Bensoussan A, Lions JL. Springer, Berlin; 1988:372–380.
Zeidan V, Zezza P: Coupled points in the calculus of variations and applications to periodic solutions. Trans. Am. Math. Soc. 1989, 315(1):323–335. 10.1090/S0002-9947-1989-0961599-X
Mařík R: A half-linear differential equation and corresponding variational problem. Nonlinear Anal. 2001, 45: 203–211. 10.1016/S0362-546X(99)00338-7
Došlý O, Fišnarová S: Perturbation principle in discrete half-linear oscillation theory. Stud. Univ. Žilina Math. Ser. 2009, 23(1):19–28.
Došlý O, Fišnarová S: Linearized Riccati technique and (non-)oscillation criteria for half-linear difference equations. Adv. Differ. Equ. 2008, 2008: 1–18.
Došlý O, Fišnarová S: Summation characterization of the recessive solution for half-linear difference equations. Adv. Differ. Equ. 2009, 2009: 1–16.
The research was supported by the Grant P201/10/1032 of the Czech Science Foundation.
The author declares that he has no competing interests.
About this article
Cite this article
Mařík, R. Coupled intervals for discrete p-degree functional. Adv Differ Equ 2012, 100 (2012). https://doi.org/10.1186/1687-1847-2012-100