Related papers: Symbolic integration on planar differential foliat…
We utilize harmonic analytic tools to count the number of elements of the Galois cohomology group $f\in H^1(K,T)$ with discriminant-like invariant ${\rm inv}(f)\le X$ as $X\to\infty$. Specifically, Poisson summation produces a canonical…
To every Darboux integrable system there is an associated Lie group $G$ which is a fundamental invariant of the system and which we call the Vessiot group. This article shows that solving the Cauchy problem for a Darboux integrable partial…
Let $C \langle t_1, \dots t_l\rangle$ be the differential field generated by $l$ differential indeterminates $\boldsymbol{t}=(t_1, \dots ,t_l)$ over an algebraically closed field $C$ of characteristic zero. We develop a lower bound…
We characterize real elliptic differential systems whose solutions can be expressed in terms of holomorphic solutions to an associated holomorphic Pfaffian system $\mathcal H$ on a complex manifold. In particular, these elliptic systems…
We revisit an order-six linear differential operator having a solution which is a diagonal of a rational function of three variables. Its exterior square has a rational solution, indicating that it has a selected differential Galois group,…
Differential operators commuting with integral operators were discovered in the work of C. Tracy and H. Widom [37, 38] and used to derive asymptotic expansions of the Fredholm determinants of integral operators arising in random matrix…
We give a unified method for the general equivalence problem of extrinsic geometry, on the basis of our formulation of a general extrinsic geometry as that of an osculating map $\varphi\colon (M,\mathfrak f) \to L/L^0 \subset…
We develop algorithms to compute the differential Galois group corresponding to a one-parameter family of second order homogeneous ordinary linear differential equations with rational function coefficients. More precisely, we consider…
Prelle and Singer showed in 1983 that if a system of ordinary differential equations defined on a differential field $K$ has a first integral in an elementrary field extension $L$ of $K$, then it must have a first integral consisting of…
We design a Quasi-Polynomial time deterministic approximation algorithm for computing the integral of a multi-dimensional separable function, supported by some underlying hyper-graph structure, appropriately defined. Equivalently, our…
Let $F$ be a $\delta-$field (differential field) of characteristic zero with an algebraically closed field of constants $F^\delta$, $A$ be a $\delta-F-$central simple algebra, $K$ be a Picard-Vessiot extension for the $\delta-F-$module $A$…
We use Vessiot theory and exterior calculus to solve partial differential equations(PDEs) of the type uyy = F(x, y,u,ux,uy,uxx,uxy) and associated evolution equations. These equations are represented by the Vessiot distribution of vector…
We revisit miscellaneous linear differential operators mostly associated with lattice Green functions in arbitrary dimensions, but also Calabi-Yau operators and order-seven operators corresponding to exceptional differential Galois groups.…
The core of this article is a general theorem with a large number of specializations. Given a manifold $N$ and a finite number of one-parameter groups of point transformations on $N$ with generators $Y, X_{(1)}, \cdots, X_{(d)} $, we…
In this article we analyze the implicitization problem of the image of a rational map $\phi: X --> P^n$, with $T$ a toric variety of dimension $n-1$ defined by its Cox ring $R$. Let $I:=(f_0,...,f_n)$ be $n+1$ homogeneous elements of $R$.…
The celebrated Zeilberger algorithm which finds holonomic recurrence equations for definite sums of hypergeometric terms $F(n,k)$ is extended to certain nonhypergeometric terms. An expression $F(n,k)$ is called a hypergeometric term if both…
In 2022 Kim showed when a graph $G$ is ternary (without induced cycles of length divisible by three), its independence complex $\text{Ind}(G)$ is either contractible or homotopy equivalent to a sphere. In this paper, we show that when…
We show that the results we had obtained on diagonals of nine and ten parameters families of rational functions using creative telescoping, yielding modular forms expressed as pullbacked $ _2F_1$ hypergeometric functions, can be obtained,…
We implement an efficient method of computation of two dimensional Fourier-type integrals based on approximation of the integrand by Gaussian radial basis functions, which constitute a standard tool in approximation theory. As a result, we…
We study the functional identity $G(x)f(x)=H(x)$ on a division ring $D$, where $f \colon D\to D$ is an additive map and $G(X)\ne 0, H(X)$ are generalized polynomials in the variable $X$ with coefficients in $D$. Precisely, it is proved that…