Characterization of Lyapunov pairs in the nonlinear case and applications. (English) Zbl 1172.34039

The authors study Lyapunov pairs for the nonlinear problem
\[ y'(t)+ Ay(t)\ni f(t,y(t)),\qquad y(0)= y_0 \]
in a Banach space, where \(A\) is an \(m\)-accretive multivalued operator and \(f\) is locally Lipschitz. The concept of a Lyapunov pair is based on the work in [A. Pazy, J. Anal. Math. 40, 239–262 (1981; Zbl 0507.47042)], and includes the standard definition of a Lyapunov function as a special case. In Theorem 5, given lower semicontinuous and proper \(V\) and \(g\), the authors give a necessary and sufficient condition (involving the J\(A\)-contingent derivative of \(V\)) for \(V\) and \(g\) to be a Lyapunov pair, extending results from [M. Kocan and P. Soravia, J. Funct. Anal. 192, No. 2, 342–363 (2002; Zbl 1040.93062)]. In Theorem 6, it is shown that the condition is still necessary and sufficient if the requirements on \(V\) are weakened, by assuming that \(g\) is locally Lipschitz. These results are then applied to a variety of problems, including a priori estimates of solutions, existence of global solutions, controllability and a problem in partial differential equations.


34G25 Evolution inclusions
34A12 Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations
34D20 Stability of solutions to ordinary differential equations
34H05 Control problems involving ordinary differential equations
Full Text: DOI


[1] Barbu, V., Nonlinear semigroups and differential equations in Banach spaces, (1976), Noordhoff Leyden
[2] Barbu, V., The dynamic programming equation for the time-optimal control problem in infinite dimensions, SIAM J. control optim., 29, 445-456, (1991) · Zbl 0737.49022
[3] Bothe, D., Flow invariance for perturbed nonlinear evolution equations, Abstr. appl. anal., 1, 417-433, (1996) · Zbl 0954.34054
[4] Bothe, D., Nonlinear evolutions with Carathéodory forcing, J. evol. equ., 3, 375-394, (2003) · Zbl 1044.47050
[5] Brézis, H., Opérateurs maximaux monotones et semi-groupes de contractions dans LES espaces de Hilbert, (1973), North-Holland Amsterdam · Zbl 0252.47055
[6] Cannarsa, P.; Cârjă, O., On the Bellman equation for the minimum time problem in infinite dimensions, SIAM J. control optim., 43, 532-548, (2004) · Zbl 1095.49023
[7] Cârjă, O., On the minimum time problem and the minimum energy problem; a nonlinear case, Systems control lett., 55, 543-548, (2006) · Zbl 1129.49304
[8] Cârjă, O.; Motreanu, D., Flow-invariance and Lyapunov pairs, Dyn. contin. discrete impuls. syst. ser. A math. anal., 13B, 185-198, (2006), suppl
[9] Cascaval, C.; Vrabie, I.I., Existence of periodic solutions for a class of nonlinear evolution equations, Rev. mat. complut., 7, 325-338, (1994) · Zbl 0815.34051
[10] Deimling, K., Multivalued differential equations, (1992), De Gruyter Berlin · Zbl 0760.34002
[11] Fattorini, H.O., Infinite dimensional optimization and control theory, (1999), Cambridge University Press · Zbl 0931.49001
[12] Kocan, M.; Soravia, P., Lyapunov functions for infinite-dimensional systems, J. funct. anal., 192, 342-363, (2002) · Zbl 1040.93062
[13] Motreanu, D.; Pavel, N.H., Tangency, flow-invariance for differential equations and optimization problems, () · Zbl 0504.58037
[14] Pavel, N.H., Invariant sets for a class of semi-linear equations of evolution, Nonlinear anal., 1, 187-196, (1977) · Zbl 0344.45001
[15] Pazy, A., The Lyapunov method for semigroups of nonlinear contractions in Banach spaces, J. anal. math., 40, 239-262, (1981) · Zbl 0507.47042
[16] Tătaru, D., Viscosity solutions for hamilton – jacobi equations with unbounded nonlinear term: A simplified approach, J. differential, 111, 123-144, (1994) · Zbl 0810.34060
[17] Vrabie, I.I., Compactness methods and flow-invariance for perturbed nonlinear semigroups, An. ştiinţ. univ. al. I. cuza” iaşi secţ. I a mat., 27, 117-125, (1981) · Zbl 0463.34054
[18] Vrabie, I.I., ()
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.