GLUEING A PEAK TO A NON-ZERO LIMITING PROFILE FOR A CRITICAL MOSER-TRUDINGER EQUATION arxiv:187.198v1 [math.ap] 6 Jul 18 GABRIELE MANCINI AND PIERRE-DAMIEN THIZY Abstract. Druet [6] proved that if f is a sequence of Moser-Trudinger type nonlinearities with critical growth, and if u solves.1 and converges weakly in H 1 to some u, then the Dirichlet energy is quantified, namely there exists an integer N such that the energy of u converges to 4πN plus the Dirichlet energy of u. As a crucial step to get the general existence results of [7], it was more recently proved in [8] that, for a specific class of nonlinearities see., the loss of compactness i.e. N > implies that u. In contrast, we prove here that there exist sequences f of Moser-Trudinger type nonlinearities which admit a noncompact sequence u of solutions of.1 having a nontrivial weak limit. Introduction Let be a smooth bounded domain in R. In this work we are interested in investigating the behavior of sequences of solutions of nonlinear critical elliptic problems of the form u = f x,u, u > in,.1 u = on, where = div andf is a sequence of Moser-Trudinger type nonlinearities. A typical but very specific example of such a sequence is given by f x,u = β h xuexpu, lim + β = β, lim + h = h in C., h > in, where the β s are positive numbers and the h s are positive functions in C. Recall that nonlinearities as in. arise when looking for critical points of the Moser-Trudinger functional F u = h xexpu dx, under the Dirichlet energy constraint u dx = α, where α is any given sequence of positive real numbers. In [6] Druet obtained a general quantification result for solutions of.1 for a large class of nonlinearities, including the ones in.. More precisely, he proved that, if the f s have uniformly critical growth see [6, Definition 1], then for Date: December 17. 1991 Mathematics Subject Classification. 35B33, 35B44, 35J15, 35J61. 1
GABRIELE MANCINI AND PIERRE-DAMIEN THIZY any sequence u satisfying.1 and converging weakly in H 1 to some u, the Dirichlet energy is quantified see also [8, Section ]. Namely, up to a subsequence, there exists an integer N such that lim + u dy = 4πN + u dy..3 Observe that such a sequence u is compact in H 1, if and only if it is uniformly bounded, and if and only if N = in.3. As a consequence of the very strong interaction generated by an exponentially critical nonlinearity, it is not clear in general whether it is possible to have loss of compactness, i.e. N 1 in.3, together with u. For instance, for the typical nonlinearities f given by., in order to understand globally the bifurcation diagram of.1 and the associated questions of existence of solutions see [7], Druet-Thizy [8] pushed further the analysis and proved that, for such a noncompact sequence u, there necessarily holds that u, so that the limit of the Dirichlet energy in.3 has to be 4π times an integer N >. In contrast, the purpose of this paper is to show that for different families of exponentially critical nonlinearities it is possible to construct bubbling sequences of solutions with non-trivial weak limit in H 1. Let be the unit disk of R centered at and let < λ 1 < λ <... be the sequence of the simple radial eigenvalues of in, with zero Dirichlet boundary condition. Let v 1,v... be the associated radial eigenfunctions uniquely determined by v k dy = 1 and v k > for all k. Our first result shows that there exists a sequencef with Moser-Trudinger type growth for which.1 admits a sequence u of positive radial solutions converging weakly to a multiple of v 1 and with Dirichlet energy approaching any fixed value in 4π,+. Theorem.1 Positive case. Let l > be given and let R be the unit disk centered at. Let λ be given by λ = λ 1 ε,.4 where ε = 4πv1 λ 1 l. Then there exists β > such that the equation u = λ u+β uexpu, u > in,.5 u = on, admits a smooth solution u satisfying u =, for all > sufficiently large for λ to be positive. Moreover, for any sequences β, u with the above properties, we have that β, that where u = v 1 holds true as +. l u u weakly in H 1,.6 λ 1, and that the quantification u dy = 4π+l+o1,.7 Observe that.5 can be seen as a particular case of.1 with f x,u = λ u+β uexpu,.8 and it arises when looking at the Euler-Lagrange equation of the Adimurthi-Druet inequality [1]. We also refer to [14], where this Euler-Lagrange equation was studied
NONZERO LIMITING PROFILE FOR A CRITICAL MOSER-TRUDINGER EQUATION 3 in this tricky regime λ λ 1, but only in the minimal energy case, where l equals in.7. When considering the typical case., i.e. the Euler-Lagrange equation of the standard Moser-Trudinger inequality, existence results have been obtained using radial analysis [4, 1] see also [13], variational [9, 15], perturbative [5] or topological methods [7, 11, 16]. According to the previous discussion, contrary to those built in Theorem.1, the blow-up solutions obtained in these results always have a zero weak limit in H 1. As a by-product of Theorem.1 and its proof below, we also obtain the following result. Theorem. Nodal case. Let l > be fixed and R be the unit disk centered at. Let k be a fixed integer. Then there exist positive real numbers = k,l, λ = λ k,l and β = β k,l such that λ k λ = 1+o1 4πv k λk l,.9 as +, and such that the equation u = λ u+β uexpu in, u = on,.1 admits a smooth solution u = u k,l satisfying u =, for all >. Moreover, we have that β, that.6 holds true for u = v k l λ k, and that the quantification.7 holds true, as +. As v k for k, the solutions u s in Theorem. are sign-changing and have exactly k nodal regions in. Theorem. provides new examples of non-compact sequences of nodal solutions for a Moser-Trudinger critical type equation for which the quantification in.7 holds true. We mention that Grossi and Naimen [1] obtained recently a nice example of a quantized sequence in the sign-changing case. In [1], the results of [, 3] are used as a starting point and the point of view is completely different from that of Theorem.. While the nonlinearities of the form.8 clearly have Moser-Trudinger type growth, it should be pointed out that they do not have uniformly critical growth in the sense of the definition of Druet [6], if β and λ λ k, k 1 as + as in Theorem.1 and Theorem.. However, our techniques can be applied to the study of different kinds of nolinearities. For a fixed real parameter a >, let g : [,+ R be such that and gt = e t at Then, we get the following result. for t c >, G1 g C [,+ with g > in [,+. G Theorem.3. Let R be the unit disk centered at and let a > and g C [,+ be given so that G1 and G hold. For any > there exists a
4 GABRIELE MANCINI AND PIERRE-DAMIEN THIZY unique β > such that the equation u = β ugu, u > in, u = on,.11 admits a unique smooth radially symmetric solution u satisfying u =. Moreover, as + we have β βa >, that u u a,.1 and that the following quantification holds true u dy = 4π + u a dy..13 It is interesting to notice that the value at of the weak limit of the sequence u in Theorem.3 depends only on the choice of a, that is on the asymptotic behavior of the function g. We stress that for any a > one can easily construct a function g satisfying G1 and G such that gt = 1 for t a. For such function g, the nonlinearities f x,u = β ugu have uniformly critical growth according to Druet s definition in [6]. Moreover, since the u s are positive and radially decreasing, one has β a = λ 1 and u a = a v v 1 1 so that the quantification result of Theorem.3 reads as u dy 4π+ a λ 1 4v 1..14 Note that the value in the RHS of.14 can be arbitrarily large or arbitrarily close to 4π depending on the choice of a. Acknowledgements The first author was supported by Swiss National Science Foundation, projects nr. PPP-144669 and PPP-17588/1. The second author was supported by BQR Accueil EC 18, funding the new researchers in the university of Lyon 1. 1. Proof of Theorem.1 In the whole paper, = B 1 is the unit disk centered at in R. If f is a radially symmetric function, since no confusion is possible, we will often write f x instead of fx. 1.1 In the sequel, we let λ 1 and v 1 be as in Theorem.1. For all R >, it is known that the smallest eigenvalue λ R of in B R with zero Dirichlet boundary condition is given by λ R = λ 1 R. 1. Let ṽ R be the radial eigenfunction associated to λ R such that ṽ Rdy = 1. We get first the following existence result. Lemma 1.1. Let λ,λ 1 and > be given. Then there exists β > and a smooth function u in such that u = and such that u solves u = λu+βuexpu, u > in, 1.3 u = on.
NONZERO LIMITING PROFILE FOR A CRITICAL MOSER-TRUDINGER EQUATION 5 Proof of Lemma 1.1. Let λ,λ 1 and > be fixed. For all given β, there exists a unique smooth and radially symmetric solution u β of u = λu+βuexpu, 1.4 u =, well defined in R. Indeed, if [,T β is the maximal interval of existence for u β, we know from rather standard theory of radial elliptic equations that T β,+ ], and that T β < + implies that lim sup u βt + u β t = +. 1.5 t T β Now observe that Eu β : [,T β R given by Eu β = u β +λu β +βexpu β is nonincreasing in,t β by 1.4. Then, 1.5 cannot occur and T β = + as claimed. Now, given β >, there exists an ε β > such that u β s > for all s [,ε β ] by continuity. Then, since the RHS of the first equation of 1.4 is positive for u β >, and since r ru β r = u β ssds, 1.6 we get that u β r +log ε β r εβ for all r ε β such that u β > in [ε β,r]. Setting now u β ssds, 1.7 R β = supr > s.t. u β s > for s [,r]}, 1.8 we clearly get from 1.7 that < R β < +. Then we have u β R β = and u β > in [,R β. Now, since β,r u β r is continuous, and since we have that u β R β < by 1.6, we get that β R β is continuous in [,+. 1.9 It is clear that R = λ 1 /λ > 1 by 1. and 1.4. Independently, multiplying 1.4 by ṽ Rβ > and integrating by parts in B R β, we get that λ Rβ u β ṽ Rβ dy = u β ṽ Rβ dy, B R β = > β B R β B R β B R β λ+βexpu β u βṽ Rβ dy, u β ṽ Rβ dy, so that λ Rβ + and then that R β as β +, using 1.. Thus by 1.9, we get that there exists β > such that R β = 1, which concludes the proof of Lemma 1.1. Proof of Theorem.1. Let l > be a fixed real number. Let λ,λ 1 and v 1 > in be as in the statement of Theorem.1. By Lemma 1.1, there exists β > such
6 GABRIELE MANCINI AND PIERRE-DAMIEN THIZY that the equation.5 admits a smooth solution u satisfying u =, for all > sufficiently large for λ to be positive. First, we check that 1 β = O, 1.1 which implies that β as +, as claimed in Theorem.1. For this, it is sufficient to multiply the first equation in.5 by v 1 and to integrate by parts: λ 1 λ v 1 u dy = β v 1 expu u dy β v 1 u dy. 1.11 In view of.4, this clearly implies 1.1. Now, we perform the blow-up analysis of theu s as +, in order to get.6-.7. Observe that we do not assume here that u is bounded in H 1, as in [14]. But since we are in a radially symmetric setting, we are able to start the analysis and to prove that the u s can be rescaled around in order to detect a bubble of Moser-Trudinger critical type. Observe that our choice of λ in.4 plays a key role for this to be true. Let µ > be given by and τ be given by β exp µ = 4, 1.1 u µ y = τ y. 1.13 Observe that, since u > in.5, u is radially decreasing in, so that u r u =, for all r [,1]. 1.14 Here and often in the sequel, we use the identifications of 1.1. Step 1.1. We have that and lim µ = 1.15 + lim τ = T :=log1+ in C + loc R. 1.16 Proof of Step 1.1. By 1.1, 1.15 is equivalent to In order to prove 1.17, assume by contradiction that lim β exp = +. 1.17 + β exp = O1, 1.18 up to a subsequence. Then, if w is given by u = w, we have that w 1 andw = 1. Moreover, by.4,.5, 1.14, 1.18 and standard elliptic theory, we get that lim w = w in C 1, 1.19 + where w = 1. Then, since w > in a neighborhood of, we have that w λ 1 1+o1w > around, so that there exists ε,1 such that ε x 1 w x, for all x, 1.
NONZERO LIMITING PROFILE FOR A CRITICAL MOSER-TRUDINGER EQUATION 7 using that w is radially symmetric and decreasing. Thus, using 1.18, 1. and w 1, we get that β v 1 expu u dx = β exp v 1 exp 1 w w dx, = O exp ε x 1.1 dx, = o1. Independently, since w and w, we get from 1.19 that = O v 1 u dx. 1. Combining the equality in 1.11, the last estimate in 1.1 and 1., we clearly get a contradition with our definition of ε below.4. Then, 1.18 cannot hold true and 1.17 and 1.15 are proved. Finally, since 1.1-1.15 give local uniform bounds for τ, we get 1.16 by now rather standard arguments see for instance [1, Lemma 3] and elliptic estimates. Next, we prove that β does not converge to zero too fast. In the sequel it is useful to denote r t r := T = log 1+ r µ µ. 1.3 Step 1.. We have that logβ = o. 1.4 Proof of Step 1.. In view of 1.1, assume by contradiction that log 1 β lim + >. 1.5 Here and in the sequel, we argue up to subsequences. Let r,1 be given by β expu r = 1. 1.6 By 1.1, 1.17, and since u is radially decreasing and zero on, r is well defined. In particular, we have that β expu > 1 in [,r, β expu 1 in [r 1.7,1]. By 1.5 and 1.6, we have that u r lim + >. 1.8 Observe also that r µ by 1.13, 1.16, 1.17 and 1.6. Now, we prove that u = t 1+o1 uniformly in [,r ], 1.9 as +, where t is given by 1.3. For this, for any given η,1, we let r be given by r = sup r,r ] s.t. u t η t } in,r]. 1.3
8 GABRIELE MANCINI AND PIERRE-DAMIEN THIZY In order to get 1.9, since η may be arbitrarily small, it is sufficient to prove that for all 1. Observe that 1.8 and 1.3 imply that r = r, 1.31 t r lim + < 1, 1.3 if η was chosen small enough. By the definition of r in 1.3, for any r [,r ], we have that u r +t r +η + t r 1 η +η. 1.33 In particular,by 1.1, 1.14, 1.3 and 1.33, for any sufficiently small η there exists κ = κη > 1 such that β expu u 4 µ exp κt, 1.34 in [,r ], for sufficiently large. Let s be an arbitrary sequence such that s [,r ], for all. If s = Oµ, then, arguing as in 1.6, we get from 1.13, 1.16, and 1.3 that u s + t s = 1 s µ s τ s T ssds = o s µ. 1.35 If instead s µ, then given R 1 we compute s Rµ s u sπsds = O sds +O β expu u sds Rµ }} = o Rµ +β expu u πsds, 1 + 1 + O + 1 s/µ R 8πr 1+r dr, 1 exp κt rdr 1.36 using.5, 1.1, 1.13, 1.15, 1.16, 1.7 and 1.34. Then, as R may be arbitrarily large in 1.36, we get that s 1 u sπsds = o + 1 s/µ 8πr 1+r dr, 1 = o 1 s 1.37 t sπsds. In any case we obtain that u s + t s t s = o, 1.38
NONZERO LIMITING PROFILE FOR A CRITICAL MOSER-TRUDINGER EQUATION 9 either by 1.35 if s = Oµ, or by 1.37 arguing as in 1.6 if s µ. Then, using that u =, t =, and the fundamental theorem of calculus, we get 1.31 from 1.38 and then conclude the proof of 1.9. Observe further that r u sπsds = 4π+o1, 1.39 by 1.37. Now, let s be such that s r,1] for all. We have that s r u sπsds u sπsds λ 1 +1 s r u sπsds, s λ 1 +1 π u, 1.4 by.5, 1.7 in [r,s ], and the Cauchy-Schwarz inequality, where p stands for the L p norm in. Then, estimating u as in 1.6, we get from 1.39 and 1.4 that u r log 1 r log 1 = o r +O u, 1.41 for allr [r,1] and all, using the fundamental theorem of calculus andu 1 =. Now, we evaluate u r in both formulas 1.9 and 1.41. Since 1.1 and 1.3 imply that t r for any r [,1], and that log 1 r 1.41, and 1.4 that = 1 log 1 log β µ +r +O 1.4 = O log 1 µ = O, we get from 1.5, 1.9, u lim + >. 1.43 In order to conclude the proof, we now show that 1.43 contradicts our choice of ε in.4. First, observe that r, as +. Otherwise, since 1.8 implies = Ou in [,r ], using 1.7 we would find that r β expu u πsds r u πsds + 1.44 as +, which contradicts 1.39. Next we want to show that lim inf inf + r r,1] u r u r r r,+ ]. 1.45 From.5, 1.14, 1.7, 1.43 and standard elliptic theory, we get that there exists a function v such that u lim v in C + u loc \}, 1 v in \}. 1.46 Moreover, by 1.14 and 1.43, we get that u / u v strongly in L, so that v dx = 1 and then that v in. Using.5, 1.43, 1.46 and the radial decay of the u s, there exists δ,1 such that u u in [,δ]. Then, estimating u as in 1.6 we find u r r
1 GABRIELE MANCINI AND PIERRE-DAMIEN THIZY in [,1], and from the fundamental theorem of calculus that lim inf inf + r r,1] which concludes the proof of 1.45. Now, we compute 1 v 1 β expu u πsds r = 1 = O 1 = O 1 v 1 β expu u πsds+ 1 +O u +O 1 r u r u r r r,+ ], 1.47 v 1 expu u r u πsds, r exp u r u r u sds r exp ε r r +r dr = O 1 +Or. 1.48 The first equality in 1.48 uses 1.6; the second one uses.5, 1.39, andu ; in the third one, the existence of such a positive ε is given by 1.8 and 1.45. Independently, 1.43 and 1.46 with v imply that 1 = O v 1 u rdr. 1.49 But the equality in 1.11, and 1.48-1.49 clearly contradict our definition of ε in.4. Then 1.5 cannot be true. This concludes the proof of 1.4 and that of Step 1.. Let t be as in 1.3 and let ρ 1,,ρ,ρ, > be given by t ρ 1, =, t ρ = and t ρ, =. 1.5 Since we have now 1.4, resuming verbatim the argument in [14, Step 3.], there exists C > u t C 1+t 3, 1.51 in [,ρ ], and that β u expu 4exp t µ 4 C exp t 1+t 3 3 µ, 1.5 in [,ρ 1, ], for all. Observe that 1.5 and 1.4 imply and that ρ ρ 1, = µ exp1/+o1 µ, 1.53 1 ρ 1, = o 3. 1.54 Note that 1.5, 1.53 and 1.54 with u imply that ρ1, u πrdr 4π 4π C +o1 3. 1.55
NONZERO LIMITING PROFILE FOR A CRITICAL MOSER-TRUDINGER EQUATION 11 Let r,1] be given by β expu r = 1 if β = o r = 1 otherwise. 1, 1.56 Using u =, u 1 = and 1.4, r is well defined and positive. We have in addition that β expu 1 in [,r ], β expu 1 in r 1.57,1]. Moreover, since 1.1 and 1.4 give t 1+o1 in [,1], 1.58 we get from the definition of ρ in 1.5 and 1.51 that u ρ = 4 +O1, so that 1.4 and 1.56 give r ρ, 1.59 for large enough, this inequality being obvious if r = 1. Finally, we define ρ = minρ,,r. 1.6 Step 1.3. Let C be as in 1.51, 1.5 and 1.55. For any R > C we have u t R in [,ρ ], 1.61 for sufficiently large. Moreover, ρ ρ 1, u sπsds = o Proof. For a given R > C, let ρ > be given by ρ = sup r,ρ ] s.t. u t R 1 3. 1.6 } in [,r]. 1.63 Note that 1.51, 1.58 and 1.59 imply that ρ ρ ρ 1,, for large enough. By.5 and 1.57, for all s [ρ 1,, ρ ] we compute s ρ1, ρ u πrdr = u πrdr +O β expu u πrdr. 1.64 ρ 1, Moreover, thanks to 1.1, 1.58 and 1.63 we have that ρ ρ 1, β expu u rdr = o ρ, ρ 1, 1 5 exp t +t / +O1 rdr. µ 1.65 Then, from 1.55, 1.64 and 1.65 we get that s u πrdr 4π 4π C +o1 3. 1.66
1 GABRIELE MANCINI AND PIERRE-DAMIEN THIZY Since ρ µ + exponentially fast as + by 1.53, we also get that s 1 t πrdr = 4π+o. 1.67 Now 1.66 and 1.67 give an estimate on u + t in [ρ 1,, ρ ] as in 1.6 so that, by the fundamental theorem of calculus, we get so that [ u t ] s ρ 1, C +o1 3 log s ρ, 1, u s t s C 1+t s +o1 3, 1.68 for all s [ρ 1,, ρ ], by 1.51 at ρ 1, and 1.53. Then we get ρ = ρ, 1.69 using R > C and ρ > ρ 1,. The proof of 1.61 is complete. Finally, the estimate in 1.6 follows from.5, 1.57, 1.65 and 1.69. Step 1.4. We have that Moreover, we have and as +. u r = log 1 r Proof. First, coming back to 1.11, we get that 4πv 1 +o1 lim inf u,+ ]. 1.7 + ρ, 1.71 +o u +v 1 r u in [ρ,1] 1.7 ρ1, = β v 1 u expu πrdr λ 1 λ 1 v 1 u πrdr u = O, by 1.5, the Cauchy-Schwarz inequality and our definition ofε below.4. This, clearly implies 1.7. In order to prove 1.71, we observe that 1.5, 1.6 and 1.61 imply u u ρ = t ρ in [,ρ ] and then that ρ ρ = O u sπsds +o1 t ρ, by 1.55 and 1.6. Now, we turn to the proof of 1.7. Note that +o1 = 1+o1, ρ = O u sπsds = O 1, β expu = o1 in ρ,1]. 1.73
NONZERO LIMITING PROFILE FOR A CRITICAL MOSER-TRUDINGER EQUATION 13 Indeed 1.73 follows directly from 1.57 if ρ = r, while if ρ = ρ, then 1.61 gives u = O1 in [ρ,1] and 1.73 follows from 1.1. Then, by.4,.5 and 1.73, we always get that u = λ 1 +o1u in [ρ,1]. 1.74 By elliptic estimates, this implies that 1.46 holds true with v satisfying v = λ 1 v in \}. We shall now prove that v = v 1. By 1.55, 1.6 and 1.74, we get that s ρ u rπrdr = u rπrdr +Os u = 4π 1 +o +Os u, 1.75 for any sequence s [ρ,1]. Estimating u by 1.75 in the spirit of 1.6, using the fundamental theorem of calculus and u 1 =, and noting that 1 log 1 ρ = O u, we obtain that u log 1 r = O u, 1.76 for all r [ρ,1]. By 1.7, 1.71 and 1.76 we get that v is bounded with bounded laplacian around }, and then v C 1. Take now a sequence σ such that σ ρ, σ = o1 and u v u, 1.77 C \B σ as +. Using u with 1.54 for r ρ 1,, 1.76 for ρ 1, r σ and 1.77 otherwise, we get that u / u converges to v in L on the whole disk, so that v dx = 1, v > in and v = v 1. Finally, we observe that for any sequence s [ρ,1] we have that minσ,s u rπrdr = + ρ u rπrdr minσ,s ρ u rπrdr, = 4π 1 +o +ominσ,s u. 1.78 In order to get the second equality in 1.78, we estimate the integral up to ρ by 1.55 and 1.6, and the integral for ρ r minσ,s } by 1.74 and 1.76. Using.4, 1.77 and 1.78, we find that s u rπrdr = 4π s +os u +λ 1 u v 1 rπrdr, for any sequence s [ρ,1]. Then, 1.7 follows, using again the fundamental theorem of calculus, with 1.6 and u 1 =.
14 GABRIELE MANCINI AND PIERRE-DAMIEN THIZY Now, we conclude the proof of Theorem.1. Comparing 1.61 with 1.4 and 1.7 at ρ, we obtain that so that in particular log 1 β = u v 1 +o u, 1.79 β = o 1, 1.8 by 1.7. Then, arguing as in 1.73 but using 1.8 instead of 1.1 if ρ = ρ,, we get that 1 β expu = o in ρ,1]. 1.81 Now, on the one hand we have β 1 v 1 expu u πrdr = 4πv 1+o1 u +o 1.8 using 1.5 for r ρ 1,, 1.6 for ρ 1, r ρ, and 1.81 with the Cauchy- Schwarz inequality to estimate the integral in [ρ,1]. On the other hand, using 1.54 with u for r [,ρ 1, ], 1.6 with u λ u in [ρ 1,,ρ ], and 1.7-1.7 in [ρ,1], we obtain that 1 v 1 u πrdr = u 1+o1. 1.83 Then, by the equality in 1.11, 1.8, 1.83 and our definition of ε below.4, we get that l u = +o1. 1.84 λ 1 Now, by.5, we have that u dx = λ u dx+β u expu dx, 1.85 and, using 1.51, 1.5, 1.6 and 1.81, that ρ1, β u expu dx =1+o1β expu u πrdr ρ u +O u πrdr +o ρ 1, 1 =4π +o 1.86 By 1.83-1.86, since λ = λ 1 + o1 by.4, we prove that.7 holds true. Moreover, by.7 with 1.71 and 1.7, there must be the case that.6 holds true. Thus, Theorem.1 is proved.
NONZERO LIMITING PROFILE FOR A CRITICAL MOSER-TRUDINGER EQUATION 15. Proof of Theorem. Let R be the unit disk centered at. Let λ 1,λ,... and v 1,v,... be as above Theorem.1. By Bessel functions theory, v 1 extends in a unique way to a radial function v 1, satisfying v 1 = λ 1 v 1 in R. It is known that v 1 vanishes exactly for x = r n := λ n /λ 1 with v 1r n see 1.1 for any n 1. Moreover, we have that v n := v 1 r n is proportional to v n in, namely v n = r n αn v 1 r n where α n = B r n v 1dx,.1 for all integer n 1. Let l > be a fixed real number and k be a fixed integer. Let us define λ := λ 1 4πv 1 λ1 with l l = l.. α k By Theorem.1 with l = l for all large enough, there exist β > and a smooth radial function ũ such that ũ = λ ũ + β ũ expũ,ũ > in, ũ = on,.3 ũ =, and we have β = o1 and ũ ũ := v 1 l λ 1 in C 1 loc \} L,.4 as +. Moreover, as discussed in Lemma 1.1, we have that ũ is globally defined on R and, as a consequence of.4 and standard ODE theory, we find that ũ v 1 l/λ1 in C 1 loc R \} L loc R..5 Besides, by the implicit function theorem and ODE theory, there exists ε > and 1 large such that ũ vanishes exactly once in I k := r k ε,r k + ε at some r k,, for all indeed ũ vanishes exactly k times in [,r k + ε for 1. By construction, we also have that r k, = r k + o1 as +. Setting u := ũ r k,, we get from the above discussion that u solves.1 with β = rk, β and λ = rk, λ = λ k +o1. Besides.5 implies l u v 1 r k = v k λ 1 l λ k in C 1 loc \} L,.6 as +. Then, using the invariance of the L -norm of the gradient under dilation in dimension,.7 for ũ if x 1/r k,, and.6 if x 1/r k,, we get that u dx = ũ dy + u dx, = 4π+ l+ l = 4π+l+o1, B r k \ \B 1/r k, v 1 dy +o1,.7
16 GABRIELE MANCINI AND PIERRE-DAMIEN THIZY so that.7 holds true. Clearly.6 and.7 give also.6. Finally, we shall prove that.9 holds. In order to do this, we may multiply.1 by v k, integrate by parts and use.6 to get λk λ 1+o1 l λ k = λ k λ = β u v k dy u expu v kdy. Arguing as in 1.81-1.83 for the ũ s, we find that β u expu v k dy = β ũ expũ v k dy B 1 r k, and that β = o 1, so that.6 implies β \B 1 r k, = 4πv k1+o1 u expu v kdy = o,.8.9 1..1 Using.8-.1 we conclude the proof of.9, and Theorem. is proved. 3. Proof of Theorem.3 As in Section 1, we first prove the existence part of Theorem.3. The argument is similar to the one of [1, Proof of Theorem 1]. Lemma 3.1. Let g be as in Theorem.3. For any > there exist a unique real number β > and a unique smooth radial function u in solving u = β ugu, u > in, u = on, u =. 3.1 Moreover, we have 1 < β < λ 1 inf g. 3. [,+ ] Proof. Let f : R R be the continuous odd extension of the function t tgt, t. For any >, let w be the solution the ODE w = fw, 3.3 w =. Arguing as in the proof of Lemma 1.1, we get that w is defined on R, since the function Ew = 1 w + Fw with Ft = t fsds is nonincreasing in the existence interval for w, and since Ft + as t +. Let now R = supr > s.t. w > in [,r]}. 3.4 Clearly R > and for any fixed ε,r and and r [ε,r have r rw r = w ssds ε fw ssds >. 3.5
NONZERO LIMITING PROFILE FOR A CRITICAL MOSER-TRUDINGER EQUATION 17 Using the fundamental theorem of calculus as in 1.7 we get that R < +, so that R is the first zero of w. Then, the function u = w R satisfies 3.1 with β = R. Multiplying the equation in 3.1 by v 1 and integrating by parts, we get that λ 1 v 1 u dx = β v 1 u gu dx β inf g v 1 u dx, [,+ ] which gives 3.. Note that G1 and G imply inf [,+ ] g >. Finally, we observe that β and u are uniquely determined by and g. Indeed if β > and ū C 1 are such that ū = βūgū, ū >, in ū = on, ū =, ū is radially symmetric in in, then uniqueness theory for solution of ODEs implies ū β = w. In particular β = β = R and ū = u. For any > let β and u be as in Lemma 3.1. As in Section 1 we shall rescale around and prove that the u s are close to a Moser-Trudinger bubble up to a sufficiently large scale. However, here more precise expansions see 3.13 and 3.31 are needed in order to detect the effect of the term e au on the shape of such bubble. Let us define µ > such that Note that µ β g = 4. 3.6 µ as +. 3.7 Otherwise, by 3.6, we could find a subsequence such that β g = O1. Since u u = in and since g + as +, the assumptions G1 and G imply that gu g for large values of. Hence, we would have u β g = O 1, which contradicts u = + by standard elliptic estimates. Now let τ be defined as in 1.13 with µ as in 3.6. Then, we will show that τ T and τ T as in C locr, where T is as in 1.16 and Note that we have and More precisely, setting S x = 1 T x+ 1 x 1+ x. 3.8 T +4exp T = in R, 3.9 S 8exp T S = 4T exp T in R. 3.1 t = T µ and S = S, 3.11 µ
18 GABRIELE MANCINI AND PIERRE-DAMIEN THIZY and letting ρ > be defined by we get the following expansion in [,ρ ]. Step 3.1. As +, we have that u = t + as +O B ρ t ρ =, 3.1 t 3 in [,ρ ], 3.13 with T and S as in 3.11. Moreover, we have that u dy = 4π + πa 1 +O 3, 3.14 and that B ρ u u dy = 4π+o1. 3.15 Proof. The proof of Step 3.1 is similar to the one of [14, Step 3.]. Observe that G1, 3. and 3.6 imply that µ = O exp. Then, we get t r log 1+ 1 µ = O, 3.16 for any r [,1]. This will be used several times in the sequel. Let w be defined by and let u = t + aw, 3.17 ρ = supr [,ρ ] : w S 1+t }. 3.18 First, by 3.1 and 3.16-3.18, one has that u + O1 in [,ρ ], so that G1 gives gu = expu au for sufficiently large. Moreover, 3.16, 3.17 and 3.18 imply that u au = 1+t a t +ψ +O, 3.19 in [,ρ ], where ψ = a w +t + t at w 3. Using the simple inequality e x 1 x e x x for x R, we get that expψ = 1+ψ +O exp ψ ψ = 1+a w +t 1+t +O +O exp ψ 1+t4 = 1+a w +t +O exp ψ 1+t4, 3.
NONZERO LIMITING PROFILE FOR A CRITICAL MOSER-TRUDINGER EQUATION 19 in [,ρ 1+t ]. Since u = 1+O by 3.16, 3.17 and 3.18, using 3.1, 3.16, 3.19, 3. and the definition of µ in 3.6, we obtain that 1+t u = β gexp t +ψ 1+O = 4 µ exp t 1+a w 3.1 +t +O exp ψ 1+t4, in [,ρ ]. In particular, 3.9, 3.1, 3.17 and 3.1 yield w S = 4 µ exp t w S +O exp ψ 1+t4 Note that, since t in [,ρ ] by 3.1, we get t + ψ = t + t 1 +O t 3 1 +O Hence, there exists κ > 1 such that +o1, +o1.. 3. 1+t 4 exp t + ψ = Oexp κt in [,ρ ], 3.3 for sufficiently large. By 3. and 3.3, we can find C 1 > such that r w S r r w S sds, 8 w S L [,ρ ] C 1 r + 1 µ r µ 1+ r3 µ 3 µ r for any r [,ρ ]. Therefore we have that w S r C r µ 1+ r µ for some constant C >. We claim now that w S L [,ρ ] = O Otherwise there exists < ρ ρ such that r exp t s ds Oexp κt ssds, w S L [,ρ ] + C 1 r µ 1+ r µ w S L [,ρ ] + 1, 3.4 µ 1. 3.5 µ µ w S L [,ρ ] = µ w S ρ +. 3.6 Note that 3.4 and 3.6 imply ρ = Oµ and µ = Oρ = Oρ, so that, up to a subsequence we get ρ µ δ,+ and ρ µ δ [δ,+ ]. 3.7,
GABRIELE MANCINI AND PIERRE-DAMIEN THIZY We define z = w S µ µ w S L [,ρ ], so that we have z 1 in [, ρ µ ]. Using 3.7, z = the fundamental theorem of calculus, and then the ODE 3. and 3.6, we observe that z L [,ρ /µ] and z L [,ρ /µ] are both bounded sequences. Then by radial elliptic estimates, up to a subsequence we do not only get thatz z inc 1 loc B δ, but we also get thatz ρ z δ as +, where z C 1 B δ satisfies z 8exp T z = in B δ B δ, z =. But, since z is radially symmetric, we get z and then z ρ. But this contradicts our definition of ρ in 3.6, which gives that z ρ = 1. Hence, 3.6 cannot hold and 3.5 is proved. Then 3.4 reads as w S C 3 µ r µ 1+ r µ = C 3 t r, in[,ρ ]. In particular, using the fundamental theorem of calculus, we getw S = O t in [,ρ ], so that ρ = ρ for large and 3.13 holds. Finally, 3.14 and 3.15 follow from 3.1, 3.3 and ρ = µ exp 1. 3.8 Note that the expansion in 3.13, 3.8, and 3.8 imply that u ρ = t ρ 1+ a t ρ +o, 3.9 as +. Let us now fix any c 1 > maxc, a }, where c is as in G1. Let r > be such that u r = c 1. 3.3 We shall prove that an expansion similar to 3.9 holds uniformly in [ρ,r ]. Step 3.. As +, we have that u = t 1+ a t +o 3.31 uniformly in [ρ,r ]. Moreover, there exists δ > such that u dy = Oexp δ. 3.3 B r \B ρ
NONZERO LIMITING PROFILE FOR A CRITICAL MOSER-TRUDINGER EQUATION 1 Proof. Let us denote α = that in [,1]. For any fixed η,1 we set r = sup r [ρ,r ] : 1+ a and T = α t. Arguing as in 3.16, we get T = O 3.33 u T ηt }. Note that r > ρ by 3.9. We claim that there exists δ > such that r u πrdr = O exp δ. 3.34 ρ As in the proof of Step 3.1, we write u = T + ϕ with ϕ ηt in [ρ,r ]. 3.35 In particular, using 3.33 and 3.35, we can write u au a T + at + T +C ηt 1 +C, where C 1,C > do not depend on the choice of η. Since c 1 > c and u is radially decreasing, G1, 3.1 and 3.6 imply that u = β u expu au, β exp aexp T + at + T +C 1η T, 4 µ exp T + at + T +C 1η T. Integrating in the interval [ρ,r ] and using the change of variable τ = T r so that we get that r ρ u πrdr τr τρ rdr µ = exp τ α dτ α, 1 exp τ + aτ + τ +C ητ 1 + τ dτ. α Since 1 α = 1 a +O 1 and τ Tr = O1 by 3.33, we find that r ρ u πrdr 1 τr τρ exp τ Now, by definition of r and r, we know that c 1 = u r u r T r 1 a τ 1η C dτ. 3.36 +η T r T r +C η. Since c 1 > a and C 1,C > do not depend on η, we can find δ > such that 1 a τ C 1η c 1 a 1 ηc 1 +C δ,
GABRIELE MANCINI AND PIERRE-DAMIEN THIZY for any τ T r and any sufficiently small η. Thus, 3.36 implies that r τr exp τ δ dτ, ρ u πrdr 1 τρ 1 exp = O exp τ δ dτ, δ, where we have also used that T ρ = α. This completes the proof of 3.34. Now, observe that 3.14 and 3.34 imply that u dy = u dy +O exp δ = 4π 1 α +O 3, B r B ρ for any r [ρ,r ]. Moreover, by 3.11 and 3.8, we have that 4π r t dy = πrt µ r = µ 1 = 4π+O B r 1+ r ρ = 4π+o µ. In particular we find that u r+ T r = 1 πr B r u + T dy = r 1 o, for anyr [ρ,r ]. Applying the fundamental theorem of calculus and using 3.9, we find that u r T r = u ρ T ρ 1 +o log r ρ T r = o Then we must have r = r for any large and in particular 3.3 follows from 3.34. Since η can be arbitrarily small, we get 3.31. Step 3.3. As + we have β βa > and u u a in C1 loc \}. Proof. Let c 1, ρ and r be as in G1, 3.1, and 3.3. Since u c 1 in B 1\B r, 3.1, 3., 3.14 and 3.3 give that u is bounded in L 1. Hence, we have that u r = O log 1 r for r,1], so that u is locally bounded in \}. By 3.1, 3. and elliptic estimates, up to a subsequence we have that β β [,+ and u u in Cloc 1 \}, where u solves u = β u gu, u =, in. in \}, Note that for r [,r ], we have u r c 1 and r 1 u r = c 1 + u dy ds c 1 + 1+o1 πs r B s log r r,. 3.37 where the last inequality follows from 3.14 and 3.3. Then necessarily r, otherwise we would have u c 1 in B δ\}, for some δ >, which contradicts
NONZERO LIMITING PROFILE FOR A CRITICAL MOSER-TRUDINGER EQUATION 3 3.37. Then, since u c 1 in [r,1] implies u c 1 in,1], by 3.37 and standard elliptic regularity we get that u C 1 and that u solves u = β u gu in, 3.38 u = on. Now, let us take a sequence σ such that r σ, u u C 1 \B σ, 3.39 and 1 log 1 σ = o1. 3.4 Applying the fundamental therorem of calculus and using 3.14, 3.3, 3.39 and 3.4 we get that σ u r = u σ + u dy dr, = u σ + r 1 σ 1 r r = u σ + 1+o1 = u + 1+o1 πr B r +o1 log σ r 1 log r +Or dr, +Oσ, +o1. 3.41 Note that, since u r = c 1, one has necessarily that 1 1 log = O1. 3.4 r By Step 3. we can compute u r according to the expansion in 3.31 and find u r = 1+ a t r +o1, = 1+ a a 1 1 log 1 1 log +o1, 3.43 = a + 1+o1 r 1 log r + 1+o1 log 1 β β +o1. Then, comparing 3.43 with 3.41 and using 3.4, we find that u = a + 1+o1 1 log +o1. 3.44 Note that one cannot have β =, otherwise 3.38 would imply u in B 1 and in particular u =, which contradicts 3.44. Then, we have β >, so that 3.44 implies u = a. The uniqueness result of Lemma 3.1 implies that β = βa and u = u a. In view of Step 3.3, in order to prove Theorem.3 it remains to prove that the quantification in.13 holds true. Indeed, at that stage, this also implies that u u a weakly in H1, as claimed in.1. By Step 3.3, we can find σ such that u u a C 1 B 1\B σ and r σ, β
4 GABRIELE MANCINI AND PIERRE-DAMIEN THIZY as +, where r is as in 3.3. Then, by 3.1 we have u u dx = βa u a gu a dx+o1, B 1\B σ B 1 = u a dx+o1, and, since u c 1 in \B r, that B σ \B r B 1 3.45 u u dx = Oσ. 3.46 Finally, 3.15 and 3.3 with u give u u dx = 4π+o1. 3.47 B r Clearly 3.45, 3.46 and 3.47 give.13 after an integration by parts. References [1] Adimurthi and O. Druet, Blow-up analysis in dimension and a sharp form of Trudinger- Moser inequality, Comm. Partial Differential Equations 9 4, no. 1-, 95 3. MR38154 [] Adimurthi and S. L. Yadava, Multiplicity results for semilinear elliptic equations in a bounded domain of R involving critical exponents, Ann. Scuola Norm. Sup. Pisa Cl. Sci. 4 17 199, no. 4, 481 54. MR19376 [3], Nonexistence of nodal solutions of elliptic equations with critical growth in R, Trans. Amer. Math. Soc. 33 199, no. 1, 449 458. MR1583 [4] Lennart Carleson and Sun-Yung A. Chang, On the existence of an extremal function for an inequality of J. Moser, Bull. Sci. Math. 11 1986, no., 113 17. MR87816 [5] Manuel del Pino, Monica Musso, and Bernhard Ruf, New solutions for Trudinger-Moser critical equations in R, J. Funct. Anal. 58 1, no., 41 457. MR557943 [6] O. Druet, Multibumps analysis in dimension : quantification of blow-up levels, Duke Math. J. 13 6, no., 17 69. MR1958 [7] Olivier Druet, Andrea Malchiodi, Luca Martinazzi, and Pierre-Damien Thizy, Multi-bumps analysis for Trudinger-Moser nonlinearities II-Existence of solutions of high energies 18. In preparation. [8] Olivier Druet and Pierre-Damien Thizy, Multi-bumps analysis for Trudinger-Moser nonlinearities I-Quantification and location of concentration points 18, 64. To appear in J. Eur. Math. Soc. arxiv:171.8811. [9] Martin Flucher, Extremal functions for the Trudinger-Moser inequality in dimensions, Comment. Math. Helv. 67 199, no. 3, 471 497. MR117136 [1] Massimo Grossi and Daisuke Naimen, Blow-up analysis for nodal radial solutions in Moser- Trudinger critical equations in R 17. Preprint at arxiv:176.93v. [11] Tobias Lamm, Frédéric Robert, and Michael Struwe, The heat flow with a critical exponential nonlinearity, J. Funct. Anal. 57 9, no. 9, 951 998. MR55973 [1] Andrea Malchiodi and Luca Martinazzi, Critical points of the Moser-Trudinger functional on a disk, J. Eur. Math. Soc. JEMS 16 14, no. 5, 893 98. MR31956 [13] Gabriele Mancini and Luca Martinazzi, The Moser-Trudinger inequality and its extremals on a disk via energy estimates, Calc. Var. Partial Differential Equations 56 17, no. 4, Art. 94, 6. MR366118 [14] Gabriele Mancini and Pierre-Damien Thizy, Non-existence of extremals for the Adimurthi- Druet innequality 17. arxiv:1711.5. [15] Michael Struwe, Critical points of embeddings of H 1,n into Orlicz spaces, Ann. Inst. H. Poincaré Anal. Non Linéaire 5 1988, no. 5, 45 464. MR97849 [16], Positive solutions of critical semilinear elliptic equations on non-contractible planar domains, J. Eur. Math. Soc. JEMS, no. 4, 39 388. MR1796963
NONZERO LIMITING PROFILE FOR A CRITICAL MOSER-TRUDINGER EQUATION 5 Gabriele Mancini Università degli Studi di Padova, Dipartimento di Matematica Tullio Levi-Civita, Via Trieste, 63, 3511 Padova E-mail address: gabriele.mancini@math.unipd.it Pierre-Damien Thizy Université Claude Bernard Lyon 1, CNRS UMR 58, Institut Camille Jordan, 43 blvd. du 11 novembre 1918, F-696 Villeurbanne cedex, France E-mail address: pierre-damien.thizy@univ-lyon1.fr