Abstract
A wide variety of articles, starting with the famous paper (Gidas, Ni and Nirenberg in Commun. Math. Phys. 68, 209–243 (1979)), is devoted to the uniqueness question for the semilinear elliptic boundary value problem −Δu=λu+u p in Ω, u>0 in Ω, u=0 on ∂Ω, where λ ranges between 0 and the first Dirichlet Laplacian eigenvalue. So far, this question was settled in the case of Ω being a ball and, for more general domains, in the case λ=0. In (McKenna et al. in J. Differ. Equ. 247, 2140–2162 (2009)), we proposed a computer-assisted approach to this uniqueness question, which indeed provided a proof in the case Ω=(0,1)2, and p=2. Due to the high numerical complexity, we were not able in (McKenna et al. in J. Differ. Equ. 247, 2140–2162 (2009)) to treat higher values of p. Here, by a significant reduction of the complexity, we will prove uniqueness for the case p=3.
Access provided by Autonomous University of Puebla. Download conference paper PDF
Similar content being viewed by others
Keywords
Mathematics Subject Classification
1 Introduction
The semilinear elliptic boundary value problem
has attracted a lot of attention since the 19th century. Questions of existence and multiplicity have been (and are still being) extensively studied by means of variational methods, fixed-point methods, sub- and supersolutions, index and degree theory, and more.
In this chapter, we will address the question of uniqueness of solutions for the more special problem
where λ ranges between 0 and λ 1(Ω), the first eigenvalue of the Dirichlet Laplacian. It has been shown in a series of papers [1, 2, 19, 28, 29] that the solution of (2) is indeed unique when Ω is a ball, or when Ω is more general but λ=0 [9, 10, 12, 30].
We will concentrate on the case where Ω=(0,1)2 and p=3, and prove that uniqueness holds for the full range [0,λ 1(Ω)) of λ. Thus, our paper constitutes the first uniqueness result for this situation. More precisely we prove
Theorem 1
Let Ω be the unit square in ℝ2, Ω=(0,1)2. Then the problem
admits only one solution for anyλ∈[0,λ 1(Ω)).
Remark 1
-
a)
A simple scaling argument shows that our uniqueness result carries over to all squares Ωl:=(0,l)2 (and thus, to all squares in ℝ2): If u is a positive solution of \(-\Delta u=\tilde{\lambda}u+u^{3}\) in Ωl, u=0 on ∂Ωl, for some \(\tilde{\lambda}\in [0,\lambda_{1}(\Omega_{l}))\), then v(x,y):=lu(lx,ly) is a solution of (3) for \(\lambda =\tilde{\lambda}l^{2}\in[0,\lambda_{1}(\Omega))\).
-
b)
Since we also show that the unique solution in the square is nondegenerate, by a result of [10] we deduce that the solution is unique also in domains “close to” a square.
-
c)
Finally we observe that having shown in [16] (case p=2) and in this paper (case p=3) that the unique solution is nondegenerate then uniqueness follows also for other nonlinearities of the type λu+u p for p close to 2 and 3. Indeed, by standard arguments (see for example [9]) nonuniqueness of positive solutions in correspondence to sequences of exponents converging to 3 (resp. to 2) would imply degeneracy of the solution for p=3 (resp. p=2).
Our proof heavily relies on computer-assistance. Such computer-assisted proofs are receiving an increasing attention in the recent years since such methods provided results which apparently could not be obtained by purely analytical means (see [5, 6, 17, 18, 24]).
We compute a branch of approximate solutions and prove existence of a true solution branch close to it, using fixed point techniques. By eigenvalue enclosure methods, and an additional analytical argument for λ close to λ 1(Ω) we deduce the non-degeneracy of all solutions along this branch, whence uniqueness follows from the known bifurcation structure of the problem.
In [16] we give a general description of these computer-assisted means and use them to obtain the desired uniqueness result for the case Ω=(0,1)2, p=2. To make the present paper dealing with the case p=3 more self-contained, we recall parts of the content of [16] here. We remark that the numerical tools used in [16] turned out not to be sufficient to treat the case p=3. Now, by some new trick to reduce the numerical complexity, we are able to handle this case.
2 Preliminaries
In the following, let Ω=(0,1)2. We remark that the results of this section can be carried over to the more general case of a “doubly symmetric” domain; see [16] for details.
First, note that problem (2) can equivalently be reformulated as finding a non-trivial solution of
since, for λ<λ 1(Ω), by the strong maximum principle (for −Δ−λ) every non-trivial solution of (4) is positive in Ω. In fact, this formulation is better suited for our computer-assisted approach than (2).
As a consequence of the classical bifurcation theorem of [25] and of the results of [9] the following result was obtained in [20]:
Theorem 2
All solutionsu λof (2) lie on a simple continuous curve Γ in \([0,\lambda_{1} (\Omega)) \times C^{1,\alpha} (\bar{\Omega})\)joining (λ 1(Ω),0) with (0,u 0), whereu 0is the unique solution of (2) forλ=0.
We recall that the uniqueness of the solution of (2) for λ=0 was proved in [10] and [9]. As a consequence of the previous theorem we have
Corollary 1
If all solutions on the curve Γ are nondegenerate then problem (2) admits only one solution for everyλ∈[0,λ 1(Ω)).
Proof
The nondegeneracy of the solutions implies, by the Implicit Function Theorem, that neither turning points nor secondary bifurcations can exist along Γ. Then, for every λ∈[0,λ 1(Ω)) there exists only one solution of (2) on Γ. By Theorem 2 all solutions are on Γ, hence uniqueness follows. □
Theorem 2 and Corollary 1 indicate that to prove the uniqueness of the solution of problem (2) for every λ∈[0,λ 1(Ω)) it is enough to construct a branch of nondegenerate solutions which connects (0,u 0) to (λ 1(Ω),0). This is what we will do numerically in the next sections with a rigorous computer-assisted proof.
However, establishing the nondegeneracy of solutions u λ for λ close to λ 1(Ω) numerically can be difficult, due to the fact that the only solution at λ=λ 1(Ω), which is the identically zero solution, is obviously degenerate because its linearized operator is L 0=−Δ−λ 1 which has the first eigenvalue equal to zero. The next proposition shows that there exists a computable number \(\bar{\lambda} (\Omega) \in(0,\lambda_{1} (\Omega))\) such that for any \(\lambda\in [\bar{\lambda} (\Omega), \lambda_{1} (\Omega))\) problem (2) has only one solution which is also nondegenerate. Of course, from the well-known results of Crandall and Rabinowitz, [7, 8], one can establish that for λ “close to” λ 1, all solutions u λ are nondegenerate. However, in order to complete our program, we need to calculate a precise and explicit estimate of how close they need to be. This allows us to carry out the numerical computation only in the interval \([0,\bar{\lambda} (\Omega)]\) as we will do later.
Let us denote by λ 1=λ 1(Ω) and λ 2=λ 2(Ω) the first and second eigenvalue of the operator −Δ in Ω with homogeneous Dirichlet boundary conditions. We have
Proposition 1
If there exists \(\bar{\lambda} \in(0,\lambda_{1})\)and a solution \(u_{\bar{\lambda}}\)of (2) with \(\lambda= \bar{\lambda}\)such that
then
andu λis non-degenerate, for all solutionsu λof (2) belonging to the branch Γ2⊂Γ which connects \((\bar{\lambda}, u_{\bar{\lambda}}) \)to (λ 1,0).
(Recall that Γ is the unique continuous branch of solutions given by Theorem 2.)
Proof
See [16]. □
Corollary 2
If on the branch Γ there exists a solution \(u_{\bar{\lambda }},\ \bar{\lambda} \in(0,\lambda_{1})\)such that:
-
i)
on the sub-branch Γ1connecting (0,u 0) with \((\bar {\lambda}, u_{\bar{\lambda}})\)all solutions are nondegenerate
and
-
ii)
(7)
then all solutions of (2) are nondegenerate, for allλ∈(0,λ 1), and therefore problem (2) admits only one solution for everyλ∈[0,λ 1(Ω)).
Proof
We set Γ=Γ1∪Γ2 with Γ1 connecting (0,u 0) to \((\bar{\lambda},u_{\bar{\lambda}})\). On Γ1 we have that all solutions are nondegenerate by i). On the other hand the hypothesis ii) allows us to apply Proposition 1 which shows nondegeneracy of all solutions on Γ2. Hence there is nondegeneracy all along Γ so the assertion follows from Corollary 1. □
The last corollary suggests the method of proving the uniqueness through computer assistance: first we construct a branch of nondegenerate “true” solutions near approximate ones in a certain interval \([0,\bar{\lambda}]\) and then verify ii) for the solution \(u_{\bar{\lambda}}\). Note that the estimate (7) depends only on p and on the eigenvalues λ 1 and λ 2 of the operator −Δ in the domain Ω. So the constant on the right-hand side is easily computable. When Ω is the unit square which is the case analyzed in the next sections, the estimate (7) becomes:
because λ 1=2π 2 and λ 2=5π 2.
Fixing p=3 we finally get the condition
3 The Basic Existence and Enclosure Theorem
We start the computer-assisted part of our proof with a basic theorem on existence, local uniqueness, and non-degeneracy of solutions to problem (4), assuming p=3 now for simplicity of presentation. In this section, the parameter λ∈[0,λ 1(Ω)) is fixed.
Let \(H_{0}^{1} (\Omega)\) be endowed with the inner product \(\langle u,v \rangle_{H_{0}^{1}} := \langle \nabla u, \nabla v \rangle_{L^{2}} + \sigma\langle u, v \rangle_{L^{2}}\); actually we choose σ=1 in this paper, but different (usually positive) choices of σ are advantageous or even mandatory in other applications, whence we keep σ as a parameter in the following. Let H −1(Ω) denote the (topological) dual of \(H_{0}^{1} (\Omega)\), endowed with the usual operator sup-norm.
Suppose that an approximate solution \(\omega_{\lambda} \in H_{0}^{1} (\Omega)\) of problem (4) has been computed by numerical means, and that a bound δ λ>0 for its defect is known, i.e.
as well as a constant K λ such that
Here, \(L_{(\lambda, \omega_{\lambda})}\) denotes the operator linearizing problem (4) at ω λ; more generally, for \((\lambda, u) \in \mathbb {R}\times H_{0}^{1} (\Omega)\), let the linear operator \(L_{(\lambda,u)} : H_{0}^{1} (\Omega) \to H^{-1} (\Omega)\) be defined by
The practical computation of bounds δ λ and K λ will be addressed in Sects. 6, 7 and 8.
Let C 4 denote a norm bound (embedding constant) for the embedding \(H_{0}^{1} (\Omega) \hookrightarrow L^{4} (\Omega)\), which is bounded since Ω⊂ℝ2. C 4 can be calculated e.g. according to the explicit formula given in [23, Lemma 2]. Finally, let
In our example case where Ω=(0,1)2, the above-mentioned explicit formula gives (with the choice σ:=1)
Theorem 3
Suppose that someα λ>0 exists such that
and
Then, the following statements hold true:
-
a)
(existence) There exists a solution \(u_{\lambda} \in H_{0}^{1} (\Omega)\)of problem (4) such that
$$ \| u_{\lambda} - \omega_{\lambda} \|_{H_0^1} \le \alpha_{\lambda} . $$(14) -
b)
(local uniqueness) Letη>0 be chosen such that (13) holds withα λ+ηinstead ofα λ. Then,
(15) -
c)
(nondegeneracy)
(16)whence in particular \(L_{(\lambda, u_{\lambda})}\)is bijective (by (14)).
For a proof, see [16].
Corollary 3
Suppose that (12) and (13) hold, and in addition that \(\| \omega_{\lambda} \|_{H_{0}^{1}} > \alpha_{\lambda}\). Then, the solutionu λgiven by Theorem 3 is non-trivial (and hence positive).
Remark 2
-
a)
The function \(\psi(\alpha):= \frac{\alpha}{K_{\lambda}} - \gamma \alpha^{2} (\| \omega_{\lambda} \|_{L^{4}} + C_{4} \alpha)\) has obviously a positive maximum at \(\bar{\alpha}= \frac{1}{3C_{4}} (\sqrt{\|\omega_{\lambda}\|_{L^{4}}^{2}+\frac{3C_{4}}{K_{\lambda}\gamma}}-\| \omega_{\lambda}\|_{L^{4}} )\), and the crucial condition (12) requires that
(17)i.e. δ λ has to be sufficiently small. According to (9), this means that ω λ must be computed with sufficient accuracy, which leaves the “hard work” to the computer!
Furthermore, a “small” defect bound δ λ allows (via (12)) a “small” error bound α λ, if K λ is not too large.
-
b)
If moreover we choose the minimalα λ satisfying (12), then the additional condition (13) follows automatically, which can be seen as follows: the minimal choice of α λ shows that \(\alpha_{\lambda} \leq \bar{\alpha}\). We have
(18)and thus condition (13) is satisfied.
Since we will anyway try to find α λ (satisfying (12)) close to the minimal one, condition (13) is “practically” always satisfied if (12) holds. (Nevertheless, it must of course be checked.)
4 The Branch (u λ)
Fixing some \(\bar{\lambda} \in(0,\lambda_{1} (\Omega))\) (the actual choice of which is made on the basis of Proposition 1; see also Sect. 5), we assume now that for every \(\lambda\in[0,\bar{\lambda}]\) an approximate solution \(\omega_{\lambda} \in H_{0}^{1} (\Omega)\) is at hand, as well as a defect bound δ λ satisfying (9), and a bound K λ satisfying (10). Furthermore, we assume now that, for every \(\lambda\in[0,\bar{\lambda}]\), some α λ>0 satisfies (12) and (13), and the additional non-triviality condition \(\| \omega_{\lambda} \|_{H_{0}^{1}} > \alpha_{\lambda}\) (see Corollary 3). We suppose that some uniform (λ-independent) η>0 can be chosen such that (13) holds with α λ+η instead of α λ (compare Theorem 3b)). Hence Theorem 3 gives a positive solution \(u_{\lambda} \in H_{0}^{1} (\Omega)\) of problem (4) with the properties (14), (15), (16), for every \(\lambda\in [0,\bar{\lambda}] \).
Finally, we assume that the approximate solution branch (\([0,\bar {\lambda}] \to H_{0}^{1} (\Omega)\), λ↦ω λ) is continuous, and that (\([0,\bar {\lambda}] \to \mathbb {R}, \lambda \mapsto\alpha_{\lambda}\)) is lower semi-continuous.
In Sects. 6, 7 and 8, we will address the actual computation of such branches (ω λ), (δ λ), (K λ), (α λ).
So far we know nothing about continuity or smoothness of \(([0,\bar {\lambda}] \to H_{0}^{1} (\Omega),\allowbreak \lambda\mapsto u_{\lambda})\), which however we will need to conclude that \((u_{\lambda})_{\lambda \in[0,\bar{\lambda}]}\) coincides with the sub-branch Γ1 introduced in Corollary 2.
Theorem 4
The solution branch
is continuously differentiable.
Proof
The mapping
is continuously differentiable, with \((\partial\mathcal{F} / \partial u)(\lambda, u) = L_{(\lambda, u)}\) (see (11)), and \(\mathcal{F} (\lambda, u_{\lambda}) = 0\) for all \(\lambda \in[0,\bar{\lambda}]\). Using the Mean Value Theorem one can show that L (λ,u) depends indeed continuously on (λ,u); see [16, Lemma 3.1] for details.
It suffices to prove the asserted smoothness locally. Thus, fix \(\lambda_{0} \in[0,\bar{\lambda}]\). Since \(L_{(\lambda_{0}, u_{\lambda_{0}})}\) is bijective by Theorem 3c), the Implicit Function Theorem gives a C 1-smooth solution branch
to problem (4), with \(\hat{u}_{\lambda_{0}} = u_{\lambda_{0}}\). By (14),
Since \(\hat{u}_{\lambda}\) and ω λ depend continuously on λ, and α λ lower semi-continuously, (19) implies
for some \(\tilde{\varepsilon} \in(0,\varepsilon)\). Hence Theorem 3b) provides
implying the desired smoothness in some neighborhood of λ 0 (which of course is one-sided if λ 0=0 or \(\lambda_{0} = \bar{\lambda}\)). □
As a consequence of Theorem 4, \((u_{\lambda})_{\lambda \in [0,\bar{\lambda}]}\) is a continuous solution curve connecting the point (0,u 0) with \((\bar {\lambda}, u_{\bar{\lambda}})\), and thus must coincide with the sub-branch Γ1, connecting these two points, of the unique simple continuous curve Γ given by Theorem 2. Using Theorem 3c), we obtain
Corollary 4
On the sub-branch Γ1of Γ which connects (0,u 0) with \((\bar{\lambda}, u_{\bar{\lambda}})\), all solutions are nondegenerate.
Thus, if we can choose \(\bar{\lambda}\) such that condition (7) holds true, Corollary 2 will give the desired uniqueness result.
5 Choice of \(\bar{\lambda}\)
We have to choose \(\bar{\lambda}\) such that condition (7) is satisfied. For this purpose, we use computer-assistance again. With x M denoting the intersection of the symmetry axes of the (doubly symmetric) domain Ω, i.e. \(x_{M} = ( \frac{1}{2}, \frac{1}{2} )\) for Ω=(0,1)2, we choose \(\bar{\lambda} \in(0,\lambda_{1} (\Omega))\), not too close to λ 1(Ω), such that our approximate solution \(\omega_{\bar {\lambda}}\) satisfies
with “not too small” difference between right- and left-hand side. Such a \(\bar{\lambda}\) can be found within a few numerical trials.
Here, we impose the additional requirement
which is in fact a condition on the numerical method used to compute \(\omega_{\bar{\lambda}}\). (Actually, condition (21) could be avoided if we were willing to accept additional technical effort.) Moreover, exceeding (9), we will now need an L 2-bound \(\hat{\delta}_{\bar{\lambda}}\) for the defect:
Finally, we note that Ω is convex, and hence in particular H 2-regular, whence every solution \(u \in H_{0}^{1} (\Omega)\) of problem (4) is in H 2(Ω).
Using the method described in Sect. 3, we obtain, by Theorem 3a), a positive solution \(u_{\bar{\lambda}} \in H^{2} (\Omega) \cap H_{0}^{1} (\Omega)\) of problem (4) satisfying
provided that (12) and (13) hold, and that \(\| \omega_{\bar{\lambda}} \|_{H_{0}^{1}} > \alpha_{\bar{\lambda}}\).
Now we make use of the explicit version of the Sobolev embedding \(H^{2} (\Omega) \hookrightarrow C (\bar{\Omega})\) given in [21]. There, explicit constants \(\hat {C}_{0}\), \(\hat{C}_{1}\), \(\hat{C_{2}}\) are computed such that
with \(\| u_{xx} \|_{L^{2}}\) denoting the L 2-Frobenius norm of the Hessian matrix u xx. E.g. for Ω=(0,1)2, [21] gives
Moreover, \(\| u_{xx} \|_{L^{2}} \le\| \Delta u\|_{L^{2}}\) for \(u \in H^{2} (\Omega) \cap H_{0}^{1} (\Omega)\) since Ω is convex (see e.g. [14]). Consequently,
To bound the last term on the right-hand side, we first note that
using (23) and an embedding constant C 6 for the embedding \(H_{0}^{1}(\Omega) \hookrightarrow L^{6} (\Omega)\) in the last but one line; see e.g. [23, Lemma 2] for its computation. Moreover, by (4) and (22),
Using (23)–(27), and the Poincaré inequality
we finally obtain
and the right-hand side is “small” if \(\alpha_{\bar{\lambda}} \) and \(\hat{\delta}_{\bar{\lambda}} \) are “small”, which can (again) be achieved by sufficiently accurate numerical computations.
Finally, since
(29) yields an upper bound for \(u_{\bar{\lambda}} (x_{M})\) which is “not too much” larger than \(\omega_{\bar{\lambda}} (x_{M})\). Hence, since \(u_{\bar{\lambda}}(x_{M})=\|u_{\bar{\lambda}}\|_{\infty}\) by [11], condition (7) can easily be checked, and (20) (with “not too small” difference between right- and left-hand side) implies a good chance that this check will be successful; otherwise, \(\bar{\lambda}\) has to be chosen a bit larger.
6 Computation of ω λ and δ λ for Fixed λ
In this section we report on the computation of an approximate solution \(\omega_{\lambda} \in H^{2} (\Omega) \cap H_{0}^{1} (\Omega)\) to problem (4), and of bounds δ λ and K λ satisfying (9) and (10), where λ∈[0,λ 1(Ω)) is fixed (or one of finitely many values). We will again restrict ourselves to the unit square Ω=(0,1)2.
An approximation ω λ is computed by a Newton iteration applied to problem (4), where the linear boundary value problems
occurring in the single iteration steps are solved approximately by an ansatz
and a Ritz-Galerkin method (with the basis functions in (31)) applied to problem (30). The update \(\omega_{\lambda}^{(n+1)} := \omega_{\lambda }^{(n)} + v_{n}\) concludes the iteration step.
The Newton iteration is terminated when the coefficients \(\alpha_{ij}^{(n)}\) in (31) are “small enough”, i.e. their modulus is below some pre-assigned tolerance.
To start the Newton iteration, i.e. to find an appropriate \(\omega_{\lambda}^{(0)}\) of the form (31), we first consider some λ close to λ 1(Ω), and choose \(\omega_{\lambda}^{(0)}(x_{1},x_{2}) = \alpha\sin(\pi x_{1}) \sin(\pi x_{2})\); with an appropriate choice of α>0 (to be determined in a few numerical trials), the Newton iteration will “converge” to a non-trivial approximation ω (λ). Then, starting at this value, we diminish λ in small steps until we arrive at λ=0, while in each of these steps the approximation ω (λ) computed in the previous step is taken as a start of the Newton iteration. In this way, we find approximations ω λ to problem (4) for “many” values of λ. Note that all approximations ω λ obtained in this way are of the form (31).
The computation of an L 2-defect bound \(\hat{\delta}_{\lambda}\) satisfying
amounts to the computation of an integral over Ω.
Due to [11] every solution of (4) is symmetric with respect to reflection at the axes \(x_{1}=\frac{1}{2}\) and \(x_{2}=\frac{1}{2}\). Therefore it is useful to look for approximate solutions of the form
Using sum formulas for sin and cos one obtains for all n∈ℕ0,x∈ℝ
and thus ω λ can be written as follows:
Since cos(x) ranges in [−1,1] and sin(πx 1)sin(πx 2) is positive for (x 1,x 2)∈Ω=(0,1)2, ω λ will be positive if
Condition (35) can easily be checked using interval arithmetic and is indeed always satisfied for our approximate solutions, since α 11 turns out to be “dominant” and the higher coefficients decay quickly. Hence ω λ is positive and one can omit the modulus in the computations. Therefore the integral in (32) can be computed in closed form, since only products of trigonometric functions occur in the integrand. After calculating them, various sums \(\sum_{i=1}^{N}\) remain to be evaluated. In order to obtain a rigorous bound \(\hat{\delta}_{\lambda}\), these computations (in contrast to those for obtaining ω λ as described above) need to be carried out in interval arithmetic [13, 27], to take rounding errors into account.
Note that the complexity in the evaluation of the defect integral in (32), without any further modifications, is O(N 12) due to the term \(\omega_{\lambda}^{3}\). Using some trick, it is however possible to reduce the complexity to O(N 6):
Applying the sum formulas \(\sin(a)\sin(b)=\frac{1}{2}[\cos(a-b)-\cos (a+b)]\) and \(\cos(a)\cos(b)=\frac{1}{2}[\cos(a-b)+\cos(a+b)]\) one obtains:
Since \(\int_{0}^{1}\cos(n\pi x)\,dx = \Bigl\{ \begin{array}{l@{\ \ }l}\small 1 & \mbox{for } n=0\\ 0 & \mbox{for } n\in \mathbb {Z}\backslash\{0\}\end{array} \Bigr\}=:\delta_{n}\), we get
Setting α ij:=0 for (i,j)∈ℤ2∖{1,…,N}2 the previous sum can be rewritten as
For fixed σ i, ρ i, k and l each of the two double-sums in parentheses is O(N 4). Since they are independent, the product is still O(N 4). The sums over k and l then give O(N 6), whereas the sums over σ i and ρ i do not change the complexity.
Moreover the sum \(\sum_{k=-2N+1}^{3N}\) is only
Similarly, also certain constellations of σ 4, σ 5, σ 6 reduce the k-sum, and of course analogous reductions are possible for the l-sum. Since α ij=0 if i or j is even, the result does not change if the sum is only taken over odd values of i n, j n, k and l.
Remark 3
-
a)
Computing trigonometric sums in an efficient way is an object of investigation since a very long time, but up to our knowledge the above complexity reduction has not been published before.
-
b)
As an alternative to the closed form integration described above, we also tried quadrature for computing the defect integral, but due to the necessity of computing a safe remainder term bound in this case, we ended up in a very high numerical effort, since a large number of quadrature points had to be chosen. So practically closed-form integration turned out to be more efficient, although its complexity (as N→∞) is higher than the quadrature complexity.
Once an L 2-defect bound \(\hat{\delta}_{\lambda}\) (satisfying (32)) has been computed, an H −1-defect bound δ λ (satisfying (9)) is easily obtained via the embedding
which is a result of the corresponding dual embedding (28). Indeed, (32) and (36) imply that
satisfies (9).
The estimate (36) is suboptimal but, under practical aspects, seems to be the most suitable way for obtaining an H −1-bound for the defect. At this point we also wish to remark that, as an alternative to the weak solutions approach used in this paper, we could also have aimed at a computer-assisted proof for strong solutions (see [23]), leading to H 2-and C 0-error bounds; in this case an L 2-bound is needed directly (rather than an H −1-bound).
7 Computation of K λ for Fixed λ
For computing a constant K λ satisfying (10), we use the isometric isomorphism
and note that \(\Phi^{-1} L_{(\lambda, \omega_{\lambda})} : H_{0}^{1} (\Omega ) \to H_{0}^{1} (\Omega)\) is \(\langle\cdot,\cdot\rangle_{H_{0}^{1}}\)-symmetric since
and hence selfadjoint. Since \(\| L_{(\lambda,\omega_{\lambda})}[u]\|_{H^{-1}}=\|\Phi^{-1}L_{(\lambda ,\omega _{\lambda})}[u]\|_{H_{0}^{1}}\), (10) thus holds for any
provided the min is positive.
A particular consequence of (38) is that
where
Note that, due to the positivity of our approximate solutions ω λ established in Sect. 6, the modulus can be omitted here, which again facilitates numerical computations. Choosing a positive parameter σ in the \(H_{0}^{1}\)-product (recall that we actually chose σ:=1), we obtain W λ>0 on \(\bar{\Omega}\). Thus, (40) shows that all eigenvalues μ of \(\Phi^{-1} L_{(\lambda, \omega_{\lambda})}\) are less than 1, and that its essential spectrum consists of the single point 1. Therefore, (39) requires the computation of eigenvalue bounds for the eigenvalue(s) μ neighboring 0.
Using the transformation κ=1/(1−μ), the eigenvalue problem \(\Phi^{-1} L_{(\lambda, \omega_{\lambda})} [u] = \mu u\) is easily seen to be equivalent to
or, in weak formulation,
and we are interested in bounds to the eigenvalue(s) κ neighboring 1. It is therefore sufficient to compute two-sided bounds to the first m eigenvalues κ 1≤…≤κ m of problem (42), where m is (at least) such that κ m>1. In all our practical examples, the computed enclosures \(\kappa_{i} \in[\underline {\kappa}_{i}, \bar{\kappa}_{i} ]\) are such that \(\bar{\kappa}_{1} < 1 < \underline{\kappa}_{2}\), whence by (39) and κ=1/(1−μ) we can choose
Remark 4
By [11] and the fact that ω λ is symmetric with respect to reflection at the axes \(x_{1}=\frac{1}{2}\) and \(x_{2} =\frac{1}{2}\), all occurring function spaces can be replaced by their intersection with the class of reflection symmetric functions. This has the advantage that some eigenvalues κ i drop out, which possibly reduces the constant K λ.
The desired eigenvalue bounds for problem (42) can be obtained by computer-assisted means of their own. For example, upper bounds to κ 1,…,κ m (with m∈ℕ given) are easily and efficiently computed by the Rayleigh-Ritz method [26]:
Let \(\tilde{\varphi}_{1}, \ldots, \tilde{\varphi}_{m} \in H_{0}^{1} (\Omega)\) denote linearly independent trial functions, for example approximate eigenfunctions obtained by numerical means, and form the matrices
Then, with Λ1≤⋯≤Λm denoting the eigenvalues of the matrix eigenvalue problem
(which can be enclosed by means of verifying numerical linear algebra; see [3]), the Rayleigh-Ritz method gives
However, also lower eigenvalue bounds are needed, which constitute a more complicated task than upper bounds. The most accurate method for this purpose has been proposed by Lehmann [15], and improved by Goerisch concerning its range of applicability [4]. Its numerical core is again (as in the Rayleigh-Ritz method) a matrix eigenvalue problem, but the accompanying analysis is more involved. In particular, in order to compute lower bounds to the first m eigenvalues, a rough lower bound to the (m+1)st eigenvalue must be known already. This a priori information can usually be obtained via a homotopy method connecting a simple “base problem” with known eigenvalues to the given eigenvalue problem, such that all eigenvalues increase (index-wise) along the homotopy; see [22] or [5] for details on this method, a detailed description of which would be beyond the scope of this chapter. In fact, [5] contains the newest version of the homotopy method, where only very small (2×2 or even 1×1) matrix eigenvalue problems need to be treated rigorously in the course of the homotopy.
Finding a base problem for problem (42), and a suitable homotopy connecting them, is rather simple here since Ω is a bounded rectangle, whence the eigenvalues of −Δ on \(H_{0}^{1} (\Omega)\) are known: We choose a constant upper bound c 0 for \(|\omega_{\lambda}| \omega_{\lambda} =\omega_{\lambda}^{2}\) on Ω, and the coefficient homotopy
Then, the family of eigenvalue problems
connects the explicitly solvable constant-coefficient base problem (s=0) to problem (42) (s=1), and the eigenvalues increase in s, since the Rayleigh quotient does, by Poincaré’s min-max principle.
8 Computation of Branches (ω λ),(δ λ),(K λ),(α λ)
In the previous section we described how to compute approximations ω λ for a grid of finitely many values of λ within [0,λ 1(Ω)). After selecting \(\bar{\lambda}\) (among these) according to Sect. 5, we are left with a grid
and approximate solutions \(\omega^{i} = \omega_{\lambda^{i}} \in H_{0}^{1} (\Omega) \cap L^{\infty} (\Omega)\) (i=0,…,M). Furthermore, according to the methods described in the previous sections, we can compute bounds \(\delta^{i} = \delta_{\lambda^{i}}\) and \(K^{i} = K_{\lambda^{i}}\) such that (9) and (10) hold at λ=λ i.
Now we define a piecewise linear (and hence continuous) approximate solution branch \(([0,\bar{\lambda}] \to H_{0}^{1} (\Omega), \lambda\mapsto\omega_{\lambda } )\) by
To compute corresponding defect bounds δ λ, we fix i∈{1,…,M} and λ∈[λ i−1,λ i], and let t:=(λ−λ i−1)/(λ i−λ i−1)∈[0,1], whence
Using the classical linear interpolation error bound we obtain, for fixed x∈Ω,
Since \(\| u \|_{H^{-1}} \le C_{1} \| u \|_{\infty}\) for all u∈L ∞(Ω), with C 1 denoting an embedding constant for the embedding \(H_{0}^{1} (\Omega) \hookrightarrow L^{1} (\Omega)\) (e.g. \(C_{1} = \sqrt{|\Omega|} C_{2}\)), (46) and (47) imply
Thus, we obtain a branch \((\delta_{\lambda} )_{\lambda\in[0,\bar {\lambda}]}\) of defect bounds which is constant on each subinterval [λ i−1,λ i]. In the points λ 1,…,λ M−1,δ λ is possibly doubly defined by (50), in which case we choose the smaller of the two values. Hence, \(([0,\bar{\lambda}] \to \mathbb {R}, \lambda\mapsto \delta_{\lambda} )\) is lower semi-continuous.
Note that δ λ given by (50) is “small” if δ i−1 and δ i are small (i.e. if the approximations ω i−1 and ω i have been computed with sufficient accuracy; see Remark 2a)) and if ρ i,τ i are small (i.e. if the grid is chosen sufficiently fine; see (48), (49)).
In order to compute bounds K λ satisfying (10) for \(\lambda\in [0,\bar{\lambda}]\), with ω λ given by (44), we fix i∈{1,…,M−1} and \(\lambda\in[ \frac{1}{2} (\lambda^{i-1} + \lambda^{i}), \frac{1}{2} (\lambda^{i} + \lambda^{i+1}) ]\). Then,
whence a coefficient perturbation result given in [16, Lemma 3.2] implies: If
then (10) holds for
Note that (52) is indeed satisfied if the grid is chosen sufficiently fine, since then μ i and ν i are “small” by (51).
Analogous estimates give K λ also on the two remaining half-intervals \([0,\frac{1}{2} \lambda^{1}]\) and \([\frac{1}{2} (\lambda^{M-1} + \lambda^{M}), \lambda^{M}]\).
Choosing again the smaller of the two values at the points \(\frac{1}{2} (\lambda^{i-1} + \lambda^{i})\ (i = 1, \dots, M)\) where K λ is possibly doubly defined by (53), we obtain a lower semi-continuous, piecewise constant branch \(([0,\bar {\lambda}] \rightarrow \mathbb {R}, \lambda\mapsto K_{\lambda})\).
According to the above construction, both λ↦δ λ and λ↦K λ are constant on the 2M half-intervals. Moreover, (44) implies that, for i=1,…,M,
and again we choose the smaller of the two values at the points of double definition.
Using these bounds, the crucial inequalities (12) and (13) (which have to be satisfied for all \(\lambda\in[0,\bar{\lambda}]\)) result in finitely many inequalities which can be fulfilled with “small” and piecewise constant α λ if δ λ is sufficiently small, i.e. if ω 0,…,ω M have been computed with sufficient accuracy (see Remark 2a)) and if the grid has been chosen sufficiently fine (see (48)–(50)). Moreover, since λ↦δ λ, λ↦K λ and the above piecewise constant upper bound for \(\| \omega_{\lambda} \|_{L^{4}}\) are lower semi-continuous, the structure of the inequalities (12) and (13) clearly shows that also λ↦α λ can be chosen to be lower semi-continuous, as required in Sect. 4. Finally, since (13) now consists in fact of finitely many strict inequalities, a uniform (λ-independent) η>0 can be chosen in Theorem 3b), as needed for Theorem 4.
9 Numerical Results
All computations have been performed on an AMD Athlon Dual Core 4800+ (2.4 GHz) processor, using MATLAB (version R2010a) and the interval toolbox INTLAB [27]. For some of the time consuming nested sums occurring in the computations, we used moreover mexfunctions to outsource these calculations to C++. For these parts of the program we used C-XSC [13] to verify the results. Our source code can be found on our webpage.Footnote 1
In the following, we report on some more detailed numerical results.
Using \(\bar{\lambda} = 18.5\) (which is not the minimally possible choice; e.g. \(\bar{\lambda}=15.7\) could have been chosen) and M+1=94 values 0=λ 0<λ 1<⋯<λ 93=18.5 (with λ 1=0.1, λ 2=0.3 and the remaining gridpoints equally spaced with distance 0.2) we computed approximations ω 0,…,ω 93 with N=16 in (31), as well as defect bounds δ 0,…,δ 93 and constants K 0,…,K 93, by the methods described in Sects. 6 and 7.
Figure 1 shows an approximate branch [0,2π 2)→ℝ, λ↦∥ω λ∥∞. The continuous plot has been created by interpolation of the above grid points λ j, plus some more grid points between 18.5 and 2π 2, where we computed additional approximations.
For some selected values of λ, Table 1 shows, with an obvious sub- and superscript notation for enclosing intervals, the computed eigenvalue bounds for problem (42) (giving K λ by (43)). These were obtained using the Rayleigh-Ritz and the Lehmann-Goerisch method, and the homotopy method briefly mentioned at the end of Sect. 7 (exploiting also the symmetry considerations addressed in Remark 4). The integer m, needed for these procedures, has been chosen different (between 3 and 10) for different values of λ, according to the outcome of the homotopy. This resulted in a slightly different quality of the eigenvalue enclosures.
Table 2 contains, for some selected of the 186 λ-half-intervals,
-
a)
the defect bounds δ λ obtained by (50) from the grid-point defect bounds δ i−1, δ i, and from the grid-width characteristics ρ i, τ i defined in (48), (49),
-
b)
the constants K λ obtained by (53) from the grid-point constants K i and the grid-width parameters ν i defined in (51) (note that μ i=0.1 for all i),
- c)
Thus, Corollary 1, together with all the considerations in the previous sections, proves Theorem 1.
References
Adimurthi, Yadava, S.: An elementary proof for the uniqueness of positive radial solution of a quasilinear Dirichlet problem. Arch. Ration. Mech. Anal. 126, 219–229 (1994)
Aftalion, A., Pacella, F.: Uniqueness and nondegeneracy for some nonlinear elliptic problems in a ball. J. Differ. Equ. 195, 380–397 (2003)
Behnke, H.: Inclusion of eigenvalues of general eigenvalue problems for matrices. In: Kulisch, U., Stetter, H.J. (eds.) Scientific Computation with Automatic Result Verification, Computing, vol. 6 (Suppl), pp. 69–78 (1987)
Behnke, H., Goerisch, F.: Inclusions for eigenvalues of selfadjoint problems. In: Herzberger, J. (ed.) Topics in Validated Computations, Series Studies in Computational Mathematics, pp. 277–322. North-Holland, Amsterdam (1994)
Breuer, B., Horak, J., McKenna, P.J., Plum, M.: A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam. J. Differ. Equ. 224, 60–97 (2006)
Breuer, B., McKenna, P.J., Plum, M.: Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof. J. Differ. Equ. 195, 243–269 (2003)
Crandall, M.G., Rabinowitz, P.H.: Bifurcation from simple eigenvalues. J. Funct. Anal. 8, 321–340 (1971)
Crandall, M.G., Rabinowitz, P.H.: Bifurcation, perturbation of simple eigenvalues and linearized stability. Arch. Ration. Mech. Anal. 52, 161–180 (1973)
Damascelli, L., Grossi, M., Pacella, F.: Qualitative properties of positive solutions of semilinear elliptic equations in symmetric domains via the maximum principle. Ann. Inst. H. Poincaré 16, 631–652 (1999)
Dancer, E.N.: The effect of the domain shape on the number of positive solutions of certain nonlinear equations. J. Differ. Equ. 74, 120–156 (1988)
Gidas, B., Ni, W.M., Nirenberg, L.: Symmetry and related properties via the maximum principle. Commun. Math. Phys. 68, 209–243 (1979)
Grossi, M.: A uniqueness result for a semilinear elliptic equation in symmetric domains. Adv. Differ. Equ. 5, 193–212 (2000)
Klatte, R., Kulisch, U., Lawo, C., Rausch, M., Wiethoff, A.: C-XSC-A C++ Class Library for Extended Scientific Computing. Springer, Berlin (1993)
Ladyzhenskaya, O.A., Ural’tseva, N.N.: Linear and Quasilinear Elliptic Equations. Academic Press, New York–London (1968)
Lehmann, N.J.: Optimale Eigenwerteinschließungen. Numer. Math. 5, 246–272 (1963)
McKenna, P.J., Pacella, F., Plum, M., Roth, D.: A uniqueness result for a semilinear elliptic problem: A computer-assisted proof. J. Differ. Equ. 247, 2140–2162 (2009)
Nagatou, K., Nakao, M.T., Yamamoto, N.: An approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness. Numer. Funct. Anal. Optim. 20, 543–565 (1999)
Nakao, M.T., Yamamoto, N.: Numerical verifications for solutions to elliptic equations using residual iterations with higher order finite elements. J. Comput. Appl. Math. 60, 271–279 (1995)
Ni, W.M., Nussbaum, R.D.: Uniqueness and nonuniqueness for positive radial solutions of Δu+f(u,τ)=0. Commun. Pure Appl. Math. 38, 67–108 (1985)
Pacella, F., Srikanth, P.N.: Solutions of semilinear problems in symmetric planar domains, ODE behaviour and uniqueness of branches. Prog. Nonlinear Differ. Equ. Appl. 54, 239–244 (2003)
Plum, M.: Explicit H 2-estimates and pointwise bounds for solutions of second-order elliptic boundary value problems. J. Math. Anal. Appl. 165, 36–61 (1992)
Plum, M.: Guaranteed numerical bounds for eigenvalues. In: Hinton, D., Schaefer, P.W. (eds.) Spectral Theory and Computational Methods of Sturm-Liouville Problems, pp. 313–332. Marcel Dekker, New York (1997)
Plum, M.: Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance. DMV Jahresbericht, JB 110, 19–54 (2008)
Plum, M., Wieners, C.: New solutions of the Gelfand problem. J. Math. Anal. Appl. 269, 588–606 (2002)
Rabinowitz, P.H.: Some global results for nonlinear eigenvalue problems. J. Funct. Anal. 7, 487–513 (1971)
Rektorys, K.: Variational Methods in Mathematics, Science and Engineering. Reidel Publ. Co., Dordrecht (1980)
Rump, S.M.: INTLAB-INTerval LABoratory, a Matlab toolbox for verified computations, Version 4.2.1. Inst. Informatik, TU Hamburg-Harburg (2002). http://www.ti3.tu-harburg.de/rump/intlab/
Srikanth, P.N.: Uniqueness of solutions of nonlinear Dirichlet problems. Differ. Integral Equ. 6, 663–670 (1993)
Zhang, L.: Uniqueness of positive solutions of Δu+u p+u=0 in a finite ball. Commun. Partial Differ. Equ. 17, 1141–1164 (1992)
Zou, H.: On the effect of the domain geometry on the uniqueness of positive solutions of Δu+u p=0. Ann. Sc. Norm. Super. Pisa 3, 343–356 (1994)
Acknowledgements
The authors are grateful to two anonymous referees for their helpful remarks and suggestions.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Additional information
Dedicated to the memory of Wolfgang Walter
Rights and permissions
Copyright information
© 2012 Springer Basel
About this paper
Cite this paper
McKenna, P.J., Pacella, F., Plum, M., Roth, D. (2012). A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem. In: Bandle, C., Gilányi, A., Losonczi, L., Plum, M. (eds) Inequalities and Applications 2010. International Series of Numerical Mathematics, vol 161. Birkhäuser, Basel. https://doi.org/10.1007/978-3-0348-0249-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-0348-0249-9_3
Published:
Publisher Name: Birkhäuser, Basel
Print ISBN: 978-3-0348-0248-2
Online ISBN: 978-3-0348-0249-9
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)