Lp + Lq and Lp ∩ Lq are not isomorphic for all 1 ≤ p,q ≤ ∞, p ≠ q

We prove that if $1\le p,q\le \infty$, then the spaces $L_p+L_q$ and $L_p\cap L_q$ are isomorphic if and only if $p=q$. In particular, $L_2+L_{\infty }$ and $L_2\cap L_{\infty }$ are not isomorphic, which is an answer to a question formulated in [2].     

Cauchy transform and Poisson’s equation

Let $u\in W^{1,p}\cap W_0^{1,p}$, $1?p?\infty$ be a solution of the Poisson equation $\Delta u=h$, $h\in L^p$, in the unit disk. We prove ${6?u6}_{L^p}?a_p{6h6}_{L^p}$ and ${6?u6}_{L^p}?b_p{6h6}_{L^p}$ with sharp constants $a_p$ and $b_p$, for $p=1$, $p=2$, and $p=\infty$. In addition, for $p>2$, with sharp constants $c_p$ and $C_p$, we show ${6?u6}_{L^{\infty }}?c_p{6h6}_{L^p}$ and ${6?u6}_{L^{\infty }}?C_p{6h6}_{L^p}$. We also give an extension to smooth Jordan domains.These problems are equivalent to determining a precise value of the $L^p$ norm of the Cauchy transform of Dirichlet’s problem.     

On integrally closed simple extensions of valuation rings

Let v be a Krull valuation of a field with valuation ring $R_v$. Let θ be a root of an irreducible trinomial $F(x)=x^n+a{x}^m+b$ belonging to $R_v[x]$. In this paper, we give necessary and sufficient conditions involving only $a,b,m,n$ for $R_v[\theta ]$ to be integrally closed. In the particular case when v is the p-adic valuation of the field $\mathbb{Q}$ of rational numbers, $F(x)\in \mathbb{Z}[x]$ and $K=\mathbb{Q}(\theta )$, then it is shown that these conditions lead to the characterization of primes which divide the index of the subgroup $\mathbb{Z}[\theta ]$ in $A_K$, where $A_K$ is the ring of algebraic integers of K. As an application, it is deduced that for any algebraic number field K and any quadratic field L not contained in K, we have $A_{KL}=A_K{A}_L$ if and only if the discriminants of K and L are coprime.     

INTERIOR ESTIMATES IN MORREY SPACES FOR SOLUTIONS OF ELLIPTIC EQUATIONS AND WEIGHTED BOUNDEDNESS FOR COMMUTATORS OF SINGULAR INTEGRAL OPERATORS

It is proved that, for the nondivergence elliptic equations ∑in, j=1 aijuxixj = f,if f belongs to the generalized Morrey spaces Lp,ψ(ω), then uxixj ∈ Lp,ψ(ω), where u is the W2,p-solution of the equations. In order to obtain this, the author first establish the weighted boundedness for the commutators of some singular integral operators on Lp,ψ (ω).     

Indices of Kummer extensions of prime degree

Let p be a prime and let ${\zeta }_p$ be a primitive p-th root of unity. For a finite extension k of $\mathbb{Q}$ containing ${\zeta }_p$, we consider a Kummer extension $L/k$ of degree p. In this paper, we show that if $k=\mathbb{Q}({\zeta }_p)$ and the class number of k is one, the index of $L/k$ is one. We also show that if $L/k$ is tamely ramified with a normal integral basis, the index is at most a power of p. In the last section, we show that there exist infinitely many cubic Kummer extensions of $\mathbb{Q}({\zeta }_3)$ for both wildly and tamely ramified cases, whose integer rings do not have a power integral basis over that of $\mathbb{Q}({\zeta }_3)$.     

Sum choice number of generalized θ-graphs

Let $G=\left(VE\right)$ be a simple graph and for every vertex $v\in V$ let $L\left(v\right)$ be a set (list) of available colors. $G$ is called $L$-colorable if there is a proper coloring $\phi$ of the vertices with $\phi \left(v\right)\in L\left(v\right)$ for all $v\in V$. A function $f:V\to \mathbb{N}$ is called a choice function of $G$ and $G$ is said to be $f$-list colorable if $G$ is $L$-colorable for every list assignment $L$ choice function is defined by $size\left(f\right)={\sum }_{v\in V}f\left(v\right)$ and the sum choice number ${\chi }_{sc}\left(G\right)$ denotes the minimum size of a choice function of $G$.Sum list colorings were introduced by Isaak in 2002 and got a lot of attention since then.For $r\ge 3$ a generalized ${\theta }_{k_1{k}_2\dots k_r}$-graph is a simple graph consisting of two vertices $v_1$ and $v_2$ connected by $r$ internally vertex disjoint paths of lengths $k_1,k_2,\dots ,k_r$ $(k_1\le k_2\le ?\le k_r)$.In 2014, Carraher et al. determined the sum-paintability of all generalized $\theta$-graphs which is an online-version of the sum choice number and consequently an upper bound for it.In this paper we obtain sharp upper bounds for the sum choice number of all generalized $\theta$-graphs with $k_1\ge 2$ and characterize all generalized $\theta$-graphs $G$ which attain the trivial upper bound $\left|V\left(G\right)\right|+\left|E\left(G\right)\right|$.     

Translational absolute continuity and Fourier frames on a sum of singular measures

A finite Borel measure μ in ${\mathbb{R}}^d$ is called a frame-spectral measure if it admits an exponential frame (or Fourier frame) for $L^2(\mu )$. It has been conjectured that a frame-spectral measure must be translationally absolutely continuous, which is a criterion describing the local uniformity of a measure on its support. In this paper, we show that if any measures ν and λ without atoms whose supports form a packing pair, then $\nu ?\lambda +{\delta }_t?\nu$ is translationally singular and it does not admit any Fourier frame. In particular, we show that the sum of one-fourth and one-sixteenth Cantor measure ${\mu }_4+{\mu }_{16}$ does not admit any Fourier frame. We also interpolate the mixed-type frame-spectral measures studied by Lev and the measure we studied. In doing so, we demonstrate a discontinuity behavior: For any anticlockwise rotation mapping $R_{\theta }$ with $\theta \ne \pm \pi /2$, the two-dimensional measure ${\rho }_{\theta }(?):=({\mu }_4\times {\delta }_0)(?)+({\delta }_0\times {\mu }_{16})(R_{\theta }^{?1}?)$, supported on the union of x-axis and $y=(\cot ?\theta )x$, always admit a Fourier frame. Furthermore, we can find ${\{e^{2\pi i〈\lambda ,x〉}\}}_{\lambda \in {\mathrm{\Lambda }}_{\theta }}$ such that it forms a Fourier frame for ${\rho }_{\theta }$ with frame bounds independent of θ. Nonetheless, ${\rho }_{\pm \pi /2}$ does not admit any Fourier frame.     

Efimov spaces and the separable quotient problem for spaces Cp(K)

The classic Rosenthal–Lacey theorem asserts that the Banach space $C(K)$ of continuous real-valued maps on an infinite compact space K has a quotient isomorphic to c or ${?}_2$. More recently, Ka?kol and Saxon [20] proved that the space $C_p(K)$ endowed with the pointwise topology has an infinite-dimensional separable quotient algebra iff K has an infinite countable closed subset. Hence $C_p(\beta \mathbb{N})$ lacks infinite-dimensional separable quotient algebras. This motivates the following question: (?) Does$C_p(K)$admit an infinite-dimensional separable quotient (shortly SQ) for any infinite compact space K? Particularly, does $C_p(\beta \mathbb{N})$ admit SQ? Our main theorem implies that $C_p(K)$ has SQ for any compact space K containing a copy of $\beta \mathbb{N}$. Consequently, this result reduces problem (?) to the case when K is an Efimov space (i.e. K is an infinite compact space that contains neither a non-trivial convergent sequence nor a copy of $\beta \mathbb{N}$). Although, it is unknown if Efimov spaces exist in ZFC, we show, making use of some result of R. de la Vega (2008) (under ?), that for some Efimov space K the space $C_p(K)$ has SQ. Some applications of the main result are provided.     

Sequences of dilations and translations in function spaces

Let $f\in L^1[0,1]$ be a mean zero function and let $f_n$, $n=1,2,\dots$, be the dyadic dilations and translations of f. We investigate conditions on f, under which the linear operator $T_f$ defined by $T_f{h}_n=f_n$, $n=1,2,\dots$, where $h_n$, $n=1,2,\dots$, are mean zero Haar functions, can be continuously extended to the closed linear span $[h_n]$ in a certain function space X. Among other results we prove that $T_f$ is bounded in every symmetric space with nontrivial Boyd indices whenever $f\in BM{O}_d$ and f has “good” Haar spectral properties. In the special case of so-called Haar chaoses the above results can be essentially refined and sharpened. In particular, we find necessary and sufficient conditions, under which the operator $T_f$, generated by a Haar chaos f of order 1, is continuously invertible in $L^p$ for all $1<p<\infty$.     

Properties of Beurling-type submodules via Agler decompositions

In this paper, we study operator-theoretic properties of the compressed shift operators $S_{z_1}$ and $S_{z_2}$ on complements of submodules of the Hardy space over the bidisk $H^2({\mathbb{D}}^2)$. Specifically, we study Beurling-type submodules – namely submodules of the form $\theta H^2({\mathbb{D}}^2)$ for θ inner – using properties of Agler decompositions of θ to deduce properties of $S_{z_1}$ and $S_{z_2}$ on model spaces $H^2({\mathbb{D}}^2)?\theta H^2({\mathbb{D}}^2)$. Results include characterizations (in terms of θ) of when a commutator $[S_{z_j}^{?},S_{z_j}]$ has rank n and when subspaces associated to Agler decompositions are reducing for $S_{z_1}$ and $S_{z_2}$. We include several open questions.     

ℓ1-summability of higher-dimensional Fourier series

It is proved that the maximal operator of the ${?}_1$-Fejér means of a $d$-dimensional Fourier series is bounded from the periodic Hardy space $H_p\left({\mathbb{T}}^d\right)$ to $L_p\left({\mathbb{T}}^d\right)$ for all $d/(d+1)<p\le \infty$ and, consequently, is of weak type (1, 1). As a consequence we obtain that the ${?}_1$-Fejér means of a function $f\in L_1\left({\mathbb{T}}^d\right)$ converge a.e. to $f$. Moreover, we prove that the ${?}_1$-Fejér means are uniformly bounded on the spaces $H_p\left({\mathbb{T}}^d\right)$ and so they converge in norm $(d/(d+1)<p<\infty )$. Similar results are shown for conjugate functions and for a general summability method, called $\theta$-summability. Some special cases of the ${?}_1–\theta$-summation are considered, such as the Weierstrass, Picard, Bessel, Fejér, de la Vallée Poussin, Rogosinski and Riesz summations.     

On uniqueness of stationary solutions to the Navier–Stokes equations in exterior domains

The aim of this paper is to prove a uniqueness criterion for solutions to the stationary Navier–Stokes equation in 3-dimensional exterior domains within the class $u\in L_{3,\infty }$ with $?u\in L_{3/2,\infty }$, where $L_{3,\infty }$ and $L_{3/2,\infty }$ are the Lorentz spaces. Our criterion asserts that if $u$ and $v$ are the solutions, $u$ is small in $L_{3,\infty }$ and $u,v\in L_p$ for some $p>3$, then $u=v$. The proof is based on analysis of the dual equation with the aid of the bootstrap argument.