The structure of a nonlinear elliptic operator
HTML articles powered by AMS MathViewer
- by P. T. Church, E. N. Dancer and J. G. Timourian PDF
- Trans. Amer. Math. Soc. 338 (1993), 1-42 Request permission
Abstract:
Consider the nonlinear Dirichlet problem $(1) - \Delta u - \lambda u + {u^3} = g$, for $u:\Omega \to \mathbb {R}$, $u|\partial \Omega = 0$, and $\Omega \subset {\mathbb {R}^n}$ connected and bounded, and let ${\lambda _i}$ be the $i$th eigenvalue of $- \Delta u$ on $\Omega$ with $u|\partial \Omega = 0$, $(i = 1,2, \ldots )$. Define a map ${A_\lambda }:H \to H\prime$ by ${A_\lambda }(u) = - \Delta u - \lambda u + {u^3}$, for either the Sobolev space $W_0^{1,2}(\Omega ) = H = H\prime$ (if $n \leq 4)$ or the Hölder spaces $C_0^{2,\alpha }(\bar \Omega ) = H$ and ${C^{0,\alpha }}(\bar \Omega ) = H\prime$ (if $\partial \Omega$ is ${C^{2,\alpha }}$ ), and define $A:H \times \mathbb {R} \to H\prime \times \mathbb {R}$ by $A(u,\lambda ) = ({A_\lambda }(u),\lambda )$. Let $G:{\mathbb {R}^2} \times E \to {\mathbb {R}^2} \times E$ be the global cusp map given by $G(s,t,v) = ({s^3} - ts,t,v)$, and let $F:\mathbb {R} \times E \to \mathbb {R} \times E$ be the global fold map given by $F(t,v) = ({t^2},v)$, where $E$ is any Fréchet space. Theorem 1. If $H = H\prime = W_0^{1,2}(\Omega )$, assume in addition that $n \leqslant 3$. There exit $\varepsilon > 0$ and homeomorphisms $\alpha$ and $\beta$ such that the following diagram commutes:\[ \begin {array}{*{20}{c}} {H \times ( - \infty ,{\lambda _1} + \varepsilon )} & {\xrightarrow [ \approx ]{\alpha }} & {{\mathbb {R}^2} \times E} \\ {A \downarrow } & {} & { \downarrow G} \\ {H’ \times ( - \infty ,{\lambda _1} + \varepsilon )} & {\xrightarrow [ \approx ]{\beta }} & {{\mathbb {R}^2} \times E} \\ \end {array} \] The analog for ${A_\lambda }$ with ${\lambda _1} < \lambda < {\lambda _1} + \varepsilon$ is also given. In a very strong sense this theorem is a perturbation result for the problem (1): As $g$ (and $\lambda$) are perturbed, it shows how the number of solutions $u$ of (1) varies; in particular, that number is always $1$, $2$ or $3$ for $\lambda < {\lambda _1} + \varepsilon$. A point $u \in H$ is a fold point of $A$ if the germ of $A$ at $u$ is ${C^0}$ equivalent to the germ of $F$ at $(0,0)$ (i.e. under homeomorphic coordinate changes in domain near $u$ and in range near $A(u)$, $A$ becomes $F$), and the singular set $SA$ is the set of points at which $A$ fails to be a local diffeomorphism. For larger values of $\lambda$ our information is limited: Theorem 2. Consider the Sobolev case with $n \leqslant 4$ and $\partial \Omega {C^\infty }$. For all $\lambda \in \mathbb {R}$, (i) $\operatorname {int} (SA) = \emptyset$; (ii) there is a dense subset $\Gamma$ in $SA$ of fold points, and (iii) for $\lambda < {\lambda _2}$, $SA$ [resp., for $n \leqslant 3$ and $\lambda < {\lambda _2}$, $SA - \Gamma$] is a real analytic submanifold of codimension $1$ in $H \times \mathbb {R}$ [resp., $SA$].References
- Robert A. Adams, Sobolev spaces, Pure and Applied Mathematics, Vol. 65, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1975. MR 0450957
- A. Ambrosetti and G. Prodi, On the inversion of some differentiable mappings with singularities between Banach spaces, Ann. Mat. Pura Appl. (4) 93 (1972), 231–246. MR 320844, DOI 10.1007/BF02412022
- Melvyn S. Berger, Mathematical structures of nonlinear science, Nonlinear Topics in the Mathematical Sciences, vol. 1, Kluwer Academic Publishers, Dordrecht, 1990. An introduction. MR 1071172
- Melvin S. Berger, Nonlinearity and functional analysis, Pure and Applied Mathematics, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1977. Lectures on nonlinear problems in mathematical analysis. MR 0488101
- M. S. Berger and P. T. Church, Complete integrability and perturbation of a nonlinear Dirichlet problem. I, Indiana Univ. Math. J. 28 (1979), no. 6, 935–952. MR 551157, DOI 10.1512/iumj.1979.28.28066
- M. S. Berger and P. T. Church, Complete integrability and perturbation of a nonlinear Dirichlet problem. II, Indiana Univ. Math. J. 29 (1980), no. 5, 715–735. MR 589438, DOI 10.1512/iumj.1980.29.29052
- M. S. Berger, P. T. Church, and J. G. Timourian, Folds and cusps in Banach spaces, with applications to nonlinear partial differential equations. I, Indiana Univ. Math. J. 34 (1985), no. 1, 1–19. MR 773391, DOI 10.1512/iumj.1985.34.34001
- M. S. Berger, P. T. Church, and J. G. Timourian, Folds and cusps in Banach spaces with applications to nonlinear partial differential equations. II, Trans. Amer. Math. Soc. 307 (1988), no. 1, 225–244. MR 936814, DOI 10.1090/S0002-9947-1988-0936814-8
- M. S. Berger and E. Podolak, On the solutions of a nonlinear Dirichlet problem, Indiana Univ. Math. J. 24 (1974/75), 837–846. MR 377274, DOI 10.1512/iumj.1975.24.24066
- P. R. Garabedian, Partial differential equations, John Wiley & Sons, Inc., New York-London-Sydney, 1964. MR 0162045
- Dan Burghelea and David Henderson, Smoothings and homeomorphisms for Hilbert manifolds, Bull. Amer. Math. Soc. 76 (1970), 1261–1265. MR 283827, DOI 10.1090/S0002-9904-1970-12630-1
- V. Cafagna, Global invertibility and finite solvability, Nonlinear functional analysis (Newark, NJ, 1987) Lecture Notes in Pure and Appl. Math., vol. 121, Dekker, New York, 1990, pp. 1–30. MR 1025806 V. Cafagna and F. Donati, Singularity theory and the number of solutions to some nonlinear problems, preprint.
- Vittorio Cafagna and Flavio Donati, Un résultat global de multiplicité pour un problème différentiel non linéaire du premier ordre, C. R. Acad. Sci. Paris Sér. I Math. 300 (1985), no. 15, 523–526 (French, with English summary). MR 792381
- Vittorio Cafagna and Gabriella Tarantello, Multiple solutions for some semilinear elliptic equations, Math. Ann. 276 (1987), no. 4, 643–656. MR 879542, DOI 10.1007/BF01456992
- Y. S. Choi, K. C. Jen, and P. J. McKenna, The structure of the solution set for periodic oscillations in a suspension bridge model, IMA J. Appl. Math. 47 (1991), no. 3, 283–306. MR 1141492, DOI 10.1093/imamat/47.3.283
- P. T. Church and J. G. Timourian, A nonlinear elliptic operator and its singular values, Pacific J. Math. 136 (1989), no. 1, 57–70. MR 971933
- P. T. Church and J. G. Timourian, Global cusp maps in differential and integral equations, Nonlinear Anal. 20 (1993), no. 11, 1319–1343. MR 1220838, DOI 10.1016/0362-546X(93)90134-E
- P. T. Church and J. G. Timourian, Global fold maps in differential and integral equations, Nonlinear Anal. 18 (1992), no. 8, 743–758. MR 1160117, DOI 10.1016/0362-546X(92)90169-F
- P. T. Church and J. G. Timourian, The singular set of a nonlinear elliptic operator, Michigan Math. J. 35 (1988), no. 2, 197–213. MR 959267, DOI 10.1307/mmj/1029003747
- Jane Cronin, Fixed points and topological degree in nonlinear analysis, Mathematical Surveys, No. 11, American Mathematical Society, Providence, R.I., 1964. MR 0164101
- James Damon, Time dependent nonlinear oscillations with many periodic solutions, SIAM J. Math. Anal. 18 (1987), no. 5, 1294–1316. MR 902333, DOI 10.1137/0518094
- Klaus Deimling, Nonlinear functional analysis, Springer-Verlag, Berlin, 1985. MR 787404, DOI 10.1007/978-3-662-00547-7
- J. Dieudonné, Foundations of modern analysis, Pure and Applied Mathematics, Vol. 10-I, Academic Press, New York-London, 1969. Enlarged and corrected printing. MR 0349288
- James Eells Jr., A setting for global analysis, Bull. Amer. Math. Soc. 72 (1966), 751–807. MR 203742, DOI 10.1090/S0002-9904-1966-11558-6
- David Gilbarg and Neil S. Trudinger, Elliptic partial differential equations of second order, 2nd ed., Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 224, Springer-Verlag, Berlin, 1983. MR 737190, DOI 10.1007/978-3-642-61798-0
- M. Golubitsky and V. Guillemin, Stable mappings and their singularities, Graduate Texts in Mathematics, Vol. 14, Springer-Verlag, New York-Heidelberg, 1973. MR 0341518
- Martin Golubitsky and David G. Schaeffer, Singularities and groups in bifurcation theory. Vol. I, Applied Mathematical Sciences, vol. 51, Springer-Verlag, New York, 1985. MR 771477, DOI 10.1007/978-1-4612-5034-0
- Martin Golubitsky, Ian Stewart, and David G. Schaeffer, Singularities and groups in bifurcation theory. Vol. II, Applied Mathematical Sciences, vol. 69, Springer-Verlag, New York, 1988. MR 950168, DOI 10.1007/978-1-4612-4574-2
- Paul R. Halmos, Introduction to Hilbert space and the theory of spectral multiplicity, AMS Chelsea Publishing, Providence, RI, 1998. Reprint of the second (1957) edition. MR 1653399
- Tosio Kato, Perturbation theory for linear operators, 2nd ed., Grundlehren der Mathematischen Wissenschaften, Band 132, Springer-Verlag, Berlin-New York, 1976. MR 0407617
- Tosio Kato, Schrödinger operators with singular potentials, Israel J. Math. 13 (1972), 135–148 (1973). MR 333833, DOI 10.1007/BF02760233
- V. L. Klee Jr., A note on topological properties of normed linear spaces, Proc. Amer. Math. Soc. 7 (1956), 673–674. MR 78661, DOI 10.1090/S0002-9939-1956-0078661-2
- M. A. Krasnosel’skii, Topological methods in the theory of nonlinear integral equations, A Pergamon Press Book, The Macmillan Company, New York, 1964. Translated by A. H. Armstrong; translation edited by J. Burlak. MR 0159197
- M. A. Krasnosel′skiĭ and P. P. Zabreĭko, Geometrical methods of nonlinear analysis, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 263, Springer-Verlag, Berlin, 1984. Translated from the Russian by Christian C. Fenske. MR 736839, DOI 10.1007/978-3-642-69409-7
- Nicolaas H. Kuiper, The differential topology of separable Banach manifolds, Actes du Congrès International des Mathématiciens (Nice, 1970) Gauthier-Villars, Paris, 1971, pp. 85–90. MR 0455010 —, Variétés hilbertiennes ; aspects géométriques, Les Presses Univ. de Montréal, Montréal, 1971.
- Serge Lang, Differential manifolds, Addison-Wesley Publishing Co., Inc., Reading, Mass.-London-Don Mills, Ont., 1972. MR 0431240
- Olga A. Ladyzhenskaya and Nina N. Ural’tseva, Linear and quasilinear elliptic equations, Academic Press, New York-London, 1968. Translated from the Russian by Scripta Technica, Inc; Translation editor: Leon Ehrenpreis. MR 0244627
- F. Lazzeri and A. M. Micheletti, An application of singularity theory to nonlinear differentiable mappings between Banach spaces, Nonlinear Anal. 11 (1987), no. 7, 795–808. MR 898575, DOI 10.1016/0362-546X(87)90108-8
- A. C. Lazer and P. J. McKenna, Multiplicity of solutions of nonlinear boundary value problems with nonlinearities crossing several higher eigenvalues, J. Reine Angew. Math. 368 (1986), 184–200. MR 850623, DOI 10.1515/crll.1986.368.184
- Indur Mandhyan, Examples of global normal forms for some simple nonlinear integral operators, Nonlinear Anal. 13 (1989), no. 9, 1057–1066. MR 1013310, DOI 10.1016/0362-546X(89)90095-3
- William S. Massey, Algebraic topology: an introduction, Graduate Texts in Mathematics, Vol. 56, Springer-Verlag, New York-Heidelberg, 1977. Reprint of the 1967 edition. MR 0448331
- H. P. McKean, Singularities of a simple elliptic operator, J. Differential Geom. 25 (1987), no. 2, 157–165. MR 880181
- H. P. McKean and J. C. Scovel, Geometry of some simple nonlinear differential operators, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 13 (1986), no. 2, 299–346. MR 876127
- Richard S. Palais, Natural operations on differential forms, Trans. Amer. Math. Soc. 92 (1959), 125–141. MR 116352, DOI 10.1090/S0002-9947-1959-0116352-7
- Bernhard Ruf, Singularity theory and the geometry of a nonlinear elliptic equation, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 17 (1990), no. 1, 1–33. MR 1074625
- Bernhard Ruf, Singularity theory and the geometry of a nonlinear elliptic equation, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 17 (1990), no. 1, 1–33. MR 1074625
- L. Schwartz, Théorie des distributions. Tome I, Publ. Inst. Math. Univ. Strasbourg, vol. 9, Hermann & Cie, Paris, 1950 (French). MR 0035918
- S. L. Sobolev, Applications of functional analysis in mathematical physics, Translations of Mathematical Monographs, Vol. 7, American Mathematical Society, Providence, R.I., 1963. Translated from the Russian by F. E. Browder. MR 0165337
- Edwin H. Spanier, Algebraic topology, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1966. MR 0210112
- François Trèves, Basic linear partial differential equations, Pure and Applied Mathematics, Vol. 62, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1975. MR 0447753
- Neil S. Trudinger, Linear elliptic operators with measurable coefficients, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) 27 (1973), 265–308. MR 369884
- Stephen Willard, General topology, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1970. MR 0264581 A. E. R. Woodcock and T. Poston, A geometrical study of the elementary catastrophes, Lecture Notes in Math., vol. 377, Springer-Verlag, Berlin, 1974.
- Eberhard Zeidler, Nonlinear functional analysis and its applications. I, Springer-Verlag, New York, 1986. Fixed-point theorems; Translated from the German by Peter R. Wadsack. MR 816732, DOI 10.1007/978-1-4612-4838-5
Additional Information
- © Copyright 1993 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 338 (1993), 1-42
- MSC: Primary 35J65; Secondary 47H15, 47N20, 58C27
- DOI: https://doi.org/10.1090/S0002-9947-1993-1124165-2
- MathSciNet review: 1124165