We prove that the Faddeev-Niemi action E_FN[n] = ∫_(ℝ³)(κ₂|∇n|² + (κ₄)/(2)|F[n]|²) d³x on the energy space of finite-energy maps n:ℝ³→ S² admits a smooth, exponentially-localised, dynamically stable critical point in every non-trivial Hopf class H∈π₃(S²)∖{0}. The proof combines the direct method of the calculus of variations, Lions' concentration-compactness principle to prevent loss of topological charge at infinity, the Vakulenko-Kapitanski topological lower bound to guarantee coercivity, polyconvex lower-semicontinuity in the sense of Ball, and elliptic bootstrap regularity. The minimiser saturates the Vakulenko-Kapitanski inequality in scaling, and its Hessian is non-negative with kernel of dimension at least six, corresponding to translations and rotations. The full proof is formally verified in Lean 4 (Mathlib v4.29.0) across eight modules, ~2,500 lines, with zero `sorry` axioms (snapshot of 2026-04-25: 84 axioms, 35 theorems, 0 sorry, per Paper CXXIII §6) — to our knowledge the first formal verification of a soliton existence proof for a topologically constrained continuum field theory on ℝ³. The result improves the variational existence theorem of Lin and Yang [LY04] by establishing full smoothness, exponential decay, dynamical stability, and a machine-checked formalisation. The formalisation imports a finite catalogue of well-known mathematical results (polyconvex lower-semicontinuity à la Ball, Schauder bootstrap, Agmon decay, Persson's essential-spectrum bound, the Lin-Yang strict-subadditivity inequality) as Type-1 axioms, in the sense of Paper CXXIII.
Giao Ky Duong, Nejla Nouaili, Hatem Zaag, Université Sorbonne Paris Nord, LAGA, CNRS(UMR7539), F-93430, Villetaneuse, France
In this paper, we revisit the proof of the existence of a solution to the semilinear heat equation in one space dimension with a flat blow-up profile, already proved by Bricmont and Kupainen together with Herrero and Velázquez. Though our approach relies on the well-celebrated method, based on the reduction of the problem to a finite-dimensional one, then the use of a topological 'shooting method' to solve the latter, the novelty of our approach lays in the use of a modulation technique to control the projection of the zero eigenmode arising in the problem. Up to our knowledge, this is the first time where modulation is used with this kind of profiles. We do hope that this simplifies the argument.
Open access
2 source records
Stability and Controllability of Differential Equations
Abstract In this work we prove the uniqueness of solutions to the nonlocal linear equation $$L \varphi - c(x)\varphi = 0$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>L</mml:mi> <mml:mi>φ</mml:mi> <mml:mo>-</mml:mo> <mml:mi>c</mml:mi> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> <mml:mi>φ</mml:mi> <mml:mo>=</mml:mo> <mml:mn>0</mml:mn> </mml:mrow> </mml:math> in $$\mathbb {R}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>R</mml:mi> </mml:math> , where L is an elliptic integro-differential operator, in the presence of a positive solution or of an odd solution vanishing only at zero. As an application, we deduce the nondegeneracy of layer solutions (bounded and monotone solutions) to the semilinear problem $$L u = f(u)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>L</mml:mi> <mml:mi>u</mml:mi> <mml:mo>=</mml:mo> <mml:mi>f</mml:mi> <mml:mo>(</mml:mo> <mml:mi>u</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> in $$\mathbb {R}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>R</mml:mi> </mml:math> when the nonlinearity is of Allen–Cahn type. To our knowledge, this is the first work where such uniqueness and nondegeneracy results are proven in the nonlocal framework when the Caffarelli–Silvestre extension technique is not available. Our proofs are based on a nonlocal Liouville-type method developed by Hamel, Ros-Oton, Sire, and Valdinoci for nonlinear problems in dimension two.
In this thesis we are interested in solving a class of quasilinear parabolic partial differential equations (PDEs) for closed differential forms which exhibit a special structure, namely a gradient flow structure, and thus bringing together two major areas of mathematical analysis, the geometric theory of differential forms and the theory of gradient flows. More precisely, for a bounded domain $ \Omega \subset \mathbb{R}^n $, $ n \ge 2 $, with smooth boundary and a time-dependent differential $ k $-form $ \omega (t) \colon \Omega \rightarrow \Lambda ^k ( \mathbb{R}^n ) $ we consider the gradient flow equation $\partial _t \omega \,=\, -\mathop{}\!\mathrm{d} \Big( \nabla c^ \ast \Big[ \mathop{}\!\mathrm{d}^{\ast} \big( \nabla _ \xi F( \, \cdot \, , \omega )\big) \Big] \Big) $ und $ \mathop{}\!\mathrm{d} \omega \,=\, 0 $. Here, $ c \colon \Lambda ^ {k-1}( \mathbb{R}^n ) \rightarrow [0, \infty )$, called the dissipation potential, is a convex function with Legendre-Fenchel dual $ c^ \ast $, whereas $ \nabla _ \xi F $ denotes the derivative of the energy density $ F \colon \Omega \times \Lambda ^k( \mathbb{R}^n ) \rightarrow \mathbb{R} $ with respect to its second argument. This class of PDEs was suggested by Yann Brenier in 2014 as a general framework for dissipative equations and contains for example the $ p $-Hodge Laplace heat equation for closed differential forms $ \partial _t \omega = - \mathop{}\!\mathrm{d} ( | \mathop{}\!\mathrm{d}^{\ast} \omega | ^ {p-2} \, \mathop{}\!\mathrm{d}^{\ast} \omega ) $. The problem of finding weak solutions of the gradient flow equation is challenging not only because of its nonlinearity, but also because of its vectorial character, i.e. it is a system of scalar PDEs. The gradient flow structure appears in the form of a so-called Energy Dissipation Inequality (EDI). Although the latter is equivalent to the gradient flow equation only on a formal level, it nevertheless plays an essential role in establishing the proof of the existence of weak solutions for the PDE. In order the prove the existence of solutions of the corresponding EDI, we use a so-called minimizing movement scheme. This is a time-discrete approximation scheme in which each time-step consists of solving a variational problem. The variational problem involves the perturbation of the energy functional with the so-called dissipation functional which is defined using the dissipation potential $ c $. This dissipation functional is closely related to the norms of the duals of homogeneous Sobolev spaces for differential forms, i.e. negative homogeneous Sobolev spaces, which are introduced here. Hence, these spaces define the natural functional analytic setting for the problems addressed in this thesis. To the best of our knowledge, this concept of negative homogeneous Sobolev spaces for differential forms is new. In the limit where the time discretization parameter, used to define the perturbed energy functional, tends to zero the approximation scheme weakly converges to some limit. Since the EDI has well-suited lower semicontinuity properties with respect to the weak convergence, the limit is indeed a solution of the EDI. The limiting process also benefits from compensated compactness methods such as the Sobolev-Poincaré inequality in combination with a Minty-Browder-type argument. With some extra effort we can also prove a reversed EDI for the limit. As the main result of this thesis we conclude from this the existence of a weak solution of the gradient flow equation. In the second part of the thesis we ask for additional properties of the weak solutions of the gradient flow equation such as uniqueness, a semigroup property of the time evolution, an exponential formula as well as error estimates. These problems are very difficult to solve. Because the concept of the EDI is too weak for these questions, we invoke the stronger concept of the Evolution Variational Inequality (EVI). The latter is formally equivalent to the gradient flow equation as well. However, it is only available in the case $ c( \xi ) = \frac{1}{2}| \xi | ^2 $ in which the dissipation functional becomes, up to a scalar multiple, the negative homogeneous Sobolev norm for the case of Hilbert spaces. As the main results for the second part we prove uniqueness of the limit found before in a class of admissible solutions of the EVI, a contraction property and a semigroup property of the time evolution as well as an exponential formula together with an error estimate. The proof of the exponential formula and the error estimate is given by using two different approaches.
The Laplace equation and the related p-Laplace equation are closely associated with Sobolev spaces. During the last 15 years people have been exploring the possibility of solving partial differential equations in general metric spaces by generalizing the concept of Sobolev spaces. One such generalization is the Newtonian space where one uses upper gradients to compensate for the lack of a derivative. All papers on this topic are written for an audience of fellow researchers and people with graduate level mathematical skills. In this thesis we give an introduction to the Newtonian spaces accessible also for senior undergraduate students with only basic knowledge of functional analysis. We also give an introduction to the tools needed to deal with the Newtonian spaces. This includes measure theory and curves in general metric spaces. Many of the properties of ordinary Sobolev spaces also apply in the generalized setting of the Newtonian spaces. This thesis includes proofs of the fact that the Newtonian spaces are Banach spaces and that under mild additional assumptions Lipschitz functions are dense there. To make them more accessible, the proofs have been extended with comments and details previously omitted. Examples are given to illustrate new concepts. This thesis also includes my own result on the capacity associated with Newtonian spaces. This is the theorem that if a set has p-capacity zero, then the capacity of that set is zero for all smaller values of p.
Ruy de Queiroz, Luiz Carlos Pereira, Edward Hermann Hæusler
This volume contains the Proceedings of the 10th Workshop on Logic, Language, Information and Computation (WoLLIC'2003). The Workshop was held in Ouro Preto, Minas Gerais, Brazil from July 29 to August 1, 2003, in the Escola de Minas of the Universidade Federal de Ouro Preto ( UFOP ). WoLLIC is a series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic . The idea is to provide a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants. Previous versions were held at: Recife (Pernambuco, Brazil) in 1994 and 1995; Salvador (Bahia, Brazil) in 1996; Fortaleza (Ceará, Brazil) in 1997; São Paulo (Brazil) in 1998; Itatiaia (Rio de Janeiro, Brazil) in 1999; Natal (Rio Grande do Norte) in 2000; Brasília (Distrito Federal, Brazil) in 2001; Rio de Janeiro (Brazil) in 2002. Scientific sponsorship comes from the Interest Group in Pure and Applied Logics ( IGPL ), the European Association for Logic, Language and Information ( FoLLI ), the Association for Symbolic Logic ( ASL ), European Association for Theoretical Computer Science ( EATCS ), the Sociedade Brasileira de Computação ( SBC ), and the Sociedade Brasileira de Lógica ( SBL ). Funding was kindly given by:(i) CNPq ( Conselho Nacional de Desenvolvimento Científico e Tecnológico , the scientific and technological development council of the Brazilian Ministério da Ciência e Tecnologia ) (grant 450709/2003-5);(ii) CAPES ( Fundação Coordenação de Apoio ao Aperfeiçoamento de Pessoal de Nível Superior , a Foundation for the Development of Higher-Education under the Brazilian Ministério da Educação e do Desporto ) (grant PAEP0565/03);(iii) FAPEMIG ( Fundação de Amparo à Pesquisa do Estado de Minas Gerais , the Minas Gerais state foundation for the support of scientific research);(iv) Escola de Minas da UFOP ( Universidade Federal de Ouro Preto ). Contributions were received in the form of short papers in all areas related to logic, language, information and computation, including:pure logical systems, proof theory, model theory, algebraic logic, type theory, category theory, constructive mathematics, lambda and combinatorial calculi, program logic and program semantics, logics and models of concurrency, logic and complexity theory, proof complexity, foundations of cryptography (zero-knowledge proofs), descriptive complexity, nonclassical logics, nonmonotonic logic, logic and language, discourse representation, logic and artificial intelligence, automated deduction, foundations of logic programming, logic and computation, and logic engineering. Apart from the contributed papers (15), and the invited talks (5), the programme includes 5 tutorial lectures: 1. Algorithmic Randomness and Derandomization by Eric Allender (Department of Computer Science, Rutgers, the State University of New Jersey, USA) 2. Generalized Quantifiers by Lauri Hella (Department of Mathematics, Statistics and Philosophy, University of Tampere, Finland) 3. Implicit computational complexity by Jean-Baptiste Joinet (Preuves-Programmes-Systèmes, Université Paris 7, France) 4. Proof search foundations for logic programming by Dale Miller (INRIA/Futurs/Saclay, and Laboratoire d'Informatique, École Polytechnique, France) 5. Iterated theory change by Hans Rott (Institut für Philosophie, Universität Regensburg, Germany) All papers in the volume were reviewed by the program committee consisting of Mauricio Ayala-Rinóon ( Departamento de Matemática, Universidade de Brasília, Brazil ) Argimiro Arratia ( Depto. Matematicas, Universidad Simon Bolivar, Venezuela ) Alessandra Carbone ( Institut des Hautes Études Scientifiques, and Université de Paris XII, France ) Marcelo Coniglio ( Centro de Lógica e Epistemologia, Universidade Estadual de Campinas, Brazil ) Gilles Dowek ( INRIA, France ) Arnaud Fleury ( Facoltà di Scienze, Università di Verona, Italy ) Dexter Kozen ( Cornell University, USA ) Maarten Marx ( ILLC, Faculty of Science, Universiteit Amsterdam, The Netherlands ) Anto˚nio Carlos da Rocha Costa ( Escola de Informática, Universidade Católica de Pelotas, Brazil ) Dieter Spreen ( Fachbereich Mathematik, Theoretische Informatik, Universität Siegen, Germany ) Luiz Carlos Pereira ( Departamento de Filosofia, PUC-Rio and UFRJ, Brazil ) Jouko Väänänen ( Department of Mathematics, University of Helsinki, Finland ) Renata Wassermann ( Departamento de Cie˚ncia da Computação, Instituto de Matemática e Estatística, Universidade de São Paulo, Brazil ) The organising committee consisted of Lucília Figueiredo ( Departamento de Computação, Universidade Federal de Ouro Preto, Brazil ) Fred Ulisses Maranhão ( Centro de Informática, Universidade Federal de Pernambuco, Brazil ) Anjolina Grisi de Oliveira ( Center of Informatics, Universidade Federal de Pernambuco, Brazil ) Elaine Pimentel ( Departamento de Matemática, Universidade Federal de Minas Gerais, Brazil ) (Co-Chair) Ruy de Queiroz ( Center of Informatics, Universidade Federal de Pernambuco, Brazil ) (Co-Chair) Maria Angela Weiss ( Departamento de Matemática, Universidade de São Paulo, Brazil ) The volume will be published as volume 84 in the series Electronic Notes in Theoretical Computer Science ( ENTCS ). This series is published electronically through the facilities of Elsevier B.V. and its auspices. The volumes in the ENTCS series can be accessed at the URL http://www.elsevier.nl/locate/entcs A printed version of the current volume has been distributed to the participants at the workshop in Ouro Preto. We are very grateful to the following persons, whose help has been crucial for the success of WoLLIC'2003: Mike Mislove, one of the Managing Editors of the ENTCS series, for his assistance with the use of the ENTCS style files; Thanks are also due to the Department of Mathematics of Universidade Federal de Minas Gerais and the Department of Computing of the Universidade Federal de Ouro Preto, which has provided the logistic support to the organising committee. August 2, 2003 Ruy de Queiroz, Elaine Pimentel, Lucilia Figueiredo