Let $R$ be a ring. In two previous articles [12, 14] we studied the homotopy category $𝐊\left(R\text{-}\mathrm{Proj}\right)$ of projective $R$-modules. We produced a set of generators for this category, proved that the category is ${\aleph }_1$-compactly generated for any ring $R$, and showed that it need not always be compactly generated, but is for sufficiently nice $R$. We furthermore analyzed the inclusion $j_{!}^{}:𝐊\left(R\text{-}\mathrm{Proj}\right)\to 𝐊\left(R\text{-}\mathrm{Flat}\right)$ and the orthogonal subcategory $𝒮={𝐊\left(R\text{-}\mathrm{Proj}\right)}^{\perp }$. And we even showed that the inclusion $𝒮\to 𝐊\left(R\text{-}\mathrm{Flat}\right)$ has a right adjoint; this forces some natural map to be...

Let $p$ be an odd prime, and let $a$ be an integer not divisible by $p$. When $m$ is a positive integer with $p\equiv 1(mod2m)$ and $2$ is an $m$th power residue modulo $p$, we determine the value of the product ${\prod }_{k\in R_m\left(p\right)}(1+tan(\pi ak/p))$, where $$R_m\left(p\right)=\{0<k<p:k\in \mathbb{Z}\text{is}\text{an}m\text{th}\text{power}\text{residue}\text{modulo}p\}.$$ In particular, if $p=x^2+64y^2$ with $x,y\in \mathbb{Z}$, then $$\prod _{k\in R_4\left(p\right)}\left(1+tan\pi \frac{ak}{p}\right)={(-1)}^y{(-2)}^{(p-1)/8}.$$

The paper deals with the existence of a Kneser solution of the $n$-th order nonlinear differential inclusion $$\begin{array}{cc}\hfill x^{\left(n\right)}\left(t\right)\in -A_1(t,x\left(t\right),...,x^{(n-1)}\left(t\right))x^{(n-1)}\left(t\right)-...-A_n(t,x\left(t\right),...,& x^{(n-1)}\left(t\right))x\left(t\right)\\ & \text{for}\text{a.a.}t\in [a,\infty ),\end{array}$$ where $a\in (0,\infty )$, and $A_i:[a,\infty )\times {ℝ}^n\to ℝ$, $i=1,...,n,$ are upper-Carathéodory mappings. The derived result is finally illustrated by the third order Kneser problem.

We prove necessary and sufficient conditions for the validity of the classical chain rule in the Sobolev space $W_{\text{loc}}^{1,1}({ℝ}^N;{ℝ}^d)$ and in the space $B{V}_{\text{loc}}({ℝ}^N;{ℝ}^d)$ of functions of bounded variation.

We consider the problem $$\left\{\begin{array}{cc}-\Delta u=u^{\frac{N+2}{N-2}+\lambda }\hfill & \text{in}\Omega \setminus \epsilon \omega ,\hfill \\ u\&gt;0\hfill & \text{in}\Omega \setminus \epsilon \omega ,\hfill \\ u=0\hfill & \text{on}\partial \left(\Omega \setminus \epsilon \omega \right),\hfill \end{array}\right.$$ where $\Omega$ and $\omega$ are smooth bounded domains in ${ℝ}^N$, $N\ge 3$, $\epsilon \&gt;0$ and $\lambda \in ℝ.$ We prove that if the size of the hole $\epsilon$ goes to zero and if, simultaneously, the parameter $\lambda$ goes to zero at the appropriate rate, then the problem has a solution which blows up at the origin.

The paper deals with very weak solutions $u\in \theta +W_0^{1,r}\left(\Omega \right)$, $max\{1,p-1\}<r<p<n$, to boundary value problems of the $p$-harmonic equation $$\left\{\begin{array}{cc}-\text{div}\left(\right|\nabla u\left(x\right){|}^{p-2}\nabla u\left(x\right))=0,\hfill & x\in \Omega ,\hfill \\ u\left(x\right)=\theta \left(x\right),\hfill & x\in \partial \Omega .\hfill \end{array}\right.(*)$$ We show that, under the assumption $\theta \in W^{1,q}\left(\Omega \right)$, $q>r$, any very weak solution $u$ to the boundary value problem ($*$) is integrable with $$u\in \left\{\begin{array}{cc}\theta +L_{\mathrm{weak}}^{q^{*}}\left(\Omega \right)\hfill & \text{for}q<n,\hfill \\ \theta +L_{\mathrm{weak}}^{\tau }\left(\Omega \right)\hfill & \text{for}q=n\text{and}\text{any}\tau <\infty ,\hfill \\ \theta +L^{\infty }\left(\Omega \right)\hfill & \text{for}q>n,\hfill \end{array}\right.$$ provided that $r$ is sufficiently close to $p$.

Let $\mathbb{N}$ be the set of positive integers and let $s\in \mathbb{N}$. We denote by $d^s$ the arithmetic function given by $d^s\left(n\right)={\left(d\left(n\right)\right)}^s$, where $d\left(n\right)$ is the number of positive divisors of $n$. Moreover, for every $\ell ,m\in \mathbb{N}$ we denote by ${\delta }^{s,\ell ,m}\left(n\right)$ the sequence $$\underset{m\text{-times}}{\underbrace{d^s(d^s(...d^s(d^s\left(n\right)+\ell )+\ell ...)+\ell )}}=\left\{\begin{array}{cc}{d}^s\left(n\right)\hfill & \text{for}m=1,\hfill \\ d^s(d^s\left(n\right)+\ell )\hfill & \text{for}m=2,\hfill \\ d^s(d^s(d^s\left(n\right)+\ell )+\ell )\hfill & \text{for}m=3,\hfill \\ ⋮\hfill \end{array}\right.$$ We present classical and nonclassical notes on the sequence ${\left({\delta }^{s,\ell ,m}\left(n\right)\right)}_{m\ge 1}$, where $\ell$, $n$, $s$ are understood as parameters.

We investigate the following quasilinear and singular problem, $$\text{t}o2.7cm\left\{\begin{array}{cc}-{\Delta }_{p}u=\frac{\lambda }{u^{\delta }}+u^q\hfill & \text{in}\Omega ;\hfill \\ {u|}_{\partial \Omega }=0,u\&gt;0\hfill & \text{in}\Omega ,\hfill \end{array}\right.\text{t}o2.7cm\text{(P)}$$ where $\Omega$ is an open bounded domain with smooth boundary, $1\&lt;p\&lt;\infty$, $p-1\&lt;q\le p^{*}-1$, $\lambda \&gt;0$, and $0\&lt;\delta \&lt;1$. As usual, $p^{*}=\frac{Np}{N-p}$ if $1\&lt;p\&lt;N$, $p^{*}\in (p,\infty )$ is arbitrarily large if $p=N$, and $p^{*}=\infty$ if $p\&gt;N$. We employ variational methods in order to show the existence of at least two distinct (positive) solutions of problem (P) in $W_0^{1,p}\left(\Omega \right)$. While following an approach due to Ambrosetti-Brezis-Cerami, we need to prove two new results of separate interest: a strong comparison principle...

It is known that a set $H$ of positive integers is a Poincaré set (also called intersective set, see I. Ruzsa (1982)) if and only if ${dim}_{\mathscr{H}}\left(X_H\right)=0$, where $$X_H:=\left\{x=\sum _{n=1}^{\infty }\frac{x_n}{2^n}:x_n\in \{0,1\},x_n{x}_{n+h}=0\text{for}\text{all}n\ge 1,h\in H\right\}$$ and ${dim}_{\mathscr{H}}$ denotes the Hausdorff dimension (see C. Bishop, Y. Peres (2017), Theorem 2.5.5). In this paper we study the set $X_H$ by replacing $2$ with $b>2$. It is surprising that there are some new phenomena to be worthy of studying. We study them and give several examples to explain our results.

A graph $G$ is called $\{H_1,H_2,\cdots ,H_k\}$-free if $G$ contains no induced subgraph isomorphic to any graph $H_i$, $1\le i\le k$. We define $${\sigma }_k=min\left\{\sum _{i=1}^{k}d\left(v_i\right):\{v_1,\cdots ,v_k\}\text{is}\text{an}\text{independent}\text{set}\text{of}\text{vertices}\text{in}G\right\}.$$ In this paper, we prove that (1) if $G$ is a connected $\{K_{1,4},K_{1,4}+e\}$-free graph of order $n$ and ${\sigma }_3\left(G\right)\ge n-1$, then $G$ is traceable, (2) if $G$ is a 2-connected $\{K_{1,4},K_{1,4}+e\}$-free graph of order $n$ and $|N\left(x_1\right)\cup N\left(x_2\right)|+|N\left(y_1\right)\cup N\left(y_2\right)|\ge n-1$ for any two distinct pairs of non-adjacent vertices $\{x_1,x_2\}$, $\{y_1,y_2\}$ of $G$, then $G$ is traceable, i.e., $G$ has a Hamilton path, where $K_{1,4}+e$ is a graph obtained by joining a pair of non-adjacent vertices in a $K_{1,4}$.

We study the existence and nonexistence of positive solutions of the nonlinear equation $$-{\Delta }_{p\left(x\right)}u=\lambda k\left(x\right)u^q\pm h\left(x\right)u^r\text{in}\Omega ,u=0\text{on}\partial \Omega$$ where $\Omega \subset {ℝ}^N$, $N\ge 2$, is a regular bounded open domain in ${ℝ}^N$ and the $p\left(x\right)$-Laplacian $${\Delta }_{p\left(x\right)}u:={\text{div}\left(\right|\nabla u|}^{p\left(x\right)-2}\nabla u)$$ is introduced for a continuous function $p\left(x\right)>1$ defined on $\Omega$. The positive parameter $\lambda$ induces the bifurcation phenomena. The study of the equation (Q) needs generalized Lebesgue and Sobolev spaces. In this paper, under suitable assumptions, we show that some variational methods still work. We use them to prove the existence of positive...

Assume that $\mathrm{\Omega }$, ${\mathrm{\Omega }}^{\prime }$ are planar domains and $f:\mathrm{\Omega }\stackrel{\text{onto}}{\to }{\mathrm{\Omega }}^{\prime }$ is a homeomorphism belonging to Sobolev space $W_{\text{loc}}^{1,1}(\mathrm{\Omega };{ℝ}^2)$ with finite distortion. We prove that if the distortion function $K_f$ of $f$ satisfies the condition , then the distortion function $K_{f^{-1}}$ of $f^{-1}$ belongs to $L_{\text{loc}}^1({\mathrm{\Omega }}^{\prime })$. We show that this result is sharp in sense that the conclusion fails if ${\mathrm{dist}}_{\text{EXP}}(K_f,L^{\mathrm{\infty }})=1$. Moreover, we prove that if the distortion function $K_f$ satisfies the condition ${\mathrm{dist}}_{\text{EXP}}(K_f,L^{\mathrm{\infty }})=\lambda$ for some $\lambda >0$, then $K_{f^{-1}}$ belongs to $L_{\text{loc}}^p({\mathrm{\Omega }}^{\prime })$ for every $p\in (0,\frac{1}{2\lambda })$. As special case of this result we show that if...

Let $K$ be a $p$-adic local field with residue field $k$ such that $[k:k^p]=p^e\&lt;+\infty$ and $V$ be a $p$-adic representation of $\text{Gal}(\overline{K}/K)$. Then, by using the theory of $p$-adic differential modules, we show that $V$ is a Hodge-Tate (resp. de Rham) representation of $\text{Gal}(\overline{K}/K)$ if and only if $V$ is a Hodge-Tate (resp. de Rham) representation of $\text{Gal}(\overline{K^{\text{pf}}}/K^{\text{pf}})$ where $K^{\text{pf}}/K$ is a certain $p$-adic local field with residue field the smallest perfect field $k^{\text{pf}}$ containing $k$.

Let $𝒱$ be a proper variety of associative algebras over a field $F$ of characteristic zero. It is well-known that $𝒱$ can have polynomial or exponential growth and here we present some classification results of varieties of polynomial growth. In particular we classify all subvarieties of the varieties of almost polynomial growth, i.e., the subvarieties of $\text{𝐯𝐚𝐫}(G)$ and $\text{𝐯𝐚𝐫}(U{T}_2)$, where $G$ is the Grassmann algebra and $U{T}_2$ is the algebra of $2\times 2$ upper triangular matrices.