We show that there exist infinitely many consecutive square-free numbers of the form $n^2+1$, $n^2+2$. We also establish an asymptotic formula for the number of such square-free pairs when $n$ does not exceed given sufficiently large positive number.

We show that for any given integer $k$ there exist infinitely many consecutive square-free numbers of the type $x^2+y^2+z^2+k$, $x^2+y^2+z^2+k+1$. We also establish an asymptotic formula for $1\le x,y,z\le H$ such that $x^2+y^2+z^2+k$, $x^2+y^2+z^2+k+1$ are square-free. The method we used in this paper is due to Tolev.

Suppose that some polynomial $f$ with rational coefficients takes only natural values at natural numbers, i. e., $L=\left\{f\right(n)\mid n\in \mathbb{N}\}\subseteq \mathbb{N}$. We show that the base-$q$ representation of $L$ is a context-free language if and only if $f$ is linear, answering a question of Shallit. The proof is based on a new criterion for context-freeness, which is a combination of the Interchange lemma and a generalization of the Pumping lemma.

If f:G → H is a group homomorphism and p,q are the projections from the free product G*H onto its factors G and H respectively, let the group ${}_f\subseteq G*H$ be the equalizer of fp and q:G*H → H. Then p restricts to an epimorphism $p_f{=p|}_f{:}_f\to G$. A right inverse (section) $G{\to }_f$ of $p_f$ is called a coaction on G. In this paper we study ${}_f$ and the sections of $p_f$. We consider the following topics: the structure of ${}_f$ as a free product, the restrictions on G resulting from the existence of a coaction, maps of coactions and...

Let $k$ be a fixed integer. We study the asymptotic formula of $R(H,r,k)$, which is the number of positive integer solutions $1\le x,y,z\le H$ such that the polynomial $x^2+y^2+z^2+k$ is $r$-free. We obtained the asymptotic formula of $R(H,r,k)$ for all $r\ge 2$. Our result is new even in the case $r=2$. We proved that $R(H,2,k)=c_k{H}^3+O\left(H^{9/4+\epsilon }\right)$, where $c_k>0$ is a constant depending on $k$. This improves upon the error term $O\left(H^{7/3+\epsilon }\right)$ obtained by G.-L. Zhou, Y. Ding (2022).

For n ∈ ℕ, L > 0, and p ≥ 1 let ${\kappa }_p(n,L)$ be the largest possible value of k for which there is a polynomial P ≠ 0 of the form $P\left(x\right)={\sum }_{j=0}^n{a}_j{x}^j$, $|a_0\left|\ge L\right({\sum }_{j=1}^n|a_j{|}^p$1/p$,$aj ∈ ℂ$,$such that ${(x-1)}^k$ divides P(x). For n ∈ ℕ and L > 0 let ${\kappa }_{\infty }(n,L)$ be the largest possible value of k for which there is a polynomial P ≠ 0 of the form $P\left(x\right)={\sum }_{j=0}^n{a}_j{x}^j$, $|a_0|\ge Lma{x}_{1\le j\le n}|a_j|$, $a_j\in ℂ$, such that ${(x-1)}^k$ divides P(x). We prove that there are absolute constants c₁ > 0 and c₂ > 0 such that $c_1\surd (n/L)-1\le {\kappa }_{\infty }(n,L)\le c_2\surd (n/L)$ for every L ≥ 1. This complements an earlier result of the authors valid for every n ∈ ℕ and L ∈...

We consider $k$-free numbers over Beatty sequences. New results are given. In particular, for a fixed irrational number $\alpha >1$ of finite type $\tau <\infty$ and any constant $\epsilon >0$, we can show that $$\sum _{\genfrac{}{}{0pt}{}{1\le n\le x}{[\alpha n+\beta ]\in {𝒬}_k}}1-\frac{x}{\zeta \left(k\right)}\ll x^{k/(2k-1)+\epsilon }+x^{1-1/(\tau +1)+\epsilon },$$ where ${𝒬}_k$ is the set of positive $k$-free integers and the implied constant depends only on $\alpha ,$ $\epsilon ,$ $k$ and $\beta .$ This improves previous results. The main new ingredient of our idea is employing double exponential sums of the type $$\sum _{1\le h\le H}\sum _{\genfrac{}{}{0pt}{}{1\le n\le x}{n\in {𝒬}_k}}e\left(\vartheta hn\right).$$

It is a well-known fact that modules over a commutative ring in general cannot be classified, and it is also well-known that we have to impose severe restrictions on either the ring or on the class of modules to solve this problem. One of the restrictions on the modules comes from freeness assumptions which have been intensively studied in recent decades. Two interesting, distinct but typical examples are the papers by Blass [1] and Eklof [8], both jointly with Shelah. In the first case...

Let D and ∂D denote the open unit disk and the unit circle of the complex plane, respectively. We denote by ₙ (resp. ${ₙ}^c$) the set of all polynomials of degree at most n with real (resp. complex) coefficients. We define the truncation operators Sₙ for polynomials $Pₙ\in {ₙ}^c$ of the form $Pₙ\left(z\right):={\sum }_{j=0}^n{a}_j{z}_j$, $a_j\in C$, by $Sₙ\left(Pₙ\right)\left(z\right):={\sum }_{j=0}^{n}a{̃}_j{z}_j$, $a{̃}_j:=a_j\left|a_j\right|min|a_j|,1$ (here 0/0 is interpreted as 1). We define the norms of the truncation operators by $\parallel Sₙ{\parallel }_{\infty ,\partial D}^{real}:=su{p}_{Pₙ\in ₙ}(ma{x}_{z\in \partial D}\left|Sₙ\left(Pₙ\right)\left(z\right)\right|)/(ma{x}_{z\in \partial D}\left|Pₙ\left(z\right)\right|)$, $\parallel Sₙ{\parallel }_{\infty ,\partial D}^{comp}:=su{p}_{Pₙ\in {ₙ}^c}(ma{x}_{z\in \partial D}\left|Sₙ\left(Pₙ\right)\left(z\right)\right|)/(ma{x}_{z\in \partial D}\left|Pₙ\left(z\right)\right|$. Our main theorem establishes the right order of magnitude of the above norms: there is an absolute constant c₁...

Let $ℐ$ be a coherent subsheaf of a locally free sheaf $𝒪\left(E_0\right)$ and suppose that $ℱ=𝒪\left(E_0\right)/ℐ$ has pure codimension. Starting with a residue current $R$ obtained from a locally free resolution of $ℱ$ we construct a vector-valued Coleff-Herrera current $\mu$ with support on the variety associated to $ℱ$ such that $\phi$ is in $ℐ$ if and only if $\mu \phi =0$. Such a current $\mu$ can also be derived algebraically from a fundamental theorem of Roos about the bidualizing functor, and the relation between these two approaches is discussed....

For $\left(P_k\right)$ being Rademacher, Fermion or q-Gaussian (-1 ≤ q ≤ 0) operators, we find the optimal constants $C_{2n}$, n∈ ℕ, in the inequality $\parallel {\sum }_{k=1}^N{A}_k\otimes P_k{\parallel }_{2n}\le {\left[C_{2n}\right]}^{1/2n}max{\parallel ({\sum }_{k=1}^{N}A{*}_k{A}_k}^{1/2}{\parallel }_{L_{2n}},\parallel ({\sum }_{k=1}^N{A}_{k}A{*}_k$1/2∥L2n$,$valid for all finite sequences of operators $\left(A_k\right)$ in the non-commutative $L_{2n}$ space related to a semifinite von Neumann algebra with trace. In particular, $C_{2n}=(2nr-1)!!$ for the Rademacher and Fermion sequences.

The paper deals with the approximation by polynomials with integer coefficients in $L_p(0,1)$, 1 ≤ p ≤ ∞. Let $P_{n,r}$ be the space of polynomials of degree ≤ n which are divisible by the polynomial $x^r{(1-x)}^r$, r ≥ 0, and let $P_{n,r}^{\mathbb{Z}}\subset P_{n,r}$ be the set of polynomials with integer coefficients. Let $\mu (P_{n,r}^{\mathbb{Z}};L_p)$ be the maximal distance of elements of $P_{n,r}$ from $P_{n,r}^{\mathbb{Z}}$ in $L_p(0,1)$. We give rather precise quantitative estimates of $\mu (P_{n,r}^{\mathbb{Z}};L₂)$ for n ≳ 6r. Then we obtain similar, somewhat less precise, estimates of $\mu (P_{n,r}^{\mathbb{Z}};L_p)$ for p ≠ 2. It follows that $\mu (P_{n,r}^{\mathbb{Z}};L_p)\asymp n^{-2r-2/p}$ as n → ∞. The results...

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.

If $f(x)$ is a polynomial with coefficients in the field of complex numbers, of positive degree $n$, then $f(x)$ has at least one root a with the following property: if $\mu \le k\le n$, where $\mu$ is the multiplicity of $\alpha$, then $f^{(k)}(\alpha )\ne 0$ (such a root is said to be a "free" root of $f(x)$). This is a consequence of the so-called Gauss-Lucas'lemma. One could conjecture that this property remains true for polynomials (of degree $n$) with coefficients in a field of positive characteristic $p>n$ (Sudbery's Conjecture). In this paper it...

We provide a deep investigation of the notions of - and ${}^{\infty }$-hypoellipticity for partial differential operators with constant Colombeau coefficients. This involves generalized polynomials and fundamental solutions in the dual of a Colombeau algebra. Sufficient conditions and necessary conditions for - and ${}^{\infty }$-hypoellipticity are given

Let $V$ be the complex vector space of homogeneous linear polynomials in the variables $x_1,...,x_m$. Suppose $G$ is a subgroup of $S_m$, and $\chi$ is an irreducible character of $G$. Let $H_d(G,\chi )$ be the symmetry class of polynomials of degree $d$ with respect to $G$ and $\chi$. For any linear operator $T$ acting on $V$, there is a (unique) induced operator $K_{\chi }\left(T\right)\in \mathrm{End}\left(H_d(G,\chi )\right)$ acting on symmetrized decomposable polynomials by $$K_{\chi }\left(T\right)(f_1*f_2*...*f_d)=T{f}_1*T{f}_2*...*T{f}_d.$$ In this paper, we show that the representation $T\mapsto K_{\chi }\left(T\right)$ of the general linear group $GL\left(V\right)$ is equivalent to the direct sum of $\chi \left(1\right)$ copies...

Let $L\left(H\right)$ denote the algebra of operators on a complex infinite dimensional Hilbert space $H$. For $A,B\in L\left(H\right)$, the generalized derivation ${\delta }_{A,B}$ and the elementary operator ${\Delta }_{A,B}$ are defined by ${\delta }_{A,B}\left(X\right)=AX-XB$ and ${\Delta }_{A,B}\left(X\right)=AXB-X$ for all $X\in L\left(H\right)$. In this paper, we exhibit pairs $(A,B)$ of operators such that the range-kernel orthogonality of ${\delta }_{A,B}$ holds for the usual operator norm. We generalize some recent results. We also establish some theorems on the orthogonality of the range and the kernel of ${\Delta }_{A,B}$ with respect to the wider class of unitarily invariant...

For n ∈ ℕ, L > 0, and p ≥ 1 let ${\kappa }_p(n,L)$ be the largest possible value of k for which there is a polynomial P ≢ 0 of the form $P\left(x\right)={\sum }_{j=0}^n{a}_j{x}^j$, $|a_0\left|\ge L\right({\sum }_{j=1}^n|a_j{{|}^p)}^{1/p}$, $a_j\in ℂ$, such that ${(x-1)}^k$ divides P(x). For n ∈ ℕ, L > 0, and q ≥ 1 let ${\mu }_q(n,L)$ be the smallest value of k for which there is a polynomial Q of degree k with complex coefficients such that $\left|Q\left(0\right)\right|>1/L({\sum }_{j=1}^n{\left|Q\left(j\right)\right|}^q{)}^{1/q}$. We find the size of ${\kappa }_p(n,L)$ and ${\mu }_q(n,L)$ for all n ∈ ℕ, L > 0, and 1 ≤ p,q ≤ ∞. The result about ${\mu }_{\infty }(n,L)$ is due to Coppersmith and Rivlin, but our proof is completely different and much shorter even...

We study nonlinear diffusion problems of the form $u_t=u_{xx}+f\left(u\right)$ with free boundaries. Such problems may be used to describe the spreading of a biological or chemical species, with the free boundary representing the expanding front. For special $f\left(u\right)$ of the Fisher-KPP type, the problem was investigated by Du and Lin [DL]. Here we consider much more general nonlinear terms. For any $f\left(u\right)$ which is $C^1$ and satisfies $f\left(0\right)=0$, we show that the omega limit set $\omega \left(u\right)$ of every bounded positive solution is determined by a stationary...

Let H and K be complex complete indefinite inner product spaces, and ℬ(H,K) (ℬ(H) if K = H) the set of all bounded linear operators from H into K. For every T ∈ ℬ(H,K), denote by $T^{†}$ the indefinite conjugate of T. Suppose that Φ: ℬ(H) → ℬ(K) is a bijective linear map. We prove that Φ satisfies $\Phi \left(A\right)\Phi \left(B\right)=\Phi \left(B\right)\Phi {\left(A\right)}^{†}$ for all A, B ∈ ℬ(H) with $AB=B{A}^{†}$ if and only if there exist a nonzero real number c and a generalized indefinite unitary operator U ∈ ℬ(H,K) such that $\Phi \left(A\right)=cUA{U}^{†}$ for all A ∈ ℬ(H).