Endpoint multiplier theorems of Marcinkiewicz type

We establish sharp (H^1, L^{1,q}) and local (L \log^r L, L^{1,q}) mapping properties for rough one-dimensional multipliers. In particular, we show that the multipliers in the Marcinkiewicz multiplier theorem map H^1 to L^{1,\infty} and L \log^{1/2} L to L^{1,\infty}, and that these estimates are sharp.Comment: 28 pages, no figures, submitted to Revista Mat. Ibe

Fourier multiplier theorems involving type and cotype

In this paper we develop the theory of Fourier multiplier operators $T_{m}:L^{p}(\mathbb{R}^{d};X)\to L^{q}(\mathbb{R}^{d};Y)$, for Banach spaces $X$ and $Y$, $1\leq p\leq q\leq \infty$ and $m:\mathbb{R}^d\to \mathcal{L}(X,Y)$ an operator-valued symbol. The case $p=q$ has been studied extensively since the 1980's, but far less is known for $p<q$. In the scalar setting one can deduce results for $p<q$ from the case $p=q$. However, in the vector-valued setting this leads to restrictions both on the smoothness of the multiplier and on the class of Banach spaces. For example, one often needs that $X$ and $Y$ are UMD spaces and that $m$ satisfies a smoothness condition. We show that for $p<q$ other geometric conditions on $X$ and $Y$, such as the notions of type and cotype, can be used to study Fourier multipliers. Moreover, we obtain boundedness results for $T_m$ without any smoothness properties of $m$. Under smoothness conditions the boundedness results can be extrapolated to other values of $p$ and $q$ as long as $\tfrac{1}{p}-\tfrac{1}{q}$ remains constant.Comment: Revised version, to appear in Journal of Fourier Analysis and Applications. 31 pages. The results on Besov spaces and the proof of the extrapolation result have been moved to arXiv:1606.0327

On LpL^p--LqL^q trace inequalities

We give necessary and sufficient conditions in order that inequalities of the type $$\| T_K f\|_{L^q(d\mu)}\leq C \|f\|_{L^p(d\sigma)}, \qquad f \in L^p(d\sigma),$$ hold for a class of integral operators $T_K f(x) = \int_{R^n} K(x, y) f(y) d \sigma(y)$ with nonnegative kernels, and measures $d \mu$ and $d\sigma$ on $\R^n$, in the case where $p>q>0$ and $p>1$. An important model is provided by the dyadic integral operator with kernel $K_{\mathcal D}(x, y) \sum_{Q\in{\mathcal D}} K(Q) \chi_Q(x) \chi_Q(y)$, where $\mathcal D=\{Q\}$ is the family of all dyadic cubes in $\R^n$, and $K(Q)$ are arbitrary nonnegative constants associated with $Q \in{\mathcal D}$. The corresponding continuous versions are deduced from their dyadic counterparts. In particular, we show that, for the convolution operator $T_k f = k\star f$ with positive radially decreasing kernel $k(|x-y|)$, the trace inequality $$\| T_k f\|_{L^q(d\mu)}\leq C \|f\|_{L^p(d x)}, \qquad f \in L^p(dx),$$ holds if and only if ${\mathcal W}_{k}[\mu] \in L^s (d\mu)$, where $s = {\frac{q(p-1)}{p-q}}$. Here ${\mathcal W}_{k}[\mu]$ is a nonlinear Wolff potential defined by ${\mathcal W}_{k}[\mu](x)=\int_0^{+\infty} k(r) \bar{k}(r)^{\frac 1 {p-1}} \mu (B(x,r))^{\frac 1{p-1}} r^{n-1} dr,$ and $\bar{k}(r)=\frac1{r^n}\int_0^r k(t) t^{n-1} dt$. Analogous inequalities for $1\le q < p$ were characterized earlier by the authors using a different method which is not applicable when $q<1$

Bohl-Perron type stability theorems for linear difference equations with infinite delay

Relation between two properties of linear difference equations with infinite delay is investigated: (i) exponential stability, (ii) \l^p-input \l^q-state stability (sometimes is called Perron's property). The latter means that solutions of the non-homogeneous equation with zero initial data belong to \l^q when non-homogeneous terms are in \l^p. It is assumed that at each moment the prehistory (the sequence of preceding states) belongs to some weighted \l^r-space with an exponentially fading weight (the phase space). Our main result states that (i) $\Leftrightarrow$ (ii) whenever $(p,q) \neq (1,\infty)$ and a certain boundedness condition on coefficients is fulfilled. This condition is sharp and ensures that, to some extent, exponential and \l^p-input \l^q-state stabilities does not depend on the choice of a phase space and parameters $p$ and $q$, respectively. \l^1-input \l^\infty-state stability corresponds to uniform stability. We provide some evidence that similar criteria should not be expected for non-fading memory spaces.Comment: To be published in Journal of Difference Equations and Application

New Identities Relating Wild Goppa Codes

For a given support $L \in \mathbb{F}_{q^m}^n$ and a polynomial $g\in \mathbb{F}_{q^m}[x]$ with no roots in $\mathbb{F}_{q^m}$, we prove equality between the $q$-ary Goppa codes $\Gamma_q(L,N(g)) = \Gamma_q(L,N(g)/g)$ where $N(g)$ denotes the norm of $g$, that is $g^{q^{m-1}+\cdots +q+1}.$ In particular, for $m=2$, that is, for a quadratic extension, we get $\Gamma_q(L,g^q) = \Gamma_q(L,g^{q+1})$. If $g$ has roots in $\mathbb{F}_{q^m}$, then we do not necessarily have equality and we prove that the difference of the dimensions of the two codes is bounded above by the number of distinct roots of $g$ in $\mathbb{F}_{q^m}$. These identities provide numerous code equivalences and improved designed parameters for some families of classical Goppa codes.Comment: 14 page