Large-time behavior of solutions of parabolic equations on the real line with convergent initial data II: Equal limits at infinity
Antoine Pauthier,Peter Poláčik
DOI: https://doi.org/10.1016/j.matpur.2021.07.002
IF: 2.282
2021-09-01
Journal de Mathématiques Pures et Appliquées
Abstract:We continue our study of bounded solutions of the semilinear parabolic equation ut=uxx+f(u) on the real line, where f is a locally Lipschitz function on R. Assuming that the initial value u0=u(⋅,0) of the solution has finite limits θ± as x→±∞, our goal is to describe the asymptotic behavior of u(x,t) as t→∞. In a prior work, we showed that if the two limits are distinct, then the solution is quasiconvergent, that is, all its locally uniform limit profiles as t→∞ are steady states. It is known that this result is not valid in general if the limits are equal: θ±=θ0. In the present paper, we have a closer look at the equal-limits case. Under minor non-degeneracy assumptions on the nonlinearity, we show that the solution is quasiconvergent if either f(θ0)≠0, or f(θ0)=0 and θ0 is a stable equilibrium of the equation ξ˙=f(ξ). If f(θ0)=0 and θ0 is an unstable equilibrium of the equation ξ˙=f(ξ), we also prove some quasiconvergence theorem making (necessarily) additional assumptions on u0. A major ingredient of our proofs of the quasiconvergence theorems—and a result of independent interest—is the classification of entire solutions of a certain type as steady states and heteroclinic connections between two disjoint sets of steady states.RésuméNous poursuivons notre étude des solutions bornées d'équations paraboliques semi-linéaires ut=uxx+f(u) sur la droite réelle, avec f une fonction localement lipschitzienne. Pour une condition initiale u0=u(⋅,0) admettant des limites finies θ± en x→±∞, notre objectif est de décrire le comportement asymptotique de u(x,t) lorsque t→+∞. Dans de précédants travaux, nous avons montré que si les deux limites sont distinctes, alors la solution est quasiconvergente : tous ses profils limites sont solutions stationnaires. Il est connu que ce résultat ne peut se généraliser dans le cas de deux limites égales : θ±=θ0. Dans cet article, étudions plus en détail cette situation. Sous des hypothèses de non dégénérescence pour le terme non-linéaire, nous montrons que la solution est quasiconvergente si f(θ0)≠0, ou si f(θ0)=0 et θ0 est un équilibre stable de l'équation ξ˙=f(ξ). Si f(θ0)=0 et θ0 est un équilibre instable de l'équation ξ˙=f(ξ), nous obtenons aussi un résultat de quasiconvergence, nécessairement avec des hypothèses supplémentaires sur u0. Nos preuves reposent sur la classification d'un certain type de solutions entières comme solutions stationnaires ou hétérocliniques entre deux ensembles disjoints de solutions entières—résultat qui a son intérêt propre.