In this paper we show the invariance of the Fredholm index of non-smooth pseudodifferential operators with coefficients in Hölder spaces. By means of this invariance we improve previous spectral invariance results for non-smooth pseudodifferential operators $P$ with coefficients in Hölder spaces. For this purpose we approximate $P$ with smooth pseudodifferential operators and use a spectral invariance result of smooth pseudodifferential operators. Then we get the spectral invariance result in analogy to a proof of the spectral invariance result for non-smooth differential operators by Rabier.
In this paper we prove sufficient conditions for the Fredholm property of a non-smooth pseudodifferential operator $P$ which symbol is in a Hölder space with respect to the spatial variable. As a main ingredient for the proof we use a suitable symbol-smoothing.
We define classes of pseudodifferential operators on $G$-bundles with compact base and give a generalized $L^2$ Fredholm theory for invariant operators in these classes in terms of von Neumann's $G$-dimension. We combine this formalism with a generalized Paley-Wiener theorem, valid for bundles with unimodular structure groups, to provide solvability criteria for invariant operators. This formalism also gives a basis for a $G$-index for these operators. We also define and describe a transversal dimension and its corresponding Fredholm theory in terms of anisotropic Sobolev estimates, valid also…
The main aim of the paper is Fredholm properties of a class of bounded linear operators acting on weighted Lebesgue spaces on an infinite metric graph $Γ$ which is periodic with respect to the action of the group ${\mathbb Z}^n$. The operators under consideration are distinguished by their local behavior: they act as (Fourier) pseudodifferential operators in the class $OPS^0$ on every open edge of the graph, and they can be represented as a matrix Mellin pseudodifferential operator on a neighborhood of every vertex of $Γ$. We apply these results to study the Fredholm property of a class of sin…
In this expository note, we present a simple proof of the Fredholm Alternative for compact operators that are norm limits of finite rank operators. We also prove a Fredholm Alternative for pseudodifferential operators of order < 0.
For operators belonging either to a class of global bisingular pseudodifferential operators on $R^m \times R^n$ or to a class of bisingular pseudodifferential operators on a product $M \times N$ of two closed smooth manifolds, we show the equivalence of their ellipticity (defined by the invertibility of certain associated homogeneous principal symbols) and their Fredholm mapping property in associated scales of Sobolev spaces. We also prove the spectral invariance of these operator classes and then extend these results to the even larger classes of Toeplitz type operators.
We characterize the groupoids for which an operator is Fredholm if, and only if, its principal symbol and all its boundary restrictions are invertible. A groupoid with this property is called {\em Fredholm}. Using results on the Effros-Hahn conjecture, we show that an almost amenable, Hausdorff, second countable groupoid is Fredholm. Many groupoids, and hence many pseudodifferential operators appearing in practice, fit into this framework. In particular, one can use these results to characterize the Fredholm operators on manifolds with cylindrical and poly-cylindrical ends, on manifolds that a…
We consider bisingular pseudodifferential operators which are pseudodifferential operators of tensor product type. These operators are defined on the product manifold $M_1 \times M_2$, for closed manifolds $M_1$ and $M_2$. We prove a topological index theorem of product type. In addition, we show that the Fredholm index of elliptic bisingular operators equals the topological index, whenever the operator takes the form of an external tensor product of pseudodifferential operators, up to equivalence. To this end we construct a suitable double deformation groupoid and a Poincaré duality type homo…
Let $Γ$ be a compact group acting on a smooth, compact manifold $M$, let $P \in ψ^m(M; E_0, E_1)$ be a $Γ$-invariant, classical pseudodifferential operator acting between sections of two equivariant vector bundles $E_i \to M$, $i = 0,1$, and let $α$ be an irreducible representation of the group $Γ$. Then $P$ induces a map $π_α(P) : H^s(M; E_0)_α\to H^{s-m}(M; E_1)_α$ between the $α$-isotypical components of the corresponding Sobolev spaces of sections. When $Γ$ is finite, we explicitly characterize the operators $P$ for which the map $π_α(P)$ is Fredholm in terms of the principal symbol of $P$…
Let X be a smooth compact manifold with boundary. For smooth foliations on the boundary of X admitting a `resolution' in terms of a fibration, we construct a pseudodifferential calculus generalizing the fibred cusp calculus of Mazzeo and Melrose. In particular, we introduce certain symbols leading to a simple description of the Fredholm operators inside the calculus. When the leaves of the fibration `resolving' the foliation are compact, we also obtain an index formula for Fredholm perturbations of Dirac-type operators. Along the way, we obtain a formula for the adiabatic limit of the eta inva…
In this paper we discuss some spectral invariance results for non-smooth pseudodifferential operators with coefficients in Hölder spaces. In analogy to the proof in the smooth case of Beals and Ueberberg, we use the characterization of non-smooth pseudodifferential operators to get such a result. The main new difficulties are the limited mapping properties of pseudodifferential operators with non-smooth symbols and the fact, that in general the composition of two non-smooth pseudodifferential operators is not a pseudodifferential operator. In order to improve these spectral invariance results …
The extended Heisenberg algebra for a contact manifold has a symbolic calculus that accommodates both Heisenberg pseudodifferential operators as well as classical pseudodifferential operators. We derive here a formula for the index of Fredholm operators in this extended calculus. This formula incorporates in a single expression the Atiyah-Singer formula for elliptic operators, as well as Boutet de Monvel's Toeplitz index formula.
We answer the question of when an invariant pseudodifferential operator is Fredholm on a fixed, given isotypical component. More precisely, let $Γ$ be a compact group acting on a smooth, compact, manifold $M$ without boundary and let $P \in ψ^m(M; E_0, E_1)$ be a $Γ$-invariant, classical, pseudodifferential operator acting between sections of two $Γ$-equivariant vector bundles $E_0$ and $E_1$. Let $α$ be an irreducible representation of the group $Γ$. Then $P$ induces by restriction a map $π_α(P) : H^s(M; E_0)_α\to H^{s-m}(M; E_1)_α$ between the $α$-isotypical components of the corresponding S…
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_{ρ,δ}^{n(ρ-1)}$ with $0<ρ\le 1$, $0\leδ<1$, then the pseudodifferential operator $\Op(a)$ is bounded on the variable Lebesgue space $L^{p(\cdot)}(\R^n)$ provided that $p\in\cM(\R^n)$. Let $\mathcal{M}^*(\mathbb{R}^n)$ be the class of variable exponents $p\in\mathcal{M}(\mathbb{R}^n)$ represented as $1/…
We give explicit Fredholm conditions for classes of pseudodifferential operators on suitable singular and non-compact spaces. In particular, we include a "user's guide" to Fredholm conditions on particular classes of manifolds including asymptotically hyperbolic manifolds, asymptotically Euclidean (or conic) manifolds, and manifolds with poly-cylindrical ends. The reader interested in applications should be able read right away the results related to those examples, beginning with Section 5. Our general, theoretical results are that an operator adapted to the geometry is Fredholm if, and only …
For bounded right linear operators, in a right quaternionic Hilbert space with a left multiplication defined on it, we study the approximate $S$-point spectrum. In the same Hilbert space, then we study the Fredholm operators and the Fredholm index. In particular, we prove the invariance of the Fredholm index under small norm operator and compact operator perturbations. Finally, in association with Fredholm operators, we develop the theory of essential S-spectrum. We also characterize the $S$-spectrum in terms of the essential S-spectrum and Fredholm operators. In the sequel we study left and r…
Let $G$ be a compact Lie group acting smoothly on a smooth, compact manifold $M$, let $P \in ψ^m(M; E_0, E_1)$ be a $G$--invariant, classical pseudodifferential operator acting between sections of two vector bundles $E_i \to M$, $i = 0,1$, and let $α$ be an irreducible representation of the group $G$. Then $P$ induces a map $π_α(P) : H^s(M; E_0)_α\to H^{s-m}(M; E_1)_α$ between the $α$-isotypical components. We prove that the map $π_α(P)$ is Fredholm if, and only if, $P$ is {\em transversally $α$-elliptic}, a condition defined in terms of the principal symbol of $P$ and the action of $G$ on the…
Let $P$ be a classical pseudodifferential operator of complex order $m$ on an $n$-dimensional smooth manifold $Ω_1$. For the truncation $P_Ω$ to a smooth subset $Ω$ there is a well-known theory of boundary value problems when $P_Ω$ has the transmission property (preserves $C^\infty (\barΩ)$) and is of integer order; the calculus of Boutet de Monvel. Many interesting operators, such as for example complex powers of the Laplacian $(-Δ)^μ$ with noninteger mu, are not covered. They have instead the mu-transmission property defined in Hörmander's books, mapping $x_n^μC^\infty (\barΩ)$ into $C^\inft…
The paper treats boundary value problems for the fractional Laplacian $(-Δ)^a$, $a>0$, and more generally for classical pseudodifferential operators ($ψ$do's) $P$ of order $2a$ with even symbol, applied to functions on a smooth subset $Ω$ of ${\Bbb R}^n$. There are several meaningful local boundary conditions, such as the Dirichlet and Neumann conditions $γ_k^{a-1}u=φ$, $k=0,1$, where $γ_k^{a-1}u=c_k\partial_n^k(u/d^{a-1})|_{\partialΩ}$, $d(x)=\operatorname{dist}(x,\partialΩ)$. We show a new Green's formula $$(Pu,v)_Ω-(u,P^*v)_Ω=(s_0γ_1^{a-1}u+Bγ_0^{a-1}u,γ_0^{a-1}v)_{\partialΩ}-(s_0γ_0^{a-1}u…
We consider a spectral problem over $\mathbb{R}^n$ for a Douglis-Nirenberg system of differential operators under limited smoothness assumptions and under the assumption of parameter-ellipticity in a closed sector $\mathcal{L}$ in the complex plane with vertex at the origin. We pose the problem in an $L_p$ Sobolev-Bessel potential space setting, $1 < p < \infty$, and denote by $A_p$ the operator induced in this setting by the spectral problem. We then derive results pertaining to the Fredholm theory for $A_p$ for values of the spectral parameter $λ$ lying in $\mathcal{L}$ as well as results pe…
An analytic definition of a $\mathbb{Z}_2$-valued spectral flow for paths of real skew-adjoint Fredholm operators is given. It counts the parity of the number of changes in the orientation of the eigenfunctions at eigenvalue crossings through $0$ along the path. The $\mathbb{Z}_2$-valued spectral flow is shown to satisfy a concatenation property and homotopy invariance, and it provides an isomorphism on the fundamental group of the real skew-adjoint Fredholm operators. Moreover, it is connected to a $\mathbb{Z}_2$-index pairing for suitable paths. Applications concern the zero energy bound sta…
We study the gap (= "projection norm" = "graph distance") topology of the space of (not necessarily bounded) self--adjoint Fredholm operators in a separable Hilbert space by the Cayley transform and direct methods. In particular, we show that the space is connected contrary to the bounded case. Moreover, we present a rigorous definition of spectral flow of a path of such operators (actually alternative but mutually equivalent definitions) and prove the homotopy invariance. As an example, we discuss operator curves on manifolds with boundary.
In this paper, we define an analytical index for a continuous family of Fredholm operators parameterized by a topological space $\mathbb{X}$ into a Hilbert space $H,$ as a sequence of integers, extending naturally the usual definition of the index and we prove the homotopy invariance of the index. We give also an extension of the Weyl theorem for normal continuous families and we prove that if $H$ is separable, then the space of B-Fredholm operators on $H$ is path connected.
We revisit an argument due to Lesch (Topology 32 (1993), no. 3, 611-623) for proving the cobordism invariance of the index of Dirac operators on even-dimensional closed manifolds and combine this with recent work by the author (New York J. Math. 28 (2022), 705-772) to show vanishing results for the spectral flow for families of selfadjoint Fredholm realizations of elliptic operators in case the family is induced on the boundary by an elliptic operator on a compact space. This work is motivated by studying the behavior of the index of realizations of elliptic operators under cobordisms of stati…
The spectral flow is a well-known quantity in spectral theory that measures the variation of spectra about $0$ along paths of selfadjoint Fredholm operators. The aim of this work is twofold. Firstly, we consider homotopy invariance properties of the spectral flow and establish a simple formula which comprises its classical homotopy invariance and yields a comparison theorem for the spectral flow under compact perturbations. We apply our result to the existence of non-trivial solutions of boundary value problems of Hamiltonian systems. Secondly, the spectral flow was axiomatically characterised…
We introduce a new topology, weaker than the gap topology, on the space of selfadjoint operators affiliated to a semifinite von Neumann algebra. We define the real-valued spectral flow for a continuous path of selfadjoint Breuer-Fredholm operators in terms of a generalization of the winding number. We compare our definition with Phillips' analytical definition and derive integral formulas for the spectral flow for certain paths of unbounded operators with common domain, generalizing those of Carey--Phillips. Furthermore we prove the homotopy invariance of the real-valued index. As an example w…
