Given a groupoid $\langle G,☆\rangle$, and $k\ge 3$, we say that $G$ is antiassociative if an only if for all $x_1,x_2,x_3\in G$, $(x_1☆x_2)☆x_3$ and $x_1☆(x_2☆x_3)$ are never equal. Generalizing this, $\langle G,☆\rangle$ is $k$-antiassociative if and only if for all $x_1,x_2,...,x_k\in G$, any two distinct expressions made by putting parentheses in $x_1☆x_2☆x_3☆\cdots ☆x_k$ are never equal. We prove that for every $k\ge 3$, there exist finite groupoids that are $k$-antiassociative. We then generalize this, investigating when other pairs of groupoid terms can be made never equal.

For a real number $q>1$ and a positive integer $m$, let $Y_m\left(q\right):=\left\{{\sum }_{i=0}^n{ϵ}_i{q}^i:{ϵ}_i\in \left\{0,\pm 1,...,\pm m\right\},n=0,1,...\right\}$. In this paper, we show that $Y_m\left(q\right)$ is dense in $ℝ$ if and only if $q<m+1$ and $q$ is not a Pisot number. This completes several previous results and answers an open question raised by Erdös, Joó and Komornik [8].

Let $P\left(z\right)={\sum }_{\nu =0}^n{a}_{\nu }{z}^{\nu }$ be a polynomial of degree at most $n$ which does not vanish in the disk $\left|z\right|<1$, then for $1\le p<\infty$ and $R>1$, Boas and Rahman proved $${∥P\left(Rz\right)∥}_p\le ({∥R^n+z∥}_p/{∥1+z∥}_p){∥P∥}_p.$$ In this paper, we improve the above inequality for $0\le p<\infty$ by involving some of the coefficients of the polynomial $P\left(z\right)$. Analogous result for the class of polynomials $P\left(z\right)$ having no zero in $\left|z\right|>1$ is also given.

The surjectivity of the operator $D_2+i{x}_2^{2k}{D}_1$ from the Gevrey space ${\mathcal{E}}^{\left\{s\right\}}\left({\mathbb{R}}^2\right)$, $s\ge 1$, onto itself and its non-surjectivity from ${\mathcal{E}}^{\left\{s\right\}}\left({\mathbb{R}}^3\right)$ to ${\mathcal{E}}^{\left\{s\right\}}\left({\mathbb{R}}^3\right)$ is proved.

Let $\mu$ be a probability measure on $[0,1]$ which is invariant and ergodic for $T_a\left(x\right)=ax\mathrm{𝚖𝚘𝚍}1$, and $0<\mathrm{𝚍𝚒𝚖}\mu <1$. Let $f$ be a local diffeomorphism on some open set. We show that if $E\subseteq ℝ$ and $\left(f\mu \right){\left|{}_E\sim \mu \right|}_E$, then $f^{\text{'}}\left(x\right)\in \left\{\pm a^r:r\in \mathbb{Q}\right\}$ at $\mu$-a.e. point $x\in f^{-1}E$. In particular, if $g$ is a piecewise-analytic map preserving $\mu$ then there is an open $g$-invariant set $U$ containing supp $\mu$ such that $g\left|{}_U\right.$ is piecewise-linear with slopes which are rational powers of $a$. In a similar vein, for $\mu$ as above, if $b$ is another integer and $a,b$ are not powers of a common integer, and if $\nu$ is...

We consider functions $u\in W_0^{m,1}\left(\Omega \right)$, where $\Omega \subset {ℝ}^N$ is a smooth bounded domain, and $m\ge 2$ is an integer. For all $j\ge 0,1\le k\le m-1$, such that $1\le j+k\le m$, we prove that $\frac{{\partial }^{i}u\left(x\right)}{d{\left(x\right)}^{m-j-k}}\in W_0^{k,1}\left(\Omega \right)$ with $∥{\partial }^k{\left(\frac{{\partial }^{i}u\left(x\right)}{d{\left(x\right)}^{m-j-k}}\right)}_{L^1\left(\Omega \right)}\le C∥u∥{}_{W^{m,1}\left(\Omega \right)}$, where $d$ is a smooth positive function which coincides with dist$(x,\partial \Omega )$ near $\partial \Omega$, and ${\partial }^l$ denotes any partial differential operator of order $l$.

We give new results on square functions $${\parallel x\parallel }_F=\parallel {\left({\int }_0^{\infty }{\left|F\left(tA\right)x\right|}^2\frac{\mathrm{d}t}{t}\right)}^{1/2}{\parallel }_p$$ associated to a sectorial operator $A$ on $L^p$ for $1\&lt;p\&lt;\infty$. Under the assumption that $A$ is actually $R$-sectorial, we prove equivalences of the form $K^{-1}{\parallel x\parallel }_G\le {\parallel x\parallel }_F\le K{\parallel x\parallel }_G$ for suitable functions $F,G$. We also show that $A$ has a bounded $H^{\infty }$ functional calculus with respect to ${\parallel .\parallel }_F$. Then we apply our results to the study of conditions under which we have an estimate $\parallel {({\int }_0^{\infty }|C{\mathrm{e}}^{-tA}{\left(x\right)|}^2\mathrm{d}t{)}^{1/2}\parallel }_q\le M{\parallel x\parallel }_p$, when $-A$ generates a bounded semigroup ${\mathrm{e}}^{-tA}$ on $L^p$ and $C:D\left(A\right)\to L^q$ is a linear mapping.

Let $A$ be a closed set of $M\simeq {\mathbb{R}}^n$, whose conormai cones $x+y_x^{*}\left(A\right)$, $x\in A$, have locally empty intersection. We first show in §1 that $\text{dist}\left(x,A\right)$, $x\in M\setminus A$ is a $C^1$ function. We then represent the n microfunctions of ${\mathcal{C}}_{A|X}$, $X\simeq {\mathbb{C}}^n$, using cohomology groups of ${\mathcal{O}}_X$ of degree 1. By the results of § 1-3, we are able to prove in §4 that the sections of ${\left.{\mathcal{C}}_{A|X}\right|}_{{\dot{\pi }}^{-1}\left(x_0\right)}$, $x_0\in \partial A$, satisfy the principle of the analytic continuation in the complex integral manifolds of ${\left\{H\left({\varphi }_i^C\right)\right\}}_{i=1,\mathrm{\dots },m}$, $\left\{{\varphi }_i\right\}$ being a base for the linear hull of ${\gamma }_{x_0}^{*}\left(A\right)$ in $T_{x_0}^{*}M$; in particular we get ${\left.{\mathrm{\Gamma }}_{A\times {}_{M}T{}^{*}{}_{M}X}\left({\mathcal{C}}_{A|X}\right)\right|}_{\partial A\times {}_M\dot{T}{}^{*}{}_{M}X}=0$. When $A$is a half space with...

In this paper, characterizations of the embeddings between weighted Copson function spaces ${\mathrm{Cop}}_{p_1,q_1}(u_1,v_1)$ and weighted Cesàro function spaces ${\mathrm{Ces}}_{p_2,q_2}(u_2,v_2)$ are given. In particular, two-sided estimates of the optimal constant $c$ in the inequality $$\begin{array}{cc}\hfill d({\int }_0^{\infty }& {\left({\int }_0^{t}f{\left(\tau \right)}^{p_2}{v}_2\left(\tau \right)\mathrm{d}\tau \right)}^{q_2/p_2}{u}_2\left(t\right)\mathrm{d}t{)}^{1/q_2}\hfill \\ & \le c{\left({\int }_0^{\infty }{\left({\int }_t^{\infty }f{\left(\tau \right)}^{p_1}{v}_1\left(\tau \right)\mathrm{d}\tau \right)}^{q_1/p_1}{u}_1\left(t\right)\mathrm{d}t\right)}^{1/q_1},\hfill \end{array}d$$ where $p_1,p_2,q_1,q_2\in (0,\infty )$, $p_2\le q_2$ and $u_1$, $u_2$, $v_1$, $v_2$ are weights on $(0,\infty )$, are obtained. The most innovative part consists of the fact that possibly different parameters $p_1$ and $p_2$ and possibly different inner weights $v_1$ and $v_2$ are allowed. The proof is based on the combination of duality techniques...

We study integrals of the form ${\int }_{\Omega }f\left(d\omega \right)$, where $1\le k\le n$, $f:{\Lambda }^k\to ℝ$ is continuous and $\omega$ is a $\left(k-1\right)$-form. We introduce the appropriate notions of convexity, namely ext. one convexity, ext. quasiconvexity and ext. polyconvexity. We study their relations, give several examples and counterexamples. We finally conclude with an application to a minimization problem.