Some differential equations in synthetic differential geometry

2001/04/17 by Anders Kock, Kock, Anders, Gonzalo E. Reyes +1
Engineering · Mathematics · Physics and Astronomy · #18F99 #46F99 #58A03 #58D25 #Advanced Numerical Analysis Techniques #Category Theory (math.CT) #Differential Geometry (math.DG) #FOS: Mathematics #Nonlinear Waves and Solitons #Numerical methods for differential equations #math.CT #math.DG #msc:18F99 #msc:46F99 #msc:58A03 #msc:58D25

paper · pdf · doi:10.48550/arxiv.math/0104164

arxiv created 2001/04/17 · openalex publication_date 2001/04/17 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Some differential equations are considered in the context of Synthetic Differential Geometry. Here, this means that not only nilpotent infinitesimals, but also the formation of function spaces, is exploited. In particular, we utilize distribution spaces in our study of wave and heat equations.

Related

• Synthetic differential geometry within homotopy type theory I
• Synthetic geometry of differential equations: I. Jets and comonad structure
• Metric spaces and SDG
• Theory of characteristics for first order partial differential equations
• Some calculus with extensive quantities: wave equation