Related papers: Symbolic integration on planar differential foliat…
For variational problems with $O(N)$-symmetry the existence of several geometrically distinct solutions had been shown by use of group theoretic approach in previous articles. It was done by a crafty choice of a family $H_i \subset O(N)$…
A summation is a shift-invariant ${\rm R}$-module homomorphism from a submodule of ${\rm R}[[\sigma]]$ to ${\rm R}$ or another ring. [11] formalized a method for extending a summation to a larger domain by telescoping. In this paper, we…
Let $F$ be a non-Archimedan local field, $G$ a connected reductive group defined and split over $F$, and $T$ a maximal $F$-split torus in $G$. Let $\chi_0$ be a depth zero character of the maximal compact subgroup $\mathcal{T}$ of $T(F)$.…
This paper concerns the existence of a nontrivial solution for the following problem \begin{equation} \left\{\begin{aligned} -\Delta u + V(x)u & \in \partial_u F(x,u)\;\;\mbox{a.e. in}\;\;\mathbb{R}^{N},\nonumber u \in…
We consider the problem of deterministically factoring a univariate polynomial over a finite field under the assumption of the Extended Riemann Hypothesis (ERH). This work builds upon the line of approach first explored by Gao in $2001$.…
In this paper we develop techniques that eliminate the need of the Generalized Riemann Hypothesis (GRH) from various (almost all) known results about deterministic polynomial factoring over finite fields. Our main result shows that given a…
The problem of finding a nontrivial factor of a polynomial f(x) over a finite field F_q has many known efficient, but randomized, algorithms. The deterministic complexity of this problem is a famous open question even assuming the…
Let $\Delta_x f(x,y)=f(x+1,y)-f(x,y)$ and $\Delta_y f(x,y)=f(x,y+1)-f(x,y)$ be the difference operators with respect to $x$ and $y$. A rational function $f(x,y)$ is called summable if there exist rational functions $g(x,y)$ and $h(x,y)$…
We describe a solving semi-decision method based on examination of the rational structures of the generalized integrating factors of first-order ODEs. We propose a conjecture that for some family of equations of the type…
We present a methodology for numerically integrating ordinary differential equations containing rapidly oscillatory terms. This challenge is distinct from that for differential equations which have rapidly oscillatory solutions: here the…
Let $X$ be a smooth projective connected curve of genus $g\ge 2$ defined over an algebraically closed field $k$ of characteristic $p>0$. Let $G$ be a finite group, $P$ a Sylow $p$-subgroup of $G$ and $N_G(P)$ its normalizer in $G$. We show…
We determine the absolute differential Galois group of the field $\mathbb{C}(x)$ of rational functions: It is the free proalgebraic group on a set of cardinality $|\mathbb{C}|$. This solves a longstanding open problem posed by B.H. Matzat.…
We extend Kovacic's algorithm to compute the differential Galois group of some second order parameterized linear differential equation. In the case where no Liouvillian solutions could be found, we give a necessary and sufficient condition…
Let $C \langle \boldsymbol{t} \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. In this article we present an…
According to Liouville's Theorem, an indefinite integral of an elementary function is usually not an elementary function. In this notes, we discuss that statement and a proof of this result. The differential Galois group of the extension…
We study polytopes defined by inequalities of the form $\sum_{i\in I} z_{i}\leq 1$ for $I\subseteq [d]$ and nonnegative $z_i$ where the inequalities can be reordered into a matrix inequality involving a column-convex $\{0,1\}$-matrix. These…
We study completely integrable systems attached to Takiff algebras $\mathfrak{g}_N$, extending open Toda systems of split simple Lie algebras $\mathfrak{g}$. With respect to Darboux coordinates on coadjoint orbits $\mathcal{O}$, the…
We deal with a planar differential system of the form \begin{equation*} \begin{cases} \, u' = h(t,v), \\ \, v' = - \lambda a(t) g(u), \end{cases} \end{equation*} where $h$ is $T$-periodic in the first variable and strictly increasing in the…
We extend the symbolic representation to the ring of N=1 supersymmetric differential polynomials, and demonstrate that operations on the ring, such as the super derivative, Frechet derivative and super commutator, can be carried out in the…
Given a holomorphic regularisation procedure (e.g. Riesz or dimensional regularisation) on classical symbols, we define renormalised multiple integrals of radial classical symbols with linear constraints. To do so, we first prove the…