Related papers: Formally Integrable Structures II. Division Proble…
This is the first of a series of papers on the $L^2$-theory for formally integrable structures. It is devoted to constructing a resolution of the solution sheaf for a class of overdetermined systems introduced by L. H{\"o}rmander. A…
We show that a wide class of geometrically defined overdetermined semilinear partial differential equations may be explicitly prolonged to obtain closed systems. As a consequence, in the case of linear equations we extract sharp bounds on…
This paper presents the Euler-Lagrange equations for fractional variational problems with multiple integrals. The fractional Noether-type theorem for conservative and nonconservative generalized physical systems is proved. Our approach uses…
We clarify how close a second order fully nonlinear equation can come to uniform ellipticity, through counting large eigenvalues of the linearized operator. This suggests an effective and novel way to understand the structure of fully…
We prove multidimensional integration by parts formulas for generalized fractional derivatives and integrals. The new results allow us to obtain optimality conditions for multidimensional fractional variational problems with Lagrangians…
We first partly develop a mathematical notion of stable consistency intended to reflect the actual consistency property of human beings. Then we give a generalization of the first and second G\"odel incompleteness theorem to stably…
Elliptic and parabolic integro-differential model problems are considered in the whole space. By verifying H\"ormander condition, the existence and uniqueness is proved in L_{p}-spaces of functions whose regularity is defined by a scalable,…
We reconsider non-degenerate second order superintegrable systems in dimension two as geometric structures on conformal surfaces. This extends a formalism developed by the authors, initially introduced for (pseudo-)Riemannian manifolds of…
This thesis is divided into two parts. In the first part we study completely integrable systems, and their underlying structures, in detail. We study their deformation theory and the different equivalence relations surrounding it. We…
This thesis pertains to the study of elliptic and parabolic partial differential equations on "thin" structures. The first main objective is to establish the strong and weak low-dimensional counterparts of the parabolic Neumann problem. The…
Fractional-order elliptic problems are investigated in case of inhomogeneous Dirichlet boundary data. The boundary integral form is proposed as a suitable mathematical model. The corresponding theory is completed by sharpening the mapping…
We study a class of evolutionary partial differential systems with two components related to second order (in time) non-evolutionary equations of odd order in spatial variable. We develop the formal diagonalisation method in symbolic…
We prove new Skoda-type division, or ideal membership, theorems. We work in a geometric setting of line bundles over Kahler manifolds that are Stein away from an analytic subvariety. (This includes complex projective manifolds.) Our…
We give a reframing of Godel's first and second incompleteness theorems that applies even to some undefinable theories of arithmetic. The usual Hilbert-Bernays provability conditions and the diagonal lemma are replaced by a more direct…
We classify the homogeneous finite-dimensional permutation structures, i.e., homogeneous structures in a language of finitely many linear orders, giving a nearly complete answer to a question of Cameron, and confirming the classification…
We prove Noether-type theorems for fractional isoperimetric variational problems with Riemann-Liouville derivatives. Both Lagrangian and Hamiltonian formulations are obtained. Illustrative examples, in the fractional context of the calculus…
We review some basic theorems on integrability of Hamiltonian systems, namely the Liouville-Arnold theorem on complete integrability, the Nekhoroshev theorem on partial integrability and the Mishchenko-Fomenko theorem on noncommutative…
Many kinds of categorical structure require the existence of finite limits, of colimits of some specified type, and of "exactness" conditions between the finite limits and the specified colimits. Some examples are the notions of regular, or…
One method to determine whether or not a system of partial differential equations is consistent is to attempt to construct a solution using merely the "algebraic data" associated to the system. In technical terms, this translates to the…
In this paper we develop a Fefferman-Stein theorem, a Hardy-Littlewood theorem and sharp function estimations in weighted Sobolev spaces. We also provide uniqueness and existence results for second-order elliptic and parabolic partial…