A unified concept of the degree of ill-posedness for compact and non-compact linear operator equations in Hilbert spaces under the auspices of the spectral theorem

Frank Werner ∗

Bernd Hofmann †

November 27, 2024

## Abstract

Covering ill-posed problems with compact and non-compact operators regarding the degree of ill-posedness is a never ending story written by many authors in the inverse problems literature. This paper tries to add a new narrative and some new facets with respect to this story under the auspices of the spectral theorem. The latter states that any self-adjoint and bounded operator is unitarily equivalent to a multiplication operator on some (semifinite) measure space. We will exploit this fact and derive a distribution function from the corresponding multiplier, the growth behavior of which at zero allows us to characterize the degree of ill-posedness. We prove that this new concept coincides with the well-known one for equations with compact operators (by means of their singular values), and illustrate the implications along examples with non-compact operators, including the Hausdorff moment operator and convolutions.

## 1 Introduction

Let T : X → Y be a bounded and injective linear operator with range ran( T ), which is mapping between infinite dimensional separable real Hilbert spaces X and Y . In this study, we consider the operator equation

$$T u = g$$

that is ill-posed in correspondence with the fact that ran( T ) is assumed to be a non-closed subset of Y . In the seminal paper [29], the case of compact operators T well-studied in the literature was called ill-posedness of type II , and their strength of ill-posedness is clearly expressed by the decay rate of the singular values of T . The majority of occurring linear ill-posed problems (e.g., Fredhom and Volterra integral equations of first kind over some bounded domain in R d as well as history match problems for the heat equation with homogeneous boundary conditions) belong to that type. Such problems with compact forward operators are extensively analyzed in the inverse problems literature, see e.g. [23, 26, 30]. In the Hilbert space setting, the alternative ill-posedness of type I is characterized by non-compact operators T with non-closed range and arises for convolution operators on unbounded domains (see Subsection 4.2 below) as well as for Ces`ro operators (cf., a e.g., [4, 5, 24]) and in the context of the Hausdorff moment problem (see Subsection 4.1 below). The absence of singular values makes the things more difficult for non-compact T . Therefore, it is our goal to make a suggestion for classifying the strength of ill-posedness also for non-compact operators T with non-closed range by means of their spectral properties.

∗ Institute for Mathematics, University of W¨rzburg, Emil-Fischer-Str. 30, 97074 W¨rzburg, Germany. u u Email: frank.werner@uni-wuerzburg.de

† Chemnitz University of Technology, Faculty of Mathematics, 09107 Chemnitz, Germany. Email: hofmannb@mathematik.tu-chemnitz.de

Covering ill-posed problems with compact and non-compact operators regarding the nature and degree of ill-posedness is a never ending story written by many authors in the inverse problems literature. For example, we refer to the claim of Nashed in [29] that equations with non-degenerating compact operators mapping between infinite dimensional Hilbert spaces are always more ill-posed than those with non-compact ones. Arguments for that claim come from the comparison of illposed situations with two linear operators by partial orderings and associated range inclusions (see, e.g, [17, 27]). In this context, the range of a non-compact operator can never be a subset of the range of a compact operator. Also in [17], however, it was shown by observing the modulus of injectivity for various discretizations that the ill-posedness nature of non-compact operators is completely different from the nature of compact ones and that hence the simple claim of Nashed is rather problematic, because sequences of compact operators do never converge in norm to a non-compact operator. In the present paper, we try to discuss some new facets of the story of covering compact and non-compact cases under the auspices of the spectral theorem.

An illustration of those operators which are in our focus is given in Figure 1 at the end of this introduction. Let us briefly explain here this illustration of operator situations considered in the paper at hand. If T : X → Y is an injective, bounded linear operator, then T ∗ T : X → X is positive and self-adjoint and has as a consequence of Halmos' spectral theorem from [11] a spectral decomposition with a multiplier function λ on some measure space (Ω , µ ) (see Section 3 for details). Under the auspices of the spectral theorem, we will classify the operators T by means of properties of the multiplier function λ . Our focus is on the classification of ill-posed situations that are indicated by the occurrence of essential zeros of the function λ . Such ill-posed problem are characterized in Figure 1 by two areas marked hatched in red. The right crescent of this red area is devoted to the subcase of compact operators (type II ill-posedness), whereas the left part of the red area is reserved for non-compact operators (type I ill-posedness). However, we have to exclude the subsituations ( A ), ( B ) and ( C ), marked in black. First the exclave area (A) in black expresses the case of non-compact operators, where the measure µ (Ω) is finite (Assumption 1(a) below is violated). This case is widely discussed in the literature, in particular for multiplication operators on X = L 2 (0 , 1) with Lebesgue measure µ = µ Leb , and we give an overview of literature and specific approaches for that subcase in the appendix. The second black half-circle (B) in Figure 1 collects exceptional situations, where the corresponding distribution function Φ (see formula (7)) is not informative and Assumption 1(b) below is violated. Such situation is made explicit in Example 5 below. It also occurred in [17, Example 1] in form of a diagonal operator in /lscript 2 , where only a subsequence of the diagonal elements tends to zero. The last small black semi-circle (C) is reserved for possibly occurring situations, where µ cannot chosen to be the Lebesgue measure µ Leb on some subset of R d (Assumption 2 is violated). All three cases marked in black are beyond our focus of this paper.

The paper is organized as follows: In the following Section 2 we recall the well-known concept of the degree of ill-posedness for equations with compact operators and derive equivalent characterizations of the important interval of ill-posedness . Section 3 is dedicated to the inclusion of the non-compact case. We there state the Halmos version of the spectral theorem to be used in the following, define the corresponding distribution function, and illustrate along examples how it can be used to define the degree of ill-posedness. Afterwards, we give our definition and relate it to the compact subcase. Since the focus of our studies is on multiplication operators on infinite measure spaces , a glimpse of the finite measure case is given in an appendix. In Section 4 we discuss prominent examples of non-compact operators with non-closed range, such as the Hausdorff moment operator and convolutions, and derive their degree of ill-posedness. Section 5 is briefly devoted to the case of unbounded operators, which in principle could be handled similarly. We end our manuscript by a brief conclusion and outlook in Section 6.

## positive self-adjoint linear operators in X

Figure 1: Illustrative preview of occurring case distinctions

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01148v2-figure-ac409be3-9aab-493d-b207-3f6ef1ceaeb3.jpg)

## 2 The degree of ill-posedness for equations with compact operators

To get a blueprint for an application to non-compact operators, we consider in this section compact and injective linear operators T : X → Y mapping between infinite dimensional Hilbert spaces X and Y that lead to ill-posed operator equations (1) of type II in the sense of Nashed. They are well-studied in the literature. These studies include reasonable definitions for moderately, severely and mildly ill-posed problems as well as for the degree of ill-posedness, which should be extendable to ill-posendness of type I.

For injective compact operators T leading to ill-posedness of type II, the degree of ill-posedness is typically defined by means of the singular value decomposition. Recall, that there exists a uniquely determined singular system { ( u , v n n , σ n ) } n ∈ N of T such that { u n } n ∈ N is a complete orthonormal system in X , { v n } n ∈ N is a complete orthonormal system on the range ran( T ), and σ 1 ≥ σ 2 ≥ ... ≥ σ n ≥ ... are the corresponding singular values obeying the conditions

$$T u _ { n } = \sigma _ { n } v _ { n }, \quad T ^ { * } v _ { n } = \sigma _ { n } u _ { n } \quad ( n \in \mathbb { N } ).$$

The ill-posedness of equations involving T is due to the fact that lim n →∞ σ n = 0, and the decay rate of { σ n } n ∈ N indicates the severeness of this ill-posedness. The first case of a polynomial decay of singular values for compact operators is well-known in the literature as moderate ill-posedness (cf., e.g., [13])), the second case of an exponential decay as severe ill-posedness (cf., e.g., [6]). The third case of a logarithmic decay can consequently be characterized as mild ill-posedness (cf., e.g, [1]).

For a refinement of ill-posedness measurements, in [20] (see also [17]) an interval of ill-posedness was introduced, which turns out to be helpful also when generalizing the degree of ill-posedness to non-compact operators. All the above nomenclature can be expressed by means of this interval as collected in the following definition:

Definition 1. Let T : X → Y be an injective and compact linear operator between infinitedimensional Hilbert spaces X and Y , and let σ n be the corresponding singular values. We define

the interval of ill-posedness of the operator equation (1) as

$$[ A _ { \sigma }, B _ { \sigma } ] \coloneqq \left [ \liminf _ { n \to \infty } \frac { - \log ( \sigma _ { n } ) } { \log ( n ) } \,, \, \limsup _ { n \to \infty } \frac { - \log ( \sigma _ { n } ) } { \log ( n ) } \right ] & \subset [ 0, \infty ]. & \quad \quad ( 2 ) \\. & \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \delta$$

Furthermore, we call the ill-posed operator equation (1) mildly ill-posed whenever A σ = B σ = 0 , severely ill-posed whenever A σ = B σ = ∞ , moderately ill-posed whenever 0 &lt; A σ ≤ B σ &lt; ∞ , and ill-posed of degree s &gt; 0 if A σ = B σ = s ∈ (0 , ∞ ) .

Example 1 (Riemann-Liouville fractional integration of order α &gt; 0 (cf. [35])) . For the family of the compact operators T := J α : X = L 2 (0 , 1) →Y = L 2 (0 , 1) defined as

$$[ J ^ { \alpha } x ] ( s ) \coloneqq \int _ { 0 } ^ { s } \frac { ( s - t ) ^ { \alpha - 1 } } { \Gamma ( \alpha ) } x ( t ) \, d t \ \ ( s \in [ 0, 1 ] ),$$

we have that σ n /equivasymptotic n -α as n →∞ , and (1) is ill-posed of degree s = α , since lim n →∞ -log( σ n ) log( n ) = α .

Example 2 (Multivariate integration in the d -dimensional case (cf. [15])) . For the compact integration operator T := J d : X = L 2 ((0 , 1) d ) →Y = L 2 ((0 , 1) d ) defined as

$$[ J _ { d } x ] ( s _ { 1 }, \dots, s _ { d } ) \coloneqq \int _ { 0 } ^ { s _ { 1 } } \dots \int _ { 0 } ^ { s _ { d } } x ( t _ { 1 }, \dots, t _ { d } ) \, d t _ { d } \dots d t _ { 1 } \ \ ( ( s _ { 1 }, \dots, s _ { d } ) \in ( 0, 1 ) ^ { d } ), \\ \intertext { n - w - 1 }$$

we derive that σ n /equivasymptotic [log( n )] d -1 n as n →∞ , and (1) is ill-posed of degree s = 1 ( independent of the dimension d ∈ N ), because lim n →∞ -log( [log( n )] d -1 n ) log( n ) = 1.

The aim of the paper at hand is to extend the above definition to the case of non-compact operators T leading to ill-posed operator equations (1) of type I. To do so, several issues have to be considered. First of all, a non-compact operator does not possess a singular value decomposition. This can be handled by considering the self-adjoint operator T ∗ T : X → X instead, which possesses a spectral decomposition to be discussed below. However, the lack of singular values for T (or of eigenvalues for T ∗ T ) still requires further amendments, since no decay rate can be defined directly. The idea we will elaborate therefore can be explained in case of compact linear operators as now described. Following [3], we define the counting function Φ : (0 , ∞ → ) R as

$$\Phi ( \epsilon ) = \# \{ n \in \mathbb { N } \, \colon \, \sigma _ { n } ^ { 2 } > \epsilon \} \quad ( \epsilon > 0 ) \,.$$

Then the degree of ill-posedness can also be measured by the rate of increase of Φ as /epsilon1 ↘ 0. Obviously, it holds Φ( ) = 0 for /epsilon1 /epsilon1 ≥ σ 2 1 = ‖ T ∗ T ‖ , 0 &lt; Φ( ) /epsilon1 &lt; ∞ for all 0 &lt; /epsilon1 &lt; σ 2 1 , and the limit condition lim n →∞ σ n = 0 indicating ill-posedness transforms into lim /epsilon1 ↘ 0 Φ( ) = /epsilon1 ∞ .

Theorem 1. The interval of ill-posedness of (1) is given by

$$[ A _ { \sigma }, B _ { \sigma } ] = \left [ \liminf _ { \epsilon \searrow 0 } \frac { \log ( \epsilon ) } { - 2 \log \left ( \Phi ( \epsilon ) \right ) }, \limsup _ { \epsilon \searrow 0 } \frac { \log ( \epsilon ) } { - 2 \log \left ( \Phi ( \epsilon ) \right ) } \right ].$$

Proof. For brevity, we denote

$$A _ { \Phi } \coloneqq & \liminf _ { \epsilon \searrow 0 } \frac { \log ( \epsilon ) } { - 2 \log \left ( \Phi ( \epsilon ) \right ) }, & B _ { \Phi } \coloneqq & \limsup _ { \epsilon \searrow 0 } \frac { \log ( \epsilon ) } { - 2 \log \left ( \Phi ( \epsilon ) \right ) }.$$

With this notation, we have to show that [ A ,B σ σ ] = [ A ,B Φ Φ ], which corresponds to A Φ = A σ and B Φ = B σ .

A Φ ≥ A σ By definition, for every δ &gt; 0 there exists N 1 = N 1 ( δ ) such that -log( σ n ) log( n ) &gt; A σ -δ for all n ≥ N 1 . This implies σ n &lt; n δ -A σ for all n ≥ N 1 and hence

$$\left \{ n \in \mathbb { N } \, | \, n \geq N _ { 1 }, \sigma _ { n } ^ { 2 } > \epsilon \right \} & \subseteq \left \{ n \in \mathbb { N } \, | \, n \geq N _ { 1 }, n ^ { 2 \delta - 2 A _ { \sigma } } > \epsilon \right \}.$$

This implies

$$\Phi \left ( \epsilon \right ) \lesssim & \, \# \{ n \in \mathbb { N } \, | \, n ^ { 2 \delta - 2 A _ { \sigma } } > \epsilon \} \asymp \left ( \frac { 1 } { \epsilon } \right ) ^ { \frac { 1 } { 2 ( A _ { \sigma } - \delta ) } } \\ \text{s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.s.}$$

as /epsilon1 ↘ 0. Consequently -2 log(Φ( )) /epsilon1 ≥ -2 1 2( A σ -δ ) log ( 1 /epsilon1 ) = 1 A σ -δ log( ) as /epsilon1 /epsilon1 ↘ 0, and since log( ) /epsilon1 &lt; 0 in this limiting process, we obtain

$$\liminf _ { \epsilon \searrow 0 } \frac { \log ( \epsilon ) } { - 2 \log \left ( \Phi ( \epsilon ) \right ) } \geq A _ { \sigma } - \delta.$$

Letting δ → 0 shows A Φ = lim inf /epsilon1 ↘ -0 log( /epsilon1 ) 2 log(Φ( )) /epsilon1 ≥ A σ .

A Φ ≤ A σ By definition, for every δ &gt; 0 there exists /epsilon1 0 &gt; 0 such that log( /epsilon1 ) -2 log(Φ( )) /epsilon1 &gt; A Φ -δ for all 0 &lt; /epsilon1 &lt; /epsilon1 0 . This implies (for δ &lt; A Φ , which we can assume w.l.o.g.) that Φ( ) /epsilon1 &lt; ( 1 /epsilon1 ) 1 2( A Φ -δ ) for all 0 &lt; /epsilon1 &lt; /epsilon1 0 , and consequently σ n &lt; n δ -A Φ as n → ∞ . This implies A σ &gt; A Φ -δ , which by δ ↘ 0 yields A Φ ≤ A σ .

The proof of B Φ = B σ follows similarly.

Corollary 1. Let T : X → Y be an injective and compact linear operator between infinitedimensional Hilbert spaces X and Y , and let Φ its counting function as in (3) . Then the interval of ill-posedness of (1) is given as

$$[ A _ { \Phi }, B _ { \Phi } ] \coloneqq \left [ \liminf _ { \epsilon \searrow 0 } \frac { \log ( \epsilon ) } { - 2 \log \left ( \Phi ( \epsilon ) \right ) }, \limsup _ { \epsilon \searrow 0 } \frac { \log ( \epsilon ) } { - 2 \log \left ( \Phi ( \epsilon ) \right ) } \right ],$$

and the operator equation (1) is mildly ill-posed whenever A Φ = B Φ = 0 , severely ill-posed whenever A Φ = B Φ = ∞ , moderately ill-posed whenever 0 &lt; A Φ ≤ B Φ &lt; ∞ , and ill-posed of degree s &gt; 0 if A Φ = B Φ = s .

As mentioned before, the counting function Φ as introduced by formula (3) received some attention when studying statistical inverse problems before, see [3]. The above corollary is advantageous whenever Φ can be computed directly without knowing the singular values σ n explicitly. An example for this is the following situation. Consider the negative Laplace operator -∆on some compact, smooth Riemannian manifold S of dimension d . Then it follows from Weyl's asymptotic law (see [34], Chap. 8, Thm. 3.1 and Cor. 3.5) that the counting function

$$N ( \lambda ) = \# \left \{ i \in \mathbb { N } \, | \, \lambda _ { i } \leq \lambda \right \}$$

of its eigenvalues λ i satisfies see also Sect. 5 in [3]. Consequently, if T ∗ T can be written as T ∗ T = Θ( -∆) with a monotonically decreasing function Θ satisfying lim t →∞ Θ( ) = 0, we obtain t

$$N ( \lambda ) & \sim \frac { \text{vol} ( S ) } { \Gamma \left ( \frac { d } { 2 } + 1 \right ) ( 4 \pi ) ^ { \frac { d } { 2 } } } \lambda ^ { \frac { d } { 2 } }, \\ \text{lently, if } T ^ { * } T \, \text{can be written as } T ^ { * } T = \\ \text{ng} \lim _ { \sim } \sim \Theta ( t ) = 0. \, \text{we obtain}$$

$$\Phi \left ( \epsilon \right ) & \sim c _ { S } \left ( \Theta ^ { - 1 } \left ( \epsilon \right ) \right ) ^ { \frac { d } { 2 } }. & & ( 4 ) \\ \text{gative Laplace operator in the $d$-dimensional case).  For the special case} \\ \text{$m$} \, / \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \ \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \text{$w$} \, \end{cases}$$

Example 3 (Inverse of negative Laplace operator in the d -dimensional case) . For the special case Θ( ) = t t -2 ( t &gt; 0) of formula (4), we find for all d ∈ N that the self-adjoint compact operator T ∗ T := ( -∆) -2 on the manifold S corresponds to the counting function Φ( ) /epsilon1 ∼ c S /epsilon1 -d 4 . This yields the limit condition lim /epsilon1 ↘ -0 log( /epsilon1 ) 2 log(Φ( )) /epsilon1 = 2 d and indicates that the problem is ill-posed of degree s = 2 /d , which (in contrast to the multidimensonal Example 2) strongly depends on the space dimension d of the manifold S under consideration.

The above theorem and the derived corollary show that we can express the degree of illposedness in the compact case equivalently by means of the counting function Φ from (3). In the following, we will use this as a blueprint to consistently extend the corresponding definition to the non-compact case under certain restrictions.

Remark 1. For Example 3, solving the operator equation (1) requires to find u = ( -∆) , which g means that second partial derivatives of g have to be calculated. The factor 2 in the degree of ill-posedness s = 2 /d seems to express this. Namely, for the compact embedding operator T : H p ((0 , 1) d ) → L 2 ((0 , 1) d ) from the Sobolev space of degree p &gt; 0 to L 2 in d dimensions we have singular values as σ n /equivasymptotic n -p d (cf.,e.g.,[25, § 3c]) implying a degree of ill-posedness as s = p/d , and just for p = 2 calculations up to second partial derivatives occur.

## 3 The spectral theorem as a tool for defining the degree of ill-posedness also in the non-compact case

At this point applying the adjoint operator T ∗ : Y → X for T to the operator equation (1), we restrict our considerations to the occurring normal equation T ∗ Tu = h for h = T ∗ g to (1) with the bounded, self-adjoint and positive semi-definite operator T ∗ T : X → X . Let us mention that the ill-posedness and the type of ill-posedness of equation (1) carry over to the normal equation.

## 3.1 The spectral theorem according to Halmos

Moreover, we recall the spectral theorem in multiplication operator form by Halmos [11] and take into account the additional notes in [10, p. 47] and [37, Chap. VII.1]. Then the following holds true for the normal operator T ∗ T : X → X : There exists a locally compact topological space Ω, a semi-finite (Radon) measure µ on Ω with finite or infinite measure value µ (Ω), a real-valued function λ ∈ L ∞ (Ω , µ ), and a unitary mapping W : L 2 (Ω , µ ) →X such that

$$W ^ { * } T ^ { * } T W = M _ { \lambda } \,,$$

with the multiplication operator M λ : L 2 (Ω , µ ) → L 2 (Ω , µ ) defined for all ξ ∈ L 2 (Ω , µ ) as

$$[ M _ { \lambda } \xi ] ( \omega ) \coloneqq \lambda ( \omega ) \cdot \xi ( \omega ) \quad ( \mu - \text{a.e. on } \Omega ).$$

We note that this existence assertion applies to compact and non-compact operators T : X → Y in the same way. Due to the positive semi-definiteness of the operator T ∗ T : X → X , the multiplier function λ is non-negative almost everywhere. Furthermore, its essential range

$$\text{essran} ( \lambda ) = \{ z \in [ 0, \infty ) \, \colon \, \mu ( \{ \omega \in \Omega \, \colon \, | z - \lambda ( \omega ) | \leq \eta \} ) > 0 \text{ for all } \eta > 0 \}$$

coincides with the spectrum spec( T ∗ T ) of the operator T ∗ T (cf., e.g., [10, Theorem 2.1(g)]) and is hence a subset of [0 , ‖ T ∗ T ‖ ] = [0 , ‖ T ‖ 2 ]. Let us mention that the injectivity requirement for T made throughout this paper implies that µ ( { ω ∈ Ω : λ ω ( ) = 0 } ) = 0.

The operator equation (1) is ill-posed if and only if 0 ∈ spec( T ∗ T ). Then as a consequence of the above mentioned coincidence between spectrum of T ∗ T and the essential range of the multiplier function λ , the criterion of ill-posedness for (1) is the occurrence of an essential zero of the function λ , which means that zero belongs to the essential range of λ . Our goal is to characterize the illposedness of the original operator equation (1) and its associated normal equation by properties of this multiplier function λ in (6) and their implications. However, this is not immediately possible without further restrictions, since the spectral decomposition (5) is not uniquely determined for the operator T as the following lemma indicates. Note that this observation was already employed in [3]:

Lemma 1. If κ : Ω → (0 , ∞ ) is a µ -measurable function, then also

$$\tilde { W } ^ { * } T ^ { * } T \tilde { W } = M _ { \lambda } \,,$$

with

$$\tilde { \mu } \coloneqq \kappa \mu, \quad \tilde { W } \colon L ^ { 2 } \left ( \Omega, \tilde { \mu } \right ) \rightarrow \mathcal { X }, \quad \tilde { W } = W \circ M _ { \kappa ^ { \frac { 1 } { 2 } } }$$

is a spectral decomposition of T ∗ T .

Proof. First we show that ˜ W is unitary. For f ∈ L 2 (Ω ˜) we have , µ

$$\left \langle \tilde { W } f, \tilde { W } g \right \rangle _ { \mathcal { X } } = \left \langle W ( \kappa ^ { \frac { 1 } { 2 } } f ), W ( \kappa ^ { \frac { 1 } { 2 } } g ) \right \rangle _ { \mathcal { X } } = \left \langle \kappa ^ { \frac { 1 } { 2 } } f, \kappa ^ { \frac { 1 } { 2 } } g \right \rangle _ { L ^ { 2 } ( \Omega, \mu ) } \\ = \int _ { \Omega } \kappa f \bar { g } \, d \mu = \int _ { \Omega } f \bar { g } \, d \bar { \mu } = \left \langle f, g \right \rangle _ { L ^ { 2 } ( \Omega, \bar { \mu } ) } \\ \text{since $\kappa$ is real-valued and $W$ unitarv.  Furthermore the containment}$$

since κ is real-valued and W unitary. Furthermore, the computation

$$\left \langle \tilde { W } f, x \right \rangle _ { \chi } = \left \langle W \left ( \kappa ^ { \frac { 1 } { 2 } } f \right ), x \right \rangle _ { \chi } = \left \langle \kappa ^ { \frac { 1 } { 2 } } f, W ^ { * } x \right \rangle _ { L ^ { 2 } ( \Omega, \mu ) } \\ = \int _ { \Omega } \kappa ^ { \frac { 1 } { 2 } } f ( W ^ { * } x ) \, d \mu = \int _ { \Omega } \kappa ^ { - \frac { 1 } { 2 } } f ( W ^ { * } x ) \, d \tilde { \mu } = \left \langle f, \kappa ^ { - \frac { 1 } { 2 } } W ^ { * } x \right \rangle _ { L ^ { 2 } ( \Omega, \tilde { \mu } ) } \\ \text{shows that the adioint of } \tilde { W } \text{ is given } \text{by } \tilde { W } ^ { * } = M \quad \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{  This yields finally}$$

shows that the adjoint of ˜ W is given by ˜ W ∗ = M κ -1 2 ◦ W ∗ . This yields finally

$$\tilde { W } ^ { * } T ^ { * } T \tilde { W } = M _ { \kappa ^ { - \frac { 1 } { 2 } } } W ^ { * } T ^ { * } T W M _ { \kappa ^ { \frac { 1 } { 2 } } } = M _ { \kappa ^ { - \frac { 1 } { 2 } } } M _ { \lambda } M _ { \kappa ^ { \frac { 1 } { 2 } } } = M _ { \lambda }.$$

Remark 2. The above non-uniqueness will lead to severe problems when defining the degree of ill-posedness for equations with non-compact T , but also in the compact case it brings in a subjective factor. To illustrate this, recall that our definition of the degree of ill-posedness for compact operators via the counting function Φ from (3) explicitly relies on the counting measure µ disc = # in (3). If we allow for other measures, we will obtain completely different asymptotical behaviors of Φ. As an example we next consider a history match problem.

## Example 4 (Periodic backwards heat equation) .

$$\frac { \partial u } { \partial t } u ( x, t ) & = \frac { \partial ^ { 2 } } { \partial t ^ { 2 } } \left ( x, t \right ) & \text{in $(-\pi,\pi)] \times (0,\bar{t}$),} \\ u ( x, 0 ) & = f ( x ) & \text{on $(-\pi,\pi]$,} \\ u ( - \pi, t ) & = u ( \pi, t ) & \text{on $(0,\bar{t}$),}$$

with a given terminal time ¯ t &gt; 0, and denote by T BHE : L 2 ( -π, π ) → L 2 ( -π, π ). The corresponding operator equation (1) is widely understood to be exponentially ill-posed, and this is reflected by the series representation

$$( T _ { \text{BHE} } f ) ( x ) & = \sum _ { k \in \mathbb { Z } } \exp \left ( - k ^ { 2 } \vec { t } \right ) \exp \left ( i k x \right ) \hat { f } ( k ) \quad ( x \in [ - \pi, \pi ] ), \\.. \quad \hat { \ }. \. \.$$

with the Fourier coefficients ˆ ( f k ) of f . Note, that this representation corresponds to the spectral decomposition

$$\mathcal { F } ^ { * } T _ { \text{BHE} } \mathcal { F } = M _ { \lambda }$$

with λ ∈ /lscript 2 ( Z ) given by λ k ( ) = exp ( -k t 2 ¯ . ) The corresponding distribution function Φ from (3) is given by

$$\mathfrak { u } \, \upsilon y \\ \Phi ( \epsilon ) = \# \{ k \in \mathbb { Z } \ | \ \lambda ( k ) > \epsilon \} \asymp 2 \sqrt { \frac { 1 } { t } \log \left ( \frac { 1 } { \epsilon } \right ) } \quad \text{as} \quad \epsilon \searrow 0.$$

However, if we choose κ k ( ) := exp ( ¯ tk 2 ) in Lemma 1, then we obtain a different measure ˜ = µ κµ (actually a weighted counting measure) such that

$$\tilde { \Phi } ( \epsilon ) = \tilde { \mu } \left ( \left \{ k \in \mathbb { Z } \ | \ \lambda ( k ) > \epsilon \right \} \right ) = \sum _ { k \in \mathbb { Z }, k ^ { 2 } \leq \frac { 1 } { 1 } \log \left ( \frac { 1 } { \epsilon } \right ) } \kappa ( k ) \sim \frac { 1 } { \epsilon }.$$

This indicates a completely different degree of ill-posedness, and hence the counting measure has to be fixed as benchmark measure for compact operators to obtain a meaningful concept.

Remark 3. Note, that no further assumptions on the function κ in Lemma 1 are required, i.e. for any measurable κ , the corresponding ˜ = µ κµ is again a measure. Furthermore, even the additional properties of the measure space (Ω , µ ) gained from the spectral theorem, i.e. semi-finiteness, can be transferred to ˜ by requiring that µ κ is continuous. In contrast, by specific choices of κ we can obtain ˜(Ω) µ &lt; ∞ even for µ (Ω) = ∞ and vice versa. In Figure 1 we have indicated that we will exclude the case µ (Ω) &lt; ∞ , and hence the above consideration again indicates that we have to fix the measure µ later on in order to derive a meaningful concept of the degree of ill-posedness.

## 3.2 The distribution function measuring the strength of ill-posedness

Inspired by the counting function (3) we will consider, as an analog under the auspices of the spectral theorem and now applicable to both compact and non-compact operators T , the nonnegative, non-increasing and right-continuous distribution function

$$\Phi _ { \lambda, \mu } ( \epsilon ) \coloneqq \mu \left ( \{ \omega \in \Omega \, \colon \, \lambda ( \omega ) > \epsilon \} \right ) \quad ( \epsilon > 0 ).$$

This function Φ λ,µ is not in general informative, since it cannot be excluded that it might attain the value + ∞ on (0 , ∞ ):

Example 5 (Non-informative distribution function) . Consider Ω = [0 , ∞ ) and the associated Lebesgue measure µ = µ Leb on R with µ Leb (Ω) = ∞ . Then the function λ ω ( ) = sin ( 2 ω ) ( ω ∈ [0 , ∞ )) leads to

$$\Phi _ { \lambda, \mu _ { L e b } } ( \epsilon ) & = \begin{cases} \, \infty \quad \text{for} \quad 0 < \epsilon < 1, \\ 0 \quad \text{for} \quad \epsilon \geq 1 \end{cases} \\ \Pi _ { \infty \infty } \, \Phi. \quad \text{is not in} \, \Pi _ { \infty \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \outline } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty } \, \Phi _ { \infty }$$

as distribution function. Hence Φ λ,µ Leb is not informative at all. This is, however, an interesting example, because 0 ∈ essran( λ ) = spec( T ∗ T ) indicates ill-posedness.

As a consequence, we have to pose assumptions on the measure space (Ω , µ ) and the multiplier function λ such that the function Φ λ,µ is finite and hence informative. Furthermore, note that the function Φ λ,µ is determined by both λ and µ , and not solely by the operator T . The induced spectral decompositions in Lemma 1 might yield different functions Φ λ,µ for the same operator T . This corresponds to the problem outlined in Example 4 and indicates that we need to restrict to a certain benchmark measure space (Ω , µ ).

Assumption 1. Let, for the operator T ∗ T , for the measure space (Ω , µ ) and for the multiplier function λ in (6) defining the multiplication operator M λ from (5) obey the following two assumptions:

$$( a ) \ \mu ( \Omega ) = \infty.$$

- (b) For the distribution function Φ λ,µ it holds 0 ≤ Φ λ,µ ( /epsilon1 ) &lt; ∞ for all /epsilon1 &gt; 0 with the limit condition lim Φ /epsilon1 ↘ 0 λ,µ ( /epsilon1 ) = ∞ .

Proposition 1 (Ill-posedness) . If Assumption 1 is satisfied for the operator T and its corresponding measure space (Ω , µ ) and multiplier function λ , then the operator equation (1) is ill-posed.

Proof. We show that 0 ∈ essran( λ ), which is equivalent to 0 ∈ spec( T ∗ T ) and indicates the illposedness of (1). If µ ( { ω ∈ Ω : λ ω ( ) ≤ η } ) = 0 were valid for any η &gt; 0 then, in view of µ (Ω) = ∞ and in contradiction to item (b) of Assumption 1, Φ λ,µ ( η ) = µ ( { ω ∈ Ω : λ ω ( ) &gt; η } ) = ∞ would hold. Thus we have µ ( { ω ∈ Ω : λ ω ( ) ≤ η } ) &gt; 0 for all η &gt; 0, which means that 0 ∈ essran( λ ).

Let us briefly discuss sufficient conditions and counterexamples for item (b) in Assumption 1.

Lemma 2. Let µ (Ω) = ∞ . Then the following condition is sufficient for obtaining the assertion of item (b) in Assumption 1:

- (c) There exists a µ -measurable, non-negative and non-decreasing function f ( ζ ) (0 ≤ ζ &lt; ∞ ) with f ( ζ ) &gt; 0 for ζ &gt; 0 such that it holds ∫ Ω f ( λ ω ( )) dµ &lt; ∞ .

Proof. For /epsilon1 &gt; 0 we can estimate due to the monotonicity of f and f ( /epsilon1 ) &gt; 0 as follows:

$$0 \leq \Phi _ { \lambda, \mu } \left ( \epsilon \right ) = \int _ { \{ \omega \in \Omega \colon \epsilon < \lambda ( \omega ) \} } 1 \, d \mu & = \frac { 1 } { f ( \epsilon ) } \int _ { \{ \omega \in \Omega \colon \epsilon < \lambda ( \omega ) \} } f ( \epsilon ) \, d \mu \\ & \leq \frac { 1 } { f ( \epsilon ) } \int _ { \{ \omega \in \Omega \colon \epsilon < \lambda ( \omega ) \} } f ( \lambda ( \omega ) ) \, d \mu \leq \left ( \frac { 1 } { f ( \epsilon ) } \int f ( \lambda ( \omega ) ) \, d \mu < \infty. \right ) \\ \intertext { N e x t h t } \Phi _ { \lambda, \mu } \left ( \Phi _ { \lambda, \mu } \right ) \, \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \left ( \Phi _ { \lambda, \mu } \right ) \, \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \left ( \Phi _ { \lambda, \mu } \right ) \, \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi_ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leq \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \geq \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu } \leceil \, \Phi _ { \lambda, \mu }$$

Note that the last inequality is a consequence of the nonnegativity of the function λ and yields the finiteness of Φ λ,µ ( /epsilon1 ) for /epsilon1 &gt; 0. The limit condition arises from lim /epsilon1 ↘ 0 Φ λ,µ ( /epsilon1 ) = µ (Ω) = ∞ if we let /epsilon1 tend to zero in (7).

An important example for condition (c) in Lemma 2 is the setting f ( ζ ) := ζ p for exponents 0 &lt; p &lt; ∞ , for which Lemma 2 under µ (Ω) = ∞ ensures the validity of Assumption 1. In particular, this is the case for λ ∈ L p (Ω , µ ) (1 ≤ p &lt; ∞ ), and as a corollary to Lemma 2 we immediately find from this lemma:

Corollary 2 (Multiplier functions of L p -type) . If we have, under the condition µ (Ω) = ∞ , that λ ∈ L p (Ω , µ ) is true for some 1 ≤ p &lt; ∞ , then item (b) of Assumption 1 is satisfied.

Note that for general operators T the assumption λ ∈ L p (Ω , µ ) for some p ∈ [1 , ∞ ) seems reasonable. In Lemma 2 in [3] it is shown that one can choose λ ∈ L 1 (Ω , µ ) as soon as T is injective and T ∗ transforms white noise into a Hilbert space valued random variable. Finally, allowing for p &gt; 1, the assumption λ ∈ L p (Ω , µ ) generalizes this to more regular, colored noise.

Example 5 above and the following additional counterexample show that the assertion of item (b) in Assumption 1 may be violated for multiplier functions λ .

Example 6. Let µ (Ω) = ∞ and λ ω ( ) = c &gt; 0 for all ω ∈ Ω. Then we have for the distribution function Φ λ,µ ( /epsilon1 ) = { ∞ for 0 &lt; /epsilon1 &lt; c 0 for /epsilon1 ≥ c , and hence item (b) in Assumption 1 is violated, but we have no ill-posedness, because 0 / ∈ essran( λ ).

In case that Assumption 1 holds true, it makes sense to formulate an analog to Definition 1 under the auspices of the spectral theorem as follows:

Definition 2. Let X and Y denote infinite-dimensional Hilbert spaces. Moreover, let T : X → Y be an injective and bounded linear operator with non-closed range, each mapping between X and Y such that the Assumption 1 is satisfied w.r.t. the distribution function Φ λ,µ from (7) . Then the interval of ill-posedness of the operator equation (1) is defined as

$$\left [ A _ { \Phi _ { \lambda, \mu } }, B _ { \Phi _ { \lambda, \mu } } \right ] \coloneqq \left [ \liminf _ { \epsilon \searrow 0 } \frac { \log ( \epsilon ) } { - 2 \log \left ( \Phi _ { \lambda, \mu } ( \epsilon ) \right ) }, \limsup _ { \epsilon \searrow 0 } \frac { \log ( \epsilon ) } { - 2 \log \left ( \Phi _ { \lambda, \mu } ( \epsilon ) \right ) } \right ], \\ \text{and the operator equation } ( 1 ) \text{ is called middle} \mu \text{ ill-posed whenever } A _ { \Phi }, \dots = B _ { \Phi }, \dots = 0. \text{ serve relay}$$

and the operator equation (1) is called mildly ill-posed whenever A Φ λ,µ = B Φ λ,µ = 0 , severely ill-posed whenever A Φ λ,µ = B Φ λ,µ = ∞ , moderately ill-posed whenever 0 &lt; A Φ λ,µ ≤ B Φ λ,µ &lt; ∞ , and ill-posed of degree s &gt; 0 if A Φ λ,µ = B Φ λ,µ = s . Then the distribution functions

Theorem 2. For compact operators T , the intervals and degrees of ill-posedness from Definitions 1 and 2 agree.

Proof. For compact operators T with singular values { σ n } ∞ n =1 there is a unitary operator W : L 2 ( N , µ disc ) →X for Ω = N and the counting measure µ = µ disc such that the formulas (5) and (6) hold with the multiplier function λ n ( ) = σ 2 n ( n ∈ N ). Then the counting function Φ from (3) and the distribution function Φ λ,µ from (7) match. Taking into account the result of Corollary 1, this proves the theorem.

Indeed, by means of the spectral decomposition (5), all information of the equation T ∗ Tu = h with self-adjoint operator T ∗ T mapping in the Hilbert space X , which appears as normal equation to (1), is contained in the transformed multiplication operator equation

$$\lambda ( \omega ) \cdot \xi ( \omega ) = \zeta ( \omega ) \quad ( \mu - \text{a.e. on } \Omega )$$

in Ω, because the functions ξ, ζ ∈ L 2 (Ω , µ ) appear by unitary transformation from u and h . Formally, the inversion of equation (9) requires the division ξ ω ( ) = ζ ω ( ) λ ω ( ) ( ω ∈ Ω , µ -a.e.). Hence, instability grows if the decay rates to zero of the multiplier function λ become more and more pronounced. This motivates Definition 2 for a classification of ill-posedness strength within the class of compact operators under the measure space ( N , µ disc ) as well as for a classification within families of non-compact operators under the measure space ( R , µ Leb ), which will be discussed for example in the following subsection.

## 3.3 Ill-posedness of equations with multiplication operators on the real axis

To enter the world of ill-posed linear operator equations (1) for injective, bounded and non-compact operators T : X → Y with non-closed range, we first consider in this subsection pure multiplication operators T := M λ defined as [ M ξ λ ]( ω ) := λ ω ( ) · ξ ω ( ) ( µ -a.e. on Ω) for X = Y = L 2 (Ω) on the real axis with a measure space (Ω , µ Leb ), where Ω = R = ( -∞ , + ∞ ) is combined with the Lebesgue measure µ Leb over R . We assume that the multiplier functions λ is continuous everywhere on R and obeys the limit condition lim ω →±∞ λ ω ( ) = 0. Then we always have a non-compact operator T ∗ T with purely continuous spectrum spec( T ∗ T ) = [0 , ‖ T ∗ T ‖ ] = essran( λ ) = [0 , max ω ∈ R λ ω ( )] that implies ill-posedness of type I in the sense of Nashed of the associated operator equation (1). Definition 2 now applies here for this class of non-compact operators with non-closed range by considering the interval of ill-posedness (8) derived from the distribution function (7) with µ = µ Leb . As the variants in Example 7 below will show, also here moderately, severely and mildly ill-posed problems can be distinguished intuitively.

## Example 7.

## (a) Moderate ill-posedness:

(a1) λ ω ( ) = 1 (1+ ω 2 ) s ( ω ∈ R , s &gt; 0) implies Φ λ,µ Leb ( /epsilon1 ) = 2 µ ( { ω ≥ 0 : 1+ ω 2 ≤ /epsilon1 -1 /s } ) , hence Φ λ,µ Leb ( /epsilon1 ) = 2 √ /epsilon1 -1 s -1 /equivasymptotic /epsilon1 -1 2 s as /epsilon1 → 0. The corresponding interval (8) hence reduces to a singleton [ A λ,µ Leb , B λ,µ Leb ] = { } s , indicating a moderate degree s &gt; 0 of illposedness for the underlying operator equation here.

(a2) λ ω ( ) = ω 2 1+ ω 4 ( ω ∈ R , s = 1) implies Φ λ,µ Leb ( /epsilon1 ) = 2 µ ( { ω &gt; 0 : ω 2 + ω -2 ≤ /epsilon1 -1 } ) , but for /epsilon1 /lessmuch 1 we have

Φ λ,µ Leb ( /epsilon1 ) ≈ 2 ( /epsilon1 -1 2 -/epsilon1 1 2 ) , where the zero of λ ω ( ) at ω = 0 causes the negative term .

The impact of this inner zero on the asymptotics of Φ λ,µ Leb ( /epsilon1 ) as /epsilon1 → 0 is negligible (cf. also [28, Prop. 1]), and due to the zeros of λ ω ( ) at infinity ω → ±∞ we have Φ λ,µ Leb ( /epsilon1 ) /equivasymptotic /epsilon1 -1 2 as well as [ A λ,µ Leb , B λ,µ Leb ] = 1 , expressing a degree one of ill-posedness. { }

## (b) Severe ill-posedness:

λ ω ( ) = exp ( -| ω | s ) ( ω ∈ R , s &gt; 0) implies Φ λ,µ Leb ( /epsilon1 ) = 2 µ ( { ω ≥ 0 : ω s ≤ -log( ) /epsilon1 } ) and Φ λ,µ Leb ( /epsilon1 ) /equivasymptotic [log(1 //epsilon1 )] 1 s as /epsilon1 → 0 The zeros of λ ω ( ) at infinity ω → ±∞ imply [ A λ,µ Leb , B λ,µ Leb ] = {∞} , which is in agreement with the intuitive severe ill-posedness of the underlying operator equation.

## (c) Mild ill-posedness:

$$\lambda ( \omega ) = \begin{cases} \ [ \log ( | \omega | ) ] ^ { - 2 s } & \text{for} \quad | \omega | \geq e \\ 1 & \text{for} \quad | \omega | < e \end{cases} \quad ( s > 0 ) \quad \text{implies for} \ \ 0 < \epsilon \ll 1$$

$$\Phi _ { \lambda, \mu _ { L e b } } ( \epsilon ) = 2 \mu ( \{ \omega \geq 0 \, \colon \omega ^ { 2 s } \leq - \log ( \epsilon ) \} ) \, ( \epsilon \ll 1 ) \quad \text{and hence}$$

Φ λ,µ Leb ( /epsilon1 ) /equivasymptotic exp [ ( 1 /epsilon1 ) 1 2 s ] as /epsilon1 → 0, i.e. the interval in (8) is given by [ A λ,µ Leb , B λ,µ Leb ] = { 0 } . Again the zeros of λ ω ( ) at infinity ω →±∞ , which are of logarithmic type, determine the intuitive mild degree of ill-posedness.

For all s &gt; 0, the variants (a1), (b) and (c) of Example 7 satisfy Assumption 1, and so does variant (a2). Furthermore, the multiplier function λ belongs to L p (Ω , µ ) in the sense of Corollary 2, for the moderately ill-posed case (a) whenever s &gt; 1 2 p . It belongs for all s &gt; 0 even to L 1 (Ω , µ ) in the severely ill-posed case (b). For the mildly ill-posed case (c), it makes sense to the recall Lemma 2 and in particular the condition (c) ibid. Then the increasing function f ( ζ ) = exp ( -2 /ζ 1 2 s ) is an appropriate choice for λ ω ( ) = [log( ω )] -2 s ( ω ≥ e ) from (c) such that Lemma 2 applies, because ∫ R f ( λ ω ( )) dω &lt; ∞ . In general, such function f can be found if a setting f ( ζ ) := 1 /λ -1 ( ζ ) for sufficiently large ζ &gt; 0 is useful, which requires a strict decay of λ ω ( ) as ω tends to infinity.

## 3.4 Chances and limitations of Lebesgue measure spaces

Lemma 1 has shown that the strength of ill-posedness expressed by interval and degree of illposedness in the sense of Definitions 1 and 2 strongly depends on the choice of the measure space (Ω , µ ). In order to overcome the difficulties arising from the ambiguity of possible measure spaces, we have great expectations of benchmark measure spaces . By using such benchmarks, the outcome of Definition 2 is uniquely determined for the operator T . The use of ( N , µ disc ) with the counting measure µ disc for the classification of compact operators is fairly uncontroversial. Likewise, the examples in Subsection 3.3 establish the Lebesgue measure µ Leb on R as a benchmark measure for the classification of families of non-compact operators, which motivates the following Assumption 2 as a supplement to Assumption 1.

Assumption 2. Let T : X → Y be a injective bounded non-compact linear operator with nonclosed range mapping between infinite-dimensional Hilbert spaces X and Y such that there exists a spectral decomposition (5) with a convex set Ω ⊆ R d , µ (Ω) = ∞ and µ = µ Leb .

This assumption might be restrictive at the moment, but we will discuss below in Section 4 several examples with non-compact operators satisfying this assumption, e.g. convolution operators and the Hausdorff moment problem. Let us emphasize that the Lebesgue measure employed in Assumption 2 is natural. Taking note of the transformations as in Lemma 1, the restriction to a situation with Lebesgue measure has the rationale background that its translation invariance ensures all frequencies to have the same influence.

It would be desirable to find a common measure space (Ω , µ ) which allows for a comparison of the ill-posedness strength between compact and non-compact operator. For example, an open question seems to be whether a severely ill-posed non-compact operator exists which in any sense proves to be more ill-posed than another moderately ill-posed compact operator. Trying to extend

Assumption 2 to compact cases, it had been an idea to use Ω = [0 , ∞ ) with the Lebesgue measure µ Leb over R as possible common measure space by exploiting the (generalized) inverse

$$\lambda ^ { * } ( \omega ) \coloneqq \inf \left \{ \tau > 0 \, \colon \, \Phi _ { \lambda, \mu } ( \tau ) \leq \omega \right \} \quad ( 0 \leq \omega < \infty )$$

of the distribution function Φ λ,µ . This decreasing rearrangement of the multiplier function λ is defined on this subset [0 , ∞ ) of the real axis, even if λ is originally defined on a subset of R d for d &gt; 1. Moreover, λ and λ ∗ are closely related, because they have the same distribution function Φ λ,µ ( /epsilon1 ), and the growth rate of this distribution functions as /epsilon1 ↘ 0, which is relevant for Definition 2, can be rewritten under Assumption 1 as decay rate of λ ∗ ( ) t as t → ∞ , see in this context also [28].

Following this idea, compact operators T = T comp with singular values { σ n } ∞ n =1 and distribution (counting) function Φ from (3) possess the non-negative, non-increasing and piece-wise constant multiplier function λ comp defined by formula

$$\lambda _ { c o m p } ( \omega ) = \{ \sigma _ { n } ^ { 2 } \text{ if } n - 1 \leq \omega < n \ ( n = 1, 2, \dots ) \} \ \ ( 0 \leq \omega < \infty )$$

as inverse of Φ( ) /epsilon1 tending to zero as ω → ∞ . This function from (11) is the decreasing rearrangement of the original multiplier function λ comp ( n ) = σ 2 n ( n ∈ N ) assigned to T ∗ comp T comp . By bringing the Lebesgue measure over R into play, we find that

$$\Phi _ { \lambda _ { c o m p }, \mu _ { L e b } } ( \epsilon ) = \mu _ { L e b } ( \{ \omega \in [ 0, \infty ) \, \colon \, \lambda _ { c o m p } ( \omega ) > \epsilon \} ) \ \ ( \epsilon > 0 )$$

coincides with the corresponding counting function (3). If we consider the corresponding multiplication operator M λ mapping in L 2 ([0 , ∞ ) , µ Leb ) defined by formula (6) for the multiplier function λ = λ comp from (11), then this non-negative self-adjoint multiplication operator M λ comp has a pure point spectrum, and the eigenvalues of M λ comp are the same values as those of the compact operator T ∗ comp T comp . Namely, the essential range of the multiplier function and the spectrum values for a multiplication operator are identical. However, the following general assertion of Proposition 2 shows the limitation of the Lebesgue measure in this setting. Here, M λ comp is a non-compact operator with infinite dimensional eigenspaces for all eigenvalues, and the spectrum of M λ comp is not a discrete spectrum with only finite dimensional eigenspaces, which would be necessary for being a compact self-adjoint operator like T ∗ comp T comp . As a consequence we have that M λ comp as a non-compact operator cannot be derived from the compact operator T ∗ comp T comp by a unitary transformation, This implies that a desired comparison of compact and non-compact operators fails on this way.

Proposition 2. There is no compact injective non-negative multiplication operator

$$M _ { \lambda } \colon L ^ { 2 } ( [ 0, \infty ), \mu _ { L e b } ) \to L ^ { 2 } ( [ 0, \infty ), \mu _ { L e b } )$$

with real-valued multiplier function λ ∈ L ∞ ([0 , ∞ ) , µ Leb ) .

Proof. First note, that M λ is self-adjoint for any real-valued λ . Furthermore, it is bounded for λ ∈ L ∞ ([0 , ∞ ) , µ Leb ).

Since M λ is injective and non-negative, the function λ must be non-zero and non-negative itself. Hence, there exists a c &gt; 0 such that the set S := { λ ≥ } c satisfies µ Leb ( S ) &gt; 0. On the Hilbert space of all L 2 -functions supported in S , i.e.

$$\mathcal { V } \coloneqq \left \{ f \in L ^ { 2 } ( [ 0, \infty ), \mu _ { L e b } ) \ | \ f = f \cdot \chi _ { S } \right \}, \\ \text{urjective} \ ( \since { \mathbf e n c r } \ f \in \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r \ \mathbf e n c r } )$$

the operator M λ is surjective (since for h ∈ V it holds M λ ( hχ λ S -1 ) = hχ S = h ) and bounded (since χ λ S -1 ≤ c -1 &lt; ∞ ). So if M λ : L 2 ([0 , ∞ ) , µ Leb ) → L 2 ([0 , ∞ ) , µ Leb ) was compact, so was

$$\text{id} _ { \mathcal { V } } = \left ( \left ( M _ { \lambda } \right ) _ { | \mathcal { V } } \right ) ^ { 1 } \left ( M _ { \lambda } \right ) _ { | \mathcal { V } } \colon \mathcal { V } \rightarrow \mathcal { V }. \\ \text{le, since } \mathcal { V } \text{ is infinite dimensional: There exist}$$

However, this is impossible, since V is infinite dimensional: There exists a partition S = ⋃ i ∈ N S i with pairwise disjoint sets S i , µ Leb ( S i ) &gt; 0 for all i ∈ N , the indicator functions of which are linearly independent.

Remark 4. Note, that we exploited a specific property of the Lebesgue-measure here, namely that for each set S ⊆ R with µ Leb ( S ) &gt; 0 there exists an infinite partition S = ⋃ i ∈ N S i of pairwise disjoint sets S i with µ Leb ( S i ) &gt; 0 for all i ∈ N . However, this property is also true for any measure without atoms , including e.g. the Cantor measure on [0 1]. ,

## 4 Examples

## 4.1 The Hausdorff moment operator

Example 8 (The Hausdorff moment operator) . Apart from the simple multiplication operators on R outlined in Example 7, the operator A : L 2 (0 , 1) → /lscript 2 defined as

$$[ A x ] _ { j } \coloneqq \int _ { 0 } ^ { 1 } t ^ { j - 1 } x ( t ) \, d t \quad ( j = 1, 2, \dots ) & ( 1 2 ) \\ \text{the Handler for moment problem for } [ 1 0 ] \wr i c o n e of the most null-known non-$$

associated with the Hausdorff moment problem (cf. [12]) is one of the most well-known noncompact bounded linear operators with non-closed range. We consider as operator T : X → Y from (1) with X := /lscript 2 and Y := L 2 (0 , 1) the adjoint operator T := A ∗ : /lscript 2 → L 2 (0 , 1) to A from (12) of the form where the corresponding operator equation Tu = g is also ill-posed of type I. Then we have, for T from (13), a coincidence of T ∗ T with the infinite Hilbert matrix H such that T ∗ T = ( H i,j ) ∞ i,j =1 : /lscript 2 → /lscript 2 takes place with the entries

$$[ T u ] ( t ) \coloneqq & \sum _ { j = 1 } ^ { \infty } u _ { j } \, t ^ { j - 1 } \quad ( 0 \leq t \leq 1 ), & ( 1 3 ) \\ \text{onding operator equation } T u = q \text{ is also ill-posed of type I. Then we have, for } T$$

$$\mathcal { H } _ { i, j } = \left ( \frac { 1 } { i + j - 1 } \right ) \quad ( i, j = 1, 2, \dots ). \\ \intertext { v t \colon d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cdots d \cd.. }$$

It is well-known that T ∗ T is a non-compact linear bounded operator mapping in /lscript 2 with ‖ T ∗ T ‖ = π and pure continuous spectrum spec( T ∗ T ) = [0 , π ]. For further details concerning the Hausdorff moment problem we also refer, for example, to the studies in [9].

Concerning the spectral theorem applied to that non-negative self-adjoint operator T ∗ T : /lscript 2 → /lscript 2 we learn from [32] that the measure space (Ω , µ ) with Ω = [0 , ∞ ) and the corresponding Lebesgue measure µ = µ Leb on R is appropriate here and yields as multiplier function λ of the multiplication operator M λ from (5) the function

$$\lambda ( \omega ) = \frac { \pi } { \cosh ( \pi \omega ) } \quad ( \omega \in [ 0, \infty ) \text{ a.e.} ).$$

With respect to the function λ from (14) we simply derive as distribution function

$$\Phi _ { \lambda, \mu _ { L \epsilon b } } ( \epsilon ) & \approx \frac { 1 } { \pi } \log \left ( \frac { 2 \pi } { \epsilon } \right ) \quad \text{for sufficiently small} \, \epsilon > 0. \quad \text{(15)} \\. \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and}, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{\ } \, \text{and} \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and} \, \colon \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and} \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and} \\. \,. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \tilde {and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}.. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}". \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}\, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}.. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \text{and}. \, \text{and}. \, \text{and}. \, \text{and}.. \, \text{and}. \, \text{and}. \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \tilde {and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}. \, \text{and}.. \, \tilde {and}. \text{and}. \, \text{and}. \text{and}. \, \text{and}. \text{and}. \, \text{and}. \text{and}. \, \text{and}. \, \text{and$$

Evidently, Assumptions 1 and 2 agree in that example, and formula (15) gives as in case (b) of Example 7 that [ A Φ λ,µ Leb , B Φ λ,µ Leb ] = {∞} , which indicates severe ill-posedness of the Hausdorff moment problem.

Remark 5. If the measure µ were not fixed to be the Lebesque measure, then by choosing κ ω ( ) = 1 2 exp( πω ) in Lemma 1, we obtain a different spectral decomposition with ˜ = µ κµ Leb , which yields

$$\tilde { \Phi } _ { \lambda } & = \tilde { \mu } \left ( \{ \omega \in ( 0, \infty ) \, \colon \lambda ( \omega ) > \epsilon \} \right ) \\ & \asymp \int _ { 0 } ^ { \frac { 1 } { \pi } \log \left ( \frac { 2 \pi } { \epsilon } \right ) } \kappa ( \omega ) \, \mathrm d \omega \\ & = \frac { 1 } { 2 \pi } \exp \left ( \pi \omega \right ) \Big | _ { 0 } ^ { \frac { 1 } { \pi } \log \left ( \frac { 2 \pi } { \epsilon } \right ) } = \frac { 1 } { \epsilon } - \frac { 1 } { 2 \pi } \asymp \frac { 1 } { \epsilon } \quad \text{as} \quad \epsilon \to 0.$$

This way, a completely different asymptotic behavior indicating only moderate ill-posedness could be obtained. However, such measure ˜ would in an unnatural way up-weight the high frequencies µ exponentially.

## 4.2 Convolution operators

In this section, let us consider the injective linear convolution operator T : L 2 ( R d ) → L 2 ( R d ) , defined by with a convolution kernel h ∈ L 1 ( R d ) . The measure space (Ω , µ ) is here ( R d , µ Leb ) with the multi-dimensional Lebesgue measure over R d ( d ∈ N ) and µ Leb (Ω) = ∞ . Injectivity of T requires the condition

$$[ T u ] \left ( t \right ) = \int _ { \mathbb { R } ^ { d } } h ( t - \tau ) \, u ( \tau ) \, \mathrm d \tau \quad ( t \in \mathbb { R } ^ { d } ) \,, & ( 1 6 ) \\ \intertext { t i o n \, \text{normal} \, b \, \leq \, T ^ { 1 } \, ( \mathbb { R } ^ { d } ) \, \text{ } T h o m o s u r e n a c o f o } ( \mathcal { O } \, u \, \text{is hora } ( \mathbb { R } ^ { d } \, u \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \text{with to} }$$

$$\mu _ { \text{Leb} } ( \{ \tau \in \mathbb { R } ^ { d } \, \colon \, h ( \tau ) = 0 \} ) = 0.$$

In this case, it follows from the Fourier convolution theorem that

$$T = \mathcal { F } ^ { - 1 } M _ { \mathcal { F } h } \, \mathcal { F } \,,$$

with the Fourier transform [ F u ]( ξ ) := ∫ R d exp( -i πξx ) u x ( ) d x ( ξ ∈ R d ). Hence a spectral decomposition of T ∗ T is given as

$$\mathcal { F } T ^ { * } T \mathcal { F } ^ { - 1 } = M _ { | \mathcal { F } h | ^ { 2 } } \,.$$

/negationslash

Proposition 3. The linear convolution operator (16) mapping in L 2 ( R d ) is well-defined and bounded as soon as h ∈ L 1 ( R d ) . Moreover, the multiplier function λ assigned to T ∗ T for a measure space with Ω = R d and the Lebesgue measure µ Leb over R d satisfies Assumptions 1 and 2 whenever h ∈ L p ( R d ) for some 1 &lt; p ≤ 2 . Proof. Let p ∈ (1 , ∞ ) with 1 /p +1 /q = 1. Then H¨ older's inequality implies

For h ∈ L 1 ( R d ) , we have that the complex function [ F h ]( ξ ) ( ξ ∈ R d ) is bounded, continuous and tends to zero as ‖ ‖ ξ tends to infinity. Thus, also the non-negative multiplier function λ ω ( ) = | [ F h ]( ω ) | 2 ( ω ∈ R d ) is bounded, continuous and tends to zero as ‖ ω ‖ → ∞ . This indicates for h = 0, which is excluded by the injectivity of T , pure continuous spectrum of T ∗ T , noncompactness of this operator and, as a consequence of 0 ∈ essran( λ ) = spec( T ∗ T ), ill-posedness of type I in the sense of Nashed of the underlying linear integral equation (1) of the first kind of convolution type in the Hilbert space L 2 ( R d ) .

| ( f ∗ h ) ( x ) | ≤ ∫ R d ( | f ( y ) || h x ( -y ) | 1 /q ) | h x ( -y ) | 1 /p d y ≤ ∥ ∥ ∥ f ( ) · | h x ( -· | ) 1 /q ∥ ∥ ∥ L q ∥ ∥ ∥ | h x ( -· | ) 1 /p ∥ ∥ ∥ L p = ∥ ∥ ∥ f ( ) · | h x ( -· | ) 1 /q ∥ ∥ ∥ L q ‖ h ‖ 1 /p L 1 almost everywhere. Therewith, it follows from Fubini's theorem that

$$\| f * h \| _ { L ^ { q } } ^ { q } & \leq \| h \| _ { L ^ { 1 } } ^ { q / p } \int _ { \mathbb { R } ^ { d } } \left \| f ( \cdot ) | h ( x - \cdot ) | ^ { 1 / q } \right \| _ { L ^ { q } } ^ { q } \, \mathrm d x = \| h \| _ { L ^ { 1 } } ^ { q / p } \int _ { \mathbb { R } ^ { d } } \int _ { \mathbb { R } ^ { d } } | f ( y ) | ^ { q } | h ( x - y ) | \, \mathrm d y \, \mathrm d x \\ & = \| h \| _ { L ^ { 1 } } ^ { q / p } \int _ { \mathbb { R } ^ { d } } | f ( y ) | ^ { q } \int _ { \mathbb { R } ^ { d } } | h ( x - y ) | \, \mathrm d x \, \mathrm d y = \| h \| _ { L ^ { 1 } } ^ { q / p + 1 } \int _ { \mathbb { R } ^ { d } } | f ( y ) | ^ { q } \, \mathrm d y = \| h \| _ { L ^ { 1 } } ^ { q } \, \| f \| _ { L ^ { q } } ^ { q } \,. \\ \text{This shows, that the convolution operator } T \, \text{in} \, ( 1 6 \, ) \, \text{is a bounded operator } T \, \colon L ^ { q } \, ( \mathbb { R } ^ { d } \, ) \rightarrow L ^ { q } \, ( \mathbb { R } ^ { d } \, )$$

This shows, that the convolution operator T in (16) is a bounded operator T : L q ( R d ) → L q ( R d ) whenever h ∈ L 1 R d .

( ) Evidently, we have µ Leb (Ω) = ∞ for Ω = R d yielding item (a) of Assumption 1. The assertion of item (b) of Assumption 1, however, is for 1 &lt; p ≤ 2 an immediate consequence of the HausdorffYoung inequality

$$\| \mathcal { F } h \| _ { L ^ { q } ( \mathbb { R } ^ { d } ) } \leq C \, \| h \| _ { L ^ { p } ( \mathbb { R } ^ { d } ) } \quad \text{for} \ \ 1 < p \leq 2, \ \ \frac { 1 } { p } + \frac { 1 } { q } = 1 \quad \text{and} \ \ 0 < C < \infty$$

(see, e.g, [2, Theorem 1]). This implies for h ∈ L p ( R d ) (1 &lt; p ≤ 2) that we have λ = |F h | 2 ∈ L r ( R d ) with r = p 2( p -1) ∈ [1 , ∞ ). Consequently, Corollary 2 is applicable. The proof is complete, because Assumption 2 is trivially satisfied.

Claim 1. If a convolution operator T is bounded as T : L 2 ( R d ) → H s ( R d ) with some s &gt; 0 , then there exists a p ∈ [1 , ∞ ) such that the multiplier function λ = |F h | 2 in the spectral decomposition T ∗ T = F -1 M λ F satisfies λ ∈ L p (Ω , µ ) .

Proof. Since

$$\text{mce} \left \| g \right \| _ { H ^ { s } ( \mathbb { R } ^ { d } ) } ^ { 2 } = \int _ { \mathbb { R } ^ { d } } \left ( 1 + \left \| \xi \right \| ^ { 2 } \right ) ^ { s } | ( \mathcal { F } g ) ( \xi ) | ^ { 2 } \, \text{d} \xi = \left \| M _ { \mathcal { X } } \mathcal { F } g \right \| _ { L ^ { 2 } ( \mathbb { R } ^ { d } ) } ^ { 2 } \\ \right ) = \left ( 1 + \left \| \xi \right \| ^ { 2 } \right ) ^ { s }, \xi \in \mathbb { R } ^ { d }, \text{the composition}$$

$$M _ { \chi } \mathcal { F } T = M _ { \chi } M _ { \mathcal { F } h } \mathcal { F } = M _ { \chi \cdot \mathcal { F } h } \mathcal { F }$$

with χ ξ ( ) = ( 1 + ‖ ‖ ξ 2 ) s , ξ ∈ R d , the composition is bounded as an operator L 2 ( R d ) → L 2 ( R d ). Therefore, M χ ·F h : L 2 ( R d ) → L 2 ( R d ) needs to be bounded, which is the case if and only if χ · F h ∈ L ∞ ( R d ) . This proves the claim.

Example 9 (Simple Gaussian convolution kernel) . Consider the Gaussian convolution kernel h t ( ) = exp( -‖ ‖ t 2 ) ( t ∈ R d ) with the associated multiplier function

$$\lambda ( \omega ) = | [ \mathcal { F } h ] ( \omega ) | ^ { 2 } = \pi ^ { d } \, \exp \left ( - \| \omega \| ^ { 2 } / 2 \right ) \quad ( \omega \in \mathbb { R } ^ { d } ). \\ \mathrm e \, \lambda ( \omega ) > \epsilon \, \text{for} \, \| \omega \| < R \coloneqq \sqrt { 2 \log ( \pi ^ { d } / \epsilon ) }. \text{ However, the volume of a $d$-bal}$$

Then we have λ ω ( ) &gt; /epsilon1 for ‖ ω ‖ &lt; R := √ 2 log( π //epsilon1 d ). However, the volume of a d -ball with radius R is V d ( R ) = π d/ 2 Γ( d/ 2) d R d . This gives

$$\Phi _ { \lambda, \mu _ { L e b } } ( \epsilon ) & = \mu _ { L e b } \left ( \omega \in \mathbb { R } ^ { d } \, \colon \, \| \omega \| < \sqrt { 2 \log ( \pi ^ { d } / \epsilon ) } \right ) = \frac { \pi ^ { d / 2 } } { \Gamma ( d / 2 ) \, d } \, \left ( \sqrt { 2 \log ( \pi ^ { d } / \epsilon ) } \right ) ^ { d } \\ \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{-} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \, \text{--} \,$$

and leads to the asymptotics

$$\Phi _ { \lambda, \mu _ { L e b } } ( \epsilon ) \asymp \, [ \log ( 1 / \epsilon ) ] ^ { \frac { d } { 2 } } \ \text{ as } \ \epsilon \searrow 0,$$

which shows A Φ λ,µ Leb = B Φ λ,µ Leb = ∞ indicating severe ill-posedness.

Example 10 (Convolution kernel leading to mild ill-posedness) . Consider the convolution kernel h on R d defined by means of its Fourier transform

$$\mathcal { F } h ( \xi ) = \frac { 1 } { \left ( 1 + b \left \| \xi \right \| _ { 2 } ^ { 2 } \right ) ^ { a } } \\ \text{place-type kernels have been us}$$

for parameters a, b &gt; 0. Such Laplace-type kernels have been used in super-resolution microscopy to approximate the point spread function of a STED microscope, see [31]. The associated multiplier function λ is given by

$$\lambda ( \omega ) = | [ \mathcal { F } h ] ( \omega ) | ^ { 2 } = \frac { 1 } { \left ( 1 + b \left \| \xi \right \| _ { 2 } ^ { 2 } \right ) ^ { 2 a } } \quad ( \omega \in \mathbb { R } ^ { d } ), \\ \text{similarly to Example 7 that}$$

which implies similarly to Example 7 that

$$\Phi _ { \lambda, \mu _ { L e b } } ( \epsilon ) \asymp \epsilon ^ { - \frac { 1 } { 4 a } } \text{ as } \epsilon \searrow 0,$$

indicating a degree 2 a of ill-posedness.

## 5 The case of unbounded operators

As in Section 3 we discuss the application of the spectral theorem, but with one substantial change: the injective linear operator T : D T ( ) ⊂ X → Y with domain D T ( ) dense in X and hence its self-adjoint non-negative companion T ∗ T : D T ( ) ⊂ X → X with 0 ∈ spec( T ∗ T ) are unbounded and consequently not compact. Then the spectral theorem in multiplication operator version is also available, and we refer for details to [37, Chapt. VII.3]. In particular, now in the factorization (5) there occurs an unbounded multiplication operator M λ (cf. (6)) with a µ -measurable multiplier function λ : Ω → R such that min essran( λ ) = 0 and sup essran( λ ) = + ∞ , since we have again the coincidence spec( T ∗ T ) = essran( λ ). Let Assumption 1 be valid, which implies that µ (Ω) = ∞ , the distribution function Φ λ,µ Leb ( /epsilon1 ) (cf. (7)) is finite for all /epsilon1 &gt; 0 and its inverse λ ∗ , the decreasing rearrangement of λ , is well-defined and an index function at the infinity. It is not difficult to understand that poles of λ do not really influence the decay rate of λ ∗ ( ) as t t →∞ . Thus, Definition 2 seems to be applicable also here for verifying the degree of ill-posedness. Regularization approaches for ill-posed operator equations with unbounded forward operators are, for example, discussed in [19] and [36] by exploiting the role of corresponding multiplier functions.

Example 11 (Fractional integral operators on R ) . Following [33] we consider with X = Y = L 2 ( R ) the family of fractional integration operators T s : L 2 ( R ) → L 2 ( R ). This family depending on the parameter s &gt; 0 is defined as

$$[ T _ { s } ( u ) ] ( t ) \coloneqq \frac { 1 } { \Gamma ( s ) } \int _ { - \infty } ^ { t } \frac { u ( \tau ) } { ( t - \tau ) ^ { 1 - s } } \, d \tau \quad ( t \in \mathbb { R } ). \quad \quad ( 1 7 ) \\. \quad \sim \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \cdots \quad.$$

All these operators T s are densely defined, injective and closed on their domains, which can be introduced by means of the Fourier transform F as

$$D ( T _ { s } ) = \{ u \in L ^ { 2 } ( \mathbb { R } ) \, \colon | \xi | ^ { - s } [ \mathcal { F } u ] ( \xi ) \in L ^ { 2 } ( \mathbb { R } ) \}.$$

The corresponding operator T ∗ s T s , however, is self-adjoint with domain

$$D ( T _ { s } ^ { * } T _ { s } ) = \{ u \in L ^ { 2 } ( \mathbb { R } ) \, \colon | \xi | ^ { - 2 s } [ \mathcal { F } u ] ( \xi ) \in L ^ { 2 } ( \mathbb { R } ) \}.$$

Moreover, we obtain with respect to the Lebesgue measure on R the multiplication operator F T ∗ T F -1 = M λ with the multiplier function

$$\lambda ( \omega ) = | \omega | ^ { - 2 s } \quad ( \omega \in \Omega = \mathbb { R } \text{ a.e.} ).$$

The inspection of formula (18) with some pole at ω = 0 shows that, for all s &gt; 0, essran( λ ) = [0 , ∞ ) = spec( T ∗ s T s ). Hence the unbounded operator T ∗ s T s has continuous spectrum. In analogy to item (a1) of Example 7 on can show that the problem is moderately ill-posed with degree s &gt; 0.

Example 12 (Source identification in parabolic PDEs) . We consider the final value problem for the non-homogeneous heat equation

$$\begin{cases} \ v _ { t } ( x, t ) - \kappa ^ { 2 } \Delta v ( x, t ) = u ( x ), & x \in \mathbb { R } ^ { d }, \quad t > 0, \\ \ v ( x, 0 ) = 0, & x \in \mathbb { R } ^ { d }, \\ \ v ( x, t _ { 0 } ) = g ( x ), & x \in \mathbb { R } ^ { d }, \quad t _ { 0 } > 0. \end{cases}$$

↦

 For X = Y = L 2 ( R d ), given κ &gt; 0 and t 0 &gt; 0 let the equation (1) represent a source identification problem with the forward operator T : u → g , which is implicitly given by the above final value problem. Fourier transform F with respect to x yields the associated multiplication operator for T ∗ T of the form F T ∗ T F -1 = M λ with the multiplier function

$$\lambda ( \omega ) = \frac { \left [ 1 - \exp \left ( - t _ { 0 } \, \kappa ^ { 2 } \| \omega \| _ { 2 } ^ { 2 } \right ) \right ] ^ { 2 } } { \kappa ^ { 4 } \| \omega \| _ { 2 } ^ { 4 } } \quad ( \omega \in \mathbb { R } ^ { d } ).$$

One easily finds that here spec( T ∗ T ) = essran( λ ) = [0 , ∞ ), which means that T ∗ T is a noncompact, unbounded linear operator, because λ ω ( ) has a pole at ω = 0. Moreover, ill-posedness takes place with lim ‖ ω ‖ →∞ 2 λ ω ( ) = 0. Now we have λ ω ( ) /equivasymptotic ‖ ω ‖ -4 2 as ‖ ω ‖ 2 → ∞ , which should imply for the decreasing rearrangement λ ∗ of λ that λ ∗ ( ) t /equivasymptotic t -4 d as t → ∞ , which indicates moderate ill-posedness with degree s = 2 d . By applying for sufficiently small /epsilon1 &gt; 0 the distribution function Φ λ,µ Leb ( /epsilon1 ) ≈ µ Leb ( { ω ∈ R d : ‖ ω ‖ 2 ≤ 1 κ/epsilon1 1 / 4 ) } ), the denominator d in the asymptotics of λ ∗ arises from the fact that the volume of a ball in R d with radius 1 κ/epsilon1 1 / 4 is proportional to /epsilon1 -d/ 4 .

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01148v2-figure-654c9c2a-89c7-4682-8193-20f2b01750b7.jpg)

We refer to [36] for more details and the discussion of the full parabolic source identification problem in the multidimensional case. Let us note here that such degree of ill-posedness s = 2 d with dimension d in the denominator also occurs for various compact multivariate forward operators, e.g. for the inverse of the negative Laplacian in L 2 (Σ) with homogeneous boundary conditions on a bounded domain Σ ⊂ R d and with such Σ for the embedding operator from H 1 (Σ) into L 2 (Σ) (see also Example 3).

## 6 Conclusion and outlook

In this paper, we have presented a unified framework for measuring the degree of ill-posedness for linear operator equations by means of its spectral decomposition. We have shown that the derived concept coincides with the well-known definition in the compact case and allows us to interpret several non-compact operator equations as moderately or severely ill-posed as well when the Lebesgue measure is chosen as benchmark case. Unfortunately, cross comparisons between compact and non-compact operators cannot be handled by our framework, because compact operators and the Lebesgue measure are not compatible with respect to multiplication operators, and we refer to Proposition 2 in this context.

Currently our concept is also limited concerning the special situations (A), (B) and (C) in Figure 1, which have to be excluded for different reasons. It will be an interesting topic for future research to investigate whether a situation of finite measure µ (Ω) can be handled similarly or not. Furthermore it is unclear if other concepts to measure ill-posedness by means of essential zeros of λ in the situation (B) can be related to our concept in some way. Finally, it would be an interesting question to find real-world examples for the situation (C). This mostly seems to be a measure-theoretic problem.

Compared to the compact subcase, it is also completely open what can be said about the degree of ill-posedness of the composition of two operators. The Courant-Fischer theorem yields an upper bound for the decay rate of the singular values of the composition of two compact operators, and hence a lower bound for its degree of ill-posedness. However, in the non-compact case no such result is known yet, and it is not clear if anything can be proven about a composition's degree of ill-posedness with our concept. Furthermore, if a compact and a non-compact operator are composed, strange things can happen as has been recently demonstrated in [5, 18, 22].

## Acknowledgment

The second named author has been supported by the German Science Foundation (DFG) under grant HO 1454/13-1 (Project No. 453804957).

## Appendix: A glimpse of the finite measure case

In this appendix, we return to the case of bounded linear operators T : X → Y , and we will briefly summarize references and specific approaches for the alternative case of finite measures µ (Ω) &lt; ∞ . This case has been comprehensively studied in the literature for non-compact multiplication operators T mapping in L 2 (Ω) for some bounded subinterval Ω of R . The focus of most

papers is on the unit interval Ω = [0 , 1] and the Lebesgue measure µ = µ Leb over R . For that measure, non-negative multiplier functions λ ∈ L ∞ (0 , 1) are under consideration that possess essential zeros inside [0 , 1]. This leads to ill-posed situations of the corresponding operator equations (1), where the structure of the zeros seem to play a prominent role for the strength of the ill-posedness. We refer in this context to [8, 14, 16, 21, 22] and recently [28]. In the latter reference, in particular, the total influence of different essential zeros of the multiplier function λ on the increasing rearrangement of λ is discussed. This increasing rearrangement (see for details [7]) and its growth rate at a neighbourhood of zero are tools for characterizing the degree of ill-posedness for this class of non-compact operators modelled with finite measure spaces.

Unfortunately, the cross connections of this increasing rearrangement concept for Ω = [0 , 1] and the associated decreasing rearrangement concept for µ (Ω) = ∞ , see formula (10) above, are not completely clear. It is appropriate for the finite measure case to use instead of (7) the non-decreasing distribution function

$$d _ { \lambda } ( \epsilon ) \coloneqq \mu \left ( \{ \omega \in [ 0, 1 ] \, \colon \, \lambda ( \omega ) \leq \epsilon \} \right ) \ \ ( 0 \leq \epsilon \leq \| T \| )$$

of the non-negative multiplier function λ ω ( ) (0 ≤ ω ≤ 1), and instead of (10) the increasing rearrangement λ ∗ of λ defined as

$$\lambda ^ { * } ( t ) = \sup \left \{ \epsilon \in [ 0, \| T \| ] \colon \, d _ { \lambda } ( \epsilon ) \leq t \right \} \ \ ( 0 \leq t \leq 1 ),$$

which is the (generalized) inverse to the function d λ . Both d λ and λ ∗ are index functions at zero, which means that they are non-decreasing functions with positive values for positive arguments and zero limits as the arguments tend to zero. Then the most authors characterize the ill-posedness by the growth rate of the function λ ∗ ( ) t in a right neighborhood of t = 0. As shown in [28, Proposition 2] the strongest essential zero of the multiplier λ over the interval [0 , 1] is responsible for the degree of ill-posedness.

## References

- [1] S. Agapiou and P. Math´ e. Designing truncated priors for direct and inverse Bayesian problems. Electron. J. Stat. , 16(1):158-200, 2022.
- [2] W. Beckner. Inequalities in Fourier analysis. Annals of Mathematics , 102(1):159-182, 1975.
- [3] N. Bissantz, T. Hohage, A. Munk, and F. Ruymgaart. Convergence rates of general regularization methods for statistical inverse problems and applications. SIAM J. Numer. Anal. , 45(6):2610-2636 (electronic), 2007.
- [4] A. Brown, P. R. Halmos, and A. L. Shields. Ces` aro operators. Acta Sci. Math. (Szeged) , 26:125-137, 1965.
- [5] Y. Deng, H.-J. Fischer, and B. Hofmann. The degree of ill-posedness for some composition governed by the Ces`ro operator. a In B. Mejri, R. Ramlau, and O. Scherzer, editors, Inverse Problems on Large Scales - Mathematical Modelling and Computational Methods , Vol. 32 of Radon Serie on Computational and Applied Mathematics, pages 1-14. De Gruyter, Berlin/Boston, 2025. Preprint: https://arxiv.org/pdf/2401.11411.pdf.
- [6] H. W. Engl, M. Hanke, and A. Neubauer. Regularization of Inverse Problems . Kluwer, Dortrecht, 1996.
- [7] H. W. Engl, B. Hofmann, and H. Zeisel. A decreasing rearrangement approach for a class of ill-posed nonlinear integral equations. J. Integral Equations Appl. , 5(4):443-463, 1993.
- [8] M. Freitag and B. Hofmann. Analytical and numerical studies on the influence of multiplication operators for the ill-posedness of inverse problems. J. Inverse Ill-Posed Probl. , 13(2):123-148, 2005.

| [9]   | D. Gerth, B. Hofmann, C. Hofmann, and S. Kindermann. The Hausdorff moment problem in the light of ill-posedness of type I. Eurasian Journal of Mathematical and Computer Applications , 9(2):57-87, 2021. https://drive.google.com/file/d/1HrfnEh2qYQms2xgCvpcCcFXBKBt8Pp0Y/view.   |
|-------|-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [10]  | M. Haase. Lectures on Functional Calculus . Virtual Lectures of 21st International Internet Seminar. University of Kiel, 2018. https://www.math.uni-kiel.de/isem21/en/course/phase1/isem21-lectures-on-functional- calculus.                                                        |
| [11]  | P. R. Halmos. What does the spectral theorem say? American Mathematical Monthly , 70:241-247, 1963.                                                                                                                                                                                 |
| [12]  | F. Hausdorff. Momentprobleme f¨r u ein endliches intervall (German). Math. Z. , 16(1):220-248, 1923.                                                                                                                                                                                |
| [13]  | B. Hofmann. Regularization for Applied Inverse and Ill-Posed Problems . B. G. Teubner, Leipzig, 1986.                                                                                                                                                                               |
| [14]  | B. Hofmann. Approximate source conditions in Tikhonov-Phillips regularization and con- sequences for inverse problems with multiplication operators. Math. Methods Appl. Sci. , 29(3):351-371, 2006.                                                                                |
| [15]  | B. Hofmann and H.-J. Fischer. A note on the degree of ill-posedness for mixed differentiation on the d-dimensional unit cube. J. Inv. Ill-Posed Problems , 31(6):949-957, 2023.                                                                                                     |
| [16]  | B. Hofmann and G. Fleischer. Stability rates for linear ill-posed problems with compact and non-compact operators. Z. Anal. Anwendungen , 18(2):267-286, 1999.                                                                                                                      |
| [17]  | B. Hofmann and S. Kindermann. On the degree of ill-posedness for linear problems with non-compact operators. Methods Appl. Anal. , 17(4):445-461, 2010.                                                                                                                             |
| [18]  | B. Hofmann and P. Math´. e The degree of ill-posedness of composite linear ill-posed problems with focus on the impact of the non-compact Hausdorff moment operator. Electron. Trans. Numer. Anal. , 57:1-16, 2022.                                                                 |
| [19]  | B. Hofmann, P. Math´, e and H. von Weizs¨cker. a Regularization in Hilbert space under un- bounded operators and general source conditions. Inverse Problems , 25(11):115013 (15pp), 2009.                                                                                          |
| [20]  | B. Hofmann and U. Tautenhahn. On ill-posedness measures and space change in Sobolev scales. Z. Anal. Anwendungen , 16(4):979-1000, 1997.                                                                                                                                            |
| [21]  | B. Hofmann and L. von Wolfersdorf. Some results and a conjecture on the degree of ill- posedness for integration operators with weights. Inverse Problems , 21(2):427-433, 2005.                                                                                                    |
| [22]  | B. Hofmann and L. von Wolfersdorf. A new result on the singular value asymptotics of integration operators with weights. J. Integral Equations Appl. , 21(2):281-295, 2009.                                                                                                         |
| [23]  | T. Hohage. Regularization of exponentially ill-posed problems. Numerical Functional Analysis and Optimization , 21(3-4):439-464, 2000.                                                                                                                                              |
| [24]  | S. Kindermann and B. Hofmann. Curious ill-posedness phenomena in the composition of non-compact linear operators in Hilbert spaces. J. Inv. Ill-Posed Problems , 32(5):1001-1013, 2024.                                                                                             |
| [25]  | H. K¨nig. o Eigenvalue Distribution of Compact Operators , volume 16 of Operator Theory: Advances and Applications . Birkh¨user, a 1986.                                                                                                                                            |

| [26]   | S. Lu and S. V. Pereverzev. Numerical differentiation from a viewpoint of regularization theory. Math. Comput. , 75:1853-1870, 2006.                                                                                                                   |
|--------|--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [27]   | P. Math´ e and B. Hofmann. Comparing the ill-posedness for linear operators in Hilbert spaces, 2024. Paper submitted. Preprint: https://arxiv.org/pdf/2410.17729.                                                                                      |
| [28]   | P. Math´, e M. T. Nair, and B. Hofmann. Regularization of linear ill-posed problems involving multiplication operators. Appl. Anal. , 101(2):714-732, 2022.                                                                                            |
| [29]   | M. Z. Nashed. A new approach to classification and regularization of ill-posed operator equations. In Inverse and Ill-posed Problems (Sankt Wolfgang, 1986), volume 4 of Notes Rep. Math. Sci. Engrg. , pages 53-75. Academic Press, Boston, MA, 1987. |
| [30]   | F. Natterer. The Mathematics of Computerized Tomography . B. G. Teubner, Stuttgart; John Wiley & Sons, Ltd., Chichester, 1986.                                                                                                                         |
| [31]   | K. Proksch, F. Werner, and A. Munk. Multiscale scanning in inverse problems. Ann. Statist. , 46(6B):3569-3602, 2018.                                                                                                                                   |
| [32]   | M. Rosenblum. On the Hilbert matrix. II. Proc. Amer. Math. Soc. , 9:581-585, 1958.                                                                                                                                                                     |
| [33]   | U. Tautenhahn and R. Gorenflo. On optimal regularization methods for fractional differenti- ation. Z. Anal. Anwendungen , 18(2):449-467, 1999.                                                                                                         |
| [34]   | M. E. Taylor. Partial Differential Equations II: Qualitative Studies of Linear Equations. Springer-Verlag, New York, 1996.                                                                                                                             |
| [35]   | Vu Kim Tuan and R. Gorenflo. Asymptotics of singular values of fractional integral operators. Inverse Problems , 10(4):949-955, 1994.                                                                                                                  |
| [36]   | G. F. Umbricht. Identification of the source for full parabolic equations. Math. Model. Anal. , 26(3):339-357, 2021.                                                                                                                                   |

- [37] D. Werner. Funktionalanalysis . Springer, 2005.
Frank Werner Bernd Hofmann
A unified concept of the degree of ill-posedness for compact and non-compact linear operator equations in Hilbert spaces under the auspices of the spectral theorem
Covering ill-posed problems with compact and non-compact operators regarding
the degree of ill-posedness is a never ending story written by many authors in
the inverse problems literature. This paper tries to add a new narrative and
some new facets with respect to this story under the auspices of the spectral
theorem. The latter states that any self-adjoint and bounded operator is
unitarily equivalent to a multiplication operator on some (semi-finite) measure
space. We will exploit this fact and derive a distribution function from the
corresponding multiplier, the growth behavior of which at zero allows us to
characterize the degree of ill-posedness. We prove that this new concept
coincides with the well-known one for compact operators (by means of their
singular values), and illustrate the implications along examples including the
Hausdorff moment operator and convolutions.