Existence of solutions of boundary value problems for singular fractional <Emphasis Type="Italic">q</Emphasis>-difference equations

In this paper, we study the existence and uniqueness of solutions for a class of singular three-point boundary value problems of fractional q-difference equations invovling fractional q-derivative of Riemann–Liouville type. Based on the generalization of Banach contraction principle, we obtain a sufficient condition for existence and uniqueness of solutions of the problem. By applying the Krasnoselskii’s fixed point theorem, we establish a sufficient condition for the existence of at least one solution of the problem. As applications, two examples are presented to illustrate our main results.     

A Note on MDS Codes, <Emphasis Type="Italic">n</Emphasis>-Arcs and Complete Designs

A generalized incidence matrix of a design over GF(q) is any matrix obtained from the (0, 1)-incidence matrix by replacing ones with nonzero elements from GF(q). The dimension d _q of a design D over GF(q) is defined as the minimum value of the q-rank of a generalized incidence matrix of D. It is proved that the dimension d _q of the complete design on n points having as blocks all w-subsets, is greater that or equal to n ? w + 1, and the equality d _q = n ? w + 1 holds if and only if there exists an [n, n ? w + 1, w] MDS code over GF(q), or equivalently, an n-arc in PG(w ? 2, q).     

New characterization of <Emphasis Type="Italic">S</Emphasis><Subscript>4</Subscript>(<Emphasis Type="Italic">q</Emphasis>) by its noncommuting graph

Let G be a nonabelian group, and associate the noncommuting graph ?(G) with G as follows: the vertex set of ?(G) is G\Z(G) with two vertices x and y joined by an edge whenever the commutator of x and y is not the identity. Let S ₄(q) be the projective symplectic simple group, where q is a prime power. We prove that if G is a group with ?(G) ? ?(S ₄(q)) then G ? S ₄(q).     

Estimates of Mixed Moduli of Smoothness in Metrics of <Emphasis Type="Italic">L</Emphasis><Subscript>q</Subscript> Through Mixed Moduli of Smoothness in Metrics of <Emphasis Type="Italic">L</Emphasis><Subscript>1</Subscript>

Interrelations between mixed fractional moduli of smoothness considered in metrics of L₁ and L_q are studied in the paper.     

Blow-up of <Emphasis Type="Italic">p</Emphasis>-Laplacian evolution equations with variable source power

We study the blow-up and/or global existence of the following p-Laplacian evolution equation with variable source power

$${s_j} = {\beta _j} + \overline {{\beta _{n - j}}}p$$

where Ω is either a bounded domain or the whole space ? ^N , q(x) is a positive and continuous function defined in Ω with 0 < q _? = inf q(x) ? q(x) ? sup q(x) = q+ < ∞. It is demonstrated that the equation with variable source power has much richer dynamics with interesting phenomena which depends on the interplay of q(x) and the structure of spatial domain Ω, compared with the case of constant source power. For the case that Ω is a bounded domain, the exponent p ? 1 plays a crucial role. If q+ > p ? 1, there exist blow-up solutions, while if q ₊ < p ? 1, all the solutions are global. If q _? > p ? 1, there exist global solutions, while for given q _? < p ? 1 < q ₊, there exist some function q(x) and Ω such that all nontrivial solutions will blow up, which is called the Fujita phenomenon. For the case Ω = ? ^N , the Fujita phenomenon occurs if 1 < q _? ? q ₊ ? p ? 1 + p/N, while if q _? > p ? 1 + p/N, there exist global solutions.

     

3<Emphasis Type="Italic">nj</Emphasis>-symbols and identities for <Emphasis Type="Italic">q</Emphasis>-Bessel functions

The 6j-symbols for representations of the q-deformed algebra of polynomials on \(\mathrm {SU}(2)\) are given by Jackson’s third q-Bessel functions. This interpretation leads to several summation identities for the q-Bessel functions. Multivariate q-Bessel functions are defined, which are shown to be limit cases of multivariate Askey–Wilson polynomials. The multivariate q-Bessel functions occur as 3nj-symbols.     

On <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis>,<Emphasis Type="Italic">q</Emphasis></Subscript>-factorization of complete bipartite multigraphs

Let λK _m,n be a complete bipartite multigraph with two partite sets having m and n vertices, respectively. A K _p,q -factorization of λK _m,n is a set of edge-disjoint K _p,q -factors of λK _m,n which partition the set of edges of λK _m,n . When p = 1 and q is a prime number, Wang, in his paper [On K _1,q -factorization of complete bipartite graph, Discrete Math., 126: (1994), 359-364], investigated the K _1,q -factorization of K _m,n and gave a sufficient condition for such a factorization to exist. In papers [K _1,k -factorization of complete bipartite graphs, Discrete Math., 259: 301-306 (2002),; K _p,q -factorization of complete bipartite graphs, Sci. China Ser. A-Math., 47: (2004), 473-479], Du and Wang extended Wang’s result to the case that p and q are any positive integers. In this paper, we give a sufficient condition for λK _m,n to have a K _p,q -factorization. As a special case, it is shown that the necessary condition for the K _p,q -factorization of λK _m,n is always sufficient when p : q = k : (k + 1) for any positive integer k.     

On the centers of quantum groups of <Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-type

Let g be the finite dimensional simple Lie algebra of type An, and let U? = U _q (g,Λ) and U = U _q (g,Q) be the quantum groups defined over the weight lattice and over the root lattice, respectively. In this paper, we find two algebraically independent central elements in U? for all n ≥ 2 and give an explicit formula of the Casimir elements for the quantum group U? = U _q (g,Λ), which corresponds to the Casimir element of the enveloping algebra U(g). Moreover, for n = 2 we give explicitly generators of the center subalgebras of the quantum groups U? = U _q (g,Λ) and U = U _q (g,Q).     

Intrinsic Ultracontractivity for Schrödinger Operators Based on Fractional Laplacians

We study the Feynman-Kac semigroup generated by the Schrödinger operator based on the fractional Laplacian ??(???Δ)^α/2???q in R ^d , for q?≥?0, α?∈?(0,2). We obtain sharp estimates of the first eigenfunction φ ₁ of the Schrödinger operator and conditions equivalent to intrinsic ultracontractivity of the Feynman-Kac semigroup. For potentials q such that lim_{|x| →?∞?} q(x)?=?∞ and comparable on unit balls we obtain that φ ₁(x) is comparable to (|x|?+?1)^???d???α (q(x)?+?1)^???1 and intrinsic ultracontractivity holds iff lim_{|x| →?∞?} q(x)/log|x|?=?∞. Proofs are based on uniform estimates of q-harmonic functions.     

Liouville type results for a <Emphasis Type="Italic">p</Emphasis>-Laplace equation with negative exponent

Positive entire solutions of the equation \(\Delta _p u = u^{ - q} in \mathbb{R}^N (N \geqslant 2)\) where 1 < p ≤ N, q > 0, are classified via their Morse indices. It is seen that there is a critical power q = q _c such that this equation has no positive radial entire solution that has finite Morse index when q > q _c but it admits a family of stable positive radial entire solutions when 0 < q ≤ q _c. Proof of the stability of positive radial entire solutions of the equation when 1 < p < 2 and 0 < q ≤ q _c relies on Caffarelli–Kohn–Nirenberg’s inequality. Similar Liouville type result still holds for general positive entire solutions when 2 < p ≤ N and q > q _c. The case of 1 < p < 2 is still open. Our main results imply that the structure of positive entire solutions of the equation is similar to that of the equation with p = 2 obtained previously. Some new ideas are introduced to overcome the technical difficulties arising from the p-Laplace operator.     

Quasirecognition by prime graph of the simple group <Superscript>2</Superscript><Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

Let G be a finite group. The main result of this paper is as follows: If G is a finite group, such that Γ(G) = Γ(²G₂(q)), where q = 3²ⁿ⁺¹ for some n ≥ 1, then G has a (unique) nonabelian composition factor isomorphic to ² G ₂(q). We infer that if G is a finite group satisfying |G| = |² G ₂(q)| and Γ(G) = Γ (² G ₂(q)) then G ? = ² G ₂(q). This enables us to give new proofs for some theorems; e.g., a conjecture of W. Shi and J. Bi. Some applications of this result are also considered to the problem of recognition by element orders of finite groups.     

Intersections of two nilpotent subgroups in finite groups with socle <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

Given a finite group G with socle isomorphic to L ₂(q), q ≥ 4, we describe, up to conjugacy, all pairs of nilpotent subgroups A and B of G such that A ∩ B ^g ≠ 1 for all g ∈ G.     

Properties of element orders in covers for L<Subscript>n</Subscript>(<Emphasis Type="Italic">q</Emphasis>) and U<Subscript>n</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

We show that if a finite simple group G, isomorphic to PSL_n(q) or PSU_n(q) where either n ≠ 4 or q is prime or even, acts on a vector space over a field of the defining characteristic of G; then the corresponding semidirect product contains an element whose order is distinct from every element order of G. We infer that the group PSL_n(q), n ≠ 4 or q prime or even, is recognizable by spectrum from its covers thus giving a partial positive answer to Problem 14.60 from the Kourovka Notebook.     

Theory of (<Emphasis Type="Italic">q</Emphasis> <Subscript>1</Subscript>, <Emphasis Type="Italic">q</Emphasis> <Subscript>2</Subscript>)-quasimetric spaces and coincidence points

We introduce (q₁, q₂)-quasimetric spaces and examine their properties. Covering mappings between (q₁, q₂)-quasimetric spaces are investigated. Sufficient conditions for the existence of a coincidence point of two mappings acting between (q₁, q₂)-quasimetric spaces such that one is a covering mapping and the other satisfies the Lipschitz condition are obtained.     

Second order linear <Emphasis Type="Italic">q</Emphasis>-difference equations: Nonoscillation and asymptotics

The paper can be understood as a completion of the q-Karamata theory along with a related discussion on the asymptotic behavior of solutions to the linear q-difference equations. The q-Karamata theory was recently introduced as the theory of regularly varying like functions on the lattice \({q^{{{\Bbb N}_0}}}: = \left\{ {{q^k}:k \in {{\Bbb N}_0}} \right\}\) with q > 1. In addition to recalling the existing concepts of q-regular variation and q-rapid variation we introduce q-regularly bounded functions and prove many related properties. The q-Karamata theory is then applied to describe (in an exhaustive way) the asymptotic behavior as t → ∞ of solutions to the q-difference equation D _q ² y(t) + p(t)y(qt) = 0, where \(p:q^{\mathbb{N}_0 } \to \mathbb{R}\). We also present the existing and some new criteria of Kneser type which are related to our subject. A comparison of our results with their continuous counterparts is made. It reveals interesting differences between the continuous case and the q-case and validates the fact that q-calculus is a natural setting for the Karamata like theory and provides a powerful tool in qualitative theory of dynamic equations.     

Some <Emphasis Type="Italic">q</Emphasis>-congruences for homogeneous and quasi-homogeneous multiple <Emphasis Type="Italic">q</Emphasis>-harmonic sums

We show some new Wolstenholme type q-congruences for some classes of multiple q-harmonic sums of arbitrary depth with strings of indices composed of ones, twos, and threes. Most of these results are q-extensions of the corresponding congruences for ordinary multiple harmonic sums obtained by the authors in a previous paper. We also establish duality congruences for multiple q-harmonic non-strict sums and a kind of duality for multiple q-harmonic strict sums. Finally, we pose a conjecture concerning two kinds of cyclic sums of multiple q-harmonic sums.     

Remarks on linear independence of <Emphasis Type="Italic">q</Emphasis>-harmonic series

For any rational integer q, |q|?>?1, the linear independence over \( \mathbb{Q} \) of the numbers 1, ζ _q (1), and ζ _?q (1) is proved; here \( {\zeta_q}(1) = \sum\limits_{n = 1}^\infty {\frac{1}{{{q^n} - 1}}} \) is the so-called q-harmonic series or the q-zeta-value at the point 1. Besides this, a measure of linear independence of these numbers is established.     

On the curve of critical exponents for nonlinear elliptic problems in the case of a zero mass

For semilinear elliptic equations ?Δu = λ|u| ^p?2 u?|u| ^q?2 u, boundary value problems in bounded and unbounded domains are considered. In the plane of exponents p × q, the so-called curves of critical exponents are defined that divide this plane into domains with qualitatively different properties of the boundary value problems and the corresponding parabolic equations. New solvability conditions for boundary value problems, conditions for the stability and instability of stationary solutions, and conditions for the existence of global solutions to parabolic equations are found.     

Average-value tverberg partitions via finite fourier analysis

The long-standing topological Tverberg conjecture claimed, for any continuous map from the boundary of an N(q, d):= (q-1)(d+1)-simplex to d-dimensional Euclidian space, the existence of q pairwise disjoint subfaces whose images have non-empty q-fold intersection. The affine cases, true for all q, constitute Tverberg’s famous 1966 generalization of the classical Radon’s Theorem. Although established for all prime powers in 1987 by Özaydin, counterexamples to the conjecture, relying on 2014 work of Mabillard and Wagner, were first shown to exist for all non-prime-powers in 2015 by Frick. Starting with a reformulation of the topological Tverberg conjecture in terms of harmonic analysis on finite groups, we show that despite the failure of the conjecture, continuous maps below the tight dimension N(q, d) are nonetheless guaranteed q pairwise disjoint subfaces–including when q is not a prime power–which satisfy a variety of “average value” coincidences, the latter obtained as the vanishing of prescribed Fourier transforms.     

On the equation Δ<Emphasis Type="Italic">u</Emphasis> + <Emphasis Type="Italic">q</Emphasis>(<Emphasis Type="Italic">x</Emphasis>)<Emphasis Type="Italic">u</Emphasis> = 0

Sufficient conditions for the blow-up of nontrivial generalized solutions of the interior Dirichlet problem with homogeneous boundary condition for the homogeneous elliptic-type equation Δu + q(x)u = 0, where either q(x) ≠ const or q(x) = const= λ > 0, are obtained. A priori upper bounds (Theorem 4 and Remark 6) for the exact constants in the well-known Sobolev and Steklov inequalities are established.