Let $M$ be a given nonempty set of positive integers and $S$ any set of nonnegative integers. Let $\overline{\delta }\left(S\right)$ denote the upper asymptotic density of $S$. We consider the problem of finding $$\mu \left(M\right):=\underset{S}{sup}\overline{\delta }\left(S\right),$$ where the supremum is taken over all sets $S$ satisfying that for each $a,b\in S$, $a-b\notin M.$ In this paper we discuss the values and bounds of $\mu \left(M\right)$ where $M=\{a,b,a+nb\}$ for all even integers and for all sufficiently large odd integers $n$ with $a<b$ and $gcd(a,b)=1.$

We prove a density version of the Carlson–Simpson Theorem. Specifically we show the following. For every integer $k\ge 2$ and every set $A$ of words over $k$ satisfying $\lim {\sup }_{n\to \infty }|A\cap {\left[k\right]}^n|/k^n>0$ there exist a word $c$ over $k$ and a sequence $\left(w_n\right)$ of left variable words over $k$ such that the set $c\cup \{c^{}{w}_0{\left(a_0\right)}^{}..{.}^{}{w}_n\left(a_n\right):n\in \mathbb{N}\text{and}{a}_0,...,a_n\in \left[k\right]\}$ is contained in $A$. While the result is infinite-dimensional its proof is based on an appropriate finite and quantitative version, also obtained in the paper.

Let $p,q\in ℝ$ with $p-q\ge 0$, $\sigma =\frac{1}{2}(p+q-1)$ and $s=\frac{1}{2}(1-p+q)$, and let $${𝒟}_m(x;p,q)={𝒟}_0(x;p,q)+\sum _{k=1}^m\frac{B_{2k}\left(s\right)}{2k{(x+\sigma )}^{2k}},$$ where $${𝒟}_0(x;p,q)=\frac{\psi (x+p)+\psi (x+q)}{2}-ln(x+\sigma ).$$ We establish the asymptotic expansion $${𝒟}_0(x;p,q)\sim -\sum _{n=1}^{\infty }\frac{B_{2n}\left(s\right)}{2n{(x+\sigma )}^{2n}}\text{as}x\to \infty ,$$ where $B_{2n}\left(s\right)$ stands for the Bernoulli polynomials. Further, we prove that the functions ${(-1)}^m{𝒟}_m(x;p,q)$ and ${(-1)}^{m+1}{𝒟}_m(x;p,q)$ are completely monotonic in $x$ on $(-\sigma ,\infty )$ for every $m\in {\mathbb{N}}_0$ if and only if $p-q\in [0,\frac{1}{2}]$ and $p-q=1$, respectively. This not only unifies the two known results but also yields some new results.

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

In A theorem on supports in the theory of semisets [Comment. Math. Univ. Carolinae 14 (1973), no. 1, 1–6] B. Balcar showed that if $\sigma \subseteq D\in M$ is a support, $M$ being an inner model of ZFC, and $𝒫(D\setminus \sigma )\cap M=r``\sigma$ with $r\in M$, then $r$ determines a preorder "$⪯$" of $D$ such that $\sigma$ becomes a filter on $(D,⪯)$ generic over $M$. We show that if the relation $r$ is replaced by a function $𝒫(D\setminus \sigma )\cap M=f_{-1}\left(\sigma \right)$, then there exists an equivalence relation "$\sim$" on $D$ and a partial order on $D/\sim$ such that $D/\sim$ is a complete Boolean algebra, $\sigma /\sim$ is a generic filter and ${\left[f\left(u\right)\right]}_{\sim }=-\sum (u/\sim )$ for...

We show that given infinite sets $X,Y$ and a function $f:X\to Y$ which is onto and $n$-to-one for some $n\in \mathbb{N}$, the preimage of any ultrafilter $ℱ$ of $Y$ under $f$ extends to an ultrafilter. We prove that the latter result is, in some sense, the best possible by constructing a permutation model $ℳ$ with a set of atoms $A$ and a finite-to-one onto function $f:A\to \omega$ such that for each free ultrafilter of $\omega$ its preimage under $f$ does not extend to an ultrafilter. In addition, we show that in $ℳ$ there exists an ultrafilter compact...

We introduce the notion of a coherent $P$-ultrafilter on a complete ccc Boolean algebra, strengthening the notion of a $P$-point on $\omega$, and show that these ultrafilters exist generically under $𝔠=𝔡$. This improves the known existence result of Ketonen [On the existence of $P$-points in the Stone-Čech compactification of integers, Fund. Math. 92 (1976), 91–94]. Similarly, the existence theorem of Canjar [On the generic existence of special ultrafilters, Proc. Amer. Math. Soc. 110 (1990), no. 1,...

Let a space $X$ be Tychonoff product ${\prod }_{\alpha <\tau }{X}_{\alpha }$ of $\tau$-many Tychonoff nonsingle point spaces $X_{\alpha }$. Let Suslin number of $X$ be strictly less than the cofinality of $\tau$. Then we show that every point of remainder is a non-normality point of its Čech–Stone compactification $\beta X$. In particular, this is true if $X$ is either $R^{\tau }$ or ${\omega }^{\tau }$ and a cardinal $\tau$ is infinite and not countably cofinal.

Our main purpose is to establish the existence of a positive solution of the system ⎧$-{∆}_{p\left(x\right)}u=F(x,u,v)$, x ∈ Ω, ⎨$-{∆}_{q\left(x\right)}v=H(x,u,v)$, x ∈ Ω, ⎩u = v = 0, x ∈ ∂Ω, where $\Omega \subset {ℝ}^N$ is a bounded domain with C² boundary, $F(x,u,v)={\lambda }^{p\left(x\right)}[g\left(x\right)a\left(u\right)+f\left(v\right)]$, $H(x,u,v)={\lambda }^{q(x})[g\left(x\right)b\left(v\right)+h\left(u\right)]$, λ > 0 is a parameter, p(x),q(x) are functions which satisfy some conditions, and $-{∆}_{p\left(x\right)}u=-{div\left(\right|\nabla u|}^{p\left(x\right)-2}\nabla u)$ is called the p(x)-Laplacian. We give existence results and consider the asymptotic behavior of solutions near the boundary. We do not assume any symmetry conditions on the system.