Standard monomials for <Emphasis Type="Italic">q</Emphasis>-uniform families and a conjecture of Babai and Frankl

Let n, k, α be integers, n, α>0, p be a prime and q=p ^α. Consider the complete q-uniform family

$\mathcal{F}\left( {k,q} \right) = \left\{ {K \subseteq \left[ n \right]:\left| K \right| \equiv k(mod q)} \right\}$

We study certain inclusion matrices attached to F(k,q) over the field\(\mathbb{F}_p \). We show that if l≤q?1 and 2l≤n then

$rank_{\mathbb{F}_p } I(\mathcal{F}(k,q),\left( {\begin{array}{*{20}c} {\left[ n \right]} \\ { \leqslant \ell } \\ \end{array} } \right)) \leqslant \left( {\begin{array}{*{20}c} n \\ \ell \\ \end{array} } \right)$

This extends a theorem of Frankl [7] obtained for the case α=1. In the proof we use arguments involving Gröbner bases, standard monomials and reduction. As an application, we solve a problem of Babai and Frankl related to the size of some L-intersecting families modulo q.     

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.

     

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 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.

     

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.     

Break-down criterion for the water-wave equation

We study the break-down mechanism of smooth solution for the gravity water-wave equation of infinite depth. It is proved that if the mean curvature κ of the free surface Σt, the trace(V, B) of the velocity at the free surface, and the outer normal derivative ?P/?n of the pressure P satisfy sup t∈[0,T]||κ(t)||~(Lp∩L~2+∫~T_0||(▽V, ▽B)(t)||~6_(L∞)dt+∞,inf (t,x,y)∈[0,T]×Σ_t-?P/?n(t, x, y)≥c0,for some p 2d and c_0 0, then the solution can be extended after t = T.     

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.

     

Boundary value problems for complete quasi-parabolic differential equations of odd order with variable domains of operators

We prove the well-posed solvability in the strong sense of the boundary value Problems

$$\begin{gathered} ( - 1)\frac{{_m d^{2m + 1} u}}{{dt^{2m + 1} }} + \sum\limits_{k = 0}^{m - 1} {\frac{{d^{k + 1} }}{{dt^{k + 1} }}} A_{2k + 1} (t)\frac{{d^k u}}{{dt^k }} + \sum\limits_{k = 1}^m {\frac{{d^k }}{{dt^k }}} A_{2k} (t)\frac{{d^k u}}{{dt^k }} + \lambda _m A_0 (t)u = f, \hfill \\ t \in ]0,t[,\lambda _m \geqslant 1, \hfill \\ {{d^i u} \mathord{\left/ {\vphantom {{d^i u} {dt^i }}} \right. \kern-\nulldelimiterspace} {dt^i }}|_{t = 0} = {{d^j u} \mathord{\left/ {\vphantom {{d^j u} {dt^j }}} \right. \kern-\nulldelimiterspace} {dt^j }}|_{t = T} = 0,i = 0,...,m,j = 0,...,m - 1,m = 0,1,..., \hfill \\ \end{gathered} $$

where the unbounded operators A _s (t), s > 0, in a Hilbert space H have domains D(A _s (t)) depending on t, are subordinate to the powers A ^1?(s?1)/2m (t) of some self-adjoint operators A(t) ≥ 0 in H, are [(s+1)/2] times differentiable with respect to t, and satisfy some inequalities. In the space H, the maximally accretive operators A ₀(t) and the symmetric operators A _s (t), s > 0, are approximated by smooth maximally dissipative operators B(t) in such a way that

$$\begin{gathered} \mathop {lim}\limits_{\varepsilon \to 0} Re(A_0 (t)B_\varepsilon ^{ - 1} (t)(B_\varepsilon ^{ - 1} (t))^ * u,u)_H = Re(A_0 (t)u,u)_H \geqslant c(A(t)u,u)_H \hfill \\ \forall u \in D(A_0 (t)),c > 0, \hfill \\ \end{gathered} $$

, where the smoothing operators are defined by

$$B_\varepsilon ^{ - 1} (t) = (I - \varepsilon B(t))^{ - 1} ,(B_\varepsilon ^{ - 1} (t)) * = (I - \varepsilon B^ * (t))^{ - 1} ,\varepsilon > 0.$$

.

     

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.

     

Classes of Idempotents in Hilbert Space

An idempotent operator E in a Hilbert space \({\mathcal {H}}\) \((E^2=1)\) is written as a \(2\times 2\) matrix in terms of the orthogonal decomposition

$$\begin{aligned} {\mathcal {H}}=R(E)\oplus R(E)^\perp \end{aligned}$$

(R(E) is the range of E) as

$$\begin{aligned} E=\left( \begin{array}{l@{\quad }l} 1_{R(E)} &{} E_{1,2} \\ 0 &{} 0 \end{array} \right) . \end{aligned}$$

We study the sets of idempotents that one obtains when \(E_{1,2}:R(E)^\perp \rightarrow R(E)\) is a special type of operator: compact, Fredholm and injective with dense range, among others.

     

Weighted polyharmonic equation with Navier boundary conditions in a half space

We study positive solutions of the following polyharmonic equation with Hardy weights associated to Navier boundary conditions on a half space:?????(-?)~mu(x)=u~p(x)/|x|~s,in R_+~n,u(x)=-?u(x)=…=(-?)~(m-1)u(x)=0,on ?R_+~n,(0.1)where m is any positive integer satisfying 02mn.We first prove that the positive solutions of(0.1)are super polyharmonic,i.e.,(-?)~iu0,i=0,1,...,m-1.(0.2) For α=2m,applying this important property,we establish the equivalence between (0.1) and the integral equation u(x)=c_n∫R_+~n(1/|x-y|~(n-α)-1/|x~*-y|~(n-α))u~p(y)/|y|~sdy,(0.3) where x~*=(x1,...,x_(n-1),-x_n) is the reflection of the point x about the plane R~(n-1).Then,we use the method of moving planes in integral forms to derive rotational symmetry and monotonicity for the positive solution of(0.3),in whichαcan be any real number between 0 and n.By some Pohozaev type identities in integral forms,we prove a Liouville type theorem—the non-existence of positive solutions for(0.1).     

Infinitely many sign-changing solutions of an elliptic problem involving critical Sobolev and Hardy–Sobolev exponent

We study the existence and multiplicity of sign-changing solutions of the following equation

$$\begin{array}{@{}rcl@{}} \left\{\begin{array}{lllllllll} -{\Delta} u = \mu |u|^{2^{\star}-2}u+\frac{|u|^{2^{*}(t)-2}u}{|x|^{t}}+a(x)u \quad\text{in}\, {\Omega}, \\ u=0 \quad\text{on}\quad\partial{\Omega}, \end{array}\right. \end{array} $$

where Ω is a bounded domain in \(\mathbb {R}^{N}\), 0∈?Ω, all the principal curvatures of ?Ω at 0 are negative and μ≥0, a>0, N≥7, 0<t<2, \(2^{\star }=\frac {2N}{N-2}\) and \(2^{\star }(t)=\frac {2(N-t)}{N-2}\).

     

The emission spectrum of IBr excited in the presence of Argon

Wavelengths and wavenumbers of the band heads in the region 3915–3540 Å are recorded as obtained from the measurements of the plates taken on a first order 21-feet grating spectrograph. Earlier workers recently reported 40 bands of this system covering the region 3900–3800 Å. All the bands of this system obtained in the present experiments are analysed as involving the³ Π (1) state for lower state. The constants for the lower state are such that they represent well the ΔG (v+1/2) values obtained in the present experiments fromv=0 tov=26 as well as those obtained by Brown fromv=9 tov=43. The vibrational constants of the two states involved are:

$$\begin{gathered} \begin{array}{*{20}c} {\omega _e ^{\prime \prime } } \\ {137 \cdot 8 cm.^{ - 1} ,} \\ \end{array} \begin{array}{*{20}c} {\omega _e ^{\prime \prime } x_e ^{\prime \prime } } \\ {0 \cdot 571 cm.^{ - 1} } \\ \end{array} \begin{array}{*{20}c} {\omega _e ^{\prime \prime } y_e ^{\prime \prime } } \\ { - 0 \cdot 1156 cm.^{ - 1} } \\ \end{array} \begin{array}{*{20}c} {\omega _e z_e ^{\prime \prime } } \\ {3 \cdot 09 \times 10^{ - 3} cm.^{ - 1} } \\ \end{array} \hfill \\ \begin{array}{*{20}c} {\omega _e ^{\prime \prime } t_e ^{\prime \prime } } \\ { - 2 \cdot 5 \times 10^{ - 5} cm.^{ - 1} ,} \\ \end{array} \begin{array}{*{20}c} {\omega _e ^\prime } \\ {90 \cdot 1 cm.^{ - 1} ,} \\ \end{array} \begin{array}{*{20}c} {\omega _e ^\prime x_e ^\prime } \\ {0 \cdot 15 cm.^{ - 1} } \\ \end{array} \hfill \\ \end{gathered} $$     

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.

     

Positive Solutions of a Third-Order Boundary Value Problem with Full Nonlinearity

This paper is concerned with the existence of positive solutions of the third-order boundary value problem with full nonlinearity

$$\begin{aligned} \left\{ \begin{array}{lll} u'''(t)&{}=f(t,u(t),u'(t),u''(t)),\quad t\in [0,1],\\ u(0)&{}=u'(1)=u''(1)=0, \end{array}\right. \end{aligned}$$

where \(f:[0,1]\times \mathbb {R}^+\times \mathbb {R}^+\times \mathbb {R}^-\rightarrow \mathbb {R}^+\) is continuous. Under some inequality conditions on f as |(x, y, z)| small or large enough, the existence results of positive solution are obtained. These inequality conditions allow that f(t, x, y, z) may be superlinear, sublinear or asymptotically linear on x, y and z as \(|(x,y,z)|\rightarrow 0\) and \(|(x,y,z)|\rightarrow \infty \). For the superlinear case as \(|(x,y,z)|\rightarrow \infty \), a Nagumo-type growth condition is presented to restrict the growth of f on y and z. Our discussion is based on the fixed point index theory in cones.

     

A continuous model for systems of complexity 2 on simple abelian groups

It is known that if p is a sufficiently large prime, then, for every function f: Z_p → [0, 1], there exists a continuous function f′: T → [0, 1] on the circle such that the averages of f and f′ across any prescribed system of linear forms of complexity 1 differ by at most ∈. This result follows from work of Sisask, building on Fourier-analytic arguments of Croot that answered a question of Green. We generalize this result to systems of complexity at most 2, replacing T with the torus T² equipped with a specific filtration. To this end, we use a notion of modelling for filtered nilmanifolds, that we define in terms of equidistributed maps and combine this notion with tools of quadratic Fourier analysis. Our results yield expressions on the torus for limits of combinatorial quantities involving systems of complexity 2 on Z_p. For instance, let m₄(α, Z_p) denote the minimum, over all sets A ? Z_p of cardinality at least αp, of the density of 4-term arithmetic progressions inside A. We show that limp→∞ m₄(α, Z_p) is equal to the infimum, over all continuous functions f: T₂ →[0, 1] with \({\smallint _{{T^2}}}f \geqslant a\), of the integral

$$\int_{{T^5}} {f\left( {\begin{array}{*{20}{c}}{{x_1}} \\ {{y_1}} \end{array}} \right)} f\left( {\begin{array}{*{20}{c}}{{x_1} + {x_2}} \\ {{y_1} + {y_2}} \end{array}} \right)f\left( {\begin{array}{*{20}{c}}{{x_1} + 2{x_2}} \\ {{y_1} + 2{y_2} + {y_3}} \end{array}} \right).f\left( {\begin{array}{*{20}{c}}{{x_1} + 3{x_2}} \\ {{y_1} + 3{y_2} = 3{y_3}} \end{array}} \right)d{\mu _{{T^5}}}({x_1},{x_2},{y_1},{y_2},{y_3})$$

     

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.

     

Ground state solutions of Nehari–Pohozaev type for Kirchhoff-type problems with general potentials

This paper is dedicated to studying the following Kirchhoff-type problem

$$\begin{aligned} \left\{ \begin{array}{l@{\quad }l} -\left( a+b\int _{\mathbb {R}^3}|\nabla u|^2\mathrm {d}x\right) \triangle u+V(x)u=f(u), &{} x\in \mathbb {R}^3; \\ u\in H^1(\mathbb {R}^3), \end{array} \right. \end{aligned}$$

(0.1)

where \(a>0,\,b\ge 0\) are two constants, V(x) is differentiable and \(f\in \mathcal {C}(\mathbb {R}, \mathbb {R})\). By introducing some new tricks, we prove that the above problem admits a ground state solution of Nehari–Pohozaev type and a least energy solution under some mild assumptions on V and f. Our results generalize and improve the ones in Guo (J Differ Equ 259:2884–2902, 2015) and Li and Ye (J Differ Equ 257:566–600, 2014) and some other related literature.

     

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. $$