Integro-differential equations : regularity theory and Pohozaev identities
Xavier Ros‐Oton · 2014
The main topic of the thesis is the study of Elliptic PDEs. It is divided into three parts: (I) integro-differential equations, (II) stable solutions to reaction-diffusion problems, and (III) weighted isoperimetric and Sobolev inequalities. Integro-differential equations arise naturally in the study of stochastic processes with jumps, and are used in Finance, Physics, or Ecology. The most canonical example of integro-differential operator is the fractional Laplacian (the infinitesimal generator of the radially symmetric stable process). In the first Part of the thesis we find and prove the Pohozaev identity for such operator. We also obtain boundary regularity results for general integro-differential operators, as explained next. In the classical case of the Laplacian, the Pohozaev identity applies to any solution of linear or semilinear problems in bounded domains, and is a very important tool in the study of elliptic PDEs. Before our work, a Pohozaev identity for the fractional Laplacian was not known. It was not even known which form should it have, if any. In this thesis we find and establish such identity. Quite surprisingly, it involves a local boundary term, even though the operator is nonlocal. The proof of the identity requires fine boundary regularity properties of solutions, that we also establish here. Our boundary regularity results apply to fully nonlinear integro-differential equations, but they improve the best known ones even for linear ones. Our work in Part II concerns the regularity of local minimizers to some elliptic equations, a classical problem in the Calculus of Variations. More precisely, we study the regularity of stable solutions to reaction-diffusion problems in bounded domains. It is a long standing open problem to prove that all stable solutions are bounded, and thus regular, in dimensions n=10 there are examples of singular stable solutions. The question is still open in dimensions 4 El tema principal de la tesi és l'estudi d'EDPs el·líptiques. La tesi està dividida en tres parts: (I) equacions integro-diferencials, (II) solucions estables de problemes de reacció-difusió, i (III) desigualtats isoperimètriques i de Sobolev amb pesos. Les equacions integro-differencials apareixen de manera natural en l'estudi de processos estocàstics amb salts (processos de Lévy), i s'utilitzen per modelitzar problemes en Finances, Física, o Ecologia. L'exemple més canònic d'operador integro-diferencial és el Laplacià fraccionari (el generador infinitesimal d'un procés estable i radialment simètric). A la Part I de la tesi trobem i demostrem la identitat de Pohozaev per aquest operador. També obtenim resultats de regularitat a la vora per operadors integro-diferencials més generals, tal com expliquem a continuació. En el cas clàssic del Laplacià, la identitat de Pohozaev s'aplica a qualsevol solució de problemes lineals o semilineals en dominis acotats, i és una eina molt important en l'estudi d'EDPs el·líptiques. Abans del nostre treball, no es coneixia cap identitat de Pohozaev pel Laplacià fraccionari. Ni tan sols es sabia quina forma hauria de tenir, en cas que existís. En aquesta tesi trobem i demostrem aquesta identitat. Sorprenentment, la identitat involucra un terma de vora local, tot i que l'operador és no-local. La demostració de la identitat requereix conèixer el comportament precís de les solucions a la vora, cosa que també obtenim aquí. Els nostres resultats de regularitat a la vora s'apliquen a equacions integro-diferencials completament no-lineals, però milloren els resultats anteriors fins i tot per a equacions lineals. A la Part II estudiem la regularitat dels minimitzants locals d'algunes equacions el·líptiques, un problema clàssic del Càlcul de Variacions. En concret, estudiem la regularitat de les solucions estables a problemes de reacció-difusió en dominis acotats. És un problema obert des de fa molts anys demostrar que totes les solucions estables són acotades (i per tant regulars) en dimensions n=10 hi ha exemples de solucions estables singulars. La questió encara està oberta en dimensions 4