Related papers: Symbolic integration of hyperexponential 1-forms
Suppose that h in F[x,y,z], char F=2, defines a nodal cubic. In earlier papers we made a precise conjecture as to the Hilbert-Kunz functions attached to the powers of h. Assuming this conjecture we showed that a class of characteristic 2…
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…
Motivated by Liu's recent work in \cite{Liu2022}. We shall reveal the essential feature of Hahn polynomials by presenting two new $q$-exponential operators. These lead us to use a systematic method to study identities involving Hahn…
We consider finite-dimensional Hopf algebras $u$ which admit a smooth deformation $U\to u$ by a Noetherian Hopf algebra $U$ of finite global dimension. Examples of such Hopf algebras include small quantum groups over the complex numbers,…
Let $\mathcal{S}_H^0$ denote the class of all functions $f(z)=h(z)+\overline{g(z)}=z+\sum^\infty_{n=2} a_nz^n +\overline{\sum^\infty_{n=2} b_nz^n}$ that are sense-preserving, harmonic and univalent in the open unit disk $|z|<1$. The…
In this paper, we give a theoretical analysis for the algorithms to compute functional decomposition for multivariate polynomials based on differentiation and homogenization which are proposed by Ye, Dai, Lam (1999) and Faug$\mu$ere, Perret…
Let h be a complex meromorphic function decomposed in two different ways P(f) and Q(g), where f, g are meromorphic functions and P, Q are rational functions. We follow an approach due to C.-C. Yang, P. Li and K. H. Ha who handle similar…
Hypergeometric structures in single and multiscale Feynman integrals emerge in a wide class of topologies. Using integration-by-parts relations, associated master or scalar integrals have to be calculated. For this purpose it appears useful…
In Part 1 we study the spherical functions on compact symmetric pairs of arbitrary rank under a suitable multiplicity freeness assumption and additional conditions on the branching rules. The spherical functions are taking values in the…
Let $X$ be a (real or complex) rearrangement-in\-va\-riant function space on $\Om$ (where $\Om = [0,1]$ or $\Om \subseteq \bbN$) whose norm is not proportional to the $L_2$-norm. Let $H$ be a separable Hilbert space. We characterize…
The following theorem, which includes as very special cases results of Jouanolou and Hrushovski on algebraic $D$-varieties on the one hand, and of Cantat on rational dynamics on the other, is established: Working over a field of…
Higher order cohomology of arithmetic groups is expressed in terms of (g,K)-cohomology. Generalizing results of Borel, it is shown that the latter can be computed using functions of (uniform) moderate growth. A higher order versions of…
We consider quasi-polynomial spaces of differential forms defined as weighted (with a positive weight) spaces of differential forms with polynomial coefficients. We show that the unisolvent set of functionals for such spaces on a simplex in…
Following the basic principles stated by Painlev\'e, we first revisit the process of selecting the admissible time-independent Hamiltonians $H=(p_1^2+p_2^2)/2+V(q_1,q_2)$ whose some integer power $q_j^{n_j}(t)$ of the general solution is a…
I prove Ravenel's 1983 "Global Conjecture" on $\Ext^1$ over the classifying Hopf algebroid of formal $A$-modules, equivalently, the first flat cohomology group $H^1_{fl}$ of the moduli stack $\mathcal{M}_{fmA}$ of formal $A$-modules. I then…
We extend the classical theorem of Uchiyama about constructive Fefferman-Stein decompositions of ${\rm BMO}$ functions by systems of singular integrals to the rational Dunkl setting. On $\mathbb{R}^N$ equipped with a root system $R$ and a…
We introduce one- and two-dimensional `exponential shapelets': orthonormal basis functions that efficiently model isolated features in data. They are built from eigenfunctions of the quantum mechanical hydrogen atom, and inherit mathematics…
Given a real and separable Hilbert space H we consider the measure-valued equation \begin{equation*} \int_H\phi(x)\mu_t(dx)- \int_H\phi(x)\mu(dx)= \int_0^t(\int_HK_0\phi(x)\mu_s(dx))ds, \end{equation*} where K_0 is the Kolmogorov…
We analyze the decomposition problem of multivariate polynomial-exponential functions from truncated series and present new algorithms to compute their decomposition. Using the duality between polynomials and formal power series, we first…
A typical quandary in geometric functions theory is to study a functional composed of amalgamations of the coefficients of the pristine function. Conventionally, there is a parameter over which the extremal value of the functional is…