Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



Integral equations, implicit functions,
and fixed points

Author: T. A. Burton
Journal: Proc. Amer. Math. Soc. 124 (1996), 2383-2390
MSC (1991): Primary 45D05, 26B10, 47H10
Corrigendum: Proc. Amer. Math. Soc. 141 (2013), 4425-4426
MathSciNet review: 1346965
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: The problem is to show that (1) $V(t,x) = S(t, \int _0^t H(t, s, x(s)) \, ds )$ has a solution, where $V$ defines a contraction, $\tilde V$, and $S$ defines a compact map, $\tilde S$. A fixed point of $P \varphi = \tilde S \varphi + (I - \tilde V) \varphi $ would solve the problem. Such equations arise naturally in the search for a solution of $f(t, x) = 0$ where $f(0,0) = 0$, but $\partial f(0,0) / \partial x = 0$ so that the standard conditions of the implicit function theorem fail. Now $P \varphi = \tilde S \varphi + ( I - \tilde V) \varphi $ would be in the form for a classical fixed point theorem of Krasnoselskii if $I - \tilde V$ were a contraction. But $I - \tilde V$ fails to be a contraction for precisely the same reasons that the implicit function theorem fails. We verify that $I - \tilde V$ has enough properties that an extension of Krasnoselskii's theorem still holds and, hence, (1) has a solution. This substantially improves the classical implicit function theorem and proves that a general class of integral equations has a solution.

References [Enhancements On Off] (What's this?)

  • [1] C. Corduneanu, Integral equations and applications, Cambridge University Press, Cambridge, 1991. MR 1109491
  • [2] Philip Hartman, Ordinary differential equations, S. M. Hartman, Baltimore, Md., 1973. Corrected reprint. MR 0344555
  • [3] M. A. Krasnosel′skiĭ, Some problems of nonlinear analysis, American Mathematical Society Translations, Ser. 2, Vol. 10, American Mathematical Society, Providence, R.I., 1958, pp. 345–409. MR 0094731
  • [4] Erwin Kreyszig, Introductory functional analysis with applications, John Wiley & Sons, New York-London-Sydney, 1978. MR 0467220
  • [5] Walter Rudin, Principles of mathematical analysis, Second edition, McGraw-Hill Book Co., New York, 1964. MR 0166310
  • [6] Schauder, J., Über den Zusammenhang zwischen der Eindeutigkeit und Lösbarkeit partieller Differentialgleichungen zweiter Ordnung von Elliptischen Typus, Math. Ann. 106 (1932), 661--721.
  • [7] Sine, Robert C., Fixed Points and Nonexpansive Mappings, Amer. Math. Soc. (Contemporary Mathematics Vol. 18), Providence, R.I., 1983.
  • [8] Smart, D. R., Fixed Point Theorems, Cambridge Univ. Press, Cambridge, 1980.
  • [9] Angus E. Taylor and W. Robert Mann, Advanced calculus, 3rd ed., John Wiley & Sons, Inc., New York, 1983. MR 674807

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (1991): 45D05, 26B10, 47H10

Retrieve articles in all journals with MSC (1991): 45D05, 26B10, 47H10

Additional Information

T. A. Burton
Affiliation: Department of Mathematics, Southern Illinois University, Carbondale, Illinois 62901

Keywords: Integral equations, implicit functions, fixed points
Received by editor(s): February 6, 1995
Communicated by: Hal L. Smith
Article copyright: © Copyright 1996 American Mathematical Society