# Optimal Conditions for Maximum and Antimaximum Principles of the Periodic Solution Problem

- Meirong Zhang
^{1, 2}Email author

**2010**:410986

**DOI: **10.1155/2010/410986

© Meirong Zhang. 2010

**Received: **18 September 2009

**Accepted: **11 April 2010

**Published: **17 May 2010

We’re sorry, something doesn't seem to be working properly. Please try refreshing the page. If that doesn't work, please contact us so we can address the problem.

## Abstract

Given a periodic, integrable potential , we will study conditions on so that the operator admits the maximum principle or the antimaximum principle with respect to the periodic boundary condition. By exploiting Green functions, eigenvalues, rotation numbers, and their estimates, we will give several optimal conditions.

## 1. Introduction and Main Results

Maximum Principle (MP) and AntiMaximum Principle (AMP) are fundamental tools in many problems. Generally speaking, criteria for MP and AMP are related to the location of relevant eigenvalues. See, for example, [1–5]. We also refer the reader to Campos et al. [6] for a recent abstract setting of MP and AMP.

In this paper we are studying criteria of MP and AMP for the periodic solution problem of ODEs. For such a problem, MP and AMP are not only related to periodic eigenvalues, but also to antiperiodic eigenvalues. Though there exist several sufficient conditions of MP and AMP for the periodic solution problem in literature like [7–9] (for a brief explanation to these conditions, see Section 4.3), an optimal characterization on MP and AMP is not available. The main aim of this paper is to give several optimal criteria of MP and AMP of the periodic solution problem of ODEs which are expressed using eigenvalues, Green functions, or rotation numbers.

we say that admits the antimaximum principle if

(i) is invertible, and, moreover,

(ii)for any with , one has . Here means that a.e. and on a subset of positive measure.

In an abstract setting, these mean that is a strictly positive operator with respect to the ordering defined by a.e. .

In terminology of differential equations, admits AMP if and only if

has a unique -periodic solution , and, moreover,

(ii)if , one has for all .

We say that admits the maximum principle if for all such that .

Using periodic and antiperiodic eigenvalues of Hill's equations [10, 11], we will obtain the following complete characterizations on MP and AMP.

Theorem 1.1.

Let . Then admits MP iff , and admits AMP iff .

respectively. For the precise meaning of these eigenvalues, see Section 2.2.

Given an arbitrary potential , by introducing the parameterized potentials , , Theorem 1.1 can be stated as follows.

Theorem 1.2.

Let . Then admits MP iff , and admits AMP iff .

We will also use Green functions to give complete characterizations on MP and AMP of . See Theorem 4.1 and Corollary 4.4.

The paper is organized as follows. In Section 2, we will briefly introduce some concepts on Hill's equations [10, 12, 13], including the Poincaré matrixes , eigenvalues and rotation numbers and oscillation of solutions. In Section 3, we will use the Poincaré matrixes and fundamental matrix solutions to give the formula of the Green functions of the periodic solution problem (1.2). We will introduce for each potential two matrixes, and , and two functions, and . They are related with the Poincaré matrix and the Green function , respectively. Some remarkable properties on these new objects will be established.

Section 4 is composed of three subsections. At first, in Section 4.1, we will use the sign of Green functions to establish in Theorem 4.1 and Corollary 4.4 optimal conditions for MP and AMP. Then, in Section 4.2, we will use eigenvalues to give a complete description for the sign of Green functions. The proofs of Theorems 1.1 and 1.2 will be given. One may notice that in the deduction of the sign of Green functions, besides eigenvalues, rotation numbers, and oscillation of solutions, some important estimates on Poincaré matrixes in [10, 12] will be used. Moreover, in the deduction of AMP, a very remarkable reduction for elliptic Hill's equations by Ortega [14, 15] is effectively used to simplify the argument. Note that such a reduction is originally used to deduce the formula for the first Birkhoff twist coefficient of periodic solutions of nonlinear, scalar Newtonian equations. Finally, in Section 4.3, we will outline how the known sufficient conditions on AMP can be easily deduced from Theorem 1.1.

## 2. Basic Facts on Hill's Equations

### 2.1. Fundamental Solutions and Poincaré Matrixes

*fundamental matrix solution*of (2.1) is

the symplectic group of .

*Poincaré matrix*of (2.1) is

The *Floquet multipliers* of (2.1) are eigenvalues
of
. Then
, following from (2.6).

We say that (2.1) is *elliptic*, *hyperbolic* or *parabolic,* respectively, if
and
,
, or
, respectively. We write the sets of those potentials as
,
and
, respectively.

we have the following classification.

Lemma 2.1 (see [10]).

Equaqtion (2.1) is elliptic, hyperbolic, or parabolic, iff , , or , respectively. In particular, implies that .

Proof.

We need to prove the last conclusion. Suppose that . If , we have and . These are impossible.

### 2.2. Eigenvalues, Rotation Numbers, and Oscillation of Solutions

such that

(i) and as ;

(ii) is an eigenvalue of problem (1.3)–(2.8) (of problem (1.3)–(2.9), resp.) iff or where is even ( is odd, resp.). Here is void;

For these general results, one can refer to [10, 11]. Note that in [10] only piecewise continuous potentials are considered. However, these are also true for potentials. See [12, 16].

Here the equivalence of (2.13) follows from (2.11).

*rotation number*of (2.1). An alternative definition for (2.15) is

where is any nonzero solution of (2.1).

The connection between eigenvalues and oscillation of solutions is as follows.

Lemma 2.3.

Given , consider the parameterized Hill's equations (1.3) where . Then

(i)in case , any nonzero solution of (1.3) is nonoscillatory. More precisely, has at most one zero in the whole line

(ii)in case , any nonzero solution of (1.3) is oscillatory. More precisely, has infinitely many zeros.

### 2.3. Continuous Dependence on Potentials

Associated with the Hill's equation (2.1), we have the objects , , , and . All are determined by the potential . It is a classical result that all of these objects are continuously dependent on when the topology is considered. For the fundamental matrix solutions, this can be stated as follows.

is continuously Frechét differentiable. Moreover, the Frechét derivatives can be expressed using .

In a recent paper [20], Zhang has proved that these objects have stronger dependence on potentials . Some statements of these facts are as follows.

Lemma 2.5 (Zhang [20]).

are also continuous in .

From this lemma, the set is open in and in .

## 3. Green Functions and Their Variants

### 3.1. Green Functions

Here is the -periodic unit Dirac measure located at . The Green function can be expressed using and as follows.

Lemma 3.1.

Given , we have the following results.

(i) is given by

(ii) is continuous in and is symmetric

Moreover, can be extended to a continuous -periodic function in both arguments, that is, , .

- (i)
Formula (3.4) can be found from related references. For completeness, let us give the proof.

- (ii)From formula (3.4), the symmetry (3.5) is obvious. Moreover, . Finally, let us show that can be extended to a continuous function on the torus . By using (2.2), (2.5), and (2.6), one has from (3.4)(3.10)

Thus can be understood as a function on .

In general, is not differentiable at the diagonal .

### 3.2. Two Matrixes and Two Functions

Some results on and and their connections with the Poincaré matrix are as follows. All of them can be verified directly.

Lemma 3.2.

From equalities in Lemma 3.2, we have the following statements.

Lemma 3.3.

Given , then

(i) is nonsingular iff , and is nonsingular iff ;

(ii)Equation (2.1) is elliptic, hyperbolic, or parabolic, iff , , or , respectively.

Here is as in (3.12). Note that .

where and are as in (3.12) and (3.13). Note that these functions are well defined on the whole plane and the whole line, respectively. Some properties are as follows.

Lemma 3.4.

Proof.

Finally, equality (3.29) follows simply from (3.26) and (3.27).

We remark that, in general, is not true for . Note that (3.29) asserts that is -periodic. Some further properties on are as follows.

- (i)
Let . Then does not have any zero and therefore does not change sign.

- (ii)
Let . Then has only nondegenerate zeros, if they exist.

- (iii)Let . Then has a constant sign. Moreover,(3.32)

- (i)
Suppose that is elliptic. We have from Lemma 2.1. By (3.17), . Hence the symmetric matrix is either positive definite or negative definite, according to or . Since for all , we know that on .

- (ii)Suppose that . We have . Thus there exists an orthogonal transformation such that(3.33)

- (iii)Suppose that . We have . Then one eigenvalue of is and another is . In this case,(3.38)

where is a nonzero solution of (2.1). This shows that does not change sign.

We distinguish two cases.

(i) is stable-parabolic, that is, . In this case, one has and .

(ii) is unstable-parabolic, that is, . In this case, we assert that .

Since and , we obtain . Hence and . Moreover, . Thus and is stable-parabolic. In conclusion, for unstable-parabolic case, we have . Now it follows from (3.38) that . As proved before, does not change sign. Moreover, it is easy to see from (3.38) that all zeros of must be degenerate, if they exist.

From these, (3.32) is clear.

## 4. Optimal Conditions for MP and AMP

### 4.1. Complete Characterizations of MP and AMP Using Green Functions

Using Green functions , we have the following characterizations on MP and AMP.

Theorem 4.1.

Let with the Green function . Then admits MP iff and

Proof.

We give only the proof for AMP.

The sufficiency is as follows. Suppose that satisfies . Then, for any , it is easy to see from (3.1) that for all . We will show that for all and consequently (1.2) admits AMP.

From (3.24), we know that

is a solution of (2.1);

is also a solution of (2.1).

which are evident because and (3.16) shows that .

From the above assertion, we know that (= has only isolated zeros for . As , we have , a contradiction with (4.2).

Hence does not admit AMP.

To this end, let us establish some relation between and .

Hence (4.11) is also true for this case.

we have the following statements.

Lemma 4.2.

Proof.

This is just (4.15) because .

- (i)
The functionals and are well defined for all potentials . Moreover, by (4.15), and have the same signs with the functionals in (4.9).

- (ii)
Compared with the defining formulas in (4.9), the novelty of formulas in (4.14) is that when is fixed, is a solution of (2.1), while when is fixed, is also a solution of (2.1). A similar observation is used in [8] as well.

- (iii)
Due to the factor which is zero at those , and are in general discontinuous at . However, and are continuous at in the topology or even in the weak topology . See Lemmas 2.4 and 2.5.

By Lemma 4.2, Theorem 4.1 can be restated as follows.

Corollary 4.4.

Let . Then admits MP iff , and admits AMP iff .

### 4.2. Complete Characterizations of MP and AMP Using Eigenvalues

Lemma 4.5.

Let be such that . Then and admits MP.

Proof.

For any , one has and . See [10]. Thus . In the following let us fix any .

Step 1.

Since , we can use the representation (3.35) for where and are nonzero solutions of (2.1). Since , both have at most one zero. See Lemma 2.3. Hence has at most two zeros. However, as is -periodic, does not have any zero. This proves (4.20).

Step 2.

Since has the same nonzero value at the end-points of the interval , it is easy to see from (4.24) and (4.25) that must have another zero which is different from . Consequently, the solution of (2.1) has at least zeros and . This is impossible because . See Lemma 2.3.

Step 3.

Moreover, it follows from Lemma 2.4 that is continuous in . Thus (4.27) follows simply from (4.32) and (4.33).

Step 4.

Since , . It follows from (4.21), (4.26), and (4.27) that, for all , has the same sign with . Thus . By Corollary 4.4, admits MP.

Lemma 4.6.

Suppose that satisfies and . Then and admits AMP.

Proof.

a contradiction with the characterization of . Thus (4.21) is also true for .

Since , we have from (4.21) and (4.26) that , because we will prove in Lemma 4.7 that for all .

See [15, Lemma ] and [21]. We remark that such a result is very important to study the twist character and Lyapunov stability of periodic solutions of nonlinear Newtonian equations and planar Hamiltonian systems. See, for example, [14, 15, 21].

Lemma 4.7.

Proof.

Hence is invariant under transformations (4.42).

Now (4.48) can be obtained as follows. Let . Then . By (4.47), the transformed potential satisfies . By the invariance, we have the desired result (4.48).

Lemma 4.8.

Suppose that satisfies . Then and admits AMP.

Proof.

In conclusion we have .

Lemma 4.9.

Suppose that satisfies . Then does not admit neither MP nor AMP.

Proof.

We need not to consider the case because is not invertible.

In the following let us assume that satisfies . Then . The following is a modification of the last part of the proof of Lemma 4.8.

Hence does not admit MP.

Due to the ordering (2.10) of eigenvalues, the statements in Theorems 1.1 and 1.2 are equivalent. Now let us give the proof of Theorem 1.2. Recall that and for all . By Lemma 4.5, if , admits MP. By Lemmas 4.6 and 4.8, admits AMP for . By Lemma 4.9, does not admit MP nor AMP for . Using the ordering (2.10) for eigenvalues, we complete the proof of Theorem 1.2.

From Lemmas 4.5, 4.6, 4.8, and 4.9, the sign of Green functions is clear in all cases.

Definition 4.10.

*strong antimaximum principle*(SAMP) if admits AMP and, moreover, there exists such that

Then we have the following complete characterizations for SAMP.

Theorem 4.11.

Let . Then admits SAMP iff iff .

### 4.3. Explicit Conditions for AMP

Let us recall some known sufficient conditions for AMP.

Lemma 4.12 (Torres and Zhang [9]).

Then admits AMP.

In order to overcome the technical assumption (4.60) on positiveness of , one observation is as follows.

Lemma 4.13 (Torres [8, Theorem ]).

Let . Suppose that all gaps of consecutive zeros of all nonzero solutions of (2.1) are strictly greater than the period 1. Then the Green function has a constant sign.

By Theorem 4.1 of this paper, one sees that the hypothesis in Lemma 4.13 on solutions of (2.1) can yield MP or AMP. Combining ideas from [8, 9, 22], Cabada and Cid have overcome the positiveness condition (4.60) to obtain the following criteria.

Lemma 4.14 (Cabada and Cid [7, Theorem ]).

Then admits AMP.

with the constants being replaced by more general Sobolev constants [26].

- (i)Recall the following trivial upper bound:(4.69)

- (ii)It is also possible to construct many potentials for which admits AMP, while (4.70) is violated. For example, let and be defined by(4.71)

- (iii)
Notice that the lower bound (4.63) has actually shown that, under (4.67) ((4.70), resp.), the gaps of consecutive zeros of all nonzero solutions of (2.1) are ( , resp.). However, for those potentials as in Theorem 1.1, zeros of solutions of (2.1) may not be so evenly distributed. This is the difference between the sufficient conditions in this subsection and our optimal conditions given in Theorem 1.1.

## Declarations

### Acknowledgments

The author is supported by the Major State Basic Research Development Program (973 Program) of China (no. 2006CB805903), the Doctoral Fund of Ministry of Education of China (no. 20090002110079), the Program of Introducing Talents of Discipline to Universities (111 Program) of Ministry of Education and State Administration of Foreign Experts Affairs of China (2007), and the National Natural Science Foundation of China (no. 10531010).

## Authors’ Affiliations

## References

- Barteneva IV, Cabada A, Ignatyev AO:
**Maximum and anti-maximum principles for the general operator of second order with variable coefficients.***Applied Mathematics and Computation*2003,**134**(1):173-184. 10.1016/S0096-3003(01)00280-6MATHMathSciNetView ArticleGoogle Scholar - Grunau H-C, Sweers G:
**Optimal conditions for anti-maximum principles.***Annali della Scuola Normale Superiore di Pisa. Classe di Scienze. Serie IV*2001,**30**(3-4):499-513.MATHMathSciNetGoogle Scholar - Mawhin J, Ortega R, Robles-Pérez AM:
**Maximum principles for bounded solutions of the telegraph equation in space dimensions two and three and applications.***Journal of Differential Equations*2005,**208**(1):42-63. 10.1016/j.jde.2003.11.003MATHMathSciNetView ArticleGoogle Scholar - Pinchover Y:
**Maximum and anti-maximum principles and eigenfunctions estimates via perturbation theory of positive solutions of elliptic equations.***Mathematische Annalen*1999,**314**(3):555-590. 10.1007/s002080050307MATHMathSciNetView ArticleGoogle Scholar - Takác P:
**An abstract form of maximum and anti-maximum principles of Hopf's type.***Journal of Mathematical Analysis and Applications*1996,**201**(2):339-364. 10.1006/jmaa.1996.0259MATHMathSciNetView ArticleGoogle Scholar - Campos J, Mawhin J, Ortega R:
**Maximum principles around an eigenvalue with constant eigenfunctions.***Communications in Contemporary Mathematics*2008,**10**(6):1243-1259. 10.1142/S021919970800323XMATHMathSciNetView ArticleGoogle Scholar - Cabada A, Cid JÁ:
**On the sign of the Green's function associated to Hill's equation with an indefinite potential.***Applied Mathematics and Computation*2008,**205**(1):303-308. 10.1016/j.amc.2008.08.008MATHMathSciNetView ArticleGoogle Scholar - Torres PJ:
**Existence of one-signed periodic solutions of some second-order differential equations via a Krasnoselskii fixed point theorem.***Journal of Differential Equations*2003,**190**(2):643-662. 10.1016/S0022-0396(02)00152-3MATHMathSciNetView ArticleGoogle Scholar - Torres PJ, Zhang M:
**A monotone iterative scheme for a nonlinear second order equation based on a generalized anti-maximum principle.***Mathematische Nachrichten*2003,**251:**101-107. 10.1002/mana.200310033MATHMathSciNetView ArticleGoogle Scholar - Magnus W, Winkler S:
*Hill's Equation*. Dover, New York, NY, USA; 1979:viii+129.Google Scholar - Zhang M:
**The rotation number approach to eigenvalues of the one-dimensional****-Laplacian with periodic potentials.***Journal of the London Mathematical Society. Second Series*2001,**64**(1):125-143. 10.1017/S0024610701002277MATHMathSciNetView ArticleGoogle Scholar - Pöschel J, Trubowitz E:
*The Inverse Spectrum Theory*. Academic Press, New York, NY, USA; 1987.Google Scholar - Zettl A:
*Sturm-Liouville Theory, Mathematical Surveys and Monographs*.*Volume 121*. American Mathematical Society, Providence, RI, USA; 2005:xii+328.Google Scholar - Ortega R:
**The twist coefficient of periodic solutions of a time-dependent Newton's equation.***Journal of Dynamics and Differential Equations*1992,**4**(4):651-665. 10.1007/BF01048263MATHMathSciNetView ArticleGoogle Scholar - Ortega R:
**Periodic solutions of a Newtonian equation: stability by the third approximation.***Journal of Differential Equations*1996,**128**(2):491-518. 10.1006/jdeq.1996.0103MATHMathSciNetView ArticleGoogle Scholar - Meng G, Zhang M:
**Measure differential equations, II, Continuity of eigenvalues in measures with****topology.**preprint - Feng H, Zhang M:
**Optimal estimates on rotation number of almost periodic systems.***Zeitschrift für Angewandte Mathematik und Physik*2006,**57**(2):183-204. 10.1007/s00033-005-0020-yMATHView ArticleGoogle Scholar - Johnson R, Moser J:
**The rotation number for almost periodic potentials.***Communications in Mathematical Physics*1982,**84**(3):403-438. 10.1007/BF01208484MATHMathSciNetView ArticleGoogle Scholar - Johnson R, Moser J:
**Erratum: "The rotation number for almost periodic potentials" [Comm. Math. Phys. vol. 84 (1982), no. 3, 403–438].***Communications in Mathematical Physics*1983,**90**(2):317-318. 10.1007/BF01205510MathSciNetView ArticleGoogle Scholar - Zhang M:
**Continuity in weak topology: higher order linear systems of ODE.***Science in China. Series A*2008,**51**(6):1036-1058. 10.1007/s11425-008-0011-5MATHMathSciNetView ArticleGoogle Scholar - Chu J, Lei J, Zhang M:
**The stability of the equilibrium of a nonlinear planar system and application to the relativistic oscillator.***Journal of Differential Equations*2009,**247**(2):530-542. 10.1016/j.jde.2008.11.013MATHMathSciNetView ArticleGoogle Scholar - Zhang M, Li W:
**A Lyapunov-type stability criterion using****norms.***Proceedings of the American Mathematical Society*2002,**130**(11):3325-3333. 10.1090/S0002-9939-02-06462-6MATHMathSciNetView ArticleGoogle Scholar - Chu J, Nieto JJ:
**Recent existence results for second-order singular periodic differential equations.***Boundary Value Problems*2009,**2009:**-20.Google Scholar - Cabada A, Cid JÁ, Tvrdý M:
**A generalized anti-maximum principle for the periodic one-dimensional****-Laplacian with sign-changing potential.***Nonlinear Analysis: Theory, Methods & Applications*2010,**72**(7-8):3436-3446. 10.1016/j.na.2009.12.028MATHView ArticleGoogle Scholar - Cabada A, Lomtatidze A, Tvrdý M:
**Periodic problem involving quasilinear differential operator and weak singularity.***Advanced Nonlinear Studies*2007,**7**(4):629-649.MATHMathSciNetGoogle Scholar - Zhang M:
**Certain classes of potentials for****-Laplacian to be non-degenerate.***Mathematische Nachrichten*2005,**278**(15):1823-1836. 10.1002/mana.200410342MATHMathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.