Related papers: A First Order $q$-Difference System for the $BC_1$…

Semi-algebraic proof systems such as sum-of-squares (SoS) have attracted a lot of attention recently due to their relation to approximation algorithms: constant degree semi-algebraic proofs lead to conjecturally optimal polynomial-time…

In this paper, a q-analogue of r-Whitney-Lah numbers, also known as (q,r)-Whitney-Lah number, denoted by $L_{m,r}[n,k]_q$ is defined using the triangular recurrence relation. Several fundamental properties for the q-analogue are established…

We investigate covariant first order differential calculi on the quantum complex projective spaces CP_q^{N-1} which are quantum homogeneous spaces for the quantum group SU_q(N). Hereby, one more well-studied example of covariant first order…

This work validates and extends the method of integration by differentiation, initially introduced by A. Kempf et al., and demonstrates its compatibility with classical rules of integration. It provides applications to classical integrals,…

First-order logic is the basis for many knowledge representation formalisms and methods. Providing technological support for learning to write first-order formulas for natural language specifications requires methods to test formulas for…

We reformulate the $q$-convolution and the $q$-middle convolution introduced by Sakai and Yamaguchi, and we introduce $q$-analogues of the addition which is related to the gauge-transformation. A merit of the reformulation is the additivity…

A new class of vector fields enabling the integration of first-order ordinary differential equations (ODEs) is introduced. These vector fields are not, in general, Lie point symmetries. The results are based on a relation between…

This paper establishes a version of Nevanlinna theory based on Jackson difference operator $D_{q}f(z)=\frac{f(qz)-f(z)}{qz-z}$ for meromorphic functions of zero order in the complex plane $\mathbb{C}$. We give the logarithmic difference…

We present some elementary derivations of summation and transformation formulas for q-series, which are different from, and in several cases simpler or shorter than, those presented in the Gasper and Bahman [1990] "Basic Hypergeometric…

We introduce a first-order theory $\mathsf{Seq}$ which is mutually interpretable with Robinson's $\mathsf{Q}$. The universe of a standard model for $\mathsf{Seq}$ consists of sequences. We prove that $\mathsf{Seq}$ directly interprets the…

Two integral solutions of q-difference equations of the hypergeometric type with |q|=1 are constructed by using the double sine function. One is an integral of the Barnes type and the other is of the Euler type.

Notions of k-asimulation and asimulation are introduced as asymmetric counterparts to k-bisimulation and bisimulation, respectively. It is proved that a first-order formula is equivalent to a standard translation of an intuitionistic…

In this paper, we establish a $q$-integral formula by using the orthogonality relation, and also provide a new proof of the $q$-orthogonality relation for the continuous $q$-ultraspherical polynomials. A new $q$-beta integral with five…

We introduce higher level $q$-oscillator representations for the quantum affine (super)algebras of type $C_n^{(1)},C^{(2)}(n+1)$ and $B^{(1)}(0,n)$. These representations are constructed by applying the fusion procedure to the level one…

The q-Hermite I-Sobolev type polynomials of higher order are consider for their study. Their hypergeometric representation is provided together with further useful properties such as several structure relations which give rise to a…

We introduce two exponential-type integrators for the "good" Bousinessq equation. They are of orders one and two, respectively, and they require lower regularity of the solution compared to the classical exponential integrators. More…

We derive an explicit sum formula for symmetric Macdonald polynomials. Our expression contains multiple sums over the symmetric group and uses the action of Hecke generators on the ring of polynomials. In the special cases $t=1$ and $q=0$,…

We give a detailed description of the resolution of the identity of a second order $q$-difference operator considered as an unbounded self-adjoint operator on two different Hilbert spaces. The $q$-difference operator and the two choices of…

In this paper, we introduce a new type of $ pq $-calculus. The $ pq $-derivative and $ pq $-integration are investigated and various properties of these concepts are given. The fundamental theorem of $ pq $-calculus and formulas of $ pq…

We introduce a new class of singular partial differential equations, referred to as the second-order hyperbolic Fuchsian systems, and we investigate the associated initial value problem when data are imposed on the singularity. First, we…