Related papers: Derived Moduli Spaces of Nonlinear PDEs II: Variat…
We construct a sheaf theoretic and derived geometric machinery to study nonlinear partial differential equations and their singular supports. We establish a notion of derived microlocalization for solution spaces of non-linear equations and…
We study non-linear differential equations on the punctured formal disc by considering the natural derived enhancements of their spaces of solutions. In particular, by appealing to results of the inverse theory in the calculus of…
In the present work, we establish space Bounded Variation $(BV)$ regularity of the solution for a non-linear parabolic partial differential equations involving a linear drift term. We study the problem in a bounded domain with mixed…
The BV formalism is a well-established method for analyzing symmetries and quantization of field theories. In this paper we use the BV formalism to derive partition functions of gauge invariant operators up to equations of motions and their…
We formalise the teleparallel version of extended geometry (including gravity) by the introduction of a complex, the differential of which provides the linearised dynamics. The main point is the natural replacement of the two-derivative…
We introduce a formalism for derived moduli functors on differential graded associative algebras, which leads to non-commutative enhancements of derived moduli stacks and naturally gives rise to structures such as Hall algebras. Descent…
We develop a geometrically intrinsic formulation of the arbitrary-order Virtual Element Method (VEM) on polygonal cells for the numerical solution of elliptic surface partial differential equations (PDEs). The PDE is first written in…
The paper develops the method for construction of the families of particular solutions to the nonlinear Partial Differential Equations (PDE) without relation to the complete integrability. Method is based on the specific link between…
A formalism of arithmetic partial differential equations (PDEs) is being developed in which one considers several arithmetic differentiations at one fixed prime. In this theory solutions can be defined in algebraically closed p-adic fields.…
We analyze a U(2)-matrix model derived from a finite spectral triple. By applying the BV formalism, we find a general solution to the classical master equation. To describe the BV formalism in the context of noncommutative geometry, we…
We sketch out a new geometric framework to construct Hamiltonian operators for generic, non-evolutionary partial differential equations. Examples on how the formalism works are provided for the KdV equation, Camassa-Holm equation, and…
A formal methodology for developing variational principles corresponding to a given nonlinear PDE system is discussed. The scheme is demonstrated in the context of the incompressible Navier-Stokes equations, systems of first-order…
Second-order partial differential equations in non-divergence form are considered. Equations of this kind typically arise as subproblems for the solution of Hamilton-Jacobi-Bellman equations in the context of stochastic optimal control, or…
This paper is the sequel to [PTVV] (IHES Vol. 117, 2013). We develop a general and flexible context for differential calculus in derived geometry, including the de Rham algebra and polyvector fields. We then introduce the formalism of…
This paper introduces a logical system, called BV, which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challenging for the sequent calculus, and so far it is not achieved…
Foundation models, such as large language models, have demonstrated success in addressing various language and image processing tasks. In this work, we introduce a multi-modal foundation model for scientific problems, named PROSE-PDE. Our…
Given a sequence of finite element spaces which form a de Rham sequence, we will construct a dual representation of these spaces with associated differential operators which connect these spaces such that they also form a de Rham sequence.…
These notes are intended to provide a self-contained introduction to the basic ideas of finite dimensional Batalin-Vilkovisky (BV) formalism and its applications. A brief exposition of super- and graded geometries is also given. The…
We develop in this work the first polytopal complexes of differential forms. These complexes, inspired by the Discrete De Rham and the Virtual Element approaches, are discrete versions of the de Rham complex of differential forms built on…
In this work, following the Discrete de Rham (DDR) paradigm, we develop an arbitrary-order discrete divdiv complex on general polyhedral meshes. The construction rests 1) on discrete spaces that are spanned by vectors of polynomials whose…