- Open Access
Coupled intervals for discrete p-degree functional
© Mařík; licensee Springer. 2012
- Received: 16 March 2012
- Accepted: 21 June 2012
- Published: 3 July 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.
- half-linear difference equation
- p-degree functional
- coupled interval
- conjugate point
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 .
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 .
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.
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)
and if then also on . If the strict inequality holds, then is said to be strictly coupled with 0.
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.
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.
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
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.
The intervalis strictly coupled with 0 if and only if the strict inequality holds in (7).
Since is coupled (strictly coupled) with 0 if and only if (), the lemma follows. □
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).
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. □
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.
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.
The research was supported by the Grant P201/10/1032 of the Czech Science Foundation.
- Řehák P: Oscillatory properties of second order half-linear difference equations. Czechoslov. Math. J. 2001, 51(126):303–321.Google Scholar
- Mařík R: Comparison theorems for half-linear second order difference equations. Arch. Math. 2000, 36: 513–518.Google Scholar
- Došlý O, Řehák P: Half-Linear Differential Equations. Elsevier, Amsterdam; 2005.Google Scholar
- 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/10236190500137454MathSciNetView ArticleGoogle Scholar
- Hilscher R, Zeidan V: Coupled intervals in the discrete optimal control. J. Differ. Equ. Appl. 2004, 10(2):151–186. 10.1080/1023619031000146841MathSciNetView ArticleGoogle Scholar
- 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-XMathSciNetView ArticleGoogle Scholar
- Došlá Z, Došlý O: Quadratic functionals with general boundary conditions. Appl. Math. Optim. 1997, 36: 243–262. 10.1007/s002459900062MathSciNetView ArticleGoogle Scholar
- 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.Google Scholar
- 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.Google Scholar
- 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-XMathSciNetView ArticleGoogle Scholar
- Mařík R: A half-linear differential equation and corresponding variational problem. Nonlinear Anal. 2001, 45: 203–211. 10.1016/S0362-546X(99)00338-7MathSciNetView ArticleGoogle Scholar
- Došlý O, Fišnarová S: Perturbation principle in discrete half-linear oscillation theory. Stud. Univ. Žilina Math. Ser. 2009, 23(1):19–28.Google Scholar
- 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.Google Scholar
- Došlý O, Fišnarová S: Summation characterization of the recessive solution for half-linear difference equations. Adv. Differ. Equ. 2009, 2009: 1–16.Google Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.