The positive solutions to a quasi-linear problem of fractional <Emphasis Type="Italic">p</Emphasis>-Laplacian type without the Ambrosetti–Rabinowitz condition

In this paper, we study the existence of nontrivial solution to a quasi-linear problem

Open image in new window

where \( (-\Delta )_{p}^{s} u(x)=2\lim \nolimits _{\epsilon \rightarrow 0}\int _{\mathbb {R}^N \backslash B_{\varepsilon }(X)} \frac{|u(x)-u(y)|^{p-2} (u(x)-u(y))}{| x-y | ^{N+sp}}dy, \) \( x\in \mathbb {R}^N\) is a nonlocal and nonlinear operator and \( p\in (1,\infty )\), \( s \in (0,1) \), \( \lambda \in \mathbb {R} \), \( \Omega \subset \mathbb {R}^N (N\ge 2)\) is a bounded domain which smooth boundary \(\partial \Omega \). Using the variational methods based on the critical points theory, together with truncation and comparison techniques, we show that there exists a critical value \(\lambda _{*}>0\) of the parameter, such that if \(\lambda >\lambda _{*}\), the problem \((P)_{\lambda }\) has at least two positive solutions, if \(\lambda =\lambda _{*}\), the problem \((P)_{\lambda }\) has at least one positive solution and it has no positive solution if \(\lambda \in (0,\lambda _{*})\). Finally, we show that for all \(\lambda \ge \lambda _{*}\), the problem \((P)_{\lambda }\) has a smallest positive solution.

     

$$u\tau $$-convergence in locally solid vector lattices

Let \((x_\alpha )\) be a net in a locally solid vector lattice \((X,\tau )\); we say that \((x_\alpha )\) is unbounded \(\tau \)-convergent to a vector \(x\in X\) if \(|x_\alpha -x |\wedge w \xrightarrow {\tau } 0\) for all \(w\in X_+\). In this paper, we study general properties of unbounded \(\tau \)-convergence (shortly \(u\tau \)-convergence). \(u\tau \)-convergence generalizes unbounded norm convergence and unbounded absolute weak convergence in normed lattices that have been investigated recently. We introduce \(u\tau \)-topology and briefly study metrizability and completeness of this topology.     

Positive definite and Gram tensor complementarity problems

Given a continuous function Open image in new window and Open image in new window , the non-linear complementarity problem \(\text{ NCP }(g,q)\) is to find a vector Open image in new window such that

$$\begin{aligned} x \ge 0,~~y:=g(x) +q\ge 0~~\text{ and }~~x^Ty=0. \end{aligned}$$

We say that g has the Globally Uniquely Solvable (\(\text{ GUS }\))-property if \(\text{ NCP }(g,q)\) has a unique solution for all Open image in new window and C-property if \(\mathrm{NCP}(g,q)\) has a convex solution set for all Open image in new window . In this paper, we find a class of non-linear functions that have the \(\text{ GUS }\)-property and C-property. These functions are constructed by some special tensors which are positive semidefinite. We call these tensors as Gram tensors.

     

A modular-type formula for $$(x;q)_\infty $$

Let \(q=\text {e}^{2\pi i\tau }, \mathfrak {I}\tau >0\), \(x=\text {e}^{2\pi i{z}}\), \({z}\in \mathbb {C}\), and \((x;q)_\infty =\prod _{n\ge 0}(1-xq^n)\). Let \((q,x)\mapsto ({q_1},{x_1})\) be the classical modular substitution given by the relations \({q_1}=\text {e}^{-2\pi i/\tau }\) and \({x_1}=\text {e}^{2\pi i{z}/{\tau }}\). The main goal of this paper is to give a modular-type representation for the infinite product \((x;q)_\infty \), this means, to compare the function defined by \((x;q)_\infty \) with that given by \(({x_1};{q_1})_\infty \). Inspired by the work (Stieltjes in Collected Papers, Springer, New York, 1993) of Stieltjes on semi-convergent series, we are led to a “closed” analytic formula for the ratio \((x;q)_\infty /({x_1};{q_1})_\infty \) by means of the dilogarithm combined with a Laplace type integral, which admits a divergent series as Taylor expansion at \(\log q=0\). Thus, the function \((x;q)_\infty \) is linked with its modular transform \(({x_1};{q_1})_\infty \) in such an explicit manner that one can directly find the modular formulae known for Dedekind’s Eta function, Jacobi Theta function, and also for certain Lambert series. Moreover, one can remark that our results allow Ramanujan’s formula (Berndt in Ramanujan’s notebooks, Springer, New York, 1994, Entry 6’, p. 268) (see also Ramanujan in Notebook 2, Tata Institute of Fundamental Research, Bombay, 1957, p. 284) to be completed as a convergent expression for the infinite product \((x;q)_\infty \).     

Asymptotic Normality of Some Graph Sequences

For a simple finite graph G denote by Open image in new window the number of ways of partitioning the vertex set of G into k non-empty independent sets (that is, into classes that span no edges of G). If \(E_n\) is the graph on n vertices with no edges then Open image in new window coincides with Open image in new window , the ordinary Stirling number of the second kind, and so we refer to Open image in new window as a graph Stirling number. Harper showed that the sequence of Stirling numbers of the second kind, and thus the graph Stirling sequence of \(E_n\), is asymptotically normal—essentially, as n grows, the histogram of Open image in new window , suitably normalized, approaches the density function of the standard normal distribution. In light of Harper’s result, it is natural to ask for which sequences \((G_n)_{n \ge 0}\) of graphs is there asymptotic normality of Open image in new window . Thanh and Galvin conjectured that if for each n, \(G_n\) is acyclic and has n vertices, then asymptotic normality occurs, and they gave a proof under the added condition that \(G_n\) has no more than \(o(\sqrt{n/\log n})\) components. Here we settle Thanh and Galvin’s conjecture in the affirmative, and significantly extend it, replacing “acyclic” in their conjecture with “co-chromatic with a quasi-threshold graph, and with negligible chromatic number”. Our proof combines old work of Navon and recent work of Engbers, Galvin and Hilyard on the normal order problem in the Weyl algebra, and work of Kahn on the matching polynomial of a graph.     

Weighted Solyanik Estimates for the Hardy–Littlewood Maximal Operator and Embedding of into

Let Open image in new window denote a weight in Open image in new window which belongs to the Muckenhoupt class Open image in new window and let Open image in new window denote the uncentered Hardy–Littlewood maximal operator defined with respect to the measure Open image in new window . The sharp Tauberian constant of Open image in new window with respect to Open image in new window , denoted by Open image in new window , is defined by

Open image in new window

In this paper, we show that the Solyanik estimate

$$\begin{aligned} \lim _{\alpha \rightarrow 1^-}\mathsf{C}_{w}(\alpha ) = 1 \end{aligned}$$

holds. Following the classical theme of weighted norm inequalities we also consider the sharp Tauberian constants defined with respect to the usual uncentered Hardy–Littlewood maximal operator Open image in new window and a weight Open image in new window :

Open image in new window

We show that we have Open image in new window if and only if Open image in new window . As a corollary of our methods we obtain a quantitative embedding of Open image in new window into Open image in new window .

     

<Emphasis Type="Italic">p</Emphasis>-Saturations of Welter’s game and the irreducible representations of symmetric groups

We establish a relation between the Sprague–Grundy function Open image in new window of p-saturations of Welter’s game and the degrees of the ordinary irreducible representations of symmetric groups. In these games, a position can be regarded as a partition \(\lambda \). Let \(\rho ^\lambda \) be the irreducible representation of the symmetric group \(\mathrm{Sym}(\left| \lambda \right| )\) corresponding to \(\lambda \). For every prime p, we show the following results: (1) \(\mathrm{sg}(\lambda ) \le \left| \lambda \right| \) with equality if and only if the degree of \(\rho ^\lambda \) is prime to p; (2) the restriction of \(\rho ^\lambda \) to \(\mathrm{Sym}(\mathrm{sg}(\lambda ))\) has an irreducible component with degree prime to p. Further, for every integer p greater than 1, we obtain an explicit formula for \(\mathrm{sg}(\lambda )\).     

Group divisible designs with large block sizes

For positive integers n, k with \(3\le k\le n\), let \(X=\mathbb {F}_{2^n}\setminus \{0,1\}\), \({\mathcal {G}}=\{\{x,x+1\}:x\in X\}\), and \({\mathcal {B}}_k=\left\{ \{x_1,x_2,\ldots ,x_k\}\!\subset \!X:\sum \limits _{i=1}^kx_i=1,\ \sum \limits _{i\in I}x_i\!\ne \!1\ \mathrm{for\ any}\ \emptyset \!\ne \!I\!\subsetneqq \!\{1,2,\ldots ,k\}\right\} \). Lee et al. used the inclusion–exclusion principle to show that the triple \((X,{\mathcal {G}},{\mathcal {B}}_k)\) is a \((k,\lambda _k)\)-GDD of type \(2^{2^{n-1}-1}\) for \(k\in \{3,4,5,6,7\}\) where \(\lambda _k=\frac{\prod _{i=3}^{k-1}(2^n-2^i)}{(k-2)!}\) (Lee et al. in Des Codes Cryptogr,  https://doi.org/10.1007/s10623-017-0395-8, 2017). They conjectured that \((X,{\mathcal {G}},{\mathcal {B}}_k)\) is also a \((k,\lambda _k)\)-GDD of type \(2^{2^{n-1}-1}\) for any integer \(k\ge 8\). In this paper, we use a similar construction and counting principles to show that there is a \((k,\lambda _k)\)-GDD of type \((q^2-q)^{(q^{n-1}-1)/(q-1)}\) for any prime power q and any integers k, n with \(3\le k\le n\) where \(\lambda _k=\frac{\prod _{i=3}^{k-1}(q^n-q^i)}{(k-2)!}\). Consequently, their conjecture holds. Such a method is also generalized to yield a \((k,\lambda _k)\)-GDD of type \((q^{\ell +1}-q^{\ell })^{(q^{n-\ell }-1)/(q-1)}\) where \(\lambda _k=\frac{\prod _{i=3}^{k-1}(q^n-q^{\ell +i-1})}{(k-2)!}\) and \(k+\ell \le n+1\).     

A weird relation between two cardinals

For a set M, let \({\text {seq}}(M)\) denote the set of all finite sequences which can be formed with elements of M, and let \([M]^2\) denote the set of all 2-element subsets of M. Furthermore, for a set A, let Open image in new window denote the cardinality of A. It will be shown that the following statement is consistent with Zermelo–Fraenkel Set Theory \(\textsf {ZF}\): There exists a set M such that Open image in new window and no function Open image in new window is finite-to-one.     

<Emphasis Type="Italic">um</Emphasis>-Topology in multi-normed vector lattices

Let \({\mathcal {M}}=\{m_\lambda \}_{\lambda \in \Lambda }\) be a separating family of lattice seminorms on a vector lattice X, then \((X,{\mathcal {M}})\) is called a multi-normed vector lattice (or MNVL). We write \(x_\alpha \xrightarrow {\mathrm {m}} x\) if \(m_\lambda (x_\alpha -x)\rightarrow 0\) for all \(\lambda \in \Lambda \). A net \(x_\alpha \) in an MNVL \(X=(X,{\mathcal {M}})\) is said to be unbounded m-convergent (or um-convergent) to x if \(|x_\alpha -x |\wedge u \xrightarrow {\mathrm {m}} 0\) for all \(u\in X_+\). um-Convergence generalizes un-convergence (Deng et al. in Positivity 21:963–974, 2017; Kandi? et al. in J Math Anal Appl 451:259–279, 2017) and uaw-convergence (Zabeti in Positivity, 2017. doi: 10.1007/s11117-017-0524-7), and specializes up-convergence (Ayd?n et al. in Unbounded p-convergence in lattice-normed vector lattices. arXiv:1609.05301) and \(u\tau \)-convergence (Dabboorasad et al. in \(u\tau \)-Convergence in locally solid vector lattices. arXiv:1706.02006v3). um-Convergence is always topological, whose corresponding topology is called unbounded m-topology (or um-topology). We show that, for an m-complete metrizable MNVL \((X,{\mathcal {M}})\), the um-topology is metrizable iff X has a countable topological orthogonal system. In terms of um-completeness, we present a characterization of MNVLs possessing both Lebesgue’s and Levi’s properties. Then, we characterize MNVLs possessing simultaneously the \(\sigma \)-Lebesgue and \(\sigma \)-Levi properties in terms of sequential um-completeness. Finally, we prove that every m-bounded and um-closed set is um-compact iff the space is atomic and has Lebesgue’s and Levi’s properties.     

On Shalika germs

Let G be (the group of F-points of) a reductive group over a local field F satisfying the assumptions of Debacker (Ann Sci Ecole Norm Sup 35(4):391–422, 2002), sections 2.2, 3.2, 4.3. Let \(G_{{\text {reg}}}\subset G\) be the subset of regular elements. Let \(T\subset G\) be a maximal torus. We write \(T_{{\text {reg}}}=T\cap G_{{\text {reg}}}\). Let dg, dt be Haar measures on G and T. They define an invariant measure Open image in new window on Open image in new window . Let \(\mathcal {H}\) be the space of complex valued locally constant functions on G with compact support. For any \(f\in \mathcal {H}\), \(t\in T_{{\text {reg}}}\), we put \(I_t(f)=\int _{G/T}f(\dot{g}t\dot{g}^{-1})dg/dt\). Let \(\mathcal U\) be the set of conjugacy classes of unipotent elements in G. For any \(\Omega \in \mathcal U\) we fix an invariant measure \(\omega \) on \(\Omega \). It is well known—see, e.g., Rao (Ann Math 96:505-510, 1972)—that for any \(f\in \mathcal {H}\) the integral

$$\begin{aligned} I_\Omega (f)=\int _\Omega f\omega \end{aligned}$$

is absolutely convergent. Shalika (Ann Math 95:226–242, 1972) showed that there exist functions \(j_\Omega (t)\), \(\Omega \in \mathcal U\), on \(T\cap G_{{\text {reg}}}\), such that

$$\begin{aligned} I_t(f)=\sum _{\Omega \in \mathcal U}j_\Omega (t)I_\Omega (f) \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \quad \qquad \qquad \qquad \qquad \qquad ({\star }) \end{aligned}$$

for any \(f\in \mathcal {H}\), \(t\in T\) near to e, where the notion of near depends on f. For any \(r\ge 0\) we define an open \({\text {Ad}}(G)\)-invariant subset \(G_r\) of G, and a subspace \(\mathcal {H}_r\) of \(\mathcal {H}\), as in Debacker (Ann Sci Ecole Norm Sup 35(4):391–422, 2002). Here I show that for any \(f\in \mathcal {H}_r\) the equality \((\star )\) holds for all \(t\in T_{{\text {reg}}}\cap G_r\).

     

On the restricted partition function

For a vector \(\mathbf a = (a_1,\ldots ,a_r)\) of positive integers, we prove formulas for the restricted partition function \(p_{\mathbf a}(n): = \) the number of integer solutions \((x_1,\dots ,x_r)\) to \(\sum _{j=1}^r a_jx_j=n\) with \(x_1\ge 0, \ldots , x_r\ge 0\) and its polynomial part.     

Nonseparable closed vector subspaces of separable topological vector spaces

In 1983 P. Domański investigated the question: For which separable topological vector spaces E, does the separable space Open image in new window have a nonseparable closed vector subspace, where \(\hbox {c}\) is the cardinality of the continuum? He provided a partial answer, proving that every separable topological vector space whose completion is not q-minimal (in particular, every separable infinite-dimensional Banach space) E has this property. Using a result of S.A. Saxon, we show that for a separable locally convex space (lcs) E, the product space Open image in new window has a nonseparable closed vector subspace if and only if E does not have the weak topology. On the other hand, we prove that every metrizable vector subspace of the product of any number of separable Hausdorff lcs is separable. We show however that for the classical Michael line \(\mathbb M\) the space of all continuous real-valued functions on \(\mathbb M\) endowed with the pointwise convergence topology, \(C_p(\mathbb M)\) contains a nonseparable closed vector subspace while \(C_p(\mathbb M)\) is separable.     

Symmetric quiver Hecke algebras and <Emphasis Type="Italic">R</Emphasis>-matrices of quantum affine algebras IV

Let \(U'_q(\mathfrak {g})\) be a twisted affine quantum group of type \(A_{N}^{(2)}\) or \(D_{N}^{(2)}\) and let \(\mathfrak {g}_{0}\) be the finite-dimensional simple Lie algebra of type \(A_{N}\) or \(D_{N}\). For a Dynkin quiver of type \(\mathfrak {g}_{0}\), we define a full subcategory \({\mathcal C}_{Q}^{(2)}\) of the category of finite-dimensional integrable \(U'_q(\mathfrak {g})\)-modules, a twisted version of the category \({\mathcal C}^{(1)}_{Q}\) introduced by Hernandez and Leclerc. Applying the general scheme of affine Schur–Weyl duality, we construct an exact faithful KLR-type duality functor \({\mathcal F}_{Q}^{(2)}:\mathrm{Rep}(R) \rightarrow {\mathcal C}_{Q}^{(2)}\), where \(\mathrm{Rep}(R)\) is the category of finite-dimensional modules over the quiver Hecke algebra R of type \(\mathfrak {g}_{0}\) with nilpotent actions of the generators \(x_k\). We show that \({\mathcal F}_{Q}^{(2)}\) sends any simple object to a simple object and induces a ring isomorphism Open image in new window .     

A generalization of total graphs

Let R be a commutative ring with nonzero identity, \(L_{n}(R)\) be the set of all lower triangular \(n\times n\) matrices, and U be a triangular subset of \(R^{n}\), i.e., the product of any lower triangular matrix with the transpose of any element of U belongs to U. The graph \(GT^{n}_{U}(R^n)\) is a simple graph whose vertices consists of all elements of \(R^{n}\), and two distinct vertices \((x_{1},\dots ,x_{n})\) and \((y_{1},\dots ,y_{n})\) are adjacent if and only if \((x_{1}+y_{1}, \ldots ,x_{n}+y_{n})\in U\). The graph \(GT^{n}_{U}(R^n)\) is a generalization for total graphs. In this paper, we investigate the basic properties of \(GT^{n}_{U}(R^n)\). Moreover, we study the planarity of the graphs \(GT^{n}_{U}(U)\), \(GT^{n}_{U}(R^{n}{\setminus } U)\) and \(GT^{n}_{U}(R^n)\).     

Brownian Motion with Singular Time-Dependent Drift

In this paper, we study weak solutions for the following type of stochastic differential equation

Open image in new window

where \(b: [0,\infty ) \times \mathbb {R}^{d}\rightarrow \mathbb {R}^{d}\) is a measurable drift, \(W=(W_{t})_{t \ge 0}\) is a d-dimensional Brownian motion and \((s,x)\in [0,\infty ) \times \mathbb {R}^{d}\) is the starting point. A solution \(X=(X_t)_{t \ge s}\) for the above SDE is called a Brownian motion with time-dependent drift b starting from (s, x). Under the assumption that |b| belongs to the forward-Kato class \(\mathcal {F}\mathcal {K}_{d-1}^{\alpha }\) for some \(\alpha \in (0,1/2)\), we prove that the above SDE has a unique weak solution for every starting point \((s,x)\in [0,\infty ) \times \mathbb {R}^{d}\).

     

Power boundedness in the Fourier and Fourier–Stieltjes algebras on homogeneous spaces

We study power boundedness in the Fourier and Fourier–Stieltjes algebras, Open image in new window and Open image in new window of a homogeneous space Open image in new window The main results characterizes when all elements with spectral radius at most one, in any of these algebras, are power bounded.     

The crank moments weighted by the parity of cranks

In this note, we introduce the 2kth crank moment \(\mu _{2k}(-1,n)\) weighted by the parity of cranks and show that \((-1)^n \mu _{2k}(-1,n)>0\) for \(n\ge k \ge 0\). When \(k=0\), the inequality \((-1)^n \mu _{2k}(-1,n)>0\) reduces to Andrews and Lewis’s inequality \((-1)^n(M_e(n)-M_o(n))>0\) for \(n\ge 0\), where \(M_e(n)\) (resp. \(M_o(n)\)) denotes the number of partitions of n with even (resp. odd) crank. Several generating functions of \(\mu _{2k}(-1,n)\) are also studied in order to show the positivity of \((-1)^n\mu _{2k}(-1,n)\).     

The convolution algebra

For L a complete lattice L and \(\mathfrak {X}=(X,(R_i)_I)\) a relational structure, we introduce the convolution algebra \(L^{\mathfrak {X}}\). This algebra consists of the lattice \(L^X\) equipped with an additional \(n_i\)-ary operation \(f_i\) for each \(n_i+1\)-ary relation \(R_i\) of \(\mathfrak {X}\). For \(\alpha _1,\ldots ,\alpha _{n_i}\in L^X\) and \(x\in X\) we set \(f_i(\alpha _1,\ldots ,\alpha _{n_i})(x)=\bigvee \{\alpha _1(x_1)\wedge \cdots \wedge \alpha _{n_i}(x_{n_i}):(x_1,\ldots ,x_{n_i},x)\in R_i\}\). For the 2-element lattice 2, \(2^\mathfrak {X}\) is the reduct of the familiar complex algebra \(\mathfrak {X}^+\) obtained by removing Boolean complementation from the signature. It is shown that this construction is bifunctorial and behaves well with respect to one-one and onto maps and with respect to products. When L is the reduct of a complete Heyting algebra, the operations of \(L^\mathfrak {X}\) are completely additive in each coordinate and \(L^\mathfrak {X}\) is in the variety generated by \(2^\mathfrak {X}\). Extensions to the construction are made to allow for completely multiplicative operations defined through meets instead of joins, as well as modifications to allow for convolutions of relational structures with partial orderings. Several examples are given.     

Extremal eigenvalues and eigenvectors of deformed Wigner matrices

We consider random matrices of the form \(H = W + \lambda V, \lambda \in {\mathbb {R}}^+\), where \(W\) is a real symmetric or complex Hermitian Wigner matrix of size \(N\) and \(V\) is a real bounded diagonal random matrix of size \(N\) with i.i.d. entries that are independent of \(W\). We assume subexponential decay of the distribution of the matrix entries of \(W\) and we choose \(\lambda \sim 1\), so that the eigenvalues of \(W\) and \(\lambda V\) are typically of the same order. Further, we assume that the density of the entries of \(V\) is supported on a single interval and is convex near the edges of its support. In this paper we prove that there is \(\lambda _+\in {\mathbb {R}}^+\) such that the largest eigenvalues of \(H\) are in the limit of large \(N\) determined by the order statistics of \(V\) for \(\lambda >\lambda _+\). In particular, the largest eigenvalue of \(H\) has a Weibull distribution in the limit \(N\rightarrow \infty \) if \(\lambda >\lambda _+\). Moreover, for \(N\) sufficiently large, we show that the eigenvectors associated to the largest eigenvalues are partially localized for \(\lambda >\lambda _+\), while they are completely delocalized for \(\lambda <\lambda _+\). Similar results hold for the lowest eigenvalues.