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.

Let ${}_s$ be the family of open rectangles in the plane ℝ² with a side of angle s to the x-axis. We say that a set S of directions is an R-set if there exists a function f ∈ L¹(ℝ²) such that the basis ${}_s$ differentiates the integral of f if s ∉ S, and $D{̅}_{s}f\left(x\right)=limsu{p}_{diam\left(R\right)\to 0,x\in R{\in }_s}{\left|R\right|}^{-1}{\int }_{R}f=\infty$ almost everywhere if s ∈ S. If the condition $D{̅}_{s}f\left(x\right)=\infty$ holds on a set of positive measure (instead of a.e.) we say that S is a WR-set. It is proved that S is an R-set (resp. a WR-set) if and only if it is a $G_{\delta }$ (resp. a $G_{\delta \sigma }$).

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

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

In this article we study the comaximal graph ${\Gamma }_{{}_2}^{\text{'}}C\left(X\right)$ of the ring $C\left(X\right)$. We have tried to associate the graph properties of ${\Gamma }_{{}_2}^{\text{'}}C\left(X\right)$, the ring properties of $C\left(X\right)$ and the topological properties of $X$. Radius, girth, dominating number and clique number of the ${\Gamma }_{{}_2}^{\text{'}}C\left(X\right)$ are investigated. We have shown that $2\le Rad{\Gamma }_{{}_2}^{\text{'}}C\left(X\right)\le 3$ and if $\left|X\right|>2$ then $\mathrm{girth}{\Gamma }_{{}_2}^{\text{'}}C\left(X\right)=3$. We give some topological properties of $X$ equivalent to graph properties of ${\Gamma }_{{}_2}^{\text{'}}C\left(X\right)$. Finally we have proved that $X$ is an almost $P$-space which does not have isolated points if and only if $C\left(X\right)$ is an almost...

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.

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.

Let $𝒱$ be a fixed algebraic variety defined by $m$ polynomials in $n$ variables with integer coefficients. We show that there exists a constant $C\left(𝒱\right)$ such that for almost all primes $p$ for all but at most $C\left(𝒱\right)$ points on the reduction of $𝒱$ modulo $p$ at least one of the components has a large multiplicative order. This generalises several previous results and is a step towards a conjecture of B. Poonen.

In many recent articles, medians have been used as a replacement of integral averages when the function fails to be locally integrable. A point $x$ in a metric measure space $(X,d,\mu )$ is called a generalized Lebesgue point of a measurable function $f$ if the medians of $f$ over the balls $B(x,r)$ converge to $f\left(x\right)$ when $r$ converges to $0$. We know that almost every point of a measurable, almost everywhere finite function is a generalized Lebesgue point and the same is true for every point of a continuous function....

In this paper, we examine a natural question concerning the divisors of the polynomial $x^n-1$: “How often does $x^n-1$ have a divisor of every degree between $1$ and $n$?” In a previous paper, we considered the situation when $x^n-1$ is factored in $\mathbb{Z}\left[x\right]$. In this paper, we replace $\mathbb{Z}\left[x\right]$ with ${𝔽}_p\left[x\right]$, where $p$ is an arbitrary-but-fixed prime. We also consider those $n$ where this condition holds for all $p$.

Let $\Omega$ be a bounded domain of class $C^2$ in $ℝ$N and let $K$ be a compact subset of $\partial \Omega$. Assume that $q\ge (N+1)/\left(N-1\right)$ and denote by $U_K$ the maximal solution of $-\Delta u+u^q=0$ in $\Omega$ which vanishes on $\partial \Omega \setminus K$. We obtain sharp upper and lower estimates for $U_K$ in terms of the Bessel capacity $C_{2/q,q^{\text{'}}}$ and prove that $U_K$ is $\sigma$-moderate. In addition we describe the precise asymptotic behavior of $U_K$ at points $\sigma \in K$, which depends on the “density” of $K$ at $\sigma$, measured in terms of the capacity $C_{2/q,q^{\text{'}}}$.

A new derivation of the classic asymptotic expansion of the $n$-th prime is presented. A fast algorithm for the computation of its terms is also given, which will be an improvement of that by Salvy (1994). Realistic bounds for the error with ${li}^{-1}\left(n\right)$, after having retained the first $m$ terms, for $1\le m\le 11$, are given. Finally, assuming the Riemann Hypothesis, we give estimations of the best possible $r_3$ such that, for $n\ge r_3$, we have $p_n\&gt;s_3\left(n\right)$ where $s_3\left(n\right)$ is the sum of the first four terms of the asymptotic...

Let n be a nonnegative integer and let u ∈ (n,n+1]. We say that f is u-times Peano bounded in the approximate (resp. $L^p$, 1 ≤ p ≤ ∞) sense at $x\in {ℝ}^m$ if there are numbers $f_{\alpha }\left(x\right)$, |α| ≤ n, such that $f(x+h)-{\sum }_{\left|\alpha \right|\le n}{f}_{\alpha }\left(x\right)h^{\alpha }/\alpha !$ is $O\left(h^u\right)$ in the approximate (resp. $L^p$) sense as h → 0. Suppose f is u-times Peano bounded in either the approximate or $L^p$ sense at each point of a bounded measurable set E. Then for every ε > 0 there is a perfect set Π ⊂ E and a smooth function g such that the Lebesgue measure of E∖Π is less than ε and...

In applying control (or feedback) theory to (mechanic) Lagrangian systems, so far forces have been generally used as values of the control $u(\cdot )$. However these values are those of a Lagrangian co-ordinate in various interesting problems with a scalar control $u=u(\cdot )$, where this control is carried out physically by adding some frictionless constraints. This pushed the author to consider a typical Lagrangian system $\mathrm{\Sigma }$, referred to a system $\chi$ of Lagrangian co-ordinates, and to try and write some handy...

Let α,β,γ,δ ≥ 0 and ϱ:= γβ + αγ + αδ > 0. Let ψ(t) = β + αt, ϕ(t) = γ + δ - γt, t ∈ [0,1]. We study the existence of positive solutions for the m-point boundary value problem ⎧u” + h(t)f(u) = 0, 0 < t < 1, ⎨$\alpha u\left(0\right)-\beta u^{\text{'}}\left(0\right)={\sum }_{i=1}^{m-2}{a}_{i}u\left({\xi }_i\right)$ ⎩$\gamma u\left(1\right)+\delta u^{\text{'}}\left(1\right)={\sum }_{i=1}^{m-2}{b}_{i}u\left({\xi }_i\right)$, where ${\xi }_i\in (0,1)$, $a_i,b_i\in (0,\infty )$ (for i ∈ 1,…,m-2) are given constants satisfying $\varrho -{\sum }_{i=1}^{m-2}{a}_i\varphi \left({\xi }_i\right)>0$, $\varrho -{\sum }_{i=1}^{m-2}{b}_i\psi \left({\xi }_i\right)>0$ and $\Delta :=\left|\begin{array}{cc}-{\sum }_{i=1}^{m-2}{a}_i\psi \left({\xi }_i\right)& \varrho -{\sum }_{i=1}^{m-2}{a}_i\varphi \left({\xi }_i\right)\\ \varrho -{\sum }_{i=1}^{m-2}{b}_i\psi \left({\xi }_i\right)& -{\sum }_{i=1}^{m-2}{b}_i\varphi \left({\xi }_i\right)\end{array}\right|<0$. We show the existence of positive solutions if f is either superlinear or sublinear by a simple application of a fixed point theorem in cones. Our result extends a result established by Erbe and...

We show that every operator from ${\ell }_s$ to ${\ell }_p\otimes ̂{\ell }_q$ is compact when 1 ≤ p,q < s and that every operator from ${\ell }_s$ to ${\ell }_p\widehat{\otimes ̂}{\ell }_q$ is compact when 1/p + 1/q > 1 + 1/s.

Let $𝒜$ be a commutative algebraic group defined over a number field $k$. We consider the following question:A complete answer for the case of the multiplicative group ${𝔾}_m$ is classical. We study other instances and in particular obtain an affirmative answer when $r$ is a prime and $𝒜$ is either an elliptic curve or a torus of small dimension with respect to $r$. Without restriction on the dimension of a torus, we produce an example showing that the answer can be negative even when $r$ is a prime. ...

Let $f^j={\sum }_k{a}_{k}f(2^{j+1}x-2k)$, where the sum is taken over the lattice of all points k in ${ℝ}^n$ having integer-valued components, j∈ℕ and $a_k\in ℂ$. Let $A_{pq}^s$ be either $B_{pq}^s$ or $F_{pq}^s$ (s ∈ ℝ, 0 < p < ∞, 0 < q ≤ ∞) on ${ℝ}^n.$ The aim of the paper is to clarify under what conditions $\parallel f^j|A_{pq}^s\parallel$ is equivalent to $2^{j(s-n/p)}({\sum }_k|a_k{|}^p{)}^{1/p}\parallel f|A_{pq}^s\parallel$.

A space $X$ is said to have the Rothberger property (or simply $X$ is Rothberger) if for every sequence $\langle {𝒰}_n:n\in \omega \rangle$ of open covers of $X$, there exists $U_n\in {𝒰}_n$ for each $n\in \omega$ such that $X={\bigcup }_{n\in \omega }{U}_n$. For any $n\in \omega$, necessary and sufficient conditions are obtained for $C_p{(\Psi \left(𝒜\right),2)}^n$ to have the Rothberger property when $𝒜$ is a Mrówka mad family and, assuming CH (the Continuum Hypothesis), we prove the existence of a maximal almost disjoint family $𝒜$ for which the space $C_p{(\Psi \left(𝒜\right),2)}^n$ is Rothberger for all $n\in \omega$.