A characterization of a semilinear elliptic partial differential equation (PDE) on a bounded domain in $mathbb{R}^n$ is given in terms of an infinite-dimensional dynamical system. The dynamical system is on the space of boundary data for the PDE. This is a novel approach to elliptic problems that enables the use of dynamical systems tools in studying the corresponding PDE. The dynamical system is ill-posed, meaning solutions do not exist forwards or backwards in time for generic initial data. We offer a framework in which this ill-posed system can be analyzed. This can be viewed as generalizing the theory of spatial dynamics, which applies to the case of an infinite cylindrical domain.
Given a smooth domain $OmegasubsetRR^N$ such that $0 in partialOmega$ and given a nonnegative smooth function $zeta$ on $partialOmega$, we study the behavior near 0 of positive solutions of $-Delta u=u^q$ in $Omega$ such that $u = zeta$ on $partialOmegasetminus{0}$. We prove that if $frac{N+1}{N-1} < q < frac{N+2}{N-2}$, then $u(x)leq C abs{x}^{-frac{2}{q-1}}$ and we compute the limit of $abs{x}^{frac{2}{q-1}} u(x)$ as $x to 0$. We also investigate the case $q= frac{N+1}{N-1}$. The proofs rely on the existence and uniqueness of solutions of related equations on spherical domains.
In this paper we prove the following long-standing conjecture: stable solutions to semilinear elliptic equations are bounded (and thus smooth) in dimension $n leq 9$. This result, that was only known to be true for $nleq4$, is optimal: $log(1/|x|^2)$ is a $W^{1,2}$ singular stable solution for $ngeq10$. The proof of this conjecture is a consequence of a new universal estimate: we prove that, in dimension $n leq 9$, stable solutions are bounded in terms only of their $L^1$ norm, independently of the nonlinearity. In addition, in every dimension we establish a higher integrability result for the gradient and optimal integrability results for the solution in Morrey spaces. As one can see by a series of classical examples, all our results are sharp. Furthermore, as a corollary we obtain that extremal solutions of Gelfand problems are $W^{1,2}$ in every dimension and they are smooth in dimension $n leq 9$. This answers to two famous open problems posed by Brezis and Brezis-Vazquez.
We consider finite Morse index solutions to semilinear elliptic questions, and we investigate their smoothness. It is well-known that: - For $n=2$, there exist Morse index $1$ solutions whose $L^infty$ norm goes to infinity. - For $n geq 3$, uniform boundedness holds in the subcritical case for power-type nonlinearities, while for critical nonlinearities the boundedness of the Morse index does not prevent blow-up in $L^infty$. In this paper, we investigate the case of general supercritical nonlinearities inside convex domains, and we prove an interior a priori $L^infty$ bound for finite Morse index solution in the sharp dimensional range $3leq nleq 9$. As a corollary, we obtain uniform bounds for finite Morse index solutions to the Gelfand problem constructed via the continuity method.
We study the existence and multiplicity of nonnegative solutions, as well as the behaviour of corresponding parameter-dependent branches, to the equation $-Delta u = (1-u) u^m - lambda u^n$ in a bounded domain $Omega subset mathbb{R}^N$ endowed with the zero Dirichlet boundary data, where $0<m leq 1$ and $n>0$. When $lambda > 0$, the obtained solutions can be seen as steady states of the corresponding reaction-diffusion equation describing a model of isothermal autocatalytic chemical reaction with termination. In addition to the main new results, we formulate a few relevant conjectures.
In this paper, we prove some pointwise comparison results between the solutions of some second-order semilinear elliptic equations in a domain $Omega$ of $R^n$ and the solutions of some radially symmetric equations in the equimeasurable ball $Omega^*$. The coefficients of the symmetrized equations in~$Omega^*$ satisfy similar constraints as the original ones in~$Omega$. We consider both the case of equations with linear growth in the gradient and the case of equations with at most quadratic growth in the gradient. Lastly, we show some improved quantified comparisons when the original domain is not a ball. The method is based on a symmetrization of the second-order terms.