Let p be an odd prime and let a be a positive integer. In this paper we investigate the sum $\genfrac{}{}{0pt}{}{{\sum }_{k=0}^{p^a-1}(h{p}^a-1}{\genfrac{}{}{0pt}{}{k\left)\right(2k}{k)/m^k\left(modp²\right)}}$, where h and m are p-adic integers with m ≢ 0 (mod p). For example, we show that if h ≢ 0 (mod p) and $p^a>3$, then $\genfrac{}{}{0pt}{}{{\sum }_{k=0}^{p^a-1}(h{p}^a-1}{\genfrac{}{}{0pt}{}{k\left)\right(2k}{{k)(-h/2)}^k\equiv ((1-2h)/\left(p^a\right))(1+h({(4-2/h)}^{p-1}-1))\left(modp²\right)}}$, where (·/·) denotes the Jacobi symbol. Here is another remarkable congruence: If $p^a>3$ then $\genfrac{}{}{0pt}{}{{\sum }_{k=0}^{p^a-1}(p^a-1}{\genfrac{}{}{0pt}{}{k\left)\right(2k}{{k)(-1)}^k\equiv 3^{p-1}(p^a/3)\left(modp²\right)}}$.

Let ℤ be the set of integers, and let (m,n) be the greatest common divisor of integers m and n. Let p be a prime of the form 4k+1 and p = c²+d² with c,d ∈ ℤ, $d=2^{r}d₀$ and c ≡ d₀ ≡ 1 (mod 4). In the paper we determine ${(b+\surd (b²+4^{\alpha })/2)}^{(p-1)/4)}\left(modp\right)$ for p = x²+(b²+4α)y² (b,x,y ∈ ℤ, 2∤b), and ${(2a+\surd 4a²+1)}^{(p-1)/4}\left(modp\right)$ for p = x²+(4a²+1)y² (a,x,y∈ℤ) on the condition that (c,x+d) = 1 or (d₀,x+c) = 1. As applications we obtain the congruence for $U_{(p-1)/4}\left(modp\right)$ and the criterion for $p|U_{(p-1)/8}$ (if p ≡ 1 (mod 8)), where Uₙ is the Lucas sequence given by U₀ = 0, U₁ = 1 and...

The number of solutions of the congruence $a₁x₁+\cdots +a_k{x}_k\equiv 0\left(modn\right)$ in the box $0\le x_i\le b_i$ is estimated from below in the best possible way, provided for all i,j either $(a_i,n)|(a_j,n)$ or $(a_j,n)|(a_i,n)$ or $n\left|\right[a_i,a_j]$.

Let ${\sigma }_A\left(n\right)=\left|(a,a^{\text{'}})\in A²:a+a^{\text{'}}=n\right|$, where n ∈ N and A is a subset of N. Erdős and Turán conjectured that for any basis A of order 2 of N, ${\sigma }_A\left(n\right)$ is unbounded. In 1990, Imre Z. Ruzsa constructed a basis A of order 2 of N for which ${\sigma }_A\left(n\right)$ is bounded in the square mean. In this paper, we show that there exists a positive integer m₀ such that, for any integer m ≥ m₀, we have a set A ⊂ Zₘ such that A + A = Zₘ and ${\sigma }_A\left(n̅\right)\le 768$ for all n̅ ∈ Zₘ.

In this paper, we study a model for the magnetization in thin ferromagnetic films. It comes as a variational problem for $S^1$-valued maps $m^{\text{'}}$ (the magnetization) of two variables $x^{\text{'}}$: $E_{\epsilon }\left(m^{\text{'}}\right)=\epsilon \int {|{\nabla }^{\text{'}}·m^{\text{'}}|}^{2}d{x}^{\text{'}}+\frac{1}{2}\int {\left||{\nabla }^{\text{'}}{|}^{-1/2}{\nabla }^{\text{'}}·m^{\text{'}}\right|}^{2}d{x}^{\text{'}}$. We are interested in the behavior of minimizers as $\epsilon \to 0$. They are expected to be $S^1$-valued maps $m^{\text{'}}$ of vanishing distributional divergence ${\nabla }^{\text{'}}·m^{\text{'}}=0$, so that appropriate boundary conditions enforce line discontinuities. For finite $\epsilon >0$, these line discontinuities are approximated by smooth transition layers, the so-called Néel...

We consider elementary operators $x\mapsto {\sum }_{j=1}^n{a}_{j}x{b}_j$, acting on a unital Banach algebra, where $a_j$ and $b_j$ are separately commuting families of generalized scalar elements. We give an ascent estimate and a lower bound estimate for such an operator. Additionally, we give a weak variant of the Fuglede-Putnam theorem for an elementary operator with strongly commuting families $a_j$ and $b_j$, i.e. $a_j=a_j^{\text{'}}+i{a}_j^{\text{'}\text{'}}$ ($b_j=b_j^{\text{'}}+i{b}_j^{\text{'}\text{'}}$), where all $a_j^{\text{'}}$ and $a_j^{\text{'}\text{'}}$ ($b_j^{\text{'}}$ and $b_j^{\text{'}\text{'}}$) commute. The main tool is an L¹ estimate of the Fourier transform of a certain class...

Let d be a positive integer and μ a generalized Cantor measure satisfying $\mu ={\sum }_{j=1}^m{a}_j\mu \circ S_j^{-1}$, where $0<a_j<1$, ${\sum }_{j=1}^m{a}_j=1$, $S_j=\rho R+b_j$ with 0 < ρ < 1 and R an orthogonal transformation of ${ℝ}^d$. Then ⎧1 < p ≤ 2 ⇒ ⎨$su{p}_{r>0}{r}^{d(1/{\alpha }^{\text{'}}-1/p^{\text{'}})}({\int }_{J_x^r}{\left|\mu ̂\left(y\right)\right|}^{p^{\text{'}}}{dy)}^{1/p^{\text{'}}}\le D₁{\rho }^{-d/{\alpha }^{\text{'}}}$, $x\in {ℝ}^d$, ⎩ p = 2 ⇒ infr≥1 rd(1/α’-1/2) (∫J₀r|μ̂(y)|² dy)1/2 ≥ D₂ρd/α’$,$where $J_x^r={\prod }_{i=1}^d(x_i-r/2,x_i+r/2)$, α’ is defined by ${\rho }^{d/{\alpha }^{\text{'}}}={\left({\sum }_{j=1}^m{a}_j^p\right)}^{1/p}$ and the constants D₁ and D₂ depend only on d and p.

We determine the duals of the homogeneous matrix-weighted Besov spaces ${Ḃ}_p^{\alpha q}\left(W\right)$ and ${ḃ}_p^{\alpha q}\left(W\right)$ which were previously defined in [5]. If W is a matrix $A_p$ weight, then the dual of ${Ḃ}_p^{\alpha q}\left(W\right)$ can be identified with ${Ḃ}_{p^{\text{'}}}^{-\alpha q^{\text{'}}}\left(W^{-p^{\text{'}}/p}\right)$ and, similarly, $\left[{ḃ}_p^{\alpha q}\left(W\right)\right]*\approx {ḃ}_{p^{\text{'}}}^{-\alpha q^{\text{'}}}\left(W^{-p^{\text{'}}/p}\right)$. Moreover, for certain W which may not be in the $A_p$ class, the duals of ${Ḃ}_p^{\alpha q}\left(W\right)$ and ${ḃ}_p^{\alpha q}\left(W\right)$ are determined and expressed in terms of the Besov spaces ${Ḃ}_{p^{\text{'}}}^{-\alpha q^{\text{'}}}\left(A_Q^{-1}\right)$ and ${ḃ}_{p^{\text{'}}}^{-\alpha q^{\text{'}}}\left(A_Q^{-1}\right)$, which we define in terms of reducing operators ${A_Q}_Q$ associated with W. We also develop the basic theory of these reducing operator Besov spaces....

This paper concerns the following system of nonlinear third-order boundary value problem: $$u_i^{\text{'}\text{'}\text{'}}\left(t\right)+f_i(t,u_1\left(t\right),\cdots ,u_n\left(t\right),u_1^{\text{'}}\left(t\right),\cdots ,u_n^{\text{'}}\left(t\right))=0,0<t<1,i\in \{1,\cdots ,n\}$$ with the following multi-point and integral boundary conditions: $$\left\{\begin{array}{c}{u}_i\left(0\right)=0u_i^{\text{'}}\left(0\right)=0u_i^{\text{'}}\left(1\right)=\sum _{j=1}^p{\beta }_{j,i}{u}_i^{\text{'}}\left({\eta }_{j,i}\right)+{\int }_0^1{h}_i(u_1\left(s\right),\cdots ,u_n\left(s\right))ds\hfill \end{array}\right.$$ where ${\beta }_{j,i}>0$, $0<{\eta }_{1,i}<\cdots <{\eta }_{p,i}<\frac{1}{2}$, $f_i:[0,1]\times {ℝ}^n\times {ℝ}^n\to ℝ$ and $h_i:[0,1]\times {ℝ}^n\to ℝ$ are continuous functions for all $i\in \{1,\cdots ,n\}$ and $j\in \{1,\cdots ,p\}$. Using Guo-Krasnosel’skii fixed point theorem in cone, we discuss the existence of positive solutions of this problem. We also prove nonexistence of positive solutions and we give some examples to illustrate our results.

A couple ($\sigma ,\tau$) of lower and upper slopes for the resonant second order boundary value problem $$x^{\text{'}\text{'}}=f(t,x,x^{\text{'}}),x\left(0\right)=0,x^{\text{'}}\left(1\right)={\int }_0^1{x}^{\text{'}}\left(s\right)\mathrm{d}g\left(s\right),$$ with $g$ increasing on $[0,1]$ such that ${\int }_0^{1}dg=1$, is a couple of functions $\sigma ,\tau \in C^1\left([0,1]\right)$ such that $\sigma \left(t\right)\le \tau \left(t\right)$ for all $t\in [0,1]$, $$\begin{array}{c}{\sigma }^{\text{'}}\left(t\right)\ge f(t,x,\sigma \left(t\right)),\sigma \left(1\right)\le {\int }_0^1\sigma \left(s\right)\mathrm{d}g\left(s\right),\\ {\tau }^{\text{'}}\left(t\right)\le f(t,x,\tau \left(t\right)),\tau \left(1\right)\ge {\int }_0^1\tau \left(s\right)\mathrm{d}g\left(s\right),\end{array}$$ in the stripe ${\int }_0^t\sigma \left(s\right)\mathrm{d}s\le x\le {\int }_0^t\tau \left(s\right)\mathrm{d}s$ and $t\in [0,1]$. It is proved that the existence of such a couple $(\sigma ,\tau )$ implies the existence and localization of a solution to the boundary value problem. Multiplicity results are also obtained.

For a double complex $(A,d^{\text{'}},d^{\text{'}\text{'}})$, we show that if it satisfies the $d^{\text{'}}{d}^{\text{'}\text{'}}$-lemma and the spectral sequence $\left\{E_r^{p,q}\right\}$ induced by $A$ does not degenerate at $E_0$, then it degenerates at $E_1$. We apply this result to prove the degeneration at $E_1$ of a Hodge-de Rham spectral sequence on compact bi-generalized Hermitian manifolds that satisfy a version of $d^{\text{'}}{d}^{\text{'}\text{'}}$-lemma.

Let A denote the space of all analytic functions in the unit disc Δ with the normalization f(0) = f’(0) − 1 = 0. For β < 1, let $P{⁰}_{\beta }=f\in A:Re{f}^{\text{'}}\left(z\right)>\beta ,z\in \Delta$. For λ > 0, suppose that denotes any one of the following classes of functions: $M_{1,\lambda }^{\left(1\right)}=f\in :Rez{\left(z{f}^{\text{'}}\left(z\right)\right)}^{\text{'}\text{'}}>-\lambda ,z\in \Delta$, $M_{1,\lambda }^{\left(2\right)}=f\in :Rez{\left(z²f^{\text{'}\text{'}}\left(z\right)\right)}^{\text{'}\text{'}}>-\lambda ,z\in \Delta$, $M_{1,\lambda }^{\left(3\right)}=f\in :Re1/2{\left(z{\left(z²f^{\text{'}}\left(z\right)\right)}^{\text{'}\text{'}}\right)}^{\text{'}}-1>-\lambda ,z\in \Delta$. The main purpose of this paper is to find conditions on λ and γ so that each f ∈ is in ${}_{\gamma }$ or ${}_{\gamma }$, γ ∈ [0,1/2]. Here ${}_{\gamma }$ and ${}_{\gamma }$ respectively denote the class of all starlike functions of order γ and the class of all convex functions of order γ. As a consequence, we obtain...

Let P and Q be nonzero integers. The sequences of generalized Fibonacci and Lucas numbers are defined by U₀ = 0, U₁ = 1 and $U_{n+1}=PUₙ-Q{U}_{n-1}$ for n ≥ 1, and V₀ = 2, V₁ = P and $V_{n+1}=PVₙ-Q{V}_{n-1}$ for n ≥ 1, respectively. In this paper, we assume that P ≥ 1, Q is odd, (P,Q) = 1, Vₘ ≠ 1, and $V_r\ne 1$. We show that there is no integer x such that $Vₙ=V_{r}Vₘx²$ when m ≥ 1 and r is an even integer. Also we completely solve the equation $Vₙ=VₘV_{r}x²$ for m ≥ 1 and r ≥ 1 when Q ≡ 7 (mod 8) and x is an even integer. Then we show that when P ≡ 3 (mod 4) and...

Let $E$ and $f$ be an Eisenstein series and a cusp form, respectively, of the same weight $k\ge 2$ and of the same level $N$, both eigenfunctions of the Hecke operators, and both normalized so that $a_1\left(f\right)=a_1\left(E\right)=1$. The main result we prove is that when $E$ and $f$ are congruent mod a prime $𝔭$ (which we take in this paper to be a prime of $\overline{\mathbb{Q}}$ lying over a rational prime $p\&gt;2$), the algebraic parts of the special values $L(E,\chi ,j)$ and $L(f,\chi ,j)$ satisfy congruences mod the same prime. More explicitly, we prove that, under certain conditions, ...