Homogeneous Rank One Perturbations

A holomorphic family of closed operators with a rank one perturbation given by the function xm2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$x^{\frac{m}{2}}$$\end{document} is studied. The operators can be used in a toy model of renormalization group.


Introduction
Rank one perturbations can be used to illustrate various interesting mathematical concepts. For instance, they can be singular: the perturbation is not an operator, and an infinite renormalization may be needed. Rank one perturbations are often applied to model physical phenomena.
Our paper is devoted to a special class of exactly solvable rank one perturbations, which are both singular and physically relevant. We consider the Hilbert space L 2 [0, ∞[. The starting point is the operator of multiplication by x ∈ [0, ∞[, denoted by X. We try to perturb it by a rank one operator involving the function x m 2 . Thus, we try to define an operator formally given by (1.1) Note that we allow m and λ to be complex. In particular, (1.1) is usually non-Hermitian. The function x m 2 is never square integrable, and therefore, the perturbation is always singular.
(1.1) is very special. Formally, X is homogeneous of degree 1 and its perturbation is homogeneous of degree m. We will see that in order to define a closed operator on L 2 [0, ∞[ one needs to restrict m by the condition −1 < Rem < 1. Besides, a special treatment is needed in the case m = 0. One obtains two holomorphic families of closed operators, H m,λ and H ρ 0 . λ and ρ can be interpreted as coupling constants, which in the case 0 ≤ Rem < 1 need an infinite renormalization. The families of the operators that we introduce are exactly solvable in a rather strong sense: one can compute their resolvents, spectral projections and Møller (wave) operators. One can also describe their spectra, which can be quite curious.
In our opinion, the families H m,λ and H ρ 0 that we constructed are quite instructive. One can argue that they provide excellent material for exercises in a semi-advanced course on operator theory, or even quantum physics. They illustrate various sophisticated concepts related to operators in Hilbert spaces (singular perturbations of various kinds, scattering theory). They can also be treated as toy models of some important ideas of theoretical physics such as renormalization group flows and breaking of scaling symmetry.
We believe that in some form these operators show up in many contexts in mathematics and theoretical physics, especially when we deal with scaling symmetry. Below we briefly describe one situation where these operators are present.
As shown in [4], for Rem > −1 one can define a holomorphic family of closed Schrödinger operators on L 2 [0, ∞[ homogeneous of degree −2 given formally byH (1.2) (As compared with the notation of [4], we add a tilde to distinguish from the operators considered in this paper). These operators have continuous spectrum in [0, ∞[ of multiplicity 1. They can be diagonalized with help of the so-called Hankel transformation F m , whose kernel has a simple expression in terms of the Bessel function J m . As shown in [7], for −1 < Rem < 1 there exists a two-parameter holomorphic family of closed operators that can be associated with the differential expression on the right-hand side of (1.2). They correspond to mixed boundary conditions at zero and are denotedH m,κ . The case m = 0 needs special treatment, and one introduces a family ofH ν 0 . As we show in our paper, the operatorsH m,κ , resp.H ν 0 , are equivalent (similar) to the operators H m,λ and H ρ 0 , where κ and ν are linked by a simple relation with λ and ρ, see Theorems 4.1 and 4.2.
The operatorsH m,κ andH ν 0 are very well motivated-they constitute natural classes of Schrödinger operators, which are relevant for many problems in mathematical physics. However, their theory looks complicated-it requires the knowledge of some special functions, more precisely, Bessel-type functions and the Gamma function. On the other hand, the theory of H m,λ and H ρ 0 does not involve special functions at all-it uses only trigonometric functions and the logarithm.
The paper is organized as follows. In Sect. 2 we recall the theory of singular rank one perturbations. It is sometimes called the Aronszajn-Donoghue theory and goes back to [2,3,5]. It is described in particular in [1,6,12]. We Vol. 18 (2017) Homogeneous Rank One Perturbations 3251 discuss also the scattering theory in the context of rank one perturbations.
Here the basic reference is [13]. Note, however, that we do not assume that the perturbation is selfadjoint, and most of the literature on this subject is restricted to the selfadjoint case. A notable exception is the articles [10,11], where nonself-adjoint perturbations of self-adjoint operators are studied. Section 3 is the main part of our paper. Here we construct and study the operators H m,λ and H ρ 0 . In Sect. 4 we describe the relationship of the operators H m,λ and H ρ 0 with Schrödinger operators with inverse square potentialsH m,κ andH ν 0 . There exists large literature for such Schrödinger operators, see e.g., [8], it is, however, usually restricted to the self-adjoint case. The general case is studied in [4] and especially [7].
In "Appendix" we collect some integrals that are used in our paper.

Preliminaries
We consider the Hilbert space In addition, it is also equipped with the bilinear form Thus, we use round brackets for the sesquilinear scalar product and angular brackets for the closely related bilinear form. Note that in some sense the latter plays a more important role in our paper (and in similar exactly solvable problems) than the former. If B is an operator then B * denotes the usual Hermitian adjoint of B, whereas B # denotes the transpose of B, that is, its adjoint w.r.t. the (2.2). Clearly, if B is a bounded linear operator with An operator B is self-adjoint if B = B * . We will say that it is selftransposed if

3) Ann. Henri Poincaré
It is useful to note that a holomorphic function of a self-transposed operator is self-transposed. It is convenient to use sometimes Dirac's "bra-ket" notation. For a func- and its transpose f | := |f # : We will also use the same notation in the case f is not square integrablethen f | is an unbounded operator and |f is an unbounded form with appropriate domains.
Note that (2.4) and (2.5) are consistent with the notation for (2.2)-both use angular brackets. In principle, we could also use the Dirac's bras and kets suggested by the scalar product (2.1), involving round brackets, but we prefer to use the notation associated with (2.2).

Construction
Let X denote the (unbounded) operator on L 2 [0, ∞[ given by Let h 2 , h 1 be measurable functions on [0, ∞[. Consistently with the notation introduced in (2.4) and (2.5), we will write |h 2 h 1 | for the (possibly unbounded) quadratic form given by for w, v in the (obvious) domain of |h 2 h 1 |. (Note the absence of the complex conjugation on h 1 ). It is well known that in some situations can be interpreted as an operator, possibly after an appropriate renormalization of the coupling constant λ. This is sometimes called the Aronszajn-Donoghue theory and is described, e.g., in [1,6,12]. We will need a somewhat nonstandard version of this theory, because our rank one perturbation does not have to be Hermitian. Therefore, we describe it in some detail. One can consider three cases of the Aronszajn-Donoghue theory, with an increasing level of difficulty. The first case is elementary: Vol. 18 (2017)

Homogeneous Rank One Perturbations 3253
Then |h 2 h 1 | is a bounded operator. Therefore, H λ is well defined on Dom(X), and we can easily compute the resolvent of H λ . In fact, define (2.13) and for z such that Then it is easy to check that g λ and R λ (z) are still well defined. Besides, R λ (z) satisfies the resolvent equation, has zero kernel and dense range. Hence, by the theory of pseudoresolvents [9], there exists a closed operator H λ such that (2.14) is true. Note that H 0 = X and often we can include λ = ∞.
Finally, consider Then g λ is in general ill defined. Instead, we consider the equation If one of solutions of (2.18) is called g 0 , then all other are given by Again, R ρ (z) is a pseudoresolvent and by Kato [9] there exists a unique family of operators H ρ such that We have thus constructed a family of operators. Under Assumption I or II, it can be written as H λ , where λ ∈ C ∪ {∞} has the meaning of a coupling constant. Under Assumption III, in general, the coupling constant may lose its meaning, and we may be forced to use the parametrization H ρ , 3254 J. Dereziński Ann. Henri Poincaré where again ρ ∈ C ∪ {∞}. (In practice, however, as we will see, the notation H λ could be natural even if Assumption II does not hold).

Point Spectrum
Until the end of this section we suppose that Assumption III is satisfied. We consider an operator H of the form H λ or H ρ , as described above. Thus, It is easy to see that the spectrum of H consists of [0, ∞[ and eigenvalues at then it is simple and the corresponding eigenprojection is given by the formula

Dilations
Before we continue, let us say a few words about the group of dilations It can be written as U τ = e iτA , where the generator of dilations is We say that H is homogeneous of degree p if U τ HU * τ = e pt H. For instance, X is homogeneous of degree 1.

Essential Spectrum
It follows from the Weyl Theorem that the essential spectrum of H is [0, ∞[. Detailed study of the essential spectrum requires technical assumptions on the perturbation [13]. In this section, we will limit ourselves to a heuristic theory, without specifying precise assumptions. It will be possible to justify these formulas in the concrete situation considered in our paper. First, we will check that the kernel of 1l [0,∞[ (H), that is, of the spectral projection of H onto [0, ∞[ is given by the following formula: .
To see this we use the Stone formula .

Møller Operators I
For the purpose of our paper, we define the Møller operators between X and H, denoted W ± (H, X) and W ± (X, H), by describing their kernels: . (2.37) To motivate the definitions (2.36) and (2.37) recall that in the literature on stationary scattering theory, e.g., [13], the Møller operators are often introduced as follows: In general, there is no guarantee that W ± (H, X) and W ± (X, H) exist as bounded operators. If this is the case, we expect the following properties: A rigorous derivation of (2.40), (2.41) and (2.42) for some classes of perturbations can be found in [13]. It is not very difficult to derive these identities on a formal level.
Let us give a formal derivation of (2.40): .
We omit the derivation of (2.41), which is similar to that of (2.40), although somewhat more difficult, since we need to use (2.33). To obtain (2.42), we will compute that dt. (2.58) To handle (2.57) + (2.58) we note that which proves (2.49).

Self-Transposed and Self-Adjoint Cases
In applications, it often happens that one of the following two conditions holds: The former is the case of our paper; the latter is in most of the literature).
Then Assumptions I, II, III slightly simplify and can be rewritten in terms of the scale of Hilbert spaces associated with the positive operator 1 + X: Moreover, the family H λ is self-transposed, resp. self-adjoint, that is

Construction
We still consider L 2 [0, ∞[ with the operator X defined as in (2.8 Next note that Assumption III is satisfied for −1 < Rem < 1. Moreover, equation sin πm can be solved, obtaining the following solutions Note that only for m = 0 we use the "superindex notation" and we do not use the "coupling constant" λ. For m = 0 we keep the "coupling constant" λ, even though for Rem ≥ 0 it has lost its meaning described by (3.1).
The following theorem summarizes our construction: (3.8) In particular, H m,0 = X. (2) For any ρ ∈ C ∪ {∞}, there exists a unique closed operator H ρ 0 such that In particular, H ∞ 0 = X. Note that the operators H m,λ and H ρ 0 are self-transposed. It will be convenient to introduce the shorthand ς(m, λ) = ς := λ π sin πm . (3.10) Then we can rewrite (3.8) as (3.11) It is possible to include both H m,λ and H ρ 0 in a single analytic family of closed operators (see [9]). Ann. Henri Poincaré is an analytic family (their resolvents depend analytically on (ρ, m)).

Toy Model of the Renormalization Group
The group of dilations ("the renormalization group") acts on our operators in a simple way: We will show that an appropriately renormalized operator of the form X plus a rather arbitrary rank one perturbation is driven by the scaling to one of the operators that we consider in our paper. We then have the following statements, (where lim denotes the norm resolvent limit): Proof. We will prove only the case 0 ≤ Rem < 1, m = 0. The other cases are easier. Set λ τ := λ e mτ −αλ . Clearly,

Point Spectrum
The following theorem is analogous to the characterization of the point spectrum of the Bessel operator described in Theorem 5.2 of [7] and is the consequence of the same computation. The corresponding eigenprojection has the kernel (2) H ρ 0 possesses an eigenvalue iff −π < Imρ < π, and then it is w = −e ρ . The corresponding eigenprojection has the kernel Let us stress that σ p (H m,λ ) depends in a complicated way on the parameters m and λ. There exists a complicated pattern of phase transitions, when some eigenvalues "disappear." This happens if where Ln denotes the multivalued logarithm function. A pair (m, λ) satisfying (3.28) will be called exceptional. For m = 0, we need a different condition. We say that (0, ρ) is exceptional if For a given m, λ all eigenvalues form a geometric sequence that lie on a logarithmic spiral. This spiral should be viewed as a curve on the Riemann surface of the logarithm, and only its "physical sheet" gives rise to eigenvalues. For m which are not purely imaginary, only a finite piece of the spiral is on the "physical sheet," and therefore the number of eigenvalues is finite.
If m is purely imaginary, this spiral degenerates to a half-line starting at the origin. Either the whole half line is on the "physical sheet," and then the number of eigenvalues is infinite, or the half line is "hidden on the non-physical sheet of the complex plane," and then there are no eigenvalues.
If m is real, the spiral degenerates to a circle. But then the operator has at most one eigenvalue.
Below we provide a characterization of #σ p (H m,λ ), i.e., of the number of eigenvalues of H m,λ . It is proven in [7,Proposition 5.3].
They satisfy Proof. By (2.36), the kernel of W ± m,∞ is given by

Equivalence with Schrödinger Operators with Inverse Square Potentials
Recall that in [4] a holomorphic family of closed operators H m was introduced. We change slightly the notation for these operators, and we will denote them byH m in this paper. Thus, for Rem > −1,H m is the unique closed operators on L 2 [0, ∞[ given on C ∞ c ]0, ∞[ by the differential expressioñ For −1 < Rem < 1, two more general families of operators H m,κ and H ν 0 were constructed in [7]. In this paper they will be denoted byH m,κ andH ν 0 . H m,κ is given by the differential expression on the right-hand side of (4.1) with the boundary condition at zero κx Define the unitary operator Its inverse is Note that (4.7) Theorem 4.1. We have On the other hand, by Theorem 3.6 we have W ± m,∞ = e ∓2πA + e ∓imπ 1l e ∓2πA + e ±imπ 1l , (4.13) where ρ = −2ν.
Proof. The m = 0 case will be reduced to m = 0. where ρ = −2ν. Passing to the limit m → 0 in (4.25) we obtain (4.19). To see this we shift the integration in (A.1) from R to R ± iπ without crossing the singularity at ±πi. • Setting a = −iξ in (A.2) we obtain the following Fourier transform: