619:
344:
197:
470:
497:
216:
80:
359:
24:(1916–1983) in 1949 and by the Hungarian mathematician Imre Bihari (1915–1998) in 1956. It is the following nonlinear generalization of
724:
679:
71:
675:"A generalization of a lemma of Bellman and its application to uniqueness problems of differential equations"
52:
614:{\displaystyle G(\alpha )+\int _{0}^{t}\,f(s)\,ds\in \operatorname {Dom} (G^{-1}),\qquad \forall \,t\in .}
207:
25:
729:
40:
655:
44:
21:
698:
688:
647:
480:
339:{\displaystyle u(t)\leq G^{-1}\left(G(\alpha )+\int _{0}^{t}\,f(s)\,ds\right),\qquad t\in ,}
192:{\displaystyle u(t)\leq \alpha +\int _{0}^{t}f(s)\,w(u(s))\,ds,\qquad t\in [0,\infty ),}
718:
465:{\displaystyle G(x)=\int _{x_{0}}^{x}{\frac {dy}{w(y)}},\qquad x\geq 0,\,x_{0}>0,}
703:
638:
J. LaSalle (July 1949). "Uniqueness theorems and successive approximations".
68:
693:
674:
659:
651:
500:
362:
219:
83:
613:
464:
338:
191:
8:
702:
692:
586:
567:
544:
531:
525:
520:
499:
447:
442:
400:
394:
387:
382:
361:
296:
283:
277:
272:
239:
218:
154:
132:
114:
109:
82:
20:was proved by the American mathematician
630:
63:) > 0 on (0, ∞). If
7:
583:
180:
14:
582:
429:
311:
164:
605:
593:
576:
560:
541:
535:
510:
504:
420:
414:
372:
366:
330:
318:
293:
287:
262:
256:
229:
223:
183:
171:
151:
148:
142:
136:
129:
123:
93:
87:
1:
43:defined on the half-infinite
55:defined on [0, ∞) and
746:
680:Acta Mathematica Hungarica
18:Bihari–LaSalle inequality
673:I. Bihari (March 1956).
67:satisfies the following
53:non-decreasing function
725:Differential equations
615:
466:
340:
193:
640:Annals of Mathematics
616:
467:
341:
194:
47:[0, ∞), and let
498:
360:
217:
81:
41:continuous functions
530:
399:
349:where the function
282:
119:
704:10338.dmlcz/101943
694:10.1007/BF02022967
611:
516:
491:is chosen so that
462:
378:
336:
268:
206:is a non-negative
189:
105:
424:
22:Joseph P. LaSalle
737:
709:
708:
706:
696:
670:
664:
663:
635:
620:
618:
617:
612:
575:
574:
529:
524:
481:inverse function
471:
469:
468:
463:
452:
451:
425:
423:
409:
401:
398:
393:
392:
391:
345:
343:
342:
337:
307:
303:
281:
276:
247:
246:
198:
196:
195:
190:
118:
113:
51:be a continuous
39:be non-negative
26:Grönwall's lemma
745:
744:
740:
739:
738:
736:
735:
734:
715:
714:
713:
712:
672:
671:
667:
652:10.2307/1969559
637:
636:
632:
627:
563:
496:
495:
443:
410:
402:
383:
358:
357:
252:
248:
235:
215:
214:
79:
78:
12:
11:
5:
743:
741:
733:
732:
727:
717:
716:
711:
710:
665:
646:(3): 722–730.
629:
628:
626:
623:
622:
621:
610:
607:
604:
601:
598:
595:
592:
589:
585:
581:
578:
573:
570:
566:
562:
559:
556:
553:
550:
547:
543:
540:
537:
534:
528:
523:
519:
515:
512:
509:
506:
503:
473:
472:
461:
458:
455:
450:
446:
441:
438:
435:
432:
428:
422:
419:
416:
413:
408:
405:
397:
390:
386:
381:
377:
374:
371:
368:
365:
353:is defined by
347:
346:
335:
332:
329:
326:
323:
320:
317:
314:
310:
306:
302:
299:
295:
292:
289:
286:
280:
275:
271:
267:
264:
261:
258:
255:
251:
245:
242:
238:
234:
231:
228:
225:
222:
200:
199:
188:
185:
182:
179:
176:
173:
170:
167:
163:
160:
157:
153:
150:
147:
144:
141:
138:
135:
131:
128:
125:
122:
117:
112:
108:
104:
101:
98:
95:
92:
89:
86:
13:
10:
9:
6:
4:
3:
2:
742:
731:
728:
726:
723:
722:
720:
705:
700:
695:
690:
686:
682:
681:
676:
669:
666:
661:
657:
653:
649:
645:
641:
634:
631:
624:
608:
602:
599:
596:
590:
587:
579:
571:
568:
564:
557:
554:
551:
548:
545:
538:
532:
526:
521:
517:
513:
507:
501:
494:
493:
492:
490:
486:
482:
478:
459:
456:
453:
448:
444:
439:
436:
433:
430:
426:
417:
411:
406:
403:
395:
388:
384:
379:
375:
369:
363:
356:
355:
354:
352:
333:
327:
324:
321:
315:
312:
308:
304:
300:
297:
290:
284:
278:
273:
269:
265:
259:
253:
249:
243:
240:
236:
232:
226:
220:
213:
212:
211:
209:
205:
186:
177:
174:
168:
165:
161:
158:
155:
145:
139:
133:
126:
120:
115:
110:
106:
102:
99:
96:
90:
84:
77:
76:
75:
73:
70:
66:
62:
58:
54:
50:
46:
42:
38:
34:
29:
27:
23:
19:
730:Inequalities
687:(1): 81–94.
684:
678:
668:
643:
639:
633:
488:
484:
476:
474:
350:
348:
203:
201:
64:
60:
56:
48:
36:
32:
30:
17:
15:
719:Categories
625:References
72:inequality
591:∈
584:∀
569:−
558:
552:∈
518:∫
508:α
434:≥
380:∫
316:∈
270:∫
260:α
241:−
233:≤
181:∞
169:∈
107:∫
100:α
97:≤
208:constant
69:integral
660:1969559
479:is the
210:, then
658:
202:where
37:ƒ
656:JSTOR
487:and
475:and
454:>
35:and
31:Let
16:The
699:hdl
689:doi
648:doi
555:Dom
483:of
45:ray
721::
697:.
683:.
677:.
654:.
644:50
642:.
74:,
28:.
707:.
701::
691::
685:7
662:.
650::
609:.
606:]
603:T
600:,
597:0
594:[
588:t
580:,
577:)
572:1
565:G
561:(
549:s
546:d
542:)
539:s
536:(
533:f
527:t
522:0
514:+
511:)
505:(
502:G
489:T
485:G
477:G
460:,
457:0
449:0
445:x
440:,
437:0
431:x
427:,
421:)
418:y
415:(
412:w
407:y
404:d
396:x
389:0
385:x
376:=
373:)
370:x
367:(
364:G
351:G
334:,
331:]
328:T
325:,
322:0
319:[
313:t
309:,
305:)
301:s
298:d
294:)
291:s
288:(
285:f
279:t
274:0
266:+
263:)
257:(
254:G
250:(
244:1
237:G
230:)
227:t
224:(
221:u
204:α
187:,
184:)
178:,
175:0
172:[
166:t
162:,
159:s
156:d
152:)
149:)
146:s
143:(
140:u
137:(
134:w
130:)
127:s
124:(
121:f
116:t
111:0
103:+
94:)
91:t
88:(
85:u
65:u
61:u
59:(
57:w
49:w
33:u
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.