The Structure of Differential Invariants and Differential Cut Elimination [PDF]
Logical Methods in Computer Science, 2012 The biggest challenge in hybrid systems verification is the handling of differential equations. Because computable closed-form solutions only exist for very simple differential equations, proof certificates have been proposed for more scalable ...
Andre Platzer
doaj +1 more source
$\mathcal{C}^{\infty}$-structures in the integration of involutive distributions [PDF]
, 2023 For a system of ordinary differential equations (ODEs) or, more generally, an involutive distribution of vector fields, the problem of its integration is considered.
Muriel, C. +3 more
core +3 more sources
Necessary and sufficient conditions for boundedness of commutators of the general fractional integral operators on weighted Morrey spaces [PDF]
, 2012 We prove that $b$ is in $Lip_{\bz}(\bz)$ if and only if the commutator $[b,L^{-\alpha/2}]$ of the multiplication operator by $b$ and the general fractional integral operator $L^{-\alpha/2}$ is bounded from the weighed Morrey space $L^{p,k}(\omega)$ to $L^
Si, Zengyan, Zhao, Fayou
core +3 more sources
Nonzero radial solutions for a class of elliptic systems with nonlocal BCs on annular domains [PDF]
, 2014 We provide new results on the existence, non-existence, localization and multiplicity of nontrivial solutions for systems of Hammerstein integral equations.
Infante, Gennaro, Pietramala, Paolamaria
core +1 more source
Topological Recursion and Uncoupled BPS Structures II: Voros Symbols and the τ -Function [PDF]
, 2023 We continue our study of the correspondence between BPS structures and topological recursion in the uncoupled case, this time from the viewpoint of quantum curves.
Iwaki, Kohei, Kidwai, Omar
core +2 more sources
Nontrivial solutions of boundary value problems for second order functional differential equations [PDF]
, 2015 In this paper we present a theory for the existence of multiple nontrivial solutions for a class of perturbed Hammerstein integral equations. Our methodology, rather than to work directly in cones, is to utilize the theory of fixed point index on affine ...
Calamai, Alessandro, Infante, Gennaro
core +1 more source
Properties of the series solution for Painlevé I [PDF]
, 2013 We present some observations on the asymptotic behaviour of the coefficients in the Laurent series expansion of solutions of the first Painlevé equation.
Carlitz L. +21 more
core +2 more sources
On the solvability of a parameter-dependent cantilever-type BVP
, 2022 We discuss the solvability of a parameter dependent cantilever-type boundary value problem. We provide an existence and localization result for the positive solutions via a Birkhoff-Kellogg type theorem. We also obtain, under additional growth conditions,
Infante, Gennaro
core +1 more source
A Graceful Basis in the Solution Space of an ODE with Constant Coefficients [PDF]
arXiv, 2023 We revisit the classical problem of construction of a fundamental system of solutions to a linear ODE whose elements remain analytic and linearly independent for all values of the roots of the characteristic polynomial.
arxiv
Monodromy dependence and connection formulae for isomonodromic tau functions [PDF]
, 2018 We discuss an extension of the Jimbo-Miwa-Ueno differential 1-form to a form closed on the full space of extended monodromy data of systems of linear ordinary differential equations with rational coefficients. This extension is based on the results of M.
Its, A., Lisovyy, O., Prokhorov, A.
core +3 more sources