Oleksiy Karlovych

We compute the generalized Cauchy index of some semi-almost periodic functions, which are important
in the study of the Fredholm index of singular integral operators with shifts and slowly oscillating data.

Let \(\alpha,\beta\) be orientation-preserving diffeomorphism (shifts) of \(\mathbb{R}_+=(0,\infty)\) onto itself with the only fixed points \(0\) and \(\infty\) and \(U_\alpha,U_\beta\) be the isometric shift operators on \(L^p(\mathbb{R}_+)\) given by \(U_\alpha f=(\alpha')^{1/p}(f\circ\alpha)\), \(U_\beta f=(\beta')^{1/p}(f\circ\beta)\), and \(P_2^\pm=(I\pm S_2)/2\) where \[ (S_2 f)(t):=\frac{1}{\pi i}\int\limits_0^\infty \left(\frac{t}{\tau}\right)^{1/2-1/p}\frac{f(\tau)}{\tau-t}\,d\tau, \quad t\in\mathbb{R}_+, \]
is the weighted Cauchy singular integral operator. We prove that if \(\alpha',\beta'\) and \(c,d\) are continuous on \(\mathbb{R}_+\) and slowly oscillating at \(0\) and \(\ infty\), and \[ \limsup_{t\to s}|c(t)|<1,\quad \limsup_{t\to s}|d(t)|<1, \quad s\in\{0,\infty\}, \] then the operator \((I-cU_\alpha)P_2^++(I-dU_\beta)P_2^-\) is Fredholm on \(L^p(\mathbb{R}_+)\) and its index is equal to zero. Moreover, its regularizers are described.

Let \(\mathcal{M}_{X,w}(\mathbb{R})\) denote the algebra of the Fourier multipliers on a separable weighted Banach function space \(X(\mathbb{R},w)\). We prove that if the Cauchy singular integral operator \(S\) is bounded on \(X(\mathbb{R},w)\), then \(\mathcal{M}_{X,w}(\mathbb{R})\) is continuously embedded into \(L^\infty(\mathbb{R})\). An important consequence of the continuous embedding \(\mathcal{M}_{X,w}(\mathbb{R})\subset L^\infty(\mathbb{R})\) is that \(\mathcal{M}_{X,w}(\mathbb{R})\) is a Banach algebra.

We study the boundedness of Fourier convolution operators \(W^0(b)\) and the compactness of commutators of \(W^0(b)\) with multiplication operators \(aI\) on some Banach function spaces \(X(\mathbb{R})\) for certain classes of piecewise quasicontinuous functions \(a\in PQC\) and piecewise slowly oscillating Fourier multipliers \(b\in PSO_{X,1}^\diamond\). We suppose that \(X(\mathbb{R})\) is a separable rearrangement-invariant space with nontrivial Boyd indices or a reflexive variable Lebesgue space, in which the Hardy-Littlewood maximal operator is bounded. Our results complement those of Isaac De La Cruz-Rodríguez, Yuri Karlovich, and Iván Loreto Hernández obtained for Lebesgue spaces with Muckenhoupt weights.

Let \(\alpha\) and \(\beta\) be orientation-preserving diffeomorphism (shifts) of \(\mathbb{R}_+=(0,\infty)\) onto itself with the only fixed points \(0\) and \(\infty\), where the derivatives \(\alpha'\) and \(\beta'\) may have discontinuities of slowly oscillating type at \(0\) and \(\infty\). For \(p\in(1,\infty)\), we consider the weighted shift operators \(U_\alpha\) and \(U_\beta\) given on the Lebesgue space \(L^p(\mathbb{R}_+)\) by \(U_\alpha f=(\alpha')^{1/p}(f\circ\alpha)\) and \(U_\beta f=(\beta')^{1/p}(f\circ\beta)\). For \(i,j\in\mathbb{Z}\) we study the simplest weighted singular integral operators with two shifts \(A_{ij}=U_\alpha^i P_\gamma^++U_\beta^j P_\gamma^-\) on \(L^p(\mathbb{R}_+)\), where \(P_\gamma^\pm=(I\pm S_\gamma)/2\) are operators associated to the weighted Cauchy singular integral operator \[ (S_\gamma f)(t)=\frac{1}{\pi i}\int_{\mathbb{R}_+} \left(\frac{t}{\tau}\right)^\gamma\frac{f(\tau)}{\tau-t}d\tau \] with \(\gamma\in\mathbb{C}\) satisfying \(0<1/p+\Re\gamma<1\). We prove that the operator \(A_{ij}\) is a Fredholm operator on \(L^p(\mathbb{R}_+)\) and has zero index if \[ 0<\frac{1}{p}+\Re\gamma+\frac{1}{2\pi}\inf_{t\in\mathbb{R}_+}(\omega_{ij}(t)\Im\gamma), \quad \frac{1}{p}+\Re\gamma+\frac{1}{2\pi}\sup_{t\in\mathbb{R}_+}(\omega_{ij}(t)\Im\gamma)<1, \] where \(\omega_{ij}(t)=\log[\alpha_i(\beta_{-j}(t))/t]\) and \(\alpha_i\), \(\beta_{-j}\) are iterations of \(\alpha\), \(\beta\). This statement extends an earlier result obtained by the author, Yuri Karlovich, and Amarino Lebre for \(\gamma=0\).

We prove that if the Hardy-Littlewood maximal operator is bounded on a separable Banach function space \(X(\mathbb{R}^n)\) and on its associate space \(X'(\mathbb{R}^n)\) and a maximally modulated Calderón-Zygmund singular integral operator \(T^{\Phi}\) is of weak type \((r,r)\) for all \(r\in(1,\infty)\), then \(T^{\Phi}\) extends to a bounded operator on \(X(\mathbb{R}^n)\). This theorem implies the boundedness of the maximally modulated Hilbert transform on variable Lebesgue spaces \(L^{p(\cdot)}(\mathbb{R})\) under natural assumptions on the variable exponent \(p:\mathbb{R}\to(1,\infty)\). Applications of the above result to the boundedness and compactness of pseudodifferential operators with \(L^\infty(\mathbb{R},V(\mathbb{R}))\)-symbols on variable Lebesgue spaces \(L^{p(\cdot)}(\mathbb{R})\) are considered. Here the Banach algebra \(L^\infty(\mathbb{R},V(\mathbb{R}))\) consists of all bounded measurable \(V(\mathbb{R})\)-valued functions on \(\mathbb{R}\) where \(V(\mathbb{R})\) is the Banach algebra of all functions of bounded total variation.

We prove the Stechkin inequality for Fourier multipliers on variable Lebesgue spaces under some natural assumptions on variable exponents.

We show that if the Hardy-Littlewood maximal operator is bounded on a separable Banach function space \(X(\mathbb{R}^n)\) and on its associate space \(X'(\mathbb{R}^n)\), then a pseudodifferential operator \(\operatorname{Op}(a)\) is bounded on \(X(\mathbb{R}^n)\) whenever the symbol \(a\) belongs to the Hörmander class \(S_{\rho,\delta}^{n(\rho-1)}\) with \(0<\rho\le 1\), \(0\le\delta<1\) or to the the Miyachi class \(S_{\rho,\delta}^{n(\rho-1)}(\varkappa,n)\) with \(0\le\delta\le\rho\le 1\), \(0\le\delta<1\), and \(\varkappa>0\). This result is applied to the case of variable Lebesgue spaces \(L^{p(\cdot)}(\mathbb{R}^n)\).

Let \(p:\mathbb{R}\to(1,\infty)\) be a globally log-Hölder continuous variable exponent and \(w:\mathbb{R}\to[0,\infty]\) be a weight. We prove that the Cauchy singular integral operator \(S\) is bounded on the weighted variable Lebesgue space \(L^{p(\cdot)}(\mathbb{R},w)=\{f:fw\in L^{p(\cdot)}(\mathbb{R})\}\) if and only if the weight \(w\) satisfies $$ \sup_{-\infty < a < b < \infty} \frac{1}{b-a} \|w\chi_{(a,b)}\|_{p(\cdot)} \|w^{-1}\chi_{(a,b)}\|_{p'(\cdot)}<\infty \quad (1/p(x)+1/p'(x)=1). $$

Let \(\alpha\) and \(\beta\) be orientation-preserving diffeomorphisms (shifts) of \(\mathbb{R}_+=(0,\infty)\) onto itself with the only fixed points \(0\) and \(\infty\), where the derivatives \(\alpha'\) and \(\beta'\) may have discontinuities of slowly oscillating type at \(0\) and \(\infty\). For \(p\in(1,\infty)\), we consider the weighted shift operators \(U_\alpha\) and \(U_\beta\) given on the Lebesgue space \(L^p(\mathbb{R}_+)\) by \(U_\alpha f=(\alpha')^{1/p}(f\circ\alpha)\) and \(U_\beta f= (\beta')^{1/p}(f\circ\beta)\). We apply the theory of Mellin pseudodifferential operators with symbols of limited smoothness to study the simplest singular integral operators with two shifts \(A_{ij}=U_\alpha^i P_++U_\beta^j P_-\) on the space \(L^p(\mathbb{R}_+)\), where \(P_\pm=(I\pm S)/2\) are operators associated to the Cauchy singular integral operator \(S\), and \(i,j\in\mathbb{Z}\). We prove that all \(A_{ij}\) are Fredholm operators on \(L^p(\mathbb{R}_+)\) and have zero indices.

We study Mellin pseudodifferential operators (shortly, Mellin PDO's) with symbols in the algebra \(\widetilde{\mathcal{E}}(\mathbb{R}_+,V(\mathbb{R}))\) of slowly oscillating functions of limited smoothness introduced in [K09]. We show that if \(\mathfrak{a}\in\widetilde{\mathcal{E}}(\mathbb{R}_+,V(\mathbb{R}))\) does not degenerate on the ``boundary" of \(\mathbb{R}_+\times\mathbb{R}\) in a certain sense, then the Mellin PDO \(\operatorname{Op}(\mathfrak{a})\) is Fredholm on the space \(L^p\) for \(p\in(1,\infty)\) and each its regularizer is of the form \(\operatorname{Op}(\mathfrak{b})+K\) where \(K\) is a compact operator on \(L^p\) and \(\mathfrak{b}\) is a certain explicitly constructed function in the same algebra \(\widetilde{\mathcal{E}}(\mathbb{R}_+,V(\mathbb{R}))\) such that \(\mathfrak{b}=1/\mathfrak{a}\) on the ``boundary" of \(\mathbb{R}_+\times\mathbb{R}\). This result complements the known Fredholm criterion from [K09] for Mellin PDO's with symbols in the closure of \(\widetilde{\mathcal{E}}(\mathbb{R}_+,V(\mathbb{R}))\) and extends the corresponding result by V.S. Rabinovich (see [R98]) on Mellin PDO's with slowly oscillating symbols in \(C^\infty(\mathbb{R}_+\times\mathbb{R})\).

Let \(\mathcal{M}(\mathbb{R}^n)\) be the class of bounded away from one and infinity functions \(p:\mathbb{R}^n\to[1,\infty]\) such that the Hardy-Littlewood maximal operator is bounded on the variable Lebesgue space \(L^{p(\cdot)}(\mathbb{R}^n)\). We show that if \(a\) belongs to the Hörmander class \(S_{\rho,\delta}^{n(\rho-1)}\) with \(0<\rho\le 1\), \(0\le\delta<1\), then the pseudodifferential operator \(\operatorname{Op}(a)\) is bounded on the variable Lebesgue space \(L^{p(\cdot)}(\mathbb{R}^n)\) provided that \(p\in\mathcal{M}(\mathbb{R}^n)\). Let \(\mathcal{M}^*(\mathbb{R}^n)\) be the class of variable exponents \(p\in\mathcal{M}(\mathbb{R}^n)\) represented as \(1/p(x)=\theta/p_0+(1-\theta)/p_1(x)\) where \(p_0\in(1,\infty)\), \(\theta\in(0,1)\), and \(p_1\in\mathcal{M}(\mathbb{R}^n)\). We prove that if \(a\in S_{1,0}^0\) slowly oscillates at infinity in the first variable, then the condition \[ \lim_{R\to\infty}\inf_{|x|+|\xi|\ge R}|a(x,\xi)|>0 \] is sufficient for the Fredholmness of \(\operatorname{Op}(a)\) on \(L^{p(\cdot)}(\mathbb{R}^n)\) whenever \(p\in\mathcal{M}^*(\mathbb{R}^n)\). Both theorems generalize pioneering results by Rabinovich and Samko [RS08] obtained for globally log-Hölder continuous exponents \(p\), constituting a proper subset of \(\mathcal{M}^*(\mathbb{R}^n)\).

Suppose \(\alpha\) is an orientation-preserving diffeomorphism (shift) of \(\mathbb{R}_+=(0,\infty)\) onto itself with the only fixed points \(0\) and \(\infty\). In [KKL11] we found sufficient conditions for the Fredholmness of the singular integral operator with shift \[(aI-bW_\alpha)P_++(cI-dW_\alpha)P_-\] acting on \(L^p(\mathbb{R}_+)\) with \( 1 < p < \infty\), where \(P_\pm=(I\pm S)/2\), \(S\) is the Cauchy singular integral operator, and \(W_\alpha f=f\circ\alpha\) is the shift operator, under the assumptions that the coefficients \(a,b,c,d\) and the derivative \(\alpha'\) of the shift are bounded and continuous on \(\mathbb{R}_+\) and may admit discontinuities of slowly oscillating type at \(0\) and \(\infty\). Now we prove that those conditions are also necessary.

We correct Theorem 3.2 and Corollary 3.3 from [KMS]. This correction ammounts to the observation that the proof of the main result in [KMS] contains a gap in Lemma~10.6 for \(p\ne 2\). The results of [KMS] are true for \(p=2\).

Let \(a\) be a semi-almost periodic matrix function with the almost periodic representatives \(a_l\) and \(a_r\) at \(-\infty\) and \(+\infty\), respectively. Suppose \(p:\mathbb{R}\to(1,\infty)\) is a slowly oscillating exponent such that the Cauchy singular integral operator \(S\) is bounded on the variable Lebesgue space \(L^{p(\cdot)}(\mathbb{R})\). We prove that if the operator \(aP+Q\) with \(P=(I+S)/2\) and \(Q=(I-S)/2\) is Fredholm on the variable Lebesgue space \(L_N^{p(\cdot)}(\mathbb{R})\), then the operators \(a_lP+Q\) and \(a_rP+Q\) are invertible on standard Lebesgue spaces \(L_N^{q_l}(\mathbb{R})\) and \(L_N^{q_r}(\mathbb{R})\) with some exponents \(q_l\) and \(q_r\) lying in the segments between the lower and the upper limits of \(p\) at \(-\infty\) and \(+\infty\), respectively.

Suppose \(\alpha\) is an orientation preserving diffeomorphism (shift) of \(\mathbb{R}_+=(0,\infty)\) onto itself with the only fixed points \(0\) and \(\infty\). We establish sufficient conditions for the Fredholmness of the singular integral operator with shift \[ (aI-bW_\alpha)P_++(cI-dW_\alpha)P_- \] acting on \(L^p(\mathbb{R}_+)\) with \( 1 < p < \infty \), where \(P_\pm=(I\pm S)/2\), \(S\) is the Cauchy singular integral operator, and \(W_\alpha f=f\circ\alpha\) is the shift operator, under the assumptions that the coefficients \(a,b,c,d\) and the derivative \(\alpha'\) of the shift are bounded and continuous on \(\mathbb{R}_+\) and may admit discontinuities of slowly oscillating type at \(0\) and \(\infty\).

In 1968, Gohberg and Krupnik found a Fredholm criterion for singular integral operators of the form \(aP+bQ\), where \(a,b\) are piecewise continuous functions and \(P,Q\) are complementary projections associated to the Cauchy singular integral operator, acting on Lebesgue spaces over Lyapunov curves. We extend this result to the case of Nakano spaces (also known as variable Lebesgue spaces) with certain weights having finite sets of discontinuities on arbitrary Carleson curves.

We prove sufficient conditions for the boundedness of the maximal operator on variable Lebesgue spaces with weights \(\varphi_{t,\gamma}(\tau)=|(\tau-t)^\gamma|\), where \(\gamma\) is a complex number, over arbitrary Carleson curves. If the curve has different spirality indices at the point $t$ and \(\gamma\) is not real, then \(\varphi_{t,\gamma}\) is an oscillating weight lying beyond the class of radial oscillating weights considered recently by V. Kokilashvili, N. Samko, and S. Samko.

We prove necessary and sufficient conditions for the applicability of the finite section method to an arbitrary operator in the Banach algebra generated by the operators of multiplication by piecewise continuous functions and the convolution operators with symbols in the algebra generated by piecewise continuous and slowly oscillating Fourier multipliers on \(L^p(\mathbb{R})\), \(1 < p < \infty\).

In 1968, Israel Gohberg and Naum Krupnik discovered that local spectra of singular integral operators with piecewise continuous coefficients on Lebesgue spaces \(L^p(\Gamma)\) over Lyapunov curves have the shape of circular arcs. About 25 years later, Albrecht Böttcher and Yuri Karlovich realized that these circular arcs metamorphose to so-called logarithmic leaves with a median separating point when Lyapunov curves metamorphose to arbitrary Carleson curves. We show that this result remains valid in a more general setting of variable Lebesgue spaces \(L^{p(\cdot)}(\Gamma)\) where \(p:\Gamma\to(1,\infty)\) satisfies the Dini-Lipschitz condition. One of the main ingredients of the proof is a new condition for the boundedness of the Cauchy singular integral operator on variable Lebesgue spaces with weights related to oscillations of Carleson curves.

We prove a Fredholm criterion for operators in the Banach algebra of singular integral operators with matrix piecewise continuous coefficients acting on a variable Lebesgue space with a radial oscillating weight over a logarithmic Carleson curve. The local spectra of these operators are massive and have a shape of spiralic horns depending on the value of the variable exponent, the spirality indices of the curve, and the Matuszewska-Orlicz indices of the weight at each point. These results extend (partially) the results of A. Böttcher, Yu. Karlovich, and V. Rabinovich for standard Lebesgue spaces to the case of variable Lebesgue spaces.

Harold Widom proved in 1966 that the spectrum of a Toeplitz operator \(T(a)\) acting on the Hardy space \(H^p(\mathbb{T})\) over the unit circle \(\mathbb{T}\) is a connected subset of the complex plane for every bounded measurable symbol \(a\) and \(1 < p < \infty\). In 1972, Ronald Douglas established the connectedness of the essential spectrum of \(T(a)\) on \(H^2(\mathbb{T})\). We show that, as was suspected, these results remain valid in the setting of Hardy spaces \(H^p(\Gamma,w)\), \( 1 < p < \infty \), with general Muckenhoupt weights \(w\) over arbitrary Carleson curves \(\Gamma\).

Let \(\alpha,\beta\in(0,1)\) and
\[
K^{\alpha,\beta}:=\left\{a\in L^\infty(\mathbb{T}):\
\sum_{k=1}^\infty |\widehat{a}(-k)|^2 k^{2\alpha}<\infty,\
\sum_{k=1}^\infty |\widehat{a}(k)|^2 k^{2\beta}<\infty
\right\}.
\]
Mark Krein proved in 1966 that \(K^{1/2,1/2}\) forms a Banach algebra. He also observed that this algebra is important in the asymptotic theory of finite Toeplitz matrices. Ten years later, Harold Widom extended
earlier results of Gabor Szegö for scalar symbols and established the asymptotic trace formula
\[
\operatorname{trace}f(T_n(a))=(n+1)G_f(a)+E_f(a)+o(1)
\quad\text{as}\ n\to\infty
\]
for finite Toeplitz matrices \(T_n(a)\) with matrix symbols \(a\in K^{1/2,1/2}_{N\times N}\). We show that if \(\alpha+\beta\ge 1\) and \(a\in K^{\alpha,\beta}_{N\times N}\), then the Szegö-Widom asymptotic trace formula holds with \(o(1)\) replaced by \(o(n^{1-\alpha-\beta})\).

Recently V. Kokilashvili, N. Samko, and S. Samko have proved a sufficient condition for the boundedness of the Cauchy singular integral operator on variable Lebesgue spaces with radial oscillating weights over Carleson curves. This condition is formulated in terms of Matuszewska-Orlicz indices of weights. We prove a partial converse of their result.