Oleksiy Karlovych

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 a higher order asymptotic formula for traces of finite block Toeplitz matrices with symbols belonging to Hölder-Zygmund spaces. The remainder in this formula goes to zero very rapidly for very smooth symbols. This formula refines previous asymptotic trace formulas by Szegő and Widom and complement higher order asymptotic formulas for determinants of finite block Toeplitz matrices due to Böttcher and Silbermann.

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 consider the Banach algebra \(\mathfrak{A}\) of singular integral operators with matrix piecewise continuous coefficients in the reflexive Orlicz space \(L_M^n(\Gamma)\). We assume that \(\Gamma\) belongs to a certain wide subclass of the class of Carleson curves; this subclass includes curves with cusps, as well as curves of the logarithmic spiral type. We obtain an index formula for an arbitrary operator from the algebra \(\mathfrak{A}\) in terms of the symbol of this operator.

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.

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.

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.

Suppose \(\Gamma\) is a Carleson Jordan curve with logarithmic whirl points, \(\varrho\) is a Khvedelidze weight, \(p:\Gamma\to(1,\infty)\) is a continuous function satisfying \(|p(\tau)-p(t)|\le -\mathrm{const}/\log|\tau-t|\) for \(|\tau-t|\le 1/2\), and \(L^{p(\cdot)}(\Gamma,\varrho)\) is a weighted generalized Lebesgue space with variable exponent. We prove that all semi-Fredholm operators in the algebra of singular integral operators with \(N\times N\) matrix piecewise continuous coefficients are Fredholm on \(L_N^{p(\cdot)}(\Gamma,\varrho)\).

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)\).

We find Fredholm criteria and a formula for the index of an arbitrary operator in the Banach algebra of singular integral operators with piecewise continuous coefficients on Nakano spaces (generalized Lebesgue spaces with variable exponent) with Khvedelidze weights over either Lyapunov curves or Radon curves without cusps. These results ``localize'' the Gohberg-Krupnik Fredhohn theory with respect to the variable exponent.

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.

We prove analogues of the Brown-Halmos and Nehari theorems on the norms of Toeplitz and Hankel operators, respectively, acting on subspaces of Hardy type of reflexive rearrangement-invariant spaces with nontrivial Boyd indices.

We prove necessary conditions for the Fredholmness of singular integral operators with piecewise continuous coefficients on weighted Banach function spaces. These conditions are formulated in terms of indices of submultiplicative functions associated with local properties of the space, of the curve, and of the weight. As an example, we consider weighted Nakano spaces \(L^{p(\cdot)}_w\) (weighted Lebesgue spaces with variable exponent). Moreover, our necessary conditions become also sufficient for weighted Nakano spaces over nice curves whenever \(w\) is a Khvedelidze weight, and the variable exponent \(p(t)\) satisfies the estimate \(|p(\tau)-p(t)|\le A/(-\log|\tau-t|)\).

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\).

Let \(\Gamma\) be an oriented Jordan smooth curve and \(\alpha\) a diffeomorphism of $\Gamma$ onto itself which has an arbitrary nonempty set of periodic points. We prove criteria for one-sided invertibility of the binomial functional operator \(A=aI-bW\) where $a$ and $b$ are continuous functions, \(I\) is the identity operator, \(W\) is the shift operator, \(Wf=f\circ\alpha\), on a reflexive rearrangement-invariant space \(X(\Gamma)\) with Boyd indices \(\alpha_X,\beta_X\) and Zippin indices \(p_X,q_X\) satisfying inequalities
\[
0<\alpha_X=p_X\le q_X=\beta_X<1.
\]

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)\).