- Research
- Open access
- Published:

# Coupled intervals for discrete *p*-degree functional

*Advances in Difference Equations*
**volume 2012**, Article number: 100 (2012)

## Abstract

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.

**MSC:**39A12, 49K99.

## 1 Introduction

In this article, we study the *p*-degree functional

where N\ge 1, {R}_{k}\ne 0 for k\in [0,N] and p>1. (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 [0,N+1] which satisfy {x}_{0}=0. The functional is said to be nonnegative over the class of admissible functions if J(x)\ge 0 for every admissible *x*. Similarly, *J* is said to be positive if J(x)>0 for every admissible *x* which is not equal zero identically on [0,N+1].

This article can be considered as a continuation of the article [1] dealing with the *p*-degree functional (1) over the class of the functions satisfying {x}_{0}=0={x}_{N+1} and the article [2], where the functional

defined over the class of nontrivial sequences satisfying {x}_{N+1}=0 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 [11].

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 [4] for details. Note that in contrast to [4], 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 \mathrm{\Phi}(t)={|t|}^{p-2}t. Equation (3) has the property that a constant multiple of every solution is also a solution of this equation. See also [3], Chapter 8] for basic results concerning equation (3). If p=2, 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 (m,m+1] is said to be a *generalized zero* of the solution *z* if {z}_{m}\ne 0 and {R}_{m}{z}_{m}{z}_{m+1}\le 0.

**Definition 1.2** (Conjugate interval)

The interval (m,m+1] is said to be *conjugate to* 0 if (m,m+1] is a generalized zero of the solution *z* which satisfy {z}_{0}=0, {r}_{0}\mathrm{\Phi}({z}_{1})=1.

The functional (1) defined over the class of functions satisfying {x}_{0}=0={x}_{N+1} 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 {x}_{0}=0{r}_{0}\mathrm{\Phi}({x}_{1})=1) on the interval (0,N+1], see [3], Theorem 8.2.2]. Since the class of sequences with the zero boundary conditions on both {x}_{0} and {x}_{N+1} 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 {x}_{0}=0 implies the nonnegativity (positivity) of this functional over the class of functions which satisfy {x}_{0}=0={x}_{N+1}. Hence, the positivity of the functional (1) also implies the nonexistence of the interval conjugate to the point 0 on (0,N+1].

The following definition is motivated by [6]. 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 m\le N. The interval (m,m+1] is said to be *coupled with* 0 if there exists a solution *z* of (3) on [0,m-1] and a real number *α* which satisfy {z}_{0}=0, {r}_{0}\mathrm{\Phi}({z}_{1})=1, {z}_{m}\ne 0,

and if m\ne N then also z\not\equiv \alpha on [m+1,N+1]. If the strict inequality {d}_{m}<0 holds, then (m,m+1] is said to be *strictly coupled with* 0.

**Remark 1.1** Note that from the condition {z}_{0}=0\ne {z}_{m}, it follows that (0,1] cannot be coupled with 0. The quantity {d}_{m} 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 [0,N-1] such that {z}_{0}=0, {R}_{0}\mathrm{\Phi}({z}_{1})=1 and for m\le N consider the sequence *x* defined by

*i.e.* *x* is a solution on [0,m-2], \mathrm{\Delta}{x}_{m}=\alpha -{z}_{m} and \mathrm{\Delta}{x}_{k}=0 for k\in [m+1,N]. Now a direct computation shows

Using summation by parts, {z}_{0}=0 and in view of the fact that *z* is a solution on [0,m-1] we have

and hence J(x)={d}_{m}.

**Remark 1.2** If not explicitly stated otherwise, in connection with functional (1) we consider equation (3) on the interval [0,N-1], *i.e.* the solution *z* of (3) is defined on [0,N+1]. Note that if we compare the coefficients from the functional and the coefficients from the equation, both {R}_{N+1} and {C}_{N} are present in the functional, but neither of them appears in (3) on [0,N-1]. However, for every m\le N both {R}_{N+1} and {C}_{N} appear in the definition of coupled point in the quantity {d}_{m}. In some cases, it is desirable to extend the solution to the interval [0,N], 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) *on*[0,N-1]*and the corresponding functional* (1). *Let*m\le N. *If the interval*(m,m+1]*is conjugate to* 0, *then*(m,m+1]*is coupled with* 0.

*Proof* Denote by *z* the solution of (3) on [0,m-1] which satisfies {z}_{0}=0 and {r}_{0}\mathrm{\Phi}({z}_{1})=1. Suppose that (m,m+1] is conjugate to 0, *i.e.*{z}_{m}\ne 0 and {R}_{m}{z}_{m}{z}_{m+1}\le 0. If \alpha =0, then {d}_{m} reduces to

Graphing the function f(x)=\mathrm{\Phi}(x-1)+1 we easily find that \mathrm{\Phi}(x-1)+1\le 0 if and only if x\le 0. Hence, {R}_{m}{z}_{m}{z}_{m+1}\le 0 is equivalent to {d}_{m}\le 0. If m=N then (m,m+1] is coupled with 0. To finish the proof in the case m<N we have to show that z\not\equiv \alpha on [m+1,N+1]. However, since \alpha =0 and the solution *z* is not trivial, the relation {z}_{k}=\alpha cannot hold for two consecutive indices *k*, k+1. □

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 [1], see also [3], 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 {z}_{0}=0 and {z}_{k}\ne 0 for k\in 1,2,\dots ,N+1.

**Lemma 2.2** *Let*{z}_{k}*be a solution of* (3) *on*[0,N-1]*and suppose that*{z}_{0}=0*and*{z}_{k}\ne 0*for*k\in [1,N+1]. *For*k\in [1,N]*define*

*Then*
{G}_{k}(x,z)\ge 0
*and*

*Proof* The nonnegativity of {G}_{k}(x,z) follows from [1], see also [3], Theorem 8.2.1]. From {z}_{k}\ne 0 for k\in [1,N] and from [3], Theorem 8.2.1] we have

for k\in [1,N-1]. Hence,

Since *z* is a solution of (3) for k=0 which satisfies {z}_{0}=0, we have

and

Using the definition of {G}_{k} and {z}_{N}\ne 0{z}_{N+1}\ne 0 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 {d}_{N} from the definition of the coupled interval, as the following lemma shows.

**Lemma 2.3** *Let* *z* *be a solution of* (3) *on*[0,N-1]*which satisfies*{z}_{0}=0, {R}_{0}\mathrm{\Phi}({z}_{1})=1, {z}_{N}\ne 0*and*{z}_{N+1}\ne 0. *The interval*(N,N+1]*is coupled with* 0 *if and only if*

*The interval*(N,N+1]*is strictly coupled with* 0 *if and only if the strict inequality holds in* (7).

*Proof* Let {d}_{N} be defined by (4) with m=N. For \alpha ={z}_{N+1}, we have

Since (N,N+1] is coupled (strictly coupled) with 0 if and only if {d}_{N}\le 0 ({d}_{N}<0), 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 {z}_{k} is solution of (3), then {w}_{k}={R}_{k}\mathrm{\Phi}(\mathrm{\Delta}{z}_{k}/{z}_{k}) 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 [3], 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 interval*(m,m+1]\subseteq (1,N]*coupled with* 0 *and the interval*(N,N+1]*is not strictly coupled with* 0.

*Proof* Suppose that there is no interval (m,m+1]\subseteq (1,N] coupled with 0 and the interval (N,N+1] is not strictly coupled with 0. Let *z* be the solution of (3) which satisfies {z}_{0}=0 and {R}_{0}\mathrm{\Phi}({z}_{1})=1. Then {R}_{k}{z}_{k}{z}_{k+1}>0 for all k\in [1,N]. Really, if there exists k\in [1,N] such that {R}_{k}{z}_{k}{z}_{k+1}\le 0 then (k,k+1]\subseteq (1,N+1] 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 {G}_{k} and {R}_{k}{z}_{k}{z}_{k+1} for k\in [1,N].

To prove the opposite implication, suppose, by contradiction, that *J* is nonnegative and (m,m+1]\subseteq (1,N] is coupled with 0. Let *z* and *α* be the corresponding solution and number from the definition of coupled interval, *i.e.*{z}_{0}=0, {R}_{0}\mathrm{\Phi}({z}_{1})=1, {z}_{m}\ne 0, {d}_{m}\le 0 and {z}_{k}\not\equiv \alpha on [m+1,N+1] if m\ne N. Define an admissible function *x* as in Remark 1.1. Similarly, as in Remark 1.1 we have J(x)={d}_{m}\le 0. Since *J* is nonnegative, the relation J(x)=0 holds and *J* attains its minimum at *x*. Consequently, *x* satisfies the corresponding Euler-Lagrange equation (3) on [0,N-1] and hence x\equiv z on [0,N+1]. However, {x}_{k}\equiv \alpha on [m+1,N+1] and hence also {z}_{k}\equiv \alpha on [m+1,N+1] which contradicts the definition of the coupled interval. In a similar way, if *J* is nonnegative and (N,N+1] is strictly coupled, then the function defined in Remark 1.1 satisfies J(x)={d}_{N}<0 which contradicts nonnegativity of *J*. □

**Remark 3.1** The sum {\sum}_{k=1}^{N}\frac{{R}_{k}{z}_{k}}{{z}_{k+1}}{G}_{k}(x,z) which appears on the right-hand side of (6) equals zero if and only if *x* is a constant multiple of *z* on [0,N+1] (see [3] for details). The remaining part from the right hand side can be written in the form

where \mathrm{\Delta}{z}_{N+1} is evaluated by extending the solution *z* from the interval [0,N-1] to [0,N]. Now it is easy to see that this expression equals zero if and only if {x}_{N+1}=0 or {z}_{N+2}=0. 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 (N,N+1]. The interval (N,N+1] is allowed to be coupled with 0 but not strictly coupled in Theorem 3.1, *i.e.*{d}_{N}\ge 0. This condition is sharpened and the possibility {d}_{N}=0 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 interval*(m,m+1]\subseteq (1,N+1]*coupled with* 0.

*Proof* If there is no interval (m,m+1]\subseteq (1,N+1] coupled with 0, then (N,N+1] is not strictly coupled and the functional (1) is nonnegative by Theorem 3.1. To prove the positivity we have to show that J(x) equals zero if and only if *x* equals zero on [0,N+1]. By Lemma 2.1, there is no interval (m,m+1]\subseteq (1,N+1] conjugate with 0 and hence a solution which satisfies {z}_{0}=0{R}_{0}\mathrm{\Phi}({z}_{1})=1 satisfies {R}_{k}{z}_{k}{z}_{k+1}>0 for k\in [1,N]. By Lemma 2.2, the functional J(x) 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 [0,N+1]. Since {z}_{k}\ne 0 on [0,N+1], the second term in (6) vanishes only if all the terms {G}_{k}(x,z) vanish on [1,N] which means that *x* is a constant multiple of *z* on [0,N+1] (see [3], Theorem 8.2.1]). Since (N,N+1] is not coupled with 0, by Lemma 2.3 we have

Hence, J(x)=0 implies {x}_{N+1}=0. Since *x* is a constant multiple of *z* and {z}_{N+1}\ne 0, we have {x}_{k}=0 for all k\in [0,N+1] 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 (m,m+1]\subseteq (1,N] coupled with 0 and (N,N+1] is not strictly coupled with 0. To finish the proof it is sufficient to prove that (N,N+1] is not coupled. However, if *z* is a solution which satisfies {z}_{0}=0, {R}_{0}\mathrm{\Phi}({z}_{1})=1, and for some *α* we have {d}_{N}=0, then the function *x* defined by (5) is nontrivial and J(x)={d}_{N}=0, which contradicts positivity of *J*. □

**Remark 3.2** If we consider linear case p=2 in Theorems 3.1, 3.2 and the scalar case with zero boundary condition at the left endpoint in [4], 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.

## References

Ř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/10236190500137454Hilscher R, Zeidan V: Coupled intervals in the discrete optimal control.

*J. Differ. Equ. Appl.*2004, 10(2):151–186. 10.1080/1023619031000146841Hilscher 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-XDošlá Z, Došlý O: Quadratic functionals with general boundary conditions.

*Appl. Math. Optim.*1997, 36: 243–262. 10.1007/s002459900062Doš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-XMařík R: A half-linear differential equation and corresponding variational problem.

*Nonlinear Anal.*2001, 45: 203–211. 10.1016/S0362-546X(99)00338-7Doš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.

## Acknowledgement

The research was supported by the Grant P201/10/1032 of the Czech Science Foundation.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The author declares that he has no competing interests.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## 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

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1687-1847-2012-100