Abstract
We consider the numerical solution of the equation −Δu−f(u)=g, for the unknown u satisfying Dirichlet conditions in a bounded domain Ω. The nonlinearity f has bounded, continuous derivative. The algorithm uses the finite element method combined with a global Lyapunov–Schmidt decomposition.
Access provided by Autonomous University of Puebla. Download chapter PDF
Similar content being viewed by others
Keywords
1 Introduction
We consider the partial differential equation
on domains Ω∈ℝn, taken to be open, bounded, connected subsets of ℝn with piecewise smooth boundary ∂Ω, assumed to be at least Lipschitz at all points. There is a vast literature concerning the number of solutions for general and positive solutions for different kinds of nonlinearity f and right-hand side g (to cite a few, [1–9]).
Here we assume that the nonlinearity f:ℝ→ℝ has a bounded, continuous derivative, a≤f′(y)≤b. We show how a global Lyapunov–Schmidt decomposition introduced by Berger and Podolak [10] in their proof of the Ambrosetti–Prodi theorem (see [3, 4]) gives rise to a satisfactory solution algorithm using the finite element method. The decomposition was rediscovered by Smiley [11], who realized its potential for numerics: our results advance along these lines.
Write Δ D for the Dirichlet Laplacian in Ω. The algorithm is especially convenient when the number d of eigenvalues of −Δ D in the range of f′ is small: the infinite dimensional equation reduces to the inversion of a map from ℝd to itself.
The subject of semilinear elliptic equations is sufficiently mature that algorithms should stand side by side with theory. The situation may be compared to the study of functions of one variable in a basic calculus course. Some functions, like parabolas, may be handled without substantial computational effort, but understanding increases with graphs, which are obtained by following a standard procedure.
We do not handle the difficulties and opportunities related to the finite dimensional inversion: a generic solver (as in [12] and, for d=2, [13]) should be replaced by an algorithm which makes use of features inherited by the original map F. Here we only deal with examples for which d=1 and 2, and there is some craftsmanship in handling the 2-dimensional example. It is in this step of the PDE solver that delicate issues like nonresonance and lack of properness come up.
2 The Basic Estimate
We consider the semilinear elliptic equation presented in the introduction for a nonlinearity f(y):ℝ→ℝ with bounded, continuous derivative.
With these hypotheses, it is not hard to see that F(u)=−Δu−f(u) is a C 1 map between the Sobolev spaces \(H^{2}_{0}(\varOmega)\) and L 2(Ω)=H 0(Ω) and between \(H^{1}_{0}(\varOmega)\) and \(H^{-1}(\varOmega) \simeq H^{1}_{0}(\varOmega)\). We concentrate on the second scenario, which is natural for the weak formulation of the problem. Still, the geometric statements below hold in both cases. To fix notation, set F:X→Y, where \(X = H^{1}_{0}(\varOmega)\) and Y=H −1(Ω).
The basic estimate is given in Proposition 1. Its proof is a simple extension of the argument in [10].
Define \(\overline{f'({\mathbb{R}})}=[a,b]\) (a allowed to be −∞) and a larger interval \([\tilde{a},\tilde{b}]\supset[a,b]\). Label the eigenvalues of −Δ D in non-decreasing order. The index set J associated to \([\tilde{a},\tilde{b}]\) is the collection of indices of eigenvalues of −Δ D in that interval. The set J is associated to the nonlinearity f if \([\tilde{a},\tilde {b}]=\overline{f'({\mathbb{R}})}\). An index set defined this way is complete: it contains all indices labeling an eigenvalue in the interval.
Denote the vertical subspaces by V X ⊂X and V Y ⊂Y, the spans of the normalized eigenfunctions ϕ j , j∈J in X and Y, respectively, with orthogonal complements W X and W Y . Let P and Q be the orthogonal projections on V and W. Clearly, the dimension of the vertical subspaces equals |J|, the cardinality of J. Let v+W X ⊂X be the horizontal affine subspace of vectors v+w,w∈W X and consider a projected restriction F v :v+W X →W Y , the restriction of P Y F to v+W X .
Proposition 1
Let J be the index set associated to the nonlinearity f (or to any interval \([\tilde{a},\tilde{b}]\) containing \(\overline{f'({\mathbb{R}})}\)). Then the derivatives DF v :v+W X →W Y are uniformly bounded from below. More precisely, there exists C>0 such that
All such maps are invertible.
A direct application of Hadamard globalization theorem [15] implies that the projected restrictions are diffeomorphisms, for each v∈V X .
3 The Underlying Picture
The geometric implications are very natural. The image under F of each horizontal affine subspace v+W X is a sheet, i.e., a surface which projects under P Y diffeomorphically to the horizontal subspace W Y . In particular, every vertical affine subspace w+V Y intercepts each sheet exactly at a single point. It is not hard to see that the intersection is transversal: tangent spaces of sheet and affine subspace form a direct sum decomposition of Y.
A fiber is the inverse image of a vertical affine subspace: see Fig. 1. In a similar fashion, fibers are surfaces of dimension |J| which meet every horizontal affine subspace v+W X at a single point—again, the intersection is transversal. Thus, a vertical subspace parameterizes diffeomorphically each fiber, or, said differently, each fiber has a single point of a given height.
Recall a key idea in [10] and [12]. It is clear that X and Y are respectively foliated by fibers and vertical affine subspaces. By definition, all the solutions of F(u)=g must lie in the fiber α g =F −1(g+V Y ). So, in principle, one might solve the equation by first identifying α g ≃ℝ|J| and then facing the finite dimensional inversion of F:α g →g+V Y .
Horizontal affine subspaces are taken diffeomorphically to sheets, but fibers are not taken diffeomorphically to vertical affine subspaces. In a sense, the nonlinearity of the problem was reduced to a finite dimensional issue.
4 Finding the Fiber
Recall that each horizontal affine subspace v+W X contains exactly one element of each fiber. So, to identify α g , choose v+W X and search in it for an element of α g . Said differently, one may think of F v :v+W X →W Y as being a diffeomorphism between fibers (represented by points in v+W X ) and vertical affine subspaces (represented by points in W Y ). The situation is ideal for an application of Newton’s method: local improvements are performed by linearization of the diffeomorphism.
There is one difficulty, however, related to implementation issues. The functional spaces X and Y give rise to finite dimensional vector spaces generated by finite elements. We provide some detail; an excellent reference is [16]. First of all, triangulate the domain Ω, i.e., split it into disjoint simplices in ℝn. In the examples of Sect. 7, Ω is the uniformly triangulated rectangle [0,1]×[0,2]. A nodal function is a continuous function that is affine linear on each simplex and has value one at a given vertex and zero at the remaining vertices. These functions form a nodal basis which spans a finite dimensional subspace of \(H_{0}^{1}(\varOmega)\). Figure 2 shows an example of a triangulation of Ω and one nodal function.
Inner products of nodal functions, both in H 1 and L 2, are often zero, a fact which simplifies the numerics associated to the weak formulation of the equation F(u)=g. The vertical subspaces V X and V Y are spanned by eigenfunctions ϕ j , j∈J and are well approximated by a few linear combinations on the nodal basis. On the other hand, obtaining a similar basis for the approximation of the orthogonal subspaces W X and W Y requires much more numerical effort and should be avoided.
To circumvent this problem, extend the Jacobian of F v :v+W X →W Y at a point u to an invertible operator L u :X→Y which is easy to handle and apply Newton’s method to L u instead. Setting
it is clear that L u has the required properties: it takes W X to W Y and V X to V Y and the restriction to v+W X equals DF v , which is invertible. Moreover, the restriction to V X coincides with −Δ. This map is no longer a differential operator, due to the integrals needed to compute the projections P. But those new terms are innocuous in the finite element formulation—the sparsity of the underlying matrices is preserved, together with the possibility of standard preconditioning routines.
We search for a point of a horizontal affine subspace v+W X which belongs to α g , g∈Y. The algorithm is straightforward; see Fig. 3. Choose a starting point u 0 and consider its image F 0. All would be well if the projections of F 0 and g on the horizontal subspace W Y were equal or at least very near. When this does not happen, proceed by a continuation method to join both projections. Notice that the algorithm searches for the fiber (i.e., for a point in the fiber) by moving horizontally in the domain. A direct Newton iteration does not necessarily work: think of finding the (trivial) root of arctan(x)=0 starting sufficiently far from the origin.
5 Moving Along the Fiber
The necessary ingredients for a simple predictor–corrector method to move along a fiber are now available. Say u∈α g and we want to find another point in α g . Recall that fibers are parameterized by height v∈V X . Take u+v, which is probably not in α g , as a starting point for the algorithm in Sect. 4 to obtain the point of α g in the same horizontal affine subspace of u+v (see Fig. 4 for two such steps).
We don’t know much about the behavior of F restricted to a fiber: the hypotheses on the nonlinearity f are not sufficient to imply properness of F, for example. In particular, it is not clear that the restrictions of F to a fiber are also proper.
6 Stability Issues
Proposition 1 in Sect. 2 ensures geometric stability, in the sense that the global Lyapunov–Schmidt decompositions preserve their properties under perturbations. This is convenient when replacing the vertical subspaces spanned by eigenfunctions by their finite elements counterparts.
As for the algorithm itself, the identification of the fiber is robust, being a standard continuation method associated to a diffeomorphism between horizontal affine spaces. The numerical analysis along a fiber is a different matter, and the fundamental issue was addressed by Smiley and Chun [12]: they showed that the finite element approximations to the restriction of the function F to (compact sets of) the fiber can be made arbitrarily close to the original map in the appropriate Sobolev norm. Here one must proceed with caution: small metric perturbation may induce variations in the number of solutions, as when changing from x↦x 2, x∈ℝ to x↦x 2−ϵ, which is a perturbation of order ϵ for arbitrary C k norms. Still, solutions of F which are regular points are stable: they correspond to nearby solutions of sufficiently good approximations F h.
A different approach might be to interpret the algorithm as a provider of good starting points for Newton’s iteration or at least a continuation method. As stated in [17], computer assisted arguments require good approximations for the eventual validation of solutions.
7 Some Examples
For the examples that follow, F(u)=−Δu−f(u)=g, with Dirichlet conditions on Ω=[0,1]×[0,2]. Here, −Δ D has simple eigenvalues and \(\lambda_{1} = \frac{5}{4} \pi^{2} \approx 12.34\), λ 2=2π 2≈19.74, \(\lambda_{3} = \frac{17}{4} \pi^{2} \approx41.95\). Denote by \(\phi_{k}^{X}\) and \(\phi_{k}^{Y}\) the eigenfunctions of −Δ D normalized in X and Y.
The first example is a nonlinearity f satisfying the hypotheses of Ambrosetti–Prodi theorem with f(0)=0 and derivative f′(x)=αarctan(x)+β with
The graph of f′ is shown on the left of Fig. 5. Here, the index set associated to f is J={1}: V X and V Y are spanned by \(\phi_{1}^{X}\), \(\phi_{1}^{Y} \geq 0\). For right-hand side set g(x)=−100x(x−1)y(y−2), shown on the left of Fig. 6, which has a large negative component along the ground state.
We search for an element of the fiber α g in the horizontal subspace W X , starting from u 0=0, in the notation of Sect. 4. The result is the function on the right of Fig. 6. Now move along α g , as in Sect. 5. The graph on the right of Fig. 5 plots \(\langle u, \phi_{1}^{X}\rangle_{X}\) (the height of u∈α g ) versus \(\langle F(u), \phi_{1}^{Y}\rangle_{Y}\) (the height of F(u)). The horizontal line indicates the height of g: the solutions of the original PDE correspond to the intersections between the curve and this line. The two solutions found in this case are presented in Fig. 7.
For the next example, J={1} but f is a nonconvex function whose derivative is depicted on the left of Fig. 8. We consider the fiber through \(u_{0}(x)=-50 \phi_{1}^{X}(x)+10\,\phi_{2}^{X}(x)\), i.e., \(\alpha_{F(u_{0})}\). According to Fig. 8(right), moving up the fiber yields three distinct solutions.
As a concluding example, we take a nonlinearity f for which J={1,2}: here the vertical spaces are spanned by the first two eigenfunctions. The function f is of the same form as the first example and its derivative is shown in Fig. 9. We study the fiber through the point u 0=0, which is α 0, since F(0)=0. Recall from Sect. 4 that there is exactly one point of α 0 for each height, i.e., given a point u∈V X , there is a unique point ζ(u)∈α 0 in the same horizontal affine subspace as u. For a circle C centered at the origin in V X , ζ(C)∈α 0. The image F(ζ(C)) is shown in the right side of Fig. 10: here, we must project F(ζ(u)) along directions \(\phi_{1}^{Y}\) and \(\phi_{2}^{Y}\). Clearly, there is a double point Z in F(ζ(C)) and it is not hard to identify in C its two pre-images, U and D marked in the left of Fig. 10.
We now obtain two additional preimages of Z in a rather naive fashion. The images under F∘ζ of the four half-axes of V X are drawn on the right of Fig. 11. It is clear, then, that the horizontal axis contains two preimages L and R of Z, which are easily computed.
For the sake of completeness, Fig. 12 displays the four solutions.
References
Hammerstein, A.: Nichtlineare Integralgleichungen nebst Anwendungen. Acta Math. 54(1), 117–176 (1930)
Dolph, C.L.: Nonlinear integral equations of the Hammerstein type. Trans. Am. Math. Soc. 66, 289–307 (1949)
Ambrosetti, A., Prodi, G.: On the inversion of some differentiable mappings with singularities between Banach spaces. Ann. Mat. Pura Appl. 93, 231–246 (1972)
Manes, A., Micheletti, A.M.: Un’estensione della teoria variazionale classica degli autovalori per operatori ellittici del secondo ordine. Boll. Unione Mat. Ital. 7, 285–301 (1973)
Lazer, A.C., McKenna, P.J.: On the number of solutions of a nonlinear Dirichlet problem. J. Math. Anal. Appl. 84(1), 282–294 (1981)
Lupo, D., Solimini, S., Srikanth, P.N.: Multiplicity results for an ODE problem with even nonlinearity. Nonlinear Anal. 12(7), 657–673 (1988)
Dancer, E.N.: A counterexample to the Lazer–McKenna conjecture. Nonlinear Anal. 13(1), 19–21 (1989)
Costa, D.G., de Figueiredo, D.G., Srikanth, P.N.: The exact number of solutions for a class of ordinary differential equations through Morse index computation. J. Differ. Equ. 96(1), 185–199 (1992)
Breuer, B., McKenna, P.J., Plum, M.: Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof. J. Differ. Equ. 195(1), 243–269 (2003)
Berger, M.S., Podolak, E.: On the solutions of a nonlinear Dirichlet problem. Indiana Univ. Math. J. 24, 837–846 (1974)
Smiley, M.W.: A finite element method for computing the bifurcation function for semilinear elliptic BVPs. J. Comput. Appl. Math. 70(2), 311–327 (1996)
Smiley, M.W., Chun, C.: Approximation of the bifurcation function for elliptic boundary value problems. Numer. Methods Partial Differ. Equ. 16(2), 194–213 (2000)
Malta, I., Saldanha, N.C., Tomei, C.: The numerical inversion of functions from the plane to the plane. Math. Comput. 65(216), 1531–1552 (1996)
Cal Neto, J.: Numerical analysis of Ambrosetti–Prodi type operators. PhD thesis, Departamento de Matemática–Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio) (2010)
Berger, M.S.: Nonlinearity and Functional Analysis. Academic Press [Harcourt Brace Jovanovich Publishers], New York (1977). Lectures on nonlinear problems in mathematical analysis, pure and applied mathematics
Ciarlet, P.G.: The Finite Element Method for Elliptic Problems. Classics in Applied Mathematics, vol. 40. Society for Industrial and Applied Mathematics (SIAM), Philadelphia (2002). Reprint of the 1978 original, North-Holland, Amsterdam, MR0520174 (58 #25001)
Plum, M.: Computer-assisted proofs for semilinear elliptic boundary value problems. Jpn. J. Ind. Appl. Math. 26(2–3), 419–442 (2009)
Acknowledgements
The results are part of the PhD thesis of the first author [14]. Complete proofs are presented elsewhere. The authors are grateful to CAPES, CNPq, and Faperj for support.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media New York
About this chapter
Cite this chapter
Cal Neto, J.T., Tomei, C. (2013). A Numerical Algorithm for Ambrosetti–Prodi Type Operators. In: de Moura, C., Kubrusly, C. (eds) The Courant–Friedrichs–Lewy (CFL) Condition. Birkhäuser, Boston. https://doi.org/10.1007/978-0-8176-8394-8_5
Download citation
DOI: https://doi.org/10.1007/978-0-8176-8394-8_5
Publisher Name: Birkhäuser, Boston
Print ISBN: 978-0-8176-8393-1
Online ISBN: 978-0-8176-8394-8
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)