SearcharxivSearch

arXiv subjects

Philippe Souplet

Publications and source records attributed to Philippe Souplet.

At least 19 recordsLinked to original sources

Differential Harnack inequalities and maximum principles of Morel-Oswald type for elliptic PDE in divergence form

This paper presents two types of novel, qualitative and quantitative, estimates for positive solutions of general uniformly elliptic PDEs in divergence form. First, we prove a Morel-Oswald type of extension of the Hopf-Oleinik lemma, in which in addition we specify the sharp dependence of the constant in the data of the operator and the size of the domain. Second, we establish a new differential Harnack (logarithmic gradient) estimate for non-homogeneous equations, as well as an optimal global differential Harnack estimate for homogeneous equations.

math.AP

Sharp gradient bounds for uniformly elliptic PDE, eigenvalue asymptotics, and the Landis conjecture

We study three classical problems in the theory of linear second-order uniformly elliptic equations: (i) gradient estimates for the Dirichlet problem, (ii) estimates and asymptotics for the first eigenvalue of an elliptic operator, and (iii) the Landis conjecture on exponential decay. Our main results give versions of (i) in which the constant is sharply specified in terms of the norms of the coefficients of the operator and the size of the domain; and use these to strongly improve on known results for (ii) and (iii) by allowing both more general operators and weaker regularity assumptions on the coefficients, and by giving quantitative estimates. The proofs use a unified approach, relying on three ingredients: interior and boundary Harnack inequalities with sharp constants, duality arguments, and a $C^1$ estimate based on a rescaling procedure. The sharpness of the gradient and spectral estimates is demonstrated through various counterexamples.

math.AP

Oscillatory blow-up and gradient estimates for semilinear heat equations

For reaction-diffusion with blow-up nonlinearities, we consider the question whether the sup norm of any positive blow-up solution must be eventually monotone nondecreasing in time. While some sufficient conditions are known, especially for radial solutions, this natural and basic question for the blow-up theory does not seem to have been addressed so far in full generality. We construct surprising (nonradial) counter-examples of blow-up solutions with oscillatory $L^\infty$ norm, for any Sobolev supercritical power nonlinearity, which show that this property may fail. In addition, this provides examples of type II blow-up for any supercritical power, which considerably increases the known range of powers for which type II blow-up may occur. Moreover, whereas all the type II blow-up rates known so far were at most polynomial, the blow-up in our counter-examples can be arbitrarily singular. As a related question, we clarify the gradient estimates obtained and used in previous works. In particular we show that these estimates hold only at times when the $L^\infty$ norm is maximal with respect to the past.

math.AP

Optimal Hamilton-type gradient estimates and large time heat kernel bounds for noncompact manifolds

We derive localized and global noncompact versions of Ham\-ilton's gradient estimate for positive solutions to the heat equation on Riemannian manifolds with Ricci curvature bounded below. Our estimates are essentially optimal and significantly improve on all previous estimates of this type. As a main application, we obtain a {\it large time} logarithmic gradient estimate for the heat kernel, which is almost sharp and considerably improves on previously known results. Indeed, whereas the precise behavior was known in the small time range, the large time behavior was rather poorly understood and remained an essentially open problem, which we here solve to a large extent. As further applications, we derive a new, space only, local pseudo-Harnack inequality, as well as estimates of the spatial modulus of continuity of solutions.

math.AP

Sharp macroscopic blow-up behavior for the parabolic-elliptic Keller-Segel system in dimensions $n\ge 3$

We study the space-time concentration or blow-up asymptotics of radially decreasing solutions of the parabolic-elliptic Keller-Segel system in the whole space or in a ball. We show that, for any solution in dimensions $3\le n\le 9$ (assuming finite mass in the whole space case), there exists a nonflat backward self-similar solution $U$ such that $$u(x,t)=(1+o(1))U(x,t),\quad\hbox{as $(x,t)\to (0,T)$.}$$ This macroscopic behavior is important from the physical point of view, since it gives a sharp description of the concentration phenomenon in the scale of the original space-time variables~$(x,t)$. It strongly improves on existing results, since such behavior was previously known (\cite{GMS}) to hold only in the microscopic scale $|x|\le O(\sqrt{T-t})$ as $t\to T$ (and in the whole space case only). As a consequence, we obtain the two-sided global estimate $$C_1\le (T-t+|x|^2)u(x,t)\le C_2\quad\hbox{in $B_R\times(T/2,T)$},$$ whose upper part only was known before (\cite{Soup-Win}), as well as the sharp final profile: $$\lim_{x\to 0} |x|^2u(x,T)=L\in(0,\infty).$$ The latter improves, with a different proof, the recent result of \cite{BZ} by excluding the possibility $L=0$. We also give extensions of these results, in higher dimensions, to type~I and to time monotone solutions. Moreover, we extend the known results on type I estimates and on convergence in similarity variables, and significantly simplify their proofs.

math.AP

Threshold, subthreshold and global unbounded solutions of superlinear heat equations

We consider the semilinear heat equation with a superlinear nonlinearity and we study the properties of threshold or subthreshold solutions, lying on or below the boundary between blow-up and global existence, respectively. For the Cauchy-Dirichlet problem, we prove the boundedness and decay to zero of any subthreshold solution. This implies, in particular, that all global unbounded solutions -- if they exist -- are threshold solutions. For the Cauchy problem, these properties fail in general but we show that they become true for a suitably modified notion of threshold. Our results strongly improve known results even in the model case of power nonlinearities, especially in the Sobolev critical and supercritical cases.

math.AP

Classification of entire and ancient solutions of the diffusive Hamilton-Jacobi equation

Consider the diffusive HJ eq. with Dirichlet conditions, which arises in stochastic control as well as in KPZ type models of surface growth. It is known that, for $p>2$ and suitably large, smooth initial data, the sol. undergoes finite time gradient blowup on the boundary. On the other hand, Liouville type rigidity or classif. ppties play a central role in the study of qualitative behavior in nonlinear elliptic and parabolic problems, and notably appear in the famous BCN conjecture about one-dimensionality of solutions in a half-space. With this motivation, we study the Liouville type classif. and symmetry ppties for entire and ancient sol. in $\R^n$ and in a half-space with Dirichlet B.C. - First, we show that any ancient sol. in $\R^n$ with sublinear upper growth at infinity is necessarily constant. This result is {\it optimal}, in view of explicit examples and solves a long standing open problem. - Next we turn to the half-space problem for $p>2$ and we completely classify entire solutions: any entire sol. is stationary and one-dimensional. The assumption is sharp in view of explicit examples for $p=2$. - Then we show that the situation is also completely different for ancient sol. in a half-space: there exist nonstationary ancient sol. for all $p>1$. Nevertheless, we show that any ancient sol. is necessarily positive, and that stationarity and one-dimensionality are recovered provided a -- close to optimal -- polynomial growth restriction is imposed on the sol. - In addition we establish new and optimal, local estimates of Bernstein and Li-Yau type. The proofs of the Liouville and classif. results are delicate, based on integral estimates, a translation-compactness procedure and comparison arguments, combined with our Bernstein and Li-Yau type estimates.

math.AP

Classification of solutions of an elliptic Hamilton-Jacobi equation

We show that any classical solution of the diffusive Hamilton-Jacobi (DHJ) equation $-Δu= |\nabla u|^p$ in a half-space with zero boundary conditions for $1 2$, our result completes the full classification picture of the Dirichlet problem for equation (DHJ) in a half-space.

math.AP

A Liouville theorem for the Lane-Emden system in the half-space

We prove that the Dirichlet problem for the Lane-Emden system in a half-space has no positive classical solution that is bounded on finite strips. Such a nonexistence result was previously available only for bounded solutions or under a restriction on the powers in the nonlinearities.

math.AP

Convergence, concentration and critical mass phenomena in a model of cell motion with boundary signal production

We consider a model of cell motion with boundary signal production which describes some aspects of eukaryotic cell migration. Generic polarity markers located in the cell are transported by actin which they help to polymerize. This leads to a problem whose mathematical novelty is the nonlinear and nonlocal destabilizing term in the boundary condition. We provide a detailed study of the qualitative properties of this model, namely local and global existence, convergence and blow-up of solutions. We start with a complete analysis of local existence-uniqueness in Lebesgue spaces. This turns out to be particularly relevant, in view of the mass conservation property and of the existence of $L^p$ Liapunov functionals, also obtained in this paper. With the help of this local theory, we next study the global existence and convergence of solutions. In particular, in the case of quadratic nonlinearity, for any space dimension, we find an explicit, sharp mass threshold for global existence vs.~finite time blow-up of solutions. The proof is delicate, based on the possiblity to control the solution by means of the entropy function via an $\eps$-regularity type argument. This critical mass phenomenon is somehow reminiscent of the well-known situation for the $2d$ Keller-Segel system. For nonlinearitities with general power growth, under a suitable smallness condition on the initial data, we show that solutions exist globally and converge exponentially to a constant. As for the possibility of blow-up for large initial data, it turns out to occur only for nonlinearities with quadratic or superquadratic growth, whereas all solutions are shown to be global and bounded in the subquadratic case, thus revealing the existence of a sharp critical exponent for blow-up. Finally, we analyse some aspects of the blow-up asymptotics of solutions in time and space.

math.AP

Elliptic regularity estimates with optimized constants and applications

We revisit the classical theory of linear second-order uniformly elliptic equations in divergence form whose solutions have Hölder continuous gradients, and prove versions of the generalized maximum principle, the $C^{1,α}$-estimate, the Hopf-Oleinik lemma, the boundary weak Harnack inequality and the differential Harnack inequality, in which the constant is optimized with respect to the norms of the coefficients of the operator and the size of the domain. Our estimates are complemented by counterexamples which show their optimality. We also give applications to the Landis conjecture and spectral estimates.

math.AP

From transient elastic linkages to friction: a complete study of a penalized fourth order equation with delay

In this paper we consider a fourth order nonlinear parabolic delayed problem modelling a quasi-instantaneous turn-over of linkages in the context of cell-motility. The model depends on a small parameter $ε$ which represents a typical time scale of the memory effect. We first prove global existence and uniqueness of solutions for $ε$ fixed. This is achieved by combining suitable fixed-point and energy arguments and by uncovering a nonlocal in time, integral conserved quantity. After giving a complete classification of steady states in terms of elliptic functions, we next show that every solution converges to a steady state as $t \to \infty$. When $ε\to 0$, we then establish convergence results on finite time intervals, showing that the solution tends in a suitable sense towards the solution of a parabolic problem without delay. Moreover, we establish the convergence of energies as $ε\to 0$, which enables us to show that, for $ε$ small enough, the $ε$-dependent problem inherits part of the large time asymptotics of the limiting parabolic problem.

math.AP

Global existence and asymptotic behavior for diffusive Hamilton-Jacobi equations with Neumann boundary conditions

We investigate the diffusive Hamilton-Jacobi equation $$u_t-\Lap u = |\nabla u|^p$$ with $p>1$, in a smooth bounded domain of $\RN$ with homogeneous Neumann boundary conditions and $W^{1,\infty}$ initial data. We show that all solutions exist globally, are bounded and converge in $W^{1,\infty}$ norm to a constant as $t\to\infty$, with a uniform exponential rate of convergence given by the second Neumann eigenvalue. This improves previously known results, which provided only an upper polynomial bound on the rate of convergence and required the convexity of the domain. Furthermore, we extend these results to a rather large class of nonlinearities $F(\nabla u)$ instead of~$|\nabla u|^p$.

math.AP

Liouville theorems and universal estimates for superlinear parabolic problems without scale invariance

We establish Liouville type theorems in the whole space and in a half-space for parabolic problems without scale invariance. To this end, we employ two methods, respectively based on the corresponding elliptic Liouville type theorems and energy estimates for suitably rescaled problems, and on reduction to a scalar equation by proportionality of components. We then give applications of known and new Liouville type theorems to universal singularity and decay estimates for non scale invariant parabolic equations and systems involving superlinear nonlinearities with regular variation. To this end, we adapt methods from our preprint arXiv:2407.04154 to parabolic problems.

math.AP

Refined behavior and structural universality of the blow-up profile for the semilinear heat equation with non scale invariant nonlinearity

We consider the semilinear heat equation $$u_t-Δu=f(u) $$ for a large class of non scale invariant nonlinearities of the form $f(u)=u^pL(u)$, where $p>1$ is Sobolev subcritical and $L$ is a slowly varying function (which includes for instance logarithms and their powers and iterates, as well as some strongly oscillating functions). For any positive radial decreasing blow-up solution, we obtain the sharp, global blow-up profile in the scale of the original variables $(x, t)$, which takes the form: $$u(x,t)=(1+o(1))\,G^{-1}\bigg(T-t+\frac{p-1}{8p}\frac{|x|^2}{|\log |x||}\bigg), \ \hbox{as $(x,t)\to (0,T)$, \quad where } G(X)=\int_{X}^{\infty}\frac{ ds}{f(s)}.$$ This estimate in particular provides the sharp final space profile and the refined space-time profile. As a remarkable fact and completely new observation, our results reveal a {\it structural universality} of the global blow-up profile, being given by the "resolvent" $G^{-1}$ of the ODE, composed with a universal, time-space building block, which is the same as in the pure power case.

math.AP

Liouville theorems and universal estimates for superlinear elliptic problems without scale invariance

We give applications of known and new Liouville type theorems to universal singularity and decay estimates for non scale invariant elliptic problems, including Lane-Emden and Schrödinger type systems. This applies to various classes of nonlinearities with regular variation and possibly different behaviors at $0$ and $\infty$. To this end, we adapt the method from [72] to elliptic systems, which relies on a generalized rescaling technique and on doubling arguments from [55]. This is in particular facilitated by new Liouville type theorems in the whole space and in a half-space, for elliptic problems without scale invariance, that we obtain. Our results apply to some non-cooperative systems, for which maximum principle based techniques such as moving planes do not apply. To prove these Liouville type theorems, we employ two methods, respectively based on Pohozaev-type identities combined with functional inequalities on the unit sphere, and on reduction to a scalar equation by proportionality of components. In turn we will survey the existing methods for proving Liouville-type theorems for superlinear elliptic equations and systems, and list some of the typical existing results for (Sobolev subcritical) systems. In the case of scalar equations, we also revisit the classical Gidas-Spruck integral Bernstein method, providing some improvements which turn out to be efficient for certain nonlinearities, and we next compare the performances of various methods on a benchmark example.

math.AP

Universal estimates and Liouville theorems for superlinear problems without scale invariance

We revisit rescaling methods for nonlinear elliptic and parabolic problems and show that, by suitable modifications, they may be used for nonlinearities that are not scale invariant even asymptotically and whose behavior can be quite far from power like. In this enlarged framework, by adapting the doubling-rescaling method from [37, 38], we show that the equivalence found there between universal estimates and Liouville theorems remains valid. In the parabolic case we also prove a Liouville type theorem for a rather large class of non scale invariant nonlinearities. This leads to a number of new results for non scale invariant elliptic and parabolic problems, concerning space or space-time singularity estimates, initial and final blow-up rates, universal and a priori bounds for global solutions, and decay rates in space and/or time. We illustrate our approach by a number of examples, which in turn give indication about the optimality of the estimates and of the assumptions.

math.AP