Riemann Sums and Möbius

Let S be the set of square-free natural numbers. A Hilbert-Schmidt operator, A, associated to the Möbius function has the property that it maps from \({ \cup _{0 < r < \infty }}{l^r}(s)\) to \({ \cap _{0 < r < \infty }}{l^r}(s)\), injectively. If 0 < r< 2 and ξ ∈ l^r (S), the series \({f_\zeta } = \sum\nolimits_{n \in s} {A\zeta (x)cos2\pi nx} \) converges uniformly to an element of f_ξR₀, i.e., a periodic, even, continuous function with equally spaced Riemann sums, \(\sum\nolimits_{j = 0}^{N - 1} {{f_\zeta }} (j/N) = 0,N = 1,2....\) If \({A_{\zeta \lambda }} = \lambda {\zeta _\lambda },{\zeta _\lambda }(1) = 1\), then ξ_λ is multiplicative. If \({f_{{\zeta _\lambda }}} \in {\Lambda _a}\), the space of α-Lipschitz continous functions, for some α > 0, and if χ is any Dirichlet character, then L(s, χ) ≠ 0, Res > 1 ? α. Conjecturally, the Generalized Riemann Hypothesis (GRH) is equivalent to f_ξ ∈ Λ_α, α < 1/2, ξ ∈ l^r (S), 0 < r < 2. Using a 1991 estimate by R. C. Baker and G. Harman, one finds GRH implies f_ξ ∈ Λ_α, α < 1/4, ξ ∈ l^r (S), 0 < r < 2. The question of whether R₀ ∩ Λ_α ≠ {0} for some positive α > 0 is open.     

Weighted fractional Bernstein’s inequalities and their applications

This paper studies the weighted, fractional Bernstein inequality for spherical polynomials on S^d-1\(\left( {0.1} \right)\;{\left\| {{{\left( { - {\Delta _0}} \right)}^{{\raise0.7ex\hbox{$r$} \!\mathord{\left/ {\vphantom {r 2}}\right.\kern-\nulldelimiterspace}\!\lower0.7ex\hbox{$2$}}}}f} \right\|_{p,w}} \leqslant {C_w}{n^r}{\left\| f \right\|_{p,w}}\;for\;all\;f \in \Pi _n^d\), where Π_n^d denotes the space of all spherical polynomials of degree at most n on S^d-1 and (-Δ₀)^r/2 is the fractional Laplacian-Beltrami operator on S^d-1. A new class of doubling weights with conditions weaker than the A_p condition is introduced and used to characterize completely those doubling weights w on S^d-1 for which the weighted Bernstein inequality (0.1) holds for some 1 ≤ p ≤ 8 and all r > t. It is shown that in the unweighted case, if 0 < p < 8 and r > 0 is not an even integer, (0.1) with w = 1 holds if and only if r > (d - 1)((1/p) - 1). As applications, we show that every function f ∈ L_p(S^d-1) with 0 < p < 1 can be approximated by the de la Vallée Poussin means of a Fourier-Laplace series and establish a sharp Sobolev type embedding theorem for the weighted Besov spaces with respect to general doubling weights.     

Normality of the Thue–Morse sequence along Piatetski-Shapiro sequences,II

We prove that the Thue–Morse sequence t along subsequences indexed by ?n ^c ? is normal, where 1 < c < 3/2. That is, for c in this range and for each ω ∈ {0, 1} ^L , where L ≥ 1, the set of occurrences of ω as a factor (contiguous finite subsequence) of the sequence \(n \mapsto {t_{\left\lfloor {{n^c}} \right\rfloor }}\) has asymptotic density 2^?L . This is an improvement over a recent result by the second author, which handles the case 1 < c < 4/3.In particular, this result shows that for 1 < c < 3/2 the sequence \(n \mapsto {t_{\left\lfloor {{n^c}} \right\rfloor }}\) attains both of its values with asymptotic density 1/2, which improves on the bound c < 1.4 obtained by Mauduit and Rivat (who obtained this bound in the more general setting of q-multiplicative functions, however) and on the bound c ≤ 1.42 obtained by the second author.In the course of proving the main theorem, we show that 2/3 is an admissible level of distribution for the Thue–Morse sequence, that is, it satisfies a Bombieri–Vinogradov type theorem for each exponent η < 2/3. This improves on a result by Fouvry and Mauduit, who obtained the exponent 0.5924. Moreover, the underlying theorem implies that every finite word ω ∈ {0, 1} ^L is contained as an arithmetic subsequence of t.     

Divergent solutions to the <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-supercritical NLS equations

We investigate the nonlinear Schrödinger equation iu _t +Δu+|u| ^p?1 u = 0with 1+ 4/N < p < 1+ 4/N?2 (when N = 1, 2, 1 + 4/N < p < ∞) in energy space H ¹ and study the divergent property of infinite-variance and nonradial solutions. If \(M{\left( u \right)^{\frac{{1 - {s_C}}}{{{s_C}}}}}E\left( u \right) \prec M{\left( Q \right)^{\frac{{1 - {s_C}}}{{{s_C}}}}}E\left( Q \right)\) and \(\left\| {{u_0}} \right\|_2^{\frac{{1 - {s_c}}}{{{s_c}}}}\left\| {\nabla {u_0}} \right\|_2^{\frac{{1 - {s_c}}}{{{s_c}}}}{\left\| {\nabla Q} \right\|_2}\), then either u(t) blows up in finite forward time or u(t) exists globally for positive time and there exists a time sequence t _n → +∞ such that \({\left\| {\nabla u\left( {{t_n}} \right)} \right\|_2} \to + \infty \). Here Q is the ground state solution of ?(1?s _c )Q+ΔQ+Q ^p?1 Q = 0. A similar result holds for negative time. This extend the result of the 3D cubic Schrödinger equation obtained by Holmer to the general mass-supercritical and energy-subcritical case.     

A logarithmically improved regularity criterion for the supercritical quasi-geostrophic equations in Besov space

In this paper, we consider the logarithmically improved regularity criterion for the supercritical quasi-geostrophic equation in Besov space \(\dot B_{\infty ,\infty }^{ - r}\left( {{\mathbb{R}^2}} \right)\). The result shows that if θ is a weak solutions satisfies

$$\int_0^T {\frac{{\left\| {\nabla \theta ( \cdot ,s)} \right\|_{\dot B_{\infty ,\infty }^{ - r} }^{\tfrac{\alpha }{{\alpha - r}}} }}{{1 + \ln \left( {e + \left\| {\nabla ^ \bot \theta ( \cdot ,s)} \right\|_{L^{\tfrac{2}{r}} } } \right)!}}ds < \infty for some 0 < r < \alpha and 0 < \alpha < 1,}$$

then θ is regular at t = T. In view of the embedding \({L^{\frac{2}{r}}} \subset M_{\frac{2}{r}}^p \subset \dot B_{\infty ,\infty }^{ - r}\) with \(2 \leqslant p < \frac{2}{r}\) and 0 ≤ r < 1, we see that our result extends the results due to [20] and [31].

     

Detailed error analysis for a fractional Adams method with graded meshes

We consider a fractional Adams method for solving the nonlinear fractional differential equation \(\,^{C}_{0}D^{\alpha }_{t} y(t) = f(t, y(t)), \, \alpha >0\), equipped with the initial conditions \(y^{(k)} (0) = y_{0}^{(k)}, k=0, 1, \dots , \lceil \alpha \rceil -1\). Here, α may be an arbitrary positive number and ?α? denotes the smallest integer no less than α and the differential operator is the Caputo derivative. Under the assumption \(\,^{C}_{0}D^{\alpha }_{t} y \in C^{2}[0, T]\), Diethelm et al. (Numer. Algor. 36, 31–52, 2004) introduced a fractional Adams method with the uniform meshes t _n = T(n/N),n = 0,1,2,…,N and proved that this method has the optimal convergence order uniformly in t _n , that is O(N ^?2) if α > 1 and O(N ^?1?α ) if α ≤ 1. They also showed that if \(\,^{C}_{0}D^{\alpha }_{t} y(t) \notin C^{2}[0, T]\), the optimal convergence order of this method cannot be obtained with the uniform meshes. However, it is well-known that for y ∈ C ^m [0,T] for some \(m \in \mathbb {N}\) and 0 < α < m, the Caputo fractional derivative \(\,^{C}_{0}D^{\alpha }_{t} y(t) \) takes the form “\(\,^{C}_{0}D^{\alpha }_{t} y(t) = c t^{\lceil \alpha \rceil -\alpha } + \text {smoother terms}\)” (Diethelm et al. Numer. Algor. 36, 31–52, 2004), which implies that \(\,^{C}_{0}D^{\alpha }_{t} y \) behaves as t ^?α??α which is not in C ²[0,T]. By using the graded meshes t _n = T(n/N) ^r ,n = 0,1,2,…,N with some suitable r > 1, we show that the optimal convergence order of this method can be recovered uniformly in t _n even if \(\,^{C}_{0}D^{\alpha }_{t} y\) behaves as t ^σ ,0 < σ < 1. Numerical examples are given to show that the numerical results are consistent with the theoretical results.     

Diophantine inequality involving binary forms

Let d ? 3 be an integer, and set r = 2^d?1 + 1 for 3 ? d ? 4, \(\tfrac{{17}}{{32}} \cdot 2^d + 1\) for 5 ? d ? 6, r = d²+d+1 for 7 ? d ? 8, and r = d²+d+2 for d ? 9, respectively. Suppose that Φ _i (x, y) ∈ ?[x, y] (1 ? i ? r) are homogeneous and nondegenerate binary forms of degree d. Suppose further that λ₁, λ₂,..., λ _r are nonzero real numbers with λ₁/λ₂ irrational, and λ₁Φ₁(x₁, y₁) + λ₂Φ₂(x₂, y₂) + · · · + λ _r Φ _r (x _r , y _r ) is indefinite. Then for any given real η and σ with 0 < σ < 2^2?d, it is proved that the inequality

$$\left| {\sum\limits_{i = 1}^r {{\lambda _i}\Phi {}_i\left( {{x_i},{y_i}} \right) + \eta } } \right| < {\left( {\mathop {\max \left\{ {\left| {{x_i}} \right|,\left| {{y_i}} \right|} \right\}}\limits_{1 \leqslant i \leqslant r} } \right)^{ - \sigma }}$$

has infinitely many solutions in integers x₁, x₂,..., x _r , y₁, y₂,..., y _r . This result constitutes an improvement upon that of B. Q. Xue.

     

Zeros of Jacobi polynomials Pn( α, β)$ P_{n}^{(\alpha ,\beta)} $, − 2 < α, β < − 1

The sequence of Jacobi polynomials \(\{P_{n}^{(\alpha ,\beta )}\}_{n = 0}^{\infty }\) is orthogonal on (??1,1) with respect to the weight function (1 ? x)^α(1 + x)^β provided α > ??1,β > ??1. When the parameters α and β lie in the narrow range ??2 < α, β < ??1, the sequence of Jacobi polynomials \(\{P_{n}^{(\alpha ,\beta )}\}_{n = 0}^{\infty }\) is quasi-orthogonal of order 2 with respect to the weight function (1 ? x)^α+?1(1 + x)^β+?1 and each polynomial of degree n,n ≥?2, in such a Jacobi sequence has n real zeros. We show that any sequence of Jacobi polynomials \(\{P_{n}^{(\alpha ,\beta )}\}_{n = 0}^{\infty }\) with ??2 < α, β < ??1, cannot be orthogonal with respect to any positive measure by proving that the zeros of Pn??1(α,β) do not interlace with the zeros of Pn(α,β) for any \(n \in \mathbb {N},\)n ≥?2, and any α,β lying in the range ??2 < α, β < ??1. We also investigate interlacing properties satisfied by the zeros of equal degree Jacobi polynomials Pn(α,β),Pn(α,β+?1) and Pn(α+?1,β+?1) where ??2 < α, β < ??1. Upper and lower bounds for the extreme zeros of quasi-orthogonal order 2 Jacobi polynomials Pn(α,β) with ??2 < α, β < ??1 are derived.     

Intersection properties of radial solutions and global bifurcation diagrams for supercritical quasilinear elliptic equations

We study the positive solution \({u(r,\rho)}\) of the quasilinear elliptic equation

$$\begin{cases}r^{-(\gamma-1)}(r^{\alpha}|u^{\prime}|^{\beta-1}u^{\prime})^{\prime}+|u|^{p-1}u=0, & 0 < r < \infty,\\ u(0) = \rho > 0,\ u^{\prime}(0)=0.\end{cases}$$

This class of differential operators includes the usual Laplace, m-Laplace, and k-Hessian operators in the space of radial functions. The equation has a singular positive solution u ^*(r) under certain conditions on \({\alpha}\), \({\beta}\), \({\gamma}\), and p. A generalized Joseph–Lundgren exponent, which we denote by \({p^*_{JL}}\), is obtained. We study the intersection numbers between \({u(r,\rho)}\) and u ^*(r) and between \({u(r,\rho_0)}\) and \({u(r,\rho_1)}\), and see that \({p^*_{JL}}\) plays an important role. We also determine the bifurcation diagram of the problem

$$\begin{cases}r^{-(\gamma-1)}(r^{\alpha}|u^{\prime}|^{\beta-1}u^{\prime})^{\prime} + \lambda(u+1)^p=0, & 0 < r < 1,\\ u(r) > 0, & 0 \le r < 1,\\ u^{\prime}(0)=0,\ u(1)=0.\end{cases}$$

The main technique used in the proofs is a phase plane analysis.

     

Choiceless Ramsey Theory of Linear Orders

Motivated by work of Erd?s, Milner and Rado, we investigate symmetric and asymmetric partition relations for linear orders without the axiom of choice. The relations state the existence of a subset in one of finitely many given order types that is homogeneous for a given colouring of the finite subsets of a fixed size of a linear order. We mainly study the linear orders 〈 ^α 2,< _{l e x} 〉, where α is an infinite ordinal and < _{l e x} is the lexicographical order. We first obtain the consistency of several partition relations that are incompatible with the axiom of choice. For instance we derive partition relations for 〈 ^ω 2,< _{l e x} 〉 from the property of Baire for all subsets of ^ω 2 and show that the relation \(\langle ^{\kappa }{2}, <_{lex}\rangle \longrightarrow (\langle ^{\kappa }{2}, <_{lex}\rangle )^{2}_{2}\) is consistent for uncountable regular cardinals κ with κ ^<κ = κ. We then prove a series of negative partition relations with finite exponents for the linear orders 〈 ^α 2,< _{l e x} 〉. We combine the positive and negative results to completely classify which of the partition relations \(\langle ^{\omega }{2}, <_{lex}\rangle \longrightarrow (\bigvee _{\nu <\lambda }K_{\nu },\bigvee _{\nu <\mu }M_{\nu })^{m}\) for linear orders K _ν ,M _ν and m≤4 and 〈 ^ω 2,< _{l e x} 〉→(K,M) ⁿ for linear orders K,M and natural numbers n are consistent.     

Asymptotic behavior of the maximal zero of a polynomial orthogonal on a segment with a nonclassical weight

Let {p _n (t)} _n=0 ^t8 be a system of algebraic polynomials orthonormal on the segment [?1, 1] with a weight p(t); let {x _n,ν ^(p) } _ν=1 ⁿ be zeros of a polynomial p _n (t) (x _x,ν ^(p) = cosθ _n,ν ^(p) ; 0 < θ _n,1 ^(p) < θ _n,2 ^(p) < ... < θ _n,n ^(p) < π). It is known that, for a wide class of weights p(t) containing the Jacobi weight, the quantities θ _n,1 ^(p) and 1 ? x _n,1 ^(p) coincide in order with n ^?1 and n ^?2, respectively. In the present paper, we prove that, if the weight p(t) has the form p(t) = 4(1 ? t ²)^?1{ln²[(1 + t)/(1 ? t)] + π ²}^?1, then the following asymptotic formulas are valid as n → ∞:

$$\theta _{n,1}^{(p)} = \frac{{\sqrt 2 }}{{n\sqrt {\ln (n + 1)} }}\left[ {1 + {\rm O}\left( {\frac{1}{{\ln (n + 1)}}} \right)} \right],x_{n,1}^{(p)} = 1 - \left( {\frac{1}{{n^2 \ln (n + 1)}}} \right) + O\left( {\frac{1}{{n^2 \ln ^2 (n + 1)}}} \right).$$

     

Some Hecke algebra products and corresponding random walks

Let i=1+q+???+q ^i?1. For certain sequences (r ₁,…,r _l ) of positive integers, we show that in the Hecke algebra ? _n (q) of the symmetric group \(\mathfrak{S}_{n}\), the product \((1+\boldsymbol{r}_{\boldsymbol{1}}T_{r_{1}})\cdots (1+\boldsymbol{r}_{\boldsymbol{l}}T_{r_{l}})\) has a simple explicit expansion in terms of the standard basis {T _w }. An interpretation is given in terms of random walks on \(\mathfrak{S}_{n}\).     

Sums of Fourier coefficients of cusp forms of level <Emphasis Type="Italic">D</Emphasis> twisted by exponential functions

Let g be a holomorphic or Maass Hecke newform of level D and nebentypus χD, and let a _g (n) be its n-th Fourier coefficient. We consider the sum \({S_1} = \sum {_{X < n \leqslant 2X}{a_g}\left( n \right)e\left( {\alpha {n^\beta }} \right)}\) and prove that S ₁ has an asymptotic formula when β = 1/2 and α is close to \(\pm 2\sqrt {q/D}\) for positive integer q ≤ X/4 and X sufficiently large. And when 0 < β < 1 and α, β fail to meet the above condition, we obtain upper bounds of S ₁. We also consider the sum \({S_2} = \sum {_{n > 0}{a_g}\left( n \right)e\left( {\alpha {n^\beta }} \right)\phi \left( {n/X} \right)}\) with ø(x) ∈ C _c ^∞ (0,+∞) and prove that S ₂ has better upper bounds than S ₁ at some special α and β.     

Weighted Bounds for Multilinear Square Functions

Let \(\vec {P}=(p_{1},\dotsc ,p_{m})\) with 1 < p ₁, …, p _m < ∞, 1/p ₁+?+1/p _m =1/p and \(\vec {w}=(w_{1},\dotsc ,w_{m})\in A_{\vec {P}}\). In this paper, we investigate the weighted bounds with dependence on aperture α for multilinear square functions \(S_{\alpha ,\psi }(\vec {f})\). We show that

$$\|S_{\alpha,\psi}(\vec{f})\|_{L^{p}(\nu_{\vec{w}})} \leq C_{n,m,\psi,\vec{P}} \alpha^{mn}[\vec{w}]_{A_{\vec{P}}}^{\max(\frac{1}{2},\tfrac{p_{1}^{\prime}}{p},\dotsc,\tfrac{p_{m}^{\prime}}{p})} \prod\limits_{i=1}^{m} \|f_{i}\|_{L^{p_{i}}(w_{i})}. $$

This result extends the result in the linear case which was obtained by Lerner in 2014. Our proof is based on the local mean oscillation technique presented firstly to find the weighted bounds for Calderón–Zygmund operators. This method helps us avoiding intrinsic square functions in the proof of our main result.     

A note on skew characters of symmetric groups

In this paper we establish the following estimate:

$$\omega \left( {\left\{ {x \in {\mathbb{R}^n}:\left| {\left[ {b,T} \right]f\left( x \right)} \right| > \lambda } \right\}} \right) \leqslant \frac{{{c_T}}}{{{\varepsilon ^2}}}\int_{{\mathbb{R}^n}} {\Phi \left( {{{\left\| b \right\|}_{BMO}}\frac{{\left| {f\left( x \right)} \right|}}{\lambda }} \right){M_{L{{\left( {\log L} \right)}^{1 + \varepsilon }}}}} \omega \left( x \right)dx$$

where ω ≥ 0, 0 < ε < 1 and Φ(t) = t(1 + log⁺(t)). This inequality relies upon the following sharp L ^p estimate:

$${\left\| {\left[ {b,T} \right]f} \right\|_{{L^p}\left( \omega \right)}} \leqslant {c_T}{\left( {p'} \right)^2}{p^2}{\left( {\frac{{p - 1}}{\delta }} \right)^{\frac{1}{{p'}}}}{\left\| b \right\|_{BMO}}{\left\| f \right\|_{{L^p}\left( {{M_{L{{\left( {{{\log }_L}} \right)}^{2p - 1 + {\delta ^\omega }}}}}} \right)}}$$

where 1 < p < ∞, ω ≥ 0 and 0 < δ < 1. As a consequence we recover the following estimate essentially contained in [18]:

$$\omega \left( {\left\{ {x \in {\mathbb{R}^n}:\left| {\left[ {b,T} \right]f\left( x \right)} \right| > \lambda } \right\}} \right) \leqslant {c_T}{\left[ \omega \right]_{{A_\infty }}}{\left( {1 + {{\log }^ + }{{\left[ \omega \right]}_{{A_\infty }}}} \right)^2}\int_{{\mathbb{R}^n}} {\Phi \left( {{{\left\| b \right\|}_{BMO}}\frac{{\left| {f\left( x \right)} \right|}}{\lambda }} \right)M} \omega \left( x \right)dx.$$

We also obtain the analogue estimates for symbol-multilinear commutators for a wider class of symbols.

     

The Schur functor on tensor powers

Let M be a left module for the Schur algebra S(n, r), and let \({s \in \mathbb{Z}^+}\) . Then \({M^{\otimes s}}\) is a \({(S(n,\,rs), F{\mathfrak{S}_{s}})}\) -bimodule, where the symmetric group \({{\mathfrak{S}_s}}\) on s letters acts on the right by place permutations. We show that the Schur functor f _rs sends \({M^{\otimes s}}\) to the \({(F{\mathfrak{S}_{rs}},F{\mathfrak{S}_s})}\) -bimodule \({F\mathfrak{S}_{rs}\otimes_{F(\mathfrak{S}_{r}\wr{\mathfrak{S}_s})} ((f_rM)^{\otimes s}\otimes_{F} F{\mathfrak{S}_s})}\) . As a corollary, we obtain the image under the Schur functor of the Lie power L ^s (M), exterior power \({\bigwedge^s(M)}\) of M and symmetric power S ^s (M).     

Existence of Nonnegative Solutions for a Class of Systems Involving Fractional (p,q)-Laplacian Operators

The authors study the following Dirichlet problem of a system involving fractional (p, q)-Laplacian operators:

$$\left\{ {\begin{array}{*{20}{c}} {\left( { - \Delta } \right)_p^su = \lambda a\left( x \right){{\left| u \right|}^{p - 2}}u + \lambda b\left( x \right){{\left| u \right|}^{\alpha - 2}}{{\left| v \right|}^\beta }u + \frac{{\mu \left( x \right)}}{{\alpha \delta }}{{\left| u \right|}^{\gamma - 2}}{{\left| v \right|}^\delta }uin\Omega ,} \\ {\left( { - \Delta } \right)_q^sv = \lambda c\left( x \right){{\left| v \right|}^{q - 2}}v + \lambda b\left( x \right){{\left| u \right|}^\alpha }{{\left| v \right|}^{\beta - 2}}v + \frac{{\mu \left( x \right)}}{{\beta \gamma }}{{\left| u \right|}^\gamma }{{\left| v \right|}^{\delta - 2}}vin\Omega ,} \\ {u = v = 0on{\mathbb{R}^N}\backslash \Omega ,} \end{array}} \right.$$

where λ > 0 is a real parameter, Ω is a bounded domain in R ^N , with boundary ?Ω Lipschitz continuous, s ∈ (0, 1), 1 < p ≤ q < ∞, sq < N, while (?Δ) _p ^s u is the fractional p-Laplacian operator of u and, similarly, (?Δ) _q ^s v is the fractional q-Laplacian operator of v. Since possibly p ≠ q, the classical definitions of the Nehari manifold for systems and of the Fibering mapping are not suitable. In this paper, the authors modify these definitions to solve the Dirichlet problem above. Then, by virtue of the properties of the first eigenvalue λ₁ for a related system, they prove that there exists a positive solution for the problem when λ < λ₁ by the modified definitions. Moreover, the authors obtain the bifurcation property when λ → λ₁^-. Finally, thanks to the Picone identity, a nonexistence result is also obtained when λ ≥ λ₁.

     

Maximal Marcinkiewicz multipliers

Let \(\mathcal{M} =\{m_{j}\}_{j=1}^{\infty}\) be a family of Marcinkiewicz multipliers of sufficient uniform smoothness in \(\mathbb{R}^{n}\). We show that the L ^p norm, 1<p<∞, of the related maximal operator

$$M_Nf(x)= \sup_{1\leq j \leq N} |\mathcal{F}^{-1} ( m_j \mathcal{F} f)|(x) $$

is at most C(log(N+2)) ^n/2. We show that this bound is sharp.

     

Existence of solutions for a critical fractional Kirchhoff type problem in ℝ<Superscript><Emphasis Type="Italic">N</Emphasis></Superscript>

This paper concerns with the existence of solutions for the following fractional Kirchhoff problem with critical nonlinearity:

$${\left( {\int {\int {_{{\mathbb{R}^{2N}}}\frac{{{{\left| {u\left( x \right) - u\left( y \right)} \right|}^2}}}{{{{\left| {x - y} \right|}^{N + 2s}}}}dxdy} } } \right)^{\theta - 1}}{\left( { - \Delta } \right)^s}u = \lambda h\left( x \right){u^{p - 1}} + {u^{2_s^* - 1}} in {\mathbb{R}^N},$$

where (?Δ) ^s is the fractional Laplacian operator with 0 < s < 1, 2 _s * = 2N/(N ? 2s), N > 2s, p ∈ (1, 2 _s *), θ ∈ [1, 2 _s */2), h is a nonnegative function and λ a real positive parameter. Using the Ekeland variational principle and the mountain pass theorem, we obtain the existence and multiplicity of solutions for the above problem for suitable parameter λ > 0. Furthermore, under some appropriate assumptions, our result can be extended to the setting of a class of nonlocal integro-differential equations. The remarkable feature of this paper is the fact that the coefficient of fractional Laplace operator could be zero at zero, which implies that the above Kirchhoff problem is degenerate. Hence our results are new even in the Laplacian case.

     

(<Emphasis Type="Italic">m</Emphasis>,<Emphasis Type="Italic">r</Emphasis>)-central Riordan arrays and their applications

For integers m > r ≥ 0, Brietzke (2008) defined the (m, r)-central coefficients of an infinite lower triangular matrix G = (d, h) = (d_n,k)_n,k∈N as d_{mn+r,(m?1)n+r}, with n = 0, 1, 2,..., and the (m, r)-central coefficient triangle of G as

$${G^{\left( {m,r} \right)}} = {\left( {{d_{mn + r,\left( {m - 1} \right)n + k + r}}} \right)_{n,k \in \mathbb{N}}}.$$

It is known that the (m, r)-central coefficient triangles of any Riordan array are also Riordan arrays. In this paper, for a Riordan array G = (d, h) with h(0) = 0 and d(0), h′(0) ≠ 0, we obtain the generating function of its (m, r)-central coefficients and give an explicit representation for the (m, r)-central Riordan array G^(m,r) in terms of the Riordan array G. Meanwhile, the algebraic structures of the (m, r)-central Riordan arrays are also investigated, such as their decompositions, their inverses, and their recessive expressions in terms of m and r. As applications, we determine the (m, r)-central Riordan arrays of the Pascal matrix and other Riordan arrays, from which numerous identities are constructed by a uniform approach.