Semilinear Elliptic Equations for Beginners: Existence Results via the Variational Approach (Universitext)

Four. 17, we've β(0)=β 0>0, so, by way of Lemma 3. four. 15, . We declare that (3. 23) certainly now we have so we need to end up that To this target, repair ε>0 and take r ε ,R ε >0 such that β(r)−β 0≤ε for all r∈[0,r ε ] and all r∈[R ε ,+∞), and outline Then within the bounded set A ε ={x∈ℝ N  | r ε <|x|0, which concludes the evidence of (3. 23). Now we will be able to end the facts of the lemma. outline and v okay =u okay /μ ok . now we have and accordingly This exhibits that , a contradiction. □ because arguing as in Chap. 2 we will be able to finish that there exists u∈D r \{0}, u≥0, such that (3. 24) for all v∈D r . We now are looking to turn out that this equation is chuffed for all v in D 1,2(ℝ N ). this is often conducted within the following lemma, that is a selected case of the “principle of symmetric criticality” via Palais [38], see additionally [48]. Lemma three. four. 21 Equation (3. 24) holds for each v∈D 1,2(ℝ N ). facts allow us to think about the useful I:D 1,2(ℝ N )→ℝ outlined by way of and permit I r be its restrict to D r . via (3. 24) we have now . we wish to turn out that still I′(u)=0, that's, ∇I(u)=0 in D 1,2(ℝ N ). For this, we declare that ∇I(u) is a radial functionality. To turn out the declare, we take a rotation of ℝ N with matrix R and we denote its transpose by means of S. after all, S=R −1. We set f R (x)=f(Rx) for all f∈D 1,2(ℝ N ) and we end up that for all such R and for all f,g∈D 1,2(ℝ N ) there effects (3. 25) We fee (3. 25) for soft f,g, the overall case being simply received through density. a simple computation supplies and accordingly Integrating and altering variables yields this suggests the place (⋅|⋅) is the scalar product in D 1,2(ℝ N ). To turn out that ∇I(u) is radial we need to turn out that, for all rotations R, that's for all v∈D 1,2(ℝ N ). Recalling that u is a radial functionality, we compute This exhibits that ∇I(u) is radial. Now you'll be able to finish the facts. now we have so ∇I(u)=0, specifically I′(u)v=0 for all v∈D 1,2(ℝ N ). □ comment three. four. 22 speculation should be weakened within the experience that it's not essential to imagine β(r)>β(0) for all r>0 however it is adequate that β(r)≥β(0) for all r>0 and β(r 0)>β(0) for a few r 0>0. certainly, if we suppose this weaker , as we all know that the minimizer for S is far and wide strictly optimistic (see Remark 3. four. 12), in Lemma 3. four. 15 we receive and this can be all we have to finish. three. four. three A Nonexistence consequence If one attempts to assault the analogue of challenge (3. thirteen) on a bounded area Ω, particularly the matter (3. 26) one realizes speedy that the tools utilized in Sect. three. four. 1 holiday down. The query that one has to stand is then: are there extra robust innovations that permit one to resolve (3. 26), or does anything fairly take place while the expansion of the nonlinearity reaches the severe worth 2∗? during this part we express, through a classical argument, that no technique can produce a nontrivial approach to (3. 26), for instance whilst Ω is a ball. In different phrases, whilst energy nonlinearities are thought of, the worth 2∗ represents a threshold past which life of nontrivial options may possibly fail.