Let p be a prime, ℤₚ be the finite field in p elements, k be a positive integer, and A be the multiplicative subgroup of nonzero kth powers in ℤₚ. The goal of this paper is to determine, for a given positive integer s, a value tₛ such that if |A| ≫ tₛ then every element of ℤₚ is a sum of s kth powers. We obtain $t₄=p^{22/39+ϵ}$, $t₅=p^{15/29+ϵ}$ and for s ≥ 6, $tₛ=p^{(9s+45)/(29s+33)+ϵ}$. For s ≥ 24 further improvements are made, such as $t_{32}=p^{5/16+ϵ}$ and $t_{128}=p^{1/4}$.

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

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 say a sequence $={\left(sₙ\right)}_{n\ge 0}$ is primefree if |sₙ| is not prime for all n ≥ 0, and to rule out trivial situations, we require that no single prime divides all terms of . In this article, we focus on the particular Lucas sequences of the first kind, ${}_a={\left(uₙ\right)}_{n\ge 0}$, defined by u₀ = 0, u₁ = 1, and uₙ = aun-1 + un-2 for n≥2, where a is a fixed integer. More precisely, we show that for any integer a, there exist infinitely many integers k such that both of the shifted sequences ${}_a\pm k$ are simultaneously primefree. This...

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

Let $\mathbb{Z}$ be the set of integers, ${\mathbb{N}}_0$ the set of nonnegative integers and $F(x_1,x_2)=u_1{x}_1+u_2{x}_2$ be a binary linear form whose coefficients $u_1$, $u_2$ are nonzero, relatively prime integers such that $u_1{u}_2\ne \pm 1$ and $u_1{u}_2\ne -2$. Let $f:\mathbb{Z}\to {\mathbb{N}}_0\cup \left\{\infty \right\}$ be any function such that the set $f^{-1}\left(0\right)$ has asymptotic density zero. In 2007, M. B. Nathanson (2007) proved that there exists a set $A$ of integers such that $r_{A,F}\left(n\right)=f\left(n\right)$ for all integers $n$, where $r_{A,F}\left(n\right)=\left|\{(a,a^{\text{'}}):n=u_{1}a+u_2{a}^{\text{'}}:a,a^{\text{'}}\in A\}\right|$. We add the structure of difference for the binary linear form $F(x_1,x_2)$.

Characterizations of equicontinuity and convergent sequences are given for the space ${}_C^{\text{'}}\left(ℝⁿ\right)$ of rapidly decreasing distributions and the space ${}_M\left(ℝⁿ\right)$ of slowly increasing infinitely differentiable functions.

Given an integer $n\ge 3$, let $u_1,...,u_n$ be pairwise coprime integers $\ge 2$, $𝒟$ a family of nonempty proper subsets of $\{1,...,n\}$ with “enough” elements, and $\epsilon$ a function $𝒟\to \{\pm 1\}$. Does there exist at least one prime $q$ such that $q$ divides ${\prod }_{i\in I}{u}_i-\epsilon \left(I\right)$ for some $I\in 𝒟$, but it does not divide $u_1\cdots u_n$? We answer this question in the positive when the $u_i$ are prime powers and $\epsilon$ and $𝒟$ are subjected to certain restrictions. We use the result to prove that, if ${\epsilon }_0\in \{\pm 1\}$ and $A$ is a set of three or more primes that contains all prime divisors of any...

For the dynamics $x^{\text{'}\text{'}}=-{\nabla }_{x}V\left(x\right)$, an equilibrium point $\underline{x}$ are always unstable when on a neighborhood of $\underline{x}$ the non constant $V$ satisfies $P(x,\partial )V=0$ for a real second order elliptic $P$. The proof uses a result of Kozlov [6].

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.

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\left(z\right)$ be a polynomial of degree $n$ having no zeros in $\left|z\right|<k$, $k\le 1$, and let $Q\left(z\right):=z^n\overline{P(1/\overline{z})}$. It was shown by Govil that if ${max}_{\left|z\right|=1}\left|P^{\text{'}}\left(z\right)\right|$ and ${max}_{\left|z\right|=1}\left|Q^{\text{'}}\left(z\right)\right|$ are attained at the same point of the unit circle $\left|z\right|=1$, then $$\underset{\left|z\right|=1}{max}|P^{\text{'}}\left(z\right)|\le \frac{n}{1+k^n}\underset{\left|z\right|=1}{max}\left|P\left(z\right)\right|.$$ The main result of the present article is a generalization of Govil’s polynomial inequality to a class of entire functions of exponential type.

It is proved that real functions on $ℝ$ which can be represented as the difference of two semiconvex functions with a general modulus (or of two lower $C^1$-functions, or of two strongly paraconvex functions) coincide with semismooth functions on $ℝ$ (i.e. those locally Lipschitz functions on $ℝ$ for which $f_{+}^{\text{'}}\left(x\right)={lim}_{t\to x+}{f}_{+}^{\text{'}}\left(t\right)$ and $f_{-}^{\text{'}}\left(x\right)={lim}_{t\to x-}{f}_{-}^{\text{'}}\left(t\right)$ for each $x$). Further, for each modulus $\omega$, we characterize the class $DS{C}_{\omega }$ of functions on $ℝ$ which can be written as $f=g-h$, where $g$ and $h$ are semiconvex with modulus $C\omega$ (for some $C>0$) using a new...

About Lehmer’s number, many people have studied its various properties, and obtained a series of interesting results. In this paper, we consider a generalized Lehmer problem: Let $p$ be a prime, and let $N(k;p)$ denote the number of all $1\le a_i\le p-1$ such that $a_1{a}_2\cdots a_k\equiv 1modp$ and $2\mid a_i+{\overline{a}}_i+1,$ $i=1,2,\cdots ,k$. The main purpose of this paper is using the analytic method, the estimate for character sums and trigonometric sums to study the asymptotic properties of the counting function $N(k;p),$ and give an interesting asymptotic formula...

We construct a version of rational Symplectic Field Theory for pairs $(X,L)$, where $X$ is an exact symplectic manifold, where $L\subset X$ is an exact Lagrangian submanifold with components subdivided into $k$ subsets, and where both $X$ and $L$ have cylindrical ends. The theory associates to $(X,L)$ a $\mathbb{Z}$-graded chain complex of vector spaces over ${\mathbb{Z}}_2$, filtered with $k$ filtration levels. The corresponding $k$-level spectral sequence is invariant under deformations of $(X,L)$ and has the following property: if $(X,L)$ is obtained by...

Let $G$ be a group and $\omega \left(G\right)$ be the set of element orders of $G$. Let $k\in \omega \left(G\right)$ and $m_k\left(G\right)$ be the number of elements of order $k$ in $G$. Let nse$\left(G\right)=\{m_k\left(G\right):k\in \omega \left(G\right)\}$. Assume $r$ is a prime number and let $G$ be a group such that nse$\left(G\right)=$ nse$\left(S_r\right)$, where $S_r$ is the symmetric group of degree $r$. In this paper we prove that $G\cong S_r$, if $r$ divides the order of $G$ and $r^2$ does not divide it. To get the conclusion we make use of some well-known results on the prime graphs of finite simple groups and their components.