We obtain the boundedness of Calderón-Zygmund singular integral operators $T$ of non-convolution type on Hardy spaces $H^p\left(𝒳\right)$ for $1/(1+ϵ)<p\le 1$, where $𝒳$ is a space of homogeneous type in the sense of Coifman and Weiss (1971), and $ϵ$ is the regularity exponent of the kernel of the singular integral operator $T$. Our approach relies on the discrete Littlewood-Paley-Stein theory and discrete Calderón’s identity. The crucial feature of our proof is to avoid atomic decomposition and molecular theory in contrast...

We consider the problem of the existence of positive solutions u to the problem $u^{\left(n\right)}\left(x\right)=g\left(u\left(x\right)\right)$, $u\left(0\right)=u^{\text{'}}\left(0\right)=...=u^{(n-1)}\left(0\right)=0$ (g ≥ 0,x > 0, n ≥ 2). It is known that if g is nondecreasing then the Osgood condition $\int {₀}^{\delta }1/s{[s/g\left(s\right)]}^{1/n}ds<\infty$ is necessary and sufficient for the existence of nontrivial solutions to the above problem. We give a similar condition for other classes of functions g.

Let T be a bounded linear operator on $X={\left(\sum {\ell }_q\right)}_p$ with 1 ≤ q < ∞ and 1 < p < ∞. Then T is a commutator if and only if for all non-zero λ ∈ ℂ, the operator T - λI is not X-strictly singular.

Let ${(X,\varrho ,\mu )}_{d,\theta }$ be a space of homogeneous type, i.e. X is a set, ϱ is a quasi-metric on X with the property that there are constants θ ∈ (0,1] and C₀ > 0 such that for all x,x’,y ∈ X, $|\varrho (x,y)-\varrho (x^{\text{'}},y)|\le C₀\varrho {(x,x^{\text{'}})}^{\theta }{[\varrho (x,y)+\varrho (x^{\text{'}},y)]}^{1-\theta }$, and μ is a nonnegative Borel regular measure on X such that for some d > 0 and all x ∈ X, $\mu \left(y\in X:\varrho (x,y)<r\right)\sim r^d$. Let ε ∈ (0,θ], |s| < ε and maxd/(d+ε),d/(d+s+ε) < q ≤ ∞. The author introduces new inhomogeneous Triebel-Lizorkin spaces $F_{\infty q}^s\left(X\right)$ and establishes their frame characterizations by first establishing a Plancherel-Pólya-type...

We consider two operator space versions of type and cotype, namely $S_p$-type, $S_q$-cotype and type (p,H), cotype (q,H) for a homogeneous Hilbertian operator space H and 1 ≤ p ≤ 2 ≤ q ≤ ∞, generalizing “OH-cotype 2” of G. Pisier. We compute type and cotype of some Hilbertian operator spaces and $L_p$ spaces, and we investigate the relationship between a homogeneous Hilbertian space H and operator spaces with cotype (2,H). As applications we consider operator space versions of generalized little...

Let μ and λ be bounded positive singular measures on the unit circle such that μ ⊥ λ. It is proved that there exist positive measures μ₀ and λ₀ such that μ₀ ∼ μ, λ₀ ∼ λ, and $|{\psi }_{\mu ₀}|<1\cap |{\psi }_{\lambda ₀}|<1=\varnothing$, where ${\psi }_{\mu }$ is the associated singular inner function of μ. Let $\left(\mu \right)={\bigcap }_{\nu ;\nu \sim \mu }Z\left({\psi }_{\nu }\right)$ be the common zeros of equivalent singular inner functions of ${\psi }_{\mu }$. Then (μ) ≠ ∅ and (μ) ∩ (λ) = ∅. It follows that μ ≪ λ if and only if (μ) ⊂ (λ). Hence (μ) is the set in the maximal ideal space of $H^{\infty }$ which relates naturally to the set of measures equivalent...

For every metric space X we introduce two cardinal characteristics $co{v}^{♭}\left(X\right)$ and $co{v}^{♯}\left(X\right)$ describing the capacity of balls in X. We prove that these cardinal characteristics are invariant under coarse equivalence, and that two ultrametric spaces X,Y are coarsely equivalent if $co{v}^{♭}\left(X\right)=co{v}^{♯}\left(X\right)=co{v}^{♭}\left(Y\right)=co{v}^{♯}\left(Y\right)$. This implies that an ultrametric space X is coarsely equivalent to an isometrically homogeneous ultrametric space if and only if $co{v}^{♭}\left(X\right)=co{v}^{♯}\left(X\right)$. Moreover, two isometrically homogeneous ultrametric spaces X,Y are coarsely equivalent if and...

A metric continuum $X$ is said to be continuously homogeneous provided that for every two points $p,q\in X$ there exists a continuous surjective function $f:X\to X$ such that $f\left(p\right)=q$. Answering a question by W.J. Charatonik and Z. Garncarek, in this paper we show a continuum $X$ such that the hyperspace of subcontinua of $X$, $C\left(X\right)$, is not continuously homogeneous.

Motivated by the paper by H. Herrlich, E. Tachtsis (2017) we investigate in ZFC the following compactness question: for which uncountable cardinals $\kappa$, an arbitrary nonempty system $S$ of homogeneous $\mathbb{Z}$-linear equations is nontrivially solvable in $\mathbb{Z}$ provided that each of its subsystems of cardinality less than $\kappa$ is nontrivially solvable in $\mathbb{Z}$?

We give a corrected proof of Theorem 2.10 in our paper “Commutators on ${\left(\sum {\ell }_q\right)}_p$” [Studia Math. 206 (2011), 175-190] for the case 1 < q < p < ∞. The case when 1 = q < p < ∞ remains open. As a consequence, the Main Theorem and Corollary 2.17 in that paper are only valid for 1 < p,q < ∞.

We study the chemotaxis system with singular sensitivity and logistic-type source: $u_t=\Delta u-\chi \nabla ·(u\nabla v/v)+ru-\mu u^k$, $0=\Delta v-v+u$ under the non-flux boundary conditions in a smooth bounded domain $\Omega \subset {ℝ}^n$, $\chi ,r,\mu >0$, $k>1$ and $n\ge 1$. It is shown with $k\in (1,2)$ that the system possesses a global generalized solution for $n\ge 2$ which is bounded when $\chi >0$ is suitably small related to $r>0$ and the initial datum is properly small, and a global bounded classical solution for $n=1$.

Let φ:ℝ ² → ℝ be a homogeneous polynomial function of degree m ≥ 2, let μ be the Borel measure on ℝ ³ defined by $\mu \left(E\right)={\int }_D{\chi }_E(x,\phi \left(x\right))dx$ with D = x ∈ ℝ ²:|x| ≤ 1 and let $T_{\mu }$ be the convolution operator with the measure μ. Let $\phi =\phi {₁}^{e₁}\cdots \phi {ₙ}^{eₙ}$ be the decomposition of φ into irreducible factors. We show that if $e_i\ne m/2$ for each ${\phi }_i$ of degree 1, then the type set $E_{\mu }:=(1/p,1/q)\in [0,1]\times [0,1]:\left|\right|T_{\mu }{\left|\right|}_{p,q}<\infty$ can be explicitly described as a closed polygonal region.

A classification of weakly compact multiplication operators on $L\left(L_p\right),$1<p<$,isgiven.ThisanswersaquestionraisedbySaksmanandTylliin1992.Theclassificationinvolvestheconceptof$p$-strictlysingularoperators,andwealsoinvestigatethestructureofgeneral$p$-strictlysingularoperatorson$Lp$.Themainresultisthatifanoperator$T$on$Lp$,$1<p<2$,is$p$-strictlysingularand$T|X$isanisomorphismforsomesubspace$X$of$Lp$,then$X$embedsinto$Lr$forall$r<2$,but$X$neednotbeisomorphictoaHilbertspace.$It is also shown that if $T$ is convolution by a biased coin on $L_p$ of the Cantor group, $1\le p<2$, and $T_{|X}$ is an isomorphism for some reflexive subspace $X$ of $L_p$, then $X$ is isomorphic to a Hilbert space. The case $p=1$ answers a question asked by Rosenthal in 1976.

We prove the $L^p$ boundedness of the Marcinkiewicz integral operators ${\mu }_{\Omega }$ on ${ℝ}^{n₁}\times \cdots \times {ℝ}^{n_k}$ under the condition that $\Omega \in L{\left(logL\right)}^{k/2}{(}^{n₁-1}\times \cdots {\times }^{n_k-1})$. The exponent k/2 is the best possible. This answers an open question posed by Y. Ding.

An improvement of a lemma of Calderón and Zygmund involving singular spherical harmonic kernels is obtained and a counter-example is given to show that this result is best possible. In a particular case when the singularity is O(|log r|), let $f\in C¹\left({ℝ}^N\setminus 0\right)$ and suppose f vanishes outside of a compact subset of ${ℝ}^N$, N ≥ 2. Also, let k(x) be a Calderón-Zygmund kernel of spherical harmonic type. Suppose f(x) = O(|log r|) as r → 0 in the $L^p$-sense. Set $F\left(x\right)={\int }_{{ℝ}^N}k(x-y)f\left(y\right)dy\forall x\in {ℝ}^N\setminus 0$. Then F(x) = O(log²r) as r → 0 in the $L^p$-sense, 1 <...

Let ${\mu }_A$ be the singular measure on the Heisenberg group ${ℍ}^n$ supported on the graph of the quadratic function $\varphi \left(y\right)=y^{t}Ay$, where $A$ is a $2n\times 2n$ real symmetric matrix. If $det(2A\pm J)\ne 0$, we prove that the operator of convolution by ${\mu }_A$ on the right is bounded from $L^{\frac{(2n+2)}{(2n+1)}}\left({ℍ}^n\right)$ to $L^{2n+2}\left({ℍ}^n\right)$. We also study the type set of the measures $\mathrm{d}{\nu }_{\gamma }(y,s)=\eta \left(y\right){\left|y\right|}^{-\gamma }\mathrm{d}{\mu }_A(y,s)$, for $0\le \gamma <2n$, where $\eta$ is a cut-off function around the origin on ${ℝ}^{2n}$. Moreover, for $\gamma =0$ we characterize the type set of ${\nu }_0$.

An RD-space $𝒳$ is a space of homogeneous type in the sense of Coifman and Weiss with the additional property that a reverse doubling property holds. The authors prove that for a space of homogeneous type $𝒳$ having “dimension” $n$, there exists a $p_0\in (n/(n+1),1)$ such that for certain classes of distributions, the $L^p\left(𝒳\right)$ quasi-norms of their radial maximal functions and grand maximal functions are equivalent when $p\in (p_0,\infty ]$. This result yields a radial maximal function characterization for Hardy spaces on $𝒳$. ...

Let 1 < p < ∞, q = p/(p-1) and for $f\in L^p(0,\infty )$ define $F\left(x\right)=(1/x){ʃ}_0^{x}f\left(t\right)dt$, x > 0. Moser’s Inequality states that there is a constant $C_p$ such that $su{p}_{a\le 1}su{p}_{f\in B_p}{ʃ}_0^{\infty }exp[a{x}^q{\left|F\left(x\right)\right|}^q-x]dx=C_p$ where $B_p$ is the unit ball of $L^p$. Moreover, the value a = 1 is sharp. We observe that $F=K_1$ f where the integral operator $K_1$ has a simple kernel K. We consider the question of for what kernels K(t,x), 0 ≤ t, x < ∞, this result can be extended, and proceed to discuss this when K is non-negative and homogeneous of degree -1. A sufficient condition on K is found for...