On a Congruence Involving Generalized Fibonomial Coefficients

Let (F_n)_n≥0 be the Fibonacci sequence. For 1 ≤ k ≤ m, the Fibonomial coefficient is defined as

$${\left[ {\begin{array}{*{20}{c}} n \\ k \end{array}} \right]_F} = \frac{{{F_{n - k + 1}} \cdots {F_{n - 1}}{F_n}}}{{{F_1} \cdots {F_k}}}$$

. In 2013, Marques, Sellers and Trojovský proved that if p is a prime number such that p ≡ ±1 (mod 5), then p?\({\left[ {\begin{array}{*{20}{c}} {{p^{a + 1}}} \\ {{p^a}} \end{array}} \right]_F}\) for all integers a ≥ 1. In 2010, in particular, Kilic generalized the Fibonomial coefficients for

$${\left[ {\begin{array}{*{20}{c}} n \\ k \end{array}} \right]_{F,m}} = \frac{{{F_{\left( {n - k + 1} \right)m}} \cdots {F_{\left( {n - 1} \right)m}}{F_{nm}}}}{{{F_m} \cdots {F_{km}}}}$$

. In this note, we generalize Marques, Sellers and Trojovský result to prove, in particular, that if p ≡ ±1 (mod 5), then \({\left[ {\begin{array}{*{20}{c}} {{p^{a + 1}}} \\ {{p^a}} \end{array}} \right]_{F,m}} \equiv 1\) (mod p), for all a ≥ 0 and m ≥ 1.

     

On sums of binomial coefficients involving Catalan and Delannoy numbers modulo $$p^2$$

In this paper, we prove some congruences conjectured by Z.-W. Sun: For any prime \(p>3\), we determine

$$\begin{aligned} \sum \limits _{k = 0}^{p - 1} {\frac{{{C_k}C_k^{(2)}}}{{{{27}^k}}}} \quad {\text { and }}\quad \sum \limits _{k = 1}^{p - 1} {\frac{{\left( {\begin{array}{l} {2k} \\ {k - 1} \\ \end{array}} \right) \left( { \begin{array}{l} {3k} \\ {k - 1} \\ \end{array} } \right) }}{{{{27}^k}}}} \end{aligned}$$

modulo \(p^2\), where \(C_k=\frac{1}{k+1}\left( {\begin{array}{c}2k\\ k\end{array}}\right) \) is the k-th Catalan number and \(C_k^{(2)}=\frac{1}{2k+1}\left( {\begin{array}{c}3k\\ k\end{array}}\right) \) is the second-order Catalan numbers of the first kind. And we prove that

$$\begin{aligned} \sum _{k=1}^{p-1}\frac{D_k}{k}\equiv -q_p(2)+pq_p(2)^2\pmod {p^2}, \end{aligned}$$

where \(D_n=\sum _{k=0}^{n}\left( {\begin{array}{c}n\\ k\end{array}}\right) \left( {\begin{array}{c}n+k\\ k\end{array}}\right) \) is the n-th Delannoy number and \(q_p(2)=(2^{{p-1}}-1)/p\) is the Fermat quotient.

     

The <Emphasis Type="Italic">p</Emphasis>-adic order of some fibonomial coefficients whose entries are powers of <Emphasis Type="Italic">p</Emphasis>

Let (F _n ) _n≥0 be the Fibonacci sequence. For 1 ≤ k ≤ m, the Fibonomial coefficient is defined as

$${\left[ {\begin{array}{*{20}{c}} m \\ k \end{array}} \right]_F} = \frac{{{F_{m - k + 1}} \cdots {F_{m - 1}}{F_m}}}{{{F_1} \cdots {F_k}}}$$

. In 2013, Marques, Sellers and Trojovský proved that if p is a prime number such that p ≡ ±2 (mod 5), then \(p{\left| {\left[ {\begin{array}{*{20}{c}} {{p^{a + 1}}} \\ {{p^a}} \end{array}} \right]} \right._F}\) for all integers a ≥ 1. In 2015, Marques and Trojovský worked on the p-adic order of \({\left[ {\begin{array}{*{20}{c}} {{p^{a + 1}}} \\ {{p^a}} \end{array}} \right]_F}\) for all a ≥ 1 when p ≠ 5. In this paper, we shall provide the exact p-adic order of \({\left[ {\begin{array}{*{20}{c}} {{p^{a + 1}}} \\ {{p^a}} \end{array}} \right]_F}\) for all integers a, b ≥ 1 and for all prime number p.

     

A note on some results of Hua in short intervals

In this paper, we improve the previous results of the authors [G. Lü and H. Tang, On some results of Hua in short intervals, Lith. Math. J., 50(1):54–70, 2010] by proving that each sufficiently large integer N satisfying some congruence conditions can be written as

$ \left\{ {\begin{array}{*{20}{c}} {N = p_1^2 + p_2^2 + p_3^2 + p_4^2 + {p^k},} \hfill \\ {\left| {{p_j} - \sqrt {{\frac{N}{5}}} } \right| \leqslant U,\quad \left| {p - {{\left( {\frac{N}{5}} \right)}^{\frac{1}{k}}}} \right| \leqslant U\,{N^{ - \frac{1}{2} + \frac{1}{k}}},\quad j = 1,\,2,\,\,3,\,4,} \hfill \\ \end{array} } \right. $

where U = N ^1/2?η+ε with \( \eta = \frac{1}{{2k\left( {{K^2} + 1} \right)}} \) and K = 2k ^?1, k ? 2.

     

Stability of some versions of the Prékopa–Leindler inequality

We study the behavior of positive solutions of the following Dirichlet problem

$$\left \{ \begin{array}{ll} -\Delta_{p}u=\lambda u^{s-1}+u^{q-1} &\quad {\rm in}\enspace \Omega \\ u_{\mid\partial \Omega}=0 \end{array}\right. $$

when s → p ^?. Here \({p >1 , s\,{\in}\,]1,p]}\) and q > p with \({q\leq\frac{Np}{N-p}}\) if N > p.

     

An existence principle for solutions to a singular boundary-value problems

The singular boundary-value problem

$ \left\{ {\begin{array}{*{20}{c}} {{u^{\prime\prime}} + g\left( {t,u,{u^{\prime}}} \right) = 0\quad {\text{for}}\quad t \in \left( {0,1} \right),} \hfill \\ {u(0) = u(1) = 0} \hfill \\ \end{array} } \right. $

is studied. The singularity may appear at u?=?0, and the function g may change sign. An existence theorem for solutions to the above boundary-value problem is proposed, and it is proved via the method of upper and lower solutions.

     

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 λ ≥ λ₁.

     

Infinitely many periodic solutions for a class of second-order Hamiltonian systems

In this paper we study the existence of infinitely many periodic solutions for second-order Hamiltonian systems

$$\left\{ {\begin{array}{*{20}c} {\ddot u(t) + A(t)u(t) + \nabla F(t,u(t)) = 0,} \\ {u(0) - u(T) = \dot u(0) - \dot u(T) = 0,} \\ \end{array} } \right.$$

, where F(t, u) is even in u, and ?F(t, u) is of sublinear growth at infinity and satisfies the Ahmad-Lazer-Paul condition.

     

On some results of Hua in short intervals

In this note, we prove some results of Hua in short intervals. For example, each sufficiently large integer N satisfying some congruence conditions can be written as

$ \left\{ {\begin{array}{*{20}{c}} {N = p_1^2 + p_2^2 + p_3^2 + p_4^2 + {p^k}}, \hfill \\ {\left| {{p_j} - \sqrt {N/5} } \right| \leqslant U,\left| {p - {{\left( {N/5} \right)}^{\tfrac{1}{k}}}} \right|\leqslant UN - \tfrac{1}{2} + \tfrac{1}{k},j = 1,2,3,4,} \hfill \\ \end{array} } \right. $

where \( U = N\tfrac{1}{2} - \eta + \varepsilon \) with \( \eta = \frac{2}{{\kappa \left( {K + 1} \right)\left( {{K^2} + 2} \right)}} \) and \( K = {2^{k - 1}},k\geqslant 3. \)

     

Intrinsic Hölder Continuity of Harmonic Functions

We consider the stochastic differential equation (SDE) of the form

$$\begin{array}{@{}rcl@{}} \left\{\begin{array}{rcl} dX^ x(t) &=& \sigma(X(t-)) dL(t) \\ X^ x(0)&=&x,\quad x\in{\mathbb{R}}^ d, \end{array}\right. \end{array} $$

where \(\sigma :{\mathbb {R}}^ d\to {\mathbb {R}}^ d\) is globally Lipschitz continuous and L={L(t):t≥0} is a Lévy process. Under this condition on σ it is well known that the above problem has a unique solution X. Let \((\mathcal {P}_{t})_{t\ge 0}\) be the Markovian semigroup associated to X defined by \(\left ({\mathcal {P}}_{t} f\right ) (x) := \mathbb {E} \left [ f(X^ x(t))\right ]\), t≥0, \(x\in {\mathbb {R}}^{d}\), \(f\in \mathcal {B}_{b}({\mathbb {R}}^{d})\). Let B be a pseudo–differential operator characterized by its symbol q. Fix \(\rho \in \mathbb {R}\). In this article we investigate under which conditions on σ, L and q there exist two constants γ>0 and C>0 such that

$$\left| B {\mathcal{P}}_{t} u \right|_{H^{\rho}_{2}} \le C \, t^{-\gamma} \,\left| u \right|_{H^{\rho}_{2}}, \quad \forall u \in {H^{\rho}_{2}}(\mathbb{R}^{d} ),\, t>0. $$

     

Numerical Radius Inequalities for Certain 2 × 2 Operator Matrices

We prove several numerical radius inequalities for certain 2 × 2 operator matrices. Among other inequalities, it is shown that if X, Y, Z, and W are bounded linear operators on a Hilbert space, then

$$w\left( \left[\begin{array}{cc} X &; Y \\ Z &; W \end{array} \right] \right) \geq \max \left(w(X),w(W),\frac{w(Y+Z)}{2},\frac{w(Y-Z)}{2}\right) $$

and

$$w\left( \left[\begin{array}{cc}X &; Y \\ Z &; W\end{array} \right] \right) \leq \max \left( w(X), w(W)\right)+\frac{w(Y+Z)+w(Y-Z)}{2}. $$

As an application of a special case of the second inequality, it is shown that

$$\frac{\left\Vert X\right\Vert }{2}+\frac{\left\vert \left\Vert\operatorname{Re}{X}\right\Vert -\frac{\left\Vert X\right\Vert}{2}\right\vert }{4}+\frac{ \left\vert \left\Vert \operatorname{Im}{X}\right\Vert -\frac{\left\Vert X\right\Vert}{2}\right\vert }{4} \leq w(X), $$

which is a considerable improvement of the classical inequality \({\frac{ \left\Vert X\right\Vert }{2}\leq w(X)}\) . Here w(·) and || · || are the numerical radius and the usual operator norm, respectively.

     

Some Berezin Number Inequalities for Operator Matrices

The Berezin symbol à of an operator A acting on the reproducing kernel Hilbert space H = H(Ω) over some (nonempty) set is defined by \(\tilde A(\lambda ) = \left\langle {A\hat k_\lambda ,\hat k_\lambda } \right\rangle \), λ ∈ Ω, where \(\hat k_\lambda = k_\lambda /\left\| {k_\lambda } \right\|\) is the normalized reproducing kernel of H. The Berezin number of the operator A is defined by \(ber(A) = \mathop {\sup }\limits_{\lambda \in \Omega } \left| {\tilde A(\lambda )} \right| = \mathop {\sup }\limits_{\lambda \in \Omega } \left| {\left\langle {A\hat k_\lambda ,\hat k_\lambda } \right\rangle } \right|\). Moreover, ber(A) ? w(A) (numerical radius). We present some Berezin number inequalities. Among other inequalities, it is shown that if \(T = \left[ {\begin{array}{*{20}c} A & B \\ C & D \\ \end{array} } \right] \in \mathbb{B}(\mathcal{H}(\Omega _1 ) \oplus \mathcal{H}(\Omega _2 ))\), then

$$ber(T) \leqslant \frac{1}{2}(ber(A) + ber(D)) + \frac{1}{2}\sqrt {(ber(A) - ber(D))^2 + \left( {\left\| B \right\| + \left\| C \right\|} \right)^2 } .$$

     

A positive solution of a nonlinear Schrdinger system with nonconstant potentials

In this paper, we study the existence of positive solutions to the following Schr¨odinger system:{-?u + V_1(x)u = μ_1(x)u~3+ β(x)v~2u, x ∈R~N,-?v + V_2(x)v = μ_2(x)v~3+ β(x)u~2v, x ∈R~N,u, v ∈H~1(R~N),where N = 1, 2, 3; V_1(x) and V_2(x) are positive and continuous, but may not be well-shaped; and μ_1(x), μ_2(x)and β(x) are continuous, but may not be positive or anti-well-shaped. We prove that the system has a positive solution when the coefficients Vi(x), μ_i(x)(i = 1, 2) and β(x) satisfy some additional conditions.     

A remark on the existence of entire large and bounded solutions to a (<Emphasis Type="Italic">k</Emphasis><Subscript>1</Subscript>, <Emphasis Type="Italic">k</Emphasis><Subscript>2</Subscript>)-Hessian system with gradient term

In this paper, we study the existence of positive entire large and bounded radial positive solutions for the following nonlinear system

$$\left\{ {\begin{array}{*{20}c}{S_{k_1 } \left( {\lambda \left( {D^2 u_1 } \right)} \right) + a_1 \left( {\left| x \right|} \right)\left| {\nabla u_1 } \right|^{k_1 } = p_1 \left( {\left| x \right|} \right)f_1 \left( {u_2 } \right)} & {for x \in \mathbb{R}^N ,} \\{S_{k_2 } \left( {\lambda \left( {D^2 u_2 } \right)} \right) + a_2 \left( {\left| x \right|} \right)\left| {\nabla u_2 } \right|^{k_2 } = p_2 \left( {\left| x \right|} \right)f_2 \left( {u_1 } \right)} & {for x \in \mathbb{R}^N .} \\\end{array} } \right.$$

Here \({S_{{k_i}}}\left( {\lambda \left( {{D^2}{u_i}} \right)} \right)\) is the k _i -Hessian operator, a ₁, p ₁, f ₁, a ₂, p ₂ and f ₂ are continuous functions.

     

Some <Emphasis Type="Italic">q</Emphasis>-inequalities for Hausdorff operators

We calculate the sharp bounds for some q-analysis variants of Hausdorff type inequalities of the form

$$\int_0^{ + \infty } {{{\left( {\int_0^{ + \infty } {\frac{{\phi \left( t \right)}}{t}f\left( {\frac{x}{t}} \right){d_q}t} } \right)}^p}{d_q}x} \leqslant {C_\phi }\int_0^b {{f^p}\left( t \right)} {d_q}t$$

. As applications, we obtain several sharp q-analysis inequalities of the classical positive integral operators, including the Hardy operator and its adjoint operator, the Hilbert operator, and the Hardy-Littlewood-Pólya operator.

     

Stability of uncertain discrete systems

The uncertain system

$x_{n + 1} = A_n x_n , n = 0,1,2, \ldots ,$

is considered, where the coefficients a _ij (n) of the m×m matrix A _n are functionals of any nature subject to the constraints

$\begin{array}{*{20}c} {\left| {a_{i,i} (n)} \right| \leqslant \alpha _ * < 1,} \\ {\left| {a_{i,j} (n)} \right| \leqslant \alpha _0 for j \geqslant i + 1,} \\ {\left| {a_{i,j} (n)} \right| \leqslant \delta for j < i.} \\ \end{array} $

Such systems include, in particular, switched-type systems, whose matrix A can take values in a given finite set.By using a special Lyapunov function, a bound δ ≤ δ(α₀,α_*) ensuring the global asymptotic stability of the system is found. In particular, the system is stable if the last inequality is replaced by a _i,j (n) = 0 for j < i.It is shown that pulse-width modulated systems reduce to the uncertain systems under consideration; moreover, in the case of a pulse-width modulation of the first kind, the coefficients of the matrix A are functions of x(n), and in the case of a modulation of the second kind, they are functionals.     

Geometric interpretation of the Euler-Knopp summation method in the problem of inverting the Laplace transform

In this paper, we consider a method for inverting the Laplace transform F(s) = \(\int\limits_0^\infty {e^{ - st} f(t)dt} \), which consists in representing the original function by the Laguerre series

$f(t) = \sum\limits_{k = 0}^\infty {a_k L_k (bt).} $

(1)

First, we perform a conformal mapping of the plane (s), which depends on parameter ξ. The value of the parameter is determined by the location of the singular points of the given representation. Under this mapping, series (1) takes the form

$f(t) = \frac{{b - \xi }}{b}\exp (\xi t)\sum\limits_{k = 0}^\infty {c_k L_k ((b - \xi )t).} $

It is demonstrated that such inverting scheme is equivalent to applying the Picone-Tricomi method with further acceleration of the rate of convergence of series (1) using the Euler-Knopp nonlinear procedure

$\sum\limits_{k = 0}^\infty {a_k z^k } = \sum\limits_{k = 0}^\infty {A_k (p)\frac{{z^k }}{{(1 - pz)^{k + 1} }},} A_k (p) = \sum\limits_{j = 0}^k {\left( \begin{gathered} k \hfill \\ j \hfill \\ \end{gathered} \right)( - p)^{k - j} a_j } .$

Under this approach, the original function is represented by the series

$f(t) = \exp \left( {\frac{{bpt}}{{p - 1}}} \right)\sum\limits_{k = 0}^\infty {\frac{{A_k (p)}}{{(1 - p)^{k + 1} }}L_k } \left( {\frac{{bpt}}{{1 - p}}} \right),$

where parameters ξ and p are related by the formula p = x/(ξ ? b). Unlike many other methods for summation of series, in the scheme suggested, there is no need to investigate the regularity conditions.

     

On the equation $${{\rm det}\,\nabla{u}=f}$$ with no sign hypothesis

We prove existence of \({u\in C^{k}(\overline{\Omega};\mathbb{R}^{n})}\) satisfying

$\left\{\begin{array}{ll} det\nabla u(x) =f(x) \, x\in \Omega\\ u(x) =x \quad\quad\quad\quad x\in\partial\Omega\end{array}\right.$

where k ≥ 1 is an integer, \({\Omega}\) is a bounded smooth domain and \({f\in C^{k}(\overline{\Omega}) }\) satisfies

$\int\limits_{\Omega}f(x) dx={\rm meas} \Omega$

with no sign hypothesis on f.

     

On the phase transitions of (<Emphasis Type="Italic">k</Emphasis>, <Emphasis Type="Italic">q</Emphasis>)-SAT

Call a sequence of k Boolean variables or their negations a k-tuple. For a set V of n Boolean variables, let T _k (V) denote the set of all 2 ^k n ^k possible k-tuples on V. Randomly generate a set C of k-tuples by including every k-tuple in T _k (V) independently with probability p, and let Q be a given set of q “bad” tuple assignments. An instance I = (C,Q) is called satisfiable if there exists an assignment that does not set any of the k-tuples in C to a bad tuple assignment in Q. Suppose that θ, q > 0 are fixed and ε = ε(n) > 0 be such that εlnn/lnlnn→∞. Let k ≥ (1 + θ) log₂ n and let \({p_0} = \frac{{\ln 2}}{{q{n^{k - 1}}}}\). We prove that

$$\mathop {\lim }\limits_{n \to \infty } P\left[ {I is satisfiable} \right] = \left\{ {\begin{array}{*{20}c} {1,} & {p \leqslant (1 - \varepsilon )p_0 ,} \\ {0,} & {p \geqslant (1 + \varepsilon )p_0 .} \\ \end{array} } \right.$$

     

Classification of certain qualitative properties of solutions for the quasilinear parabolic equations

In this paper, we mainly consider the initial boundary problem for a quasilinear parabolic equation u_t-div(|?u|~(p-2)?u) =-|u|~(β-1) u + α|u|~(q-2 )u,where p 1, β 0, q≥1 and α 0. By using Gagliardo-Nirenberg type inequality, the energy method and comparison principle, the phenomena of blowup and extinction are classified completely in the different ranges of reaction exponents.